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-3457357-1307635082/watcher-3457357-1307635082 -o /tmp/evaluation-result-3457357-1307635082/solver-3457357-1307635082 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457357-1307635082.opb
running on 4 cores: 1,3,5,7
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: 2.19 2.05 1.73 2/192 23928
/proc/meminfo: memFree=28567564/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/23928/stat : 23928 (java) R 23926 23928 23633 0 -1 4202496 819 0 0 0 0 0 0 0 23 0 1 0 953738650 23580672 564 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252453103360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23928/statm: 5757 576 428 9 0 124 0
[startup+0.090045 s]
/proc/loadavg: 2.19 2.05 1.73 2/192 23928
/proc/meminfo: memFree=28567564/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10540080 CPUtime=0.08 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 12800 0 1 0 7 1 0 0 23 0 18 0 953738650 10793041920 12467 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2635020 12467 2053 9 0 2625754 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10540080
[startup+0.101056 s]
/proc/loadavg: 2.19 2.05 1.73 2/192 23928
/proc/meminfo: memFree=28567564/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10540228 CPUtime=0.1 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 13057 0 1 0 9 1 0 0 23 0 18 0 953738650 10793193472 12724 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2635057 12724 2092 9 0 2625791 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540228
[startup+0.301009 s]
/proc/loadavg: 2.19 2.05 1.73 2/192 23928
/proc/meminfo: memFree=28567564/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10557904 CPUtime=0.48 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 19709 0 1 0 46 2 0 0 23 0 19 0 953738650 10811293696 18359 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2639476 18391 2210 9 0 2630210 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10557904
[startup+0.700935 s]
/proc/loadavg: 2.19 2.05 1.73 2/192 23928
/proc/meminfo: memFree=28567564/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10562392 CPUtime=1.68 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 46526 0 1 0 163 5 0 0 23 0 19 0 953738650 10815889408 41753 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2640598 41757 2220 9 0 2631332 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10562392
[startup+1.5008 s]
/proc/loadavg: 2.19 2.05 1.73 3/211 23947
/proc/meminfo: memFree=28316204/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10562392 CPUtime=2.61 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 106922 0 1 0 249 12 0 0 23 0 19 0 953738650 10815889408 102148 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2640598 102152 2222 9 0 2631332 0
[pid=23928/tid=23930] ppid=23926 vsize=10562392 CPUtime=1.47 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) R 23926 23928 23633 0 -1 4202560 90760 0 1 0 138 9 0 0 21 0 19 0 953738651 10815889408 102153 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 46912505608278 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23928/tid=23931] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953738653 10815889408 102155 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23932] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 102157 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23933] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 102159 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23934] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 102161 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23935] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 102162 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23936] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953738653 10815889408 102164 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23937] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953738653 10815889408 102165 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23938] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953738653 10815889408 102167 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23939] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23928 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953738654 10815889408 102169 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 0 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23940] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23928 23633 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 953738654 10815889408 102171 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23941] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953738654 10815889408 102173 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23942] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 102176 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469889457 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23943] ppid=23926 vsize=10562392 CPUtime=0.56 cores=1,3,5,7
/proc/23928/task/23943/stat : 23943 (java) S 23926 23928 23633 0 -1 4202560 7719 0 0 0 55 1 0 0 19 0 19 0 953738656 10815889408 102178 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23944] ppid=23926 vsize=10562392 CPUtime=0.54 cores=1,3,5,7
/proc/23928/task/23944/stat : 23944 (java) S 23926 23928 23633 0 -1 4202560 7289 0 0 0 54 0 0 0 24 0 19 0 953738656 10815889408 102180 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23945] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23945/stat : 23945 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 102182 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23946] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23946/stat : 23946 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953738656 10815889408 102184 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23947] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23947/stat : 23947 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953738669 10815889408 102186 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 10562392
[startup+3.10149 s]
/proc/loadavg: 2.19 2.05 1.73 3/211 23947
/proc/meminfo: memFree=27990208/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10562392 CPUtime=4.21 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 222041 0 1 0 395 26 0 0 23 0 19 0 953738650 10815889408 217266 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2640598 217270 2222 9 0 2631332 0
[pid=23928/tid=23930] ppid=23926 vsize=10562392 CPUtime=3.07 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) R 23926 23928 23633 0 -1 4202560 205879 0 1 0 284 23 0 0 25 0 19 0 953738651 10815889408 217271 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 46912505608278 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23928/tid=23931] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953738653 10815889408 217273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23932] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 217275 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23933] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 217277 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23934] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 217279 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23935] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 217281 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23936] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953738653 10815889408 217283 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23937] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953738653 10815889408 217285 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23938] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953738653 10815889408 217287 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23939] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23928 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953738654 10815889408 217289 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 0 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23940] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23928 23633 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 953738654 10815889408 217291 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23941] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953738654 10815889408 217293 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23942] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 217295 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469889457 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23943] ppid=23926 vsize=10562392 CPUtime=0.57 cores=1,3,5,7
/proc/23928/task/23943/stat : 23943 (java) S 23926 23928 23633 0 -1 4202560 7719 0 0 0 56 1 0 0 15 0 19 0 953738656 10815889408 217297 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23944] ppid=23926 vsize=10562392 CPUtime=0.54 cores=1,3,5,7
/proc/23928/task/23944/stat : 23944 (java) S 23926 23928 23633 0 -1 4202560 7289 0 0 0 54 0 0 0 24 0 19 0 953738656 10815889408 217298 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23945] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23945/stat : 23945 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 217300 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23946] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23946/stat : 23946 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953738656 10815889408 217302 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23947] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23947/stat : 23947 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953738669 10815889408 217304 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 10562392
[startup+6.3009 s]
/proc/loadavg: 2.18 2.05 1.73 3/211 23947
/proc/meminfo: memFree=27071792/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10562392 CPUtime=7.46 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 441317 0 1 0 694 52 0 0 23 0 19 0 953738650 10815889408 435680 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2640598 435683 2223 9 0 2631332 0
[pid=23928/tid=23930] ppid=23926 vsize=10562392 CPUtime=6.28 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) R 23926 23928 23633 0 -1 4202560 425149 0 1 0 578 50 0 0 25 0 19 0 953738651 10815889408 435685 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 46912505608282 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23928/tid=23931] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953738653 10815889408 435687 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23932] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 435689 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23933] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 435691 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23934] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 435692 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23935] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953738653 10815889408 435694 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23936] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953738653 10815889408 435696 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23937] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953738653 10815889408 435698 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23938] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953738653 10815889408 435700 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23939] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23928 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953738654 10815889408 435702 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 0 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23940] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23928 23633 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 953738654 10815889408 435704 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23941] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953738654 10815889408 435706 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23942] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 435707 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469889457 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23943] ppid=23926 vsize=10562392 CPUtime=0.62 cores=1,3,5,7
/proc/23928/task/23943/stat : 23943 (java) S 23926 23928 23633 0 -1 4202560 7725 0 0 0 61 1 0 0 15 0 19 0 953738656 10815889408 435709 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23944] ppid=23926 vsize=10562392 CPUtime=0.54 cores=1,3,5,7
/proc/23928/task/23944/stat : 23944 (java) S 23926 23928 23633 0 -1 4202560 7289 0 0 0 54 0 0 0 18 0 19 0 953738656 10815889408 435711 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23945] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23945/stat : 23945 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 435712 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23946] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23946/stat : 23946 (java) S 23926 23928 23633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953738656 10815889408 435714 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23947] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23947/stat : 23947 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953738669 10815889408 435716 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 10562392
[startup+12.7007 s]
################
# More data... #
################
/proc/23928/task/23941/stat : 23941 (java) S 23926 23928 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953738654 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23942] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469889457 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23943] ppid=23926 vsize=10562392 CPUtime=0.89 cores=1,3,5,7
/proc/23928/task/23943/stat : 23943 (java) S 23926 23928 23633 0 -1 4202560 7765 0 0 0 88 1 0 0 16 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23944] ppid=23926 vsize=10562392 CPUtime=0.6 cores=1,3,5,7
/proc/23928/task/23944/stat : 23944 (java) S 23926 23928 23633 0 -1 4202560 7294 0 0 0 60 0 0 0 15 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23945] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23945/stat : 23945 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23946] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23946/stat : 23946 (java) S 23926 23928 23633 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23947] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23947/stat : 23947 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953738669 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1664.66
Current children cumulated vsize (KiB) 10562392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 24061
/proc/meminfo: memFree=24312988/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10562392 CPUtime=1724.66 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 973871 0 1 0 172345 121 0 0 23 0 19 0 953738650 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2640598 965048 2240 9 0 2631332 0
[pid=23928/tid=23930] ppid=23926 vsize=10562392 CPUtime=1721.96 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) R 23926 23928 23633 0 -1 4202560 831676 0 1 0 172097 99 0 0 25 0 19 0 953738651 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 46912505684493 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23928/tid=23931] ppid=23926 vsize=10562392 CPUtime=0.15 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23928 23633 0 -1 4202560 14482 0 0 0 13 2 0 0 15 0 19 0 953738653 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23932] ppid=23926 vsize=10562392 CPUtime=0.14 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23928 23633 0 -1 4202560 16850 0 0 0 12 2 0 0 16 0 19 0 953738653 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 7 0 0 0
[pid=23928/tid=23933] ppid=23926 vsize=10562392 CPUtime=0.15 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23928 23633 0 -1 4202560 14789 0 0 0 13 2 0 0 15 0 19 0 953738653 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 7 0 0 0
[pid=23928/tid=23934] ppid=23926 vsize=10562392 CPUtime=0.15 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23928 23633 0 -1 4202560 21501 0 0 0 13 2 0 0 15 0 19 0 953738653 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23935] ppid=23926 vsize=10562392 CPUtime=0.15 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23928 23633 0 -1 4202560 17056 0 0 0 13 2 0 0 16 0 19 0 953738653 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23936] ppid=23926 vsize=10562392 CPUtime=0.09 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23928 23633 0 -1 4202560 10924 0 0 0 8 1 0 0 16 0 19 0 953738653 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23937] ppid=23926 vsize=10562392 CPUtime=0.1 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23928 23633 0 -1 4202560 12271 0 0 0 9 1 0 0 16 0 19 0 953738653 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23938] ppid=23926 vsize=10562392 CPUtime=0.16 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23928 23633 0 -1 4202560 17981 0 0 0 14 2 0 0 15 0 19 0 953738653 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23939] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23928 23633 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 953738654 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 0 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23940] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23928 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953738654 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23941] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23928 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953738654 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23942] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469889457 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23943] ppid=23926 vsize=10562392 CPUtime=0.89 cores=1,3,5,7
/proc/23928/task/23943/stat : 23943 (java) S 23926 23928 23633 0 -1 4202560 7765 0 0 0 88 1 0 0 16 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23944] ppid=23926 vsize=10562392 CPUtime=0.6 cores=1,3,5,7
/proc/23928/task/23944/stat : 23944 (java) S 23926 23928 23633 0 -1 4202560 7294 0 0 0 60 0 0 0 15 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23945] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23945/stat : 23945 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23946] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23946/stat : 23946 (java) S 23926 23928 23633 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 953738656 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23947] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23947/stat : 23947 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953738669 10815889408 965048 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1724.66
Current children cumulated vsize (KiB) 10562392
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 24062
/proc/meminfo: memFree=24233468/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10562392 CPUtime=1784.77 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 991336 0 1 0 178354 123 0 0 23 0 19 0 953738650 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2640598 982273 2240 9 0 2631332 0
[pid=23928/tid=23930] ppid=23926 vsize=10562392 CPUtime=1781.91 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) R 23926 23928 23633 0 -1 4202560 831682 0 1 0 178092 99 0 0 25 0 19 0 953738651 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 46912505684481 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23928/tid=23931] ppid=23926 vsize=10562392 CPUtime=0.17 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23928 23633 0 -1 4202560 16046 0 0 0 15 2 0 0 16 0 19 0 953738653 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23932] ppid=23926 vsize=10562392 CPUtime=0.19 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23928 23633 0 -1 4202560 19326 0 0 0 16 3 0 0 16 0 19 0 953738653 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23933] ppid=23926 vsize=10562392 CPUtime=0.15 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23928 23633 0 -1 4202560 15594 0 0 0 13 2 0 0 15 0 19 0 953738653 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 7 0 0 0
[pid=23928/tid=23934] ppid=23926 vsize=10562392 CPUtime=0.15 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23928 23633 0 -1 4202560 22271 0 0 0 13 2 0 0 16 0 19 0 953738653 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 7 0 0 0
[pid=23928/tid=23935] ppid=23926 vsize=10562392 CPUtime=0.18 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23928 23633 0 -1 4202560 20515 0 0 0 16 2 0 0 16 0 19 0 953738653 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23936] ppid=23926 vsize=10562392 CPUtime=0.1 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23928 23633 0 -1 4202560 12245 0 0 0 9 1 0 0 16 0 19 0 953738653 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23937] ppid=23926 vsize=10562392 CPUtime=0.14 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23928 23633 0 -1 4202560 17683 0 0 0 12 2 0 0 15 0 19 0 953738653 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23938] ppid=23926 vsize=10562392 CPUtime=0.17 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23928 23633 0 -1 4202560 19625 0 0 0 15 2 0 0 15 0 19 0 953738653 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23939] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23928 23633 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 953738654 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 0 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23940] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23928 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953738654 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23941] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23928 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953738654 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23942] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469889457 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23943] ppid=23926 vsize=10562392 CPUtime=0.89 cores=1,3,5,7
/proc/23928/task/23943/stat : 23943 (java) S 23926 23928 23633 0 -1 4202560 7765 0 0 0 88 1 0 0 16 0 19 0 953738656 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23944] ppid=23926 vsize=10562392 CPUtime=0.6 cores=1,3,5,7
/proc/23928/task/23944/stat : 23944 (java) S 23926 23928 23633 0 -1 4202560 7294 0 0 0 60 0 0 0 15 0 19 0 953738656 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23945] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23945/stat : 23945 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23946] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23946/stat : 23946 (java) S 23926 23928 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953738656 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23947] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23947/stat : 23947 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953738669 10815889408 982273 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1784.77
Current children cumulated vsize (KiB) 10562392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 24063
/proc/meminfo: memFree=24212872/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=10562392 CPUtime=1800 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23928 23633 0 -1 4202496 995048 0 1 0 179876 124 0 0 23 0 19 0 953738650 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 2640598 985955 2240 9 0 2631332 0
[pid=23928/tid=23930] ppid=23926 vsize=10562392 CPUtime=1797.1 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) R 23926 23928 23633 0 -1 4202560 831683 0 1 0 179611 99 0 0 25 0 19 0 953738651 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 46912505684558 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23928/tid=23931] ppid=23926 vsize=10562392 CPUtime=0.18 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23928 23633 0 -1 4202560 16803 0 0 0 16 2 0 0 16 0 19 0 953738653 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23932] ppid=23926 vsize=10562392 CPUtime=0.19 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23928 23633 0 -1 4202560 19326 0 0 0 16 3 0 0 15 0 19 0 953738653 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23933] ppid=23926 vsize=10562392 CPUtime=0.15 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23928 23633 0 -1 4202560 15594 0 0 0 13 2 0 0 15 0 19 0 953738653 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 7 0 0 0
[pid=23928/tid=23934] ppid=23926 vsize=10562392 CPUtime=0.17 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23928 23633 0 -1 4202560 23621 0 0 0 14 3 0 0 16 0 19 0 953738653 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 7 0 0 0
[pid=23928/tid=23935] ppid=23926 vsize=10562392 CPUtime=0.18 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23928 23633 0 -1 4202560 21284 0 0 0 16 2 0 0 16 0 19 0 953738653 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23936] ppid=23926 vsize=10562392 CPUtime=0.1 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23928 23633 0 -1 4202560 12245 0 0 0 9 1 0 0 15 0 19 0 953738653 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23937] ppid=23926 vsize=10562392 CPUtime=0.14 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23928 23633 0 -1 4202560 17683 0 0 0 12 2 0 0 15 0 19 0 953738653 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23938] ppid=23926 vsize=10562392 CPUtime=0.18 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23928 23633 0 -1 4202560 20457 0 0 0 16 2 0 0 16 0 19 0 953738653 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23939] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23928 23633 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 953738654 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 0 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23940] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23928 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953738654 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23941] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23928 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953738654 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23942] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469889457 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23943] ppid=23926 vsize=10562392 CPUtime=0.89 cores=1,3,5,7
/proc/23928/task/23943/stat : 23943 (java) S 23926 23928 23633 0 -1 4202560 7765 0 0 0 88 1 0 0 16 0 19 0 953738656 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
[pid=23928/tid=23944] ppid=23926 vsize=10562392 CPUtime=0.6 cores=1,3,5,7
/proc/23928/task/23944/stat : 23944 (java) S 23926 23928 23633 0 -1 4202560 7294 0 0 0 60 0 0 0 15 0 19 0 953738656 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 5 0 0 0
[pid=23928/tid=23945] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23945/stat : 23945 (java) S 23926 23928 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953738656 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469881753 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23946] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23946/stat : 23946 (java) S 23926 23928 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953738656 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 1 0 0 0
[pid=23928/tid=23947] ppid=23926 vsize=10562392 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23947/stat : 23947 (java) S 23926 23928 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953738669 10815889408 985955 33554432000 1073741824 1073778376 140736213754896 18446744073709551615 252469882368 0 4 0 16800975 18446604458418547776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10562392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.62 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 24063
/proc/meminfo: memFree=24212872/32951124 swapFree=67062556/67111528
[pid=23928] ppid=23926 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/23928/stat : 23928 (java) Z 23926 23928 23633 0 -1 4203548 998976 0 1 0 179884 134 0 0 17 0 2 0 953738650 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23928/statm: 0 0 0 0 0 0 0
[pid=23928/tid=23934] ppid=23926 vsize=0 CPUtime=0.23 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) R 23926 23928 23633 0 -1 4203588 23621 0 0 0 14 9 0 0 15 0 2 0 953738653 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.7
CPU time (s): 1800.27
CPU user time (s): 1798.84
CPU system time (s): 1.42678
CPU usage (%): 100.143
Max. virtual memory (cumulated for all children) (KiB): 10562392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.42678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 998976
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= 37927
involuntary context switches= 3812
runsolver used 2.91956 second user time and 6.89695 second system time
The end