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-3454316-1307187632/watcher-3454316-1307187632 -o /tmp/evaluation-result-3454316-1307187632/solver-3454316-1307187632 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454316-1307187632.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: 3.89 3.65 3.03 3/498 881
/proc/meminfo: memFree=18260084/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/881/stat : 881 (java) R 879 881 28116 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 1 0 811178553 9318400 171 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254261659783 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/881/statm: 2275 173 132 9 0 67 0
[pid=881/tid=882] ppid=879 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) R 879 881 28116 0 -1 4202560 6316 0 1 0 0 0 0 0 25 0 2 0 811178554 10694979584 7132 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0551001 s]
/proc/loadavg: 3.89 3.65 3.03 3/498 881
/proc/meminfo: memFree=18260084/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 11518 0 1 0 3 1 0 0 25 0 13 0 811178553 10718838784 11214 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2616904 11214 1685 9 0 2607652 0
[pid=881/tid=882] ppid=879 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) R 879 881 28116 0 -1 4202560 10369 0 1 0 3 1 0 0 25 0 13 0 811178554 10718838784 11214 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912505219208 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.101062 s]
/proc/loadavg: 3.89 3.65 3.03 3/498 881
/proc/meminfo: memFree=18260084/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10539624 CPUtime=0.11 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 12974 0 1 0 9 2 0 0 25 0 18 0 811178553 10792574976 12670 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2634906 12670 2092 9 0 2625640 0
[pid=881/tid=882] ppid=879 vsize=10539624 CPUtime=0.08 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) R 879 881 28116 0 -1 4202560 11198 0 1 0 7 1 0 0 18 0 18 0 811178554 10792574976 12670 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 47566225820611 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539624
[startup+0.300998 s]
/proc/loadavg: 3.89 3.65 3.03 3/498 881
/proc/meminfo: memFree=18260084/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10541532 CPUtime=0.49 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 16988 0 1 0 47 2 0 0 25 0 18 0 811178553 10794528768 16334 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2635383 16335 2200 9 0 2626117 0
[pid=881/tid=882] ppid=879 vsize=10541532 CPUtime=0.29 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) R 879 881 28116 0 -1 4202560 13958 0 1 0 27 2 0 0 18 0 18 0 811178554 10794528768 16335 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912505576158 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541532
[startup+0.701013 s]
/proc/loadavg: 3.89 3.65 3.03 3/498 881
/proc/meminfo: memFree=18260084/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10545252 CPUtime=1.19 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 56497 0 1 0 112 7 0 0 25 0 18 0 811178553 10798338048 54328 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2636313 54333 2213 9 0 2627047 0
[pid=881/tid=882] ppid=879 vsize=10545252 CPUtime=0.68 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) R 879 881 28116 0 -1 4202560 50178 0 1 0 63 5 0 0 18 0 18 0 811178554 10798338048 54335 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912505560538 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10545252
[startup+1.50082 s]
/proc/loadavg: 3.89 3.65 3.03 4/516 899
/proc/meminfo: memFree=17908408/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10545716 CPUtime=2.1 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 144141 0 1 0 193 17 0 0 25 0 18 0 811178553 10798813184 141933 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2636429 141936 2223 9 0 2627163 0
[pid=881/tid=882] ppid=879 vsize=10545716 CPUtime=1.48 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) R 879 881 28116 0 -1 4202560 137546 0 1 0 132 16 0 0 20 0 18 0 811178554 10798813184 141937 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912505542947 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=881/tid=884] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811178556 10798813184 141940 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=885] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/885/stat : 885 (java) S 879 881 28116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811178556 10798813184 141942 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=886] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/886/stat : 886 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811178556 10798813184 141944 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=887] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/887/stat : 887 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811178556 10798813184 141945 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=888] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/888/stat : 888 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811178556 10798813184 141948 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=889] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/889/stat : 889 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811178556 10798813184 141951 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=890] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/890/stat : 890 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811178556 10798813184 141953 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=891] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/891/stat : 891 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811178556 10798813184 141962 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=892] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/892/stat : 892 (java) S 879 881 28116 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811178557 10798813184 141970 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 0 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=893] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/893/stat : 893 (java) S 879 881 28116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811178557 10798813184 141972 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=894] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/894/stat : 894 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811178557 10798813184 141975 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=895] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/895/stat : 895 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811178559 10798813184 141977 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273440177 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=896] ppid=879 vsize=10545716 CPUtime=0.31 cores=0,2,4,6
/proc/881/task/896/stat : 896 (java) S 879 881 28116 0 -1 4202560 3453 0 0 0 31 0 0 0 17 0 18 0 811178559 10798813184 141979 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=897] ppid=879 vsize=10545716 CPUtime=0.29 cores=0,2,4,6
/proc/881/task/897/stat : 897 (java) R 879 881 28116 0 -1 4202560 2009 0 0 0 29 0 0 0 17 0 18 0 811178559 10798813184 141981 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 47566225809872 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=881/tid=898] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/898/stat : 898 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811178559 10798813184 141983 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=899] ppid=879 vsize=10545716 CPUtime=0 cores=0,2,4,6
/proc/881/task/899/stat : 899 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 811178559 10798813184 141985 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10545716
[startup+3.10156 s]
/proc/loadavg: 3.81 3.63 3.03 7/520 903
/proc/meminfo: memFree=17529680/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10549000 CPUtime=6 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 260777 0 1 0 568 32 0 0 25 0 22 0 811178553 10802176000 255352 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2637250 255354 2241 9 0 2627984 0
[pid=881/tid=882] ppid=879 vsize=10549000 CPUtime=1.8 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) S 879 881 28116 0 -1 4202560 169657 0 1 0 161 19 0 0 15 0 22 0 811178554 10802176000 255354 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=884] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802176000 255356 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=885] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/885/stat : 885 (java) S 879 881 28116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811178556 10802176000 255357 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=886] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/886/stat : 886 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802176000 255358 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=887] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/887/stat : 887 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802176000 255359 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=888] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/888/stat : 888 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802176000 255360 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=889] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/889/stat : 889 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802176000 255361 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=890] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/890/stat : 890 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802176000 255362 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=891] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/891/stat : 891 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802176000 255363 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=892] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/892/stat : 892 (java) S 879 881 28116 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 811178557 10802176000 255364 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 0 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=881/tid=893] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/893/stat : 893 (java) S 879 881 28116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811178557 10802176000 255366 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=894] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/894/stat : 894 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811178557 10802176000 255367 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=895] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/895/stat : 895 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178559 10802176000 255368 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273440177 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=896] ppid=879 vsize=10549000 CPUtime=0.74 cores=0,2,4,6
/proc/881/task/896/stat : 896 (java) S 879 881 28116 0 -1 4202560 4034 0 0 0 74 0 0 0 15 0 22 0 811178559 10802176000 255369 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=897] ppid=879 vsize=10549000 CPUtime=0.88 cores=0,2,4,6
/proc/881/task/897/stat : 897 (java) S 879 881 28116 0 -1 4202560 4585 0 0 0 87 1 0 0 15 0 22 0 811178559 10802176000 255370 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=898] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/898/stat : 898 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178559 10802176000 255372 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=899] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/899/stat : 899 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811178559 10802176000 255373 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=900] ppid=879 vsize=10549000 CPUtime=1.28 cores=0,2,4,6
/proc/881/task/900/stat : 900 (java) R 879 881 28116 0 -1 4202560 1370 0 0 0 128 0 0 0 20 0 22 0 811178735 10802176000 255374 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912505982240 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=881/tid=901] ppid=879 vsize=10549000 CPUtime=1.26 cores=0,2,4,6
/proc/881/task/901/stat : 901 (java) R 879 881 28116 0 -1 4202560 79985 0 0 0 116 10 0 0 25 0 22 0 811178735 10802176000 255375 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912505907883 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=881/tid=902] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/902/stat : 902 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811178740 10802176000 255376 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=903] ppid=879 vsize=10549000 CPUtime=0 cores=0,2,4,6
/proc/881/task/903/stat : 903 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 811178740 10802176000 255377 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 10549000
[startup+6.30101 s]
/proc/loadavg: 3.81 3.63 3.03 5/520 903
/proc/meminfo: memFree=16537116/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10548904 CPUtime=12.82 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 522959 0 1 0 1220 62 0 0 25 0 22 0 811178553 10802077696 512208 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2637226 512210 2243 9 0 2627960 0
[pid=881/tid=882] ppid=879 vsize=10548904 CPUtime=1.8 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) S 879 881 28116 0 -1 4202560 169657 0 1 0 161 19 0 0 15 0 22 0 811178554 10802077696 512211 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=884] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802077696 512212 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=885] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/885/stat : 885 (java) S 879 881 28116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811178556 10802077696 512213 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=886] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/886/stat : 886 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802077696 512214 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=887] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/887/stat : 887 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802077696 512215 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=888] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/888/stat : 888 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802077696 512216 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=889] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/889/stat : 889 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802077696 512217 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=890] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/890/stat : 890 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802077696 512219 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=891] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/891/stat : 891 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178556 10802077696 512220 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=892] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/892/stat : 892 (java) S 879 881 28116 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 811178557 10802077696 512221 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 0 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=881/tid=893] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/893/stat : 893 (java) S 879 881 28116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811178557 10802077696 512222 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=894] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/894/stat : 894 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811178557 10802077696 512223 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=895] ppid=879 vsize=10548904 CPUtime=0 cores=0,2,4,6
/proc/881/task/895/stat : 895 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178559 10802077696 512224 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273440177 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.05 4.00 3.57 5/520 926
/proc/meminfo: memFree=13775384/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10551528 CPUtime=1632.39 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 959890 0 1 0 163120 119 0 0 25 0 22 0 811178553 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2637882 943087 2267 9 0 2628616 0
[pid=881/tid=882] ppid=879 vsize=10551528 CPUtime=1.8 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) S 879 881 28116 0 -1 4202560 169686 0 1 0 161 19 0 0 15 0 22 0 811178554 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=884] ppid=879 vsize=10551528 CPUtime=0.81 cores=0,2,4,6
/proc/881/task/884/stat : 884 (java) S 879 881 28116 0 -1 4202560 8377 0 0 0 80 1 0 0 16 0 22 0 811178556 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=881/tid=885] ppid=879 vsize=10551528 CPUtime=0.82 cores=0,2,4,6
/proc/881/task/885/stat : 885 (java) S 879 881 28116 0 -1 4202560 6373 0 0 0 82 0 0 0 16 0 22 0 811178556 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=886] ppid=879 vsize=10551528 CPUtime=0.88 cores=0,2,4,6
/proc/881/task/886/stat : 886 (java) S 879 881 28116 0 -1 4202560 5393 0 0 0 88 0 0 0 15 0 22 0 811178556 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=881/tid=887] ppid=879 vsize=10551528 CPUtime=0.9 cores=0,2,4,6
/proc/881/task/887/stat : 887 (java) S 879 881 28116 0 -1 4202560 9907 0 0 0 89 1 0 0 15 0 22 0 811178556 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=888] ppid=879 vsize=10551528 CPUtime=1.05 cores=0,2,4,6
/proc/881/task/888/stat : 888 (java) S 879 881 28116 0 -1 4202560 10447 0 0 0 104 1 0 0 16 0 22 0 811178556 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=889] ppid=879 vsize=10551528 CPUtime=0.94 cores=0,2,4,6
/proc/881/task/889/stat : 889 (java) S 879 881 28116 0 -1 4202560 12200 0 0 0 92 2 0 0 15 0 22 0 811178556 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=890] ppid=879 vsize=10551528 CPUtime=1.03 cores=0,2,4,6
/proc/881/task/890/stat : 890 (java) S 879 881 28116 0 -1 4202560 13136 0 0 0 101 2 0 0 16 0 22 0 811178556 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=891] ppid=879 vsize=10551528 CPUtime=0.98 cores=0,2,4,6
/proc/881/task/891/stat : 891 (java) S 879 881 28116 0 -1 4202560 15845 0 0 0 96 2 0 0 15 0 22 0 811178556 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=881/tid=892] ppid=879 vsize=10551528 CPUtime=16.13 cores=0,2,4,6
/proc/881/task/892/stat : 892 (java) S 879 881 28116 0 -1 4202560 65033 0 0 0 1607 6 0 0 15 0 22 0 811178557 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 0 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=893] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/893/stat : 893 (java) S 879 881 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811178557 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=894] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/894/stat : 894 (java) S 879 881 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811178557 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=895] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/895/stat : 895 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178559 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273440177 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=896] ppid=879 vsize=10551528 CPUtime=1.34 cores=0,2,4,6
/proc/881/task/896/stat : 896 (java) S 879 881 28116 0 -1 4202560 10939 0 0 0 133 1 0 0 15 0 22 0 811178559 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=897] ppid=879 vsize=10551528 CPUtime=1.42 cores=0,2,4,6
/proc/881/task/897/stat : 897 (java) S 879 881 28116 0 -1 4202560 9331 0 0 0 141 1 0 0 16 0 22 0 811178559 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=898] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/898/stat : 898 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178559 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=899] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/899/stat : 899 (java) S 879 881 28116 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 811178559 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=881/tid=900] ppid=879 vsize=10551528 CPUtime=802.07 cores=0,2,4,6
/proc/881/task/900/stat : 900 (java) R 879 881 28116 0 -1 4202560 1643 0 0 0 80207 0 0 0 25 0 22 0 811178735 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912506015369 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=881/tid=901] ppid=879 vsize=10551528 CPUtime=802.06 cores=0,2,4,6
/proc/881/task/901/stat : 901 (java) R 879 881 28116 0 -1 4202560 620375 0 0 0 80131 75 0 0 25 0 22 0 811178735 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912506101606 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=881/tid=902] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/902/stat : 902 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811178740 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=903] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/903/stat : 903 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 811178740 10804764672 943087 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1632.39
Current children cumulated vsize (KiB) 10551528
[startup+882.301 s]
/proc/loadavg: 4.43 4.08 3.63 5/520 927
/proc/meminfo: memFree=13773716/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10551528 CPUtime=1751.57 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 960036 0 1 0 175037 120 0 0 25 0 22 0 811178553 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2637882 943218 2267 9 0 2628616 0
[pid=881/tid=882] ppid=879 vsize=10551528 CPUtime=1.8 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) S 879 881 28116 0 -1 4202560 169688 0 1 0 161 19 0 0 15 0 22 0 811178554 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=884] ppid=879 vsize=10551528 CPUtime=0.93 cores=0,2,4,6
/proc/881/task/884/stat : 884 (java) S 879 881 28116 0 -1 4202560 8400 0 0 0 92 1 0 0 16 0 22 0 811178556 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=881/tid=885] ppid=879 vsize=10551528 CPUtime=0.84 cores=0,2,4,6
/proc/881/task/885/stat : 885 (java) S 879 881 28116 0 -1 4202560 6377 0 0 0 84 0 0 0 16 0 22 0 811178556 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=886] ppid=879 vsize=10551528 CPUtime=0.98 cores=0,2,4,6
/proc/881/task/886/stat : 886 (java) S 879 881 28116 0 -1 4202560 5404 0 0 0 98 0 0 0 15 0 22 0 811178556 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=887] ppid=879 vsize=10551528 CPUtime=0.99 cores=0,2,4,6
/proc/881/task/887/stat : 887 (java) S 879 881 28116 0 -1 4202560 9936 0 0 0 98 1 0 0 15 0 22 0 811178556 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=888] ppid=879 vsize=10551528 CPUtime=1.17 cores=0,2,4,6
/proc/881/task/888/stat : 888 (java) S 879 881 28116 0 -1 4202560 10480 0 0 0 116 1 0 0 16 0 22 0 811178556 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=881/tid=889] ppid=879 vsize=10551528 CPUtime=1.02 cores=0,2,4,6
/proc/881/task/889/stat : 889 (java) S 879 881 28116 0 -1 4202560 12228 0 0 0 100 2 0 0 16 0 22 0 811178556 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=890] ppid=879 vsize=10551528 CPUtime=1.1 cores=0,2,4,6
/proc/881/task/890/stat : 890 (java) S 879 881 28116 0 -1 4202560 13137 0 0 0 108 2 0 0 16 0 22 0 811178556 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=891] ppid=879 vsize=10551528 CPUtime=1.06 cores=0,2,4,6
/proc/881/task/891/stat : 891 (java) S 879 881 28116 0 -1 4202560 15845 0 0 0 104 2 0 0 16 0 22 0 811178556 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=892] ppid=879 vsize=10551528 CPUtime=17.21 cores=0,2,4,6
/proc/881/task/892/stat : 892 (java) S 879 881 28116 0 -1 4202560 65039 0 0 0 1715 6 0 0 15 0 22 0 811178557 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 0 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=893] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/893/stat : 893 (java) S 879 881 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811178557 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=894] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/894/stat : 894 (java) S 879 881 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811178557 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=895] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/895/stat : 895 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178559 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273440177 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=896] ppid=879 vsize=10551528 CPUtime=1.34 cores=0,2,4,6
/proc/881/task/896/stat : 896 (java) S 879 881 28116 0 -1 4202560 10939 0 0 0 133 1 0 0 15 0 22 0 811178559 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=897] ppid=879 vsize=10551528 CPUtime=1.42 cores=0,2,4,6
/proc/881/task/897/stat : 897 (java) S 879 881 28116 0 -1 4202560 9331 0 0 0 141 1 0 0 16 0 22 0 811178559 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=898] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/898/stat : 898 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178559 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=899] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/899/stat : 899 (java) S 879 881 28116 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811178559 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=900] ppid=879 vsize=10551528 CPUtime=860.79 cores=0,2,4,6
/proc/881/task/900/stat : 900 (java) R 879 881 28116 0 -1 4202560 1648 0 0 0 86079 0 0 0 25 0 22 0 811178735 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912505988200 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=881/tid=901] ppid=879 vsize=10551528 CPUtime=860.78 cores=0,2,4,6
/proc/881/task/901/stat : 901 (java) R 879 881 28116 0 -1 4202560 620375 0 0 0 86003 75 0 0 25 0 22 0 811178735 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912506102246 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=881/tid=902] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/902/stat : 902 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811178740 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=903] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/903/stat : 903 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 811178740 10804764672 943218 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1751.57
Current children cumulated vsize (KiB) 10551528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.501 s]
/proc/loadavg: 4.00 4.01 3.61 5/520 1007
/proc/meminfo: memFree=16923616/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=10551528 CPUtime=1800.09 cores=0,2,4,6
/proc/881/stat : 881 (java) S 879 881 28116 0 -1 4202496 962714 0 1 0 179888 121 0 0 25 0 22 0 811178553 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 2637882 945851 2267 9 0 2628616 0
[pid=881/tid=882] ppid=879 vsize=10551528 CPUtime=1.8 cores=0,2,4,6
/proc/881/task/882/stat : 882 (java) S 879 881 28116 0 -1 4202560 169688 0 1 0 161 19 0 0 15 0 22 0 811178554 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=884] ppid=879 vsize=10551528 CPUtime=0.97 cores=0,2,4,6
/proc/881/task/884/stat : 884 (java) S 879 881 28116 0 -1 4202560 8944 0 0 0 95 2 0 0 16 0 22 0 811178556 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=885] ppid=879 vsize=10551528 CPUtime=0.84 cores=0,2,4,6
/proc/881/task/885/stat : 885 (java) S 879 881 28116 0 -1 4202560 6382 0 0 0 84 0 0 0 16 0 22 0 811178556 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=886] ppid=879 vsize=10551528 CPUtime=0.99 cores=0,2,4,6
/proc/881/task/886/stat : 886 (java) S 879 881 28116 0 -1 4202560 5404 0 0 0 99 0 0 0 15 0 22 0 811178556 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=887] ppid=879 vsize=10551528 CPUtime=1.01 cores=0,2,4,6
/proc/881/task/887/stat : 887 (java) S 879 881 28116 0 -1 4202560 10068 0 0 0 100 1 0 0 15 0 22 0 811178556 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=888] ppid=879 vsize=10551528 CPUtime=1.2 cores=0,2,4,6
/proc/881/task/888/stat : 888 (java) S 879 881 28116 0 -1 4202560 11029 0 0 0 119 1 0 0 16 0 22 0 811178556 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=881/tid=889] ppid=879 vsize=10551528 CPUtime=1.05 cores=0,2,4,6
/proc/881/task/889/stat : 889 (java) S 879 881 28116 0 -1 4202560 12405 0 0 0 103 2 0 0 15 0 22 0 811178556 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=890] ppid=879 vsize=10551528 CPUtime=1.16 cores=0,2,4,6
/proc/881/task/890/stat : 890 (java) S 879 881 28116 0 -1 4202560 14170 0 0 0 114 2 0 0 16 0 22 0 811178556 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=891] ppid=879 vsize=10551528 CPUtime=1.09 cores=0,2,4,6
/proc/881/task/891/stat : 891 (java) S 879 881 28116 0 -1 4202560 16077 0 0 0 107 2 0 0 16 0 22 0 811178556 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=892] ppid=879 vsize=10551528 CPUtime=17.21 cores=0,2,4,6
/proc/881/task/892/stat : 892 (java) S 879 881 28116 0 -1 4202560 65041 0 0 0 1715 6 0 0 15 0 22 0 811178557 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 0 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=893] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/893/stat : 893 (java) S 879 881 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811178557 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=894] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/894/stat : 894 (java) S 879 881 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811178557 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=895] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/895/stat : 895 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178559 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273440177 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=896] ppid=879 vsize=10551528 CPUtime=1.34 cores=0,2,4,6
/proc/881/task/896/stat : 896 (java) S 879 881 28116 0 -1 4202560 10939 0 0 0 133 1 0 0 15 0 22 0 811178559 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=881/tid=897] ppid=879 vsize=10551528 CPUtime=1.42 cores=0,2,4,6
/proc/881/task/897/stat : 897 (java) S 879 881 28116 0 -1 4202560 9331 0 0 0 141 1 0 0 16 0 22 0 811178559 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=881/tid=898] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/898/stat : 898 (java) S 879 881 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811178559 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=899] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/899/stat : 899 (java) S 879 881 28116 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811178559 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=900] ppid=879 vsize=10551528 CPUtime=884.94 cores=0,2,4,6
/proc/881/task/900/stat : 900 (java) R 879 881 28116 0 -1 4202560 1649 0 0 0 88494 0 0 0 25 0 22 0 811178735 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912505988092 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=881/tid=901] ppid=879 vsize=10551528 CPUtime=884.93 cores=0,2,4,6
/proc/881/task/901/stat : 901 (java) R 879 881 28116 0 -1 4202560 620376 0 0 0 88418 75 0 0 25 0 22 0 811178735 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 46912506220254 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=881/tid=902] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/902/stat : 902 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811178740 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=881/tid=903] ppid=879 vsize=10551528 CPUtime=0 cores=0,2,4,6
/proc/881/task/903/stat : 903 (java) S 879 881 28116 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 811178740 10804764672 945851 33554432000 1073741824 1073778376 140736306881840 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10551528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+906.625 s]
/proc/loadavg: 4.00 4.01 3.61 5/520 1007
/proc/meminfo: memFree=16923616/32951124 swapFree=67057928/67111528
[pid=881] ppid=879 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/881/stat : 881 (java) Z 879 881 28116 0 -1 4203548 962743 0 1 0 179901 128 0 0 17 0 2 0 811178553 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/881/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 906.697
CPU time (s): 1800.38
CPU user time (s): 1799.02
CPU system time (s): 1.35879
CPU usage (%): 198.564
Max. virtual memory (cumulated for all children) (KiB): 10561544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.35879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 962743
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= 23653
involuntary context switches= 16914
runsolver used 4.71828 second user time and 10.1655 second system time
The end