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-4106596-1466273347/watcher-4106596-1466273347 -o /tmp/evaluation-result-4106596-1466273347/solver-4106596-1466273347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3638 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106596-1466273347.opb
pid=9308
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.29 4.24 3.83 4/197 9311
/proc/meminfo: memFree=26857708/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/9311/stat : 9311 (java) D 9308 9311 3621 0 -1 4202496 170 0 0 0 0 0 0 0 20 0 1 0 29381513 2560000 46 33554432000 1073741824 1073778376 140733919868656 140733919865784 214360485159 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/9311/statm: 625 46 37 9 0 29 0
[startup+0.10006 s]
/proc/loadavg: 4.29 4.24 3.83 4/197 9311
/proc/meminfo: memFree=26857708/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 4270 0 1 0 7 1 0 0 20 0 18 0 29381513 9787879424 5401 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2389619 5401 2088 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200286 s]
/proc/loadavg: 4.29 4.24 3.83 4/197 9311
/proc/meminfo: memFree=26857708/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 4544 0 1 0 19 1 0 0 20 0 18 0 29381513 9787879424 7179 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2389619 7179 2195 9 0 2380296 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 9558476
[startup+0.300299 s]
/proc/loadavg: 4.29 4.24 3.83 4/197 9311
/proc/meminfo: memFree=26857708/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 6158 0 1 0 42 2 0 0 20 0 18 0 29381513 9787879424 8877 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2389619 8877 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700188 s]
/proc/loadavg: 4.29 4.24 3.83 4/197 9311
/proc/meminfo: memFree=26857708/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 23712 0 1 0 158 6 0 0 20 0 22 0 29381513 10060525568 27557 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2456183 27557 2258 9 0 2446860 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9824732
[startup+1.50084 s]
/proc/loadavg: 4.29 4.24 3.83 5/216 9333
/proc/meminfo: memFree=26725252/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9824732 CPUtime=4.19 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 40967 0 1 0 408 11 0 0 20 0 22 0 29381513 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2456183 37954 2264 9 0 2446860 0
[pid=9311/tid=9313] ppid=9308 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/9311/task/9313/stat : 9313 (java) S 9308 9311 3621 0 -1 4202560 2462 0 1 0 55 1 0 0 20 0 22 0 29381515 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342470607736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9314] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9314/stat : 9314 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342432098472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9315] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9315/stat : 9315 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342431045928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9316] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9316/stat : 9316 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342429993384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9317] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9317/stat : 9317 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342428940840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9318] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9318/stat : 9318 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342427888296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9319] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9319/stat : 9319 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342426835752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9320] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9320/stat : 9320 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342425783208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9321] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9321/stat : 9321 (java) S 9308 9311 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342424730664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9322] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9322/stat : 9322 (java) S 9308 9311 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29381517 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342294710376 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9323] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9323/stat : 9323 (java) S 9308 9311 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342293656696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9324] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9324/stat : 9324 (java) S 9308 9311 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342292604040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9325] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9325/stat : 9325 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342291552784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9326] ppid=9308 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/9311/task/9326/stat : 9326 (java) R 9308 9311 3621 0 -1 4202560 17884 0 0 0 121 5 0 0 20 0 22 0 29381520 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342290486896 140342473208946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9327] ppid=9308 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/9311/task/9327/stat : 9327 (java) R 9308 9311 3621 0 -1 4202560 19276 0 0 0 120 4 0 0 20 0 22 0 29381520 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342289434352 140342474238766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9328] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9328/stat : 9328 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342288395256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9329] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9329/stat : 9329 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342287342920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9332] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9332/stat : 9332 (java) S 9308 9311 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29381575 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140341142344744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9334] ppid=9308 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/9311/task/9334/stat : 9334 (java) R 9308 9311 3621 0 -1 4202560 7 0 0 0 38 0 0 0 20 0 22 0 29381624 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140341143388776 140342301146245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9335] ppid=9308 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/9311/task/9335/stat : 9335 (java) R 9308 9311 3621 0 -1 4202560 19 0 0 0 37 0 0 0 20 0 22 0 29381624 10060525568 37954 33554432000 1073741824 1073778376 140733681564880 140342286273584 140342301291616 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9824732
[startup+3.10077 s]
/proc/loadavg: 4.29 4.24 3.83 7/219 9336
/proc/meminfo: memFree=26706812/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9824732 CPUtime=8.35 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 43684 0 1 0 820 15 0 0 20 0 19 0 29381513 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2456183 43400 2271 9 0 2446860 0
[pid=9311/tid=9313] ppid=9308 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/9311/task/9313/stat : 9313 (java) S 9308 9311 3621 0 -1 4202560 2462 0 1 0 55 2 0 0 20 0 19 0 29381515 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342470607736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9314] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9314/stat : 9314 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381516 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342432098472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9315] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9315/stat : 9315 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381516 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342431045928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9316] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9316/stat : 9316 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381516 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342429993384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9317] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9317/stat : 9317 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381516 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342428940840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9318] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9318/stat : 9318 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381516 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342427888296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9319] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9319/stat : 9319 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381516 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342426835752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9320] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9320/stat : 9320 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381516 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342425783208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9321] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9321/stat : 9321 (java) S 9308 9311 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29381516 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342424730664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9322] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9322/stat : 9322 (java) S 9308 9311 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29381517 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342294710376 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9323] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9323/stat : 9323 (java) S 9308 9311 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29381518 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342293656696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9324] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9324/stat : 9324 (java) S 9308 9311 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29381518 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342292604040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9325] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9325/stat : 9325 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381520 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342291552784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9326] ppid=9308 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/9311/task/9326/stat : 9326 (java) S 9308 9311 3621 0 -1 4202560 20301 0 0 0 219 5 0 0 20 0 19 0 29381520 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342290500152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9327] ppid=9308 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/9311/task/9327/stat : 9327 (java) S 9308 9311 3621 0 -1 4202560 19558 0 0 0 235 4 0 0 20 0 19 0 29381520 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342289447608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9328] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9328/stat : 9328 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381520 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342288395256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9329] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9329/stat : 9329 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29381520 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140342287342920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9332] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9332/stat : 9332 (java) S 9308 9311 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29381575 10060525568 43400 33554432000 1073741824 1073778376 140733681564880 140341142344744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 9824732
[startup+6.30087 s]
/proc/loadavg: 4.75 4.34 3.86 5/219 9345
/proc/meminfo: memFree=26603460/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9824732 CPUtime=13.92 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 44393 0 1 0 1368 24 0 0 20 0 22 0 29381513 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2456183 71293 2292 9 0 2446860 0
[pid=9311/tid=9313] ppid=9308 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/9311/task/9313/stat : 9313 (java) S 9308 9311 3621 0 -1 4202560 2464 0 1 0 56 2 0 0 20 0 22 0 29381515 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342470607736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9314] ppid=9308 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/9311/task/9314/stat : 9314 (java) S 9308 9311 3621 0 -1 4202560 126 0 0 0 3 0 0 0 20 0 22 0 29381516 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342432098472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9315] ppid=9308 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9311/task/9315/stat : 9315 (java) S 9308 9311 3621 0 -1 4202560 123 0 0 0 1 0 0 0 20 0 22 0 29381516 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342431045928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9316] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9316/stat : 9316 (java) S 9308 9311 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342429993384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9317] ppid=9308 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9311/task/9317/stat : 9317 (java) S 9308 9311 3621 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 29381516 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342428940840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9318] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9318/stat : 9318 (java) S 9308 9311 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29381516 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342427888296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9319] ppid=9308 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/9311/task/9319/stat : 9319 (java) S 9308 9311 3621 0 -1 4202560 146 0 0 0 3 0 0 0 20 0 22 0 29381516 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342426835752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9320] ppid=9308 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9311/task/9320/stat : 9320 (java) S 9308 9311 3621 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 29381516 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342425783208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9321] ppid=9308 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9311/task/9321/stat : 9321 (java) S 9308 9311 3621 0 -1 4202560 144 0 0 0 1 0 0 0 20 0 22 0 29381516 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342424730664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9322] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9322/stat : 9322 (java) S 9308 9311 3621 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 29381517 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342294710376 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9323] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9323/stat : 9323 (java) S 9308 9311 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342293656696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9324] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9324/stat : 9324 (java) S 9308 9311 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342292604040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9325] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9325/stat : 9325 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342291552784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9326] ppid=9308 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/9311/task/9326/stat : 9326 (java) S 9308 9311 3621 0 -1 4202560 20305 0 0 0 243 5 0 0 20 0 22 0 29381520 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342290500152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9327] ppid=9308 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/9311/task/9327/stat : 9327 (java) S 9308 9311 3621 0 -1 4202560 19563 0 0 0 271 4 0 0 20 0 22 0 29381520 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342289447608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9328] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9328/stat : 9328 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342288395256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9329] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9329/stat : 9329 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 71293 33554432000 1073741824 1073778376 140733681564880 140342287342920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9345] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.30 4.32 4.11 5/219 9538
/proc/meminfo: memFree=22928840/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9824732 CPUtime=1774.74 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 53414 0 1 0 177264 210 0 0 20 0 22 0 29381513 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2456183 938375 2304 9 0 2446860 0
[pid=9311/tid=9313] ppid=9308 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/9311/task/9313/stat : 9313 (java) S 9308 9311 3621 0 -1 4202560 2476 0 1 0 58 4 0 0 20 0 22 0 29381515 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342470607736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9314] ppid=9308 vsize=9824732 CPUtime=3.42 cores=1,3,5,7
/proc/9311/task/9314/stat : 9314 (java) S 9308 9311 3621 0 -1 4202560 867 0 0 0 324 18 0 0 20 0 22 0 29381516 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342432098472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9315] ppid=9308 vsize=9824732 CPUtime=3.7 cores=1,3,5,7
/proc/9311/task/9315/stat : 9315 (java) S 9308 9311 3621 0 -1 4202560 663 0 0 0 354 16 0 0 20 0 22 0 29381516 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342431045928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9316] ppid=9308 vsize=9824732 CPUtime=3.31 cores=1,3,5,7
/proc/9311/task/9316/stat : 9316 (java) S 9308 9311 3621 0 -1 4202560 570 0 0 0 315 16 0 0 20 0 22 0 29381516 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342429993384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9317] ppid=9308 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/9311/task/9317/stat : 9317 (java) S 9308 9311 3621 0 -1 4202560 551 0 0 0 328 16 0 0 20 0 22 0 29381516 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342428940840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9318] ppid=9308 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/9311/task/9318/stat : 9318 (java) S 9308 9311 3621 0 -1 4202560 522 0 0 0 323 16 0 0 20 0 22 0 29381516 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342427888296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9319] ppid=9308 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/9311/task/9319/stat : 9319 (java) S 9308 9311 3621 0 -1 4202560 731 0 0 0 312 17 0 0 20 0 22 0 29381516 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342426835752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9320] ppid=9308 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/9311/task/9320/stat : 9320 (java) S 9308 9311 3621 0 -1 4202560 434 0 0 0 310 14 0 0 20 0 22 0 29381516 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342425783208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9321] ppid=9308 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/9311/task/9321/stat : 9321 (java) S 9308 9311 3621 0 -1 4202560 717 0 0 0 327 13 0 0 20 0 22 0 29381516 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342424730664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9322] ppid=9308 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/9311/task/9322/stat : 9322 (java) S 9308 9311 3621 0 -1 4202560 2775 0 0 0 434 9 0 0 20 0 22 0 29381517 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342294710376 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9323] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9323/stat : 9323 (java) S 9308 9311 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342293656696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9324] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9324/stat : 9324 (java) S 9308 9311 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342292604040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9325] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9325/stat : 9325 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342291552784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9326] ppid=9308 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/9311/task/9326/stat : 9326 (java) S 9308 9311 3621 0 -1 4202560 20350 0 0 0 318 5 0 0 20 0 22 0 29381520 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342290500152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9327] ppid=9308 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/9311/task/9327/stat : 9327 (java) S 9308 9311 3621 0 -1 4202560 19566 0 0 0 299 4 0 0 20 0 22 0 29381520 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342289447608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9328] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9328/stat : 9328 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342288395256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9329] ppid=9308 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/9311/task/9329/stat : 9329 (java) S 9308 9311 3621 0 -1 4202560 51 0 0 0 15 22 0 0 20 0 22 0 29381520 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342287342920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9345] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9345/stat : 9345 (java) S 9308 9311 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29381875 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140341141292712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9357] ppid=9308 vsize=9824732 CPUtime=727 cores=1,3,5,7
/proc/9311/task/9357/stat : 9357 (java) R 9308 9311 3621 0 -1 4202560 16 0 0 0 72689 11 0 0 20 0 22 0 29396096 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140342286286752 140342302458786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9358] ppid=9308 vsize=9824732 CPUtime=726.89 cores=1,3,5,7
/proc/9311/task/9358/stat : 9358 (java) R 9308 9311 3621 0 -1 4202560 54 0 0 0 72676 13 0 0 20 0 22 0 29396096 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140341142342816 140342302926412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9359] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9359/stat : 9359 (java) S 9308 9311 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29396096 10060525568 938375 33554432000 1073741824 1073778376 140733681564880 140341143397160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1774.74
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.901 s]
/proc/loadavg: 4.24 4.31 4.10 5/219 9539
/proc/meminfo: memFree=22867832/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 53439 0 1 0 179794 210 0 0 20 0 22 0 29381513 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2456183 938393 2304 9 0 2446860 0
[pid=9311/tid=9313] ppid=9308 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/9311/task/9313/stat : 9313 (java) S 9308 9311 3621 0 -1 4202560 2476 0 1 0 58 4 0 0 20 0 22 0 29381515 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342470607736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9314] ppid=9308 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/9311/task/9314/stat : 9314 (java) S 9308 9311 3621 0 -1 4202560 869 0 0 0 326 18 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342432098472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9315] ppid=9308 vsize=9824732 CPUtime=3.74 cores=1,3,5,7
/proc/9311/task/9315/stat : 9315 (java) S 9308 9311 3621 0 -1 4202560 663 0 0 0 358 16 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342431045928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9316] ppid=9308 vsize=9824732 CPUtime=3.38 cores=1,3,5,7
/proc/9311/task/9316/stat : 9316 (java) S 9308 9311 3621 0 -1 4202560 572 0 0 0 322 16 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342429993384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9317] ppid=9308 vsize=9824732 CPUtime=3.48 cores=1,3,5,7
/proc/9311/task/9317/stat : 9317 (java) S 9308 9311 3621 0 -1 4202560 556 0 0 0 332 16 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342428940840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9318] ppid=9308 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/9311/task/9318/stat : 9318 (java) S 9308 9311 3621 0 -1 4202560 524 0 0 0 325 16 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342427888296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9319] ppid=9308 vsize=9824732 CPUtime=3.31 cores=1,3,5,7
/proc/9311/task/9319/stat : 9319 (java) S 9308 9311 3621 0 -1 4202560 737 0 0 0 314 17 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342426835752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9320] ppid=9308 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/9311/task/9320/stat : 9320 (java) S 9308 9311 3621 0 -1 4202560 439 0 0 0 312 14 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342425783208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9321] ppid=9308 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/9311/task/9321/stat : 9321 (java) S 9308 9311 3621 0 -1 4202560 717 0 0 0 334 13 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342424730664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9322] ppid=9308 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/9311/task/9322/stat : 9322 (java) S 9308 9311 3621 0 -1 4202560 2775 0 0 0 434 9 0 0 20 0 22 0 29381517 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342294710376 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9323] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9323/stat : 9323 (java) S 9308 9311 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342293656696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9324] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9324/stat : 9324 (java) S 9308 9311 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342292604040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9325] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9325/stat : 9325 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342291552784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9326] ppid=9308 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/9311/task/9326/stat : 9326 (java) S 9308 9311 3621 0 -1 4202560 20350 0 0 0 318 5 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342290500152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9327] ppid=9308 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/9311/task/9327/stat : 9327 (java) S 9308 9311 3621 0 -1 4202560 19566 0 0 0 299 4 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342289447608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9328] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9328/stat : 9328 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342288395256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9329] ppid=9308 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/9311/task/9329/stat : 9329 (java) S 9308 9311 3621 0 -1 4202560 53 0 0 0 15 22 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342287342920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9345] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9345/stat : 9345 (java) S 9308 9311 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29381875 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140341141292712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9357] ppid=9308 vsize=9824732 CPUtime=739.53 cores=1,3,5,7
/proc/9311/task/9357/stat : 9357 (java) R 9308 9311 3621 0 -1 4202560 16 0 0 0 73942 11 0 0 20 0 22 0 29396096 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342286286752 140342302503942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9358] ppid=9308 vsize=9824732 CPUtime=739.41 cores=1,3,5,7
/proc/9311/task/9358/stat : 9358 (java) R 9308 9311 3621 0 -1 4202560 55 0 0 0 73928 13 0 0 20 0 22 0 29396096 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140341142344920 140342302926399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9359] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9359/stat : 9359 (java) S 9308 9311 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29396096 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140341143397160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 9311 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+894.901 s]
/proc/loadavg: 4.24 4.31 4.10 5/219 9539
/proc/meminfo: memFree=22867832/32872528 swapFree=1286400/1433568
[pid=9311] ppid=9308 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/9311/stat : 9311 (java) S 9308 9311 3621 0 -1 4202496 53439 0 1 0 179794 210 0 0 20 0 22 0 29381513 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140733681556016 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9311/statm: 2456183 938393 2304 9 0 2446860 0
[pid=9311/tid=9313] ppid=9308 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/9311/task/9313/stat : 9313 (java) S 9308 9311 3621 0 -1 4202560 2476 0 1 0 58 4 0 0 20 0 22 0 29381515 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342470607736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9314] ppid=9308 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/9311/task/9314/stat : 9314 (java) S 9308 9311 3621 0 -1 4202560 869 0 0 0 326 18 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342432098472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9315] ppid=9308 vsize=9824732 CPUtime=3.74 cores=1,3,5,7
/proc/9311/task/9315/stat : 9315 (java) S 9308 9311 3621 0 -1 4202560 663 0 0 0 358 16 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342431045928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9316] ppid=9308 vsize=9824732 CPUtime=3.38 cores=1,3,5,7
/proc/9311/task/9316/stat : 9316 (java) S 9308 9311 3621 0 -1 4202560 572 0 0 0 322 16 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342429993384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9317] ppid=9308 vsize=9824732 CPUtime=3.48 cores=1,3,5,7
/proc/9311/task/9317/stat : 9317 (java) S 9308 9311 3621 0 -1 4202560 556 0 0 0 332 16 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342428940840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9318] ppid=9308 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/9311/task/9318/stat : 9318 (java) S 9308 9311 3621 0 -1 4202560 524 0 0 0 325 16 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342427888296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9319] ppid=9308 vsize=9824732 CPUtime=3.31 cores=1,3,5,7
/proc/9311/task/9319/stat : 9319 (java) S 9308 9311 3621 0 -1 4202560 737 0 0 0 314 17 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342426835752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9320] ppid=9308 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/9311/task/9320/stat : 9320 (java) S 9308 9311 3621 0 -1 4202560 439 0 0 0 312 14 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342425783208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9321] ppid=9308 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/9311/task/9321/stat : 9321 (java) S 9308 9311 3621 0 -1 4202560 717 0 0 0 334 13 0 0 20 0 22 0 29381516 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342424730664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9322] ppid=9308 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/9311/task/9322/stat : 9322 (java) S 9308 9311 3621 0 -1 4202560 2775 0 0 0 434 9 0 0 20 0 22 0 29381517 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342294710376 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9323] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9323/stat : 9323 (java) S 9308 9311 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342293656696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9324] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9324/stat : 9324 (java) S 9308 9311 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29381518 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342292604040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9311/tid=9325] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9325/stat : 9325 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342291552784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9326] ppid=9308 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/9311/task/9326/stat : 9326 (java) S 9308 9311 3621 0 -1 4202560 20350 0 0 0 318 5 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342290500152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9327] ppid=9308 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/9311/task/9327/stat : 9327 (java) S 9308 9311 3621 0 -1 4202560 19566 0 0 0 299 4 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342289447608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9328] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9328/stat : 9328 (java) S 9308 9311 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342288395256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9329] ppid=9308 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/9311/task/9329/stat : 9329 (java) S 9308 9311 3621 0 -1 4202560 53 0 0 0 15 22 0 0 20 0 22 0 29381520 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342287342920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9311/tid=9345] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9345/stat : 9345 (java) S 9308 9311 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29381875 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140341141292712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9357] ppid=9308 vsize=9824732 CPUtime=739.53 cores=1,3,5,7
/proc/9311/task/9357/stat : 9357 (java) R 9308 9311 3621 0 -1 4202560 16 0 0 0 73942 11 0 0 20 0 22 0 29396096 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140342286286752 140342302503942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9311/tid=9358] ppid=9308 vsize=9824732 CPUtime=739.41 cores=1,3,5,7
/proc/9311/task/9358/stat : 9358 (java) R 9308 9311 3621 0 -1 4202560 55 0 0 0 73928 13 0 0 20 0 22 0 29396096 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140341142344920 140342302926399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9311/tid=9359] ppid=9308 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9311/task/9359/stat : 9359 (java) S 9308 9311 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29396096 10060525568 938393 33554432000 1073741824 1073778376 140733681564880 140341143397160 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 894.953
CPU time (s): 1800.68
CPU user time (s): 1798.06
CPU system time (s): 2.6216
CPU usage (%): 201.204
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.06
system time used= 2.6216
maximum resident set size= 3753684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53477
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= 23807
involuntary context switches= 26583
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2442 second user time and 7.99179 second system time
The end