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 (10827 MiB free)
memory of node 1: 16384 MiB (6238 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305080-1534110673/watcher-4305080-1534110673 -o /tmp/evaluation-result-4305080-1534110673/solver-4305080-1534110673 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534096675-9345 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=182984141 -superng HOME/instance-4305080-1534110673.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12062, runsolver pid=12059
[startup+0.100143 s]*
/proc/loadavg: 1.33 1.45 1.44 4/209 12118
/proc/meminfo: memFree=17470760/32770624 swapFree=67108688/67108860
[pid=12062] ppid=12059 vsize=10005480 memory=16544 CPUtime=0.1 cores=0,2,4,6
/proc/12062/stat : 12062 (java) S 12059 12062 9314 0 -1 1077944320 4299 13114 0 0 1 1 5 3 20 0 6 0 228630541 10245611520 4136 33554432000 4194304 4196468 140723220791872 140723220774416 140144322436855 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
/proc/12062/statm: 2501370 4136 1932 1 0 2489808 0
[pid=12062/tid=12115] ppid=12059 vsize=10005480 memory=4279135703980212877 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12115/stat : 12115 (java) R 12059 12062 9314 0 -1 4202560 2153 13114 0 0 0 0 5 3 20 0 6 0 228630550 10245611520 4202 33554432000 4194304 4196468 140723220791872 140144294273616 140144306517342 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12116] ppid=12059 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12116/stat : 12116 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 6 0 228630551 10245611520 4202 33554432000 4194304 4196468 140723220791872 140144326678928 140144322447061 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12117] ppid=12059 vsize=10005480 memory=139732219520640 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12117/stat : 12117 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 6 0 228630551 10245611520 4202 33554432000 4194304 4196468 140723220791872 140144181397776 140144322447061 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12118] ppid=12059 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12118/stat : 12118 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 6 0 228630551 10245611520 4202 33554432000 4194304 4196468 140723220791872 140144180345488 140144322447061 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12119] ppid=12059 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12119/stat : 12119 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 6 0 228630551 10245611520 4202 33554432000 4194304 4196468 140723220791872 140143860115984 140144322447061 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16544 KiB
[startup+0.210273 s]*
/proc/loadavg: 1.33 1.45 1.44 3/219 12128
/proc/meminfo: memFree=17445016/32770624 swapFree=67108688/67108860
[pid=12062] ppid=12059 vsize=10982744 memory=45896 CPUtime=0.26 cores=0,2,4,6
/proc/12062/stat : 12062 (java) S 12059 12062 9314 0 -1 1077944320 7641 13114 0 0 16 2 5 3 20 0 15 0 228630541 11246329856 11474 33554432000 4194304 4196468 140723220791872 140723220774416 140144322436855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
/proc/12062/statm: 2745686 11474 2984 1 0 2708109 0
[pid=12062/tid=12115] ppid=12059 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/12062/task/12115/stat : 12115 (java) R 12059 12062 9314 0 -1 4202560 4451 13114 0 0 11 1 5 3 20 0 15 0 228630550 11246329856 11738 33554432000 4194304 4196468 140723220791872 140144294235408 140144302712683 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12116] ppid=12059 vsize=10982744 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12116/stat : 12116 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246329856 11738 33554432000 4194304 4196468 140723220791872 140144326678928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12117] ppid=12059 vsize=10982744 memory=139732219532956 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12117/stat : 12117 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246329856 11738 33554432000 4194304 4196468 140723220791872 140144181397776 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12118] ppid=12059 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12118/stat : 12118 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246329856 11804 33554432000 4194304 4196468 140723220791872 140144180345488 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12119] ppid=12059 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12119/stat : 12119 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246329856 11804 33554432000 4194304 4196468 140723220791872 140143860115984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12120] ppid=12059 vsize=10982744 memory=139732219520640 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12120/stat : 12120 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 15 0 228630552 11246329856 11804 33554432000 4194304 4196468 140723220791872 140143748319856 140144322448002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12121] ppid=12059 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12121/stat : 12121 (java) S 12059 12062 9314 0 -1 1077944384 13 13114 0 0 0 0 5 3 20 0 15 0 228630553 11246329856 11804 33554432000 4194304 4196468 140723220791872 140143172248864 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12122] ppid=12059 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12122/stat : 12122 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630553 11246329856 11804 33554432000 4194304 4196468 140723220791872 140142970922608 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12123] ppid=12059 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12123/stat : 12123 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11246329856 11804 33554432000 4194304 4196468 140723220791872 140142663522896 140144322455451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12124] ppid=12059 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12062/task/12124/stat : 12124 (java) S 12059 12062 9314 0 -1 1077944384 534 13114 0 0 1 0 5 3 20 0 15 0 228630556 11246329856 11804 33554432000 4194304 4196468 140723220791872 140143747266672 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12125] ppid=12059 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12062/task/12125/stat : 12125 (java) S 12059 12062 9314 0 -1 1077944384 67 13114 0 0 1 0 5 3 20 0 15 0 228630556 11246329856 11804 33554432000 4194304 4196468 140723220791872 140143746213872 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12126] ppid=12059 vsize=10982744 memory=139732219520640 CPUtime=0.11 cores=0,2,4,6
/proc/12062/task/12126/stat : 12126 (java) S 12059 12062 9314 0 -1 1077944384 619 13114 0 0 3 0 5 3 20 0 15 0 228630556 11246329856 11804 33554432000 4194304 4196468 140723220791872 140143745161584 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12127] ppid=12059 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12127/stat : 12127 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11246329856 11804 33554432000 4194304 4196468 140723220791872 140142232725984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12128] ppid=12059 vsize=10982744 memory=139732219520640 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12128/stat : 12128 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630556 11246329856 11804 33554432000 4194304 4196468 140723220791872 140143744109488 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45896 KiB
[startup+0.310509 s]*
/proc/loadavg: 1.33 1.45 1.44 3/219 12128
/proc/meminfo: memFree=17432552/32770624 swapFree=67108688/67108860
[pid=12062] ppid=12059 vsize=10983192 memory=58164 CPUtime=0.39 cores=0,2,4,6
/proc/12062/stat : 12062 (java) S 12059 12062 9314 0 -1 1077944320 10526 13114 0 0 28 3 5 3 20 0 15 0 228630541 11246788608 14541 33554432000 4194304 4196468 140723220791872 140723220774416 140144322436855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
/proc/12062/statm: 2745798 14541 3103 1 0 2708109 0
[pid=12062/tid=12115] ppid=12059 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/12062/task/12115/stat : 12115 (java) R 12059 12062 9314 0 -1 4202560 7068 13114 0 0 19 1 5 3 20 0 15 0 228630550 11246788608 14541 33554432000 4194304 4196468 140723220791872 140144294244400 140144322458781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12116] ppid=12059 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12116/stat : 12116 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246788608 14541 33554432000 4194304 4196468 140723220791872 140144326678928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12117] ppid=12059 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12117/stat : 12117 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246788608 14541 33554432000 4194304 4196468 140723220791872 140144181397776 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12118] ppid=12059 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12118/stat : 12118 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246788608 14541 33554432000 4194304 4196468 140723220791872 140144180345488 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12119] ppid=12059 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12119/stat : 12119 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246788608 14541 33554432000 4194304 4196468 140723220791872 140143860115984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12120] ppid=12059 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12120/stat : 12120 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 15 0 228630552 11246788608 14541 33554432000 4194304 4196468 140723220791872 140143748319856 140144322448002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12121] ppid=12059 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12121/stat : 12121 (java) S 12059 12062 9314 0 -1 1077944384 13 13114 0 0 0 0 5 3 20 0 15 0 228630553 11246788608 14541 33554432000 4194304 4196468 140723220791872 140143172248864 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12122] ppid=12059 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12122/stat : 12122 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630553 11246788608 14541 33554432000 4194304 4196468 140723220791872 140142970922608 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12123] ppid=12059 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12123/stat : 12123 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11246788608 14541 33554432000 4194304 4196468 140723220791872 140142663522896 140144322455451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12124] ppid=12059 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12062/task/12124/stat : 12124 (java) S 12059 12062 9314 0 -1 1077944384 538 13114 0 0 1 0 5 3 20 0 15 0 228630556 11246788608 14541 33554432000 4194304 4196468 140723220791872 140143747266672 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12125] ppid=12059 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12062/task/12125/stat : 12125 (java) S 12059 12062 9314 0 -1 1077944384 70 13114 0 0 1 0 5 3 20 0 15 0 228630556 11246788608 14541 33554432000 4194304 4196468 140723220791872 140143746213872 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12126] ppid=12059 vsize=10983192 memory=139732219520640 CPUtime=0.13 cores=0,2,4,6
/proc/12062/task/12126/stat : 12126 (java) S 12059 12062 9314 0 -1 1077944384 625 13114 0 0 5 0 5 3 20 0 15 0 228630556 11246788608 14541 33554432000 4194304 4196468 140723220791872 140143745161584 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12127] ppid=12059 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12127/stat : 12127 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11246788608 14541 33554432000 4194304 4196468 140723220791872 140142232725984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12128] ppid=12059 vsize=10983192 memory=139732219520640 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12128/stat : 12128 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630556 11246788608 14541 33554432000 4194304 4196468 140723220791872 140143744109488 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58164 KiB
[startup+0.700765 s]
/proc/loadavg: 1.33 1.45 1.44 3/219 12128
/proc/meminfo: memFree=17421512/32770624 swapFree=67108688/67108860
[pid=12062] ppid=12059 vsize=10983192 memory=90516 CPUtime=1 cores=0,2,4,6
/proc/12062/stat : 12062 (java) S 12059 12062 9314 0 -1 1077944320 16743 13114 0 0 87 5 5 3 20 0 15 0 228630541 11246788608 22629 33554432000 4194304 4196468 140723220791872 140723220774416 140144322436855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
/proc/12062/statm: 2745798 22629 3238 1 0 2708109 0
[pid=12062/tid=12115] ppid=12059 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/12062/task/12115/stat : 12115 (java) R 12059 12062 9314 0 -1 4202560 12150 13114 0 0 55 3 5 3 20 0 15 0 228630550 11246788608 22629 33554432000 4194304 4196468 140723220791872 140144294257680 140144305623664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12116] ppid=12059 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12116/stat : 12116 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246788608 22629 33554432000 4194304 4196468 140723220791872 140144326678928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12117] ppid=12059 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12117/stat : 12117 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246788608 22629 33554432000 4194304 4196468 140723220791872 140144181397776 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12118] ppid=12059 vsize=10983192 memory=139732063499024 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12118/stat : 12118 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246788608 22629 33554432000 4194304 4196468 140723220791872 140144180345488 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12119] ppid=12059 vsize=10983192 memory=139732466008687 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12119/stat : 12119 (java) S 12059 12062 9314 0 -1 1077944384 2 13114 0 0 0 0 5 3 20 0 15 0 228630551 11246788608 22629 33554432000 4194304 4196468 140723220791872 140143860115984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12120] ppid=12059 vsize=10983192 memory=1832 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12120/stat : 12120 (java) S 12059 12062 9314 0 -1 1077944384 5 13114 0 0 0 0 5 3 20 0 15 0 228630552 11246788608 22629 33554432000 4194304 4196468 140723220791872 140143748319856 140144322448002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12121] ppid=12059 vsize=10983192 memory=7161944214934349376 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12121/stat : 12121 (java) S 12059 12062 9314 0 -1 1077944384 13 13114 0 0 0 0 5 3 20 0 15 0 228630553 11246788608 22629 33554432000 4194304 4196468 140723220791872 140143172248864 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12122] ppid=12059 vsize=10983192 memory=6082220498227391592 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12122/stat : 12122 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630553 11246788608 22629 33554432000 4194304 4196468 140723220791872 140142970922608 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12123] ppid=12059 vsize=10983192 memory=16348 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12123/stat : 12123 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11246788608 22629 33554432000 4194304 4196468 140723220791872 140142663522896 140144322455451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12124] ppid=12059 vsize=10983192 memory=1176 CPUtime=0.18 cores=0,2,4,6
/proc/12062/task/12124/stat : 12124 (java) S 12059 12062 9314 0 -1 1077944384 1208 13114 0 0 10 0 5 3 20 0 15 0 228630556 11246788608 22629 33554432000 4194304 4196468 140723220791872 140143747266672 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12125] ppid=12059 vsize=10983192 memory=34328 CPUtime=0.15 cores=0,2,4,6
/proc/12062/task/12125/stat : 12125 (java) S 12059 12062 9314 0 -1 1077944384 456 13114 0 0 7 0 5 3 20 0 15 0 228630556 11246788608 22629 33554432000 4194304 4196468 140723220791872 140143746213872 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12126] ppid=12059 vsize=10983192 memory=4048 CPUtime=0.21 cores=0,2,4,6
/proc/12062/task/12126/stat : 12126 (java) S 12059 12062 9314 0 -1 1077944384 701 13114 0 0 13 0 5 3 20 0 15 0 228630556 11246788608 22629 33554432000 4194304 4196468 140723220791872 140143745161584 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12127] ppid=12059 vsize=10983192 memory=508 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12127/stat : 12127 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11246788608 22629 33554432000 4194304 4196468 140723220791872 140142232725984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12128] ppid=12059 vsize=10983192 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12128/stat : 12128 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630556 11246788608 22629 33554432000 4194304 4196468 140723220791872 140143744109488 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90516 KiB
[startup+1.50084 s]
/proc/loadavg: 1.33 1.45 1.44 4/219 12128
/proc/meminfo: memFree=17375924/32770624 swapFree=67108688/67108860
[pid=12062] ppid=12059 vsize=10998092 memory=184956 CPUtime=2.42 cores=0,2,4,6
/proc/12062/stat : 12062 (java) S 12059 12062 9314 0 -1 1077944320 23951 13114 0 0 224 10 5 3 20 0 15 0 228630541 11262046208 46239 33554432000 4194304 4196468 140723220791872 140723220774416 140144322436855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
/proc/12062/statm: 2749523 46239 3471 1 0 2711181 0
[pid=12062/tid=12115] ppid=12059 vsize=10998092 memory=67244 CPUtime=1.42 cores=0,2,4,6
/proc/12062/task/12115/stat : 12115 (java) R 12059 12062 9314 0 -1 4202560 17429 13114 0 0 129 5 5 3 20 0 15 0 228630550 11262046208 46239 33554432000 4194304 4196468 140723220791872 140144294244608 140144306517342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12116] ppid=12059 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/12062/task/12116/stat : 12116 (java) S 12059 12062 9314 0 -1 1077944384 17 13114 0 0 1 0 5 3 20 0 15 0 228630551 11262046208 46239 33554432000 4194304 4196468 140723220791872 140144326678928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12117] ppid=12059 vsize=10998092 memory=279464127029408 CPUtime=0.09 cores=0,2,4,6
/proc/12062/task/12117/stat : 12117 (java) S 12059 12062 9314 0 -1 1077944384 168 13114 0 0 1 0 5 3 20 0 15 0 228630551 11262046208 46239 33554432000 4194304 4196468 140723220791872 140144181397776 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12118] ppid=12059 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12062/task/12118/stat : 12118 (java) S 12059 12062 9314 0 -1 1077944384 39 13114 0 0 1 0 5 3 20 0 15 0 228630551 11262046208 46239 33554432000 4194304 4196468 140723220791872 140144180345488 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12119] ppid=12059 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12062/task/12119/stat : 12119 (java) S 12059 12062 9314 0 -1 1077944384 47 13114 0 0 1 0 5 3 20 0 15 0 228630551 11262046208 46239 33554432000 4194304 4196468 140723220791872 140143860115984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12120] ppid=12059 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12062/task/12120/stat : 12120 (java) S 12059 12062 9314 0 -1 1077944384 41 13114 0 0 1 0 5 3 20 0 15 0 228630552 11262046208 46239 33554432000 4194304 4196468 140723220791872 140143748319856 140144322448002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12121] ppid=12059 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12121/stat : 12121 (java) S 12059 12062 9314 0 -1 1077944384 14 13114 0 0 0 0 5 3 20 0 15 0 228630553 11262046208 46239 33554432000 4194304 4196468 140723220791872 140143172248928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12122] ppid=12059 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12122/stat : 12122 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630553 11262046208 46239 33554432000 4194304 4196468 140723220791872 140142970922624 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12123] ppid=12059 vsize=10998092 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12123/stat : 12123 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11262046208 46239 33554432000 4194304 4196468 140723220791872 140142663522896 140144322455451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12124] ppid=12059 vsize=10998092 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/12062/task/12124/stat : 12124 (java) S 12059 12062 9314 0 -1 1077944384 1727 13114 0 0 27 0 5 3 20 0 15 0 228630556 11262046208 46239 33554432000 4194304 4196468 140723220791872 140143747266672 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12125] ppid=12059 vsize=10998092 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/12062/task/12125/stat : 12125 (java) S 12059 12062 9314 0 -1 1077944384 763 13114 0 0 21 0 5 3 20 0 15 0 228630556 11262046208 46239 33554432000 4194304 4196468 140723220791872 140143746213872 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12126] ppid=12059 vsize=10998092 memory=6791534058613427641 CPUtime=0.49 cores=0,2,4,6
/proc/12062/task/12126/stat : 12126 (java) S 12059 12062 9314 0 -1 1077944384 1504 13114 0 0 40 1 5 3 20 0 15 0 228630556 11262046208 46239 33554432000 4194304 4196468 140723220791872 140143745161584 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12127] ppid=12059 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12127/stat : 12127 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11262046208 46239 33554432000 4194304 4196468 140723220791872 140142232725984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12128] ppid=12059 vsize=10998092 memory=279464127273856 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12128/stat : 12128 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630556 11262046208 46239 33554432000 4194304 4196468 140723220791872 140143744109488 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/12062/task/12115/stat : 12115 (java) R 12059 12062 9314 0 -1 4202560 91499 13114 0 0 237023 31 5 3 20 0 15 0 228630550 11343855616 213314 33554432000 4194304 4196468 140723220791872 140144294270960 140143878061004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12116] ppid=12059 vsize=11077984 memory=853252 CPUtime=5.71 cores=0,2,4,6
/proc/12062/task/12116/stat : 12116 (java) S 12059 12062 9314 0 -1 1077944384 15437 13114 0 0 527 36 5 3 20 0 15 0 228630551 11343855616 213314 33554432000 4194304 4196468 140723220791872 140144326678928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12117] ppid=12059 vsize=11077984 memory=0 CPUtime=5.68 cores=0,2,4,6
/proc/12062/task/12117/stat : 12117 (java) S 12059 12062 9314 0 -1 1077944384 12707 13114 0 0 521 39 5 3 20 0 15 0 228630551 11343855616 213314 33554432000 4194304 4196468 140723220791872 140144181397776 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12118] ppid=12059 vsize=11077984 memory=853256 CPUtime=5.71 cores=0,2,4,6
/proc/12062/task/12118/stat : 12118 (java) S 12059 12062 9314 0 -1 1077944384 19652 13114 0 0 523 40 5 3 20 0 15 0 228630551 11343855616 213314 33554432000 4194304 4196468 140723220791872 140144180345488 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12119] ppid=12059 vsize=11077984 memory=853256 CPUtime=5.7 cores=0,2,4,6
/proc/12062/task/12119/stat : 12119 (java) S 12059 12062 9314 0 -1 1077944384 15714 13114 0 0 523 39 5 3 20 0 15 0 228630551 11343855616 213314 33554432000 4194304 4196468 140723220791872 140143860115984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12120] ppid=12059 vsize=11077984 memory=853256 CPUtime=4.88 cores=0,2,4,6
/proc/12062/task/12120/stat : 12120 (java) S 12059 12062 9314 0 -1 1077944384 19064 13114 0 0 456 24 5 3 20 0 15 0 228630552 11343855616 213314 33554432000 4194304 4196468 140723220791872 140143748319856 140144322448002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12121] ppid=12059 vsize=11077984 memory=853256 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12121/stat : 12121 (java) S 12059 12062 9314 0 -1 1077944384 14 13114 0 0 0 0 5 3 20 0 15 0 228630553 11343855616 213314 33554432000 4194304 4196468 140723220791872 140143172248928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12122] ppid=12059 vsize=11077984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12122/stat : 12122 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630553 11343855616 213314 33554432000 4194304 4196468 140723220791872 140142970922624 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12123] ppid=12059 vsize=11077984 memory=853256 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12123/stat : 12123 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11343855616 213314 33554432000 4194304 4196468 140723220791872 140142663522896 140144322455451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12124] ppid=12059 vsize=11077984 memory=853256 CPUtime=3.78 cores=0,2,4,6
/proc/12062/task/12124/stat : 12124 (java) S 12059 12062 9314 0 -1 1077944384 29138 13114 0 0 366 4 5 3 20 0 15 0 228630556 11343855616 213314 33554432000 4194304 4196468 140723220791872 140143747266672 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12125] ppid=12059 vsize=11077984 memory=1728 CPUtime=4.12 cores=0,2,4,6
/proc/12062/task/12125/stat : 12125 (java) S 12059 12062 9314 0 -1 1077944384 19037 13114 0 0 402 2 5 3 20 0 15 0 228630556 11343855616 213314 33554432000 4194304 4196468 140723220791872 140143746213872 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12126] ppid=12059 vsize=11077984 memory=928 CPUtime=2.06 cores=0,2,4,6
/proc/12062/task/12126/stat : 12126 (java) S 12059 12062 9314 0 -1 1077944384 22071 13114 0 0 193 5 5 3 20 0 15 0 228630556 11343855616 213314 33554432000 4194304 4196468 140723220791872 140143745161584 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12127] ppid=12059 vsize=11077984 memory=3824 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12127/stat : 12127 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11343855616 213314 33554432000 4194304 4196468 140723220791872 140142232725984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12128] ppid=12059 vsize=11077984 memory=62372 CPUtime=1.3 cores=0,2,4,6
/proc/12062/task/12128/stat : 12128 (java) S 12059 12062 9314 0 -1 1077944384 1134 13114 0 0 63 59 5 3 20 0 15 0 228630556 11343855616 213314 33554432000 4194304 4196468 140723220791872 140143744109488 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
Current children cumulated CPU time: 2408.97 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 853256 KiB
[startup+2442.3 s]
/proc/loadavg: 1.64 1.51 1.43 3/221 12384
/proc/meminfo: memFree=16236212/32770624 swapFree=67108688/67108860
[pid=12062] ppid=12059 vsize=11077984 memory=833276 CPUtime=2469.42 cores=0,2,4,6
/proc/12062/stat : 12062 (java) S 12059 12062 9314 0 -1 1077944320 249200 13114 0 0 246686 248 5 3 20 0 15 0 228630541 11343855616 208319 33554432000 4194304 4196468 140723220791872 140723220774416 140144322436855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
/proc/12062/statm: 2769496 208319 3522 1 0 2731149 0
[pid=12062/tid=12115] ppid=12059 vsize=11077984 memory=833276 CPUtime=2430.29 cores=0,2,4,6
/proc/12062/task/12115/stat : 12115 (java) R 12059 12062 9314 0 -1 4202560 92295 13114 0 0 242990 31 5 3 20 0 15 0 228630550 11343855616 208319 33554432000 4194304 4196468 140723220791872 140144294270960 140143876899506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12116] ppid=12059 vsize=11077984 memory=833276 CPUtime=5.86 cores=0,2,4,6
/proc/12062/task/12116/stat : 12116 (java) S 12059 12062 9314 0 -1 1077944384 15614 13114 0 0 542 36 5 3 20 0 15 0 228630551 11343855616 208319 33554432000 4194304 4196468 140723220791872 140144326678928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12117] ppid=12059 vsize=11077984 memory=0 CPUtime=5.84 cores=0,2,4,6
/proc/12062/task/12117/stat : 12117 (java) S 12059 12062 9314 0 -1 1077944384 12731 13114 0 0 536 40 5 3 20 0 15 0 228630551 11343855616 208319 33554432000 4194304 4196468 140723220791872 140144181397776 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12118] ppid=12059 vsize=11077984 memory=853256 CPUtime=5.86 cores=0,2,4,6
/proc/12062/task/12118/stat : 12118 (java) S 12059 12062 9314 0 -1 1077944384 19938 13114 0 0 538 40 5 3 20 0 15 0 228630551 11343855616 208319 33554432000 4194304 4196468 140723220791872 140144180345488 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12119] ppid=12059 vsize=11077984 memory=0 CPUtime=5.86 cores=0,2,4,6
/proc/12062/task/12119/stat : 12119 (java) S 12059 12062 9314 0 -1 1077944384 15736 13114 0 0 538 40 5 3 20 0 15 0 228630551 11343855616 208319 33554432000 4194304 4196468 140723220791872 140143860115984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12120] ppid=12059 vsize=11077984 memory=833248 CPUtime=5.01 cores=0,2,4,6
/proc/12062/task/12120/stat : 12120 (java) S 12059 12062 9314 0 -1 1077944384 19266 13114 0 0 468 25 5 3 20 0 15 0 228630552 11343855616 208319 33554432000 4194304 4196468 140723220791872 140143748319856 140144322448002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12121] ppid=12059 vsize=11077984 memory=279464127283664 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12121/stat : 12121 (java) S 12059 12062 9314 0 -1 1077944384 14 13114 0 0 0 0 5 3 20 0 15 0 228630553 11343855616 208319 33554432000 4194304 4196468 140723220791872 140143172248928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12122] ppid=12059 vsize=11077984 memory=833272 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12122/stat : 12122 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630553 11343855616 208319 33554432000 4194304 4196468 140723220791872 140142970922624 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12123] ppid=12059 vsize=11077984 memory=833276 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12123/stat : 12123 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11343855616 208319 33554432000 4194304 4196468 140723220791872 140142663522896 140144322455451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12124] ppid=12059 vsize=11077984 memory=833276 CPUtime=3.78 cores=0,2,4,6
/proc/12062/task/12124/stat : 12124 (java) S 12059 12062 9314 0 -1 1077944384 29140 13114 0 0 366 4 5 3 20 0 15 0 228630556 11343855616 208319 33554432000 4194304 4196468 140723220791872 140143747266672 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12125] ppid=12059 vsize=11077984 memory=125 CPUtime=4.12 cores=0,2,4,6
/proc/12062/task/12125/stat : 12125 (java) S 12059 12062 9314 0 -1 1077944384 19039 13114 0 0 402 2 5 3 20 0 15 0 228630556 11343855616 208319 33554432000 4194304 4196468 140723220791872 140143746213872 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12126] ppid=12059 vsize=11077984 memory=833276 CPUtime=2.06 cores=0,2,4,6
/proc/12062/task/12126/stat : 12126 (java) S 12059 12062 9314 0 -1 1077944384 22073 13114 0 0 193 5 5 3 20 0 15 0 228630556 11343855616 208319 33554432000 4194304 4196468 140723220791872 140143745161584 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12127] ppid=12059 vsize=11077984 memory=833276 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12127/stat : 12127 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11343855616 208319 33554432000 4194304 4196468 140723220791872 140142232725984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12128] ppid=12059 vsize=11077984 memory=833276 CPUtime=1.34 cores=0,2,4,6
/proc/12062/task/12128/stat : 12128 (java) S 12059 12062 9314 0 -1 1077944384 1151 13114 0 0 65 61 5 3 20 0 15 0 228630556 11343855616 208319 33554432000 4194304 4196468 140723220791872 140143744109488 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
Current children cumulated CPU time: 2469.42 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 833276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.5 s]
/proc/loadavg: 1.47 1.48 1.42 3/221 12384
/proc/meminfo: memFree=16242912/32770624 swapFree=67108688/67108860
[pid=12062] ppid=12059 vsize=11077984 memory=833296 CPUtime=2520 cores=0,2,4,6
/proc/12062/stat : 12062 (java) S 12059 12062 9314 0 -1 1077944320 250082 13114 0 0 251741 251 5 3 20 0 15 0 228630541 11343855616 208324 33554432000 4194304 4196468 140723220791872 140723220774416 140144322436855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
/proc/12062/statm: 2769496 208324 3522 1 0 2731149 0
[pid=12062/tid=12115] ppid=12059 vsize=11077984 memory=833296 CPUtime=2480.23 cores=0,2,4,6
/proc/12062/task/12115/stat : 12115 (java) R 12059 12062 9314 0 -1 4202560 92639 13114 0 0 247984 31 5 3 20 0 15 0 228630550 11343855616 208324 33554432000 4194304 4196468 140723220791872 140144294270960 140143876901403 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12116] ppid=12059 vsize=11077984 memory=833296 CPUtime=5.99 cores=0,2,4,6
/proc/12062/task/12116/stat : 12116 (java) S 12059 12062 9314 0 -1 1077944384 15877 13114 0 0 555 36 5 3 20 0 15 0 228630551 11343855616 208324 33554432000 4194304 4196468 140723220791872 140144326678928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12117] ppid=12059 vsize=11077984 memory=833296 CPUtime=5.96 cores=0,2,4,6
/proc/12062/task/12117/stat : 12117 (java) S 12059 12062 9314 0 -1 1077944384 12742 13114 0 0 548 40 5 3 20 0 15 0 228630551 11343855616 208324 33554432000 4194304 4196468 140723220791872 140144181397776 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12118] ppid=12059 vsize=11077984 memory=833296 CPUtime=5.99 cores=0,2,4,6
/proc/12062/task/12118/stat : 12118 (java) S 12059 12062 9314 0 -1 1077944384 19944 13114 0 0 550 41 5 3 20 0 15 0 228630551 11343855616 208324 33554432000 4194304 4196468 140723220791872 140144180345488 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12119] ppid=12059 vsize=11077984 memory=833276 CPUtime=5.99 cores=0,2,4,6
/proc/12062/task/12119/stat : 12119 (java) S 12059 12062 9314 0 -1 1077944384 15827 13114 0 0 551 40 5 3 20 0 15 0 228630551 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143860115984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12120] ppid=12059 vsize=11077984 memory=833276 CPUtime=5.12 cores=0,2,4,6
/proc/12062/task/12120/stat : 12120 (java) S 12059 12062 9314 0 -1 1077944384 19421 13114 0 0 478 26 5 3 20 0 15 0 228630552 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143748319856 140144322448002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12121] ppid=12059 vsize=11077984 memory=833276 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12121/stat : 12121 (java) S 12059 12062 9314 0 -1 1077944384 14 13114 0 0 0 0 5 3 20 0 15 0 228630553 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143172248928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12122] ppid=12059 vsize=11077984 memory=833296 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12122/stat : 12122 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630553 11343855616 208324 33554432000 4194304 4196468 140723220791872 140142970922624 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12123] ppid=12059 vsize=11077984 memory=833296 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12123/stat : 12123 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140142663522896 140144322455451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12124] ppid=12059 vsize=11077984 memory=833296 CPUtime=3.78 cores=0,2,4,6
/proc/12062/task/12124/stat : 12124 (java) S 12059 12062 9314 0 -1 1077944384 29142 13114 0 0 366 4 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143747266672 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12125] ppid=12059 vsize=11077984 memory=833296 CPUtime=4.12 cores=0,2,4,6
/proc/12062/task/12125/stat : 12125 (java) S 12059 12062 9314 0 -1 1077944384 19041 13114 0 0 402 2 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143746213872 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12126] ppid=12059 vsize=11077984 memory=833296 CPUtime=2.06 cores=0,2,4,6
/proc/12062/task/12126/stat : 12126 (java) S 12059 12062 9314 0 -1 1077944384 22075 13114 0 0 193 5 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143745161584 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12127] ppid=12059 vsize=11077984 memory=833296 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12127/stat : 12127 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140142232725984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12128] ppid=12059 vsize=11077984 memory=1388 CPUtime=1.36 cores=0,2,4,6
/proc/12062/task/12128/stat : 12128 (java) S 12059 12062 9314 0 -1 1077944384 1157 13114 0 0 66 62 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143744109488 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 833296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.53 s]
# the end of solver process 12062 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.48 s, system=2.54848 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2492.5 s]
/proc/loadavg: 1.47 1.48 1.42 3/221 12384
/proc/meminfo: memFree=16242912/32770624 swapFree=67108688/67108860
[pid=12062] ppid=12059 vsize=11077984 memory=833296 CPUtime=2520 cores=0,2,4,6
/proc/12062/stat : 12062 (java) S 12059 12062 9314 0 -1 1077944320 250082 13114 0 0 251741 251 5 3 20 0 15 0 228630541 11343855616 208324 33554432000 4194304 4196468 140723220791872 140723220774416 140144322436855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
/proc/12062/statm: 2769496 208324 3522 1 0 2731149 0
[pid=12062/tid=12115] ppid=12059 vsize=11077984 memory=833296 CPUtime=2480.23 cores=0,2,4,6
/proc/12062/task/12115/stat : 12115 (java) R 12059 12062 9314 0 -1 4202560 92639 13114 0 0 247984 31 5 3 20 0 15 0 228630550 11343855616 208324 33554432000 4194304 4196468 140723220791872 140144294270960 140143876901403 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12116] ppid=12059 vsize=11077984 memory=833296 CPUtime=5.99 cores=0,2,4,6
/proc/12062/task/12116/stat : 12116 (java) S 12059 12062 9314 0 -1 1077944384 15877 13114 0 0 555 36 5 3 20 0 15 0 228630551 11343855616 208324 33554432000 4194304 4196468 140723220791872 140144326678928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12117] ppid=12059 vsize=11077984 memory=833296 CPUtime=5.96 cores=0,2,4,6
/proc/12062/task/12117/stat : 12117 (java) S 12059 12062 9314 0 -1 1077944384 12742 13114 0 0 548 40 5 3 20 0 15 0 228630551 11343855616 208324 33554432000 4194304 4196468 140723220791872 140144181397776 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12118] ppid=12059 vsize=11077984 memory=833296 CPUtime=5.99 cores=0,2,4,6
/proc/12062/task/12118/stat : 12118 (java) S 12059 12062 9314 0 -1 1077944384 19944 13114 0 0 550 41 5 3 20 0 15 0 228630551 11343855616 208324 33554432000 4194304 4196468 140723220791872 140144180345488 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12119] ppid=12059 vsize=11077984 memory=833276 CPUtime=5.99 cores=0,2,4,6
/proc/12062/task/12119/stat : 12119 (java) S 12059 12062 9314 0 -1 1077944384 15827 13114 0 0 551 40 5 3 20 0 15 0 228630551 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143860115984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12120] ppid=12059 vsize=11077984 memory=833276 CPUtime=5.12 cores=0,2,4,6
/proc/12062/task/12120/stat : 12120 (java) S 12059 12062 9314 0 -1 1077944384 19421 13114 0 0 478 26 5 3 20 0 15 0 228630552 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143748319856 140144322448002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12121] ppid=12059 vsize=11077984 memory=833276 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12121/stat : 12121 (java) S 12059 12062 9314 0 -1 1077944384 14 13114 0 0 0 0 5 3 20 0 15 0 228630553 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143172248928 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12122] ppid=12059 vsize=11077984 memory=833296 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12122/stat : 12122 (java) S 12059 12062 9314 0 -1 1077944384 1 13114 0 0 0 0 5 3 20 0 15 0 228630553 11343855616 208324 33554432000 4194304 4196468 140723220791872 140142970922624 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12123] ppid=12059 vsize=11077984 memory=833296 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12123/stat : 12123 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140142663522896 140144322455451 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12124] ppid=12059 vsize=11077984 memory=833296 CPUtime=3.78 cores=0,2,4,6
/proc/12062/task/12124/stat : 12124 (java) S 12059 12062 9314 0 -1 1077944384 29142 13114 0 0 366 4 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143747266672 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12125] ppid=12059 vsize=11077984 memory=833296 CPUtime=4.12 cores=0,2,4,6
/proc/12062/task/12125/stat : 12125 (java) S 12059 12062 9314 0 -1 1077944384 19041 13114 0 0 402 2 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143746213872 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12126] ppid=12059 vsize=11077984 memory=833296 CPUtime=2.06 cores=0,2,4,6
/proc/12062/task/12126/stat : 12126 (java) S 12059 12062 9314 0 -1 1077944384 22075 13114 0 0 193 5 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143745161584 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12127] ppid=12059 vsize=11077984 memory=833296 CPUtime=0.08 cores=0,2,4,6
/proc/12062/task/12127/stat : 12127 (java) S 12059 12062 9314 0 -1 1077944384 3 13114 0 0 0 0 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140142232725984 140144322447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
[pid=12062/tid=12128] ppid=12059 vsize=11077984 memory=1388 CPUtime=1.36 cores=0,2,4,6
/proc/12062/task/12128/stat : 12128 (java) S 12059 12062 9314 0 -1 1077944384 1157 13114 0 0 66 62 5 3 20 0 15 0 228630556 11343855616 208324 33554432000 4194304 4196468 140723220791872 140143744109488 140144322448002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19697664 140723220793956 140723220796764 140723220796764 140723220799439 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 833296 KiB
Child status: 143
Real time (s): 2492.53
CPU time (s): 2520.03
CPU user time (s): 2517.48
CPU system time (s): 2.54848
CPU usage (%): 101.103
Max. virtual memory (cumulated for all children) (KiB): 11080692
Max. memory (cumulated for all children) (KiB): 1362908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.48
system time used= 2.54848
maximum resident set size= 1366536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264557
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155747
involuntary context switches= 5775
# summary of solver processes directly reported to runsolver:
# pid: 12062
# total CPU time (s): 2520.03
# total CPU user time (s): 2517.48
# total CPU system time (s): 2.54848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3255 second user time and 24.1329 second system time
The end