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/201108251442/gj-paranoid-solver-1.0/27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.dudf-real.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.40 1.16 1.05 4/34 12309 /proc/meminfo: memFree=301520/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=11044 CPUtime=0.01 /proc/12309/stat : 12309 (java) R 12308 12308 4778 34817 4778 4202496 697 0 0 0 0 1 0 0 25 0 1 0 10574642 11309056 433 1283457024 134512640 134550932 4293312400 18446744073709551615 4160186082 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12309/statm: 2761 433 180 10 0 1103 0 [startup+0.185481 s] /proc/loadavg: 1.40 1.16 1.05 4/34 12309 /proc/meminfo: memFree=301520/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=409800 CPUtime=0.19 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 3996 0 1 0 18 1 0 0 25 0 9 0 10574642 419635200 3424 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102450 3424 1910 10 0 96598 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412364 [startup+0.205462 s] /proc/loadavg: 1.40 1.16 1.05 4/34 12309 /proc/meminfo: memFree=301520/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=409800 CPUtime=0.21 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 4040 0 1 0 20 1 0 0 25 0 9 0 10574642 419635200 3468 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102450 3468 1910 10 0 96598 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412364 [startup+0.305482 s] /proc/loadavg: 1.40 1.16 1.05 4/34 12309 /proc/meminfo: memFree=301520/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=410244 CPUtime=0.31 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 4399 0 1 0 30 1 0 0 25 0 9 0 10574642 420089856 3826 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102561 3826 1944 10 0 96709 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412808 [startup+0.705605 s] /proc/loadavg: 1.40 1.16 1.05 4/34 12309 /proc/meminfo: memFree=301520/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=410688 CPUtime=0.7 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 12583 0 1 0 66 4 0 0 25 0 9 0 10574642 420544512 11823 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102672 11823 2901 10 0 96820 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413252 [startup+1.50587 s] /proc/loadavg: 1.53 1.20 1.06 3/43 12318 /proc/meminfo: memFree=243280/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=410688 CPUtime=1.5 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 25956 0 1 0 140 10 0 0 25 0 9 0 10574642 420544512 25196 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102672 25196 2901 10 0 96820 0 [pid=12309/tid=12311] ppid=12308 vsize=410688 CPUtime=0.82 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 6768 0 1 0 80 2 0 0 25 0 9 0 10574643 420544512 25196 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=410688 CPUtime=0.63 /proc/12309/task/12312/stat : 12312 (java) R 12308 12308 4778 34817 4778 4202560 17797 0 0 0 56 7 0 0 18 0 9 0 10574643 420544512 25196 1283457024 134512640 134550932 4293312400 18446744073709551615 4151064495 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=410688 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10574644 420544512 25196 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=410688 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10574644 420544512 25196 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=410688 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10574645 420544512 25196 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=410688 CPUtime=0.04 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 450 0 0 0 4 0 0 0 20 0 9 0 10574645 420544512 25196 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=410688 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 10574645 420544512 25196 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=410688 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10574645 420544512 25196 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413252 [startup+3.10628 s] /proc/loadavg: 1.53 1.20 1.06 2/43 12318 /proc/meminfo: memFree=169624/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=410820 CPUtime=3.1 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 48261 0 1 0 292 18 0 0 25 0 9 0 10574642 420679680 47501 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102705 47501 2901 10 0 96853 0 [pid=12309/tid=12311] ppid=12308 vsize=410820 CPUtime=1.47 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 13804 0 1 0 143 4 0 0 25 0 9 0 10574643 420679680 47501 1283457024 134512640 134550932 4293312400 18446744073709551615 4115253060 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=410820 CPUtime=1.56 /proc/12309/task/12312/stat : 12312 (java) S 12308 12308 4778 34817 4778 4202560 33062 0 0 0 144 12 0 0 16 0 9 0 10574643 420679680 47501 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=410820 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10574644 420679680 47501 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=410820 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10574644 420679680 47501 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=410820 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10574645 420679680 47501 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=410820 CPUtime=0.04 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 454 0 0 0 4 0 0 0 15 0 9 0 10574645 420679680 47501 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=410820 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 10574645 420679680 47501 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=410820 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10574645 420679680 47501 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413384 [startup+6.3072 s] /proc/loadavg: 1.57 1.21 1.07 3/43 12318 /proc/meminfo: memFree=38316/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=411288 CPUtime=6.3 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 71076 0 1 0 604 26 0 0 25 0 10 0 10574642 421158912 70223 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102822 70223 2917 10 0 96967 0 [pid=12309/tid=12311] ppid=12308 vsize=411288 CPUtime=2.93 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 14359 0 1 0 288 5 0 0 25 0 10 0 10574643 421158912 70223 1283457024 134512640 134550932 4293312400 18446744073709551615 4115656541 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=411288 CPUtime=3.26 /proc/12309/task/12312/stat : 12312 (java) S 12308 12308 4778 34817 4778 4202560 55251 0 0 0 306 20 0 0 16 0 10 0 10574643 421158912 70223 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70223 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70223 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70223 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=411288 CPUtime=0.09 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 520 0 0 0 9 0 0 0 15 0 10 0 10574645 421158912 70223 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70223 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10574645 421158912 70223 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413852 [startup+12.7091 s] /proc/loadavg: 1.52 1.20 1.06 3/44 12319 /proc/meminfo: memFree=32232/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=411288 CPUtime=12.69 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 71112 0 1 0 1243 26 0 0 25 0 10 0 10574642 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102822 70259 2918 10 0 96967 0 [pid=12309/tid=12311] ppid=12308 vsize=411288 CPUtime=9.28 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 14366 0 1 0 923 5 0 0 25 0 10 0 10574643 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4115794794 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=411288 CPUtime=3.26 /proc/12309/task/12312/stat : 12312 (java) S 12308 12308 4778 34817 4778 4202560 55251 0 0 0 306 20 0 0 16 0 10 0 10574643 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=411288 CPUtime=0.14 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 549 0 0 0 14 0 0 0 16 0 10 0 10574645 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) R 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10574645 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12319] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12319/stat : 12319 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10575216 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 413852 Solver just ended. Dumping a history of the last processes samples [startup+12.8091 s] /proc/loadavg: 1.52 1.20 1.06 3/44 12319 /proc/meminfo: memFree=32232/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=411288 CPUtime=12.79 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 71112 0 1 0 1253 26 0 0 25 0 10 0 10574642 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102822 70259 2918 10 0 96967 0 [pid=12309/tid=12311] ppid=12308 vsize=411288 CPUtime=9.38 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 14366 0 1 0 933 5 0 0 25 0 10 0 10574643 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4115802040 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=411288 CPUtime=3.26 /proc/12309/task/12312/stat : 12312 (java) S 12308 12308 4778 34817 4778 4202560 55251 0 0 0 306 20 0 0 16 0 10 0 10574643 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=411288 CPUtime=0.14 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 549 0 0 0 14 0 0 0 16 0 10 0 10574645 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10574645 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12319] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12319/stat : 12319 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10575216 421158912 70259 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 413852 [startup+16.0101 s] /proc/loadavg: 1.48 1.20 1.06 3/44 12319 /proc/meminfo: memFree=32232/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=411288 CPUtime=16 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 71113 0 1 0 1574 26 0 0 25 0 10 0 10574642 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102822 70260 2918 10 0 96967 0 [pid=12309/tid=12311] ppid=12308 vsize=411288 CPUtime=12.34 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 14366 0 1 0 1229 5 0 0 25 0 10 0 10574643 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=411288 CPUtime=3.5 /proc/12309/task/12312/stat : 12312 (java) R 12308 12308 4778 34817 4778 4202560 55251 0 0 0 330 20 0 0 16 0 10 0 10574643 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4152555957 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=411288 CPUtime=0.14 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 550 0 0 0 14 0 0 0 16 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) R 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12319] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12319/stat : 12319 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10575216 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16 Current children cumulated vsize (KiB) 413852 [startup+16.8103 s] /proc/loadavg: 1.48 1.20 1.06 2/44 12319 /proc/meminfo: memFree=32232/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=411288 CPUtime=16.79 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 71113 0 1 0 1653 26 0 0 25 0 10 0 10574642 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102822 70260 2918 10 0 96967 0 [pid=12309/tid=12311] ppid=12308 vsize=411288 CPUtime=12.95 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 14366 0 1 0 1290 5 0 0 25 0 10 0 10574643 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4115656740 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=411288 CPUtime=3.68 /proc/12309/task/12312/stat : 12312 (java) S 12308 12308 4778 34817 4778 4202560 55251 0 0 0 348 20 0 0 16 0 10 0 10574643 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=411288 CPUtime=0.14 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 550 0 0 0 14 0 0 0 16 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12319] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12319/stat : 12319 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10575216 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.79 Current children cumulated vsize (KiB) 413852 [startup+17.2105 s] /proc/loadavg: 1.48 1.20 1.06 2/44 12319 /proc/meminfo: memFree=32232/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=411288 CPUtime=17.19 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 71113 0 1 0 1693 26 0 0 25 0 10 0 10574642 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102822 70260 2918 10 0 96967 0 [pid=12309/tid=12311] ppid=12308 vsize=411288 CPUtime=13.35 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 14366 0 1 0 1330 5 0 0 25 0 10 0 10574643 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4115691663 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=411288 CPUtime=3.68 /proc/12309/task/12312/stat : 12312 (java) S 12308 12308 4778 34817 4778 4202560 55251 0 0 0 348 20 0 0 15 0 10 0 10574643 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=411288 CPUtime=0.14 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 550 0 0 0 14 0 0 0 16 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) R 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10574645 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12319] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12319/stat : 12319 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10575216 421158912 70260 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.19 Current children cumulated vsize (KiB) 413852 [startup+17.4105 s] /proc/loadavg: 1.48 1.20 1.06 2/44 12319 /proc/meminfo: memFree=32232/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=411288 CPUtime=17.39 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 71114 0 1 0 1713 26 0 0 25 0 10 0 10574642 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102822 70261 2918 10 0 96967 0 [pid=12309/tid=12311] ppid=12308 vsize=411288 CPUtime=13.53 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 14366 0 1 0 1348 5 0 0 25 0 10 0 10574643 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=411288 CPUtime=3.68 /proc/12309/task/12312/stat : 12312 (java) S 12308 12308 4778 34817 4778 4202560 55251 0 0 0 348 20 0 0 15 0 10 0 10574643 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=411288 CPUtime=0.15 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 551 0 0 0 15 0 0 0 15 0 10 0 10574645 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10574645 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12319] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12319/stat : 12319 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10575216 421158912 70261 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.39 Current children cumulated vsize (KiB) 413852 [startup+17.5105 s] /proc/loadavg: 1.48 1.20 1.06 2/44 12319 /proc/meminfo: memFree=32232/1048576 swapFree=0/0 [pid=12308] ppid=12307 vsize=2564 CPUtime=0 /proc/12308/stat : 12308 (gj-paranoid-sol) S 12307 12308 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 18 0 1 0 10574642 2625536 268 1283457024 134512640 135304128 4292468608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12308/statm: 641 268 229 194 0 28 0 [pid=12309] ppid=12308 vsize=411288 CPUtime=17.49 /proc/12309/stat : 12309 (java) S 12308 12308 4778 34817 4778 4202496 71116 0 1 0 1723 26 0 0 25 0 10 0 10574642 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12309/statm: 102822 70263 2918 10 0 96967 0 [pid=12309/tid=12311] ppid=12308 vsize=411288 CPUtime=13.63 /proc/12309/task/12311/stat : 12311 (java) R 12308 12308 4778 34817 4778 4202560 14366 0 1 0 1358 5 0 0 25 0 10 0 10574643 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4115751646 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12312] ppid=12308 vsize=411288 CPUtime=3.68 /proc/12309/task/12312/stat : 12312 (java) S 12308 12308 4778 34817 4778 4202560 55251 0 0 0 348 20 0 0 15 0 10 0 10574643 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12313] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12313/stat : 12313 (java) S 12308 12308 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12314] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12314/stat : 12314 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10574644 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12315] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12315/stat : 12315 (java) S 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12316] ppid=12308 vsize=411288 CPUtime=0.15 /proc/12309/task/12316/stat : 12316 (java) S 12308 12308 4778 34817 4778 4202560 553 0 0 0 15 0 0 0 15 0 10 0 10574645 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12317] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12317/stat : 12317 (java) S 12308 12308 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10574645 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=12309/tid=12318] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12318/stat : 12318 (java) R 12308 12308 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10574645 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12309/tid=12319] ppid=12308 vsize=411288 CPUtime=0 /proc/12309/task/12319/stat : 12319 (java) S 12308 12308 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10575216 421158912 70263 1283457024 134512640 134550932 4293312400 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.49 Current children cumulated vsize (KiB) 413852 Child status: 0 Real time (s): 17.589 CPU time (s): 17.5651 CPU user time (s): 17.2811 CPU system time (s): 0.284017 CPU usage (%): 99.8639 Max. virtual memory (cumulated for all children) (KiB): 413852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.2811 system time used= 0.284017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71513 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= 1052 involuntary context switches= 1215 runsolver used 0 second user time and 0 second system time The end