0.00/0.00 c cpHydra_k_10 version 0.0
7.37/7.44 c CASE TO CLASSIFY:
7.37/7.44 c Case: 0
7.37/7.45 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.579810 | c 33 > 30.000000 | c 15 > 21.694400 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.230140 | c 14 > 8.891780 | c 11 > 8.774790 | c 12 > 8.318500 | c 21 > 4.836470 | c 20 > 97.420200 | c 22 > 6.708200 | c 23 > 93.217300 | c 24 > 28.571400 | c 25 > 299.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.774790 | c 2 > -1.000000 | c 10 > 16.155800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 14.022200 | c 32 > 0.000000 | c 5 > 15.591900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.46 c choco : 1801.0
7.37/7.46 c mistral : 1801.0
7.37/7.46 c abscon : 1801.0
7.37/7.46 c
7.37/7.46 c
7.46/7.53 c List of same ones: 10
7.46/7.53 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
7.46/7.53 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.579810 | c 33 > 30.000000 | c 15 > 20.881300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.129480 | c 14 > 8.209450 | c 11 > 8.774790 | c 12 > 8.261650 | c 21 > 4.836470 | c 20 > 97.420200 | c 22 > 6.708200 | c 23 > 93.217300 | c 24 > 28.571400 | c 25 > 299.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.774790 | c 2 > -1.000000 | c 10 > 16.155800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 14.022200 | c 32 > 0.000000 | c 5 > 15.591900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.53 c choco : 1801.0
7.46/7.53 c mistral : 71.99
7.46/7.54 c abscon : 45.66
7.46/7.54 c
7.46/7.54 c
7.46/7.54 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml
7.46/7.54 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 5.178660 | c 33 > 30.000000 | c 15 > 19.878000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.754490 | c 14 > 10.632100 | c 11 > 11.879600 | c 12 > 5.045030 | c 21 > 4.801340 | c 20 > 94.821300 | c 22 > 6.708200 | c 23 > 97.911900 | c 24 > 25.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.554590 | c 2 > -1.000000 | c 10 > 15.707800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.727900 | c 32 > 0.000000 | c 5 > 14.463800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.54 c choco : 1801.0
7.46/7.54 c mistral : 440.15
7.46/7.54 c abscon : 13.8
7.46/7.54 c
7.46/7.54 c
7.46/7.54 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
7.46/7.54 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.849594 | c 33 > 30.000000 | c 15 > 20.736900 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.115770 | c 14 > 8.299210 | c 11 > 9.400880 | c 12 > 8.339510 | c 21 > 4.870700 | c 20 > 99.150400 | c 22 > 6.708200 | c 23 > 87.351200 | c 24 > 22.222200 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.400880 | c 2 > -1.000000 | c 10 > 17.155900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.044900 | c 32 > 0.000000 | c 5 > 17.233300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.55 c choco : 1801.0
7.46/7.55 c mistral : 293.62
7.46/7.55 c abscon : 1801.0
7.46/7.55 c
7.46/7.55 c
7.46/7.55 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
7.46/7.55 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.468187 | c 33 > 30.000000 | c 15 > 20.496000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.978730 | c 14 > 8.690000 | c 11 > 9.611020 | c 12 > 8.780590 | c 21 > 4.946840 | c 20 > 99.531800 | c 22 > 6.708200 | c 23 > 84.598700 | c 24 > 33.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.611020 | c 2 > -1.000000 | c 10 > 17.848000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.958200 | c 32 > 0.000000 | c 5 > 18.064900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.56 c choco : 1801.0
7.46/7.56 c mistral : 265.78
7.46/7.56 c abscon : 1801.0
7.46/7.56 c
7.46/7.56 c
7.46/7.56 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
7.46/7.56 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.399450 | c 33 > 30.000000 | c 15 > 20.959000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.186680 | c 14 > 8.194760 | c 11 > 9.090110 | c 12 > 8.259910 | c 21 > 4.857540 | c 20 > 98.600600 | c 22 > 6.708200 | c 23 > 83.019000 | c 24 > 20.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.090110 | c 2 > -1.000000 | c 10 > 16.675800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.264400 | c 32 > 0.000000 | c 5 > 16.536900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.57 c choco : 1801.0
7.46/7.57 c mistral : 106.17
7.46/7.57 c abscon : 39.95
7.46/7.57 c
7.46/7.57 c
7.46/7.57 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
7.46/7.57 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.644026 | c 33 > 30.000000 | c 15 > 20.714400 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.106580 | c 14 > 8.422060 | c 11 > 9.392320 | c 12 > 8.650280 | c 21 > 4.920950 | c 20 > 99.356000 | c 22 > 6.708200 | c 23 > 78.650500 | c 24 > 25.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.392320 | c 2 > -1.000000 | c 10 > 17.473800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.489900 | c 32 > 0.000000 | c 5 > 17.616800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.58 c choco : 1801.0
7.46/7.58 c mistral : 654.08
7.46/7.58 c abscon : 1801.0
7.46/7.58 c
7.46/7.58 c
7.46/7.58 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
7.46/7.58 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.658299 | c 33 > 30.000000 | c 15 > 20.669000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.208980 | c 14 > 8.592460 | c 11 > 9.411510 | c 12 > 8.640030 | c 21 > 4.928780 | c 20 > 99.341700 | c 22 > 6.708200 | c 23 > 83.238900 | c 24 > 40.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.411510 | c 2 > -1.000000 | c 10 > 17.463900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.462700 | c 32 > 0.000000 | c 5 > 17.592400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.59 c choco : 1801.0
7.46/7.59 c mistral : 467.31
7.46/7.59 c abscon : 1801.0
7.46/7.59 c
7.46/7.59 c
7.46/7.59 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
7.46/7.59 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.226990 | c 33 > 30.000000 | c 15 > 20.404900 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.487570 | c 14 > 8.546890 | c 11 > 9.255030 | c 12 > 8.456330 | c 21 > 3.902400 | c 20 > 98.773000 | c 22 > 6.000000 | c 23 > 66.609100 | c 24 > 13.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.255030 | c 2 > -1.000000 | c 10 > 17.018100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.512500 | c 32 > 0.000000 | c 5 > 16.686600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.59 c choco : 1801.0
7.46/7.59 c mistral : 43.86
7.46/7.59 c abscon : 262.21
7.46/7.59 c
7.46/7.59 c
7.46/7.59 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
7.46/7.59 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.716829 | c 33 > 30.000000 | c 15 > 20.502000 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.462510 | c 14 > 8.149750 | c 11 > 9.467610 | c 12 > 8.672580 | c 21 > 4.149400 | c 20 > 99.283200 | c 22 > 5.830950 | c 23 > 65.344800 | c 24 > 11.764700 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.467610 | c 2 > -1.000000 | c 10 > 17.526000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.333300 | c 32 > 0.000000 | c 5 > 17.448100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.60 c choco : 1801.0
7.46/7.60 c mistral : 1156.77
7.46/7.60 c abscon : 1801.0
7.46/7.60 c
7.46/7.60 c
7.55/7.60 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
7.55/7.60 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.895683 | c 33 > 30.000000 | c 15 > 20.466700 | c 34 > 30.000000 | c 16 > 23.000000 | c 13 > 7.445010 | c 14 > 8.507790 | c 11 > 9.394460 | c 12 > 8.546470 | c 21 > 4.014350 | c 20 > 99.104300 | c 22 > 5.830950 | c 23 > 63.995800 | c 24 > 12.500000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.394460 | c 2 > -1.000000 | c 10 > 17.300500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994000 | c 32 > 0.000000 | c 5 > 17.128600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.55/7.61 c choco : 1801.0
7.55/7.61 c mistral : 38.33
7.55/7.61 c abscon : 568.38
7.55/7.61 c
7.55/7.61 c
7.74/7.81 c Length: 10
7.74/7.81 c 1.0677406974542105 9.11038058871857 9.568857559691017 11.297676057996577 13.608768112118002 15.73036027010367 15.883926157122518 31.12429009163743 33.14061593623088 33.75476977724375
7.74/7.81 c
7.74/7.81 c 1.0 0.8025360850101637 0.7936028275173541 0.7616342280040519 0.7227157568399651 0.6903330860957891 0.6881014136977728 0.5209621426573358 0.5047417753892264 0.5
7.74/7.81 c
7.74/7.81 c solver 0
7.74/7.81 c before 0.0 seconds: {} 0
7.74/7.81 c before 18.0 seconds: {1} 802
7.74/7.81 c before 54.0 seconds: {0, 1, 4} 2525
7.74/7.81 c before 270.0 seconds: {0, 1, 4, 7} 3046
7.74/7.81 c before 576.0 seconds: {0, 1, 4, 7, 9} 3546
7.74/7.81 c
7.74/7.81 c solver 1
7.74/7.81 c before 0.0 seconds: {} 0
7.74/7.81 c before 54.0 seconds: {7, 9} 1020
7.74/7.81 c before 72.0 seconds: {0, 7, 9} 2020
7.74/7.81 c before 108.0 seconds: {0, 4, 7, 9} 2743
7.74/7.81 c before 270.0 seconds: {0, 3, 4, 7, 9} 3505
7.74/7.81 c before 306.0 seconds: {0, 2, 3, 4, 7, 9} 4298
7.74/7.81 c before 450.0 seconds: {0, 1, 2, 3, 4, 7, 9} 5101
7.74/7.81 c before 468.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9} 5789
7.74/7.81 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6479
7.74/7.81 c before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6984
7.74/7.81 c
7.74/7.81 c solver 2
7.74/7.81 c before 0.0 seconds: {} 0
7.74/7.81 c
7.74/7.81 cTotal time: 97
7.74/7.81 c 1746.0 seconds unused
7.74/7.81 c 0 c 0 c 5
7.74/7.81 c 5 c 0 c 10
7.74/7.81 c 0 c 0 c 0
7.74/7.81 c is solver0 dominated by:
7.74/7.81 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.74/7.81 c is dominated? true
7.74/7.81 c
7.74/7.81 c is solver1 dominated by:
7.74/7.81 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.74/7.81 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.74/7.81 c is dominated? false
7.74/7.81 c
7.74/7.81 c is solver2 dominated by:
7.74/7.81 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.74/7.81 c is dominated? true
7.74/7.81 c
7.74/7.81 c Number of non-dominated solvers: 1
7.74/7.81 c remove dominated solvers
7.74/7.82 c solver 1 is not dominated by another solver
7.74/7.82 c solver 2 is dominated by another solver
7.74/7.82 c solver 0 is dominated by another solver
7.74/7.82 c
7.74/7.82 c solver 0: 0.0
7.74/7.82 c
7.74/7.82 c solver 1: 1170.0
7.74/7.82 c
7.74/7.82 c+ 65/65 of 35
7.74/7.82 c
7.74/7.82 c solver 2: 0.0
7.74/7.82 c do not run abscon
7.74/7.82 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6984
7.74/7.82 c do not run choco
7.74/7.82 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.74/7.82 c On Instance: HOME/instance-1058322-1215114337.xml
7.74/7.82 c Running for: 1800 seconds
27.02/27.12 c mistral-prime version 1.313
27.02/27.12 s SATISFIABLE
27.02/27.12 v 30 7 2 42 30 12 42 16 9 1 0 25 19 8 31 8 28 21 12 42 22 2 24 5 37 9 3 38 2 25 16 11 44 22 29 5 17 12 26 9 12 15 1 15 2 16 32 19 26 13 9 4 7 17 5 16 36 14 42 4 37 32 13 41 28 28 35 31 5 6 38 17 1 1 26 3 34 23 34 40 19 10 17 6 2 37 30 12 37 7 13 21 29 44 33 22 44 27 7 38 17 4 34 28 10 6 3 32 1 16 29 40 36 10 21 39 33 40 31 41 14 13 9 11 16 17 23 22 21 21 10 14 29 4 1 14 0 5 32 38 24 15 18 11 31 28 7 26 43 24 24 4 21 24 12 22 29 6 2 7 34 27 32 35 31 12 27 11 22 35 10 3 37 23 9 18 23 19 36 34 20 32 30 43 37 43 14 39 27 30 22 9 7 5 20 18 19 12 19 17 25 27 12 15 11 33 25 18 2 6 27 15 17 11 23 28 16 25 1 4 6 27 1 36 33 13 3 6 15 28 3 23 20 0 6 10 0 18 10 24 32 5 0 36 25 3 24 26 7 8 14 3 19 14 14 20 8 41 4 0 14 11 35 18 5 29 9 7 20 13 13 8 0 9 2 13 7 3 41 4 39 39 21 15 0 5 29 26 30 19 18 18 21 37 43 44 1 20 22 20 34 23 42 19 9 15 27 0 16 38 4 20 25 29 16 35 12 8 26 33 6 37 40 25 31 11 33 5 2 26 11 0 8 30 24 13 28 8 20 26 2 36 6 8 28 23 22 15 33 15 3 1 3 5 4 0 1 4 7 7 2 7 5 8 7 7 4 4 6 7 1 2 5 7 7 2 3 3 9 2 0 7 0 3 1 2 2 5 0 9 8 7 1 0 0 3 0 6 1 5 1 3 8 6 6 2 5 9 3 2 1 7 0 3 7 1 3 5 0 2 1 7 3 2 3 4 5 7 0 3 4 2 9 5 6 3 9 4 6 7 4 1 0 5 7 2 3 7 5 0 5 9 6 5 0 6 0 3 0 7 4 0 4 6 3 3 1 5 0 1 4 6 5 3 5 3 3 6 2 6 7 0 2 4 6 7 1 4 1 5 4 5 3 6 3 0 2 7 5 0 7 8 9 6 1 9 6 4 5 0 4 9 9 5 4 2 0 5 5 1 1 2 0 9 8 6 4 0 0 7 3 4 5 0 4 4 2 0 1 1 0 0 4 1 0 5 3 9 7 4 1 5 3 6 0 9 3 7 1 3 6 8 0 8 5 6 6 4 4 0 8 3 9 3 6 3 1 7 1 3 7 2 6 3 1 5 6 4 4 3 5 3 0 6 9 9 1 6 3 0 3 5 2 1 5 4 6 5 7 5 6 1 4 0 8 7 4 9 7 2 1 3 8 3 8 9 6 6 0 1 7 1 0 2 4 5 5 5 0 1 2 9 7 5 3 6 5 2 7 5 3 0 0 9 6 4 2 9 9 7 6 1 5 3 1 0 7 9 2 0 0 9 7 0 9 2 3 9 7 9 4 7 1 7 2 7 2 4 9 4 4 9 9 2 9 1 4 3 4 9
27.02/27.13 d CHECKS 43689446
27.02/27.13 d ASSIGNMENTS 5744
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058322-1215114337/watcher-1058322-1215114337 -o /tmp/evaluation-result-1058322-1215114337/solver-1058322-1215114337 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058322-1215114337.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.98 1.91 4/73 19529
/proc/meminfo: memFree=1526296/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=18572 CPUtime=0
/proc/19529/stat : 19529 (runsolver) R 19527 18887 18887 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 623681027 19017728 290 996147200 4194304 4296836 548682068496 18446744073709551615 270184545778 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19529/statm: 4643 290 255 25 0 2626 0
[startup+0.0083381 s]
/proc/loadavg: 1.99 1.98 1.91 4/73 19529
/proc/meminfo: memFree=1526296/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=0
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 623681027 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19529/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101357 s]
/proc/loadavg: 1.99 1.98 1.91 4/73 19529
/proc/meminfo: memFree=1526296/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=0
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 623681027 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19529/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301379 s]
/proc/loadavg: 1.99 1.98 1.91 4/73 19529
/proc/meminfo: memFree=1526296/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=0
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 623681027 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19529/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70143 s]
/proc/loadavg: 1.99 1.98 1.91 4/73 19529
/proc/meminfo: memFree=1526296/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=0
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 623681027 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19529/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50152 s]
/proc/loadavg: 1.99 1.98 1.91 3/75 19533
/proc/meminfo: memFree=1499912/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=0
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 623681027 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19529/statm: 1340 236 195 169 0 51 0
[pid=19533] ppid=19529 vsize=31256 CPUtime=1.48
/proc/19533/stat : 19533 (xsolve) R 19529 19529 18887 0 -1 4194304 7359 0 0 0 145 3 0 0 25 0 1 0 623681028 32006144 6934 996147200 134512640 135239763 4294956176 18446744073709551615 135030883 0 0 4096 0 0 0 0 17 0 0 0
/proc/19533/statm: 7814 6934 432 177 0 6717 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36616
[startup+3.1017 s]
/proc/loadavg: 1.99 1.98 1.91 3/75 19533
/proc/meminfo: memFree=1498888/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=2.22
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 375 7955 0 0 0 0 218 4 20 0 1 0 623681027 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19529/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 5360
[startup+6.30107 s]
/proc/loadavg: 2.07 2.00 1.92 4/83 19545
/proc/meminfo: memFree=1506568/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=2.22
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 375 7955 0 0 0 0 218 4 20 0 1 0 623681027 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19529/statm: 1340 238 196 169 0 51 0
[pid=19537] ppid=19529 vsize=197092 CPUtime=4.05
/proc/19537/stat : 19537 (java) S 19529 19529 18887 0 -1 0 9750 0 1 0 392 13 0 0 21 0 9 0 623681250 201822208 8081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19537/statm: 49273 8081 2540 9 0 43856 0
[pid=19537/tid=19538] ppid=19529 vsize=197092 CPUtime=3.16
/proc/19537/task/19538/stat : 19538 (java) R 19529 19529 18887 0 -1 64 3507 0 1 0 313 3 0 0 25 0 9 0 623681251 201822208 8081 996147200 134512640 134550740 4294955968 18446744073709551615 4126471582 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19539] ppid=19529 vsize=197092 CPUtime=0.7
/proc/19537/task/19539/stat : 19539 (java) S 19529 19529 18887 0 -1 64 4889 0 0 0 62 8 0 0 16 0 9 0 623681253 201822208 8081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19540] ppid=19529 vsize=197092 CPUtime=0
/proc/19537/task/19540/stat : 19540 (java) S 19529 19529 18887 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 623681253 201822208 8081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19541] ppid=19529 vsize=197092 CPUtime=0
/proc/19537/task/19541/stat : 19541 (java) S 19529 19529 18887 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 623681253 201822208 8081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19542] ppid=19529 vsize=197092 CPUtime=0
/proc/19537/task/19542/stat : 19542 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 623681255 201822208 8081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19543] ppid=19529 vsize=197092 CPUtime=0.16
/proc/19537/task/19543/stat : 19543 (java) S 19529 19529 18887 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 623681255 201822208 8081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19544] ppid=19529 vsize=197092 CPUtime=0
/proc/19537/task/19544/stat : 19544 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 623681255 201822208 8081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19545] ppid=19529 vsize=197092 CPUtime=0
/proc/19537/task/19545/stat : 19545 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 623681255 201822208 8081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 202452
[startup+12.7028 s]
/proc/loadavg: 2.07 2.00 1.92 3/86 19548
/proc/meminfo: memFree=1471664/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=2.22
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 375 7955 0 0 0 0 218 4 20 0 1 0 623681027 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19529/statm: 1340 238 196 169 0 51 0
[pid=19537] ppid=19529 vsize=197416 CPUtime=5.55
/proc/19537/stat : 19537 (java) S 19529 19529 18887 0 -1 0 13865 0 1 0 536 19 0 0 21 0 10 0 623681250 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19537/statm: 49354 9389 2543 9 0 43937 0
[pid=19547] ppid=19537 vsize=5356 CPUtime=0
/proc/19547/stat : 19547 (mistral) S 19537 19529 18887 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 623681809 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 270187160388 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/19547/statm: 1339 236 196 169 0 50 0
[pid=19548] ppid=19547 vsize=31256 CPUtime=4.85
/proc/19548/stat : 19548 (xsolve) R 19547 19529 18887 0 -1 4194304 7336 0 0 0 482 3 0 0 25 0 1 0 623681810 32006144 6916 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 0 0 0
/proc/19548/statm: 7814 6916 414 177 0 6717 0
[pid=19537/tid=19538] ppid=19529 vsize=197416 CPUtime=4.26
/proc/19537/task/19538/stat : 19538 (java) S 19529 19529 18887 0 -1 64 3853 0 1 0 421 5 0 0 24 0 10 0 623681251 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=19537/tid=19539] ppid=19529 vsize=197416 CPUtime=1.05
/proc/19537/task/19539/stat : 19539 (java) S 19529 19529 18887 0 -1 64 8558 0 0 0 94 11 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19540] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19540/stat : 19540 (java) S 19529 19529 18887 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19541] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19541/stat : 19541 (java) S 19529 19529 18887 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19542] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19542/stat : 19542 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19543] ppid=19529 vsize=197416 CPUtime=0.19
/proc/19537/task/19543/stat : 19543 (java) S 19529 19529 18887 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19544] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19544/stat : 19544 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19545] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19545/stat : 19545 (java) S 19529 19529 18887 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19546] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19546/stat : 19546 (java) S 19529 19529 18887 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 623681809 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 239388
[startup+25.5023 s]
/proc/loadavg: 2.05 2.00 1.92 3/86 19548
/proc/meminfo: memFree=1471600/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=2.22
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 375 7955 0 0 0 0 218 4 20 0 1 0 623681027 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19529/statm: 1340 238 196 169 0 51 0
[pid=19537] ppid=19529 vsize=197416 CPUtime=5.55
/proc/19537/stat : 19537 (java) S 19529 19529 18887 0 -1 0 13865 0 1 0 536 19 0 0 21 0 10 0 623681250 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19537/statm: 49354 9389 2543 9 0 43937 0
[pid=19547] ppid=19537 vsize=5356 CPUtime=0
/proc/19547/stat : 19547 (mistral) S 19537 19529 18887 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 623681809 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 270187160388 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/19547/statm: 1339 236 196 169 0 50 0
[pid=19548] ppid=19547 vsize=31388 CPUtime=17.65
/proc/19548/stat : 19548 (xsolve) R 19547 19529 18887 0 -1 4194304 7337 0 0 0 1762 3 0 0 25 0 1 0 623681810 32141312 6917 996147200 134512640 135239763 4294955968 18446744073709551615 135097658 0 4 0 0 0 0 0 17 0 0 0
/proc/19548/statm: 7847 6917 414 177 0 6750 0
[pid=19537/tid=19538] ppid=19529 vsize=197416 CPUtime=4.26
/proc/19537/task/19538/stat : 19538 (java) S 19529 19529 18887 0 -1 64 3853 0 1 0 421 5 0 0 24 0 10 0 623681251 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=19537/tid=19539] ppid=19529 vsize=197416 CPUtime=1.05
/proc/19537/task/19539/stat : 19539 (java) S 19529 19529 18887 0 -1 64 8558 0 0 0 94 11 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19540] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19540/stat : 19540 (java) S 19529 19529 18887 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19541] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19541/stat : 19541 (java) S 19529 19529 18887 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19542] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19542/stat : 19542 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19543] ppid=19529 vsize=197416 CPUtime=0.19
/proc/19537/task/19543/stat : 19543 (java) S 19529 19529 18887 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19544] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19544/stat : 19544 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19545] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19545/stat : 19545 (java) S 19529 19529 18887 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19546] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19546/stat : 19546 (java) S 19529 19529 18887 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 623681809 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 239520
Solver just ended. Dumping a history of the last processes samples
[startup+26.3024 s]
/proc/loadavg: 2.05 2.00 1.92 3/86 19548
/proc/meminfo: memFree=1471600/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=2.22
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 375 7955 0 0 0 0 218 4 20 0 1 0 623681027 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19529/statm: 1340 238 196 169 0 51 0
[pid=19537] ppid=19529 vsize=197416 CPUtime=5.55
/proc/19537/stat : 19537 (java) S 19529 19529 18887 0 -1 0 13865 0 1 0 536 19 0 0 21 0 10 0 623681250 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19537/statm: 49354 9389 2543 9 0 43937 0
[pid=19547] ppid=19537 vsize=5356 CPUtime=0
/proc/19547/stat : 19547 (mistral) S 19537 19529 18887 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 623681809 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 270187160388 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/19547/statm: 1339 236 196 169 0 50 0
[pid=19548] ppid=19547 vsize=31388 CPUtime=18.45
/proc/19548/stat : 19548 (xsolve) R 19547 19529 18887 0 -1 4194304 7337 0 0 0 1842 3 0 0 25 0 1 0 623681810 32141312 6917 996147200 134512640 135239763 4294955968 18446744073709551615 134800155 0 4 0 0 0 0 0 17 0 0 0
/proc/19548/statm: 7847 6917 414 177 0 6750 0
[pid=19537/tid=19538] ppid=19529 vsize=197416 CPUtime=4.26
/proc/19537/task/19538/stat : 19538 (java) S 19529 19529 18887 0 -1 64 3853 0 1 0 421 5 0 0 24 0 10 0 623681251 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=19537/tid=19539] ppid=19529 vsize=197416 CPUtime=1.05
/proc/19537/task/19539/stat : 19539 (java) S 19529 19529 18887 0 -1 64 8558 0 0 0 94 11 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19540] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19540/stat : 19540 (java) S 19529 19529 18887 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19541] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19541/stat : 19541 (java) S 19529 19529 18887 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19542] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19542/stat : 19542 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19543] ppid=19529 vsize=197416 CPUtime=0.19
/proc/19537/task/19543/stat : 19543 (java) S 19529 19529 18887 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19544] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19544/stat : 19544 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19545] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19545/stat : 19545 (java) S 19529 19529 18887 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19546] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19546/stat : 19546 (java) S 19529 19529 18887 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 623681809 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 26.22
Current children cumulated vsize (KiB) 239520
[startup+26.7024 s]
/proc/loadavg: 2.05 2.00 1.92 3/86 19548
/proc/meminfo: memFree=1471600/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=2.22
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 375 7955 0 0 0 0 218 4 20 0 1 0 623681027 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19529/statm: 1340 238 196 169 0 51 0
[pid=19537] ppid=19529 vsize=197416 CPUtime=5.55
/proc/19537/stat : 19537 (java) S 19529 19529 18887 0 -1 0 13865 0 1 0 536 19 0 0 21 0 10 0 623681250 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19537/statm: 49354 9389 2543 9 0 43937 0
[pid=19547] ppid=19537 vsize=5356 CPUtime=0
/proc/19547/stat : 19547 (mistral) S 19537 19529 18887 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 623681809 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 270187160388 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/19547/statm: 1339 236 196 169 0 50 0
[pid=19548] ppid=19547 vsize=31388 CPUtime=18.85
/proc/19548/stat : 19548 (xsolve) R 19547 19529 18887 0 -1 4194304 7337 0 0 0 1882 3 0 0 25 0 1 0 623681810 32141312 6917 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 0 0 0
/proc/19548/statm: 7847 6917 414 177 0 6750 0
[pid=19537/tid=19538] ppid=19529 vsize=197416 CPUtime=4.26
/proc/19537/task/19538/stat : 19538 (java) S 19529 19529 18887 0 -1 64 3853 0 1 0 421 5 0 0 24 0 10 0 623681251 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=19537/tid=19539] ppid=19529 vsize=197416 CPUtime=1.05
/proc/19537/task/19539/stat : 19539 (java) S 19529 19529 18887 0 -1 64 8558 0 0 0 94 11 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19540] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19540/stat : 19540 (java) S 19529 19529 18887 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19541] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19541/stat : 19541 (java) S 19529 19529 18887 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19542] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19542/stat : 19542 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19543] ppid=19529 vsize=197416 CPUtime=0.19
/proc/19537/task/19543/stat : 19543 (java) S 19529 19529 18887 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19544] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19544/stat : 19544 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19545] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19545/stat : 19545 (java) S 19529 19529 18887 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19546] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19546/stat : 19546 (java) S 19529 19529 18887 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 623681809 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 26.62
Current children cumulated vsize (KiB) 239520
[startup+27.1025 s]
/proc/loadavg: 2.05 2.00 1.92 3/86 19548
/proc/meminfo: memFree=1471600/2055920 swapFree=4137144/4192956
[pid=19529] ppid=19527 vsize=5360 CPUtime=2.22
/proc/19529/stat : 19529 (hydra) S 19527 19529 18887 0 -1 4194304 375 7955 0 0 0 0 218 4 20 0 1 0 623681027 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19529/statm: 1340 238 196 169 0 51 0
[pid=19537] ppid=19529 vsize=197416 CPUtime=5.55
/proc/19537/stat : 19537 (java) S 19529 19529 18887 0 -1 0 13866 0 1 0 536 19 0 0 21 0 10 0 623681250 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19537/statm: 49354 9389 2543 9 0 43937 0
[pid=19547] ppid=19537 vsize=5356 CPUtime=0
/proc/19547/stat : 19547 (mistral) S 19537 19529 18887 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 623681809 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 270187160388 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/19547/statm: 1339 236 196 169 0 50 0
[pid=19548] ppid=19547 vsize=13128 CPUtime=19.25
/proc/19548/stat : 19548 (xsolve) R 19547 19529 18887 0 -1 4194304 7409 0 0 0 1921 4 0 0 25 0 1 0 623681810 13443072 2541 996147200 134512640 135239763 4294955968 18446744073709551615 10354172 0 4 0 0 0 0 0 17 0 0 0
/proc/19548/statm: 3282 2541 427 177 0 2185 0
[pid=19537/tid=19538] ppid=19529 vsize=197416 CPUtime=4.26
/proc/19537/task/19538/stat : 19538 (java) S 19529 19529 18887 0 -1 64 3854 0 1 0 421 5 0 0 16 0 10 0 623681251 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=19537/tid=19539] ppid=19529 vsize=197416 CPUtime=1.05
/proc/19537/task/19539/stat : 19539 (java) S 19529 19529 18887 0 -1 64 8558 0 0 0 94 11 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19540] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19540/stat : 19540 (java) S 19529 19529 18887 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19541] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19541/stat : 19541 (java) S 19529 19529 18887 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 623681253 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19542] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19542/stat : 19542 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19543] ppid=19529 vsize=197416 CPUtime=0.19
/proc/19537/task/19543/stat : 19543 (java) S 19529 19529 18887 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19544] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19544/stat : 19544 (java) S 19529 19529 18887 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19545] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19545/stat : 19545 (java) S 19529 19529 18887 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 623681255 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19537/tid=19546] ppid=19529 vsize=197416 CPUtime=0
/proc/19537/task/19546/stat : 19546 (java) S 19529 19529 18887 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 623681809 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 27.02
Current children cumulated vsize (KiB) 221260
Child status: 0
Real time (s): 27.1738
CPU time (s): 27.0799
CPU user time (s): 26.7889
CPU system time (s): 0.290955
CPU usage (%): 99.6542
Max. virtual memory (cumulated for all children) (KiB): 239780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.7889
system time used= 0.290955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30017
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= 9812
involuntary context switches= 11214
runsolver used 0.053991 second user time and 0.106983 second system time
The end