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 (9033 MiB free)
memory of node 1: 16384 MiB (13906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298673-1532768464/watcher-4298673-1532768464 -o /tmp/evaluation-result-4298673-1532768464/solver-4298673-1532768464 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532740894-20191 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298673-1532768464.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
solver pid=23783, runsolver pid=23780
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.13 1.35 1.37 4/216 23798
/proc/meminfo: memFree=23470636/32770624 swapFree=67108688/67108860
[pid=23783] ppid=23780 vsize=10661052 memory=26660 CPUtime=0.13 cores=0,2,4,6
/proc/23783/stat : 23783 (java) S 23780 23783 20160 0 -1 1077944320 5567 0 0 0 12 1 0 0 20 0 15 0 94409247 10916917248 6665 33554432000 4194304 4196468 140729238958624 140729238941168 140244805144311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
/proc/23783/statm: 2665263 6665 2842 1 0 2627263 0
[pid=23783/tid=23785] ppid=23780 vsize=10661052 memory=-8341684059579518845 CPUtime=0.09 cores=0,2,4,6
/proc/23783/task/23785/stat : 23785 (java) R 23780 23783 20160 0 -1 4202560 3394 0 0 0 9 0 0 0 20 0 15 0 94409247 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244809372800 140244805156246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23786] ppid=23780 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23786/stat : 23786 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244776986896 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23787] ppid=23780 vsize=10661052 memory=140650988480128 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23787/stat : 23787 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244410534288 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23788] ppid=23780 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23788/stat : 23788 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244409481744 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23789] ppid=23780 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23789/stat : 23789 (java) S 23780 23783 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94409248 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244408429200 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23790] ppid=23780 vsize=10661052 memory=140650988480128 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23790/stat : 23790 (java) S 23780 23783 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94409249 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244296886768 140244805155458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23791] ppid=23780 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23791/stat : 23791 (java) S 23780 23783 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94409250 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244295832992 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23792] ppid=23780 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23792/stat : 23792 (java) S 23780 23783 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94409250 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244294780400 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23793] ppid=23780 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23793/stat : 23793 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244293728976 140244805162907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23794] ppid=23780 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23794/stat : 23794 (java) S 23780 23783 20160 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 94409252 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244292675664 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23795] ppid=23780 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23795/stat : 23795 (java) R 23780 23783 20160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 94409252 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244291623320 140244797433760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23796] ppid=23780 vsize=10661052 memory=140650988480128 CPUtime=0.01 cores=0,2,4,6
/proc/23783/task/23796/stat : 23796 (java) R 23780 23783 20160 0 -1 4202560 377 0 0 0 1 0 0 0 20 0 15 0 94409252 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244290570480 140244805156246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23797] ppid=23780 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23797/stat : 23797 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244289518176 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23798] ppid=23780 vsize=10661052 memory=140650988480128 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23798/stat : 23798 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409253 10916917248 6665 33554432000 4194304 4196468 140729238958624 140244288465712 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 26660 KiB
[startup+0.210566 s]*
/proc/loadavg: 1.13 1.35 1.37 8/216 23798
/proc/meminfo: memFree=23449624/32770624 swapFree=67108688/67108860
[pid=23783] ppid=23780 vsize=10661052 memory=39560 CPUtime=0.34 cores=0,2,4,6
/proc/23783/stat : 23783 (java) S 23780 23783 20160 0 -1 1077944320 8417 0 0 0 32 2 0 0 20 0 15 0 94409247 10916917248 9890 33554432000 4194304 4196468 140729238958624 140729238941168 140244805144311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
/proc/23783/statm: 2665263 9890 2996 1 0 2627263 0
[pid=23783/tid=23785] ppid=23780 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/23783/task/23785/stat : 23785 (java) R 23780 23783 20160 0 -1 4202560 5203 0 0 0 19 1 0 0 20 0 15 0 94409247 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244809383680 140244441126410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23786] ppid=23780 vsize=10661052 memory=343 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23786/stat : 23786 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244776986896 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23787] ppid=23780 vsize=10661052 memory=140650989001211 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23787/stat : 23787 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244410534288 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23788] ppid=23780 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23788/stat : 23788 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244409481744 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23789] ppid=23780 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23789/stat : 23789 (java) S 23780 23783 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94409248 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244408429200 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23790] ppid=23780 vsize=10661052 memory=140650988480128 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23790/stat : 23790 (java) S 23780 23783 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94409249 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244296886768 140244805155458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23791] ppid=23780 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23791/stat : 23791 (java) S 23780 23783 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94409250 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244295832992 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23792] ppid=23780 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23792/stat : 23792 (java) S 23780 23783 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94409250 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244294780400 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23793] ppid=23780 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23793/stat : 23793 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244293728976 140244805162907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23794] ppid=23780 vsize=10661052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23783/task/23794/stat : 23794 (java) R 23780 23783 20160 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 15 0 94409252 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244292675568 140244805155458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23795] ppid=23780 vsize=10661052 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23783/task/23795/stat : 23795 (java) S 23780 23783 20160 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 15 0 94409252 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244291623024 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23796] ppid=23780 vsize=10661052 memory=140650988480128 CPUtime=0.08 cores=0,2,4,6
/proc/23783/task/23796/stat : 23796 (java) R 23780 23783 20160 0 -1 4202560 1007 0 0 0 8 0 0 0 20 0 15 0 94409252 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244290570480 140244789224798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23797] ppid=23780 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23797/stat : 23797 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244289518176 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23798] ppid=23780 vsize=10661052 memory=140650988480128 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23798/stat : 23798 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409253 10916917248 9890 33554432000 4194304 4196468 140729238958624 140244288465712 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 39560 KiB
[startup+0.311084 s]*
/proc/loadavg: 1.13 1.35 1.37 7/216 23798
/proc/meminfo: memFree=23422284/32770624 swapFree=67108688/67108860
[pid=23783] ppid=23780 vsize=10661128 memory=53716 CPUtime=0.68 cores=0,2,4,6
/proc/23783/stat : 23783 (java) S 23780 23783 20160 0 -1 1077944320 10485 0 0 0 65 3 0 0 20 0 15 0 94409247 10916995072 13429 33554432000 4194304 4196468 140729238958624 140729238941168 140244805144311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
/proc/23783/statm: 2665282 13429 3075 1 0 2627263 0
[pid=23783/tid=23785] ppid=23780 vsize=10661128 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/23783/task/23785/stat : 23785 (java) R 23780 23783 20160 0 -1 4202560 5462 0 0 0 29 1 0 0 20 0 15 0 94409247 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244809354992 140244805165658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23786] ppid=23780 vsize=10661128 memory=4294979917 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23786/stat : 23786 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244776986896 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23787] ppid=23780 vsize=10661128 memory=140650988821932 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23787/stat : 23787 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244410534288 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23788] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23788/stat : 23788 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244409481744 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23789] ppid=23780 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23789/stat : 23789 (java) S 23780 23783 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94409248 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244408429200 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23790] ppid=23780 vsize=10661128 memory=140650988480128 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23790/stat : 23790 (java) S 23780 23783 20160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94409249 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244296886768 140244805155458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23791] ppid=23780 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23791/stat : 23791 (java) S 23780 23783 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244295832992 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23792] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23792/stat : 23792 (java) S 23780 23783 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244294780400 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23793] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23793/stat : 23793 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244293728976 140244805162907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23794] ppid=23780 vsize=10661128 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23783/task/23794/stat : 23794 (java) R 23780 23783 20160 0 -1 4202560 1396 0 0 0 12 0 0 0 20 0 15 0 94409252 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244292668592 140244784390159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23795] ppid=23780 vsize=10661128 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/23783/task/23795/stat : 23795 (java) R 23780 23783 20160 0 -1 4202560 823 0 0 0 11 0 0 0 20 0 15 0 94409252 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244291608904 140244786664380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23796] ppid=23780 vsize=10661128 memory=140650988480128 CPUtime=0.12 cores=0,2,4,6
/proc/23783/task/23796/stat : 23796 (java) R 23780 23783 20160 0 -1 1077944384 1433 0 0 0 12 0 0 0 20 0 15 0 94409252 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244290570480 140244805155458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23797] ppid=23780 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23797/stat : 23797 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244289518176 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23798] ppid=23780 vsize=10661128 memory=140650988480128 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23798/stat : 23798 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409253 10916995072 13429 33554432000 4194304 4196468 140729238958624 140244288465712 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 53716 KiB
[startup+0.707244 s]
/proc/loadavg: 1.13 1.35 1.37 7/216 23798
/proc/meminfo: memFree=23376108/32770624 swapFree=67108688/67108860
[pid=23783] ppid=23780 vsize=10661128 memory=123224 CPUtime=1.88 cores=0,2,4,6
/proc/23783/stat : 23783 (java) S 23780 23783 20160 0 -1 1077944320 11490 0 0 0 184 4 0 0 20 0 15 0 94409247 10916995072 30806 33554432000 4194304 4196468 140729238958624 140729238941168 140244805144311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
/proc/23783/statm: 2665282 30806 3106 1 0 2627263 0
[pid=23783/tid=23785] ppid=23780 vsize=10661128 memory=242828122812493 CPUtime=0.69 cores=0,2,4,6
/proc/23783/task/23785/stat : 23785 (java) R 23780 23783 20160 0 -1 4202560 5624 0 0 0 66 3 0 0 20 0 15 0 94409247 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244809380976 140244443501095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23786] ppid=23780 vsize=10661128 memory=4051047449723404320 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23786/stat : 23786 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244776986896 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23787] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23787/stat : 23787 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244410534288 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23788] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23788/stat : 23788 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409248 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244409481744 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23789] ppid=23780 vsize=10661128 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23789/stat : 23789 (java) S 23780 23783 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94409248 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244408429200 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23790] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23790/stat : 23790 (java) S 23780 23783 20160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94409249 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244296886768 140244805155458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23791] ppid=23780 vsize=10661128 memory=-5935602824819121961 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23791/stat : 23791 (java) S 23780 23783 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244295832992 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23792] ppid=23780 vsize=10661128 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23792/stat : 23792 (java) S 23780 23783 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244294780400 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23793] ppid=23780 vsize=10661128 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23793/stat : 23793 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244293728976 140244805162907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23794] ppid=23780 vsize=10661128 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/23783/task/23794/stat : 23794 (java) R 23780 23783 20160 0 -1 4202560 1545 0 0 0 45 0 0 0 20 0 15 0 94409252 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244292662352 140244789541032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23795] ppid=23780 vsize=10661128 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/23783/task/23795/stat : 23795 (java) R 23780 23783 20160 0 -1 4202560 1231 0 0 0 45 0 0 0 20 0 15 0 94409252 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244291609104 140244786687643 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23796] ppid=23780 vsize=10661128 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/23783/task/23796/stat : 23796 (java) S 23780 23783 20160 0 -1 1077944384 1719 0 0 0 26 0 0 0 20 0 15 0 94409252 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244290570480 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23797] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23797/stat : 23797 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244289518176 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23798] ppid=23780 vsize=10661128 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23798/stat : 23798 (java) S 23780 23783 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94409253 10916995072 30806 33554432000 4194304 4196468 140729238958624 140244288465712 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 123224 KiB
[startup+1.50103 s]
/proc/loadavg: 1.13 1.35 1.37 5/216 23798
/proc/meminfo: memFree=23218604/32770624 swapFree=67108688/67108860
[pid=23783] ppid=23780 vsize=10661128 memory=265864 CPUtime=4.23 cores=0,2,4,6
/proc/23783/stat : 23783 (java) S 23780 23783 20160 0 -1 1077944320 15686 0 0 0 408 15 0 0 20 0 15 0 94409247 10916995072 66466 33554432000 4194304 4196468 140729238958624 140729238941168 140244805144311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
/proc/23783/statm: 2665282 66466 3160 1 0 2627263 0
[pid=23783/tid=23785] ppid=23780 vsize=10661128 memory=12848 CPUtime=1.42 cores=0,2,4,6
/proc/23783/task/23785/stat : 23785 (java) R 23780 23783 20160 0 -1 4202560 5808 0 0 0 139 3 0 0 20 0 15 0 94409247 10916995072 66466 33554432000 4194304 4196468 140729238958624 140244809383024 140244442050815 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23786] ppid=23780 vsize=10661128 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/23783/task/23786/stat : 23786 (java) S 23780 23783 20160 0 -1 1077944384 170 0 0 0 2 2 0 0 20 0 15 0 94409248 10916995072 66466 33554432000 4194304 4196468 140729238958624 140244776986896 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23787] ppid=23780 vsize=10661128 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23783/task/23787/stat : 23787 (java) S 23780 23783 20160 0 -1 1077944384 110 0 0 0 2 2 0 0 20 0 15 0 94409248 10916995072 66466 33554432000 4194304 4196468 140729238958624 140244410534288 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23788] ppid=23780 vsize=10661128 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23783/task/23788/stat : 23788 (java) S 23780 23783 20160 0 -1 1077944384 146 0 0 0 2 2 0 0 20 0 15 0 94409248 10916995072 66466 33554432000 4194304 4196468 140729238958624 140244409481744 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23789] ppid=23780 vsize=10661128 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23783/task/23789/stat : 23789 (java) S 23780 23783 20160 0 -1 1077944384 123 0 0 0 2 2 0 0 20 0 15 0 94409248 10916995072 66466 33554432000 4194304 4196468 140729238958624 140244408429200 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23790] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23790/stat : 23790 (java) S 23780 23783 20160 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 94409249 10916995072 66466 33554432000 4194304 4196468 140729238958624 140244296886768 140244805155458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
################
# More data... #
################
/proc/23783/task/23785/stat : 23785 (java) R 23780 23783 20160 0 -1 4202560 64958 0 0 0 244042 38 0 0 20 0 15 0 94409247 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244809383584 140244447293563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23786] ppid=23780 vsize=10661128 memory=1546392 CPUtime=0.98 cores=0,2,4,6
/proc/23783/task/23786/stat : 23786 (java) S 23780 23783 20160 0 -1 1077944384 5583 0 0 0 89 9 0 0 20 0 15 0 94409248 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244776986896 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23787] ppid=23780 vsize=10661128 memory=1545364 CPUtime=0.98 cores=0,2,4,6
/proc/23783/task/23787/stat : 23787 (java) S 23780 23783 20160 0 -1 1077944384 9602 0 0 0 89 9 0 0 20 0 15 0 94409248 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244410534288 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23788] ppid=23780 vsize=10661128 memory=1546392 CPUtime=0.98 cores=0,2,4,6
/proc/23783/task/23788/stat : 23788 (java) S 23780 23783 20160 0 -1 1077944384 7214 0 0 0 89 9 0 0 20 0 15 0 94409248 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244409481744 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23789] ppid=23780 vsize=10661128 memory=1546392 CPUtime=0.98 cores=0,2,4,6
/proc/23783/task/23789/stat : 23789 (java) S 23780 23783 20160 0 -1 1077944384 7473 0 0 0 89 9 0 0 20 0 15 0 94409248 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244408429200 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23790] ppid=23780 vsize=10661128 memory=1546392 CPUtime=0.1 cores=0,2,4,6
/proc/23783/task/23790/stat : 23790 (java) S 23780 23783 20160 0 -1 1077944384 11288 0 0 0 6 4 0 0 20 0 15 0 94409249 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244296886768 140244805155458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23791] ppid=23780 vsize=10661128 memory=1546392 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23791/stat : 23791 (java) S 23780 23783 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244295832992 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23792] ppid=23780 vsize=10661128 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23792/stat : 23792 (java) S 23780 23783 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244294780400 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23793] ppid=23780 vsize=10661128 memory=1546392 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23793/stat : 23793 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244293728976 140244805162907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23794] ppid=23780 vsize=10661128 memory=1952 CPUtime=2.24 cores=0,2,4,6
/proc/23783/task/23794/stat : 23794 (java) S 23780 23783 20160 0 -1 1077944384 9387 0 0 0 223 1 0 0 20 0 15 0 94409252 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244292675568 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23795] ppid=23780 vsize=10661128 memory=1548444 CPUtime=2.03 cores=0,2,4,6
/proc/23783/task/23795/stat : 23795 (java) S 23780 23783 20160 0 -1 1077944384 7136 0 0 0 202 1 0 0 20 0 15 0 94409252 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244291623024 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23796] ppid=23780 vsize=10661128 memory=1548444 CPUtime=0.48 cores=0,2,4,6
/proc/23783/task/23796/stat : 23796 (java) S 23780 23783 20160 0 -1 1077944384 3336 0 0 0 47 1 0 0 20 0 15 0 94409252 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244290570480 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23797] ppid=23780 vsize=10661128 memory=1551520 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23797/stat : 23797 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244289518176 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23798] ppid=23780 vsize=10661128 memory=1553576 CPUtime=0.65 cores=0,2,4,6
/proc/23783/task/23798/stat : 23798 (java) S 23780 23783 20160 0 -1 1077944384 2267 0 0 0 29 36 0 0 20 0 15 0 94409253 10916995072 386341 33554432000 4194304 4196468 140729238958624 140244288465712 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
Current children cumulated CPU time: 2450.32 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1545364 KiB
[startup+2502.3 s]
/proc/loadavg: 1.54 1.62 1.65 5/215 23949
/proc/meminfo: memFree=21796024/32770624 swapFree=67108688/67108860
[pid=23783] ppid=23780 vsize=10661128 memory=1529968 CPUtime=2510.65 cores=0,2,4,6
/proc/23783/stat : 23783 (java) S 23780 23783 20160 0 -1 1077944320 131460 0 0 0 250950 115 0 0 20 0 15 0 94409247 10916995072 382492 33554432000 4194304 4196468 140729238958624 140729238941168 140244805144311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
/proc/23783/statm: 2665282 382492 3163 1 0 2627263 0
[pid=23783/tid=23785] ppid=23780 vsize=10661128 memory=1534076 CPUtime=2500.67 cores=0,2,4,6
/proc/23783/task/23785/stat : 23785 (java) R 23780 23783 20160 0 -1 4202560 65514 0 0 0 250029 38 0 0 20 0 15 0 94409247 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244809383584 140244447062182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23786] ppid=23780 vsize=10661128 memory=1533044 CPUtime=1.08 cores=0,2,4,6
/proc/23783/task/23786/stat : 23786 (java) S 23780 23783 20160 0 -1 1077944384 5900 0 0 0 99 9 0 0 20 0 15 0 94409248 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244776986896 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23787] ppid=23780 vsize=10661128 memory=4140 CPUtime=1.09 cores=0,2,4,6
/proc/23783/task/23787/stat : 23787 (java) S 23780 23783 20160 0 -1 1077944384 9950 0 0 0 100 9 0 0 20 0 15 0 94409248 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244410534288 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23788] ppid=23780 vsize=10661128 memory=1529968 CPUtime=1.08 cores=0,2,4,6
/proc/23783/task/23788/stat : 23788 (java) S 23780 23783 20160 0 -1 1077944384 7288 0 0 0 99 9 0 0 20 0 15 0 94409248 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244409481744 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23789] ppid=23780 vsize=10661128 memory=0 CPUtime=1.09 cores=0,2,4,6
/proc/23783/task/23789/stat : 23789 (java) S 23780 23783 20160 0 -1 1077944384 7619 0 0 0 100 9 0 0 20 0 15 0 94409248 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244408429200 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23790] ppid=23780 vsize=10661128 memory=1952 CPUtime=0.12 cores=0,2,4,6
/proc/23783/task/23790/stat : 23790 (java) S 23780 23783 20160 0 -1 1077944384 11643 0 0 0 7 5 0 0 20 0 15 0 94409249 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244296886768 140244805155458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23791] ppid=23780 vsize=10661128 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23791/stat : 23791 (java) S 23780 23783 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244295832992 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23792] ppid=23780 vsize=10661128 memory=1536124 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23792/stat : 23792 (java) S 23780 23783 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244294780400 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23793] ppid=23780 vsize=10661128 memory=1534076 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23793/stat : 23793 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244293728976 140244805162907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23794] ppid=23780 vsize=10661128 memory=1533044 CPUtime=2.24 cores=0,2,4,6
/proc/23783/task/23794/stat : 23794 (java) S 23780 23783 20160 0 -1 1077944384 9391 0 0 0 223 1 0 0 20 0 15 0 94409252 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244292675568 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23795] ppid=23780 vsize=10661128 memory=4140 CPUtime=2.03 cores=0,2,4,6
/proc/23783/task/23795/stat : 23795 (java) S 23780 23783 20160 0 -1 1077944384 7140 0 0 0 202 1 0 0 20 0 15 0 94409252 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244291623024 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23796] ppid=23780 vsize=10661128 memory=1531508 CPUtime=0.48 cores=0,2,4,6
/proc/23783/task/23796/stat : 23796 (java) S 23780 23783 20160 0 -1 1077944384 3341 0 0 0 47 1 0 0 20 0 15 0 94409252 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244290570480 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23797] ppid=23780 vsize=10661128 memory=1533044 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23797/stat : 23797 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244289518176 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23798] ppid=23780 vsize=10661128 memory=1576 CPUtime=0.67 cores=0,2,4,6
/proc/23783/task/23798/stat : 23798 (java) S 23780 23783 20160 0 -1 1077944384 2314 0 0 0 30 37 0 0 20 0 15 0 94409253 10916995072 382492 33554432000 4194304 4196468 140729238958624 140244288465712 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
Current children cumulated CPU time: 2510.65 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1529968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.7 s]
/proc/loadavg: 1.57 1.62 1.65 3/215 23949
/proc/meminfo: memFree=21768640/32770624 swapFree=67108688/67108860
[pid=23783] ppid=23780 vsize=10661128 memory=1527404 CPUtime=2520.09 cores=0,2,4,6
/proc/23783/stat : 23783 (java) S 23780 23783 20160 0 -1 1077944320 131873 0 0 0 251894 115 0 0 20 0 15 0 94409247 10916995072 381851 33554432000 4194304 4196468 140729238958624 140729238941168 140244805144311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
/proc/23783/statm: 2665282 381851 3163 1 0 2627263 0
[pid=23783/tid=23785] ppid=23780 vsize=10661128 memory=1527404 CPUtime=2510.05 cores=0,2,4,6
/proc/23783/task/23785/stat : 23785 (java) R 23780 23783 20160 0 -1 4202560 65624 0 0 0 250967 38 0 0 20 0 15 0 94409247 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244809383824 140244446624210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23786] ppid=23780 vsize=10661128 memory=1528428 CPUtime=1.1 cores=0,2,4,6
/proc/23783/task/23786/stat : 23786 (java) S 23780 23783 20160 0 -1 1077944384 5940 0 0 0 101 9 0 0 20 0 15 0 94409248 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244776986896 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23787] ppid=23780 vsize=10661128 memory=1527916 CPUtime=1.1 cores=0,2,4,6
/proc/23783/task/23787/stat : 23787 (java) S 23780 23783 20160 0 -1 1077944384 9968 0 0 0 101 9 0 0 20 0 15 0 94409248 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244410534288 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23788] ppid=23780 vsize=10661128 memory=1528428 CPUtime=1.1 cores=0,2,4,6
/proc/23783/task/23788/stat : 23788 (java) S 23780 23783 20160 0 -1 1077944384 7288 0 0 0 101 9 0 0 20 0 15 0 94409248 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244409481744 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23789] ppid=23780 vsize=10661128 memory=1533044 CPUtime=1.1 cores=0,2,4,6
/proc/23783/task/23789/stat : 23789 (java) S 23780 23783 20160 0 -1 1077944384 7862 0 0 0 101 9 0 0 20 0 15 0 94409248 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244408429200 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23790] ppid=23780 vsize=10661128 memory=1576 CPUtime=0.12 cores=0,2,4,6
/proc/23783/task/23790/stat : 23790 (java) S 23780 23783 20160 0 -1 1077944384 11645 0 0 0 7 5 0 0 20 0 15 0 94409249 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244296886768 140244805155458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23791] ppid=23780 vsize=10661128 memory=1527404 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23791/stat : 23791 (java) S 23780 23783 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244295832992 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23792] ppid=23780 vsize=10661128 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23792/stat : 23792 (java) S 23780 23783 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244294780400 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23793] ppid=23780 vsize=10661128 memory=1527404 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23793/stat : 23793 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244293728976 140244805162907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23794] ppid=23780 vsize=10661128 memory=928 CPUtime=2.24 cores=0,2,4,6
/proc/23783/task/23794/stat : 23794 (java) S 23780 23783 20160 0 -1 1077944384 9391 0 0 0 223 1 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244292675568 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23795] ppid=23780 vsize=10661128 memory=4140 CPUtime=2.03 cores=0,2,4,6
/proc/23783/task/23795/stat : 23795 (java) S 23780 23783 20160 0 -1 1077944384 7140 0 0 0 202 1 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244291623024 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23796] ppid=23780 vsize=10661128 memory=1531508 CPUtime=0.48 cores=0,2,4,6
/proc/23783/task/23796/stat : 23796 (java) S 23780 23783 20160 0 -1 1077944384 3341 0 0 0 47 1 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244290570480 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23797] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23797/stat : 23797 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244289518176 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23798] ppid=23780 vsize=10661128 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/23783/task/23798/stat : 23798 (java) S 23780 23783 20160 0 -1 1077944384 2314 0 0 0 30 37 0 0 20 0 15 0 94409253 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244288465712 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1527404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.72 s]
# the end of solver process 23783 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.96 s, system=1.16395 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2511.7 s]
/proc/loadavg: 1.57 1.62 1.65 3/215 23949
/proc/meminfo: memFree=21768640/32770624 swapFree=67108688/67108860
[pid=23783] ppid=23780 vsize=10661128 memory=1527404 CPUtime=2520.09 cores=0,2,4,6
/proc/23783/stat : 23783 (java) S 23780 23783 20160 0 -1 1077944320 131873 0 0 0 251894 115 0 0 20 0 15 0 94409247 10916995072 381851 33554432000 4194304 4196468 140729238958624 140729238941168 140244805144311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
/proc/23783/statm: 2665282 381851 3163 1 0 2627263 0
[pid=23783/tid=23785] ppid=23780 vsize=10661128 memory=1527404 CPUtime=2510.05 cores=0,2,4,6
/proc/23783/task/23785/stat : 23785 (java) R 23780 23783 20160 0 -1 4202560 65624 0 0 0 250967 38 0 0 20 0 15 0 94409247 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244809383824 140244446624210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23786] ppid=23780 vsize=10661128 memory=1528428 CPUtime=1.1 cores=0,2,4,6
/proc/23783/task/23786/stat : 23786 (java) S 23780 23783 20160 0 -1 1077944384 5940 0 0 0 101 9 0 0 20 0 15 0 94409248 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244776986896 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23787] ppid=23780 vsize=10661128 memory=1527916 CPUtime=1.1 cores=0,2,4,6
/proc/23783/task/23787/stat : 23787 (java) S 23780 23783 20160 0 -1 1077944384 9968 0 0 0 101 9 0 0 20 0 15 0 94409248 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244410534288 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23788] ppid=23780 vsize=10661128 memory=1528428 CPUtime=1.1 cores=0,2,4,6
/proc/23783/task/23788/stat : 23788 (java) S 23780 23783 20160 0 -1 1077944384 7288 0 0 0 101 9 0 0 20 0 15 0 94409248 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244409481744 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23789] ppid=23780 vsize=10661128 memory=1533044 CPUtime=1.1 cores=0,2,4,6
/proc/23783/task/23789/stat : 23789 (java) S 23780 23783 20160 0 -1 1077944384 7862 0 0 0 101 9 0 0 20 0 15 0 94409248 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244408429200 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23790] ppid=23780 vsize=10661128 memory=1576 CPUtime=0.12 cores=0,2,4,6
/proc/23783/task/23790/stat : 23790 (java) S 23780 23783 20160 0 -1 1077944384 11645 0 0 0 7 5 0 0 20 0 15 0 94409249 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244296886768 140244805155458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23791] ppid=23780 vsize=10661128 memory=1527404 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23791/stat : 23791 (java) S 23780 23783 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244295832992 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23792] ppid=23780 vsize=10661128 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23792/stat : 23792 (java) S 23780 23783 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94409250 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244294780400 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23793] ppid=23780 vsize=10661128 memory=1527404 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23793/stat : 23793 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244293728976 140244805162907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23794] ppid=23780 vsize=10661128 memory=928 CPUtime=2.24 cores=0,2,4,6
/proc/23783/task/23794/stat : 23794 (java) S 23780 23783 20160 0 -1 1077944384 9391 0 0 0 223 1 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244292675568 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23795] ppid=23780 vsize=10661128 memory=4140 CPUtime=2.03 cores=0,2,4,6
/proc/23783/task/23795/stat : 23795 (java) S 23780 23783 20160 0 -1 1077944384 7140 0 0 0 202 1 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244291623024 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23796] ppid=23780 vsize=10661128 memory=1531508 CPUtime=0.48 cores=0,2,4,6
/proc/23783/task/23796/stat : 23796 (java) S 23780 23783 20160 0 -1 1077944384 3341 0 0 0 47 1 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244290570480 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23797] ppid=23780 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23783/task/23797/stat : 23797 (java) S 23780 23783 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94409252 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244289518176 140244805154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
[pid=23783/tid=23798] ppid=23780 vsize=10661128 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/23783/task/23798/stat : 23798 (java) S 23780 23783 20160 0 -1 1077944384 2314 0 0 0 30 37 0 0 20 0 15 0 94409253 10916995072 381851 33554432000 4194304 4196468 140729238958624 140244288465712 140244805155458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13983744 140729238963373 140729238963465 140729238963465 140729238966223 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1527404 KiB
Child status: 143
Real time (s): 2511.72
CPU time (s): 2520.12
CPU user time (s): 2518.96
CPU system time (s): 1.16395
CPU usage (%): 100.335
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 2272012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.96
system time used= 1.16396
maximum resident set size= 2274060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58204
involuntary context switches= 2494
# summary of solver processes directly reported to runsolver:
# pid: 23783
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.96
# total CPU system time (s): 1.16395
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1419 second user time and 21.2652 second system time
The end