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-3456221-1307226657/watcher-3456221-1307226657 -o /tmp/evaluation-result-3456221-1307226657/solver-3456221-1307226657 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456221-1307226657.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.05 2.01 3/491 8128
/proc/meminfo: memFree=16720376/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 1182 0 0 0 0 0 0 0 23 0 2 0 834265367 29065216 910 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 7096 910 690 9 0 381 0
[pid=8128/tid=8129] ppid=8126 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 3796 0 1 0 0 0 0 0 25 0 2 0 834265368 10694979584 4612 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.102186 s]
/proc/loadavg: 2.01 2.05 2.01 3/491 8128
/proc/meminfo: memFree=16720376/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10539512 CPUtime=0.1 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 13044 0 1 0 9 1 0 0 23 0 18 0 834265367 10792460288 12739 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2634878 12739 2093 9 0 2625612 0
[pid=8128/tid=8129] ppid=8126 vsize=10539512 CPUtime=0.08 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 11115 0 1 0 7 1 0 0 18 0 18 0 834265368 10792460288 12741 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539512
[startup+0.200171 s]
/proc/loadavg: 2.01 2.05 2.01 3/491 8128
/proc/meminfo: memFree=16720376/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10540096 CPUtime=0.24 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 13964 0 1 0 23 1 0 0 23 0 18 0 834265367 10793058304 13651 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2635024 13651 2179 9 0 2625758 0
[pid=8128/tid=8129] ppid=8126 vsize=10540096 CPUtime=0.18 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 11828 0 1 0 17 1 0 0 18 0 18 0 834265368 10793058304 13651 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912505178908 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10540096
[startup+0.301154 s]
/proc/loadavg: 2.01 2.05 2.01 3/491 8128
/proc/meminfo: memFree=16720376/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10541592 CPUtime=0.48 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 16260 0 1 0 46 2 0 0 23 0 18 0 834265367 10794590208 15628 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2635398 15628 2220 9 0 2626132 0
[pid=8128/tid=8129] ppid=8126 vsize=10541592 CPUtime=0.28 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 12740 0 1 0 27 1 0 0 18 0 18 0 834265368 10794590208 15629 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541592
[startup+0.709604 s]
/proc/loadavg: 2.01 2.05 2.01 3/491 8128
/proc/meminfo: memFree=16720376/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10548488 CPUtime=1.54 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 30506 0 1 0 149 5 0 0 23 0 19 0 834265367 10801651712 28300 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2637122 28300 2240 9 0 2627856 0
[pid=8128/tid=8129] ppid=8126 vsize=10548488 CPUtime=0.69 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 21730 0 1 0 66 3 0 0 19 0 19 0 834265368 10801651712 28300 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912505779489 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10548488
[startup+1.50436 s]
/proc/loadavg: 2.01 2.05 2.01 3/510 8147
/proc/meminfo: memFree=16489956/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10548488 CPUtime=2.64 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 95440 0 1 0 253 11 0 0 23 0 19 0 834265367 10801651712 93233 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2637122 93234 2244 9 0 2627856 0
[pid=8128/tid=8129] ppid=8126 vsize=10548488 CPUtime=1.49 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 86596 0 1 0 139 10 0 0 20 0 19 0 834265368 10801651712 93234 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912506070821 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8128/tid=8131] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8131/stat : 8131 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 93235 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8132] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8132/stat : 8132 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 93235 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8133] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8133/stat : 8133 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 93236 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8134] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8134/stat : 8134 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 93236 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8135] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8135/stat : 8135 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 93237 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8136] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8136/stat : 8136 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 93237 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8137] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8137/stat : 8137 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 93239 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8138] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8138/stat : 8138 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 93239 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8139] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8139/stat : 8139 (java) S 8126 8128 7022 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834265370 10801651712 93240 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 0 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8140] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8140/stat : 8140 (java) S 8126 8128 7022 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834265371 10801651712 93240 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8141] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8141/stat : 8141 (java) S 8126 8128 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834265371 10801651712 93241 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8142] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8142/stat : 8142 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10801651712 93241 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485791153 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8143] ppid=8126 vsize=10548488 CPUtime=0.56 cores=1,3,5,7
/proc/8128/task/8143/stat : 8143 (java) S 8126 8128 7022 0 -1 4202560 3007 0 0 0 56 0 0 0 15 0 19 0 834265373 10801651712 93242 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8144] ppid=8126 vsize=10548488 CPUtime=0.57 cores=1,3,5,7
/proc/8128/task/8144/stat : 8144 (java) R 8126 8128 7022 0 -1 4202560 4679 0 0 0 57 0 0 0 20 0 19 0 834265373 10801651712 93242 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 47559868252778 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8128/tid=8145] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8145/stat : 8145 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10801651712 93243 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8146] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8146/stat : 8146 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834265373 10801651712 93243 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8147] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8147/stat : 8147 (java) S 8126 8128 7022 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265418 10801651712 93243 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10548488
[startup+3.10066 s]
/proc/loadavg: 2.01 2.05 2.01 3/510 8147
/proc/meminfo: memFree=16179584/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10548488 CPUtime=4.39 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 183302 0 1 0 416 23 0 0 23 0 19 0 834265367 10801651712 181093 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2637122 181095 2244 9 0 2627856 0
[pid=8128/tid=8129] ppid=8126 vsize=10548488 CPUtime=3.08 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 174402 0 1 0 287 21 0 0 25 0 19 0 834265368 10801651712 181097 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912505830388 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8128/tid=8131] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8131/stat : 8131 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 181098 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8132] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8132/stat : 8132 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 181100 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8133] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8133/stat : 8133 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 181103 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8134] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8134/stat : 8134 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 181103 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8135] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8135/stat : 8135 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 181104 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8136] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8136/stat : 8136 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 181106 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8137] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8137/stat : 8137 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 181107 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8138] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8138/stat : 8138 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10801651712 181108 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8139] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8139/stat : 8139 (java) S 8126 8128 7022 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834265370 10801651712 181110 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 0 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8140] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8140/stat : 8140 (java) S 8126 8128 7022 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834265371 10801651712 181111 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8141] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8141/stat : 8141 (java) S 8126 8128 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834265371 10801651712 181113 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8142] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8142/stat : 8142 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10801651712 181114 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485791153 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8143] ppid=8126 vsize=10548488 CPUtime=0.59 cores=1,3,5,7
/proc/8128/task/8143/stat : 8143 (java) S 8126 8128 7022 0 -1 4202560 3008 0 0 0 59 0 0 0 15 0 19 0 834265373 10801651712 181114 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8144] ppid=8126 vsize=10548488 CPUtime=0.69 cores=1,3,5,7
/proc/8128/task/8144/stat : 8144 (java) S 8126 8128 7022 0 -1 4202560 4737 0 0 0 69 0 0 0 15 0 19 0 834265373 10801651712 181116 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8145] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8145/stat : 8145 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10801651712 181118 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8146] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8146/stat : 8146 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834265373 10801651712 181120 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8147] ppid=8126 vsize=10548488 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8147/stat : 8147 (java) S 8126 8128 7022 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265418 10801651712 181122 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10548488
[startup+6.30116 s]
/proc/loadavg: 2.01 2.05 2.01 3/510 8147
/proc/meminfo: memFree=15555480/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10546868 CPUtime=7.62 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 323575 0 1 0 723 39 0 0 23 0 19 0 834265367 10799992832 321017 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2636717 321019 2245 9 0 2627451 0
[pid=8128/tid=8129] ppid=8126 vsize=10546868 CPUtime=6.28 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 314667 0 1 0 590 38 0 0 25 0 19 0 834265368 10799992832 321020 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912505779727 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8128/tid=8131] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8131/stat : 8131 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10799992832 321021 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8132] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8132/stat : 8132 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10799992832 321021 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8133] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8133/stat : 8133 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10799992832 321022 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8134] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8134/stat : 8134 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10799992832 321023 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8135] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8135/stat : 8135 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10799992832 321024 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8136] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8136/stat : 8136 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10799992832 321025 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8137] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8137/stat : 8137 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10799992832 321027 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8138] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8138/stat : 8138 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265369 10799992832 321027 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8139] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8139/stat : 8139 (java) S 8126 8128 7022 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834265370 10799992832 321029 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 0 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8140] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8140/stat : 8140 (java) S 8126 8128 7022 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834265371 10799992832 321030 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8141] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8141/stat : 8141 (java) S 8126 8128 7022 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834265371 10799992832 321031 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8142] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8142/stat : 8142 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10799992832 321032 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485791153 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8143] ppid=8126 vsize=10546868 CPUtime=0.59 cores=1,3,5,7
/proc/8128/task/8143/stat : 8143 (java) S 8126 8128 7022 0 -1 4202560 3008 0 0 0 59 0 0 0 15 0 19 0 834265373 10799992832 321033 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8144] ppid=8126 vsize=10546868 CPUtime=0.73 cores=1,3,5,7
/proc/8128/task/8144/stat : 8144 (java) S 8126 8128 7022 0 -1 4202560 4743 0 0 0 73 0 0 0 15 0 19 0 834265373 10799992832 321034 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/8128/task/8141/stat : 8141 (java) S 8126 8128 7022 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834265371 10799992832 932107 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8142] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8142/stat : 8142 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10799992832 932107 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485791153 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8143] ppid=8126 vsize=10546868 CPUtime=0.66 cores=1,3,5,7
/proc/8128/task/8143/stat : 8143 (java) S 8126 8128 7022 0 -1 4202560 3024 0 0 0 66 0 0 0 15 0 19 0 834265373 10799992832 932107 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8144] ppid=8126 vsize=10546868 CPUtime=1.1 cores=1,3,5,7
/proc/8128/task/8144/stat : 8144 (java) S 8126 8128 7022 0 -1 4202560 4817 0 0 0 110 0 0 0 15 0 19 0 834265373 10799992832 932107 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8145] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8145/stat : 8145 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10799992832 932107 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8146] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8146/stat : 8146 (java) S 8126 8128 7022 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 834265373 10799992832 932107 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8147] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8147/stat : 8147 (java) S 8126 8128 7022 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265418 10799992832 932107 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.26
Current children cumulated vsize (KiB) 10546868
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/510 8333
/proc/meminfo: memFree=12955596/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10546868 CPUtime=1726.34 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 937062 0 1 0 172524 110 0 0 23 0 19 0 834265367 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2636717 932831 2271 9 0 2627451 0
[pid=8128/tid=8129] ppid=8126 vsize=10546868 CPUtime=1720.6 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 824990 0 1 0 171966 94 0 0 25 0 19 0 834265368 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912505830178 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8128/tid=8131] ppid=8126 vsize=10546868 CPUtime=0.35 cores=1,3,5,7
/proc/8128/task/8131/stat : 8131 (java) S 8126 8128 7022 0 -1 4202560 10816 0 0 0 34 1 0 0 16 0 19 0 834265369 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8132] ppid=8126 vsize=10546868 CPUtime=0.41 cores=1,3,5,7
/proc/8128/task/8132/stat : 8132 (java) S 8126 8128 7022 0 -1 4202560 9574 0 0 0 40 1 0 0 15 0 19 0 834265369 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8133] ppid=8126 vsize=10546868 CPUtime=0.44 cores=1,3,5,7
/proc/8128/task/8133/stat : 8133 (java) S 8126 8128 7022 0 -1 4202560 12520 0 0 0 43 1 0 0 15 0 19 0 834265369 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 3 0 0 0
[pid=8128/tid=8134] ppid=8126 vsize=10546868 CPUtime=0.37 cores=1,3,5,7
/proc/8128/task/8134/stat : 8134 (java) S 8126 8128 7022 0 -1 4202560 11171 0 0 0 36 1 0 0 16 0 19 0 834265369 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8135] ppid=8126 vsize=10546868 CPUtime=0.44 cores=1,3,5,7
/proc/8128/task/8135/stat : 8135 (java) S 8126 8128 7022 0 -1 4202560 12991 0 0 0 43 1 0 0 15 0 19 0 834265369 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8136] ppid=8126 vsize=10546868 CPUtime=0.45 cores=1,3,5,7
/proc/8128/task/8136/stat : 8136 (java) S 8126 8128 7022 0 -1 4202560 17294 0 0 0 44 1 0 0 16 0 19 0 834265369 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8137] ppid=8126 vsize=10546868 CPUtime=0.34 cores=1,3,5,7
/proc/8128/task/8137/stat : 8137 (java) S 8126 8128 7022 0 -1 4202560 8891 0 0 0 34 0 0 0 15 0 19 0 834265369 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 3 0 0 0
[pid=8128/tid=8138] ppid=8126 vsize=10546868 CPUtime=0.52 cores=1,3,5,7
/proc/8128/task/8138/stat : 8138 (java) S 8126 8128 7022 0 -1 4202560 17419 0 0 0 50 2 0 0 15 0 19 0 834265369 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8139] ppid=8126 vsize=10546868 CPUtime=0.52 cores=1,3,5,7
/proc/8128/task/8139/stat : 8139 (java) S 8126 8128 7022 0 -1 4202560 2308 0 0 0 52 0 0 0 15 0 19 0 834265370 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 0 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8140] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8140/stat : 8140 (java) S 8126 8128 7022 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834265371 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8141] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8141/stat : 8141 (java) S 8126 8128 7022 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834265371 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8142] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8142/stat : 8142 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485791153 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8143] ppid=8126 vsize=10546868 CPUtime=0.66 cores=1,3,5,7
/proc/8128/task/8143/stat : 8143 (java) S 8126 8128 7022 0 -1 4202560 3024 0 0 0 66 0 0 0 15 0 19 0 834265373 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8144] ppid=8126 vsize=10546868 CPUtime=1.1 cores=1,3,5,7
/proc/8128/task/8144/stat : 8144 (java) S 8126 8128 7022 0 -1 4202560 4817 0 0 0 110 0 0 0 15 0 19 0 834265373 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8145] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8145/stat : 8145 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8146] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8146/stat : 8146 (java) S 8126 8128 7022 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 834265373 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8147] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8147/stat : 8147 (java) S 8126 8128 7022 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265418 10799992832 932831 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.34
Current children cumulated vsize (KiB) 10546868
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/510 8335
/proc/meminfo: memFree=12930408/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10546868 CPUtime=1786.39 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 937828 0 1 0 178529 110 0 0 23 0 19 0 834265367 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2636717 933584 2271 9 0 2627451 0
[pid=8128/tid=8129] ppid=8126 vsize=10546868 CPUtime=1780.56 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 824992 0 1 0 177962 94 0 0 25 0 19 0 834265368 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912505830194 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8128/tid=8131] ppid=8126 vsize=10546868 CPUtime=0.37 cores=1,3,5,7
/proc/8128/task/8131/stat : 8131 (java) S 8126 8128 7022 0 -1 4202560 10852 0 0 0 36 1 0 0 16 0 19 0 834265369 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8132] ppid=8126 vsize=10546868 CPUtime=0.43 cores=1,3,5,7
/proc/8128/task/8132/stat : 8132 (java) S 8126 8128 7022 0 -1 4202560 9615 0 0 0 42 1 0 0 16 0 19 0 834265369 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8133] ppid=8126 vsize=10546868 CPUtime=0.44 cores=1,3,5,7
/proc/8128/task/8133/stat : 8133 (java) S 8126 8128 7022 0 -1 4202560 12520 0 0 0 43 1 0 0 15 0 19 0 834265369 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 3 0 0 0
[pid=8128/tid=8134] ppid=8126 vsize=10546868 CPUtime=0.37 cores=1,3,5,7
/proc/8128/task/8134/stat : 8134 (java) S 8126 8128 7022 0 -1 4202560 11171 0 0 0 36 1 0 0 15 0 19 0 834265369 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8135] ppid=8126 vsize=10546868 CPUtime=0.45 cores=1,3,5,7
/proc/8128/task/8135/stat : 8135 (java) S 8126 8128 7022 0 -1 4202560 13426 0 0 0 44 1 0 0 15 0 19 0 834265369 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8136] ppid=8126 vsize=10546868 CPUtime=0.46 cores=1,3,5,7
/proc/8128/task/8136/stat : 8136 (java) S 8126 8128 7022 0 -1 4202560 17406 0 0 0 45 1 0 0 15 0 19 0 834265369 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8137] ppid=8126 vsize=10546868 CPUtime=0.34 cores=1,3,5,7
/proc/8128/task/8137/stat : 8137 (java) S 8126 8128 7022 0 -1 4202560 8967 0 0 0 34 0 0 0 15 0 19 0 834265369 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 3 0 0 0
[pid=8128/tid=8138] ppid=8126 vsize=10546868 CPUtime=0.53 cores=1,3,5,7
/proc/8128/task/8138/stat : 8138 (java) S 8126 8128 7022 0 -1 4202560 17477 0 0 0 51 2 0 0 15 0 19 0 834265369 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8139] ppid=8126 vsize=10546868 CPUtime=0.52 cores=1,3,5,7
/proc/8128/task/8139/stat : 8139 (java) S 8126 8128 7022 0 -1 4202560 2310 0 0 0 52 0 0 0 15 0 19 0 834265370 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 0 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8140] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8140/stat : 8140 (java) S 8126 8128 7022 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834265371 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8141] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8141/stat : 8141 (java) S 8126 8128 7022 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834265371 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8142] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8142/stat : 8142 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485791153 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8143] ppid=8126 vsize=10546868 CPUtime=0.66 cores=1,3,5,7
/proc/8128/task/8143/stat : 8143 (java) S 8126 8128 7022 0 -1 4202560 3024 0 0 0 66 0 0 0 15 0 19 0 834265373 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8144] ppid=8126 vsize=10546868 CPUtime=1.1 cores=1,3,5,7
/proc/8128/task/8144/stat : 8144 (java) S 8126 8128 7022 0 -1 4202560 4817 0 0 0 110 0 0 0 15 0 19 0 834265373 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8145] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8145/stat : 8145 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8146] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8146/stat : 8146 (java) S 8126 8128 7022 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834265373 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8147] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8147/stat : 8147 (java) S 8126 8128 7022 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265418 10799992832 933584 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.39
Current children cumulated vsize (KiB) 10546868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.9 s]
/proc/loadavg: 2.13 2.05 2.01 3/510 8335
/proc/meminfo: memFree=12926932/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=10546868 CPUtime=1800.03 cores=1,3,5,7
/proc/8128/stat : 8128 (java) S 8126 8128 7022 0 -1 4202496 937880 0 1 0 179893 110 0 0 23 0 19 0 834265367 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 2636717 933633 2271 9 0 2627451 0
[pid=8128/tid=8129] ppid=8126 vsize=10546868 CPUtime=1794.17 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4202560 824993 0 1 0 179323 94 0 0 25 0 19 0 834265368 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 46912505838108 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8128/tid=8131] ppid=8126 vsize=10546868 CPUtime=0.37 cores=1,3,5,7
/proc/8128/task/8131/stat : 8131 (java) S 8126 8128 7022 0 -1 4202560 10852 0 0 0 36 1 0 0 15 0 19 0 834265369 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8132] ppid=8126 vsize=10546868 CPUtime=0.44 cores=1,3,5,7
/proc/8128/task/8132/stat : 8132 (java) S 8126 8128 7022 0 -1 4202560 9630 0 0 0 43 1 0 0 16 0 19 0 834265369 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8133] ppid=8126 vsize=10546868 CPUtime=0.44 cores=1,3,5,7
/proc/8128/task/8133/stat : 8133 (java) S 8126 8128 7022 0 -1 4202560 12520 0 0 0 43 1 0 0 15 0 19 0 834265369 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 3 0 0 0
[pid=8128/tid=8134] ppid=8126 vsize=10546868 CPUtime=0.38 cores=1,3,5,7
/proc/8128/task/8134/stat : 8134 (java) S 8126 8128 7022 0 -1 4202560 11186 0 0 0 37 1 0 0 16 0 19 0 834265369 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8135] ppid=8126 vsize=10546868 CPUtime=0.47 cores=1,3,5,7
/proc/8128/task/8135/stat : 8135 (java) S 8126 8128 7022 0 -1 4202560 13444 0 0 0 46 1 0 0 16 0 19 0 834265369 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8136] ppid=8126 vsize=10546868 CPUtime=0.46 cores=1,3,5,7
/proc/8128/task/8136/stat : 8136 (java) S 8126 8128 7022 0 -1 4202560 17406 0 0 0 45 1 0 0 16 0 19 0 834265369 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8137] ppid=8126 vsize=10546868 CPUtime=0.35 cores=1,3,5,7
/proc/8128/task/8137/stat : 8137 (java) S 8126 8128 7022 0 -1 4202560 8968 0 0 0 35 0 0 0 16 0 19 0 834265369 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 3 0 0 0
[pid=8128/tid=8138] ppid=8126 vsize=10546868 CPUtime=0.53 cores=1,3,5,7
/proc/8128/task/8138/stat : 8138 (java) S 8126 8128 7022 0 -1 4202560 17477 0 0 0 51 2 0 0 15 0 19 0 834265369 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8139] ppid=8126 vsize=10546868 CPUtime=0.52 cores=1,3,5,7
/proc/8128/task/8139/stat : 8139 (java) S 8126 8128 7022 0 -1 4202560 2312 0 0 0 52 0 0 0 15 0 19 0 834265370 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 0 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8140] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8140/stat : 8140 (java) S 8126 8128 7022 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834265371 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8141] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8141/stat : 8141 (java) S 8126 8128 7022 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834265371 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8142] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8142/stat : 8142 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485791153 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8143] ppid=8126 vsize=10546868 CPUtime=0.66 cores=1,3,5,7
/proc/8128/task/8143/stat : 8143 (java) S 8126 8128 7022 0 -1 4202560 3024 0 0 0 66 0 0 0 15 0 19 0 834265373 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
[pid=8128/tid=8144] ppid=8126 vsize=10546868 CPUtime=1.1 cores=1,3,5,7
/proc/8128/task/8144/stat : 8144 (java) S 8126 8128 7022 0 -1 4202560 4817 0 0 0 110 0 0 0 15 0 19 0 834265373 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8145] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8145/stat : 8145 (java) S 8126 8128 7022 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265373 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485783449 0 4 0 16800975 18446604460968981504 0 0 -1 5 0 0 0
[pid=8128/tid=8146] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8146/stat : 8146 (java) S 8126 8128 7022 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834265373 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 1 0 0 0
[pid=8128/tid=8147] ppid=8126 vsize=10546868 CPUtime=0 cores=1,3,5,7
/proc/8128/task/8147/stat : 8147 (java) S 8126 8128 7022 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265418 10799992832 933633 33554432000 1073741824 1073778376 140733321443072 18446744073709551615 274485784064 0 4 0 16800975 18446604460968981504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10546868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.02 s]
/proc/loadavg: 2.13 2.05 2.01 3/510 8335
/proc/meminfo: memFree=12926932/32950928 swapFree=61858088/67111528
[pid=8128] ppid=8126 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/8128/stat : 8128 (java) Z 8126 8128 7022 0 -1 4203548 937911 0 1 0 179898 118 0 0 17 0 2 0 834265367 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8128/statm: 0 0 0 0 0 0 0
[pid=8128/tid=8129] ppid=8126 vsize=0 CPUtime=1794.28 cores=1,3,5,7
/proc/8128/task/8129/stat : 8129 (java) R 8126 8128 7022 0 -1 4203588 824993 0 1 0 179325 103 0 0 25 0 2 0 834265368 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.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.09
CPU time (s): 1800.24
CPU user time (s): 1798.98
CPU system time (s): 1.25581
CPU usage (%): 100.231
Max. virtual memory (cumulated for all children) (KiB): 10548488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.25581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 937911
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= 38785
involuntary context switches= 9209
runsolver used 8.51571 second user time and 20.5229 second system time
The end