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-4100674-1466210703/watcher-4100674-1466210703 -o /tmp/evaluation-result-4100674-1466210703/solver-4100674-1466210703 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13555 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100674-1466210703.opb
pid=15625
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.24 4.17 4.05 4/197 15628
/proc/meminfo: memFree=30656252/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 23120191 98570240 977 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 24065 977 743 9 0 16771 0
[pid=15628/tid=15629] ppid=15625 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) R 15625 15628 13538 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 23120191 98570240 978 33554432000 1073741824 1073778376 140734988457376 140721830841896 224922518912 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100118 s]
/proc/loadavg: 4.24 4.17 4.05 4/197 15628
/proc/meminfo: memFree=30656252/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 4503 0 1 0 11 0 0 0 20 0 18 0 23120191 9787879424 6126 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2389619 6126 2156 9 0 2380296 0
[pid=15628/tid=15629] ppid=15625 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) R 15625 15628 13538 0 -1 4202560 2384 0 1 0 7 0 0 0 20 0 18 0 23120191 9787879424 6128 33554432000 1073741824 1073778376 140734988457376 140721830845344 224925902093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200336 s]
/proc/loadavg: 4.24 4.17 4.05 4/197 15628
/proc/meminfo: memFree=30656252/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 5021 0 1 0 30 0 0 0 20 0 18 0 23120191 9787879424 7509 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2389619 7509 2223 9 0 2380296 0
[pid=15628/tid=15629] ppid=15625 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) R 15625 15628 13538 0 -1 4202560 2400 0 1 0 17 0 0 0 20 0 18 0 23120191 9787879424 7509 33554432000 1073741824 1073778376 140734988457376 140721830845344 140721836673029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300331 s]
/proc/loadavg: 4.24 4.17 4.05 4/197 15628
/proc/meminfo: memFree=30656252/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 6976 0 1 0 52 1 0 0 20 0 18 0 23120191 9787879424 10550 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2389619 10550 2237 9 0 2380296 0
[pid=15628/tid=15629] ppid=15625 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) R 15625 15628 13538 0 -1 4202560 2408 0 1 0 27 0 0 0 20 0 18 0 23120191 9787879424 10550 33554432000 1073741824 1073778376 140734988457376 140721830837576 140721667554066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476
[startup+0.700233 s]
/proc/loadavg: 4.24 4.17 4.05 4/197 15628
/proc/meminfo: memFree=30656252/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 14564 0 1 0 169 3 0 0 20 0 22 0 23120191 10060525568 32561 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2456183 32561 2267 9 0 2446860 0
[pid=15628/tid=15629] ppid=15625 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) S 15625 15628 13538 0 -1 4202560 2452 0 1 0 57 1 0 0 20 0 22 0 23120191 10060525568 32561 33554432000 1073741824 1073778376 140734988457376 140721830847352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 4.24 4.17 4.05 7/219 15650
/proc/meminfo: memFree=30490344/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9824732 CPUtime=4.65 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 18018 0 1 0 458 7 0 0 20 0 22 0 23120191 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2456183 51367 2292 9 0 2446860 0
[pid=15628/tid=15629] ppid=15625 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) S 15625 15628 13538 0 -1 4202560 2452 0 1 0 57 1 0 0 20 0 22 0 23120191 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721830847352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15631] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15631/stat : 15631 (java) S 15625 15628 13538 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23120192 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721792338472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15632] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15632/stat : 15632 (java) S 15625 15628 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23120192 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721791285672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15633] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15633/stat : 15633 (java) S 15625 15628 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23120192 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721790232872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15634] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15634/stat : 15634 (java) S 15625 15628 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23120192 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721789180072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15635] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15635/stat : 15635 (java) S 15625 15628 13538 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23120192 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721788128296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15636] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15636/stat : 15636 (java) S 15625 15628 13538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23120192 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721787075496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15637] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15637/stat : 15637 (java) S 15625 15628 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23120192 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721786022696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15638] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15638/stat : 15638 (java) S 15625 15628 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23120192 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721667435176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15639] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15639/stat : 15639 (java) S 15625 15628 13538 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721655024104 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15640] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15640/stat : 15640 (java) S 15625 15628 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721653970168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15641] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15641/stat : 15641 (java) S 15625 15628 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721652917256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15642] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15642/stat : 15642 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140721651865744 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15643] ppid=15625 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/15628/task/15643/stat : 15643 (java) S 15625 15628 13538 0 -1 4202560 5548 0 0 0 100 0 0 0 20 0 22 0 23120195 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140720912460728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15644] ppid=15625 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/15628/task/15644/stat : 15644 (java) R 15625 15628 13538 0 -1 4202560 8533 0 0 0 120 1 0 0 20 0 22 0 23120195 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140720911407928 140721834936346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15645] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15645/stat : 15645 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140720910355320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15646] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15646/stat : 15646 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140720909302728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15647] ppid=15625 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/15628/task/15647/stat : 15647 (java) R 15625 15628 13538 0 -1 4202560 23 0 0 0 83 0 0 0 20 0 22 0 23120251 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140720908247272 140721668237054 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15648] ppid=15625 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/15628/task/15648/stat : 15648 (java) R 15625 15628 13538 0 -1 4202560 55 0 0 0 85 0 0 0 20 0 22 0 23120251 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140720907192736 140721668423475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15649] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15649/stat : 15649 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120258 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140720906142632 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15650] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15650/stat : 15650 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120259 10060525568 51367 33554432000 1073741824 1073778376 140734988457376 140720905089832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 9824732
[startup+3.10091 s]
/proc/loadavg: 4.24 4.17 4.05 5/219 15650
/proc/meminfo: memFree=30432944/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9824732 CPUtime=8.3 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 18806 0 1 0 816 14 0 0 20 0 22 0 23120191 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2456183 90697 2292 9 0 2446860 0
[pid=15628/tid=15629] ppid=15625 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) S 15625 15628 13538 0 -1 4202560 2452 0 1 0 57 1 0 0 20 0 22 0 23120191 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721830847352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15631] ppid=15625 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/15628/task/15631/stat : 15631 (java) S 15625 15628 13538 0 -1 4202560 126 0 0 0 5 2 0 0 20 0 22 0 23120192 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721792338472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15632] ppid=15625 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/15628/task/15632/stat : 15632 (java) S 15625 15628 13538 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 22 0 23120192 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721791285672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15633] ppid=15625 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/15628/task/15633/stat : 15633 (java) S 15625 15628 13538 0 -1 4202560 99 0 0 0 2 1 0 0 20 0 22 0 23120192 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721790232872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15634] ppid=15625 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/15628/task/15634/stat : 15634 (java) S 15625 15628 13538 0 -1 4202560 89 0 0 0 2 0 0 0 20 0 22 0 23120192 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721789180072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15635] ppid=15625 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/15628/task/15635/stat : 15635 (java) S 15625 15628 13538 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 23120192 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721788128296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15636] ppid=15625 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/15628/task/15636/stat : 15636 (java) S 15625 15628 13538 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 23120192 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721787075496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15637] ppid=15625 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/15628/task/15637/stat : 15637 (java) S 15625 15628 13538 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 23120192 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721786022696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15638] ppid=15625 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/15628/task/15638/stat : 15638 (java) S 15625 15628 13538 0 -1 4202560 122 0 0 0 3 1 0 0 20 0 22 0 23120192 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721667435176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15639] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15639/stat : 15639 (java) S 15625 15628 13538 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721655024104 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15640] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15640/stat : 15640 (java) S 15625 15628 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721653970168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15641] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15641/stat : 15641 (java) S 15625 15628 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721652917256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15642] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15642/stat : 15642 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140721651865744 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15643] ppid=15625 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/15628/task/15643/stat : 15643 (java) S 15625 15628 13538 0 -1 4202560 5548 0 0 0 109 0 0 0 20 0 22 0 23120195 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140720912460728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15644] ppid=15625 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/15628/task/15644/stat : 15644 (java) S 15625 15628 13538 0 -1 4202560 8681 0 0 0 145 2 0 0 20 0 22 0 23120195 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140720911407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15645] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15645/stat : 15645 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140720910355320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15646] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15646/stat : 15646 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140720909302728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15647] ppid=15625 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/15628/task/15647/stat : 15647 (java) R 15625 15628 13538 0 -1 4202560 24 0 0 0 235 0 0 0 20 0 22 0 23120251 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140720908246560 140721668236748 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15648] ppid=15625 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/15628/task/15648/stat : 15648 (java) R 15625 15628 13538 0 -1 4202560 109 0 0 0 235 3 0 0 20 0 22 0 23120251 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140720907192968 140721668480886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15649] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15649/stat : 15649 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120258 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140720906142632 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15650] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15650/stat : 15650 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120259 10060525568 90697 33554432000 1073741824 1073778376 140734988457376 140720905089832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (KiB) 9824732
[startup+6.30098 s]
/proc/loadavg: 4.22 4.17 4.05 5/219 15650
/proc/meminfo: memFree=30029564/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9824732 CPUtime=14.91 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 19537 0 1 0 1467 24 0 0 20 0 22 0 23120191 10060525568 158418 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2456183 158418 2292 9 0 2446860 0
[pid=15628/tid=15629] ppid=15625 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) S 15625 15628 13538 0 -1 4202560 2452 0 1 0 57 1 0 0 20 0 22 0 23120191 10060525568 158418 33554432000 1073741824 1073778376 140734988457376 140721830847352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15631] ppid=15625 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/15628/task/15631/stat : 15631 (java) S 15625 15628 13538 0 -1 4202560 148 0 0 0 7 3 0 0 20 0 22 0 23120192 10060525568 158418 33554432000 1073741824 1073778376 140734988457376 140721792338472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15632] ppid=15625 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/15628/task/15632/stat : 15632 (java) S 15625 15628 13538 0 -1 4202560 46 0 0 0 6 2 0 0 20 0 22 0 23120192 10060525568 158418 33554432000 1073741824 1073778376 140734988457376 140721791285672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15633] ppid=15625 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/15628/task/15633/stat : 15633 (java) S 15625 15628 13538 0 -1 4202560 119 0 0 0 4 2 0 0 20 0 22 0 23120192 10060525568 158418 33554432000 1073741824 1073778376 140734988457376 140721790232872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15634] ppid=15625 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/15628/task/15634/stat : 15634 (java) S 15625 15628 13538 0 -1 4202560 103 0 0 0 4 1 0 0 20 0 22 0 23120192 10060525568 158418 33554432000 1073741824 1073778376 140734988457376 140721789180072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15635] ppid=15625 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/15628/task/15635/stat : 15635 (java) S 15625 15628 13538 0 -1 4202560 54 0 0 0 5 1 0 0 20 0 22 0 23120192 10060525568 158418 33554432000 1073741824 1073778376 140734988457376 140721788128296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15636] ppid=15625 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/15628/task/15636/stat : 15636 (java) S 15625 15628 13538 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 22 0 23120192 10060525568 158418 33554432000 1073741824 1073778376 140734988457376 140721787075496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15637] ppid=15625 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/15628/task/15637/stat : 15637 (java) S 15625 15628 13538 0 -1 4202560 59 0 0 0 6 2 0 0 20 0 22 0 23120192 10060525568 158418 33554432000 1073741824 1073778376 140734988457376 140721786022696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15638] ppid=15625 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.10 4.05 4.02 5/219 15741
/proc/meminfo: memFree=24910844/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9824732 CPUtime=1772.3 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 30178 0 1 0 177017 213 0 0 20 0 22 0 23120191 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2456183 979422 2301 9 0 2446860 0
[pid=15628/tid=15629] ppid=15625 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) S 15625 15628 13538 0 -1 4202560 2465 0 1 0 59 4 0 0 20 0 22 0 23120191 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721830847352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15631] ppid=15625 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/15628/task/15631/stat : 15631 (java) S 15625 15628 13538 0 -1 4202560 725 0 0 0 262 18 0 0 20 0 22 0 23120192 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721792338472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15632] ppid=15625 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/15628/task/15632/stat : 15632 (java) S 15625 15628 13538 0 -1 4202560 575 0 0 0 279 18 0 0 20 0 22 0 23120192 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721791285672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15633] ppid=15625 vsize=9824732 CPUtime=3.07 cores=1,3,5,7
/proc/15628/task/15633/stat : 15633 (java) S 15625 15628 13538 0 -1 4202560 741 0 0 0 286 21 0 0 20 0 22 0 23120192 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721790232872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15634] ppid=15625 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/15628/task/15634/stat : 15634 (java) S 15625 15628 13538 0 -1 4202560 676 0 0 0 266 15 0 0 20 0 22 0 23120192 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721789180072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15635] ppid=15625 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/15628/task/15635/stat : 15635 (java) S 15625 15628 13538 0 -1 4202560 571 0 0 0 280 17 0 0 20 0 22 0 23120192 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721788128296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15636] ppid=15625 vsize=9824732 CPUtime=3.17 cores=1,3,5,7
/proc/15628/task/15636/stat : 15636 (java) S 15625 15628 13538 0 -1 4202560 730 0 0 0 299 18 0 0 20 0 22 0 23120192 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721787075496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15637] ppid=15625 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/15628/task/15637/stat : 15637 (java) S 15625 15628 13538 0 -1 4202560 522 0 0 0 268 15 0 0 20 0 22 0 23120192 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721786022696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15638] ppid=15625 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/15628/task/15638/stat : 15638 (java) S 15625 15628 13538 0 -1 4202560 785 0 0 0 305 19 0 0 20 0 22 0 23120192 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721667435176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15639] ppid=15625 vsize=9824732 CPUtime=6.14 cores=1,3,5,7
/proc/15628/task/15639/stat : 15639 (java) S 15625 15628 13538 0 -1 4202560 2766 0 0 0 606 8 0 0 20 0 22 0 23120193 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721655024104 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15640] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15640/stat : 15640 (java) S 15625 15628 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721653970168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15641] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15641/stat : 15641 (java) S 15625 15628 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721652917256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15642] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15642/stat : 15642 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140721651865744 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15643] ppid=15625 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/15628/task/15643/stat : 15643 (java) S 15625 15628 13538 0 -1 4202560 6433 0 0 0 145 2 0 0 20 0 22 0 23120195 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140720912460728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15644] ppid=15625 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/15628/task/15644/stat : 15644 (java) S 15625 15628 13538 0 -1 4202560 9420 0 0 0 171 2 0 0 20 0 22 0 23120195 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140720911407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15645] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15645/stat : 15645 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140720910355320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15646] ppid=15625 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/15628/task/15646/stat : 15646 (java) S 15625 15628 13538 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 23120195 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140720909302728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15647] ppid=15625 vsize=9824732 CPUtime=869.15 cores=1,3,5,7
/proc/15628/task/15647/stat : 15647 (java) R 15625 15628 13538 0 -1 4202560 101 0 0 0 86898 17 0 0 20 0 22 0 23120251 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140720908246480 140721668412603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15648] ppid=15625 vsize=9824732 CPUtime=869.18 cores=1,3,5,7
/proc/15628/task/15648/stat : 15648 (java) R 15625 15628 13538 0 -1 4202560 2352 0 0 0 86871 47 0 0 20 0 22 0 23120251 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140720907192848 140721668488936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15649] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15649/stat : 15649 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120258 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140720906142632 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15650] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15650/stat : 15650 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120259 10060525568 979422 33554432000 1073741824 1073778376 140734988457376 140720905089832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1772.3
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.101 s]
/proc/loadavg: 4.37 4.11 4.04 5/219 15741
/proc/meminfo: memFree=24919712/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 30179 0 1 0 179788 213 0 0 20 0 22 0 23120191 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2456183 978236 2301 9 0 2446860 0
[pid=15628/tid=15629] ppid=15625 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) S 15625 15628 13538 0 -1 4202560 2465 0 1 0 59 4 0 0 20 0 22 0 23120191 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721830847352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15631] ppid=15625 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/15628/task/15631/stat : 15631 (java) S 15625 15628 13538 0 -1 4202560 725 0 0 0 264 18 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721792338472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15632] ppid=15625 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/15628/task/15632/stat : 15632 (java) S 15625 15628 13538 0 -1 4202560 575 0 0 0 283 18 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721791285672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15633] ppid=15625 vsize=9824732 CPUtime=3.11 cores=1,3,5,7
/proc/15628/task/15633/stat : 15633 (java) S 15625 15628 13538 0 -1 4202560 741 0 0 0 290 21 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721790232872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15634] ppid=15625 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/15628/task/15634/stat : 15634 (java) S 15625 15628 13538 0 -1 4202560 676 0 0 0 268 15 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721789180072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15635] ppid=15625 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/15628/task/15635/stat : 15635 (java) S 15625 15628 13538 0 -1 4202560 571 0 0 0 287 17 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721788128296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15636] ppid=15625 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/15628/task/15636/stat : 15636 (java) S 15625 15628 13538 0 -1 4202560 730 0 0 0 301 18 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721787075496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15637] ppid=15625 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/15628/task/15637/stat : 15637 (java) S 15625 15628 13538 0 -1 4202560 522 0 0 0 271 15 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721786022696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15638] ppid=15625 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/15628/task/15638/stat : 15638 (java) S 15625 15628 13538 0 -1 4202560 785 0 0 0 311 19 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721667435176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15639] ppid=15625 vsize=9824732 CPUtime=6.14 cores=1,3,5,7
/proc/15628/task/15639/stat : 15639 (java) S 15625 15628 13538 0 -1 4202560 2766 0 0 0 606 8 0 0 20 0 22 0 23120193 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721655024104 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15640] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15640/stat : 15640 (java) S 15625 15628 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721653970168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15641] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15641/stat : 15641 (java) S 15625 15628 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721652917256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15642] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15642/stat : 15642 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721651865744 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15643] ppid=15625 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/15628/task/15643/stat : 15643 (java) S 15625 15628 13538 0 -1 4202560 6433 0 0 0 145 2 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720912460728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15644] ppid=15625 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/15628/task/15644/stat : 15644 (java) S 15625 15628 13538 0 -1 4202560 9420 0 0 0 171 2 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720911407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15645] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15645/stat : 15645 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720910355320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15646] ppid=15625 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/15628/task/15646/stat : 15646 (java) S 15625 15628 13538 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720909302728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15647] ppid=15625 vsize=9824732 CPUtime=882.86 cores=1,3,5,7
/proc/15628/task/15647/stat : 15647 (java) R 15625 15628 13538 0 -1 4202560 102 0 0 0 88269 17 0 0 20 0 22 0 23120251 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720908246560 140721668412635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15648] ppid=15625 vsize=9824732 CPUtime=882.88 cores=1,3,5,7
/proc/15628/task/15648/stat : 15648 (java) R 15625 15628 13538 0 -1 4202560 2352 0 0 0 88241 47 0 0 20 0 22 0 23120251 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720907192848 140721668488712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15649] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15649/stat : 15649 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120258 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720906142632 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15650] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15650/stat : 15650 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120259 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720905089832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 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 15628 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896.101 s]
/proc/loadavg: 4.37 4.11 4.04 5/219 15741
/proc/meminfo: memFree=24919712/32872528 swapFree=163656/177964
[pid=15628] ppid=15625 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/15628/stat : 15628 (java) S 15625 15628 13538 0 -1 4202496 30179 0 1 0 179788 213 0 0 20 0 22 0 23120191 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140734988448512 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15628/statm: 2456183 978236 2301 9 0 2446860 0
[pid=15628/tid=15629] ppid=15625 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/15628/task/15629/stat : 15629 (java) S 15625 15628 13538 0 -1 4202560 2465 0 1 0 59 4 0 0 20 0 22 0 23120191 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721830847352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15631] ppid=15625 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/15628/task/15631/stat : 15631 (java) S 15625 15628 13538 0 -1 4202560 725 0 0 0 264 18 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721792338472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15632] ppid=15625 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/15628/task/15632/stat : 15632 (java) S 15625 15628 13538 0 -1 4202560 575 0 0 0 283 18 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721791285672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15633] ppid=15625 vsize=9824732 CPUtime=3.11 cores=1,3,5,7
/proc/15628/task/15633/stat : 15633 (java) S 15625 15628 13538 0 -1 4202560 741 0 0 0 290 21 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721790232872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15634] ppid=15625 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/15628/task/15634/stat : 15634 (java) S 15625 15628 13538 0 -1 4202560 676 0 0 0 268 15 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721789180072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15635] ppid=15625 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/15628/task/15635/stat : 15635 (java) S 15625 15628 13538 0 -1 4202560 571 0 0 0 287 17 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721788128296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15636] ppid=15625 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/15628/task/15636/stat : 15636 (java) S 15625 15628 13538 0 -1 4202560 730 0 0 0 301 18 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721787075496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15628/tid=15637] ppid=15625 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/15628/task/15637/stat : 15637 (java) S 15625 15628 13538 0 -1 4202560 522 0 0 0 271 15 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721786022696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15638] ppid=15625 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/15628/task/15638/stat : 15638 (java) S 15625 15628 13538 0 -1 4202560 785 0 0 0 311 19 0 0 20 0 22 0 23120192 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721667435176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15639] ppid=15625 vsize=9824732 CPUtime=6.14 cores=1,3,5,7
/proc/15628/task/15639/stat : 15639 (java) S 15625 15628 13538 0 -1 4202560 2766 0 0 0 606 8 0 0 20 0 22 0 23120193 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721655024104 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15640] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15640/stat : 15640 (java) S 15625 15628 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721653970168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15641] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15641/stat : 15641 (java) S 15625 15628 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23120193 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721652917256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15642] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15642/stat : 15642 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140721651865744 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15643] ppid=15625 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/15628/task/15643/stat : 15643 (java) S 15625 15628 13538 0 -1 4202560 6433 0 0 0 145 2 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720912460728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15644] ppid=15625 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/15628/task/15644/stat : 15644 (java) S 15625 15628 13538 0 -1 4202560 9420 0 0 0 171 2 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720911407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15645] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15645/stat : 15645 (java) S 15625 15628 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720910355320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15646] ppid=15625 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/15628/task/15646/stat : 15646 (java) S 15625 15628 13538 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 23120195 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720909302728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15647] ppid=15625 vsize=9824732 CPUtime=882.86 cores=1,3,5,7
/proc/15628/task/15647/stat : 15647 (java) R 15625 15628 13538 0 -1 4202560 102 0 0 0 88269 17 0 0 20 0 22 0 23120251 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720908246560 140721668412635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15628/tid=15648] ppid=15625 vsize=9824732 CPUtime=882.88 cores=1,3,5,7
/proc/15628/task/15648/stat : 15648 (java) R 15625 15628 13538 0 -1 4202560 2352 0 0 0 88241 47 0 0 20 0 22 0 23120251 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720907192848 140721668488712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15628/tid=15649] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15649/stat : 15649 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120258 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720906142632 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15628/tid=15650] ppid=15625 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15628/task/15650/stat : 15650 (java) S 15625 15628 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23120259 10060525568 978236 33554432000 1073741824 1073778376 140734988457376 140720905089832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 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.168
CPU time (s): 1800.69
CPU user time (s): 1798.08
CPU system time (s): 2.6106
CPU usage (%): 200.932
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.08
system time used= 2.6106
maximum resident set size= 3917712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30213
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23465
involuntary context switches= 25226
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81611 second user time and 7.48286 second system time
The end