0.00/0.00 c cpHydra_k_10 version 0.0
7.19/7.33 c CASE TO CLASSIFY:
7.19/7.33 c Case: 0
7.19/7.34 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 23.230500 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.280950 | c 14 > 11.396600 | c 11 > 10.501800 | c 12 > 5.418610 | c 21 > 11.726000 | c 20 > 100.000000 | c 22 > 12.328800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.737800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.19/7.35 c choco : 1801.0
7.19/7.35 c mistral : 1801.0
7.19/7.35 c abscon : 1801.0
7.19/7.35 c
7.19/7.35 c
7.28/7.42 c List of same ones: 10
7.28/7.42 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-6.xml
7.28/7.42 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.498800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.414900 | c 14 > 10.803300 | c 11 > 10.501800 | c 12 > 5.164800 | c 21 > 11.584500 | c 20 > 100.000000 | c 22 > 12.165500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.703200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.43 c choco : 26.5
7.28/7.43 c mistral : 1.86
7.28/7.43 c abscon : 8.39
7.28/7.43 c
7.28/7.43 c
7.28/7.43 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-1.xml
7.28/7.43 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.680800 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.997040 | c 14 > 10.641100 | c 11 > 10.501800 | c 12 > 4.861960 | c 21 > 11.013600 | c 20 > 100.000000 | c 22 > 11.313700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.559300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.44 c choco : 36.56
7.28/7.44 c mistral : 1801.0
7.28/7.44 c abscon : 1801.0
7.28/7.44 c
7.28/7.44 c
7.28/7.44 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-1.xml
7.28/7.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.432900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.295840 | c 14 > 10.732200 | c 11 > 10.501800 | c 12 > 4.158160 | c 21 > 11.327000 | c 20 > 100.000000 | c 22 > 11.789800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.639100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.45 c choco : 80.29
7.28/7.45 c mistral : 11.08
7.28/7.45 c abscon : 13.73
7.28/7.45 c
7.28/7.45 c
7.28/7.45 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-6.xml
7.28/7.45 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.295900 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.760440 | c 14 > 10.099300 | c 11 > 10.501800 | c 12 > 4.615640 | c 21 > 11.300400 | c 20 > 100.000000 | c 22 > 11.747300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.632500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.46 c choco : 1801.0
7.28/7.46 c mistral : 1.4
7.28/7.46 c abscon : 7.93
7.28/7.46 c
7.28/7.46 c
7.28/7.46 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-3.xml
7.28/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.359100 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.907760 | c 14 > 10.626600 | c 11 > 10.501800 | c 12 > 4.606160 | c 21 > 10.705100 | c 20 > 100.000000 | c 22 > 11.225000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.478500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.47 c choco : 20.77
7.28/7.47 c mistral : 32.33
7.28/7.47 c abscon : 7.44
7.28/7.47 c
7.28/7.47 c
7.28/7.47 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-1.xml
7.28/7.47 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.215600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 7.335620 | c 14 > 10.120200 | c 11 > 10.501800 | c 12 > 5.270890 | c 21 > 10.601900 | c 20 > 100.000000 | c 22 > 11.313700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.451000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.48 c choco : 19.39
7.28/7.48 c mistral : 1.34
7.28/7.48 c abscon : 19.6
7.28/7.48 c
7.28/7.48 c
7.28/7.48 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-4.xml
7.28/7.48 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.287600 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.851260 | c 14 > 10.092800 | c 11 > 10.501800 | c 12 > 4.461010 | c 21 > 10.611300 | c 20 > 100.000000 | c 22 > 11.225000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.453500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.49 c choco : 1801.0
7.28/7.49 c mistral : 3.25
7.28/7.49 c abscon : 1801.0
7.28/7.49 c
7.28/7.49 c
7.28/7.49 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-4.xml
7.28/7.49 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.398200 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.008480 | c 14 > 10.194800 | c 11 > 10.501800 | c 12 > 3.994330 | c 21 > 11.135500 | c 20 > 100.000000 | c 22 > 11.532600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.590600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.50 c choco : 24.47
7.28/7.50 c mistral : 47.71
7.28/7.50 c abscon : 1801.0
7.28/7.50 c
7.28/7.50 c
7.28/7.50 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-5.xml
7.28/7.50 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.228000 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 5.792060 | c 14 > 10.250300 | c 11 > 10.501800 | c 12 > 3.813600 | c 21 > 10.568800 | c 20 > 100.000000 | c 22 > 11.090500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.442100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.50 c choco : 18.6
7.37/7.51 c mistral : 8.49
7.37/7.51 c abscon : 12.34
7.37/7.51 c
7.37/7.51 c
7.37/7.51 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-5.xml
7.37/7.51 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 21.144400 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.235190 | c 14 > 10.104600 | c 11 > 10.501800 | c 12 > 4.124560 | c 21 > 10.368200 | c 20 > 100.000000 | c 22 > 10.770300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 11.839600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.521600 | c 6 > 10.398700 | c 32 > -1.000000 | c 5 > 17.387600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.52 c choco : 22.11
7.37/7.52 c mistral : 45.91
7.37/7.52 c abscon : 1801.0
7.37/7.52 c
7.37/7.52 c
7.57/7.73 c Length: 10
7.57/7.73 c 1.8657540563000259 2.22094990276683 2.586780378114848 2.6213968854410425 2.687420971600838 2.844312225705891 3.0196263222624076 3.074685752934761 3.616185516839532 3.6310383804223263
7.57/7.73 c
7.57/7.73 c 1.0 0.832492729055738 0.7100015144957649 0.7002520171347102 0.6823802077212545 0.6433621201967802 0.6047240939791761 0.5935292903415192 0.5021123527174173 0.5
7.57/7.73 c
7.57/7.73 c solver 0
7.57/7.73 c before 0.0 seconds: {} 0
7.57/7.73 c before 18.0 seconds: {0, 2, 3, 4, 8} 3594
7.57/7.73 c before 36.0 seconds: {0, 2, 3, 4, 5, 8} 4238
7.57/7.73 c
7.57/7.73 c solver 1
7.57/7.73 c before 0.0 seconds: {} 0
7.57/7.73 c before 18.0 seconds: {0, 2, 3, 5, 6, 8} 4160
7.57/7.73 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8} 4842
7.57/7.73 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5936
7.57/7.73 c
7.57/7.73 c solver 2
7.57/7.73 c before 0.0 seconds: {} 0
7.57/7.74 c before 36.0 seconds: {0, 4, 5, 7, 8, 9} 3921
7.57/7.74 c before 54.0 seconds: {0, 1, 4, 5, 7, 8, 9} 4753
7.57/7.74 c before 90.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9} 5463
7.57/7.74 c
7.57/7.74 cTotal time: 10
7.57/7.74 c 180.0 seconds unused
7.57/7.74 c 0 c 0 c 1
7.57/7.74 c 3 c 0 c 2
7.57/7.74 c 3 c 1 c 0
7.57/7.74 c is solver0 dominated by:
7.57/7.74 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.57/7.74 c is dominated? true
7.57/7.74 c
7.57/7.74 c is solver1 dominated by:
7.57/7.74 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.57/7.74 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.57/7.74 c is dominated? false
7.57/7.74 c
7.57/7.74 c is solver2 dominated by:
7.57/7.74 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.57/7.74 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.57/7.74 c is dominated? false
7.57/7.74 c
7.57/7.74 c Number of non-dominated solvers: 2
7.57/7.74 c remove dominated solvers
7.57/7.74 c solver 1 is not dominated by another solver
7.57/7.74 c solver 2 is not dominated by another solver
7.57/7.74 c solver 0 is dominated by another solver
7.57/7.74 c
7.57/7.74 c solver 0: 0.0
7.57/7.74 c
7.57/7.74 c solver 1: 54.0
7.57/7.74 c
7.57/7.74 c+ 3/8 of 92
7.57/7.74 c
7.57/7.74 c solver 2: 90.0
7.57/7.74 c
7.57/7.74 c+ 5/8 of 92
7.57/7.74 c do not run abscon
7.57/7.74 c run mistral for 666.0 seconds {0, 2, 3, 4, 5, 6, 7, 8, 9} 5936
7.57/7.74 c run choco for 1116.0 seconds {0, 1, 2, 4, 5, 7, 8, 9} 5463
7.57/7.74 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.57/7.74 c On Instance: HOME/instance-1085238-1215232962.xml
7.57/7.74 c Running for: 666 seconds
10.22/10.46 c mistral-prime version 1.313
10.22/10.46 s SATISFIABLE
10.22/10.46 v 69 68 78 79 107 108 119 118 126 127 0 62 79 61 86 87 97 96 101 102 0 1 12 13 29 118 133 78 142 141 9 8 16 17 44 45 58 57 62 63 51 52 64 65 70 154 170 86 181 182 36 37 48 47 58 57 70 71 79 78 41 40 57 101 133 118 144 145 151 152 28 8 36 110 144 118 154 155 168 167 16 17 48 78 97 96 107 108 112 111 0 1 9 8 12 13 29 28 91 40
10.22/10.46 d CHECKS 13502856
10.22/10.46 d ASSIGNMENTS 3516
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085238-1215232962/watcher-1085238-1215232962 -o /tmp/evaluation-result-1085238-1215232962/solver-1085238-1215232962 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085238-1215232962.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.97 1.99 1.99 4/73 6163
/proc/meminfo: memFree=1420440/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=0
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 2002266081 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 236 195 169 0 51 0
[pid=6164] ppid=6163 vsize=144 CPUtime=0
/proc/6164/stat : 6164 (rm) R 6163 6163 4223 0 -1 4194304 44 0 0 0 0 0 0 0 22 0 1 0 2002266081 147456 22 996147200 4194304 4227748 548682069024 18446744073709551615 257201075477 0 0 4096 0 0 0 0 17 1 0 0
/proc/6164/statm: 36 22 16 8 0 3 0
[startup+0.0640561 s]
/proc/loadavg: 1.97 1.99 1.99 4/73 6163
/proc/meminfo: memFree=1420440/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=0
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002266081 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101058 s]
/proc/loadavg: 1.97 1.99 1.99 4/73 6163
/proc/meminfo: memFree=1420440/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=0
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002266081 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30107 s]
/proc/loadavg: 1.97 1.99 1.99 4/73 6163
/proc/meminfo: memFree=1420440/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=0
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002266081 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.7011 s]
/proc/loadavg: 1.97 1.99 1.99 4/73 6163
/proc/meminfo: memFree=1420440/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=0
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002266081 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50118 s]
/proc/loadavg: 1.97 1.99 1.99 3/75 6167
/proc/meminfo: memFree=1416776/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=0
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002266081 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 236 195 169 0 51 0
[pid=6167] ppid=6163 vsize=7812 CPUtime=1.47
/proc/6167/stat : 6167 (xsolve) R 6163 6163 4223 0 -1 4194304 1322 0 0 0 146 1 0 0 25 0 1 0 2002266082 7999488 1281 996147200 134512640 135239763 4294956176 18446744073709551615 135097609 0 0 4096 0 0 0 0 17 1 0 0
/proc/6167/statm: 1953 1281 430 177 0 856 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13172
[startup+3.1023 s]
/proc/loadavg: 1.97 1.99 1.99 3/83 6179
/proc/meminfo: memFree=1412488/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=1.49
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 375 1919 0 0 0 0 148 1 19 0 1 0 2002266081 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 238 196 169 0 51 0
[pid=6171] ppid=6163 vsize=196984 CPUtime=1.55
/proc/6171/stat : 6171 (java) S 6163 6163 4223 0 -1 0 6411 0 1 0 149 6 0 0 18 0 9 0 2002266233 201711616 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6171/statm: 49246 5394 2540 9 0 43829 0
[pid=6171/tid=6172] ppid=6163 vsize=196984 CPUtime=1.16
/proc/6171/task/6172/stat : 6172 (java) R 6163 6163 4223 0 -1 64 2777 0 1 0 114 2 0 0 25 0 9 0 2002266234 201711616 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4126649833 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6173] ppid=6163 vsize=196984 CPUtime=0.2
/proc/6171/task/6173/stat : 6173 (java) S 6163 6163 4223 0 -1 64 2299 0 0 0 18 2 0 0 16 0 9 0 2002266235 201711616 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6174] ppid=6163 vsize=196984 CPUtime=0
/proc/6171/task/6174/stat : 6174 (java) S 6163 6163 4223 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002266236 201711616 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6175] ppid=6163 vsize=196984 CPUtime=0
/proc/6171/task/6175/stat : 6175 (java) S 6163 6163 4223 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002266236 201711616 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6176] ppid=6163 vsize=196984 CPUtime=0
/proc/6171/task/6176/stat : 6176 (java) S 6163 6163 4223 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002266238 201711616 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6177] ppid=6163 vsize=196984 CPUtime=0.16
/proc/6171/task/6177/stat : 6177 (java) S 6163 6163 4223 0 -1 64 610 0 0 0 16 0 0 0 16 0 9 0 2002266238 201711616 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6178] ppid=6163 vsize=196984 CPUtime=0
/proc/6171/task/6178/stat : 6178 (java) S 6163 6163 4223 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002266238 201711616 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6179] ppid=6163 vsize=196984 CPUtime=0
/proc/6171/task/6179/stat : 6179 (java) S 6163 6163 4223 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002266238 201711616 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202344
[startup+6.30257 s]
/proc/loadavg: 1.97 1.99 1.99 3/83 6179
/proc/meminfo: memFree=1399752/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=1.49
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 375 1919 0 0 0 0 148 1 19 0 1 0 2002266081 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 238 196 169 0 51 0
[pid=6171] ppid=6163 vsize=197092 CPUtime=4.71
/proc/6171/stat : 6171 (java) S 6163 6163 4223 0 -1 0 10028 0 1 0 454 17 0 0 18 0 9 0 2002266233 201822208 8313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6171/statm: 49273 8313 2540 9 0 43856 0
[pid=6171/tid=6172] ppid=6163 vsize=197092 CPUtime=3.69
/proc/6171/task/6172/stat : 6172 (java) R 6163 6163 4223 0 -1 64 3555 0 1 0 363 6 0 0 25 0 9 0 2002266234 201822208 8313 996147200 134512640 134550740 4294955968 18446744073709551615 4126443008 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6173] ppid=6163 vsize=197092 CPUtime=0.81
/proc/6171/task/6173/stat : 6173 (java) S 6163 6163 4223 0 -1 64 5122 0 0 0 72 9 0 0 16 0 9 0 2002266235 201822208 8313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6174] ppid=6163 vsize=197092 CPUtime=0
/proc/6171/task/6174/stat : 6174 (java) S 6163 6163 4223 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002266236 201822208 8313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6175] ppid=6163 vsize=197092 CPUtime=0
/proc/6171/task/6175/stat : 6175 (java) S 6163 6163 4223 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002266236 201822208 8313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6176] ppid=6163 vsize=197092 CPUtime=0
/proc/6171/task/6176/stat : 6176 (java) S 6163 6163 4223 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002266238 201822208 8313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6177] ppid=6163 vsize=197092 CPUtime=0.18
/proc/6171/task/6177/stat : 6177 (java) S 6163 6163 4223 0 -1 64 626 0 0 0 18 0 0 0 16 0 9 0 2002266238 201822208 8313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6178] ppid=6163 vsize=197092 CPUtime=0
/proc/6171/task/6178/stat : 6178 (java) S 6163 6163 4223 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002266238 201822208 8313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6179] ppid=6163 vsize=197092 CPUtime=0
/proc/6171/task/6179/stat : 6179 (java) S 6163 6163 4223 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002266238 201822208 8313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202452
Solver just ended. Dumping a history of the last processes samples
[startup+7.9027 s]
/proc/loadavg: 1.97 1.99 1.99 4/83 6179
/proc/meminfo: memFree=1386760/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=1.49
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 375 1919 0 0 0 0 148 1 19 0 1 0 2002266081 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 238 196 169 0 51 0
[pid=6171] ppid=6163 vsize=197416 CPUtime=6.12
/proc/6171/stat : 6171 (java) S 6163 6163 4223 0 -1 0 13834 0 1 0 591 21 0 0 18 0 10 0 2002266233 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6171/statm: 49354 9389 2543 9 0 43937 0
[pid=6171/tid=6172] ppid=6163 vsize=197416 CPUtime=4.69
/proc/6171/task/6172/stat : 6172 (java) R 6163 6163 4223 0 -1 64 3851 0 1 0 463 6 0 0 24 0 10 0 2002266234 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6173] ppid=6163 vsize=197416 CPUtime=1.17
/proc/6171/task/6173/stat : 6173 (java) S 6163 6163 4223 0 -1 64 8536 0 0 0 105 12 0 0 16 0 10 0 2002266235 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6174] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6174/stat : 6174 (java) S 6163 6163 4223 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6175] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6175/stat : 6175 (java) S 6163 6163 4223 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6176] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6176/stat : 6176 (java) S 6163 6163 4223 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6177] ppid=6163 vsize=197416 CPUtime=0.21
/proc/6171/task/6177/stat : 6177 (java) S 6163 6163 4223 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6178] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6178/stat : 6178 (java) S 6163 6163 4223 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6179] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6179/stat : 6179 (java) S 6163 6163 4223 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 202776
[startup+9.50283 s]
/proc/loadavg: 1.97 1.99 1.99 3/86 6182
/proc/meminfo: memFree=1388336/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=1.49
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 375 1919 0 0 0 0 148 1 19 0 1 0 2002266081 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 238 196 169 0 51 0
[pid=6171] ppid=6163 vsize=197416 CPUtime=6.12
/proc/6171/stat : 6171 (java) S 6163 6163 4223 0 -1 0 13870 0 1 0 591 21 0 0 18 0 10 0 2002266233 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6171/statm: 49354 9389 2543 9 0 43937 0
[pid=6181] ppid=6171 vsize=5356 CPUtime=0
/proc/6181/stat : 6181 (mistral) S 6171 6163 4223 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 2002266856 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6181/statm: 1339 238 198 169 0 50 0
[pid=6182] ppid=6181 vsize=7812 CPUtime=1.71
/proc/6182/stat : 6182 (xsolve) R 6181 6163 4223 0 -1 4194304 1282 0 0 0 171 0 0 0 25 0 1 0 2002266857 7999488 1246 996147200 134512640 135239763 4294955952 18446744073709551615 135071045 0 4 0 0 0 0 0 17 1 0 0
/proc/6182/statm: 1953 1246 412 177 0 856 0
[pid=6171/tid=6172] ppid=6163 vsize=197416 CPUtime=4.69
/proc/6171/task/6172/stat : 6172 (java) S 6163 6163 4223 0 -1 64 3854 0 1 0 463 6 0 0 23 0 10 0 2002266234 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6171/tid=6173] ppid=6163 vsize=197416 CPUtime=1.17
/proc/6171/task/6173/stat : 6173 (java) S 6163 6163 4223 0 -1 64 8569 0 0 0 105 12 0 0 16 0 10 0 2002266235 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6174] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6174/stat : 6174 (java) S 6163 6163 4223 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6175] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6175/stat : 6175 (java) S 6163 6163 4223 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6176] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6176/stat : 6176 (java) S 6163 6163 4223 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6177] ppid=6163 vsize=197416 CPUtime=0.21
/proc/6171/task/6177/stat : 6177 (java) S 6163 6163 4223 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6178] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6178/stat : 6178 (java) S 6163 6163 4223 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6179] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6179/stat : 6179 (java) S 6163 6163 4223 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6180] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6180/stat : 6180 (java) S 6163 6163 4223 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2002266856 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 215944
[startup+9.90786 s]
/proc/loadavg: 1.97 1.99 1.99 3/86 6182
/proc/meminfo: memFree=1388208/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=1.49
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 375 1919 0 0 0 0 148 1 19 0 1 0 2002266081 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 238 196 169 0 51 0
[pid=6171] ppid=6163 vsize=197416 CPUtime=6.12
/proc/6171/stat : 6171 (java) S 6163 6163 4223 0 -1 0 13870 0 1 0 591 21 0 0 18 0 10 0 2002266233 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6171/statm: 49354 9389 2543 9 0 43937 0
[pid=6181] ppid=6171 vsize=5356 CPUtime=0
/proc/6181/stat : 6181 (mistral) S 6171 6163 4223 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 2002266856 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6181/statm: 1339 238 198 169 0 50 0
[pid=6182] ppid=6181 vsize=7812 CPUtime=2.11
/proc/6182/stat : 6182 (xsolve) R 6181 6163 4223 0 -1 4194304 1282 0 0 0 211 0 0 0 25 0 1 0 2002266857 7999488 1246 996147200 134512640 135239763 4294955952 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/6182/statm: 1953 1246 412 177 0 856 0
[pid=6171/tid=6172] ppid=6163 vsize=197416 CPUtime=4.69
/proc/6171/task/6172/stat : 6172 (java) S 6163 6163 4223 0 -1 64 3854 0 1 0 463 6 0 0 23 0 10 0 2002266234 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6171/tid=6173] ppid=6163 vsize=197416 CPUtime=1.17
/proc/6171/task/6173/stat : 6173 (java) S 6163 6163 4223 0 -1 64 8569 0 0 0 105 12 0 0 16 0 10 0 2002266235 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6174] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6174/stat : 6174 (java) S 6163 6163 4223 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6175] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6175/stat : 6175 (java) S 6163 6163 4223 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6176] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6176/stat : 6176 (java) S 6163 6163 4223 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6177] ppid=6163 vsize=197416 CPUtime=0.21
/proc/6171/task/6177/stat : 6177 (java) S 6163 6163 4223 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6178] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6178/stat : 6178 (java) S 6163 6163 4223 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6179] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6179/stat : 6179 (java) S 6163 6163 4223 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6180] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6180/stat : 6180 (java) S 6163 6163 4223 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2002266856 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (KiB) 215944
[startup+10.3029 s]
/proc/loadavg: 1.97 1.99 1.99 3/86 6182
/proc/meminfo: memFree=1388208/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=1.49
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 375 1919 0 0 0 0 148 1 19 0 1 0 2002266081 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 238 196 169 0 51 0
[pid=6171] ppid=6163 vsize=197416 CPUtime=6.12
/proc/6171/stat : 6171 (java) S 6163 6163 4223 0 -1 0 13870 0 1 0 591 21 0 0 18 0 10 0 2002266233 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6171/statm: 49354 9389 2543 9 0 43937 0
[pid=6181] ppid=6171 vsize=5356 CPUtime=0
/proc/6181/stat : 6181 (mistral) S 6171 6163 4223 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 2002266856 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6181/statm: 1339 238 198 169 0 50 0
[pid=6182] ppid=6181 vsize=7812 CPUtime=2.51
/proc/6182/stat : 6182 (xsolve) R 6181 6163 4223 0 -1 4194304 1282 0 0 0 251 0 0 0 25 0 1 0 2002266857 7999488 1246 996147200 134512640 135239763 4294955952 18446744073709551615 135030631 0 4 0 0 0 0 0 17 1 0 0
/proc/6182/statm: 1953 1246 412 177 0 856 0
[pid=6171/tid=6172] ppid=6163 vsize=197416 CPUtime=4.69
/proc/6171/task/6172/stat : 6172 (java) S 6163 6163 4223 0 -1 64 3854 0 1 0 463 6 0 0 23 0 10 0 2002266234 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6171/tid=6173] ppid=6163 vsize=197416 CPUtime=1.17
/proc/6171/task/6173/stat : 6173 (java) S 6163 6163 4223 0 -1 64 8569 0 0 0 105 12 0 0 16 0 10 0 2002266235 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6174] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6174/stat : 6174 (java) S 6163 6163 4223 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6175] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6175/stat : 6175 (java) S 6163 6163 4223 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6176] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6176/stat : 6176 (java) S 6163 6163 4223 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6177] ppid=6163 vsize=197416 CPUtime=0.21
/proc/6171/task/6177/stat : 6177 (java) S 6163 6163 4223 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6178] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6178/stat : 6178 (java) S 6163 6163 4223 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6179] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6179/stat : 6179 (java) S 6163 6163 4223 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6180] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6180/stat : 6180 (java) S 6163 6163 4223 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2002266856 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 215944
[startup+10.4029 s]
/proc/loadavg: 1.97 1.99 1.99 3/86 6182
/proc/meminfo: memFree=1388208/2055920 swapFree=4180808/4192956
[pid=6163] ppid=6161 vsize=5360 CPUtime=1.49
/proc/6163/stat : 6163 (hydra) S 6161 6163 4223 0 -1 4194304 375 1919 0 0 0 0 148 1 19 0 1 0 2002266081 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6163/statm: 1340 238 196 169 0 51 0
[pid=6171] ppid=6163 vsize=197416 CPUtime=6.12
/proc/6171/stat : 6171 (java) S 6163 6163 4223 0 -1 0 13870 0 1 0 591 21 0 0 18 0 10 0 2002266233 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6171/statm: 49354 9389 2543 9 0 43937 0
[pid=6181] ppid=6171 vsize=5356 CPUtime=0
/proc/6181/stat : 6181 (mistral) S 6171 6163 4223 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 2002266856 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6181/statm: 1339 238 198 169 0 50 0
[pid=6182] ppid=6181 vsize=7812 CPUtime=2.61
/proc/6182/stat : 6182 (xsolve) R 6181 6163 4223 0 -1 4194304 1282 0 0 0 261 0 0 0 25 0 1 0 2002266857 7999488 1246 996147200 134512640 135239763 4294955952 18446744073709551615 134797461 0 4 0 0 0 0 0 17 1 0 0
/proc/6182/statm: 1953 1246 412 177 0 856 0
[pid=6171/tid=6172] ppid=6163 vsize=197416 CPUtime=4.69
/proc/6171/task/6172/stat : 6172 (java) S 6163 6163 4223 0 -1 64 3854 0 1 0 463 6 0 0 23 0 10 0 2002266234 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6171/tid=6173] ppid=6163 vsize=197416 CPUtime=1.17
/proc/6171/task/6173/stat : 6173 (java) S 6163 6163 4223 0 -1 64 8569 0 0 0 105 12 0 0 16 0 10 0 2002266235 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6174] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6174/stat : 6174 (java) S 6163 6163 4223 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6175] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6175/stat : 6175 (java) S 6163 6163 4223 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002266236 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6176] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6176/stat : 6176 (java) S 6163 6163 4223 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6177] ppid=6163 vsize=197416 CPUtime=0.21
/proc/6171/task/6177/stat : 6177 (java) S 6163 6163 4223 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6178] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6178/stat : 6178 (java) S 6163 6163 4223 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6179] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6179/stat : 6179 (java) S 6163 6163 4223 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002266238 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6171/tid=6180] ppid=6163 vsize=197416 CPUtime=0
/proc/6171/task/6180/stat : 6180 (java) S 6163 6163 4223 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2002266856 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.22
Current children cumulated vsize (KiB) 215944
Child status: 0
Real time (s): 10.4912
CPU time (s): 10.3314
CPU user time (s): 10.0725
CPU system time (s): 0.25896
CPU usage (%): 98.4771
Max. virtual memory (cumulated for all children) (KiB): 215944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0725
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17894
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= 9505
involuntary context switches= 11062
runsolver used 0.027995 second user time and 0.057991 second system time
The end