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 (4099 MiB free)
memory of node 1: 16384 MiB (1512 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304872-1534050023/watcher-4304872-1534050023 -o /tmp/evaluation-result-4304872-1534050023/solver-4304872-1534050023 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534040364-20982 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1482446196 -superng HOME/instance-4304872-1534050023.xml
running on 4 cores: 0,2,4,6
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=22849, runsolver pid=22846
[startup+0.100092 s]*
/proc/loadavg: 1.52 1.66 1.69 3/208 22906
/proc/meminfo: memFree=5740772/32770624 swapFree=67108380/67108860
[pid=22849] ppid=22846 vsize=10005480 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/22849/stat : 22849 (java) S 22846 22849 18934 0 -1 1077944320 4246 13209 0 0 1 1 5 2 20 0 6 0 222565436 10245611520 4582 33554432000 4194304 4196468 140735086951920 140735086934464 140027906854647 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
/proc/22849/statm: 2501370 4582 1930 1 0 2489808 0
[pid=22849/tid=22902] ppid=22846 vsize=10005480 memory=4279135704047190159 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22902/stat : 22902 (java) R 22846 22849 18934 0 -1 4202560 2055 13209 0 0 0 0 5 2 20 0 6 0 222565445 10245611520 4582 33554432000 4194304 4196468 140735086951920 140027878691408 140027888248378 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22903] ppid=22846 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22903/stat : 22903 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 6 0 222565446 10245611520 4582 33554432000 4194304 4196468 140735086951920 140027911097360 140027906864853 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22904] ppid=22846 vsize=10005480 memory=139888558188160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22904/stat : 22904 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 6 0 222565446 10245611520 4582 33554432000 4194304 4196468 140735086951920 140027765816464 140027906864853 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22905] ppid=22846 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22905/stat : 22905 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 6 0 222565446 10245611520 4582 33554432000 4194304 4196468 140735086951920 140027764763408 140027906864853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22906] ppid=22846 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22906/stat : 22906 (java) S 22846 22849 18934 0 -1 1077944384 2 13209 0 0 0 0 5 2 20 0 6 0 222565446 10245611520 4582 33554432000 4194304 4196468 140735086951920 140027763710864 140027906864853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210211 s]*
/proc/loadavg: 1.52 1.66 1.69 3/217 22915
/proc/meminfo: memFree=5716632/32770624 swapFree=67108380/67108860
[pid=22849] ppid=22846 vsize=10982744 memory=44956 CPUtime=0.25 cores=0,2,4,6
/proc/22849/stat : 22849 (java) S 22846 22849 18934 0 -1 1077944320 7425 13209 0 0 16 2 5 2 20 0 15 0 222565436 11246329856 11239 33554432000 4194304 4196468 140735086951920 140735086934464 140027906854647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
/proc/22849/statm: 2745686 11239 2951 1 0 2708109 0
[pid=22849/tid=22902] ppid=22846 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/22849/task/22902/stat : 22902 (java) R 22846 22849 18934 0 -1 4202560 4053 13209 0 0 10 1 5 2 20 0 15 0 222565445 11246329856 11305 33554432000 4194304 4196468 140735086951920 140027878678240 140027887130368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22903] ppid=22846 vsize=10982744 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22903/stat : 22903 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246329856 11305 33554432000 4194304 4196468 140735086951920 140027911097360 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22904] ppid=22846 vsize=10982744 memory=288370264709899904 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22904/stat : 22904 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246329856 11305 33554432000 4194304 4196468 140735086951920 140027765816464 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22905] ppid=22846 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22905/stat : 22905 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246329856 11305 33554432000 4194304 4196468 140735086951920 140027764763408 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22906] ppid=22846 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22906/stat : 22906 (java) S 22846 22849 18934 0 -1 1077944384 2 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246329856 11305 33554432000 4194304 4196468 140735086951920 140027763710864 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22907] ppid=22846 vsize=10982744 memory=139888558188160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22907/stat : 22907 (java) S 22846 22849 18934 0 -1 1077944384 2 13209 0 0 0 0 5 2 20 0 15 0 222565447 11246329856 11305 33554432000 4194304 4196468 140735086951920 140027332876528 140027906865794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22908] ppid=22846 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22908/stat : 22908 (java) S 22846 22849 18934 0 -1 1077944384 13 13209 0 0 0 0 5 2 20 0 15 0 222565448 11246329856 11305 33554432000 4194304 4196468 140735086951920 140026684892320 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22909] ppid=22846 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22909/stat : 22909 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565448 11246329856 11305 33554432000 4194304 4196468 140735086951920 140026537042672 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22910] ppid=22846 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22910/stat : 22910 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11246329856 11305 33554432000 4194304 4196468 140735086951920 140026229643216 140027906873243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22911] ppid=22846 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22849/task/22911/stat : 22911 (java) S 22846 22849 18934 0 -1 1077944384 369 13209 0 0 1 0 5 2 20 0 15 0 222565451 11246329856 11371 33554432000 4194304 4196468 140735086951920 140027331824368 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22912] ppid=22846 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22849/task/22912/stat : 22912 (java) S 22846 22849 18934 0 -1 1077944384 243 13209 0 0 1 0 5 2 20 0 15 0 222565451 11246329856 11371 33554432000 4194304 4196468 140735086951920 140027330771824 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22913] ppid=22846 vsize=10982744 memory=139888558188160 CPUtime=0.1 cores=0,2,4,6
/proc/22849/task/22913/stat : 22913 (java) S 22846 22849 18934 0 -1 1077944384 607 13209 0 0 3 0 5 2 20 0 15 0 222565451 11246329856 11371 33554432000 4194304 4196468 140735086951920 140027329718768 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22914] ppid=22846 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22914/stat : 22914 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11246329856 11371 33554432000 4194304 4196468 140735086951920 140025798847328 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22915] ppid=22846 vsize=10982744 memory=139888558188160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22915/stat : 22915 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565451 11246329856 11371 33554432000 4194304 4196468 140735086951920 140027328666160 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44956 KiB
[startup+0.310328 s]*
/proc/loadavg: 1.52 1.66 1.69 3/217 22915
/proc/meminfo: memFree=5703980/32770624 swapFree=67108380/67108860
[pid=22849] ppid=22846 vsize=10983192 memory=56976 CPUtime=0.38 cores=0,2,4,6
/proc/22849/stat : 22849 (java) S 22846 22849 18934 0 -1 1077944320 10282 13209 0 0 28 3 5 2 20 0 15 0 222565436 11246788608 14244 33554432000 4194304 4196468 140735086951920 140735086934464 140027906854647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
/proc/22849/statm: 2745798 14244 3070 1 0 2708109 0
[pid=22849/tid=22902] ppid=22846 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/22849/task/22902/stat : 22902 (java) R 22846 22849 18934 0 -1 4202560 6836 13209 0 0 19 2 5 2 20 0 15 0 222565445 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027878666656 140027890935134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22903] ppid=22846 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22903/stat : 22903 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027911097360 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22904] ppid=22846 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22904/stat : 22904 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027765816464 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22905] ppid=22846 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22905/stat : 22905 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027764763408 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22906] ppid=22846 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22906/stat : 22906 (java) S 22846 22849 18934 0 -1 1077944384 2 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027763710864 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22907] ppid=22846 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22907/stat : 22907 (java) S 22846 22849 18934 0 -1 1077944384 2 13209 0 0 0 0 5 2 20 0 15 0 222565447 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027332876528 140027906865794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22908] ppid=22846 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22908/stat : 22908 (java) S 22846 22849 18934 0 -1 1077944384 13 13209 0 0 0 0 5 2 20 0 15 0 222565448 11246788608 14244 33554432000 4194304 4196468 140735086951920 140026684892320 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22909] ppid=22846 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22909/stat : 22909 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565448 11246788608 14244 33554432000 4194304 4196468 140735086951920 140026537042672 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22910] ppid=22846 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22910/stat : 22910 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11246788608 14244 33554432000 4194304 4196468 140735086951920 140026229643216 140027906873243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22911] ppid=22846 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22849/task/22911/stat : 22911 (java) S 22846 22849 18934 0 -1 1077944384 374 13209 0 0 1 0 5 2 20 0 15 0 222565451 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027331824368 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22912] ppid=22846 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22849/task/22912/stat : 22912 (java) S 22846 22849 18934 0 -1 1077944384 243 13209 0 0 1 0 5 2 20 0 15 0 222565451 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027330771824 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22913] ppid=22846 vsize=10983192 memory=139888558188160 CPUtime=0.12 cores=0,2,4,6
/proc/22849/task/22913/stat : 22913 (java) S 22846 22849 18934 0 -1 1077944384 613 13209 0 0 5 0 5 2 20 0 15 0 222565451 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027329718768 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22914] ppid=22846 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22914/stat : 22914 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11246788608 14244 33554432000 4194304 4196468 140735086951920 140025798847328 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22915] ppid=22846 vsize=10983192 memory=139888558188160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22915/stat : 22915 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565451 11246788608 14244 33554432000 4194304 4196468 140735086951920 140027328666160 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56976 KiB
[startup+0.700781 s]
/proc/loadavg: 1.52 1.66 1.69 3/217 22915
/proc/meminfo: memFree=5693760/32770624 swapFree=67108380/67108860
[pid=22849] ppid=22846 vsize=10983192 memory=89260 CPUtime=0.98 cores=0,2,4,6
/proc/22849/stat : 22849 (java) S 22846 22849 18934 0 -1 1077944320 16394 13209 0 0 87 4 5 2 20 0 15 0 222565436 11246788608 22315 33554432000 4194304 4196468 140735086951920 140735086934464 140027906854647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
/proc/22849/statm: 2745798 22315 3238 1 0 2708109 0
[pid=22849/tid=22902] ppid=22846 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/22849/task/22902/stat : 22902 (java) R 22846 22849 18934 0 -1 4202560 11810 13209 0 0 56 3 5 2 20 0 15 0 222565445 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027878682528 140027890935134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22903] ppid=22846 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22903/stat : 22903 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027911097360 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22904] ppid=22846 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22904/stat : 22904 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027765816464 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22905] ppid=22846 vsize=10983192 memory=139888427152176 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22905/stat : 22905 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027764763408 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22906] ppid=22846 vsize=10983192 memory=139891379798617 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22906/stat : 22906 (java) S 22846 22849 18934 0 -1 1077944384 2 13209 0 0 0 0 5 2 20 0 15 0 222565446 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027763710864 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22907] ppid=22846 vsize=10983192 memory=1388 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22907/stat : 22907 (java) S 22846 22849 18934 0 -1 1077944384 5 13209 0 0 0 0 5 2 20 0 15 0 222565447 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027332876528 140027906865794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22908] ppid=22846 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22908/stat : 22908 (java) S 22846 22849 18934 0 -1 1077944384 13 13209 0 0 0 0 5 2 20 0 15 0 222565448 11246788608 22315 33554432000 4194304 4196468 140735086951920 140026684892320 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22909] ppid=22846 vsize=10983192 memory=6082220498109361512 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22909/stat : 22909 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565448 11246788608 22315 33554432000 4194304 4196468 140735086951920 140026537042672 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22910] ppid=22846 vsize=10983192 memory=33696 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22910/stat : 22910 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11246788608 22315 33554432000 4194304 4196468 140735086951920 140026229643216 140027906873243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22911] ppid=22846 vsize=10983192 memory=14392 CPUtime=0.17 cores=0,2,4,6
/proc/22849/task/22911/stat : 22911 (java) S 22846 22849 18934 0 -1 1077944384 1069 13209 0 0 10 0 5 2 20 0 15 0 222565451 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027331824368 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22912] ppid=22846 vsize=10983192 memory=4004 CPUtime=0.13 cores=0,2,4,6
/proc/22849/task/22912/stat : 22912 (java) S 22846 22849 18934 0 -1 1077944384 628 13209 0 0 6 0 5 2 20 0 15 0 222565451 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027330771824 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22913] ppid=22846 vsize=10983192 memory=500 CPUtime=0.2 cores=0,2,4,6
/proc/22849/task/22913/stat : 22913 (java) S 22846 22849 18934 0 -1 1077944384 665 13209 0 0 13 0 5 2 20 0 15 0 222565451 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027329718768 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22914] ppid=22846 vsize=10983192 memory=1720 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22914/stat : 22914 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11246788608 22315 33554432000 4194304 4196468 140735086951920 140025798847328 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22915] ppid=22846 vsize=10983192 memory=1176 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22915/stat : 22915 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565451 11246788608 22315 33554432000 4194304 4196468 140735086951920 140027328666160 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89260 KiB
[startup+1.50072 s]
/proc/loadavg: 1.55 1.67 1.69 3/217 22915
/proc/meminfo: memFree=5650840/32770624 swapFree=67108380/67108860
[pid=22849] ppid=22846 vsize=10998092 memory=177956 CPUtime=2.29 cores=0,2,4,6
/proc/22849/stat : 22849 (java) S 22846 22849 18934 0 -1 1077944320 23534 13209 0 0 212 10 5 2 20 0 15 0 222565436 11262046208 44489 33554432000 4194304 4196468 140735086951920 140735086934464 140027906854647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
/proc/22849/statm: 2749523 44489 3475 1 0 2711181 0
[pid=22849/tid=22902] ppid=22846 vsize=10998092 memory=65576 CPUtime=1.42 cores=0,2,4,6
/proc/22849/task/22902/stat : 22902 (java) R 22846 22849 18934 0 -1 4202560 17291 13209 0 0 130 5 5 2 20 0 15 0 222565445 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027878684656 140027906866582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22903] ppid=22846 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22849/task/22903/stat : 22903 (java) S 22846 22849 18934 0 -1 1077944384 30 13209 0 0 1 0 5 2 20 0 15 0 222565446 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027911097360 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22904] ppid=22846 vsize=10998092 memory=279776854335648 CPUtime=0.08 cores=0,2,4,6
/proc/22849/task/22904/stat : 22904 (java) S 22846 22849 18934 0 -1 1077944384 186 13209 0 0 1 0 5 2 20 0 15 0 222565446 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027765816464 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22905] ppid=22846 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22849/task/22905/stat : 22905 (java) S 22846 22849 18934 0 -1 1077944384 17 13209 0 0 1 0 5 2 20 0 15 0 222565446 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027764763408 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22906] ppid=22846 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22906/stat : 22906 (java) S 22846 22849 18934 0 -1 1077944384 68 13209 0 0 0 0 5 2 20 0 15 0 222565446 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027763710864 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22907] ppid=22846 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22849/task/22907/stat : 22907 (java) S 22846 22849 18934 0 -1 1077944384 50 13209 0 0 1 0 5 2 20 0 15 0 222565447 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027332876528 140027906865794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22908] ppid=22846 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22908/stat : 22908 (java) S 22846 22849 18934 0 -1 1077944384 14 13209 0 0 0 0 5 2 20 0 15 0 222565448 11262046208 44489 33554432000 4194304 4196468 140735086951920 140026684892384 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22909] ppid=22846 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22909/stat : 22909 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565448 11262046208 44489 33554432000 4194304 4196468 140735086951920 140026537042672 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22910] ppid=22846 vsize=10998092 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22910/stat : 22910 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11262046208 44489 33554432000 4194304 4196468 140735086951920 140026229643216 140027906873243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22911] ppid=22846 vsize=10998092 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/22849/task/22911/stat : 22911 (java) R 22846 22849 18934 0 -1 4202560 1267 13209 0 0 20 0 5 2 20 0 15 0 222565451 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027331824368 140027884682046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22912] ppid=22846 vsize=10998092 memory=10 CPUtime=0.29 cores=0,2,4,6
/proc/22849/task/22912/stat : 22912 (java) R 22846 22849 18934 0 -1 1077944384 1152 13209 0 0 22 0 5 2 20 0 15 0 222565451 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027330771824 140027906865794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22913] ppid=22846 vsize=10998092 memory=6791534058613427641 CPUtime=0.4 cores=0,2,4,6
/proc/22849/task/22913/stat : 22913 (java) R 22846 22849 18934 0 -1 4202560 1260 13209 0 0 32 1 5 2 20 0 15 0 222565451 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027329718768 140027890935134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22914] ppid=22846 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22914/stat : 22914 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11262046208 44489 33554432000 4194304 4196468 140735086951920 140025798847328 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22915] ppid=22846 vsize=10998092 memory=279776854580096 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22915/stat : 22915 (java) S 22846 22849 18934 0 -1 1077944384 1 13209 0 0 0 0 5 2 20 0 15 0 222565451 11262046208 44489 33554432000 4194304 4196468 140735086951920 140027328666160 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/22849/task/22902/stat : 22902 (java) R 22846 22849 18934 0 -1 4202560 136825 13209 0 0 235387 66 5 2 20 0 15 0 222565445 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027878687024 140027443692104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22903] ppid=22846 vsize=11082080 memory=279776854327584 CPUtime=12.38 cores=0,2,4,6
/proc/22849/task/22903/stat : 22903 (java) S 22846 22849 18934 0 -1 1077944384 31281 13209 0 0 1174 57 5 2 20 0 15 0 222565446 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027911097360 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22904] ppid=22846 vsize=11082080 memory=1474112 CPUtime=12.38 cores=0,2,4,6
/proc/22849/task/22904/stat : 22904 (java) S 22846 22849 18934 0 -1 1077944384 19862 13209 0 0 1169 62 5 2 20 0 15 0 222565446 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027765816464 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22905] ppid=22846 vsize=11082080 memory=1474112 CPUtime=12.38 cores=0,2,4,6
/proc/22849/task/22905/stat : 22905 (java) S 22846 22849 18934 0 -1 1077944384 26006 13209 0 0 1172 59 5 2 20 0 15 0 222565446 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027764763408 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22906] ppid=22846 vsize=11082080 memory=1474112 CPUtime=12.39 cores=0,2,4,6
/proc/22849/task/22906/stat : 22906 (java) S 22846 22849 18934 0 -1 1077944384 41081 13209 0 0 1177 55 5 2 20 0 15 0 222565446 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027763710864 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22907] ppid=22846 vsize=11082080 memory=1474112 CPUtime=11.55 cores=0,2,4,6
/proc/22849/task/22907/stat : 22907 (java) S 22846 22849 18934 0 -1 1077944384 24719 13209 0 0 1094 54 5 2 20 0 15 0 222565447 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027332876528 140027906865794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22908] ppid=22846 vsize=11082080 memory=1474112 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22908/stat : 22908 (java) S 22846 22849 18934 0 -1 1077944384 21 13209 0 0 0 0 5 2 20 0 15 0 222565448 11348049920 368528 33554432000 4194304 4196468 140735086951920 140026684892384 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22909] ppid=22846 vsize=11082080 memory=1474112 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22909/stat : 22909 (java) S 22846 22849 18934 0 -1 1077944384 6 13209 0 0 0 0 5 2 20 0 15 0 222565448 11348049920 368528 33554432000 4194304 4196468 140735086951920 140026537042688 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22910] ppid=22846 vsize=11082080 memory=1474112 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22910/stat : 22910 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140026229643216 140027906873243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22911] ppid=22846 vsize=11082080 memory=1474112 CPUtime=7.33 cores=0,2,4,6
/proc/22849/task/22911/stat : 22911 (java) S 22846 22849 18934 0 -1 1077944384 51169 13209 0 0 720 6 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027331824368 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22912] ppid=22846 vsize=11082080 memory=1474112 CPUtime=7.95 cores=0,2,4,6
/proc/22849/task/22912/stat : 22912 (java) S 22846 22849 18934 0 -1 1077944384 47814 13209 0 0 784 4 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027330771824 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22913] ppid=22846 vsize=11082080 memory=15208 CPUtime=2.45 cores=0,2,4,6
/proc/22849/task/22913/stat : 22913 (java) S 22846 22849 18934 0 -1 1077944384 40740 13209 0 0 231 7 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027329718768 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22914] ppid=22846 vsize=11082080 memory=60608 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22914/stat : 22914 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140025798847328 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22915] ppid=22846 vsize=11082080 memory=3872 CPUtime=1.63 cores=0,2,4,6
/proc/22849/task/22915/stat : 22915 (java) S 22846 22849 18934 0 -1 1077944384 1756 13209 0 0 78 78 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027328666160 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
Current children cumulated CPU time: 2434.54 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1474112 KiB
[startup+2442.3 s]
/proc/loadavg: 1.65 1.49 1.43 3/216 23140
/proc/meminfo: memFree=2197400/32770624 swapFree=67108380/67108860
[pid=22849] ppid=22846 vsize=11082080 memory=1474112 CPUtime=2495.45 cores=0,2,4,6
/proc/22849/stat : 22849 (java) S 22846 22849 18934 0 -1 1077944320 427465 13209 0 0 249154 384 5 2 20 0 15 0 222565436 11348049920 368528 33554432000 4194304 4196468 140735086951920 140735086934464 140027906854647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
/proc/22849/statm: 2770520 368528 3536 1 0 2732173 0
[pid=22849/tid=22902] ppid=22846 vsize=11082080 memory=1474112 CPUtime=2413.94 cores=0,2,4,6
/proc/22849/task/22902/stat : 22902 (java) R 22846 22849 18934 0 -1 4202560 138295 13209 0 0 241320 67 5 2 20 0 15 0 222565445 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027878687200 140027443688283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22903] ppid=22846 vsize=11082080 memory=1474112 CPUtime=12.69 cores=0,2,4,6
/proc/22849/task/22903/stat : 22903 (java) S 22846 22849 18934 0 -1 1077944384 32529 13209 0 0 1203 59 5 2 20 0 15 0 222565446 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027911097360 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22904] ppid=22846 vsize=11082080 memory=1474112 CPUtime=12.7 cores=0,2,4,6
/proc/22849/task/22904/stat : 22904 (java) S 22846 22849 18934 0 -1 1077944384 20493 13209 0 0 1200 63 5 2 20 0 15 0 222565446 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027765816464 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22905] ppid=22846 vsize=11082080 memory=1474112 CPUtime=12.7 cores=0,2,4,6
/proc/22849/task/22905/stat : 22905 (java) S 22846 22849 18934 0 -1 1077944384 26152 13209 0 0 1203 60 5 2 20 0 15 0 222565446 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027764763408 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22906] ppid=22846 vsize=11082080 memory=1474112 CPUtime=12.71 cores=0,2,4,6
/proc/22849/task/22906/stat : 22906 (java) S 22846 22849 18934 0 -1 1077944384 41116 13209 0 0 1208 56 5 2 20 0 15 0 222565446 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027763710864 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22907] ppid=22846 vsize=11082080 memory=1474112 CPUtime=11.83 cores=0,2,4,6
/proc/22849/task/22907/stat : 22907 (java) S 22846 22849 18934 0 -1 1077944384 25145 13209 0 0 1120 56 5 2 20 0 15 0 222565447 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027332876528 140027906865794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22908] ppid=22846 vsize=11082080 memory=1474112 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22908/stat : 22908 (java) S 22846 22849 18934 0 -1 1077944384 21 13209 0 0 0 0 5 2 20 0 15 0 222565448 11348049920 368528 33554432000 4194304 4196468 140735086951920 140026684892384 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22909] ppid=22846 vsize=11082080 memory=1474112 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22909/stat : 22909 (java) S 22846 22849 18934 0 -1 1077944384 6 13209 0 0 0 0 5 2 20 0 15 0 222565448 11348049920 368528 33554432000 4194304 4196468 140735086951920 140026537042688 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22910] ppid=22846 vsize=11082080 memory=1474112 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22910/stat : 22910 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140026229643216 140027906873243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22911] ppid=22846 vsize=11082080 memory=1474112 CPUtime=7.33 cores=0,2,4,6
/proc/22849/task/22911/stat : 22911 (java) S 22846 22849 18934 0 -1 1077944384 51172 13209 0 0 720 6 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027331824368 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22912] ppid=22846 vsize=11082080 memory=1474112 CPUtime=7.95 cores=0,2,4,6
/proc/22849/task/22912/stat : 22912 (java) S 22846 22849 18934 0 -1 1077944384 47816 13209 0 0 784 4 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027330771824 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22913] ppid=22846 vsize=11082080 memory=1824 CPUtime=2.45 cores=0,2,4,6
/proc/22849/task/22913/stat : 22913 (java) S 22846 22849 18934 0 -1 1077944384 40743 13209 0 0 231 7 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027329718768 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22914] ppid=22846 vsize=11082080 memory=1474112 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22914/stat : 22914 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140025798847328 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22915] ppid=22846 vsize=11082080 memory=1474112 CPUtime=1.67 cores=0,2,4,6
/proc/22849/task/22915/stat : 22915 (java) S 22846 22849 18934 0 -1 1077944384 1779 13209 0 0 81 79 5 2 20 0 15 0 222565451 11348049920 368528 33554432000 4194304 4196468 140735086951920 140027328666160 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
Current children cumulated CPU time: 2495.45 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1474112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.5 s]
/proc/loadavg: 1.60 1.49 1.43 3/216 23141
/proc/meminfo: memFree=2181016/32770624 swapFree=67108380/67108860
[pid=22849] ppid=22846 vsize=11082080 memory=1476160 CPUtime=2520.02 cores=0,2,4,6
/proc/22849/stat : 22849 (java) S 22846 22849 18934 0 -1 1077944320 429321 13209 0 0 251608 387 5 2 20 0 15 0 222565436 11348049920 369040 33554432000 4194304 4196468 140735086951920 140735086934464 140027906854647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
/proc/22849/statm: 2770520 369040 3536 1 0 2732173 0
[pid=22849/tid=22902] ppid=22846 vsize=11082080 memory=1476160 CPUtime=2437.85 cores=0,2,4,6
/proc/22849/task/22902/stat : 22902 (java) R 22846 22849 18934 0 -1 4202560 138813 13209 0 0 243711 67 5 2 20 0 15 0 222565445 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027878687616 140027443688274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22903] ppid=22846 vsize=11082080 memory=1476160 CPUtime=12.83 cores=0,2,4,6
/proc/22849/task/22903/stat : 22903 (java) S 22846 22849 18934 0 -1 1077944384 32554 13209 0 0 1216 60 5 2 20 0 15 0 222565446 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027911097360 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22904] ppid=22846 vsize=11082080 memory=1476160 CPUtime=12.83 cores=0,2,4,6
/proc/22849/task/22904/stat : 22904 (java) S 22846 22849 18934 0 -1 1077944384 20513 13209 0 0 1212 64 5 2 20 0 15 0 222565446 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027765816464 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22905] ppid=22846 vsize=11082080 memory=1476160 CPUtime=12.84 cores=0,2,4,6
/proc/22849/task/22905/stat : 22905 (java) S 22846 22849 18934 0 -1 1077944384 26173 13209 0 0 1216 61 5 2 20 0 15 0 222565446 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027764763408 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22906] ppid=22846 vsize=11082080 memory=1476160 CPUtime=12.84 cores=0,2,4,6
/proc/22849/task/22906/stat : 22906 (java) S 22846 22849 18934 0 -1 1077944384 42300 13209 0 0 1220 57 5 2 20 0 15 0 222565446 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027763710864 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22907] ppid=22846 vsize=11082080 memory=1476160 CPUtime=11.95 cores=0,2,4,6
/proc/22849/task/22907/stat : 22907 (java) S 22846 22849 18934 0 -1 1077944384 25233 13209 0 0 1132 56 5 2 20 0 15 0 222565447 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027332876528 140027906865794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22908] ppid=22846 vsize=11082080 memory=1476160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22908/stat : 22908 (java) S 22846 22849 18934 0 -1 1077944384 21 13209 0 0 0 0 5 2 20 0 15 0 222565448 11348049920 369040 33554432000 4194304 4196468 140735086951920 140026684892384 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22909] ppid=22846 vsize=11082080 memory=1476160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22909/stat : 22909 (java) S 22846 22849 18934 0 -1 1077944384 6 13209 0 0 0 0 5 2 20 0 15 0 222565448 11348049920 369040 33554432000 4194304 4196468 140735086951920 140026537042688 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22910] ppid=22846 vsize=11082080 memory=1476160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22910/stat : 22910 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140026229643216 140027906873243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22911] ppid=22846 vsize=11082080 memory=1476160 CPUtime=7.33 cores=0,2,4,6
/proc/22849/task/22911/stat : 22911 (java) S 22846 22849 18934 0 -1 1077944384 51172 13209 0 0 720 6 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027331824368 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22912] ppid=22846 vsize=11082080 memory=1474104 CPUtime=7.95 cores=0,2,4,6
/proc/22849/task/22912/stat : 22912 (java) S 22846 22849 18934 0 -1 1077944384 47816 13209 0 0 784 4 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027330771824 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22913] ppid=22846 vsize=11082080 memory=1080 CPUtime=2.45 cores=0,2,4,6
/proc/22849/task/22913/stat : 22913 (java) S 22846 22849 18934 0 -1 1077944384 40743 13209 0 0 231 7 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027329718768 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22914] ppid=22846 vsize=11082080 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22914/stat : 22914 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140025798847328 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22915] ppid=22846 vsize=11082080 memory=7400 CPUtime=1.68 cores=0,2,4,6
/proc/22849/task/22915/stat : 22915 (java) S 22846 22849 18934 0 -1 1077944384 1779 13209 0 0 81 80 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027328666160 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1476160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.54 s]
# the end of solver process 22849 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.16 s, system=3.93046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.5 s]
/proc/loadavg: 1.60 1.49 1.43 3/216 23141
/proc/meminfo: memFree=2181016/32770624 swapFree=67108380/67108860
[pid=22849] ppid=22846 vsize=11082080 memory=1476160 CPUtime=2520.02 cores=0,2,4,6
/proc/22849/stat : 22849 (java) S 22846 22849 18934 0 -1 1077944320 429321 13209 0 0 251608 387 5 2 20 0 15 0 222565436 11348049920 369040 33554432000 4194304 4196468 140735086951920 140735086934464 140027906854647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
/proc/22849/statm: 2770520 369040 3536 1 0 2732173 0
[pid=22849/tid=22902] ppid=22846 vsize=11082080 memory=1476160 CPUtime=2437.85 cores=0,2,4,6
/proc/22849/task/22902/stat : 22902 (java) R 22846 22849 18934 0 -1 4202560 138813 13209 0 0 243711 67 5 2 20 0 15 0 222565445 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027878687616 140027443688274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22903] ppid=22846 vsize=11082080 memory=1476160 CPUtime=12.83 cores=0,2,4,6
/proc/22849/task/22903/stat : 22903 (java) S 22846 22849 18934 0 -1 1077944384 32554 13209 0 0 1216 60 5 2 20 0 15 0 222565446 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027911097360 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22904] ppid=22846 vsize=11082080 memory=1476160 CPUtime=12.83 cores=0,2,4,6
/proc/22849/task/22904/stat : 22904 (java) S 22846 22849 18934 0 -1 1077944384 20513 13209 0 0 1212 64 5 2 20 0 15 0 222565446 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027765816464 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22905] ppid=22846 vsize=11082080 memory=1476160 CPUtime=12.84 cores=0,2,4,6
/proc/22849/task/22905/stat : 22905 (java) S 22846 22849 18934 0 -1 1077944384 26173 13209 0 0 1216 61 5 2 20 0 15 0 222565446 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027764763408 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22906] ppid=22846 vsize=11082080 memory=1476160 CPUtime=12.84 cores=0,2,4,6
/proc/22849/task/22906/stat : 22906 (java) S 22846 22849 18934 0 -1 1077944384 42300 13209 0 0 1220 57 5 2 20 0 15 0 222565446 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027763710864 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22907] ppid=22846 vsize=11082080 memory=1476160 CPUtime=11.95 cores=0,2,4,6
/proc/22849/task/22907/stat : 22907 (java) S 22846 22849 18934 0 -1 1077944384 25233 13209 0 0 1132 56 5 2 20 0 15 0 222565447 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027332876528 140027906865794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22908] ppid=22846 vsize=11082080 memory=1476160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22908/stat : 22908 (java) S 22846 22849 18934 0 -1 1077944384 21 13209 0 0 0 0 5 2 20 0 15 0 222565448 11348049920 369040 33554432000 4194304 4196468 140735086951920 140026684892384 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22909] ppid=22846 vsize=11082080 memory=1476160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22909/stat : 22909 (java) S 22846 22849 18934 0 -1 1077944384 6 13209 0 0 0 0 5 2 20 0 15 0 222565448 11348049920 369040 33554432000 4194304 4196468 140735086951920 140026537042688 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22910] ppid=22846 vsize=11082080 memory=1476160 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22910/stat : 22910 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140026229643216 140027906873243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22911] ppid=22846 vsize=11082080 memory=1476160 CPUtime=7.33 cores=0,2,4,6
/proc/22849/task/22911/stat : 22911 (java) S 22846 22849 18934 0 -1 1077944384 51172 13209 0 0 720 6 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027331824368 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22912] ppid=22846 vsize=11082080 memory=1474104 CPUtime=7.95 cores=0,2,4,6
/proc/22849/task/22912/stat : 22912 (java) S 22846 22849 18934 0 -1 1077944384 47816 13209 0 0 784 4 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027330771824 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22913] ppid=22846 vsize=11082080 memory=1080 CPUtime=2.45 cores=0,2,4,6
/proc/22849/task/22913/stat : 22913 (java) S 22846 22849 18934 0 -1 1077944384 40743 13209 0 0 231 7 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027329718768 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22914] ppid=22846 vsize=11082080 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/22849/task/22914/stat : 22914 (java) S 22846 22849 18934 0 -1 1077944384 3 13209 0 0 0 0 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140025798847328 140027906864853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
[pid=22849/tid=22915] ppid=22846 vsize=11082080 memory=7400 CPUtime=1.68 cores=0,2,4,6
/proc/22849/task/22915/stat : 22915 (java) S 22846 22849 18934 0 -1 1077944384 1779 13209 0 0 81 80 5 2 20 0 15 0 222565451 11348049920 369040 33554432000 4194304 4196468 140735086951920 140027328666160 140027906865794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140735086959203 140735086962012 140735086962012 140735086964687 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1476160 KiB
Child status: 143
Real time (s): 2466.54
CPU time (s): 2520.09
CPU user time (s): 2516.16
CPU system time (s): 3.93046
CPU usage (%): 102.171
Max. virtual memory (cumulated for all children) (KiB): 11082908
Max. memory (cumulated for all children) (KiB): 1476160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.16
system time used= 3.93046
maximum resident set size= 1478456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 446251
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 299505
involuntary context switches= 10577
# summary of solver processes directly reported to runsolver:
# pid: 22849
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.16
# total CPU system time (s): 3.93046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6031 second user time and 22.7091 second system time
The end