0.00/0.00 c cpHydra_k_10 version 0.0
7.38/7.57 c CASE TO CLASSIFY:
7.38/7.57 c Case: 0
7.38/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.663200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.593600 | c 14 > 12.611300 | c 11 > 4.321930 | c 12 > 12.035900 | 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.38/7.58 c choco : 1801.0
7.38/7.58 c mistral : 1801.0
7.38/7.58 c abscon : 1801.0
7.38/7.58 c
7.38/7.58 c
7.48/7.66 c List of same ones: 10
7.48/7.66 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-19_ext.xml
7.48/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.482800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.357400 | c 14 > 12.435700 | c 11 > 4.321930 | c 12 > 11.844900 | 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.48/7.67 c choco : 1801.0
7.48/7.67 c mistral : 18.63
7.48/7.67 c abscon : 80.2688
7.48/7.67 c
7.48/7.67 c
7.48/7.67 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-19_ext.xml
7.48/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.445100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.325700 | c 14 > 12.468400 | c 11 > 4.321930 | c 12 > 11.683700 | 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.48/7.68 c choco : 1801.0
7.48/7.68 c mistral : 60.49
7.48/7.68 c abscon : 196.655
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-31_ext.xml
7.48/7.68 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.48/7.69 c choco : 1801.0
7.48/7.69 c mistral : 62.89
7.48/7.69 c abscon : 215.477
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-23_ext.xml
7.48/7.69 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.48/7.70 c choco : 1801.0
7.48/7.70 c mistral : 7.30789
7.48/7.70 c abscon : 36.7414
7.48/7.70 c
7.48/7.70 c
7.48/7.70 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-31_ext.xml
7.48/7.70 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.56/7.71 c choco : 1801.0
7.56/7.71 c mistral : 43.0794
7.56/7.71 c abscon : 20.8628
7.56/7.71 c
7.56/7.71 c
7.56/7.71 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-35_ext.xml
7.56/7.71 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.56/7.72 c choco : 1801.0
7.56/7.72 c mistral : 7.55985
7.56/7.72 c abscon : 24.3843
7.56/7.72 c
7.56/7.72 c
7.56/7.72 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-11_ext.xml
7.56/7.72 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.410300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.627600 | c 14 > 12.334300 | c 11 > 4.321930 | c 12 > 11.551800 | 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
7.56/7.72 c choco : 1801.0
7.56/7.72 c mistral : 4.6253
7.56/7.72 c abscon : 41.7786
7.56/7.73 c
7.56/7.73 c
7.56/7.73 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-23_ext.xml
7.56/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.365000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.501000 | c 14 > 12.362500 | c 11 > 4.321930 | c 12 > 11.563800 | 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.56/7.73 c choco : 1801.0
7.56/7.73 c mistral : 45.17
7.56/7.73 c abscon : 130.86
7.56/7.73 c
7.56/7.73 c
7.56/7.73 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-13_ext.xml
7.56/7.73 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.56/7.74 c choco : 1801.0
7.56/7.74 c mistral : 40.83
7.56/7.74 c abscon : 38.2792
7.56/7.74 c
7.56/7.74 c
7.56/7.74 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-37_ext.xml
7.56/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.453500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.523300 | c 14 > 12.261200 | c 11 > 4.321930 | c 12 > 11.560600 | 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.56/7.75 c choco : 1801.0
7.56/7.75 c mistral : 188.511
7.56/7.75 c abscon : 173.762
7.56/7.75 c
7.56/7.75 c
7.56/7.75 c Length: 10
7.56/7.75 c 0.39452624754254184 0.5136178248464514 0.5173303447508173 0.5528597273269227 0.5752497332463526 0.6068639205785744 0.6152953828040637 0.6187950857109322 0.6271290218128972 0.6303937499690168
7.56/7.75 c
7.56/7.75 c 1.0 0.6644920947102757 0.6576141034491391 0.5983432641482126 0.5661848411197726 0.5262489487835138 0.5165321460421987 0.5126035081722623 0.5034844560247654 0.5
7.56/7.76 c
7.56/7.76 c solver 0
7.56/7.76 c before 0.0 seconds: {} 0
7.56/7.76 c before 36.0 seconds: {4, 5} 1092
7.56/7.76 c before 54.0 seconds: {3, 4, 5, 6, 8} 2710
7.56/7.76 c before 90.0 seconds: {0, 3, 4, 5, 6, 8} 3710
7.56/7.76 c before 144.0 seconds: {0, 3, 4, 5, 6, 7, 8} 4223
7.56/7.76 c before 180.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9} 4723
7.56/7.76 c before 198.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 5387
7.56/7.76 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6045
7.56/7.76 c
7.56/7.76 c solver 1
7.56/7.76 c before 0.0 seconds: {} 0
7.56/7.76 c before 18.0 seconds: {3, 5, 6} 1641
7.56/7.76 c before 36.0 seconds: {0, 3, 5, 6} 2641
7.56/7.76 c before 54.0 seconds: {0, 3, 4, 5, 6, 7, 8} 4223
7.56/7.76 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 5545
7.56/7.76 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6045
7.56/7.76 c
7.56/7.76 c solver 2
7.56/7.76 c before 0.0 seconds: {} 0
7.56/7.76 c
7.56/7.76 cTotal time: 23
7.56/7.76 c 414.0 seconds unused
7.56/7.76 c 0 c 0 c 10
7.56/7.76 c 0 c 0 c 10
7.56/7.76 c 0 c 0 c 0
7.56/7.76 c is solver0 dominated by:
7.56/7.76 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.56/7.76 c is dominated? true
7.56/7.76 c
7.56/7.76 c is solver1 dominated by:
7.56/7.76 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.56/7.76 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.56/7.76 c is dominated? false
7.56/7.76 c
7.56/7.76 c is solver2 dominated by:
7.56/7.76 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.56/7.76 c is dominated? true
7.56/7.76 c
7.56/7.76 c Number of non-dominated solvers: 1
7.56/7.76 c remove dominated solvers
7.56/7.76 c solver 1 is not dominated by another solver
7.56/7.76 c solver 2 is dominated by another solver
7.56/7.77 c solver 0 is dominated by another solver
7.56/7.77 c
7.56/7.77 c solver 0: 0.0
7.56/7.77 c
7.56/7.77 c solver 1: 198.0
7.56/7.77 c
7.56/7.77 c+ 11/11 of 89
7.56/7.77 c
7.56/7.77 c solver 2: 0.0
7.56/7.77 c do not run abscon
7.56/7.77 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6045
7.56/7.77 c do not run choco
7.56/7.77 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.56/7.77 c On Instance: HOME/instance-1078364-1215206675.xml
7.56/7.77 c Running for: 1800 seconds
21.11/21.48 c mistral-prime version 1.313
21.11/21.48 s SATISFIABLE
21.11/21.48 v 5 4 16 4 14 11 10 13 10 2 0 4 11 12 14 10 10 17 12 18
21.11/21.48 d CHECKS 7380706
21.11/21.48 d ASSIGNMENTS 57604
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078364-1215206675/watcher-1078364-1215206675 -o /tmp/evaluation-result-1078364-1215206675/solver-1078364-1215206675 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1078364-1215206675.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: 1.99 1.97 1.98 4/84 20015
/proc/meminfo: memFree=1617184/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=18572 CPUtime=0
/proc/20015/stat : 20015 (runsolver) R 20013 20015 13470 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1550342555 19017728 292 996147200 4194304 4296836 548682068432 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20015/statm: 4643 292 257 25 0 2626 0
[startup+0.054125 s]
/proc/loadavg: 1.99 1.97 1.98 4/84 20015
/proc/meminfo: memFree=1617184/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=0
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1550342555 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101124 s]
/proc/loadavg: 1.99 1.97 1.98 4/84 20015
/proc/meminfo: memFree=1617184/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=0
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1550342555 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301144 s]
/proc/loadavg: 1.99 1.97 1.98 4/84 20015
/proc/meminfo: memFree=1617184/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=0
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1550342555 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70118 s]
/proc/loadavg: 1.99 1.97 1.98 4/84 20015
/proc/meminfo: memFree=1617184/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=0
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1550342555 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50126 s]
/proc/loadavg: 1.99 1.97 1.98 3/86 20019
/proc/meminfo: memFree=1613136/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=0
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1550342555 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 236 195 169 0 51 0
[pid=20019] ppid=20015 vsize=8072 CPUtime=1.46
/proc/20019/stat : 20019 (xsolve) R 20015 20015 13470 0 -1 4194304 1380 0 0 0 145 1 0 0 25 0 1 0 1550342556 8265728 1339 996147200 134512640 135239763 4294956128 18446744073709551615 135056003 0 0 4096 0 0 0 0 17 1 0 0
/proc/20019/statm: 2018 1339 412 177 0 921 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13432
[startup+3.10243 s]
/proc/loadavg: 1.99 1.97 1.98 4/94 20031
/proc/meminfo: memFree=1610832/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=1.65
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 372 1977 0 0 0 0 164 1 18 0 1 0 1550342555 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 238 196 169 0 51 0
[pid=20023] ppid=20015 vsize=197000 CPUtime=1.39
/proc/20023/stat : 20023 (java) S 20015 20015 13470 0 -1 0 4879 0 1 0 134 5 0 0 18 0 9 0 1550342723 201728000 4102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20023/statm: 49250 4102 1677 9 0 43833 0
[pid=20023/tid=20024] ppid=20015 vsize=197000 CPUtime=1.1
/proc/20023/task/20024/stat : 20024 (java) R 20015 20015 13470 0 -1 64 2703 0 1 0 109 1 0 0 25 0 9 0 1550342725 201728000 4102 996147200 134512640 134550740 4294955936 18446744073709551615 4126584260 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20025] ppid=20015 vsize=197000 CPUtime=0.11
/proc/20023/task/20025/stat : 20025 (java) S 20015 20015 13470 0 -1 64 846 0 0 0 10 1 0 0 16 0 9 0 1550342726 201728000 4102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20026] ppid=20015 vsize=197000 CPUtime=0
/proc/20023/task/20026/stat : 20026 (java) S 20015 20015 13470 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1550342726 201728000 4102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20027] ppid=20015 vsize=197000 CPUtime=0
/proc/20023/task/20027/stat : 20027 (java) S 20015 20015 13470 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1550342726 201728000 4102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20028] ppid=20015 vsize=197000 CPUtime=0
/proc/20023/task/20028/stat : 20028 (java) S 20015 20015 13470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1550342728 201728000 4102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20029] ppid=20015 vsize=197000 CPUtime=0.14
/proc/20023/task/20029/stat : 20029 (java) S 20015 20015 13470 0 -1 64 605 0 0 0 14 0 0 0 16 0 9 0 1550342728 201728000 4102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20030] ppid=20015 vsize=197000 CPUtime=0
/proc/20023/task/20030/stat : 20030 (java) S 20015 20015 13470 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1550342728 201728000 4102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20031] ppid=20015 vsize=197000 CPUtime=0
/proc/20023/task/20031/stat : 20031 (java) S 20015 20015 13470 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1550342728 201728000 4102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202360
[startup+6.30174 s]
/proc/loadavg: 1.99 1.97 1.98 3/94 20031
/proc/meminfo: memFree=1598032/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=1.65
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 372 1977 0 0 0 0 164 1 18 0 1 0 1550342555 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 238 196 169 0 51 0
[pid=20023] ppid=20015 vsize=197108 CPUtime=4.54
/proc/20023/stat : 20023 (java) S 20015 20015 13470 0 -1 0 9743 0 1 0 442 12 0 0 18 0 9 0 1550342723 201838592 8076 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20023/statm: 49277 8076 2540 9 0 43860 0
[pid=20023/tid=20024] ppid=20015 vsize=197108 CPUtime=3.62
/proc/20023/task/20024/stat : 20024 (java) R 20015 20015 13470 0 -1 64 3525 0 1 0 359 3 0 0 25 0 9 0 1550342725 201838592 8076 996147200 134512640 134550740 4294955936 18446744073709551615 4126557870 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20025] ppid=20015 vsize=197108 CPUtime=0.72
/proc/20023/task/20025/stat : 20025 (java) S 20015 20015 13470 0 -1 64 4864 0 0 0 65 7 0 0 16 0 9 0 1550342726 201838592 8076 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20026] ppid=20015 vsize=197108 CPUtime=0
/proc/20023/task/20026/stat : 20026 (java) S 20015 20015 13470 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1550342726 201838592 8076 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20027] ppid=20015 vsize=197108 CPUtime=0
/proc/20023/task/20027/stat : 20027 (java) S 20015 20015 13470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1550342726 201838592 8076 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20028] ppid=20015 vsize=197108 CPUtime=0
/proc/20023/task/20028/stat : 20028 (java) S 20015 20015 13470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1550342728 201838592 8076 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20029] ppid=20015 vsize=197108 CPUtime=0.17
/proc/20023/task/20029/stat : 20029 (java) S 20015 20015 13470 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1550342728 201838592 8076 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20030] ppid=20015 vsize=197108 CPUtime=0
/proc/20023/task/20030/stat : 20030 (java) S 20015 20015 13470 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1550342728 201838592 8076 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20031] ppid=20015 vsize=197108 CPUtime=0
/proc/20023/task/20031/stat : 20031 (java) S 20015 20015 13470 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1550342728 201838592 8076 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202468
[startup+12.7024 s]
/proc/loadavg: 1.99 1.97 1.98 3/97 20034
/proc/meminfo: memFree=1584760/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=1.65
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 372 1977 0 0 0 0 164 1 18 0 1 0 1550342555 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 238 196 169 0 51 0
[pid=20023] ppid=20015 vsize=197432 CPUtime=5.98
/proc/20023/stat : 20023 (java) S 20015 20015 13470 0 -1 0 11423 0 1 0 582 16 0 0 18 0 10 0 1550342723 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20023/statm: 49358 9386 2544 9 0 43941 0
[pid=20033] ppid=20023 vsize=5356 CPUtime=0
/proc/20033/stat : 20033 (mistral) S 20023 20015 13470 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550343332 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20033/statm: 1339 236 196 169 0 50 0
[pid=20034] ppid=20033 vsize=8072 CPUtime=4.86
/proc/20034/stat : 20034 (xsolve) R 20033 20015 13470 0 -1 4194304 1356 0 0 0 485 1 0 0 25 0 1 0 1550343333 8265728 1320 996147200 134512640 135239763 4294955920 18446744073709551615 135096898 0 4 0 0 0 0 0 17 1 0 0
/proc/20034/statm: 2018 1320 393 177 0 921 0
[pid=20023/tid=20024] ppid=20015 vsize=197432 CPUtime=4.83
/proc/20023/task/20024/stat : 20024 (java) S 20015 20015 13470 0 -1 64 3865 0 1 0 479 4 0 0 24 0 10 0 1550342725 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20023/tid=20025] ppid=20015 vsize=197432 CPUtime=0.89
/proc/20023/task/20025/stat : 20025 (java) S 20015 20015 13470 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20026] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20026/stat : 20026 (java) S 20015 20015 13470 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20027] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20027/stat : 20027 (java) S 20015 20015 13470 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20028] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20028/stat : 20028 (java) S 20015 20015 13470 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20029] ppid=20015 vsize=197432 CPUtime=0.2
/proc/20023/task/20029/stat : 20029 (java) S 20015 20015 13470 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20030] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20030/stat : 20030 (java) S 20015 20015 13470 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20031] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20031/stat : 20031 (java) S 20015 20015 13470 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20032] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20032/stat : 20032 (java) S 20015 20015 13470 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1550343332 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 216220
Solver just ended. Dumping a history of the last processes samples
[startup+15.9017 s]
/proc/loadavg: 1.99 1.97 1.98 3/97 20034
/proc/meminfo: memFree=1584824/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=1.65
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 372 1977 0 0 0 0 164 1 18 0 1 0 1550342555 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 238 196 169 0 51 0
[pid=20023] ppid=20015 vsize=197432 CPUtime=5.98
/proc/20023/stat : 20023 (java) S 20015 20015 13470 0 -1 0 11423 0 1 0 582 16 0 0 18 0 10 0 1550342723 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20023/statm: 49358 9386 2544 9 0 43941 0
[pid=20033] ppid=20023 vsize=5356 CPUtime=0
/proc/20033/stat : 20033 (mistral) S 20023 20015 13470 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550343332 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20033/statm: 1339 236 196 169 0 50 0
[pid=20034] ppid=20033 vsize=8072 CPUtime=8.03
/proc/20034/stat : 20034 (xsolve) R 20033 20015 13470 0 -1 4194304 1356 0 0 0 802 1 0 0 25 0 1 0 1550343333 8265728 1320 996147200 134512640 135239763 4294955920 18446744073709551615 135013685 0 4 0 0 0 0 0 17 1 0 0
/proc/20034/statm: 2018 1320 393 177 0 921 0
[pid=20023/tid=20024] ppid=20015 vsize=197432 CPUtime=4.83
/proc/20023/task/20024/stat : 20024 (java) S 20015 20015 13470 0 -1 64 3865 0 1 0 479 4 0 0 24 0 10 0 1550342725 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20023/tid=20025] ppid=20015 vsize=197432 CPUtime=0.89
/proc/20023/task/20025/stat : 20025 (java) S 20015 20015 13470 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20026] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20026/stat : 20026 (java) S 20015 20015 13470 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20027] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20027/stat : 20027 (java) S 20015 20015 13470 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20028] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20028/stat : 20028 (java) S 20015 20015 13470 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20029] ppid=20015 vsize=197432 CPUtime=0.2
/proc/20023/task/20029/stat : 20029 (java) S 20015 20015 13470 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20030] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20030/stat : 20030 (java) S 20015 20015 13470 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20031] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20031/stat : 20031 (java) S 20015 20015 13470 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20032] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20032/stat : 20032 (java) S 20015 20015 13470 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1550343332 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.66
Current children cumulated vsize (KiB) 216220
[startup+19.103 s]
/proc/loadavg: 1.99 1.97 1.98 3/97 20034
/proc/meminfo: memFree=1584824/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=1.65
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 372 1977 0 0 0 0 164 1 18 0 1 0 1550342555 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 238 196 169 0 51 0
[pid=20023] ppid=20015 vsize=197432 CPUtime=5.98
/proc/20023/stat : 20023 (java) S 20015 20015 13470 0 -1 0 11423 0 1 0 582 16 0 0 18 0 10 0 1550342723 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20023/statm: 49358 9386 2544 9 0 43941 0
[pid=20033] ppid=20023 vsize=5356 CPUtime=0
/proc/20033/stat : 20033 (mistral) S 20023 20015 13470 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550343332 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20033/statm: 1339 236 196 169 0 50 0
[pid=20034] ppid=20033 vsize=8072 CPUtime=11.2
/proc/20034/stat : 20034 (xsolve) R 20033 20015 13470 0 -1 4194304 1356 0 0 0 1119 1 0 0 25 0 1 0 1550343333 8265728 1320 996147200 134512640 135239763 4294955920 18446744073709551615 134789455 0 4 0 0 0 0 0 17 1 0 0
/proc/20034/statm: 2018 1320 393 177 0 921 0
[pid=20023/tid=20024] ppid=20015 vsize=197432 CPUtime=4.83
/proc/20023/task/20024/stat : 20024 (java) S 20015 20015 13470 0 -1 64 3865 0 1 0 479 4 0 0 24 0 10 0 1550342725 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20023/tid=20025] ppid=20015 vsize=197432 CPUtime=0.89
/proc/20023/task/20025/stat : 20025 (java) S 20015 20015 13470 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20026] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20026/stat : 20026 (java) S 20015 20015 13470 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20027] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20027/stat : 20027 (java) S 20015 20015 13470 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20028] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20028/stat : 20028 (java) S 20015 20015 13470 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20029] ppid=20015 vsize=197432 CPUtime=0.2
/proc/20023/task/20029/stat : 20029 (java) S 20015 20015 13470 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20030] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20030/stat : 20030 (java) S 20015 20015 13470 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20031] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20031/stat : 20031 (java) S 20015 20015 13470 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20032] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20032/stat : 20032 (java) S 20015 20015 13470 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1550343332 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.83
Current children cumulated vsize (KiB) 216220
[startup+20.7022 s]
/proc/loadavg: 1.99 1.97 1.98 3/97 20034
/proc/meminfo: memFree=1584888/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=1.65
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 372 1977 0 0 0 0 164 1 18 0 1 0 1550342555 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 238 196 169 0 51 0
[pid=20023] ppid=20015 vsize=197432 CPUtime=5.98
/proc/20023/stat : 20023 (java) S 20015 20015 13470 0 -1 0 11423 0 1 0 582 16 0 0 18 0 10 0 1550342723 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20023/statm: 49358 9386 2544 9 0 43941 0
[pid=20033] ppid=20023 vsize=5356 CPUtime=0
/proc/20033/stat : 20033 (mistral) S 20023 20015 13470 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550343332 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20033/statm: 1339 236 196 169 0 50 0
[pid=20034] ppid=20033 vsize=8072 CPUtime=12.79
/proc/20034/stat : 20034 (xsolve) R 20033 20015 13470 0 -1 4194304 1356 0 0 0 1278 1 0 0 25 0 1 0 1550343333 8265728 1320 996147200 134512640 135239763 4294955920 18446744073709551615 134820018 0 4 0 0 0 0 0 17 1 0 0
/proc/20034/statm: 2018 1320 393 177 0 921 0
[pid=20023/tid=20024] ppid=20015 vsize=197432 CPUtime=4.83
/proc/20023/task/20024/stat : 20024 (java) S 20015 20015 13470 0 -1 64 3865 0 1 0 479 4 0 0 24 0 10 0 1550342725 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20023/tid=20025] ppid=20015 vsize=197432 CPUtime=0.89
/proc/20023/task/20025/stat : 20025 (java) S 20015 20015 13470 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20026] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20026/stat : 20026 (java) S 20015 20015 13470 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20027] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20027/stat : 20027 (java) S 20015 20015 13470 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20028] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20028/stat : 20028 (java) S 20015 20015 13470 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20029] ppid=20015 vsize=197432 CPUtime=0.2
/proc/20023/task/20029/stat : 20029 (java) S 20015 20015 13470 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20030] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20030/stat : 20030 (java) S 20015 20015 13470 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20031] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20031/stat : 20031 (java) S 20015 20015 13470 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20032] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20032/stat : 20032 (java) S 20015 20015 13470 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1550343332 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.42
Current children cumulated vsize (KiB) 216220
[startup+21.1022 s]
/proc/loadavg: 1.99 1.97 1.98 3/97 20034
/proc/meminfo: memFree=1584888/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=1.65
/proc/20015/stat : 20015 (hydra) S 20013 20015 13470 0 -1 4194304 372 1977 0 0 0 0 164 1 18 0 1 0 1550342555 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20015/statm: 1340 238 196 169 0 51 0
[pid=20023] ppid=20015 vsize=197432 CPUtime=5.98
/proc/20023/stat : 20023 (java) S 20015 20015 13470 0 -1 0 11423 0 1 0 582 16 0 0 18 0 10 0 1550342723 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20023/statm: 49358 9386 2544 9 0 43941 0
[pid=20033] ppid=20023 vsize=5356 CPUtime=0
/proc/20033/stat : 20033 (mistral) S 20023 20015 13470 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1550343332 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20033/statm: 1339 236 196 169 0 50 0
[pid=20034] ppid=20033 vsize=8072 CPUtime=13.18
/proc/20034/stat : 20034 (xsolve) R 20033 20015 13470 0 -1 4194304 1356 0 0 0 1317 1 0 0 25 0 1 0 1550343333 8265728 1320 996147200 134512640 135239763 4294955920 18446744073709551615 134820109 0 4 0 0 0 0 0 17 1 0 0
/proc/20034/statm: 2018 1320 393 177 0 921 0
[pid=20023/tid=20024] ppid=20015 vsize=197432 CPUtime=4.83
/proc/20023/task/20024/stat : 20024 (java) S 20015 20015 13470 0 -1 64 3865 0 1 0 479 4 0 0 24 0 10 0 1550342725 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20023/tid=20025] ppid=20015 vsize=197432 CPUtime=0.89
/proc/20023/task/20025/stat : 20025 (java) S 20015 20015 13470 0 -1 64 6105 0 0 0 80 9 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20026] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20026/stat : 20026 (java) S 20015 20015 13470 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20027] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20027/stat : 20027 (java) S 20015 20015 13470 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1550342726 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20028] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20028/stat : 20028 (java) S 20015 20015 13470 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20029] ppid=20015 vsize=197432 CPUtime=0.2
/proc/20023/task/20029/stat : 20029 (java) S 20015 20015 13470 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20030] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20030/stat : 20030 (java) S 20015 20015 13470 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20031] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20031/stat : 20031 (java) S 20015 20015 13470 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1550342728 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20023/tid=20032] ppid=20015 vsize=197432 CPUtime=0
/proc/20023/task/20032/stat : 20032 (java) S 20015 20015 13470 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1550343332 202170368 9386 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.81
Current children cumulated vsize (KiB) 216220
[startup+21.5023 s]
/proc/loadavg: 1.99 1.97 1.98 3/97 20034
/proc/meminfo: memFree=1584888/2055920 swapFree=4122816/4192956
[pid=20015] ppid=20013 vsize=5360 CPUtime=21.21
/proc/20015/stat : 20015 (hydra) R 20013 20015 13470 0 -1 4194304 375 15181 0 1 0 0 2101 20 16 0 1 0 1550342555 5488640 240 996147200 4194304 4889804 548682068768 18446744073709551615 4346398 0 0 4100 65536 0 0 0 17 1 0 0
/proc/20015/statm: 1340 240 198 169 0 51 0
Current children cumulated CPU time (s) 21.21
Current children cumulated vsize (KiB) 5360
Child status: 0
Real time (s): 21.5027
CPU time (s): 21.2228
CPU user time (s): 21.0158
CPU system time (s): 0.206968
CPU usage (%): 98.698
Max. virtual memory (cumulated for all children) (KiB): 216220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0158
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15564
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= 9125
involuntary context switches= 10876
runsolver used 0.043993 second user time and 0.098984 second system time
The end