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-3456624-1307655892/watcher-3456624-1307655892 -o /tmp/evaluation-result-3456624-1307655892/solver-3456624-1307655892 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456624-1307655892.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: 1.08 1.02 1.06 2/194 29233
/proc/meminfo: memFree=32252788/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 1237 0 0 0 0 0 0 0 22 0 2 0 877192082 31272960 958 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 7635 958 732 9 0 386 0
[pid=29233/tid=29234] ppid=29231 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 126 0 0 0 0 0 0 0 24 0 2 0 877192083 31272960 959 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218370957115 0 0 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.022263 s]
/proc/loadavg: 1.08 1.02 1.06 2/194 29233
/proc/meminfo: memFree=32252788/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 10004 0 1 0 0 1 0 0 22 0 10 0 877192082 10703900672 9707 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2613257 9708 988 9 0 2604413 0
[pid=29233/tid=29234] ppid=29231 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 8887 0 1 0 0 1 0 0 25 0 10 0 877192083 10703900672 9710 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 47502334066684 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.100237 s]
/proc/loadavg: 1.08 1.02 1.06 2/194 29233
/proc/meminfo: memFree=32252788/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10540048 CPUtime=0.11 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 13084 0 1 0 9 2 0 0 22 0 18 0 877192082 10793009152 12753 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2635012 12755 2092 9 0 2625746 0
[pid=29233/tid=29234] ppid=29231 vsize=10540048 CPUtime=0.08 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 11177 0 1 0 7 1 0 0 18 0 18 0 877192083 10793009152 12755 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 47502334204755 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540048
[startup+0.300195 s]
/proc/loadavg: 1.08 1.02 1.06 2/194 29233
/proc/meminfo: memFree=32252788/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10543744 CPUtime=0.58 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 20469 0 1 0 55 3 0 0 22 0 18 0 877192082 10796793856 18920 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2635936 18922 2202 9 0 2626670 0
[pid=29233/tid=29234] ppid=29231 vsize=10543744 CPUtime=0.28 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 15476 0 1 0 26 2 0 0 18 0 18 0 877192083 10796793856 18923 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 46912505602592 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10543744
[startup+0.701128 s]
/proc/loadavg: 1.08 1.02 1.06 2/194 29233
/proc/meminfo: memFree=32252788/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10552052 CPUtime=1.3 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 60375 0 1 0 122 8 0 0 22 0 18 0 877192082 10805301248 56186 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2638013 56189 2210 9 0 2628747 0
[pid=29233/tid=29234] ppid=29231 vsize=10552052 CPUtime=0.68 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 50262 0 1 0 62 6 0 0 18 0 18 0 877192083 10805301248 56190 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 46912505619611 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 10552052
[startup+1.50099 s]
/proc/loadavg: 1.08 1.02 1.06 3/213 29252
/proc/meminfo: memFree=31845196/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10554492 CPUtime=2.4 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 125013 0 1 0 226 14 0 0 22 0 18 0 877192082 10807799808 120376 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2638623 120379 2214 9 0 2629357 0
[pid=29233/tid=29234] ppid=29231 vsize=10554492 CPUtime=1.49 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 112355 0 1 0 136 13 0 0 19 0 18 0 877192083 10807799808 120381 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 46912505602804 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29233/tid=29236] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29236/stat : 29236 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877192084 10807799808 120383 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29237] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29237/stat : 29237 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877192085 10807799808 120385 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29238] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29238/stat : 29238 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877192085 10807799808 120387 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29239] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29239/stat : 29239 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877192085 10807799808 120389 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29240] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29240/stat : 29240 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877192085 10807799808 120391 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29241] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29241/stat : 29241 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877192085 10807799808 120393 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29242] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29242/stat : 29242 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877192085 10807799808 120395 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29243] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29243/stat : 29243 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877192085 10807799808 120397 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29244] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29244/stat : 29244 (java) S 29231 29233 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877192086 10807799808 120399 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 0 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29245] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29245/stat : 29245 (java) S 29231 29233 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877192086 10807799808 120401 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29246] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29246/stat : 29246 (java) S 29231 29233 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877192086 10807799808 120403 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29247] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29247/stat : 29247 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877192088 10807799808 120405 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382780849 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29248] ppid=29231 vsize=10554492 CPUtime=0.5 cores=1,3,5,7
/proc/29233/task/29248/stat : 29248 (java) S 29231 29233 26276 0 -1 4202560 6510 0 0 0 50 0 0 0 18 0 18 0 877192088 10807799808 120405 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29249] ppid=29231 vsize=10554492 CPUtime=0.38 cores=1,3,5,7
/proc/29233/task/29249/stat : 29249 (java) S 29231 29233 26276 0 -1 4202560 5005 0 0 0 38 0 0 0 18 0 18 0 877192088 10807799808 120406 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29250] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29250/stat : 29250 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 877192088 10807799808 120408 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29251] ppid=29231 vsize=10554492 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29251/stat : 29251 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877192088 10807799808 120410 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 10554492
[startup+3.10071 s]
/proc/loadavg: 1.08 1.02 1.06 3/213 29252
/proc/meminfo: memFree=31485404/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10555520 CPUtime=4.28 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 211078 0 1 0 404 24 0 0 22 0 19 0 877192082 10808852480 206440 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2638880 206440 2232 9 0 2629614 0
[pid=29233/tid=29234] ppid=29231 vsize=10555520 CPUtime=3.08 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 198366 0 1 0 286 22 0 0 25 0 19 0 877192083 10808852480 206441 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 46912505902812 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29233/tid=29236] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29236/stat : 29236 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192084 10808852480 206441 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29237] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29237/stat : 29237 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 206441 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29238] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29238/stat : 29238 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 206442 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29239] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29239/stat : 29239 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 206442 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29240] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29240/stat : 29240 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 206442 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29241] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29241/stat : 29241 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 206442 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29242] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29242/stat : 29242 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 206443 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29243] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29243/stat : 29243 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 206443 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29244] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29244/stat : 29244 (java) S 29231 29233 26276 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877192086 10808852480 206443 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 0 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29245] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29245/stat : 29245 (java) S 29231 29233 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877192086 10808852480 206444 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29246] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29246/stat : 29246 (java) S 29231 29233 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877192086 10808852480 206444 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29247] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29247/stat : 29247 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192088 10808852480 206444 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382780849 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29248] ppid=29231 vsize=10555520 CPUtime=0.67 cores=1,3,5,7
/proc/29233/task/29248/stat : 29248 (java) S 29231 29233 26276 0 -1 4202560 6535 0 0 0 67 0 0 0 15 0 19 0 877192088 10808852480 206444 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29249] ppid=29231 vsize=10555520 CPUtime=0.49 cores=1,3,5,7
/proc/29233/task/29249/stat : 29249 (java) S 29231 29233 26276 0 -1 4202560 5020 0 0 0 49 0 0 0 15 0 19 0 877192088 10808852480 206445 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29250] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29250/stat : 29250 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877192088 10808852480 206445 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29251] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29251/stat : 29251 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877192088 10808852480 206445 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 10555520
[startup+6.30115 s]
/proc/loadavg: 1.23 1.05 1.07 3/214 29253
/proc/meminfo: memFree=30647904/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10555520 CPUtime=7.98 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 458971 0 1 0 748 50 0 0 22 0 19 0 877192082 10808852480 454321 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2638880 454328 2236 9 0 2629614 0
[pid=29233/tid=29234] ppid=29231 vsize=10555520 CPUtime=6.29 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 446157 0 1 0 580 49 0 0 25 0 19 0 877192083 10808852480 454331 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 46912505595231 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29233/tid=29236] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29236/stat : 29236 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192084 10808852480 454334 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29237] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29237/stat : 29237 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 454336 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29238] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29238/stat : 29238 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 454336 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29239] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29239/stat : 29239 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 454340 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29240] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29240/stat : 29240 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 454344 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29241] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29241/stat : 29241 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 454348 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29242] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29242/stat : 29242 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 454351 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29243] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29243/stat : 29243 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192085 10808852480 454354 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29244] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29244/stat : 29244 (java) S 29231 29233 26276 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877192086 10808852480 454356 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 0 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29245] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29245/stat : 29245 (java) S 29231 29233 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877192086 10808852480 454357 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29246] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29246/stat : 29246 (java) S 29231 29233 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877192086 10808852480 454359 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29247] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29247/stat : 29247 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192088 10808852480 454363 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382780849 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29248] ppid=29231 vsize=10555520 CPUtime=0.95 cores=1,3,5,7
/proc/29233/task/29248/stat : 29248 (java) S 29231 29233 26276 0 -1 4202560 6616 0 0 0 95 0 0 0 15 0 19 0 877192088 10808852480 454367 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29249] ppid=29231 vsize=10555520 CPUtime=0.73 cores=1,3,5,7
/proc/29233/task/29249/stat : 29249 (java) S 29231 29233 26276 0 -1 4202560 5049 0 0 0 73 0 0 0 15 0 19 0 877192088 10808852480 454371 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29250] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29250/stat : 29250 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877192088 10808852480 454374 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29251] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29251/stat : 29251 (java) S 29231 29233 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877192088 10808852480 454376 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/29233/task/29246/stat : 29246 (java) S 29231 29233 26276 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877192086 10808852480 984372 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29247] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29247/stat : 29247 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192088 10808852480 984372 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382780849 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29248] ppid=29231 vsize=10555520 CPUtime=1.36 cores=1,3,5,7
/proc/29233/task/29248/stat : 29248 (java) S 29231 29233 26276 0 -1 4202560 6646 0 0 0 136 0 0 0 15 0 19 0 877192088 10808852480 984372 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29249] ppid=29231 vsize=10555520 CPUtime=1 cores=1,3,5,7
/proc/29233/task/29249/stat : 29249 (java) S 29231 29233 26276 0 -1 4202560 5083 0 0 0 100 0 0 0 15 0 19 0 877192088 10808852480 984372 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29250] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29250/stat : 29250 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877192088 10808852480 984372 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29251] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29251/stat : 29251 (java) S 29231 29233 26276 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877192088 10808852480 984372 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29253] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29253/stat : 29253 (java) S 29231 29233 26276 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 877192320 10808852480 984372 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1674.73
Current children cumulated vsize (KiB) 10555520
[startup+1722.3 s]
/proc/loadavg: 2.19 2.07 1.86 3/214 29311
/proc/meminfo: memFree=24746760/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10555520 CPUtime=1735.2 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 994185 0 1 0 173404 116 0 0 22 0 19 0 877192082 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2638880 987098 2266 9 0 2629614 0
[pid=29233/tid=29234] ppid=29231 vsize=10555520 CPUtime=1714.87 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 743975 0 1 0 171406 81 0 0 25 0 19 0 877192083 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 46912506012108 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29233/tid=29236] ppid=29231 vsize=10555520 CPUtime=1.68 cores=1,3,5,7
/proc/29233/task/29236/stat : 29236 (java) S 29231 29233 26276 0 -1 4202560 21511 0 0 0 166 2 0 0 16 0 19 0 877192084 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29237] ppid=29231 vsize=10555520 CPUtime=1.87 cores=1,3,5,7
/proc/29233/task/29237/stat : 29237 (java) S 29231 29233 26276 0 -1 4202560 22811 0 0 0 184 3 0 0 15 0 19 0 877192085 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29238] ppid=29231 vsize=10555520 CPUtime=1.72 cores=1,3,5,7
/proc/29233/task/29238/stat : 29238 (java) S 29231 29233 26276 0 -1 4202560 24875 0 0 0 169 3 0 0 16 0 19 0 877192085 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29239] ppid=29231 vsize=10555520 CPUtime=1.57 cores=1,3,5,7
/proc/29233/task/29239/stat : 29239 (java) S 29231 29233 26276 0 -1 4202560 14476 0 0 0 155 2 0 0 16 0 19 0 877192085 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 7 0 0 0
[pid=29233/tid=29240] ppid=29231 vsize=10555520 CPUtime=1.87 cores=1,3,5,7
/proc/29233/task/29240/stat : 29240 (java) S 29231 29233 26276 0 -1 4202560 20190 0 0 0 185 2 0 0 15 0 19 0 877192085 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29241] ppid=29231 vsize=10555520 CPUtime=1.86 cores=1,3,5,7
/proc/29233/task/29241/stat : 29241 (java) S 29231 29233 26276 0 -1 4202560 25063 0 0 0 184 2 0 0 15 0 19 0 877192085 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29242] ppid=29231 vsize=10555520 CPUtime=1.78 cores=1,3,5,7
/proc/29233/task/29242/stat : 29242 (java) S 29231 29233 26276 0 -1 4202560 30479 0 0 0 174 4 0 0 15 0 19 0 877192085 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 7 0 0 0
[pid=29233/tid=29243] ppid=29231 vsize=10555520 CPUtime=1.88 cores=1,3,5,7
/proc/29233/task/29243/stat : 29243 (java) S 29231 29233 26276 0 -1 4202560 23844 0 0 0 185 3 0 0 16 0 19 0 877192085 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29244] ppid=29231 vsize=10555520 CPUtime=3.61 cores=1,3,5,7
/proc/29233/task/29244/stat : 29244 (java) S 29231 29233 26276 0 -1 4202560 53983 0 0 0 353 8 0 0 15 0 19 0 877192086 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 0 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29245] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29245/stat : 29245 (java) S 29231 29233 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877192086 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29246] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29246/stat : 29246 (java) S 29231 29233 26276 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877192086 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29247] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29247/stat : 29247 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192088 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382780849 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29248] ppid=29231 vsize=10555520 CPUtime=1.36 cores=1,3,5,7
/proc/29233/task/29248/stat : 29248 (java) S 29231 29233 26276 0 -1 4202560 6646 0 0 0 136 0 0 0 15 0 19 0 877192088 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29249] ppid=29231 vsize=10555520 CPUtime=1 cores=1,3,5,7
/proc/29233/task/29249/stat : 29249 (java) S 29231 29233 26276 0 -1 4202560 5083 0 0 0 100 0 0 0 15 0 19 0 877192088 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29250] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29250/stat : 29250 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877192088 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29251] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29251/stat : 29251 (java) S 29231 29233 26276 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877192088 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29253] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29253/stat : 29253 (java) S 29231 29233 26276 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 877192320 10808852480 987098 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1735.2
Current children cumulated vsize (KiB) 10555520
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 1.86 3/214 29313
/proc/meminfo: memFree=24738392/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10555520 CPUtime=1795.71 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 996218 0 1 0 179455 116 0 0 22 0 19 0 877192082 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2638880 989097 2266 9 0 2629614 0
[pid=29233/tid=29234] ppid=29231 vsize=10555520 CPUtime=1774.68 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 743984 0 1 0 177387 81 0 0 25 0 19 0 877192083 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 46912505902958 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29233/tid=29236] ppid=29231 vsize=10555520 CPUtime=1.77 cores=1,3,5,7
/proc/29233/task/29236/stat : 29236 (java) S 29231 29233 26276 0 -1 4202560 21651 0 0 0 175 2 0 0 15 0 19 0 877192084 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 7 0 0 0
[pid=29233/tid=29237] ppid=29231 vsize=10555520 CPUtime=1.96 cores=1,3,5,7
/proc/29233/task/29237/stat : 29237 (java) S 29231 29233 26276 0 -1 4202560 23171 0 0 0 193 3 0 0 16 0 19 0 877192085 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 7 0 0 0
[pid=29233/tid=29238] ppid=29231 vsize=10555520 CPUtime=1.83 cores=1,3,5,7
/proc/29233/task/29238/stat : 29238 (java) S 29231 29233 26276 0 -1 4202560 25340 0 0 0 180 3 0 0 16 0 19 0 877192085 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29239] ppid=29231 vsize=10555520 CPUtime=1.66 cores=1,3,5,7
/proc/29233/task/29239/stat : 29239 (java) S 29231 29233 26276 0 -1 4202560 14851 0 0 0 164 2 0 0 15 0 19 0 877192085 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29240] ppid=29231 vsize=10555520 CPUtime=1.96 cores=1,3,5,7
/proc/29233/task/29240/stat : 29240 (java) S 29231 29233 26276 0 -1 4202560 20272 0 0 0 194 2 0 0 16 0 19 0 877192085 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29241] ppid=29231 vsize=10555520 CPUtime=1.99 cores=1,3,5,7
/proc/29233/task/29241/stat : 29241 (java) S 29231 29233 26276 0 -1 4202560 25416 0 0 0 197 2 0 0 16 0 19 0 877192085 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29242] ppid=29231 vsize=10555520 CPUtime=1.86 cores=1,3,5,7
/proc/29233/task/29242/stat : 29242 (java) S 29231 29233 26276 0 -1 4202560 30646 0 0 0 182 4 0 0 16 0 19 0 877192085 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29243] ppid=29231 vsize=10555520 CPUtime=1.93 cores=1,3,5,7
/proc/29233/task/29243/stat : 29243 (java) S 29231 29233 26276 0 -1 4202560 23922 0 0 0 190 3 0 0 15 0 19 0 877192085 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29244] ppid=29231 vsize=10555520 CPUtime=3.61 cores=1,3,5,7
/proc/29233/task/29244/stat : 29244 (java) S 29231 29233 26276 0 -1 4202560 53985 0 0 0 353 8 0 0 15 0 19 0 877192086 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 0 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29245] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29245/stat : 29245 (java) S 29231 29233 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877192086 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29246] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29246/stat : 29246 (java) S 29231 29233 26276 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877192086 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29247] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29247/stat : 29247 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192088 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382780849 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29248] ppid=29231 vsize=10555520 CPUtime=1.36 cores=1,3,5,7
/proc/29233/task/29248/stat : 29248 (java) S 29231 29233 26276 0 -1 4202560 6646 0 0 0 136 0 0 0 15 0 19 0 877192088 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29249] ppid=29231 vsize=10555520 CPUtime=1 cores=1,3,5,7
/proc/29233/task/29249/stat : 29249 (java) S 29231 29233 26276 0 -1 4202560 5083 0 0 0 100 0 0 0 15 0 19 0 877192088 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29250] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29250/stat : 29250 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877192088 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29251] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29251/stat : 29251 (java) S 29231 29233 26276 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877192088 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29253] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29253/stat : 29253 (java) S 29231 29233 26276 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 877192320 10808852480 989097 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1795.71
Current children cumulated vsize (KiB) 10555520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1786.6 s]
/proc/loadavg: 2.14 2.07 1.87 3/214 29313
/proc/meminfo: memFree=24738020/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=10555520 CPUtime=1800.07 cores=1,3,5,7
/proc/29233/stat : 29233 (java) S 29231 29233 26276 0 -1 4202496 996341 0 1 0 179891 116 0 0 22 0 19 0 877192082 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29233/statm: 2638880 989219 2266 9 0 2629614 0
[pid=29233/tid=29234] ppid=29231 vsize=10555520 CPUtime=1778.96 cores=1,3,5,7
/proc/29233/task/29234/stat : 29234 (java) R 29231 29233 26276 0 -1 4202560 743985 0 1 0 177815 81 0 0 25 0 19 0 877192083 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 46912505902967 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29233/tid=29236] ppid=29231 vsize=10555520 CPUtime=1.79 cores=1,3,5,7
/proc/29233/task/29236/stat : 29236 (java) S 29231 29233 26276 0 -1 4202560 21690 0 0 0 177 2 0 0 16 0 19 0 877192084 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 7 0 0 0
[pid=29233/tid=29237] ppid=29231 vsize=10555520 CPUtime=1.97 cores=1,3,5,7
/proc/29233/task/29237/stat : 29237 (java) S 29231 29233 26276 0 -1 4202560 23222 0 0 0 194 3 0 0 16 0 19 0 877192085 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29238] ppid=29231 vsize=10555520 CPUtime=1.83 cores=1,3,5,7
/proc/29233/task/29238/stat : 29238 (java) S 29231 29233 26276 0 -1 4202560 25340 0 0 0 180 3 0 0 15 0 19 0 877192085 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29239] ppid=29231 vsize=10555520 CPUtime=1.66 cores=1,3,5,7
/proc/29233/task/29239/stat : 29239 (java) S 29231 29233 26276 0 -1 4202560 14851 0 0 0 164 2 0 0 15 0 19 0 877192085 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29240] ppid=29231 vsize=10555520 CPUtime=1.98 cores=1,3,5,7
/proc/29233/task/29240/stat : 29240 (java) S 29231 29233 26276 0 -1 4202560 20277 0 0 0 196 2 0 0 16 0 19 0 877192085 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29241] ppid=29231 vsize=10555520 CPUtime=1.99 cores=1,3,5,7
/proc/29233/task/29241/stat : 29241 (java) S 29231 29233 26276 0 -1 4202560 25416 0 0 0 197 2 0 0 15 0 19 0 877192085 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29242] ppid=29231 vsize=10555520 CPUtime=1.88 cores=1,3,5,7
/proc/29233/task/29242/stat : 29242 (java) S 29231 29233 26276 0 -1 4202560 30673 0 0 0 184 4 0 0 16 0 19 0 877192085 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29243] ppid=29231 vsize=10555520 CPUtime=1.93 cores=1,3,5,7
/proc/29233/task/29243/stat : 29243 (java) S 29231 29233 26276 0 -1 4202560 23922 0 0 0 190 3 0 0 15 0 19 0 877192085 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29244] ppid=29231 vsize=10555520 CPUtime=3.61 cores=1,3,5,7
/proc/29233/task/29244/stat : 29244 (java) S 29231 29233 26276 0 -1 4202560 53985 0 0 0 353 8 0 0 15 0 19 0 877192086 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 0 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29245] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29245/stat : 29245 (java) S 29231 29233 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877192086 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29246] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29246/stat : 29246 (java) S 29231 29233 26276 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877192086 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29247] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29247/stat : 29247 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877192088 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382780849 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29248] ppid=29231 vsize=10555520 CPUtime=1.36 cores=1,3,5,7
/proc/29233/task/29248/stat : 29248 (java) S 29231 29233 26276 0 -1 4202560 6646 0 0 0 136 0 0 0 15 0 19 0 877192088 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29249] ppid=29231 vsize=10555520 CPUtime=1 cores=1,3,5,7
/proc/29233/task/29249/stat : 29249 (java) S 29231 29233 26276 0 -1 4202560 5083 0 0 0 100 0 0 0 15 0 19 0 877192088 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 3 0 0 0
[pid=29233/tid=29250] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29250/stat : 29250 (java) S 29231 29233 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877192088 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773145 0 4 0 16800975 18446604454356995008 0 0 -1 5 0 0 0
[pid=29233/tid=29251] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29251/stat : 29251 (java) S 29231 29233 26276 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877192088 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
[pid=29233/tid=29253] ppid=29231 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/29233/task/29253/stat : 29253 (java) S 29231 29233 26276 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 877192320 10808852480 989219 33554432000 1073741824 1073778376 140734924582480 18446744073709551615 218382773760 0 4 0 16800975 18446604454356995008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10555520
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1786.71 s]
/proc/loadavg: 2.14 2.07 1.87 3/214 29313
/proc/meminfo: memFree=24738020/32951124 swapFree=67050780/67111528
[pid=29233] ppid=29231 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/29233/stat : 29233 (java) Z 29231 29233 26276 0 -1 4203548 996371 0 1 0 179898 123 0 0 17 0 2 0 877192082 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/29233/statm: 0 0 0 0 0 0 0
[pid=29233/tid=29246] ppid=29231 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/29233/task/29246/stat : 29246 (java) R 29231 29233 26276 0 -1 4203588 9 0 0 0 0 7 0 0 18 0 2 0 877192086 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1786.77
CPU time (s): 1800.28
CPU user time (s): 1798.99
CPU system time (s): 1.2948
CPU usage (%): 100.756
Max. virtual memory (cumulated for all children) (KiB): 10555520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.2948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 996371
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= 43462
involuntary context switches= 14722
runsolver used 3.04954 second user time and 6.70998 second system time
The end