runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3737130-1338719852/watcher-3737130-1338719852 -o /tmp/evaluation-result-3737130-1338719852/solver-3737130-1338719852 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737130-1338719852.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 3.80 3.80 3.80 4/197 20321
/proc/meminfo: memFree=26130420/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/20321/stat : 20321 (java) R 20319 20321 18226 0 -1 4202496 722 0 0 0 0 0 0 0 20 0 1 0 338110993 23793664 449 33554432000 1073741824 1073778376 140736813816320 140736813805384 270320843315 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 5809 461 351 9 0 128 0
[startup+0.096207 s]
/proc/loadavg: 3.80 3.80 3.80 4/197 20321
/proc/meminfo: memFree=26130420/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/20321/stat : 20321 (java) S 20319 20321 18226 0 -1 4202496 5336 0 1 0 9 1 0 0 20 0 18 0 338110993 11864465408 13159 33554432000 1073741824 1073778376 140736813816320 140736813807456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 2896598 13159 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.100336 s]
/proc/loadavg: 3.80 3.80 3.80 4/197 20321
/proc/meminfo: memFree=26130420/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/20321/stat : 20321 (java) S 20319 20321 18226 0 -1 4202496 5375 0 1 0 9 1 0 0 20 0 18 0 338110993 11864465408 13198 33554432000 1073741824 1073778376 140736813816320 140736813807456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 2896598 13198 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300167 s]
/proc/loadavg: 3.80 3.80 3.80 4/197 20321
/proc/meminfo: memFree=26130420/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=11586392 CPUtime=0.47 cores=0,2,4,6
/proc/20321/stat : 20321 (java) S 20319 20321 18226 0 -1 4202496 6384 0 1 0 46 1 0 0 20 0 18 0 338110993 11864465408 15850 33554432000 1073741824 1073778376 140736813816320 140736813807456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 2896598 15850 2231 9 0 2887285 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11586392
[startup+0.700185 s]
/proc/loadavg: 3.80 3.80 3.80 4/197 20321
/proc/meminfo: memFree=26130420/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=11586392 CPUtime=1.62 cores=0,2,4,6
/proc/20321/stat : 20321 (java) S 20319 20321 18226 0 -1 4202496 20273 0 1 0 158 4 0 0 20 0 18 0 338110993 11864465408 31889 33554432000 1073741824 1073778376 140736813816320 140736813807456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 2896598 31889 2255 9 0 2887285 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 11586392
[startup+1.50065 s]
/proc/loadavg: 3.80 3.80 3.80 6/219 20343
/proc/meminfo: memFree=25953236/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=11852648 CPUtime=3.22 cores=0,2,4,6
/proc/20321/stat : 20321 (java) S 20319 20321 18226 0 -1 4202496 21244 0 1 0 313 9 0 0 20 0 19 0 338110993 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140736813807456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 2963162 51066 2269 9 0 2953849 0
[pid=20321/tid=20323] ppid=20319 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/20321/task/20323/stat : 20323 (java) S 20319 20321 18226 0 -1 4202560 3472 0 1 0 86 3 0 0 20 0 19 0 338110994 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469791245464 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20324] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20324/stat : 20324 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110995 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469729975208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20325] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20325/stat : 20325 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110995 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469728922664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20326] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20326/stat : 20326 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110995 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469727869608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20327] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20327/stat : 20327 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110995 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469726817064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20328] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20328/stat : 20328 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110995 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469725764008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20329] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20329/stat : 20329 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110995 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469622565416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20330] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20330/stat : 20330 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110995 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469621512360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20331] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20331/stat : 20331 (java) S 20319 20321 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338110995 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469620459816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20332] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20332/stat : 20332 (java) S 20319 20321 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338110996 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469608262504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20333] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20333/stat : 20333 (java) S 20319 20321 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338110997 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469607208824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20334] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20334/stat : 20334 (java) S 20319 20321 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338110997 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469606155656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20335] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20335/stat : 20335 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110999 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469605104400 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20336] ppid=20319 vsize=11852648 CPUtime=0.93 cores=0,2,4,6
/proc/20321/task/20336/stat : 20336 (java) S 20319 20321 18226 0 -1 4202560 7939 0 0 0 91 2 0 0 20 0 19 0 338110999 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469604051256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20337] ppid=20319 vsize=11852648 CPUtime=0.91 cores=0,2,4,6
/proc/20321/task/20337/stat : 20337 (java) S 20319 20321 18226 0 -1 4202560 8562 0 0 0 89 2 0 0 20 0 19 0 338110999 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469602998712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20338] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20338/stat : 20338 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110999 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469601945848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20339] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20339/stat : 20339 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338110999 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469600893512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20342] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20342/stat : 20342 (java) S 20319 20321 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338111089 12137111552 51066 33554432000 1073741824 1073778376 140736813816320 140469597734184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 11852648
[startup+3.10072 s]
/proc/loadavg: 3.58 3.75 3.79 3/216 20349
/proc/meminfo: memFree=25919848/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=11852648 CPUtime=4.67 cores=0,2,4,6
/proc/20321/stat : 20321 (java) S 20319 20321 18226 0 -1 4202496 21458 0 1 0 453 14 0 0 20 0 22 0 338110993 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140736813807456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 2963162 77823 2271 9 0 2953849 0
[pid=20321/tid=20323] ppid=20319 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/20321/task/20323/stat : 20323 (java) S 20319 20321 18226 0 -1 4202560 3472 0 1 0 87 3 0 0 20 0 22 0 338110994 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469791245480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20324] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20324/stat : 20324 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110995 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469729975208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20325] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20325/stat : 20325 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110995 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469728922664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20326] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20326/stat : 20326 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110995 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469727869608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20327] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20327/stat : 20327 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110995 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469726817064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20328] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20328/stat : 20328 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110995 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469725764008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20329] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20329/stat : 20329 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110995 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469622565416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20330] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20330/stat : 20330 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110995 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469621512360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20331] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20331/stat : 20331 (java) S 20319 20321 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338110995 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469620459816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20332] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20332/stat : 20332 (java) S 20319 20321 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338110996 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469608262504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20333] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20333/stat : 20333 (java) S 20319 20321 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469607208824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20334] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20334/stat : 20334 (java) S 20319 20321 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469606155656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20335] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20335/stat : 20335 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469605104400 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20336] ppid=20319 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/20321/task/20336/stat : 20336 (java) R 20319 20321 18226 0 -1 4202560 7997 0 0 0 118 2 0 0 20 0 22 0 338110999 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469604051256 270333436341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20337] ppid=20319 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/20321/task/20337/stat : 20337 (java) R 20319 20321 18226 0 -1 4202560 8592 0 0 0 112 2 0 0 20 0 22 0 338110999 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469602998712 270333424700 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20338] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20338/stat : 20338 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469601945848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20339] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20339/stat : 20339 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469600893512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20342] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20342/stat : 20342 (java) S 20319 20321 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338111089 12137111552 77823 33554432000 1073741824 1073778376 140736813816320 140469597734184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 11852648
[startup+6.30081 s]
/proc/loadavg: 3.58 3.75 3.79 5/219 20361
/proc/meminfo: memFree=25454332/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=11852648 CPUtime=10.16 cores=0,2,4,6
/proc/20321/stat : 20321 (java) S 20319 20321 18226 0 -1 4202496 21878 0 1 0 984 32 0 0 20 0 22 0 338110993 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140736813807456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 2963162 191688 2296 9 0 2953849 0
[pid=20321/tid=20323] ppid=20319 vsize=11852648 CPUtime=0.91 cores=0,2,4,6
/proc/20321/task/20323/stat : 20323 (java) S 20319 20321 18226 0 -1 4202560 3473 0 1 0 88 3 0 0 20 0 22 0 338110994 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469791245480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20324] ppid=20319 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/20321/task/20324/stat : 20324 (java) S 20319 20321 18226 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 338110995 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469729975208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20325] ppid=20319 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/20321/task/20325/stat : 20325 (java) S 20319 20321 18226 0 -1 4202560 29 0 0 0 1 2 0 0 20 0 22 0 338110995 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469728922664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20326] ppid=20319 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/20321/task/20326/stat : 20326 (java) S 20319 20321 18226 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 338110995 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469727869608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20327] ppid=20319 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/20321/task/20327/stat : 20327 (java) S 20319 20321 18226 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 338110995 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469726817064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20328] ppid=20319 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/20321/task/20328/stat : 20328 (java) S 20319 20321 18226 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 338110995 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469725764008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20329] ppid=20319 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/20321/task/20329/stat : 20329 (java) S 20319 20321 18226 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 338110995 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469622565416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20330] ppid=20319 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/20321/task/20330/stat : 20330 (java) S 20319 20321 18226 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 338110995 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469621512360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20331] ppid=20319 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/20321/task/20331/stat : 20331 (java) S 20319 20321 18226 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 338110995 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469620459816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20332] ppid=20319 vsize=11852648 CPUtime=0.26 cores=0,2,4,6
/proc/20321/task/20332/stat : 20332 (java) S 20319 20321 18226 0 -1 4202560 67 0 0 0 26 0 0 0 20 0 22 0 338110996 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469608262504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20333] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20333/stat : 20333 (java) S 20319 20321 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469607208824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20334] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20334/stat : 20334 (java) S 20319 20321 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469606155656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20335] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20335/stat : 20335 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469605104400 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20336] ppid=20319 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/20321/task/20336/stat : 20336 (java) S 20319 20321 18226 0 -1 4202560 8020 0 0 0 140 2 0 0 20 0 22 0 338110999 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469604051256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20337] ppid=20319 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/20321/task/20337/stat : 20337 (java) S 20319 20321 18226 0 -1 4202560 8600 0 0 0 131 2 0 0 20 0 22 0 338110999 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469602998712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20338] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20338/stat : 20338 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469601945848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20339] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20339/stat : 20339 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469600893512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20342] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20342/stat : 20342 (java) S 20319 20321 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338111089 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469597734184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20359] ppid=20319 vsize=11852648 CPUtime=2 cores=0,2,4,6
/proc/20321/task/20359/stat : 20359 (java) R 20319 20321 18226 0 -1 4202560 13 0 0 0 200 0 0 0 20 0 22 0 338111387 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469599839064 140469731867943 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20360] ppid=20319 vsize=11852648 CPUtime=1.98 cores=0,2,4,6
/proc/20321/task/20360/stat : 20360 (java) R 20319 20321 18226 0 -1 4202560 123 0 0 0 193 5 0 0 20 0 22 0 338111387 12137111552 191688 33554432000 1073741824 1073778376 140736813816320 140469598785896 140469732062786 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=20321/tid=20327] ppid=20319 vsize=11852648 CPUtime=1.62 cores=0,2,4,6
/proc/20321/task/20327/stat : 20327 (java) S 20319 20321 18226 0 -1 4202560 169 0 0 0 158 4 0 0 20 0 22 0 338110995 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469726817064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20328] ppid=20319 vsize=11852648 CPUtime=1.61 cores=0,2,4,6
/proc/20321/task/20328/stat : 20328 (java) S 20319 20321 18226 0 -1 4202560 233 0 0 0 158 3 0 0 20 0 22 0 338110995 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469725764008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20329] ppid=20319 vsize=11852648 CPUtime=1.6 cores=0,2,4,6
/proc/20321/task/20329/stat : 20329 (java) S 20319 20321 18226 0 -1 4202560 234 0 0 0 156 4 0 0 20 0 22 0 338110995 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469622565416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20330] ppid=20319 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/20321/task/20330/stat : 20330 (java) S 20319 20321 18226 0 -1 4202560 182 0 0 0 146 3 0 0 20 0 22 0 338110995 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469621512360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20331] ppid=20319 vsize=11852648 CPUtime=1.64 cores=0,2,4,6
/proc/20321/task/20331/stat : 20331 (java) S 20319 20321 18226 0 -1 4202560 174 0 0 0 161 3 0 0 20 0 22 0 338110995 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469620459816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20332] ppid=20319 vsize=11852648 CPUtime=57.28 cores=0,2,4,6
/proc/20321/task/20332/stat : 20332 (java) S 20319 20321 18226 0 -1 4202560 346 0 0 0 5719 9 0 0 20 0 22 0 338110996 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469608262504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20333] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20333/stat : 20333 (java) S 20319 20321 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469607208824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20334] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20334/stat : 20334 (java) S 20319 20321 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469606155656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20335] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20335/stat : 20335 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469605104400 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20336] ppid=20319 vsize=11852648 CPUtime=1.69 cores=0,2,4,6
/proc/20321/task/20336/stat : 20336 (java) S 20319 20321 18226 0 -1 4202560 8057 0 0 0 167 2 0 0 20 0 22 0 338110999 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469604051256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20337] ppid=20319 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/20321/task/20337/stat : 20337 (java) S 20319 20321 18226 0 -1 4202560 8603 0 0 0 136 2 0 0 20 0 22 0 338110999 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469602998712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20338] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20338/stat : 20338 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469601945848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20339] ppid=20319 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/20321/task/20339/stat : 20339 (java) S 20319 20321 18226 0 -1 4202560 46 0 0 0 12 17 0 0 20 0 22 0 338110999 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469600893512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20342] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20342/stat : 20342 (java) S 20319 20321 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338111089 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469597734184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20462] ppid=20319 vsize=11852648 CPUtime=156.03 cores=0,2,4,6
/proc/20321/task/20462/stat : 20462 (java) R 20319 20321 18226 0 -1 4202560 11 0 0 0 15601 2 0 0 20 0 22 0 338175245 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469599839184 140469732180885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20463] ppid=20319 vsize=11852648 CPUtime=156.07 cores=0,2,4,6
/proc/20321/task/20463/stat : 20463 (java) R 20319 20321 18226 0 -1 4202560 3 0 0 0 15605 2 0 0 20 0 22 0 338175245 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469598784256 140469732125902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20464] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20464/stat : 20464 (java) S 20319 20321 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338175245 12137111552 534818 33554432000 1073741824 1073778376 140736813816320 140469596681640 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1583.43
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.85 3.78 3.76 5/219 20468
/proc/meminfo: memFree=23283496/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=11852648 CPUtime=1699.42 cores=0,2,4,6
/proc/20321/stat : 20321 (java) S 20319 20321 18226 0 -1 4202496 24413 0 1 0 169837 105 0 0 20 0 22 0 338110993 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140736813807456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 2963162 552390 2297 9 0 2953849 0
[pid=20321/tid=20323] ppid=20319 vsize=11852648 CPUtime=0.95 cores=0,2,4,6
/proc/20321/task/20323/stat : 20323 (java) S 20319 20321 18226 0 -1 4202560 3555 0 1 0 91 4 0 0 20 0 22 0 338110994 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469791245480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20324] ppid=20319 vsize=11852648 CPUtime=1.69 cores=0,2,4,6
/proc/20321/task/20324/stat : 20324 (java) S 20319 20321 18226 0 -1 4202560 226 0 0 0 167 2 0 0 20 0 22 0 338110995 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469729975208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20325] ppid=20319 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/20321/task/20325/stat : 20325 (java) S 20319 20321 18226 0 -1 4202560 221 0 0 0 153 5 0 0 20 0 22 0 338110995 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469728922664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20326] ppid=20319 vsize=11852648 CPUtime=1.73 cores=0,2,4,6
/proc/20321/task/20326/stat : 20326 (java) S 20319 20321 18226 0 -1 4202560 190 0 0 0 170 3 0 0 20 0 22 0 338110995 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469727869608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20327] ppid=20319 vsize=11852648 CPUtime=1.72 cores=0,2,4,6
/proc/20321/task/20327/stat : 20327 (java) S 20319 20321 18226 0 -1 4202560 194 0 0 0 168 4 0 0 20 0 22 0 338110995 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469726817064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20328] ppid=20319 vsize=11852648 CPUtime=1.74 cores=0,2,4,6
/proc/20321/task/20328/stat : 20328 (java) S 20319 20321 18226 0 -1 4202560 252 0 0 0 171 3 0 0 20 0 22 0 338110995 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469725764008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20329] ppid=20319 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/20321/task/20329/stat : 20329 (java) S 20319 20321 18226 0 -1 4202560 255 0 0 0 166 4 0 0 20 0 22 0 338110995 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469622565416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20330] ppid=20319 vsize=11852648 CPUtime=1.6 cores=0,2,4,6
/proc/20321/task/20330/stat : 20330 (java) S 20319 20321 18226 0 -1 4202560 182 0 0 0 157 3 0 0 20 0 22 0 338110995 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469621512360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20331] ppid=20319 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/20321/task/20331/stat : 20331 (java) S 20319 20321 18226 0 -1 4202560 199 0 0 0 176 3 0 0 20 0 22 0 338110995 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469620459816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20332] ppid=20319 vsize=11852648 CPUtime=61.76 cores=0,2,4,6
/proc/20321/task/20332/stat : 20332 (java) S 20319 20321 18226 0 -1 4202560 385 0 0 0 6166 10 0 0 20 0 22 0 338110996 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469608262504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20333] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20333/stat : 20333 (java) S 20319 20321 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469607208824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20334] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20334/stat : 20334 (java) S 20319 20321 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469606155656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20335] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20335/stat : 20335 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469605104400 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20336] ppid=20319 vsize=11852648 CPUtime=1.76 cores=0,2,4,6
/proc/20321/task/20336/stat : 20336 (java) S 20319 20321 18226 0 -1 4202560 8065 0 0 0 174 2 0 0 20 0 22 0 338110999 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469604051256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20337] ppid=20319 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/20321/task/20337/stat : 20337 (java) S 20319 20321 18226 0 -1 4202560 8603 0 0 0 136 2 0 0 20 0 22 0 338110999 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469602998712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20338] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20338/stat : 20338 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469601945848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20339] ppid=20319 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/20321/task/20339/stat : 20339 (java) S 20319 20321 18226 0 -1 4202560 50 0 0 0 13 18 0 0 20 0 22 0 338110999 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469600893512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20342] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20342/stat : 20342 (java) S 20319 20321 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338111089 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469597734184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20462] ppid=20319 vsize=11852648 CPUtime=211.11 cores=0,2,4,6
/proc/20321/task/20462/stat : 20462 (java) R 20319 20321 18226 0 -1 4202560 12 0 0 0 21108 3 0 0 20 0 22 0 338175245 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469599839184 140469732133777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20463] ppid=20319 vsize=11852648 CPUtime=211.16 cores=0,2,4,6
/proc/20321/task/20463/stat : 20463 (java) R 20319 20321 18226 0 -1 4202560 4 0 0 0 21113 3 0 0 20 0 22 0 338175245 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469598784256 140469732140479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20464] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20464/stat : 20464 (java) S 20319 20321 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338175245 12137111552 552390 33554432000 1073741824 1073778376 140736813816320 140469596681640 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1699.42
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+933.201 s]
/proc/loadavg: 3.85 3.78 3.75 4/219 20468
/proc/meminfo: memFree=23257808/32873660 swapFree=7120/7120
[pid=20321] ppid=20319 vsize=11852648 CPUtime=1797.29 cores=0,2,4,6
/proc/20321/stat : 20321 (java) S 20319 20321 18226 0 -1 4202496 24544 0 1 0 179622 107 0 0 20 0 22 0 338110993 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140736813807456 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20321/statm: 2963162 552512 2297 9 0 2953849 0
[pid=20321/tid=20323] ppid=20319 vsize=11852648 CPUtime=0.95 cores=0,2,4,6
/proc/20321/task/20323/stat : 20323 (java) S 20319 20321 18226 0 -1 4202560 3559 0 1 0 91 4 0 0 20 0 22 0 338110994 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469791245480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20324] ppid=20319 vsize=11852648 CPUtime=1.78 cores=0,2,4,6
/proc/20321/task/20324/stat : 20324 (java) S 20319 20321 18226 0 -1 4202560 246 0 0 0 176 2 0 0 20 0 22 0 338110995 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469729975208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20325] ppid=20319 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/20321/task/20325/stat : 20325 (java) S 20319 20321 18226 0 -1 4202560 221 0 0 0 165 5 0 0 20 0 22 0 338110995 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469728922664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20326] ppid=20319 vsize=11852648 CPUtime=1.85 cores=0,2,4,6
/proc/20321/task/20326/stat : 20326 (java) S 20319 20321 18226 0 -1 4202560 191 0 0 0 182 3 0 0 20 0 22 0 338110995 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469727869608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20327] ppid=20319 vsize=11852648 CPUtime=1.81 cores=0,2,4,6
/proc/20321/task/20327/stat : 20327 (java) S 20319 20321 18226 0 -1 4202560 200 0 0 0 177 4 0 0 20 0 22 0 338110995 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469726817064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20328] ppid=20319 vsize=11852648 CPUtime=1.87 cores=0,2,4,6
/proc/20321/task/20328/stat : 20328 (java) S 20319 20321 18226 0 -1 4202560 288 0 0 0 184 3 0 0 20 0 22 0 338110995 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469725764008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20329] ppid=20319 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/20321/task/20329/stat : 20329 (java) S 20319 20321 18226 0 -1 4202560 262 0 0 0 175 4 0 0 20 0 22 0 338110995 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469622565416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20330] ppid=20319 vsize=11852648 CPUtime=1.69 cores=0,2,4,6
/proc/20321/task/20330/stat : 20330 (java) S 20319 20321 18226 0 -1 4202560 203 0 0 0 166 3 0 0 20 0 22 0 338110995 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469621512360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20331] ppid=20319 vsize=11852648 CPUtime=1.93 cores=0,2,4,6
/proc/20321/task/20331/stat : 20331 (java) S 20319 20321 18226 0 -1 4202560 230 0 0 0 190 3 0 0 20 0 22 0 338110995 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469620459816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20332] ppid=20319 vsize=11852648 CPUtime=66.12 cores=0,2,4,6
/proc/20321/task/20332/stat : 20332 (java) S 20319 20321 18226 0 -1 4202560 387 0 0 0 6601 11 0 0 20 0 22 0 338110996 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469608262504 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20333] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20333/stat : 20333 (java) S 20319 20321 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469607208824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20334] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20334/stat : 20334 (java) S 20319 20321 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338110997 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469606155656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20335] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20335/stat : 20335 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469605104400 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20336] ppid=20319 vsize=11852648 CPUtime=1.76 cores=0,2,4,6
/proc/20321/task/20336/stat : 20336 (java) S 20319 20321 18226 0 -1 4202560 8065 0 0 0 174 2 0 0 20 0 22 0 338110999 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469604051256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20337] ppid=20319 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/20321/task/20337/stat : 20337 (java) S 20319 20321 18226 0 -1 4202560 8603 0 0 0 136 2 0 0 20 0 22 0 338110999 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469602998712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20338] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20338/stat : 20338 (java) S 20319 20321 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338110999 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469601945848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20321/tid=20339] ppid=20319 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/20321/task/20339/stat : 20339 (java) S 20319 20321 18226 0 -1 4202560 52 0 0 0 15 18 0 0 20 0 22 0 338110999 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469600893512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20342] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20342/stat : 20342 (java) S 20319 20321 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338111089 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469597734184 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20321/tid=20462] ppid=20319 vsize=11852648 CPUtime=257.3 cores=0,2,4,6
/proc/20321/task/20462/stat : 20462 (java) R 20319 20321 18226 0 -1 4202560 13 0 0 0 25727 3 0 0 20 0 22 0 338175245 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469599839184 140469732134732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20321/tid=20463] ppid=20319 vsize=11852648 CPUtime=257.36 cores=0,2,4,6
/proc/20321/task/20463/stat : 20463 (java) R 20319 20321 18226 0 -1 4202560 4 0 0 0 25733 3 0 0 20 0 22 0 338175245 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469598784256 140469732125233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20321/tid=20464] ppid=20319 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20321/task/20464/stat : 20464 (java) S 20319 20321 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338175245 12137111552 552512 33554432000 1073741824 1073778376 140736813816320 140469596681640 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20321 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=779152
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=372791
# CPU time returned by wait4() is 1796.15
# while last known CPU time is 1797.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.73999
# lost CPU user time (s): 2.90991
# lost CPU system time (s): -0.17
Real time (s): 933.251
CPU time (s): 1800.03
CPU user time (s): 1799.13
CPU system time (s): 0.9
CPU usage (%): 192.877
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.78
system time used= 1.37279
maximum resident set size= 2210168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24576
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25776
involuntary context switches= 38370
runsolver used 3.34149 second user time and 8.61269 second system time
The end