0.00/0.00 c cpHydra_k_10 version 0.0
7.13/7.26 c CASE TO CLASSIFY:
7.13/7.26 c Case: 0
7.13/7.27 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.964500 | c 15 > 23.276400 | c 34 > 43.372800 | c 16 > 2.000000 | c 13 > 6.816230 | c 14 > 10.980900 | c 11 > 10.501800 | c 12 > 4.839890 | 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.13/7.28 c choco : 1801.0
7.13/7.28 c mistral : 1801.0
7.13/7.28 c abscon : 1801.0
7.13/7.28 c
7.13/7.28 c
7.42/7.53 c List of same ones: 10
7.42/7.53 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-1.xml
7.42/7.53 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.42/7.54 c choco : 36.56
7.42/7.54 c mistral : 1801.0
7.42/7.54 c abscon : 1801.0
7.42/7.54 c
7.42/7.54 c
7.42/7.54 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-3.xml
7.42/7.54 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.42/7.54 c choco : 20.77
7.42/7.54 c mistral : 32.33
7.42/7.54 c abscon : 7.44
7.42/7.54 c
7.42/7.54 c
7.42/7.54 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-4.xml
7.42/7.54 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.42/7.55 c choco : 1801.0
7.42/7.55 c mistral : 3.25
7.42/7.56 c abscon : 1801.0
7.42/7.56 c
7.42/7.56 c
7.42/7.56 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-1.xml
7.42/7.56 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.42/7.56 c choco : 80.29
7.42/7.56 c mistral : 11.08
7.42/7.56 c abscon : 13.73
7.42/7.56 c
7.42/7.56 c
7.42/7.56 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-1.xml
7.42/7.56 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.42/7.57 c choco : 19.39
7.42/7.57 c mistral : 1.34
7.42/7.57 c abscon : 19.6
7.42/7.57 c
7.42/7.57 c
7.42/7.57 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-6.xml
7.42/7.57 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.42/7.58 c choco : 1801.0
7.42/7.58 c mistral : 1.4
7.42/7.58 c abscon : 7.93
7.42/7.58 c
7.42/7.58 c
7.42/7.58 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-6.xml
7.42/7.58 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.42/7.59 c choco : 26.5
7.42/7.59 c mistral : 1.86
7.42/7.59 c abscon : 8.39
7.42/7.59 c
7.42/7.59 c
7.42/7.59 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-4.xml
7.42/7.59 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.50/7.60 c choco : 24.47
7.50/7.60 c mistral : 47.71
7.50/7.60 c abscon : 1801.0
7.50/7.60 c
7.50/7.60 c
7.50/7.60 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-5.xml
7.50/7.60 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.50/7.61 c choco : 22.11
7.50/7.61 c mistral : 45.91
7.50/7.61 c abscon : 1801.0
7.50/7.61 c
7.50/7.61 c
7.50/7.61 c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-5.xml
7.50/7.61 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.50/7.62 c choco : 18.6
7.50/7.62 c mistral : 8.49
7.50/7.62 c abscon : 12.34
7.50/7.62 c
7.50/7.62 c
7.50/7.62 c Length: 10
7.50/7.62 c 1.6957267943274335 1.9682476149610826 2.2110685663949887 2.2497951851224136 2.3347784481830396 2.352168466883271 2.355713135549403 2.4292426877732898 2.5363009857861885 2.617621197385135
7.50/7.62 c
7.50/7.62 c 1.0 0.7718374521454766 0.6414355684982376 0.6246054486585637 0.5905997833651608 0.5840925879485698 0.5827837568612023 0.5568978307099229 0.5230699746514511 0.5
7.50/7.63 c
7.50/7.63 c solver 0
7.50/7.63 c before 0.0 seconds: {} 0
7.50/7.63 c before 18.0 seconds: {1, 3, 5, 6, 9} 3063
7.50/7.63 c before 36.0 seconds: {1, 3, 4, 5, 6, 9} 3653
7.50/7.63 c
7.50/7.63 c solver 1
7.50/7.63 c before 0.0 seconds: {} 0
7.50/7.63 c before 18.0 seconds: {2, 3, 4, 5, 6, 9} 3523
7.50/7.63 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 9} 4295
7.50/7.63 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 5375
7.50/7.63 c
7.50/7.63 c solver 2
7.50/7.63 c before 0.0 seconds: {} 0
7.50/7.63 c before 36.0 seconds: {1, 4, 6, 7, 8, 9} 3525
7.50/7.63 c before 54.0 seconds: {0, 1, 4, 6, 7, 8, 9} 4525
7.50/7.63 c before 90.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9} 5149
7.50/7.63 c
7.50/7.63 cTotal time: 10
7.50/7.63 c 180.0 seconds unused
7.50/7.63 c 0 c 0 c 1
7.50/7.63 c 3 c 0 c 2
7.50/7.63 c 3 c 1 c 0
7.50/7.63 c is solver0 dominated by:
7.50/7.63 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.50/7.63 c is dominated? true
7.50/7.63 c
7.50/7.63 c is solver1 dominated by:
7.50/7.63 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.50/7.63 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.50/7.63 c is dominated? false
7.50/7.63 c
7.50/7.63 c is solver2 dominated by:
7.50/7.63 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.50/7.63 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.50/7.63 c is dominated? false
7.50/7.63 c
7.50/7.63 c Number of non-dominated solvers: 2
7.50/7.63 c remove dominated solvers
7.50/7.63 c solver 1 is not dominated by another solver
7.50/7.63 c solver 2 is not dominated by another solver
7.50/7.63 c solver 0 is dominated by another solver
7.50/7.63 c
7.50/7.63 c solver 0: 0.0
7.50/7.63 c
7.50/7.63 c solver 1: 54.0
7.50/7.63 c
7.50/7.63 c+ 3/8 of 92
7.50/7.63 c
7.50/7.63 c solver 2: 90.0
7.50/7.63 c
7.50/7.63 c+ 5/8 of 92
7.50/7.63 c do not run abscon
7.50/7.63 c run mistral for 666.0 seconds {1, 2, 3, 4, 5, 6, 7, 8, 9} 5375
7.50/7.63 c run choco for 1116.0 seconds {0, 1, 3, 4, 6, 7, 8, 9} 5149
7.50/7.64 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.50/7.64 c On Instance: HOME/instance-1085091-1215232681.xml
7.50/7.64 c Running for: 666 seconds
9.66/9.90 c mistral-prime version 1.313
9.66/9.90 s SATISFIABLE
9.66/9.90 v 11 10 25 24 38 39 55 54 143 144 16 17 33 74 111 110 124 125 129 128 70 5 95 74 135 134 148 147 155 156 43 42 50 51 85 84 97 98 129 144 0 1 31 74 124 125 135 134 143 144 21 22 30 29 55 54 137 69 144 145 0 1 14 15 28 27 55 74 103 81 65 66 75 74 97 98 111 110 119 120 0 1 11 10 14 15 28 27 44 59 0 1 6 5 69 70 85 84 95 113
9.66/9.90 d CHECKS 14670421
9.66/9.90 d ASSIGNMENTS 4421
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085091-1215232681/watcher-1085091-1215232681 -o /tmp/evaluation-result-1085091-1215232681/solver-1085091-1215232681 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1085091-1215232681.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/81 595
/proc/meminfo: memFree=1503632/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5212 CPUtime=0
/proc/595/stat : 595 (hydra) R 593 595 31043 0 -1 4194304 69 0 0 0 0 0 0 0 22 0 1 0 2002240643 5337088 43 996147200 4194304 4889804 548682068816 18446744073709551615 221952145497 0 0 4096 0 0 0 0 17 1 0 0
/proc/595/statm: 1303 43 29 169 0 14 0
[startup+0.25793 s]
/proc/loadavg: 1.97 1.99 1.99 4/81 595
/proc/meminfo: memFree=1503632/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=0
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2002240643 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301934 s]
/proc/loadavg: 1.97 1.99 1.99 4/81 595
/proc/meminfo: memFree=1503632/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=0
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2002240643 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.401942 s]
/proc/loadavg: 1.97 1.99 1.99 4/81 595
/proc/meminfo: memFree=1503632/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=0
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2002240643 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701968 s]
/proc/loadavg: 1.97 1.99 1.99 4/81 595
/proc/meminfo: memFree=1503632/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=0
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2002240643 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50104 s]
/proc/loadavg: 1.97 1.99 1.99 3/83 599
/proc/meminfo: memFree=1500032/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=0
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2002240643 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 236 195 169 0 51 0
[pid=599] ppid=595 vsize=7780 CPUtime=1.47
/proc/599/stat : 599 (xsolve) R 595 595 31043 0 -1 4194304 1294 0 0 0 147 0 0 0 25 0 1 0 2002240644 7966720 1253 996147200 134512640 135239763 4294956176 18446744073709551615 134797465 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 1945 1253 430 177 0 848 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13140
[startup+3.10218 s]
/proc/loadavg: 1.97 1.99 1.99 3/91 611
/proc/meminfo: memFree=1495480/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=1.51
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 375 1891 0 0 0 0 150 1 18 0 1 0 2002240643 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 238 196 169 0 51 0
[pid=603] ppid=595 vsize=197108 CPUtime=1.55
/proc/603/stat : 603 (java) S 595 595 31043 0 -1 0 5091 0 1 0 150 5 0 0 18 0 9 0 2002240796 201838592 4270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 49277 4270 1678 9 0 43860 0
[pid=603/tid=604] ppid=595 vsize=197108 CPUtime=1.23
/proc/603/task/604/stat : 604 (java) R 595 595 31043 0 -1 64 2749 0 1 0 122 1 0 0 25 0 9 0 2002240797 201838592 4270 996147200 134512640 134550740 4294955968 18446744073709551615 4126436223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=605] ppid=595 vsize=197108 CPUtime=0.14
/proc/603/task/605/stat : 605 (java) S 595 595 31043 0 -1 64 1008 0 0 0 13 1 0 0 16 0 9 0 2002240799 201838592 4270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 595 595 31043 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002240799 201838592 4270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 595 595 31043 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002240799 201838592 4270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 595 595 31043 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002240801 201838592 4270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=595 vsize=197108 CPUtime=0.13
/proc/603/task/609/stat : 609 (java) S 595 595 31043 0 -1 64 609 0 0 0 13 0 0 0 16 0 9 0 2002240801 201838592 4270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 595 595 31043 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002240801 201838592 4270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 595 595 31043 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002240801 201838592 4270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202468
[startup+6.30147 s]
/proc/loadavg: 1.97 1.99 1.99 3/91 611
/proc/meminfo: memFree=1482360/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=1.51
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 375 1891 0 0 0 0 150 1 18 0 1 0 2002240643 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 238 196 169 0 51 0
[pid=603] ppid=595 vsize=197108 CPUtime=4.72
/proc/603/stat : 603 (java) S 595 595 31043 0 -1 0 10035 0 1 0 460 12 0 0 18 0 9 0 2002240796 201838592 8321 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 49277 8321 2540 9 0 43860 0
[pid=603/tid=604] ppid=595 vsize=197108 CPUtime=3.74
/proc/603/task/604/stat : 604 (java) R 595 595 31043 0 -1 64 3558 0 1 0 371 3 0 0 25 0 9 0 2002240797 201838592 8321 996147200 134512640 134550740 4294955968 18446744073709551615 4126439969 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=605] ppid=595 vsize=197108 CPUtime=0.77
/proc/603/task/605/stat : 605 (java) S 595 595 31043 0 -1 64 5128 0 0 0 71 6 0 0 16 0 9 0 2002240799 201838592 8321 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 595 595 31043 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002240799 201838592 8321 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 595 595 31043 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002240799 201838592 8321 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 595 595 31043 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002240801 201838592 8321 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=595 vsize=197108 CPUtime=0.17
/proc/603/task/609/stat : 609 (java) S 595 595 31043 0 -1 64 624 0 0 0 16 1 0 0 16 0 9 0 2002240801 201838592 8321 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 595 595 31043 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002240801 201838592 8321 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/611/stat : 611 (java) R 595 595 31043 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002240801 201838592 8321 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202468
Solver just ended. Dumping a history of the last processes samples
[startup+6.5025 s]
/proc/loadavg: 1.97 1.99 1.99 3/91 611
/proc/meminfo: memFree=1482360/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=1.51
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 375 1891 0 0 0 0 150 1 18 0 1 0 2002240643 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 238 196 169 0 51 0
[pid=603] ppid=595 vsize=197108 CPUtime=4.92
/proc/603/stat : 603 (java) S 595 595 31043 0 -1 0 10270 0 1 0 479 13 0 0 18 0 9 0 2002240796 201838592 8517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 49277 8517 2540 9 0 43860 0
[pid=603/tid=604] ppid=595 vsize=197108 CPUtime=3.92
/proc/603/task/604/stat : 604 (java) R 595 595 31043 0 -1 64 3597 0 1 0 388 4 0 0 25 0 9 0 2002240797 201838592 8517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=605] ppid=595 vsize=197108 CPUtime=0.81
/proc/603/task/605/stat : 605 (java) S 595 595 31043 0 -1 64 5324 0 0 0 74 7 0 0 15 0 9 0 2002240799 201838592 8517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 595 595 31043 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002240799 201838592 8517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 595 595 31043 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002240799 201838592 8517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 595 595 31043 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002240801 201838592 8517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=595 vsize=197108 CPUtime=0.17
/proc/603/task/609/stat : 609 (java) S 595 595 31043 0 -1 64 624 0 0 0 16 1 0 0 16 0 9 0 2002240801 201838592 8517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 595 595 31043 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002240801 201838592 8517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=595 vsize=197108 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 595 595 31043 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002240801 201838592 8517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 202468
[startup+8.10263 s]
/proc/loadavg: 1.97 1.99 1.99 4/94 614
/proc/meminfo: memFree=1471392/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=1.51
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 375 1891 0 0 0 0 150 1 18 0 1 0 2002240643 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 238 196 169 0 51 0
[pid=603] ppid=595 vsize=197432 CPUtime=6.02
/proc/603/stat : 603 (java) S 595 595 31043 0 -1 0 13936 0 1 0 586 16 0 0 18 0 10 0 2002240796 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 49358 9491 2543 9 0 43941 0
[pid=613] ppid=603 vsize=5356 CPUtime=0
/proc/613/stat : 613 (mistral) S 603 595 31043 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2002241407 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/613/statm: 1339 238 198 169 0 50 0
[pid=614] ppid=613 vsize=7780 CPUtime=0.43
/proc/614/stat : 614 (xsolve) R 613 595 31043 0 -1 4194304 1270 0 0 0 43 0 0 0 21 0 1 0 2002241408 7966720 1234 996147200 134512640 135239763 4294955952 18446744073709551615 135030819 0 4 0 0 0 0 0 17 1 0 0
/proc/614/statm: 1945 1234 412 177 0 848 0
[pid=603/tid=604] ppid=595 vsize=197432 CPUtime=4.7
/proc/603/task/604/stat : 604 (java) S 595 595 31043 0 -1 64 3974 0 1 0 465 5 0 0 23 0 10 0 2002240797 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=603/tid=605] ppid=595 vsize=197432 CPUtime=1.09
/proc/603/task/605/stat : 605 (java) S 595 595 31043 0 -1 64 8518 0 0 0 100 9 0 0 16 0 10 0 2002240799 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 595 595 31043 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002240799 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 595 595 31043 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002240799 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 595 595 31043 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=595 vsize=197432 CPUtime=0.2
/proc/603/task/609/stat : 609 (java) S 595 595 31043 0 -1 64 642 0 0 0 19 1 0 0 16 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 595 595 31043 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 595 595 31043 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=612] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/612/stat : 612 (java) S 595 595 31043 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002241407 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 215928
[startup+8.90271 s]
/proc/loadavg: 1.97 1.99 1.99 3/94 614
/proc/meminfo: memFree=1471328/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=1.51
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 375 1891 0 0 0 0 150 1 18 0 1 0 2002240643 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 238 196 169 0 51 0
[pid=603] ppid=595 vsize=197432 CPUtime=6.02
/proc/603/stat : 603 (java) S 595 595 31043 0 -1 0 13971 0 1 0 586 16 0 0 18 0 10 0 2002240796 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 49358 9491 2543 9 0 43941 0
[pid=613] ppid=603 vsize=5356 CPUtime=0
/proc/613/stat : 613 (mistral) S 603 595 31043 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2002241407 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/613/statm: 1339 238 198 169 0 50 0
[pid=614] ppid=613 vsize=7780 CPUtime=1.23
/proc/614/stat : 614 (xsolve) R 613 595 31043 0 -1 4194304 1272 0 0 0 123 0 0 0 25 0 1 0 2002241408 7966720 1236 996147200 134512640 135239763 4294955952 18446744073709551615 134821087 0 4 0 0 0 0 0 17 1 0 0
/proc/614/statm: 1945 1236 412 177 0 848 0
[pid=603/tid=604] ppid=595 vsize=197432 CPUtime=4.7
/proc/603/task/604/stat : 604 (java) S 595 595 31043 0 -1 64 3974 0 1 0 465 5 0 0 23 0 10 0 2002240797 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=603/tid=605] ppid=595 vsize=197432 CPUtime=1.09
/proc/603/task/605/stat : 605 (java) S 595 595 31043 0 -1 64 8553 0 0 0 100 9 0 0 16 0 10 0 2002240799 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 595 595 31043 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002240799 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 595 595 31043 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002240799 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 595 595 31043 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=595 vsize=197432 CPUtime=0.2
/proc/603/task/609/stat : 609 (java) S 595 595 31043 0 -1 64 642 0 0 0 19 1 0 0 16 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 595 595 31043 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/611/stat : 611 (java) R 595 595 31043 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=612] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/612/stat : 612 (java) S 595 595 31043 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002241407 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.76
Current children cumulated vsize (KiB) 215928
[startup+9.70278 s]
/proc/loadavg: 1.97 1.99 1.99 3/94 614
/proc/meminfo: memFree=1471328/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=1.51
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 375 1891 0 0 0 0 150 1 18 0 1 0 2002240643 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 238 196 169 0 51 0
[pid=603] ppid=595 vsize=197432 CPUtime=6.02
/proc/603/stat : 603 (java) S 595 595 31043 0 -1 0 13971 0 1 0 586 16 0 0 18 0 10 0 2002240796 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 49358 9491 2543 9 0 43941 0
[pid=613] ppid=603 vsize=5356 CPUtime=0
/proc/613/stat : 613 (mistral) S 603 595 31043 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2002241407 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/613/statm: 1339 238 198 169 0 50 0
[pid=614] ppid=613 vsize=7780 CPUtime=2.03
/proc/614/stat : 614 (xsolve) R 613 595 31043 0 -1 4194304 1272 0 0 0 203 0 0 0 25 0 1 0 2002241408 7966720 1236 996147200 134512640 135239763 4294955952 18446744073709551615 134797248 0 4 0 0 0 0 0 17 1 0 0
/proc/614/statm: 1945 1236 412 177 0 848 0
[pid=603/tid=604] ppid=595 vsize=197432 CPUtime=4.7
/proc/603/task/604/stat : 604 (java) S 595 595 31043 0 -1 64 3974 0 1 0 465 5 0 0 23 0 10 0 2002240797 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=603/tid=605] ppid=595 vsize=197432 CPUtime=1.09
/proc/603/task/605/stat : 605 (java) S 595 595 31043 0 -1 64 8553 0 0 0 100 9 0 0 16 0 10 0 2002240799 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 595 595 31043 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002240799 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 595 595 31043 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002240799 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 595 595 31043 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=595 vsize=197432 CPUtime=0.2
/proc/603/task/609/stat : 609 (java) S 595 595 31043 0 -1 64 642 0 0 0 19 1 0 0 16 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 595 595 31043 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 595 595 31043 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002240801 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=612] ppid=595 vsize=197432 CPUtime=0
/proc/603/task/612/stat : 612 (java) S 595 595 31043 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002241407 202170368 9491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 215928
[startup+9.90279 s]
/proc/loadavg: 1.97 1.99 1.99 3/94 614
/proc/meminfo: memFree=1471328/2055920 swapFree=4179776/4192956
[pid=595] ppid=593 vsize=5360 CPUtime=1.51
/proc/595/stat : 595 (hydra) S 593 595 31043 0 -1 4194304 375 1891 0 0 0 0 150 1 18 0 1 0 2002240643 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/595/statm: 1340 238 196 169 0 51 0
[pid=603] ppid=595 vsize=197432 CPUtime=8.25
/proc/603/stat : 603 (java) S 595 595 31043 0 -1 0 14044 1612 1 0 586 16 222 1 18 0 9 0 2002240796 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 49358 9493 2544 9 0 43941 0
[pid=603/tid=604] ppid=595 vsize=197432 CPUtime=6.94
/proc/603/task/604/stat : 604 (java) S 595 595 31043 0 -1 64 4022 1612 1 0 466 5 222 1 16 0 9 0 2002240797 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=605] ppid=595 vsize=197432 CPUtime=3.32
/proc/603/task/605/stat : 605 (java) S 595 595 31043 0 -1 64 8569 1612 0 0 100 9 222 1 15 0 9 0 2002240799 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=595 vsize=197432 CPUtime=2.23
/proc/603/task/606/stat : 606 (java) S 595 595 31043 0 -1 64 11 1612 0 0 0 0 222 1 16 0 9 0 2002240799 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=595 vsize=197432 CPUtime=2.23
/proc/603/task/607/stat : 607 (java) S 595 595 31043 0 -1 64 5 1612 0 0 0 0 222 1 15 0 9 0 2002240799 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=595 vsize=197432 CPUtime=2.23
/proc/603/task/608/stat : 608 (java) S 595 595 31043 0 -1 64 0 1612 0 0 0 0 222 1 18 0 9 0 2002240801 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=595 vsize=197432 CPUtime=2.43
/proc/603/task/609/stat : 609 (java) S 595 595 31043 0 -1 64 642 1612 0 0 19 1 222 1 16 0 9 0 2002240801 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=595 vsize=197432 CPUtime=2.23
/proc/603/task/610/stat : 610 (java) S 595 595 31043 0 -1 64 1 1612 0 0 0 0 222 1 19 0 9 0 2002240801 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=595 vsize=197432 CPUtime=2.23
/proc/603/task/611/stat : 611 (java) S 595 595 31043 0 -1 64 7 1612 0 0 0 0 222 1 15 0 9 0 2002240801 202170368 9493 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 9.95461
CPU time (s): 9.80151
CPU user time (s): 9.59854
CPU system time (s): 0.202969
CPU usage (%): 98.462
Max. virtual memory (cumulated for all children) (KiB): 215928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.59854
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17959
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= 8949
involuntary context switches= 10509
runsolver used 0.023996 second user time and 0.072988 second system time
The end