runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14339 MiB free)
  memory of node 1: 16384 MiB (13042 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302550-1532895718/watcher-4302550-1532895718 -o /tmp/evaluation-result-4302550-1532895718/solver-4302550-1532895718 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1755624384 HOME/instance-4302550-1532895718.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=4236, runsolver pid=4233

[startup+0.10004 s]*
/proc/loadavg: 1.60 1.80 1.76 6/207 4293
/proc/meminfo: memFree=28019508/32770624 swapFree=67108860/67108860
[pid=4236] ppid=4233 vsize=10005480 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/4236/stat : 4236 (java) S 4233 4236 22004 0 -1 1077944320 4414 12922 0 0 1 0 5 3 20 0 6 0 107134972 10245611520 4269 33554432000 4194304 4196468 140729169974848 140729169957392 139787959840503 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
/proc/4236/statm: 2501370 4269 1935 1 0 2489808 0
[pid=4236/tid=4289] ppid=4233 vsize=10021560 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/4236/task/4289/stat : 4289 (java) R 4233 4236 22004 0 -1 4202560 2315 12922 0 0 1 0 5 3 20 0 6 0 107134980 10262077440 4335 33554432000 4194304 4196468 140729169974848 139787931677264 139787945372416 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4290] ppid=4233 vsize=10021560 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4290/stat : 4290 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 6 0 107134981 10262077440 4335 33554432000 4194304 4196468 140729169974848 139787964082832 139787959850709 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4291] ppid=4233 vsize=10021560 memory=140565717128832 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4291/stat : 4291 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 6 0 107134981 10262077440 4335 33554432000 4194304 4196468 140729169974848 139787834731024 139787959850709 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4292] ppid=4233 vsize=10021560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4292/stat : 4292 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 6 0 107134981 10262077440 4335 33554432000 4194304 4196468 140729169974848 139787833678224 139787959850709 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4293] ppid=4233 vsize=10021560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4293/stat : 4293 (java) S 4233 4236 22004 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 6 0 107134981 10262077440 4335 33554432000 4194304 4196468 140729169974848 139787832625424 139787959850709 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB

[startup+0.209886 s]*
/proc/loadavg: 1.60 1.80 1.76 5/216 4302
/proc/meminfo: memFree=27984760/32770624 swapFree=67108860/67108860
[pid=4236] ppid=4233 vsize=10983736 memory=45960 CPUtime=0.26 cores=0,2,4,6
/proc/4236/stat : 4236 (java) S 4233 4236 22004 0 -1 1077944320 8165 12922 0 0 17 1 5 3 20 0 15 0 107134972 11247345664 11424 33554432000 4194304 4196468 140729169974848 140729169957392 139787959840503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
/proc/4236/statm: 2745934 11490 2953 1 0 2708357 0
[pid=4236/tid=4289] ppid=4233 vsize=10982776 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4236/task/4289/stat : 4289 (java) R 4233 4236 22004 0 -1 4202560 5562 12922 0 0 11 1 5 3 20 0 15 0 107134980 11246362624 11615 33554432000 4194304 4196468 140729169974848 139787931665312 139787952130491 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4290] ppid=4233 vsize=10982776 memory=288293255295271337 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4290/stat : 4290 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246362624 11681 33554432000 4194304 4196468 140729169974848 139787964082832 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4291] ppid=4233 vsize=10982776 memory=3616448981892354376 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4291/stat : 4291 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246362624 11681 33554432000 4194304 4196468 140729169974848 139787834731024 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4292] ppid=4233 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4292/stat : 4292 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246362624 11681 33554432000 4194304 4196468 140729169974848 139787833678224 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4293] ppid=4233 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4293/stat : 4293 (java) S 4233 4236 22004 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246362624 11747 33554432000 4194304 4196468 140729169974848 139787832625424 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4294] ppid=4233 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4294/stat : 4294 (java) S 4233 4236 22004 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 107134983 11246362624 11747 33554432000 4194304 4196468 140729169974848 139787385715568 139787959851650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4295] ppid=4233 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4295/stat : 4295 (java) S 4233 4236 22004 0 -1 1077944384 13 12922 0 0 0 0 5 3 20 0 15 0 107134983 11246362624 11813 33554432000 4194304 4196468 140729169974848 139786770703904 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4296] ppid=4233 vsize=10982776 memory=140565717128832 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4296/stat : 4296 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134983 11246362624 11813 33554432000 4194304 4196468 140729169974848 139786622854512 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4297] ppid=4233 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4297/stat : 4297 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11246362624 11813 33554432000 4194304 4196468 140729169974848 139786315454800 139787959859099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4298] ppid=4233 vsize=10982776 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4236/task/4298/stat : 4298 (java) S 4233 4236 22004 0 -1 1077944384 428 12922 0 0 1 0 5 3 20 0 15 0 107134986 11246362624 11879 33554432000 4194304 4196468 140729169974848 139787384662384 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4299] ppid=4233 vsize=10982776 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/4236/task/4299/stat : 4299 (java) S 4233 4236 22004 0 -1 1077944384 186 12922 0 0 1 0 5 3 20 0 15 0 107134986 11246362624 11879 33554432000 4194304 4196468 140729169974848 139787383609584 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4300] ppid=4233 vsize=10982776 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/4236/task/4300/stat : 4300 (java) S 4233 4236 22004 0 -1 1077944384 611 12922 0 0 3 0 5 3 20 0 15 0 107134986 11246362624 11879 33554432000 4194304 4196468 140729169974848 139787382556784 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4301] ppid=4233 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4301/stat : 4301 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11246362624 11945 33554432000 4194304 4196468 140729169974848 139785884657888 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4302] ppid=4233 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4302/stat : 4302 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134986 11246362624 11945 33554432000 4194304 4196468 140729169974848 139787381505200 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 45960 KiB

[startup+0.310557 s]*
/proc/loadavg: 1.60 1.80 1.76 5/216 4302
/proc/meminfo: memFree=27959480/32770624 swapFree=67108860/67108860
[pid=4236] ppid=4233 vsize=10983192 memory=56132 CPUtime=0.39 cores=0,2,4,6
/proc/4236/stat : 4236 (java) S 4233 4236 22004 0 -1 1077944320 10615 12922 0 0 29 2 5 3 20 0 15 0 107134972 11246788608 14033 33554432000 4194304 4196468 140729169974848 140729169957392 139787959840503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
/proc/4236/statm: 2745798 14033 3072 1 0 2708109 0
[pid=4236/tid=4289] ppid=4233 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/4236/task/4289/stat : 4289 (java) R 4233 4236 22004 0 -1 4202560 7174 12922 0 0 20 1 5 3 20 0 15 0 107134980 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787931652512 139787943920990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4290] ppid=4233 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4290/stat : 4290 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787964082832 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4291] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4291/stat : 4291 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787834731024 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4292] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4292/stat : 4292 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787833678224 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4293] ppid=4233 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4293/stat : 4293 (java) S 4233 4236 22004 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787832625424 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4294] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4294/stat : 4294 (java) S 4233 4236 22004 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 107134983 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787385715568 139787959851650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4295] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4295/stat : 4295 (java) S 4233 4236 22004 0 -1 1077944384 13 12922 0 0 0 0 5 3 20 0 15 0 107134983 11246788608 14033 33554432000 4194304 4196468 140729169974848 139786770703904 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4296] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4296/stat : 4296 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134983 11246788608 14033 33554432000 4194304 4196468 140729169974848 139786622854512 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4297] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4297/stat : 4297 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11246788608 14033 33554432000 4194304 4196468 140729169974848 139786315454800 139787959859099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4298] ppid=4233 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4236/task/4298/stat : 4298 (java) S 4233 4236 22004 0 -1 1077944384 430 12922 0 0 1 0 5 3 20 0 15 0 107134986 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787384662384 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4299] ppid=4233 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4236/task/4299/stat : 4299 (java) S 4233 4236 22004 0 -1 1077944384 186 12922 0 0 1 0 5 3 20 0 15 0 107134986 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787383609584 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4300] ppid=4233 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4236/task/4300/stat : 4300 (java) S 4233 4236 22004 0 -1 1077944384 619 12922 0 0 5 0 5 3 20 0 15 0 107134986 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787382556784 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4301] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4301/stat : 4301 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11246788608 14033 33554432000 4194304 4196468 140729169974848 139785884657888 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4302] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4302/stat : 4302 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134986 11246788608 14033 33554432000 4194304 4196468 140729169974848 139787381505200 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56132 KiB

[startup+0.700765 s]
/proc/loadavg: 1.60 1.80 1.76 6/216 4302
/proc/meminfo: memFree=27936936/32770624 swapFree=67108860/67108860
[pid=4236] ppid=4233 vsize=10983192 memory=88380 CPUtime=0.99 cores=0,2,4,6
/proc/4236/stat : 4236 (java) S 4233 4236 22004 0 -1 1077944320 16806 12922 0 0 87 4 5 3 20 0 15 0 107134972 11246788608 22095 33554432000 4194304 4196468 140729169974848 140729169957392 139787959840503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
/proc/4236/statm: 2745798 22095 3245 1 0 2708109 0
[pid=4236/tid=4289] ppid=4233 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4236/task/4289/stat : 4289 (java) R 4233 4236 22004 0 -1 4202560 12304 12922 0 0 56 3 5 3 20 0 15 0 107134980 11246788608 22095 33554432000 4194304 4196468 140729169974848 139787931661328 139787959862429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4290] ppid=4233 vsize=10983192 memory=8242257093008373557 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4290/stat : 4290 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246788608 22095 33554432000 4194304 4196468 140729169974848 139787964082832 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4291] ppid=4233 vsize=10983192 memory=7158860088844767568 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4291/stat : 4291 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246788608 22159 33554432000 4194304 4196468 140729169974848 139787834731024 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4292] ppid=4233 vsize=10983192 memory=7588675599774802240 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4292/stat : 4292 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246788608 22159 33554432000 4194304 4196468 140729169974848 139787833678224 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4293] ppid=4233 vsize=10983192 memory=5791717478211005024 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4293/stat : 4293 (java) S 4233 4236 22004 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 107134981 11246788608 22159 33554432000 4194304 4196468 140729169974848 139787832625424 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4294] ppid=4233 vsize=10983192 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4294/stat : 4294 (java) S 4233 4236 22004 0 -1 1077944384 5 12922 0 0 0 0 5 3 20 0 15 0 107134983 11246788608 22159 33554432000 4194304 4196468 140729169974848 139787385715568 139787959851650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4295] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4295/stat : 4295 (java) S 4233 4236 22004 0 -1 1077944384 13 12922 0 0 0 0 5 3 20 0 15 0 107134983 11246788608 22159 33554432000 4194304 4196468 140729169974848 139786770703904 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4296] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4296/stat : 4296 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134983 11246788608 22159 33554432000 4194304 4196468 140729169974848 139786622854512 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4297] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4297/stat : 4297 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11246788608 22159 33554432000 4194304 4196468 140729169974848 139786315454800 139787959859099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4298] ppid=4233 vsize=10983192 memory=281131110963136 CPUtime=0.19 cores=0,2,4,6
/proc/4236/task/4298/stat : 4298 (java) S 4233 4236 22004 0 -1 1077944384 1044 12922 0 0 11 0 5 3 20 0 15 0 107134986 11246788608 22159 33554432000 4194304 4196468 140729169974848 139787384662384 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4299] ppid=4233 vsize=10983192 memory=281131110967552 CPUtime=0.14 cores=0,2,4,6
/proc/4236/task/4299/stat : 4299 (java) S 4233 4236 22004 0 -1 1077944384 544 12922 0 0 6 0 5 3 20 0 15 0 107134986 11246788608 22159 33554432000 4194304 4196468 140729169974848 139787383609584 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4300] ppid=4233 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/4236/task/4300/stat : 4300 (java) R 4233 4236 22004 0 -1 4202560 693 12922 0 0 13 0 5 3 20 0 15 0 107134986 11246788608 22159 33554432000 4194304 4196468 140729169974848 139787382556784 139787938375282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4301] ppid=4233 vsize=10983192 memory=140565717127697 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4301/stat : 4301 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11246788608 22159 33554432000 4194304 4196468 140729169974848 139785884657888 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4302] ppid=4233 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4302/stat : 4302 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134986 11246788608 22159 33554432000 4194304 4196468 140729169974848 139787381505200 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88380 KiB

[startup+1.501 s]
/proc/loadavg: 1.60 1.80 1.76 5/216 4302
/proc/meminfo: memFree=27843040/32770624 swapFree=67108860/67108860
[pid=4236] ppid=4233 vsize=10996044 memory=175708 CPUtime=3.04 cores=0,2,4,6
/proc/4236/stat : 4236 (java) S 4233 4236 22004 0 -1 1077944320 24819 12922 0 0 289 7 5 3 20 0 15 0 107134972 11259949056 43927 33554432000 4194304 4196468 140729169974848 140729169957392 139787959840503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
/proc/4236/statm: 2749011 43927 3450 1 0 2710669 0
[pid=4236/tid=4289] ppid=4233 vsize=10996044 memory=7300996220802969665 CPUtime=1.46 cores=0,2,4,6
/proc/4236/task/4289/stat : 4289 (java) R 4233 4236 22004 0 -1 4202560 16309 12922 0 0 133 5 5 3 20 0 15 0 107134980 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787931671376 139787943920990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4290] ppid=4233 vsize=10996044 memory=4418138326849250145 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4290/stat : 4290 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787964082832 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4291] ppid=4233 vsize=10996044 memory=-5934757335528923228 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4291/stat : 4291 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787834731024 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4292] ppid=4233 vsize=10996044 memory=6372119928180592994 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4292/stat : 4292 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134981 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787833678224 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4293] ppid=4233 vsize=10996044 memory=7449062980653836388 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4293/stat : 4293 (java) S 4233 4236 22004 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 107134981 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787832625424 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4294] ppid=4233 vsize=10996044 memory=2424 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4294/stat : 4294 (java) S 4233 4236 22004 0 -1 1077944384 13 12922 0 0 0 0 5 3 20 0 15 0 107134983 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787385715568 139787959851650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4295] ppid=4233 vsize=10996044 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4295/stat : 4295 (java) S 4233 4236 22004 0 -1 1077944384 13 12922 0 0 0 0 5 3 20 0 15 0 107134983 11259949056 43927 33554432000 4194304 4196468 140729169974848 139786770703904 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4296] ppid=4233 vsize=10996044 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4296/stat : 4296 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134983 11259949056 43927 33554432000 4194304 4196468 140729169974848 139786622854512 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4297] ppid=4233 vsize=10996044 memory=12060 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4297/stat : 4297 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11259949056 43927 33554432000 4194304 4196468 140729169974848 139786315454800 139787959859099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4298] ppid=4233 vsize=10996044 memory=5788 CPUtime=0.67 cores=0,2,4,6
/proc/4236/task/4298/stat : 4298 (java) S 4233 4236 22004 0 -1 1077944384 2595 12922 0 0 59 0 5 3 20 0 15 0 107134986 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787384662384 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4299] ppid=4233 vsize=10996044 memory=792 CPUtime=0.6 cores=0,2,4,6
/proc/4236/task/4299/stat : 4299 (java) R 4233 4236 22004 0 -1 4202560 2137 12922 0 0 52 0 5 3 20 0 15 0 107134986 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787383609880 139787943746900 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4300] ppid=4233 vsize=10996044 memory=1228 CPUtime=0.51 cores=0,2,4,6
/proc/4236/task/4300/stat : 4300 (java) S 4233 4236 22004 0 -1 1077944384 1552 12922 0 0 43 0 5 3 20 0 15 0 107134986 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787382556784 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4301] ppid=4233 vsize=10996044 memory=1944 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4301/stat : 4301 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11259949056 43927 33554432000 4194304 4196468 140729169974848 139785884657888 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4302] ppid=4233 vsize=10996044 memory=122872 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4302/stat : 4302 (java) S 4233 4236 22004 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 107134986 11259949056 43927 33554432000 4194304 4196468 140729169974848 139787381505200 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10996044 KiB

################
# More data... #
################

/proc/4236/task/4289/stat : 4289 (java) R 4233 4236 22004 0 -1 4202560 54832 12922 0 0 16047 43 5 3 20 0 15 0 107134980 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787931672792 139787513169284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4290] ppid=4233 vsize=11080032 memory=2948156 CPUtime=1.04 cores=0,2,4,6
/proc/4236/task/4290/stat : 4290 (java) S 4233 4236 22004 0 -1 1077944384 2307 12922 0 0 83 13 5 3 20 0 15 0 107134981 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787964082832 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4291] ppid=4233 vsize=11080032 memory=2937380 CPUtime=1.04 cores=0,2,4,6
/proc/4236/task/4291/stat : 4291 (java) S 4233 4236 22004 0 -1 1077944384 2736 12922 0 0 84 12 5 3 20 0 15 0 107134981 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787834731024 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4292] ppid=4233 vsize=11080032 memory=2933276 CPUtime=1.03 cores=0,2,4,6
/proc/4236/task/4292/stat : 4292 (java) S 4233 4236 22004 0 -1 1077944384 2221 12922 0 0 83 12 5 3 20 0 15 0 107134981 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787833678224 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4293] ppid=4233 vsize=11080032 memory=2933276 CPUtime=1.02 cores=0,2,4,6
/proc/4236/task/4293/stat : 4293 (java) S 4233 4236 22004 0 -1 1077944384 1660 12922 0 0 82 12 5 3 20 0 15 0 107134981 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787832625424 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4294] ppid=4233 vsize=11080032 memory=15872 CPUtime=0.24 cores=0,2,4,6
/proc/4236/task/4294/stat : 4294 (java) S 4233 4236 22004 0 -1 1077944384 4670 12922 0 0 14 2 5 3 20 0 15 0 107134983 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787385715568 139787959851650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4295] ppid=4233 vsize=11080032 memory=2940972 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4295/stat : 4295 (java) S 4233 4236 22004 0 -1 1077944384 26 12922 0 0 0 0 5 3 20 0 15 0 107134983 11345952768 733319 33554432000 4194304 4196468 140729169974848 139786770704032 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4296] ppid=4233 vsize=11080032 memory=2943540 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4296/stat : 4296 (java) S 4233 4236 22004 0 -1 1077944384 18 12922 0 0 0 0 5 3 20 0 15 0 107134983 11345952768 733319 33554432000 4194304 4196468 140729169974848 139786622854528 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4297] ppid=4233 vsize=11080032 memory=4028 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4297/stat : 4297 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11345952768 733319 33554432000 4194304 4196468 140729169974848 139786315454800 139787959859099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4298] ppid=4233 vsize=11080032 memory=2943540 CPUtime=7.67 cores=0,2,4,6
/proc/4236/task/4298/stat : 4298 (java) S 4233 4236 22004 0 -1 1077944384 18207 12922 0 0 755 4 5 3 20 0 15 0 107134986 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787384662384 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4299] ppid=4233 vsize=11080032 memory=2941484 CPUtime=8.23 cores=0,2,4,6
/proc/4236/task/4299/stat : 4299 (java) S 4233 4236 22004 0 -1 1077944384 24152 12922 0 0 810 5 5 3 20 0 15 0 107134986 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787383609584 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4300] ppid=4233 vsize=11080032 memory=3848 CPUtime=2.86 cores=0,2,4,6
/proc/4236/task/4300/stat : 4300 (java) S 4233 4236 22004 0 -1 1077944384 20916 12922 0 0 273 5 5 3 20 0 15 0 107134986 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787382556784 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4301] ppid=4233 vsize=11080032 memory=6935054825532540783 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4301/stat : 4301 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11345952768 733319 33554432000 4194304 4196468 140729169974848 139785884657888 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4302] ppid=4233 vsize=11080032 memory=2933276 CPUtime=0.16 cores=0,2,4,6
/proc/4236/task/4302/stat : 4302 (java) S 4233 4236 22004 0 -1 1077944384 584 12922 0 0 5 3 5 3 20 0 15 0 107134986 11345952768 733319 33554432000 4194304 4196468 140729169974848 139787381505200 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
Current children cumulated CPU time: 183.66 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2933276 KiB

[startup+222.301 s]
/proc/loadavg: 1.61 1.67 1.72 3/215 4306
/proc/meminfo: memFree=22769472/32770624 swapFree=67108860/67108860
[pid=4236] ppid=4233 vsize=11080032 memory=2822436 CPUtime=245.31 cores=0,2,4,6
/proc/4236/stat : 4236 (java) S 4233 4236 22004 0 -1 1077944320 156612 12922 0 0 24398 125 5 3 20 0 15 0 107134972 11345952768 705609 33554432000 4194304 4196468 140729169974848 140729169957392 139787959840503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
/proc/4236/statm: 2770008 705609 3538 1 0 2731661 0
[pid=4236/tid=4289] ppid=4233 vsize=11080032 memory=2829092 CPUtime=220.52 cores=0,2,4,6
/proc/4236/task/4289/stat : 4289 (java) R 4233 4236 22004 0 -1 4202560 61371 12922 0 0 22000 44 5 3 20 0 15 0 107134980 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787931675352 139787513168612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4290] ppid=4233 vsize=11080032 memory=2869692 CPUtime=1.4 cores=0,2,4,6
/proc/4236/task/4290/stat : 4290 (java) S 4233 4236 22004 0 -1 1077944384 3487 12922 0 0 117 15 5 3 20 0 15 0 107134981 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787964082832 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4291] ppid=4233 vsize=11080032 memory=2867576 CPUtime=1.4 cores=0,2,4,6
/proc/4236/task/4291/stat : 4291 (java) S 4233 4236 22004 0 -1 1077944384 4082 12922 0 0 118 14 5 3 20 0 15 0 107134981 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787834731024 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4292] ppid=4233 vsize=11080032 memory=2846524 CPUtime=1.4 cores=0,2,4,6
/proc/4236/task/4292/stat : 4292 (java) S 4233 4236 22004 0 -1 1077944384 3021 12922 0 0 118 14 5 3 20 0 15 0 107134981 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787833678224 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4293] ppid=4233 vsize=11080032 memory=2846524 CPUtime=1.39 cores=0,2,4,6
/proc/4236/task/4293/stat : 4293 (java) S 4233 4236 22004 0 -1 1077944384 1967 12922 0 0 117 14 5 3 20 0 15 0 107134981 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787832625424 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4294] ppid=4233 vsize=11080032 memory=2835244 CPUtime=0.3 cores=0,2,4,6
/proc/4236/task/4294/stat : 4294 (java) S 4233 4236 22004 0 -1 1077944384 5036 12922 0 0 19 3 5 3 20 0 15 0 107134983 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787385715568 139787959851650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4295] ppid=4233 vsize=11080032 memory=2822436 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4295/stat : 4295 (java) S 4233 4236 22004 0 -1 1077944384 26 12922 0 0 0 0 5 3 20 0 15 0 107134983 11345952768 705609 33554432000 4194304 4196468 140729169974848 139786770704032 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4296] ppid=4233 vsize=11080032 memory=2822436 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4296/stat : 4296 (java) S 4233 4236 22004 0 -1 1077944384 18 12922 0 0 0 0 5 3 20 0 15 0 107134983 11345952768 705609 33554432000 4194304 4196468 140729169974848 139786622854528 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4297] ppid=4233 vsize=11080032 memory=2829092 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4297/stat : 4297 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11345952768 705609 33554432000 4194304 4196468 140729169974848 139786315454800 139787959859099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4298] ppid=4233 vsize=11080032 memory=2829092 CPUtime=7.9 cores=0,2,4,6
/proc/4236/task/4298/stat : 4298 (java) S 4233 4236 22004 0 -1 1077944384 21201 12922 0 0 778 4 5 3 20 0 15 0 107134986 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787384662384 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4299] ppid=4233 vsize=11080032 memory=2851136 CPUtime=8.45 cores=0,2,4,6
/proc/4236/task/4299/stat : 4299 (java) S 4233 4236 22004 0 -1 1077944384 26753 12922 0 0 832 5 5 3 20 0 15 0 107134986 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787383609584 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4300] ppid=4233 vsize=11080032 memory=4028 CPUtime=2.97 cores=0,2,4,6
/proc/4236/task/4300/stat : 4300 (java) S 4233 4236 22004 0 -1 1077944384 26775 12922 0 0 283 6 5 3 20 0 15 0 107134986 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787382556784 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4301] ppid=4233 vsize=11080032 memory=30504 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4301/stat : 4301 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11345952768 705609 33554432000 4194304 4196468 140729169974848 139785884657888 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4302] ppid=4233 vsize=11080032 memory=2858316 CPUtime=0.2 cores=0,2,4,6
/proc/4236/task/4302/stat : 4302 (java) S 4233 4236 22004 0 -1 1077944384 679 12922 0 0 7 5 5 3 20 0 15 0 107134986 11345952768 705609 33554432000 4194304 4196468 140729169974848 139787381505200 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
Current children cumulated CPU time: 245.31 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2822436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+228.901 s]
/proc/loadavg: 1.64 1.67 1.72 3/215 4306
/proc/meminfo: memFree=22782012/32770624 swapFree=67108860/67108860
[pid=4236] ppid=4233 vsize=11080032 memory=2811152 CPUtime=252.05 cores=0,2,4,6
/proc/4236/stat : 4236 (java) S 4233 4236 22004 0 -1 1077944320 161313 12922 0 0 25070 127 5 3 20 0 15 0 107134972 11345952768 702788 33554432000 4194304 4196468 140729169974848 140729169957392 139787959840503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
/proc/4236/statm: 2770008 702788 3538 1 0 2731661 0
[pid=4236/tid=4289] ppid=4233 vsize=11080032 memory=2818328 CPUtime=227.06 cores=0,2,4,6
/proc/4236/task/4289/stat : 4289 (java) R 4233 4236 22004 0 -1 4202560 63165 12922 0 0 22654 44 5 3 20 0 15 0 107134980 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787931672592 139787524036615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4290] ppid=4233 vsize=11080032 memory=2818328 CPUtime=1.44 cores=0,2,4,6
/proc/4236/task/4290/stat : 4290 (java) S 4233 4236 22004 0 -1 1077944384 3634 12922 0 0 121 15 5 3 20 0 15 0 107134981 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787964082832 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4291] ppid=4233 vsize=11080032 memory=2822436 CPUtime=1.44 cores=0,2,4,6
/proc/4236/task/4291/stat : 4291 (java) S 4233 4236 22004 0 -1 1077944384 4666 12922 0 0 122 14 5 3 20 0 15 0 107134981 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787834731024 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4292] ppid=4233 vsize=11080032 memory=2835244 CPUtime=1.44 cores=0,2,4,6
/proc/4236/task/4292/stat : 4292 (java) S 4233 4236 22004 0 -1 1077944384 3033 12922 0 0 122 14 5 3 20 0 15 0 107134981 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787833678224 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4293] ppid=4233 vsize=11080032 memory=2867576 CPUtime=1.43 cores=0,2,4,6
/proc/4236/task/4293/stat : 4293 (java) S 4233 4236 22004 0 -1 1077944384 2131 12922 0 0 121 14 5 3 20 0 15 0 107134981 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787832625424 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4294] ppid=4233 vsize=11080032 memory=2869692 CPUtime=0.3 cores=0,2,4,6
/proc/4236/task/4294/stat : 4294 (java) S 4233 4236 22004 0 -1 1077944384 5326 12922 0 0 19 3 5 3 20 0 15 0 107134983 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787385715568 139787959851650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4295] ppid=4233 vsize=11080032 memory=2809100 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4295/stat : 4295 (java) S 4233 4236 22004 0 -1 1077944384 26 12922 0 0 0 0 5 3 20 0 15 0 107134983 11345952768 702788 33554432000 4194304 4196468 140729169974848 139786770704032 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4296] ppid=4233 vsize=11080032 memory=2811152 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4296/stat : 4296 (java) S 4233 4236 22004 0 -1 1077944384 18 12922 0 0 0 0 5 3 20 0 15 0 107134983 11345952768 702788 33554432000 4194304 4196468 140729169974848 139786622854528 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4297] ppid=4233 vsize=11080032 memory=2811148 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4297/stat : 4297 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139786315454800 139787959859099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4298] ppid=4233 vsize=11080032 memory=2809100 CPUtime=7.9 cores=0,2,4,6
/proc/4236/task/4298/stat : 4298 (java) S 4233 4236 22004 0 -1 1077944384 21207 12922 0 0 778 4 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787384662384 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4299] ppid=4233 vsize=11080032 memory=2824484 CPUtime=8.46 cores=0,2,4,6
/proc/4236/task/4299/stat : 4299 (java) S 4233 4236 22004 0 -1 1077944384 26782 12922 0 0 833 5 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787383609584 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4300] ppid=4233 vsize=11080032 memory=2824484 CPUtime=2.98 cores=0,2,4,6
/proc/4236/task/4300/stat : 4300 (java) S 4233 4236 22004 0 -1 1077944384 28419 12922 0 0 284 6 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787382556784 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4301] ppid=4233 vsize=11080032 memory=2816788 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4301/stat : 4301 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139785884657888 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4302] ppid=4233 vsize=11080032 memory=2818328 CPUtime=0.2 cores=0,2,4,6
/proc/4236/task/4302/stat : 4302 (java) S 4233 4236 22004 0 -1 1077944384 710 12922 0 0 7 5 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787381505200 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2811152 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+228.973 s]
# the end of solver process 4236 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.797 s, system=1.3306 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+228.901 s]
/proc/loadavg: 1.64 1.67 1.72 3/215 4306
/proc/meminfo: memFree=22782012/32770624 swapFree=67108860/67108860
[pid=4236] ppid=4233 vsize=11080032 memory=2811152 CPUtime=252.05 cores=0,2,4,6
/proc/4236/stat : 4236 (java) S 4233 4236 22004 0 -1 1077944320 161313 12922 0 0 25070 127 5 3 20 0 15 0 107134972 11345952768 702788 33554432000 4194304 4196468 140729169974848 140729169957392 139787959840503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
/proc/4236/statm: 2770008 702788 3538 1 0 2731661 0
[pid=4236/tid=4289] ppid=4233 vsize=11080032 memory=2818328 CPUtime=227.06 cores=0,2,4,6
/proc/4236/task/4289/stat : 4289 (java) R 4233 4236 22004 0 -1 4202560 63165 12922 0 0 22654 44 5 3 20 0 15 0 107134980 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787931672592 139787524036615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4290] ppid=4233 vsize=11080032 memory=2818328 CPUtime=1.44 cores=0,2,4,6
/proc/4236/task/4290/stat : 4290 (java) S 4233 4236 22004 0 -1 1077944384 3634 12922 0 0 121 15 5 3 20 0 15 0 107134981 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787964082832 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4291] ppid=4233 vsize=11080032 memory=2822436 CPUtime=1.44 cores=0,2,4,6
/proc/4236/task/4291/stat : 4291 (java) S 4233 4236 22004 0 -1 1077944384 4666 12922 0 0 122 14 5 3 20 0 15 0 107134981 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787834731024 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4292] ppid=4233 vsize=11080032 memory=2835244 CPUtime=1.44 cores=0,2,4,6
/proc/4236/task/4292/stat : 4292 (java) S 4233 4236 22004 0 -1 1077944384 3033 12922 0 0 122 14 5 3 20 0 15 0 107134981 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787833678224 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4293] ppid=4233 vsize=11080032 memory=2867576 CPUtime=1.43 cores=0,2,4,6
/proc/4236/task/4293/stat : 4293 (java) S 4233 4236 22004 0 -1 1077944384 2131 12922 0 0 121 14 5 3 20 0 15 0 107134981 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787832625424 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4294] ppid=4233 vsize=11080032 memory=2869692 CPUtime=0.3 cores=0,2,4,6
/proc/4236/task/4294/stat : 4294 (java) S 4233 4236 22004 0 -1 1077944384 5326 12922 0 0 19 3 5 3 20 0 15 0 107134983 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787385715568 139787959851650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4295] ppid=4233 vsize=11080032 memory=2809100 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4295/stat : 4295 (java) S 4233 4236 22004 0 -1 1077944384 26 12922 0 0 0 0 5 3 20 0 15 0 107134983 11345952768 702788 33554432000 4194304 4196468 140729169974848 139786770704032 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4296] ppid=4233 vsize=11080032 memory=2811152 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4296/stat : 4296 (java) S 4233 4236 22004 0 -1 1077944384 18 12922 0 0 0 0 5 3 20 0 15 0 107134983 11345952768 702788 33554432000 4194304 4196468 140729169974848 139786622854528 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4297] ppid=4233 vsize=11080032 memory=2811148 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4297/stat : 4297 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139786315454800 139787959859099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4298] ppid=4233 vsize=11080032 memory=2809100 CPUtime=7.9 cores=0,2,4,6
/proc/4236/task/4298/stat : 4298 (java) S 4233 4236 22004 0 -1 1077944384 21207 12922 0 0 778 4 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787384662384 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4299] ppid=4233 vsize=11080032 memory=2824484 CPUtime=8.46 cores=0,2,4,6
/proc/4236/task/4299/stat : 4299 (java) S 4233 4236 22004 0 -1 1077944384 26782 12922 0 0 833 5 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787383609584 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4300] ppid=4233 vsize=11080032 memory=2824484 CPUtime=2.98 cores=0,2,4,6
/proc/4236/task/4300/stat : 4300 (java) S 4233 4236 22004 0 -1 1077944384 28419 12922 0 0 284 6 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787382556784 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4301] ppid=4233 vsize=11080032 memory=2816788 CPUtime=0.08 cores=0,2,4,6
/proc/4236/task/4301/stat : 4301 (java) S 4233 4236 22004 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139785884657888 139787959850709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
[pid=4236/tid=4302] ppid=4233 vsize=11080032 memory=2818328 CPUtime=0.2 cores=0,2,4,6
/proc/4236/task/4302/stat : 4302 (java) S 4233 4236 22004 0 -1 1077944384 710 12922 0 0 7 5 5 3 20 0 15 0 107134986 11345952768 702788 33554432000 4194304 4196468 140729169974848 139787381505200 139787959851650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23719936 140729169975921 140729169978721 140729169978721 140729169981391 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2811152 KiB

Child status: 143
Real time (s): 228.973
CPU time (s): 252.128
CPU user time (s): 250.797
CPU system time (s): 1.3306
CPU usage (%): 110.112
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 3019904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.797
system time used= 1.3306
maximum resident set size= 3019904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18453
involuntary context switches= 585


# summary of solver processes directly reported to runsolver:
#   pid: 4236
#   total CPU time (s): 252.128
#   total CPU user time (s): 250.797
#   total CPU system time (s): 1.3306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32347 second user time and 2.25558 second system time

The end