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 (15096 MiB free)
memory of node 1: 16384 MiB (13155 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400886-1568694374/watcher-4400886-1568694374 -o /tmp/evaluation-result-4400886-1568694374/solver-4400886-1568694374 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568669636-5871 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1989346547 HOME/instance-4400886-1568694374.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12606, runsolver pid=12603
Current StackSize limit: 8192 KiB
[startup+0.101221 s]*
/proc/loadavg: 2.53 1.75 1.57 3/218 12663
/proc/meminfo: memFree=28921208/32770624 swapFree=66939752/67108860
[pid=12606] ppid=12603 vsize=9972712 memory=17172 CPUtime=0.09 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12603 12606 5840 0 -1 1077944320 4546 13032 0 0 1 0 5 3 20 0 6 0 445695654 10212057088 4293 33554432000 4194304 4196468 140728706352624 140728706335168 140098821627639 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
/proc/12606/statm: 2493178 4293 1935 1 0 2481616 0
[pid=12606/tid=12659] ppid=12603 vsize=9972712 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/12606/task/12659/stat : 12659 (java) R 12603 12606 5840 0 -1 4202560 2357 13032 0 0 1 0 5 3 20 0 6 0 445695664 10212057088 4293 33554432000 4194304 4196468 140728706352624 140098793464400 140098805708126 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12660] ppid=12603 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12660/stat : 12660 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 6 0 445695664 10212057088 4359 33554432000 4194304 4196468 140728706352624 140098825869712 140098821637845 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12661] ppid=12603 vsize=9972712 memory=140385669957248 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12661/stat : 12661 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 6 0 445695664 10212057088 4359 33554432000 4194304 4196468 140728706352624 140098394728720 140098821637845 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12662] ppid=12603 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12662/stat : 12662 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 6 0 445695664 10212057088 4359 33554432000 4194304 4196468 140728706352624 140098393676432 140098821637845 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12663] ppid=12603 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12663/stat : 12663 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 6 0 445695664 10212057088 4359 33554432000 4194304 4196468 140728706352624 140098392623632 140098821637845 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17172 KiB
[startup+0.214574 s]*
/proc/loadavg: 2.53 1.75 1.57 4/227 12672
/proc/meminfo: memFree=28899720/32770624 swapFree=66939752/67108860
[pid=12606] ppid=12603 vsize=10819856 memory=46196 CPUtime=0.28 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12603 12606 5840 0 -1 1077944320 7359 13032 0 0 18 2 5 3 20 0 15 0 445695654 11079532544 11549 33554432000 4194304 4196468 140728706352624 140728706335168 140098821627639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
/proc/12606/statm: 2704964 11549 3185 1 0 2667149 0
[pid=12606/tid=12659] ppid=12603 vsize=10820020 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/12606/task/12659/stat : 12659 (java) R 12603 12606 5840 0 -1 4202560 3920 13032 0 0 10 1 5 3 20 0 15 0 445695664 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098793460688 140098676914723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12660] ppid=12603 vsize=10820020 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12660/stat : 12660 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695664 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098825869712 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12661] ppid=12603 vsize=10820020 memory=288370761821668992 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12661/stat : 12661 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695664 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098394728720 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12662] ppid=12603 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12662/stat : 12662 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695664 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098393676432 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12663] ppid=12603 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12663/stat : 12663 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695664 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098392623632 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12664] ppid=12603 vsize=10820020 memory=140385669957248 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12664/stat : 12664 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695666 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098348317296 140098821638786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12665] ppid=12603 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12665/stat : 12665 (java) S 12603 12606 5840 0 -1 1077944384 13 13032 0 0 0 0 5 3 20 0 15 0 445695666 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098276418848 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12666] ppid=12603 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12666/stat : 12666 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695666 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098142201456 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12667] ppid=12603 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12667/stat : 12667 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695669 11079700480 11615 33554432000 4194304 4196468 140728706352624 140097538222672 140098821646235 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12668] ppid=12603 vsize=10820020 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12606/task/12668/stat : 12668 (java) S 12603 12606 5840 0 -1 1077944384 466 13032 0 0 1 0 5 3 20 0 15 0 445695669 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098347264112 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12669] ppid=12603 vsize=10820020 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12606/task/12669/stat : 12669 (java) S 12603 12606 5840 0 -1 1077944384 192 13032 0 0 1 0 5 3 20 0 15 0 445695669 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098346211312 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12670] ppid=12603 vsize=10820020 memory=140385669957248 CPUtime=0.11 cores=0,2,4,6
/proc/12606/task/12670/stat : 12670 (java) S 12603 12606 5840 0 -1 1077944384 602 13032 0 0 3 0 5 3 20 0 15 0 445695669 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098345159024 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12671] ppid=12603 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12671/stat : 12671 (java) S 12603 12606 5840 0 -1 1077944384 3 13032 0 0 0 0 5 3 20 0 15 0 445695670 11079700480 11615 33554432000 4194304 4196468 140728706352624 140097068460512 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12672] ppid=12603 vsize=10820020 memory=140385669957248 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12672/stat : 12672 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695670 11079700480 11615 33554432000 4194304 4196468 140728706352624 140098242862000 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10819856 KiB
Current children cumulated memory: 46196 KiB
[startup+0.310759 s]*
/proc/loadavg: 2.53 1.75 1.57 3/227 12672
/proc/meminfo: memFree=28887604/32770624 swapFree=66939752/67108860
[pid=12606] ppid=12603 vsize=10820196 memory=55000 CPUtime=0.41 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12603 12606 5840 0 -1 1077944320 10926 13032 0 0 29 4 5 3 20 0 15 0 445695654 11079880704 13750 33554432000 4194304 4196468 140728706352624 140728706335168 140098821627639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
/proc/12606/statm: 2705049 13750 3316 1 0 2667149 0
[pid=12606/tid=12659] ppid=12603 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/12606/task/12659/stat : 12659 (java) R 12603 12606 5840 0 -1 4202560 7415 13032 0 0 18 3 5 3 20 0 15 0 445695664 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098793436592 140098805708126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12660] ppid=12603 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12660/stat : 12660 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695664 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098825869712 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12661] ppid=12603 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12661/stat : 12661 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695664 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098394728720 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12662] ppid=12603 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12662/stat : 12662 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695664 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098393676432 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12663] ppid=12603 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12663/stat : 12663 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695664 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098392623632 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12664] ppid=12603 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12664/stat : 12664 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695666 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098348317296 140098821638786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12665] ppid=12603 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12665/stat : 12665 (java) S 12603 12606 5840 0 -1 1077944384 13 13032 0 0 0 0 5 3 20 0 15 0 445695666 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098276418848 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12666] ppid=12603 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12666/stat : 12666 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695666 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098142201456 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12667] ppid=12603 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12667/stat : 12667 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695669 11079880704 13750 33554432000 4194304 4196468 140728706352624 140097538222672 140098821646235 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12668] ppid=12603 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12606/task/12668/stat : 12668 (java) S 12603 12606 5840 0 -1 1077944384 475 13032 0 0 2 0 5 3 20 0 15 0 445695669 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098347264112 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12669] ppid=12603 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/12606/task/12669/stat : 12669 (java) S 12603 12606 5840 0 -1 1077944384 193 13032 0 0 2 0 5 3 20 0 15 0 445695669 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098346211312 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12670] ppid=12603 vsize=10820196 memory=140385669957248 CPUtime=0.13 cores=0,2,4,6
/proc/12606/task/12670/stat : 12670 (java) S 12603 12606 5840 0 -1 1077944384 609 13032 0 0 5 0 5 3 20 0 15 0 445695669 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098345159024 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12671] ppid=12603 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12671/stat : 12671 (java) S 12603 12606 5840 0 -1 1077944384 3 13032 0 0 0 0 5 3 20 0 15 0 445695670 11079880704 13750 33554432000 4194304 4196468 140728706352624 140097068460512 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12672] ppid=12603 vsize=10820196 memory=140385669957248 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12672/stat : 12672 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695670 11079880704 13750 33554432000 4194304 4196468 140728706352624 140098242862000 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 55000 KiB
[startup+0.70061 s]
/proc/loadavg: 2.53 1.75 1.57 3/227 12672
/proc/meminfo: memFree=28873752/32770624 swapFree=66939752/67108860
[pid=12606] ppid=12603 vsize=10824364 memory=87680 CPUtime=1.1 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12603 12606 5840 0 -1 1077944320 15034 13032 0 0 97 5 5 3 20 0 15 0 445695654 11084148736 21920 33554432000 4194304 4196468 140728706352624 140728706335168 140098821627639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
/proc/12606/statm: 2706091 21920 3514 1 0 2668173 0
[pid=12606/tid=12659] ppid=12603 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/12606/task/12659/stat : 12659 (java) R 12603 12606 5840 0 -1 4202560 10483 13032 0 0 55 4 5 3 20 0 15 0 445695664 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098793430968 140098805708126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12660] ppid=12603 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12660/stat : 12660 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695664 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098825869712 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12661] ppid=12603 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12661/stat : 12661 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695664 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098394728720 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12662] ppid=12603 vsize=10824364 memory=140385569616080 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12662/stat : 12662 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695664 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098393676432 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12663] ppid=12603 vsize=10824364 memory=140389596004969 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12663/stat : 12663 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695664 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098392623632 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12664] ppid=12603 vsize=10824364 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12664/stat : 12664 (java) S 12603 12606 5840 0 -1 1077944384 5 13032 0 0 0 0 5 3 20 0 15 0 445695666 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098348317296 140098821638786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12665] ppid=12603 vsize=10824364 memory=7014751519667017297 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12665/stat : 12665 (java) S 12603 12606 5840 0 -1 1077944384 13 13032 0 0 0 0 5 3 20 0 15 0 445695666 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098276418848 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12666] ppid=12603 vsize=10824364 memory=7812451590864393321 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12666/stat : 12666 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695666 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098142201456 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12667] ppid=12603 vsize=10824364 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12667/stat : 12667 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695669 11084148736 21920 33554432000 4194304 4196468 140728706352624 140097538222672 140098821646235 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12668] ppid=12603 vsize=10824364 memory=2116 CPUtime=0.2 cores=0,2,4,6
/proc/12606/task/12668/stat : 12668 (java) R 12603 12606 5840 0 -1 4202560 911 13032 0 0 12 0 5 3 20 0 15 0 445695669 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098347264112 140098801060716 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12669] ppid=12603 vsize=10824364 memory=516 CPUtime=0.2 cores=0,2,4,6
/proc/12606/task/12669/stat : 12669 (java) S 12603 12606 5840 0 -1 1077944384 597 13032 0 0 12 0 5 3 20 0 15 0 445695669 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098346211312 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12670] ppid=12603 vsize=10824364 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/12606/task/12670/stat : 12670 (java) S 12603 12606 5840 0 -1 1077944384 806 13032 0 0 17 0 5 3 20 0 15 0 445695669 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098345159024 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12671] ppid=12603 vsize=10824364 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12671/stat : 12671 (java) S 12603 12606 5840 0 -1 1077944384 3 13032 0 0 0 0 5 3 20 0 15 0 445695670 11084148736 21920 33554432000 4194304 4196468 140728706352624 140097068460512 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12672] ppid=12603 vsize=10824364 memory=1772 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12672/stat : 12672 (java) S 12603 12606 5840 0 -1 1077944384 1 13032 0 0 0 0 5 3 20 0 15 0 445695670 11084148736 21920 33554432000 4194304 4196468 140728706352624 140098242862000 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87680 KiB
[startup+1.5008 s]
/proc/loadavg: 2.53 1.75 1.57 5/227 12672
/proc/meminfo: memFree=28800380/32770624 swapFree=66939752/67108860
[pid=12606] ppid=12603 vsize=10832632 memory=260284 CPUtime=2.88 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12603 12606 5840 0 -1 1077944320 23031 13032 0 0 267 13 5 3 20 0 15 0 445695654 11092615168 65071 33554432000 4194304 4196468 140728706352624 140728706335168 140098821627639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
/proc/12606/statm: 2708158 65071 3587 1 0 2670221 0
[pid=12606/tid=12659] ppid=12603 vsize=10832632 memory=213920 CPUtime=1.42 cores=0,2,4,6
/proc/12606/task/12659/stat : 12659 (java) R 12603 12606 5840 0 -1 4202560 15094 13032 0 0 128 6 5 3 20 0 15 0 445695664 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098793458464 140098805708126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12660] ppid=12603 vsize=10832632 memory=2436 CPUtime=0.1 cores=0,2,4,6
/proc/12606/task/12660/stat : 12660 (java) S 12603 12606 5840 0 -1 1077944384 56 13032 0 0 1 1 5 3 20 0 15 0 445695664 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098825869712 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12661] ppid=12603 vsize=10832632 memory=1760 CPUtime=0.1 cores=0,2,4,6
/proc/12606/task/12661/stat : 12661 (java) S 12603 12606 5840 0 -1 1077944384 41 13032 0 0 1 1 5 3 20 0 15 0 445695664 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098394728720 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12662] ppid=12603 vsize=10832632 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12606/task/12662/stat : 12662 (java) S 12603 12606 5840 0 -1 1077944384 90 13032 0 0 1 1 5 3 20 0 15 0 445695664 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098393676432 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12663] ppid=12603 vsize=10832632 memory=-7303279828959712342 CPUtime=0.09 cores=0,2,4,6
/proc/12606/task/12663/stat : 12663 (java) S 12603 12606 5840 0 -1 1077944384 291 13032 0 0 1 0 5 3 20 0 15 0 445695664 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098392623632 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12664] ppid=12603 vsize=10832632 memory=3833724587141655611 CPUtime=0.09 cores=0,2,4,6
/proc/12606/task/12664/stat : 12664 (java) S 12603 12606 5840 0 -1 1077944384 367 13032 0 0 1 0 5 3 20 0 15 0 445695666 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098348317296 140098821638786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12665] ppid=12603 vsize=10832632 memory=-6870368076204431200 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12665/stat : 12665 (java) S 12603 12606 5840 0 -1 1077944384 14 13032 0 0 0 0 5 3 20 0 15 0 445695666 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098276418912 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12666] ppid=12603 vsize=10832632 memory=-6078294146213043397 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12666/stat : 12666 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695666 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098142201472 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12667] ppid=12603 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12667/stat : 12667 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695669 11092615168 65100 33554432000 4194304 4196468 140728706352624 140097538222672 140098821646235 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12668] ppid=12603 vsize=10832632 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/12606/task/12668/stat : 12668 (java) S 12603 12606 5840 0 -1 1077944384 1449 13032 0 0 49 0 5 3 20 0 15 0 445695669 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098347264112 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12669] ppid=12603 vsize=10832632 memory=4580 CPUtime=0.53 cores=0,2,4,6
/proc/12606/task/12669/stat : 12669 (java) S 12603 12606 5840 0 -1 1077944384 1300 13032 0 0 45 0 5 3 20 0 15 0 445695669 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098346211312 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12670] ppid=12603 vsize=10832632 memory=7806256942251397200 CPUtime=0.41 cores=0,2,4,6
/proc/12606/task/12670/stat : 12670 (java) S 12603 12606 5840 0 -1 1077944384 2112 13032 0 0 33 0 5 3 20 0 15 0 445695669 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098345159024 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12671] ppid=12603 vsize=10832632 memory=4640767367890297188 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12671/stat : 12671 (java) S 12603 12606 5840 0 -1 1077944384 3 13032 0 0 0 0 5 3 20 0 15 0 445695670 11092615168 65100 33554432000 4194304 4196468 140728706352624 140097068460512 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12672] ppid=12603 vsize=10832632 memory=5865753167172037998 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12672/stat : 12672 (java) S 12603 12606 5840 0 -1 1077944384 3 13032 0 0 0 0 5 3 20 0 15 0 445695670 11092615168 65100 33554432000 4194304 4196468 140728706352624 140098242862000 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/12606/task/12659/stat : 12659 (java) R 12603 12606 5840 0 -1 4202560 67610 13032 0 0 243501 41 5 3 20 0 15 0 445695664 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098793456656 140098437583661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12660] ppid=12603 vsize=10844940 memory=1568872 CPUtime=2.78 cores=0,2,4,6
/proc/12606/task/12660/stat : 12660 (java) S 12603 12606 5840 0 -1 1077944384 10693 13032 0 0 249 21 5 3 20 0 15 0 445695664 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098825869712 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12661] ppid=12603 vsize=10844940 memory=111632 CPUtime=2.77 cores=0,2,4,6
/proc/12606/task/12661/stat : 12661 (java) S 12603 12606 5840 0 -1 1077944384 18219 13032 0 0 244 25 5 3 20 0 15 0 445695664 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098394728720 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12662] ppid=12603 vsize=10844940 memory=1568872 CPUtime=2.78 cores=0,2,4,6
/proc/12606/task/12662/stat : 12662 (java) S 12603 12606 5840 0 -1 1077944384 23405 13032 0 0 246 24 5 3 20 0 15 0 445695664 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098393676432 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12663] ppid=12603 vsize=10844940 memory=1568872 CPUtime=2.79 cores=0,2,4,6
/proc/12606/task/12663/stat : 12663 (java) S 12603 12606 5840 0 -1 1077944384 17598 13032 0 0 247 24 5 3 20 0 15 0 445695664 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098392623632 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12664] ppid=12603 vsize=10844940 memory=1566824 CPUtime=2.8 cores=0,2,4,6
/proc/12606/task/12664/stat : 12664 (java) S 12603 12606 5840 0 -1 1077944384 16659 13032 0 0 258 14 5 3 20 0 15 0 445695666 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098348317296 140098821638786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12665] ppid=12603 vsize=10844940 memory=1566824 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12665/stat : 12665 (java) S 12603 12606 5840 0 -1 1077944384 15 13032 0 0 0 0 5 3 20 0 15 0 445695666 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098276418976 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12666] ppid=12603 vsize=10844940 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12666/stat : 12666 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695666 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098142201472 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12667] ppid=12603 vsize=10844940 memory=1568872 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12667/stat : 12667 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695669 11105218560 392218 33554432000 4194304 4196468 140728706352624 140097538222672 140098821646235 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12668] ppid=12603 vsize=10844940 memory=1568872 CPUtime=3.75 cores=0,2,4,6
/proc/12606/task/12668/stat : 12668 (java) S 12603 12606 5840 0 -1 1077944384 28914 13032 0 0 364 3 5 3 20 0 15 0 445695669 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098347264112 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12669] ppid=12603 vsize=10844940 memory=1566824 CPUtime=3.81 cores=0,2,4,6
/proc/12606/task/12669/stat : 12669 (java) S 12603 12606 5840 0 -1 1077944384 32608 13032 0 0 369 4 5 3 20 0 15 0 445695669 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098346211312 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12670] ppid=12603 vsize=10844940 memory=1568872 CPUtime=1.5 cores=0,2,4,6
/proc/12606/task/12670/stat : 12670 (java) S 12603 12606 5840 0 -1 1077944384 14297 13032 0 0 138 4 5 3 20 0 15 0 445695669 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098345159024 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12671] ppid=12603 vsize=10844940 memory=1568872 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12671/stat : 12671 (java) S 12603 12606 5840 0 -1 1077944384 3 13032 0 0 0 0 5 3 20 0 15 0 445695670 11105218560 392218 33554432000 4194304 4196468 140728706352624 140097068460512 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12672] ppid=12603 vsize=10844940 memory=1568872 CPUtime=1.46 cores=0,2,4,6
/proc/12606/task/12672/stat : 12672 (java) S 12603 12606 5840 0 -1 1077944384 1688 13032 0 0 74 64 5 3 20 0 15 0 445695670 11105218560 392218 33554432000 4194304 4196468 140728706352624 140098242862000 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
Current children cumulated CPU time: 2459.34 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 1568872 KiB
[startup+2502.3 s]
/proc/loadavg: 1.43 1.39 1.39 3/226 13177
/proc/meminfo: memFree=28606564/32770624 swapFree=66939760/67108860
[pid=12606] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2519.59 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12603 12606 5840 0 -1 1077944320 235657 13032 0 0 251751 200 5 3 20 0 15 0 445695654 11105218560 392225 33554432000 4194304 4196468 140728706352624 140728706335168 140098821627639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
/proc/12606/statm: 2711235 392225 3623 1 0 2673293 0
[pid=12606/tid=12659] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2495.29 cores=0,2,4,6
/proc/12606/task/12659/stat : 12659 (java) R 12603 12606 5840 0 -1 4202560 68219 13032 0 0 249480 41 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098793459536 140098435886193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12660] ppid=12603 vsize=10844940 memory=164 CPUtime=2.86 cores=0,2,4,6
/proc/12606/task/12660/stat : 12660 (java) S 12603 12606 5840 0 -1 1077944384 10744 13032 0 0 257 21 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098825869712 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12661] ppid=12603 vsize=10844940 memory=1568880 CPUtime=2.85 cores=0,2,4,6
/proc/12606/task/12661/stat : 12661 (java) S 12603 12606 5840 0 -1 1077944384 18363 13032 0 0 252 25 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098394728720 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12662] ppid=12603 vsize=10844940 memory=1568892 CPUtime=2.86 cores=0,2,4,6
/proc/12606/task/12662/stat : 12662 (java) S 12603 12606 5840 0 -1 1077944384 23568 13032 0 0 254 24 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098393676432 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12663] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2.87 cores=0,2,4,6
/proc/12606/task/12663/stat : 12663 (java) S 12603 12606 5840 0 -1 1077944384 17953 13032 0 0 255 24 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098392623632 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12664] ppid=12603 vsize=10844940 memory=4000 CPUtime=2.9 cores=0,2,4,6
/proc/12606/task/12664/stat : 12664 (java) S 12603 12606 5840 0 -1 1077944384 17024 13032 0 0 267 15 5 3 20 0 15 0 445695666 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098348317296 140098821638786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12665] ppid=12603 vsize=10844940 memory=1568900 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12665/stat : 12665 (java) S 12603 12606 5840 0 -1 1077944384 15 13032 0 0 0 0 5 3 20 0 15 0 445695666 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098276418976 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12666] ppid=12603 vsize=10844940 memory=1566824 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12666/stat : 12666 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695666 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098142201472 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12667] ppid=12603 vsize=10844940 memory=1568900 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12667/stat : 12667 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140097538222672 140098821646235 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12668] ppid=12603 vsize=10844940 memory=3624 CPUtime=3.75 cores=0,2,4,6
/proc/12606/task/12668/stat : 12668 (java) S 12603 12606 5840 0 -1 1077944384 28918 13032 0 0 364 3 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098347264112 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12669] ppid=12603 vsize=10844940 memory=1568900 CPUtime=3.81 cores=0,2,4,6
/proc/12606/task/12669/stat : 12669 (java) S 12603 12606 5840 0 -1 1077944384 32612 13032 0 0 369 4 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098346211312 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12670] ppid=12603 vsize=10844940 memory=1568900 CPUtime=1.51 cores=0,2,4,6
/proc/12606/task/12670/stat : 12670 (java) S 12603 12606 5840 0 -1 1077944384 14301 13032 0 0 139 4 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098345159024 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12671] ppid=12603 vsize=10844940 memory=1568900 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12671/stat : 12671 (java) S 12603 12606 5840 0 -1 1077944384 3 13032 0 0 0 0 5 3 20 0 15 0 445695670 11105218560 392225 33554432000 4194304 4196468 140728706352624 140097068460512 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12672] ppid=12603 vsize=10844940 memory=1568892 CPUtime=1.5 cores=0,2,4,6
/proc/12606/task/12672/stat : 12672 (java) S 12603 12606 5840 0 -1 1077944384 1724 13032 0 0 76 66 5 3 20 0 15 0 445695670 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098242862000 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
Current children cumulated CPU time: 2519.59 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 1568900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502.7 s]
/proc/loadavg: 1.43 1.39 1.39 3/226 13177
/proc/meminfo: memFree=28606564/32770624 swapFree=66939760/67108860
[pid=12606] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2520 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12603 12606 5840 0 -1 1077944320 235658 13032 0 0 251792 200 5 3 20 0 15 0 445695654 11105218560 392225 33554432000 4194304 4196468 140728706352624 140728706335168 140098821627639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
/proc/12606/statm: 2711235 392225 3623 1 0 2673293 0
[pid=12606/tid=12659] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2495.69 cores=0,2,4,6
/proc/12606/task/12659/stat : 12659 (java) R 12603 12606 5840 0 -1 4202560 68220 13032 0 0 249520 41 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098793456480 140098437372108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12660] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2.86 cores=0,2,4,6
/proc/12606/task/12660/stat : 12660 (java) S 12603 12606 5840 0 -1 1077944384 10744 13032 0 0 257 21 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098825869712 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12661] ppid=12603 vsize=10844940 memory=164 CPUtime=2.85 cores=0,2,4,6
/proc/12606/task/12661/stat : 12661 (java) S 12603 12606 5840 0 -1 1077944384 18363 13032 0 0 252 25 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098394728720 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12662] ppid=12603 vsize=10844940 memory=1568880 CPUtime=2.86 cores=0,2,4,6
/proc/12606/task/12662/stat : 12662 (java) S 12603 12606 5840 0 -1 1077944384 23568 13032 0 0 254 24 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098393676432 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12663] ppid=12603 vsize=10844940 memory=1568892 CPUtime=2.87 cores=0,2,4,6
/proc/12606/task/12663/stat : 12663 (java) S 12603 12606 5840 0 -1 1077944384 17953 13032 0 0 255 24 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098392623632 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12664] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2.9 cores=0,2,4,6
/proc/12606/task/12664/stat : 12664 (java) S 12603 12606 5840 0 -1 1077944384 17024 13032 0 0 267 15 5 3 20 0 15 0 445695666 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098348317296 140098821638786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12665] ppid=12603 vsize=10844940 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12665/stat : 12665 (java) S 12603 12606 5840 0 -1 1077944384 15 13032 0 0 0 0 5 3 20 0 15 0 445695666 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098276418976 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12666] ppid=12603 vsize=10844940 memory=1568900 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12666/stat : 12666 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695666 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098142201472 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12667] ppid=12603 vsize=10844940 memory=1568900 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12667/stat : 12667 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140097538222672 140098821646235 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12668] ppid=12603 vsize=10844940 memory=1566824 CPUtime=3.75 cores=0,2,4,6
/proc/12606/task/12668/stat : 12668 (java) S 12603 12606 5840 0 -1 1077944384 28918 13032 0 0 364 3 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098347264112 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12669] ppid=12603 vsize=10844940 memory=1624 CPUtime=3.81 cores=0,2,4,6
/proc/12606/task/12669/stat : 12669 (java) S 12603 12606 5840 0 -1 1077944384 32612 13032 0 0 369 4 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098346211312 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12670] ppid=12603 vsize=10844940 memory=2688 CPUtime=1.51 cores=0,2,4,6
/proc/12606/task/12670/stat : 12670 (java) S 12603 12606 5840 0 -1 1077944384 14301 13032 0 0 139 4 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098345159024 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12671] ppid=12603 vsize=10844940 memory=1568900 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12671/stat : 12671 (java) S 12603 12606 5840 0 -1 1077944384 3 13032 0 0 0 0 5 3 20 0 15 0 445695670 11105218560 392225 33554432000 4194304 4196468 140728706352624 140097068460512 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12672] ppid=12603 vsize=10844940 memory=1568900 CPUtime=1.5 cores=0,2,4,6
/proc/12606/task/12672/stat : 12672 (java) S 12603 12606 5840 0 -1 1077944384 1724 13032 0 0 76 66 5 3 20 0 15 0 445695670 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098242862000 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 1568900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.74 s]
# the end of solver process 12606 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518 s, system=2.04526 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.7 s]
/proc/loadavg: 1.43 1.39 1.39 3/226 13177
/proc/meminfo: memFree=28606564/32770624 swapFree=66939760/67108860
[pid=12606] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2520 cores=0,2,4,6
/proc/12606/stat : 12606 (java) S 12603 12606 5840 0 -1 1077944320 235658 13032 0 0 251792 200 5 3 20 0 15 0 445695654 11105218560 392225 33554432000 4194304 4196468 140728706352624 140728706335168 140098821627639 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
/proc/12606/statm: 2711235 392225 3623 1 0 2673293 0
[pid=12606/tid=12659] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2495.69 cores=0,2,4,6
/proc/12606/task/12659/stat : 12659 (java) R 12603 12606 5840 0 -1 4202560 68220 13032 0 0 249520 41 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098793456480 140098437372108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12660] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2.86 cores=0,2,4,6
/proc/12606/task/12660/stat : 12660 (java) S 12603 12606 5840 0 -1 1077944384 10744 13032 0 0 257 21 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098825869712 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12661] ppid=12603 vsize=10844940 memory=164 CPUtime=2.85 cores=0,2,4,6
/proc/12606/task/12661/stat : 12661 (java) S 12603 12606 5840 0 -1 1077944384 18363 13032 0 0 252 25 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098394728720 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12662] ppid=12603 vsize=10844940 memory=1568880 CPUtime=2.86 cores=0,2,4,6
/proc/12606/task/12662/stat : 12662 (java) S 12603 12606 5840 0 -1 1077944384 23568 13032 0 0 254 24 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098393676432 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12663] ppid=12603 vsize=10844940 memory=1568892 CPUtime=2.87 cores=0,2,4,6
/proc/12606/task/12663/stat : 12663 (java) S 12603 12606 5840 0 -1 1077944384 17953 13032 0 0 255 24 5 3 20 0 15 0 445695664 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098392623632 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12664] ppid=12603 vsize=10844940 memory=1568900 CPUtime=2.9 cores=0,2,4,6
/proc/12606/task/12664/stat : 12664 (java) S 12603 12606 5840 0 -1 1077944384 17024 13032 0 0 267 15 5 3 20 0 15 0 445695666 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098348317296 140098821638786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12665] ppid=12603 vsize=10844940 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12665/stat : 12665 (java) S 12603 12606 5840 0 -1 1077944384 15 13032 0 0 0 0 5 3 20 0 15 0 445695666 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098276418976 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12666] ppid=12603 vsize=10844940 memory=1568900 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12666/stat : 12666 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695666 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098142201472 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12667] ppid=12603 vsize=10844940 memory=1568900 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12667/stat : 12667 (java) S 12603 12606 5840 0 -1 1077944384 2 13032 0 0 0 0 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140097538222672 140098821646235 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12668] ppid=12603 vsize=10844940 memory=1566824 CPUtime=3.75 cores=0,2,4,6
/proc/12606/task/12668/stat : 12668 (java) S 12603 12606 5840 0 -1 1077944384 28918 13032 0 0 364 3 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098347264112 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12669] ppid=12603 vsize=10844940 memory=1624 CPUtime=3.81 cores=0,2,4,6
/proc/12606/task/12669/stat : 12669 (java) S 12603 12606 5840 0 -1 1077944384 32612 13032 0 0 369 4 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098346211312 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12670] ppid=12603 vsize=10844940 memory=2688 CPUtime=1.51 cores=0,2,4,6
/proc/12606/task/12670/stat : 12670 (java) S 12603 12606 5840 0 -1 1077944384 14301 13032 0 0 139 4 5 3 20 0 15 0 445695669 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098345159024 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12671] ppid=12603 vsize=10844940 memory=1568900 CPUtime=0.08 cores=0,2,4,6
/proc/12606/task/12671/stat : 12671 (java) S 12603 12606 5840 0 -1 1077944384 3 13032 0 0 0 0 5 3 20 0 15 0 445695670 11105218560 392225 33554432000 4194304 4196468 140728706352624 140097068460512 140098821637845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
[pid=12606/tid=12672] ppid=12603 vsize=10844940 memory=1568900 CPUtime=1.5 cores=0,2,4,6
/proc/12606/task/12672/stat : 12672 (java) S 12603 12606 5840 0 -1 1077944384 1724 13032 0 0 76 66 5 3 20 0 15 0 445695670 11105218560 392225 33554432000 4194304 4196468 140728706352624 140098242862000 140098821638786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728706357999 140728706360517 140728706360517 140728706363343 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 1568900 KiB
Child status: 143
Real time (s): 2502.74
CPU time (s): 2520.05
CPU user time (s): 2518
CPU system time (s): 2.04526
CPU usage (%): 100.692
Max. virtual memory (cumulated for all children) (KiB): 10850208
Max. memory (cumulated for all children) (KiB): 1818948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518
system time used= 2.04526
maximum resident set size= 1825092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250017
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113086
involuntary context switches= 7711
# summary of solver processes directly reported to runsolver:
# pid: 12606
# total CPU time (s): 2520.05
# total CPU user time (s): 2518
# total CPU system time (s): 2.04526
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8982 second user time and 24.0557 second system time
The end