runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3311270-1304117440/watcher-3311270-1304117440 -o /tmp/evaluation-result-3311270-1304117440/solver-3311270-1304117440 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311270-1304117440.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.58 6.87 6.98 2/178 10032
/proc/meminfo: memFree=28228200/32951124 swapFree=67111524/67111528
[pid=10032] ppid=10030 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/10032/stat : 10032 (java) R 10030 10032 9441 0 -1 4202496 1202 0 0 0 0 0 0 0 20 0 1 0 523344492 23580672 688 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230804203409 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10032/statm: 5757 688 514 9 0 124 0
[startup+0.0856599 s]
/proc/loadavg: 4.58 6.87 6.98 2/178 10032
/proc/meminfo: memFree=28228200/32951124 swapFree=67111524/67111528
[pid=10032] ppid=10030 vsize=15676856 CPUtime=0.09 cores=0,2,4,6
/proc/10032/stat : 10032 (java) S 10030 10032 9441 0 -1 4202496 5370 0 1 0 8 1 0 0 20 0 18 0 523344492 16053100544 4809 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 3919214 4810 2115 9 0 3909933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676856
[startup+0.100627 s]
/proc/loadavg: 4.58 6.87 6.98 2/178 10032
/proc/meminfo: memFree=28228200/32951124 swapFree=67111524/67111528
[pid=10032] ppid=10030 vsize=15676856 CPUtime=0.1 cores=0,2,4,6
/proc/10032/stat : 10032 (java) S 10030 10032 9441 0 -1 4202496 5532 0 1 0 9 1 0 0 20 0 18 0 523344492 16053100544 4970 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 3919214 4971 2116 9 0 3909933 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676856
[startup+0.300602 s]
/proc/loadavg: 4.58 6.87 6.98 2/178 10032
/proc/meminfo: memFree=28228200/32951124 swapFree=67111524/67111528
[pid=10032] ppid=10030 vsize=15682584 CPUtime=0.52 cores=0,2,4,6
/proc/10032/stat : 10032 (java) S 10030 10032 9441 0 -1 4202496 15160 0 1 0 50 2 0 0 20 0 18 0 523344492 16058966016 13325 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 3920646 13330 2206 9 0 3911365 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15682584
[startup+0.700543 s]
/proc/loadavg: 4.58 6.87 6.98 2/178 10032
/proc/meminfo: memFree=28228200/32951124 swapFree=67111524/67111528
[pid=10032] ppid=10030 vsize=15682584 CPUtime=0.93 cores=0,2,4,6
/proc/10032/stat : 10032 (java) S 10030 10032 9441 0 -1 4202496 41920 0 1 0 87 6 0 0 20 0 18 0 523344492 16058966016 40082 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 3920646 40082 2222 9 0 3911365 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15682584
[startup+1.50138 s]
/proc/loadavg: 4.69 6.85 6.98 5/220 10074
/proc/meminfo: memFree=27890116/32951124 swapFree=67111524/67111528
[pid=10032] ppid=10030 vsize=15689652 CPUtime=2.48 cores=0,2,4,6
/proc/10032/stat : 10032 (java) S 10030 10032 9441 0 -1 4202496 58302 0 1 0 239 9 0 0 20 0 22 0 523344492 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 3922413 51322 2258 9 0 3913132 0
[pid=10032/tid=10042] ppid=10030 vsize=15689652 CPUtime=1.47 cores=0,2,4,6
/proc/10032/task/10042/stat : 10042 (java) R 10030 10032 9441 0 -1 4202560 35637 0 1 0 142 5 0 0 21 0 22 0 523344493 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 47110654145402 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10032/tid=10043] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10043/stat : 10043 (java) S 10030 10032 9441 0 -1 4202560 992 0 0 0 0 0 0 0 16 0 22 0 523344493 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10044] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10044/stat : 10044 (java) S 10030 10032 9441 0 -1 4202560 1168 0 0 0 0 0 0 0 16 0 22 0 523344493 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10045] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10045/stat : 10045 (java) S 10030 10032 9441 0 -1 4202560 374 0 0 0 0 0 0 0 17 0 22 0 523344493 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10046] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10046/stat : 10046 (java) S 10030 10032 9441 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 523344493 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10047] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10047/stat : 10047 (java) S 10030 10032 9441 0 -1 4202560 472 0 0 0 0 0 0 0 18 0 22 0 523344493 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10048] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10048/stat : 10048 (java) S 10030 10032 9441 0 -1 4202560 23 0 0 0 0 0 0 0 18 0 22 0 523344493 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10049] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10049/stat : 10049 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523344493 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10050] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10050/stat : 10050 (java) S 10030 10032 9441 0 -1 4202560 716 0 0 0 0 0 0 0 17 0 22 0 523344493 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10054] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10054/stat : 10054 (java) S 10030 10032 9441 0 -1 4202560 71 0 0 0 0 0 0 0 18 0 22 0 523344494 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 0 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10055] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10055/stat : 10055 (java) S 10030 10032 9441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523344495 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10056] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10056/stat : 10056 (java) S 10030 10032 9441 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523344495 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10062] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10062/stat : 10062 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10063] ppid=10030 vsize=15689652 CPUtime=0.69 cores=0,2,4,6
/proc/10032/task/10063/stat : 10063 (java) R 10030 10032 9441 0 -1 4202560 14679 0 0 0 67 2 0 0 16 0 22 0 523344497 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 47110653469276 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10032/tid=10064] ppid=10030 vsize=15689652 CPUtime=0.27 cores=0,2,4,6
/proc/10032/task/10064/stat : 10064 (java) S 10030 10032 9441 0 -1 4202560 2739 0 0 0 27 0 0 0 15 0 22 0 523344497 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10065] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10065/stat : 10065 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10066] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10066/stat : 10066 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523344497 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10071] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10071/stat : 10071 (java) S 10030 10032 9441 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523344568 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10072] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10072/stat : 10072 (java) S 10030 10032 9441 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523344568 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10073] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10073/stat : 10073 (java) S 10030 10032 9441 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523344568 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10074] ppid=10030 vsize=15689652 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10074/stat : 10074 (java) S 10030 10032 9441 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523344568 16066203648 51322 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 15689652
[startup+3.10101 s]
/proc/loadavg: 4.69 6.85 6.98 5/220 10074
/proc/meminfo: memFree=27836964/32951124 swapFree=67111524/67111528
[pid=10032] ppid=10030 vsize=15691696 CPUtime=6.59 cores=0,2,4,6
/proc/10032/stat : 10032 (java) S 10030 10032 9441 0 -1 4202496 86908 0 1 0 646 13 0 0 20 0 22 0 523344492 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 3922924 78027 2275 9 0 3913643 0
[pid=10032/tid=10042] ppid=10030 vsize=15691696 CPUtime=2.28 cores=0,2,4,6
/proc/10032/task/10042/stat : 10042 (java) S 10030 10032 9441 0 -1 4202560 35695 0 1 0 223 5 0 0 23 0 22 0 523344493 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10043] ppid=10030 vsize=15691696 CPUtime=0.03 cores=0,2,4,6
/proc/10032/task/10043/stat : 10043 (java) S 10030 10032 9441 0 -1 4202560 6172 0 0 0 3 0 0 0 16 0 22 0 523344493 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10044] ppid=10030 vsize=15691696 CPUtime=0.03 cores=0,2,4,6
/proc/10032/task/10044/stat : 10044 (java) S 10030 10032 9441 0 -1 4202560 4662 0 0 0 3 0 0 0 16 0 22 0 523344493 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10045] ppid=10030 vsize=15691696 CPUtime=0.03 cores=0,2,4,6
/proc/10032/task/10045/stat : 10045 (java) S 10030 10032 9441 0 -1 4202560 3565 0 0 0 3 0 0 0 16 0 22 0 523344493 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10046] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10046/stat : 10046 (java) S 10030 10032 9441 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 523344493 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10047] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10047/stat : 10047 (java) S 10030 10032 9441 0 -1 4202560 472 0 0 0 0 0 0 0 18 0 22 0 523344493 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10048] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10048/stat : 10048 (java) S 10030 10032 9441 0 -1 4202560 33 0 0 0 0 0 0 0 18 0 22 0 523344493 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10049] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10049/stat : 10049 (java) S 10030 10032 9441 0 -1 4202560 22 0 0 0 0 0 0 0 18 0 22 0 523344493 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10050] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10050/stat : 10050 (java) S 10030 10032 9441 0 -1 4202560 716 0 0 0 0 0 0 0 15 0 22 0 523344493 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10054] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10054/stat : 10054 (java) S 10030 10032 9441 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 523344494 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 0 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10055] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10055/stat : 10055 (java) S 10030 10032 9441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523344495 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10056] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10056/stat : 10056 (java) S 10030 10032 9441 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523344495 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10062] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10062/stat : 10062 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10063] ppid=10030 vsize=15691696 CPUtime=1.42 cores=0,2,4,6
/proc/10032/task/10063/stat : 10063 (java) S 10030 10032 9441 0 -1 4202560 16158 0 0 0 139 3 0 0 15 0 22 0 523344497 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10064] ppid=10030 vsize=15691696 CPUtime=0.96 cores=0,2,4,6
/proc/10032/task/10064/stat : 10064 (java) S 10030 10032 9441 0 -1 4202560 4287 0 0 0 96 0 0 0 15 0 22 0 523344497 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10065] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10065/stat : 10065 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10066] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10066/stat : 10066 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523344497 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10071] ppid=10030 vsize=15691696 CPUtime=0.32 cores=0,2,4,6
/proc/10032/task/10071/stat : 10071 (java) R 10030 10032 9441 0 -1 4202560 3483 0 0 0 32 0 0 0 16 0 22 0 523344568 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 46912506167027 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10032/tid=10072] ppid=10030 vsize=15691696 CPUtime=0.39 cores=0,2,4,6
/proc/10032/task/10072/stat : 10072 (java) R 10030 10032 9441 0 -1 4202560 3431 0 0 0 39 0 0 0 16 0 22 0 523344568 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 46912506167214 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10032/tid=10073] ppid=10030 vsize=15691696 CPUtime=0.51 cores=0,2,4,6
/proc/10032/task/10073/stat : 10073 (java) R 10030 10032 9441 0 -1 4202560 2875 0 0 0 51 0 0 0 16 0 22 0 523344568 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 46912506381275 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=10032/tid=10074] ppid=10030 vsize=15691696 CPUtime=0.52 cores=0,2,4,6
/proc/10032/task/10074/stat : 10074 (java) R 10030 10032 9441 0 -1 4202560 3875 0 0 0 52 0 0 0 16 0 22 0 523344568 16068296704 78027 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 46912506380226 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 15691696
[startup+6.30143 s]
/proc/loadavg: 5.04 6.89 6.99 11/220 10074
/proc/meminfo: memFree=26365888/32951124 swapFree=67111524/67111528
[pid=10032] ppid=10030 vsize=15691696 CPUtime=19.33 cores=0,2,4,6
/proc/10032/stat : 10032 (java) S 10030 10032 9441 0 -1 4202496 259203 0 1 0 1895 38 0 0 20 0 22 0 523344492 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 3922924 249426 2275 9 0 3913643 0
[pid=10032/tid=10042] ppid=10030 vsize=15691696 CPUtime=2.28 cores=0,2,4,6
/proc/10032/task/10042/stat : 10042 (java) S 10030 10032 9441 0 -1 4202560 35695 0 1 0 223 5 0 0 23 0 22 0 523344493 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10043] ppid=10030 vsize=15691696 CPUtime=0.2 cores=0,2,4,6
/proc/10032/task/10043/stat : 10043 (java) S 10030 10032 9441 0 -1 4202560 28543 0 0 0 16 4 0 0 16 0 22 0 523344493 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10044] ppid=10030 vsize=15691696 CPUtime=0.14 cores=0,2,4,6
/proc/10032/task/10044/stat : 10044 (java) S 10030 10032 9441 0 -1 4202560 21597 0 0 0 11 3 0 0 15 0 22 0 523344493 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10045] ppid=10030 vsize=15691696 CPUtime=0.03 cores=0,2,4,6
/proc/10032/task/10045/stat : 10045 (java) S 10030 10032 9441 0 -1 4202560 3565 0 0 0 3 0 0 0 15 0 22 0 523344493 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10046] ppid=10030 vsize=15691696 CPUtime=0.06 cores=0,2,4,6
/proc/10032/task/10046/stat : 10046 (java) S 10030 10032 9441 0 -1 4202560 15986 0 0 0 5 1 0 0 15 0 22 0 523344493 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10047] ppid=10030 vsize=15691696 CPUtime=0.12 cores=0,2,4,6
/proc/10032/task/10047/stat : 10047 (java) S 10030 10032 9441 0 -1 4202560 19568 0 0 0 9 3 0 0 16 0 22 0 523344493 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10048] ppid=10030 vsize=15691696 CPUtime=0.08 cores=0,2,4,6
/proc/10032/task/10048/stat : 10048 (java) S 10030 10032 9441 0 -1 4202560 12218 0 0 0 7 1 0 0 15 0 22 0 523344493 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10049] ppid=10030 vsize=15691696 CPUtime=0.06 cores=0,2,4,6
/proc/10032/task/10049/stat : 10049 (java) S 10030 10032 9441 0 -1 4202560 10124 0 0 0 5 1 0 0 15 0 22 0 523344493 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10050] ppid=10030 vsize=15691696 CPUtime=0.09 cores=0,2,4,6
/proc/10032/task/10050/stat : 10050 (java) S 10030 10032 9441 0 -1 4202560 15718 0 0 0 7 2 0 0 16 0 22 0 523344493 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10054] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10054/stat : 10054 (java) S 10030 10032 9441 0 -1 4202560 568 0 0 0 0 0 0 0 16 0 22 0 523344494 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 0 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10055] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10055/stat : 10055 (java) S 10030 10032 9441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523344495 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10056] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10056/stat : 10056 (java) S 10030 10032 9441 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523344495 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10062] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10062/stat : 10062 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10063] ppid=10030 vsize=15691696 CPUtime=1.43 cores=0,2,4,6
/proc/10032/task/10063/stat : 10063 (java) S 10030 10032 9441 0 -1 4202560 16158 0 0 0 140 3 0 0 15 0 22 0 523344497 16068296704 249426 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=10032/tid=10056] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10056/stat : 10056 (java) S 10030 10032 9441 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523344495 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10062] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10062/stat : 10062 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10063] ppid=10030 vsize=15691696 CPUtime=1.59 cores=0,2,4,6
/proc/10032/task/10063/stat : 10063 (java) S 10030 10032 9441 0 -1 4202560 16176 0 0 0 156 3 0 0 15 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10064] ppid=10030 vsize=15691696 CPUtime=1.07 cores=0,2,4,6
/proc/10032/task/10064/stat : 10064 (java) S 10030 10032 9441 0 -1 4202560 4296 0 0 0 107 0 0 0 15 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10065] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10065/stat : 10065 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10066] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10066/stat : 10066 (java) S 10030 10032 9441 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10071] ppid=10030 vsize=15691696 CPUtime=294.15 cores=0,2,4,6
/proc/10032/task/10071/stat : 10071 (java) S 10030 10032 9441 0 -1 4202560 111156 0 0 0 29394 21 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10072] ppid=10030 vsize=15691696 CPUtime=294.23 cores=0,2,4,6
/proc/10032/task/10072/stat : 10072 (java) S 10030 10032 9441 0 -1 4202560 107733 0 0 0 29403 20 0 0 16 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10073] ppid=10030 vsize=15691696 CPUtime=294.17 cores=0,2,4,6
/proc/10032/task/10073/stat : 10073 (java) S 10030 10032 9441 0 -1 4202560 110090 0 0 0 29396 21 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10074] ppid=10030 vsize=15691696 CPUtime=295.31 cores=0,2,4,6
/proc/10032/task/10074/stat : 10074 (java) S 10030 10032 9441 0 -1 4202560 116841 0 0 0 29508 23 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2081.95
Current children cumulated vsize (KiB) 15691696
[startup+1242.3 s]
/proc/loadavg: 4.85 5.09 5.82 6/220 10170
/proc/meminfo: memFree=14784116/32951124 swapFree=67111448/67111528
[pid=10032] ppid=10030 vsize=15691696 CPUtime=2141.98 cores=0,2,4,6
/proc/10032/stat : 10032 (java) S 10030 10032 9441 0 -1 4202496 3906817 0 1 0 213426 772 0 0 20 0 22 0 523344492 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 3922924 3869028 2294 9 0 3913643 0
[pid=10032/tid=10042] ppid=10030 vsize=15691696 CPUtime=2.28 cores=0,2,4,6
/proc/10032/task/10042/stat : 10042 (java) S 10030 10032 9441 0 -1 4202560 35695 0 1 0 223 5 0 0 23 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10043] ppid=10030 vsize=15691696 CPUtime=2.42 cores=0,2,4,6
/proc/10032/task/10043/stat : 10043 (java) S 10030 10032 9441 0 -1 4202560 277042 0 0 0 192 50 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10044] ppid=10030 vsize=15691696 CPUtime=2.82 cores=0,2,4,6
/proc/10032/task/10044/stat : 10044 (java) S 10030 10032 9441 0 -1 4202560 291338 0 0 0 216 66 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10045] ppid=10030 vsize=15691696 CPUtime=2.9 cores=0,2,4,6
/proc/10032/task/10045/stat : 10045 (java) S 10030 10032 9441 0 -1 4202560 449017 0 0 0 209 81 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10046] ppid=10030 vsize=15691696 CPUtime=2.6 cores=0,2,4,6
/proc/10032/task/10046/stat : 10046 (java) S 10030 10032 9441 0 -1 4202560 357922 0 0 0 191 69 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10047] ppid=10030 vsize=15691696 CPUtime=2.71 cores=0,2,4,6
/proc/10032/task/10047/stat : 10047 (java) S 10030 10032 9441 0 -1 4202560 390092 0 0 0 204 67 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10048] ppid=10030 vsize=15691696 CPUtime=2.22 cores=0,2,4,6
/proc/10032/task/10048/stat : 10048 (java) S 10030 10032 9441 0 -1 4202560 303702 0 0 0 164 58 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10049] ppid=10030 vsize=15691696 CPUtime=2.74 cores=0,2,4,6
/proc/10032/task/10049/stat : 10049 (java) S 10030 10032 9441 0 -1 4202560 342016 0 0 0 207 67 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10050] ppid=10030 vsize=15691696 CPUtime=2.46 cores=0,2,4,6
/proc/10032/task/10050/stat : 10050 (java) S 10030 10032 9441 0 -1 4202560 306311 0 0 0 186 60 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10054] ppid=10030 vsize=15691696 CPUtime=938.12 cores=0,2,4,6
/proc/10032/task/10054/stat : 10054 (java) R 10030 10032 9441 0 -1 4202560 685351 0 0 0 93660 152 0 0 25 0 22 0 523344494 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 47110653055056 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=10032/tid=10055] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10055/stat : 10055 (java) S 10030 10032 9441 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 523344495 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10056] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10056/stat : 10056 (java) S 10030 10032 9441 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523344495 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10062] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10062/stat : 10062 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10063] ppid=10030 vsize=15691696 CPUtime=1.59 cores=0,2,4,6
/proc/10032/task/10063/stat : 10063 (java) S 10030 10032 9441 0 -1 4202560 16176 0 0 0 156 3 0 0 15 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10064] ppid=10030 vsize=15691696 CPUtime=1.07 cores=0,2,4,6
/proc/10032/task/10064/stat : 10064 (java) S 10030 10032 9441 0 -1 4202560 4296 0 0 0 107 0 0 0 15 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10065] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10065/stat : 10065 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10066] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10066/stat : 10066 (java) S 10030 10032 9441 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10071] ppid=10030 vsize=15691696 CPUtime=294.18 cores=0,2,4,6
/proc/10032/task/10071/stat : 10071 (java) S 10030 10032 9441 0 -1 4202560 111515 0 0 0 29396 22 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10072] ppid=10030 vsize=15691696 CPUtime=294.25 cores=0,2,4,6
/proc/10032/task/10072/stat : 10072 (java) S 10030 10032 9441 0 -1 4202560 107735 0 0 0 29405 20 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10073] ppid=10030 vsize=15691696 CPUtime=294.17 cores=0,2,4,6
/proc/10032/task/10073/stat : 10073 (java) S 10030 10032 9441 0 -1 4202560 110097 0 0 0 29396 21 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10074] ppid=10030 vsize=15691696 CPUtime=295.31 cores=0,2,4,6
/proc/10032/task/10074/stat : 10074 (java) S 10030 10032 9441 0 -1 4202560 117053 0 0 0 29508 23 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 15691696
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.94 5.07 5.77 6/220 10171
/proc/meminfo: memFree=14327352/32951124 swapFree=67111448/67111528
[pid=10032] ppid=10030 vsize=15691696 CPUtime=2199.69 cores=0,2,4,6
/proc/10032/stat : 10032 (java) S 10030 10032 9441 0 -1 4202496 3907388 0 1 0 219196 773 0 0 20 0 22 0 523344492 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 3922924 3869028 2294 9 0 3913643 0
[pid=10032/tid=10042] ppid=10030 vsize=15691696 CPUtime=2.28 cores=0,2,4,6
/proc/10032/task/10042/stat : 10042 (java) S 10030 10032 9441 0 -1 4202560 35695 0 1 0 223 5 0 0 23 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10043] ppid=10030 vsize=15691696 CPUtime=2.42 cores=0,2,4,6
/proc/10032/task/10043/stat : 10043 (java) S 10030 10032 9441 0 -1 4202560 277042 0 0 0 192 50 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10044] ppid=10030 vsize=15691696 CPUtime=2.82 cores=0,2,4,6
/proc/10032/task/10044/stat : 10044 (java) S 10030 10032 9441 0 -1 4202560 291338 0 0 0 216 66 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10045] ppid=10030 vsize=15691696 CPUtime=2.9 cores=0,2,4,6
/proc/10032/task/10045/stat : 10045 (java) S 10030 10032 9441 0 -1 4202560 449017 0 0 0 209 81 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10046] ppid=10030 vsize=15691696 CPUtime=2.6 cores=0,2,4,6
/proc/10032/task/10046/stat : 10046 (java) S 10030 10032 9441 0 -1 4202560 357922 0 0 0 191 69 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10047] ppid=10030 vsize=15691696 CPUtime=2.71 cores=0,2,4,6
/proc/10032/task/10047/stat : 10047 (java) S 10030 10032 9441 0 -1 4202560 390092 0 0 0 204 67 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10048] ppid=10030 vsize=15691696 CPUtime=2.22 cores=0,2,4,6
/proc/10032/task/10048/stat : 10048 (java) S 10030 10032 9441 0 -1 4202560 303702 0 0 0 164 58 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10049] ppid=10030 vsize=15691696 CPUtime=2.74 cores=0,2,4,6
/proc/10032/task/10049/stat : 10049 (java) S 10030 10032 9441 0 -1 4202560 342016 0 0 0 207 67 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10050] ppid=10030 vsize=15691696 CPUtime=2.46 cores=0,2,4,6
/proc/10032/task/10050/stat : 10050 (java) S 10030 10032 9441 0 -1 4202560 306311 0 0 0 186 60 0 0 16 0 22 0 523344493 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10054] ppid=10030 vsize=15691696 CPUtime=995.8 cores=0,2,4,6
/proc/10032/task/10054/stat : 10054 (java) R 10030 10032 9441 0 -1 4202560 685355 0 0 0 99428 152 0 0 25 0 22 0 523344494 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 47110655021372 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=10032/tid=10055] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10055/stat : 10055 (java) S 10030 10032 9441 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 523344495 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10056] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10056/stat : 10056 (java) S 10030 10032 9441 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523344495 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10062] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10062/stat : 10062 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10063] ppid=10030 vsize=15691696 CPUtime=1.59 cores=0,2,4,6
/proc/10032/task/10063/stat : 10063 (java) S 10030 10032 9441 0 -1 4202560 16176 0 0 0 156 3 0 0 15 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10064] ppid=10030 vsize=15691696 CPUtime=1.07 cores=0,2,4,6
/proc/10032/task/10064/stat : 10064 (java) S 10030 10032 9441 0 -1 4202560 4296 0 0 0 107 0 0 0 15 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=10032/tid=10065] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10065/stat : 10065 (java) S 10030 10032 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10066] ppid=10030 vsize=15691696 CPUtime=0 cores=0,2,4,6
/proc/10032/task/10066/stat : 10066 (java) S 10030 10032 9441 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 523344497 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10071] ppid=10030 vsize=15691696 CPUtime=294.2 cores=0,2,4,6
/proc/10032/task/10071/stat : 10071 (java) S 10030 10032 9441 0 -1 4202560 112078 0 0 0 29397 23 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=10032/tid=10072] ppid=10030 vsize=15691696 CPUtime=294.25 cores=0,2,4,6
/proc/10032/task/10072/stat : 10072 (java) S 10030 10032 9441 0 -1 4202560 107735 0 0 0 29405 20 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=10032/tid=10073] ppid=10030 vsize=15691696 CPUtime=294.17 cores=0,2,4,6
/proc/10032/task/10073/stat : 10073 (java) S 10030 10032 9441 0 -1 4202560 110097 0 0 0 29396 21 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=10032/tid=10074] ppid=10030 vsize=15691696 CPUtime=295.31 cores=0,2,4,6
/proc/10032/task/10074/stat : 10074 (java) S 10030 10032 9441 0 -1 4202560 117053 0 0 0 29508 23 0 0 15 0 22 0 523344568 16068296704 3869028 33554432000 1073741824 1073778376 140736393498048 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2199.69
Current children cumulated vsize (KiB) 15691696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10032
[startup+1302.3 s]
/proc/loadavg: 4.94 5.07 5.77 6/221 10172
/proc/meminfo: memFree=14324740/32951124 swapFree=67111448/67111528
[pid=10032] ppid=10030 vsize=0 CPUtime=2201.98 cores=0,2,4,6
/proc/10032/stat : 10032 (java) Z 10030 10032 9441 0 -1 4203548 3907413 0 1 0 219397 801 0 0 18 0 2 0 523344492 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 0 0 0 0 0 0 0
[pid=10032/tid=10064] ppid=10030 vsize=0 CPUtime=1.35 cores=0,2,4,6
/proc/10032/task/10064/stat : 10064 (java) R 10030 10032 9441 0 -1 4203588 4296 0 0 0 107 28 0 0 16 0 2 0 523344497 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.5 s]
/proc/loadavg: 4.94 5.07 5.77 6/221 10172
/proc/meminfo: memFree=14324740/32951124 swapFree=67111448/67111528
[pid=10032] ppid=10030 vsize=0 CPUtime=2202.18 cores=0,2,4,6
/proc/10032/stat : 10032 (java) Z 10030 10032 9441 0 -1 4203548 3907413 0 1 0 219397 821 0 0 18 0 2 0 523344492 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 0 0 0 0 0 0 0
[pid=10032/tid=10064] ppid=10030 vsize=0 CPUtime=1.55 cores=0,2,4,6
/proc/10032/task/10064/stat : 10064 (java) R 10030 10032 9441 0 -1 4203588 4296 0 0 0 107 48 0 0 16 0 2 0 523344497 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2202.18
Current children cumulated vsize (KiB) 0
[startup+1302.6 s]
/proc/loadavg: 4.94 5.07 5.77 6/221 10172
/proc/meminfo: memFree=14324740/32951124 swapFree=67111448/67111528
[pid=10032] ppid=10030 vsize=0 CPUtime=2202.28 cores=0,2,4,6
/proc/10032/stat : 10032 (java) Z 10030 10032 9441 0 -1 4203548 3907413 0 1 0 219397 831 0 0 18 0 2 0 523344492 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 0 0 0 0 0 0 0
[pid=10032/tid=10064] ppid=10030 vsize=0 CPUtime=1.65 cores=0,2,4,6
/proc/10032/task/10064/stat : 10064 (java) R 10030 10032 9441 0 -1 4203588 4296 0 0 0 107 58 0 0 16 0 2 0 523344497 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.64
CPU time (s): 2202.33
CPU user time (s): 2193.97
CPU system time (s): 8.35273
CPU usage (%): 169.067
Max. virtual memory (cumulated for all children) (KiB): 15691696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2193.97
system time used= 8.35273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3907413
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= 78268
involuntary context switches= 40176
runsolver used 2.10968 second user time and 5.06123 second system time
The end