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-4103426-1466240252/watcher-4103426-1466240252 -o /tmp/evaluation-result-4103426-1466240252/solver-4103426-1466240252 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103426-1466240252.opb
pid=18401
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: 1.05 1.57 1.92 1/176 18404
/proc/meminfo: memFree=30644588/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/18404/stat : 18404 (java) D 18401 18404 18358 0 -1 4202496 170 0 0 0 0 0 0 0 20 0 1 0 26072036 2560000 46 33554432000 1073741824 1073778376 140733618478000 140733618475128 214360485159 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/18404/statm: 625 46 37 9 0 29 0
[startup+0.100153 s]
/proc/loadavg: 1.05 1.57 1.92 1/176 18404
/proc/meminfo: memFree=30644588/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 1452 0 2 0 0 0 0 0 20 0 2 0 26072036 103964672 1058 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 25382 1058 809 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.200317 s]
/proc/loadavg: 1.05 1.57 1.92 1/176 18404
/proc/meminfo: memFree=30644588/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 3106 0 6 0 3 1 0 0 20 0 13 0 26072036 9446973440 3732 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 2306390 3732 1702 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.300221 s]
/proc/loadavg: 1.05 1.57 1.92 1/176 18404
/proc/meminfo: memFree=30644588/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 3757 0 6 0 6 1 0 0 20 0 18 0 26072036 9787879424 4895 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 2389619 4896 1948 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.700178 s]
/proc/loadavg: 1.05 1.57 1.92 1/176 18404
/proc/meminfo: memFree=30644588/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=9558476 CPUtime=0.99 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 16067 0 8 0 94 5 0 0 20 0 18 0 26072036 9787879424 20140 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 2389619 20140 2240 9 0 2380296 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9558476
[startup+1.50072 s]
/proc/loadavg: 1.05 1.57 1.92 6/215 18443
/proc/meminfo: memFree=30327824/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=9691604 CPUtime=2.36 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 16860 0 8 0 217 19 0 0 20 0 20 0 26072036 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 2422901 67942 2271 9 0 2413578 0
[pid=18404/tid=18407] ppid=18401 vsize=9691604 CPUtime=1.09 cores=1,3,5,7
/proc/18404/task/18407/stat : 18407 (java) S 18401 18404 18358 0 -1 4202560 2473 0 6 0 104 5 0 0 20 0 20 0 26072039 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109831406456 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 15 0 0
[pid=18404/tid=18410] ppid=18401 vsize=9691604 CPUtime=0.08 cores=1,3,5,7
/proc/18404/task/18410/stat : 18410 (java) S 18401 18404 18358 0 -1 4202560 135 0 0 0 5 3 0 0 20 0 20 0 26072048 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109820467752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18414] ppid=18401 vsize=9691604 CPUtime=0.03 cores=1,3,5,7
/proc/18404/task/18414/stat : 18414 (java) S 18401 18404 18358 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 20 0 26072048 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109674133928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18416] ppid=18401 vsize=9691604 CPUtime=0.03 cores=1,3,5,7
/proc/18404/task/18416/stat : 18416 (java) S 18401 18404 18358 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 20 0 26072048 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109673081128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18418] ppid=18401 vsize=9691604 CPUtime=0.05 cores=1,3,5,7
/proc/18404/task/18418/stat : 18418 (java) S 18401 18404 18358 0 -1 4202560 120 0 0 0 3 2 0 0 20 0 20 0 26072048 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109672028328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18420] ppid=18401 vsize=9691604 CPUtime=0.03 cores=1,3,5,7
/proc/18404/task/18420/stat : 18420 (java) S 18401 18404 18358 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 20 0 26072048 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109670976552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18421] ppid=18401 vsize=9691604 CPUtime=0.03 cores=1,3,5,7
/proc/18404/task/18421/stat : 18421 (java) S 18401 18404 18358 0 -1 4202560 62 0 0 0 2 1 0 0 20 0 20 0 26072048 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109669923752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18422] ppid=18401 vsize=9691604 CPUtime=0.02 cores=1,3,5,7
/proc/18404/task/18422/stat : 18422 (java) S 18401 18404 18358 0 -1 4202560 98 0 0 0 2 0 0 0 20 0 20 0 26072048 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109668870952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18423] ppid=18401 vsize=9691604 CPUtime=0.08 cores=1,3,5,7
/proc/18404/task/18423/stat : 18423 (java) S 18401 18404 18358 0 -1 4202560 119 0 0 0 5 3 0 0 20 0 20 0 26072048 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109667818152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18425] ppid=18401 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18425/stat : 18425 (java) S 18401 18404 18358 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 20 0 26072052 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109655620072 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18426] ppid=18401 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18426/stat : 18426 (java) S 18401 18404 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 26072053 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109654566136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18429] ppid=18401 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18429/stat : 18429 (java) S 18401 18404 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 26072053 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109653513224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18431] ppid=18401 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18431/stat : 18431 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 26072061 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109652461712 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18433] ppid=18401 vsize=9691604 CPUtime=0.35 cores=1,3,5,7
/proc/18404/task/18433/stat : 18433 (java) R 18401 18404 18358 0 -1 4202560 7178 0 1 0 33 2 0 0 20 0 20 0 26072061 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109651409728 140109833903820 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18435] ppid=18401 vsize=9691604 CPUtime=0.36 cores=1,3,5,7
/proc/18404/task/18435/stat : 18435 (java) R 18401 18404 18358 0 -1 4202560 5250 0 1 0 36 0 0 0 20 0 20 0 26072061 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109650357048 140109834001566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18437] ppid=18401 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18437/stat : 18437 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 26072061 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109649304440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18439] ppid=18401 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18439/stat : 18439 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 26072061 9924202496 67942 33554432000 1073741824 1073778376 140734229023104 140109648251848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9691604
[startup+3.10087 s]
/proc/loadavg: 1.29 1.61 1.93 5/219 18450
/proc/meminfo: memFree=30127332/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=9824732 CPUtime=6.93 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 23658 0 8 0 665 28 0 0 20 0 22 0 26072036 10060525568 107516 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 2456183 107516 2282 9 0 2446860 0
[pid=18404/tid=18407] ppid=18401 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/18404/task/18407/stat : 18407 (java) S 18401 18404 18358 0 -1 4202560 2473 0 6 0 104 5 0 0 20 0 22 0 26072039 10060525568 107516 33554432000 1073741824 1073778376 140734229023104 140109831406456 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 15 0 0
[pid=18404/tid=18410] ppid=18401 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/18404/task/18410/stat : 18410 (java) R 18401 18404 18358 0 -1 4202560 142 0 0 0 7 3 0 0 20 0 22 0 26072048 10060525568 107516 33554432000 1073741824 1073778376 140734229023104 140109820467928 140109838302124 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18414] ppid=18401 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/18404/task/18414/stat : 18414 (java) R 18401 18404 18358 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 22 0 26072048 10060525568 107516 33554432000 1073741824 1073778376 140734229023104 140109674133928 214373020732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18416] ppid=18401 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18404/task/18416/stat : 18416 (java) R 18401 18404 18358 0 -1 4202560 43 0 0 0 4 2 0 0 20 0 22 0 26072048 10060525568 107516 33554432000 1073741824 1073778376 140734229023104 140109673081128 140109833877185 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18418] ppid=18401 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/18404/task/18418/stat : 18418 (java) S 18401 18404 18358 0 -1 4202560 133 0 0 0 5 3 0 0 20 0 22 0 26072048 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109672028328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18420] ppid=18401 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18404/task/18420/stat : 18420 (java) R 18401 18404 18358 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 26072048 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109670976728 140109838302332 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18421] ppid=18401 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18404/task/18421/stat : 18421 (java) R 18401 18404 18358 0 -1 4202560 74 0 0 0 4 2 0 0 20 0 22 0 26072048 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109669923752 140109833877193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18422] ppid=18401 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18404/task/18422/stat : 18422 (java) R 18401 18404 18358 0 -1 4202560 110 0 0 0 4 0 0 0 20 0 22 0 26072048 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109668870952 140109833877177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18423] ppid=18401 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/18404/task/18423/stat : 18423 (java) R 18401 18404 18358 0 -1 4202560 131 0 0 0 7 3 0 0 20 0 22 0 26072048 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109667818328 140109833877177 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18425] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18425/stat : 18425 (java) S 18401 18404 18358 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 26072052 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109655618952 214373020732 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18426] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18426/stat : 18426 (java) S 18401 18404 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109654566136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18429] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18429/stat : 18429 (java) S 18401 18404 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109653513224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18431] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18431/stat : 18431 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109652461712 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18433] ppid=18401 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/18404/task/18433/stat : 18433 (java) S 18401 18404 18358 0 -1 4202560 11230 0 1 0 100 2 0 0 20 0 22 0 26072061 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109651395944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18435] ppid=18401 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/18404/task/18435/stat : 18435 (java) S 18401 18404 18358 0 -1 4202560 7684 0 1 0 93 2 0 0 20 0 22 0 26072061 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109650357048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18437] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18437/stat : 18437 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109649304440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18439] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18439/stat : 18439 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109648251848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18444] ppid=18401 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/18404/task/18444/stat : 18444 (java) S 18401 18404 18358 0 -1 4202560 24 0 0 0 156 0 0 0 20 0 22 0 26072183 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109647194968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18445] ppid=18401 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/18404/task/18445/stat : 18445 (java) S 18401 18404 18358 0 -1 4202560 75 0 0 0 154 2 0 0 20 0 22 0 26072183 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109646142936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18446] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18446/stat : 18446 (java) S 18401 18404 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072192 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109645091752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18447] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18447/stat : 18447 (java) S 18401 18404 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072193 10060525568 108028 33554432000 1073741824 1073778376 140734229023104 140109644038952 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 1.29 1.61 1.93 5/219 18450
/proc/meminfo: memFree=29587176/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=9824732 CPUtime=14.02 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 25772 0 8 0 1362 40 0 0 20 0 22 0 26072036 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 2456183 179686 2283 9 0 2446860 0
[pid=18404/tid=18407] ppid=18401 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/18404/task/18407/stat : 18407 (java) S 18401 18404 18358 0 -1 4202560 2473 0 6 0 104 5 0 0 20 0 22 0 26072039 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109831406456 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 15 0 0
[pid=18404/tid=18410] ppid=18401 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/18404/task/18410/stat : 18410 (java) S 18401 18404 18358 0 -1 4202560 171 0 0 0 15 5 0 0 20 0 22 0 26072048 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109820467752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18414] ppid=18401 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/18404/task/18414/stat : 18414 (java) S 18401 18404 18358 0 -1 4202560 75 0 0 0 11 4 0 0 20 0 22 0 26072048 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109674133928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18416] ppid=18401 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/18404/task/18416/stat : 18416 (java) S 18401 18404 18358 0 -1 4202560 66 0 0 0 8 3 0 0 20 0 22 0 26072048 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109673081128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18418] ppid=18401 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/18404/task/18418/stat : 18418 (java) S 18401 18404 18358 0 -1 4202560 167 0 0 0 11 4 0 0 20 0 22 0 26072048 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109672028328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18420] ppid=18401 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/18404/task/18420/stat : 18420 (java) S 18401 18404 18358 0 -1 4202560 47 0 0 0 7 2 0 0 20 0 22 0 26072048 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109670976552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18421] ppid=18401 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/18404/task/18421/stat : 18421 (java) S 18401 18404 18358 0 -1 4202560 82 0 0 0 6 3 0 0 20 0 22 0 26072048 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109669923752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18422] ppid=18401 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/18404/task/18422/stat : 18422 (java) S 18401 18404 18358 0 -1 4202560 131 0 0 0 10 2 0 0 20 0 22 0 26072048 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109668870952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18423] ppid=18401 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/18404/task/18423/stat : 18423 (java) S 18401 18404 18358 0 -1 4202560 171 0 0 0 13 5 0 0 20 0 22 0 26072048 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109667818152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18425] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18425/stat : 18425 (java) S 18401 18404 18358 0 -1 4202560 485 0 0 0 0 0 0 0 20 0 22 0 26072052 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109655620072 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18426] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18426/stat : 18426 (java) S 18401 18404 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109654566136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18429] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18429/stat : 18429 (java) S 18401 18404 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109653513224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18431] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18431/stat : 18431 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109652461712 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18433] ppid=18401 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/18404/task/18433/stat : 18433 (java) S 18401 18404 18358 0 -1 4202560 11230 0 1 0 117 3 0 0 20 0 22 0 26072061 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109651409848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18435] ppid=18401 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/18404/task/18435/stat : 18435 (java) S 18401 18404 18358 0 -1 4202560 9019 0 1 0 123 2 0 0 20 0 22 0 26072061 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109650357048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18437] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18437/stat : 18437 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109649304440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18439] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18439/stat : 18439 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 179686 33554432000 1073741824 1073778376 140734229023104 140109648251848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18444] ppid=18401 vsize=9824732 CPUtime=4.61 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.12 4.03 3.25 5/219 18543
/proc/meminfo: memFree=23206812/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=9824732 CPUtime=1653.71 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 39952 0 8 0 165200 171 0 0 20 0 22 0 26072036 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 2456183 894150 2291 9 0 2446860 0
[pid=18404/tid=18407] ppid=18401 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/18404/task/18407/stat : 18407 (java) S 18401 18404 18358 0 -1 4202560 2482 0 6 0 106 7 0 0 20 0 22 0 26072039 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109831406456 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 15 0 0
[pid=18404/tid=18410] ppid=18401 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/18404/task/18410/stat : 18410 (java) S 18401 18404 18358 0 -1 4202560 464 0 0 0 237 13 0 0 20 0 22 0 26072048 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109820467752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18414] ppid=18401 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/18404/task/18414/stat : 18414 (java) S 18401 18404 18358 0 -1 4202560 548 0 0 0 247 13 0 0 20 0 22 0 26072048 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109674133928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18416] ppid=18401 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/18404/task/18416/stat : 18416 (java) S 18401 18404 18358 0 -1 4202560 535 0 0 0 234 13 0 0 20 0 22 0 26072048 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109673081128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18418] ppid=18401 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/18404/task/18418/stat : 18418 (java) S 18401 18404 18358 0 -1 4202560 521 0 0 0 240 12 0 0 20 0 22 0 26072048 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109672028328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18420] ppid=18401 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/18404/task/18420/stat : 18420 (java) S 18401 18404 18358 0 -1 4202560 469 0 0 0 232 12 0 0 20 0 22 0 26072048 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109670976552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18421] ppid=18401 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/18404/task/18421/stat : 18421 (java) S 18401 18404 18358 0 -1 4202560 421 0 0 0 234 11 0 0 20 0 22 0 26072048 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109669923752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18422] ppid=18401 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/18404/task/18422/stat : 18422 (java) S 18401 18404 18358 0 -1 4202560 412 0 0 0 218 12 0 0 20 0 22 0 26072048 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109668870952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18423] ppid=18401 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/18404/task/18423/stat : 18423 (java) S 18401 18404 18358 0 -1 4202560 564 0 0 0 203 15 0 0 20 0 22 0 26072048 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109667818152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18425] ppid=18401 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/18404/task/18425/stat : 18425 (java) S 18401 18404 18358 0 -1 4202560 2039 0 0 0 200 7 0 0 20 0 22 0 26072052 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109655620072 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18426] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18426/stat : 18426 (java) S 18401 18404 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109654566136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18429] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18429/stat : 18429 (java) S 18401 18404 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109653513224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18431] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18431/stat : 18431 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109652461712 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18433] ppid=18401 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/18404/task/18433/stat : 18433 (java) S 18401 18404 18358 0 -1 4202560 12543 0 1 0 147 3 0 0 20 0 22 0 26072061 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109651409848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18435] ppid=18401 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/18404/task/18435/stat : 18435 (java) S 18401 18404 18358 0 -1 4202560 15770 0 1 0 198 4 0 0 20 0 22 0 26072061 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109650357048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18437] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18437/stat : 18437 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109649304440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18439] ppid=18401 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/18404/task/18439/stat : 18439 (java) S 18401 18404 18358 0 -1 4202560 47 0 0 0 14 20 0 0 20 0 22 0 26072061 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109648251848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18444] ppid=18401 vsize=9824732 CPUtime=813.7 cores=1,3,5,7
/proc/18404/task/18444/stat : 18444 (java) R 18401 18404 18358 0 -1 4202560 167 0 0 0 81353 17 0 0 20 0 22 0 26072183 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109647187984 140109702688052 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18445] ppid=18401 vsize=9824732 CPUtime=813.63 cores=1,3,5,7
/proc/18404/task/18445/stat : 18445 (java) R 18401 18404 18358 0 -1 4202560 1706 0 0 0 81319 44 0 0 20 0 22 0 26072183 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109646142656 140109702502285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18446] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18446/stat : 18446 (java) S 18401 18404 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072192 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109645091752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18447] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18447/stat : 18447 (java) S 18401 18404 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072193 10060525568 894150 33554432000 1073741824 1073778376 140734229023104 140109644038952 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1653.71
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.24 4.08 3.32 5/219 18550
/proc/meminfo: memFree=23176100/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=9824732 CPUtime=1774.49 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 40110 0 8 0 177275 174 0 0 20 0 22 0 26072036 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 2456183 901948 2291 9 0 2446860 0
[pid=18404/tid=18407] ppid=18401 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/18404/task/18407/stat : 18407 (java) S 18401 18404 18358 0 -1 4202560 2482 0 6 0 106 7 0 0 20 0 22 0 26072039 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109831406456 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 15 0 0
[pid=18404/tid=18410] ppid=18401 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/18404/task/18410/stat : 18410 (java) S 18401 18404 18358 0 -1 4202560 495 0 0 0 249 13 0 0 20 0 22 0 26072048 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109820467752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18414] ppid=18401 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/18404/task/18414/stat : 18414 (java) S 18401 18404 18358 0 -1 4202560 596 0 0 0 279 13 0 0 20 0 22 0 26072048 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109674133928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18416] ppid=18401 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/18404/task/18416/stat : 18416 (java) S 18401 18404 18358 0 -1 4202560 538 0 0 0 260 13 0 0 20 0 22 0 26072048 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109673081128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18418] ppid=18401 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/18404/task/18418/stat : 18418 (java) S 18401 18404 18358 0 -1 4202560 532 0 0 0 254 13 0 0 20 0 22 0 26072048 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109672028328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18420] ppid=18401 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/18404/task/18420/stat : 18420 (java) S 18401 18404 18358 0 -1 4202560 475 0 0 0 262 12 0 0 20 0 22 0 26072048 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109670976552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18421] ppid=18401 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/18404/task/18421/stat : 18421 (java) S 18401 18404 18358 0 -1 4202560 424 0 0 0 247 11 0 0 20 0 22 0 26072048 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109669923752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18422] ppid=18401 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/18404/task/18422/stat : 18422 (java) S 18401 18404 18358 0 -1 4202560 417 0 0 0 235 13 0 0 20 0 22 0 26072048 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109668870952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18423] ppid=18401 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/18404/task/18423/stat : 18423 (java) S 18401 18404 18358 0 -1 4202560 599 0 0 0 225 15 0 0 20 0 22 0 26072048 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109667818152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18425] ppid=18401 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/18404/task/18425/stat : 18425 (java) S 18401 18404 18358 0 -1 4202560 2047 0 0 0 200 8 0 0 20 0 22 0 26072052 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109655620072 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18426] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18426/stat : 18426 (java) S 18401 18404 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109654566136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18429] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18429/stat : 18429 (java) S 18401 18404 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109653513224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18431] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18431/stat : 18431 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109652461712 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18433] ppid=18401 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/18404/task/18433/stat : 18433 (java) S 18401 18404 18358 0 -1 4202560 12543 0 1 0 147 3 0 0 20 0 22 0 26072061 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109651409848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18435] ppid=18401 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/18404/task/18435/stat : 18435 (java) S 18401 18404 18358 0 -1 4202560 15770 0 1 0 198 4 0 0 20 0 22 0 26072061 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109650357048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18437] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18437/stat : 18437 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109649304440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18439] ppid=18401 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/18404/task/18439/stat : 18439 (java) S 18401 18404 18358 0 -1 4202560 51 0 0 0 15 22 0 0 20 0 22 0 26072061 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109648251848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18444] ppid=18401 vsize=9824732 CPUtime=873.25 cores=1,3,5,7
/proc/18404/task/18444/stat : 18444 (java) R 18401 18404 18358 0 -1 4202560 169 0 0 0 87307 18 0 0 20 0 22 0 26072183 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109647194848 140109702688039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18445] ppid=18401 vsize=9824732 CPUtime=873.18 cores=1,3,5,7
/proc/18404/task/18445/stat : 18445 (java) R 18401 18404 18358 0 -1 4202560 1708 0 0 0 87273 45 0 0 20 0 22 0 26072183 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109646142816 140109702501965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18446] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18446/stat : 18446 (java) S 18401 18404 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072192 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109645091752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18447] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18447/stat : 18447 (java) S 18401 18404 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072193 10060525568 901948 33554432000 1073741824 1073778376 140734229023104 140109644038952 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1774.49
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.001 s]
/proc/loadavg: 4.20 4.08 3.33 5/219 18550
/proc/meminfo: memFree=23163692/32872528 swapFree=1286400/1433568
[pid=18404] ppid=18401 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/18404/stat : 18404 (java) S 18401 18404 18358 0 -1 4202496 40165 0 8 0 179833 174 0 0 20 0 22 0 26072036 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140734229014240 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18404/statm: 2456183 903021 2291 9 0 2446860 0
[pid=18404/tid=18407] ppid=18401 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/18404/task/18407/stat : 18407 (java) S 18401 18404 18358 0 -1 4202560 2482 0 6 0 106 7 0 0 20 0 22 0 26072039 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109831406456 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 15 0 0
[pid=18404/tid=18410] ppid=18401 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/18404/task/18410/stat : 18410 (java) S 18401 18404 18358 0 -1 4202560 495 0 0 0 256 13 0 0 20 0 22 0 26072048 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109820467752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18414] ppid=18401 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/18404/task/18414/stat : 18414 (java) S 18401 18404 18358 0 -1 4202560 596 0 0 0 282 13 0 0 20 0 22 0 26072048 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109674133928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18416] ppid=18401 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/18404/task/18416/stat : 18416 (java) S 18401 18404 18358 0 -1 4202560 539 0 0 0 270 13 0 0 20 0 22 0 26072048 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109673081128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18418] ppid=18401 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/18404/task/18418/stat : 18418 (java) S 18401 18404 18358 0 -1 4202560 533 0 0 0 260 13 0 0 20 0 22 0 26072048 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109672028328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18420] ppid=18401 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/18404/task/18420/stat : 18420 (java) S 18401 18404 18358 0 -1 4202560 475 0 0 0 265 12 0 0 20 0 22 0 26072048 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109670976552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18421] ppid=18401 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/18404/task/18421/stat : 18421 (java) S 18401 18404 18358 0 -1 4202560 425 0 0 0 251 11 0 0 20 0 22 0 26072048 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109669923752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18422] ppid=18401 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/18404/task/18422/stat : 18422 (java) S 18401 18404 18358 0 -1 4202560 467 0 0 0 239 13 0 0 20 0 22 0 26072048 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109668870952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18423] ppid=18401 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/18404/task/18423/stat : 18423 (java) S 18401 18404 18358 0 -1 4202560 600 0 0 0 228 15 0 0 20 0 22 0 26072048 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109667818152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18404/tid=18425] ppid=18401 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/18404/task/18425/stat : 18425 (java) S 18401 18404 18358 0 -1 4202560 2047 0 0 0 200 8 0 0 20 0 22 0 26072052 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109655620072 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18426] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18426/stat : 18426 (java) S 18401 18404 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109654566136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18429] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18429/stat : 18429 (java) S 18401 18404 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26072053 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109653513224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18431] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18431/stat : 18431 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109652461712 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18433] ppid=18401 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/18404/task/18433/stat : 18433 (java) S 18401 18404 18358 0 -1 4202560 12543 0 1 0 147 3 0 0 20 0 22 0 26072061 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109651409848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18435] ppid=18401 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/18404/task/18435/stat : 18435 (java) S 18401 18404 18358 0 -1 4202560 15770 0 1 0 198 4 0 0 20 0 22 0 26072061 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109650357048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18437] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18437/stat : 18437 (java) S 18401 18404 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26072061 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109649304440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18439] ppid=18401 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/18404/task/18439/stat : 18439 (java) S 18401 18404 18358 0 -1 4202560 51 0 0 0 15 23 0 0 20 0 22 0 26072061 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109648251848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18444] ppid=18401 vsize=9824732 CPUtime=885.83 cores=1,3,5,7
/proc/18404/task/18444/stat : 18444 (java) R 18401 18404 18358 0 -1 4202560 170 0 0 0 88565 18 0 0 20 0 22 0 26072183 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109647195712 140109702688160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18404/tid=18445] ppid=18401 vsize=9824732 CPUtime=885.77 cores=1,3,5,7
/proc/18404/task/18445/stat : 18445 (java) R 18401 18404 18358 0 -1 4202560 1708 0 0 0 88532 45 0 0 20 0 22 0 26072183 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109646142136 140109702477080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18404/tid=18446] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18446/stat : 18446 (java) S 18401 18404 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072192 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109645091752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18404/tid=18447] ppid=18401 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18404/task/18447/stat : 18447 (java) S 18401 18404 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26072193 10060525568 903021 33554432000 1073741824 1073778376 140734229023104 140109644038952 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 18404 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.071
CPU time (s): 1800.69
CPU user time (s): 1798.41
CPU system time (s): 2.28265
CPU usage (%): 201.178
Max. virtual memory (cumulated for all children) (KiB): 9826352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 2.28265
maximum resident set size= 3612200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40207
page faults= 8
swaps= 0
block input operations= 4968
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23127
involuntary context switches= 22598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01408 second user time and 7.36288 second system time
The end