0.00/0.00 c cpHydra_k_10 version 0.0
7.82/7.97 c CASE TO CLASSIFY:
7.82/7.97 c Case: 0
7.82/7.97 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 11.664500 | c 33 > 30.000000 | c 15 > 20.974200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.910780 | c 14 > 8.499850 | c 11 > 8.370690 | c 12 > 9.247780 | c 21 > 3.787810 | c 20 > 88.335500 | c 22 > 5.916080 | c 23 > 71.686300 | c 24 > 28.571400 | c 25 > 918.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.370690 | c 2 > -1.000000 | c 10 > 16.626100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.728300 | c 32 > 0.000000 | c 5 > 15.002000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.82/7.98 c choco : 1801.0
7.82/7.98 c mistral : 1801.0
7.82/7.98 c abscon : 1801.0
7.82/7.98 c
7.82/7.98 c
7.92/8.06 c List of same ones: 10
7.92/8.06 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-3.xml
7.92/8.06 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 11.664500 | c 33 > 30.000000 | c 15 > 20.195600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.881810 | c 14 > 7.876520 | c 11 > 8.370690 | c 12 > 9.230150 | c 21 > 3.787810 | c 20 > 88.335500 | c 22 > 5.916080 | c 23 > 71.686300 | c 24 > 28.571400 | c 25 > 918.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.370690 | c 2 > -1.000000 | c 10 > 16.626100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.728300 | c 32 > 0.000000 | c 5 > 15.002000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.92/8.06 c choco : 1801.0
7.92/8.06 c mistral : 17.86
7.92/8.06 c abscon : 189.77
7.92/8.06 c
7.92/8.06 c
7.92/8.06 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-11.xml
7.92/8.07 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 13.099600 | c 33 > 30.000000 | c 15 > 20.173700 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.806410 | c 14 > 7.781360 | c 11 > 8.495860 | c 12 > 9.051860 | c 21 > 4.004060 | c 20 > 86.900400 | c 22 > 5.744560 | c 23 > 61.404600 | c 24 > 10.000000 | c 25 > 923.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.495860 | c 2 > -1.000000 | c 10 > 16.557900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.572200 | c 32 > 0.000000 | c 5 > 14.907500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.92/8.07 c choco : 1801.0
7.92/8.07 c mistral : 51.41
7.92/8.07 c abscon : 1801.0
7.92/8.07 c
7.92/8.07 c
7.92/8.07 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-10.xml
7.92/8.07 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 13.307800 | c 33 > 30.000000 | c 15 > 19.710600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.895210 | c 14 > 7.614710 | c 11 > 13.554300 | c 12 > 4.125610 | c 21 > 3.910240 | c 20 > 86.692200 | c 22 > 5.744560 | c 23 > 60.011500 | c 24 > 13.333300 | c 25 > 904.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.451210 | c 2 > -1.000000 | c 10 > 16.522500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.511800 | c 32 > 0.000000 | c 5 > 14.844800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.92/8.08 c choco : 1801.0
7.92/8.08 c mistral : 4.88
7.92/8.08 c abscon : 39.29
7.92/8.08 c
7.92/8.08 c
7.92/8.08 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-8.xml
7.92/8.08 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 14.579000 | c 33 > 30.000000 | c 15 > 19.452200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.059480 | c 14 > 9.417850 | c 11 > 12.164600 | c 12 > 4.765530 | c 21 > 3.107250 | c 20 > 85.421000 | c 22 > 5.000000 | c 23 > 65.371600 | c 24 > 25.000000 | c 25 > 490.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.960000 | c 2 > -1.000000 | c 10 > 15.614100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.084100 | c 32 > 0.000000 | c 5 > 13.597500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.92/8.09 c choco : 1801.0
7.92/8.09 c mistral : 3.36
7.92/8.09 c abscon : 15.51
7.92/8.09 c
7.92/8.09 c
7.92/8.09 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-15.xml
7.92/8.09 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 23.800200 | c 33 > 30.000000 | c 15 > 19.804600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.050950 | c 14 > 8.751540 | c 11 > 11.493900 | c 12 > 5.236670 | c 21 > 3.089090 | c 20 > 76.199800 | c 22 > 5.099020 | c 23 > 60.156700 | c 24 > 10.000000 | c 25 > 486.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.033420 | c 2 > -1.000000 | c 10 > 15.550000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.356500 | c 32 > 0.000000 | c 5 > 13.123300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.01/8.10 c choco : 1801.0
8.01/8.10 c mistral : 3.46
8.01/8.10 c abscon : 14.39
8.01/8.10 c
8.01/8.10 c
8.01/8.10 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-7.xml
8.01/8.10 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 12.442600 | c 33 > 30.000000 | c 15 > 19.734000 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.396280 | c 14 > 8.434630 | c 11 > 12.538400 | c 12 > 4.143190 | c 21 > 3.130890 | c 20 > 87.557400 | c 22 > 4.898980 | c 23 > 64.366700 | c 24 > 20.000000 | c 25 > 461.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.174930 | c 2 > -1.000000 | c 10 > 15.494700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.466600 | c 32 > 0.000000 | c 5 > 13.885100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.01/8.11 c choco : 1801.0
8.01/8.11 c mistral : 5.03
8.01/8.11 c abscon : 102.03
8.01/8.11 c
8.01/8.11 c
8.01/8.11 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml
8.01/8.11 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.049790 | c 33 > 30.000000 | c 15 > 20.795500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.418740 | c 14 > 8.118940 | c 11 > 9.219170 | c 12 > 8.571470 | c 21 > 4.902910 | c 20 > 98.950200 | c 22 > 6.708200 | c 23 > 82.224100 | c 24 > 22.222200 | c 25 > 350.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.219170 | c 2 > -1.000000 | c 10 > 17.177700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.980400 | c 32 > 0.000000 | c 5 > 17.155900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.01/8.12 c choco : 1801.0
8.01/8.12 c mistral : 137.37
8.01/8.12 c abscon : 1046.72
8.01/8.12 c
8.01/8.12 c
8.01/8.12 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml
8.01/8.12 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.032270 | c 33 > 30.000000 | c 15 > 20.714300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.395630 | c 14 > 8.348730 | c 11 > 9.192290 | c 12 > 8.606890 | c 21 > 4.892560 | c 20 > 98.967700 | c 22 > 6.708200 | c 23 > 86.853200 | c 24 > 25.000000 | c 25 > 348.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.192290 | c 2 > -1.000000 | c 10 > 17.188200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994700 | c 32 > 0.000000 | c 5 > 17.167700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.01/8.13 c choco : 1801.0
8.01/8.13 c mistral : 98.85
8.01/8.13 c abscon : 1801.0
8.01/8.13 c
8.01/8.13 c
8.01/8.13 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
8.01/8.13 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
8.01/8.14 c choco : 1801.0
8.01/8.14 c mistral : 654.08
8.01/8.14 c abscon : 1801.0
8.01/8.14 c
8.01/8.14 c
8.01/8.14 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
8.01/8.14 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
8.01/8.15 c choco : 1801.0
8.01/8.15 c mistral : 106.17
8.01/8.15 c abscon : 39.95
8.01/8.15 c
8.01/8.15 c
8.01/8.15 c Length: 10
8.01/8.15 c 0.9979520663338504 21.93355989514926 25.091509390851723 428.1376659218816 432.94190743650137 457.20255008445065 568.3677404106913 570.4472064193135 618.284743514836 618.363331006624
8.01/8.15 c
8.01/8.15 c 1.0 0.9672010411032177 0.9624394392806908 0.5910601903220803 0.5883540332231821 0.5750583494234661 0.5210999014701826 0.5201868612178925 0.5000318257618108 0.5
8.01/8.15 c
8.01/8.15 c solver 0
8.01/8.15 c before 0.0 seconds: {} 0
8.01/8.15 c before 18.0 seconds: {3, 4} 1179
8.01/8.15 c before 54.0 seconds: {2, 3, 4, 9} 2641
8.01/8.15 c before 108.0 seconds: {2, 3, 4, 5, 9} 3216
8.01/8.15 c before 198.0 seconds: {0, 2, 3, 4, 5, 9} 4216
8.01/8.15 c before 1062.0 seconds: {0, 2, 3, 4, 5, 6, 9} 4738
8.01/8.15 c
8.01/8.15 c solver 1
8.01/8.15 c before 0.0 seconds: {} 0
8.01/8.16 c before 18.0 seconds: {0, 2, 3, 4, 5} 3716
8.01/8.16 c before 54.0 seconds: {0, 1, 2, 3, 4, 5} 4684
8.01/8.16 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9} 5704
8.01/8.16 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6225
8.01/8.16 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6725
8.01/8.16 c
8.01/8.16 c solver 2
8.01/8.16 c before 0.0 seconds: {} 0
8.01/8.16 c
8.01/8.16 cTotal time: 96
8.01/8.16 c 1728.0 seconds unused
8.01/8.16 c 0 c 0 c 7
8.01/8.16 c 3 c 0 c 10
8.01/8.16 c 0 c 0 c 0
8.01/8.16 c is solver0 dominated by:
8.01/8.16 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
8.01/8.16 c is dominated? true
8.01/8.16 c
8.01/8.16 c is solver1 dominated by:
8.01/8.16 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
8.01/8.16 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.01/8.16 c is dominated? false
8.01/8.16 c
8.01/8.16 c is solver2 dominated by:
8.01/8.16 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.01/8.16 c is dominated? true
8.01/8.16 c
8.01/8.16 c Number of non-dominated solvers: 1
8.01/8.16 c remove dominated solvers
8.01/8.16 c solver 1 is not dominated by another solver
8.01/8.16 c solver 2 is dominated by another solver
8.01/8.16 c solver 0 is dominated by another solver
8.01/8.16 c
8.01/8.16 c solver 0: 0.0
8.01/8.16 c
8.01/8.16 c solver 1: 666.0
8.01/8.16 c
8.01/8.16 c+ 37/37 of 63
8.01/8.16 c
8.01/8.16 c solver 2: 0.0
8.01/8.16 c do not run abscon
8.01/8.16 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6725
8.01/8.16 c do not run choco
8.01/8.17 c Starting solver: HOME/cpHydra_k_10/solver/mistral
8.01/8.17 c On Instance: HOME/instance-1058114-1215113024.xml
8.01/8.17 c Running for: 1800 seconds
28.96/29.25 c mistral-prime version 1.313
28.96/29.25 s SATISFIABLE
28.96/29.25 v 11 1 38 4 15 19 4 35 5 41 8 14 8 3 2 14 24 12 18 21 7 20 12 34 12 3 27 3 6 17 25 27 9 0 26 34 2 4 7 2 7 11 33 28 38 31 18 23 10 1 21 3 30 9 42 5 14 6 3 25 8 5 30 26 19 39 19 8 7 13 37 4 26 33 29 20 34 9 9 8 8 32 27 9 1 16 22 1 23 16 17 31 20 12 7 12 29 28 0 15 30 22 14 41 44 30 43 15 6 12 21 0 22 10 32 7 26 36 36 29 31 33 38 0 13 22 9 21 15 28 18 19 42 31 0 1 32 10 34 23 11 13 2 17 16 20 16 5 27 35 14 2 16 37 6 12 3 26 21 6 22 24 2 16 16 24 26 40 21 29 23 6 40 13 24 17 5 10 11 18 11 13 7 17 25 0 22 11 36 10 43 10 0 28 43 29 25 39 35 17 2 2 1 4 7 5 7 1 5 7 2 4 6 6 7 8 0 4 2 3 0 6 5 1 0 1 2 2 3 3 6 5 6 1 7 0 2 6 1 5 5 6 1 4 0 7 5 6 5 4 2 3 5 1 4 6 0 6 7 3 1 4 1 4 7 3 3 0 7 4 4 0 0 4 8 0 4 5 2 4 7 5 0 3 5 0 0 1 1 4 4 1 1 1 4 2 7 0 4 4 4 1 6 1 1 0 6 1 0 7 4 3 2 2 4 6 3 6 4 2 4 2 2 5 5 5 0 6 2 1 7 0 7 5 2 3 7 4 2 4 0 1 6 1 7 4 1 8 3 4 5 4 3 7 2 3 0 1 5 7 3 4 1 6 2 2 6 6 1 6 7 1 4 6 1 5 1 1 1 1 5 7 3 0 5 0 6 7 5 6 5 0 6 3 1 4 7 1 5 2
28.96/29.25 d CHECKS 27233849
28.96/29.25 d ASSIGNMENTS 4645
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058114-1215113024/watcher-1058114-1215113024 -o /tmp/evaluation-result-1058114-1215113024/solver-1058114-1215113024 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058114-1215113024.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: 2.07 2.06 2.00 4/84 3936
/proc/meminfo: memFree=808088/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=18572 CPUtime=0
/proc/3936/stat : 3936 (runsolver) R 3934 3936 3410 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1990272040 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 271638392103 0 0 4096 24578 0 0 0 17 1 0 0
/proc/3936/statm: 4643 292 257 25 0 2626 0
[startup+0.0748969 s]
/proc/loadavg: 2.07 2.06 2.00 4/84 3936
/proc/meminfo: memFree=808088/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=0
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990272040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101897 s]
/proc/loadavg: 2.07 2.06 2.00 4/84 3936
/proc/meminfo: memFree=808088/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=0
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990272040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301936 s]
/proc/loadavg: 2.07 2.06 2.00 4/84 3936
/proc/meminfo: memFree=808088/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=0
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990272040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702014 s]
/proc/loadavg: 2.07 2.06 2.00 4/84 3936
/proc/meminfo: memFree=808088/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=0
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990272040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50116 s]
/proc/loadavg: 2.07 2.06 2.00 3/86 3940
/proc/meminfo: memFree=778440/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=0
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990272040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 236 195 169 0 51 0
[pid=3940] ppid=3936 vsize=33796 CPUtime=1.47
/proc/3940/stat : 3940 (xsolve) R 3936 3936 3410 0 -1 4194304 7736 0 0 0 143 4 0 0 25 0 1 0 1990272041 34607104 7597 996147200 134512640 135239763 4294956176 18446744073709551615 134821112 0 0 4096 0 0 0 0 17 1 0 0
/proc/3940/statm: 8449 7597 432 177 0 7352 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39156
[startup+3.10245 s]
/proc/loadavg: 2.07 2.06 2.00 3/86 3940
/proc/meminfo: memFree=779080/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=2.1
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 375 8334 0 0 0 0 205 5 18 0 1 0 1990272040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 5360
[startup+6.30303 s]
/proc/loadavg: 2.07 2.06 2.00 3/94 3952
/proc/meminfo: memFree=790280/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=2.1
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 375 8334 0 0 0 0 205 5 18 0 1 0 1990272040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 238 196 169 0 51 0
[pid=3944] ppid=3936 vsize=197112 CPUtime=4.13
/proc/3944/stat : 3944 (java) S 3936 3936 3410 0 -1 0 9318 0 1 0 402 11 0 0 18 0 9 0 1990272254 201842688 7726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3944/statm: 49278 7726 2540 9 0 43861 0
[pid=3944/tid=3945] ppid=3936 vsize=197112 CPUtime=3.25
/proc/3944/task/3945/stat : 3945 (java) R 3936 3936 3410 0 -1 64 3450 0 1 0 321 4 0 0 25 0 9 0 1990272255 201842688 7726 996147200 134512640 134550740 4294955968 18446744073709551615 4126590519 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3946] ppid=3936 vsize=197112 CPUtime=0.68
/proc/3944/task/3946/stat : 3946 (java) S 3936 3936 3410 0 -1 64 4512 0 0 0 63 5 0 0 16 0 9 0 1990272256 201842688 7726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3947] ppid=3936 vsize=197112 CPUtime=0
/proc/3944/task/3947/stat : 3947 (java) S 3936 3936 3410 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990272256 201842688 7726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3948] ppid=3936 vsize=197112 CPUtime=0
/proc/3944/task/3948/stat : 3948 (java) S 3936 3936 3410 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990272256 201842688 7726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3949] ppid=3936 vsize=197112 CPUtime=0
/proc/3944/task/3949/stat : 3949 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990272258 201842688 7726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3950] ppid=3936 vsize=197112 CPUtime=0.17
/proc/3944/task/3950/stat : 3950 (java) S 3936 3936 3410 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1990272259 201842688 7726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3951] ppid=3936 vsize=197112 CPUtime=0
/proc/3944/task/3951/stat : 3951 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1990272259 201842688 7726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3952] ppid=3936 vsize=197112 CPUtime=0
/proc/3944/task/3952/stat : 3952 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990272259 201842688 7726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202472
[startup+12.7022 s]
/proc/loadavg: 2.06 2.05 2.00 3/97 3955
/proc/meminfo: memFree=750640/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=2.1
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 375 8334 0 0 0 0 205 5 18 0 1 0 1990272040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 238 196 169 0 51 0
[pid=3944] ppid=3936 vsize=197436 CPUtime=5.96
/proc/3944/stat : 3944 (java) S 3936 3936 3410 0 -1 0 11442 0 1 0 580 16 0 0 18 0 10 0 1990272254 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3944/statm: 49359 9409 2544 9 0 43942 0
[pid=3954] ppid=3944 vsize=5356 CPUtime=0
/proc/3954/stat : 3954 (mistral) S 3944 3936 3410 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990272857 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3954/statm: 1339 236 196 169 0 50 0
[pid=3955] ppid=3954 vsize=33796 CPUtime=4.49
/proc/3955/stat : 3955 (xsolve) R 3954 3936 3410 0 -1 4194304 7714 0 0 0 445 4 0 0 25 0 1 0 1990272858 34607104 7580 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/3955/statm: 8449 7580 414 177 0 7352 0
[pid=3944/tid=3945] ppid=3936 vsize=197436 CPUtime=4.79
/proc/3944/task/3945/stat : 3945 (java) S 3936 3936 3410 0 -1 64 3862 0 1 0 473 6 0 0 23 0 10 0 1990272255 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3944/tid=3946] ppid=3936 vsize=197436 CPUtime=0.93
/proc/3944/task/3946/stat : 3946 (java) S 3936 3936 3410 0 -1 64 6123 0 0 0 85 8 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3947] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3947/stat : 3947 (java) S 3936 3936 3410 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3948] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3948/stat : 3948 (java) S 3936 3936 3410 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3949] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3949/stat : 3949 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990272258 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3950] ppid=3936 vsize=197436 CPUtime=0.21
/proc/3944/task/3950/stat : 3950 (java) S 3936 3936 3410 0 -1 64 648 0 0 0 21 0 0 0 16 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3951] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3951/stat : 3951 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3952] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3952/stat : 3952 (java) S 3936 3936 3410 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3953] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3953/stat : 3953 (java) S 3936 3936 3410 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1990272857 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 241948
[startup+25.5025 s]
/proc/loadavg: 2.05 2.05 2.00 4/97 3955
/proc/meminfo: memFree=750640/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=2.1
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 375 8334 0 0 0 0 205 5 18 0 1 0 1990272040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 238 196 169 0 51 0
[pid=3944] ppid=3936 vsize=197436 CPUtime=5.96
/proc/3944/stat : 3944 (java) S 3936 3936 3410 0 -1 0 11442 0 1 0 580 16 0 0 18 0 10 0 1990272254 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3944/statm: 49359 9409 2544 9 0 43942 0
[pid=3954] ppid=3944 vsize=5356 CPUtime=0
/proc/3954/stat : 3954 (mistral) S 3944 3936 3410 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990272857 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3954/statm: 1339 236 196 169 0 50 0
[pid=3955] ppid=3954 vsize=33796 CPUtime=17.22
/proc/3955/stat : 3955 (xsolve) R 3954 3936 3410 0 -1 4194304 7714 0 0 0 1718 4 0 0 25 0 1 0 1990272858 34607104 7580 996147200 134512640 135239763 4294955968 18446744073709551615 135095312 0 4 0 0 0 0 0 17 1 0 0
/proc/3955/statm: 8449 7580 414 177 0 7352 0
[pid=3944/tid=3945] ppid=3936 vsize=197436 CPUtime=4.79
/proc/3944/task/3945/stat : 3945 (java) S 3936 3936 3410 0 -1 64 3862 0 1 0 473 6 0 0 23 0 10 0 1990272255 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3944/tid=3946] ppid=3936 vsize=197436 CPUtime=0.93
/proc/3944/task/3946/stat : 3946 (java) S 3936 3936 3410 0 -1 64 6123 0 0 0 85 8 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3947] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3947/stat : 3947 (java) S 3936 3936 3410 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3948] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3948/stat : 3948 (java) S 3936 3936 3410 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3949] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3949/stat : 3949 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990272258 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3950] ppid=3936 vsize=197436 CPUtime=0.21
/proc/3944/task/3950/stat : 3950 (java) S 3936 3936 3410 0 -1 64 648 0 0 0 21 0 0 0 16 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3951] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3951/stat : 3951 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3952] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3952/stat : 3952 (java) S 3936 3936 3410 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3953] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3953/stat : 3953 (java) S 3936 3936 3410 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1990272857 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 241948
Solver just ended. Dumping a history of the last processes samples
[startup+27.1028 s]
/proc/loadavg: 2.05 2.05 2.00 3/97 3955
/proc/meminfo: memFree=750640/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=2.1
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 375 8334 0 0 0 0 205 5 18 0 1 0 1990272040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 238 196 169 0 51 0
[pid=3944] ppid=3936 vsize=197436 CPUtime=5.96
/proc/3944/stat : 3944 (java) S 3936 3936 3410 0 -1 0 11442 0 1 0 580 16 0 0 18 0 10 0 1990272254 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3944/statm: 49359 9409 2544 9 0 43942 0
[pid=3954] ppid=3944 vsize=5356 CPUtime=0
/proc/3954/stat : 3954 (mistral) S 3944 3936 3410 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990272857 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3954/statm: 1339 236 196 169 0 50 0
[pid=3955] ppid=3954 vsize=33796 CPUtime=18.82
/proc/3955/stat : 3955 (xsolve) R 3954 3936 3410 0 -1 4194304 7714 0 0 0 1878 4 0 0 25 0 1 0 1990272858 34607104 7580 996147200 134512640 135239763 4294955968 18446744073709551615 134821584 0 4 0 0 0 0 0 17 1 0 0
/proc/3955/statm: 8449 7580 414 177 0 7352 0
[pid=3944/tid=3945] ppid=3936 vsize=197436 CPUtime=4.79
/proc/3944/task/3945/stat : 3945 (java) S 3936 3936 3410 0 -1 64 3862 0 1 0 473 6 0 0 23 0 10 0 1990272255 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3944/tid=3946] ppid=3936 vsize=197436 CPUtime=0.93
/proc/3944/task/3946/stat : 3946 (java) S 3936 3936 3410 0 -1 64 6123 0 0 0 85 8 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3947] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3947/stat : 3947 (java) S 3936 3936 3410 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3948] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3948/stat : 3948 (java) S 3936 3936 3410 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3949] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3949/stat : 3949 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990272258 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3950] ppid=3936 vsize=197436 CPUtime=0.21
/proc/3944/task/3950/stat : 3950 (java) S 3936 3936 3410 0 -1 64 648 0 0 0 21 0 0 0 16 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3951] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3951/stat : 3951 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3952] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3952/stat : 3952 (java) S 3936 3936 3410 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3953] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3953/stat : 3953 (java) S 3936 3936 3410 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1990272857 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.88
Current children cumulated vsize (KiB) 241948
[startup+27.903 s]
/proc/loadavg: 2.05 2.05 2.00 3/97 3955
/proc/meminfo: memFree=750640/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=2.1
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 375 8334 0 0 0 0 205 5 18 0 1 0 1990272040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 238 196 169 0 51 0
[pid=3944] ppid=3936 vsize=197436 CPUtime=5.96
/proc/3944/stat : 3944 (java) S 3936 3936 3410 0 -1 0 11442 0 1 0 580 16 0 0 18 0 10 0 1990272254 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3944/statm: 49359 9409 2544 9 0 43942 0
[pid=3954] ppid=3944 vsize=5356 CPUtime=0
/proc/3954/stat : 3954 (mistral) S 3944 3936 3410 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990272857 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3954/statm: 1339 236 196 169 0 50 0
[pid=3955] ppid=3954 vsize=33796 CPUtime=19.61
/proc/3955/stat : 3955 (xsolve) R 3954 3936 3410 0 -1 4194304 7714 0 0 0 1957 4 0 0 25 0 1 0 1990272858 34607104 7580 996147200 134512640 135239763 4294955968 18446744073709551615 134821584 0 4 0 0 0 0 0 17 1 0 0
/proc/3955/statm: 8449 7580 414 177 0 7352 0
[pid=3944/tid=3945] ppid=3936 vsize=197436 CPUtime=4.79
/proc/3944/task/3945/stat : 3945 (java) S 3936 3936 3410 0 -1 64 3862 0 1 0 473 6 0 0 23 0 10 0 1990272255 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3944/tid=3946] ppid=3936 vsize=197436 CPUtime=0.93
/proc/3944/task/3946/stat : 3946 (java) S 3936 3936 3410 0 -1 64 6123 0 0 0 85 8 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3947] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3947/stat : 3947 (java) S 3936 3936 3410 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3948] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3948/stat : 3948 (java) S 3936 3936 3410 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3949] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3949/stat : 3949 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990272258 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3950] ppid=3936 vsize=197436 CPUtime=0.21
/proc/3944/task/3950/stat : 3950 (java) S 3936 3936 3410 0 -1 64 648 0 0 0 21 0 0 0 16 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3951] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3951/stat : 3951 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3952] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3952/stat : 3952 (java) S 3936 3936 3410 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3953] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3953/stat : 3953 (java) S 3936 3936 3410 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1990272857 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 27.67
Current children cumulated vsize (KiB) 241948
[startup+28.7011 s]
/proc/loadavg: 2.05 2.05 2.00 5/97 3955
/proc/meminfo: memFree=750640/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=2.1
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 375 8334 0 0 0 0 205 5 18 0 1 0 1990272040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 238 196 169 0 51 0
[pid=3944] ppid=3936 vsize=197436 CPUtime=5.96
/proc/3944/stat : 3944 (java) S 3936 3936 3410 0 -1 0 11442 0 1 0 580 16 0 0 18 0 10 0 1990272254 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3944/statm: 49359 9409 2544 9 0 43942 0
[pid=3954] ppid=3944 vsize=5356 CPUtime=0
/proc/3954/stat : 3954 (mistral) S 3944 3936 3410 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990272857 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3954/statm: 1339 236 196 169 0 50 0
[pid=3955] ppid=3954 vsize=33796 CPUtime=20.41
/proc/3955/stat : 3955 (xsolve) R 3954 3936 3410 0 -1 4194304 7714 0 0 0 2037 4 0 0 25 0 1 0 1990272858 34607104 7580 996147200 134512640 135239763 4294955968 18446744073709551615 134799830 0 4 0 0 0 0 0 17 1 0 0
/proc/3955/statm: 8449 7580 414 177 0 7352 0
[pid=3944/tid=3945] ppid=3936 vsize=197436 CPUtime=4.79
/proc/3944/task/3945/stat : 3945 (java) S 3936 3936 3410 0 -1 64 3862 0 1 0 473 6 0 0 23 0 10 0 1990272255 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3944/tid=3946] ppid=3936 vsize=197436 CPUtime=0.93
/proc/3944/task/3946/stat : 3946 (java) S 3936 3936 3410 0 -1 64 6123 0 0 0 85 8 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3947] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3947/stat : 3947 (java) S 3936 3936 3410 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3948] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3948/stat : 3948 (java) S 3936 3936 3410 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3949] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3949/stat : 3949 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990272258 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3950] ppid=3936 vsize=197436 CPUtime=0.21
/proc/3944/task/3950/stat : 3950 (java) S 3936 3936 3410 0 -1 64 648 0 0 0 21 0 0 0 16 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3951] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3951/stat : 3951 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3952] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3952/stat : 3952 (java) S 3936 3936 3410 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3953] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3953/stat : 3953 (java) S 3936 3936 3410 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1990272857 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.47
Current children cumulated vsize (KiB) 241948
[startup+29.1012 s]
/proc/loadavg: 2.05 2.05 2.00 5/97 3955
/proc/meminfo: memFree=750640/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=2.1
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 375 8334 0 0 0 0 205 5 18 0 1 0 1990272040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 238 196 169 0 51 0
[pid=3944] ppid=3936 vsize=197436 CPUtime=5.96
/proc/3944/stat : 3944 (java) S 3936 3936 3410 0 -1 0 11442 0 1 0 580 16 0 0 18 0 10 0 1990272254 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3944/statm: 49359 9409 2544 9 0 43942 0
[pid=3954] ppid=3944 vsize=5356 CPUtime=0
/proc/3954/stat : 3954 (mistral) S 3944 3936 3410 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990272857 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3954/statm: 1339 236 196 169 0 50 0
[pid=3955] ppid=3954 vsize=33796 CPUtime=20.81
/proc/3955/stat : 3955 (xsolve) R 3954 3936 3410 0 -1 4194304 7735 0 0 0 2077 4 0 0 25 0 1 0 1990272858 34607104 7601 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/3955/statm: 8449 7601 414 177 0 7352 0
[pid=3944/tid=3945] ppid=3936 vsize=197436 CPUtime=4.79
/proc/3944/task/3945/stat : 3945 (java) S 3936 3936 3410 0 -1 64 3862 0 1 0 473 6 0 0 23 0 10 0 1990272255 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3944/tid=3946] ppid=3936 vsize=197436 CPUtime=0.93
/proc/3944/task/3946/stat : 3946 (java) S 3936 3936 3410 0 -1 64 6123 0 0 0 85 8 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3947] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3947/stat : 3947 (java) S 3936 3936 3410 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3948] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3948/stat : 3948 (java) S 3936 3936 3410 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3949] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3949/stat : 3949 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990272258 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3950] ppid=3936 vsize=197436 CPUtime=0.21
/proc/3944/task/3950/stat : 3950 (java) S 3936 3936 3410 0 -1 64 648 0 0 0 21 0 0 0 16 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3951] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3951/stat : 3951 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3952] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3952/stat : 3952 (java) S 3936 3936 3410 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3953] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3953/stat : 3953 (java) S 3936 3936 3410 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1990272857 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.87
Current children cumulated vsize (KiB) 241948
[startup+29.2012 s]
/proc/loadavg: 2.05 2.05 2.00 5/97 3955
/proc/meminfo: memFree=750640/2055920 swapFree=4181480/4192956
[pid=3936] ppid=3934 vsize=5360 CPUtime=2.1
/proc/3936/stat : 3936 (hydra) S 3934 3936 3410 0 -1 4194304 375 8334 0 0 0 0 205 5 18 0 1 0 1990272040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3936/statm: 1340 238 196 169 0 51 0
[pid=3944] ppid=3936 vsize=197436 CPUtime=5.96
/proc/3944/stat : 3944 (java) S 3936 3936 3410 0 -1 0 11442 0 1 0 580 16 0 0 18 0 10 0 1990272254 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3944/statm: 49359 9409 2544 9 0 43942 0
[pid=3954] ppid=3944 vsize=5356 CPUtime=0
/proc/3954/stat : 3954 (mistral) S 3944 3936 3410 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990272857 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3954/statm: 1339 236 196 169 0 50 0
[pid=3955] ppid=3954 vsize=33004 CPUtime=20.9
/proc/3955/stat : 3955 (xsolve) R 3954 3936 3410 0 -1 4194304 7749 0 0 0 2086 4 0 0 25 0 1 0 1990272858 33796096 7515 996147200 134512640 135239763 4294955968 18446744073709551615 7319638 0 4 0 0 0 0 0 17 1 0 0
/proc/3955/statm: 8251 7515 421 177 0 7154 0
[pid=3944/tid=3945] ppid=3936 vsize=197436 CPUtime=4.79
/proc/3944/task/3945/stat : 3945 (java) S 3936 3936 3410 0 -1 64 3862 0 1 0 473 6 0 0 16 0 10 0 1990272255 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3944/tid=3946] ppid=3936 vsize=197436 CPUtime=0.93
/proc/3944/task/3946/stat : 3946 (java) S 3936 3936 3410 0 -1 64 6123 0 0 0 85 8 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3947] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3947/stat : 3947 (java) S 3936 3936 3410 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3948] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3948/stat : 3948 (java) S 3936 3936 3410 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990272256 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3949] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3949/stat : 3949 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990272258 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3950] ppid=3936 vsize=197436 CPUtime=0.21
/proc/3944/task/3950/stat : 3950 (java) S 3936 3936 3410 0 -1 64 648 0 0 0 21 0 0 0 16 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3951] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3951/stat : 3951 (java) S 3936 3936 3410 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3952] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3952/stat : 3952 (java) S 3936 3936 3410 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990272259 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3944/tid=3953] ppid=3936 vsize=197436 CPUtime=0
/proc/3944/task/3953/stat : 3953 (java) S 3936 3936 3410 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1990272857 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.96
Current children cumulated vsize (KiB) 241156
Child status: 0
Real time (s): 29.292
CPU time (s): 29.0656
CPU user time (s): 28.7846
CPU system time (s): 0.280957
CPU usage (%): 99.2269
Max. virtual memory (cumulated for all children) (KiB): 241948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.7846
system time used= 0.280957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28328
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= 9253
involuntary context switches= 11040
runsolver used 0.043993 second user time and 0.131979 second system time
The end