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 (10339 MiB free)
memory of node 1: 16384 MiB (15198 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301832-1532884750/watcher-4301832-1532884750 -o /tmp/evaluation-result-4301832-1532884750/solver-4301832-1532884750 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532883454-10060 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301832-1532884750.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11765, runsolver pid=11762
[startup+0.10107 s]*
/proc/loadavg: 4.27 3.59 2.77 3/216 11780
/proc/meminfo: memFree=26133424/32770624 swapFree=67028788/67108860
[pid=11765] ppid=11762 vsize=10659012 memory=30652 CPUtime=0.13 cores=0,2,4,6
/proc/11765/stat : 11765 (java) S 11762 11765 10029 0 -1 1077944320 6738 0 0 0 11 2 0 0 20 0 15 0 106038162 10914828288 7663 33554432000 4194304 4196468 140735852407344 140735852389888 140627972783863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
/proc/11765/statm: 2664753 7663 2843 1 0 2627263 0
[pid=11765/tid=11767] ppid=11762 vsize=10659012 memory=-8773748148829982845 CPUtime=0.09 cores=0,2,4,6
/proc/11765/task/11767/stat : 11767 (java) R 11762 11765 10029 0 -1 4202560 4567 0 0 0 8 1 0 0 20 0 15 0 106038162 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627977006896 140627972795798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11768] ppid=11762 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11768/stat : 11768 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627909474832 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11769] ppid=11762 vsize=10659012 memory=140552874202752 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11769/stat : 11769 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627908422288 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11770] ppid=11762 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11770/stat : 11770 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627907369232 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11771] ppid=11762 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11771/stat : 11771 (java) S 11762 11765 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106038163 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627906316688 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11772] ppid=11762 vsize=10659012 memory=140552874202752 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11772/stat : 11772 (java) S 11762 11765 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106038164 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627329968880 140627972795010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11773] ppid=11762 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11773/stat : 11773 (java) S 11762 11765 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106038165 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627328915104 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11774] ppid=11762 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11774/stat : 11774 (java) S 11762 11765 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106038165 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627327862000 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11775] ppid=11762 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11775/stat : 11775 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106038167 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627326810576 140627972802459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11776] ppid=11762 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11776/stat : 11776 (java) S 11762 11765 10029 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 106038167 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627325757680 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11777] ppid=11762 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11777/stat : 11777 (java) S 11762 11765 10029 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 106038167 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627324705136 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11778] ppid=11762 vsize=10659012 memory=140552874202752 CPUtime=0.02 cores=0,2,4,6
/proc/11765/task/11778/stat : 11778 (java) R 11762 11765 10029 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 106038167 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627323652080 140627972795798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11779] ppid=11762 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11779/stat : 11779 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106038167 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627322599776 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11780] ppid=11762 vsize=10659012 memory=140552874202752 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11780/stat : 11780 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038168 10914828288 7663 33554432000 4194304 4196468 140735852407344 140627321547824 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30652 KiB
[startup+0.210704 s]*
/proc/loadavg: 4.27 3.59 2.77 3/216 11780
/proc/meminfo: memFree=26123468/32770624 swapFree=67028788/67108860
[pid=11765] ppid=11762 vsize=10659012 memory=41844 CPUtime=0.33 cores=0,2,4,6
/proc/11765/stat : 11765 (java) S 11762 11765 10029 0 -1 1077944320 8087 0 0 0 31 2 0 0 20 0 15 0 106038162 10914828288 10461 33554432000 4194304 4196468 140735852407344 140735852389888 140627972783863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
/proc/11765/statm: 2664753 10461 3007 1 0 2627263 0
[pid=11765/tid=11767] ppid=11762 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/11765/task/11767/stat : 11767 (java) R 11762 11765 10029 0 -1 4202560 5021 0 0 0 19 1 0 0 20 0 15 0 106038162 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627977014480 140627956827493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11768] ppid=11762 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11768/stat : 11768 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627909474832 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11769] ppid=11762 vsize=10659012 memory=140552874839015 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11769/stat : 11769 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627908422288 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11770] ppid=11762 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11770/stat : 11770 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627907369232 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11771] ppid=11762 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11771/stat : 11771 (java) S 11762 11765 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106038163 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627906316688 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11772] ppid=11762 vsize=10659012 memory=140552874202752 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11772/stat : 11772 (java) S 11762 11765 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106038164 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627329968880 140627972795010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11773] ppid=11762 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11773/stat : 11773 (java) S 11762 11765 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106038165 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627328915104 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11774] ppid=11762 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11774/stat : 11774 (java) S 11762 11765 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106038165 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627327862000 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11775] ppid=11762 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11775/stat : 11775 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106038167 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627326810576 140627972802459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11776] ppid=11762 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11765/task/11776/stat : 11776 (java) S 11762 11765 10029 0 -1 1077944384 644 0 0 0 2 0 0 0 20 0 15 0 106038167 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627325757680 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11777] ppid=11762 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11765/task/11777/stat : 11777 (java) S 11762 11765 10029 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 106038167 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627324705136 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11778] ppid=11762 vsize=10659012 memory=140552874202752 CPUtime=0.07 cores=0,2,4,6
/proc/11765/task/11778/stat : 11778 (java) R 11762 11765 10029 0 -1 4202560 703 0 0 0 7 0 0 0 20 0 15 0 106038167 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627323652080 140627951738061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11779] ppid=11762 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11779/stat : 11779 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106038167 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627322599776 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11780] ppid=11762 vsize=10659012 memory=140552874202752 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11780/stat : 11780 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038168 10914828288 10461 33554432000 4194304 4196468 140735852407344 140627321547824 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41844 KiB
[startup+0.310396 s]*
/proc/loadavg: 4.27 3.59 2.77 4/216 11780
/proc/meminfo: memFree=26115808/32770624 swapFree=67028788/67108860
[pid=11765] ppid=11762 vsize=10659088 memory=47656 CPUtime=0.53 cores=0,2,4,6
/proc/11765/stat : 11765 (java) S 11762 11765 10029 0 -1 1077944320 8935 0 0 0 50 3 0 0 20 0 15 0 106038162 10914906112 11914 33554432000 4194304 4196468 140735852407344 140735852389888 140627972783863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
/proc/11765/statm: 2664772 11914 3061 1 0 2627263 0
[pid=11765/tid=11767] ppid=11762 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/11765/task/11767/stat : 11767 (java) R 11762 11765 10029 0 -1 4202560 5635 0 0 0 28 2 0 0 20 0 15 0 106038162 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627977019712 140627580912025 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11768] ppid=11762 vsize=10659088 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11768/stat : 11768 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627909474832 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11769] ppid=11762 vsize=10659088 memory=140552874832887 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11769/stat : 11769 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627908422288 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11770] ppid=11762 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11770/stat : 11770 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627907369232 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11771] ppid=11762 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11771/stat : 11771 (java) S 11762 11765 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106038163 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627906316688 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11772] ppid=11762 vsize=10659088 memory=140552874202752 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11772/stat : 11772 (java) S 11762 11765 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106038164 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627329968880 140627972795010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11773] ppid=11762 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11773/stat : 11773 (java) S 11762 11765 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106038165 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627328915104 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11774] ppid=11762 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11774/stat : 11774 (java) S 11762 11765 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106038165 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627327862000 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11775] ppid=11762 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11775/stat : 11775 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106038167 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627326810576 140627972802459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11776] ppid=11762 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11765/task/11776/stat : 11776 (java) R 11762 11765 10029 0 -1 1077944384 673 0 0 0 4 0 0 0 20 0 15 0 106038167 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627325757680 140627972795010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11777] ppid=11762 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/11765/task/11777/stat : 11777 (java) S 11762 11765 10029 0 -1 1077944384 468 0 0 0 4 0 0 0 20 0 15 0 106038167 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627324705136 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11778] ppid=11762 vsize=10659088 memory=140552874202752 CPUtime=0.13 cores=0,2,4,6
/proc/11765/task/11778/stat : 11778 (java) R 11762 11765 10029 0 -1 4202560 793 0 0 0 13 0 0 0 20 0 15 0 106038167 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627323652080 140627952182302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11779] ppid=11762 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11779/stat : 11779 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106038167 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627322599776 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11780] ppid=11762 vsize=10659088 memory=140552874202752 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11780/stat : 11780 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038168 10914906112 11914 33554432000 4194304 4196468 140735852407344 140627321547824 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47656 KiB
[startup+0.700835 s]
/proc/loadavg: 4.33 3.61 2.78 5/216 11780
/proc/meminfo: memFree=26067036/32770624 swapFree=67028788/67108860
[pid=11765] ppid=11762 vsize=10659088 memory=118684 CPUtime=1.37 cores=0,2,4,6
/proc/11765/stat : 11765 (java) S 11762 11765 10029 0 -1 1077944320 10902 0 0 0 133 4 0 0 20 0 15 0 106038162 10914906112 29671 33554432000 4194304 4196468 140735852407344 140735852389888 140627972783863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
/proc/11765/statm: 2664772 29671 3095 1 0 2627263 0
[pid=11765/tid=11767] ppid=11762 vsize=10659088 memory=191113092677979 CPUtime=0.67 cores=0,2,4,6
/proc/11765/task/11767/stat : 11767 (java) R 11762 11765 10029 0 -1 4202560 5751 0 0 0 65 2 0 0 20 0 15 0 106038162 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627977019488 140627583549156 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11768] ppid=11762 vsize=10659088 memory=616836 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11768/stat : 11768 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627909474832 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11769] ppid=11762 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11769/stat : 11769 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627908422288 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11770] ppid=11762 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11770/stat : 11770 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038163 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627907369232 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11771] ppid=11762 vsize=10659088 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11771/stat : 11771 (java) S 11762 11765 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106038163 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627906316688 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11772] ppid=11762 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11772/stat : 11772 (java) S 11762 11765 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106038164 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627329968880 140627972795010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11773] ppid=11762 vsize=10659088 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11773/stat : 11773 (java) S 11762 11765 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106038165 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627328915104 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11774] ppid=11762 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11774/stat : 11774 (java) S 11762 11765 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106038165 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627327862000 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11775] ppid=11762 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11775/stat : 11775 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106038167 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627326810576 140627972802459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11776] ppid=11762 vsize=10659088 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/11765/task/11776/stat : 11776 (java) S 11762 11765 10029 0 -1 1077944384 1473 0 0 0 23 0 0 0 20 0 15 0 106038167 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627325757680 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11777] ppid=11762 vsize=10659088 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/11765/task/11777/stat : 11777 (java) S 11762 11765 10029 0 -1 1077944384 1349 0 0 0 24 0 0 0 20 0 15 0 106038167 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627324705136 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11778] ppid=11762 vsize=10659088 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/11765/task/11778/stat : 11778 (java) S 11762 11765 10029 0 -1 1077944384 963 0 0 0 19 0 0 0 20 0 15 0 106038167 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627323652080 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11779] ppid=11762 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11779/stat : 11779 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106038167 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627322599776 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11780] ppid=11762 vsize=10659088 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11780/stat : 11780 (java) S 11762 11765 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106038168 10914906112 29671 33554432000 4194304 4196468 140735852407344 140627321547824 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 118684 KiB
[startup+1.50082 s]
/proc/loadavg: 4.33 3.61 2.78 3/216 11780
/proc/meminfo: memFree=26011616/32770624 swapFree=67028788/67108860
[pid=11765] ppid=11762 vsize=10659088 memory=213724 CPUtime=2.32 cores=0,2,4,6
/proc/11765/stat : 11765 (java) S 11762 11765 10029 0 -1 1077944320 12598 0 0 0 222 10 0 0 20 0 15 0 106038162 10914906112 53431 33554432000 4194304 4196468 140735852407344 140735852389888 140627972783863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
/proc/11765/statm: 2664772 53431 3127 1 0 2627263 0
[pid=11765/tid=11767] ppid=11762 vsize=10659088 memory=9169 CPUtime=1.43 cores=0,2,4,6
/proc/11765/task/11767/stat : 11767 (java) R 11762 11765 10029 0 -1 4202560 5894 0 0 0 140 3 0 0 20 0 15 0 106038162 10914906112 53431 33554432000 4194304 4196468 140735852407344 140627977022832 140627583549175 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11768] ppid=11762 vsize=10659088 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/11765/task/11768/stat : 11768 (java) S 11762 11765 10029 0 -1 1077944384 156 0 0 0 3 1 0 0 20 0 15 0 106038163 10914906112 53431 33554432000 4194304 4196468 140735852407344 140627909474832 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11769] ppid=11762 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11765/task/11769/stat : 11769 (java) S 11762 11765 10029 0 -1 1077944384 273 0 0 0 3 1 0 0 20 0 15 0 106038163 10914906112 53431 33554432000 4194304 4196468 140735852407344 140627908422288 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11770] ppid=11762 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11765/task/11770/stat : 11770 (java) S 11762 11765 10029 0 -1 1077944384 129 0 0 0 3 1 0 0 20 0 15 0 106038163 10914906112 53431 33554432000 4194304 4196468 140735852407344 140627907369232 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11771] ppid=11762 vsize=10659088 memory=6943526294502006880 CPUtime=0.04 cores=0,2,4,6
/proc/11765/task/11771/stat : 11771 (java) S 11762 11765 10029 0 -1 1077944384 142 0 0 0 3 1 0 0 20 0 15 0 106038163 10914906112 53431 33554432000 4194304 4196468 140735852407344 140627906316688 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11772] ppid=11762 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11772/stat : 11772 (java) S 11762 11765 10029 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 15 0 106038164 10914906112 53431 33554432000 4194304 4196468 140735852407344 140627329968880 140627972795010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
################
# More data... #
################
/proc/11765/task/11773/stat : 11773 (java) S 11762 11765 10029 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 16 0 106038165 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627328915168 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11774] ppid=11762 vsize=10725652 memory=15316 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11774/stat : 11774 (java) S 11762 11765 10029 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 16 0 106038165 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627327862016 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11775] ppid=11762 vsize=10725652 memory=1664 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11775/stat : 11775 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627326810576 140627972802459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11776] ppid=11762 vsize=10725652 memory=1760 CPUtime=1.49 cores=0,2,4,6
/proc/11765/task/11776/stat : 11776 (java) S 11762 11765 10029 0 -1 1077944384 6364 0 0 0 148 1 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627325757680 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11777] ppid=11762 vsize=10725652 memory=2806816 CPUtime=1.34 cores=0,2,4,6
/proc/11765/task/11777/stat : 11777 (java) S 11762 11765 10029 0 -1 1077944384 6215 0 0 0 134 0 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627324705136 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11778] ppid=11762 vsize=10725652 memory=3544 CPUtime=0.4 cores=0,2,4,6
/proc/11765/task/11778/stat : 11778 (java) S 11762 11765 10029 0 -1 1077944384 3836 0 0 0 40 0 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627323652080 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11779] ppid=11762 vsize=10725652 memory=26960 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11779/stat : 11779 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627322599776 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11780] ppid=11762 vsize=10725652 memory=776 CPUtime=0.13 cores=0,2,4,6
/proc/11765/task/11780/stat : 11780 (java) S 11762 11765 10029 0 -1 1077944384 267 0 0 0 7 6 0 0 20 0 16 0 106038168 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627321547824 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11781] ppid=11762 vsize=10725652 memory=2806816 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11781/stat : 11781 (java) S 11762 11765 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106039138 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627320493616 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
Current children cumulated CPU time: 239.44 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2806816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+234.901 s]
/proc/loadavg: 2.27 2.91 2.68 3/218 11948
/proc/meminfo: memFree=23717008/32770624 swapFree=67028788/67108860
[pid=11765] ppid=11762 vsize=10725652 memory=2806816 CPUtime=252.04 cores=0,2,4,6
/proc/11765/stat : 11765 (java) S 11762 11765 10029 0 -1 1077944320 92505 0 0 0 24929 275 0 0 20 0 16 0 106038162 10983067648 701704 33554432000 4194304 4196468 140735852407344 140735852389888 140627972783863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
/proc/11765/statm: 2681413 701704 3180 1 0 2643904 0
[pid=11765/tid=11767] ppid=11762 vsize=10725652 memory=2806816 CPUtime=229.15 cores=0,2,4,6
/proc/11765/task/11767/stat : 11767 (java) R 11762 11765 10029 0 -1 4202560 43764 0 0 0 22902 13 0 0 20 0 16 0 106038162 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627977022456 140627585622454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11768] ppid=11762 vsize=10725652 memory=2806776 CPUtime=4.6 cores=0,2,4,6
/proc/11765/task/11768/stat : 11768 (java) S 11762 11765 10029 0 -1 1077944384 8169 0 0 0 398 62 0 0 20 0 16 0 106038163 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627909474832 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11769] ppid=11762 vsize=10725652 memory=2806816 CPUtime=4.59 cores=0,2,4,6
/proc/11765/task/11769/stat : 11769 (java) S 11762 11765 10029 0 -1 1077944384 7419 0 0 0 397 62 0 0 20 0 16 0 106038163 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627908422288 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11770] ppid=11762 vsize=10725652 memory=2806816 CPUtime=4.56 cores=0,2,4,6
/proc/11765/task/11770/stat : 11770 (java) S 11762 11765 10029 0 -1 1077944384 5502 0 0 0 393 63 0 0 20 0 16 0 106038163 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627907369232 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11771] ppid=11762 vsize=10725652 memory=2806816 CPUtime=4.61 cores=0,2,4,6
/proc/11765/task/11771/stat : 11771 (java) S 11762 11765 10029 0 -1 1077944384 6392 0 0 0 396 65 0 0 20 0 16 0 106038163 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627906316688 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11772] ppid=11762 vsize=10725652 memory=13 CPUtime=1.08 cores=0,2,4,6
/proc/11765/task/11772/stat : 11772 (java) S 11762 11765 10029 0 -1 1077944384 3072 0 0 0 108 0 0 0 20 0 16 0 106038164 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627329968880 140627972795010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11773] ppid=11762 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11773/stat : 11773 (java) S 11762 11765 10029 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 16 0 106038165 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627328915168 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11774] ppid=11762 vsize=10725652 memory=2806816 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11774/stat : 11774 (java) S 11762 11765 10029 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 16 0 106038165 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627327862016 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11775] ppid=11762 vsize=10725652 memory=2806816 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11775/stat : 11775 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627326810576 140627972802459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11776] ppid=11762 vsize=10725652 memory=2806816 CPUtime=1.49 cores=0,2,4,6
/proc/11765/task/11776/stat : 11776 (java) S 11762 11765 10029 0 -1 1077944384 6364 0 0 0 148 1 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627325757680 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11777] ppid=11762 vsize=10725652 memory=2806816 CPUtime=1.34 cores=0,2,4,6
/proc/11765/task/11777/stat : 11777 (java) S 11762 11765 10029 0 -1 1077944384 6215 0 0 0 134 0 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627324705136 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11778] ppid=11762 vsize=10725652 memory=4100 CPUtime=0.4 cores=0,2,4,6
/proc/11765/task/11778/stat : 11778 (java) S 11762 11765 10029 0 -1 1077944384 3836 0 0 0 40 0 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627323652080 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11779] ppid=11762 vsize=10725652 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11779/stat : 11779 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106038167 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627322599776 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11780] ppid=11762 vsize=10725652 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11765/task/11780/stat : 11780 (java) S 11762 11765 10029 0 -1 1077944384 267 0 0 0 7 6 0 0 20 0 16 0 106038168 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627321547824 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11781] ppid=11762 vsize=10725652 memory=126 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11781/stat : 11781 (java) S 11762 11765 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106039138 10983067648 701704 33554432000 4194304 4196468 140735852407344 140627320493616 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2806816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+235.137 s]
# the end of solver process 11765 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.327 s, system=2.77693 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+235.005 s]*
/proc/loadavg: 2.27 2.91 2.68 2/219 11951
/proc/meminfo: memFree=23716744/32770624 swapFree=67028788/67108860
[pid=11765] ppid=11762 vsize=10925344 memory=2807224 CPUtime=252.06 cores=0,2,4,6
/proc/11765/stat : 11765 (java) S 11762 11765 10029 0 -1 1077944320 93297 0 0 0 24931 275 0 0 20 0 17 0 106038162 11187552256 701806 33554432000 4194304 4196468 140735852407344 140735852389888 140627972783863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
/proc/11765/statm: 2731336 701806 3182 1 0 2693827 0
[pid=11765/tid=11767] ppid=11762 vsize=10925344 memory=751328667791196465 CPUtime=229.16 cores=0,2,4,6
/proc/11765/task/11767/stat : 11767 (java) S 11762 11765 10029 0 -1 1077944384 43837 0 0 0 22903 13 0 0 20 0 17 0 106038162 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627977026736 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11768] ppid=11762 vsize=10925344 memory=0 CPUtime=4.6 cores=0,2,4,6
/proc/11765/task/11768/stat : 11768 (java) S 11762 11765 10029 0 -1 1077944384 8169 0 0 0 398 62 0 0 20 0 17 0 106038163 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627909474832 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11769] ppid=11762 vsize=10925344 memory=3546220790572095136 CPUtime=4.59 cores=0,2,4,6
/proc/11765/task/11769/stat : 11769 (java) S 11762 11765 10029 0 -1 1077944384 7419 0 0 0 397 62 0 0 20 0 17 0 106038163 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627908422288 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11770] ppid=11762 vsize=10925344 memory=6656426216303648864 CPUtime=4.56 cores=0,2,4,6
/proc/11765/task/11770/stat : 11770 (java) S 11762 11765 10029 0 -1 1077944384 5502 0 0 0 393 63 0 0 20 0 17 0 106038163 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627907369232 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11771] ppid=11762 vsize=10925344 memory=49796 CPUtime=4.61 cores=0,2,4,6
/proc/11765/task/11771/stat : 11771 (java) S 11762 11765 10029 0 -1 1077944384 6392 0 0 0 396 65 0 0 20 0 17 0 106038163 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627906316688 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11772] ppid=11762 vsize=10925344 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/11765/task/11772/stat : 11772 (java) S 11762 11765 10029 0 -1 1077944384 3111 0 0 0 108 0 0 0 20 0 17 0 106038164 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627329968880 140627972795010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11773] ppid=11762 vsize=10925344 memory=3472896748050987055 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11773/stat : 11773 (java) S 11762 11765 10029 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 17 0 106038165 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627328915168 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11774] ppid=11762 vsize=10925344 memory=7440060183353512016 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11774/stat : 11774 (java) S 11762 11765 10029 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 17 0 106038165 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627327862016 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11775] ppid=11762 vsize=10925344 memory=7743786111045347915 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11775/stat : 11775 (java) S 11762 11765 10029 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 17 0 106038167 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627326810576 140627972802459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11776] ppid=11762 vsize=10925344 memory=0 CPUtime=1.49 cores=0,2,4,6
/proc/11765/task/11776/stat : 11776 (java) S 11762 11765 10029 0 -1 1077944384 6364 0 0 0 148 1 0 0 20 0 17 0 106038167 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627325757680 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11777] ppid=11762 vsize=10925344 memory=3472328295574038117 CPUtime=1.34 cores=0,2,4,6
/proc/11765/task/11777/stat : 11777 (java) S 11762 11765 10029 0 -1 1077944384 6215 0 0 0 134 0 0 0 20 0 17 0 106038167 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627324705136 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11778] ppid=11762 vsize=10925344 memory=140552874202752 CPUtime=0.4 cores=0,2,4,6
/proc/11765/task/11778/stat : 11778 (java) S 11762 11765 10029 0 -1 1077944384 3905 0 0 0 40 0 0 0 20 0 17 0 106038167 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627323652080 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11779] ppid=11762 vsize=10925344 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11779/stat : 11779 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106038167 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627322599776 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11780] ppid=11762 vsize=10925344 memory=31496899689776889 CPUtime=0.13 cores=0,2,4,6
/proc/11765/task/11780/stat : 11780 (java) S 11762 11765 10029 0 -1 1077944384 267 0 0 0 7 6 0 0 20 0 17 0 106038168 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627321547824 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11949] ppid=11762 vsize=10925344 memory=6877970180946408756 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11949/stat : 11949 (java) S 11762 11765 10029 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 17 0 106061652 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627319439856 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11950] ppid=11762 vsize=10925344 memory=3472468849101882032 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11950/stat : 11950 (java) S 11762 11765 10029 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 106061652 11187552256 701806 33554432000 4194304 4196468 140735852407344 140627318388240 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 2807224 KiB
[startup+235.11 s]
/proc/loadavg: 2.27 2.91 2.68 2/219 11951
/proc/meminfo: memFree=23716744/32770624 swapFree=67028788/67108860
[pid=11765] ppid=11762 vsize=10925344 memory=2807332 CPUtime=252.06 cores=0,2,4,6
/proc/11765/stat : 11765 (java) S 11762 11765 10029 0 -1 1077944320 93681 0 0 0 24931 275 0 0 20 0 17 0 106038162 11187552256 701833 33554432000 4194304 4196468 140735852407344 140735852389888 140627972783863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
/proc/11765/statm: 2731336 701833 3182 1 0 2693827 0
[pid=11765/tid=11767] ppid=11762 vsize=10925344 memory=2806816 CPUtime=229.16 cores=0,2,4,6
/proc/11765/task/11767/stat : 11767 (java) S 11762 11765 10029 0 -1 1077944384 43837 0 0 0 22903 13 0 0 20 0 17 0 106038162 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627977026736 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11768] ppid=11762 vsize=10925344 memory=2806816 CPUtime=4.6 cores=0,2,4,6
/proc/11765/task/11768/stat : 11768 (java) S 11762 11765 10029 0 -1 1077944384 8169 0 0 0 398 62 0 0 20 0 17 0 106038163 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627909474832 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11769] ppid=11762 vsize=10925344 memory=2806776 CPUtime=4.59 cores=0,2,4,6
/proc/11765/task/11769/stat : 11769 (java) S 11762 11765 10029 0 -1 1077944384 7419 0 0 0 397 62 0 0 20 0 17 0 106038163 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627908422288 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11770] ppid=11762 vsize=10925344 memory=2806816 CPUtime=4.56 cores=0,2,4,6
/proc/11765/task/11770/stat : 11770 (java) S 11762 11765 10029 0 -1 1077944384 5502 0 0 0 393 63 0 0 20 0 17 0 106038163 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627907369232 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11771] ppid=11762 vsize=10925344 memory=2806816 CPUtime=4.61 cores=0,2,4,6
/proc/11765/task/11771/stat : 11771 (java) S 11762 11765 10029 0 -1 1077944384 6392 0 0 0 396 65 0 0 20 0 17 0 106038163 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627906316688 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11772] ppid=11762 vsize=10925344 memory=2806816 CPUtime=1.08 cores=0,2,4,6
/proc/11765/task/11772/stat : 11772 (java) S 11762 11765 10029 0 -1 1077944384 3111 0 0 0 108 0 0 0 20 0 17 0 106038164 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627329968880 140627972795010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11773] ppid=11762 vsize=10925344 memory=2806816 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11773/stat : 11773 (java) S 11762 11765 10029 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 17 0 106038165 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627328915168 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11774] ppid=11762 vsize=10925344 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11774/stat : 11774 (java) S 11762 11765 10029 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 17 0 106038165 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627327862016 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11775] ppid=11762 vsize=10925344 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11775/stat : 11775 (java) S 11762 11765 10029 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 17 0 106038167 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627326810576 140627972802459 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11776] ppid=11762 vsize=10925344 memory=0 CPUtime=1.49 cores=0,2,4,6
/proc/11765/task/11776/stat : 11776 (java) S 11762 11765 10029 0 -1 1077944384 6364 0 0 0 148 1 0 0 20 0 17 0 106038167 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627325757680 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11777] ppid=11762 vsize=10925344 memory=126 CPUtime=1.34 cores=0,2,4,6
/proc/11765/task/11777/stat : 11777 (java) S 11762 11765 10029 0 -1 1077944384 6332 0 0 0 134 0 0 0 20 0 17 0 106038167 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627324705136 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11778] ppid=11762 vsize=10925344 memory=13 CPUtime=0.4 cores=0,2,4,6
/proc/11765/task/11778/stat : 11778 (java) S 11762 11765 10029 0 -1 1077944384 3933 0 0 0 40 0 0 0 20 0 17 0 106038167 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627323652080 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11779] ppid=11762 vsize=10925344 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11779/stat : 11779 (java) S 11762 11765 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106038167 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627322599776 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11780] ppid=11762 vsize=10925344 memory=12772 CPUtime=0.13 cores=0,2,4,6
/proc/11765/task/11780/stat : 11780 (java) S 11762 11765 10029 0 -1 1077944384 267 0 0 0 7 6 0 0 20 0 17 0 106038168 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627321547824 140627972795010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11949] ppid=11762 vsize=10925344 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11949/stat : 11949 (java) S 11762 11765 10029 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 17 0 106061652 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627319439856 140627972794069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
[pid=11765/tid=11950] ppid=11762 vsize=10925344 memory=2806816 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11950/stat : 11950 (java) R 11762 11765 10029 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 17 0 106061652 11187552256 701833 33554432000 4194304 4196468 140735852407344 140627318388240 140627580846144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140735852414070 140735852414222 140735852414222 140735852416975 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 2807332 KiB
Child status: 143
Real time (s): 235.137
CPU time (s): 252.104
CPU user time (s): 249.327
CPU system time (s): 2.77693
CPU usage (%): 107.216
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 2807332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.327
system time used= 2.77693
maximum resident set size= 2807712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93797
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7671
involuntary context switches= 375
# summary of solver processes directly reported to runsolver:
# pid: 11765
# total CPU time (s): 252.104
# total CPU user time (s): 249.327
# total CPU system time (s): 2.77693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89548 second user time and 1.809 second system time
The end