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-4106602-1466273575/watcher-4106602-1466273575 -o /tmp/evaluation-result-4106602-1466273575/solver-4106602-1466273575 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3637 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106602-1466273575.opb
pid=9480
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.28 4.27 3.92 4/197 9483
/proc/meminfo: memFree=27208984/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 1295 0 0 0 0 0 0 0 20 0 2 0 29404290 95129600 927 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 23225 927 703 9 0 16769 0
[pid=9483/tid=9484] ppid=9480 vsize=94176 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) R 9480 9483 3621 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 2 0 29404290 96436224 939 33554432000 1073741824 1073778376 140734444560272 140629889670696 214360485674 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 4.28 4.27 3.92 4/197 9483
/proc/meminfo: memFree=27208984/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 4446 0 1 0 9 1 0 0 20 0 18 0 29404290 9787879424 6077 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2389619 6078 2141 9 0 2380296 0
[pid=9483/tid=9484] ppid=9480 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) R 9480 9483 3621 0 -1 4202560 2385 0 1 0 6 1 0 0 20 0 18 0 29404290 9787879424 6078 33554432000 1073741824 1073778376 140734444560272 140629889674144 214373033229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200367 s]
/proc/loadavg: 4.28 4.27 3.92 4/197 9483
/proc/meminfo: memFree=27208984/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 4720 0 1 0 24 2 0 0 20 0 18 0 29404290 9787879424 7325 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2389619 7325 2214 9 0 2380296 0
[pid=9483/tid=9484] ppid=9480 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) R 9480 9483 3621 0 -1 4202560 2407 0 1 0 16 1 0 0 20 0 18 0 29404290 9787879424 7325 33554432000 1073741824 1073778376 140734444560272 140629889674144 140629728373820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300268 s]
/proc/loadavg: 4.28 4.27 3.92 4/197 9483
/proc/meminfo: memFree=27208984/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 6177 0 1 0 48 2 0 0 20 0 18 0 29404290 9787879424 9402 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2389619 9402 2245 9 0 2380296 0
[pid=9483/tid=9484] ppid=9480 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) R 9480 9483 3621 0 -1 4202560 2411 0 1 0 26 1 0 0 20 0 18 0 29404290 9787879424 9402 33554432000 1073741824 1073778376 140734444560272 140629889674144 140629728421121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.70022 s]
/proc/loadavg: 4.28 4.27 3.92 4/197 9483
/proc/meminfo: memFree=27208984/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9558476 CPUtime=1.64 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 23714 0 1 0 157 7 0 0 20 0 18 0 29404290 9787879424 27416 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2389619 27416 2256 9 0 2380296 0
[pid=9483/tid=9484] ppid=9480 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) R 9480 9483 3621 0 -1 4202560 2430 0 1 0 65 2 0 0 20 0 18 0 29404290 9787879424 27416 33554432000 1073741824 1073778376 140734444560272 140629889674144 140629728409127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558476
[startup+1.50072 s]
/proc/loadavg: 4.34 4.28 3.93 6/215 9501
/proc/meminfo: memFree=27036608/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 40316 0 1 0 406 11 0 0 20 0 22 0 29404290 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2456183 57404 2261 9 0 2446860 0
[pid=9483/tid=9484] ppid=9480 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) S 9480 9483 3621 0 -1 4202560 2483 0 1 0 128 4 0 0 20 0 22 0 29404290 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629889676152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9486] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9486/stat : 9486 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404291 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629851167400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9487] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9487/stat : 9487 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404291 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629850114856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9488] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9488/stat : 9488 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404291 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629849062312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9489] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9489/stat : 9489 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404291 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629848009768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9490] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9490/stat : 9490 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404291 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629846956200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9491] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9491/stat : 9491 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404291 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629728291112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9492] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9492/stat : 9492 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404291 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629727238568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9493] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9493/stat : 9493 (java) S 9480 9483 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29404291 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629726186024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9494] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9494/stat : 9494 (java) S 9480 9483 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29404292 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629713775208 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9495] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9495/stat : 9495 (java) S 9480 9483 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629712721528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9496] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9496/stat : 9496 (java) S 9480 9483 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629107533448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9497] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9497/stat : 9497 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629106482192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9498] ppid=9480 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/9483/task/9498/stat : 9498 (java) R 9480 9483 3621 0 -1 4202560 18458 0 0 0 120 5 0 0 20 0 22 0 29404295 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629105415512 140629893793317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9499] ppid=9480 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/9483/task/9499/stat : 9499 (java) R 9480 9483 3621 0 -1 4202560 18063 0 0 0 124 3 0 0 20 0 22 0 29404295 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629104362912 140629892404413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9500] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9500/stat : 9500 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629103323640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9501] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9501/stat : 9501 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 57404 33554432000 1073741824 1073778376 140734444560272 140629102271304 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 9824732
[startup+3.10078 s]
/proc/loadavg: 4.34 4.28 3.93 3/216 9508
/proc/meminfo: memFree=26929732/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9824732 CPUtime=6.41 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 40610 0 1 0 617 24 0 0 20 0 22 0 29404290 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2456183 71895 2285 9 0 2446860 0
[pid=9483/tid=9484] ppid=9480 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) S 9480 9483 3621 0 -1 4202560 2486 0 1 0 130 4 0 0 20 0 22 0 29404290 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629889676152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9486] ppid=9480 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9483/task/9486/stat : 9486 (java) S 9480 9483 3621 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 29404291 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629851167400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9487] ppid=9480 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9483/task/9487/stat : 9487 (java) S 9480 9483 3621 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 29404291 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629850114856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9488] ppid=9480 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9483/task/9488/stat : 9488 (java) S 9480 9483 3621 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 29404291 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629849062312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9489] ppid=9480 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9483/task/9489/stat : 9489 (java) S 9480 9483 3621 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 29404291 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629848009768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9490] ppid=9480 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9483/task/9490/stat : 9490 (java) S 9480 9483 3621 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 29404291 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629846956200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9491] ppid=9480 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9483/task/9491/stat : 9491 (java) S 9480 9483 3621 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 29404291 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629728291112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9492] ppid=9480 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9483/task/9492/stat : 9492 (java) S 9480 9483 3621 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 29404291 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629727238568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9493] ppid=9480 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9483/task/9493/stat : 9493 (java) S 9480 9483 3621 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 29404291 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629726186024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9494] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9494/stat : 9494 (java) S 9480 9483 3621 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 29404292 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629713775208 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9495] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9495/stat : 9495 (java) S 9480 9483 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629712721528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9496] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9496/stat : 9496 (java) S 9480 9483 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629107533448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9497] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9497/stat : 9497 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629106482192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9498] ppid=9480 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/9483/task/9498/stat : 9498 (java) R 9480 9483 3621 0 -1 4202560 18508 0 0 0 162 5 0 0 20 0 22 0 29404295 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629105428416 140629895878951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9499] ppid=9480 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/9483/task/9499/stat : 9499 (java) R 9480 9483 3621 0 -1 4202560 18065 0 0 0 171 3 0 0 20 0 22 0 29404295 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629104376016 140629895638195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9500] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9500/stat : 9500 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629103323640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9501] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9501/stat : 9501 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629102271304 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9504] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9504/stat : 9504 (java) S 9480 9483 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29404430 10060525568 71895 33554432000 1073741824 1073778376 140734444560272 140629099111976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 4.34 4.28 3.93 6/219 9514
/proc/meminfo: memFree=26910500/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9824732 CPUtime=13.01 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 41018 0 1 0 1274 27 0 0 20 0 22 0 29404290 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2456183 76435 2289 9 0 2446860 0
[pid=9483/tid=9484] ppid=9480 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) S 9480 9483 3621 0 -1 4202560 2488 0 1 0 131 4 0 0 20 0 22 0 29404290 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629889676152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9486] ppid=9480 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9483/task/9486/stat : 9486 (java) S 9480 9483 3621 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 29404291 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629851167400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9487] ppid=9480 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9483/task/9487/stat : 9487 (java) S 9480 9483 3621 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 22 0 29404291 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629850114856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9488] ppid=9480 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9483/task/9488/stat : 9488 (java) S 9480 9483 3621 0 -1 4202560 46 0 0 0 2 0 0 0 20 0 22 0 29404291 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629849062312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9489] ppid=9480 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/9483/task/9489/stat : 9489 (java) S 9480 9483 3621 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 29404291 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629848009768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9490] ppid=9480 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9483/task/9490/stat : 9490 (java) S 9480 9483 3621 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 29404291 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629846956200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9491] ppid=9480 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9483/task/9491/stat : 9491 (java) S 9480 9483 3621 0 -1 4202560 119 0 0 0 2 1 0 0 20 0 22 0 29404291 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629728291112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9492] ppid=9480 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9483/task/9492/stat : 9492 (java) S 9480 9483 3621 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 29404291 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629727238568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9493] ppid=9480 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/9483/task/9493/stat : 9493 (java) S 9480 9483 3621 0 -1 4202560 238 0 0 0 6 1 0 0 20 0 22 0 29404291 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629726186024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9494] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9494/stat : 9494 (java) S 9480 9483 3621 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 29404292 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629713775208 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9495] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9495/stat : 9495 (java) S 9480 9483 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629712721528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9496] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9496/stat : 9496 (java) S 9480 9483 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629107533448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9497] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9497/stat : 9497 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629106482192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9498] ppid=9480 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/9483/task/9498/stat : 9498 (java) S 9480 9483 3621 0 -1 4202560 18508 0 0 0 176 5 0 0 20 0 22 0 29404295 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629105428536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9499] ppid=9480 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/9483/task/9499/stat : 9499 (java) S 9480 9483 3621 0 -1 4202560 18069 0 0 0 177 3 0 0 20 0 22 0 29404295 10060525568 76435 33554432000 1073741824 1073778376 140734444560272 140629104375992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9500] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.26 4.29 4.12 6/219 9625
/proc/meminfo: memFree=23691004/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9824732 CPUtime=1652.51 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 53676 0 1 0 165021 230 0 0 20 0 22 0 29404290 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2456183 963344 2304 9 0 2446860 0
[pid=9483/tid=9484] ppid=9480 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) S 9480 9483 3621 0 -1 4202560 2502 0 1 0 133 6 0 0 20 0 22 0 29404290 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629889676152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9486] ppid=9480 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/9483/task/9486/stat : 9486 (java) S 9480 9483 3621 0 -1 4202560 1230 0 0 0 315 18 0 0 20 0 22 0 29404291 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629851167400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9487] ppid=9480 vsize=9824732 CPUtime=3.42 cores=0,2,4,6
/proc/9483/task/9487/stat : 9487 (java) S 9480 9483 3621 0 -1 4202560 1105 0 0 0 322 20 0 0 20 0 22 0 29404291 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629850114856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9488] ppid=9480 vsize=9824732 CPUtime=3.09 cores=0,2,4,6
/proc/9483/task/9488/stat : 9488 (java) S 9480 9483 3621 0 -1 4202560 891 0 0 0 293 16 0 0 20 0 22 0 29404291 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629849062312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9489] ppid=9480 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/9483/task/9489/stat : 9489 (java) S 9480 9483 3621 0 -1 4202560 1401 0 0 0 311 22 0 0 20 0 22 0 29404291 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629848009768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9490] ppid=9480 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/9483/task/9490/stat : 9490 (java) S 9480 9483 3621 0 -1 4202560 808 0 0 0 312 16 0 0 20 0 22 0 29404291 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629846956200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9491] ppid=9480 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/9483/task/9491/stat : 9491 (java) S 9480 9483 3621 0 -1 4202560 829 0 0 0 331 22 0 0 20 0 22 0 29404291 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629728291112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9492] ppid=9480 vsize=9824732 CPUtime=3.58 cores=0,2,4,6
/proc/9483/task/9492/stat : 9492 (java) S 9480 9483 3621 0 -1 4202560 1059 0 0 0 340 18 0 0 20 0 22 0 29404291 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629727238568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9493] ppid=9480 vsize=9824732 CPUtime=3.81 cores=0,2,4,6
/proc/9483/task/9493/stat : 9493 (java) S 9480 9483 3621 0 -1 4202560 1057 0 0 0 359 22 0 0 20 0 22 0 29404291 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629726186024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9494] ppid=9480 vsize=9824732 CPUtime=4.97 cores=0,2,4,6
/proc/9483/task/9494/stat : 9494 (java) S 9480 9483 3621 0 -1 4202560 3021 0 0 0 492 5 0 0 20 0 22 0 29404292 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629713775208 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9495] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9495/stat : 9495 (java) S 9480 9483 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629712721528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9496] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9496/stat : 9496 (java) S 9480 9483 3621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629107533448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9497] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9497/stat : 9497 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629106482192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9498] ppid=9480 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/9483/task/9498/stat : 9498 (java) S 9480 9483 3621 0 -1 4202560 18523 0 0 0 208 5 0 0 20 0 22 0 29404295 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629105428536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9499] ppid=9480 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/9483/task/9499/stat : 9499 (java) S 9480 9483 3621 0 -1 4202560 18088 0 0 0 227 3 0 0 20 0 22 0 29404295 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629104375992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9500] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9500/stat : 9500 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629103323640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9501] ppid=9480 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/9483/task/9501/stat : 9501 (java) S 9480 9483 3621 0 -1 4202560 47 0 0 0 12 17 0 0 20 0 22 0 29404295 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629102271304 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9514] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9514/stat : 9514 (java) S 9480 9483 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29404578 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629098058536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9522] ppid=9480 vsize=9824732 CPUtime=693.36 cores=0,2,4,6
/proc/9483/task/9522/stat : 9522 (java) R 9480 9483 3621 0 -1 4202560 10 0 0 0 69326 10 0 0 20 0 22 0 29416043 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629100162208 140629729837316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9523] ppid=9480 vsize=9824732 CPUtime=693.47 cores=0,2,4,6
/proc/9483/task/9523/stat : 9523 (java) R 9480 9483 3621 0 -1 4202560 162 0 0 0 69332 15 0 0 20 0 22 0 29416043 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629101214656 140629729884354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9524] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9524/stat : 9524 (java) S 9480 9483 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29416043 10060525568 963344 33554432000 1073741824 1073778376 140734444560272 140629099111336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1652.51
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.21 4.26 4.12 5/219 9626
/proc/meminfo: memFree=23415588/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9824732 CPUtime=1773.99 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 53744 0 1 0 177167 232 0 0 20 0 22 0 29404290 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2456183 963909 2304 9 0 2446860 0
[pid=9483/tid=9484] ppid=9480 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) S 9480 9483 3621 0 -1 4202560 2503 0 1 0 134 6 0 0 20 0 22 0 29404290 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629889676152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9486] ppid=9480 vsize=9824732 CPUtime=3.79 cores=0,2,4,6
/proc/9483/task/9486/stat : 9486 (java) S 9480 9483 3621 0 -1 4202560 1232 0 0 0 361 18 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629851167400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9487] ppid=9480 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/9483/task/9487/stat : 9487 (java) S 9480 9483 3621 0 -1 4202560 1108 0 0 0 351 20 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629850114856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9488] ppid=9480 vsize=9824732 CPUtime=3.49 cores=0,2,4,6
/proc/9483/task/9488/stat : 9488 (java) S 9480 9483 3621 0 -1 4202560 896 0 0 0 333 16 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629849062312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9489] ppid=9480 vsize=9824732 CPUtime=3.55 cores=0,2,4,6
/proc/9483/task/9489/stat : 9489 (java) S 9480 9483 3621 0 -1 4202560 1410 0 0 0 333 22 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629848009768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9490] ppid=9480 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/9483/task/9490/stat : 9490 (java) S 9480 9483 3621 0 -1 4202560 815 0 0 0 338 16 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629846956200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9491] ppid=9480 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/9483/task/9491/stat : 9491 (java) S 9480 9483 3621 0 -1 4202560 835 0 0 0 367 22 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629728291112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9492] ppid=9480 vsize=9824732 CPUtime=4.15 cores=0,2,4,6
/proc/9483/task/9492/stat : 9492 (java) S 9480 9483 3621 0 -1 4202560 1069 0 0 0 397 18 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629727238568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9493] ppid=9480 vsize=9824732 CPUtime=4.16 cores=0,2,4,6
/proc/9483/task/9493/stat : 9493 (java) S 9480 9483 3621 0 -1 4202560 1067 0 0 0 394 22 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629726186024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9494] ppid=9480 vsize=9824732 CPUtime=4.97 cores=0,2,4,6
/proc/9483/task/9494/stat : 9494 (java) S 9480 9483 3621 0 -1 4202560 3024 0 0 0 492 5 0 0 20 0 22 0 29404292 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629713775208 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9495] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9495/stat : 9495 (java) S 9480 9483 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629712721528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9496] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9496/stat : 9496 (java) S 9480 9483 3621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629107533448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9497] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9497/stat : 9497 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629106482192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9498] ppid=9480 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/9483/task/9498/stat : 9498 (java) S 9480 9483 3621 0 -1 4202560 18526 0 0 0 212 5 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629105428536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9499] ppid=9480 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/9483/task/9499/stat : 9499 (java) S 9480 9483 3621 0 -1 4202560 18088 0 0 0 227 3 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629104375992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9500] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9500/stat : 9500 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629103323640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9501] ppid=9480 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9483/task/9501/stat : 9501 (java) S 9480 9483 3621 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629102271304 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9514] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9514/stat : 9514 (java) S 9480 9483 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29404578 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629098058536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9522] ppid=9480 vsize=9824732 CPUtime=752.61 cores=0,2,4,6
/proc/9483/task/9522/stat : 9522 (java) R 9480 9483 3621 0 -1 4202560 11 0 0 0 75250 11 0 0 20 0 22 0 29416043 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629100155424 140629728939559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9523] ppid=9480 vsize=9824732 CPUtime=752.74 cores=0,2,4,6
/proc/9483/task/9523/stat : 9523 (java) R 9480 9483 3621 0 -1 4202560 166 0 0 0 75258 16 0 0 20 0 22 0 29416043 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629101216016 140629729884368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9524] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9524/stat : 9524 (java) S 9480 9483 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29416043 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629099111336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1773.99
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.401 s]
/proc/loadavg: 4.03 4.22 4.11 6/218 9626
/proc/meminfo: memFree=23415480/32872528 swapFree=1286400/1433568
[pid=9483] ppid=9480 vsize=9824732 CPUtime=1800.19 cores=0,2,4,6
/proc/9483/stat : 9483 (java) S 9480 9483 3621 0 -1 4202496 53744 0 1 0 179787 232 0 0 20 0 22 0 29404290 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140734444551408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9483/statm: 2456183 963909 2304 9 0 2446860 0
[pid=9483/tid=9484] ppid=9480 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/9483/task/9484/stat : 9484 (java) S 9480 9483 3621 0 -1 4202560 2503 0 1 0 134 6 0 0 20 0 22 0 29404290 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629889676152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9486] ppid=9480 vsize=9824732 CPUtime=3.79 cores=0,2,4,6
/proc/9483/task/9486/stat : 9486 (java) S 9480 9483 3621 0 -1 4202560 1232 0 0 0 361 18 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629851167400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9487] ppid=9480 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/9483/task/9487/stat : 9487 (java) S 9480 9483 3621 0 -1 4202560 1108 0 0 0 351 20 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629850114856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9488] ppid=9480 vsize=9824732 CPUtime=3.49 cores=0,2,4,6
/proc/9483/task/9488/stat : 9488 (java) S 9480 9483 3621 0 -1 4202560 896 0 0 0 333 16 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629849062312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9489] ppid=9480 vsize=9824732 CPUtime=3.55 cores=0,2,4,6
/proc/9483/task/9489/stat : 9489 (java) S 9480 9483 3621 0 -1 4202560 1410 0 0 0 333 22 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629848009768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9490] ppid=9480 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/9483/task/9490/stat : 9490 (java) S 9480 9483 3621 0 -1 4202560 815 0 0 0 338 16 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629846956200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9491] ppid=9480 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/9483/task/9491/stat : 9491 (java) S 9480 9483 3621 0 -1 4202560 835 0 0 0 367 22 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629728291112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9492] ppid=9480 vsize=9824732 CPUtime=4.15 cores=0,2,4,6
/proc/9483/task/9492/stat : 9492 (java) S 9480 9483 3621 0 -1 4202560 1069 0 0 0 397 18 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629727238568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9493] ppid=9480 vsize=9824732 CPUtime=4.16 cores=0,2,4,6
/proc/9483/task/9493/stat : 9493 (java) S 9480 9483 3621 0 -1 4202560 1067 0 0 0 394 22 0 0 20 0 22 0 29404291 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629726186024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9494] ppid=9480 vsize=9824732 CPUtime=4.97 cores=0,2,4,6
/proc/9483/task/9494/stat : 9494 (java) S 9480 9483 3621 0 -1 4202560 3024 0 0 0 492 5 0 0 20 0 22 0 29404292 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629713775208 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9495] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9495/stat : 9495 (java) S 9480 9483 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629712721528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9496] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9496/stat : 9496 (java) S 9480 9483 3621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 29404293 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629107533448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9497] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9497/stat : 9497 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629106482192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9498] ppid=9480 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/9483/task/9498/stat : 9498 (java) S 9480 9483 3621 0 -1 4202560 18526 0 0 0 212 5 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629105428536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9499] ppid=9480 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/9483/task/9499/stat : 9499 (java) S 9480 9483 3621 0 -1 4202560 18088 0 0 0 227 3 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629104375992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9483/tid=9500] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9500/stat : 9500 (java) S 9480 9483 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629103323640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9483/tid=9501] ppid=9480 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9483/task/9501/stat : 9501 (java) S 9480 9483 3621 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 29404295 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629102271304 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9514] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9514/stat : 9514 (java) S 9480 9483 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29404578 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629098058536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9522] ppid=9480 vsize=9824732 CPUtime=765.7 cores=0,2,4,6
/proc/9483/task/9522/stat : 9522 (java) R 9480 9483 3621 0 -1 4202560 11 0 0 0 76559 11 0 0 20 0 22 0 29416043 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629100155424 140629729902374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9483/tid=9523] ppid=9480 vsize=9824732 CPUtime=765.84 cores=0,2,4,6
/proc/9483/task/9523/stat : 9523 (java) R 9480 9483 3621 0 -1 4202560 166 0 0 0 76568 16 0 0 20 0 22 0 29416043 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629101215576 140629729884047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9483/tid=9524] ppid=9480 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9483/task/9524/stat : 9524 (java) S 9480 9483 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29416043 10060525568 963909 33554432000 1073741824 1073778376 140734444560272 140629099111336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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 9483 sig 9
??? kill -9483 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.465
CPU time (s): 1800.73
CPU user time (s): 1797.95
CPU system time (s): 2.78358
CPU usage (%): 201.095
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.95
system time used= 2.78358
maximum resident set size= 3871012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53795
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23078
involuntary context switches= 27161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79112 second user time and 7.38588 second system time
The end