runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459767-1307166725/watcher-3459767-1307166725 -o /tmp/evaluation-result-3459767-1307166725/solver-3459767-1307166725 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459767-1307166725.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.00 1.96 2/404 6682
/proc/meminfo: memFree=22493400/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 1238 0 0 0 0 0 0 0 18 0 2 0 828277487 31260672 957 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 7632 957 730 9 0 383 0
[pid=6682/tid=6683] ppid=6680 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 4285 0 1 0 0 0 0 0 19 0 2 0 828277488 13850947584 5101 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0812989 s]
/proc/loadavg: 1.94 2.00 1.96 2/404 6682
/proc/meminfo: memFree=22493400/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=13555088 CPUtime=0.07 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 14504 0 1 0 5 2 0 0 18 0 18 0 828277487 13880410112 14200 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 3388772 14200 1755 9 0 3379506 0
[pid=6682/tid=6683] ppid=6680 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 13329 0 1 0 5 1 0 0 25 0 18 0 828277488 13880410112 14200 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382774214 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.100326 s]
/proc/loadavg: 1.94 2.00 1.96 2/404 6682
/proc/meminfo: memFree=22493400/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=13622292 CPUtime=0.11 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 15576 0 1 0 9 2 0 0 18 0 18 0 828277487 13949227008 15263 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 3405573 15266 2092 9 0 3396307 0
[pid=6682/tid=6683] ppid=6680 vsize=13622292 CPUtime=0.08 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 13660 0 1 0 7 1 0 0 18 0 18 0 828277488 13949227008 15266 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 46912496197408 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622292
[startup+0.302765 s]
/proc/loadavg: 1.94 2.00 1.96 2/404 6682
/proc/meminfo: memFree=22493400/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=13622768 CPUtime=0.37 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 102620 0 1 0 26 11 0 0 18 0 18 0 828277487 13949714432 102194 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 3405692 102195 2174 9 0 3396426 0
[pid=6682/tid=6683] ppid=6680 vsize=13622768 CPUtime=0.28 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 100349 0 1 0 18 10 0 0 18 0 18 0 828277488 13949714432 102195 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 47625840757587 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 13622768
[startup+0.701194 s]
/proc/loadavg: 1.94 2.00 1.96 2/404 6682
/proc/meminfo: memFree=22493400/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=13623572 CPUtime=0.87 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 130152 0 1 0 73 14 0 0 18 0 18 0 828277487 13950537728 129504 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 3405893 129507 2199 9 0 3396627 0
[pid=6682/tid=6683] ppid=6680 vsize=13623572 CPUtime=0.69 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 127349 0 1 0 55 14 0 0 18 0 18 0 828277488 13950537728 129508 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 46912505569691 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 13623572
[startup+1.50102 s]
/proc/loadavg: 1.94 2.00 1.96 3/422 6700
/proc/meminfo: memFree=21888144/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=13623572 CPUtime=1.66 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 190713 0 1 0 145 21 0 0 18 0 18 0 828277487 13950537728 190064 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 3405893 190067 2199 9 0 3396627 0
[pid=6682/tid=6683] ppid=6680 vsize=13623572 CPUtime=1.49 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 187909 0 1 0 128 21 0 0 19 0 18 0 828277488 13950537728 190068 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 46912505574970 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6682/tid=6685] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6685/stat : 6685 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 828277490 13950537728 190070 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6686] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6686/stat : 6686 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 190072 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6687] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6687/stat : 6687 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 190074 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6688] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6688/stat : 6688 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 190076 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6689] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6689/stat : 6689 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 190078 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6690] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6690/stat : 6690 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 190079 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6691] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6691/stat : 6691 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 190081 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6692] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6692/stat : 6692 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 828277490 13950537728 190083 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6693] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6693/stat : 6693 (java) S 6680 6682 6095 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 828277491 13950537728 190085 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 0 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6694] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6694/stat : 6694 (java) S 6680 6682 6095 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 828277491 13950537728 190087 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6695] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6695/stat : 6695 (java) S 6680 6682 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 828277491 13950537728 190088 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6696] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6696/stat : 6696 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828277493 13950537728 190090 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382780849 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6697] ppid=6680 vsize=13623572 CPUtime=0.08 cores=0,2,4,6
/proc/6682/task/6697/stat : 6697 (java) S 6680 6682 6095 0 -1 4202560 702 0 0 0 8 0 0 0 24 0 18 0 828277493 13950537728 190092 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6698] ppid=6680 vsize=13623572 CPUtime=0.08 cores=0,2,4,6
/proc/6682/task/6698/stat : 6698 (java) S 6680 6682 6095 0 -1 4202560 955 0 0 0 8 0 0 0 15 0 18 0 828277493 13950537728 190094 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6699] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6699/stat : 6699 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828277494 13950537728 190096 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6700] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6700/stat : 6700 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 828277494 13950537728 190098 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 13623572
[startup+3.10074 s]
/proc/loadavg: 1.94 2.00 1.96 3/422 6700
/proc/meminfo: memFree=21552368/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=13623572 CPUtime=3.27 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 313272 0 1 0 291 36 0 0 18 0 18 0 828277487 13950537728 312623 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 3405893 312625 2203 9 0 3396627 0
[pid=6682/tid=6683] ppid=6680 vsize=13623572 CPUtime=3.09 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 310464 0 1 0 273 36 0 0 25 0 18 0 828277488 13950537728 312627 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 46912505552923 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6682/tid=6685] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6685/stat : 6685 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 828277490 13950537728 312629 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6686] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6686/stat : 6686 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 312630 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6687] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6687/stat : 6687 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 312632 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6688] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6688/stat : 6688 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 312634 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6689] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6689/stat : 6689 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 312636 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6690] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6690/stat : 6690 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 312637 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6691] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6691/stat : 6691 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13950537728 312639 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6692] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6692/stat : 6692 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 828277490 13950537728 312641 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6693] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6693/stat : 6693 (java) S 6680 6682 6095 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 828277491 13950537728 312643 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 0 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6694] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6694/stat : 6694 (java) S 6680 6682 6095 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 828277491 13950537728 312644 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6695] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6695/stat : 6695 (java) S 6680 6682 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 828277491 13950537728 312646 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6696] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6696/stat : 6696 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828277493 13950537728 312648 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382780849 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6697] ppid=6680 vsize=13623572 CPUtime=0.08 cores=0,2,4,6
/proc/6682/task/6697/stat : 6697 (java) S 6680 6682 6095 0 -1 4202560 702 0 0 0 8 0 0 0 24 0 18 0 828277493 13950537728 312650 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6698] ppid=6680 vsize=13623572 CPUtime=0.08 cores=0,2,4,6
/proc/6682/task/6698/stat : 6698 (java) S 6680 6682 6095 0 -1 4202560 959 0 0 0 8 0 0 0 15 0 18 0 828277493 13950537728 312651 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6699] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6699/stat : 6699 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828277494 13950537728 312653 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6700] ppid=6680 vsize=13623572 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6700/stat : 6700 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 828277494 13950537728 312655 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 13623572
[startup+6.3012 s]
/proc/loadavg: 1.94 2.00 1.96 3/422 6700
/proc/meminfo: memFree=20545688/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=13622736 CPUtime=6.48 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 572051 0 1 0 584 64 0 0 18 0 18 0 828277487 13949681664 571198 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 3405684 571202 2205 9 0 3396418 0
[pid=6682/tid=6683] ppid=6680 vsize=13622736 CPUtime=6.29 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 569215 0 1 0 565 64 0 0 19 0 18 0 828277488 13949681664 571203 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 46912505574686 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6682/tid=6685] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6685/stat : 6685 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 828277490 13949681664 571205 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6686] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6686/stat : 6686 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13949681664 571208 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6687] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6687/stat : 6687 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13949681664 571210 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6688] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6688/stat : 6688 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13949681664 571212 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6689] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6689/stat : 6689 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13949681664 571214 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6690] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6690/stat : 6690 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13949681664 571216 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6691] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6691/stat : 6691 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 828277490 13949681664 571218 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6692] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6692/stat : 6692 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 828277490 13949681664 571220 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6693] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6693/stat : 6693 (java) S 6680 6682 6095 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 828277491 13949681664 571222 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 0 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6694] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6694/stat : 6694 (java) S 6680 6682 6095 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 828277491 13949681664 571224 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6695] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6695/stat : 6695 (java) S 6680 6682 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 828277491 13949681664 571226 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6696] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6696/stat : 6696 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828277493 13949681664 571228 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382780849 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6697] ppid=6680 vsize=13622736 CPUtime=0.08 cores=0,2,4,6
/proc/6682/task/6697/stat : 6697 (java) S 6680 6682 6095 0 -1 4202560 702 0 0 0 8 0 0 0 18 0 18 0 828277493 13949681664 571230 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6698] ppid=6680 vsize=13622736 CPUtime=0.1 cores=0,2,4,6
/proc/6682/task/6698/stat : 6698 (java) S 6680 6682 6095 0 -1 4202560 986 0 0 0 10 0 0 0 15 0 18 0 828277493 13949681664 571232 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6699] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6699/stat : 6699 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828277494 13949681664 571234 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6700] ppid=6680 vsize=13622736 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6700/stat : 6700 (java) S 6680 6682 6095 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 828277494 13949681664 571236 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=6682/tid=6683] ppid=6680 vsize=13648680 CPUtime=1482.35 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 846002 0 1 0 148098 137 0 0 25 0 19 0 828277488 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 46912506060456 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6682/tid=6685] ppid=6680 vsize=13648680 CPUtime=29.19 cores=0,2,4,6
/proc/6682/task/6685/stat : 6685 (java) S 6680 6682 6095 0 -1 4202560 218040 0 0 0 2877 42 0 0 15 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6686] ppid=6680 vsize=13648680 CPUtime=28.72 cores=0,2,4,6
/proc/6682/task/6686/stat : 6686 (java) S 6680 6682 6095 0 -1 4202560 207964 0 0 0 2836 36 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6687] ppid=6680 vsize=13648680 CPUtime=27.2 cores=0,2,4,6
/proc/6682/task/6687/stat : 6687 (java) S 6680 6682 6095 0 -1 4202560 216951 0 0 0 2683 37 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 2 0 0 0
[pid=6682/tid=6688] ppid=6680 vsize=13648680 CPUtime=30.92 cores=0,2,4,6
/proc/6682/task/6688/stat : 6688 (java) S 6680 6682 6095 0 -1 4202560 182916 0 0 0 3056 36 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6689] ppid=6680 vsize=13648680 CPUtime=29.25 cores=0,2,4,6
/proc/6682/task/6689/stat : 6689 (java) S 6680 6682 6095 0 -1 4202560 218678 0 0 0 2886 39 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 2 0 0 0
[pid=6682/tid=6690] ppid=6680 vsize=13648680 CPUtime=28.32 cores=0,2,4,6
/proc/6682/task/6690/stat : 6690 (java) S 6680 6682 6095 0 -1 4202560 205588 0 0 0 2798 34 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6691] ppid=6680 vsize=13648680 CPUtime=30.18 cores=0,2,4,6
/proc/6682/task/6691/stat : 6691 (java) S 6680 6682 6095 0 -1 4202560 186833 0 0 0 2974 44 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6692] ppid=6680 vsize=13648680 CPUtime=28.94 cores=0,2,4,6
/proc/6682/task/6692/stat : 6692 (java) S 6680 6682 6095 0 -1 4202560 215359 0 0 0 2849 45 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6693] ppid=6680 vsize=13648680 CPUtime=0.09 cores=0,2,4,6
/proc/6682/task/6693/stat : 6693 (java) S 6680 6682 6095 0 -1 4202560 38 0 0 0 5 4 0 0 15 0 19 0 828277491 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 0 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6694] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6694/stat : 6694 (java) S 6680 6682 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828277491 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6695] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6695/stat : 6695 (java) S 6680 6682 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828277491 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6696] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6696/stat : 6696 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828277493 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382780849 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6697] ppid=6680 vsize=13648680 CPUtime=0.71 cores=0,2,4,6
/proc/6682/task/6697/stat : 6697 (java) S 6680 6682 6095 0 -1 4202560 1599 0 0 0 71 0 0 0 15 0 19 0 828277493 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6698] ppid=6680 vsize=13648680 CPUtime=0.63 cores=0,2,4,6
/proc/6682/task/6698/stat : 6698 (java) S 6680 6682 6095 0 -1 4202560 4842 0 0 0 62 1 0 0 15 0 19 0 828277493 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 2 0 0 0
[pid=6682/tid=6699] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6699/stat : 6699 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828277494 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6700] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6700/stat : 6700 (java) S 6680 6682 6095 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 828277494 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6713] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6713/stat : 6713 (java) S 6680 6682 6095 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 828320635 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1716.61
Current children cumulated vsize (KiB) 13648680
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.07 3/423 6756
/proc/meminfo: memFree=12366148/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=13648680 CPUtime=1776.61 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 2506052 0 1 0 177201 460 0 0 18 0 19 0 828277487 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 3412170 2480985 2241 9 0 3402904 0
[pid=6682/tid=6683] ppid=6680 vsize=13648680 CPUtime=1542.35 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 846002 0 1 0 154098 137 0 0 25 0 19 0 828277488 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 46912506025091 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6682/tid=6685] ppid=6680 vsize=13648680 CPUtime=29.19 cores=0,2,4,6
/proc/6682/task/6685/stat : 6685 (java) S 6680 6682 6095 0 -1 4202560 218040 0 0 0 2877 42 0 0 15 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6686] ppid=6680 vsize=13648680 CPUtime=28.72 cores=0,2,4,6
/proc/6682/task/6686/stat : 6686 (java) S 6680 6682 6095 0 -1 4202560 207964 0 0 0 2836 36 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6687] ppid=6680 vsize=13648680 CPUtime=27.2 cores=0,2,4,6
/proc/6682/task/6687/stat : 6687 (java) S 6680 6682 6095 0 -1 4202560 216951 0 0 0 2683 37 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 2 0 0 0
[pid=6682/tid=6688] ppid=6680 vsize=13648680 CPUtime=30.92 cores=0,2,4,6
/proc/6682/task/6688/stat : 6688 (java) S 6680 6682 6095 0 -1 4202560 182916 0 0 0 3056 36 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6689] ppid=6680 vsize=13648680 CPUtime=29.25 cores=0,2,4,6
/proc/6682/task/6689/stat : 6689 (java) S 6680 6682 6095 0 -1 4202560 218678 0 0 0 2886 39 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 2 0 0 0
[pid=6682/tid=6690] ppid=6680 vsize=13648680 CPUtime=28.32 cores=0,2,4,6
/proc/6682/task/6690/stat : 6690 (java) S 6680 6682 6095 0 -1 4202560 205588 0 0 0 2798 34 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6691] ppid=6680 vsize=13648680 CPUtime=30.18 cores=0,2,4,6
/proc/6682/task/6691/stat : 6691 (java) S 6680 6682 6095 0 -1 4202560 186833 0 0 0 2974 44 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6692] ppid=6680 vsize=13648680 CPUtime=28.94 cores=0,2,4,6
/proc/6682/task/6692/stat : 6692 (java) S 6680 6682 6095 0 -1 4202560 215359 0 0 0 2849 45 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6693] ppid=6680 vsize=13648680 CPUtime=0.09 cores=0,2,4,6
/proc/6682/task/6693/stat : 6693 (java) S 6680 6682 6095 0 -1 4202560 38 0 0 0 5 4 0 0 15 0 19 0 828277491 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 0 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6694] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6694/stat : 6694 (java) S 6680 6682 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828277491 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6695] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6695/stat : 6695 (java) S 6680 6682 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828277491 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6696] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6696/stat : 6696 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828277493 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382780849 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6697] ppid=6680 vsize=13648680 CPUtime=0.71 cores=0,2,4,6
/proc/6682/task/6697/stat : 6697 (java) S 6680 6682 6095 0 -1 4202560 1599 0 0 0 71 0 0 0 15 0 19 0 828277493 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6698] ppid=6680 vsize=13648680 CPUtime=0.63 cores=0,2,4,6
/proc/6682/task/6698/stat : 6698 (java) S 6680 6682 6095 0 -1 4202560 4842 0 0 0 62 1 0 0 15 0 19 0 828277493 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 2 0 0 0
[pid=6682/tid=6699] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6699/stat : 6699 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828277494 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6700] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6700/stat : 6700 (java) S 6680 6682 6095 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 828277494 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6713] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6713/stat : 6713 (java) S 6680 6682 6095 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 828320635 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1776.61
Current children cumulated vsize (KiB) 13648680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1625.7 s]
/proc/loadavg: 2.02 2.02 2.07 3/423 6756
/proc/meminfo: memFree=12365924/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=13648680 CPUtime=1800.02 cores=0,2,4,6
/proc/6682/stat : 6682 (java) S 6680 6682 6095 0 -1 4202496 2506054 0 1 0 179542 460 0 0 18 0 19 0 828277487 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 3412170 2480985 2241 9 0 3402904 0
[pid=6682/tid=6683] ppid=6680 vsize=13648680 CPUtime=1565.76 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4202560 846002 0 1 0 156439 137 0 0 25 0 19 0 828277488 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 46912506025091 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6682/tid=6685] ppid=6680 vsize=13648680 CPUtime=29.19 cores=0,2,4,6
/proc/6682/task/6685/stat : 6685 (java) S 6680 6682 6095 0 -1 4202560 218040 0 0 0 2877 42 0 0 15 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6686] ppid=6680 vsize=13648680 CPUtime=28.72 cores=0,2,4,6
/proc/6682/task/6686/stat : 6686 (java) S 6680 6682 6095 0 -1 4202560 207964 0 0 0 2836 36 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6687] ppid=6680 vsize=13648680 CPUtime=27.2 cores=0,2,4,6
/proc/6682/task/6687/stat : 6687 (java) S 6680 6682 6095 0 -1 4202560 216951 0 0 0 2683 37 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 2 0 0 0
[pid=6682/tid=6688] ppid=6680 vsize=13648680 CPUtime=30.92 cores=0,2,4,6
/proc/6682/task/6688/stat : 6688 (java) S 6680 6682 6095 0 -1 4202560 182916 0 0 0 3056 36 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6689] ppid=6680 vsize=13648680 CPUtime=29.25 cores=0,2,4,6
/proc/6682/task/6689/stat : 6689 (java) S 6680 6682 6095 0 -1 4202560 218678 0 0 0 2886 39 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 2 0 0 0
[pid=6682/tid=6690] ppid=6680 vsize=13648680 CPUtime=28.32 cores=0,2,4,6
/proc/6682/task/6690/stat : 6690 (java) S 6680 6682 6095 0 -1 4202560 205588 0 0 0 2798 34 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6691] ppid=6680 vsize=13648680 CPUtime=30.18 cores=0,2,4,6
/proc/6682/task/6691/stat : 6691 (java) S 6680 6682 6095 0 -1 4202560 186833 0 0 0 2974 44 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6692] ppid=6680 vsize=13648680 CPUtime=28.94 cores=0,2,4,6
/proc/6682/task/6692/stat : 6692 (java) S 6680 6682 6095 0 -1 4202560 215359 0 0 0 2849 45 0 0 16 0 19 0 828277490 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6693] ppid=6680 vsize=13648680 CPUtime=0.09 cores=0,2,4,6
/proc/6682/task/6693/stat : 6693 (java) S 6680 6682 6095 0 -1 4202560 38 0 0 0 5 4 0 0 15 0 19 0 828277491 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 0 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6694] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6694/stat : 6694 (java) S 6680 6682 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828277491 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
[pid=6682/tid=6695] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6695/stat : 6695 (java) S 6680 6682 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828277491 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6696] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6696/stat : 6696 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828277493 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382780849 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6697] ppid=6680 vsize=13648680 CPUtime=0.71 cores=0,2,4,6
/proc/6682/task/6697/stat : 6697 (java) S 6680 6682 6095 0 -1 4202560 1599 0 0 0 71 0 0 0 15 0 19 0 828277493 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6698] ppid=6680 vsize=13648680 CPUtime=0.63 cores=0,2,4,6
/proc/6682/task/6698/stat : 6698 (java) S 6680 6682 6095 0 -1 4202560 4842 0 0 0 62 1 0 0 15 0 19 0 828277493 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 2 0 0 0
[pid=6682/tid=6699] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6699/stat : 6699 (java) S 6680 6682 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828277494 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773145 0 4 0 16800975 18446604441316232000 0 0 -1 4 0 0 0
[pid=6682/tid=6700] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6700/stat : 6700 (java) S 6680 6682 6095 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 828277494 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 4 0 16800975 18446604441316232000 0 0 -1 0 0 0 0
[pid=6682/tid=6713] ppid=6680 vsize=13648680 CPUtime=0 cores=0,2,4,6
/proc/6682/task/6713/stat : 6713 (java) S 6680 6682 6095 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 828320635 13976248320 2480985 33554432000 1073741824 1073778376 140736601592672 18446744073709551615 218382773760 0 4 0 16800975 18446604441316232000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13648680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1626.6 s]
/proc/loadavg: 2.02 2.02 2.07 10/426 6760
/proc/meminfo: memFree=11885772/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=0 CPUtime=1803.42 cores=0,2,4,6
/proc/6682/stat : 6682 (java) Z 6680 6682 6095 0 -1 4203548 2805312 0 1 0 179827 515 0 0 18 0 2 0 828277487 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 0 0 0 0 0 0 0
[pid=6682/tid=6683] ppid=6680 vsize=0 CPUtime=1565.8 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4203588 846002 0 1 0 156440 140 0 0 21 0 2 0 828277488 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1803.42
Current children cumulated vsize (KiB) 0
[startup+1626.8 s]
/proc/loadavg: 2.02 2.02 2.07 10/426 6760
/proc/meminfo: memFree=11885772/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=0 CPUtime=1803.62 cores=0,2,4,6
/proc/6682/stat : 6682 (java) Z 6680 6682 6095 0 -1 4203548 2805312 0 1 0 179827 535 0 0 18 0 2 0 828277487 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 0 0 0 0 0 0 0
[pid=6682/tid=6683] ppid=6680 vsize=0 CPUtime=1566 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4203588 846002 0 1 0 156440 160 0 0 21 0 2 0 828277488 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1803.62
Current children cumulated vsize (KiB) 0
[startup+1626.9 s]
/proc/loadavg: 2.02 2.02 2.07 10/426 6760
/proc/meminfo: memFree=11885772/32951124 swapFree=49244120/67111528
[pid=6682] ppid=6680 vsize=0 CPUtime=1803.72 cores=0,2,4,6
/proc/6682/stat : 6682 (java) Z 6680 6682 6095 0 -1 4203548 2805312 0 1 0 179827 545 0 0 18 0 2 0 828277487 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6682/statm: 0 0 0 0 0 0 0
[pid=6682/tid=6683] ppid=6680 vsize=0 CPUtime=1566.1 cores=0,2,4,6
/proc/6682/task/6683/stat : 6683 (java) R 6680 6682 6095 0 -1 4203588 846002 0 1 0 156440 170 0 0 21 0 2 0 828277488 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1803.72
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1627
CPU time (s): 1803.83
CPU user time (s): 1798.28
CPU system time (s): 5.54716
CPU usage (%): 110.868
Max. virtual memory (cumulated for all children) (KiB): 13654408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.28
system time used= 5.54716
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2805312
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63839
involuntary context switches= 507669
runsolver used 6.73398 second user time and 14.3768 second system time
The end