0.00/0.00 c cpHydra_k_10 version 0.0
7.58/7.74 c CASE TO CLASSIFY:
7.58/7.74 c Case: 0
7.58/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.624000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.701900 | c 14 > 12.358900 | c 11 > 4.321930 | c 12 > 11.458900 | 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.58/7.76 c choco : 1801.0
7.58/7.76 c mistral : 1801.0
7.58/7.76 c abscon : 1801.0
7.58/7.76 c
7.58/7.76 c
7.67/7.83 c List of same ones: 10
7.67/7.83 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-1_ext.xml
7.67/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.475100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.639700 | c 14 > 12.346800 | c 11 > 4.321930 | c 12 > 11.491900 | 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.67/7.84 c choco : 1801.0
7.67/7.84 c mistral : 14.5298
7.67/7.84 c abscon : 73.4458
7.67/7.84 c
7.67/7.84 c
7.67/7.84 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-13_ext.xml
7.67/7.84 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.67/7.85 c choco : 1801.0
7.67/7.85 c mistral : 40.83
7.67/7.85 c abscon : 38.2792
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-25_ext.xml
7.67/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.451200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.706000 | c 14 > 12.255300 | c 11 > 4.321930 | c 12 > 11.502000 | 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.67/7.86 c choco : 1801.0
7.67/7.86 c mistral : 31.21
7.67/7.86 c abscon : 9.34158
7.67/7.86 c
7.67/7.86 c
7.67/7.86 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-11_ext.xml
7.67/7.86 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.67/7.87 c choco : 1801.0
7.67/7.87 c mistral : 4.6253
7.67/7.87 c abscon : 41.7786
7.67/7.87 c
7.67/7.87 c
7.67/7.87 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-11_ext.xml
7.67/7.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.378400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.585400 | c 14 > 12.329000 | c 11 > 4.321930 | c 12 > 11.465200 | 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.67/7.88 c choco : 1801.0
7.67/7.88 c mistral : 170.881
7.67/7.88 c abscon : 441.821
7.67/7.88 c
7.67/7.88 c
7.67/7.88 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-37_ext.xml
7.67/7.88 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.67/7.89 c choco : 1801.0
7.67/7.89 c mistral : 188.511
7.67/7.89 c abscon : 173.762
7.67/7.89 c
7.67/7.89 c
7.67/7.89 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-41_ext.xml
7.67/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.454400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.533600 | c 14 > 12.194800 | c 11 > 4.321930 | c 12 > 11.298600 | 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.67/7.90 c choco : 1801.0
7.67/7.90 c mistral : 6.39
7.67/7.90 c abscon : 15.0097
7.67/7.90 c
7.67/7.90 c
7.67/7.90 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-49_ext.xml
7.67/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.377200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.511600 | c 14 > 12.287400 | c 11 > 4.321930 | c 12 > 11.580200 | 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.75/7.90 c choco : 99.3
7.75/7.90 c mistral : 9.29
7.75/7.90 c abscon : 51.2542
7.75/7.90 c
7.75/7.90 c
7.75/7.90 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-23_ext.xml
7.75/7.90 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.75/7.91 c choco : 1801.0
7.75/7.91 c mistral : 45.17
7.75/7.91 c abscon : 130.86
7.75/7.91 c
7.75/7.91 c
7.75/7.91 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-39_ext.xml
7.75/7.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.319500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.711900 | c 14 > 12.207300 | c 11 > 4.321930 | c 12 > 11.348800 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.75/7.92 c choco : 1801.0
7.75/7.92 c mistral : 19.81
7.75/7.92 c abscon : 89.5534
7.75/7.92 c
7.75/7.92 c
7.75/7.92 c Length: 10
7.75/7.92 c 0.16515283830440014 0.20291172489533488 0.2074976686616012 0.24581242848969184 0.27354215397265524 0.2885282968791797 0.3312309617170464 0.349894655575075 0.3520437188759382 0.35848693490837047
7.75/7.93 c
7.75/7.93 c 1.0 0.836607386044739 0.8203283131708358 0.705615150734003 0.6407659755270749 0.6104460488880835 0.537917426945116 0.5113631667847325 0.5084728994926839 0.5
7.75/7.93 c
7.75/7.93 c solver 0
7.75/7.93 c before 0.0 seconds: {} 0
7.75/7.93 c before 18.0 seconds: {2, 6} 1358
7.75/7.93 c before 54.0 seconds: {1, 2, 3, 6, 7} 3411
7.75/7.93 c before 90.0 seconds: {0, 1, 2, 3, 6, 7, 9} 4911
7.75/7.93 c before 144.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9} 5420
7.75/7.93 c before 180.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9} 6030
7.75/7.93 c before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6671
7.75/7.93 c
7.75/7.93 c solver 1
7.75/7.93 c before 0.0 seconds: {} 0
7.75/7.93 c before 18.0 seconds: {0, 3, 6, 7} 2754
7.75/7.93 c before 36.0 seconds: {0, 2, 3, 6, 7, 9} 4075
7.75/7.93 c before 54.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9} 5420
7.75/7.93 c before 180.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6061
7.75/7.93 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6671
7.75/7.93 c
7.75/7.93 c solver 2
7.75/7.93 c before 0.0 seconds: {} 0
7.75/7.93 c before 108.0 seconds: {7} 511
7.75/7.93 c
7.75/7.93 cTotal time: 42
7.75/7.93 c 756.0 seconds unused
7.75/7.93 c 0 c 0 c 9
7.75/7.93 c 0 c 0 c 9
7.75/7.93 c 0 c 0 c 0
7.75/7.93 c is solver0 dominated by:
7.75/7.93 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.75/7.93 c is dominated? true
7.75/7.93 c
7.75/7.93 c is solver1 dominated by:
7.75/7.93 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.75/7.93 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.75/7.93 c is dominated? false
7.75/7.93 c
7.75/7.93 c is solver2 dominated by:
7.75/7.93 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.75/7.93 c is dominated? true
7.75/7.93 c
7.75/7.93 c Number of non-dominated solvers: 1
7.75/7.93 c remove dominated solvers
7.75/7.94 c solver 1 is not dominated by another solver
7.75/7.94 c solver 2 is dominated by another solver
7.75/7.94 c solver 0 is dominated by another solver
7.75/7.94 c
7.75/7.94 c solver 0: 0.0
7.75/7.94 c
7.75/7.94 c solver 1: 198.0
7.75/7.94 c
7.75/7.94 c+ 11/11 of 89
7.75/7.94 c
7.75/7.94 c solver 2: 0.0
7.75/7.94 c do not run abscon
7.75/7.94 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6671
7.75/7.94 c do not run choco
7.75/7.94 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.75/7.94 c On Instance: HOME/instance-1080197-1215212275.xml
7.75/7.94 c Running for: 1800 seconds
12.39/12.66 c mistral-prime version 1.313
12.39/12.66 s SATISFIABLE
12.39/12.66 v 18 4 0 13 18 1 0 8 10 9 17 8 6 0 15 6 4 11 10 10
12.39/12.66 d CHECKS 2435095
12.39/12.66 d ASSIGNMENTS 15952
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080197-1215212275/watcher-1080197-1215212275 -o /tmp/evaluation-result-1080197-1215212275/solver-1080197-1215212275 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1080197-1215212275.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.88 1.88 1.28 4/84 6892
/proc/meminfo: memFree=101808/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5256 CPUtime=0
/proc/6892/stat : 6892 (hydra) R 6890 6892 6554 0 -1 4194304 61 0 0 0 0 0 0 0 20 0 1 0 2000196440 5382144 46 996147200 4194304 4889804 548682068816 18446744073709551615 237945013680 0 0 4096 0 0 0 0 17 1 0 0
/proc/6892/statm: 1314 46 35 169 0 13 0
[startup+0.160057 s]
/proc/loadavg: 1.88 1.88 1.28 4/84 6892
/proc/meminfo: memFree=101808/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5360 CPUtime=0
/proc/6892/stat : 6892 (hydra) S 6890 6892 6554 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000196440 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6892/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.202064 s]
/proc/loadavg: 1.88 1.88 1.28 4/84 6892
/proc/meminfo: memFree=101808/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5360 CPUtime=0
/proc/6892/stat : 6892 (hydra) S 6890 6892 6554 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000196440 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6892/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302079 s]
/proc/loadavg: 1.88 1.88 1.28 4/84 6892
/proc/meminfo: memFree=101808/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5360 CPUtime=0
/proc/6892/stat : 6892 (hydra) S 6890 6892 6554 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000196440 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6892/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701139 s]
/proc/loadavg: 1.88 1.88 1.28 4/84 6892
/proc/meminfo: memFree=101808/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5360 CPUtime=0
/proc/6892/stat : 6892 (hydra) S 6890 6892 6554 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000196440 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6892/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50127 s]
/proc/loadavg: 1.88 1.88 1.28 3/86 6896
/proc/meminfo: memFree=97632/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5360 CPUtime=0
/proc/6892/stat : 6892 (hydra) S 6890 6892 6554 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000196440 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6892/statm: 1340 236 195 169 0 51 0
[pid=6896] ppid=6892 vsize=8212 CPUtime=1.47
/proc/6896/stat : 6896 (xsolve) R 6892 6892 6554 0 -1 4194304 1423 0 0 0 146 1 0 0 25 0 1 0 2000196441 8409088 1382 996147200 134512640 135239763 4294956176 18446744073709551615 135087347 0 0 4096 0 0 0 0 17 1 0 0
/proc/6896/statm: 2053 1382 412 177 0 956 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13572
[startup+3.10253 s]
/proc/loadavg: 1.88 1.88 1.28 4/94 6908
/proc/meminfo: memFree=95200/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5360 CPUtime=1.68
/proc/6892/stat : 6892 (hydra) S 6890 6892 6554 0 -1 4194304 375 2021 0 0 0 0 166 2 20 0 1 0 2000196440 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6892/statm: 1340 238 196 169 0 51 0
[pid=6900] ppid=6892 vsize=197000 CPUtime=1.35
/proc/6900/stat : 6900 (java) S 6892 6892 6554 0 -1 0 4831 0 1 0 130 5 0 0 18 0 9 0 2000196611 201728000 4063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6900/statm: 49250 4063 1677 9 0 43833 0
[pid=6900/tid=6901] ppid=6892 vsize=197000 CPUtime=1.08
/proc/6900/task/6901/stat : 6901 (java) R 6892 6892 6554 0 -1 64 2696 0 1 0 106 2 0 0 25 0 9 0 2000196612 201728000 4063 996147200 134512640 134550740 4294955968 18446744073709551615 4126439946 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6902] ppid=6892 vsize=197000 CPUtime=0.11
/proc/6900/task/6902/stat : 6902 (java) S 6892 6892 6554 0 -1 64 808 0 0 0 10 1 0 0 16 0 9 0 2000196613 201728000 4063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6903] ppid=6892 vsize=197000 CPUtime=0
/proc/6900/task/6903/stat : 6903 (java) S 6892 6892 6554 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000196613 201728000 4063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6904] ppid=6892 vsize=197000 CPUtime=0
/proc/6900/task/6904/stat : 6904 (java) S 6892 6892 6554 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000196613 201728000 4063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6905] ppid=6892 vsize=197000 CPUtime=0
/proc/6900/task/6905/stat : 6905 (java) S 6892 6892 6554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000196615 201728000 4063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6906] ppid=6892 vsize=197000 CPUtime=0.13
/proc/6900/task/6906/stat : 6906 (java) S 6892 6892 6554 0 -1 64 603 0 0 0 13 0 0 0 16 0 9 0 2000196615 201728000 4063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6907] ppid=6892 vsize=197000 CPUtime=0
/proc/6900/task/6907/stat : 6907 (java) S 6892 6892 6554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2000196615 201728000 4063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6908] ppid=6892 vsize=197000 CPUtime=0
/proc/6900/task/6908/stat : 6908 (java) S 6892 6892 6554 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000196615 201728000 4063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202360
[startup+6.30104 s]
/proc/loadavg: 1.89 1.88 1.28 3/94 6908
/proc/meminfo: memFree=82016/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5360 CPUtime=1.68
/proc/6892/stat : 6892 (hydra) S 6890 6892 6554 0 -1 4194304 375 2021 0 0 0 0 166 2 20 0 1 0 2000196440 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6892/statm: 1340 238 196 169 0 51 0
[pid=6900] ppid=6892 vsize=197108 CPUtime=4.52
/proc/6900/stat : 6900 (java) S 6892 6892 6554 0 -1 0 9730 0 1 0 436 16 0 0 18 0 9 0 2000196611 201838592 8070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6900/statm: 49277 8070 2540 9 0 43860 0
[pid=6900/tid=6901] ppid=6892 vsize=197108 CPUtime=3.58
/proc/6900/task/6901/stat : 6901 (java) R 6892 6892 6554 0 -1 64 3504 0 1 0 353 5 0 0 25 0 9 0 2000196612 201838592 8070 996147200 134512640 134550740 4294955968 18446744073709551615 4126612784 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6902] ppid=6892 vsize=197108 CPUtime=0.74
/proc/6900/task/6902/stat : 6902 (java) S 6892 6892 6554 0 -1 64 4876 0 0 0 65 9 0 0 16 0 9 0 2000196613 201838592 8070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6903] ppid=6892 vsize=197108 CPUtime=0
/proc/6900/task/6903/stat : 6903 (java) S 6892 6892 6554 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000196613 201838592 8070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6904] ppid=6892 vsize=197108 CPUtime=0
/proc/6900/task/6904/stat : 6904 (java) S 6892 6892 6554 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000196613 201838592 8070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6905] ppid=6892 vsize=197108 CPUtime=0
/proc/6900/task/6905/stat : 6905 (java) S 6892 6892 6554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000196615 201838592 8070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6906] ppid=6892 vsize=197108 CPUtime=0.17
/proc/6900/task/6906/stat : 6906 (java) S 6892 6892 6554 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 2000196615 201838592 8070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6907] ppid=6892 vsize=197108 CPUtime=0
/proc/6900/task/6907/stat : 6907 (java) S 6892 6892 6554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2000196615 201838592 8070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6908] ppid=6892 vsize=197108 CPUtime=0
/proc/6900/task/6908/stat : 6908 (java) S 6892 6892 6554 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000196615 201838592 8070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
[startup+12.7025 s]
/proc/loadavg: 1.90 1.88 1.28 3/97 6911
/proc/meminfo: memFree=69000/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5360 CPUtime=1.68
/proc/6892/stat : 6892 (hydra) S 6890 6892 6554 0 -1 4194304 375 2021 0 0 0 0 166 2 20 0 1 0 2000196440 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6892/statm: 1340 238 196 169 0 51 0
[pid=6900] ppid=6892 vsize=0 CPUtime=10.78
/proc/6900/stat : 6900 (java) R 6892 6892 6554 0 -1 1028 14014 1717 1 0 590 22 465 1 16 0 1 0 2000196611 0 0 996147200 0 0 0 0 0 0 0 0 16800975 0 0 0 17 1 0 0
/proc/6900/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 5360
Solver just ended. Dumping a history of the last processes samples
[startup+12.7025 s]
/proc/loadavg: 1.90 1.88 1.28 3/97 6911
/proc/meminfo: memFree=69000/2055920 swapFree=4179776/4192956
[pid=6892] ppid=6890 vsize=5360 CPUtime=1.68
/proc/6892/stat : 6892 (hydra) S 6890 6892 6554 0 -1 4194304 375 2021 0 0 0 0 166 2 20 0 1 0 2000196440 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6892/statm: 1340 238 196 169 0 51 0
[pid=6900] ppid=6892 vsize=0 CPUtime=10.78
/proc/6900/stat : 6900 (java) R 6892 6892 6554 0 -1 1028 14014 1717 1 0 590 22 465 1 16 0 1 0 2000196611 0 0 996147200 0 0 0 0 0 0 0 0 16800975 0 0 0 17 1 0 0
/proc/6900/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 5360
Child status: 0
Real time (s): 12.7075
CPU time (s): 12.4841
CPU user time (s): 12.2171
CPU system time (s): 0.266959
CPU usage (%): 98.2422
Max. virtual memory (cumulated for all children) (KiB): 216360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2171
system time used= 0.266959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18139
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= 8975
involuntary context switches= 10737
runsolver used 0.023996 second user time and 0.069989 second system time
The end