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 (13317 MiB free)
memory of node 1: 16384 MiB (13235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302519-1532897388/watcher-4302519-1532897388 -o /tmp/evaluation-result-4302519-1532897388/solver-4302519-1532897388 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1621 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1756134921 HOME/instance-4302519-1532897388.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6723, runsolver pid=6720
[startup+0.100081 s]*
/proc/loadavg: 1.27 1.55 1.71 3/206 6780
/proc/meminfo: memFree=27179256/32770624 swapFree=67108860/67108860
[pid=6723] ppid=6720 vsize=10005480 memory=18328 CPUtime=0.09 cores=1,3,5,7
/proc/6723/stat : 6723 (java) S 6720 6723 22004 0 -1 1077944320 4250 12870 0 0 1 1 4 3 20 0 6 0 107302035 10245611520 4582 33554432000 4194304 4196468 140725739635488 140725739618032 139866911366903 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
/proc/6723/statm: 2501370 4582 1931 1 0 2489808 0
[pid=6723/tid=6776] ppid=6720 vsize=10005480 memory=8326441112148417179 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6776/stat : 6776 (java) R 6720 6723 22004 0 -1 4202560 2096 12870 0 0 1 0 4 3 20 0 6 0 107302044 10245611520 4648 33554432000 4194304 4196468 140725739635488 139866883203664 139866896678905 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6777] ppid=6720 vsize=10005480 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6777/stat : 6777 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 6 0 107302045 10245611520 4648 33554432000 4194304 4196468 140725739635488 139866915609360 139866911377109 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6778] ppid=6720 vsize=10005480 memory=139881438721664 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6778/stat : 6778 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 6 0 107302045 10245611520 4648 33554432000 4194304 4196468 140725739635488 139866770328464 139866911377109 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6779] ppid=6720 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6779/stat : 6779 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 6 0 107302045 10245611520 4648 33554432000 4194304 4196468 140725739635488 139866769275920 139866911377109 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6780] ppid=6720 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6780/stat : 6780 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 6 0 107302045 10245611520 4648 33554432000 4194304 4196468 140725739635488 139866768223376 139866911377109 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.209891 s]*
/proc/loadavg: 1.27 1.55 1.71 3/215 6789
/proc/meminfo: memFree=27158312/32770624 swapFree=67108860/67108860
[pid=6723] ppid=6720 vsize=10982744 memory=46256 CPUtime=0.25 cores=1,3,5,7
/proc/6723/stat : 6723 (java) S 6720 6723 22004 0 -1 1077944320 7697 12870 0 0 16 2 4 3 20 0 15 0 107302035 11246329856 11564 33554432000 4194304 4196468 140725739635488 140725739618032 139866911366903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
/proc/6723/statm: 2745686 11564 2980 1 0 2708109 0
[pid=6723/tid=6776] ppid=6720 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/6723/task/6776/stat : 6776 (java) D 6720 6723 22004 0 -1 1077944384 4344 12870 0 0 10 1 4 3 20 0 15 0 107302044 11246329856 11630 33554432000 4194304 4196468 140725739635488 139866883191712 139866904046125 0 4 0 16800975 18446744072101756452 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6777] ppid=6720 vsize=10982744 memory=288293255295271337 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6777/stat : 6777 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246329856 11630 33554432000 4194304 4196468 140725739635488 139866915609360 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6778] ppid=6720 vsize=10982744 memory=3904679358044045344 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6778/stat : 6778 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246329856 11630 33554432000 4194304 4196468 140725739635488 139866770328464 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6779] ppid=6720 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6779/stat : 6779 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246329856 11630 33554432000 4194304 4196468 140725739635488 139866769275920 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6780] ppid=6720 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6780/stat : 6780 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246329856 11630 33554432000 4194304 4196468 140725739635488 139866768223376 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6781] ppid=6720 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6781/stat : 6781 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 15 0 107302046 11246329856 11630 33554432000 4194304 4196468 140725739635488 139866203035632 139866911378050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6782] ppid=6720 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6782/stat : 6782 (java) S 6720 6723 22004 0 -1 1077944384 13 12870 0 0 0 0 4 3 20 0 15 0 107302047 11246362624 11630 33554432000 4194304 4196468 140725739635488 139865744204704 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6783] ppid=6720 vsize=10982776 memory=139881438721664 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6783/stat : 6783 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302047 11246362624 11630 33554432000 4194304 4196468 140725739635488 139865542878192 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6784] ppid=6720 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6784/stat : 6784 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11247345664 11630 33554432000 4194304 4196468 140725739635488 139865235478736 139866911385499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6785] ppid=6720 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6785/stat : 6785 (java) S 6720 6723 22004 0 -1 1077944384 554 12870 0 0 1 0 4 3 20 0 15 0 107302050 11247345664 11696 33554432000 4194304 4196468 140725739635488 139866201983472 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6786] ppid=6720 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6786/stat : 6786 (java) S 6720 6723 22004 0 -1 1077944384 69 12870 0 0 1 0 4 3 20 0 15 0 107302050 11247345664 11696 33554432000 4194304 4196468 140725739635488 139866200930928 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6787] ppid=6720 vsize=10983736 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6723/task/6787/stat : 6787 (java) S 6720 6723 22004 0 -1 1077944384 610 12870 0 0 3 0 4 3 20 0 15 0 107302050 11247345664 11696 33554432000 4194304 4196468 140725739635488 139866199878384 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6788] ppid=6720 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6788/stat : 6788 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11247345664 11696 33554432000 4194304 4196468 140725739635488 139864804682848 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6789] ppid=6720 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6789/stat : 6789 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302050 11247345664 11762 33554432000 4194304 4196468 140725739635488 139866198825264 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46256 KiB
[startup+0.310255 s]*
/proc/loadavg: 1.27 1.55 1.71 3/215 6789
/proc/meminfo: memFree=27147272/32770624 swapFree=67108860/67108860
[pid=6723] ppid=6720 vsize=10983192 memory=57192 CPUtime=0.37 cores=1,3,5,7
/proc/6723/stat : 6723 (java) S 6720 6723 22004 0 -1 1077944320 10283 12870 0 0 27 3 4 3 20 0 15 0 107302035 11246788608 14298 33554432000 4194304 4196468 140725739635488 140725739618032 139866911366903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
/proc/6723/statm: 2745798 14298 3099 1 0 2708109 0
[pid=6723/tid=6776] ppid=6720 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/6723/task/6776/stat : 6776 (java) R 6720 6723 22004 0 -1 4202560 6831 12870 0 0 19 2 4 3 20 0 15 0 107302044 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866883178912 139866895447390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6777] ppid=6720 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6777/stat : 6777 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866915609360 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6778] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6778/stat : 6778 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866770328464 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6779] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6779/stat : 6779 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866769275920 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6780] ppid=6720 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6780/stat : 6780 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866768223376 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6781] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6781/stat : 6781 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 15 0 107302046 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866203035632 139866911378050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6782] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6782/stat : 6782 (java) S 6720 6723 22004 0 -1 1077944384 13 12870 0 0 0 0 4 3 20 0 15 0 107302047 11246788608 14298 33554432000 4194304 4196468 140725739635488 139865744204704 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6783] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6783/stat : 6783 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302047 11246788608 14298 33554432000 4194304 4196468 140725739635488 139865542878192 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6784] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6784/stat : 6784 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11246788608 14298 33554432000 4194304 4196468 140725739635488 139865235478736 139866911385499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6785] ppid=6720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6785/stat : 6785 (java) S 6720 6723 22004 0 -1 1077944384 556 12870 0 0 1 0 4 3 20 0 15 0 107302050 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866201983472 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6786] ppid=6720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6786/stat : 6786 (java) S 6720 6723 22004 0 -1 1077944384 69 12870 0 0 1 0 4 3 20 0 15 0 107302050 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866200930928 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6787] ppid=6720 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6723/task/6787/stat : 6787 (java) S 6720 6723 22004 0 -1 1077944384 616 12870 0 0 5 0 4 3 20 0 15 0 107302050 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866199878384 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6788] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6788/stat : 6788 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11246788608 14298 33554432000 4194304 4196468 140725739635488 139864804682848 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6789] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6789/stat : 6789 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302050 11246788608 14298 33554432000 4194304 4196468 140725739635488 139866198825264 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57192 KiB
[startup+0.700749 s]
/proc/loadavg: 1.27 1.55 1.71 3/215 6789
/proc/meminfo: memFree=27136324/32770624 swapFree=67108860/67108860
[pid=6723] ppid=6720 vsize=10983192 memory=89292 CPUtime=0.97 cores=1,3,5,7
/proc/6723/stat : 6723 (java) S 6720 6723 22004 0 -1 1077944320 16414 12870 0 0 86 4 4 3 20 0 15 0 107302035 11246788608 22323 33554432000 4194304 4196468 140725739635488 140725739618032 139866911366903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
/proc/6723/statm: 2745798 22323 3241 1 0 2708109 0
[pid=6723/tid=6776] ppid=6720 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/6723/task/6776/stat : 6776 (java) R 6720 6723 22004 0 -1 4202560 11941 12870 0 0 56 3 4 3 20 0 15 0 107302044 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866883187728 139866892930432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6777] ppid=6720 vsize=10983192 memory=8242257093008373557 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6777/stat : 6777 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866915609360 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6778] ppid=6720 vsize=10983192 memory=7158860088844767568 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6778/stat : 6778 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866770328464 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6779] ppid=6720 vsize=10983192 memory=7588675599774802240 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6779/stat : 6779 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866769275920 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6780] ppid=6720 vsize=10983192 memory=5791717478211005024 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6780/stat : 6780 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 15 0 107302045 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866768223376 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6781] ppid=6720 vsize=10983192 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6781/stat : 6781 (java) S 6720 6723 22004 0 -1 1077944384 6 12870 0 0 0 0 4 3 20 0 15 0 107302046 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866203035632 139866911378050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6782] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6782/stat : 6782 (java) S 6720 6723 22004 0 -1 1077944384 13 12870 0 0 0 0 4 3 20 0 15 0 107302047 11246788608 22323 33554432000 4194304 4196468 140725739635488 139865744204704 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6783] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6783/stat : 6783 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302047 11246788608 22323 33554432000 4194304 4196468 140725739635488 139865542878192 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6784] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6784/stat : 6784 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11246788608 22323 33554432000 4194304 4196468 140725739635488 139865235478736 139866911385499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6785] ppid=6720 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6723/task/6785/stat : 6785 (java) S 6720 6723 22004 0 -1 1077944384 921 12870 0 0 6 0 4 3 20 0 15 0 107302050 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866201983472 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6786] ppid=6720 vsize=10983192 memory=96 CPUtime=0.17 cores=1,3,5,7
/proc/6723/task/6786/stat : 6786 (java) S 6720 6723 22004 0 -1 1077944384 662 12870 0 0 10 0 4 3 20 0 15 0 107302050 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866200930928 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6787] ppid=6720 vsize=10983192 memory=279762627021232 CPUtime=0.2 cores=1,3,5,7
/proc/6723/task/6787/stat : 6787 (java) S 6720 6723 22004 0 -1 1077944384 669 12870 0 0 13 0 4 3 20 0 15 0 107302050 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866199878384 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6788] ppid=6720 vsize=10983192 memory=139881438720529 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6788/stat : 6788 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11246788608 22323 33554432000 4194304 4196468 140725739635488 139864804682848 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6789] ppid=6720 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6789/stat : 6789 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302050 11246788608 22323 33554432000 4194304 4196468 140725739635488 139866198825264 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89292 KiB
[startup+1.50932 s]
/proc/loadavg: 1.27 1.55 1.71 3/215 6789
/proc/meminfo: memFree=27090736/32770624 swapFree=67108860/67108860
[pid=6723] ppid=6720 vsize=10996044 memory=205576 CPUtime=2.91 cores=1,3,5,7
/proc/6723/stat : 6723 (java) S 6720 6723 22004 0 -1 1077944320 25864 12870 0 0 273 11 4 3 20 0 15 0 107302035 11259949056 51394 33554432000 4194304 4196468 140725739635488 140725739618032 139866911366903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
/proc/6723/statm: 2749011 51394 3448 1 0 2710669 0
[pid=6723/tid=6776] ppid=6720 vsize=10996044 memory=7300996220802969665 CPUtime=1.43 cores=1,3,5,7
/proc/6723/task/6776/stat : 6776 (java) S 6720 6723 22004 0 -1 1077944384 16572 12870 0 0 130 6 4 3 20 0 15 0 107302044 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866883180096 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6777] ppid=6720 vsize=10996044 memory=4418138326849250145 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6777/stat : 6777 (java) S 6720 6723 22004 0 -1 1077944384 26 12870 0 0 1 0 4 3 20 0 15 0 107302045 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866915609360 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6778] ppid=6720 vsize=10996044 memory=-5934757335528923228 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6778/stat : 6778 (java) R 6720 6723 22004 0 -1 1077944384 154 12870 0 0 1 0 4 3 20 0 15 0 107302045 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866770328480 139866911377109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6779] ppid=6720 vsize=10996044 memory=6371838453203882338 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6779/stat : 6779 (java) S 6720 6723 22004 0 -1 1077944384 26 12870 0 0 1 0 4 3 20 0 15 0 107302045 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866769275920 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6780] ppid=6720 vsize=10996044 memory=7449062980653836388 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6780/stat : 6780 (java) S 6720 6723 22004 0 -1 1077944384 60 12870 0 0 1 0 4 3 20 0 15 0 107302045 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866768223376 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6781] ppid=6720 vsize=10996044 memory=2424 CPUtime=0.08 cores=1,3,5,7
/proc/6723/task/6781/stat : 6781 (java) S 6720 6723 22004 0 -1 1077944384 46 12870 0 0 1 0 4 3 20 0 15 0 107302046 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866203034144 139866911377109 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6782] ppid=6720 vsize=10996044 memory=1840 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6782/stat : 6782 (java) S 6720 6723 22004 0 -1 1077944384 13 12870 0 0 0 0 4 3 20 0 15 0 107302047 11259949056 51394 33554432000 4194304 4196468 140725739635488 139865744204704 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6783] ppid=6720 vsize=10996044 memory=1004 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6783/stat : 6783 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302047 11259949056 51394 33554432000 4194304 4196468 140725739635488 139865542878192 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6784] ppid=6720 vsize=10996044 memory=12060 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6784/stat : 6784 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11259949056 51394 33554432000 4194304 4196468 140725739635488 139865235478736 139866911385499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6785] ppid=6720 vsize=10996044 memory=5788 CPUtime=0.53 cores=1,3,5,7
/proc/6723/task/6785/stat : 6785 (java) S 6720 6723 22004 0 -1 1077944384 3024 12870 0 0 46 0 4 3 20 0 15 0 107302050 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866201983472 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6786] ppid=6720 vsize=10996044 memory=792 CPUtime=0.51 cores=1,3,5,7
/proc/6723/task/6786/stat : 6786 (java) S 6720 6723 22004 0 -1 1077944384 2065 12870 0 0 44 0 4 3 20 0 15 0 107302050 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866200930928 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6787] ppid=6720 vsize=10996044 memory=1228 CPUtime=0.51 cores=1,3,5,7
/proc/6723/task/6787/stat : 6787 (java) S 6720 6723 22004 0 -1 1077944384 1681 12870 0 0 44 0 4 3 20 0 15 0 107302050 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866199878384 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6788] ppid=6720 vsize=10996044 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6788/stat : 6788 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11259949056 51394 33554432000 4194304 4196468 140725739635488 139864804682848 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6789] ppid=6720 vsize=10996044 memory=126548 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6789/stat : 6789 (java) S 6720 6723 22004 0 -1 1077944384 1 12870 0 0 0 0 4 3 20 0 15 0 107302050 11259949056 51394 33554432000 4194304 4196468 140725739635488 139866198825264 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/6723/task/6776/stat : 6776 (java) R 6720 6723 22004 0 -1 4202560 49607 12870 0 0 16093 22 4 3 20 0 15 0 107302044 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866883202528 139866445463643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6777] ppid=6720 vsize=11016544 memory=1122256 CPUtime=0.63 cores=1,3,5,7
/proc/6723/task/6777/stat : 6777 (java) S 6720 6723 22004 0 -1 1077944384 3757 12870 0 0 51 5 4 3 20 0 15 0 107302045 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866915609360 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6778] ppid=6720 vsize=11016544 memory=792 CPUtime=0.62 cores=1,3,5,7
/proc/6723/task/6778/stat : 6778 (java) S 6720 6723 22004 0 -1 1077944384 2182 12870 0 0 50 5 4 3 20 0 15 0 107302045 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866770328464 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6779] ppid=6720 vsize=11016544 memory=1122256 CPUtime=0.62 cores=1,3,5,7
/proc/6723/task/6779/stat : 6779 (java) S 6720 6723 22004 0 -1 1077944384 2016 12870 0 0 49 6 4 3 20 0 15 0 107302045 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866769275920 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6780] ppid=6720 vsize=11016544 memory=1122256 CPUtime=0.62 cores=1,3,5,7
/proc/6723/task/6780/stat : 6780 (java) S 6720 6723 22004 0 -1 1077944384 3076 12870 0 0 50 5 4 3 20 0 15 0 107302045 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866768223376 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6781] ppid=6720 vsize=11016544 memory=1120096 CPUtime=0.4 cores=1,3,5,7
/proc/6723/task/6781/stat : 6781 (java) S 6720 6723 22004 0 -1 1077944384 6577 12870 0 0 31 2 4 3 20 0 15 0 107302046 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866203035632 139866911378050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6782] ppid=6720 vsize=11016544 memory=1122256 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6782/stat : 6782 (java) S 6720 6723 22004 0 -1 1077944384 13 12870 0 0 0 0 4 3 20 0 15 0 107302047 11280941056 280564 33554432000 4194304 4196468 140725739635488 139865744204832 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6783] ppid=6720 vsize=11016544 memory=1120096 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6783/stat : 6783 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 15 0 107302047 11280941056 280564 33554432000 4194304 4196468 140725739635488 139865542878208 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6784] ppid=6720 vsize=11016544 memory=7881409738580977256 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6784/stat : 6784 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11280941056 280564 33554432000 4194304 4196468 140725739635488 139865235478736 139866911385499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6785] ppid=6720 vsize=11016544 memory=1122256 CPUtime=9.03 cores=1,3,5,7
/proc/6723/task/6785/stat : 6785 (java) S 6720 6723 22004 0 -1 1077944384 27141 12870 0 0 890 6 4 3 20 0 15 0 107302050 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866201983472 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6786] ppid=6720 vsize=11016544 memory=1122256 CPUtime=9.35 cores=1,3,5,7
/proc/6723/task/6786/stat : 6786 (java) S 6720 6723 22004 0 -1 1077944384 28210 12870 0 0 921 7 4 3 20 0 15 0 107302050 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866200930928 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6787] ppid=6720 vsize=11016544 memory=1122256 CPUtime=4.09 cores=1,3,5,7
/proc/6723/task/6787/stat : 6787 (java) S 6720 6723 22004 0 -1 1077944384 22395 12870 0 0 396 6 4 3 20 0 15 0 107302050 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866199878384 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6788] ppid=6720 vsize=11016544 memory=1122256 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6788/stat : 6788 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11280941056 280564 33554432000 4194304 4196468 140725739635488 139864804682848 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6789] ppid=6720 vsize=11016544 memory=1122256 CPUtime=0.15 cores=1,3,5,7
/proc/6723/task/6789/stat : 6789 (java) S 6720 6723 22004 0 -1 1077944384 1111 12870 0 0 4 4 4 3 20 0 15 0 107302050 11280941056 280564 33554432000 4194304 4196468 140725739635488 139866198825264 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
Current children cumulated CPU time: 186.22 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1122256 KiB
[startup+222.301 s]
/proc/loadavg: 1.31 1.43 1.63 3/216 6928
/proc/meminfo: memFree=26070224/32770624 swapFree=67108860/67108860
[pid=6723] ppid=6720 vsize=11016544 memory=1122732 CPUtime=247.14 cores=1,3,5,7
/proc/6723/stat : 6723 (java) S 6720 6723 22004 0 -1 1077944320 155360 12870 0 0 24632 75 4 3 20 0 15 0 107302035 11280941056 280683 33554432000 4194304 4196468 140725739635488 140725739618032 139866911366903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
/proc/6723/statm: 2754136 280683 3535 1 0 2715789 0
[pid=6723/tid=6776] ppid=6720 vsize=11016544 memory=1122732 CPUtime=220.64 cores=1,3,5,7
/proc/6723/task/6776/stat : 6776 (java) R 6720 6723 22004 0 -1 4202560 51465 12870 0 0 22034 23 4 3 20 0 15 0 107302044 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866883201504 139866456311408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6777] ppid=6720 vsize=11016544 memory=8112282956445269571 CPUtime=0.94 cores=1,3,5,7
/proc/6723/task/6777/stat : 6777 (java) S 6720 6723 22004 0 -1 1077944384 4572 12870 0 0 82 5 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866915609360 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6778] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.94 cores=1,3,5,7
/proc/6723/task/6778/stat : 6778 (java) S 6720 6723 22004 0 -1 1077944384 3972 12870 0 0 81 6 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866770328464 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6779] ppid=6720 vsize=11016544 memory=1122460 CPUtime=0.95 cores=1,3,5,7
/proc/6723/task/6779/stat : 6779 (java) S 6720 6723 22004 0 -1 1077944384 2106 12870 0 0 81 7 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866769275920 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6780] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.94 cores=1,3,5,7
/proc/6723/task/6780/stat : 6780 (java) S 6720 6723 22004 0 -1 1077944384 3234 12870 0 0 81 6 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866768223376 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6781] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.61 cores=1,3,5,7
/proc/6723/task/6781/stat : 6781 (java) S 6720 6723 22004 0 -1 1077944384 7316 12870 0 0 50 4 4 3 20 0 15 0 107302046 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866203035632 139866911378050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6782] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6782/stat : 6782 (java) S 6720 6723 22004 0 -1 1077944384 13 12870 0 0 0 0 4 3 20 0 15 0 107302047 11280941056 280683 33554432000 4194304 4196468 140725739635488 139865744204832 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6783] ppid=6720 vsize=11016544 memory=1122732 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6783/stat : 6783 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 15 0 107302047 11280941056 280683 33554432000 4194304 4196468 140725739635488 139865542878208 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6784] ppid=6720 vsize=11016544 memory=1122732 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6784/stat : 6784 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139865235478736 139866911385499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6785] ppid=6720 vsize=11016544 memory=7 CPUtime=9.03 cores=1,3,5,7
/proc/6723/task/6785/stat : 6785 (java) S 6720 6723 22004 0 -1 1077944384 27144 12870 0 0 890 6 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866201983472 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6786] ppid=6720 vsize=11016544 memory=2273 CPUtime=9.35 cores=1,3,5,7
/proc/6723/task/6786/stat : 6786 (java) S 6720 6723 22004 0 -1 1077944384 28212 12870 0 0 921 7 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866200930928 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6787] ppid=6720 vsize=11016544 memory=4028 CPUtime=4.09 cores=1,3,5,7
/proc/6723/task/6787/stat : 6787 (java) S 6720 6723 22004 0 -1 1077944384 24003 12870 0 0 396 6 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866199878384 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6788] ppid=6720 vsize=11016544 memory=30528 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6788/stat : 6788 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139864804682848 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6789] ppid=6720 vsize=11016544 memory=1296 CPUtime=0.19 cores=1,3,5,7
/proc/6723/task/6789/stat : 6789 (java) S 6720 6723 22004 0 -1 1077944384 1126 12870 0 0 6 6 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866198825264 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
Current children cumulated CPU time: 247.14 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1122732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+227.11 s]
/proc/loadavg: 1.28 1.42 1.62 3/216 6928
/proc/meminfo: memFree=26070224/32770624 swapFree=67108860/67108860
[pid=6723] ppid=6720 vsize=11016544 memory=1122732 CPUtime=252.03 cores=1,3,5,7
/proc/6723/stat : 6723 (java) S 6720 6723 22004 0 -1 1077944320 155707 12870 0 0 25120 76 4 3 20 0 15 0 107302035 11280941056 280683 33554432000 4194304 4196468 140725739635488 140725739618032 139866911366903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
/proc/6723/statm: 2754136 280683 3535 1 0 2715789 0
[pid=6723/tid=6776] ppid=6720 vsize=11016544 memory=4612 CPUtime=225.4 cores=1,3,5,7
/proc/6723/task/6776/stat : 6776 (java) R 6720 6723 22004 0 -1 4202560 51799 12870 0 0 22510 23 4 3 20 0 15 0 107302044 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866883202608 139866454797388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6777] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.96 cores=1,3,5,7
/proc/6723/task/6777/stat : 6777 (java) S 6720 6723 22004 0 -1 1077944384 4575 12870 0 0 84 5 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866915609360 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6778] ppid=6720 vsize=11016544 memory=1122460 CPUtime=0.96 cores=1,3,5,7
/proc/6723/task/6778/stat : 6778 (java) S 6720 6723 22004 0 -1 1077944384 3974 12870 0 0 83 6 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866770328464 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6779] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.97 cores=1,3,5,7
/proc/6723/task/6779/stat : 6779 (java) S 6720 6723 22004 0 -1 1077944384 2108 12870 0 0 83 7 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866769275920 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6780] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.97 cores=1,3,5,7
/proc/6723/task/6780/stat : 6780 (java) S 6720 6723 22004 0 -1 1077944384 3236 12870 0 0 84 6 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866768223376 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6781] ppid=6720 vsize=11016544 memory=1122732 CPUtime=0.62 cores=1,3,5,7
/proc/6723/task/6781/stat : 6781 (java) S 6720 6723 22004 0 -1 1077944384 7320 12870 0 0 51 4 4 3 20 0 15 0 107302046 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866203035632 139866911378050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6782] ppid=6720 vsize=11016544 memory=1122732 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6782/stat : 6782 (java) S 6720 6723 22004 0 -1 1077944384 13 12870 0 0 0 0 4 3 20 0 15 0 107302047 11280941056 280683 33554432000 4194304 4196468 140725739635488 139865744204832 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6783] ppid=6720 vsize=11016544 memory=1122732 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6783/stat : 6783 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 15 0 107302047 11280941056 280683 33554432000 4194304 4196468 140725739635488 139865542878208 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6784] ppid=6720 vsize=11016544 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6784/stat : 6784 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139865235478736 139866911385499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6785] ppid=6720 vsize=11016544 memory=4028 CPUtime=9.03 cores=1,3,5,7
/proc/6723/task/6785/stat : 6785 (java) S 6720 6723 22004 0 -1 1077944384 27144 12870 0 0 890 6 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866201983472 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6786] ppid=6720 vsize=11016544 memory=1122732 CPUtime=9.35 cores=1,3,5,7
/proc/6723/task/6786/stat : 6786 (java) S 6720 6723 22004 0 -1 1077944384 28212 12870 0 0 921 7 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866200930928 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6787] ppid=6720 vsize=11016544 memory=1122732 CPUtime=4.09 cores=1,3,5,7
/proc/6723/task/6787/stat : 6787 (java) S 6720 6723 22004 0 -1 1077944384 24003 12870 0 0 396 6 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866199878384 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6788] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6788/stat : 6788 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139864804682848 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6789] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.19 cores=1,3,5,7
/proc/6723/task/6789/stat : 6789 (java) S 6720 6723 22004 0 -1 1077944384 1126 12870 0 0 6 6 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866198825264 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1122732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+227.147 s]
# the end of solver process 6723 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.274 s, system=0.81468 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+227.11 s]
/proc/loadavg: 1.28 1.42 1.62 3/216 6928
/proc/meminfo: memFree=26070224/32770624 swapFree=67108860/67108860
[pid=6723] ppid=6720 vsize=11016544 memory=1122732 CPUtime=252.03 cores=1,3,5,7
/proc/6723/stat : 6723 (java) S 6720 6723 22004 0 -1 1077944320 155707 12870 0 0 25120 76 4 3 20 0 15 0 107302035 11280941056 280683 33554432000 4194304 4196468 140725739635488 140725739618032 139866911366903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
/proc/6723/statm: 2754136 280683 3535 1 0 2715789 0
[pid=6723/tid=6776] ppid=6720 vsize=11016544 memory=4612 CPUtime=225.4 cores=1,3,5,7
/proc/6723/task/6776/stat : 6776 (java) R 6720 6723 22004 0 -1 4202560 51799 12870 0 0 22510 23 4 3 20 0 15 0 107302044 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866883202608 139866454797388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6777] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.96 cores=1,3,5,7
/proc/6723/task/6777/stat : 6777 (java) S 6720 6723 22004 0 -1 1077944384 4575 12870 0 0 84 5 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866915609360 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6778] ppid=6720 vsize=11016544 memory=1122460 CPUtime=0.96 cores=1,3,5,7
/proc/6723/task/6778/stat : 6778 (java) S 6720 6723 22004 0 -1 1077944384 3974 12870 0 0 83 6 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866770328464 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6779] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.97 cores=1,3,5,7
/proc/6723/task/6779/stat : 6779 (java) S 6720 6723 22004 0 -1 1077944384 2108 12870 0 0 83 7 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866769275920 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6780] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.97 cores=1,3,5,7
/proc/6723/task/6780/stat : 6780 (java) S 6720 6723 22004 0 -1 1077944384 3236 12870 0 0 84 6 4 3 20 0 15 0 107302045 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866768223376 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6781] ppid=6720 vsize=11016544 memory=1122732 CPUtime=0.62 cores=1,3,5,7
/proc/6723/task/6781/stat : 6781 (java) S 6720 6723 22004 0 -1 1077944384 7320 12870 0 0 51 4 4 3 20 0 15 0 107302046 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866203035632 139866911378050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6782] ppid=6720 vsize=11016544 memory=1122732 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6782/stat : 6782 (java) S 6720 6723 22004 0 -1 1077944384 13 12870 0 0 0 0 4 3 20 0 15 0 107302047 11280941056 280683 33554432000 4194304 4196468 140725739635488 139865744204832 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6783] ppid=6720 vsize=11016544 memory=1122732 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6783/stat : 6783 (java) S 6720 6723 22004 0 -1 1077944384 2 12870 0 0 0 0 4 3 20 0 15 0 107302047 11280941056 280683 33554432000 4194304 4196468 140725739635488 139865542878208 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6784] ppid=6720 vsize=11016544 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6784/stat : 6784 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139865235478736 139866911385499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6785] ppid=6720 vsize=11016544 memory=4028 CPUtime=9.03 cores=1,3,5,7
/proc/6723/task/6785/stat : 6785 (java) S 6720 6723 22004 0 -1 1077944384 27144 12870 0 0 890 6 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866201983472 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6786] ppid=6720 vsize=11016544 memory=1122732 CPUtime=9.35 cores=1,3,5,7
/proc/6723/task/6786/stat : 6786 (java) S 6720 6723 22004 0 -1 1077944384 28212 12870 0 0 921 7 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866200930928 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6787] ppid=6720 vsize=11016544 memory=1122732 CPUtime=4.09 cores=1,3,5,7
/proc/6723/task/6787/stat : 6787 (java) S 6720 6723 22004 0 -1 1077944384 24003 12870 0 0 396 6 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866199878384 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6788] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.07 cores=1,3,5,7
/proc/6723/task/6788/stat : 6788 (java) S 6720 6723 22004 0 -1 1077944384 3 12870 0 0 0 0 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139864804682848 139866911377109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
[pid=6723/tid=6789] ppid=6720 vsize=11016544 memory=1122608 CPUtime=0.19 cores=1,3,5,7
/proc/6723/task/6789/stat : 6789 (java) S 6720 6723 22004 0 -1 1077944384 1126 12870 0 0 6 6 4 3 20 0 15 0 107302050 11280941056 280683 33554432000 4194304 4196468 140725739635488 139866198825264 139866911378050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9744384 140725739637361 140725739640161 140725739640161 140725739642831 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1122732 KiB
Child status: 143
Real time (s): 227.147
CPU time (s): 252.088
CPU user time (s): 251.274
CPU system time (s): 0.81468
CPU usage (%): 110.98
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 1173164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.274
system time used= 0.81468
maximum resident set size= 1174384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28194
involuntary context switches= 593
# summary of solver processes directly reported to runsolver:
# pid: 6723
# total CPU time (s): 252.088
# total CPU user time (s): 251.274
# total CPU system time (s): 0.81468
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.965347 second user time and 2.60991 second system time
The end