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-3453568-1307196204/watcher-3453568-1307196204 -o /tmp/evaluation-result-3453568-1307196204/solver-3453568-1307196204 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453568-1307196204.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.48 1.16 1.45 5/476 31253
/proc/meminfo: memFree=24445644/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 7335 0 1 0 0 1 0 0 18 0 2 0 812036286 10694979584 7037 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2611079 7049 917 9 0 2602235 0
[pid=31253/tid=31254] ppid=31251 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) R 31251 31253 30629 0 -1 4202560 6281 0 1 0 0 0 0 0 19 0 2 0 812036287 10694979584 7097 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.058647 s]
/proc/loadavg: 1.48 1.16 1.45 5/476 31253
/proc/meminfo: memFree=24445644/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10472784 CPUtime=0.05 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 11639 0 1 0 4 1 0 0 18 0 18 0 812036286 10724130816 11336 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2618196 11337 1730 9 0 2608937 0
[pid=31253/tid=31254] ppid=31251 vsize=10472784 CPUtime=0.05 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) R 31251 31253 30629 0 -1 4202560 10466 0 1 0 4 1 0 0 25 0 18 0 812036287 10724130816 11337 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828063179 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472784
[startup+0.10064 s]
/proc/loadavg: 1.48 1.16 1.45 5/476 31253
/proc/meminfo: memFree=24445644/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10540016 CPUtime=0.1 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 13099 0 1 0 9 1 0 0 18 0 18 0 812036286 10792976384 12796 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2635004 12797 2093 9 0 2625738 0
[pid=31253/tid=31254] ppid=31251 vsize=10540016 CPUtime=0.09 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) R 31251 31253 30629 0 -1 4202560 11220 0 1 0 8 1 0 0 18 0 18 0 812036287 10792976384 12797 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828063179 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) 10540016
[startup+0.304601 s]
/proc/loadavg: 1.48 1.16 1.45 5/476 31253
/proc/meminfo: memFree=24445644/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10543668 CPUtime=0.55 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 18079 0 1 0 53 2 0 0 18 0 18 0 812036286 10796716032 16712 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2635917 16713 2201 9 0 2626651 0
[pid=31253/tid=31254] ppid=31251 vsize=10543668 CPUtime=0.29 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) R 31251 31253 30629 0 -1 4202560 13743 0 1 0 28 1 0 0 18 0 18 0 812036287 10796716032 16713 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912505554470 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10543668
[startup+0.700513 s]
/proc/loadavg: 1.48 1.16 1.45 5/476 31253
/proc/meminfo: memFree=24445644/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10555832 CPUtime=1.82 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 36772 0 1 0 178 4 0 0 18 0 22 0 812036286 10809171968 31651 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2638958 31652 2232 9 0 2629692 0
[pid=31253/tid=31254] ppid=31251 vsize=10555832 CPUtime=0.58 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) S 31251 31253 30629 0 -1 4202560 23886 0 1 0 56 2 0 0 19 0 22 0 812036287 10809171968 31652 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 10555832
[startup+1.50134 s]
/proc/loadavg: 1.48 1.16 1.45 5/498 31275
/proc/meminfo: memFree=24051600/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10556172 CPUtime=3.99 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 101462 0 1 0 388 11 0 0 18 0 22 0 812036286 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2639043 96340 2240 9 0 2629777 0
[pid=31253/tid=31254] ppid=31251 vsize=10556172 CPUtime=0.58 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) S 31251 31253 30629 0 -1 4202560 23886 0 1 0 56 2 0 0 15 0 22 0 812036287 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31256] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31256/stat : 31256 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 812036288 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31257] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31257/stat : 31257 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 812036288 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31258] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31258/stat : 31258 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 812036288 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31259] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31259/stat : 31259 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 812036288 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31260] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31260/stat : 31260 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 812036288 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31261] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31261/stat : 31261 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 812036288 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31262] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31262/stat : 31262 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 812036288 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31263] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31263/stat : 31263 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 812036288 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31264] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31264/stat : 31264 (java) S 31251 31253 30629 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 812036289 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 0 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31265] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31265/stat : 31265 (java) S 31251 31253 30629 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 812036290 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31266] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31266/stat : 31266 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036290 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31267] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31267/stat : 31267 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10809520128 96340 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828060081 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31268] ppid=31251 vsize=10556172 CPUtime=0.75 cores=1,3,5,7
/proc/31253/task/31268/stat : 31268 (java) S 31251 31253 30629 0 -1 4202560 4941 0 0 0 75 0 0 0 15 0 22 0 812036292 10809520128 96341 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31269] ppid=31251 vsize=10556172 CPUtime=0.83 cores=1,3,5,7
/proc/31253/task/31269/stat : 31269 (java) S 31251 31253 30629 0 -1 4202560 6382 0 0 0 83 0 0 0 15 0 22 0 812036292 10809520128 96341 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31270] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31270/stat : 31270 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10809520128 96341 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31271] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31271/stat : 31271 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812036292 10809520128 96341 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31272] ppid=31251 vsize=10556172 CPUtime=0.9 cores=1,3,5,7
/proc/31253/task/31272/stat : 31272 (java) R 31251 31253 30629 0 -1 4202560 540 0 0 0 90 0 0 0 23 0 22 0 812036346 10809520128 96341 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 47462968097619 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31253/tid=31273] ppid=31251 vsize=10556172 CPUtime=0.89 cores=1,3,5,7
/proc/31253/task/31273/stat : 31273 (java) R 31251 31253 30629 0 -1 4202560 64548 0 0 0 82 7 0 0 25 0 22 0 812036346 10809520128 96341 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912506068838 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31253/tid=31274] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31274/stat : 31274 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 812036347 10809520128 96341 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31275] ppid=31251 vsize=10556172 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31275/stat : 31275 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812036347 10809520128 96341 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10556172
[startup+3.10105 s]
/proc/loadavg: 1.48 1.16 1.45 5/498 31276
/proc/meminfo: memFree=23507984/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10556660 CPUtime=7.38 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 206494 0 1 0 715 23 0 0 18 0 22 0 812036286 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2639165 201360 2267 9 0 2629899 0
[pid=31253/tid=31254] ppid=31251 vsize=10556660 CPUtime=0.58 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) S 31251 31253 30629 0 -1 4202560 23886 0 1 0 56 2 0 0 15 0 22 0 812036287 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31256] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31256/stat : 31256 (java) S 31251 31253 30629 0 -1 4202560 836 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31257] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31257/stat : 31257 (java) S 31251 31253 30629 0 -1 4202560 957 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31258] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31258/stat : 31258 (java) S 31251 31253 30629 0 -1 4202560 869 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31259] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31259/stat : 31259 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31260] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31260/stat : 31260 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31261] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31261/stat : 31261 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31262] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31262/stat : 31262 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31263] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31263/stat : 31263 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31264] ppid=31251 vsize=10556660 CPUtime=0.03 cores=1,3,5,7
/proc/31253/task/31264/stat : 31264 (java) S 31251 31253 30629 0 -1 4202560 2651 0 0 0 3 0 0 0 16 0 22 0 812036289 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 0 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31265] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31265/stat : 31265 (java) S 31251 31253 30629 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812036290 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31266] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31266/stat : 31266 (java) S 31251 31253 30629 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 812036290 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31267] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31267/stat : 31267 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828060081 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31268] ppid=31251 vsize=10556660 CPUtime=0.87 cores=1,3,5,7
/proc/31253/task/31268/stat : 31268 (java) S 31251 31253 30629 0 -1 4202560 4980 0 0 0 87 0 0 0 16 0 22 0 812036292 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31269] ppid=31251 vsize=10556660 CPUtime=0.93 cores=1,3,5,7
/proc/31253/task/31269/stat : 31269 (java) S 31251 31253 30629 0 -1 4202560 6521 0 0 0 93 0 0 0 15 0 22 0 812036292 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31270] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31270/stat : 31270 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31271] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31271/stat : 31271 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812036292 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31272] ppid=31251 vsize=10556660 CPUtime=2.45 cores=1,3,5,7
/proc/31253/task/31272/stat : 31272 (java) R 31251 31253 30629 0 -1 4202560 1434 0 0 0 245 0 0 0 25 0 22 0 812036346 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912506159331 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31253/tid=31273] ppid=31251 vsize=10556660 CPUtime=2.43 cores=1,3,5,7
/proc/31253/task/31273/stat : 31273 (java) R 31251 31253 30629 0 -1 4202560 163197 0 0 0 225 18 0 0 25 0 22 0 812036346 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912505655440 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31253/tid=31274] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31274/stat : 31274 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 812036347 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31275] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31275/stat : 31275 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812036347 10810019840 201360 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 10556660
[startup+6.30146 s]
/proc/loadavg: 1.68 1.21 1.47 5/498 31276
/proc/meminfo: memFree=22745188/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10556660 CPUtime=13.82 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 265622 0 1 0 1353 29 0 0 18 0 22 0 812036286 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2639165 260356 2267 9 0 2629899 0
[pid=31253/tid=31254] ppid=31251 vsize=10556660 CPUtime=0.58 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) S 31251 31253 30629 0 -1 4202560 23886 0 1 0 56 2 0 0 15 0 22 0 812036287 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31256] ppid=31251 vsize=10556660 CPUtime=0.01 cores=1,3,5,7
/proc/31253/task/31256/stat : 31256 (java) S 31251 31253 30629 0 -1 4202560 836 0 0 0 1 0 0 0 18 0 22 0 812036288 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31257] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31257/stat : 31257 (java) S 31251 31253 30629 0 -1 4202560 957 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31258] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31258/stat : 31258 (java) S 31251 31253 30629 0 -1 4202560 869 0 0 0 0 0 0 0 18 0 22 0 812036288 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31259] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31259/stat : 31259 (java) S 31251 31253 30629 0 -1 4202560 408 0 0 0 0 0 0 0 15 0 22 0 812036288 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31260] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31260/stat : 31260 (java) S 31251 31253 30629 0 -1 4202560 409 0 0 0 0 0 0 0 16 0 22 0 812036288 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31261] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31261/stat : 31261 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812036288 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31262] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31262/stat : 31262 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812036288 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31263] ppid=31251 vsize=10556660 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31263/stat : 31263 (java) S 31251 31253 30629 0 -1 4202560 635 0 0 0 0 0 0 0 15 0 22 0 812036288 10810019840 260356 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=19711588/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10559064 CPUtime=1679.29 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 991470 0 1 0 167815 114 0 0 18 0 22 0 812036286 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2639766 979162 2268 9 0 2630500 0
[pid=31253/tid=31254] ppid=31251 vsize=10559064 CPUtime=0.59 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) S 31251 31253 30629 0 -1 4202560 23911 0 1 0 56 3 0 0 15 0 22 0 812036287 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31256] ppid=31251 vsize=10559064 CPUtime=0.81 cores=1,3,5,7
/proc/31253/task/31256/stat : 31256 (java) S 31251 31253 30629 0 -1 4202560 5046 0 0 0 81 0 0 0 15 0 22 0 812036288 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31257] ppid=31251 vsize=10559064 CPUtime=0.71 cores=1,3,5,7
/proc/31253/task/31257/stat : 31257 (java) S 31251 31253 30629 0 -1 4202560 10680 0 0 0 70 1 0 0 16 0 22 0 812036288 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31258] ppid=31251 vsize=10559064 CPUtime=0.84 cores=1,3,5,7
/proc/31253/task/31258/stat : 31258 (java) S 31251 31253 30629 0 -1 4202560 9996 0 0 0 83 1 0 0 15 0 22 0 812036288 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31259] ppid=31251 vsize=10559064 CPUtime=0.89 cores=1,3,5,7
/proc/31253/task/31259/stat : 31259 (java) S 31251 31253 30629 0 -1 4202560 7987 0 0 0 89 0 0 0 15 0 22 0 812036288 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31260] ppid=31251 vsize=10559064 CPUtime=0.73 cores=1,3,5,7
/proc/31253/task/31260/stat : 31260 (java) S 31251 31253 30629 0 -1 4202560 6039 0 0 0 73 0 0 0 15 0 22 0 812036288 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31261] ppid=31251 vsize=10559064 CPUtime=0.9 cores=1,3,5,7
/proc/31253/task/31261/stat : 31261 (java) S 31251 31253 30629 0 -1 4202560 7829 0 0 0 89 1 0 0 16 0 22 0 812036288 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31262] ppid=31251 vsize=10559064 CPUtime=0.88 cores=1,3,5,7
/proc/31253/task/31262/stat : 31262 (java) S 31251 31253 30629 0 -1 4202560 7601 0 0 0 87 1 0 0 15 0 22 0 812036288 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31263] ppid=31251 vsize=10559064 CPUtime=0.87 cores=1,3,5,7
/proc/31253/task/31263/stat : 31263 (java) S 31251 31253 30629 0 -1 4202560 6568 0 0 0 87 0 0 0 16 0 22 0 812036288 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31264] ppid=31251 vsize=10559064 CPUtime=90.46 cores=1,3,5,7
/proc/31253/task/31264/stat : 31264 (java) S 31251 31253 30629 0 -1 4202560 86745 0 0 0 9036 10 0 0 17 0 22 0 812036289 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 0 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31265] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31265/stat : 31265 (java) S 31251 31253 30629 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812036290 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31266] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31266/stat : 31266 (java) S 31251 31253 30629 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 812036290 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31267] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31267/stat : 31267 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828060081 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31268] ppid=31251 vsize=10559064 CPUtime=1.02 cores=1,3,5,7
/proc/31253/task/31268/stat : 31268 (java) S 31251 31253 30629 0 -1 4202560 4988 0 0 0 102 0 0 0 15 0 22 0 812036292 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31269] ppid=31251 vsize=10559064 CPUtime=2.1 cores=1,3,5,7
/proc/31253/task/31269/stat : 31269 (java) S 31251 31253 30629 0 -1 4202560 12950 0 0 0 210 0 0 0 16 0 22 0 812036292 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31270] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31270/stat : 31270 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31271] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31271/stat : 31271 (java) S 31251 31253 30629 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 812036292 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31272] ppid=31251 vsize=10559064 CPUtime=789.17 cores=1,3,5,7
/proc/31253/task/31272/stat : 31272 (java) R 31251 31253 30629 0 -1 4202560 4947 0 0 0 78916 1 0 0 18 0 22 0 812036346 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912506143095 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31253/tid=31273] ppid=31251 vsize=10559064 CPUtime=789.16 cores=1,3,5,7
/proc/31253/task/31273/stat : 31273 (java) R 31251 31253 30629 0 -1 4202560 794975 0 0 0 78829 87 0 0 18 0 22 0 812036346 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912506069055 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31253/tid=31274] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31274/stat : 31274 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 812036347 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31275] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31275/stat : 31275 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812036347 10812481536 979162 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1679.29
Current children cumulated vsize (KiB) 10559064
[startup+942.301 s]
/proc/loadavg: 3.48 3.45 2.82 4/498 31399
/proc/meminfo: memFree=19693208/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10559064 CPUtime=1790.65 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 994464 0 1 0 178951 114 0 0 18 0 22 0 812036286 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2639766 982138 2268 9 0 2630500 0
[pid=31253/tid=31254] ppid=31251 vsize=10559064 CPUtime=0.59 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) S 31251 31253 30629 0 -1 4202560 23921 0 1 0 56 3 0 0 15 0 22 0 812036287 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31256] ppid=31251 vsize=10559064 CPUtime=0.9 cores=1,3,5,7
/proc/31253/task/31256/stat : 31256 (java) S 31251 31253 30629 0 -1 4202560 5052 0 0 0 90 0 0 0 16 0 22 0 812036288 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31257] ppid=31251 vsize=10559064 CPUtime=0.77 cores=1,3,5,7
/proc/31253/task/31257/stat : 31257 (java) S 31251 31253 30629 0 -1 4202560 10682 0 0 0 76 1 0 0 15 0 22 0 812036288 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31258] ppid=31251 vsize=10559064 CPUtime=0.97 cores=1,3,5,7
/proc/31253/task/31258/stat : 31258 (java) S 31251 31253 30629 0 -1 4202560 10007 0 0 0 96 1 0 0 16 0 22 0 812036288 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31259] ppid=31251 vsize=10559064 CPUtime=0.93 cores=1,3,5,7
/proc/31253/task/31259/stat : 31259 (java) S 31251 31253 30629 0 -1 4202560 7987 0 0 0 93 0 0 0 15 0 22 0 812036288 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31260] ppid=31251 vsize=10559064 CPUtime=0.78 cores=1,3,5,7
/proc/31253/task/31260/stat : 31260 (java) S 31251 31253 30629 0 -1 4202560 6043 0 0 0 78 0 0 0 16 0 22 0 812036288 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31261] ppid=31251 vsize=10559064 CPUtime=0.93 cores=1,3,5,7
/proc/31253/task/31261/stat : 31261 (java) S 31251 31253 30629 0 -1 4202560 7829 0 0 0 92 1 0 0 15 0 22 0 812036288 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31262] ppid=31251 vsize=10559064 CPUtime=0.94 cores=1,3,5,7
/proc/31253/task/31262/stat : 31262 (java) S 31251 31253 30629 0 -1 4202560 7603 0 0 0 93 1 0 0 15 0 22 0 812036288 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31263] ppid=31251 vsize=10559064 CPUtime=0.88 cores=1,3,5,7
/proc/31253/task/31263/stat : 31263 (java) S 31251 31253 30629 0 -1 4202560 6568 0 0 0 88 0 0 0 15 0 22 0 812036288 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31264] ppid=31251 vsize=10559064 CPUtime=99.24 cores=1,3,5,7
/proc/31253/task/31264/stat : 31264 (java) S 31251 31253 30629 0 -1 4202560 89700 0 0 0 9914 10 0 0 15 0 22 0 812036289 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 0 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31265] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31265/stat : 31265 (java) S 31251 31253 30629 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812036290 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31266] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31266/stat : 31266 (java) S 31251 31253 30629 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 812036290 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31267] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31267/stat : 31267 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828060081 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31268] ppid=31251 vsize=10559064 CPUtime=1.02 cores=1,3,5,7
/proc/31253/task/31268/stat : 31268 (java) S 31251 31253 30629 0 -1 4202560 4988 0 0 0 102 0 0 0 15 0 22 0 812036292 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31269] ppid=31251 vsize=10559064 CPUtime=2.1 cores=1,3,5,7
/proc/31253/task/31269/stat : 31269 (java) S 31251 31253 30629 0 -1 4202560 12950 0 0 0 210 0 0 0 16 0 22 0 812036292 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31270] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31270/stat : 31270 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31271] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31271/stat : 31271 (java) S 31251 31253 30629 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 812036292 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31272] ppid=31251 vsize=10559064 CPUtime=840.23 cores=1,3,5,7
/proc/31253/task/31272/stat : 31272 (java) R 31251 31253 30629 0 -1 4202560 4947 0 0 0 84022 1 0 0 25 0 22 0 812036346 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31253/tid=31273] ppid=31251 vsize=10559064 CPUtime=840.21 cores=1,3,5,7
/proc/31253/task/31273/stat : 31273 (java) R 31251 31253 30629 0 -1 4202560 794975 0 0 0 83934 87 0 0 25 0 22 0 812036346 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912506067338 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31253/tid=31274] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31274/stat : 31274 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 812036347 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31275] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31275/stat : 31275 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812036347 10812481536 982138 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (KiB) 10559064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+947.401 s]
/proc/loadavg: 3.44 3.44 2.83 4/498 31399
/proc/meminfo: memFree=19689732/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=10559064 CPUtime=1800.09 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31251 31253 30629 0 -1 4202496 995205 0 1 0 179895 114 0 0 18 0 22 0 812036286 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 2639766 982878 2268 9 0 2630500 0
[pid=31253/tid=31254] ppid=31251 vsize=10559064 CPUtime=0.59 cores=1,3,5,7
/proc/31253/task/31254/stat : 31254 (java) S 31251 31253 30629 0 -1 4202560 23922 0 1 0 56 3 0 0 15 0 22 0 812036287 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31256] ppid=31251 vsize=10559064 CPUtime=0.92 cores=1,3,5,7
/proc/31253/task/31256/stat : 31256 (java) S 31251 31253 30629 0 -1 4202560 5054 0 0 0 92 0 0 0 16 0 22 0 812036288 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31257] ppid=31251 vsize=10559064 CPUtime=0.79 cores=1,3,5,7
/proc/31253/task/31257/stat : 31257 (java) S 31251 31253 30629 0 -1 4202560 10684 0 0 0 78 1 0 0 16 0 22 0 812036288 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31258] ppid=31251 vsize=10559064 CPUtime=0.97 cores=1,3,5,7
/proc/31253/task/31258/stat : 31258 (java) S 31251 31253 30629 0 -1 4202560 10007 0 0 0 96 1 0 0 15 0 22 0 812036288 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
[pid=31253/tid=31259] ppid=31251 vsize=10559064 CPUtime=0.93 cores=1,3,5,7
/proc/31253/task/31259/stat : 31259 (java) S 31251 31253 30629 0 -1 4202560 7987 0 0 0 93 0 0 0 15 0 22 0 812036288 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31260] ppid=31251 vsize=10559064 CPUtime=0.78 cores=1,3,5,7
/proc/31253/task/31260/stat : 31260 (java) S 31251 31253 30629 0 -1 4202560 6043 0 0 0 78 0 0 0 15 0 22 0 812036288 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31261] ppid=31251 vsize=10559064 CPUtime=0.93 cores=1,3,5,7
/proc/31253/task/31261/stat : 31261 (java) S 31251 31253 30629 0 -1 4202560 7829 0 0 0 92 1 0 0 15 0 22 0 812036288 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31262] ppid=31251 vsize=10559064 CPUtime=0.94 cores=1,3,5,7
/proc/31253/task/31262/stat : 31262 (java) S 31251 31253 30629 0 -1 4202560 7603 0 0 0 93 1 0 0 15 0 22 0 812036288 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31263] ppid=31251 vsize=10559064 CPUtime=0.9 cores=1,3,5,7
/proc/31253/task/31263/stat : 31263 (java) S 31251 31253 30629 0 -1 4202560 6568 0 0 0 90 0 0 0 16 0 22 0 812036288 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31264] ppid=31251 vsize=10559064 CPUtime=100.06 cores=1,3,5,7
/proc/31253/task/31264/stat : 31264 (java) S 31251 31253 30629 0 -1 4202560 90436 0 0 0 9996 10 0 0 16 0 22 0 812036289 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 0 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31265] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31265/stat : 31265 (java) S 31251 31253 30629 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812036290 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31266] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31266/stat : 31266 (java) S 31251 31253 30629 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 812036290 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31267] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31267/stat : 31267 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828060081 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31268] ppid=31251 vsize=10559064 CPUtime=1.02 cores=1,3,5,7
/proc/31253/task/31268/stat : 31268 (java) S 31251 31253 30629 0 -1 4202560 4988 0 0 0 102 0 0 0 15 0 22 0 812036292 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 3 0 0 0
[pid=31253/tid=31269] ppid=31251 vsize=10559064 CPUtime=2.1 cores=1,3,5,7
/proc/31253/task/31269/stat : 31269 (java) S 31251 31253 30629 0 -1 4202560 12950 0 0 0 210 0 0 0 16 0 22 0 812036292 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31270] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31270/stat : 31270 (java) S 31251 31253 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036292 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052377 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31271] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31271/stat : 31271 (java) S 31251 31253 30629 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 812036292 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 1 0 0 0
[pid=31253/tid=31272] ppid=31251 vsize=10559064 CPUtime=844.51 cores=1,3,5,7
/proc/31253/task/31272/stat : 31272 (java) R 31251 31253 30629 0 -1 4202560 4947 0 0 0 84450 1 0 0 19 0 22 0 812036346 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912505955456 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31253/tid=31273] ppid=31251 vsize=10559064 CPUtime=844.49 cores=1,3,5,7
/proc/31253/task/31273/stat : 31273 (java) R 31251 31253 30629 0 -1 4202560 794975 0 0 0 84362 87 0 0 19 0 22 0 812036346 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 46912505655271 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31253/tid=31274] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31274/stat : 31274 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 812036347 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 5 0 0 0
[pid=31253/tid=31275] ppid=31251 vsize=10559064 CPUtime=0 cores=1,3,5,7
/proc/31253/task/31275/stat : 31275 (java) S 31251 31253 30629 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812036347 10812481536 982878 33554432000 1073741824 1073778376 140735947194160 18446744073709551615 220828052992 0 4 0 16800975 18446604464712781952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10559064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+947.524 s]
/proc/loadavg: 3.44 3.44 2.83 4/498 31399
/proc/meminfo: memFree=19689732/32951124 swapFree=60476376/67111528
[pid=31253] ppid=31251 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/31253/stat : 31253 (java) Z 31251 31253 30629 0 -1 4203548 995234 0 1 0 179899 123 0 0 17 0 2 0 812036286 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31253/statm: 0 0 0 0 0 0 0
[pid=31253/tid=31272] ppid=31251 vsize=0 CPUtime=844.62 cores=1,3,5,7
/proc/31253/task/31272/stat : 31272 (java) R 31251 31253 30629 0 -1 4203588 4947 0 0 0 84452 10 0 0 19 0 2 0 812036346 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 947.576
CPU time (s): 1800.28
CPU user time (s): 1798.99
CPU system time (s): 1.2898
CPU usage (%): 189.988
Max. virtual memory (cumulated for all children) (KiB): 10571768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.2898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 995234
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= 27276
involuntary context switches= 14406
runsolver used 4.32334 second user time and 10.3714 second system time
The end