0.00/0.00 c cpHydra_k_10 version 0.0
7.78/7.94 c CASE TO CLASSIFY:
7.78/7.94 c Case: 0
7.78/7.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.382800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.964200 | c 14 > 12.235100 | c 11 > 4.584960 | c 12 > 11.310600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.78/7.95 c choco : 1801.0
7.78/7.95 c mistral : 1801.0
7.78/7.95 c abscon : 1801.0
7.78/7.95 c
7.78/7.95 c
8.08/8.21 c List of same ones: 10
8.08/8.21 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
8.08/8.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.349500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.982800 | c 14 > 12.188000 | c 11 > 4.584960 | c 12 > 11.415800 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.22 c choco : 1801.0
8.08/8.22 c mistral : 772.763
8.08/8.22 c abscon : 1274.72
8.08/8.22 c
8.08/8.22 c
8.08/8.22 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
8.08/8.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.029500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.902200 | c 14 > 11.847800 | c 11 > 4.584960 | c 12 > 11.158100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.23 c choco : 1801.0
8.08/8.23 c mistral : 40.01
8.08/8.23 c abscon : 320.414
8.08/8.23 c
8.08/8.23 c
8.08/8.23 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
8.08/8.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.050900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.626600 | c 14 > 11.937000 | c 11 > 4.584960 | c 12 > 11.009300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.24 c choco : 1801.0
8.08/8.24 c mistral : 976.11
8.08/8.24 c abscon : 1800.09
8.08/8.24 c
8.08/8.24 c
8.08/8.24 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
8.08/8.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.298700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.376100 | c 14 > 12.166500 | c 11 > 4.584960 | c 12 > 10.882100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.25 c choco : 1801.0
8.08/8.25 c mistral : 1487.13
8.08/8.25 c abscon : 1800.05
8.08/8.25 c
8.08/8.25 c
8.08/8.25 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
8.08/8.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.980700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.492000 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.925300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.26 c choco : 1801.0
8.08/8.26 c mistral : 402.946
8.08/8.26 c abscon : 15.4397
8.08/8.26 c
8.08/8.26 c
8.08/8.26 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
8.08/8.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.061600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.457500 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.899500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.27 c choco : 1801.0
8.08/8.27 c mistral : 62.4135
8.08/8.27 c abscon : 1800.14
8.08/8.27 c
8.08/8.27 c
8.08/8.27 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-27_ext.xml
8.08/8.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.199700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.825100 | c 14 > 12.277600 | c 11 > 4.321930 | c 12 > 11.403900 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.28 c choco : 1801.0
8.08/8.28 c mistral : 28.63
8.08/8.28 c abscon : 14.7738
8.08/8.28 c
8.08/8.28 c
8.08/8.28 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
8.08/8.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.913900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.591000 | c 14 > 11.644300 | c 11 > 4.584960 | c 12 > 10.803300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.29 c choco : 1801.0
8.08/8.29 c mistral : 109.18
8.08/8.29 c abscon : 77.3452
8.08/8.29 c
8.08/8.29 c
8.08/8.29 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-39_ext.xml
8.08/8.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.309100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.766300 | c 14 > 12.179000 | c 11 > 4.321930 | c 12 > 11.425500 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.30 c choco : 1801.0
8.08/8.30 c mistral : 95.35
8.08/8.30 c abscon : 225.117
8.08/8.30 c
8.08/8.30 c
8.08/8.30 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-39_ext.xml
8.08/8.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.319500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.711900 | c 14 > 12.207300 | c 11 > 4.321930 | c 12 > 11.348800 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.16/8.31 c choco : 1801.0
8.16/8.31 c mistral : 19.81
8.16/8.31 c abscon : 89.5534
8.16/8.31 c
8.16/8.31 c
8.16/8.31 c Length: 10
8.16/8.31 c 0.12290440228079662 0.5498068952823353 0.6365982880906933 0.7367043778884458 0.859415051066712 0.860512887759388 0.9793864505393163 0.9833738304429293 0.9868566674041375 0.9913803619196825
8.16/8.31 c
8.16/8.31 c 1.0 0.6704418757843583 0.6283424302003179 0.585907076400346 0.5411110317557374 0.5407411560949157 0.5034765806835454 0.502315437934953 0.5013055936317841 0.5
8.16/8.31 c
8.16/8.31 c solver 0
8.16/8.31 c before 0.0 seconds: {} 0
8.16/8.31 c before 18.0 seconds: {4, 6} 1044
8.16/8.31 c before 90.0 seconds: {4, 6, 7, 9} 2046
8.16/8.31 c before 234.0 seconds: {4, 6, 7, 8, 9} 2548
8.16/8.31 c before 324.0 seconds: {1, 4, 6, 7, 8, 9} 3218
8.16/8.31 c before 1278.0 seconds: {0, 1, 4, 6, 7, 8, 9} 4218
8.16/8.31 c
8.16/8.31 c solver 1
8.16/8.31 c before 0.0 seconds: {} 0
8.16/8.31 c before 36.0 seconds: {6, 9} 1003
8.16/8.31 c before 54.0 seconds: {1, 6, 9} 1673
8.16/8.31 c before 72.0 seconds: {1, 5, 6, 9} 2214
8.16/8.31 c before 108.0 seconds: {1, 5, 6, 8, 9} 2715
8.16/8.31 c before 126.0 seconds: {1, 5, 6, 7, 8, 9} 3218
8.16/8.31 c before 414.0 seconds: {1, 4, 5, 6, 7, 8, 9} 3759
8.16/8.32 c before 774.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9} 4759
8.16/8.32 c before 990.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5387
8.16/8.32 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5973
8.16/8.32 c
8.16/8.32 c solver 2
8.16/8.32 c before 0.0 seconds: {} 0
8.16/8.32 c
8.16/8.32 cTotal time: 154
8.16/8.32 c run abscon for 234.0 seconds {4, 6, 7, 8, 9} 2548
8.16/8.32 c run mistral for 1494.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5973
8.16/8.32 c do not run choco
8.16/8.32 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.16/8.32 c On Instance: HOME/instance-1057203-1215109457.xml
8.16/8.32 c Running for: 234 seconds
242.52/242.94 c Starting solver: HOME/cpHydra_k_10/solver/mistral
242.52/242.94 c On Instance: HOME/instance-1057203-1215109457.xml
242.52/242.94 c Running for: 1494 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057203-1215109457/watcher-1057203-1215109457 -o /tmp/evaluation-result-1057203-1215109457/solver-1057203-1215109457 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1057203-1215109457.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.01 1.91 4/80 22226
/proc/meminfo: memFree=1447408/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=18572 CPUtime=0
/proc/22226/stat : 22226 (runsolver) R 22224 22226 21893 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 1540619838 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22226/statm: 4643 292 257 25 0 2626 0
[startup+0.098292 s]
/proc/loadavg: 2.05 2.01 1.91 4/80 22226
/proc/meminfo: memFree=1447408/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=0
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1540619838 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10129 s]
/proc/loadavg: 2.05 2.01 1.91 4/80 22226
/proc/meminfo: memFree=1447408/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=0
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1540619838 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301328 s]
/proc/loadavg: 2.05 2.01 1.91 4/80 22226
/proc/meminfo: memFree=1447408/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=0
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1540619838 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701394 s]
/proc/loadavg: 2.05 2.01 1.91 4/80 22226
/proc/meminfo: memFree=1447408/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=0
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1540619838 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50153 s]
/proc/loadavg: 2.05 2.01 1.91 3/82 22230
/proc/meminfo: memFree=1438944/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=0
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1540619838 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 236 195 169 0 51 0
[pid=22230] ppid=22226 vsize=12416 CPUtime=1.47
/proc/22230/stat : 22230 (xsolve) R 22226 22226 21893 0 -1 4194304 2481 0 0 0 146 1 0 0 25 0 1 0 1540619839 12713984 2440 996147200 134512640 135239763 4294956176 18446744073709551615 134820033 0 0 4096 0 0 0 0 17 1 0 0
/proc/22230/statm: 3104 2440 413 177 0 2007 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17776
[startup+3.10282 s]
/proc/loadavg: 2.05 2.01 1.91 5/90 22242
/proc/meminfo: memFree=1441632/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=1.93
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 375 3078 0 0 0 0 191 2 19 0 1 0 1540619838 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 238 196 169 0 51 0
[pid=22234] ppid=22226 vsize=197000 CPUtime=1.13
/proc/22234/stat : 22234 (java) S 22226 22226 21893 0 -1 0 4550 0 1 0 110 3 0 0 21 0 9 0 1540620033 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22234/statm: 49250 3841 1677 9 0 43833 0
[pid=22234/tid=22235] ppid=22226 vsize=197000 CPUtime=0.89
/proc/22234/task/22235/stat : 22235 (java) R 22226 22226 21893 0 -1 64 2635 0 1 0 88 1 0 0 25 0 9 0 1540620034 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4126439933 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22236] ppid=22226 vsize=197000 CPUtime=0.07
/proc/22234/task/22236/stat : 22236 (java) S 22226 22226 21893 0 -1 64 588 0 0 0 7 0 0 0 16 0 9 0 1540620035 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22237] ppid=22226 vsize=197000 CPUtime=0
/proc/22234/task/22237/stat : 22237 (java) S 22226 22226 21893 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1540620036 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22238] ppid=22226 vsize=197000 CPUtime=0
/proc/22234/task/22238/stat : 22238 (java) S 22226 22226 21893 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1540620036 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22239] ppid=22226 vsize=197000 CPUtime=0
/proc/22234/task/22239/stat : 22239 (java) S 22226 22226 21893 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1540620038 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22240] ppid=22226 vsize=197000 CPUtime=0.13
/proc/22234/task/22240/stat : 22240 (java) S 22226 22226 21893 0 -1 64 602 0 0 0 13 0 0 0 16 0 9 0 1540620038 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22241] ppid=22226 vsize=197000 CPUtime=0
/proc/22234/task/22241/stat : 22241 (java) S 22226 22226 21893 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1540620038 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22242] ppid=22226 vsize=197000 CPUtime=0
/proc/22234/task/22242/stat : 22242 (java) S 22226 22226 21893 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1540620038 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202360
[startup+6.30137 s]
/proc/loadavg: 2.05 2.01 1.91 3/90 22242
/proc/meminfo: memFree=1429472/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=1.93
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 375 3078 0 0 0 0 191 2 19 0 1 0 1540619838 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 238 196 169 0 51 0
[pid=22234] ppid=22226 vsize=197108 CPUtime=4.28
/proc/22234/stat : 22234 (java) S 22226 22226 21893 0 -1 0 9362 0 1 0 415 13 0 0 21 0 9 0 1540620033 201838592 7755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22234/statm: 49277 7755 2540 9 0 43860 0
[pid=22234/tid=22235] ppid=22226 vsize=197108 CPUtime=3.38
/proc/22234/task/22235/stat : 22235 (java) R 22226 22226 21893 0 -1 64 3449 0 1 0 334 4 0 0 25 0 9 0 1540620034 201838592 7755 996147200 134512640 134550740 4294955968 18446744073709551615 4126554348 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22236] ppid=22226 vsize=197108 CPUtime=0.69
/proc/22234/task/22236/stat : 22236 (java) S 22226 22226 21893 0 -1 64 4560 0 0 0 62 7 0 0 16 0 9 0 1540620035 201838592 7755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22237] ppid=22226 vsize=197108 CPUtime=0
/proc/22234/task/22237/stat : 22237 (java) S 22226 22226 21893 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1540620036 201838592 7755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22238] ppid=22226 vsize=197108 CPUtime=0
/proc/22234/task/22238/stat : 22238 (java) S 22226 22226 21893 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1540620036 201838592 7755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22239] ppid=22226 vsize=197108 CPUtime=0
/proc/22234/task/22239/stat : 22239 (java) S 22226 22226 21893 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1540620038 201838592 7755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22240] ppid=22226 vsize=197108 CPUtime=0.17
/proc/22234/task/22240/stat : 22240 (java) S 22226 22226 21893 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1540620038 201838592 7755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22241] ppid=22226 vsize=197108 CPUtime=0
/proc/22234/task/22241/stat : 22241 (java) S 22226 22226 21893 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1540620038 201838592 7755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22242] ppid=22226 vsize=197108 CPUtime=0
/proc/22234/task/22242/stat : 22242 (java) S 22226 22226 21893 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1540620038 201838592 7755 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202468
[startup+12.7025 s]
/proc/loadavg: 2.12 2.03 1.92 3/102 22254
/proc/meminfo: memFree=1345664/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=1.93
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 375 3078 0 0 0 0 191 2 19 0 1 0 1540619838 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 238 196 169 0 51 0
[pid=22234] ppid=22226 vsize=197432 CPUtime=6.25
/proc/22234/stat : 22234 (java) S 22226 22226 21893 0 -1 0 13978 0 1 0 607 18 0 0 21 0 10 0 1540620033 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22234/statm: 49358 9491 2543 9 0 43941 0
[pid=22244] ppid=22234 vsize=5356 CPUtime=0
/proc/22244/stat : 22244 (abscon) S 22234 22226 21893 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1540620671 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/22244/statm: 1339 237 196 169 0 50 0
[pid=22245] ppid=22244 vsize=654940 CPUtime=4.36
/proc/22245/stat : 22245 (java) S 22244 22226 21893 0 -1 0 21391 0 1 0 425 11 0 0 18 0 9 0 1540620671 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22245/statm: 163735 20704 2613 9 0 158263 0
[pid=22245/tid=22247] ppid=22244 vsize=654940 CPUtime=3.97
/proc/22245/task/22247/stat : 22247 (java) R 22244 22226 21893 0 -1 64 12525 0 1 0 391 6 0 0 25 0 9 0 1540620672 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4126739650 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22245/tid=22248] ppid=22244 vsize=654940 CPUtime=0.18
/proc/22245/task/22248/stat : 22248 (java) S 22244 22226 21893 0 -1 64 7944 0 0 0 15 3 0 0 16 0 9 0 1540620673 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22245/tid=22249] ppid=22244 vsize=654940 CPUtime=0
/proc/22245/task/22249/stat : 22249 (java) S 22244 22226 21893 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1540620673 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22245/tid=22250] ppid=22244 vsize=654940 CPUtime=0
/proc/22245/task/22250/stat : 22250 (java) S 22244 22226 21893 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1540620673 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22245/tid=22251] ppid=22244 vsize=654940 CPUtime=0
/proc/22245/task/22251/stat : 22251 (java) S 22244 22226 21893 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1540620675 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22245/tid=22252] ppid=22244 vsize=654940 CPUtime=0.18
/proc/22245/task/22252/stat : 22252 (java) S 22244 22226 21893 0 -1 64 376 0 0 0 18 0 0 0 16 0 9 0 1540620675 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22245/tid=22253] ppid=22244 vsize=654940 CPUtime=0
/proc/22245/task/22253/stat : 22253 (java) S 22244 22226 21893 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1540620675 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22245/tid=22254] ppid=22244 vsize=654940 CPUtime=0
/proc/22245/task/22254/stat : 22254 (java) S 22244 22226 21893 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1540620675 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22246] ppid=22244 vsize=7044 CPUtime=0
/proc/22246/stat : 22246 (translate) S 22244 22226 21893 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1540620671 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/22246/statm: 1761 213 182 1 0 41 0
[pid=22234/tid=22235] ppid=22226 vsize=197432 CPUtime=4.88
/proc/22234/task/22235/stat : 22235 (java) S 22226 22226 21893 0 -1 64 3994 0 1 0 483 5 0 0 25 0 10 0 1540620034 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22234/tid=22236] ppid=22226 vsize=197432 CPUtime=1.13
/proc/22234/task/22236/stat : 22236 (java) S 22226 22226 21893 0 -1 64 8529 0 0 0 102 11 0 0 16 0 10 0 1540620035 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22237] ppid=22226 vsize=197432 CPUtime=0
/proc/22234/task/22237/stat : 22237 (java) S 22226 22226 21893 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1540620036 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22238] ppid=22226 vsize=197432 CPUtime=0
/proc/22234/task/22238/stat : 22238 (java) S 22226 22226 21893 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1540620036 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22239] ppid=22226 vsize=197432 CPUtime=0
/proc/22234/task/22239/stat : 22239 (java) S 22226 22226 21893 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1540620038 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22240] ppid=22226 vsize=197432 CPUtime=0.19
/proc/22234/task/22240/stat : 22240 (java) S 22226 22226 21893 0 -1 64 644 0 0 0 19 0 0 0 15 0 10 0 1540620038 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22241] ppid=22226 vsize=197432 CPUtime=0
/proc/22234/task/22241/stat : 22241 (java) S 22226 22226 21893 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1540620038 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22242] ppid=22226 vsize=197432 CPUtime=0
/proc/22234/task/22242/stat : 22242 (java) S 22226 22226 21893 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1540620038 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22243] ppid=22226 vsize=197432 CPUtime=0
/proc/22234/task/22243/stat : 22243 (java) S 22226 22226 21893 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1540620671 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 870132
[startup+25.5027 s]
/proc/loadavg: 2.10 2.03 1.92 3/102 22254
/proc/meminfo: memFree=1345472/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=1.93
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 375 3078 0 0 0 0 191 2 19 0 1 0 1540619838 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 238 196 169 0 51 0
[pid=22234] ppid=22226 vsize=197432 CPUtime=6.25
/proc/22234/stat : 22234 (java) S 22226 22226 21893 0 -1 0 13978 0 1 0 607 18 0 0 21 0 10 0 1540620033 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22234/statm: 49358 9491 2543 9 0 43941 0
[pid=22244] ppid=22234 vsize=5356 CPUtime=0
/proc/22244/stat : 22244 (abscon) S 22234 22226 21893 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1540620671 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/22244/statm: 1339 237 196 169 0 50 0
[pid=22245] ppid=22244 vsize=654940 CPUtime=17.14
/proc/22245/stat : 22245 (java) S 22244 22226 21893 0 -1 0 21409 0 1 0 1703 11 0 0 18 0 9 0 1540620671 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22245/statm: 163735 20718 2613 9 0 158263 0
[pid=22245/tid=22247] ppid=22244 vsize=654940 CPUtime=16.73
/proc/22245/task/22247/stat : 22247 (java) R 22244 22226 21893 0 -1 64 12526 0 1 0 1666 7 0 0 25 0 9 0 1540620672 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4126739497 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22245/tid=22248] ppid=22244 vsize=654940 CPUtime=0.18
/proc/22245/task/22248/stat : 22248 (java) S 22244 22226 21893 0 -1 64 7944 0 0 0 15 3 0 0 17 0 9 0 1540620673 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22245/tid=22249] ppid=22244 vsize=654940 CPUtime=0
/proc/22245/task/22249/stat : 22249 (java) S 22244 22226 21893 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1540620673 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/22234/task/22255/stat : 22255 (java) S 22226 22226 21893 0 -1 64 52 21986 0 1 0 0 23425 14 17 0 10 0 1540644132 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.52
Current children cumulated vsize (KiB) 220892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 22259
/proc/meminfo: memFree=1409472/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=1.93
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 375 3078 0 0 0 0 191 2 19 0 1 0 1540619838 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 238 196 169 0 51 0
[pid=22234] ppid=22226 vsize=197756 CPUtime=240.65
/proc/22234/stat : 22234 (java) S 22226 22226 21893 0 -1 0 14124 21986 1 1 607 19 23425 14 21 0 10 0 1540620033 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22234/statm: 49439 9497 2544 9 0 44022 0
[pid=22256] ppid=22234 vsize=5356 CPUtime=0
/proc/22256/stat : 22256 (mistral) S 22234 22226 21893 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1540644132 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/22256/statm: 1339 236 196 169 0 50 0
[pid=22257] ppid=22256 vsize=12420 CPUtime=1465.37
/proc/22257/stat : 22257 (xsolve) R 22256 22226 21893 0 -1 4194304 2457 0 0 0 146532 5 0 0 25 0 1 0 1540644133 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 135095121 0 4 0 0 0 0 0 17 1 0 0
/proc/22257/statm: 3105 2421 393 177 0 2008 0
[pid=22234/tid=22235] ppid=22226 vsize=197756 CPUtime=239.28
/proc/22234/task/22235/stat : 22235 (java) S 22226 22226 21893 0 -1 64 4070 21986 1 1 483 6 23425 14 16 0 10 0 1540620034 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22234/tid=22236] ppid=22226 vsize=197756 CPUtime=235.52
/proc/22234/task/22236/stat : 22236 (java) S 22226 22226 21893 0 -1 64 8537 21986 0 1 102 11 23425 14 16 0 10 0 1540620035 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22234/tid=22237] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22237/stat : 22237 (java) S 22226 22226 21893 0 -1 64 11 21986 0 1 0 0 23425 14 16 0 10 0 1540620036 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22238] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22238/stat : 22238 (java) S 22226 22226 21893 0 -1 64 6 21986 0 1 0 0 23425 14 15 0 10 0 1540620036 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22239] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22239/stat : 22239 (java) S 22226 22226 21893 0 -1 64 0 21986 0 1 0 0 23425 14 18 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22240] ppid=22226 vsize=197756 CPUtime=234.58
/proc/22234/task/22240/stat : 22240 (java) S 22226 22226 21893 0 -1 64 644 21986 0 1 19 0 23425 14 15 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22241] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22241/stat : 22241 (java) S 22226 22226 21893 0 -1 64 1 21986 0 1 0 0 23425 14 19 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22242] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22242/stat : 22242 (java) S 22226 22226 21893 0 -1 64 19 21986 0 1 0 0 23425 14 15 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22255] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22255/stat : 22255 (java) S 22226 22226 21893 0 -1 64 52 21986 0 1 0 0 23425 14 17 0 10 0 1540644132 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.95
Current children cumulated vsize (KiB) 220892
[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 22309
/proc/meminfo: memFree=1449272/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=1.93
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 375 3078 0 0 0 0 191 2 19 0 1 0 1540619838 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 238 196 169 0 51 0
[pid=22234] ppid=22226 vsize=197756 CPUtime=240.65
/proc/22234/stat : 22234 (java) S 22226 22226 21893 0 -1 0 14124 21986 1 1 607 19 23425 14 21 0 10 0 1540620033 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22234/statm: 49439 9497 2544 9 0 44022 0
[pid=22256] ppid=22234 vsize=5356 CPUtime=0
/proc/22256/stat : 22256 (mistral) S 22234 22226 21893 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1540644132 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/22256/statm: 1339 236 196 169 0 50 0
[pid=22257] ppid=22256 vsize=12420 CPUtime=1524.86
/proc/22257/stat : 22257 (xsolve) R 22256 22226 21893 0 -1 4194304 2457 0 0 0 152481 5 0 0 25 0 1 0 1540644133 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 135013649 0 4 0 0 0 0 0 17 0 0 0
/proc/22257/statm: 3105 2421 393 177 0 2008 0
[pid=22234/tid=22235] ppid=22226 vsize=197756 CPUtime=239.28
/proc/22234/task/22235/stat : 22235 (java) S 22226 22226 21893 0 -1 64 4070 21986 1 1 483 6 23425 14 16 0 10 0 1540620034 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22234/tid=22236] ppid=22226 vsize=197756 CPUtime=235.52
/proc/22234/task/22236/stat : 22236 (java) S 22226 22226 21893 0 -1 64 8537 21986 0 1 102 11 23425 14 16 0 10 0 1540620035 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22234/tid=22237] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22237/stat : 22237 (java) S 22226 22226 21893 0 -1 64 11 21986 0 1 0 0 23425 14 16 0 10 0 1540620036 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22238] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22238/stat : 22238 (java) S 22226 22226 21893 0 -1 64 6 21986 0 1 0 0 23425 14 15 0 10 0 1540620036 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22239] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22239/stat : 22239 (java) S 22226 22226 21893 0 -1 64 0 21986 0 1 0 0 23425 14 18 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22240] ppid=22226 vsize=197756 CPUtime=234.58
/proc/22234/task/22240/stat : 22240 (java) S 22226 22226 21893 0 -1 64 644 21986 0 1 19 0 23425 14 15 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22241] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22241/stat : 22241 (java) S 22226 22226 21893 0 -1 64 1 21986 0 1 0 0 23425 14 19 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22242] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22242/stat : 22242 (java) S 22226 22226 21893 0 -1 64 19 21986 0 1 0 0 23425 14 15 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22255] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22255/stat : 22255 (java) S 22226 22226 21893 0 -1 64 52 21986 0 1 0 0 23425 14 17 0 10 0 1540644132 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.44
Current children cumulated vsize (KiB) 220892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.9 s]
/proc/loadavg: 2.03 2.00 2.00 3/94 22309
/proc/meminfo: memFree=881464/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=1.93
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 375 3078 0 0 0 0 191 2 19 0 1 0 1540619838 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 238 196 169 0 51 0
[pid=22234] ppid=22226 vsize=197756 CPUtime=240.65
/proc/22234/stat : 22234 (java) S 22226 22226 21893 0 -1 0 14124 21986 1 1 607 19 23425 14 21 0 10 0 1540620033 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22234/statm: 49439 9497 2544 9 0 44022 0
[pid=22256] ppid=22234 vsize=5356 CPUtime=0
/proc/22256/stat : 22256 (mistral) S 22234 22226 21893 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1540644132 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/22256/statm: 1339 236 196 169 0 50 0
[pid=22257] ppid=22256 vsize=12420 CPUtime=1557.44
/proc/22257/stat : 22257 (xsolve) R 22256 22226 21893 0 -1 4194304 2457 0 0 0 155738 6 0 0 25 0 1 0 1540644133 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 134819899 0 4 0 0 0 0 0 17 0 0 0
/proc/22257/statm: 3105 2421 393 177 0 2008 0
[pid=22234/tid=22235] ppid=22226 vsize=197756 CPUtime=239.28
/proc/22234/task/22235/stat : 22235 (java) S 22226 22226 21893 0 -1 64 4070 21986 1 1 483 6 23425 14 16 0 10 0 1540620034 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22234/tid=22236] ppid=22226 vsize=197756 CPUtime=235.52
/proc/22234/task/22236/stat : 22236 (java) S 22226 22226 21893 0 -1 64 8537 21986 0 1 102 11 23425 14 16 0 10 0 1540620035 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22234/tid=22237] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22237/stat : 22237 (java) S 22226 22226 21893 0 -1 64 11 21986 0 1 0 0 23425 14 16 0 10 0 1540620036 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22238] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22238/stat : 22238 (java) S 22226 22226 21893 0 -1 64 6 21986 0 1 0 0 23425 14 15 0 10 0 1540620036 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22239] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22239/stat : 22239 (java) S 22226 22226 21893 0 -1 64 0 21986 0 1 0 0 23425 14 18 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22240] ppid=22226 vsize=197756 CPUtime=234.58
/proc/22234/task/22240/stat : 22240 (java) S 22226 22226 21893 0 -1 64 644 21986 0 1 19 0 23425 14 15 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22241] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22241/stat : 22241 (java) S 22226 22226 21893 0 -1 64 1 21986 0 1 0 0 23425 14 19 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22242] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22242/stat : 22242 (java) S 22226 22226 21893 0 -1 64 19 21986 0 1 0 0 23425 14 15 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22255] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22255/stat : 22255 (java) S 22226 22226 21893 0 -1 64 52 21986 0 1 0 0 23425 14 17 0 10 0 1540644132 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 220892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1814.9 s]
/proc/loadavg: 2.03 2.00 2.00 3/94 22309
/proc/meminfo: memFree=881464/2055920 swapFree=4121284/4192956
[pid=22226] ppid=22224 vsize=5360 CPUtime=1.93
/proc/22226/stat : 22226 (hydra) S 22224 22226 21893 0 -1 4194304 375 3078 0 0 0 0 191 2 19 0 1 0 1540619838 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22226/statm: 1340 238 196 169 0 51 0
[pid=22234] ppid=22226 vsize=197756 CPUtime=240.65
/proc/22234/stat : 22234 (java) S 22226 22226 21893 0 -1 0 14124 21986 1 1 607 19 23425 14 21 0 10 0 1540620033 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22234/statm: 49439 9497 2544 9 0 44022 0
[pid=22256] ppid=22234 vsize=5356 CPUtime=0
/proc/22256/stat : 22256 (mistral) S 22234 22226 21893 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1540644132 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/22256/statm: 1339 236 196 169 0 50 0
[pid=22257] ppid=22256 vsize=12420 CPUtime=1557.44
/proc/22257/stat : 22257 (xsolve) R 22256 22226 21893 0 -1 4194304 2457 0 0 0 155738 6 0 0 25 0 1 0 1540644133 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 134819899 0 4 0 0 0 0 0 17 0 0 0
/proc/22257/statm: 3105 2421 393 177 0 2008 0
[pid=22234/tid=22235] ppid=22226 vsize=197756 CPUtime=239.28
/proc/22234/task/22235/stat : 22235 (java) S 22226 22226 21893 0 -1 64 4070 21986 1 1 483 6 23425 14 16 0 10 0 1540620034 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22234/tid=22236] ppid=22226 vsize=197756 CPUtime=235.52
/proc/22234/task/22236/stat : 22236 (java) S 22226 22226 21893 0 -1 64 8537 21986 0 1 102 11 23425 14 16 0 10 0 1540620035 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22234/tid=22237] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22237/stat : 22237 (java) S 22226 22226 21893 0 -1 64 11 21986 0 1 0 0 23425 14 16 0 10 0 1540620036 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22238] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22238/stat : 22238 (java) S 22226 22226 21893 0 -1 64 6 21986 0 1 0 0 23425 14 15 0 10 0 1540620036 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22239] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22239/stat : 22239 (java) S 22226 22226 21893 0 -1 64 0 21986 0 1 0 0 23425 14 18 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22240] ppid=22226 vsize=197756 CPUtime=234.58
/proc/22234/task/22240/stat : 22240 (java) S 22226 22226 21893 0 -1 64 644 21986 0 1 19 0 23425 14 15 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22241] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22241/stat : 22241 (java) S 22226 22226 21893 0 -1 64 1 21986 0 1 0 0 23425 14 19 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22242] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22242/stat : 22242 (java) S 22226 22226 21893 0 -1 64 19 21986 0 1 0 0 23425 14 15 0 10 0 1540620038 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22234/tid=22255] ppid=22226 vsize=197756 CPUtime=234.39
/proc/22234/task/22255/stat : 22255 (java) S 22226 22226 21893 0 -1 64 52 21986 0 1 0 0 23425 14 17 0 10 0 1540644132 202502144 9497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 220892
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22226 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=913709
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 1.93971
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1814.93
CPU time (s): 1800.02
CPU user time (s): 1799.61
CPU system time (s): 0.41
CPU usage (%): 99.1784
Max. virtual memory (cumulated for all children) (KiB): 870132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.91371
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 92
runsolver used 2.90656 second user time and 7.75282 second system time
The end