0.00/0.00 c cpHydra_k_10 version 0.0
7.77/7.97 c CASE TO CLASSIFY:
7.77/7.97 c Case: 0
7.77/7.97 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 13.099600 | c 33 > 30.000000 | c 15 > 21.055900 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.832540 | c 14 > 8.696970 | c 11 > 8.495860 | c 12 > 9.069500 | 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.77/7.98 c choco : 1801.0
7.77/7.98 c mistral : 1801.0
7.77/7.98 c abscon : 1801.0
7.77/7.98 c
7.77/7.98 c
7.86/8.06 c List of same ones: 10
7.86/8.06 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-11.xml
7.86/8.06 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.86/8.07 c choco : 1801.0
7.86/8.07 c mistral : 51.41
7.86/8.07 c abscon : 1801.0
7.86/8.07 c
7.86/8.07 c
7.86/8.07 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-10.xml
7.86/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.86/8.07 c choco : 1801.0
7.86/8.07 c mistral : 4.88
7.86/8.07 c abscon : 39.29
7.86/8.07 c
7.86/8.07 c
7.86/8.07 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-3.xml
7.86/8.07 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.86/8.08 c choco : 1801.0
7.86/8.08 c mistral : 17.86
7.86/8.08 c abscon : 189.77
7.86/8.08 c
7.86/8.08 c
7.86/8.08 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-8.xml
7.86/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.86/8.09 c choco : 1801.0
7.86/8.09 c mistral : 3.36
7.86/8.09 c abscon : 15.51
7.86/8.09 c
7.86/8.09 c
7.86/8.09 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-15.xml
7.86/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
7.96/8.10 c choco : 1801.0
7.96/8.10 c mistral : 3.46
7.96/8.10 c abscon : 14.39
7.96/8.10 c
7.96/8.10 c
7.96/8.10 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-7.xml
7.96/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
7.96/8.11 c choco : 1801.0
7.96/8.11 c mistral : 5.03
7.96/8.11 c abscon : 102.03
7.96/8.11 c
7.96/8.11 c
7.96/8.11 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml
7.96/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
7.96/8.12 c choco : 1801.0
7.96/8.12 c mistral : 137.37
7.96/8.12 c abscon : 1046.72
7.96/8.12 c
7.96/8.12 c
7.96/8.12 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml
7.96/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
7.96/8.13 c choco : 1801.0
7.96/8.13 c mistral : 98.85
7.96/8.13 c abscon : 1801.0
7.96/8.13 c
7.96/8.13 c
7.96/8.13 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
7.96/8.13 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.96/8.14 c choco : 1801.0
7.96/8.14 c mistral : 38.33
7.96/8.14 c abscon : 568.38
7.96/8.14 c
7.96/8.14 c
7.96/8.14 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
7.96/8.14 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.96/8.15 c choco : 1801.0
7.96/8.15 c mistral : 43.86
7.96/8.15 c abscon : 262.21
7.96/8.15 c
7.96/8.15 c
8.13/8.33 c Length: 10
8.13/8.33 c 1.2718539454670106 20.758664920873404 21.93892053061408 433.3345133910473 437.3083132740213 462.1763495396114 573.7977866071393 576.0472640823547 623.3132352330033 623.3306638232514
8.13/8.33 c
8.13/8.33 c 1.0 0.9696252139489457 0.9678446638886198 0.5901206151100222 0.5879043484849727 0.5744043281380679 0.5207322576005846 0.5197535293318722 0.5000070044962502 0.5
8.13/8.34 c
8.13/8.34 c solver 0
8.13/8.34 c before 0.0 seconds: {} 0
8.13/8.34 c before 18.0 seconds: {3, 4} 1178
8.13/8.34 c before 54.0 seconds: {1, 3, 4} 2147
8.13/8.34 c before 108.0 seconds: {1, 3, 4, 5} 2722
8.13/8.34 c before 198.0 seconds: {1, 2, 3, 4, 5} 3689
8.13/8.34 c before 270.0 seconds: {1, 2, 3, 4, 5, 9} 4189
8.13/8.34 c before 576.0 seconds: {1, 2, 3, 4, 5, 8, 9} 4689
8.13/8.34 c before 1062.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 5210
8.13/8.34 c
8.13/8.34 c solver 1
8.13/8.34 c before 0.0 seconds: {} 0
8.13/8.34 c before 18.0 seconds: {1, 2, 3, 4, 5} 3689
8.13/8.34 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9} 5689
8.13/8.34 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6209
8.13/8.34 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6730
8.13/8.34 c
8.13/8.34 c solver 2
8.13/8.34 c before 0.0 seconds: {} 0
8.13/8.34 c
8.13/8.34 cTotal time: 67
8.13/8.34 c 1206.0 seconds unused
8.13/8.34 c 0 c 0 c 8
8.13/8.34 c 2 c 0 c 10
8.13/8.34 c 0 c 0 c 0
8.13/8.34 c is solver0 dominated by:
8.13/8.34 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.13/8.34 c is dominated? true
8.13/8.34 c
8.13/8.34 c is solver1 dominated by:
8.13/8.34 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.13/8.34 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.13/8.34 c is dominated? false
8.13/8.34 c
8.13/8.34 c is solver2 dominated by:
8.13/8.34 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.13/8.34 c is dominated? true
8.13/8.34 c
8.13/8.34 c Number of non-dominated solvers: 1
8.13/8.34 c remove dominated solvers
8.13/8.34 c solver 1 is not dominated by another solver
8.13/8.34 c solver 2 is dominated by another solver
8.13/8.34 c solver 0 is dominated by another solver
8.13/8.34 c
8.13/8.34 c solver 0: 0.0
8.13/8.34 c
8.13/8.34 c solver 1: 144.0
8.13/8.34 c
8.13/8.34 c+ 8/8 of 92
8.13/8.34 c
8.13/8.34 c solver 2: 0.0
8.13/8.34 c do not run abscon
8.13/8.34 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6730
8.13/8.34 c do not run choco
8.13/8.35 c Starting solver: HOME/cpHydra_k_10/solver/mistral
8.13/8.35 c On Instance: HOME/instance-1058018-1215112423.xml
8.13/8.35 c Running for: 1800 seconds
14.25/14.59 c mistral-prime version 1.313
14.25/14.59 s SATISFIABLE
14.25/14.59 v 43 2 37 10 21 12 19 12 6 29 30 5 22 25 3 35 40 40 8 44 26 19 15 31 24 44 28 26 29 38 10 9 41 37 2 38 14 31 23 34 4 32 34 17 15 31 36 19 29 16 20 33 23 37 3 36 29 6 27 18 8 39 38 33 0 29 8 30 0 8 27 17 14 5 35 4 5 11 7 13 22 10 9 32 22 3 7 43 21 13 7 14 20 4 28 42 27 20 20 9 13 3 19 41 0 8 24 26 22 30 14 1 0 6 19 28 19 22 8 9 7 3 4 20 28 14 2 13 2 1 4 8 17 25 15 11 1 8 30 44 31 44 7 12 23 11 42 16 6 39 21 14 36 12 40 41 4 22 19 29 36 5 1 10 24 18 28 5 2 16 25 2 39 32 15 31 11 13 33 3 5 10 41 18 18 6 3 31 11 35 23 27 8 12 35 17 9 35 1 8 0 0 0 0 1 4 0 12 2 7 0 6 4 0 1 11 0 11 2 1 8 3 1 0 0 8 8 4 1 0 4 9 4 8 4 11 1 8 0 1 8 0 7 7 3 1 8 9 2 0 12 11 1 3 10 4 9 0 8 1 1 11 1 1 0 0 9 2 1 19 0 4 4 0 0 9 1 19 9 2 1 1 0 8 19 8 1 1 4 1 5 2 4 4 11 0 1 9 7 2 4 2 2 2 5 10 2 11 0 8 8 1 7 1 4 2 11 2 0 1 8 0 0 8 1 3 1 10 11 0 3 11 9 2 9 0 5 6 1 11 2 0 0 8 8 1 11 4 8 0 2 0 0 11 16 1 1 8 1 4 1 8 3 3 1 2 0 18 2 8 1 8 8 1 0 12 2 8 9 4 2 2 0 0 4 4 5 10 8 8 3 4 8 0 19 0 8 4 2 4
14.25/14.59 d CHECKS 8182670
14.25/14.59 d ASSIGNMENTS 1941
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058018-1215112423/watcher-1058018-1215112423 -o /tmp/evaluation-result-1058018-1215112423/solver-1058018-1215112423 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058018-1215112423.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.93 1.98 1.94 4/80 23872
/proc/meminfo: memFree=1590784/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=18572 CPUtime=0
/proc/23872/stat : 23872 (runsolver) R 23870 23872 23425 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 995646997 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23872/statm: 4643 292 257 25 0 2626 0
[startup+0.225223 s]
/proc/loadavg: 1.93 1.98 1.94 4/80 23872
/proc/meminfo: memFree=1590784/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=0
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995646997 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301229 s]
/proc/loadavg: 1.93 1.98 1.94 4/80 23872
/proc/meminfo: memFree=1590784/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=0
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995646997 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.401244 s]
/proc/loadavg: 1.93 1.98 1.94 4/80 23872
/proc/meminfo: memFree=1590784/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=0
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995646997 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701275 s]
/proc/loadavg: 1.93 1.98 1.94 4/80 23872
/proc/meminfo: memFree=1590784/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=0
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995646997 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50136 s]
/proc/loadavg: 1.93 1.98 1.94 3/82 23876
/proc/meminfo: memFree=1563376/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=0
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995646997 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 236 195 169 0 51 0
[pid=23876] ppid=23872 vsize=32156 CPUtime=1.46
/proc/23876/stat : 23876 (xsolve) R 23872 23872 23425 0 -1 4194304 7323 0 0 0 143 3 0 0 25 0 1 0 995646998 32927744 7184 996147200 134512640 135239763 4294956176 18446744073709551615 134799945 0 0 4096 0 0 0 0 17 1 0 0
/proc/23876/statm: 8039 7184 432 177 0 6942 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 37516
[startup+3.10252 s]
/proc/loadavg: 1.93 1.98 1.94 4/90 23888
/proc/meminfo: memFree=1584880/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=2.02
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 375 7920 0 0 0 0 198 4 18 0 1 0 995646997 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 238 196 169 0 51 0
[pid=23880] ppid=23872 vsize=197104 CPUtime=1
/proc/23880/stat : 23880 (java) S 23872 23872 23425 0 -1 0 4414 0 1 0 96 4 0 0 18 0 9 0 995647204 201834496 3737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23880/statm: 49276 3737 1677 9 0 43859 0
[pid=23880/tid=23881] ppid=23872 vsize=197104 CPUtime=0.78
/proc/23880/task/23881/stat : 23881 (java) R 23872 23872 23425 0 -1 64 2602 0 1 0 76 2 0 0 24 0 9 0 995647205 201834496 3737 996147200 134512640 134550740 4294955968 18446744073709551615 4126551710 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23882] ppid=23872 vsize=197104 CPUtime=0.06
/proc/23880/task/23882/stat : 23882 (java) S 23872 23872 23425 0 -1 64 486 0 0 0 6 0 0 0 16 0 9 0 995647206 201834496 3737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23883] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23883/stat : 23883 (java) S 23872 23872 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 995647206 201834496 3737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23884] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23884/stat : 23884 (java) S 23872 23872 23425 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 995647206 201834496 3737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23885] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23885/stat : 23885 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 995647208 201834496 3737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23886] ppid=23872 vsize=197104 CPUtime=0.13
/proc/23880/task/23886/stat : 23886 (java) S 23872 23872 23425 0 -1 64 600 0 0 0 13 0 0 0 16 0 9 0 995647208 201834496 3737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23887] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23887/stat : 23887 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 995647208 201834496 3737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23888] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23888/stat : 23888 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 995647208 201834496 3737 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 202464
[startup+6.30185 s]
/proc/loadavg: 1.94 1.98 1.94 3/90 23888
/proc/meminfo: memFree=1572336/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=2.02
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 375 7920 0 0 0 0 198 4 18 0 1 0 995646997 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 238 196 169 0 51 0
[pid=23880] ppid=23872 vsize=197104 CPUtime=4.17
/proc/23880/stat : 23880 (java) S 23872 23872 23425 0 -1 0 9300 0 1 0 403 14 0 0 18 0 9 0 995647204 201834496 7707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23880/statm: 49276 7707 2540 9 0 43859 0
[pid=23880/tid=23881] ppid=23872 vsize=197104 CPUtime=3.3
/proc/23880/task/23881/stat : 23881 (java) R 23872 23872 23425 0 -1 64 3434 0 1 0 325 5 0 0 25 0 9 0 995647205 201834496 7707 996147200 134512640 134550740 4294955968 18446744073709551615 4126496006 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23882] ppid=23872 vsize=197104 CPUtime=0.66
/proc/23880/task/23882/stat : 23882 (java) S 23872 23872 23425 0 -1 64 4513 0 0 0 59 7 0 0 16 0 9 0 995647206 201834496 7707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23883] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23883/stat : 23883 (java) S 23872 23872 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 995647206 201834496 7707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23884] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23884/stat : 23884 (java) S 23872 23872 23425 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 995647206 201834496 7707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23885] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23885/stat : 23885 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 995647208 201834496 7707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23886] ppid=23872 vsize=197104 CPUtime=0.17
/proc/23880/task/23886/stat : 23886 (java) S 23872 23872 23425 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 995647208 201834496 7707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23887] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23887/stat : 23887 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 995647208 201834496 7707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23888] ppid=23872 vsize=197104 CPUtime=0
/proc/23880/task/23888/stat : 23888 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 995647208 201834496 7707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202464
[startup+12.7015 s]
/proc/loadavg: 1.94 1.98 1.94 3/93 23891
/proc/meminfo: memFree=1535192/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=2.02
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 375 7920 0 0 0 0 198 4 18 0 1 0 995646997 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 238 196 169 0 51 0
[pid=23880] ppid=23872 vsize=197428 CPUtime=6.16
/proc/23880/stat : 23880 (java) S 23872 23872 23425 0 -1 0 13885 0 1 0 597 19 0 0 18 0 10 0 995647204 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23880/statm: 49357 9396 2543 9 0 43940 0
[pid=23890] ppid=23880 vsize=5356 CPUtime=0
/proc/23890/stat : 23890 (mistral) S 23880 23872 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995647833 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23890/statm: 1339 236 196 169 0 50 0
[pid=23891] ppid=23890 vsize=32156 CPUtime=4.29
/proc/23891/stat : 23891 (xsolve) R 23890 23872 23425 0 -1 4194304 7301 0 0 0 425 4 0 0 25 0 1 0 995647833 32927744 7167 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/23891/statm: 8039 7167 414 177 0 6942 0
[pid=23880/tid=23881] ppid=23872 vsize=197428 CPUtime=4.87
/proc/23880/task/23881/stat : 23881 (java) S 23872 23872 23425 0 -1 64 3855 0 1 0 480 7 0 0 23 0 10 0 995647205 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23880/tid=23882] ppid=23872 vsize=197428 CPUtime=1.07
/proc/23880/task/23882/stat : 23882 (java) S 23872 23872 23425 0 -1 64 8572 0 0 0 96 11 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23883] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23883/stat : 23883 (java) S 23872 23872 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23884] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23884/stat : 23884 (java) S 23872 23872 23425 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23885] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23885/stat : 23885 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23886] ppid=23872 vsize=197428 CPUtime=0.2
/proc/23880/task/23886/stat : 23886 (java) S 23872 23872 23425 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23887] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23887/stat : 23887 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23888] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23888/stat : 23888 (java) S 23872 23872 23425 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23889] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23889/stat : 23889 (java) S 23872 23872 23425 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 995647833 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 240300
Solver just ended. Dumping a history of the last processes samples
[startup+12.9015 s]
/proc/loadavg: 1.94 1.98 1.94 3/93 23891
/proc/meminfo: memFree=1535192/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=2.02
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 375 7920 0 0 0 0 198 4 18 0 1 0 995646997 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 238 196 169 0 51 0
[pid=23880] ppid=23872 vsize=197428 CPUtime=6.16
/proc/23880/stat : 23880 (java) S 23872 23872 23425 0 -1 0 13885 0 1 0 597 19 0 0 18 0 10 0 995647204 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23880/statm: 49357 9396 2543 9 0 43940 0
[pid=23890] ppid=23880 vsize=5356 CPUtime=0
/proc/23890/stat : 23890 (mistral) S 23880 23872 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995647833 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23890/statm: 1339 236 196 169 0 50 0
[pid=23891] ppid=23890 vsize=32156 CPUtime=4.49
/proc/23891/stat : 23891 (xsolve) R 23890 23872 23425 0 -1 4194304 7301 0 0 0 445 4 0 0 25 0 1 0 995647833 32927744 7167 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/23891/statm: 8039 7167 414 177 0 6942 0
[pid=23880/tid=23881] ppid=23872 vsize=197428 CPUtime=4.87
/proc/23880/task/23881/stat : 23881 (java) S 23872 23872 23425 0 -1 64 3855 0 1 0 480 7 0 0 23 0 10 0 995647205 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23880/tid=23882] ppid=23872 vsize=197428 CPUtime=1.07
/proc/23880/task/23882/stat : 23882 (java) S 23872 23872 23425 0 -1 64 8572 0 0 0 96 11 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23883] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23883/stat : 23883 (java) S 23872 23872 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23884] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23884/stat : 23884 (java) S 23872 23872 23425 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23885] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23885/stat : 23885 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23886] ppid=23872 vsize=197428 CPUtime=0.2
/proc/23880/task/23886/stat : 23886 (java) S 23872 23872 23425 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23887] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23887/stat : 23887 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23888] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23888/stat : 23888 (java) S 23872 23872 23425 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23889] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23889/stat : 23889 (java) S 23872 23872 23425 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 995647833 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 240300
[startup+13.7026 s]
/proc/loadavg: 1.94 1.98 1.94 3/93 23891
/proc/meminfo: memFree=1535192/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=2.02
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 375 7920 0 0 0 0 198 4 18 0 1 0 995646997 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 238 196 169 0 51 0
[pid=23880] ppid=23872 vsize=197428 CPUtime=6.16
/proc/23880/stat : 23880 (java) S 23872 23872 23425 0 -1 0 13885 0 1 0 597 19 0 0 18 0 10 0 995647204 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23880/statm: 49357 9396 2543 9 0 43940 0
[pid=23890] ppid=23880 vsize=5356 CPUtime=0
/proc/23890/stat : 23890 (mistral) S 23880 23872 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995647833 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23890/statm: 1339 236 196 169 0 50 0
[pid=23891] ppid=23890 vsize=32156 CPUtime=5.28
/proc/23891/stat : 23891 (xsolve) R 23890 23872 23425 0 -1 4194304 7301 0 0 0 524 4 0 0 25 0 1 0 995647833 32927744 7167 996147200 134512640 135239763 4294955968 18446744073709551615 134799832 0 4 0 0 0 0 0 17 1 0 0
/proc/23891/statm: 8039 7167 414 177 0 6942 0
[pid=23880/tid=23881] ppid=23872 vsize=197428 CPUtime=4.87
/proc/23880/task/23881/stat : 23881 (java) S 23872 23872 23425 0 -1 64 3855 0 1 0 480 7 0 0 23 0 10 0 995647205 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23880/tid=23882] ppid=23872 vsize=197428 CPUtime=1.07
/proc/23880/task/23882/stat : 23882 (java) S 23872 23872 23425 0 -1 64 8572 0 0 0 96 11 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23883] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23883/stat : 23883 (java) S 23872 23872 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23884] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23884/stat : 23884 (java) S 23872 23872 23425 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23885] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23885/stat : 23885 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23886] ppid=23872 vsize=197428 CPUtime=0.2
/proc/23880/task/23886/stat : 23886 (java) S 23872 23872 23425 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23887] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23887/stat : 23887 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23888] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23888/stat : 23888 (java) R 23872 23872 23425 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23889] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23889/stat : 23889 (java) S 23872 23872 23425 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 995647833 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.46
Current children cumulated vsize (KiB) 240300
[startup+14.1027 s]
/proc/loadavg: 1.94 1.98 1.94 3/93 23891
/proc/meminfo: memFree=1535192/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=2.02
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 375 7920 0 0 0 0 198 4 18 0 1 0 995646997 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 238 196 169 0 51 0
[pid=23880] ppid=23872 vsize=197428 CPUtime=6.16
/proc/23880/stat : 23880 (java) S 23872 23872 23425 0 -1 0 13885 0 1 0 597 19 0 0 18 0 10 0 995647204 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23880/statm: 49357 9396 2543 9 0 43940 0
[pid=23890] ppid=23880 vsize=5356 CPUtime=0
/proc/23890/stat : 23890 (mistral) S 23880 23872 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995647833 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23890/statm: 1339 236 196 169 0 50 0
[pid=23891] ppid=23890 vsize=32156 CPUtime=5.68
/proc/23891/stat : 23891 (xsolve) R 23890 23872 23425 0 -1 4194304 7302 0 0 0 564 4 0 0 25 0 1 0 995647833 32927744 7168 996147200 134512640 135239763 4294955968 18446744073709551615 134737500 0 4 0 0 0 0 0 17 1 0 0
/proc/23891/statm: 8039 7168 414 177 0 6942 0
[pid=23880/tid=23881] ppid=23872 vsize=197428 CPUtime=4.87
/proc/23880/task/23881/stat : 23881 (java) S 23872 23872 23425 0 -1 64 3855 0 1 0 480 7 0 0 23 0 10 0 995647205 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23880/tid=23882] ppid=23872 vsize=197428 CPUtime=1.07
/proc/23880/task/23882/stat : 23882 (java) S 23872 23872 23425 0 -1 64 8572 0 0 0 96 11 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23883] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23883/stat : 23883 (java) S 23872 23872 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23884] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23884/stat : 23884 (java) S 23872 23872 23425 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23885] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23885/stat : 23885 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23886] ppid=23872 vsize=197428 CPUtime=0.2
/proc/23880/task/23886/stat : 23886 (java) S 23872 23872 23425 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23887] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23887/stat : 23887 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23888] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23888/stat : 23888 (java) S 23872 23872 23425 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23889] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23889/stat : 23889 (java) S 23872 23872 23425 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 995647833 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.86
Current children cumulated vsize (KiB) 240300
[startup+14.5067 s]
/proc/loadavg: 1.94 1.98 1.94 3/93 23891
/proc/meminfo: memFree=1535192/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=2.02
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 375 7920 0 0 0 0 198 4 18 0 1 0 995646997 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 238 196 169 0 51 0
[pid=23880] ppid=23872 vsize=197428 CPUtime=6.16
/proc/23880/stat : 23880 (java) S 23872 23872 23425 0 -1 0 13885 0 1 0 597 19 0 0 18 0 10 0 995647204 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23880/statm: 49357 9396 2543 9 0 43940 0
[pid=23890] ppid=23880 vsize=5356 CPUtime=0
/proc/23890/stat : 23890 (mistral) S 23880 23872 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995647833 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23890/statm: 1339 236 196 169 0 50 0
[pid=23891] ppid=23890 vsize=32156 CPUtime=6.07
/proc/23891/stat : 23891 (xsolve) R 23890 23872 23425 0 -1 4194304 7328 0 0 0 603 4 0 0 25 0 1 0 995647833 32927744 7194 996147200 134512640 135239763 4294955968 18446744073709551615 135033436 0 4 0 0 0 0 0 17 1 0 0
/proc/23891/statm: 8039 7194 414 177 0 6942 0
[pid=23880/tid=23881] ppid=23872 vsize=197428 CPUtime=4.87
/proc/23880/task/23881/stat : 23881 (java) S 23872 23872 23425 0 -1 64 3855 0 1 0 480 7 0 0 23 0 10 0 995647205 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23880/tid=23882] ppid=23872 vsize=197428 CPUtime=1.07
/proc/23880/task/23882/stat : 23882 (java) S 23872 23872 23425 0 -1 64 8572 0 0 0 96 11 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23883] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23883/stat : 23883 (java) S 23872 23872 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23884] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23884/stat : 23884 (java) S 23872 23872 23425 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 995647206 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23885] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23885/stat : 23885 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23886] ppid=23872 vsize=197428 CPUtime=0.2
/proc/23880/task/23886/stat : 23886 (java) S 23872 23872 23425 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23887] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23887/stat : 23887 (java) S 23872 23872 23425 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23888] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23888/stat : 23888 (java) S 23872 23872 23425 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 995647208 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23889] ppid=23872 vsize=197428 CPUtime=0
/proc/23880/task/23889/stat : 23889 (java) S 23872 23872 23425 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 995647833 202166272 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.25
Current children cumulated vsize (KiB) 240300
[startup+14.6027 s]
/proc/loadavg: 1.94 1.98 1.94 3/93 23891
/proc/meminfo: memFree=1535192/2055920 swapFree=4180876/4192956
[pid=23872] ppid=23870 vsize=5360 CPUtime=2.02
/proc/23872/stat : 23872 (hydra) S 23870 23872 23425 0 -1 4194304 375 7920 0 0 0 0 198 4 18 0 1 0 995646997 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23872/statm: 1340 238 196 169 0 51 0
[pid=23880] ppid=23872 vsize=197428 CPUtime=12.33
/proc/23880/stat : 23880 (java) S 23872 23872 23425 0 -1 0 13954 7645 1 0 597 19 612 5 18 0 9 0 995647204 202166272 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23880/statm: 49357 9398 2544 9 0 43940 0
[pid=23880/tid=23881] ppid=23872 vsize=197428 CPUtime=11.04
/proc/23880/task/23881/stat : 23881 (java) S 23872 23872 23425 0 -1 64 3904 7645 1 0 480 7 612 5 16 0 9 0 995647205 202166272 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23882] ppid=23872 vsize=197428 CPUtime=7.24
/proc/23880/task/23882/stat : 23882 (java) S 23872 23872 23425 0 -1 64 8584 7645 0 0 96 11 612 5 16 0 9 0 995647206 202166272 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23883] ppid=23872 vsize=197428 CPUtime=6.17
/proc/23880/task/23883/stat : 23883 (java) S 23872 23872 23425 0 -1 64 11 7645 0 0 0 0 612 5 16 0 9 0 995647206 202166272 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23884] ppid=23872 vsize=197428 CPUtime=6.17
/proc/23880/task/23884/stat : 23884 (java) S 23872 23872 23425 0 -1 64 5 7645 0 0 0 0 612 5 15 0 9 0 995647206 202166272 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23885] ppid=23872 vsize=197428 CPUtime=6.17
/proc/23880/task/23885/stat : 23885 (java) S 23872 23872 23425 0 -1 64 1 7645 0 0 0 0 612 5 18 0 9 0 995647208 202166272 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23886] ppid=23872 vsize=197428 CPUtime=6.37
/proc/23880/task/23886/stat : 23886 (java) S 23872 23872 23425 0 -1 64 646 7645 0 0 20 0 612 5 16 0 9 0 995647208 202166272 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23887] ppid=23872 vsize=197428 CPUtime=6.17
/proc/23880/task/23887/stat : 23887 (java) S 23872 23872 23425 0 -1 64 1 7645 0 0 0 0 612 5 19 0 9 0 995647208 202166272 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23880/tid=23888] ppid=23872 vsize=197428 CPUtime=6.17
/proc/23880/task/23888/stat : 23888 (java) S 23872 23872 23425 0 -1 64 13 7645 0 0 0 0 612 5 15 0 9 0 995647208 202166272 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.35
Current children cumulated vsize (KiB) 202788
Child status: 0
Real time (s): 14.6454
CPU time (s): 14.4018
CPU user time (s): 14.0909
CPU system time (s): 0.310952
CPU usage (%): 98.337
Max. virtual memory (cumulated for all children) (KiB): 240300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.0909
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29930
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= 9065
involuntary context switches= 10696
runsolver used 0.035994 second user time and 0.075988 second system time
The end