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-4116486-1466971095/watcher-4116486-1466971095 -o /tmp/evaluation-result-4116486-1466971095/solver-4116486-1466971095 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466969304-22024 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116486-1466971095.opb
pid=22322
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.25 4.26 3.94 4/197 22325
/proc/meminfo: memFree=26670028/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22325/stat : 22325 (java) R 22322 22325 22007 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 30148874 9515008 176 33554432000 1073741824 1073778376 140733203125696 140733203122824 266435642256 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2323 176 133 9 0 71 0
[startup+0.100111 s]
/proc/loadavg: 4.25 4.26 3.94 4/197 22325
/proc/meminfo: memFree=26670028/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 4414 0 1 0 8 1 0 0 20 0 18 0 30148874 9787879424 6036 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2389619 6036 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.20022 s]
/proc/loadavg: 4.25 4.26 3.94 4/197 22325
/proc/meminfo: memFree=26670028/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 4694 0 1 0 23 1 0 0 20 0 18 0 30148874 9787879424 6779 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2389619 6779 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300221 s]
/proc/loadavg: 4.25 4.26 3.94 4/197 22325
/proc/meminfo: memFree=26670028/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 5878 0 1 0 46 1 0 0 20 0 18 0 30148874 9787879424 8851 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2389619 8851 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700202 s]
/proc/loadavg: 4.25 4.26 3.94 4/197 22325
/proc/meminfo: memFree=26670028/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 14372 0 1 0 168 4 0 0 20 0 22 0 30148874 10060525568 23599 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2456183 23599 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 4.25 4.26 3.94 5/196 22349
/proc/meminfo: memFree=30143496/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9824732 CPUtime=4.68 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 20729 0 1 0 460 8 0 0 20 0 22 0 30148874 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2456183 46462 2292 9 0 2446860 0
[pid=22325/tid=22327] ppid=22322 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/22325/task/22327/stat : 22327 (java) S 22322 22325 22007 0 -1 4202560 2479 0 1 0 46 2 0 0 20 0 22 0 30148875 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380479865720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22328] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22328/stat : 22328 (java) S 22322 22325 22007 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30148876 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380323396008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22329] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22329/stat : 22329 (java) S 22322 22325 22007 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30148876 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380322343464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22330] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22330/stat : 22330 (java) S 22322 22325 22007 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30148876 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380321290408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22331] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22331/stat : 22331 (java) S 22322 22325 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30148876 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380320237864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22332] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22332/stat : 22332 (java) S 22322 22325 22007 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 30148876 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380319185832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22333] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22333/stat : 22333 (java) S 22322 22325 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30148876 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380318133288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22334] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22334/stat : 22334 (java) S 22322 22325 22007 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30148876 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380317080232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22335] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22335/stat : 22335 (java) S 22322 22325 22007 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 30148876 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380316027688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22336] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22336/stat : 22336 (java) S 22322 22325 22007 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380303829352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22337] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22337/stat : 22337 (java) S 22322 22325 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380302775672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22338] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22338/stat : 22338 (java) S 22322 22325 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380301722504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22339] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22339/stat : 22339 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380300671248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22340] ppid=22322 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/22325/task/22340/stat : 22340 (java) S 22322 22325 22007 0 -1 4202560 10624 0 0 0 110 2 0 0 20 0 22 0 30148880 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380299619128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22341] ppid=22322 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/22325/task/22341/stat : 22341 (java) S 22322 22325 22007 0 -1 4202560 6155 0 0 0 107 2 0 0 20 0 22 0 30148880 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380298566584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22342] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22342/stat : 22342 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380297513720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22343] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22343/stat : 22343 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380296461384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22344] ppid=22322 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/22325/task/22344/stat : 22344 (java) R 22322 22325 22007 0 -1 4202560 17 0 0 0 95 0 0 0 20 0 22 0 30148925 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380295406008 140380352540259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22345] ppid=22322 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/22325/task/22345/stat : 22345 (java) R 22322 22325 22007 0 -1 4202560 72 0 0 0 91 2 0 0 20 0 22 0 30148925 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380294352728 140380352553549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22346] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22346/stat : 22346 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380293301032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22347] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22347/stat : 22347 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 46462 33554432000 1073741824 1073778376 140733203125696 140380292248488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 9824732
[startup+3.10085 s]
/proc/loadavg: 4.15 4.24 3.93 7/219 22416
/proc/meminfo: memFree=29908328/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9824732 CPUtime=8.26 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 21029 0 1 0 810 16 0 0 20 0 22 0 30148874 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2456183 89092 2292 9 0 2446860 0
[pid=22325/tid=22327] ppid=22322 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/22325/task/22327/stat : 22327 (java) S 22322 22325 22007 0 -1 4202560 2479 0 1 0 46 2 0 0 20 0 22 0 30148875 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380479865720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22328] ppid=22322 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22325/task/22328/stat : 22328 (java) S 22322 22325 22007 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 30148876 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380323396008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22329] ppid=22322 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22325/task/22329/stat : 22329 (java) S 22322 22325 22007 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 30148876 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380322343464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22330] ppid=22322 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22325/task/22330/stat : 22330 (java) S 22322 22325 22007 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 30148876 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380321290408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22331] ppid=22322 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22325/task/22331/stat : 22331 (java) S 22322 22325 22007 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 22 0 30148876 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380320237864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22332] ppid=22322 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22325/task/22332/stat : 22332 (java) S 22322 22325 22007 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 30148876 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380319185832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22333] ppid=22322 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/22325/task/22333/stat : 22333 (java) S 22322 22325 22007 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 30148876 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380318133288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22334] ppid=22322 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/22325/task/22334/stat : 22334 (java) S 22322 22325 22007 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 30148876 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380317080232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22335] ppid=22322 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/22325/task/22335/stat : 22335 (java) S 22322 22325 22007 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 22 0 30148876 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380316027688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22336] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22336/stat : 22336 (java) S 22322 22325 22007 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380303829352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22337] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22337/stat : 22337 (java) S 22322 22325 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380302775672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22338] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22338/stat : 22338 (java) S 22322 22325 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380301722504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22339] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22339/stat : 22339 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380300671248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22340] ppid=22322 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/22325/task/22340/stat : 22340 (java) S 22322 22325 22007 0 -1 4202560 10624 0 0 0 122 2 0 0 20 0 22 0 30148880 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380299619128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22341] ppid=22322 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/22325/task/22341/stat : 22341 (java) S 22322 22325 22007 0 -1 4202560 6161 0 0 0 120 2 0 0 20 0 22 0 30148880 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380298566584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22342] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22342/stat : 22342 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380297513720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22343] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22343/stat : 22343 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380296461384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22344] ppid=22322 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/22325/task/22344/stat : 22344 (java) R 22322 22325 22007 0 -1 4202560 20 0 0 0 248 0 0 0 20 0 22 0 30148925 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380295397280 140380352692893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22345] ppid=22322 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/22325/task/22345/stat : 22345 (java) R 22322 22325 22007 0 -1 4202560 130 0 0 0 243 4 0 0 20 0 22 0 30148925 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380294352416 140380352682292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22346] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22346/stat : 22346 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380293301032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22347] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22347/stat : 22347 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 89092 33554432000 1073741824 1073778376 140733203125696 140380292248488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.15 4.24 3.93 6/219 22416
/proc/meminfo: memFree=29299572/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9824732 CPUtime=14.82 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 21587 0 1 0 1455 27 0 0 20 0 22 0 30148874 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2456183 161965 2292 9 0 2446860 0
[pid=22325/tid=22327] ppid=22322 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/22325/task/22327/stat : 22327 (java) S 22322 22325 22007 0 -1 4202560 2479 0 1 0 46 2 0 0 20 0 22 0 30148875 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380479865720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22328] ppid=22322 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22325/task/22328/stat : 22328 (java) S 22322 22325 22007 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 22 0 30148876 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380323396008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22329] ppid=22322 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/22325/task/22329/stat : 22329 (java) S 22322 22325 22007 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 30148876 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380322343464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22330] ppid=22322 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/22325/task/22330/stat : 22330 (java) S 22322 22325 22007 0 -1 4202560 46 0 0 0 6 2 0 0 20 0 22 0 30148876 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380321290408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22331] ppid=22322 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/22325/task/22331/stat : 22331 (java) S 22322 22325 22007 0 -1 4202560 68 0 0 0 8 3 0 0 20 0 22 0 30148876 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380320237864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22332] ppid=22322 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/22325/task/22332/stat : 22332 (java) S 22322 22325 22007 0 -1 4202560 60 0 0 0 4 2 0 0 20 0 22 0 30148876 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380319185832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22333] ppid=22322 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22325/task/22333/stat : 22333 (java) S 22322 22325 22007 0 -1 4202560 29 0 0 0 4 1 0 0 20 0 22 0 30148876 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380318133288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22334] ppid=22322 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22325/task/22334/stat : 22334 (java) S 22322 22325 22007 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 22 0 30148876 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380317080232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22335] ppid=22322 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/22325/task/22335/stat : 22335 (java) S 22322 22325 22007 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 22 0 30148876 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380316027688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22336] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22336/stat : 22336 (java) S 22322 22325 22007 0 -1 4202560 465 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380303829352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22337] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22337/stat : 22337 (java) S 22322 22325 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380302775672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22338] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22338/stat : 22338 (java) S 22322 22325 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380301722504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22339] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22339/stat : 22339 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 161965 33554432000 1073741824 1073778376 140733203125696 140380300671248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22340] ppid=22322 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.09 4.28 4.13 6/219 22461
/proc/meminfo: memFree=22787620/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9824732 CPUtime=1653.83 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 39540 0 1 0 165181 202 0 0 20 0 22 0 30148874 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2456183 935983 2301 9 0 2446860 0
[pid=22325/tid=22327] ppid=22322 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/22325/task/22327/stat : 22327 (java) S 22322 22325 22007 0 -1 4202560 2483 0 1 0 49 3 0 0 20 0 22 0 30148875 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380479865720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22328] ppid=22322 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/22325/task/22328/stat : 22328 (java) S 22322 22325 22007 0 -1 4202560 619 0 0 0 268 16 0 0 20 0 22 0 30148876 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380323396008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22329] ppid=22322 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/22325/task/22329/stat : 22329 (java) S 22322 22325 22007 0 -1 4202560 589 0 0 0 249 16 0 0 20 0 22 0 30148876 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380322343464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22330] ppid=22322 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/22325/task/22330/stat : 22330 (java) S 22322 22325 22007 0 -1 4202560 693 0 0 0 248 16 0 0 20 0 22 0 30148876 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380321290408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22331] ppid=22322 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/22325/task/22331/stat : 22331 (java) S 22322 22325 22007 0 -1 4202560 682 0 0 0 254 18 0 0 20 0 22 0 30148876 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380320237864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22332] ppid=22322 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/22325/task/22332/stat : 22332 (java) S 22322 22325 22007 0 -1 4202560 649 0 0 0 262 15 0 0 20 0 22 0 30148876 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380319185832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22333] ppid=22322 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/22325/task/22333/stat : 22333 (java) S 22322 22325 22007 0 -1 4202560 589 0 0 0 246 16 0 0 20 0 22 0 30148876 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380318133288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22334] ppid=22322 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/22325/task/22334/stat : 22334 (java) S 22322 22325 22007 0 -1 4202560 632 0 0 0 260 17 0 0 20 0 22 0 30148876 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380317080232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22335] ppid=22322 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/22325/task/22335/stat : 22335 (java) S 22322 22325 22007 0 -1 4202560 581 0 0 0 243 15 0 0 20 0 22 0 30148876 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380316027688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22336] ppid=22322 vsize=9824732 CPUtime=3.78 cores=1,3,5,7
/proc/22325/task/22336/stat : 22336 (java) S 22322 22325 22007 0 -1 4202560 2348 0 0 0 370 8 0 0 20 0 22 0 30148877 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380303829352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22337] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22337/stat : 22337 (java) S 22322 22325 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380302775672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22338] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22338/stat : 22338 (java) S 22322 22325 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380301722504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22339] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22339/stat : 22339 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380300671248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22340] ppid=22322 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/22325/task/22340/stat : 22340 (java) S 22322 22325 22007 0 -1 4202560 19978 0 0 0 220 4 0 0 20 0 22 0 30148880 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380299619128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22341] ppid=22322 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/22325/task/22341/stat : 22341 (java) S 22322 22325 22007 0 -1 4202560 6161 0 0 0 126 2 0 0 20 0 22 0 30148880 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380298566584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22342] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22342/stat : 22342 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380297513720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22343] ppid=22322 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/22325/task/22343/stat : 22343 (java) S 22322 22325 22007 0 -1 4202560 47 0 0 0 13 21 0 0 20 0 22 0 30148880 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380296461384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22344] ppid=22322 vsize=9824732 CPUtime=812.09 cores=1,3,5,7
/proc/22325/task/22344/stat : 22344 (java) R 22322 22325 22007 0 -1 4202560 73 0 0 0 81193 16 0 0 20 0 22 0 30148925 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380295404976 140380352540296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22345] ppid=22322 vsize=9824732 CPUtime=812.17 cores=1,3,5,7
/proc/22325/task/22345/stat : 22345 (java) R 22322 22325 22007 0 -1 4202560 2151 0 0 0 81166 51 0 0 20 0 22 0 30148925 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380294353536 140380352578733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22346] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22346/stat : 22346 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380293301032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22347] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22347/stat : 22347 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 935983 33554432000 1073741824 1073778376 140733203125696 140380292248488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1653.83
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.17 4.27 4.14 5/219 22462
/proc/meminfo: memFree=22694812/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9824732 CPUtime=1774.65 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 39610 0 1 0 177258 207 0 0 20 0 22 0 30148874 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2456183 947250 2301 9 0 2446860 0
[pid=22325/tid=22327] ppid=22322 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/22325/task/22327/stat : 22327 (java) S 22322 22325 22007 0 -1 4202560 2483 0 1 0 49 3 0 0 20 0 22 0 30148875 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380479865720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22328] ppid=22322 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/22325/task/22328/stat : 22328 (java) S 22322 22325 22007 0 -1 4202560 621 0 0 0 283 16 0 0 20 0 22 0 30148876 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380323396008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22329] ppid=22322 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/22325/task/22329/stat : 22329 (java) S 22322 22325 22007 0 -1 4202560 600 0 0 0 276 17 0 0 20 0 22 0 30148876 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380322343464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22330] ppid=22322 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/22325/task/22330/stat : 22330 (java) S 22322 22325 22007 0 -1 4202560 700 0 0 0 276 16 0 0 20 0 22 0 30148876 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380321290408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22331] ppid=22322 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/22325/task/22331/stat : 22331 (java) S 22322 22325 22007 0 -1 4202560 685 0 0 0 272 18 0 0 20 0 22 0 30148876 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380320237864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22332] ppid=22322 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/22325/task/22332/stat : 22332 (java) S 22322 22325 22007 0 -1 4202560 659 0 0 0 290 16 0 0 20 0 22 0 30148876 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380319185832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22333] ppid=22322 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/22325/task/22333/stat : 22333 (java) S 22322 22325 22007 0 -1 4202560 593 0 0 0 260 17 0 0 20 0 22 0 30148876 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380318133288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22334] ppid=22322 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/22325/task/22334/stat : 22334 (java) S 22322 22325 22007 0 -1 4202560 642 0 0 0 289 17 0 0 20 0 22 0 30148876 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380317080232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22335] ppid=22322 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/22325/task/22335/stat : 22335 (java) S 22322 22325 22007 0 -1 4202560 584 0 0 0 260 15 0 0 20 0 22 0 30148876 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380316027688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22336] ppid=22322 vsize=9824732 CPUtime=3.79 cores=1,3,5,7
/proc/22325/task/22336/stat : 22336 (java) S 22322 22325 22007 0 -1 4202560 2358 0 0 0 371 8 0 0 20 0 22 0 30148877 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380303829352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22337] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22337/stat : 22337 (java) S 22322 22325 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380302775672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22338] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22338/stat : 22338 (java) S 22322 22325 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380301722504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22339] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22339/stat : 22339 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380300671248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22340] ppid=22322 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/22325/task/22340/stat : 22340 (java) S 22322 22325 22007 0 -1 4202560 19978 0 0 0 220 4 0 0 20 0 22 0 30148880 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380299619128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22341] ppid=22322 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/22325/task/22341/stat : 22341 (java) S 22322 22325 22007 0 -1 4202560 6161 0 0 0 126 2 0 0 20 0 22 0 30148880 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380298566584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22342] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22342/stat : 22342 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380297513720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22343] ppid=22322 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/22325/task/22343/stat : 22343 (java) S 22322 22325 22007 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 30148880 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380296461384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22344] ppid=22322 vsize=9824732 CPUtime=871.58 cores=1,3,5,7
/proc/22325/task/22344/stat : 22344 (java) R 22322 22325 22007 0 -1 4202560 74 0 0 0 87141 17 0 0 20 0 22 0 30148925 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380295404976 140380352540264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22345] ppid=22322 vsize=9824732 CPUtime=871.66 cores=1,3,5,7
/proc/22325/task/22345/stat : 22345 (java) R 22322 22325 22007 0 -1 4202560 2156 0 0 0 87113 53 0 0 20 0 22 0 30148925 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380294351216 140380352730759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22346] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22346/stat : 22346 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380293301032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22347] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22347/stat : 22347 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 947250 33554432000 1073741824 1073778376 140733203125696 140380292248488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1774.65
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.001 s]
/proc/loadavg: 4.22 4.28 4.14 5/219 22462
/proc/meminfo: memFree=22680356/32872528 swapFree=1437460/1543748
[pid=22325] ppid=22322 vsize=9824732 CPUtime=1800.15 cores=1,3,5,7
/proc/22325/stat : 22325 (java) S 22322 22325 22007 0 -1 4202496 39640 0 1 0 179807 208 0 0 20 0 22 0 30148874 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140733203116832 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22325/statm: 2456183 950835 2301 9 0 2446860 0
[pid=22325/tid=22327] ppid=22322 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/22325/task/22327/stat : 22327 (java) S 22322 22325 22007 0 -1 4202560 2483 0 1 0 49 3 0 0 20 0 22 0 30148875 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380479865720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22328] ppid=22322 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/22325/task/22328/stat : 22328 (java) S 22322 22325 22007 0 -1 4202560 628 0 0 0 289 16 0 0 20 0 22 0 30148876 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380323396008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22329] ppid=22322 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/22325/task/22329/stat : 22329 (java) S 22322 22325 22007 0 -1 4202560 607 0 0 0 283 17 0 0 20 0 22 0 30148876 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380322343464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22330] ppid=22322 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/22325/task/22330/stat : 22330 (java) S 22322 22325 22007 0 -1 4202560 703 0 0 0 277 16 0 0 20 0 22 0 30148876 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380321290408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22331] ppid=22322 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/22325/task/22331/stat : 22331 (java) S 22322 22325 22007 0 -1 4202560 686 0 0 0 274 18 0 0 20 0 22 0 30148876 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380320237864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22332] ppid=22322 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/22325/task/22332/stat : 22332 (java) S 22322 22325 22007 0 -1 4202560 664 0 0 0 294 16 0 0 20 0 22 0 30148876 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380319185832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22333] ppid=22322 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/22325/task/22333/stat : 22333 (java) S 22322 22325 22007 0 -1 4202560 594 0 0 0 264 17 0 0 20 0 22 0 30148876 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380318133288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22334] ppid=22322 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/22325/task/22334/stat : 22334 (java) S 22322 22325 22007 0 -1 4202560 644 0 0 0 291 18 0 0 20 0 22 0 30148876 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380317080232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22335] ppid=22322 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/22325/task/22335/stat : 22335 (java) S 22322 22325 22007 0 -1 4202560 585 0 0 0 262 15 0 0 20 0 22 0 30148876 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380316027688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22336] ppid=22322 vsize=9824732 CPUtime=3.79 cores=1,3,5,7
/proc/22325/task/22336/stat : 22336 (java) S 22322 22325 22007 0 -1 4202560 2359 0 0 0 371 8 0 0 20 0 22 0 30148877 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380303829352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22337] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22337/stat : 22337 (java) S 22322 22325 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380302775672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22338] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22338/stat : 22338 (java) S 22322 22325 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30148877 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380301722504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22339] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22339/stat : 22339 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380300671248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22340] ppid=22322 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/22325/task/22340/stat : 22340 (java) S 22322 22325 22007 0 -1 4202560 19978 0 0 0 220 4 0 0 20 0 22 0 30148880 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380299619128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22325/tid=22341] ppid=22322 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/22325/task/22341/stat : 22341 (java) S 22322 22325 22007 0 -1 4202560 6161 0 0 0 126 2 0 0 20 0 22 0 30148880 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380298566584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22342] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22342/stat : 22342 (java) S 22322 22325 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30148880 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380297513720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22343] ppid=22322 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/22325/task/22343/stat : 22343 (java) S 22322 22325 22007 0 -1 4202560 51 0 0 0 14 23 0 0 20 0 22 0 30148880 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380296461384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22344] ppid=22322 vsize=9824732 CPUtime=884.2 cores=1,3,5,7
/proc/22325/task/22344/stat : 22344 (java) R 22322 22325 22007 0 -1 4202560 75 0 0 0 88402 18 0 0 20 0 22 0 30148925 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380295397360 140380352639832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22325/tid=22345] ppid=22322 vsize=9824732 CPUtime=884.28 cores=1,3,5,7
/proc/22325/task/22345/stat : 22345 (java) R 22322 22325 22007 0 -1 4202560 2157 0 0 0 88375 53 0 0 20 0 22 0 30148925 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380294353656 140380352578733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22325/tid=22346] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22346/stat : 22346 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380293301032 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22325/tid=22347] ppid=22322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22325/task/22347/stat : 22347 (java) S 22322 22325 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30148926 10060525568 950835 33554432000 1073741824 1073778376 140733203125696 140380292248488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
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 22325 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.76
CPU user time (s): 1798.15
CPU system time (s): 2.6126
CPU usage (%): 201.186
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.15
system time used= 2.6126
maximum resident set size= 3803456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39674
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24123
involuntary context switches= 27416
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75197 second user time and 6.64599 second system time
The end