0.00/0.00 c cpHydra_k_10 version 0.0
7.68/7.89 c CASE TO CLASSIFY:
7.68/7.89 c Case: 0
7.68/7.89 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.655500 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.856810 | c 14 > 8.873440 | c 11 > 8.527480 | c 12 > 6.692600 | 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
7.78/7.90 c choco : 1801.0
7.78/7.90 c mistral : 1801.0
7.78/7.90 c abscon : 1801.0
7.78/7.90 c
7.78/7.90 c
7.78/7.98 c List of same ones: 10
7.78/7.98 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-02.xml
7.78/7.98 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
7.78/7.98 c choco : 65.38
7.78/7.98 c mistral : 22.35
7.78/7.98 c abscon : 32.86
7.78/7.98 c
7.78/7.98 c
7.78/7.98 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-02.xml
7.78/7.98 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
7.78/7.99 c choco : 31.77
7.78/7.99 c mistral : 5.03
7.78/7.99 c abscon : 25.52
7.78/7.99 c
7.78/7.99 c
7.78/7.99 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-07.xml
7.78/7.99 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
7.87/8.01 c choco : 76.58
7.87/8.01 c mistral : 30.9
7.87/8.01 c abscon : 157.92
7.87/8.01 c
7.87/8.01 c
7.87/8.01 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-07.xml
7.87/8.01 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
7.87/8.01 c choco : 80.07
7.87/8.01 c mistral : 19.3
7.87/8.01 c abscon : 48.37
7.87/8.01 c
7.87/8.01 c
7.87/8.01 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-02.xml
7.87/8.01 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
7.87/8.02 c choco : 78.46
7.87/8.03 c mistral : 13.32
7.87/8.03 c abscon : 48.64
7.87/8.03 c
7.87/8.03 c
7.87/8.03 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-03.xml
7.87/8.03 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
7.87/8.03 c choco : 1801.0
7.87/8.04 c mistral : 360.0
7.87/8.04 c abscon : 148.75
7.87/8.04 c
7.87/8.04 c
7.87/8.04 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-03.xml
7.87/8.04 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
7.87/8.04 c choco : 1801.0
7.87/8.04 c mistral : 69.75
7.87/8.04 c abscon : 1801.0
7.87/8.04 c
7.87/8.04 c
7.87/8.04 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-06.xml
7.87/8.04 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.524030 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.493300 | c 34 > 0.000000 | c 16 > 22.000000 | c 13 > 4.903800 | c 14 > 7.832890 | c 11 > 8.543030 | c 12 > 6.199960 | c 21 > 5.099020 | c 20 > 94.476000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.835620 | c 28 > 6.164380 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.363700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.170400 | c 32 > -1.000000 | c 5 > 15.507200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.87/8.05 c choco : 153.11
7.87/8.05 c mistral : 9.59
7.87/8.05 c abscon : 196.99
7.87/8.05 c
7.87/8.05 c
7.87/8.05 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-01.xml
7.87/8.05 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.992180 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.233000 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.066810 | c 14 > 7.238400 | c 11 > 8.543030 | c 12 > 5.979860 | c 21 > 5.099020 | c 20 > 94.007800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.623190 | c 28 > 6.376810 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.159600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.965600 | c 32 > -1.000000 | c 5 > 15.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.87/8.06 c choco : 1801.0
7.87/8.06 c mistral : 67.7
7.87/8.06 c abscon : 1801.0
7.87/8.06 c
7.87/8.06 c
7.87/8.06 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-02.xml
7.87/8.06 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.974000 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.849560 | c 14 > 7.774790 | c 11 > 8.527480 | c 12 > 6.200340 | 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
7.87/8.07 c choco : 28.41
7.87/8.07 c mistral : 8.26
7.87/8.07 c abscon : 25.34
7.87/8.07 c
7.87/8.07 c
7.87/8.07 c Length: 10
7.87/8.07 c 1.6443373902578522 1.7192739230849756 1.8637202222436713 2.0433156778872905 2.6158089016190487 2.7898638781488962 2.8342000544598127 2.990432627714592 3.0883312537355825 3.1071444354262003
7.87/8.07 c
7.87/8.07 c 1.0 0.9512685119291429 0.8695849767227477 0.7857012403090123 0.6009201540409634 0.5608205494534966 0.5514471100571317 0.5207753413911099 0.5032360629919063 0.5
7.87/8.08 c
7.87/8.08 c solver 0
7.87/8.08 c before 0.0 seconds: {} 0
7.87/8.08 c before 36.0 seconds: {0, 1, 9} 2451
7.87/8.08 c before 54.0 seconds: {0, 1, 3, 4, 9} 3837
7.87/8.08 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 9} 5268
7.87/8.08 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9} 5789
7.87/8.08 c
7.87/8.08 c solver 1
7.87/8.08 c before 0.0 seconds: {} 0
7.87/8.08 c before 18.0 seconds: {1, 4, 7, 9} 2572
7.87/8.08 c before 36.0 seconds: {0, 1, 2, 3, 4, 7, 9} 5228
7.87/8.08 c before 72.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6282
7.87/8.08 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6843
7.87/8.08 c
7.87/8.08 c solver 2
7.87/8.08 c before 0.0 seconds: {} 0
7.87/8.08 c before 36.0 seconds: {1, 9} 1451
7.87/8.08 c before 72.0 seconds: {0, 1, 9} 2451
7.87/8.08 c before 90.0 seconds: {0, 1, 2, 3, 4, 9} 4707
7.87/8.08 c before 162.0 seconds: {0, 1, 2, 3, 4, 7, 9} 5228
7.87/8.08 c
7.87/8.08 cTotal time: 41
7.87/8.08 c 738.0 seconds unused
7.87/8.08 c 0 c 0 c 1
7.87/8.08 c 2 c 0 c 3
7.87/8.08 c 0 c 0 c 0
7.87/8.08 c is solver0 dominated by:
7.87/8.08 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)
7.87/8.08 c is dominated? true
7.87/8.08 c
7.87/8.08 c is solver1 dominated by:
7.87/8.08 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)
7.87/8.08 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.87/8.08 c is dominated? false
7.87/8.08 c
7.87/8.08 c is solver2 dominated by:
7.87/8.08 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.87/8.08 c is dominated? true
7.87/8.08 c
7.87/8.08 c Number of non-dominated solvers: 1
7.87/8.08 c remove dominated solvers
7.87/8.08 c solver 1 is not dominated by another solver
7.87/8.08 c solver 2 is dominated by another solver
7.87/8.08 c solver 0 is dominated by another solver
7.87/8.08 c
7.87/8.08 c solver 0: 0.0
7.87/8.08 c
7.87/8.08 c solver 1: 378.0
7.87/8.08 c
7.87/8.08 c+ 21/21 of 79
7.87/8.08 c
7.87/8.08 c solver 2: 0.0
7.87/8.09 c do not run abscon
7.87/8.09 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6843
7.87/8.09 c do not run choco
7.87/8.09 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.87/8.09 c On Instance: HOME/instance-1067917-1215151913.xml
7.87/8.09 c Running for: 1800 seconds
10.51/10.76 c mistral-prime version 1.313
10.51/10.76 s SATISFIABLE
10.51/10.76 v 17 4 18 19 6 11 4 13 13 11 0 18 18 14 20 18 6 18 8 2 10 24 12 0 17 8 0 4 11 0 19 4 18 4 17 0 2 7 0 15 19 17 0 12 15 22 4 1 4 17 7 0 0 6 7 14 19 4 11 4 19 7 14 18 2 17 4 18 2 4 13 3 14 22 0 11 3 14 11 0 12 0 11 19 0 17 18 2 14 17 15 8 14 2 4 17 4 18 4 4 11 7 8 18 13 0 25 8 18 12 2 17 14 0 19 8 0 3 4 1 0 18 4 0 1 0 19 4 20 11 0 13 0 11 20 12 1 0 13 0 11 17 0 17 4 2 11 8 15 0 1 0 19 4 17 17 14 0 12 4 11 10 10 0 24 14 4 2 14 13 14 12 4 19 17 8 2 0 13 8 1 18 2 24 2 11 4 15 11 0 24 2 7 17 14 12 14 18 15 7 4 17 4 2 7 8 13 15 0 12 11 0 8 3 19 4 17 4 18 0 2 7 8 2 21 0 18 4 0 18 18 0 8 18 4 12 8 0 0 0 18 3 0 17 15 0 18 19 4 11 11 0 15 8 6 12 4 13 19 3 0 17 10 4 13 7 4 13 8 1 12 2 7 0 18 4 0 13 2 8 4 13 19 1 0 20 4 17 19 8 19 0 15 0 2 4 18 4 11 4 2 19 12 4 13 3 7 0 1 8 0 6 0 19 4 15 11 0 19 19 14 13 0 11 4 12 1 4 3 0 17 0 1 8 1 8 18 4 17 0 18 4 19 17 0 2 4 19 24 15 4 13 0 17 24 3 24 11 0 13 4 0 18 4 11 4 11 0 13
10.51/10.76 d CHECKS 2921017
10.51/10.76 d ASSIGNMENTS 937
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1067917-1215151913/watcher-1067917-1215151913 -o /tmp/evaluation-result-1067917-1215151913/solver-1067917-1215151913 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1067917-1215151913.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.97 2.04 2.06 4/80 6883
/proc/meminfo: memFree=1687224/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5212 CPUtime=0
/proc/6883/stat : 6883 (hydra) R 6881 6883 6561 0 -1 4194304 70 0 0 0 0 0 0 0 20 0 1 0 1994166202 5337088 44 996147200 4194304 4889804 548682068816 18446744073709551615 262909575968 0 0 4096 0 0 0 0 17 1 0 0
/proc/6883/statm: 1303 44 30 169 0 14 0
[startup+0.0790349 s]
/proc/loadavg: 1.97 2.04 2.06 4/80 6883
/proc/meminfo: memFree=1687224/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=0
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1994166202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101034 s]
/proc/loadavg: 1.97 2.04 2.06 4/80 6883
/proc/meminfo: memFree=1687224/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=0
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1994166202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301069 s]
/proc/loadavg: 1.97 2.04 2.06 4/80 6883
/proc/meminfo: memFree=1687224/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=0
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1994166202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701113 s]
/proc/loadavg: 1.97 2.04 2.06 4/80 6883
/proc/meminfo: memFree=1687224/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=0
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1994166202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50121 s]
/proc/loadavg: 1.97 2.04 2.06 3/82 6887
/proc/meminfo: memFree=1672040/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=0
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1994166202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 236 195 169 0 51 0
[pid=6887] ppid=6883 vsize=19684 CPUtime=1.47
/proc/6887/stat : 6887 (xsolve) R 6883 6883 6561 0 -1 4194304 4192 0 0 0 146 1 0 0 25 0 1 0 1994166203 20156416 4151 996147200 134512640 135239763 4294956176 18446744073709551615 135031221 0 0 4096 0 0 0 0 17 1 0 0
/proc/6887/statm: 4921 4151 424 177 0 3824 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 25044
[startup+3.10239 s]
/proc/loadavg: 1.97 2.04 2.06 4/90 6899
/proc/meminfo: memFree=1681320/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=1.81
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 375 4791 0 0 0 0 179 2 18 0 1 0 1994166202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 238 196 169 0 51 0
[pid=6891] ppid=6883 vsize=197000 CPUtime=1.22
/proc/6891/stat : 6891 (java) S 6883 6883 6561 0 -1 0 4676 0 1 0 118 4 0 0 18 0 9 0 1994166386 201728000 3939 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6891/statm: 49250 3939 1677 9 0 43833 0
[pid=6891/tid=6892] ppid=6883 vsize=197000 CPUtime=0.96
/proc/6891/task/6892/stat : 6892 (java) R 6883 6883 6561 0 -1 64 2663 0 1 0 95 1 0 0 25 0 9 0 1994166387 201728000 3939 996147200 134512640 134550740 4294955968 18446744073709551615 4126523680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6893] ppid=6883 vsize=197000 CPUtime=0.11
/proc/6891/task/6893/stat : 6893 (java) S 6883 6883 6561 0 -1 64 684 0 0 0 9 2 0 0 16 0 9 0 1994166389 201728000 3939 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6894] ppid=6883 vsize=197000 CPUtime=0
/proc/6891/task/6894/stat : 6894 (java) S 6883 6883 6561 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1994166389 201728000 3939 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6895] ppid=6883 vsize=197000 CPUtime=0
/proc/6891/task/6895/stat : 6895 (java) S 6883 6883 6561 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1994166389 201728000 3939 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6896] ppid=6883 vsize=197000 CPUtime=0
/proc/6891/task/6896/stat : 6896 (java) S 6883 6883 6561 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1994166391 201728000 3939 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6897] ppid=6883 vsize=197000 CPUtime=0.13
/proc/6891/task/6897/stat : 6897 (java) S 6883 6883 6561 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 1994166391 201728000 3939 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6898] ppid=6883 vsize=197000 CPUtime=0
/proc/6891/task/6898/stat : 6898 (java) S 6883 6883 6561 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1994166392 201728000 3939 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6899] ppid=6883 vsize=197000 CPUtime=0
/proc/6891/task/6899/stat : 6899 (java) S 6883 6883 6561 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1994166392 201728000 3939 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.30277 s]
/proc/loadavg: 2.05 2.05 2.07 3/90 6899
/proc/meminfo: memFree=1668392/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=1.81
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 375 4791 0 0 0 0 179 2 18 0 1 0 1994166202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 238 196 169 0 51 0
[pid=6891] ppid=6883 vsize=197112 CPUtime=4.39
/proc/6891/stat : 6891 (java) S 6883 6883 6561 0 -1 0 9585 0 1 0 426 13 0 0 18 0 9 0 1994166386 201842688 7947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6891/statm: 49278 7947 2540 9 0 43861 0
[pid=6891/tid=6892] ppid=6883 vsize=197112 CPUtime=3.46
/proc/6891/task/6892/stat : 6892 (java) R 6883 6883 6561 0 -1 64 3480 0 1 0 342 4 0 0 25 0 9 0 1994166387 201842688 7947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6893] ppid=6883 vsize=197112 CPUtime=0.74
/proc/6891/task/6893/stat : 6893 (java) R 6883 6883 6561 0 -1 64 4752 0 0 0 66 8 0 0 16 0 9 0 1994166389 201842688 7947 996147200 134512640 134550740 4294955968 18446744073709551615 4160647107 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6894] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6894/stat : 6894 (java) S 6883 6883 6561 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1994166389 201842688 7947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6895] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6895/stat : 6895 (java) S 6883 6883 6561 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1994166389 201842688 7947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6896] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6896/stat : 6896 (java) S 6883 6883 6561 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1994166391 201842688 7947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6897] ppid=6883 vsize=197112 CPUtime=0.17
/proc/6891/task/6897/stat : 6897 (java) S 6883 6883 6561 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1994166391 201842688 7947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6898] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6898/stat : 6898 (java) S 6883 6883 6561 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1994166392 201842688 7947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6899] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6899/stat : 6899 (java) S 6883 6883 6561 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1994166392 201842688 7947 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) 202472
Solver just ended. Dumping a history of the last processes samples
[startup+7.90195 s]
/proc/loadavg: 2.13 2.07 2.07 3/90 6899
/proc/meminfo: memFree=1660072/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=1.81
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 375 4791 0 0 0 0 179 2 18 0 1 0 1994166202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 238 196 169 0 51 0
[pid=6891] ppid=6883 vsize=197112 CPUtime=5.97
/proc/6891/stat : 6891 (java) S 6883 6883 6561 0 -1 0 13737 0 1 0 580 17 0 0 18 0 9 0 1994166386 201842688 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6891/statm: 49278 9433 2540 9 0 43861 0
[pid=6891/tid=6892] ppid=6883 vsize=197112 CPUtime=4.65
/proc/6891/task/6892/stat : 6892 (java) R 6883 6883 6561 0 -1 64 3889 0 1 0 461 4 0 0 25 0 9 0 1994166387 201842688 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4125925013 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6893] ppid=6883 vsize=197112 CPUtime=1.11
/proc/6891/task/6893/stat : 6893 (java) S 6883 6883 6561 0 -1 64 8492 0 0 0 100 11 0 0 16 0 9 0 1994166389 201842688 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6894] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6894/stat : 6894 (java) S 6883 6883 6561 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1994166389 201842688 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6895] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6895/stat : 6895 (java) S 6883 6883 6561 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1994166389 201842688 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6896] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6896/stat : 6896 (java) S 6883 6883 6561 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1994166391 201842688 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6897] ppid=6883 vsize=197112 CPUtime=0.17
/proc/6891/task/6897/stat : 6897 (java) S 6883 6883 6561 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 1994166391 201842688 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6898] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6898/stat : 6898 (java) S 6883 6883 6561 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1994166392 201842688 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6899] ppid=6883 vsize=197112 CPUtime=0
/proc/6891/task/6899/stat : 6899 (java) S 6883 6883 6561 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1994166392 201842688 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 202472
[startup+9.50215 s]
/proc/loadavg: 2.13 2.07 2.07 3/93 6902
/proc/meminfo: memFree=1643344/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=1.81
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 375 4791 0 0 0 0 179 2 18 0 1 0 1994166202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 238 196 169 0 51 0
[pid=6891] ppid=6883 vsize=197436 CPUtime=6.13
/proc/6891/stat : 6891 (java) S 6883 6883 6561 0 -1 0 13991 0 1 0 595 18 0 0 18 0 10 0 1994166386 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6891/statm: 49359 9518 2543 9 0 43942 0
[pid=6901] ppid=6891 vsize=5356 CPUtime=0
/proc/6901/stat : 6901 (mistral) S 6891 6883 6561 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1994167012 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6901/statm: 1339 236 196 169 0 50 0
[pid=6902] ppid=6901 vsize=19684 CPUtime=1.37
/proc/6902/stat : 6902 (xsolve) R 6901 6883 6561 0 -1 4194304 4168 0 0 0 136 1 0 0 25 0 1 0 1994167012 20156416 4132 996147200 134512640 135239763 4294955968 18446744073709551615 135015494 0 4 0 0 0 0 0 17 1 0 0
/proc/6902/statm: 4921 4132 406 177 0 3824 0
[pid=6891/tid=6892] ppid=6883 vsize=197436 CPUtime=4.78
/proc/6891/task/6892/stat : 6892 (java) S 6883 6883 6561 0 -1 64 3975 0 1 0 473 5 0 0 24 0 10 0 1994166387 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6891/tid=6893] ppid=6883 vsize=197436 CPUtime=1.12
/proc/6891/task/6893/stat : 6893 (java) S 6883 6883 6561 0 -1 64 8568 0 0 0 101 11 0 0 16 0 10 0 1994166389 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6894] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6894/stat : 6894 (java) S 6883 6883 6561 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1994166389 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6895] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6895/stat : 6895 (java) S 6883 6883 6561 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1994166389 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6896] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6896/stat : 6896 (java) S 6883 6883 6561 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1994166391 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6897] ppid=6883 vsize=197436 CPUtime=0.2
/proc/6891/task/6897/stat : 6897 (java) S 6883 6883 6561 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1994166391 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6898] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6898/stat : 6898 (java) S 6883 6883 6561 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1994166392 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6899] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6899/stat : 6899 (java) S 6883 6883 6561 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1994166392 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6900] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6900/stat : 6900 (java) S 6883 6883 6561 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1994167012 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.31
Current children cumulated vsize (KiB) 227836
[startup+10.3022 s]
/proc/loadavg: 2.13 2.07 2.07 3/93 6902
/proc/meminfo: memFree=1643088/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=1.81
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 375 4791 0 0 0 0 179 2 18 0 1 0 1994166202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 238 196 169 0 51 0
[pid=6891] ppid=6883 vsize=197436 CPUtime=6.13
/proc/6891/stat : 6891 (java) S 6883 6883 6561 0 -1 0 13991 0 1 0 595 18 0 0 18 0 10 0 1994166386 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6891/statm: 49359 9518 2543 9 0 43942 0
[pid=6901] ppid=6891 vsize=5356 CPUtime=0
/proc/6901/stat : 6901 (mistral) S 6891 6883 6561 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1994167012 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6901/statm: 1339 236 196 169 0 50 0
[pid=6902] ppid=6901 vsize=19684 CPUtime=2.17
/proc/6902/stat : 6902 (xsolve) R 6901 6883 6561 0 -1 4194304 4171 0 0 0 215 2 0 0 25 0 1 0 1994167012 20156416 4135 996147200 134512640 135239763 4294955968 18446744073709551615 135015486 0 4 0 0 0 0 0 17 1 0 0
/proc/6902/statm: 4921 4135 406 177 0 3824 0
[pid=6891/tid=6892] ppid=6883 vsize=197436 CPUtime=4.78
/proc/6891/task/6892/stat : 6892 (java) S 6883 6883 6561 0 -1 64 3975 0 1 0 473 5 0 0 24 0 10 0 1994166387 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6891/tid=6893] ppid=6883 vsize=197436 CPUtime=1.12
/proc/6891/task/6893/stat : 6893 (java) S 6883 6883 6561 0 -1 64 8568 0 0 0 101 11 0 0 16 0 10 0 1994166389 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6894] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6894/stat : 6894 (java) S 6883 6883 6561 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1994166389 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6895] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6895/stat : 6895 (java) S 6883 6883 6561 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1994166389 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6896] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6896/stat : 6896 (java) S 6883 6883 6561 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1994166391 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6897] ppid=6883 vsize=197436 CPUtime=0.2
/proc/6891/task/6897/stat : 6897 (java) S 6883 6883 6561 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1994166391 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6898] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6898/stat : 6898 (java) S 6883 6883 6561 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1994166392 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6899] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6899/stat : 6899 (java) S 6883 6883 6561 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1994166392 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6900] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6900/stat : 6900 (java) S 6883 6883 6561 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1994167012 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.11
Current children cumulated vsize (KiB) 227836
[startup+10.7023 s]
/proc/loadavg: 2.13 2.07 2.07 3/93 6902
/proc/meminfo: memFree=1643088/2055920 swapFree=4179968/4192956
[pid=6883] ppid=6881 vsize=5360 CPUtime=1.81
/proc/6883/stat : 6883 (hydra) S 6881 6883 6561 0 -1 4194304 375 4791 0 0 0 0 179 2 18 0 1 0 1994166202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6883/statm: 1340 238 196 169 0 51 0
[pid=6891] ppid=6883 vsize=197436 CPUtime=6.13
/proc/6891/stat : 6891 (java) S 6883 6883 6561 0 -1 0 13991 0 1 0 595 18 0 0 18 0 10 0 1994166386 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6891/statm: 49359 9518 2543 9 0 43942 0
[pid=6901] ppid=6891 vsize=5356 CPUtime=0
/proc/6901/stat : 6901 (mistral) S 6891 6883 6561 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1994167012 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6901/statm: 1339 236 196 169 0 50 0
[pid=6902] ppid=6901 vsize=19684 CPUtime=2.57
/proc/6902/stat : 6902 (xsolve) R 6901 6883 6561 0 -1 4194304 4195 0 0 0 255 2 0 0 25 0 1 0 1994167012 20156416 4159 996147200 134512640 135239763 4294955968 18446744073709551615 134789076 0 4 0 0 0 0 0 17 1 0 0
/proc/6902/statm: 4921 4159 406 177 0 3824 0
[pid=6891/tid=6892] ppid=6883 vsize=197436 CPUtime=4.78
/proc/6891/task/6892/stat : 6892 (java) S 6883 6883 6561 0 -1 64 3975 0 1 0 473 5 0 0 24 0 10 0 1994166387 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6891/tid=6893] ppid=6883 vsize=197436 CPUtime=1.12
/proc/6891/task/6893/stat : 6893 (java) S 6883 6883 6561 0 -1 64 8568 0 0 0 101 11 0 0 16 0 10 0 1994166389 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6894] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6894/stat : 6894 (java) S 6883 6883 6561 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1994166389 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6895] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6895/stat : 6895 (java) S 6883 6883 6561 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1994166389 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6896] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6896/stat : 6896 (java) S 6883 6883 6561 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1994166391 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6897] ppid=6883 vsize=197436 CPUtime=0.2
/proc/6891/task/6897/stat : 6897 (java) S 6883 6883 6561 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1994166391 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6898] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6898/stat : 6898 (java) S 6883 6883 6561 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1994166392 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6899] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6899/stat : 6899 (java) S 6883 6883 6561 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1994166392 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6891/tid=6900] ppid=6883 vsize=197436 CPUtime=0
/proc/6891/task/6900/stat : 6900 (java) S 6883 6883 6561 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1994167012 202174464 9518 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.51
Current children cumulated vsize (KiB) 227836
Child status: 0
Real time (s): 10.7673
CPU time (s): 10.6044
CPU user time (s): 10.3594
CPU system time (s): 0.244962
CPU usage (%): 98.4871
Max. virtual memory (cumulated for all children) (KiB): 227836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3594
system time used= 0.244962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23781
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= 8946
involuntary context switches= 10493
runsolver used 0.024996 second user time and 0.067989 second system time
The end