0.00/0.00 c cpHydra_k_10 version 0.0
8.07/8.20 c CASE TO CLASSIFY:
8.07/8.20 c Case: 0
8.07/8.21 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.300900 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.488650 | c 14 > 8.816980 | c 11 > 8.800900 | c 12 > 6.484180 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.07/8.22 c choco : 1801.0
8.07/8.22 c mistral : 1801.0
8.07/8.22 c abscon : 1801.0
8.07/8.22 c
8.07/8.22 c
8.37/8.52 c List of same ones: 10
8.37/8.52 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-07.xml
8.37/8.52 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.647200 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.127730 | c 14 > 7.977280 | c 11 > 8.800900 | c 12 > 6.349320 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.53 c choco : 76.58
8.37/8.53 c mistral : 30.9
8.37/8.53 c abscon : 157.92
8.37/8.53 c
8.37/8.53 c
8.37/8.53 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-07.xml
8.37/8.53 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.276700 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.078940 | c 14 > 8.134430 | c 11 > 8.800900 | c 12 > 6.348290 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.54 c choco : 80.07
8.37/8.54 c mistral : 19.3
8.37/8.54 c abscon : 48.37
8.37/8.54 c
8.37/8.54 c
8.37/8.54 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-02.xml
8.37/8.54 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.636400 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.887980 | c 14 > 8.118940 | c 11 > 8.527480 | c 12 > 6.295890 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.55 c choco : 65.38
8.37/8.55 c mistral : 22.35
8.37/8.55 c abscon : 32.86
8.37/8.55 c
8.37/8.55 c
8.37/8.55 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-02.xml
8.37/8.55 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.350800 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.999560 | c 14 > 8.247930 | c 11 > 8.527480 | c 12 > 6.335500 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.56 c choco : 31.77
8.37/8.56 c mistral : 5.03
8.37/8.56 c abscon : 25.52
8.37/8.56 c
8.37/8.56 c
8.37/8.56 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-02.xml
8.37/8.56 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 19.658100 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.345730 | c 14 > 8.562240 | c 11 > 8.764870 | c 12 > 6.533190 | c 21 > 5.099020 | c 20 > 95.889800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.57 c choco : 78.46
8.37/8.57 c mistral : 13.32
8.37/8.57 c abscon : 48.64
8.37/8.57 c
8.37/8.57 c
8.37/8.57 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-02.xml
8.37/8.57 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 19.040800 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.227280 | c 14 > 7.936640 | c 11 > 8.764870 | c 12 > 5.896410 | c 21 > 5.099020 | c 20 > 95.889800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.58 c choco : 31.25
8.37/8.58 c mistral : 23.83
8.37/8.58 c abscon : 27.37
8.37/8.58 c
8.37/8.58 c
8.37/8.58 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-03.xml
8.37/8.58 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.575600 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 5.046140 | c 14 > 7.851750 | c 11 > 8.781360 | c 12 > 6.183750 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.59 c choco : 1801.0
8.37/8.59 c mistral : 360.0
8.37/8.59 c abscon : 148.75
8.37/8.59 c
8.37/8.59 c
8.37/8.59 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-07.xml
8.37/8.59 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.081600 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.954940 | c 14 > 7.569860 | c 11 > 8.800900 | c 12 > 5.669700 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.59 c choco : 63.95
8.37/8.59 c mistral : 14.25
8.37/8.59 c abscon : 28.1
8.37/8.59 c
8.37/8.59 c
8.37/8.59 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-05.xml
8.37/8.59 c 19 > 0.000000 | c 35 > 0.017738 | c 17 > 3.837950 | c 18 > 0.000000 | c 33 > 0.013304 | c 15 > 19.658200 | c 34 > 0.013304 | c 16 > 22.000000 | c 13 > 5.391080 | c 14 > 7.912890 | c 11 > 8.797660 | c 12 > 6.659660 | c 21 > 5.099020 | c 20 > 96.162000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.777780 | c 28 > 6.222220 | c 29 > -1.000000 | c 3 > 8.797660 | c 2 > -1.000000 | c 10 > 15.224100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.035500 | c 32 > -1.000000 | c 5 > 16.264800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.44/8.60 c choco : 61.2
8.44/8.60 c mistral : 14.59
8.44/8.60 c abscon : 32.01
8.44/8.60 c
8.44/8.60 c
8.44/8.60 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-03.xml
8.44/8.60 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.227300 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 6.114670 | c 14 > 7.787900 | c 11 > 8.781360 | c 12 > 6.391180 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.44/8.61 c choco : 1801.0
8.44/8.61 c mistral : 69.75
8.44/8.61 c abscon : 1801.0
8.44/8.61 c
8.44/8.61 c
8.44/8.62 c Length: 10
8.44/8.62 c 1.1317553825805267 1.3042961775225719 1.526224194212633 1.5786403356686407 1.8116797965947136 2.357521929206483 2.6591508178740084 2.725587059497455 2.7977146349339206 2.8177035669317685
8.44/8.62 c
8.44/8.62 c 1.0 0.9071607112743515 0.8103895457527479 0.7904735512386887 0.7126115689898332 0.5790224455763983 0.5246709919363199 0.5140430930322707 0.5029817249395019 0.5
8.44/8.62 c
8.44/8.62 c solver 0
8.44/8.62 c before 0.0 seconds: {} 0
8.44/8.62 c before 36.0 seconds: {2, 3, 5, 7, 8} 3196
8.44/8.62 c before 54.0 seconds: {1, 2, 3, 4, 5, 7, 8} 4816
8.44/8.62 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6341
8.44/8.62 c
8.44/8.62 c solver 1
8.44/8.62 c before 0.0 seconds: {} 0
8.44/8.62 c before 18.0 seconds: {3, 4, 7, 8} 2520
8.44/8.62 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8} 5816
8.44/8.62 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6316
8.44/8.62 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6841
8.44/8.62 c
8.44/8.62 c solver 2
8.44/8.62 c before 0.0 seconds: {} 0
8.44/8.62 c before 36.0 seconds: {3, 5} 1369
8.44/8.62 c before 72.0 seconds: {2, 3, 5, 7, 8} 3196
8.44/8.62 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8} 5816
8.44/8.62 c
8.44/8.62 cTotal time: 35
8.44/8.62 c 630.0 seconds unused
8.44/8.62 c 0 c 0 c 1
8.44/8.62 c 1 c 0 c 2
8.44/8.62 c 0 c 0 c 0
8.44/8.62 c is solver0 dominated by:
8.44/8.62 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
8.44/8.62 c is dominated? true
8.44/8.62 c
8.44/8.62 c is solver1 dominated by:
8.44/8.62 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
8.44/8.62 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)
8.44/8.62 c is dominated? false
8.44/8.62 c
8.44/8.62 c is solver2 dominated by:
8.44/8.63 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)
8.44/8.63 c is dominated? true
8.44/8.63 c
8.44/8.63 c Number of non-dominated solvers: 1
8.44/8.63 c remove dominated solvers
8.44/8.63 c solver 1 is not dominated by another solver
8.44/8.63 c solver 2 is dominated by another solver
8.44/8.63 c solver 0 is dominated by another solver
8.44/8.63 c
8.44/8.63 c solver 0: 0.0
8.44/8.63 c
8.44/8.63 c solver 1: 378.0
8.44/8.63 c
8.44/8.63 c+ 21/21 of 79
8.44/8.63 c
8.44/8.63 c solver 2: 0.0
8.44/8.63 c do not run abscon
8.44/8.63 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6841
8.44/8.63 c do not run choco
8.44/8.63 c Starting solver: HOME/cpHydra_k_10/solver/mistral
8.44/8.63 c On Instance: HOME/instance-1076841-1215190329.xml
8.44/8.63 c Running for: 1800 seconds
12.48/12.71 c mistral-prime version 1.313
12.48/12.71 s SATISFIABLE
12.48/12.71 v 2 17 0 1 19 4 17 17 0 5 17 0 12 4 0 17 1 14 17 11 14 1 4 0 21 8 0 13 0 0 17 14 13 18 14 8 17 4 4 0 12 4 13 3 12 4 13 19 18 19 8 12 4 11 4 18 18 13 4 18 18 12 4 19 4 17 8 13 6 22 0 0 11 18 0 17 4 0 6 4 19 3 14 13 18 19 4 11 11 18 1 17 0 18 1 14 13 4 7 14 15 8 13 6 2 7 17 8 18 18 0 6 18 12 8 13 19 18 0 15 0 2 4 18 14 17 4 25 14 13 4 8 0 13 1 4 17 19 14 22 13 4 17 18 7 8 15 18 4 18 10 8 12 14 18 8 17 0 15 11 0 2 4 15 4 13 7 15 0 11 4 14 20 19 1 0 15 19 8 18 19 4 3 8 18 2 14 20 17 18 4 0 13 13 0 7 0 11 4 15 11 8 4 18 2 11 14 19 4 13 14 2 7 1 0 17 17 4 13 19 0 18 18 14 11 0 21 2 0 13 13 4 11 0 22 0 17 3 3 8 18 2 18 2 4 13 4 0 6 14 6 17 14 18 24 15 17 14 18 14 3 8 2 18 13 0 10 0 24 0 12 0 4 10 4 1 4 0 13 21 4 11 0 7 0 6 4 13 7 8 19 17 4 18 19 8 13 6 17 4 2 14 12 1 8 13 4 3 3 4 11 11 0 13 3 1 0 17 10 0 17 2 18 15 14 11 10 0 1 4 0 17 3 18 0 15 18 0 6 17 4 4 0 11 22 0 24 18 0 11 1 0 11 0 10 4 18 19 0 13 3 6 11 4 13 18 20 18 1 14 11 11 17 7 14 3 0 2 0 19 0 11 8 13 0 8 3 4 0 11 8 25 0 19 8 14 13 1 8 14 12 4 3 8 2 0 11 11 4 13 3 4 17 21 0 11 21 4 0 11 3 4 17 13 14 19 4 18 19 14 22 4 0 23 11 4 18 18 11 4 3 18 10 13 4 4
12.48/12.71 d CHECKS 3017625
12.48/12.71 d ASSIGNMENTS 1070
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076841-1215190329/watcher-1076841-1215190329 -o /tmp/evaluation-result-1076841-1215190329/solver-1076841-1215190329 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1076841-1215190329.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.96 1.91 4/81 13636
/proc/meminfo: memFree=1334700/2055920 swapFree=4179816/4192956
[pid=13636] ppid=13634 vsize=5360 CPUtime=0
/proc/13636/stat : 13636 (hydra) S 13634 13636 9779 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1998005349 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13636/statm: 1340 236 195 169 0 51 0
[pid=13638] ppid=13636 vsize=2536 CPUtime=0
/proc/13638/stat : 13638 (rm) R 13636 13636 9779 0 -1 4194304 120 0 0 0 0 0 0 0 23 0 1 0 1998005349 2596864 91 996147200 4194304 4227748 548682069008 18446744073709551615 258939261993 0 0 4096 0 0 0 0 17 1 0 0
/proc/13638/statm: 634 91 73 8 0 42 0
[startup+0.213626 s]
/proc/loadavg: 1.99 1.96 1.91 4/81 13636
/proc/meminfo: memFree=1334700/2055920 swapFree=4179816/4192956
[pid=13636] ppid=13634 vsize=5360 CPUtime=0
/proc/13636/stat : 13636 (hydra) S 13634 13636 9779 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998005349 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13636/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302645 s]
/proc/loadavg: 1.99 1.96 1.91 4/81 13636
/proc/meminfo: memFree=1334700/2055920 swapFree=4179816/4192956
[pid=13636] ppid=13634 vsize=5360 CPUtime=0
/proc/13636/stat : 13636 (hydra) S 13634 13636 9779 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998005349 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13636/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.40266 s]
/proc/loadavg: 1.99 1.96 1.91 4/81 13636
/proc/meminfo: memFree=1334700/2055920 swapFree=4179816/4192956
[pid=13636] ppid=13634 vsize=5360 CPUtime=0
/proc/13636/stat : 13636 (hydra) S 13634 13636 9779 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998005349 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13636/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702718 s]
/proc/loadavg: 1.99 1.96 1.91 4/81 13636
/proc/meminfo: memFree=1334700/2055920 swapFree=4179816/4192956
[pid=13636] ppid=13634 vsize=5360 CPUtime=0
/proc/13636/stat : 13636 (hydra) S 13634 13636 9779 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998005349 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13636/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50186 s]
/proc/loadavg: 1.99 1.96 1.91 3/83 13640
/proc/meminfo: memFree=1313820/2055920 swapFree=4179816/4192956
[pid=13636] ppid=13634 vsize=5360 CPUtime=0
/proc/13636/stat : 13636 (hydra) S 13634 13636 9779 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1998005349 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13636/statm: 1340 236 195 169 0 51 0
[pid=13640] ppid=13636 vsize=25120 CPUtime=1.47
/proc/13640/stat : 13640 (xsolve) R 13636 13636 9779 0 -1 4194304 5593 0 0 0 145 2 0 0 25 0 1 0 1998005350 25722880 5552 996147200 134512640 135239763 4294956176 18446744073709551615 135015488 0 0 4096 0 0 0 0 17 1 0 0
/proc/13640/statm: 6280 5552 424 177 0 5183 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30480
[startup+3.10247 s]
/proc/loadavg: 1.99 1.96 1.91 4/91 13652
/proc/meminfo: memFree=1328860/2055920 swapFree=4179816/4192956
[pid=13636] ppid=13634 vsize=5360 CPUtime=2
/proc/13636/stat : 13636 (hydra) S 13634 13636 9779 0 -1 4194304 375 6190 0 0 0 0 197 3 18 0 1 0 1998005349 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13636/statm: 1340 238 196 169 0 51 0
[pid=13644] ppid=13636 vsize=197000 CPUtime=1.04
/proc/13644/stat : 13644 (java) S 13636 13636 9779 0 -1 0 4443 0 1 0 100 4 0 0 18 0 9 0 1998005553 201728000 3764 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13644/statm: 49250 3764 1677 9 0 43833 0
[pid=13644/tid=13645] ppid=13636 vsize=197000 CPUtime=0.8
/proc/13644/task/13645/stat : 13645 (java) R 13636 13636 9779 0 -1 64 2604 0 1 0 79 1 0 0 24 0 9 0 1998005554 201728000 3764 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13646] ppid=13636 vsize=197000 CPUtime=0.06
/proc/13644/task/13646/stat : 13646 (java) S 13636 13636 9779 0 -1 64 514 0 0 0 6 0 0 0 15 0 9 0 1998005555 201728000 3764 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13647] ppid=13636 vsize=197000 CPUtime=0
/proc/13644/task/13647/stat : 13647 (java) S 13636 13636 9779 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1998005556 201728000 3764 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13648] ppid=13636 vsize=197000 CPUtime=0
/proc/13644/task/13648/stat : 13648 (java) S 13636 13636 9779 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998005556 201728000 3764 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13649] ppid=13636 vsize=197000 CPUtime=0
/proc/13644/task/13649/stat : 13649 (java) S 13636 13636 9779 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1998005558 201728000 3764 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13650] ppid=13636 vsize=197000 CPUtime=0.13
/proc/13644/task/13650/stat : 13650 (java) S 13636 13636 9779 0 -1 64 601 0 0 0 13 0 0 0 16 0 9 0 1998005558 201728000 3764 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13651] ppid=13636 vsize=197000 CPUtime=0
/proc/13644/task/13651/stat : 13651 (java) S 13636 13636 9779 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1998005558 201728000 3764 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13652] ppid=13636 vsize=197000 CPUtime=0
/proc/13644/task/13652/stat : 13652 (java) S 13636 13636 9779 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1998005558 201728000 3764 996147200 134512640 134550740 4294955968 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.30173 s]
/proc/loadavg: 1.99 1.96 1.91 4/91 13652
/proc/meminfo: memFree=1316380/2055920 swapFree=4179816/4192956
[pid=13636] ppid=13634 vsize=5360 CPUtime=2
/proc/13636/stat : 13636 (hydra) S 13634 13636 9779 0 -1 4194304 375 6190 0 0 0 0 197 3 18 0 1 0 1998005349 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13636/statm: 1340 238 196 169 0 51 0
[pid=13644] ppid=13636 vsize=197108 CPUtime=4.19
/proc/13644/stat : 13644 (java) S 13636 13636 9779 0 -1 0 9158 0 1 0 405 14 0 0 18 0 9 0 1998005553 201838592 7587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13644/statm: 49277 7587 2540 9 0 43860 0
[pid=13644/tid=13645] ppid=13636 vsize=197108 CPUtime=3.26
/proc/13644/task/13645/stat : 13645 (java) R 13636 13636 9779 0 -1 64 3412 0 1 0 322 4 0 0 25 0 9 0 1998005554 201838592 7587 996147200 134512640 134550740 4294955968 18446744073709551615 4126494990 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13646] ppid=13636 vsize=197108 CPUtime=0.71
/proc/13644/task/13646/stat : 13646 (java) S 13636 13636 9779 0 -1 64 4394 0 0 0 64 7 0 0 16 0 9 0 1998005555 201838592 7587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13647] ppid=13636 vsize=197108 CPUtime=0
/proc/13644/task/13647/stat : 13647 (java) S 13636 13636 9779 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1998005556 201838592 7587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13648] ppid=13636 vsize=197108 CPUtime=0
/proc/13644/task/13648/stat : 13648 (java) S 13636 13636 9779 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998005556 201838592 7587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13649] ppid=13636 vsize=197108 CPUtime=0
/proc/13644/task/13649/stat : 13649 (java) S 13636 13636 9779 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1998005558 201838592 7587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13650] ppid=13636 vsize=197108 CPUtime=0.18
/proc/13644/task/13650/stat : 13650 (java) S 13636 13636 9779 0 -1 64 628 0 0 0 18 0 0 0 16 0 9 0 1998005558 201838592 7587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13651] ppid=13636 vsize=197108 CPUtime=0
/proc/13644/task/13651/stat : 13651 (java) S 13636 13636 9779 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1998005558 201838592 7587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13652] ppid=13636 vsize=197108 CPUtime=0
/proc/13644/task/13652/stat : 13652 (java) S 13636 13636 9779 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1998005558 201838592 7587 996147200 134512640 134550740 4294955968 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.7029 s]
/proc/loadavg: 1.99 1.96 1.91 3/94 13655
/proc/meminfo: memFree=1285572/2055920 swapFree=4179816/4192956
[pid=13636] ppid=13634 vsize=5360 CPUtime=2
/proc/13636/stat : 13636 (hydra) S 13634 13636 9779 0 -1 4194304 375 6190 0 0 0 0 197 3 18 0 1 0 1998005349 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13636/statm: 1340 238 196 169 0 51 0
[pid=13644] ppid=13636 vsize=197432 CPUtime=6.47
/proc/13644/stat : 13644 (java) S 13636 13636 9779 0 -1 0 13857 0 1 0 626 21 0 0 18 0 10 0 1998005553 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13644/statm: 49358 9368 2543 9 0 43941 0
[pid=13654] ppid=13644 vsize=5356 CPUtime=0
/proc/13654/stat : 13654 (mistral) S 13644 13636 9779 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1998006213 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/13654/statm: 1339 236 196 169 0 50 0
[pid=13655] ppid=13654 vsize=23504 CPUtime=4.01
/proc/13655/stat : 13655 (xsolve) R 13654 13636 9779 0 -1 4194304 5585 0 0 0 398 3 0 0 25 0 1 0 1998006213 24068096 5158 996147200 134512640 135239763 4294955952 18446744073709551615 5157016 0 4 0 0 0 0 0 17 1 0 0
/proc/13655/statm: 5876 5158 419 177 0 4779 0
[pid=13644/tid=13645] ppid=13636 vsize=197432 CPUtime=5
/proc/13644/task/13645/stat : 13645 (java) S 13636 13636 9779 0 -1 64 3860 0 1 0 494 6 0 0 16 0 10 0 1998005554 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=13644/tid=13646] ppid=13636 vsize=197432 CPUtime=1.22
/proc/13644/task/13646/stat : 13646 (java) S 13636 13636 9779 0 -1 64 8543 0 0 0 110 12 0 0 16 0 10 0 1998005555 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13647] ppid=13636 vsize=197432 CPUtime=0
/proc/13644/task/13647/stat : 13647 (java) S 13636 13636 9779 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1998005556 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13648] ppid=13636 vsize=197432 CPUtime=0
/proc/13644/task/13648/stat : 13648 (java) S 13636 13636 9779 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1998005556 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13649] ppid=13636 vsize=197432 CPUtime=0
/proc/13644/task/13649/stat : 13649 (java) S 13636 13636 9779 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1998005558 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13650] ppid=13636 vsize=197432 CPUtime=0.21
/proc/13644/task/13650/stat : 13650 (java) S 13636 13636 9779 0 -1 64 647 0 0 0 21 0 0 0 15 0 10 0 1998005558 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13651] ppid=13636 vsize=197432 CPUtime=0
/proc/13644/task/13651/stat : 13651 (java) S 13636 13636 9779 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1998005558 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13652] ppid=13636 vsize=197432 CPUtime=0
/proc/13644/task/13652/stat : 13652 (java) S 13636 13636 9779 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1998005558 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13644/tid=13653] ppid=13636 vsize=197432 CPUtime=0
/proc/13644/task/13653/stat : 13653 (java) S 13636 13636 9779 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1998006213 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 231652
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 12.7407
CPU time (s): 12.5301
CPU user time (s): 12.2341
CPU system time (s): 0.295955
CPU usage (%): 98.347
Max. virtual memory (cumulated for all children) (KiB): 233272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2341
system time used= 0.295955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26414
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= 9044
involuntary context switches= 10845
runsolver used 0.034994 second user time and 0.076988 second system time
The end