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-4080493-1465266241/watcher-4080493-1465266241 -o /tmp/evaluation-result-4080493-1465266241/solver-4080493-1465266241 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465261736-14348 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080493-1465266241.opb
pid=16548
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: 4.17 4.04 3.93 4/197 16551
/proc/meminfo: memFree=29052952/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 108555264 98570240 976 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 24065 976 743 9 0 16771 0
[pid=16551/tid=16552] ppid=16548 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) R 16548 16551 14331 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 108555264 98570240 976 33554432000 1073741824 1073778376 140734073798992 139724300119592 243765429632 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 4.17 4.04 3.93 4/197 16551
/proc/meminfo: memFree=29052952/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 4495 0 1 0 10 1 0 0 20 0 18 0 108555264 9787879424 6128 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2389619 6128 2158 9 0 2380296 0
[pid=16551/tid=16552] ppid=16548 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) R 16548 16551 14331 0 -1 4202560 2391 0 1 0 7 0 0 0 20 0 18 0 108555264 9787879424 6128 33554432000 1073741824 1073778376 140734073798992 139724300123040 243768812813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200281 s]
/proc/loadavg: 4.17 4.04 3.93 4/197 16551
/proc/meminfo: memFree=29052952/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 4658 0 1 0 23 1 0 0 20 0 18 0 108555264 9787879424 7783 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2389619 7783 2198 9 0 2380296 0
[pid=16551/tid=16552] ppid=16548 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) R 16548 16551 14331 0 -1 4202560 2415 0 1 0 17 0 0 0 20 0 18 0 108555264 9787879424 7783 33554432000 1073741824 1073778376 140734073798992 139724300123040 139724161363280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300283 s]
/proc/loadavg: 4.17 4.04 3.93 4/197 16551
/proc/meminfo: memFree=29052952/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 6032 0 1 0 48 1 0 0 20 0 18 0 108555264 9787879424 9343 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2389619 9343 2231 9 0 2380296 0
[pid=16551/tid=16552] ppid=16548 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) R 16548 16551 14331 0 -1 4202560 2417 0 1 0 26 1 0 0 20 0 18 0 108555264 9787879424 9343 33554432000 1073741824 1073778376 140734073798992 139724300123040 139724161382695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476
[startup+0.700353 s]
/proc/loadavg: 4.17 4.04 3.93 4/197 16551
/proc/meminfo: memFree=29052952/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9558476 CPUtime=1.4 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 13909 0 1 0 135 5 0 0 20 0 18 0 108555264 9787879424 45602 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2389619 45602 2263 9 0 2380296 0
[pid=16551/tid=16552] ppid=16548 vsize=9558476 CPUtime=0.66 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) R 16548 16551 14331 0 -1 4202560 2479 0 1 0 64 2 0 0 20 0 18 0 108555264 9787879424 45602 33554432000 1073741824 1073778376 140734073798992 139724300123528 243768812813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 4.17 4.04 3.93 5/215 16569
/proc/meminfo: memFree=28860664/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9558476 CPUtime=2.58 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 14868 0 1 0 245 13 0 0 20 0 18 0 108555264 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2389619 88277 2263 9 0 2380296 0
[pid=16551/tid=16552] ppid=16548 vsize=9558476 CPUtime=1.39 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) R 16548 16551 14331 0 -1 4202560 2539 0 1 0 134 5 0 0 20 0 18 0 108555264 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724300123256 139724161696700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16554] ppid=16548 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/16551/task/16554/stat : 16554 (java) S 16548 16551 14331 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 18 0 108555265 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724289185960 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16555] ppid=16548 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/16551/task/16555/stat : 16555 (java) S 16548 16551 14331 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 108555265 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724288133416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16556] ppid=16548 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16551/task/16556/stat : 16556 (java) S 16548 16551 14331 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 108555265 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724287080872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16557] ppid=16548 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16551/task/16557/stat : 16557 (java) S 16548 16551 14331 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 18 0 108555265 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724286028328 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16558] ppid=16548 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16551/task/16558/stat : 16558 (java) S 16548 16551 14331 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 108555265 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724284975784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16559] ppid=16548 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16551/task/16559/stat : 16559 (java) S 16548 16551 14331 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 108555265 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724283923240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16560] ppid=16548 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/16551/task/16560/stat : 16560 (java) S 16548 16551 14331 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 18 0 108555265 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724282870696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16561] ppid=16548 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/16551/task/16561/stat : 16561 (java) S 16548 16551 14331 0 -1 4202560 28 0 0 0 4 1 0 0 20 0 18 0 108555265 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724281818152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16562] ppid=16548 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16562/stat : 16562 (java) S 16548 16551 14331 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 108555266 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724124235880 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16563] ppid=16548 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16563/stat : 16563 (java) S 16548 16551 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108555266 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724123182200 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16564] ppid=16548 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16564/stat : 16564 (java) S 16548 16551 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108555267 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724122129544 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16565] ppid=16548 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16565/stat : 16565 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108555269 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724121078288 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16566] ppid=16548 vsize=9558476 CPUtime=0.39 cores=1,3,5,7
/proc/16551/task/16566/stat : 16566 (java) S 16548 16551 14331 0 -1 4202560 4044 0 0 0 39 0 0 0 20 0 18 0 108555269 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724120025656 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16567] ppid=16548 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/16551/task/16567/stat : 16567 (java) S 16548 16551 14331 0 -1 4202560 6700 0 0 0 43 2 0 0 20 0 18 0 108555269 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724118973112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16568] ppid=16548 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16568/stat : 16568 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108555269 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724117920760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16569] ppid=16548 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16569/stat : 16569 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108555269 9787879424 88277 33554432000 1073741824 1073778376 140734073798992 139724116868424 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 9558476
[startup+3.10088 s]
/proc/loadavg: 4.17 4.04 3.93 7/219 16573
/proc/meminfo: memFree=28668324/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9824732 CPUtime=6.22 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 17663 0 1 0 601 21 0 0 20 0 22 0 108555264 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2456183 128918 2281 9 0 2446860 0
[pid=16551/tid=16552] ppid=16548 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) S 16548 16551 14331 0 -1 4202560 2552 0 1 0 183 5 0 0 20 0 22 0 108555264 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724300125048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16554] ppid=16548 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/16551/task/16554/stat : 16554 (java) S 16548 16551 14331 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 22 0 108555265 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724289185960 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16555] ppid=16548 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/16551/task/16555/stat : 16555 (java) S 16548 16551 14331 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 22 0 108555265 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724288133416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16556] ppid=16548 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/16551/task/16556/stat : 16556 (java) S 16548 16551 14331 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 22 0 108555265 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724287080872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16557] ppid=16548 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/16551/task/16557/stat : 16557 (java) S 16548 16551 14331 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 108555265 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724286028328 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16558] ppid=16548 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/16551/task/16558/stat : 16558 (java) S 16548 16551 14331 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 108555265 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724284975784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16559] ppid=16548 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/16551/task/16559/stat : 16559 (java) S 16548 16551 14331 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 22 0 108555265 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724283923240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16560] ppid=16548 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/16551/task/16560/stat : 16560 (java) S 16548 16551 14331 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 22 0 108555265 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724282870696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16561] ppid=16548 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/16551/task/16561/stat : 16561 (java) S 16548 16551 14331 0 -1 4202560 53 0 0 0 5 2 0 0 20 0 22 0 108555265 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724281818152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16562] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16562/stat : 16562 (java) S 16548 16551 14331 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 108555266 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724124235880 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16563] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16563/stat : 16563 (java) S 16548 16551 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108555266 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724123182200 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16564] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16564/stat : 16564 (java) S 16548 16551 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108555267 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724122129544 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16565] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16565/stat : 16565 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108555269 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724121078288 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16566] ppid=16548 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/16551/task/16566/stat : 16566 (java) S 16548 16551 14331 0 -1 4202560 6510 0 0 0 77 2 0 0 20 0 22 0 108555269 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724120025656 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16567] ppid=16548 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/16551/task/16567/stat : 16567 (java) S 16548 16551 14331 0 -1 4202560 6762 0 0 0 89 2 0 0 20 0 22 0 108555269 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724118973112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16568] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16568/stat : 16568 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108555269 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724117920760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16569] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16569/stat : 16569 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108555269 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724116868424 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16570] ppid=16548 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/16551/task/16570/stat : 16570 (java) R 16548 16551 14331 0 -1 4202560 18 0 0 0 103 0 0 0 20 0 22 0 108555468 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724115812616 139724162214121 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16571] ppid=16548 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/16551/task/16571/stat : 16571 (java) R 16548 16551 14331 0 -1 4202560 85 0 0 0 101 2 0 0 20 0 22 0 108555468 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724114759928 139724161770415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16572] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16572/stat : 16572 (java) S 16548 16551 14331 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 108555469 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724113708072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16573] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16573/stat : 16573 (java) S 16548 16551 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108555470 10060525568 128918 33554432000 1073741824 1073778376 140734073798992 139724112655528 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.16 4.04 3.93 5/219 16573
/proc/meminfo: memFree=28368452/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9824732 CPUtime=13.68 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 24863 0 1 0 1336 32 0 0 20 0 22 0 108555264 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2456183 223582 2289 9 0 2446860 0
[pid=16551/tid=16552] ppid=16548 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) S 16548 16551 14331 0 -1 4202560 2552 0 1 0 183 5 0 0 20 0 22 0 108555264 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724300125048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16554] ppid=16548 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16551/task/16554/stat : 16554 (java) S 16548 16551 14331 0 -1 4202560 42 0 0 0 6 2 0 0 20 0 22 0 108555265 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724289185960 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16555] ppid=16548 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16551/task/16555/stat : 16555 (java) S 16548 16551 14331 0 -1 4202560 48 0 0 0 6 2 0 0 20 0 22 0 108555265 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724288133416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16556] ppid=16548 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/16551/task/16556/stat : 16556 (java) S 16548 16551 14331 0 -1 4202560 45 0 0 0 9 2 0 0 20 0 22 0 108555265 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724287080872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16557] ppid=16548 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16551/task/16557/stat : 16557 (java) S 16548 16551 14331 0 -1 4202560 47 0 0 0 6 2 0 0 20 0 22 0 108555265 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724286028328 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16558] ppid=16548 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/16551/task/16558/stat : 16558 (java) S 16548 16551 14331 0 -1 4202560 58 0 0 0 9 3 0 0 20 0 22 0 108555265 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724284975784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16559] ppid=16548 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/16551/task/16559/stat : 16559 (java) S 16548 16551 14331 0 -1 4202560 49 0 0 0 6 3 0 0 20 0 22 0 108555265 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724283923240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16560] ppid=16548 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/16551/task/16560/stat : 16560 (java) S 16548 16551 14331 0 -1 4202560 43 0 0 0 6 3 0 0 20 0 22 0 108555265 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724282870696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16561] ppid=16548 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/16551/task/16561/stat : 16561 (java) S 16548 16551 14331 0 -1 4202560 72 0 0 0 11 2 0 0 20 0 22 0 108555265 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724281818152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16562] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16562/stat : 16562 (java) S 16548 16551 14331 0 -1 4202560 475 0 0 0 0 0 0 0 20 0 22 0 108555266 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724124235880 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16563] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16563/stat : 16563 (java) S 16548 16551 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108555266 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724123182200 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16564] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16564/stat : 16564 (java) S 16548 16551 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108555267 10060525568 223582 33554432000 1073741824 1073778376 140734073798992 139724122129544 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16565] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.18 4.08 3.98 5/219 16663
/proc/meminfo: memFree=27615776/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9824732 CPUtime=1773.98 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 35932 0 1 0 177227 171 0 0 20 0 22 0 108555264 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2456183 517365 2299 9 0 2446860 0
[pid=16551/tid=16552] ppid=16548 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) S 16548 16551 14331 0 -1 4202560 2559 0 1 0 185 7 0 0 20 0 22 0 108555264 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724300125048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16554] ppid=16548 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/16551/task/16554/stat : 16554 (java) S 16548 16551 14331 0 -1 4202560 376 0 0 0 275 9 0 0 20 0 22 0 108555265 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724289185960 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16555] ppid=16548 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/16551/task/16555/stat : 16555 (java) S 16548 16551 14331 0 -1 4202560 369 0 0 0 271 8 0 0 20 0 22 0 108555265 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724288133416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16556] ppid=16548 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/16551/task/16556/stat : 16556 (java) S 16548 16551 14331 0 -1 4202560 395 0 0 0 270 8 0 0 20 0 22 0 108555265 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724287080872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16557] ppid=16548 vsize=9824732 CPUtime=3.17 cores=1,3,5,7
/proc/16551/task/16557/stat : 16557 (java) S 16548 16551 14331 0 -1 4202560 402 0 0 0 308 9 0 0 20 0 22 0 108555265 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724286028328 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16558] ppid=16548 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/16551/task/16558/stat : 16558 (java) S 16548 16551 14331 0 -1 4202560 439 0 0 0 289 9 0 0 20 0 22 0 108555265 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724284975784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16559] ppid=16548 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/16551/task/16559/stat : 16559 (java) S 16548 16551 14331 0 -1 4202560 456 0 0 0 287 10 0 0 20 0 22 0 108555265 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724283923240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16560] ppid=16548 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/16551/task/16560/stat : 16560 (java) S 16548 16551 14331 0 -1 4202560 403 0 0 0 291 10 0 0 20 0 22 0 108555265 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724282870696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16561] ppid=16548 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/16551/task/16561/stat : 16561 (java) S 16548 16551 14331 0 -1 4202560 403 0 0 0 306 9 0 0 20 0 22 0 108555265 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724281818152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16562] ppid=16548 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/16551/task/16562/stat : 16562 (java) S 16548 16551 14331 0 -1 4202560 5756 0 0 0 165 32 0 0 20 0 22 0 108555266 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724124235880 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16563] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16563/stat : 16563 (java) S 16548 16551 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108555266 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724123182200 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16564] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16564/stat : 16564 (java) S 16548 16551 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108555267 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724122129544 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16565] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16565/stat : 16565 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108555269 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724121078288 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16566] ppid=16548 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/16551/task/16566/stat : 16566 (java) S 16548 16551 14331 0 -1 4202560 11291 0 0 0 142 2 0 0 20 0 22 0 108555269 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724120025656 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16567] ppid=16548 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/16551/task/16567/stat : 16567 (java) S 16548 16551 14331 0 -1 4202560 9794 0 0 0 186 3 0 0 20 0 22 0 108555269 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724118973112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16568] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16568/stat : 16568 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108555269 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724117920760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16569] ppid=16548 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/16551/task/16569/stat : 16569 (java) S 16548 16551 14331 0 -1 4202560 50 0 0 0 14 22 0 0 20 0 22 0 108555269 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724116868424 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16570] ppid=16548 vsize=9824732 CPUtime=871.58 cores=1,3,5,7
/proc/16551/task/16570/stat : 16570 (java) R 16548 16551 14331 0 -1 4202560 97 0 0 0 87142 16 0 0 20 0 22 0 108555468 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724115810736 139724161770386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16571] ppid=16548 vsize=9824732 CPUtime=871.55 cores=1,3,5,7
/proc/16551/task/16571/stat : 16571 (java) R 16548 16551 14331 0 -1 4202560 1872 0 0 0 87106 49 0 0 20 0 22 0 108555468 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724114758880 139724162229335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16572] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16572/stat : 16572 (java) S 16548 16551 14331 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 108555469 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724113708072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16573] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16573/stat : 16573 (java) S 16548 16551 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108555470 10060525568 517365 33554432000 1073741824 1073778376 140734073798992 139724112655528 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1773.98
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.301 s]
/proc/loadavg: 4.15 4.08 3.98 5/219 16663
/proc/meminfo: memFree=26998460/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 35945 0 1 0 179834 172 0 0 20 0 22 0 108555264 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2456183 515635 2299 9 0 2446860 0
[pid=16551/tid=16552] ppid=16548 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) S 16548 16551 14331 0 -1 4202560 2559 0 1 0 185 7 0 0 20 0 22 0 108555264 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724300125048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16554] ppid=16548 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/16551/task/16554/stat : 16554 (java) S 16548 16551 14331 0 -1 4202560 376 0 0 0 277 9 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724289185960 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16555] ppid=16548 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/16551/task/16555/stat : 16555 (java) S 16548 16551 14331 0 -1 4202560 371 0 0 0 275 8 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724288133416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16556] ppid=16548 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/16551/task/16556/stat : 16556 (java) S 16548 16551 14331 0 -1 4202560 396 0 0 0 273 8 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724287080872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16557] ppid=16548 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/16551/task/16557/stat : 16557 (java) S 16548 16551 14331 0 -1 4202560 404 0 0 0 311 9 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724286028328 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16558] ppid=16548 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/16551/task/16558/stat : 16558 (java) S 16548 16551 14331 0 -1 4202560 439 0 0 0 291 9 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724284975784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16559] ppid=16548 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/16551/task/16559/stat : 16559 (java) S 16548 16551 14331 0 -1 4202560 458 0 0 0 291 10 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724283923240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16560] ppid=16548 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/16551/task/16560/stat : 16560 (java) S 16548 16551 14331 0 -1 4202560 406 0 0 0 295 10 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724282870696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16561] ppid=16548 vsize=9824732 CPUtime=3.18 cores=1,3,5,7
/proc/16551/task/16561/stat : 16561 (java) S 16548 16551 14331 0 -1 4202560 403 0 0 0 309 9 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724281818152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16562] ppid=16548 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/16551/task/16562/stat : 16562 (java) S 16548 16551 14331 0 -1 4202560 5756 0 0 0 165 33 0 0 20 0 22 0 108555266 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724124235880 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16563] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16563/stat : 16563 (java) S 16548 16551 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108555266 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724123182200 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16564] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16564/stat : 16564 (java) S 16548 16551 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108555267 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724122129544 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16565] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16565/stat : 16565 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724121078288 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16566] ppid=16548 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/16551/task/16566/stat : 16566 (java) S 16548 16551 14331 0 -1 4202560 11291 0 0 0 142 2 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724120025656 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16567] ppid=16548 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/16551/task/16567/stat : 16567 (java) S 16548 16551 14331 0 -1 4202560 9794 0 0 0 186 3 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724118973112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16568] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16568/stat : 16568 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724117920760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16569] ppid=16548 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/16551/task/16569/stat : 16569 (java) S 16548 16551 14331 0 -1 4202560 50 0 0 0 14 22 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724116868424 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16570] ppid=16548 vsize=9824732 CPUtime=884.51 cores=1,3,5,7
/proc/16551/task/16570/stat : 16570 (java) R 16548 16551 14331 0 -1 4202560 98 0 0 0 88435 16 0 0 20 0 22 0 108555468 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724115811376 139724161770407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16571] ppid=16548 vsize=9824732 CPUtime=884.46 cores=1,3,5,7
/proc/16551/task/16571/stat : 16571 (java) R 16548 16551 14331 0 -1 4202560 1874 0 0 0 88397 49 0 0 20 0 22 0 108555468 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724114758064 139724162516612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16572] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16572/stat : 16572 (java) S 16548 16551 14331 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 108555469 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724113708072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16573] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16573/stat : 16573 (java) S 16548 16551 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108555470 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724112655528 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 16551 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+895.301 s]
/proc/loadavg: 4.15 4.08 3.98 5/219 16663
/proc/meminfo: memFree=26998460/32872528 swapFree=9100/9100
[pid=16551] ppid=16548 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/16551/stat : 16551 (java) S 16548 16551 14331 0 -1 4202496 35945 0 1 0 179834 172 0 0 20 0 22 0 108555264 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 140734073790128 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16551/statm: 2456183 515635 2299 9 0 2446860 0
[pid=16551/tid=16552] ppid=16548 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/16551/task/16552/stat : 16552 (java) S 16548 16551 14331 0 -1 4202560 2559 0 1 0 185 7 0 0 20 0 22 0 108555264 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724300125048 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16554] ppid=16548 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/16551/task/16554/stat : 16554 (java) S 16548 16551 14331 0 -1 4202560 376 0 0 0 277 9 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724289185960 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16555] ppid=16548 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/16551/task/16555/stat : 16555 (java) S 16548 16551 14331 0 -1 4202560 371 0 0 0 275 8 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724288133416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16556] ppid=16548 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/16551/task/16556/stat : 16556 (java) S 16548 16551 14331 0 -1 4202560 396 0 0 0 273 8 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724287080872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16557] ppid=16548 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/16551/task/16557/stat : 16557 (java) S 16548 16551 14331 0 -1 4202560 404 0 0 0 311 9 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724286028328 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16558] ppid=16548 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/16551/task/16558/stat : 16558 (java) S 16548 16551 14331 0 -1 4202560 439 0 0 0 291 9 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724284975784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16559] ppid=16548 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/16551/task/16559/stat : 16559 (java) S 16548 16551 14331 0 -1 4202560 458 0 0 0 291 10 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724283923240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16560] ppid=16548 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/16551/task/16560/stat : 16560 (java) S 16548 16551 14331 0 -1 4202560 406 0 0 0 295 10 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724282870696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16561] ppid=16548 vsize=9824732 CPUtime=3.18 cores=1,3,5,7
/proc/16551/task/16561/stat : 16561 (java) S 16548 16551 14331 0 -1 4202560 403 0 0 0 309 9 0 0 20 0 22 0 108555265 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724281818152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16562] ppid=16548 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/16551/task/16562/stat : 16562 (java) S 16548 16551 14331 0 -1 4202560 5756 0 0 0 165 33 0 0 20 0 22 0 108555266 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724124235880 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16563] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16563/stat : 16563 (java) S 16548 16551 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108555266 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724123182200 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16564] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16564/stat : 16564 (java) S 16548 16551 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108555267 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724122129544 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16565] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16565/stat : 16565 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724121078288 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16551/tid=16566] ppid=16548 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/16551/task/16566/stat : 16566 (java) S 16548 16551 14331 0 -1 4202560 11291 0 0 0 142 2 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724120025656 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16567] ppid=16548 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/16551/task/16567/stat : 16567 (java) S 16548 16551 14331 0 -1 4202560 9794 0 0 0 186 3 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724118973112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16568] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16568/stat : 16568 (java) S 16548 16551 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724117920760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16551/tid=16569] ppid=16548 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/16551/task/16569/stat : 16569 (java) S 16548 16551 14331 0 -1 4202560 50 0 0 0 14 22 0 0 20 0 22 0 108555269 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724116868424 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16570] ppid=16548 vsize=9824732 CPUtime=884.51 cores=1,3,5,7
/proc/16551/task/16570/stat : 16570 (java) R 16548 16551 14331 0 -1 4202560 98 0 0 0 88435 16 0 0 20 0 22 0 108555468 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724115811376 139724161770407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16571] ppid=16548 vsize=9824732 CPUtime=884.46 cores=1,3,5,7
/proc/16551/task/16571/stat : 16571 (java) R 16548 16551 14331 0 -1 4202560 1874 0 0 0 88397 49 0 0 20 0 22 0 108555468 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724114758064 139724162516612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16551/tid=16572] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16572/stat : 16572 (java) S 16548 16551 14331 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 108555469 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724113708072 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16551/tid=16573] ppid=16548 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16551/task/16573/stat : 16573 (java) S 16548 16551 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108555470 10060525568 515635 33554432000 1073741824 1073778376 140734073798992 139724112655528 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 895.375
CPU time (s): 1800.94
CPU user time (s): 1798.73
CPU system time (s): 2.21066
CPU usage (%): 201.138
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 2.21066
maximum resident set size= 2824588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35980
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31617
involuntary context switches= 47151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.20551 second user time and 3.68944 second system time
The end