runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand316.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/icse/sarge-etch-lenny-squeeze/rand316.sarge-etch-lenny-squeeze.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand316.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.18 1.08 1.07 3/46 11526 /proc/meminfo: memFree=611764/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) R 11524 11525 2059 34821 2220 4202496 358 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 272 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/11525/statm: 643 272 231 194 0 29 0 [pid=11526] ppid=11525 vsize=2572 CPUtime=0 /proc/11526/stat : 11526 (gj-paranoid-sol) R 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 41 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/11526/statm: 643 41 0 194 0 29 0 [startup+0.174891 s] /proc/loadavg: 1.18 1.08 1.07 3/46 11526 /proc/meminfo: memFree=611764/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=409672 CPUtime=0.18 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 3722 0 1 0 16 2 0 0 25 0 9 0 875302251 419504128 3185 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 102418 3185 1732 10 0 96598 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 412244 [startup+0.204888 s] /proc/loadavg: 1.18 1.08 1.07 3/46 11526 /proc/meminfo: memFree=611764/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=409672 CPUtime=0.2 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 3807 0 1 0 18 2 0 0 25 0 9 0 875302251 419504128 3270 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 102418 3270 1732 10 0 96598 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412244 [startup+0.304907 s] /proc/loadavg: 1.18 1.08 1.07 3/46 11526 /proc/meminfo: memFree=611764/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=410104 CPUtime=0.3 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 4326 0 1 0 28 2 0 0 25 0 9 0 875302251 419946496 3789 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 102526 3789 1874 10 0 96706 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412676 [startup+0.704982 s] /proc/loadavg: 1.18 1.08 1.07 3/46 11526 /proc/meminfo: memFree=611764/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=410712 CPUtime=0.7 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 12934 0 1 0 64 6 0 0 25 0 9 0 875302251 420569088 12218 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 102678 12218 2878 10 0 96858 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413284 [startup+1.50511 s] /proc/loadavg: 1.18 1.08 1.07 2/55 11535 /proc/meminfo: memFree=551168/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=410844 CPUtime=1.5 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 28472 0 1 0 140 10 0 0 25 0 9 0 875302251 420704256 27756 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 102711 27756 2879 10 0 96891 0 [pid=11526/tid=11528] ppid=11525 vsize=410844 CPUtime=0.7 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 6785 0 1 0 69 1 0 0 25 0 9 0 875302252 420704256 27756 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=410844 CPUtime=0.76 /proc/11526/task/11529/stat : 11529 (java) R 11525 11525 2059 34821 2220 4202560 20294 0 0 0 68 8 0 0 20 0 9 0 875302252 420704256 27756 1283457024 134512640 134550932 4289201056 18446744073709551615 4151448056 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 20 0 9 0 875302253 420704256 27756 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 20 0 9 0 875302253 420704256 27756 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875302254 420704256 27756 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=410844 CPUtime=0.02 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 459 0 0 0 2 0 0 0 19 0 9 0 875302254 420704256 27756 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875302254 420704256 27756 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) S 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 875302254 420704256 27756 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413416 [startup+3.10591 s] /proc/loadavg: 1.18 1.08 1.07 3/55 11535 /proc/meminfo: memFree=464120/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=410844 CPUtime=3.1 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 54740 0 1 0 293 17 0 0 25 0 9 0 875302251 420704256 54024 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 102711 54024 2879 10 0 96891 0 [pid=11526/tid=11528] ppid=11525 vsize=410844 CPUtime=1.23 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14034 0 1 0 120 3 0 0 25 0 9 0 875302252 420704256 54024 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=410844 CPUtime=1.83 /proc/11526/task/11529/stat : 11529 (java) R 11525 11525 2059 34821 2220 4202560 39310 0 0 0 170 13 0 0 16 0 9 0 875302252 420704256 54024 1283457024 134512640 134550932 4289201056 18446744073709551615 4151071464 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 20 0 9 0 875302253 420704256 54024 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 20 0 9 0 875302253 420704256 54024 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875302254 420704256 54024 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=410844 CPUtime=0.02 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 462 0 0 0 2 0 0 0 15 0 9 0 875302254 420704256 54024 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875302254 420704256 54024 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=410844 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) S 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 875302254 420704256 54024 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413416 [startup+6.30677 s] /proc/loadavg: 1.32 1.11 1.08 2/56 11536 /proc/meminfo: memFree=346436/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=411300 CPUtime=6.3 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 69719 0 1 0 608 22 0 0 25 0 10 0 875302251 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 102825 68983 2884 10 0 97005 0 [pid=11526/tid=11528] ppid=11525 vsize=411300 CPUtime=2.94 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14142 0 1 0 290 4 0 0 25 0 10 0 875302252 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4115647723 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=411300 CPUtime=3.27 /proc/11526/task/11529/stat : 11529 (java) S 11525 11525 2059 34821 2220 4202560 54111 0 0 0 311 16 0 0 16 0 10 0 875302252 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=411300 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875302253 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=411300 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875302253 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=411300 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=411300 CPUtime=0.06 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 527 0 0 0 6 0 0 0 16 0 10 0 875302254 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=411300 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=411300 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) S 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875302254 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11536] ppid=11525 vsize=411300 CPUtime=0 /proc/11526/task/11536/stat : 11536 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875302769 421171200 68983 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413872 [startup+12.7077 s] /proc/loadavg: 1.30 1.11 1.08 4/56 11536 /proc/meminfo: memFree=323992/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=429780 CPUtime=12.71 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 75412 0 1 0 1247 24 0 0 25 0 10 0 875302251 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 107445 74674 2883 10 0 101625 0 [pid=11526/tid=11528] ppid=11525 vsize=429780 CPUtime=7.53 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14143 0 1 0 749 4 0 0 25 0 10 0 875302252 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4115657236 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=429780 CPUtime=5.07 /proc/11526/task/11529/stat : 11529 (java) S 11525 11525 2059 34821 2220 4202560 59797 0 0 0 490 17 0 0 16 0 10 0 875302252 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=429780 CPUtime=0.06 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 533 0 0 0 6 0 0 0 15 0 10 0 875302254 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) S 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875302254 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11536] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11536/stat : 11536 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875302769 440094720 74674 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.71 Current children cumulated vsize (KiB) 432352 [startup+25.51 s] /proc/loadavg: 1.23 1.10 1.08 2/56 11536 /proc/meminfo: memFree=322256/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=429780 CPUtime=25.5 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 75678 0 1 0 2526 24 0 0 25 0 10 0 875302251 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 107445 74940 2883 10 0 101625 0 [pid=11526/tid=11528] ppid=11525 vsize=429780 CPUtime=18.64 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14143 0 1 0 1860 4 0 0 25 0 10 0 875302252 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4115672983 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=429780 CPUtime=6.75 /proc/11526/task/11529/stat : 11529 (java) S 11525 11525 2059 34821 2220 4202560 60062 0 0 0 658 17 0 0 15 0 10 0 875302252 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=429780 CPUtime=0.06 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 534 0 0 0 6 0 0 0 15 0 10 0 875302254 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) R 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875302254 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11536] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11536/stat : 11536 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875302769 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 432352 Solver just ended. Dumping a history of the last processes samples [startup+25.61 s] /proc/loadavg: 1.23 1.10 1.08 2/56 11536 /proc/meminfo: memFree=322256/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=429780 CPUtime=25.6 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 75678 0 1 0 2536 24 0 0 25 0 10 0 875302251 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 107445 74940 2883 10 0 101625 0 [pid=11526/tid=11528] ppid=11525 vsize=429780 CPUtime=18.74 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14143 0 1 0 1870 4 0 0 25 0 10 0 875302252 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4115719894 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=429780 CPUtime=6.75 /proc/11526/task/11529/stat : 11529 (java) S 11525 11525 2059 34821 2220 4202560 60062 0 0 0 658 17 0 0 15 0 10 0 875302252 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=429780 CPUtime=0.06 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 534 0 0 0 6 0 0 0 15 0 10 0 875302254 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) S 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875302254 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11536] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11536/stat : 11536 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875302769 440094720 74940 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.6 Current children cumulated vsize (KiB) 432352 [startup+32.0114 s] /proc/loadavg: 1.21 1.10 1.08 2/56 11536 /proc/meminfo: memFree=322256/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=429780 CPUtime=32 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 75684 0 1 0 3176 24 0 0 25 0 10 0 875302251 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 107445 74946 2883 10 0 101625 0 [pid=11526/tid=11528] ppid=11525 vsize=429780 CPUtime=24.29 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14143 0 1 0 2425 4 0 0 25 0 10 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4115719516 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=429780 CPUtime=7.61 /proc/11526/task/11529/stat : 11529 (java) S 11525 11525 2059 34821 2220 4202560 60068 0 0 0 744 17 0 0 15 0 10 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=429780 CPUtime=0.06 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 534 0 0 0 6 0 0 0 15 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) S 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11536] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11536/stat : 11536 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875302769 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 32 Current children cumulated vsize (KiB) 432352 [startup+33.6117 s] /proc/loadavg: 1.21 1.10 1.08 2/56 11536 /proc/meminfo: memFree=322256/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=429780 CPUtime=33.61 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 75684 0 1 0 3337 24 0 0 25 0 10 0 875302251 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 107445 74946 2883 10 0 101625 0 [pid=11526/tid=11528] ppid=11525 vsize=429780 CPUtime=25.89 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14143 0 1 0 2585 4 0 0 25 0 10 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4115666288 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=429780 CPUtime=7.61 /proc/11526/task/11529/stat : 11529 (java) S 11525 11525 2059 34821 2220 4202560 60068 0 0 0 744 17 0 0 15 0 10 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=429780 CPUtime=0.06 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 534 0 0 0 6 0 0 0 15 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) S 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11536] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11536/stat : 11536 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875302769 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 33.61 Current children cumulated vsize (KiB) 432352 [startup+35.2321 s] /proc/loadavg: 1.19 1.10 1.08 3/56 11536 /proc/meminfo: memFree=322256/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=429780 CPUtime=35.23 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 75684 0 1 0 3499 24 0 0 25 0 10 0 875302251 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 107445 74946 2883 10 0 101625 0 [pid=11526/tid=11528] ppid=11525 vsize=429780 CPUtime=27.43 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14143 0 1 0 2739 4 0 0 25 0 10 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=429780 CPUtime=7.69 /proc/11526/task/11529/stat : 11529 (java) R 11525 11525 2059 34821 2220 4202560 60068 0 0 0 752 17 0 0 15 0 10 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4151448056 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=429780 CPUtime=0.06 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 534 0 0 0 6 0 0 0 15 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) S 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11536] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11536/stat : 11536 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875302769 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 35.23 Current children cumulated vsize (KiB) 432352 [startup+35.6123 s] /proc/loadavg: 1.19 1.10 1.08 3/56 11536 /proc/meminfo: memFree=322256/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=429780 CPUtime=35.61 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 75684 0 1 0 3537 24 0 0 25 0 10 0 875302251 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 107445 74946 2883 10 0 101625 0 [pid=11526/tid=11528] ppid=11525 vsize=429780 CPUtime=27.43 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14143 0 1 0 2739 4 0 0 25 0 10 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=429780 CPUtime=8.07 /proc/11526/task/11529/stat : 11529 (java) R 11525 11525 2059 34821 2220 4202560 60068 0 0 0 790 17 0 0 16 0 10 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4153142069 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=429780 CPUtime=0.06 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 534 0 0 0 6 0 0 0 15 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) S 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11536] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11536/stat : 11536 (java) R 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875302769 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 35.61 Current children cumulated vsize (KiB) 432352 [startup+36.0124 s] /proc/loadavg: 1.19 1.10 1.08 3/56 11536 /proc/meminfo: memFree=322256/1048576 swapFree=2078768/2097144 [pid=11525] ppid=11524 vsize=2572 CPUtime=0 /proc/11525/stat : 11525 (gj-paranoid-sol) S 11524 11525 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875302251 2633728 273 1283457024 134512640 135304128 4290401648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11525/statm: 643 273 232 194 0 29 0 [pid=11526] ppid=11525 vsize=429780 CPUtime=36.01 /proc/11526/stat : 11526 (java) S 11525 11525 2059 34821 2220 4202496 75684 0 1 0 3577 24 0 0 25 0 9 0 875302251 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11526/statm: 107445 74946 2883 10 0 101625 0 [pid=11526/tid=11528] ppid=11525 vsize=429780 CPUtime=27.44 /proc/11526/task/11528/stat : 11528 (java) R 11525 11525 2059 34821 2220 4202560 14143 0 1 0 2740 4 0 0 25 0 9 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4115666760 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11526/tid=11529] ppid=11525 vsize=429780 CPUtime=8.46 /proc/11526/task/11529/stat : 11529 (java) S 11525 11525 2059 34821 2220 4202560 60068 0 0 0 829 17 0 0 16 0 9 0 875302252 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11530] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11530/stat : 11530 (java) S 11525 11525 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 9 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11531] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11531/stat : 11531 (java) S 11525 11525 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 875302253 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11532] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11532/stat : 11532 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11533] ppid=11525 vsize=429780 CPUtime=0.06 /proc/11526/task/11533/stat : 11533 (java) S 11525 11525 2059 34821 2220 4202560 534 0 0 0 6 0 0 0 15 0 9 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11534] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11534/stat : 11534 (java) S 11525 11525 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0 [pid=11526/tid=11535] ppid=11525 vsize=429780 CPUtime=0 /proc/11526/task/11535/stat : 11535 (java) R 11525 11525 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 875302254 440094720 74946 1283457024 134512640 134550932 4289201056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 36.01 Current children cumulated vsize (KiB) 432352 Child status: 0 Real time (s): 36.0881 CPU time (s): 36.0343 CPU user time (s): 35.7902 CPU system time (s): 0.244015 CPU usage (%): 99.8507 Max. virtual memory (cumulated for all children) (KiB): 432352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.7902 system time used= 0.244015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76081 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1320 involuntary context switches= 1673 runsolver used 0 second user time and 0 second system time The end