0.00/0.00 c cpHydra_k_10 version 0.0
6.91/7.08 c CASE TO CLASSIFY:
6.91/7.08 c Case: 0
6.91/7.09 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.627100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.007600 | c 14 > 12.553400 | c 11 > 4.321930 | c 12 > 11.914600 | 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.857980 | 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
6.91/7.10 c choco : 1801.0
6.91/7.10 c mistral : 1801.0
6.91/7.10 c abscon : 1801.0
6.91/7.10 c
6.91/7.10 c
7.21/7.34 c List of same ones: 10
7.21/7.34 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-31_ext.xml
7.21/7.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.351100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.869200 | c 14 > 12.396100 | c 11 > 4.321930 | c 12 > 11.818300 | 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
7.21/7.35 c choco : 1801.0
7.21/7.35 c mistral : 62.89
7.21/7.35 c abscon : 215.477
7.21/7.35 c
7.21/7.35 c
7.21/7.35 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-17_ext.xml
7.21/7.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.455000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.133100 | c 14 > 12.685600 | c 11 > 4.321930 | c 12 > 11.638200 | 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.857980 | 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
7.21/7.36 c choco : 1801.0
7.21/7.36 c mistral : 28.8786
7.21/7.36 c abscon : 51.0712
7.21/7.36 c
7.21/7.36 c
7.21/7.36 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-35_ext.xml
7.21/7.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.301100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.880100 | c 14 > 12.414700 | c 11 > 4.321930 | c 12 > 11.695600 | 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.832890 | 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
7.21/7.37 c choco : 1801.0
7.21/7.37 c mistral : 7.55985
7.21/7.37 c abscon : 24.3843
7.21/7.37 c
7.21/7.37 c
7.21/7.37 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-31_ext.xml
7.21/7.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.331900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.844300 | c 14 > 12.314300 | c 11 > 4.321930 | c 12 > 11.772300 | 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
7.21/7.38 c choco : 1801.0
7.21/7.38 c mistral : 43.0794
7.21/7.38 c abscon : 20.8628
7.21/7.38 c
7.21/7.38 c
7.21/7.38 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-35_ext.xml
7.21/7.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.254500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.151600 | c 14 > 12.350100 | c 11 > 4.321930 | c 12 > 11.964800 | 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.832890 | 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
7.21/7.39 c choco : 1801.0
7.21/7.39 c mistral : 21.86
7.21/7.39 c abscon : 74.1807
7.21/7.39 c
7.21/7.39 c
7.21/7.39 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-23_ext.xml
7.21/7.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.312100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.749000 | c 14 > 12.363300 | c 11 > 4.321930 | c 12 > 11.725900 | 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.832890 | 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
7.21/7.39 c choco : 1801.0
7.21/7.39 c mistral : 7.30789
7.21/7.39 c abscon : 36.7414
7.21/7.39 c
7.21/7.39 c
7.21/7.40 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-5_ext.xml
7.21/7.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.292500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.945600 | c 14 > 12.518200 | c 11 > 4.321930 | c 12 > 11.512600 | 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.781360 | 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
7.29/7.40 c choco : 1801.0
7.29/7.40 c mistral : 74.26
7.29/7.40 c abscon : 247.837
7.29/7.40 c
7.29/7.40 c
7.29/7.40 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-15_ext.xml
7.29/7.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.289700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.862600 | c 14 > 12.162100 | c 11 > 4.321930 | c 12 > 11.961800 | 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.857980 | 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
7.29/7.41 c choco : 1801.0
7.29/7.41 c mistral : 5.62414
7.29/7.41 c abscon : 23.8904
7.29/7.41 c
7.29/7.41 c
7.29/7.41 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-25_ext.xml
7.29/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.364500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.821400 | c 14 > 12.166200 | c 11 > 4.321930 | c 12 > 11.683300 | 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
7.29/7.42 c choco : 1801.0
7.29/7.42 c mistral : 25.86
7.29/7.42 c abscon : 86.6928
7.29/7.42 c
7.29/7.42 c
7.29/7.42 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-13_ext.xml
7.29/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.438200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.691600 | c 14 > 12.347900 | c 11 > 4.321930 | c 12 > 11.522400 | 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.857980 | 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
7.29/7.43 c choco : 1801.0
7.29/7.43 c mistral : 40.83
7.29/7.43 c abscon : 38.2792
7.29/7.43 c
7.29/7.43 c
7.29/7.43 c Length: 10
7.29/7.43 c 0.36049362768293114 0.3731520601577873 0.43630316077241255 0.43799103369817843 0.4517158377785742 0.48833816981677597 0.533399310460745 0.5387089102660161 0.554671835953476 0.5758387795207973
7.29/7.43 c
7.29/7.43 c 1.0 0.9444814321098818 0.7396245466275142 0.7353615315226173 0.7024399155855734 0.6274814064073178 0.5546547042224161 0.5471717505208707 0.525843389692981 0.5
7.29/7.43 c
7.29/7.43 c solver 0
7.29/7.43 c before 0.0 seconds: {} 0
7.29/7.43 c before 36.0 seconds: {2, 3, 7} 2022
7.29/7.43 c before 54.0 seconds: {1, 2, 3, 5, 7, 9} 4094
7.29/7.43 c before 90.0 seconds: {1, 2, 3, 4, 5, 7, 8, 9} 5322
7.29/7.43 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6322
7.29/7.43 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6877
7.29/7.43 c
7.29/7.43 c solver 1
7.29/7.43 c before 0.0 seconds: {} 0
7.29/7.43 c before 18.0 seconds: {2, 5, 7} 1914
7.29/7.43 c before 36.0 seconds: {1, 2, 4, 5, 7, 8} 4087
7.29/7.43 c before 54.0 seconds: {1, 2, 3, 4, 5, 7, 8, 9} 5322
7.29/7.43 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6322
7.29/7.43 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6877
7.29/7.43 c
7.29/7.43 c solver 2
7.29/7.43 c before 0.0 seconds: {} 0
7.29/7.43 c
7.29/7.43 cTotal time: 19
7.29/7.43 c 342.0 seconds unused
7.29/7.43 c 0 c 0 c 10
7.29/7.43 c 0 c 0 c 10
7.29/7.44 c 0 c 0 c 0
7.29/7.44 c is solver0 dominated by:
7.29/7.44 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.29/7.44 c is dominated? true
7.29/7.44 c
7.29/7.44 c is solver1 dominated by:
7.29/7.44 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.29/7.44 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.29/7.44 c is dominated? false
7.29/7.44 c
7.29/7.44 c is solver2 dominated by:
7.29/7.44 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.29/7.44 c is dominated? true
7.29/7.44 c
7.29/7.44 c Number of non-dominated solvers: 1
7.29/7.44 c remove dominated solvers
7.29/7.44 c solver 1 is not dominated by another solver
7.29/7.44 c solver 2 is dominated by another solver
7.29/7.44 c solver 0 is dominated by another solver
7.29/7.44 c
7.29/7.44 c solver 0: 0.0
7.29/7.44 c
7.29/7.44 c solver 1: 90.0
7.29/7.44 c
7.29/7.44 c+ 5/5 of 95
7.29/7.44 c
7.29/7.44 c solver 2: 0.0
7.29/7.44 c do not run abscon
7.29/7.44 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6877
7.29/7.44 c do not run choco
7.29/7.44 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.29/7.44 c On Instance: HOME/instance-1078226-1215205959.xml
7.29/7.44 c Running for: 1800 seconds
9.75/11.05 c mistral-prime version 1.313
9.75/11.05 s SATISFIABLE
9.75/11.05 v 17 4 2 16 2 0 12 4 7 14 3 15 14 5 1 8 11 2 0 1
9.75/11.05 d CHECKS 1274818
9.75/11.05 d ASSIGNMENTS 9534
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078226-1215205959/watcher-1078226-1215205959 -o /tmp/evaluation-result-1078226-1215205959/solver-1078226-1215205959 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1078226-1215205959.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.00 2.03 2.09 4/74 24058
/proc/meminfo: memFree=1669024/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=0
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 633813761 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24058/statm: 1340 236 195 169 0 51 0
[pid=24061] ppid=24058 vsize=5360 CPUtime=0
/proc/24061/stat : 24061 (hydra) R 24058 24058 23071 0 -1 4194368 22 0 0 0 0 0 0 0 21 0 1 0 633813761 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 228043844903 0 0 4096 0 0 0 0 17 1 0 0
/proc/24061/statm: 1340 239 198 169 0 51 0
[startup+0.0966759 s]
/proc/loadavg: 2.00 2.03 2.09 4/74 24058
/proc/meminfo: memFree=1669024/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=0
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 633813761 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24058/statm: 1340 236 195 169 0 51 0
[pid=24061] ppid=24058 vsize=6320 CPUtime=0.08
/proc/24061/stat : 24061 (xsolve) R 24058 24058 23071 0 -1 4194304 873 0 0 0 8 0 0 0 18 0 1 0 633813761 6471680 832 996147200 134512640 135239763 4294956176 18446744073709551615 134579063 0 0 4096 0 0 0 0 17 1 0 0
/proc/24061/statm: 1580 832 355 177 0 483 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11680
[startup+0.101674 s]
/proc/loadavg: 2.00 2.03 2.09 4/74 24058
/proc/meminfo: memFree=1669024/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=0
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 633813761 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24058/statm: 1340 236 195 169 0 51 0
[pid=24061] ppid=24058 vsize=6320 CPUtime=0.09
/proc/24061/stat : 24061 (xsolve) R 24058 24058 23071 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 633813761 6471680 855 996147200 134512640 135239763 4294956176 18446744073709551615 134642496 0 0 4096 0 0 0 0 17 1 0 0
/proc/24061/statm: 1580 855 355 177 0 483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11680
[startup+0.301712 s]
/proc/loadavg: 2.00 2.03 2.09 4/74 24058
/proc/meminfo: memFree=1669024/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=0
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 633813761 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24058/statm: 1340 236 195 169 0 51 0
[pid=24061] ppid=24058 vsize=8052 CPUtime=0.28
/proc/24061/stat : 24061 (xsolve) R 24058 24058 23071 0 -1 4194304 1375 0 0 0 28 0 0 0 20 0 1 0 633813761 8245248 1334 996147200 134512640 135239763 4294956176 18446744073709551615 134789433 0 0 4096 0 0 0 0 17 1 0 0
/proc/24061/statm: 2013 1334 412 177 0 916 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13412
[startup+0.701791 s]
/proc/loadavg: 2.00 2.03 2.09 4/74 24058
/proc/meminfo: memFree=1669024/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=0
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 633813761 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24058/statm: 1340 236 195 169 0 51 0
[pid=24061] ppid=24058 vsize=8052 CPUtime=0.68
/proc/24061/stat : 24061 (xsolve) R 24058 24058 23071 0 -1 4194304 1375 0 0 0 68 0 0 0 24 0 1 0 633813761 8245248 1334 996147200 134512640 135239763 4294956176 18446744073709551615 135013682 0 0 4096 0 0 0 0 17 1 0 0
/proc/24061/statm: 2013 1334 412 177 0 916 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13412
[startup+1.50195 s]
/proc/loadavg: 2.00 2.03 2.09 3/76 24062
/proc/meminfo: memFree=1665040/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=0
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 633813761 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24058/statm: 1340 236 195 169 0 51 0
[pid=24061] ppid=24058 vsize=8052 CPUtime=1.47
/proc/24061/stat : 24061 (xsolve) R 24058 24058 23071 0 -1 4194304 1375 0 0 0 147 0 0 0 25 0 1 0 633813761 8245248 1334 996147200 134512640 135239763 4294956176 18446744073709551615 134789464 0 0 4096 0 0 0 0 17 1 0 0
/proc/24061/statm: 2013 1334 412 177 0 916 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13412
[startup+3.10227 s]
/proc/loadavg: 2.00 2.03 2.09 4/84 24074
/proc/meminfo: memFree=1662416/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=1.65
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 375 1972 0 0 0 0 164 1 18 0 1 0 633813761 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24058/statm: 1340 238 196 169 0 51 0
[pid=24066] ppid=24058 vsize=197108 CPUtime=1.4
/proc/24066/stat : 24066 (java) S 24058 24058 23071 0 -1 0 5001 0 1 0 135 5 0 0 18 0 9 0 633813928 201838592 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24066/statm: 49277 4201 1678 9 0 43860 0
[pid=24066/tid=24067] ppid=24058 vsize=197108 CPUtime=1.12
/proc/24066/task/24067/stat : 24067 (java) R 24058 24058 23071 0 -1 64 2728 0 1 0 110 2 0 0 25 0 9 0 633813929 201838592 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4126491367 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24068] ppid=24058 vsize=197108 CPUtime=0.12
/proc/24066/task/24068/stat : 24068 (java) S 24058 24058 23071 0 -1 64 938 0 0 0 11 1 0 0 16 0 9 0 633813930 201838592 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24069] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24069/stat : 24069 (java) S 24058 24058 23071 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 633813931 201838592 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24070] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24070/stat : 24070 (java) S 24058 24058 23071 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 633813931 201838592 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24071] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24071/stat : 24071 (java) S 24058 24058 23071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 633813932 201838592 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24072] ppid=24058 vsize=197108 CPUtime=0.13
/proc/24066/task/24072/stat : 24072 (java) S 24058 24058 23071 0 -1 64 610 0 0 0 13 0 0 0 16 0 9 0 633813932 201838592 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24073] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24073/stat : 24073 (java) S 24058 24058 23071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 633813933 201838592 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24074] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24074/stat : 24074 (java) S 24058 24058 23071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 633813933 201838592 4201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202468
[startup+6.3019 s]
/proc/loadavg: 2.00 2.03 2.09 3/84 24074
/proc/meminfo: memFree=1647184/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=1.65
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 375 1972 0 0 0 0 164 1 18 0 1 0 633813761 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24058/statm: 1340 238 196 169 0 51 0
[pid=24066] ppid=24058 vsize=197108 CPUtime=4.57
/proc/24066/stat : 24066 (java) S 24058 24058 23071 0 -1 0 10194 0 1 0 444 13 0 0 18 0 9 0 633813928 201838592 8454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24066/statm: 49277 8454 2540 9 0 43860 0
[pid=24066/tid=24067] ppid=24058 vsize=197108 CPUtime=3.66
/proc/24066/task/24067/stat : 24067 (java) R 24058 24058 23071 0 -1 64 3584 0 1 0 362 4 0 0 25 0 9 0 633813929 201838592 8454 996147200 134512640 134550740 4294955968 18446744073709551615 4126445553 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24068] ppid=24058 vsize=197108 CPUtime=0.72
/proc/24066/task/24068/stat : 24068 (java) S 24058 24058 23071 0 -1 64 5260 0 0 0 65 7 0 0 16 0 9 0 633813930 201838592 8454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24069] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24069/stat : 24069 (java) S 24058 24058 23071 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 633813931 201838592 8454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24070] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24070/stat : 24070 (java) S 24058 24058 23071 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 633813931 201838592 8454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24071] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24071/stat : 24071 (java) S 24058 24058 23071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 633813932 201838592 8454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24072] ppid=24058 vsize=197108 CPUtime=0.16
/proc/24066/task/24072/stat : 24072 (java) S 24058 24058 23071 0 -1 64 625 0 0 0 16 0 0 0 16 0 9 0 633813932 201838592 8454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24073] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24073/stat : 24073 (java) S 24058 24058 23071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 633813933 201838592 8454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24074] ppid=24058 vsize=197108 CPUtime=0
/proc/24066/task/24074/stat : 24074 (java) S 24058 24058 23071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 633813933 201838592 8454 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202468
Solver just ended. Dumping a history of the last processes samples
[startup+9.50254 s]
/proc/loadavg: 2.16 2.06 2.10 3/87 24077
/proc/meminfo: memFree=1636592/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=1.65
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 375 1972 0 0 0 0 164 1 18 0 1 0 633813761 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24058/statm: 1340 238 196 169 0 51 0
[pid=24066] ppid=24058 vsize=197432 CPUtime=5.69
/proc/24066/stat : 24066 (java) S 24058 24058 23071 0 -1 0 13990 0 1 0 552 17 0 0 18 0 10 0 633813928 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24066/statm: 49358 9509 2543 9 0 43941 0
[pid=24076] ppid=24066 vsize=5356 CPUtime=0
/proc/24076/stat : 24076 (mistral) S 24066 24058 23071 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 633814506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24076/statm: 1339 236 196 169 0 50 0
[pid=24077] ppid=24076 vsize=8052 CPUtime=0.9
/proc/24077/stat : 24077 (xsolve) R 24076 24058 23071 0 -1 4194304 1351 0 0 0 90 0 0 0 25 0 1 0 633814619 8245248 1315 996147200 134512640 135239763 4294955952 18446744073709551615 134820087 0 4 0 0 0 0 0 17 0 0 0
/proc/24077/statm: 2013 1315 393 177 0 916 0
[pid=24066/tid=24067] ppid=24058 vsize=197432 CPUtime=4.45
/proc/24066/task/24067/stat : 24067 (java) S 24058 24058 23071 0 -1 64 3990 0 1 0 439 6 0 0 16 0 10 0 633813929 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24066/tid=24068] ppid=24058 vsize=197432 CPUtime=1.02
/proc/24066/task/24068/stat : 24068 (java) S 24058 24058 23071 0 -1 64 8563 0 0 0 93 9 0 0 16 0 10 0 633813930 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24069] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24069/stat : 24069 (java) S 24058 24058 23071 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24070] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24070/stat : 24070 (java) S 24058 24058 23071 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24071] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24071/stat : 24071 (java) S 24058 24058 23071 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24072] ppid=24058 vsize=197432 CPUtime=0.19
/proc/24066/task/24072/stat : 24072 (java) S 24058 24058 23071 0 -1 64 642 0 0 0 19 0 0 0 16 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24073] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24073/stat : 24073 (java) S 24058 24058 23071 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24074] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24074/stat : 24074 (java) S 24058 24058 23071 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24075] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24075/stat : 24075 (java) S 24058 24058 23071 0 -1 64 64 0 0 0 0 0 0 0 16 0 10 0 633814506 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 216200
[startup+10.3017 s]
/proc/loadavg: 2.16 2.06 2.10 3/87 24077
/proc/meminfo: memFree=1635312/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=1.65
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 375 1972 0 0 0 0 164 1 18 0 1 0 633813761 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24058/statm: 1340 238 196 169 0 51 0
[pid=24066] ppid=24058 vsize=197432 CPUtime=5.69
/proc/24066/stat : 24066 (java) S 24058 24058 23071 0 -1 0 13990 0 1 0 552 17 0 0 18 0 10 0 633813928 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24066/statm: 49358 9509 2543 9 0 43941 0
[pid=24076] ppid=24066 vsize=5356 CPUtime=0
/proc/24076/stat : 24076 (mistral) S 24066 24058 23071 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 633814506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24076/statm: 1339 236 196 169 0 50 0
[pid=24077] ppid=24076 vsize=8052 CPUtime=1.7
/proc/24077/stat : 24077 (xsolve) R 24076 24058 23071 0 -1 4194304 1351 0 0 0 170 0 0 0 25 0 1 0 633814619 8245248 1315 996147200 134512640 135239763 4294955952 18446744073709551615 134819917 0 4 0 0 0 0 0 17 0 0 0
/proc/24077/statm: 2013 1315 393 177 0 916 0
[pid=24066/tid=24067] ppid=24058 vsize=197432 CPUtime=4.45
/proc/24066/task/24067/stat : 24067 (java) S 24058 24058 23071 0 -1 64 3990 0 1 0 439 6 0 0 16 0 10 0 633813929 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24066/tid=24068] ppid=24058 vsize=197432 CPUtime=1.02
/proc/24066/task/24068/stat : 24068 (java) S 24058 24058 23071 0 -1 64 8563 0 0 0 93 9 0 0 16 0 10 0 633813930 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24069] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24069/stat : 24069 (java) S 24058 24058 23071 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24070] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24070/stat : 24070 (java) S 24058 24058 23071 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24071] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24071/stat : 24071 (java) S 24058 24058 23071 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24072] ppid=24058 vsize=197432 CPUtime=0.19
/proc/24066/task/24072/stat : 24072 (java) S 24058 24058 23071 0 -1 64 642 0 0 0 19 0 0 0 16 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24073] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24073/stat : 24073 (java) S 24058 24058 23071 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24074] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24074/stat : 24074 (java) S 24058 24058 23071 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24075] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24075/stat : 24075 (java) S 24058 24058 23071 0 -1 64 64 0 0 0 0 0 0 0 16 0 10 0 633814506 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.04
Current children cumulated vsize (KiB) 216200
[startup+10.7018 s]
/proc/loadavg: 2.16 2.06 2.10 3/87 24077
/proc/meminfo: memFree=1635312/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=1.65
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 375 1972 0 0 0 0 164 1 18 0 1 0 633813761 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24058/statm: 1340 238 196 169 0 51 0
[pid=24066] ppid=24058 vsize=197432 CPUtime=5.69
/proc/24066/stat : 24066 (java) S 24058 24058 23071 0 -1 0 13990 0 1 0 552 17 0 0 18 0 10 0 633813928 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24066/statm: 49358 9509 2543 9 0 43941 0
[pid=24076] ppid=24066 vsize=5356 CPUtime=0
/proc/24076/stat : 24076 (mistral) S 24066 24058 23071 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 633814506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24076/statm: 1339 236 196 169 0 50 0
[pid=24077] ppid=24076 vsize=8052 CPUtime=2.1
/proc/24077/stat : 24077 (xsolve) R 24076 24058 23071 0 -1 4194304 1351 0 0 0 210 0 0 0 25 0 1 0 633814619 8245248 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135103311 0 4 0 0 0 0 0 17 0 0 0
/proc/24077/statm: 2013 1315 393 177 0 916 0
[pid=24066/tid=24067] ppid=24058 vsize=197432 CPUtime=4.45
/proc/24066/task/24067/stat : 24067 (java) S 24058 24058 23071 0 -1 64 3990 0 1 0 439 6 0 0 16 0 10 0 633813929 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24066/tid=24068] ppid=24058 vsize=197432 CPUtime=1.02
/proc/24066/task/24068/stat : 24068 (java) S 24058 24058 23071 0 -1 64 8563 0 0 0 93 9 0 0 16 0 10 0 633813930 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24069] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24069/stat : 24069 (java) S 24058 24058 23071 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24070] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24070/stat : 24070 (java) S 24058 24058 23071 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24071] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24071/stat : 24071 (java) S 24058 24058 23071 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24072] ppid=24058 vsize=197432 CPUtime=0.19
/proc/24066/task/24072/stat : 24072 (java) S 24058 24058 23071 0 -1 64 642 0 0 0 19 0 0 0 16 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24073] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24073/stat : 24073 (java) S 24058 24058 23071 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24074] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24074/stat : 24074 (java) S 24058 24058 23071 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24075] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24075/stat : 24075 (java) S 24058 24058 23071 0 -1 64 64 0 0 0 0 0 0 0 16 0 10 0 633814506 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (KiB) 216200
[startup+10.9018 s]
/proc/loadavg: 2.16 2.06 2.10 3/87 24077
/proc/meminfo: memFree=1635248/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=1.65
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 375 1972 0 0 0 0 164 1 18 0 1 0 633813761 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24058/statm: 1340 238 196 169 0 51 0
[pid=24066] ppid=24058 vsize=197432 CPUtime=5.69
/proc/24066/stat : 24066 (java) S 24058 24058 23071 0 -1 0 13990 0 1 0 552 17 0 0 18 0 10 0 633813928 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24066/statm: 49358 9509 2543 9 0 43941 0
[pid=24076] ppid=24066 vsize=5356 CPUtime=0
/proc/24076/stat : 24076 (mistral) S 24066 24058 23071 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 633814506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24076/statm: 1339 236 196 169 0 50 0
[pid=24077] ppid=24076 vsize=8052 CPUtime=2.31
/proc/24077/stat : 24077 (xsolve) R 24076 24058 23071 0 -1 4194304 1351 0 0 0 231 0 0 0 25 0 1 0 633814619 8245248 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135013654 0 4 0 0 0 0 0 17 0 0 0
/proc/24077/statm: 2013 1315 393 177 0 916 0
[pid=24066/tid=24067] ppid=24058 vsize=197432 CPUtime=4.45
/proc/24066/task/24067/stat : 24067 (java) S 24058 24058 23071 0 -1 64 3990 0 1 0 439 6 0 0 16 0 10 0 633813929 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24066/tid=24068] ppid=24058 vsize=197432 CPUtime=1.02
/proc/24066/task/24068/stat : 24068 (java) S 24058 24058 23071 0 -1 64 8563 0 0 0 93 9 0 0 16 0 10 0 633813930 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24069] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24069/stat : 24069 (java) S 24058 24058 23071 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24070] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24070/stat : 24070 (java) S 24058 24058 23071 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24071] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24071/stat : 24071 (java) S 24058 24058 23071 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24072] ppid=24058 vsize=197432 CPUtime=0.19
/proc/24066/task/24072/stat : 24072 (java) S 24058 24058 23071 0 -1 64 642 0 0 0 19 0 0 0 16 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24073] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24073/stat : 24073 (java) S 24058 24058 23071 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24074] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24074/stat : 24074 (java) S 24058 24058 23071 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24075] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24075/stat : 24075 (java) S 24058 24058 23071 0 -1 64 64 0 0 0 0 0 0 0 16 0 10 0 633814506 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 216200
[startup+11.0068 s]
/proc/loadavg: 2.16 2.06 2.10 3/87 24077
/proc/meminfo: memFree=1635248/2055920 swapFree=4166000/4192956
[pid=24058] ppid=24056 vsize=5360 CPUtime=1.65
/proc/24058/stat : 24058 (hydra) S 24056 24058 23071 0 -1 4194304 375 1972 0 0 0 0 164 1 18 0 1 0 633813761 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24058/statm: 1340 238 196 169 0 51 0
[pid=24066] ppid=24058 vsize=197432 CPUtime=5.69
/proc/24066/stat : 24066 (java) S 24058 24058 23071 0 -1 0 13990 0 1 0 552 17 0 0 18 0 10 0 633813928 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24066/statm: 49358 9509 2543 9 0 43941 0
[pid=24076] ppid=24066 vsize=5356 CPUtime=0
/proc/24076/stat : 24076 (mistral) S 24066 24058 23071 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 633814506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24076/statm: 1339 236 196 169 0 50 0
[pid=24077] ppid=24076 vsize=8052 CPUtime=2.41
/proc/24077/stat : 24077 (xsolve) R 24076 24058 23071 0 -1 4194304 1351 0 0 0 241 0 0 0 25 0 1 0 633814619 8245248 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135096720 0 4 0 0 0 0 0 17 0 0 0
/proc/24077/statm: 2013 1315 393 177 0 916 0
[pid=24066/tid=24067] ppid=24058 vsize=197432 CPUtime=4.45
/proc/24066/task/24067/stat : 24067 (java) S 24058 24058 23071 0 -1 64 3990 0 1 0 439 6 0 0 16 0 10 0 633813929 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24066/tid=24068] ppid=24058 vsize=197432 CPUtime=1.02
/proc/24066/task/24068/stat : 24068 (java) S 24058 24058 23071 0 -1 64 8563 0 0 0 93 9 0 0 16 0 10 0 633813930 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24069] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24069/stat : 24069 (java) S 24058 24058 23071 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24070] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24070/stat : 24070 (java) S 24058 24058 23071 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 633813931 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24071] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24071/stat : 24071 (java) S 24058 24058 23071 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24072] ppid=24058 vsize=197432 CPUtime=0.19
/proc/24066/task/24072/stat : 24072 (java) S 24058 24058 23071 0 -1 64 642 0 0 0 19 0 0 0 16 0 10 0 633813932 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24073] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24073/stat : 24073 (java) S 24058 24058 23071 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24074] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24074/stat : 24074 (java) S 24058 24058 23071 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 633813933 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24066/tid=24075] ppid=24058 vsize=197432 CPUtime=0
/proc/24066/task/24075/stat : 24075 (java) S 24058 24058 23071 0 -1 64 64 0 0 0 0 0 0 0 16 0 10 0 633814506 202170368 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.75
Current children cumulated vsize (KiB) 216200
Child status: 0
Real time (s): 11.0739
CPU time (s): 9.8365
CPU user time (s): 9.62254
CPU system time (s): 0.213967
CPU usage (%): 88.826
Max. virtual memory (cumulated for all children) (KiB): 400224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.62254
system time used= 0.213967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18107
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8983
involuntary context switches= 10380
runsolver used 0.021996 second user time and 0.06499 second system time
The end