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-4116238-1466953083/watcher-4116238-1466953083 -o /tmp/evaluation-result-4116238-1466953083/solver-4116238-1466953083 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116238-1466953083.opb
pid=19608
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.06 4.15 4.21 5/197 19611
/proc/meminfo: memFree=27182180/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19611/stat : 19611 (java) R 19608 19611 18126 0 -1 4202496 492 0 0 0 0 0 0 0 20 0 1 0 28347673 9515008 146 33554432000 1073741824 1073778376 140735826586608 140735826583736 266435262720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2323 150 110 9 0 71 0
[startup+0.100061 s]
/proc/loadavg: 4.06 4.15 4.21 5/197 19611
/proc/meminfo: memFree=27182180/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 4430 0 1 0 8 1 0 0 20 0 18 0 28347673 9787879424 6050 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2389619 6050 2125 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.06 4.15 4.21 5/197 19611
/proc/meminfo: memFree=27182180/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 4713 0 1 0 22 2 0 0 20 0 18 0 28347673 9787879424 6792 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2389619 6792 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300226 s]
/proc/loadavg: 4.06 4.15 4.21 5/197 19611
/proc/meminfo: memFree=27182180/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 5840 0 1 0 46 2 0 0 20 0 18 0 28347673 9787879424 8318 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2389619 8318 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700198 s]
/proc/loadavg: 4.06 4.15 4.21 5/197 19611
/proc/meminfo: memFree=27182180/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 14672 0 1 0 178 4 0 0 20 0 22 0 28347673 10060525568 23428 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2456183 23428 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9824732
[startup+1.50093 s]
/proc/loadavg: 4.06 4.15 4.21 8/219 19633
/proc/meminfo: memFree=27055660/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 23657 0 1 0 486 8 0 0 20 0 22 0 28347673 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2456183 47648 2288 9 0 2446860 0
[pid=19611/tid=19613] ppid=19608 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19611/task/19613/stat : 19613 (java) R 19608 19611 18126 0 -1 4202560 2435 0 1 0 44 2 0 0 20 0 22 0 28347674 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674189861752 266439014313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19614] ppid=19608 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19611/task/19614/stat : 19614 (java) S 19608 19611 18126 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 28347676 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674151353000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19615] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19615/stat : 19615 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347676 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674150300456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19616] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19616/stat : 19616 (java) S 19608 19611 18126 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 28347676 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674149247912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19617] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19617/stat : 19617 (java) S 19608 19611 18126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28347676 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674148195368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=19611/tid=19618] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19618/stat : 19618 (java) S 19608 19611 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28347676 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674147141800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19619] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19619/stat : 19619 (java) S 19608 19611 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28347676 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674146089256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19620] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19620/stat : 19620 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347676 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674145036712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19621] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19621/stat : 19621 (java) S 19608 19611 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28347676 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674143984168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19622] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19622/stat : 19622 (java) S 19608 19611 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674013825640 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19623] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19623/stat : 19623 (java) S 19608 19611 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674012771960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19624] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19624/stat : 19624 (java) S 19608 19611 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674011719304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19625] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19625/stat : 19625 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674010668048 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19626] ppid=19608 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/19611/task/19626/stat : 19626 (java) S 19608 19611 18126 0 -1 4202560 9353 0 0 0 113 2 0 0 20 0 22 0 28347680 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674009614392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19627] ppid=19608 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/19611/task/19627/stat : 19627 (java) R 19608 19611 18126 0 -1 4202560 10401 0 0 0 124 1 0 0 20 0 22 0 28347680 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674008538296 140674193949808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19628] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19628/stat : 19628 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674007509496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19629] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19629/stat : 19629 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674006457160 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19630] ppid=19608 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/19611/task/19630/stat : 19630 (java) R 19608 19611 18126 0 -1 4202560 20 0 0 0 95 0 0 0 20 0 22 0 28347723 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140674005037776 140674020848171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19631] ppid=19608 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/19611/task/19631/stat : 19631 (java) R 19608 19611 18126 0 -1 4202560 75 0 0 0 94 1 0 0 20 0 22 0 28347724 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140672862511192 140674020901467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19632] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19632/stat : 19632 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140672861460008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19633] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19633/stat : 19633 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 47648 33554432000 1073741824 1073778376 140735826586608 140672860407464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 9824732
[startup+3.10099 s]
/proc/loadavg: 4.06 4.15 4.21 5/219 19633
/proc/meminfo: memFree=26916832/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9824732 CPUtime=8.92 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 26234 0 1 0 878 14 0 0 20 0 22 0 28347673 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2456183 90791 2292 9 0 2446860 0
[pid=19611/tid=19613] ppid=19608 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19611/task/19613/stat : 19613 (java) S 19608 19611 18126 0 -1 4202560 2436 0 1 0 44 2 0 0 20 0 22 0 28347674 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674189861752 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19614] ppid=19608 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19611/task/19614/stat : 19614 (java) S 19608 19611 18126 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 22 0 28347676 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674151353000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19615] ppid=19608 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19611/task/19615/stat : 19615 (java) S 19608 19611 18126 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 28347676 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674150300456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19616] ppid=19608 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19611/task/19616/stat : 19616 (java) S 19608 19611 18126 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 28347676 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674149247912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19617] ppid=19608 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19611/task/19617/stat : 19617 (java) S 19608 19611 18126 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 22 0 28347676 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674148195368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 1 0 0
[pid=19611/tid=19618] ppid=19608 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19611/task/19618/stat : 19618 (java) S 19608 19611 18126 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 28347676 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674147141800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19619] ppid=19608 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19611/task/19619/stat : 19619 (java) S 19608 19611 18126 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 22 0 28347676 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674146089256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19620] ppid=19608 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19611/task/19620/stat : 19620 (java) S 19608 19611 18126 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 22 0 28347676 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674145036712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19621] ppid=19608 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19611/task/19621/stat : 19621 (java) S 19608 19611 18126 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 22 0 28347676 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674143984168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19622] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19622/stat : 19622 (java) S 19608 19611 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674013825640 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19623] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19623/stat : 19623 (java) S 19608 19611 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674012771960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19624] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19624/stat : 19624 (java) S 19608 19611 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674011719304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19625] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19625/stat : 19625 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674010668048 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19626] ppid=19608 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/19611/task/19626/stat : 19626 (java) S 19608 19611 18126 0 -1 4202560 9357 0 0 0 139 2 0 0 20 0 22 0 28347680 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674009614392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19627] ppid=19608 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/19611/task/19627/stat : 19627 (java) S 19608 19611 18126 0 -1 4202560 12685 0 0 0 162 2 0 0 20 0 22 0 28347680 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674008561848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19628] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19628/stat : 19628 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674007509496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19629] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19629/stat : 19629 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674006457160 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19630] ppid=19608 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/19611/task/19630/stat : 19630 (java) R 19608 19611 18126 0 -1 4202560 21 0 0 0 247 0 0 0 20 0 22 0 28347723 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140674005036056 140674020848144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19631] ppid=19608 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/19611/task/19631/stat : 19631 (java) R 19608 19611 18126 0 -1 4202560 135 0 0 0 245 3 0 0 20 0 22 0 28347724 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140672862510864 140674021278673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19632] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19632/stat : 19632 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140672861460008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19633] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19633/stat : 19633 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 90791 33554432000 1073741824 1073778376 140735826586608 140672860407464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.92
Current children cumulated vsize (KiB) 9824732
[startup+6.30101 s]
/proc/loadavg: 4.06 4.15 4.21 5/219 19633
/proc/meminfo: memFree=26556960/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9824732 CPUtime=15.48 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 26744 0 1 0 1525 23 0 0 20 0 22 0 28347673 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2456183 162824 2292 9 0 2446860 0
[pid=19611/tid=19613] ppid=19608 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/19611/task/19613/stat : 19613 (java) S 19608 19611 18126 0 -1 4202560 2436 0 1 0 44 2 0 0 20 0 22 0 28347674 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674189861752 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19614] ppid=19608 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/19611/task/19614/stat : 19614 (java) S 19608 19611 18126 0 -1 4202560 37 0 0 0 7 2 0 0 20 0 22 0 28347676 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674151353000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19615] ppid=19608 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19611/task/19615/stat : 19615 (java) S 19608 19611 18126 0 -1 4202560 29 0 0 0 4 1 0 0 20 0 22 0 28347676 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674150300456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19616] ppid=19608 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19611/task/19616/stat : 19616 (java) S 19608 19611 18126 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 22 0 28347676 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674149247912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19617] ppid=19608 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/19611/task/19617/stat : 19617 (java) S 19608 19611 18126 0 -1 4202560 49 0 0 0 8 2 0 0 20 0 22 0 28347676 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674148195368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 1 0 0
[pid=19611/tid=19618] ppid=19608 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/19611/task/19618/stat : 19618 (java) S 19608 19611 18126 0 -1 4202560 39 0 0 0 8 2 0 0 20 0 22 0 28347676 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674147141800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19619] ppid=19608 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/19611/task/19619/stat : 19619 (java) S 19608 19611 18126 0 -1 4202560 40 0 0 0 7 2 0 0 20 0 22 0 28347676 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674146089256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19620] ppid=19608 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19611/task/19620/stat : 19620 (java) S 19608 19611 18126 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 22 0 28347676 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674145036712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19621] ppid=19608 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19611/task/19621/stat : 19621 (java) S 19608 19611 18126 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 22 0 28347676 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674143984168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19622] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19622/stat : 19622 (java) S 19608 19611 18126 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674013825640 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19623] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19623/stat : 19623 (java) S 19608 19611 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674012771960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19624] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19624/stat : 19624 (java) S 19608 19611 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674011719304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19625] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19625/stat : 19625 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 162824 33554432000 1073741824 1073778376 140735826586608 140674010668048 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19626] ppid=19608 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.20 4.22 4.19 5/219 19747
/proc/meminfo: memFree=23377460/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9824732 CPUtime=1772.23 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 44901 0 1 0 176995 228 0 0 20 0 22 0 28347673 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2456183 952396 2301 9 0 2446860 0
[pid=19611/tid=19613] ppid=19608 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/19611/task/19613/stat : 19613 (java) S 19608 19611 18126 0 -1 4202560 2444 0 1 0 48 3 0 0 20 0 22 0 28347674 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674189861752 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19614] ppid=19608 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/19611/task/19614/stat : 19614 (java) S 19608 19611 18126 0 -1 4202560 2195 0 0 0 208 19 0 0 20 0 22 0 28347676 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674151353000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19615] ppid=19608 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/19611/task/19615/stat : 19615 (java) S 19608 19611 18126 0 -1 4202560 1969 0 0 0 208 21 0 0 20 0 22 0 28347676 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674150300456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19616] ppid=19608 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/19611/task/19616/stat : 19616 (java) S 19608 19611 18126 0 -1 4202560 1440 0 0 0 211 18 0 0 20 0 22 0 28347676 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674149247912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19617] ppid=19608 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/19611/task/19617/stat : 19617 (java) S 19608 19611 18126 0 -1 4202560 2033 0 0 0 213 19 0 0 20 0 22 0 28347676 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674148195368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=19611/tid=19618] ppid=19608 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/19611/task/19618/stat : 19618 (java) S 19608 19611 18126 0 -1 4202560 958 0 0 0 212 17 0 0 20 0 22 0 28347676 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674147141800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19619] ppid=19608 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/19611/task/19619/stat : 19619 (java) S 19608 19611 18126 0 -1 4202560 1905 0 0 0 233 26 0 0 20 0 22 0 28347676 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674146089256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19620] ppid=19608 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/19611/task/19620/stat : 19620 (java) S 19608 19611 18126 0 -1 4202560 1107 0 0 0 188 18 0 0 20 0 22 0 28347676 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674145036712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19621] ppid=19608 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/19611/task/19621/stat : 19621 (java) S 19608 19611 18126 0 -1 4202560 1353 0 0 0 224 20 0 0 20 0 22 0 28347676 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674143984168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19622] ppid=19608 vsize=9824732 CPUtime=3.95 cores=1,3,5,7
/proc/19611/task/19622/stat : 19622 (java) S 19608 19611 18126 0 -1 4202560 2257 0 0 0 386 9 0 0 20 0 22 0 28347677 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674013825640 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19623] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19623/stat : 19623 (java) S 19608 19611 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674012771960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19624] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19624/stat : 19624 (java) S 19608 19611 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674011719304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19625] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19625/stat : 19625 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674010668048 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19626] ppid=19608 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/19611/task/19626/stat : 19626 (java) S 19608 19611 18126 0 -1 4202560 11428 0 0 0 185 3 0 0 20 0 22 0 28347680 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674009614392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19627] ppid=19608 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/19611/task/19627/stat : 19627 (java) S 19608 19611 18126 0 -1 4202560 12692 0 0 0 172 2 0 0 20 0 22 0 28347680 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674008561848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19628] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19628/stat : 19628 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674007509496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19629] ppid=19608 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19611/task/19629/stat : 19629 (java) S 19608 19611 18126 0 -1 4202560 50 0 0 0 13 22 0 0 20 0 22 0 28347680 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674006457160 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19630] ppid=19608 vsize=9824732 CPUtime=872.81 cores=1,3,5,7
/proc/19611/task/19630/stat : 19630 (java) R 19608 19611 18126 0 -1 4202560 58 0 0 0 87265 16 0 0 20 0 22 0 28347723 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140674005036800 140674020688303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19631] ppid=19608 vsize=9824732 CPUtime=872.72 cores=1,3,5,7
/proc/19611/task/19631/stat : 19631 (java) R 19608 19611 18126 0 -1 4202560 1747 0 0 0 87220 52 0 0 20 0 22 0 28347724 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140672862509808 140674020966608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19632] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19632/stat : 19632 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140672861460008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19633] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19633/stat : 19633 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 952396 33554432000 1073741824 1073778376 140735826586608 140672860407464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1772.23
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.101 s]
/proc/loadavg: 4.22 4.22 4.20 5/219 19748
/proc/meminfo: memFree=23357788/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 44915 0 1 0 179772 229 0 0 20 0 22 0 28347673 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2456183 954447 2301 9 0 2446860 0
[pid=19611/tid=19613] ppid=19608 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/19611/task/19613/stat : 19613 (java) S 19608 19611 18126 0 -1 4202560 2444 0 1 0 48 3 0 0 20 0 22 0 28347674 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674189861752 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19614] ppid=19608 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/19611/task/19614/stat : 19614 (java) S 19608 19611 18126 0 -1 4202560 2197 0 0 0 212 19 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674151353000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19615] ppid=19608 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/19611/task/19615/stat : 19615 (java) S 19608 19611 18126 0 -1 4202560 1970 0 0 0 215 21 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674150300456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19616] ppid=19608 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/19611/task/19616/stat : 19616 (java) S 19608 19611 18126 0 -1 4202560 1442 0 0 0 217 18 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674149247912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19617] ppid=19608 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/19611/task/19617/stat : 19617 (java) S 19608 19611 18126 0 -1 4202560 2033 0 0 0 216 19 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674148195368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=19611/tid=19618] ppid=19608 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/19611/task/19618/stat : 19618 (java) S 19608 19611 18126 0 -1 4202560 958 0 0 0 215 17 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674147141800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19619] ppid=19608 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/19611/task/19619/stat : 19619 (java) S 19608 19611 18126 0 -1 4202560 1906 0 0 0 238 26 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674146089256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19620] ppid=19608 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/19611/task/19620/stat : 19620 (java) S 19608 19611 18126 0 -1 4202560 1110 0 0 0 195 18 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674145036712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19621] ppid=19608 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/19611/task/19621/stat : 19621 (java) S 19608 19611 18126 0 -1 4202560 1353 0 0 0 229 20 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674143984168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19622] ppid=19608 vsize=9824732 CPUtime=3.95 cores=1,3,5,7
/proc/19611/task/19622/stat : 19622 (java) S 19608 19611 18126 0 -1 4202560 2260 0 0 0 386 9 0 0 20 0 22 0 28347677 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674013825640 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19623] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19623/stat : 19623 (java) S 19608 19611 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674012771960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19624] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19624/stat : 19624 (java) S 19608 19611 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674011719304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19625] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19625/stat : 19625 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674010668048 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19626] ppid=19608 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/19611/task/19626/stat : 19626 (java) S 19608 19611 18126 0 -1 4202560 11428 0 0 0 185 3 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674009614392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19627] ppid=19608 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/19611/task/19627/stat : 19627 (java) S 19608 19611 18126 0 -1 4202560 12692 0 0 0 172 2 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674008561848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19628] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19628/stat : 19628 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674007509496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19629] ppid=19608 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/19611/task/19629/stat : 19629 (java) S 19608 19611 18126 0 -1 4202560 50 0 0 0 13 23 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674006457160 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19630] ppid=19608 vsize=9824732 CPUtime=886.48 cores=1,3,5,7
/proc/19611/task/19630/stat : 19630 (java) R 19608 19611 18126 0 -1 4202560 58 0 0 0 88632 16 0 0 20 0 22 0 28347723 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674005036128 140674020882499 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19631] ppid=19608 vsize=9824732 CPUtime=886.4 cores=1,3,5,7
/proc/19611/task/19631/stat : 19631 (java) R 19608 19611 18126 0 -1 4202560 1749 0 0 0 88588 52 0 0 20 0 22 0 28347724 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140672862510880 140674020704772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19632] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19632/stat : 19632 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140672861460008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19633] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19633/stat : 19633 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140672860407464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 19611 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896.101 s]
/proc/loadavg: 4.22 4.22 4.20 5/219 19748
/proc/meminfo: memFree=23357788/32872528 swapFree=1437460/1543748
[pid=19611] ppid=19608 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/19611/stat : 19611 (java) S 19608 19611 18126 0 -1 4202496 44915 0 1 0 179772 229 0 0 20 0 22 0 28347673 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140735826577744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19611/statm: 2456183 954447 2301 9 0 2446860 0
[pid=19611/tid=19613] ppid=19608 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/19611/task/19613/stat : 19613 (java) S 19608 19611 18126 0 -1 4202560 2444 0 1 0 48 3 0 0 20 0 22 0 28347674 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674189861752 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19614] ppid=19608 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/19611/task/19614/stat : 19614 (java) S 19608 19611 18126 0 -1 4202560 2197 0 0 0 212 19 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674151353000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19615] ppid=19608 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/19611/task/19615/stat : 19615 (java) S 19608 19611 18126 0 -1 4202560 1970 0 0 0 215 21 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674150300456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19616] ppid=19608 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/19611/task/19616/stat : 19616 (java) S 19608 19611 18126 0 -1 4202560 1442 0 0 0 217 18 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674149247912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19617] ppid=19608 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/19611/task/19617/stat : 19617 (java) S 19608 19611 18126 0 -1 4202560 2033 0 0 0 216 19 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674148195368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=19611/tid=19618] ppid=19608 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/19611/task/19618/stat : 19618 (java) S 19608 19611 18126 0 -1 4202560 958 0 0 0 215 17 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674147141800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19619] ppid=19608 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/19611/task/19619/stat : 19619 (java) S 19608 19611 18126 0 -1 4202560 1906 0 0 0 238 26 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674146089256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19620] ppid=19608 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/19611/task/19620/stat : 19620 (java) S 19608 19611 18126 0 -1 4202560 1110 0 0 0 195 18 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674145036712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19621] ppid=19608 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/19611/task/19621/stat : 19621 (java) S 19608 19611 18126 0 -1 4202560 1353 0 0 0 229 20 0 0 20 0 22 0 28347676 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674143984168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19622] ppid=19608 vsize=9824732 CPUtime=3.95 cores=1,3,5,7
/proc/19611/task/19622/stat : 19622 (java) S 19608 19611 18126 0 -1 4202560 2260 0 0 0 386 9 0 0 20 0 22 0 28347677 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674013825640 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19623] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19623/stat : 19623 (java) S 19608 19611 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674012771960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19624] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19624/stat : 19624 (java) S 19608 19611 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28347677 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674011719304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19625] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19625/stat : 19625 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674010668048 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19626] ppid=19608 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/19611/task/19626/stat : 19626 (java) S 19608 19611 18126 0 -1 4202560 11428 0 0 0 185 3 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674009614392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19627] ppid=19608 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/19611/task/19627/stat : 19627 (java) S 19608 19611 18126 0 -1 4202560 12692 0 0 0 172 2 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674008561848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19628] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19628/stat : 19628 (java) S 19608 19611 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674007509496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19611/tid=19629] ppid=19608 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/19611/task/19629/stat : 19629 (java) S 19608 19611 18126 0 -1 4202560 50 0 0 0 13 23 0 0 20 0 22 0 28347680 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674006457160 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19630] ppid=19608 vsize=9824732 CPUtime=886.48 cores=1,3,5,7
/proc/19611/task/19630/stat : 19630 (java) R 19608 19611 18126 0 -1 4202560 58 0 0 0 88632 16 0 0 20 0 22 0 28347723 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140674005036128 140674020882499 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19611/tid=19631] ppid=19608 vsize=9824732 CPUtime=886.4 cores=1,3,5,7
/proc/19611/task/19631/stat : 19631 (java) R 19608 19611 18126 0 -1 4202560 1749 0 0 0 88588 52 0 0 20 0 22 0 28347724 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140672862510880 140674020704772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19611/tid=19632] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19632/stat : 19632 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140672861460008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19611/tid=19633] ppid=19608 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19611/task/19633/stat : 19633 (java) S 19608 19611 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28347724 10060525568 954447 33554432000 1073741824 1073778376 140735826586608 140672860407464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 896.167
CPU time (s): 1800.69
CPU user time (s): 1797.86
CPU system time (s): 2.83157
CPU usage (%): 200.932
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.86
system time used= 2.83157
maximum resident set size= 3817904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44948
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24373
involuntary context switches= 30387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.8808 second user time and 5.49716 second system time
The end