runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4084621-1465286995/watcher-4084621-1465286995 -o /tmp/evaluation-result-4084621-1465286995/solver-4084621-1465286995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23301 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084621-1465286995.opb
pid=28177
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/196 28180
/proc/meminfo: memFree=31519068/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/28180/stat : 28180 (java) R 28177 28180 23284 0 -1 4202496 1054 0 0 0 0 0 0 0 20 0 1 0 110631578 23793664 705 33554432000 1073741824 1073778376 140736117783056 140736117772120 206399697872 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 5809 705 520 9 0 128 0
[startup+0.100061 s]
/proc/loadavg: 2.01 2.01 2.00 3/196 28180
/proc/meminfo: memFree=31519068/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 4461 0 1 0 9 1 0 0 20 0 18 0 110631578 9787879424 6091 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2389619 6091 2155 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200228 s]
/proc/loadavg: 2.01 2.01 2.00 3/196 28180
/proc/meminfo: memFree=31519068/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 6081 0 1 0 29 2 0 0 20 0 18 0 110631578 9787879424 8115 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2389619 8115 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.300269 s]
/proc/loadavg: 2.01 2.01 2.00 3/196 28180
/proc/meminfo: memFree=31519068/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9558476 CPUtime=0.58 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 7219 0 1 0 56 2 0 0 20 0 18 0 110631578 9787879424 12430 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2389619 12430 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476
[startup+0.70016 s]
/proc/loadavg: 2.01 2.01 2.00 3/196 28180
/proc/meminfo: memFree=31519068/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 8051 0 1 0 132 4 0 0 20 0 19 0 110631578 9856040960 38850 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2406260 38850 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040
[startup+1.50074 s]
/proc/loadavg: 2.17 2.04 2.01 3/215 28199
/proc/meminfo: memFree=31369860/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 8055 0 1 0 227 4 0 0 20 0 19 0 110631578 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2406260 39363 2264 9 0 2396937 0
[pid=28180/tid=28182] ppid=28177 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/28180/task/28182/stat : 28182 (java) R 28177 28180 23284 0 -1 4202560 2466 0 1 0 144 3 0 0 20 0 19 0 110631579 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528521793896 140528394623568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28183] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28183/stat : 28183 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528365550120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28184] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28184/stat : 28184 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528364497320 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28185] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28185/stat : 28185 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528363444520 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28186] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28186/stat : 28186 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528362391720 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28187] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28187/stat : 28187 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528361339944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28188] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28188/stat : 28188 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528360287144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28189] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28189/stat : 28189 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528359234344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28190] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28190/stat : 28190 (java) S 28177 28180 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528358181544 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28191] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28191/stat : 28191 (java) S 28177 28180 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528345983464 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28192] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28192/stat : 28192 (java) S 28177 28180 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528344929528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28193] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28193/stat : 28193 (java) S 28177 28180 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528343876616 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28194] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28194/stat : 28194 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528342825104 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28195] ppid=28177 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/28180/task/28195/stat : 28195 (java) S 28177 28180 23284 0 -1 4202560 1785 0 0 0 40 0 0 0 20 0 19 0 110631583 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528341773240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28196] ppid=28177 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/28180/task/28196/stat : 28196 (java) S 28177 28180 23284 0 -1 4202560 2533 0 0 0 40 0 0 0 20 0 19 0 110631583 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528340720440 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28197] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28197/stat : 28197 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528339667832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28198] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28198/stat : 28198 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528338615240 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28199] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28199/stat : 28199 (java) S 28177 28180 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110631638 9856040960 39363 33554432000 1073741824 1073778376 140736117783056 140528337560744 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625040
[startup+3.10081 s]
/proc/loadavg: 2.17 2.04 2.01 3/215 28199
/proc/meminfo: memFree=31367564/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 8102 0 1 0 399 4 0 0 20 0 19 0 110631578 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2406260 42464 2284 9 0 2396937 0
[pid=28180/tid=28182] ppid=28177 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/28180/task/28182/stat : 28182 (java) R 28177 28180 23284 0 -1 4202560 2473 0 1 0 302 3 0 0 20 0 19 0 110631579 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528521792504 140528394675371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28183] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28183/stat : 28183 (java) S 28177 28180 23284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528365550120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28184] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28184/stat : 28184 (java) S 28177 28180 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528364497320 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28185] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28185/stat : 28185 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528363444520 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28186] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28186/stat : 28186 (java) S 28177 28180 23284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528362391720 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28187] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28187/stat : 28187 (java) S 28177 28180 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528361339944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28188] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28188/stat : 28188 (java) S 28177 28180 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528360287144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28189] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28189/stat : 28189 (java) S 28177 28180 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528359234344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28190] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28190/stat : 28190 (java) S 28177 28180 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528358181544 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28191] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28191/stat : 28191 (java) S 28177 28180 23284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528345983464 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28192] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28192/stat : 28192 (java) S 28177 28180 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528344929528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28193] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28193/stat : 28193 (java) S 28177 28180 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528343876616 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28194] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28194/stat : 28194 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528342825104 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28195] ppid=28177 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/28180/task/28195/stat : 28195 (java) S 28177 28180 23284 0 -1 4202560 1788 0 0 0 42 0 0 0 20 0 19 0 110631583 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528341773240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28196] ppid=28177 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/28180/task/28196/stat : 28196 (java) S 28177 28180 23284 0 -1 4202560 2538 0 0 0 47 0 0 0 20 0 19 0 110631583 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528340720440 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28197] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28197/stat : 28197 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528339667832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28198] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28198/stat : 28198 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528338615240 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28199] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28199/stat : 28199 (java) S 28177 28180 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110631638 9856040960 42464 33554432000 1073741824 1073778376 140736117783056 140528337560744 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040
[startup+6.3008 s]
/proc/loadavg: 2.16 2.04 2.01 3/215 28199
/proc/meminfo: memFree=31356996/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9625040 CPUtime=7.27 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 8104 0 1 0 723 4 0 0 20 0 19 0 110631578 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2406260 42458 2284 9 0 2396937 0
[pid=28180/tid=28182] ppid=28177 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/28180/task/28182/stat : 28182 (java) R 28177 28180 23284 0 -1 4202560 2475 0 1 0 621 3 0 0 20 0 19 0 110631579 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528521785040 140528394787524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28183] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28183/stat : 28183 (java) S 28177 28180 23284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528365550120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28184] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28184/stat : 28184 (java) S 28177 28180 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528364497320 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28185] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28185/stat : 28185 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528363444520 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28186] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28186/stat : 28186 (java) S 28177 28180 23284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528362391720 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28187] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28187/stat : 28187 (java) S 28177 28180 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528361339944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28188] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28188/stat : 28188 (java) S 28177 28180 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528360287144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28189] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28189/stat : 28189 (java) S 28177 28180 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528359234344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28190] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28190/stat : 28190 (java) S 28177 28180 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110631580 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528358181544 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28191] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28191/stat : 28191 (java) S 28177 28180 23284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528345983464 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28192] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28192/stat : 28192 (java) S 28177 28180 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528344929528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28193] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28193/stat : 28193 (java) S 28177 28180 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528343876616 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28194] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28194/stat : 28194 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528342825104 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28195] ppid=28177 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/28180/task/28195/stat : 28195 (java) S 28177 28180 23284 0 -1 4202560 1788 0 0 0 44 0 0 0 20 0 19 0 110631583 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528341773240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28196] ppid=28177 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/28180/task/28196/stat : 28196 (java) S 28177 28180 23284 0 -1 4202560 2538 0 0 0 49 0 0 0 20 0 19 0 110631583 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528340720440 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28197] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28197/stat : 28197 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528339667832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28198] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28198/stat : 28198 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528338615240 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28199] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28199/stat : 28199 (java) S 28177 28180 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110631638 9856040960 42458 33554432000 1073741824 1073778376 140736117783056 140528337560744 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=28180/tid=28199] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28199/stat : 28199 (java) S 28177 28180 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110631638 9856040960 124789 33554432000 1073741824 1073778376 140736117783056 140528337560744 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1667.98
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/215 28244
/proc/meminfo: memFree=30753428/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9625040 CPUtime=1728.2 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 11400 0 1 0 172675 145 0 0 20 0 19 0 110631578 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2406260 120992 2293 9 0 2396937 0
[pid=28180/tid=28182] ppid=28177 vsize=9625040 CPUtime=1714.75 cores=1,3,5,7
/proc/28180/task/28182/stat : 28182 (java) R 28177 28180 23284 0 -1 4202560 2516 0 1 0 171436 39 0 0 20 0 19 0 110631579 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528521792864 140528394787634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28183] ppid=28177 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/28180/task/28183/stat : 28183 (java) S 28177 28180 23284 0 -1 4202560 486 0 0 0 67 14 0 0 20 0 19 0 110631580 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528365550120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28184] ppid=28177 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/28180/task/28184/stat : 28184 (java) S 28177 28180 23284 0 -1 4202560 295 0 0 0 63 8 0 0 20 0 19 0 110631580 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528364497320 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28185] ppid=28177 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/28180/task/28185/stat : 28185 (java) S 28177 28180 23284 0 -1 4202560 340 0 0 0 73 14 0 0 20 0 19 0 110631580 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528363444520 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28186] ppid=28177 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/28180/task/28186/stat : 28186 (java) S 28177 28180 23284 0 -1 4202560 366 0 0 0 65 9 0 0 20 0 19 0 110631580 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528362391720 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28187] ppid=28177 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/28180/task/28187/stat : 28187 (java) S 28177 28180 23284 0 -1 4202560 297 0 0 0 68 11 0 0 20 0 19 0 110631580 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528361339944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28188] ppid=28177 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/28180/task/28188/stat : 28188 (java) S 28177 28180 23284 0 -1 4202560 399 0 0 0 74 13 0 0 20 0 19 0 110631580 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528360287144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28189] ppid=28177 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/28180/task/28189/stat : 28189 (java) S 28177 28180 23284 0 -1 4202560 316 0 0 0 62 11 0 0 20 0 19 0 110631580 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528359234344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28190] ppid=28177 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/28180/task/28190/stat : 28190 (java) S 28177 28180 23284 0 -1 4202560 357 0 0 0 66 9 0 0 20 0 19 0 110631580 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528358181544 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28191] ppid=28177 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/28180/task/28191/stat : 28191 (java) S 28177 28180 23284 0 -1 4202560 339 0 0 0 120 3 0 0 20 0 19 0 110631581 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528345983464 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28192] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28192/stat : 28192 (java) S 28177 28180 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528344929528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28193] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28193/stat : 28193 (java) S 28177 28180 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528343876616 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28194] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28194/stat : 28194 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528342825104 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28195] ppid=28177 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/28180/task/28195/stat : 28195 (java) S 28177 28180 23284 0 -1 4202560 1788 0 0 0 46 0 0 0 20 0 19 0 110631583 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528341773240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28196] ppid=28177 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/28180/task/28196/stat : 28196 (java) S 28177 28180 23284 0 -1 4202560 2545 0 0 0 52 0 0 0 20 0 19 0 110631583 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528340720440 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28197] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28197/stat : 28197 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528339667832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28198] ppid=28177 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/28180/task/28198/stat : 28198 (java) S 28177 28180 23284 0 -1 4202560 99 0 0 0 29 38 0 0 20 0 19 0 110631583 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528338615240 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28199] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28199/stat : 28199 (java) S 28177 28180 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110631638 9856040960 120992 33554432000 1073741824 1073778376 140736117783056 140528337560744 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1728.2
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/215 28376
/proc/meminfo: memFree=31135172/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9625040 CPUtime=1788.37 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 11461 0 1 0 178689 148 0 0 20 0 19 0 110631578 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2406260 117420 2293 9 0 2396937 0
[pid=28180/tid=28182] ppid=28177 vsize=9625040 CPUtime=1774.23 cores=1,3,5,7
/proc/28180/task/28182/stat : 28182 (java) R 28177 28180 23284 0 -1 4202560 2518 0 1 0 177382 41 0 0 20 0 19 0 110631579 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528521792864 140528394737799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28183] ppid=28177 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/28180/task/28183/stat : 28183 (java) S 28177 28180 23284 0 -1 4202560 488 0 0 0 68 14 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528365550120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28184] ppid=28177 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/28180/task/28184/stat : 28184 (java) S 28177 28180 23284 0 -1 4202560 301 0 0 0 65 8 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528364497320 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28185] ppid=28177 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/28180/task/28185/stat : 28185 (java) S 28177 28180 23284 0 -1 4202560 341 0 0 0 75 14 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528363444520 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28186] ppid=28177 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/28180/task/28186/stat : 28186 (java) S 28177 28180 23284 0 -1 4202560 366 0 0 0 67 9 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528362391720 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28187] ppid=28177 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/28180/task/28187/stat : 28187 (java) S 28177 28180 23284 0 -1 4202560 299 0 0 0 73 11 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528361339944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28188] ppid=28177 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/28180/task/28188/stat : 28188 (java) S 28177 28180 23284 0 -1 4202560 399 0 0 0 76 13 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528360287144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28189] ppid=28177 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/28180/task/28189/stat : 28189 (java) S 28177 28180 23284 0 -1 4202560 316 0 0 0 69 11 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528359234344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28190] ppid=28177 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/28180/task/28190/stat : 28190 (java) S 28177 28180 23284 0 -1 4202560 357 0 0 0 70 9 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528358181544 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28191] ppid=28177 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/28180/task/28191/stat : 28191 (java) S 28177 28180 23284 0 -1 4202560 383 0 0 0 148 3 0 0 20 0 19 0 110631581 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528345983464 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28192] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28192/stat : 28192 (java) S 28177 28180 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528344929528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28193] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28193/stat : 28193 (java) S 28177 28180 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528343876616 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28194] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28194/stat : 28194 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528342825104 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28195] ppid=28177 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/28180/task/28195/stat : 28195 (java) S 28177 28180 23284 0 -1 4202560 1788 0 0 0 46 0 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528341773240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28196] ppid=28177 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/28180/task/28196/stat : 28196 (java) S 28177 28180 23284 0 -1 4202560 2545 0 0 0 52 0 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528340720440 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28197] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28197/stat : 28197 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528339667832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28198] ppid=28177 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/28180/task/28198/stat : 28198 (java) S 28177 28180 23284 0 -1 4202560 103 0 0 0 30 39 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528338615240 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28199] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28199/stat : 28199 (java) S 28177 28180 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110631638 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528337560744 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794 s]
/proc/loadavg: 2.03 2.04 2.01 3/215 28376
/proc/meminfo: memFree=31098376/32872528 swapFree=8144/8144
[pid=28180] ppid=28177 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/28180/stat : 28180 (java) S 28177 28180 23284 0 -1 4202496 11461 0 1 0 179858 149 0 0 20 0 19 0 110631578 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140736117774192 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28180/statm: 2406260 117420 2293 9 0 2396937 0
[pid=28180/tid=28182] ppid=28177 vsize=9625040 CPUtime=1785.89 cores=1,3,5,7
/proc/28180/task/28182/stat : 28182 (java) R 28177 28180 23284 0 -1 4202560 2518 0 1 0 178547 42 0 0 20 0 19 0 110631579 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528521792864 140528394787634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28183] ppid=28177 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/28180/task/28183/stat : 28183 (java) S 28177 28180 23284 0 -1 4202560 488 0 0 0 68 14 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528365550120 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28184] ppid=28177 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/28180/task/28184/stat : 28184 (java) S 28177 28180 23284 0 -1 4202560 301 0 0 0 65 8 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528364497320 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28185] ppid=28177 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/28180/task/28185/stat : 28185 (java) S 28177 28180 23284 0 -1 4202560 341 0 0 0 75 14 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528363444520 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28186] ppid=28177 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/28180/task/28186/stat : 28186 (java) S 28177 28180 23284 0 -1 4202560 366 0 0 0 67 9 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528362391720 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28187] ppid=28177 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/28180/task/28187/stat : 28187 (java) S 28177 28180 23284 0 -1 4202560 299 0 0 0 73 11 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528361339944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28188] ppid=28177 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/28180/task/28188/stat : 28188 (java) S 28177 28180 23284 0 -1 4202560 399 0 0 0 76 13 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528360287144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28189] ppid=28177 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/28180/task/28189/stat : 28189 (java) S 28177 28180 23284 0 -1 4202560 316 0 0 0 69 11 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528359234344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28190] ppid=28177 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/28180/task/28190/stat : 28190 (java) S 28177 28180 23284 0 -1 4202560 357 0 0 0 70 9 0 0 20 0 19 0 110631580 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528358181544 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28191] ppid=28177 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/28180/task/28191/stat : 28191 (java) S 28177 28180 23284 0 -1 4202560 383 0 0 0 148 3 0 0 20 0 19 0 110631581 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528345983464 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28180/tid=28192] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28192/stat : 28192 (java) S 28177 28180 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528344929528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28193] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28193/stat : 28193 (java) S 28177 28180 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110631581 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528343876616 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28194] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28194/stat : 28194 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528342825104 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28195] ppid=28177 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/28180/task/28195/stat : 28195 (java) S 28177 28180 23284 0 -1 4202560 1788 0 0 0 46 0 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528341773240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28180/tid=28196] ppid=28177 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/28180/task/28196/stat : 28196 (java) S 28177 28180 23284 0 -1 4202560 2545 0 0 0 52 0 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528340720440 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28197] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28197/stat : 28197 (java) S 28177 28180 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528339667832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28180/tid=28198] ppid=28177 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/28180/task/28198/stat : 28198 (java) S 28177 28180 23284 0 -1 4202560 103 0 0 0 30 39 0 0 20 0 19 0 110631583 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528338615240 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28180/tid=28199] ppid=28177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28180/task/28199/stat : 28199 (java) S 28177 28180 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110631638 9856040960 117420 33554432000 1073741824 1073778376 140736117783056 140528337560744 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28180 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28180 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=100255
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=871715
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.08
CPU time (s): 1800.07
CPU user time (s): 1798.58
CPU system time (s): 1.49
CPU usage (%): 100.334
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.1
system time used= 1.87172
maximum resident set size= 879128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11494
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39037
involuntary context switches= 21050
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.829 second user time and 16.4935 second system time
The end