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-4100258-1466208827/watcher-4100258-1466208827 -o /tmp/evaluation-result-4100258-1466208827/solver-4100258-1466208827 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100258-1466208827.opb
pid=17367
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: 4.13 4.22 4.02 5/197 17370
/proc/meminfo: memFree=27125180/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/17370/stat : 17370 (java) D 17367 17370 16262 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 22931413 9515008 182 33554432000 1073741824 1073778376 140736900044624 140736900035656 270330052277 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2323 182 140 9 0 71 0
[startup+0.100111 s]
/proc/loadavg: 4.13 4.22 4.02 5/197 17370
/proc/meminfo: memFree=27125180/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 4477 0 1 0 8 1 0 0 20 0 18 0 22931413 9787879424 5586 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2389619 5586 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200283 s]
/proc/loadavg: 4.13 4.22 4.02 5/197 17370
/proc/meminfo: memFree=27125180/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 5022 0 1 0 24 2 0 0 20 0 18 0 22931413 9787879424 11108 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2389619 11108 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300291 s]
/proc/loadavg: 4.13 4.22 4.02 5/197 17370
/proc/meminfo: memFree=27125180/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 6766 0 1 0 52 2 0 0 20 0 18 0 22931413 9787879424 13995 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2389619 13995 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700258 s]
/proc/loadavg: 4.13 4.22 4.02 5/197 17370
/proc/meminfo: memFree=27125180/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9558476 CPUtime=1.63 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 19196 0 1 0 157 6 0 0 20 0 18 0 22931413 9787879424 42738 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2389619 42738 2260 9 0 2380296 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476
[startup+1.50078 s]
/proc/loadavg: 4.13 4.22 4.02 11/215 17388
/proc/meminfo: memFree=26830256/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9558476 CPUtime=2.91 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 20058 0 1 0 271 20 0 0 20 0 18 0 22931413 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2389619 92058 2276 9 0 2380296 0
[pid=17370/tid=17372] ppid=17367 vsize=9558476 CPUtime=1.31 cores=0,2,4,6
/proc/17370/task/17372/stat : 17372 (java) R 17367 17370 16262 0 -1 4202560 2558 0 1 0 126 5 0 0 20 0 18 0 22931414 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734481686576 139734354563796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17373] ppid=17367 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/17370/task/17373/stat : 17373 (java) S 17367 17370 16262 0 -1 4202560 204 0 0 0 2 1 0 0 20 0 18 0 22931415 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734325713704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17374] ppid=17367 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/17370/task/17374/stat : 17374 (java) S 17367 17370 16262 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 18 0 22931415 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734324660904 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17375] ppid=17367 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/17370/task/17375/stat : 17375 (java) S 17367 17370 16262 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 22931415 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734323608616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17376] ppid=17367 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/17370/task/17376/stat : 17376 (java) S 17367 17370 16262 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 18 0 22931415 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734322555816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17377] ppid=17367 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/17370/task/17377/stat : 17377 (java) S 17367 17370 16262 0 -1 4202560 203 0 0 0 6 2 0 0 20 0 18 0 22931415 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734321502504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17370/tid=17378] ppid=17367 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/17370/task/17378/stat : 17378 (java) S 17367 17370 16262 0 -1 4202560 17 0 0 0 3 1 0 0 20 0 18 0 22931415 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734320449704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17379] ppid=17367 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/17370/task/17379/stat : 17379 (java) S 17367 17370 16262 0 -1 4202560 108 0 0 0 7 3 0 0 20 0 18 0 22931415 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734319397416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17380] ppid=17367 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/17370/task/17380/stat : 17380 (java) S 17367 17370 16262 0 -1 4202560 114 0 0 0 7 2 0 0 20 0 18 0 22931415 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734318344616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17381] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17381/stat : 17381 (java) S 17367 17370 16262 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 22931416 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734305934056 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17382] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17382/stat : 17382 (java) S 17367 17370 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 22931417 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734304880120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17383] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17383/stat : 17383 (java) S 17367 17370 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22931417 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734303827720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17384] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17384/stat : 17384 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22931419 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734302776208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17385] ppid=17367 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/17370/task/17385/stat : 17385 (java) S 17367 17370 16262 0 -1 4202560 4721 0 0 0 40 0 0 0 20 0 18 0 22931419 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734301722808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17386] ppid=17367 vsize=9558476 CPUtime=0.6 cores=0,2,4,6
/proc/17370/task/17386/stat : 17386 (java) S 17367 17370 16262 0 -1 4202560 10730 0 0 0 58 2 0 0 20 0 18 0 22931419 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734300670008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17387] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17387/stat : 17387 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22931419 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734299617912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17388] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17388/stat : 17388 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22931419 9787879424 92058 33554432000 1073741824 1073778376 140737434636544 139734298565320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 9558476
[startup+3.10084 s]
/proc/loadavg: 4.12 4.21 4.01 11/215 17388
/proc/meminfo: memFree=26569604/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9558476 CPUtime=5.31 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 21398 0 1 0 487 44 0 0 20 0 18 0 22931413 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2389619 163129 2284 9 0 2380296 0
[pid=17370/tid=17372] ppid=17367 vsize=9558476 CPUtime=2.06 cores=0,2,4,6
/proc/17370/task/17372/stat : 17372 (java) R 17367 17370 16262 0 -1 4202560 2581 0 1 0 200 6 0 0 20 0 18 0 22931414 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734481686480 139734354573914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17373] ppid=17367 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/17370/task/17373/stat : 17373 (java) S 17367 17370 16262 0 -1 4202560 395 0 0 0 15 5 0 0 20 0 18 0 22931415 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734325713704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17374] ppid=17367 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/17370/task/17374/stat : 17374 (java) S 17367 17370 16262 0 -1 4202560 69 0 0 0 11 4 0 0 20 0 18 0 22931415 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734324660904 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17375] ppid=17367 vsize=9558476 CPUtime=0.13 cores=0,2,4,6
/proc/17370/task/17375/stat : 17375 (java) S 17367 17370 16262 0 -1 4202560 213 0 0 0 9 4 0 0 20 0 18 0 22931415 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734323608616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17370/tid=17376] ppid=17367 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/17370/task/17376/stat : 17376 (java) S 17367 17370 16262 0 -1 4202560 121 0 0 0 20 6 0 0 20 0 18 0 22931415 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734322555816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17377] ppid=17367 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/17370/task/17377/stat : 17377 (java) S 17367 17370 16262 0 -1 4202560 331 0 0 0 16 5 0 0 20 0 18 0 22931415 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734321502504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17370/tid=17378] ppid=17367 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/17370/task/17378/stat : 17378 (java) S 17367 17370 16262 0 -1 4202560 216 0 0 0 14 4 0 0 20 0 18 0 22931415 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734320449704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17379] ppid=17367 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/17370/task/17379/stat : 17379 (java) S 17367 17370 16262 0 -1 4202560 175 0 0 0 18 5 0 0 20 0 18 0 22931415 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734319397416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17380] ppid=17367 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/17370/task/17380/stat : 17380 (java) S 17367 17370 16262 0 -1 4202560 146 0 0 0 13 4 0 0 20 0 18 0 22931415 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734318344616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17381] ppid=17367 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/17370/task/17381/stat : 17381 (java) S 17367 17370 16262 0 -1 4202560 448 0 0 0 55 0 0 0 20 0 18 0 22931416 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734305934056 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17382] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17382/stat : 17382 (java) S 17367 17370 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 22931417 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734304880120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17383] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17383/stat : 17383 (java) S 17367 17370 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22931417 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734303827720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17384] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17384/stat : 17384 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22931419 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734302776208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17385] ppid=17367 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/17370/task/17385/stat : 17385 (java) S 17367 17370 16262 0 -1 4202560 4721 0 0 0 40 0 0 0 20 0 18 0 22931419 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734301722808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17386] ppid=17367 vsize=9558476 CPUtime=0.6 cores=0,2,4,6
/proc/17370/task/17386/stat : 17386 (java) S 17367 17370 16262 0 -1 4202560 10730 0 0 0 58 2 0 0 20 0 18 0 22931419 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734300670008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17387] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17387/stat : 17387 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22931419 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734299617912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17388] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17388/stat : 17388 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22931419 9787879424 163129 33554432000 1073741824 1073778376 140737434636544 139734298565320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 9558476
[startup+6.30081 s]
/proc/loadavg: 4.12 4.21 4.01 5/215 17388
/proc/meminfo: memFree=26076228/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9558476 CPUtime=9.84 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 24266 0 1 0 903 81 0 0 20 0 18 0 22931413 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2389619 292916 2284 9 0 2380296 0
[pid=17370/tid=17372] ppid=17367 vsize=9558476 CPUtime=3.89 cores=0,2,4,6
/proc/17370/task/17372/stat : 17372 (java) R 17367 17370 16262 0 -1 4202560 2870 0 1 0 379 10 0 0 20 0 18 0 22931414 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734481686496 139734354577639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17373] ppid=17367 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/17370/task/17373/stat : 17373 (java) S 17367 17370 16262 0 -1 4202560 487 0 0 0 34 10 0 0 20 0 18 0 22931415 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734325713704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17374] ppid=17367 vsize=9558476 CPUtime=0.39 cores=0,2,4,6
/proc/17370/task/17374/stat : 17374 (java) S 17367 17370 16262 0 -1 4202560 161 0 0 0 31 8 0 0 20 0 18 0 22931415 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734324660904 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17375] ppid=17367 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/17370/task/17375/stat : 17375 (java) S 17367 17370 16262 0 -1 4202560 722 0 0 0 21 6 0 0 20 0 18 0 22931415 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734323608616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17376] ppid=17367 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/17370/task/17376/stat : 17376 (java) S 17367 17370 16262 0 -1 4202560 670 0 0 0 32 9 0 0 20 0 18 0 22931415 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734322555816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17377] ppid=17367 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/17370/task/17377/stat : 17377 (java) S 17367 17370 16262 0 -1 4202560 592 0 0 0 39 10 0 0 20 0 18 0 22931415 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734321502504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17370/tid=17378] ppid=17367 vsize=9558476 CPUtime=0.38 cores=0,2,4,6
/proc/17370/task/17378/stat : 17378 (java) S 17367 17370 16262 0 -1 4202560 306 0 0 0 30 8 0 0 20 0 18 0 22931415 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734320449704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17370/tid=17379] ppid=17367 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/17370/task/17379/stat : 17379 (java) S 17367 17370 16262 0 -1 4202560 280 0 0 0 37 10 0 0 20 0 18 0 22931415 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734319397416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17380] ppid=17367 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/17370/task/17380/stat : 17380 (java) S 17367 17370 16262 0 -1 4202560 405 0 0 0 32 8 0 0 20 0 18 0 22931415 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734318344616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17381] ppid=17367 vsize=9558476 CPUtime=1.48 cores=0,2,4,6
/proc/17370/task/17381/stat : 17381 (java) S 17367 17370 16262 0 -1 4202560 1069 0 0 0 148 0 0 0 20 0 18 0 22931416 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734305934056 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17370/tid=17382] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17382/stat : 17382 (java) S 17367 17370 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 22931417 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734304880120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17383] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17383/stat : 17383 (java) S 17367 17370 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22931417 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734303827720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17384] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17384/stat : 17384 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22931419 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734302776208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17385] ppid=17367 vsize=9558476 CPUtime=0.42 cores=0,2,4,6
/proc/17370/task/17385/stat : 17385 (java) S 17367 17370 16262 0 -1 4202560 4721 0 0 0 42 0 0 0 20 0 18 0 22931419 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734301722808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17386] ppid=17367 vsize=9558476 CPUtime=0.62 cores=0,2,4,6
/proc/17370/task/17386/stat : 17386 (java) S 17367 17370 16262 0 -1 4202560 10731 0 0 0 60 2 0 0 20 0 18 0 22931419 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734300670008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17387] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17387/stat : 17387 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22931419 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734299617912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17388] ppid=17367 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17388/stat : 17388 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22931419 9787879424 292916 33554432000 1073741824 1073778376 140737434636544 139734298565320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (KiB) 9558476
[startup+12.701 s]
/proc/loadavg: 4.03 4.19 4.01 5/219 17392
/proc/meminfo: memFree=25220576/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9824732 CPUtime=22.92 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 27657 0 1 0 2141 151 0 0 20 0 22 0 22931413 10060525568 477478 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2456183 477478 2293 9 0 2446860 0
################
# More data... #
################
/proc/17370/task/17375/stat : 17375 (java) S 17367 17370 16262 0 -1 4202560 1228 0 0 0 394 34 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734323608616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17376] ppid=17367 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/17370/task/17376/stat : 17376 (java) S 17367 17370 16262 0 -1 4202560 1212 0 0 0 383 39 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734322555816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17377] ppid=17367 vsize=9824732 CPUtime=4.5 cores=0,2,4,6
/proc/17370/task/17377/stat : 17377 (java) S 17367 17370 16262 0 -1 4202560 1206 0 0 0 409 41 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734321502504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17378] ppid=17367 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/17370/task/17378/stat : 17378 (java) S 17367 17370 16262 0 -1 4202560 1541 0 0 0 381 42 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734320449704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17379] ppid=17367 vsize=9824732 CPUtime=4.67 cores=0,2,4,6
/proc/17370/task/17379/stat : 17379 (java) S 17367 17370 16262 0 -1 4202560 1523 0 0 0 424 43 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734319397416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17380] ppid=17367 vsize=9824732 CPUtime=4.95 cores=0,2,4,6
/proc/17370/task/17380/stat : 17380 (java) S 17367 17370 16262 0 -1 4202560 1606 0 0 0 452 43 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734318344616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17381] ppid=17367 vsize=9824732 CPUtime=4.07 cores=0,2,4,6
/proc/17370/task/17381/stat : 17381 (java) S 17367 17370 16262 0 -1 4202560 2840 0 0 0 403 4 0 0 20 0 22 0 22931416 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734305934056 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17382] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17382/stat : 17382 (java) S 17367 17370 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 22931417 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734304880120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17383] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17383/stat : 17383 (java) S 17367 17370 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22931417 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734303827720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17384] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17384/stat : 17384 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734302776208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17385] ppid=17367 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/17370/task/17385/stat : 17385 (java) S 17367 17370 16262 0 -1 4202560 5330 0 0 0 147 1 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734301722808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17386] ppid=17367 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/17370/task/17386/stat : 17386 (java) S 17367 17370 16262 0 -1 4202560 10804 0 0 0 118 2 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734300670008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17370/tid=17387] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17387/stat : 17387 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734299617912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17388] ppid=17367 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/17370/task/17388/stat : 17388 (java) S 17367 17370 16262 0 -1 4202560 47 0 0 0 9 10 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734298565320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17389] ppid=17367 vsize=9824732 CPUtime=800.89 cores=0,2,4,6
/proc/17370/task/17389/stat : 17389 (java) R 17367 17370 16262 0 -1 4202560 38 0 0 0 80076 13 0 0 20 0 22 0 22932279 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734297508800 139734354780703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17390] ppid=17367 vsize=9824732 CPUtime=800.9 cores=0,2,4,6
/proc/17370/task/17390/stat : 17390 (java) R 17367 17370 16262 0 -1 4202560 45 0 0 0 80077 13 0 0 20 0 22 0 22932279 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734296456384 139734355296749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17391] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17391/stat : 17391 (java) S 17367 17370 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22932298 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734295406248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17392] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17392/stat : 17392 (java) S 17367 17370 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22932303 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734294353448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1654.6
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.32 4.27 4.14 5/219 17480
/proc/meminfo: memFree=21050272/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9824732 CPUtime=1775.11 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 34982 0 1 0 177159 352 0 0 20 0 22 0 22931413 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2456183 904462 2298 9 0 2446860 0
[pid=17370/tid=17372] ppid=17367 vsize=9824732 CPUtime=5.95 cores=0,2,4,6
/proc/17370/task/17372/stat : 17372 (java) S 17367 17370 16262 0 -1 4202560 3427 0 1 0 582 13 0 0 20 0 22 0 22931414 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734481695608 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17373] ppid=17367 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
/proc/17370/task/17373/stat : 17373 (java) S 17367 17370 16262 0 -1 4202560 1582 0 0 0 433 39 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734325713704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17374] ppid=17367 vsize=9824732 CPUtime=4.48 cores=0,2,4,6
/proc/17370/task/17374/stat : 17374 (java) S 17367 17370 16262 0 -1 4202560 1281 0 0 0 412 36 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734324660904 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17375] ppid=17367 vsize=9824732 CPUtime=4.46 cores=0,2,4,6
/proc/17370/task/17375/stat : 17375 (java) S 17367 17370 16262 0 -1 4202560 1228 0 0 0 412 34 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734323608616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17376] ppid=17367 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/17370/task/17376/stat : 17376 (java) S 17367 17370 16262 0 -1 4202560 1212 0 0 0 396 39 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734322555816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17377] ppid=17367 vsize=9824732 CPUtime=4.6 cores=0,2,4,6
/proc/17370/task/17377/stat : 17377 (java) S 17367 17370 16262 0 -1 4202560 1206 0 0 0 419 41 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734321502504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17378] ppid=17367 vsize=9824732 CPUtime=4.34 cores=0,2,4,6
/proc/17370/task/17378/stat : 17378 (java) S 17367 17370 16262 0 -1 4202560 1541 0 0 0 392 42 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734320449704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17379] ppid=17367 vsize=9824732 CPUtime=4.74 cores=0,2,4,6
/proc/17370/task/17379/stat : 17379 (java) S 17367 17370 16262 0 -1 4202560 1523 0 0 0 431 43 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734319397416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17380] ppid=17367 vsize=9824732 CPUtime=5.08 cores=0,2,4,6
/proc/17370/task/17380/stat : 17380 (java) S 17367 17370 16262 0 -1 4202560 1606 0 0 0 465 43 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734318344616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17381] ppid=17367 vsize=9824732 CPUtime=4.07 cores=0,2,4,6
/proc/17370/task/17381/stat : 17381 (java) S 17367 17370 16262 0 -1 4202560 2842 0 0 0 403 4 0 0 20 0 22 0 22931416 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734305934056 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17382] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17382/stat : 17382 (java) S 17367 17370 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 22931417 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734304880120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17383] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17383/stat : 17383 (java) S 17367 17370 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22931417 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734303827720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17384] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17384/stat : 17384 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734302776208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17385] ppid=17367 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/17370/task/17385/stat : 17385 (java) S 17367 17370 16262 0 -1 4202560 5330 0 0 0 147 1 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734301722808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17386] ppid=17367 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/17370/task/17386/stat : 17386 (java) S 17367 17370 16262 0 -1 4202560 10804 0 0 0 118 2 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734300670008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17370/tid=17387] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17387/stat : 17387 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734299617912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17388] ppid=17367 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/17370/task/17388/stat : 17388 (java) S 17367 17370 16262 0 -1 4202560 51 0 0 0 9 11 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734298565320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17389] ppid=17367 vsize=9824732 CPUtime=860.47 cores=0,2,4,6
/proc/17370/task/17389/stat : 17389 (java) R 17367 17370 16262 0 -1 4202560 39 0 0 0 86033 14 0 0 20 0 22 0 22932279 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734297509664 139734355371612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17390] ppid=17367 vsize=9824732 CPUtime=860.48 cores=0,2,4,6
/proc/17370/task/17390/stat : 17390 (java) R 17367 17370 16262 0 -1 4202560 45 0 0 0 86034 14 0 0 20 0 22 0 22932279 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734296455616 139734355250216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17391] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17391/stat : 17391 (java) S 17367 17370 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22932298 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734295406248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17392] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17392/stat : 17392 (java) S 17367 17370 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22932303 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734294353448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1775.11
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.801 s]
/proc/loadavg: 4.27 4.26 4.14 5/219 17480
/proc/meminfo: memFree=21050152/32872528 swapFree=1556504/1720024
[pid=17370] ppid=17367 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6
/proc/17370/stat : 17370 (java) S 17367 17370 16262 0 -1 4202496 34982 0 1 0 179657 352 0 0 20 0 22 0 22931413 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 140737434627680 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17370/statm: 2456183 904462 2298 9 0 2446860 0
[pid=17370/tid=17372] ppid=17367 vsize=9824732 CPUtime=5.95 cores=0,2,4,6
/proc/17370/task/17372/stat : 17372 (java) S 17367 17370 16262 0 -1 4202560 3427 0 1 0 582 13 0 0 20 0 22 0 22931414 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734481695608 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17373] ppid=17367 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
/proc/17370/task/17373/stat : 17373 (java) S 17367 17370 16262 0 -1 4202560 1582 0 0 0 433 39 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734325713704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17374] ppid=17367 vsize=9824732 CPUtime=4.48 cores=0,2,4,6
/proc/17370/task/17374/stat : 17374 (java) S 17367 17370 16262 0 -1 4202560 1281 0 0 0 412 36 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734324660904 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17375] ppid=17367 vsize=9824732 CPUtime=4.46 cores=0,2,4,6
/proc/17370/task/17375/stat : 17375 (java) S 17367 17370 16262 0 -1 4202560 1228 0 0 0 412 34 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734323608616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17376] ppid=17367 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/17370/task/17376/stat : 17376 (java) S 17367 17370 16262 0 -1 4202560 1212 0 0 0 396 39 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734322555816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17377] ppid=17367 vsize=9824732 CPUtime=4.6 cores=0,2,4,6
/proc/17370/task/17377/stat : 17377 (java) S 17367 17370 16262 0 -1 4202560 1206 0 0 0 419 41 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734321502504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17378] ppid=17367 vsize=9824732 CPUtime=4.34 cores=0,2,4,6
/proc/17370/task/17378/stat : 17378 (java) S 17367 17370 16262 0 -1 4202560 1541 0 0 0 392 42 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734320449704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17370/tid=17379] ppid=17367 vsize=9824732 CPUtime=4.74 cores=0,2,4,6
/proc/17370/task/17379/stat : 17379 (java) S 17367 17370 16262 0 -1 4202560 1523 0 0 0 431 43 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734319397416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17380] ppid=17367 vsize=9824732 CPUtime=5.08 cores=0,2,4,6
/proc/17370/task/17380/stat : 17380 (java) S 17367 17370 16262 0 -1 4202560 1606 0 0 0 465 43 0 0 20 0 22 0 22931415 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734318344616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17381] ppid=17367 vsize=9824732 CPUtime=4.07 cores=0,2,4,6
/proc/17370/task/17381/stat : 17381 (java) S 17367 17370 16262 0 -1 4202560 2842 0 0 0 403 4 0 0 20 0 22 0 22931416 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734305934056 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17382] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17382/stat : 17382 (java) S 17367 17370 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 22931417 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734304880120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17383] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17383/stat : 17383 (java) S 17367 17370 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22931417 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734303827720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17384] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17384/stat : 17384 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734302776208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17385] ppid=17367 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/17370/task/17385/stat : 17385 (java) S 17367 17370 16262 0 -1 4202560 5330 0 0 0 147 1 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734301722808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17386] ppid=17367 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/17370/task/17386/stat : 17386 (java) S 17367 17370 16262 0 -1 4202560 10804 0 0 0 118 2 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734300670008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17370/tid=17387] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17387/stat : 17387 (java) S 17367 17370 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734299617912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17388] ppid=17367 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/17370/task/17388/stat : 17388 (java) S 17367 17370 16262 0 -1 4202560 51 0 0 0 9 11 0 0 20 0 22 0 22931419 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734298565320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17389] ppid=17367 vsize=9824732 CPUtime=872.93 cores=0,2,4,6
/proc/17370/task/17389/stat : 17389 (java) R 17367 17370 16262 0 -1 4202560 39 0 0 0 87279 14 0 0 20 0 22 0 22932279 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734297509664 139734355498412 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17370/tid=17390] ppid=17367 vsize=9824732 CPUtime=872.94 cores=0,2,4,6
/proc/17370/task/17390/stat : 17390 (java) R 17367 17370 16262 0 -1 4202560 45 0 0 0 87280 14 0 0 20 0 22 0 22932279 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734296455616 139734355250320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17391] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17391/stat : 17391 (java) S 17367 17370 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22932298 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734295406248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17370/tid=17392] ppid=17367 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17370/task/17392/stat : 17392 (java) S 17367 17370 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22932303 10060525568 904462 33554432000 1073741824 1073778376 140737434636544 139734294353448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732
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 17370 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 17370 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=19571
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=932402
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 894.85
CPU time (s): 1800.09
CPU user time (s): 1796.57
CPU system time (s): 3.52
CPU usage (%): 201.161
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.02
system time used= 3.9324
maximum resident set size= 3617968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35017
page faults= 1
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22743
involuntary context switches= 24753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67314 second user time and 7.07392 second system time
The end