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-3456440-1307659871/watcher-3456440-1307659871 -o /tmp/evaluation-result-3456440-1307659871/solver-3456440-1307659871 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456440-1307659871.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.93 1.99 1.99 3/195 12972
/proc/meminfo: memFree=29389936/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 858402478 31260672 957 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 7632 957 730 9 0 383 0
[pid=12972/tid=12973] ppid=12970 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 124 0 0 0 0 0 0 0 25 0 2 0 858402479 31268864 958 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254261614651 0 0 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.090549 s]
/proc/loadavg: 1.93 1.99 1.99 3/195 12972
/proc/meminfo: memFree=29389936/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10539848 CPUtime=0.09 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 12934 0 1 0 8 1 0 0 25 0 18 0 858402478 10792804352 12596 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2634962 12598 2091 9 0 2625696 0
[pid=12972/tid=12973] ppid=12970 vsize=10539848 CPUtime=0.07 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) S 12970 12972 11688 0 -1 4202560 10989 0 1 0 6 1 0 0 22 0 18 0 858402479 10792804352 12598 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539848
[startup+0.101229 s]
/proc/loadavg: 1.93 1.99 1.99 3/195 12972
/proc/meminfo: memFree=29389936/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10539848 CPUtime=0.1 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 13098 0 1 0 9 1 0 0 25 0 18 0 858402478 10792804352 12760 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2634962 12761 2092 9 0 2625696 0
[pid=12972/tid=12973] ppid=12970 vsize=10539848 CPUtime=0.08 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 11152 0 1 0 7 1 0 0 22 0 18 0 858402479 10792804352 12761 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 47805267170357 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539848
[startup+0.305244 s]
/proc/loadavg: 1.93 1.99 1.99 3/195 12972
/proc/meminfo: memFree=29389936/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10551308 CPUtime=0.59 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 22437 0 1 0 56 3 0 0 25 0 18 0 858402478 10804539392 19903 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2637827 19904 2202 9 0 2628561 0
[pid=12972/tid=12973] ppid=12970 vsize=10551308 CPUtime=0.28 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 14433 0 1 0 26 2 0 0 22 0 18 0 858402479 10804539392 19905 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 46912505605912 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10551308
[startup+0.701127 s]
/proc/loadavg: 1.93 1.99 1.99 3/195 12972
/proc/meminfo: memFree=29389936/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10552336 CPUtime=1.61 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 34719 0 1 0 156 5 0 0 25 0 19 0 858402478 10805592064 30143 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2638084 30143 2224 9 0 2628818 0
[pid=12972/tid=12973] ppid=12970 vsize=10552336 CPUtime=0.67 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 23326 0 1 0 64 3 0 0 25 0 19 0 858402479 10805592064 30146 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 46912505601008 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10552336
[startup+1.501 s]
/proc/loadavg: 1.93 1.99 1.99 3/214 12991
/proc/meminfo: memFree=29141500/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10552336 CPUtime=2.7 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 109775 0 1 0 257 13 0 0 25 0 19 0 858402478 10805592064 103496 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2638084 103497 2228 9 0 2628818 0
[pid=12972/tid=12973] ppid=12970 vsize=10552336 CPUtime=1.48 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 96629 0 1 0 136 12 0 0 18 0 19 0 858402479 10805592064 103498 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 46912505580972 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12972/tid=12975] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12975/stat : 12975 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 103498 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12976] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12976/stat : 12976 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 103499 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12977] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12977/stat : 12977 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 103502 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12978] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12978/stat : 12978 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 103507 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12979] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12979/stat : 12979 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 103510 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12980] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12980/stat : 12980 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 103510 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12981] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12981/stat : 12981 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 103512 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12982] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12982/stat : 12982 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 103513 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12983] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12983/stat : 12983 (java) S 12970 12972 11688 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858402481 10805592064 103513 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 0 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12984] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12984/stat : 12984 (java) S 12970 12972 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858402482 10805592064 103513 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12985] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12985/stat : 12985 (java) S 12970 12972 11688 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 858402482 10805592064 103513 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12986] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12986/stat : 12986 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402484 10805592064 103514 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273440177 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12987] ppid=12970 vsize=10552336 CPUtime=0.6 cores=1,3,5,7
/proc/12972/task/12987/stat : 12987 (java) S 12970 12972 11688 0 -1 4202560 4511 0 0 0 60 0 0 0 15 0 19 0 858402484 10805592064 103517 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12988] ppid=12970 vsize=10552336 CPUtime=0.6 cores=1,3,5,7
/proc/12972/task/12988/stat : 12988 (java) S 12970 12972 11688 0 -1 4202560 7470 0 0 0 59 1 0 0 15 0 19 0 858402484 10805592064 103517 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12989] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12989/stat : 12989 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402484 10805592064 103518 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12990] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12990/stat : 12990 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858402484 10805592064 103518 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12991] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12991/stat : 12991 (java) S 12970 12972 11688 0 -1 4202560 12 0 0 0 0 0 0 0 24 0 19 0 858402515 10805592064 103519 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 10552336
[startup+3.1007 s]
/proc/loadavg: 1.93 1.99 1.99 3/214 12991
/proc/meminfo: memFree=28729844/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10552336 CPUtime=4.46 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 263943 0 1 0 417 29 0 0 25 0 19 0 858402478 10805592064 257663 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2638084 257666 2231 9 0 2628818 0
[pid=12972/tid=12973] ppid=12970 vsize=10552336 CPUtime=3.08 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 250781 0 1 0 281 27 0 0 21 0 19 0 858402479 10805592064 257668 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 46912505601012 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12972/tid=12975] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12975/stat : 12975 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 257670 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12976] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12976/stat : 12976 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 257671 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12977] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12977/stat : 12977 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 257673 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12978] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12978/stat : 12978 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 257678 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12979] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12979/stat : 12979 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 257683 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12980] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12980/stat : 12980 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 257684 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12981] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12981/stat : 12981 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 257686 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12982] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12982/stat : 12982 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 257687 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12983] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12983/stat : 12983 (java) S 12970 12972 11688 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 858402481 10805592064 257687 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 0 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12984] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12984/stat : 12984 (java) S 12970 12972 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858402482 10805592064 257690 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12985] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12985/stat : 12985 (java) S 12970 12972 11688 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 858402482 10805592064 257690 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12986] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12986/stat : 12986 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402484 10805592064 257690 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273440177 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12987] ppid=12970 vsize=10552336 CPUtime=0.7 cores=1,3,5,7
/proc/12972/task/12987/stat : 12987 (java) S 12970 12972 11688 0 -1 4202560 4521 0 0 0 70 0 0 0 15 0 19 0 858402484 10805592064 257691 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12988] ppid=12970 vsize=10552336 CPUtime=0.66 cores=1,3,5,7
/proc/12972/task/12988/stat : 12988 (java) S 12970 12972 11688 0 -1 4202560 7479 0 0 0 65 1 0 0 15 0 19 0 858402484 10805592064 257691 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12989] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12989/stat : 12989 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402484 10805592064 257691 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12990] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12990/stat : 12990 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858402484 10805592064 257692 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12991] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12991/stat : 12991 (java) S 12970 12972 11688 0 -1 4202560 12 0 0 0 0 0 0 0 24 0 19 0 858402515 10805592064 257694 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 10552336
[startup+6.30114 s]
/proc/loadavg: 1.94 1.99 1.99 3/214 12991
/proc/meminfo: memFree=27546632/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10552336 CPUtime=7.68 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 536759 0 1 0 708 60 0 0 25 0 19 0 858402478 10805592064 530273 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2638084 530276 2232 9 0 2628818 0
[pid=12972/tid=12973] ppid=12970 vsize=10552336 CPUtime=6.28 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 523593 0 1 0 570 58 0 0 19 0 19 0 858402479 10805592064 530278 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 46912505366018 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12972/tid=12975] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12975/stat : 12975 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 530282 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12976] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12976/stat : 12976 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 530286 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12977] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12977/stat : 12977 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 530287 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12978] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12978/stat : 12978 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 530289 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12979] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12979/stat : 12979 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 530290 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12980] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12980/stat : 12980 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 530292 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12981] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12981/stat : 12981 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 530293 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12982] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12982/stat : 12982 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858402480 10805592064 530294 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12983] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12983/stat : 12983 (java) S 12970 12972 11688 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858402481 10805592064 530295 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 0 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12984] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12984/stat : 12984 (java) S 12970 12972 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858402482 10805592064 530296 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12985] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12985/stat : 12985 (java) S 12970 12972 11688 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 858402482 10805592064 530297 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12986] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12986/stat : 12986 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402484 10805592064 530298 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273440177 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12987] ppid=12970 vsize=10552336 CPUtime=0.72 cores=1,3,5,7
/proc/12972/task/12987/stat : 12987 (java) S 12970 12972 11688 0 -1 4202560 4525 0 0 0 72 0 0 0 15 0 19 0 858402484 10805592064 530299 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12988] ppid=12970 vsize=10552336 CPUtime=0.66 cores=1,3,5,7
/proc/12972/task/12988/stat : 12988 (java) S 12970 12972 11688 0 -1 4202560 7479 0 0 0 65 1 0 0 15 0 19 0 858402484 10805592064 530300 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/12972/task/12985/stat : 12985 (java) S 12970 12972 11688 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 858402482 10805592064 948953 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12986] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12986/stat : 12986 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402484 10805592064 948953 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273440177 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12987] ppid=12970 vsize=10552336 CPUtime=0.82 cores=1,3,5,7
/proc/12972/task/12987/stat : 12987 (java) S 12970 12972 11688 0 -1 4202560 4561 0 0 0 82 0 0 0 15 0 19 0 858402484 10805592064 948953 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12988] ppid=12970 vsize=10552336 CPUtime=1.15 cores=1,3,5,7
/proc/12972/task/12988/stat : 12988 (java) S 12970 12972 11688 0 -1 4202560 11286 0 0 0 114 1 0 0 16 0 19 0 858402484 10805592064 948953 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12989] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12989/stat : 12989 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402484 10805592064 948953 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12990] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12990/stat : 12990 (java) S 12970 12972 11688 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 858402484 10805592064 948953 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12991] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12991/stat : 12991 (java) S 12970 12972 11688 0 -1 4202560 12 0 0 0 0 0 0 0 24 0 19 0 858402515 10805592064 948953 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1672.82
Current children cumulated vsize (KiB) 10552336
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 13046
/proc/meminfo: memFree=23944692/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10552336 CPUtime=1733.24 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 961237 0 1 0 173209 115 0 0 25 0 19 0 858402478 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2638084 952424 2258 9 0 2628818 0
[pid=12972/tid=12973] ppid=12970 vsize=10552336 CPUtime=1717.36 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 808498 0 1 0 171645 91 0 0 25 0 19 0 858402479 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 46912505848313 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12972/tid=12975] ppid=12970 vsize=10552336 CPUtime=1.36 cores=1,3,5,7
/proc/12972/task/12975/stat : 12975 (java) S 12970 12972 11688 0 -1 4202560 12020 0 0 0 135 1 0 0 15 0 19 0 858402480 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12976] ppid=12970 vsize=10552336 CPUtime=1.66 cores=1,3,5,7
/proc/12972/task/12976/stat : 12976 (java) S 12970 12972 11688 0 -1 4202560 12022 0 0 0 165 1 0 0 16 0 19 0 858402480 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12977] ppid=12970 vsize=10552336 CPUtime=1.51 cores=1,3,5,7
/proc/12972/task/12977/stat : 12977 (java) S 12970 12972 11688 0 -1 4202560 12112 0 0 0 150 1 0 0 15 0 19 0 858402480 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12978] ppid=12970 vsize=10552336 CPUtime=1.47 cores=1,3,5,7
/proc/12972/task/12978/stat : 12978 (java) S 12970 12972 11688 0 -1 4202560 16489 0 0 0 145 2 0 0 16 0 19 0 858402480 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12979] ppid=12970 vsize=10552336 CPUtime=1.49 cores=1,3,5,7
/proc/12972/task/12979/stat : 12979 (java) S 12970 12972 11688 0 -1 4202560 16149 0 0 0 148 1 0 0 15 0 19 0 858402480 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12980] ppid=12970 vsize=10552336 CPUtime=1.39 cores=1,3,5,7
/proc/12972/task/12980/stat : 12980 (java) S 12970 12972 11688 0 -1 4202560 12960 0 0 0 138 1 0 0 15 0 19 0 858402480 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12981] ppid=12970 vsize=10552336 CPUtime=1.65 cores=1,3,5,7
/proc/12972/task/12981/stat : 12981 (java) S 12970 12972 11688 0 -1 4202560 20390 0 0 0 163 2 0 0 16 0 19 0 858402480 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12982] ppid=12970 vsize=10552336 CPUtime=1.52 cores=1,3,5,7
/proc/12972/task/12982/stat : 12982 (java) S 12970 12972 11688 0 -1 4202560 16156 0 0 0 150 2 0 0 16 0 19 0 858402480 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12983] ppid=12970 vsize=10552336 CPUtime=1.7 cores=1,3,5,7
/proc/12972/task/12983/stat : 12983 (java) S 12970 12972 11688 0 -1 4202560 17335 0 0 0 166 4 0 0 15 0 19 0 858402481 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 0 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12984] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12984/stat : 12984 (java) S 12970 12972 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858402482 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12985] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12985/stat : 12985 (java) S 12970 12972 11688 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 858402482 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12986] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12986/stat : 12986 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402484 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273440177 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12987] ppid=12970 vsize=10552336 CPUtime=0.82 cores=1,3,5,7
/proc/12972/task/12987/stat : 12987 (java) S 12970 12972 11688 0 -1 4202560 4561 0 0 0 82 0 0 0 15 0 19 0 858402484 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12988] ppid=12970 vsize=10552336 CPUtime=1.15 cores=1,3,5,7
/proc/12972/task/12988/stat : 12988 (java) S 12970 12972 11688 0 -1 4202560 11286 0 0 0 114 1 0 0 16 0 19 0 858402484 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12989] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12989/stat : 12989 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402484 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12990] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12990/stat : 12990 (java) S 12970 12972 11688 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 858402484 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12991] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12991/stat : 12991 (java) S 12970 12972 11688 0 -1 4202560 12 0 0 0 0 0 0 0 24 0 19 0 858402515 10805592064 952424 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1733.24
Current children cumulated vsize (KiB) 10552336
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 13047
/proc/meminfo: memFree=23918120/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10552336 CPUtime=1793.66 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 965318 0 1 0 179251 115 0 0 25 0 19 0 858402478 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2638084 956432 2258 9 0 2628818 0
[pid=12972/tid=12973] ppid=12970 vsize=10552336 CPUtime=1776.77 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 808505 0 1 0 177586 91 0 0 25 0 19 0 858402479 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 46912506035734 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12972/tid=12975] ppid=12970 vsize=10552336 CPUtime=1.45 cores=1,3,5,7
/proc/12972/task/12975/stat : 12975 (java) S 12970 12972 11688 0 -1 4202560 12176 0 0 0 144 1 0 0 15 0 19 0 858402480 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12976] ppid=12970 vsize=10552336 CPUtime=1.76 cores=1,3,5,7
/proc/12972/task/12976/stat : 12976 (java) S 12970 12972 11688 0 -1 4202560 12347 0 0 0 175 1 0 0 16 0 19 0 858402480 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12977] ppid=12970 vsize=10552336 CPUtime=1.56 cores=1,3,5,7
/proc/12972/task/12977/stat : 12977 (java) S 12970 12972 11688 0 -1 4202560 12339 0 0 0 155 1 0 0 15 0 19 0 858402480 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12978] ppid=12970 vsize=10552336 CPUtime=1.54 cores=1,3,5,7
/proc/12972/task/12978/stat : 12978 (java) S 12970 12972 11688 0 -1 4202560 16788 0 0 0 152 2 0 0 15 0 19 0 858402480 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12979] ppid=12970 vsize=10552336 CPUtime=1.55 cores=1,3,5,7
/proc/12972/task/12979/stat : 12979 (java) S 12970 12972 11688 0 -1 4202560 16465 0 0 0 154 1 0 0 16 0 19 0 858402480 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12980] ppid=12970 vsize=10552336 CPUtime=1.48 cores=1,3,5,7
/proc/12972/task/12980/stat : 12980 (java) S 12970 12972 11688 0 -1 4202560 13353 0 0 0 147 1 0 0 16 0 19 0 858402480 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12981] ppid=12970 vsize=10552336 CPUtime=1.71 cores=1,3,5,7
/proc/12972/task/12981/stat : 12981 (java) S 12970 12972 11688 0 -1 4202560 20565 0 0 0 169 2 0 0 16 0 19 0 858402480 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12982] ppid=12970 vsize=10552336 CPUtime=1.59 cores=1,3,5,7
/proc/12972/task/12982/stat : 12982 (java) S 12970 12972 11688 0 -1 4202560 16303 0 0 0 157 2 0 0 15 0 19 0 858402480 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12983] ppid=12970 vsize=10552336 CPUtime=2.14 cores=1,3,5,7
/proc/12972/task/12983/stat : 12983 (java) S 12970 12972 11688 0 -1 4202560 19369 0 0 0 210 4 0 0 15 0 19 0 858402481 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 0 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12984] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12984/stat : 12984 (java) S 12970 12972 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858402482 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12985] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12985/stat : 12985 (java) S 12970 12972 11688 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 858402482 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12986] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12986/stat : 12986 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402484 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273440177 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12987] ppid=12970 vsize=10552336 CPUtime=0.82 cores=1,3,5,7
/proc/12972/task/12987/stat : 12987 (java) S 12970 12972 11688 0 -1 4202560 4561 0 0 0 82 0 0 0 15 0 19 0 858402484 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12988] ppid=12970 vsize=10552336 CPUtime=1.15 cores=1,3,5,7
/proc/12972/task/12988/stat : 12988 (java) S 12970 12972 11688 0 -1 4202560 11286 0 0 0 114 1 0 0 16 0 19 0 858402484 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12989] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12989/stat : 12989 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402484 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12990] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12990/stat : 12990 (java) S 12970 12972 11688 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858402484 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12991] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12991/stat : 12991 (java) S 12970 12972 11688 0 -1 4202560 12 0 0 0 0 0 0 0 24 0 19 0 858402515 10805592064 956432 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (KiB) 10552336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.61 s]
/proc/loadavg: 1.92 2.00 1.99 3/214 13106
/proc/meminfo: memFree=27225468/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=10552336 CPUtime=1800.02 cores=1,3,5,7
/proc/12972/stat : 12972 (java) S 12970 12972 11688 0 -1 4202496 965320 0 1 0 179887 115 0 0 25 0 19 0 858402478 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 2638084 956433 2258 9 0 2628818 0
[pid=12972/tid=12973] ppid=12970 vsize=10552336 CPUtime=1783.08 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4202560 808506 0 1 0 178216 92 0 0 25 0 19 0 858402479 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 46912505848339 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12972/tid=12975] ppid=12970 vsize=10552336 CPUtime=1.47 cores=1,3,5,7
/proc/12972/task/12975/stat : 12975 (java) S 12970 12972 11688 0 -1 4202560 12176 0 0 0 146 1 0 0 16 0 19 0 858402480 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12976] ppid=12970 vsize=10552336 CPUtime=1.76 cores=1,3,5,7
/proc/12972/task/12976/stat : 12976 (java) S 12970 12972 11688 0 -1 4202560 12347 0 0 0 175 1 0 0 15 0 19 0 858402480 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12977] ppid=12970 vsize=10552336 CPUtime=1.56 cores=1,3,5,7
/proc/12972/task/12977/stat : 12977 (java) S 12970 12972 11688 0 -1 4202560 12339 0 0 0 155 1 0 0 15 0 19 0 858402480 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12978] ppid=12970 vsize=10552336 CPUtime=1.55 cores=1,3,5,7
/proc/12972/task/12978/stat : 12978 (java) S 12970 12972 11688 0 -1 4202560 16788 0 0 0 153 2 0 0 16 0 19 0 858402480 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12979] ppid=12970 vsize=10552336 CPUtime=1.55 cores=1,3,5,7
/proc/12972/task/12979/stat : 12979 (java) S 12970 12972 11688 0 -1 4202560 16465 0 0 0 154 1 0 0 15 0 19 0 858402480 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12980] ppid=12970 vsize=10552336 CPUtime=1.48 cores=1,3,5,7
/proc/12972/task/12980/stat : 12980 (java) S 12970 12972 11688 0 -1 4202560 13353 0 0 0 147 1 0 0 15 0 19 0 858402480 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12981] ppid=12970 vsize=10552336 CPUtime=1.73 cores=1,3,5,7
/proc/12972/task/12981/stat : 12981 (java) S 12970 12972 11688 0 -1 4202560 20566 0 0 0 171 2 0 0 16 0 19 0 858402480 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12982] ppid=12970 vsize=10552336 CPUtime=1.6 cores=1,3,5,7
/proc/12972/task/12982/stat : 12982 (java) S 12970 12972 11688 0 -1 4202560 16303 0 0 0 158 2 0 0 16 0 19 0 858402480 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12983] ppid=12970 vsize=10552336 CPUtime=2.14 cores=1,3,5,7
/proc/12972/task/12983/stat : 12983 (java) S 12970 12972 11688 0 -1 4202560 19369 0 0 0 210 4 0 0 15 0 19 0 858402481 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 0 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12984] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12984/stat : 12984 (java) S 12970 12972 11688 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858402482 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12985] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12985/stat : 12985 (java) S 12970 12972 11688 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 858402482 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12986] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12986/stat : 12986 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858402484 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273440177 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12987] ppid=12970 vsize=10552336 CPUtime=0.82 cores=1,3,5,7
/proc/12972/task/12987/stat : 12987 (java) S 12970 12972 11688 0 -1 4202560 4561 0 0 0 82 0 0 0 15 0 19 0 858402484 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 5 0 0 0
[pid=12972/tid=12988] ppid=12970 vsize=10552336 CPUtime=1.15 cores=1,3,5,7
/proc/12972/task/12988/stat : 12988 (java) S 12970 12972 11688 0 -1 4202560 11286 0 0 0 114 1 0 0 16 0 19 0 858402484 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 3 0 0 0
[pid=12972/tid=12989] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12989/stat : 12989 (java) S 12970 12972 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858402484 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273432473 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
[pid=12972/tid=12990] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12990/stat : 12990 (java) S 12970 12972 11688 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858402484 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 1 0 0 0
[pid=12972/tid=12991] ppid=12970 vsize=10552336 CPUtime=0 cores=1,3,5,7
/proc/12972/task/12991/stat : 12991 (java) S 12970 12972 11688 0 -1 4202560 12 0 0 0 0 0 0 0 24 0 19 0 858402515 10805592064 956433 33554432000 1073741824 1073778376 140734619156656 18446744073709551615 254273433088 0 4 0 16800975 18446604471138532224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10552336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.71 s]
/proc/loadavg: 1.92 2.00 1.99 3/214 13106
/proc/meminfo: memFree=27225468/32951124 swapFree=67057920/67111528
[pid=12972] ppid=12970 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/12972/stat : 12972 (java) Z 12970 12972 11688 0 -1 4203548 965367 0 1 0 179895 122 0 0 17 0 2 0 858402478 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12972/statm: 0 0 0 0 0 0 0
[pid=12972/tid=12973] ppid=12970 vsize=0 CPUtime=1783.17 cores=1,3,5,7
/proc/12972/task/12973/stat : 12973 (java) R 12970 12972 11688 0 -1 4203588 808506 0 1 0 178219 98 0 0 25 0 2 0 858402479 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.79
CPU time (s): 1800.25
CPU user time (s): 1798.95
CPU system time (s): 1.2988
CPU usage (%): 100.641
Max. virtual memory (cumulated for all children) (KiB): 10552336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.2988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965367
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= 41881
involuntary context switches= 11380
runsolver used 2.83457 second user time and 6.95594 second system time
The end