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-3457643-1307230282/watcher-3457643-1307230282 -o /tmp/evaluation-result-3457643-1307230282/solver-3457643-1307230282 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457643-1307230282.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.08 2.01 2/576 16097
/proc/meminfo: memFree=24841204/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 14484 0 -1 4202496 5361 0 1 0 0 0 0 0 18 0 2 0 913258899 10694979584 5063 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 2611079 5077 917 9 0 2602235 0
[pid=16097/tid=16098] ppid=16095 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16098/stat : 16098 (java) R 16095 16097 14484 0 -1 4202560 8821 0 1 0 0 0 0 0 21 0 10 0 913258899 10703900672 9645 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 47190500358800 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=16097/tid=16099] ppid=16095 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 913258901 10703900672 9647 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16784584 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) R 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 913258901 10703900672 9648 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) R 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 913258901 10703900672 9648 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) R 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 913258901 10703900672 9649 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) R 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 913258901 10703900672 9649 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) R 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 913258901 10703900672 9650 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) R 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 10 0 913258901 10703900672 9651 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) R 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 10 0 913258901 10703900672 9651 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296751797 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0905449 s]
/proc/loadavg: 2.16 2.08 2.01 2/576 16097
/proc/meminfo: memFree=24841204/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=10540396 CPUtime=0.09 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 14484 0 -1 4202496 12969 0 1 0 8 1 0 0 18 0 18 0 913258899 10793365504 12666 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 2635099 12668 2093 9 0 2625833 0
[pid=16097/tid=16098] ppid=16095 vsize=10540396 CPUtime=0.07 cores=0,2,4,6
/proc/16097/task/16098/stat : 16098 (java) R 16095 16097 14484 0 -1 4202560 11040 0 1 0 6 1 0 0 25 0 18 0 913258899 10793365504 12668 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 47190501208835 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16097/tid=16099] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 913258901 10793365504 12669 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12669 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12669 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12671 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12673 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12675 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 913258901 10793365504 12677 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 913258901 10793365504 12678 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540396
[startup+0.100557 s]
/proc/loadavg: 2.16 2.08 2.01 2/576 16097
/proc/meminfo: memFree=24841204/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=10540396 CPUtime=0.1 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 14484 0 -1 4202496 13139 0 1 0 9 1 0 0 18 0 18 0 913258899 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 2635099 12836 2093 9 0 2625833 0
[pid=16097/tid=16098] ppid=16095 vsize=10540396 CPUtime=0.08 cores=0,2,4,6
/proc/16097/task/16098/stat : 16098 (java) R 16095 16097 14484 0 -1 4202560 11208 0 1 0 7 1 0 0 25 0 18 0 913258899 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 47190501203973 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16097/tid=16099] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 913258901 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 913258901 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=10540396 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 913258901 10793365504 12836 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540396
[startup+0.300528 s]
/proc/loadavg: 2.16 2.08 2.01 2/576 16097
/proc/meminfo: memFree=24841204/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=10544492 CPUtime=0.51 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 14484 0 -1 4202496 16777 0 1 0 49 2 0 0 18 0 18 0 913258899 10797559808 16376 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 2636123 16379 2202 9 0 2626857 0
[pid=16097/tid=16098] ppid=16095 vsize=10544492 CPUtime=0.28 cores=0,2,4,6
/proc/16097/task/16098/stat : 16098 (java) R 16095 16097 14484 0 -1 4202560 13347 0 1 0 27 1 0 0 18 0 18 0 913258899 10797559808 16349 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 46912505587312 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16097/tid=16099] ppid=16095 vsize=10544492 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 913258901 10797559808 16349 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=10544492 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10797559808 16350 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=10544492 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10797559808 16350 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=10544492 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10797559808 16351 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=10544492 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10797559808 16352 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=10544492 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10797559808 16353 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=10544492 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 913258901 10797559808 16354 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=10544492 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 913258901 10797559808 16354 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10544492
[startup+0.700488 s]
/proc/loadavg: 2.16 2.08 2.01 2/576 16097
/proc/meminfo: memFree=24841204/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=10545516 CPUtime=1.18 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 14484 0 -1 4202496 48680 0 1 0 111 7 0 0 18 0 18 0 913258899 10798608384 47593 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 2636379 47596 2222 9 0 2627113 0
[pid=16097/tid=16098] ppid=16095 vsize=10545516 CPUtime=0.68 cores=0,2,4,6
/proc/16097/task/16098/stat : 16098 (java) R 16095 16097 14484 0 -1 4202560 43811 0 1 0 62 6 0 0 18 0 18 0 913258899 10798608384 47597 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 46912505647457 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16097/tid=16099] ppid=16095 vsize=10545516 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 913258901 10798608384 47600 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=10545516 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10798608384 47601 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=10545516 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10798608384 47603 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=10545516 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10798608384 47605 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=10545516 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10798608384 47607 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=10545516 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 913258901 10798608384 47609 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=10545516 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 913258901 10798608384 47611 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=10545516 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 913258901 10798608384 47613 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10545516
[startup+1.50135 s]
/proc/loadavg: 2.16 2.08 2.01 4/594 16115
/proc/meminfo: memFree=24545020/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=10547568 CPUtime=2.78 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 14484 0 -1 4202496 102134 0 1 0 265 13 0 0 18 0 19 0 913258899 10800709632 98842 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 2636892 98842 2234 9 0 2627626 0
[pid=16097/tid=16098] ppid=16095 vsize=10547568 CPUtime=1.48 cores=0,2,4,6
/proc/16097/task/16098/stat : 16098 (java) R 16095 16097 14484 0 -1 4202560 92114 0 1 0 136 12 0 0 18 0 19 0 913258899 10800709632 98843 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 46912505984539 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16097/tid=16099] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 913258901 10800709632 98843 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 913258901 10800709632 98843 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 913258901 10800709632 98844 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 913258901 10800709632 98844 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 913258901 10800709632 98845 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 913258901 10800709632 98845 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 913258901 10800709632 98845 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 913258901 10800709632 98850 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 913258902 10800709632 98868 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 14484 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 913258902 10800709632 98884 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913258902 10800709632 98902 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10800709632 98918 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=10547568 CPUtime=0.74 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) R 16095 16097 14484 0 -1 4202560 6982 0 0 0 74 0 0 0 22 0 19 0 913258904 10800709632 98922 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 47190499749345 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=10547568 CPUtime=0.53 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) R 16095 16097 14484 0 -1 4202560 1879 0 0 0 53 0 0 0 15 0 19 0 913258904 10800709632 98923 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 47190503903074 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10800709632 98923 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=10547568 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 913258904 10800709632 98923 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10547568
[startup+3.10107 s]
/proc/loadavg: 2.16 2.08 2.01 3/595 16116
/proc/meminfo: memFree=24212568/32951124 swapFree=34426104/67111528
################
# More data... #
################
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913258902 10801758208 1052304 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10801758208 1052304 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=10548592 CPUtime=1.22 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 14484 0 -1 4202560 7038 0 0 0 121 1 0 0 15 0 19 0 913258904 10801758208 1052304 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=10548592 CPUtime=0.95 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 14484 0 -1 4202560 2152 0 0 0 95 0 0 0 15 0 19 0 913258904 10801758208 1052304 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10801758208 1052304 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 14484 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 913258904 10801758208 1052304 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913259018 10801758208 1052304 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1672.43
Current children cumulated vsize (KiB) 10548592
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/595 16211
/proc/meminfo: memFree=20419764/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=10548592 CPUtime=1732.58 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 14484 0 -1 4202496 1063761 0 1 0 173130 128 0 0 18 0 19 0 913258899 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 2637148 1054407 2267 9 0 2627882 0
[pid=16097/tid=16098] ppid=16095 vsize=10548592 CPUtime=1714.68 cores=0,2,4,6
/proc/16097/task/16098/stat : 16098 (java) R 16095 16097 14484 0 -1 4202560 801081 0 1 0 171381 87 0 0 25 0 19 0 913258899 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 46912505981669 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16097/tid=16099] ppid=16095 vsize=10548592 CPUtime=1.59 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) S 16095 16097 14484 0 -1 4202560 29848 0 0 0 155 4 0 0 15 0 19 0 913258901 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=10548592 CPUtime=1.52 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 14484 0 -1 4202560 33784 0 0 0 148 4 0 0 15 0 19 0 913258901 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=10548592 CPUtime=1.59 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 14484 0 -1 4202560 34687 0 0 0 154 5 0 0 15 0 19 0 913258901 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=10548592 CPUtime=1.41 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 14484 0 -1 4202560 26112 0 0 0 137 4 0 0 16 0 19 0 913258901 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=10548592 CPUtime=1.5 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 14484 0 -1 4202560 32560 0 0 0 146 4 0 0 16 0 19 0 913258901 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=10548592 CPUtime=1.59 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 14484 0 -1 4202560 30622 0 0 0 155 4 0 0 16 0 19 0 913258901 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=10548592 CPUtime=1.27 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 14484 0 -1 4202560 27421 0 0 0 123 4 0 0 15 0 19 0 913258901 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=10548592 CPUtime=1.36 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 14484 0 -1 4202560 30855 0 0 0 132 4 0 0 15 0 19 0 913258901 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=10548592 CPUtime=3.79 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 14484 0 -1 4202560 6350 0 0 0 377 2 0 0 15 0 19 0 913258902 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913258902 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913258902 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=10548592 CPUtime=1.22 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 14484 0 -1 4202560 7038 0 0 0 121 1 0 0 15 0 19 0 913258904 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=10548592 CPUtime=0.95 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 14484 0 -1 4202560 2152 0 0 0 95 0 0 0 15 0 19 0 913258904 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 14484 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 913258904 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913259018 10801758208 1054407 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1732.58
Current children cumulated vsize (KiB) 10548592
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/595 16222
/proc/meminfo: memFree=20406788/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=10548592 CPUtime=1792.79 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 14484 0 -1 4202496 1066327 0 1 0 179151 128 0 0 18 0 19 0 913258899 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 2637148 1056896 2267 9 0 2627882 0
[pid=16097/tid=16098] ppid=16095 vsize=10548592 CPUtime=1774.57 cores=0,2,4,6
/proc/16097/task/16098/stat : 16098 (java) R 16095 16097 14484 0 -1 4202560 801085 0 1 0 177370 87 0 0 25 0 19 0 913258899 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 46912505796079 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16097/tid=16099] ppid=16095 vsize=10548592 CPUtime=1.59 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) S 16095 16097 14484 0 -1 4202560 29848 0 0 0 155 4 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=10548592 CPUtime=1.59 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 14484 0 -1 4202560 34187 0 0 0 154 5 0 0 16 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=10548592 CPUtime=1.61 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 14484 0 -1 4202560 34984 0 0 0 156 5 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=10548592 CPUtime=1.48 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 14484 0 -1 4202560 26853 0 0 0 144 4 0 0 16 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=10548592 CPUtime=1.52 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 14484 0 -1 4202560 32616 0 0 0 148 4 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=10548592 CPUtime=1.62 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 14484 0 -1 4202560 30840 0 0 0 158 4 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=10548592 CPUtime=1.33 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 14484 0 -1 4202560 27736 0 0 0 129 4 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=10548592 CPUtime=1.41 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 14484 0 -1 4202560 31381 0 0 0 137 4 0 0 16 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=10548592 CPUtime=3.79 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 14484 0 -1 4202560 6354 0 0 0 377 2 0 0 15 0 19 0 913258902 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913258902 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913258902 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=10548592 CPUtime=1.22 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 14484 0 -1 4202560 7038 0 0 0 121 1 0 0 15 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=10548592 CPUtime=0.95 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 14484 0 -1 4202560 2152 0 0 0 95 0 0 0 15 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913259018 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1792.79
Current children cumulated vsize (KiB) 10548592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.6 s]
/proc/loadavg: 2.06 2.05 2.01 4/595 16222
/proc/meminfo: memFree=20407316/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=10548592 CPUtime=1800.12 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 14484 0 -1 4202496 1066329 0 1 0 179884 128 0 0 18 0 19 0 913258899 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 2637148 1056896 2267 9 0 2627882 0
[pid=16097/tid=16098] ppid=16095 vsize=10548592 CPUtime=1781.92 cores=0,2,4,6
/proc/16097/task/16098/stat : 16098 (java) R 16095 16097 14484 0 -1 4202560 801085 0 1 0 178105 87 0 0 25 0 19 0 913258899 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 46912506002036 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16097/tid=16099] ppid=16095 vsize=10548592 CPUtime=1.59 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) S 16095 16097 14484 0 -1 4202560 29848 0 0 0 155 4 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=10548592 CPUtime=1.59 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 14484 0 -1 4202560 34187 0 0 0 154 5 0 0 16 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=10548592 CPUtime=1.61 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 14484 0 -1 4202560 34984 0 0 0 156 5 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=10548592 CPUtime=1.48 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 14484 0 -1 4202560 26853 0 0 0 144 4 0 0 16 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=10548592 CPUtime=1.52 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 14484 0 -1 4202560 32616 0 0 0 148 4 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=10548592 CPUtime=1.62 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 14484 0 -1 4202560 30840 0 0 0 158 4 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=10548592 CPUtime=1.33 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 14484 0 -1 4202560 27736 0 0 0 129 4 0 0 15 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=10548592 CPUtime=1.41 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 14484 0 -1 4202560 31381 0 0 0 137 4 0 0 16 0 19 0 913258901 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=10548592 CPUtime=3.79 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 14484 0 -1 4202560 6354 0 0 0 377 2 0 0 15 0 19 0 913258902 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913258902 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913258902 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=10548592 CPUtime=1.22 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 14484 0 -1 4202560 7038 0 0 0 121 1 0 0 15 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=10548592 CPUtime=0.95 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 14484 0 -1 4202560 2152 0 0 0 95 0 0 0 15 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 14484 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 913258904 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=10548592 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913259018 10801758208 1056896 33554432000 1073741824 1073778376 140737111491552 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10548592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.8 s]
/proc/loadavg: 2.06 2.05 2.01 4/595 16222
/proc/meminfo: memFree=20407316/32951124 swapFree=34426104/67111528
[pid=16097] ppid=16095 vsize=0 CPUtime=1800.36 cores=0,2,4,6
/proc/16097/stat : 16097 (java) Z 16095 16097 14484 0 -1 4203548 1067294 0 1 0 179899 137 0 0 17 0 2 0 913258899 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16097/statm: 0 0 0 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) R 16095 16097 14484 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 913259018 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1789.88
CPU time (s): 1800.45
CPU user time (s): 1798.99
CPU system time (s): 1.45878
CPU usage (%): 100.59
Max. virtual memory (cumulated for all children) (KiB): 10548592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.45878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1067294
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= 40642
involuntary context switches= 6345
runsolver used 11.3283 second user time and 22.8895 second system time
The end