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 (3690 MiB free)
memory of node 1: 16384 MiB (7109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305124-1534118046/watcher-4305124-1534118046 -o /tmp/evaluation-result-4305124-1534118046/solver-4305124-1534118046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534098057-27632 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1694488624 -superng HOME/instance-4305124-1534118046.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=31414, runsolver pid=31411
[startup+0.10008 s]*
/proc/loadavg: 1.75 1.79 1.74 3/206 31471
/proc/meminfo: memFree=11053540/32770624 swapFree=67108404/67108860
[pid=31414] ppid=31411 vsize=10005480 memory=18328 CPUtime=0.08 cores=1,3,5,7
/proc/31414/stat : 31414 (java) S 31411 31414 27600 0 -1 1077944320 4233 13205 0 0 1 0 5 2 20 0 6 0 229367781 10245611520 4582 33554432000 4194304 4196468 140726963210976 140726963193520 140589336903415 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
/proc/31414/statm: 2501370 4582 1930 1 0 2489808 0
[pid=31414/tid=31467] ppid=31411 vsize=10005480 memory=4279135704047190159 CPUtime=0.08 cores=1,3,5,7
/proc/31414/task/31467/stat : 31467 (java) R 31411 31414 27600 0 -1 4202560 2039 13205 0 0 1 0 5 2 20 0 6 0 229367790 10245611520 4582 33554432000 4194304 4196468 140726963210976 140589308740176 140589318297146 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31468] ppid=31411 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31468/stat : 31468 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 6 0 229367791 10245611520 4582 33554432000 4194304 4196468 140726963210976 140589341145488 140589336913621 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31469] ppid=31411 vsize=10005480 memory=139995444024960 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31469/stat : 31469 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 6 0 229367791 10245611520 4582 33554432000 4194304 4196468 140726963210976 140589195864336 140589336913621 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31470] ppid=31411 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31470/stat : 31470 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 6 0 229367791 10245611520 4582 33554432000 4194304 4196468 140726963210976 140589194812048 140589336913621 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31471] ppid=31411 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31471/stat : 31471 (java) S 31411 31414 27600 0 -1 1077944384 2 13205 0 0 0 0 5 2 20 0 6 0 229367791 10245611520 4582 33554432000 4194304 4196468 140726963210976 140589193759248 140589336913621 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.209929 s]*
/proc/loadavg: 1.75 1.79 1.74 3/215 31480
/proc/meminfo: memFree=11028176/32770624 swapFree=67108404/67108860
[pid=31414] ppid=31411 vsize=10982744 memory=45996 CPUtime=0.25 cores=1,3,5,7
/proc/31414/stat : 31414 (java) S 31411 31414 27600 0 -1 1077944320 7737 13205 0 0 16 2 5 2 20 0 15 0 229367781 11246329856 11499 33554432000 4194304 4196468 140726963210976 140726963193520 140589336903415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
/proc/31414/statm: 2745686 11499 2944 1 0 2708109 0
[pid=31414/tid=31467] ppid=31411 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/31414/task/31467/stat : 31467 (java) R 31411 31414 27600 0 -1 1077944384 4286 13205 0 0 10 1 5 2 20 0 15 0 229367790 11246329856 11499 33554432000 4194304 4196468 140726963210976 140589308728224 140589329582637 0 4 0 16800975 18446744072101740068 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31468] ppid=31411 vsize=10982744 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31468/stat : 31468 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246329856 11499 33554432000 4194304 4196468 140726963210976 140589341145488 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31469] ppid=31411 vsize=10982776 memory=139995444052848 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31469/stat : 31469 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246362624 11565 33554432000 4194304 4196468 140726963210976 140589195864336 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31470] ppid=31411 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31470/stat : 31470 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246362624 11565 33554432000 4194304 4196468 140726963210976 140589194812048 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31471] ppid=31411 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31471/stat : 31471 (java) S 31411 31414 27600 0 -1 1077944384 2 13205 0 0 0 0 5 2 20 0 15 0 229367791 11247345664 11565 33554432000 4194304 4196468 140726963210976 140589193759248 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31472] ppid=31411 vsize=10983736 memory=139995444024960 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31472/stat : 31472 (java) S 31411 31414 27600 0 -1 1077944384 2 13205 0 0 0 0 5 2 20 0 15 0 229367792 11247345664 11565 33554432000 4194304 4196468 140726963210976 140588762475120 140589336914562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31473] ppid=31411 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31473/stat : 31473 (java) S 31411 31414 27600 0 -1 1077944384 13 13205 0 0 0 0 5 2 20 0 15 0 229367793 11247345664 11565 33554432000 4194304 4196468 140726963210976 140588117648672 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31474] ppid=31411 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31474/stat : 31474 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367793 11247345664 11565 33554432000 4194304 4196468 140726963210976 140587969799792 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31475] ppid=31411 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31475/stat : 31475 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11247345664 11631 33554432000 4194304 4196468 140726963210976 140587662400080 140589336922011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31476] ppid=31411 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31414/task/31476/stat : 31476 (java) S 31411 31414 27600 0 -1 1077944384 490 13205 0 0 1 0 5 2 20 0 15 0 229367796 11247345664 11631 33554432000 4194304 4196468 140726963210976 140588761421936 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31477] ppid=31411 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31477/stat : 31477 (java) S 31411 31414 27600 0 -1 1077944384 125 13205 0 0 0 0 5 2 20 0 15 0 229367796 11247345664 11631 33554432000 4194304 4196468 140726963210976 140588760369136 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31478] ppid=31411 vsize=10983736 memory=139995444024960 CPUtime=0.1 cores=1,3,5,7
/proc/31414/task/31478/stat : 31478 (java) S 31411 31414 27600 0 -1 1077944384 616 13205 0 0 3 0 5 2 20 0 15 0 229367796 11247345664 11631 33554432000 4194304 4196468 140726963210976 140588759316848 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31479] ppid=31411 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31479/stat : 31479 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11247345664 11631 33554432000 4194304 4196468 140726963210976 140587231603168 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31480] ppid=31411 vsize=10983736 memory=139995444024960 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31480/stat : 31480 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367796 11247345664 11697 33554432000 4194304 4196468 140726963210976 140588758264752 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45996 KiB
[startup+0.310344 s]*
/proc/loadavg: 1.75 1.79 1.74 3/215 31480
/proc/meminfo: memFree=11016888/32770624 swapFree=67108404/67108860
[pid=31414] ppid=31411 vsize=10983192 memory=56704 CPUtime=0.38 cores=1,3,5,7
/proc/31414/stat : 31414 (java) S 31411 31414 27600 0 -1 1077944320 10235 13205 0 0 28 3 5 2 20 0 15 0 229367781 11246788608 14176 33554432000 4194304 4196468 140726963210976 140726963193520 140589336903415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
/proc/31414/statm: 2745798 14176 3063 1 0 2708109 0
[pid=31414/tid=31467] ppid=31411 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/31414/task/31467/stat : 31467 (java) R 31411 31414 27600 0 -1 4202560 6777 13205 0 0 19 2 5 2 20 0 15 0 229367790 11246788608 14176 33554432000 4194304 4196468 140726963210976 140589308715424 140589320983902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31468] ppid=31411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31468/stat : 31468 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246788608 14176 33554432000 4194304 4196468 140726963210976 140589341145488 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31469] ppid=31411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31469/stat : 31469 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246788608 14176 33554432000 4194304 4196468 140726963210976 140589195864336 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31470] ppid=31411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31470/stat : 31470 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246788608 14176 33554432000 4194304 4196468 140726963210976 140589194812048 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31471] ppid=31411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31471/stat : 31471 (java) S 31411 31414 27600 0 -1 1077944384 2 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246788608 14176 33554432000 4194304 4196468 140726963210976 140589193759248 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31472] ppid=31411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31472/stat : 31472 (java) S 31411 31414 27600 0 -1 1077944384 2 13205 0 0 0 0 5 2 20 0 15 0 229367792 11246788608 14176 33554432000 4194304 4196468 140726963210976 140588762475120 140589336914562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31473] ppid=31411 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31473/stat : 31473 (java) S 31411 31414 27600 0 -1 1077944384 13 13205 0 0 0 0 5 2 20 0 15 0 229367793 11246788608 14176 33554432000 4194304 4196468 140726963210976 140588117648672 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31474] ppid=31411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31474/stat : 31474 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367793 11246788608 14176 33554432000 4194304 4196468 140726963210976 140587969799792 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31475] ppid=31411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31475/stat : 31475 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11246788608 14176 33554432000 4194304 4196468 140726963210976 140587662400080 140589336922011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31476] ppid=31411 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31414/task/31476/stat : 31476 (java) S 31411 31414 27600 0 -1 1077944384 491 13205 0 0 1 0 5 2 20 0 15 0 229367796 11246788608 14176 33554432000 4194304 4196468 140726963210976 140588761421936 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31477] ppid=31411 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31414/task/31477/stat : 31477 (java) S 31411 31414 27600 0 -1 1077944384 125 13205 0 0 1 0 5 2 20 0 15 0 229367796 11246788608 14176 33554432000 4194304 4196468 140726963210976 140588760369136 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31478] ppid=31411 vsize=10983192 memory=139995444024960 CPUtime=0.11 cores=1,3,5,7
/proc/31414/task/31478/stat : 31478 (java) S 31411 31414 27600 0 -1 1077944384 622 13205 0 0 4 0 5 2 20 0 15 0 229367796 11246788608 14176 33554432000 4194304 4196468 140726963210976 140588759316848 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31479] ppid=31411 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31479/stat : 31479 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11246788608 14176 33554432000 4194304 4196468 140726963210976 140587231603168 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31480] ppid=31411 vsize=10983192 memory=139995444024960 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31480/stat : 31480 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367796 11246788608 14176 33554432000 4194304 4196468 140726963210976 140588758264752 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56704 KiB
[startup+0.700736 s]
/proc/loadavg: 1.75 1.79 1.74 3/215 31480
/proc/meminfo: memFree=11006096/32770624 swapFree=67108404/67108860
[pid=31414] ppid=31411 vsize=10983192 memory=88940 CPUtime=0.98 cores=1,3,5,7
/proc/31414/stat : 31414 (java) S 31411 31414 27600 0 -1 1077944320 16340 13205 0 0 87 4 5 2 20 0 15 0 229367781 11246788608 22235 33554432000 4194304 4196468 140726963210976 140726963193520 140589336903415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
/proc/31414/statm: 2745798 22235 3238 1 0 2708109 0
[pid=31414/tid=31467] ppid=31411 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/31414/task/31467/stat : 31467 (java) R 31411 31414 27600 0 -1 4202560 11821 13205 0 0 55 3 5 2 20 0 15 0 229367790 11246788608 22235 33554432000 4194304 4196468 140726963210976 140589308724240 140589318466962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31468] ppid=31411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31468/stat : 31468 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246788608 22235 33554432000 4194304 4196468 140726963210976 140589341145488 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31469] ppid=31411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31469/stat : 31469 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246788608 22235 33554432000 4194304 4196468 140726963210976 140589195864336 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31470] ppid=31411 vsize=10983192 memory=139995331572528 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31470/stat : 31470 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246788608 22235 33554432000 4194304 4196468 140726963210976 140589194812048 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31471] ppid=31411 vsize=10983192 memory=139998753981004 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31471/stat : 31471 (java) S 31411 31414 27600 0 -1 1077944384 2 13205 0 0 0 0 5 2 20 0 15 0 229367791 11246788608 22235 33554432000 4194304 4196468 140726963210976 140589193759248 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31472] ppid=31411 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31472/stat : 31472 (java) S 31411 31414 27600 0 -1 1077944384 5 13205 0 0 0 0 5 2 20 0 15 0 229367792 11246788608 22235 33554432000 4194304 4196468 140726963210976 140588762475120 140589336914562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31473] ppid=31411 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31473/stat : 31473 (java) S 31411 31414 27600 0 -1 1077944384 13 13205 0 0 0 0 5 2 20 0 15 0 229367793 11246788608 22235 33554432000 4194304 4196468 140726963210976 140588117648672 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31474] ppid=31411 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31474/stat : 31474 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367793 11246788608 22235 33554432000 4194304 4196468 140726963210976 140587969799792 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31475] ppid=31411 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31475/stat : 31475 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11246788608 22235 33554432000 4194304 4196468 140726963210976 140587662400080 140589336922011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31476] ppid=31411 vsize=10983192 memory=34452 CPUtime=0.17 cores=1,3,5,7
/proc/31414/task/31476/stat : 31476 (java) S 31411 31414 27600 0 -1 1077944384 1113 13205 0 0 10 0 5 2 20 0 15 0 229367796 11246788608 22235 33554432000 4194304 4196468 140726963210976 140588761421936 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31477] ppid=31411 vsize=10983192 memory=14644 CPUtime=0.13 cores=1,3,5,7
/proc/31414/task/31477/stat : 31477 (java) S 31411 31414 27600 0 -1 1077944384 510 13205 0 0 6 0 5 2 20 0 15 0 229367796 11246788608 22235 33554432000 4194304 4196468 140726963210976 140588760369136 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31478] ppid=31411 vsize=10983192 memory=1720 CPUtime=0.2 cores=1,3,5,7
/proc/31414/task/31478/stat : 31478 (java) S 31411 31414 27600 0 -1 1077944384 673 13205 0 0 13 0 5 2 20 0 15 0 229367796 11246788608 22235 33554432000 4194304 4196468 140726963210976 140588759316848 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31479] ppid=31411 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31479/stat : 31479 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11246788608 22235 33554432000 4194304 4196468 140726963210976 140587231603168 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31480] ppid=31411 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31480/stat : 31480 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367796 11246788608 22235 33554432000 4194304 4196468 140726963210976 140588758264752 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88940 KiB
[startup+1.50147 s]
/proc/loadavg: 1.77 1.80 1.74 3/215 31480
/proc/meminfo: memFree=10960260/32770624 swapFree=67108404/67108860
[pid=31414] ppid=31411 vsize=10998912 memory=210628 CPUtime=3.09 cores=1,3,5,7
/proc/31414/stat : 31414 (java) S 31411 31414 27600 0 -1 1077944320 28929 13205 0 0 293 9 5 2 20 0 15 0 229367781 11262885888 52657 33554432000 4194304 4196468 140726963210976 140726963193520 140589336903415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
/proc/31414/statm: 2749728 52657 3445 1 0 2711386 0
[pid=31414/tid=31467] ppid=31411 vsize=10998912 memory=65756 CPUtime=1.41 cores=1,3,5,7
/proc/31414/task/31467/stat : 31467 (java) S 31411 31414 27600 0 -1 1077944384 17077 13205 0 0 128 6 5 2 20 0 15 0 229367790 11262885888 53169 33554432000 4194304 4196468 140726963210976 140589308735088 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31468] ppid=31411 vsize=10998912 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/31414/task/31468/stat : 31468 (java) R 31411 31414 27600 0 -1 4202560 8 13205 0 0 1 0 5 2 20 0 15 0 229367791 11262885888 53169 33554432000 4194304 4196468 140726963210976 140589341145488 140589321604416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31469] ppid=31411 vsize=10998912 memory=279990663176352 CPUtime=0.08 cores=1,3,5,7
/proc/31414/task/31469/stat : 31469 (java) R 31411 31414 27600 0 -1 4202560 199 13205 0 0 1 0 5 2 20 0 15 0 229367791 11262885888 53169 33554432000 4194304 4196468 140726963210976 140589195864336 140589330000116 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31470] ppid=31411 vsize=10998912 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31470/stat : 31470 (java) R 31411 31414 27600 0 -1 1077944384 33 13205 0 0 0 0 5 2 20 0 15 0 229367791 11262885888 53169 33554432000 4194304 4196468 140726963210976 140589194812048 140589336913621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31471] ppid=31411 vsize=10998912 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31414/task/31471/stat : 31471 (java) R 31411 31414 27600 0 -1 4202560 29 13205 0 0 2 0 5 2 20 0 15 0 229367791 11262885888 53169 33554432000 4194304 4196468 140726963210976 140589193759248 140589321901560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31472] ppid=31411 vsize=10998912 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31414/task/31472/stat : 31472 (java) S 31411 31414 27600 0 -1 1077944384 47 13205 0 0 1 0 5 2 20 0 15 0 229367792 11262885888 53169 33554432000 4194304 4196468 140726963210976 140588762473632 140589336913621 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31473] ppid=31411 vsize=10998912 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31473/stat : 31473 (java) S 31411 31414 27600 0 -1 1077944384 13 13205 0 0 0 0 5 2 20 0 15 0 229367793 11262885888 53169 33554432000 4194304 4196468 140726963210976 140588117648672 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31474] ppid=31411 vsize=10998912 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31474/stat : 31474 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367793 11262885888 53169 33554432000 4194304 4196468 140726963210976 140587969799792 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31475] ppid=31411 vsize=10998912 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31475/stat : 31475 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11262885888 53169 33554432000 4194304 4196468 140726963210976 140587662400080 140589336922011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31476] ppid=31411 vsize=10998912 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/31414/task/31476/stat : 31476 (java) R 31411 31414 27600 0 -1 4202560 4083 13205 0 0 60 0 5 2 20 0 15 0 229367796 11262885888 53169 33554432000 4194304 4196468 140726963210976 140588761407952 140589321825197 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31477] ppid=31411 vsize=10998912 memory=10 CPUtime=0.62 cores=1,3,5,7
/proc/31414/task/31477/stat : 31477 (java) S 31411 31414 27600 0 -1 1077944384 3479 13205 0 0 55 0 5 2 20 0 15 0 229367796 11262885888 53169 33554432000 4194304 4196468 140726963210976 140588760354128 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31478] ppid=31411 vsize=10998912 memory=6791534058613427641 CPUtime=0.48 cores=1,3,5,7
/proc/31414/task/31478/stat : 31478 (java) S 31411 31414 27600 0 -1 1077944384 1762 13205 0 0 41 0 5 2 20 0 15 0 229367796 11262885888 53169 33554432000 4194304 4196468 140726963210976 140588759316848 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31479] ppid=31411 vsize=10998912 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31479/stat : 31479 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11262885888 53169 33554432000 4194304 4196468 140726963210976 140587231603168 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31480] ppid=31411 vsize=10998912 memory=279990663420800 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31480/stat : 31480 (java) S 31411 31414 27600 0 -1 1077944384 1 13205 0 0 0 0 5 2 20 0 15 0 229367796 11262885888 53169 33554432000 4194304 4196468 140726963210976 140588758264752 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10998912 KiB
################
# More data... #
################
/proc/31414/task/31467/stat : 31467 (java) R 31411 31414 27600 0 -1 4202560 255222 13205 0 0 211132 69 5 2 20 0 15 0 229367790 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140589308736312 140588860113728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31468] ppid=31411 vsize=11082080 memory=6323308 CPUtime=85.61 cores=1,3,5,7
/proc/31414/task/31468/stat : 31468 (java) S 31411 31414 27600 0 -1 1077944384 84563 13205 0 0 8414 140 5 2 20 0 15 0 229367791 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140589341145488 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31469] ppid=31411 vsize=11082080 memory=6304356 CPUtime=85.8 cores=1,3,5,7
/proc/31414/task/31469/stat : 31469 (java) S 31411 31414 27600 0 -1 1077944384 94887 13205 0 0 8432 141 5 2 20 0 15 0 229367791 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140589195864336 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31470] ppid=31411 vsize=11082080 memory=6304356 CPUtime=85.71 cores=1,3,5,7
/proc/31414/task/31470/stat : 31470 (java) S 31411 31414 27600 0 -1 1077944384 93697 13205 0 0 8419 145 5 2 20 0 15 0 229367791 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140589194812048 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31471] ppid=31411 vsize=11082080 memory=6304356 CPUtime=85.86 cores=1,3,5,7
/proc/31414/task/31471/stat : 31471 (java) S 31411 31414 27600 0 -1 1077944384 85834 13205 0 0 8438 141 5 2 20 0 15 0 229367791 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140589193759248 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31472] ppid=31411 vsize=11082080 memory=6323308 CPUtime=3.9 cores=1,3,5,7
/proc/31414/task/31472/stat : 31472 (java) S 31411 31414 27600 0 -1 1077944384 93003 13205 0 0 369 14 5 2 20 0 15 0 229367792 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140588762475120 140589336914562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31473] ppid=31411 vsize=11082080 memory=6329452 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31473/stat : 31473 (java) S 31411 31414 27600 0 -1 1077944384 26 13205 0 0 0 0 5 2 20 0 15 0 229367793 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140588117648736 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31474] ppid=31411 vsize=11082080 memory=6304356 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31474/stat : 31474 (java) S 31411 31414 27600 0 -1 1077944384 15 13205 0 0 0 0 5 2 20 0 15 0 229367793 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140587969799808 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31475] ppid=31411 vsize=11082080 memory=6329452 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31475/stat : 31475 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140587662400080 140589336922011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31476] ppid=31411 vsize=11082080 memory=6304360 CPUtime=13 cores=1,3,5,7
/proc/31414/task/31476/stat : 31476 (java) S 31411 31414 27600 0 -1 1077944384 102796 13205 0 0 1283 10 5 2 20 0 15 0 229367796 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140588761421936 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31477] ppid=31411 vsize=11082080 memory=1616 CPUtime=13.02 cores=1,3,5,7
/proc/31414/task/31477/stat : 31477 (java) S 31411 31414 27600 0 -1 1077944384 99346 13205 0 0 1283 12 5 2 20 0 15 0 229367796 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140588760369136 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31478] ppid=31411 vsize=11082080 memory=6329452 CPUtime=3.99 cores=1,3,5,7
/proc/31414/task/31478/stat : 31478 (java) S 31411 31414 27600 0 -1 1077944384 92722 13205 0 0 379 13 5 2 20 0 15 0 229367796 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140588759316848 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31479] ppid=31411 vsize=11082080 memory=6329452 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31479/stat : 31479 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140587231603168 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31480] ppid=31411 vsize=11082080 memory=2148 CPUtime=1.34 cores=1,3,5,7
/proc/31414/task/31480/stat : 31480 (java) S 31411 31414 27600 0 -1 1077944384 3470 13205 0 0 54 73 5 2 20 0 15 0 229367796 11348049920 1582363 33554432000 4194304 4196468 140726963210976 140588758264752 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
Current children cumulated CPU time: 2489.77 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 6329452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2229.9 s]
/proc/loadavg: 1.47 1.58 1.68 3/216 31727
/proc/meminfo: memFree=4591988/32770624 swapFree=67108404/67108860
[pid=31414] ppid=31411 vsize=11082080 memory=6329464 CPUtime=2520.1 cores=1,3,5,7
/proc/31414/stat : 31414 (java) S 31411 31414 27600 0 -1 1077944320 1016561 13205 0 0 251260 743 5 2 20 0 15 0 229367781 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140726963193520 140589336903415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
/proc/31414/statm: 2770520 1582366 3538 1 0 2732173 0
[pid=31414/tid=31467] ppid=31411 vsize=11082080 memory=6329464 CPUtime=2138.77 cores=1,3,5,7
/proc/31414/task/31467/stat : 31467 (java) R 31411 31414 27600 0 -1 4202560 256370 13205 0 0 213801 69 5 2 20 0 15 0 229367790 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140589308736296 140588882964285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31468] ppid=31411 vsize=11082080 memory=6323308 CPUtime=86.49 cores=1,3,5,7
/proc/31414/task/31468/stat : 31468 (java) S 31411 31414 27600 0 -1 1077944384 85695 13205 0 0 8502 140 5 2 20 0 15 0 229367791 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140589341145488 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31469] ppid=31411 vsize=11082080 memory=6304356 CPUtime=86.69 cores=1,3,5,7
/proc/31414/task/31469/stat : 31469 (java) S 31411 31414 27600 0 -1 1077944384 96476 13205 0 0 8521 141 5 2 20 0 15 0 229367791 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140589195864336 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31470] ppid=31411 vsize=11082080 memory=6304356 CPUtime=86.61 cores=1,3,5,7
/proc/31414/task/31470/stat : 31470 (java) S 31411 31414 27600 0 -1 1077944384 96152 13205 0 0 8508 146 5 2 20 0 15 0 229367791 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140589194812048 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31471] ppid=31411 vsize=11082080 memory=6304356 CPUtime=86.75 cores=1,3,5,7
/proc/31414/task/31471/stat : 31471 (java) S 31411 31414 27600 0 -1 1077944384 86789 13205 0 0 8527 141 5 2 20 0 15 0 229367791 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140589193759248 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31472] ppid=31411 vsize=11082080 memory=6323308 CPUtime=3.91 cores=1,3,5,7
/proc/31414/task/31472/stat : 31472 (java) S 31411 31414 27600 0 -1 1077944384 93281 13205 0 0 370 14 5 2 20 0 15 0 229367792 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140588762475120 140589336914562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31473] ppid=31411 vsize=11082080 memory=6329464 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31473/stat : 31473 (java) S 31411 31414 27600 0 -1 1077944384 26 13205 0 0 0 0 5 2 20 0 15 0 229367793 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140588117648736 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31474] ppid=31411 vsize=11082080 memory=6329464 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31474/stat : 31474 (java) S 31411 31414 27600 0 -1 1077944384 15 13205 0 0 0 0 5 2 20 0 15 0 229367793 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140587969799808 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31475] ppid=31411 vsize=11082080 memory=6329464 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31475/stat : 31475 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140587662400080 140589336922011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31476] ppid=31411 vsize=11082080 memory=279990664217152 CPUtime=13.01 cores=1,3,5,7
/proc/31414/task/31476/stat : 31476 (java) S 31411 31414 27600 0 -1 1077944384 103869 13205 0 0 1284 10 5 2 20 0 15 0 229367796 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140588761421936 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31477] ppid=31411 vsize=11082080 memory=6329464 CPUtime=13.04 cores=1,3,5,7
/proc/31414/task/31477/stat : 31477 (java) S 31411 31414 27600 0 -1 1077944384 99373 13205 0 0 1285 12 5 2 20 0 15 0 229367796 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140588760369136 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31478] ppid=31411 vsize=11082080 memory=6329464 CPUtime=4 cores=1,3,5,7
/proc/31414/task/31478/stat : 31478 (java) S 31411 31414 27600 0 -1 1077944384 92843 13205 0 0 380 13 5 2 20 0 15 0 229367796 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140588759316848 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31479] ppid=31411 vsize=11082080 memory=3684 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31479/stat : 31479 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140587231603168 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31480] ppid=31411 vsize=11082080 memory=6329464 CPUtime=1.35 cores=1,3,5,7
/proc/31414/task/31480/stat : 31480 (java) S 31411 31414 27600 0 -1 1077944384 3474 13205 0 0 54 74 5 2 20 0 15 0 229367796 11348049920 1582366 33554432000 4194304 4196468 140726963210976 140588758264752 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 6329464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2230.27 s]
# the end of solver process 31414 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.54 s, system=7.51005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2230.01 s]*
/proc/loadavg: 1.47 1.58 1.68 6/216 31727
/proc/meminfo: memFree=4591988/32770624 swapFree=67108404/67108860
[pid=31414] ppid=31411 vsize=11082080 memory=6329552 CPUtime=2520.52 cores=1,3,5,7
/proc/31414/stat : 31414 (java) S 31411 31414 27600 0 -1 1077944320 1016846 13205 0 0 251302 743 5 2 20 0 15 0 229367781 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140726963193520 140589336903415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
/proc/31414/statm: 2770520 1582388 3539 1 0 2732173 0
[pid=31414/tid=31467] ppid=31411 vsize=11082080 memory=6791534058613427641 CPUtime=2138.78 cores=1,3,5,7
/proc/31414/task/31467/stat : 31467 (java) S 31411 31414 27600 0 -1 1077944384 256370 13205 0 0 213802 69 5 2 20 0 15 0 229367790 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140589308734096 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31468] ppid=31411 vsize=11082080 memory=4872558044660077418 CPUtime=86.6 cores=1,3,5,7
/proc/31414/task/31468/stat : 31468 (java) R 31411 31414 27600 0 -1 4202560 85736 13205 0 0 8513 140 5 2 20 0 15 0 229367791 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140589341145688 140589321351630 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31469] ppid=31411 vsize=11082080 memory=1692 CPUtime=86.78 cores=1,3,5,7
/proc/31414/task/31469/stat : 31469 (java) R 31411 31414 27600 0 -1 4202560 96489 13205 0 0 8530 141 5 2 20 0 15 0 229367791 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140589195864536 140589321931741 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31470] ppid=31411 vsize=11082080 memory=912 CPUtime=86.71 cores=1,3,5,7
/proc/31414/task/31470/stat : 31470 (java) R 31411 31414 27600 0 -1 4202560 96168 13205 0 0 8518 146 5 2 20 0 15 0 229367791 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140589194812048 140589321351630 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31471] ppid=31411 vsize=11082080 memory=3852 CPUtime=86.86 cores=1,3,5,7
/proc/31414/task/31471/stat : 31471 (java) R 31411 31414 27600 0 -1 4202560 86867 13205 0 0 8538 141 5 2 20 0 15 0 229367791 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140589193759448 140589321351552 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31472] ppid=31411 vsize=11082080 memory=2600 CPUtime=3.91 cores=1,3,5,7
/proc/31414/task/31472/stat : 31472 (java) S 31411 31414 27600 0 -1 1077944384 93281 13205 0 0 370 14 5 2 20 0 15 0 229367792 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140588762473632 140589336913621 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31473] ppid=31411 vsize=11082080 memory=2976 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31473/stat : 31473 (java) S 31411 31414 27600 0 -1 1077944384 26 13205 0 0 0 0 5 2 20 0 15 0 229367793 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140588117648736 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31474] ppid=31411 vsize=11082080 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31474/stat : 31474 (java) S 31411 31414 27600 0 -1 1077944384 15 13205 0 0 0 0 5 2 20 0 15 0 229367793 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140587969799808 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31475] ppid=31411 vsize=11082080 memory=3232 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31475/stat : 31475 (java) S 31411 31414 27600 0 -1 1077944384 139 13205 0 0 0 0 5 2 20 0 15 0 229367796 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140587662393680 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31476] ppid=31411 vsize=11082080 memory=6329464 CPUtime=13.01 cores=1,3,5,7
/proc/31414/task/31476/stat : 31476 (java) S 31411 31414 27600 0 -1 1077944384 103869 13205 0 0 1284 10 5 2 20 0 15 0 229367796 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140588761421936 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31477] ppid=31411 vsize=11082080 memory=4100 CPUtime=13.04 cores=1,3,5,7
/proc/31414/task/31477/stat : 31477 (java) S 31411 31414 27600 0 -1 1077944384 99373 13205 0 0 1285 12 5 2 20 0 15 0 229367796 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140588760369136 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31478] ppid=31411 vsize=11082080 memory=1408 CPUtime=4 cores=1,3,5,7
/proc/31414/task/31478/stat : 31478 (java) S 31411 31414 27600 0 -1 1077944384 92843 13205 0 0 380 13 5 2 20 0 15 0 229367796 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140588759316848 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31479] ppid=31411 vsize=11082080 memory=3180 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31479/stat : 31479 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 15 0 229367796 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140587231603168 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31480] ppid=31411 vsize=11082080 memory=6224956 CPUtime=1.35 cores=1,3,5,7
/proc/31414/task/31480/stat : 31480 (java) S 31411 31414 27600 0 -1 1077944384 3474 13205 0 0 54 74 5 2 20 0 15 0 229367796 11348049920 1582388 33554432000 4194304 4196468 140726963210976 140588758264752 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
Current children cumulated CPU time: 2520.52 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 6329552 KiB
[startup+2230.2 s]
/proc/loadavg: 1.47 1.58 1.68 6/216 31727
/proc/meminfo: memFree=4591988/32770624 swapFree=67108404/67108860
[pid=31414] ppid=31411 vsize=11344232 memory=6305524 CPUtime=2520.95 cores=1,3,5,7
/proc/31414/stat : 31414 (java) S 31411 31414 27600 0 -1 1077944320 1017025 13205 0 0 251345 743 5 2 20 0 17 0 229367781 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140726963193520 140589336903415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
/proc/31414/statm: 2836058 1576381 3539 1 0 2797711 0
[pid=31414/tid=31467] ppid=31411 vsize=11344232 memory=4872558044660077418 CPUtime=2138.89 cores=1,3,5,7
/proc/31414/task/31467/stat : 31467 (java) R 31411 31414 27600 0 -1 4202560 256391 13205 0 0 213813 69 5 2 20 0 17 0 229367790 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140589308733984 140588880774232 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31468] ppid=31411 vsize=11344232 memory=3232 CPUtime=86.68 cores=1,3,5,7
/proc/31414/task/31468/stat : 31468 (java) S 31411 31414 27600 0 -1 1077944384 85736 13205 0 0 8521 140 5 2 20 0 17 0 229367791 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140589341145488 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31469] ppid=31411 vsize=11344232 memory=6329464 CPUtime=86.86 cores=1,3,5,7
/proc/31414/task/31469/stat : 31469 (java) S 31411 31414 27600 0 -1 1077944384 96489 13205 0 0 8538 141 5 2 20 0 17 0 229367791 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140589195864336 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31470] ppid=31411 vsize=11344232 memory=4100 CPUtime=86.79 cores=1,3,5,7
/proc/31414/task/31470/stat : 31470 (java) S 31411 31414 27600 0 -1 1077944384 96168 13205 0 0 8526 146 5 2 20 0 17 0 229367791 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140589194812048 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31471] ppid=31411 vsize=11344232 memory=1408 CPUtime=86.94 cores=1,3,5,7
/proc/31414/task/31471/stat : 31471 (java) S 31411 31414 27600 0 -1 1077944384 86867 13205 0 0 8546 141 5 2 20 0 17 0 229367791 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140589193759248 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31472] ppid=31411 vsize=11344232 memory=3180 CPUtime=3.91 cores=1,3,5,7
/proc/31414/task/31472/stat : 31472 (java) S 31411 31414 27600 0 -1 1077944384 93281 13205 0 0 370 14 5 2 20 0 17 0 229367792 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140588762475120 140589336914562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31473] ppid=31411 vsize=11344232 memory=6224968 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31473/stat : 31473 (java) S 31411 31414 27600 0 -1 1077944384 26 13205 0 0 0 0 5 2 20 0 17 0 229367793 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140588117648736 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31474] ppid=31411 vsize=11344232 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31474/stat : 31474 (java) S 31411 31414 27600 0 -1 1077944384 15 13205 0 0 0 0 5 2 20 0 17 0 229367793 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140587969799808 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31475] ppid=31411 vsize=11344232 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31475/stat : 31475 (java) S 31411 31414 27600 0 -1 1077944384 158 13205 0 0 0 0 5 2 20 0 17 0 229367796 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140587662400080 140589336922011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31476] ppid=31411 vsize=11344232 memory=2404 CPUtime=13.01 cores=1,3,5,7
/proc/31414/task/31476/stat : 31476 (java) S 31411 31414 27600 0 -1 1077944384 103869 13205 0 0 1284 10 5 2 20 0 17 0 229367796 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140588761421936 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31477] ppid=31411 vsize=11344232 memory=6791534058613427641 CPUtime=13.04 cores=1,3,5,7
/proc/31414/task/31477/stat : 31477 (java) S 31411 31414 27600 0 -1 1077944384 99373 13205 0 0 1285 12 5 2 20 0 17 0 229367796 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140588760369136 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31478] ppid=31411 vsize=11344232 memory=928 CPUtime=4 cores=1,3,5,7
/proc/31414/task/31478/stat : 31478 (java) S 31411 31414 27600 0 -1 1077944384 92843 13205 0 0 380 13 5 2 20 0 17 0 229367796 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140588759316848 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31479] ppid=31411 vsize=11344232 memory=3684 CPUtime=0.07 cores=1,3,5,7
/proc/31414/task/31479/stat : 31479 (java) S 31411 31414 27600 0 -1 1077944384 3 13205 0 0 0 0 5 2 20 0 17 0 229367796 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140587231603168 140589336913621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
[pid=31414/tid=31480] ppid=31411 vsize=11344232 memory=288230574492221466 CPUtime=1.35 cores=1,3,5,7
/proc/31414/task/31480/stat : 31480 (java) S 31411 31414 27600 0 -1 1077944384 3474 13205 0 0 54 74 5 2 20 0 17 0 229367796 11616493568 1576381 33554432000 4194304 4196468 140726963210976 140588758264752 140589336914562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140726963219043 140726963221852 140726963221852 140726963224527 0
Current children cumulated CPU time: 2520.95 s
Current children cumulated vsize: 11344232 KiB
Current children cumulated memory: 6305524 KiB
Child status: 143
Real time (s): 2230.27
CPU time (s): 2521.05
CPU user time (s): 2513.54
CPU system time (s): 7.51005
CPU usage (%): 113.038
Max. virtual memory (cumulated for all children) (KiB): 11344232
Max. memory (cumulated for all children) (KiB): 6329552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.54
system time used= 7.51005
maximum resident set size= 6329552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1031506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72717
involuntary context switches= 4932
# summary of solver processes directly reported to runsolver:
# pid: 31414
# total CPU time (s): 2521.05
# total CPU user time (s): 2513.54
# total CPU system time (s): 7.51005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0706 second user time and 22.3288 second system time
The end