0.00/0.00 c cpHydra_k_10 version 0.0
6.93/7.08 c CASE TO CLASSIFY:
6.93/7.08 c Case: 0
6.93/7.08 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.486100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.358900 | c 14 > 12.430200 | c 11 > 4.321930 | c 12 > 12.074500 | 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.93/7.09 c choco : 1801.0
6.93/7.09 c mistral : 1801.0
6.93/7.09 c abscon : 1801.0
6.93/7.09 c
6.93/7.09 c
7.02/7.16 c List of same ones: 10
7.02/7.16 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-35_ext.xml
7.02/7.16 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.02/7.17 c choco : 1801.0
7.02/7.17 c mistral : 21.86
7.02/7.17 c abscon : 74.1807
7.02/7.17 c
7.02/7.17 c
7.02/7.17 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-43_ext.xml
7.02/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.059200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.407600 | c 14 > 12.137300 | c 11 > 4.321930 | c 12 > 11.887500 | 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.02/7.18 c choco : 1801.0
7.02/7.18 c mistral : 6.51
7.02/7.18 c abscon : 22.0826
7.02/7.18 c
7.02/7.18 c
7.02/7.18 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-17_ext.xml
7.02/7.18 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.02/7.19 c choco : 1801.0
7.02/7.19 c mistral : 28.8786
7.02/7.19 c abscon : 51.0712
7.02/7.19 c
7.02/7.19 c
7.02/7.19 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-31_ext.xml
7.02/7.19 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.02/7.19 c choco : 1801.0
7.02/7.19 c mistral : 62.89
7.02/7.19 c abscon : 215.477
7.02/7.19 c
7.02/7.19 c
7.02/7.19 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-43_ext.xml
7.02/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.028300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.328500 | c 14 > 12.157700 | c 11 > 4.321930 | c 12 > 11.809300 | 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.11/7.20 c choco : 1801.0
7.11/7.20 c mistral : 5.73
7.11/7.20 c abscon : 15.2207
7.11/7.20 c
7.11/7.20 c
7.11/7.21 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-15_ext.xml
7.11/7.21 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.11/7.21 c choco : 1801.0
7.11/7.21 c mistral : 5.62414
7.11/7.21 c abscon : 23.8904
7.11/7.21 c
7.11/7.21 c
7.11/7.21 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-31_ext.xml
7.11/7.21 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.11/7.22 c choco : 1801.0
7.11/7.22 c mistral : 43.0794
7.11/7.22 c abscon : 20.8628
7.11/7.22 c
7.11/7.22 c
7.11/7.22 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-35_ext.xml
7.11/7.22 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.11/7.23 c choco : 1801.0
7.11/7.23 c mistral : 7.55985
7.11/7.23 c abscon : 24.3843
7.11/7.23 c
7.11/7.23 c
7.11/7.23 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-25_ext.xml
7.11/7.23 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.11/7.23 c choco : 1801.0
7.11/7.23 c mistral : 25.86
7.11/7.24 c abscon : 86.6928
7.11/7.24 c
7.11/7.24 c
7.11/7.24 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-23_ext.xml
7.11/7.24 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.11/7.24 c choco : 1801.0
7.11/7.24 c mistral : 7.30789
7.11/7.24 c abscon : 36.7414
7.11/7.24 c
7.11/7.24 c
7.30/7.43 c Length: 10
7.30/7.43 c 0.34013447061419716 0.5531764800676182 0.5545626204496672 0.5704738868695053 0.5964241763208451 0.6078367790780674 0.6276595937289576 0.6386778594095767 0.7259713256045314 0.7272421110606838
7.30/7.43 c
7.30/7.43 c 1.0 0.6450185224819309 0.6435321832887756 0.6269487176994449 0.6016618544683139 0.5911755633686645 0.5738049815473315 0.564584057978469 0.5008220418565982 0.5
7.30/7.43 c
7.30/7.43 c solver 0
7.30/7.43 c before 0.0 seconds: {} 0
7.30/7.43 c before 18.0 seconds: {4} 601
7.30/7.43 c before 36.0 seconds: {1, 4, 5, 6, 7} 2976
7.30/7.43 c before 54.0 seconds: {1, 2, 4, 5, 6, 7, 9} 4119
7.30/7.43 c before 90.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5620
7.30/7.43 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6247
7.30/7.43 c
7.30/7.43 c solver 1
7.30/7.43 c before 0.0 seconds: {} 0
7.30/7.43 c before 18.0 seconds: {1, 4, 5, 7, 9} 2902
7.30/7.43 c before 36.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9} 5046
7.30/7.43 c before 54.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5620
7.30/7.43 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6247
7.30/7.43 c
7.30/7.43 c solver 2
7.30/7.43 c before 0.0 seconds: {} 0
7.30/7.43 c
7.30/7.43 cTotal time: 16
7.30/7.43 c 288.0 seconds unused
7.30/7.43 c 0 c 0 c 10
7.30/7.43 c 0 c 0 c 10
7.30/7.43 c 0 c 0 c 0
7.30/7.43 c is solver0 dominated by:
7.30/7.43 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.30/7.43 c is dominated? true
7.30/7.43 c
7.30/7.43 c is solver1 dominated by:
7.30/7.43 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.30/7.43 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.30/7.43 c is dominated? false
7.30/7.43 c
7.30/7.43 c is solver2 dominated by:
7.30/7.43 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.30/7.43 c is dominated? true
7.30/7.43 c
7.30/7.43 c Number of non-dominated solvers: 1
7.30/7.43 c remove dominated solvers
7.30/7.43 c solver 1 is not dominated by another solver
7.30/7.43 c solver 2 is dominated by another solver
7.30/7.44 c solver 0 is dominated by another solver
7.30/7.44 c
7.30/7.44 c solver 0: 0.0
7.30/7.44 c
7.30/7.44 c solver 1: 72.0
7.30/7.44 c
7.30/7.44 c+ 4/4 of 96
7.30/7.44 c
7.30/7.44 c solver 2: 0.0
7.30/7.44 c do not run abscon
7.30/7.44 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6247
7.30/7.44 c do not run choco
7.30/7.44 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.30/7.44 c On Instance: HOME/instance-1079944-1215211329.xml
7.30/7.44 c Running for: 1800 seconds
10.76/10.94 c mistral-prime version 1.313
10.76/10.94 s SATISFIABLE
10.76/10.94 v 15 19 14 8 5 17 16 14 4 10 4 9 1 11 3 2 19 7 13 11
10.76/10.94 d CHECKS 1770416
10.76/10.94 d ASSIGNMENTS 13570
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079944-1215211329/watcher-1079944-1215211329 -o /tmp/evaluation-result-1079944-1215211329/solver-1079944-1215211329 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1079944-1215211329.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: 0.56 0.19 0.10 4/81 14136
/proc/meminfo: memFree=488048/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=0
/proc/14136/stat : 14136 (hydra) R 14134 14136 13952 0 -1 4194304 306 124 0 0 0 0 0 0 25 0 1 0 2000104380 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 4459254 0 65536 4100 65536 0 0 0 17 1 0 0
/proc/14136/statm: 1340 236 195 169 0 51 0
[pid=14138] ppid=14136 vsize=0 CPUtime=0
/proc/14138/stat : 14138 (rm) Z 14136 14136 13952 0 -1 4194316 123 0 0 0 0 0 0 0 25 0 1 0 2000104381 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/14138/statm: 0 0 0 0 0 0 0
[startup+0.0218881 s]
/proc/loadavg: 0.56 0.19 0.10 4/81 14136
/proc/meminfo: memFree=488048/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=0
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 330 247 0 0 0 0 0 0 25 0 1 0 2000104380 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101904 s]
/proc/loadavg: 0.56 0.19 0.10 4/81 14136
/proc/meminfo: memFree=488048/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=0
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 330 247 0 0 0 0 0 0 25 0 1 0 2000104380 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301938 s]
/proc/loadavg: 0.56 0.19 0.10 4/81 14136
/proc/meminfo: memFree=488048/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=0
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 330 247 0 0 0 0 0 0 25 0 1 0 2000104380 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702013 s]
/proc/loadavg: 0.56 0.19 0.10 4/81 14136
/proc/meminfo: memFree=488048/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=0
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 330 247 0 0 0 0 0 0 25 0 1 0 2000104380 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50116 s]
/proc/loadavg: 0.56 0.19 0.10 3/83 14140
/proc/meminfo: memFree=483424/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=0
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 330 247 0 0 0 0 0 0 25 0 1 0 2000104380 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 236 195 169 0 51 0
[pid=14140] ppid=14136 vsize=8056 CPUtime=1.47
/proc/14140/stat : 14140 (xsolve) R 14136 14136 13952 0 -1 4194304 1375 0 0 0 147 0 0 0 25 0 1 0 2000104381 8249344 1334 996147200 134512640 135239763 4294956176 18446744073709551615 135096721 0 0 4096 0 0 0 0 17 1 0 0
/proc/14140/statm: 2014 1334 412 177 0 917 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13416
[startup+3.10248 s]
/proc/loadavg: 0.56 0.19 0.10 3/91 14152
/proc/meminfo: memFree=479200/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=1.65
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 375 1972 0 0 0 0 164 1 19 0 1 0 2000104380 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 238 196 169 0 51 0
[pid=14144] ppid=14136 vsize=196984 CPUtime=1.41
/proc/14144/stat : 14144 (java) S 14136 14136 13952 0 -1 0 5145 0 1 0 136 5 0 0 18 0 9 0 2000104548 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14144/statm: 49246 4307 1678 9 0 43829 0
[pid=14144/tid=14145] ppid=14136 vsize=196984 CPUtime=1.07
/proc/14144/task/14145/stat : 14145 (java) R 14136 14136 13952 0 -1 64 2762 0 1 0 105 2 0 0 25 0 9 0 2000104549 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4126624873 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14146] ppid=14136 vsize=196984 CPUtime=0.15
/proc/14144/task/14146/stat : 14146 (java) S 14136 14136 13952 0 -1 64 1047 0 0 0 14 1 0 0 16 0 9 0 2000104550 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14147] ppid=14136 vsize=196984 CPUtime=0
/proc/14144/task/14147/stat : 14147 (java) S 14136 14136 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000104550 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14148] ppid=14136 vsize=196984 CPUtime=0
/proc/14144/task/14148/stat : 14148 (java) S 14136 14136 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000104550 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14149] ppid=14136 vsize=196984 CPUtime=0
/proc/14144/task/14149/stat : 14149 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000104552 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14150] ppid=14136 vsize=196984 CPUtime=0.15
/proc/14144/task/14150/stat : 14150 (java) S 14136 14136 13952 0 -1 64 610 0 0 0 15 0 0 0 16 0 9 0 2000104552 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14151] ppid=14136 vsize=196984 CPUtime=0
/proc/14144/task/14151/stat : 14151 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000104552 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14152] ppid=14136 vsize=196984 CPUtime=0
/proc/14144/task/14152/stat : 14152 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000104552 201711616 4307 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) 202344
[startup+6.30209 s]
/proc/loadavg: 0.76 0.24 0.11 3/91 14152
/proc/meminfo: memFree=463328/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=1.65
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 375 1972 0 0 0 0 164 1 19 0 1 0 2000104380 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 238 196 169 0 51 0
[pid=14144] ppid=14136 vsize=197092 CPUtime=4.58
/proc/14144/stat : 14144 (java) S 14136 14136 13952 0 -1 0 10203 0 1 0 447 11 0 0 18 0 9 0 2000104548 201822208 8460 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14144/statm: 49273 8460 2540 9 0 43856 0
[pid=14144/tid=14145] ppid=14136 vsize=197092 CPUtime=3.58
/proc/14144/task/14145/stat : 14145 (java) R 14136 14136 13952 0 -1 64 3583 0 1 0 355 3 0 0 25 0 9 0 2000104549 201822208 8460 996147200 134512640 134550740 4294955968 18446744073709551615 4126447406 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14146] ppid=14136 vsize=197092 CPUtime=0.79
/proc/14144/task/14146/stat : 14146 (java) S 14136 14136 13952 0 -1 64 5268 0 0 0 73 6 0 0 16 0 9 0 2000104550 201822208 8460 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14147] ppid=14136 vsize=197092 CPUtime=0
/proc/14144/task/14147/stat : 14147 (java) S 14136 14136 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000104550 201822208 8460 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14148] ppid=14136 vsize=197092 CPUtime=0
/proc/14144/task/14148/stat : 14148 (java) S 14136 14136 13952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000104550 201822208 8460 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14149] ppid=14136 vsize=197092 CPUtime=0
/proc/14144/task/14149/stat : 14149 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000104552 201822208 8460 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14150] ppid=14136 vsize=197092 CPUtime=0.18
/proc/14144/task/14150/stat : 14150 (java) S 14136 14136 13952 0 -1 64 626 0 0 0 18 0 0 0 16 0 9 0 2000104552 201822208 8460 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14151] ppid=14136 vsize=197092 CPUtime=0
/proc/14144/task/14151/stat : 14151 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000104552 201822208 8460 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14152] ppid=14136 vsize=197092 CPUtime=0
/proc/14144/task/14152/stat : 14152 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000104552 201822208 8460 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202452
Solver just ended. Dumping a history of the last processes samples
[startup+9.5027 s]
/proc/loadavg: 0.76 0.24 0.11 3/94 14155
/proc/meminfo: memFree=450712/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=1.65
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 375 1972 0 0 0 0 164 1 19 0 1 0 2000104380 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 238 196 169 0 51 0
[pid=14144] ppid=14136 vsize=197416 CPUtime=5.69
/proc/14144/stat : 14144 (java) S 14136 14136 13952 0 -1 0 13860 0 1 0 554 15 0 0 18 0 10 0 2000104548 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14144/statm: 49354 9390 2543 9 0 43937 0
[pid=14154] ppid=14144 vsize=5356 CPUtime=0
/proc/14154/stat : 14154 (mistral) S 14144 14136 13952 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 2000105125 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 217051620164 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/14154/statm: 1339 236 196 169 0 50 0
[pid=14155] ppid=14154 vsize=8056 CPUtime=2.02
/proc/14155/stat : 14155 (xsolve) R 14154 14136 13952 0 -1 4194304 1351 0 0 0 202 0 0 0 25 0 1 0 2000105126 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135095110 0 4 0 0 0 0 0 17 0 0 0
/proc/14155/statm: 2014 1315 393 177 0 917 0
[pid=14144/tid=14145] ppid=14136 vsize=197416 CPUtime=4.38
/proc/14144/task/14145/stat : 14145 (java) S 14136 14136 13952 0 -1 64 3857 0 1 0 434 4 0 0 16 0 10 0 2000104549 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=14144/tid=14146] ppid=14136 vsize=197416 CPUtime=1.06
/proc/14144/task/14146/stat : 14146 (java) S 14136 14136 13952 0 -1 64 8558 0 0 0 98 8 0 0 16 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14147] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14147/stat : 14147 (java) S 14136 14136 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14148] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14148/stat : 14148 (java) S 14136 14136 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14149] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14149/stat : 14149 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14150] ppid=14136 vsize=197416 CPUtime=0.21
/proc/14144/task/14150/stat : 14150 (java) S 14136 14136 13952 0 -1 64 642 0 0 0 21 0 0 0 16 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14151] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14151/stat : 14151 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14152] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14152/stat : 14152 (java) S 14136 14136 13952 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14153] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14153/stat : 14153 (java) S 14136 14136 13952 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2000105125 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (KiB) 216188
[startup+10.3029 s]
/proc/loadavg: 0.86 0.26 0.12 3/86 14156
/proc/meminfo: memFree=575832/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=1.65
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 375 1972 0 0 0 0 164 1 19 0 1 0 2000104380 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 238 196 169 0 51 0
[pid=14144] ppid=14136 vsize=197416 CPUtime=5.69
/proc/14144/stat : 14144 (java) S 14136 14136 13952 0 -1 0 13860 0 1 0 554 15 0 0 18 0 10 0 2000104548 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14144/statm: 49354 9390 2543 9 0 43937 0
[pid=14154] ppid=14144 vsize=5356 CPUtime=0
/proc/14154/stat : 14154 (mistral) S 14144 14136 13952 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 2000105125 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 217051620164 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/14154/statm: 1339 236 196 169 0 50 0
[pid=14155] ppid=14154 vsize=8056 CPUtime=2.82
/proc/14155/stat : 14155 (xsolve) R 14154 14136 13952 0 -1 4194304 1351 0 0 0 282 0 0 0 25 0 1 0 2000105126 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135016096 0 4 0 0 0 0 0 17 0 0 0
/proc/14155/statm: 2014 1315 393 177 0 917 0
[pid=14144/tid=14145] ppid=14136 vsize=197416 CPUtime=4.38
/proc/14144/task/14145/stat : 14145 (java) S 14136 14136 13952 0 -1 64 3857 0 1 0 434 4 0 0 16 0 10 0 2000104549 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=14144/tid=14146] ppid=14136 vsize=197416 CPUtime=1.06
/proc/14144/task/14146/stat : 14146 (java) S 14136 14136 13952 0 -1 64 8558 0 0 0 98 8 0 0 16 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14147] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14147/stat : 14147 (java) S 14136 14136 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14148] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14148/stat : 14148 (java) S 14136 14136 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14149] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14149/stat : 14149 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14150] ppid=14136 vsize=197416 CPUtime=0.21
/proc/14144/task/14150/stat : 14150 (java) S 14136 14136 13952 0 -1 64 642 0 0 0 21 0 0 0 16 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14151] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14151/stat : 14151 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14152] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14152/stat : 14152 (java) S 14136 14136 13952 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14153] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14153/stat : 14153 (java) S 14136 14136 13952 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2000105125 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.16
Current children cumulated vsize (KiB) 216188
[startup+10.7029 s]
/proc/loadavg: 0.86 0.26 0.12 3/86 14156
/proc/meminfo: memFree=575832/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=1.65
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 375 1972 0 0 0 0 164 1 19 0 1 0 2000104380 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 238 196 169 0 51 0
[pid=14144] ppid=14136 vsize=197416 CPUtime=5.69
/proc/14144/stat : 14144 (java) S 14136 14136 13952 0 -1 0 13860 0 1 0 554 15 0 0 18 0 10 0 2000104548 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14144/statm: 49354 9390 2543 9 0 43937 0
[pid=14154] ppid=14144 vsize=5356 CPUtime=0
/proc/14154/stat : 14154 (mistral) S 14144 14136 13952 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 2000105125 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 217051620164 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/14154/statm: 1339 236 196 169 0 50 0
[pid=14155] ppid=14154 vsize=8056 CPUtime=3.22
/proc/14155/stat : 14155 (xsolve) R 14154 14136 13952 0 -1 4194304 1351 0 0 0 322 0 0 0 25 0 1 0 2000105126 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135095144 0 4 0 0 0 0 0 17 0 0 0
/proc/14155/statm: 2014 1315 393 177 0 917 0
[pid=14144/tid=14145] ppid=14136 vsize=197416 CPUtime=4.38
/proc/14144/task/14145/stat : 14145 (java) S 14136 14136 13952 0 -1 64 3857 0 1 0 434 4 0 0 16 0 10 0 2000104549 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=14144/tid=14146] ppid=14136 vsize=197416 CPUtime=1.06
/proc/14144/task/14146/stat : 14146 (java) S 14136 14136 13952 0 -1 64 8558 0 0 0 98 8 0 0 16 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14147] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14147/stat : 14147 (java) S 14136 14136 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14148] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14148/stat : 14148 (java) S 14136 14136 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14149] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14149/stat : 14149 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14150] ppid=14136 vsize=197416 CPUtime=0.21
/proc/14144/task/14150/stat : 14150 (java) S 14136 14136 13952 0 -1 64 642 0 0 0 21 0 0 0 16 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14151] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14151/stat : 14151 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14152] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14152/stat : 14152 (java) S 14136 14136 13952 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14153] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14153/stat : 14153 (java) S 14136 14136 13952 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2000105125 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.56
Current children cumulated vsize (KiB) 216188
[startup+10.903 s]
/proc/loadavg: 0.86 0.26 0.12 3/86 14156
/proc/meminfo: memFree=534424/2055920 swapFree=4180500/4192956
[pid=14136] ppid=14134 vsize=5360 CPUtime=1.65
/proc/14136/stat : 14136 (hydra) S 14134 14136 13952 0 -1 4194304 375 1972 0 0 0 0 164 1 19 0 1 0 2000104380 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14136/statm: 1340 238 196 169 0 51 0
[pid=14144] ppid=14136 vsize=197416 CPUtime=5.69
/proc/14144/stat : 14144 (java) S 14136 14136 13952 0 -1 0 13860 0 1 0 554 15 0 0 18 0 10 0 2000104548 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14144/statm: 49354 9390 2543 9 0 43937 0
[pid=14154] ppid=14144 vsize=5356 CPUtime=0
/proc/14154/stat : 14154 (mistral) S 14144 14136 13952 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 2000105125 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 217051620164 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/14154/statm: 1339 236 196 169 0 50 0
[pid=14155] ppid=14154 vsize=8056 CPUtime=3.42
/proc/14155/stat : 14155 (xsolve) R 14154 14136 13952 0 -1 4194304 1351 0 0 0 342 0 0 0 25 0 1 0 2000105126 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135013668 0 4 0 0 0 0 0 17 0 0 0
/proc/14155/statm: 2014 1315 393 177 0 917 0
[pid=14144/tid=14145] ppid=14136 vsize=197416 CPUtime=4.38
/proc/14144/task/14145/stat : 14145 (java) S 14136 14136 13952 0 -1 64 3857 0 1 0 434 4 0 0 16 0 10 0 2000104549 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=14144/tid=14146] ppid=14136 vsize=197416 CPUtime=1.06
/proc/14144/task/14146/stat : 14146 (java) S 14136 14136 13952 0 -1 64 8558 0 0 0 98 8 0 0 16 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14147] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14147/stat : 14147 (java) S 14136 14136 13952 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14148] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14148/stat : 14148 (java) S 14136 14136 13952 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000104550 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14149] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14149/stat : 14149 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14150] ppid=14136 vsize=197416 CPUtime=0.21
/proc/14144/task/14150/stat : 14150 (java) S 14136 14136 13952 0 -1 64 642 0 0 0 21 0 0 0 16 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14144/tid=14151] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14151/stat : 14151 (java) S 14136 14136 13952 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14152] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14152/stat : 14152 (java) S 14136 14136 13952 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2000104552 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14144/tid=14153] ppid=14136 vsize=197416 CPUtime=0
/proc/14144/task/14153/stat : 14153 (java) S 14136 14136 13952 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2000105125 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.76
Current children cumulated vsize (KiB) 216188
Child status: 0
Real time (s): 10.9478
CPU time (s): 10.8493
CPU user time (s): 10.6544
CPU system time (s): 0.19497
CPU usage (%): 99.1009
Max. virtual memory (cumulated for all children) (KiB): 216188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.6544
system time used= 0.19497
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17980
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= 9470
involuntary context switches= 10941
runsolver used 0.021996 second user time and 0.068989 second system time
The end