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-3457245-1307219469/watcher-3457245-1307219469 -o /tmp/evaluation-result-3457245-1307219469/solver-3457245-1307219469 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457245-1307219469.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.17 2.05 1.95 3/535 23188
/proc/meminfo: memFree=17499272/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 7784 0 1 0 0 0 0 0 25 0 2 0 833543594 10694979584 7488 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2611079 7502 917 9 0 2602235 0
[pid=23188/tid=23189] ppid=23186 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 7182 0 1 0 0 0 0 0 25 0 2 0 833543595 10694979584 7998 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0292229 s]
/proc/loadavg: 2.17 2.05 1.95 3/535 23188
/proc/meminfo: memFree=17499272/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 10767 0 1 0 1 1 0 0 25 0 10 0 833543594 10705932288 10467 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2613753 10469 1515 9 0 2604501 0
[pid=23188/tid=23189] ppid=23186 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 9650 0 1 0 1 0 0 0 25 0 10 0 833543595 10705932288 10471 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 47512250019762 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.10123 s]
/proc/loadavg: 2.17 2.05 1.95 3/535 23188
/proc/meminfo: memFree=17499272/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10540060 CPUtime=0.1 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 13114 0 1 0 9 1 0 0 25 0 18 0 833543594 10793021440 12789 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2635015 12789 2093 9 0 2625749 0
[pid=23188/tid=23189] ppid=23186 vsize=10540060 CPUtime=0.08 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 11182 0 1 0 7 1 0 0 18 0 18 0 833543595 10793021440 12789 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 47512251586257 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540060
[startup+0.301141 s]
/proc/loadavg: 2.17 2.05 1.95 3/535 23188
/proc/meminfo: memFree=17499272/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10546436 CPUtime=0.51 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 18597 0 1 0 49 2 0 0 25 0 19 0 833543594 10799550464 17247 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2636609 17302 2214 9 0 2627343 0
[pid=23188/tid=23189] ppid=23186 vsize=10546436 CPUtime=0.28 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 12586 0 1 0 27 1 0 0 18 0 19 0 833543595 10799550464 17302 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 46912505216051 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10546436
[startup+0.701117 s]
/proc/loadavg: 2.17 2.05 1.95 3/535 23188
/proc/meminfo: memFree=17499272/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10554268 CPUtime=1.54 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 49661 0 1 0 149 5 0 0 25 0 19 0 833543594 10807570432 47354 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2638567 47360 2221 9 0 2629301 0
[pid=23188/tid=23189] ppid=23186 vsize=10554268 CPUtime=0.68 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 40083 0 1 0 64 4 0 0 18 0 19 0 833543595 10807570432 47363 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 46912505604101 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10554268
[startup+1.5009 s]
/proc/loadavg: 2.17 2.05 1.95 4/554 23208
/proc/meminfo: memFree=17202336/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10554268 CPUtime=2.56 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 121628 0 1 0 243 13 0 0 25 0 19 0 833543594 10807570432 119320 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2638567 119325 2227 9 0 2629301 0
[pid=23188/tid=23189] ppid=23186 vsize=10554268 CPUtime=1.48 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 112022 0 1 0 136 12 0 0 18 0 19 0 833543595 10807570432 119328 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 46912505575082 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 119331 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 119334 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 119337 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 119340 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 119342 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23197] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 119345 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23198] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23198/stat : 23198 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 119348 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23199] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23199/stat : 23199 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 119350 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23200] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23200/stat : 23200 (java) S 23186 23188 22626 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833543597 10807570432 119353 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 0 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23201] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23201/stat : 23201 (java) S 23186 23188 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833543598 10807570432 119355 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23202] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23202/stat : 23202 (java) S 23186 23188 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833543598 10807570432 119358 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23203] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23203/stat : 23203 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10807570432 119360 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512515505 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23204] ppid=23186 vsize=10554268 CPUtime=0.56 cores=0,2,4,6
/proc/23188/task/23204/stat : 23204 (java) R 23186 23188 22626 0 -1 4202560 3740 0 0 0 56 0 0 0 18 0 19 0 833543600 10807570432 119362 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 47512248565364 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23188/tid=23205] ppid=23186 vsize=10554268 CPUtime=0.49 cores=0,2,4,6
/proc/23188/task/23205/stat : 23205 (java) S 23186 23188 22626 0 -1 4202560 4715 0 0 0 49 0 0 0 15 0 19 0 833543600 10807570432 119364 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23206] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23206/stat : 23206 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10807570432 119366 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23207] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23207/stat : 23207 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833543600 10807570432 119368 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23208] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23208/stat : 23208 (java) S 23186 23188 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833543614 10807570432 119370 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 10554268
[startup+3.10164 s]
/proc/loadavg: 2.17 2.05 1.95 5/554 23208
/proc/meminfo: memFree=16808140/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10554268 CPUtime=4.25 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 266931 0 1 0 395 30 0 0 25 0 19 0 833543594 10807570432 264622 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2638567 264625 2229 9 0 2629301 0
[pid=23188/tid=23189] ppid=23186 vsize=10554268 CPUtime=3.08 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 257308 0 1 0 280 28 0 0 21 0 19 0 833543595 10807570432 264626 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 46912505645563 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 264628 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 264630 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 264632 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 264634 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 264636 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23197] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 264638 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23198] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23198/stat : 23198 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 264641 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23199] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23199/stat : 23199 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 264643 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23200] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23200/stat : 23200 (java) S 23186 23188 22626 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833543597 10807570432 264645 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 0 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23201] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23201/stat : 23201 (java) S 23186 23188 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833543598 10807570432 264647 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23202] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23202/stat : 23202 (java) S 23186 23188 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833543598 10807570432 264650 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23203] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23203/stat : 23203 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10807570432 264652 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512515505 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23204] ppid=23186 vsize=10554268 CPUtime=0.65 cores=0,2,4,6
/proc/23188/task/23204/stat : 23204 (java) S 23186 23188 22626 0 -1 4202560 3752 0 0 0 65 0 0 0 15 0 19 0 833543600 10807570432 264654 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23205] ppid=23186 vsize=10554268 CPUtime=0.5 cores=0,2,4,6
/proc/23188/task/23205/stat : 23205 (java) S 23186 23188 22626 0 -1 4202560 4715 0 0 0 50 0 0 0 15 0 19 0 833543600 10807570432 264656 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23206] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23206/stat : 23206 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10807570432 264659 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23207] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23207/stat : 23207 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833543600 10807570432 264660 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23208] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23208/stat : 23208 (java) S 23186 23188 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833543614 10807570432 264662 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10554268
[startup+6.301 s]
/proc/loadavg: 2.16 2.05 1.95 5/554 23208
/proc/meminfo: memFree=15646120/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10554268 CPUtime=7.61 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 541843 0 1 0 703 58 0 0 25 0 19 0 833543594 10807570432 539268 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2638567 539270 2230 9 0 2629301 0
[pid=23188/tid=23189] ppid=23186 vsize=10554268 CPUtime=6.28 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 531426 0 1 0 572 56 0 0 18 0 19 0 833543595 10807570432 539271 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 46912505575039 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 539273 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 539274 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 539275 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 539276 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 539278 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23197] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 539279 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23198] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23198/stat : 23198 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 539280 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23199] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23199/stat : 23199 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543596 10807570432 539282 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23200] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23200/stat : 23200 (java) S 23186 23188 22626 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833543597 10807570432 539283 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 0 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23201] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23201/stat : 23201 (java) S 23186 23188 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833543598 10807570432 539284 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23202] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23202/stat : 23202 (java) S 23186 23188 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833543598 10807570432 539285 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23203] ppid=23186 vsize=10554268 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23203/stat : 23203 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10807570432 539287 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512515505 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23204] ppid=23186 vsize=10554268 CPUtime=0.65 cores=0,2,4,6
/proc/23188/task/23204/stat : 23204 (java) S 23186 23188 22626 0 -1 4202560 3753 0 0 0 65 0 0 0 15 0 19 0 833543600 10807570432 539288 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23205] ppid=23186 vsize=10554268 CPUtime=0.66 cores=0,2,4,6
/proc/23188/task/23205/stat : 23205 (java) S 23186 23188 22626 0 -1 4202560 5508 0 0 0 65 1 0 0 15 0 19 0 833543600 10807570432 539289 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/23188/task/23200/stat : 23200 (java) S 23186 23188 22626 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 833543597 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 0 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23201] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23201/stat : 23201 (java) S 23186 23188 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833543598 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23202] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23202/stat : 23202 (java) S 23186 23188 22626 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833543598 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23203] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23203/stat : 23203 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512515505 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23204] ppid=23186 vsize=10549448 CPUtime=0.65 cores=0,2,4,6
/proc/23188/task/23204/stat : 23204 (java) S 23186 23188 22626 0 -1 4202560 3753 0 0 0 65 0 0 0 15 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23205] ppid=23186 vsize=10549448 CPUtime=0.69 cores=0,2,4,6
/proc/23188/task/23205/stat : 23205 (java) S 23186 23188 22626 0 -1 4202560 5664 0 0 0 68 1 0 0 15 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23206] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23206/stat : 23206 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23207] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23207/stat : 23207 (java) S 23186 23188 22626 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23208] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23208/stat : 23208 (java) S 23186 23188 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833543614 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.65
Current children cumulated vsize (KiB) 10549448
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/554 23304
/proc/meminfo: memFree=13817468/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10549448 CPUtime=1784.66 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 942556 0 1 0 178355 111 0 0 25 0 19 0 833543594 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2637362 935369 2246 9 0 2628096 0
[pid=23188/tid=23189] ppid=23186 vsize=10549448 CPUtime=1782 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 792048 0 1 0 178119 81 0 0 25 0 19 0 833543595 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 46912505985675 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=10549448 CPUtime=0.19 cores=0,2,4,6
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22626 0 -1 4202560 19147 0 0 0 16 3 0 0 15 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=10549448 CPUtime=0.11 cores=0,2,4,6
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22626 0 -1 4202560 14713 0 0 0 9 2 0 0 16 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=10549448 CPUtime=0.2 cores=0,2,4,6
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22626 0 -1 4202560 19749 0 0 0 16 4 0 0 15 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=10549448 CPUtime=0.14 cores=0,2,4,6
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22626 0 -1 4202560 16353 0 0 0 11 3 0 0 16 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=10549448 CPUtime=0.18 cores=0,2,4,6
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22626 0 -1 4202560 20203 0 0 0 13 5 0 0 16 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23197] ppid=23186 vsize=10549448 CPUtime=0.18 cores=0,2,4,6
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22626 0 -1 4202560 20682 0 0 0 15 3 0 0 16 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23198] ppid=23186 vsize=10549448 CPUtime=0.13 cores=0,2,4,6
/proc/23188/task/23198/stat : 23198 (java) S 23186 23188 22626 0 -1 4202560 17619 0 0 0 10 3 0 0 15 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23199] ppid=23186 vsize=10549448 CPUtime=0.09 cores=0,2,4,6
/proc/23188/task/23199/stat : 23199 (java) S 23186 23188 22626 0 -1 4202560 11343 0 0 0 8 1 0 0 15 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23200] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23200/stat : 23200 (java) S 23186 23188 22626 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 833543597 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 0 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23201] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23201/stat : 23201 (java) S 23186 23188 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833543598 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23202] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23202/stat : 23202 (java) S 23186 23188 22626 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833543598 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23203] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23203/stat : 23203 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512515505 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23204] ppid=23186 vsize=10549448 CPUtime=0.65 cores=0,2,4,6
/proc/23188/task/23204/stat : 23204 (java) S 23186 23188 22626 0 -1 4202560 3753 0 0 0 65 0 0 0 15 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23205] ppid=23186 vsize=10549448 CPUtime=0.69 cores=0,2,4,6
/proc/23188/task/23205/stat : 23205 (java) S 23186 23188 22626 0 -1 4202560 5664 0 0 0 68 1 0 0 15 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23206] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23206/stat : 23206 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23207] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23207/stat : 23207 (java) S 23186 23188 22626 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23208] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23208/stat : 23208 (java) S 23186 23188 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833543614 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.66
Current children cumulated vsize (KiB) 10549448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.7 s]
/proc/loadavg: 2.05 2.03 2.00 3/554 23313
/proc/meminfo: memFree=13808044/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10549448 CPUtime=1800.08 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 942558 0 1 0 179897 111 0 0 25 0 19 0 833543594 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2637362 935369 2246 9 0 2628096 0
[pid=23188/tid=23189] ppid=23186 vsize=10549448 CPUtime=1797.42 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 792048 0 1 0 179661 81 0 0 25 0 19 0 833543595 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 46912505618236 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=10549448 CPUtime=0.19 cores=0,2,4,6
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22626 0 -1 4202560 19147 0 0 0 16 3 0 0 15 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=10549448 CPUtime=0.11 cores=0,2,4,6
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22626 0 -1 4202560 14713 0 0 0 9 2 0 0 16 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=10549448 CPUtime=0.2 cores=0,2,4,6
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22626 0 -1 4202560 19749 0 0 0 16 4 0 0 15 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=10549448 CPUtime=0.14 cores=0,2,4,6
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22626 0 -1 4202560 16353 0 0 0 11 3 0 0 16 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=10549448 CPUtime=0.18 cores=0,2,4,6
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22626 0 -1 4202560 20203 0 0 0 13 5 0 0 16 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23197] ppid=23186 vsize=10549448 CPUtime=0.18 cores=0,2,4,6
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22626 0 -1 4202560 20682 0 0 0 15 3 0 0 16 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23198] ppid=23186 vsize=10549448 CPUtime=0.13 cores=0,2,4,6
/proc/23188/task/23198/stat : 23198 (java) S 23186 23188 22626 0 -1 4202560 17619 0 0 0 10 3 0 0 15 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23199] ppid=23186 vsize=10549448 CPUtime=0.09 cores=0,2,4,6
/proc/23188/task/23199/stat : 23199 (java) S 23186 23188 22626 0 -1 4202560 11343 0 0 0 8 1 0 0 15 0 19 0 833543596 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23200] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23200/stat : 23200 (java) S 23186 23188 22626 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 833543597 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 0 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23201] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23201/stat : 23201 (java) S 23186 23188 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833543598 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23202] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23202/stat : 23202 (java) S 23186 23188 22626 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833543598 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23203] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23203/stat : 23203 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512515505 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23204] ppid=23186 vsize=10549448 CPUtime=0.65 cores=0,2,4,6
/proc/23188/task/23204/stat : 23204 (java) S 23186 23188 22626 0 -1 4202560 3753 0 0 0 65 0 0 0 15 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23205] ppid=23186 vsize=10549448 CPUtime=0.69 cores=0,2,4,6
/proc/23188/task/23205/stat : 23205 (java) S 23186 23188 22626 0 -1 4202560 5664 0 0 0 68 1 0 0 15 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23206] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23206/stat : 23206 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23207] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23207/stat : 23207 (java) S 23186 23188 22626 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833543600 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23208] ppid=23186 vsize=10549448 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23208/stat : 23208 (java) S 23186 23188 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833543614 10802634752 935369 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10549448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.82 s]
/proc/loadavg: 2.05 2.03 2.00 3/554 23313
/proc/meminfo: memFree=13808044/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=10551504 CPUtime=1800.28 cores=0,2,4,6
/proc/23188/stat : 23188 (java) S 23186 23188 22626 0 -1 4202496 942586 0 1 0 179912 116 0 0 18 0 18 0 833543594 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 2637876 935396 2247 9 0 2628610 0
[pid=23188/tid=23189] ppid=23186 vsize=10551504 CPUtime=1797.52 cores=0,2,4,6
/proc/23188/task/23189/stat : 23189 (java) R 23186 23188 22626 0 -1 4202560 792048 0 1 0 179671 81 0 0 25 0 18 0 833543595 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 46912505618192 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23188/tid=23191] ppid=23186 vsize=10551504 CPUtime=0.19 cores=0,2,4,6
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22626 0 -1 4202560 19147 0 0 0 16 3 0 0 15 0 18 0 833543596 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23192] ppid=23186 vsize=10551504 CPUtime=0.11 cores=0,2,4,6
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22626 0 -1 4202560 14713 0 0 0 9 2 0 0 16 0 18 0 833543596 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23193] ppid=23186 vsize=10551504 CPUtime=0.2 cores=0,2,4,6
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22626 0 -1 4202560 19749 0 0 0 16 4 0 0 15 0 18 0 833543596 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23194] ppid=23186 vsize=10551504 CPUtime=0.14 cores=0,2,4,6
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22626 0 -1 4202560 16353 0 0 0 11 3 0 0 16 0 18 0 833543596 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23196] ppid=23186 vsize=10551504 CPUtime=0.18 cores=0,2,4,6
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22626 0 -1 4202560 20203 0 0 0 13 5 0 0 16 0 18 0 833543596 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23197] ppid=23186 vsize=10551504 CPUtime=0.18 cores=0,2,4,6
/proc/23188/task/23197/stat : 23197 (java) S 23186 23188 22626 0 -1 4202560 20682 0 0 0 15 3 0 0 16 0 18 0 833543596 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23198] ppid=23186 vsize=10551504 CPUtime=0.13 cores=0,2,4,6
/proc/23188/task/23198/stat : 23198 (java) S 23186 23188 22626 0 -1 4202560 17619 0 0 0 10 3 0 0 15 0 18 0 833543596 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23199] ppid=23186 vsize=10551504 CPUtime=0.09 cores=0,2,4,6
/proc/23188/task/23199/stat : 23199 (java) S 23186 23188 22626 0 -1 4202560 11343 0 0 0 8 1 0 0 15 0 18 0 833543596 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23200] ppid=23186 vsize=10551504 CPUtime=0.09 cores=0,2,4,6
/proc/23188/task/23200/stat : 23200 (java) R 23186 23188 22626 0 -1 4202560 31 0 0 0 4 5 0 0 16 0 18 0 833543597 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254500645175 0 0 0 16800975 0 0 0 -1 6 0 0 0
[pid=23188/tid=23201] ppid=23186 vsize=10551504 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23201/stat : 23201 (java) S 23186 23188 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 833543598 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
[pid=23188/tid=23202] ppid=23186 vsize=10551504 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23202/stat : 23202 (java) S 23186 23188 22626 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 833543598 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23204] ppid=23186 vsize=10551504 CPUtime=0.65 cores=0,2,4,6
/proc/23188/task/23204/stat : 23204 (java) S 23186 23188 22626 0 -1 4202560 3753 0 0 0 65 0 0 0 15 0 18 0 833543600 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 4 0 0 0
[pid=23188/tid=23205] ppid=23186 vsize=10551504 CPUtime=0.69 cores=0,2,4,6
/proc/23188/task/23205/stat : 23205 (java) S 23186 23188 22626 0 -1 4202560 5664 0 0 0 68 1 0 0 15 0 18 0 833543600 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 0 0 0 0
[pid=23188/tid=23206] ppid=23186 vsize=10551504 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23206/stat : 23206 (java) S 23186 23188 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833543600 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512507801 0 4 0 16800975 18446604446140668672 0 0 -1 2 0 0 0
[pid=23188/tid=23208] ppid=23186 vsize=10551504 CPUtime=0 cores=0,2,4,6
/proc/23188/task/23208/stat : 23208 (java) S 23186 23188 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 833543614 10804740096 935396 33554432000 1073741824 1073778376 140734508926800 18446744073709551615 254512508416 0 4 0 16800975 18446604446140668672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 10551504
[startup+1798 s]
/proc/loadavg: 2.05 2.03 2.00 3/554 23313
/proc/meminfo: memFree=13808044/32950928 swapFree=34259960/67111528
[pid=23188] ppid=23186 vsize=0 CPUtime=1800.55 cores=0,2,4,6
/proc/23188/stat : 23188 (java) Z 23186 23188 22626 0 -1 4203548 942586 0 1 0 179925 130 0 0 16 0 2 0 833543594 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23188/statm: 0 0 0 0 0 0 0
[pid=23188/tid=23197] ppid=23186 vsize=0 CPUtime=0.26 cores=0,2,4,6
/proc/23188/task/23197/stat : 23197 (java) R 23186 23188 22626 0 -1 4203588 20682 0 0 0 15 11 0 0 15 0 2 0 833543596 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.07
CPU time (s): 1800.63
CPU user time (s): 1799.26
CPU system time (s): 1.37279
CPU usage (%): 100.142
Max. virtual memory (cumulated for all children) (KiB): 10554268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 1.37279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 942586
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= 37073
involuntary context switches= 32571
runsolver used 9.92649 second user time and 20.2399 second system time
The end