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-4080525-1465280585/watcher-4080525-1465280585 -o /tmp/evaluation-result-4080525-1465280585/solver-4080525-1465280585 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465279688-19204 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080525-1465280585.opb
pid=19343
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.02 3.95 3.68 4/197 19346
/proc/meminfo: memFree=28013616/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/19346/stat : 19346 (java) R 19343 19346 14331 0 -1 4202496 379 0 0 0 0 0 0 0 20 0 1 0 109989639 3653632 49 33554432000 1073741824 1073778376 140736459143456 140736459140584 243756264743 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 1408 52 41 9 0 30 0
[startup+0.100182 s]
/proc/loadavg: 4.02 3.95 3.68 4/197 19346
/proc/meminfo: memFree=28013616/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 4466 0 1 0 8 1 0 0 20 0 18 0 109989639 9787879424 5591 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2389619 5591 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200281 s]
/proc/loadavg: 4.02 3.95 3.68 4/197 19346
/proc/meminfo: memFree=28013616/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 6631 0 1 0 25 2 0 0 20 0 18 0 109989639 9787879424 8107 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2389619 8107 2208 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300289 s]
/proc/loadavg: 4.02 3.95 3.68 4/197 19346
/proc/meminfo: memFree=28013616/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 7389 0 1 0 53 2 0 0 20 0 18 0 109989639 9787879424 10779 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2389619 10779 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476
[startup+0.700248 s]
/proc/loadavg: 4.02 3.95 3.68 4/197 19346
/proc/meminfo: memFree=28013616/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9558476 CPUtime=1.59 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 21570 0 1 0 153 6 0 0 20 0 18 0 109989639 9787879424 40801 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2389619 40801 2251 9 0 2380296 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 4.02 3.95 3.68 7/215 19433
/proc/meminfo: memFree=31553364/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9824732 CPUtime=4.65 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 26635 0 1 0 456 9 0 0 20 0 22 0 109989639 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2456183 51532 2283 9 0 2446860 0
[pid=19346/tid=19348] ppid=19343 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/19346/task/19348/stat : 19348 (java) S 19343 19346 14331 0 -1 4202560 2531 0 1 0 76 2 0 0 20 0 22 0 109989640 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681656832888 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19349] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19349/stat : 19349 (java) S 19343 19346 14331 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681500838696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19350] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19350/stat : 19350 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681499785896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19351] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19351/stat : 19351 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681498733608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19352] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19352/stat : 19352 (java) S 19343 19346 14331 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681497680808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19353] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19353/stat : 19353 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681496627496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19354] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19354/stat : 19354 (java) S 19343 19346 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681495574696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19355] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19355/stat : 19355 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681494522408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19356] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19356/stat : 19356 (java) S 19343 19346 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681493469608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19357] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19357/stat : 19357 (java) S 19343 19346 14331 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109989642 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681481059048 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19358] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19358/stat : 19358 (java) S 19343 19346 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681480005112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19359] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19359/stat : 19359 (java) S 19343 19346 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681478952712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19360] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19360/stat : 19360 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681477901200 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19361] ppid=19343 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/19346/task/19361/stat : 19361 (java) R 19343 19346 14331 0 -1 4202560 11003 0 0 0 123 2 0 0 20 0 22 0 109989645 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681476835328 140681663819219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19362] ppid=19343 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/19346/task/19362/stat : 19362 (java) R 19343 19346 14331 0 -1 4202560 11656 0 0 0 119 3 0 0 20 0 22 0 109989645 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681475795000 140681662981538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19363] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19363/stat : 19363 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681474742904 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19364] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19364/stat : 19364 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681473690312 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19402] ppid=19343 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/19346/task/19402/stat : 19402 (java) R 19343 19346 14331 0 -1 4202560 19 0 0 0 65 0 0 0 20 0 22 0 109989721 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681472635592 140681529813056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19403] ppid=19343 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/19346/task/19403/stat : 19403 (java) R 19343 19346 14331 0 -1 4202560 38 0 0 0 65 0 0 0 20 0 22 0 109989721 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681471552432 140681528695375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19405] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19405/stat : 19405 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681470531240 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19406] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19406/stat : 19406 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 51532 33554432000 1073741824 1073778376 140736459143456 140681469478440 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 9824732
[startup+3.10085 s]
/proc/loadavg: 4.02 3.95 3.68 7/219 19437
/proc/meminfo: memFree=31402424/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9824732 CPUtime=8.57 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 31333 0 1 0 847 10 0 0 20 0 22 0 109989639 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2456183 51645 2288 9 0 2446860 0
[pid=19346/tid=19348] ppid=19343 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/19346/task/19348/stat : 19348 (java) S 19343 19346 14331 0 -1 4202560 2531 0 1 0 76 2 0 0 20 0 22 0 109989640 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681656832888 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19349] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19349/stat : 19349 (java) S 19343 19346 14331 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681500838696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19350] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19350/stat : 19350 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681499785896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19351] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19351/stat : 19351 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681498733608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19352] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19352/stat : 19352 (java) S 19343 19346 14331 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681497680808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19353] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19353/stat : 19353 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681496627496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19354] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19354/stat : 19354 (java) S 19343 19346 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681495574696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19355] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19355/stat : 19355 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681494522408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19356] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19356/stat : 19356 (java) S 19343 19346 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681493469608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19357] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19357/stat : 19357 (java) S 19343 19346 14331 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109989642 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681481059048 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19358] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19358/stat : 19358 (java) S 19343 19346 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681480005112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19359] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19359/stat : 19359 (java) S 19343 19346 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681478952712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19360] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19360/stat : 19360 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681477901200 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19361] ppid=19343 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/19346/task/19361/stat : 19361 (java) S 19343 19346 14331 0 -1 4202560 11036 0 0 0 156 3 0 0 20 0 22 0 109989645 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681476847800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19362] ppid=19343 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/19346/task/19362/stat : 19362 (java) S 19343 19346 14331 0 -1 4202560 16321 0 0 0 159 4 0 0 20 0 22 0 109989645 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681475795000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19363] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19363/stat : 19363 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681474742904 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19364] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19364/stat : 19364 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681473690312 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19402] ppid=19343 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/19346/task/19402/stat : 19402 (java) R 19343 19346 14331 0 -1 4202560 19 0 0 0 225 0 0 0 20 0 22 0 109989721 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681472635672 140681529911302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19403] ppid=19343 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/19346/task/19403/stat : 19403 (java) R 19343 19346 14331 0 -1 4202560 38 0 0 0 223 0 0 0 20 0 22 0 109989721 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681471582488 140681530106443 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19405] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19405/stat : 19405 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681470531240 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19406] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19406/stat : 19406 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 51645 33554432000 1073741824 1073778376 140736459143456 140681469478440 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.57
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.01 3.95 3.68 5/219 19437
/proc/meminfo: memFree=31183888/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9824732 CPUtime=15.38 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 31613 0 1 0 1520 18 0 0 20 0 22 0 109989639 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2456183 90235 2292 9 0 2446860 0
[pid=19346/tid=19348] ppid=19343 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/19346/task/19348/stat : 19348 (java) S 19343 19346 14331 0 -1 4202560 2531 0 1 0 76 2 0 0 20 0 22 0 109989640 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681656832888 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19349] ppid=19343 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19346/task/19349/stat : 19349 (java) S 19343 19346 14331 0 -1 4202560 31 0 0 0 1 2 0 0 20 0 22 0 109989641 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681500838696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19350] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19350/stat : 19350 (java) S 19343 19346 14331 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681499785896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19351] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19351/stat : 19351 (java) S 19343 19346 14331 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681498733608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19352] ppid=19343 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19346/task/19352/stat : 19352 (java) S 19343 19346 14331 0 -1 4202560 22 0 0 0 1 1 0 0 20 0 22 0 109989641 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681497680808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19353] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19353/stat : 19353 (java) S 19343 19346 14331 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109989641 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681496627496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19354] ppid=19343 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19346/task/19354/stat : 19354 (java) S 19343 19346 14331 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 22 0 109989641 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681495574696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19355] ppid=19343 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19346/task/19355/stat : 19355 (java) S 19343 19346 14331 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 109989641 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681494522408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19356] ppid=19343 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19346/task/19356/stat : 19356 (java) S 19343 19346 14331 0 -1 4202560 26 0 0 0 1 2 0 0 20 0 22 0 109989641 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681493469608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19357] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19357/stat : 19357 (java) S 19343 19346 14331 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 109989642 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681481059048 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19358] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19358/stat : 19358 (java) S 19343 19346 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681480005112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19359] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19359/stat : 19359 (java) S 19343 19346 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681478952712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19360] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19360/stat : 19360 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 90235 33554432000 1073741824 1073778376 140736459143456 140681477901200 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19361] ppid=19343 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.95 3.98 3.84 5/219 19456
/proc/meminfo: memFree=24268168/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9824732 CPUtime=1648.67 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 41701 0 1 0 164629 238 0 0 20 0 22 0 109989639 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2456183 900106 2301 9 0 2446860 0
[pid=19346/tid=19348] ppid=19343 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/19346/task/19348/stat : 19348 (java) S 19343 19346 14331 0 -1 4202560 2540 0 1 0 78 4 0 0 20 0 22 0 109989640 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681656832888 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19349] ppid=19343 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/19346/task/19349/stat : 19349 (java) S 19343 19346 14331 0 -1 4202560 547 0 0 0 104 18 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681500838696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19350] ppid=19343 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/19346/task/19350/stat : 19350 (java) S 19343 19346 14331 0 -1 4202560 534 0 0 0 123 18 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681499785896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19351] ppid=19343 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/19346/task/19351/stat : 19351 (java) S 19343 19346 14331 0 -1 4202560 529 0 0 0 124 23 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681498733608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19352] ppid=19343 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/19346/task/19352/stat : 19352 (java) S 19343 19346 14331 0 -1 4202560 652 0 0 0 130 25 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681497680808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19353] ppid=19343 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/19346/task/19353/stat : 19353 (java) S 19343 19346 14331 0 -1 4202560 487 0 0 0 121 20 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681496627496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19354] ppid=19343 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/19346/task/19354/stat : 19354 (java) S 19343 19346 14331 0 -1 4202560 593 0 0 0 125 23 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681495574696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19355] ppid=19343 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/19346/task/19355/stat : 19355 (java) S 19343 19346 14331 0 -1 4202560 514 0 0 0 113 22 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681494522408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19356] ppid=19343 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/19346/task/19356/stat : 19356 (java) S 19343 19346 14331 0 -1 4202560 544 0 0 0 98 21 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681493469608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19357] ppid=19343 vsize=9824732 CPUtime=4.27 cores=1,3,5,7
/proc/19346/task/19357/stat : 19357 (java) S 19343 19346 14331 0 -1 4202560 2464 0 0 0 422 5 0 0 20 0 22 0 109989642 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681481059048 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19358] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19358/stat : 19358 (java) S 19343 19346 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681480005112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19359] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19359/stat : 19359 (java) S 19343 19346 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681478952712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19360] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19360/stat : 19360 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681477901200 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19361] ppid=19343 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/19346/task/19361/stat : 19361 (java) S 19343 19346 14331 0 -1 4202560 12286 0 0 0 234 3 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681476847800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19362] ppid=19343 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19346/task/19362/stat : 19362 (java) S 19343 19346 14331 0 -1 4202560 16324 0 0 0 169 4 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681475795000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19363] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19363/stat : 19363 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681474742904 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19364] ppid=19343 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/19346/task/19364/stat : 19364 (java) S 19343 19346 14331 0 -1 4202560 47 0 0 0 11 19 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681473690312 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19402] ppid=19343 vsize=9824732 CPUtime=814.23 cores=1,3,5,7
/proc/19346/task/19402/stat : 19402 (java) R 19343 19346 14331 0 -1 4202560 44 0 0 0 81408 15 0 0 20 0 22 0 109989721 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681472626960 140681529760230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19403] ppid=19343 vsize=9824732 CPUtime=814.02 cores=1,3,5,7
/proc/19346/task/19403/stat : 19403 (java) R 19343 19346 14331 0 -1 4202560 2330 0 0 0 81351 51 0 0 20 0 22 0 109989721 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681471580832 140681529402687 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19405] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19405/stat : 19405 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681470531240 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19406] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19406/stat : 19406 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681469478440 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1648.67
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 3.98 3.98 3.85 5/219 19457
/proc/meminfo: memFree=24267636/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9824732 CPUtime=1768.68 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 41705 0 1 0 176629 239 0 0 20 0 22 0 109989639 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2456183 900106 2301 9 0 2446860 0
[pid=19346/tid=19348] ppid=19343 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/19346/task/19348/stat : 19348 (java) S 19343 19346 14331 0 -1 4202560 2540 0 1 0 78 4 0 0 20 0 22 0 109989640 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681656832888 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19349] ppid=19343 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/19346/task/19349/stat : 19349 (java) S 19343 19346 14331 0 -1 4202560 547 0 0 0 104 18 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681500838696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19350] ppid=19343 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/19346/task/19350/stat : 19350 (java) S 19343 19346 14331 0 -1 4202560 534 0 0 0 123 18 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681499785896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19351] ppid=19343 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/19346/task/19351/stat : 19351 (java) S 19343 19346 14331 0 -1 4202560 529 0 0 0 124 23 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681498733608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19352] ppid=19343 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/19346/task/19352/stat : 19352 (java) S 19343 19346 14331 0 -1 4202560 652 0 0 0 130 25 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681497680808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19353] ppid=19343 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/19346/task/19353/stat : 19353 (java) S 19343 19346 14331 0 -1 4202560 487 0 0 0 121 20 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681496627496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19354] ppid=19343 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/19346/task/19354/stat : 19354 (java) S 19343 19346 14331 0 -1 4202560 593 0 0 0 125 23 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681495574696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19355] ppid=19343 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/19346/task/19355/stat : 19355 (java) S 19343 19346 14331 0 -1 4202560 514 0 0 0 113 22 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681494522408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19356] ppid=19343 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/19346/task/19356/stat : 19356 (java) S 19343 19346 14331 0 -1 4202560 544 0 0 0 98 21 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681493469608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19357] ppid=19343 vsize=9824732 CPUtime=4.27 cores=1,3,5,7
/proc/19346/task/19357/stat : 19357 (java) S 19343 19346 14331 0 -1 4202560 2464 0 0 0 422 5 0 0 20 0 22 0 109989642 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681481059048 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19358] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19358/stat : 19358 (java) S 19343 19346 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681480005112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19359] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19359/stat : 19359 (java) S 19343 19346 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681478952712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19360] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19360/stat : 19360 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681477901200 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19361] ppid=19343 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/19346/task/19361/stat : 19361 (java) S 19343 19346 14331 0 -1 4202560 12286 0 0 0 234 3 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681476847800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19362] ppid=19343 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19346/task/19362/stat : 19362 (java) S 19343 19346 14331 0 -1 4202560 16324 0 0 0 169 4 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681475795000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19363] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19363/stat : 19363 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681474742904 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19364] ppid=19343 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/19346/task/19364/stat : 19364 (java) S 19343 19346 14331 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681473690312 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19402] ppid=19343 vsize=9824732 CPUtime=874.24 cores=1,3,5,7
/proc/19346/task/19402/stat : 19402 (java) R 19343 19346 14331 0 -1 4202560 44 0 0 0 87408 16 0 0 20 0 22 0 109989721 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681472626960 140681529866176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19403] ppid=19343 vsize=9824732 CPUtime=874.03 cores=1,3,5,7
/proc/19346/task/19403/stat : 19403 (java) R 19343 19346 14331 0 -1 4202560 2330 0 0 0 87351 52 0 0 20 0 22 0 109989721 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681471580832 140681529523574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19405] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19405/stat : 19405 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681470531240 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19406] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19406/stat : 19406 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681469478440 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1768.68
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.001 s]
/proc/loadavg: 3.98 3.98 3.85 6/215 19522
/proc/meminfo: memFree=27982248/32872528 swapFree=9100/9100
[pid=19346] ppid=19343 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/19346/stat : 19346 (java) S 19343 19346 14331 0 -1 4202496 41705 0 1 0 179767 239 0 0 20 0 22 0 109989639 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140736459134592 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19346/statm: 2456183 900106 2301 9 0 2446860 0
[pid=19346/tid=19348] ppid=19343 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/19346/task/19348/stat : 19348 (java) S 19343 19346 14331 0 -1 4202560 2540 0 1 0 78 4 0 0 20 0 22 0 109989640 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681656832888 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19349] ppid=19343 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/19346/task/19349/stat : 19349 (java) S 19343 19346 14331 0 -1 4202560 547 0 0 0 104 18 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681500838696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19350] ppid=19343 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/19346/task/19350/stat : 19350 (java) S 19343 19346 14331 0 -1 4202560 534 0 0 0 123 18 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681499785896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19351] ppid=19343 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/19346/task/19351/stat : 19351 (java) S 19343 19346 14331 0 -1 4202560 529 0 0 0 124 23 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681498733608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19352] ppid=19343 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/19346/task/19352/stat : 19352 (java) S 19343 19346 14331 0 -1 4202560 652 0 0 0 130 25 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681497680808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19353] ppid=19343 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/19346/task/19353/stat : 19353 (java) S 19343 19346 14331 0 -1 4202560 487 0 0 0 121 20 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681496627496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19354] ppid=19343 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/19346/task/19354/stat : 19354 (java) S 19343 19346 14331 0 -1 4202560 593 0 0 0 125 23 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681495574696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19355] ppid=19343 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/19346/task/19355/stat : 19355 (java) S 19343 19346 14331 0 -1 4202560 514 0 0 0 113 22 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681494522408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19356] ppid=19343 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/19346/task/19356/stat : 19356 (java) S 19343 19346 14331 0 -1 4202560 544 0 0 0 98 21 0 0 20 0 22 0 109989641 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681493469608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19357] ppid=19343 vsize=9824732 CPUtime=4.27 cores=1,3,5,7
/proc/19346/task/19357/stat : 19357 (java) S 19343 19346 14331 0 -1 4202560 2464 0 0 0 422 5 0 0 20 0 22 0 109989642 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681481059048 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19358] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19358/stat : 19358 (java) S 19343 19346 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681480005112 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19359] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19359/stat : 19359 (java) S 19343 19346 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109989643 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681478952712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19360] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19360/stat : 19360 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681477901200 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19361] ppid=19343 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/19346/task/19361/stat : 19361 (java) S 19343 19346 14331 0 -1 4202560 12286 0 0 0 234 3 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681476847800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19362] ppid=19343 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19346/task/19362/stat : 19362 (java) S 19343 19346 14331 0 -1 4202560 16324 0 0 0 169 4 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681475795000 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19346/tid=19363] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19363/stat : 19363 (java) S 19343 19346 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681474742904 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19364] ppid=19343 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/19346/task/19364/stat : 19364 (java) S 19343 19346 14331 0 -1 4202560 51 0 0 0 13 20 0 0 20 0 22 0 109989645 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681473690312 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19346/tid=19402] ppid=19343 vsize=9824732 CPUtime=889.93 cores=1,3,5,7
/proc/19346/task/19402/stat : 19402 (java) R 19343 19346 14331 0 -1 4202560 44 0 0 0 88977 16 0 0 20 0 22 0 109989721 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681472626960 140681529899476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19346/tid=19403] ppid=19343 vsize=9824732 CPUtime=889.72 cores=1,3,5,7
/proc/19346/task/19403/stat : 19403 (java) R 19343 19346 14331 0 -1 4202560 2330 0 0 0 88920 52 0 0 20 0 22 0 109989721 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681471580832 140681529869639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19405] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19405/stat : 19405 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681470531240 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19346/tid=19406] ppid=19343 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19346/task/19406/stat : 19406 (java) S 19343 19346 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109989724 10060525568 900106 33554432000 1073741824 1073778376 140736459143456 140681469478440 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 19346 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.091
CPU time (s): 1800.74
CPU user time (s): 1797.83
CPU system time (s): 2.91356
CPU usage (%): 200.508
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.83
system time used= 2.91356
maximum resident set size= 3600540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41741
page faults= 1
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22728
involuntary context switches= 19252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38118 second user time and 7.66483 second system time
The end