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-4100378-1466209018/watcher-4100378-1466209018 -o /tmp/evaluation-result-4100378-1466209018/solver-4100378-1466209018 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466206074-14491 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100378-1466209018.opb
pid=16650
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.13 4.14 3.70 4/197 16653
/proc/meminfo: memFree=31174292/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/16653/stat : 16653 (java) R 16650 16653 14474 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 1 0 22948529 9445376 79 33554432000 1073741824 1073778376 140736542628464 140736542625592 242158181149 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2306 90 72 9 0 38 0
[startup+0.10006 s]
/proc/loadavg: 4.13 4.14 3.70 4/197 16653
/proc/meminfo: memFree=31174292/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 4376 0 1 0 9 0 0 0 20 0 18 0 22948529 9787879424 6016 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2389619 6016 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200218 s]
/proc/loadavg: 4.13 4.14 3.70 4/197 16653
/proc/meminfo: memFree=31174292/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 4685 0 1 0 24 0 0 0 20 0 18 0 22948529 9787879424 7283 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2389619 7283 2205 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300234 s]
/proc/loadavg: 4.13 4.14 3.70 4/197 16653
/proc/meminfo: memFree=31174292/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 5859 0 1 0 49 1 0 0 20 0 18 0 22948529 9787879424 10579 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2389619 10579 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.706863 s]
/proc/loadavg: 4.13 4.14 3.70 4/197 16653
/proc/meminfo: memFree=31174292/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9558476 CPUtime=1.44 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 16864 0 1 0 138 6 0 0 20 0 18 0 22948529 9787879424 46530 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2389619 46530 2254 9 0 2380296 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9558476
[startup+1.50086 s]
/proc/loadavg: 4.12 4.14 3.70 7/219 16675
/proc/meminfo: memFree=30981536/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 26935 0 1 0 432 11 0 0 20 0 22 0 22948529 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2456183 59626 2285 9 0 2446860 0
[pid=16653/tid=16655] ppid=16650 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/16653/task/16655/stat : 16655 (java) S 16650 16653 14474 0 -1 4202560 2527 0 1 0 66 3 0 0 20 0 22 0 22948530 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150672966520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16656] ppid=16650 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/16653/task/16656/stat : 16656 (java) S 16650 16653 14474 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 22948531 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150634457512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16657] ppid=16650 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/16653/task/16657/stat : 16657 (java) S 16650 16653 14474 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 22948531 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150633404968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16658] ppid=16650 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/16653/task/16658/stat : 16658 (java) S 16650 16653 14474 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 22 0 22948531 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150632351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16659] ppid=16650 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/16653/task/16659/stat : 16659 (java) S 16650 16653 14474 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 22948531 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150631299368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16660] ppid=16650 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/16653/task/16660/stat : 16660 (java) S 16650 16653 14474 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 22948531 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150630247336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16661] ppid=16650 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/16653/task/16661/stat : 16661 (java) S 16650 16653 14474 0 -1 4202560 115 0 0 0 3 0 0 0 20 0 22 0 22948531 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150629194792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16662] ppid=16650 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/16653/task/16662/stat : 16662 (java) S 16650 16653 14474 0 -1 4202560 82 0 0 0 2 0 0 0 20 0 22 0 22948531 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150628141736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16663] ppid=16650 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/16653/task/16663/stat : 16663 (java) S 16650 16653 14474 0 -1 4202560 75 0 0 0 1 0 0 0 20 0 22 0 22948531 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150627089192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16664] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16664/stat : 16664 (java) S 16650 16653 14474 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 22948532 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150496524648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16665] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16665/stat : 16665 (java) S 16650 16653 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150495470968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16666] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16666/stat : 16666 (java) S 16650 16653 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150494417800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16667] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16667/stat : 16667 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150493366544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16668] ppid=16650 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/16653/task/16668/stat : 16668 (java) R 16650 16653 14474 0 -1 4202560 8093 0 0 0 95 1 0 0 20 0 22 0 22948535 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150492313992 140150680833743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16669] ppid=16650 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/16653/task/16669/stat : 16669 (java) R 16650 16653 14474 0 -1 4202560 14494 0 0 0 108 3 0 0 20 0 22 0 22948535 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150491249296 140150677052833 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16670] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16670/stat : 16670 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150490209016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16671] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16671/stat : 16671 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140150489156680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16672] ppid=16650 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/16653/task/16672/stat : 16672 (java) R 16650 16653 14474 0 -1 4202560 20 0 0 0 68 0 0 0 20 0 22 0 22948605 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140149480478752 140150503976481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16673] ppid=16650 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/16653/task/16673/stat : 16673 (java) R 16650 16653 14474 0 -1 4202560 23 0 0 0 69 0 0 0 20 0 22 0 22948605 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140149479427264 140150504729461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16674] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16674/stat : 16674 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140149478376232 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16675] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16675/stat : 16675 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 59626 33554432000 1073741824 1073778376 140736542628464 140149477323688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 4.12 4.14 3.70 5/219 16675
/proc/meminfo: memFree=30787880/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9824732 CPUtime=8.29 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 32934 0 1 0 802 27 0 0 20 0 22 0 22948529 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2456183 158825 2285 9 0 2446860 0
[pid=16653/tid=16655] ppid=16650 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/16653/task/16655/stat : 16655 (java) S 16650 16653 14474 0 -1 4202560 2527 0 1 0 66 3 0 0 20 0 22 0 22948530 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150672966520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16656] ppid=16650 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/16653/task/16656/stat : 16656 (java) S 16650 16653 14474 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 22 0 22948531 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150634457512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16657] ppid=16650 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/16653/task/16657/stat : 16657 (java) S 16650 16653 14474 0 -1 4202560 60 0 0 0 4 2 0 0 20 0 22 0 22948531 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150633404968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16658] ppid=16650 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/16653/task/16658/stat : 16658 (java) S 16650 16653 14474 0 -1 4202560 123 0 0 0 3 0 0 0 20 0 22 0 22948531 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150632351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16659] ppid=16650 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/16653/task/16659/stat : 16659 (java) S 16650 16653 14474 0 -1 4202560 44 0 0 0 4 2 0 0 20 0 22 0 22948531 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150631299368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16660] ppid=16650 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16653/task/16660/stat : 16660 (java) S 16650 16653 14474 0 -1 4202560 53 0 0 0 6 2 0 0 20 0 22 0 22948531 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150630247336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16661] ppid=16650 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16653/task/16661/stat : 16661 (java) S 16650 16653 14474 0 -1 4202560 133 0 0 0 5 3 0 0 20 0 22 0 22948531 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150629194792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16662] ppid=16650 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/16653/task/16662/stat : 16662 (java) S 16650 16653 14474 0 -1 4202560 114 0 0 0 5 1 0 0 20 0 22 0 22948531 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150628141736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16663] ppid=16650 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16653/task/16663/stat : 16663 (java) S 16650 16653 14474 0 -1 4202560 117 0 0 0 6 2 0 0 20 0 22 0 22948531 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150627089192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16664] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16664/stat : 16664 (java) S 16650 16653 14474 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 22 0 22948532 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150496524648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16665] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16665/stat : 16665 (java) S 16650 16653 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150495470968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16666] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16666/stat : 16666 (java) S 16650 16653 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150494417800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16667] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16667/stat : 16667 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150493366544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16668] ppid=16650 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/16653/task/16668/stat : 16668 (java) S 16650 16653 14474 0 -1 4202560 13054 0 0 0 123 3 0 0 20 0 22 0 22948535 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150492314424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16669] ppid=16650 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/16653/task/16669/stat : 16669 (java) S 16650 16653 14474 0 -1 4202560 14573 0 0 0 127 3 0 0 20 0 22 0 22948535 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150491261880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16670] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16670/stat : 16670 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150490209016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16671] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16671/stat : 16671 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140150489156680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16672] ppid=16650 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/16653/task/16672/stat : 16672 (java) R 16650 16653 14474 0 -1 4202560 22 0 0 0 217 0 0 0 20 0 22 0 22948605 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140149480479512 140150504553393 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16673] ppid=16650 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/16653/task/16673/stat : 16673 (java) R 16650 16653 14474 0 -1 4202560 363 0 0 0 214 5 0 0 20 0 22 0 22948605 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140149479427672 140150504723369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16674] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16674/stat : 16674 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140149478376232 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16675] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16675/stat : 16675 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 158825 33554432000 1073741824 1073778376 140736542628464 140149477323688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.12 4.14 3.70 6/219 16675
/proc/meminfo: memFree=30018880/32872528 swapFree=338420/354772
[pid=16653] ppid=16650 vsize=9824732 CPUtime=14.83 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 34257 0 1 0 1445 38 0 0 20 0 22 0 22948529 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2456183 290380 2285 9 0 2446860 0
[pid=16653/tid=16655] ppid=16650 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/16653/task/16655/stat : 16655 (java) S 16650 16653 14474 0 -1 4202560 2527 0 1 0 66 3 0 0 20 0 22 0 22948530 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150672966520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16656] ppid=16650 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/16653/task/16656/stat : 16656 (java) S 16650 16653 14474 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 22 0 22948531 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150634457512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16657] ppid=16650 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/16653/task/16657/stat : 16657 (java) S 16650 16653 14474 0 -1 4202560 80 0 0 0 8 3 0 0 20 0 22 0 22948531 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150633404968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16658] ppid=16650 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/16653/task/16658/stat : 16658 (java) S 16650 16653 14474 0 -1 4202560 145 0 0 0 6 0 0 0 20 0 22 0 22948531 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150632351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16659] ppid=16650 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/16653/task/16659/stat : 16659 (java) S 16650 16653 14474 0 -1 4202560 55 0 0 0 7 2 0 0 20 0 22 0 22948531 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150631299368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16660] ppid=16650 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/16653/task/16660/stat : 16660 (java) S 16650 16653 14474 0 -1 4202560 58 0 0 0 7 3 0 0 20 0 22 0 22948531 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150630247336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16661] ppid=16650 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/16653/task/16661/stat : 16661 (java) S 16650 16653 14474 0 -1 4202560 160 0 0 0 11 3 0 0 20 0 22 0 22948531 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150629194792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16662] ppid=16650 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16653/task/16662/stat : 16662 (java) S 16650 16653 14474 0 -1 4202560 124 0 0 0 6 2 0 0 20 0 22 0 22948531 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150628141736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16663] ppid=16650 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/16653/task/16663/stat : 16663 (java) S 16650 16653 14474 0 -1 4202560 130 0 0 0 8 3 0 0 20 0 22 0 22948531 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150627089192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16664] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16664/stat : 16664 (java) S 16650 16653 14474 0 -1 4202560 956 0 0 0 0 0 0 0 20 0 22 0 22948532 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150496524648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16665] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16665/stat : 16665 (java) S 16650 16653 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150495470968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16666] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16666/stat : 16666 (java) S 16650 16653 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150494417800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16667] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16667/stat : 16667 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 290380 33554432000 1073741824 1073778376 140736542628464 140150493366544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16668] ppid=16650 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.27 4.13 3.93 5/220 16769
/proc/meminfo: memFree=27779452/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9824732 CPUtime=1655.87 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 41276 0 1 0 165423 164 0 0 20 0 22 0 22948529 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2456183 654239 2294 9 0 2446860 0
[pid=16653/tid=16655] ppid=16650 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/16653/task/16655/stat : 16655 (java) S 16650 16653 14474 0 -1 4202560 2531 0 1 0 68 5 0 0 20 0 22 0 22948530 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150672966520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16656] ppid=16650 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/16653/task/16656/stat : 16656 (java) S 16650 16653 14474 0 -1 4202560 400 0 0 0 287 8 0 0 20 0 22 0 22948531 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150634457512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16657] ppid=16650 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/16653/task/16657/stat : 16657 (java) S 16650 16653 14474 0 -1 4202560 433 0 0 0 279 9 0 0 20 0 22 0 22948531 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150633404968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16658] ppid=16650 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/16653/task/16658/stat : 16658 (java) S 16650 16653 14474 0 -1 4202560 482 0 0 0 277 8 0 0 20 0 22 0 22948531 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150632351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16659] ppid=16650 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/16653/task/16659/stat : 16659 (java) S 16650 16653 14474 0 -1 4202560 401 0 0 0 285 10 0 0 20 0 22 0 22948531 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150631299368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16660] ppid=16650 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/16653/task/16660/stat : 16660 (java) S 16650 16653 14474 0 -1 4202560 401 0 0 0 293 9 0 0 20 0 22 0 22948531 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150630247336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16661] ppid=16650 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/16653/task/16661/stat : 16661 (java) S 16650 16653 14474 0 -1 4202560 487 0 0 0 297 9 0 0 20 0 22 0 22948531 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150629194792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16662] ppid=16650 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/16653/task/16662/stat : 16662 (java) S 16650 16653 14474 0 -1 4202560 455 0 0 0 297 7 0 0 20 0 22 0 22948531 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150628141736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16663] ppid=16650 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/16653/task/16663/stat : 16663 (java) S 16650 16653 14474 0 -1 4202560 457 0 0 0 280 9 0 0 20 0 22 0 22948531 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150627089192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16664] ppid=16650 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/16653/task/16664/stat : 16664 (java) S 16650 16653 14474 0 -1 4202560 2140 0 0 0 103 21 0 0 20 0 22 0 22948532 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150496524648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16665] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16665/stat : 16665 (java) S 16650 16653 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150495470968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16666] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16666/stat : 16666 (java) S 16650 16653 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150494417800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16667] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16667/stat : 16667 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150493366544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16668] ppid=16650 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/16653/task/16668/stat : 16668 (java) S 16650 16653 14474 0 -1 4202560 13068 0 0 0 136 3 0 0 20 0 22 0 22948535 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150492314424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16669] ppid=16650 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/16653/task/16669/stat : 16669 (java) S 16650 16653 14474 0 -1 4202560 14652 0 0 0 177 3 0 0 20 0 22 0 22948535 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150491261880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16670] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16670/stat : 16670 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150490209016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16671] ppid=16650 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/16653/task/16671/stat : 16671 (java) S 16650 16653 14474 0 -1 4202560 46 0 0 0 18 18 0 0 20 0 22 0 22948535 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140150489156680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16672] ppid=16650 vsize=9824732 CPUtime=813.37 cores=1,3,5,7
/proc/16653/task/16672/stat : 16672 (java) R 16650 16653 14474 0 -1 4202560 205 0 0 0 81321 16 0 0 20 0 22 0 22948605 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140149480479392 140150504553393 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16673] ppid=16650 vsize=9824732 CPUtime=813.51 cores=1,3,5,7
/proc/16653/task/16673/stat : 16673 (java) R 16650 16653 14474 0 -1 4202560 3853 0 0 0 81291 60 0 0 20 0 22 0 22948605 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140149479427504 140150504678848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16674] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16674/stat : 16674 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140149478376232 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16675] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16675/stat : 16675 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 654239 33554432000 1073741824 1073778376 140736542628464 140149477323688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1655.87
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.19 4.14 3.94 5/219 16770
/proc/meminfo: memFree=25996864/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9824732 CPUtime=1776.69 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 41395 0 1 0 177501 168 0 0 20 0 22 0 22948529 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2456183 639534 2294 9 0 2446860 0
[pid=16653/tid=16655] ppid=16650 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/16653/task/16655/stat : 16655 (java) S 16650 16653 14474 0 -1 4202560 2532 0 1 0 69 5 0 0 20 0 22 0 22948530 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150672966520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16656] ppid=16650 vsize=9824732 CPUtime=3.18 cores=1,3,5,7
/proc/16653/task/16656/stat : 16656 (java) S 16650 16653 14474 0 -1 4202560 402 0 0 0 310 8 0 0 20 0 22 0 22948531 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150634457512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16657] ppid=16650 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/16653/task/16657/stat : 16657 (java) S 16650 16653 14474 0 -1 4202560 434 0 0 0 296 10 0 0 20 0 22 0 22948531 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150633404968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16658] ppid=16650 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/16653/task/16658/stat : 16658 (java) S 16650 16653 14474 0 -1 4202560 485 0 0 0 302 8 0 0 20 0 22 0 22948531 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150632351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16659] ppid=16650 vsize=9824732 CPUtime=3.17 cores=1,3,5,7
/proc/16653/task/16659/stat : 16659 (java) S 16650 16653 14474 0 -1 4202560 403 0 0 0 307 10 0 0 20 0 22 0 22948531 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150631299368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16660] ppid=16650 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/16653/task/16660/stat : 16660 (java) S 16650 16653 14474 0 -1 4202560 402 0 0 0 313 10 0 0 20 0 22 0 22948531 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150630247336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16661] ppid=16650 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/16653/task/16661/stat : 16661 (java) S 16650 16653 14474 0 -1 4202560 487 0 0 0 319 9 0 0 20 0 22 0 22948531 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150629194792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16662] ppid=16650 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/16653/task/16662/stat : 16662 (java) S 16650 16653 14474 0 -1 4202560 457 0 0 0 318 7 0 0 20 0 22 0 22948531 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150628141736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16663] ppid=16650 vsize=9824732 CPUtime=3.16 cores=1,3,5,7
/proc/16653/task/16663/stat : 16663 (java) S 16650 16653 14474 0 -1 4202560 457 0 0 0 307 9 0 0 20 0 22 0 22948531 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150627089192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16664] ppid=16650 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/16653/task/16664/stat : 16664 (java) S 16650 16653 14474 0 -1 4202560 2231 0 0 0 104 21 0 0 20 0 22 0 22948532 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150496524648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16665] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16665/stat : 16665 (java) S 16650 16653 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150495470968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16666] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16666/stat : 16666 (java) S 16650 16653 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150494417800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16667] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16667/stat : 16667 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150493366544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16668] ppid=16650 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/16653/task/16668/stat : 16668 (java) S 16650 16653 14474 0 -1 4202560 13068 0 0 0 136 3 0 0 20 0 22 0 22948535 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150492314424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16669] ppid=16650 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/16653/task/16669/stat : 16669 (java) S 16650 16653 14474 0 -1 4202560 14652 0 0 0 177 3 0 0 20 0 22 0 22948535 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150491261880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16670] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16670/stat : 16670 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150490209016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16671] ppid=16650 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/16653/task/16671/stat : 16671 (java) S 16650 16653 14474 0 -1 4202560 50 0 0 0 19 20 0 0 20 0 22 0 22948535 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140150489156680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16672] ppid=16650 vsize=9824732 CPUtime=872.88 cores=1,3,5,7
/proc/16653/task/16672/stat : 16672 (java) R 16650 16653 14474 0 -1 4202560 213 0 0 0 87271 17 0 0 20 0 22 0 22948605 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140149480480160 140150504738062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16673] ppid=16650 vsize=9824732 CPUtime=873 cores=1,3,5,7
/proc/16653/task/16673/stat : 16673 (java) R 16650 16653 14474 0 -1 4202560 3857 0 0 0 87238 62 0 0 20 0 22 0 22948605 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140149479426736 140150504352469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16674] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16674/stat : 16674 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140149478376232 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16675] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16675/stat : 16675 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 639534 33554432000 1073741824 1073778376 140736542628464 140149477323688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1776.69
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.001 s]
/proc/loadavg: 4.16 4.13 3.94 5/219 16770
/proc/meminfo: memFree=26000212/32872528 swapFree=338416/354768
[pid=16653] ppid=16650 vsize=9824732 CPUtime=1800.26 cores=1,3,5,7
/proc/16653/stat : 16653 (java) S 16650 16653 14474 0 -1 4202496 41410 0 1 0 179857 169 0 0 20 0 22 0 22948529 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140736542619600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16653/statm: 2456183 639434 2294 9 0 2446860 0
[pid=16653/tid=16655] ppid=16650 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/16653/task/16655/stat : 16655 (java) S 16650 16653 14474 0 -1 4202560 2533 0 1 0 69 5 0 0 20 0 22 0 22948530 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150672966520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16656] ppid=16650 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/16653/task/16656/stat : 16656 (java) S 16650 16653 14474 0 -1 4202560 403 0 0 0 315 8 0 0 20 0 22 0 22948531 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150634457512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16657] ppid=16650 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/16653/task/16657/stat : 16657 (java) S 16650 16653 14474 0 -1 4202560 437 0 0 0 300 10 0 0 20 0 22 0 22948531 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150633404968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16658] ppid=16650 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/16653/task/16658/stat : 16658 (java) S 16650 16653 14474 0 -1 4202560 485 0 0 0 305 8 0 0 20 0 22 0 22948531 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150632351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16659] ppid=16650 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/16653/task/16659/stat : 16659 (java) S 16650 16653 14474 0 -1 4202560 405 0 0 0 312 10 0 0 20 0 22 0 22948531 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150631299368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16660] ppid=16650 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/16653/task/16660/stat : 16660 (java) S 16650 16653 14474 0 -1 4202560 405 0 0 0 319 10 0 0 20 0 22 0 22948531 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150630247336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16661] ppid=16650 vsize=9824732 CPUtime=3.31 cores=1,3,5,7
/proc/16653/task/16661/stat : 16661 (java) S 16650 16653 14474 0 -1 4202560 488 0 0 0 322 9 0 0 20 0 22 0 22948531 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150629194792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16662] ppid=16650 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/16653/task/16662/stat : 16662 (java) S 16650 16653 14474 0 -1 4202560 458 0 0 0 323 7 0 0 20 0 22 0 22948531 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150628141736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16663] ppid=16650 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/16653/task/16663/stat : 16663 (java) S 16650 16653 14474 0 -1 4202560 458 0 0 0 315 9 0 0 20 0 22 0 22948531 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150627089192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16664] ppid=16650 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/16653/task/16664/stat : 16664 (java) S 16650 16653 14474 0 -1 4202560 2231 0 0 0 104 21 0 0 20 0 22 0 22948532 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150496524648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16665] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16665/stat : 16665 (java) S 16650 16653 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150495470968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16666] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16666/stat : 16666 (java) S 16650 16653 14474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22948533 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150494417800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16667] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16667/stat : 16667 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150493366544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16668] ppid=16650 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/16653/task/16668/stat : 16668 (java) S 16650 16653 14474 0 -1 4202560 13068 0 0 0 136 3 0 0 20 0 22 0 22948535 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150492314424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16653/tid=16669] ppid=16650 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/16653/task/16669/stat : 16669 (java) S 16650 16653 14474 0 -1 4202560 14652 0 0 0 177 3 0 0 20 0 22 0 22948535 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150491261880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16670] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16670/stat : 16670 (java) S 16650 16653 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22948535 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150490209016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16671] ppid=16650 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/16653/task/16671/stat : 16671 (java) S 16650 16653 14474 0 -1 4202560 50 0 0 0 20 20 0 0 20 0 22 0 22948535 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140150489156680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16653/tid=16672] ppid=16650 vsize=9824732 CPUtime=884.47 cores=1,3,5,7
/proc/16653/task/16672/stat : 16672 (java) R 16650 16653 14474 0 -1 4202560 213 0 0 0 88430 17 0 0 20 0 22 0 22948605 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140149480480280 140150504553393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16673] ppid=16650 vsize=9824732 CPUtime=884.59 cores=1,3,5,7
/proc/16653/task/16673/stat : 16673 (java) R 16650 16653 14474 0 -1 4202560 3859 0 0 0 88397 62 0 0 20 0 22 0 22948605 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140149479426728 140150504354712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16653/tid=16674] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16674/stat : 16674 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140149478376232 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16653/tid=16675] ppid=16650 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16653/task/16675/stat : 16675 (java) S 16650 16653 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22948607 10060525568 639434 33554432000 1073741824 1073778376 140736542628464 140149477323688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
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 16653 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.074
CPU time (s): 1800.92
CPU user time (s): 1798.74
CPU system time (s): 2.18067
CPU usage (%): 201.428
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 2.18067
maximum resident set size= 2874284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41447
page faults= 1
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30334
involuntary context switches= 52471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8941 second user time and 7.45387 second system time
The end