0.00/0.00 c cpHydra_k_10 version 0.0
12.84/13.03 c CASE TO CLASSIFY:
12.84/13.03 c Case: 0
12.84/13.03 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.297600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.491850 | c 12 > 8.487840 | c 21 > 13.416400 | c 20 > 100.000000 | c 22 > 13.416400 | 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 > 7.491850 | c 2 > -1.000000 | c 10 > 15.560700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.052500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.975700 | c
12.84/13.04 c choco : 1801.0
12.84/13.04 c mistral : 1801.0
12.84/13.04 c abscon : 1801.0
12.84/13.04 c
12.84/13.04 c
12.93/13.12 c List of same ones: 10
12.93/13.12 c /home/eomahony/cpZilla/CSP/queens/queens-180.xml
12.93/13.12 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.769200 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.491850 | c 12 > 8.487840 | c 21 > 13.416400 | c 20 > 100.000000 | c 22 > 13.416400 | 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 > 7.491850 | c 2 > -1.000000 | c 10 > 15.560700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.052500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.975700 | c
12.93/13.13 c choco : 1801.0
12.93/13.13 c mistral : 4.35734
12.93/13.13 c abscon : 6.98994
12.93/13.13 c
12.93/13.13 c
12.93/13.13 c /home/eomahony/cpZilla/CSP/queens/queens-150.xml
12.93/13.13 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.177900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.228820 | c 12 > 8.224000 | c 21 > 12.247400 | c 20 > 100.000000 | c 22 > 12.247400 | 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 > 7.228820 | c 2 > -1.000000 | c 10 > 15.033000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.261800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.448000 | c
12.93/13.14 c choco : 415.93
12.93/13.14 c mistral : 1.06284
12.93/13.14 c abscon : 4.79627
12.93/13.14 c
12.93/13.14 c
12.93/13.14 c /home/eomahony/cpZilla/CSP/queens/queens-200.xml
12.93/13.14 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.588500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.643860 | c 12 > 8.640240 | c 21 > 14.142100 | c 20 > 100.000000 | c 22 > 14.142100 | 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 > 7.643860 | c 2 > -1.000000 | c 10 > 15.865500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.509300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 15.280500 | c
12.93/13.15 c choco : 73.34
12.93/13.15 c mistral : 2.26565
12.93/13.15 c abscon : 16.9784
12.93/13.15 c
12.93/13.15 c
12.93/13.15 c /home/eomahony/cpZilla/CSP/queens/queens-120.xml
12.93/13.15 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.123700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 6.906890 | c 12 > 7.900870 | c 21 > 10.954500 | c 20 > 100.000000 | c 22 > 10.954500 | 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.906890 | c 2 > -1.000000 | c 10 > 14.386700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.293600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.801700 | c
12.93/13.16 c choco : 68.96
12.93/13.16 c mistral : 0.603907
12.93/13.16 c abscon : 2.94855
12.93/13.16 c
12.93/13.16 c
12.93/13.16 c /home/eomahony/cpZilla/CSP/queens/queens-100.xml
12.93/13.16 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.598100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.785820 | c 14 > 0.000000 | c 11 > 12.302100 | c 12 > 2.298890 | c 21 > 10.000000 | c 20 > 100.000000 | c 22 > 10.000000 | 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 > 13.858300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.502100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.273200 | c
12.93/13.17 c choco : 12.53
12.93/13.17 c mistral : 0.575912
12.93/13.17 c abscon : 2.12968
12.93/13.17 c
12.93/13.17 c
12.93/13.17 c /home/eomahony/cpZilla/CSP/queens/queens-80.xml
12.93/13.17 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.098800 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.615820 | c 14 > 2.000000 | c 11 > 11.661800 | c 12 > 2.293150 | c 21 > 8.944270 | c 20 > 100.000000 | c 22 > 8.944270 | 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.321930 | c 2 > -1.000000 | c 10 > 13.210800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.625700 | c
12.93/13.18 c choco : 8.63
12.93/13.18 c mistral : 0.248962
12.93/13.18 c abscon : 1.83272
12.93/13.18 c
12.93/13.18 c
12.93/13.18 c /home/eomahony/cpZilla/CSP/queens/queens-50.xml
12.93/13.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.313500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.411010 | c 14 > 5.614710 | c 11 > 11.287700 | c 12 > 0.995086 | c 21 > 7.071070 | c 20 > 100.000000 | c 22 > 7.071070 | 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 > 5.643860 | c 2 > -1.000000 | c 10 > 11.843900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.487800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.258600 | c
12.93/13.18 c choco : 5.01
12.93/13.18 c mistral : 0.107983
12.93/13.18 c abscon : 1.16682
12.93/13.18 c
12.93/13.18 c
12.93/13.18 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-4.xml
12.93/13.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.777200 | c 16 > 2.000000 | c 13 > 7.479780 | c 14 > -1.000000 | c 11 > 7.906890 | c 12 > 8.709080 | c 21 > 10.954500 | c 20 > 100.000000 | c 22 > 10.954500 | 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 > 7.906890 | c 2 > -1.000000 | c 10 > 15.977000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.875900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 15.386700 | c
12.93/13.19 c choco : 64.11
12.93/13.19 c mistral : 2.74
12.93/13.19 c abscon : 13.53
12.93/13.19 c
12.93/13.19 c
12.93/13.19 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-2.xml
12.93/13.19 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.732400 | c 16 > 2.000000 | c 13 > 7.214320 | c 14 > -1.000000 | c 11 > 7.643860 | c 12 > 8.445010 | c 21 > 10.000000 | c 20 > 100.000000 | c 22 > 10.000000 | 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 > 7.643860 | c 2 > -1.000000 | c 10 > 15.449600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.083800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.858200 | c
13.02/13.20 c choco : 54.22
13.02/13.20 c mistral : 1.98
13.02/13.20 c abscon : 10.99
13.02/13.20 c
13.02/13.20 c
13.02/13.20 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-14.xml
13.02/13.20 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.665300 | c 16 > 2.000000 | c 13 > 6.888740 | c 14 > -1.000000 | c 11 > 7.321930 | c 12 > 8.121530 | c 21 > 8.944270 | c 20 > 100.000000 | c 22 > 8.944270 | 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 > 7.321930 | c 2 > -1.000000 | c 10 > 14.803700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.113700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.210700 | c
13.02/13.21 c choco : 41.55
13.02/13.21 c mistral : 1.11
13.02/13.21 c abscon : 10.02
13.02/13.21 c
13.02/13.21 c
13.21/13.42 c Length: 10
13.21/13.42 c 2.5283999999999995 2.9353657808525315 2.975973109791148 4.514323407123153 11.522608108301696 12.694134365572156 16.653291072311085 18.720492927783713 18.908056064585274 19.314891927740625
13.21/13.42 c
13.21/13.42 c 1.0 0.9763301956040445 0.9740297423262335 0.8942105545984307 0.6511263039511155 0.6228239457868304 0.5430521153878022 0.5090118936661612 0.5061332998822999 0.5
13.21/13.42 c
13.21/13.42 c solver 0
13.21/13.42 c before 0.0 seconds: {} 0
13.21/13.42 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7176
13.21/13.42 c
13.21/13.42 c solver 1
13.21/13.42 c before 0.0 seconds: {} 0
13.21/13.42 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7176
13.21/13.42 c
13.21/13.42 c solver 2
13.21/13.42 c before 0.0 seconds: {} 0
13.21/13.42 c before 18.0 seconds: {4, 5, 6} 1817
13.21/13.42 c before 54.0 seconds: {4, 5, 6, 9} 2317
13.21/13.42 c before 72.0 seconds: {3, 4, 5, 6, 7, 8, 9} 4226
13.21/13.42 c before 90.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 5200
13.21/13.42 c before 432.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 6176
13.21/13.42 c
13.21/13.42 cTotal time: 26
13.21/13.42 c 468.0 seconds unused
13.21/13.42 c 0 c 0 c 1
13.21/13.42 c 0 c 0 c 1
13.21/13.42 c 0 c 0 c 0
13.21/13.43 c is solver0 dominated by:
13.21/13.43 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: true) (0 < 1: false)
13.21/13.43 c is dominated? true
13.21/13.43 c
13.21/13.43 c is solver1 dominated by:
13.21/13.43 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: true) (1 < 0: true)
13.21/13.43 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: true) (1 is equally as fast as 2: false) (1 < 2: false)
13.21/13.43 c is dominated? false
13.21/13.43 c
13.21/13.43 c is solver2 dominated by:
13.21/13.43 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: false) (2 is equally as fast as 0: false) (2 < 0: true)
13.21/13.43 c is dominated? true
13.21/13.43 c
13.21/13.43 c Number of non-dominated solvers: 1
13.21/13.43 c remove dominated solvers
13.21/13.43 c solver 1 is not dominated by another solver
13.21/13.43 c solver 2 is dominated by another solver
13.21/13.43 c solver 0 is dominated by another solver
13.21/13.43 c
13.21/13.43 c solver 0: 0.0
13.21/13.43 c
13.21/13.43 c solver 1: 18.0
13.21/13.43 c
13.21/13.43 c+ 1/1 of 99
13.21/13.43 c
13.21/13.43 c solver 2: 0.0
13.21/13.43 c do not run abscon
13.21/13.43 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7176
13.21/13.43 c do not run choco
13.21/13.43 c Starting solver: HOME/cpHydra_k_10/solver/mistral
13.21/13.43 c On Instance: HOME/instance-1093863-1215278347.xml
13.21/13.43 c Running for: 1800 seconds
198.89/200.73 c mistral-prime version 1.313
198.89/200.73 s SATISFIABLE
198.89/200.73 v 32 34 1 37 33 114 117 105 31 106 104 115 12 103 113 45 102 120 123 23 21 112 122 54 119 131 141 153 16 55 15 167 169 158 166 164 156 30 27 147 157 5 24 126 25 107 56 101 92 96 116 109 129 118 125 70 78 14 64 95 69 88 17 47 18 138 140 50 136 90 94 20 124 121 77 110 10 133 97 142 108 130 100 85 11 28 91 127 75 66 178 67 172 39 179 177 163 135 9 29 150 180 161 144 165 26 176 149 168 2 174 42 155 52 58 160 162 154 175 86 111 40 139 143 98 51 151 35 99 7 72 93 38 83 4 49 73 82 36 8 43 74 71 65 46 44 41 3 146 87 68 137 159 132 148 145 152 89 170 128 13 134 173 171 76 80 60 53 84 59 79 62 6 22 19 48 61 81 57 63
198.89/200.73 d CHECKS 6618400
198.89/200.73 d ASSIGNMENTS 179
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093863-1215278347/watcher-1093863-1215278347 -o /tmp/evaluation-result-1093863-1215278347/solver-1093863-1215278347 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1093863-1215278347.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 4/73 28746
/proc/meminfo: memFree=1672776/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5260 CPUtime=0
/proc/28746/stat : 28746 (hydra) R 28744 28746 28224 0 -1 4194304 67 0 0 0 0 0 0 0 22 0 1 0 2006808899 5386240 50 996147200 4194304 4889804 548682068816 18446744073709551615 238485032800 0 0 4096 0 0 0 0 17 1 0 0
/proc/28746/statm: 1315 50 36 169 0 14 0
[startup+0.258335 s]
/proc/loadavg: 2.07 2.02 2.00 4/73 28746
/proc/meminfo: memFree=1672776/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=0
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2006808899 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301333 s]
/proc/loadavg: 2.07 2.02 2.00 4/73 28746
/proc/meminfo: memFree=1672776/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=0
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2006808899 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.401347 s]
/proc/loadavg: 2.07 2.02 2.00 4/73 28746
/proc/meminfo: memFree=1672776/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=0
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2006808899 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701382 s]
/proc/loadavg: 2.07 2.02 2.00 4/73 28746
/proc/meminfo: memFree=1672776/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=0
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2006808899 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50146 s]
/proc/loadavg: 2.07 2.02 2.00 3/75 28750
/proc/meminfo: memFree=1536696/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=0
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2006808899 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 236 195 169 0 51 0
[pid=28750] ppid=28746 vsize=140536 CPUtime=1.47
/proc/28750/stat : 28750 (xsolve) R 28746 28746 28224 0 -1 4194304 34645 0 0 0 129 18 0 0 25 0 1 0 2006808900 143908864 34295 996147200 134512640 135239763 4294956176 18446744073709551615 135020385 0 0 4096 0 0 0 0 17 1 0 0
/proc/28750/statm: 35134 34295 433 177 0 34037 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 145896
[startup+3.10165 s]
/proc/loadavg: 2.07 2.02 2.00 3/75 28750
/proc/meminfo: memFree=1536568/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=0
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2006808899 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 236 195 169 0 51 0
[pid=28750] ppid=28746 vsize=140536 CPUtime=3.05
/proc/28750/stat : 28750 (xsolve) R 28746 28746 28224 0 -1 4194304 34645 0 0 0 287 18 0 0 25 0 1 0 2006808900 143908864 34295 996147200 134512640 135239763 4294956176 18446744073709551615 135020112 0 0 4096 0 0 0 0 17 1 0 0
/proc/28750/statm: 35134 34295 433 177 0 34037 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 145896
[startup+6.30302 s]
/proc/loadavg: 2.07 2.02 2.00 3/75 28750
/proc/meminfo: memFree=1536248/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=0
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2006808899 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 236 195 169 0 51 0
[pid=28750] ppid=28746 vsize=140932 CPUtime=6.22
/proc/28750/stat : 28750 (xsolve) R 28746 28746 28224 0 -1 4194304 34773 0 0 0 604 18 0 0 25 0 1 0 2006808900 144314368 34423 996147200 134512640 135239763 4294956176 18446744073709551615 135015953 0 0 4096 0 0 0 0 17 1 0 0
/proc/28750/statm: 35233 34423 435 177 0 34136 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 146292
[startup+12.7027 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 28762
/proc/meminfo: memFree=1648248/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=7.23
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 375 35370 0 0 0 0 702 21 19 0 1 0 2006808899 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 238 196 169 0 51 0
[pid=28754] ppid=28746 vsize=197092 CPUtime=5.31
/proc/28754/stat : 28754 (java) S 28746 28746 28224 0 -1 0 10776 0 1 0 514 17 0 0 18 0 9 0 2006809630 201822208 8937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28754/statm: 49273 8937 2540 9 0 43856 0
[pid=28754/tid=28755] ppid=28746 vsize=197092 CPUtime=4.21
/proc/28754/task/28755/stat : 28755 (java) R 28746 28746 28224 0 -1 64 3679 0 1 0 417 4 0 0 25 0 9 0 2006809631 201822208 8937 996147200 134512640 134550740 4294955968 18446744073709551615 4126469105 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28756] ppid=28746 vsize=197092 CPUtime=0.9
/proc/28754/task/28756/stat : 28756 (java) S 28746 28746 28224 0 -1 64 5746 0 0 0 79 11 0 0 16 0 9 0 2006809633 201822208 8937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28757] ppid=28746 vsize=197092 CPUtime=0
/proc/28754/task/28757/stat : 28757 (java) S 28746 28746 28224 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006809633 201822208 8937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28758] ppid=28746 vsize=197092 CPUtime=0
/proc/28754/task/28758/stat : 28758 (java) S 28746 28746 28224 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006809633 201822208 8937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28759] ppid=28746 vsize=197092 CPUtime=0
/proc/28754/task/28759/stat : 28759 (java) S 28746 28746 28224 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2006809635 201822208 8937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28760] ppid=28746 vsize=197092 CPUtime=0.17
/proc/28754/task/28760/stat : 28760 (java) S 28746 28746 28224 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 2006809635 201822208 8937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28761] ppid=28746 vsize=197092 CPUtime=0
/proc/28754/task/28761/stat : 28761 (java) S 28746 28746 28224 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006809635 201822208 8937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28762] ppid=28746 vsize=197092 CPUtime=0
/proc/28754/task/28762/stat : 28762 (java) S 28746 28746 28224 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006809635 201822208 8937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 202452
[startup+25.5062 s]
/proc/loadavg: 2.05 2.01 2.00 3/86 28765
/proc/meminfo: memFree=1507168/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=7.23
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 375 35370 0 0 0 0 702 21 19 0 1 0 2006808899 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 238 196 169 0 51 0
[pid=28754] ppid=28746 vsize=197416 CPUtime=6.02
/proc/28754/stat : 28754 (java) S 28746 28746 28224 0 -1 0 13877 0 1 0 581 21 0 0 18 0 10 0 2006809630 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28754/statm: 49354 9388 2543 9 0 43937 0
[pid=28764] ppid=28754 vsize=5356 CPUtime=0
/proc/28764/stat : 28764 (mistral) S 28754 28746 28224 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006810243 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28764/statm: 1339 236 196 169 0 50 0
[pid=28765] ppid=28764 vsize=142072 CPUtime=11.94
/proc/28765/stat : 28765 (xsolve) R 28764 28746 28224 0 -1 4194304 35158 0 0 0 1175 19 0 0 25 0 1 0 2006810243 145481728 34586 996147200 134512640 135239763 4294955952 18446744073709551615 135020388 0 4 0 0 0 0 0 17 1 0 0
/proc/28765/statm: 35518 34586 418 177 0 34421 0
[pid=28754/tid=28755] ppid=28746 vsize=197416 CPUtime=4.63
/proc/28754/task/28755/stat : 28755 (java) S 28746 28746 28224 0 -1 64 3856 0 1 0 457 6 0 0 24 0 10 0 2006809631 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28754/tid=28756] ppid=28746 vsize=197416 CPUtime=1.15
/proc/28754/task/28756/stat : 28756 (java) S 28746 28746 28224 0 -1 64 8570 0 0 0 102 13 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28757] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28757/stat : 28757 (java) S 28746 28746 28224 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28758] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28758/stat : 28758 (java) S 28746 28746 28224 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28759] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28759/stat : 28759 (java) S 28746 28746 28224 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28760] ppid=28746 vsize=197416 CPUtime=0.21
/proc/28754/task/28760/stat : 28760 (java) S 28746 28746 28224 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28761] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28761/stat : 28761 (java) S 28746 28746 28224 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28762] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28762/stat : 28762 (java) S 28746 28746 28224 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28763] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28763/stat : 28763 (java) S 28746 28746 28224 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006810243 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 350204
[startup+51.1011 s]
/proc/loadavg: 2.03 2.01 2.00 4/86 28765
/proc/meminfo: memFree=1504864/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=7.23
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 375 35370 0 0 0 0 702 21 19 0 1 0 2006808899 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 238 196 169 0 51 0
[pid=28754] ppid=28746 vsize=197416 CPUtime=6.02
/proc/28754/stat : 28754 (java) S 28746 28746 28224 0 -1 0 13877 0 1 0 581 21 0 0 18 0 10 0 2006809630 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28754/statm: 49354 9388 2543 9 0 43937 0
[pid=28764] ppid=28754 vsize=5356 CPUtime=0
/proc/28764/stat : 28764 (mistral) S 28754 28746 28224 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006810243 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28764/statm: 1339 236 196 169 0 50 0
[pid=28765] ppid=28764 vsize=145144 CPUtime=37.29
/proc/28765/stat : 28765 (xsolve) R 28764 28746 28224 0 -1 4194304 36599 0 0 0 3710 19 0 0 25 0 1 0 2006810243 148627456 35257 996147200 134512640 135239763 4294955952 18446744073709551615 135020372 0 4 0 0 0 0 0 17 1 0 0
/proc/28765/statm: 36286 35257 418 177 0 35189 0
[pid=28754/tid=28755] ppid=28746 vsize=197416 CPUtime=4.63
/proc/28754/task/28755/stat : 28755 (java) S 28746 28746 28224 0 -1 64 3856 0 1 0 457 6 0 0 24 0 10 0 2006809631 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28754/tid=28756] ppid=28746 vsize=197416 CPUtime=1.15
/proc/28754/task/28756/stat : 28756 (java) S 28746 28746 28224 0 -1 64 8570 0 0 0 102 13 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28757] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28757/stat : 28757 (java) S 28746 28746 28224 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28758] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28758/stat : 28758 (java) S 28746 28746 28224 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28759] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28759/stat : 28759 (java) S 28746 28746 28224 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28760] ppid=28746 vsize=197416 CPUtime=0.21
/proc/28754/task/28760/stat : 28760 (java) S 28746 28746 28224 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28761] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28761/stat : 28761 (java) S 28746 28746 28224 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28762] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28762/stat : 28762 (java) S 28746 28746 28224 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28763] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28763/stat : 28763 (java) S 28746 28746 28224 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006810243 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 353276
[startup+102.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/86 28765
/proc/meminfo: memFree=1489504/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=7.23
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 375 35370 0 0 0 0 702 21 19 0 1 0 2006808899 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 238 196 169 0 51 0
[pid=28754] ppid=28746 vsize=197416 CPUtime=6.02
/proc/28754/stat : 28754 (java) S 28746 28746 28224 0 -1 0 13877 0 1 0 581 21 0 0 18 0 10 0 2006809630 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
[pid=28764] ppid=28754 vsize=5356 CPUtime=0
/proc/28764/stat : 28764 (mistral) S 28754 28746 28224 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006810243 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28764/statm: 1339 236 196 169 0 50 0
[pid=28765] ppid=28764 vsize=216584 CPUtime=180.3
/proc/28765/stat : 28765 (xsolve) R 28764 28746 28224 0 -1 4194304 59804 0 0 0 17995 35 0 0 25 0 1 0 2006810243 221782016 51291 996147200 134512640 135239763 4294955952 18446744073709551615 135020403 0 4 0 0 0 0 0 17 1 0 0
/proc/28765/statm: 54146 51291 418 177 0 53049 0
[pid=28754/tid=28755] ppid=28746 vsize=197416 CPUtime=4.63
/proc/28754/task/28755/stat : 28755 (java) S 28746 28746 28224 0 -1 64 3856 0 1 0 457 6 0 0 24 0 10 0 2006809631 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28754/tid=28756] ppid=28746 vsize=197416 CPUtime=1.15
/proc/28754/task/28756/stat : 28756 (java) S 28746 28746 28224 0 -1 64 8570 0 0 0 102 13 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28757] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28757/stat : 28757 (java) S 28746 28746 28224 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28758] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28758/stat : 28758 (java) S 28746 28746 28224 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28759] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28759/stat : 28759 (java) S 28746 28746 28224 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28760] ppid=28746 vsize=197416 CPUtime=0.21
/proc/28754/task/28760/stat : 28760 (java) S 28746 28746 28224 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28761] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28761/stat : 28761 (java) S 28746 28746 28224 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28762] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28762/stat : 28762 (java) S 28746 28746 28224 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28763] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28763/stat : 28763 (java) S 28746 28746 28224 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006810243 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 193.55
Current children cumulated vsize (KiB) 424716
[startup+198.503 s]
/proc/loadavg: 2.12 2.06 2.02 3/97 28850
/proc/meminfo: memFree=1314312/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=7.23
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 375 35370 0 0 0 0 702 21 19 0 1 0 2006808899 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 238 196 169 0 51 0
[pid=28754] ppid=28746 vsize=197416 CPUtime=6.02
/proc/28754/stat : 28754 (java) S 28746 28746 28224 0 -1 0 13877 0 1 0 581 21 0 0 18 0 10 0 2006809630 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28754/statm: 49354 9388 2543 9 0 43937 0
[pid=28764] ppid=28754 vsize=5356 CPUtime=0
/proc/28764/stat : 28764 (mistral) S 28754 28746 28224 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006810243 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28764/statm: 1339 236 196 169 0 50 0
[pid=28765] ppid=28764 vsize=218960 CPUtime=183.47
/proc/28765/stat : 28765 (xsolve) R 28764 28746 28224 0 -1 4194304 60862 0 0 0 18311 36 0 0 25 0 1 0 2006810243 224215040 52349 996147200 134512640 135239763 4294955952 18446744073709551615 135020310 0 4 0 0 0 0 0 17 1 0 0
/proc/28765/statm: 54740 52349 418 177 0 53643 0
[pid=28754/tid=28755] ppid=28746 vsize=197416 CPUtime=4.63
/proc/28754/task/28755/stat : 28755 (java) S 28746 28746 28224 0 -1 64 3856 0 1 0 457 6 0 0 24 0 10 0 2006809631 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28754/tid=28756] ppid=28746 vsize=197416 CPUtime=1.15
/proc/28754/task/28756/stat : 28756 (java) S 28746 28746 28224 0 -1 64 8570 0 0 0 102 13 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28757] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28757/stat : 28757 (java) S 28746 28746 28224 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28758] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28758/stat : 28758 (java) S 28746 28746 28224 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28759] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28759/stat : 28759 (java) S 28746 28746 28224 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28760] ppid=28746 vsize=197416 CPUtime=0.21
/proc/28754/task/28760/stat : 28760 (java) S 28746 28746 28224 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28761] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28761/stat : 28761 (java) S 28746 28746 28224 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28762] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28762/stat : 28762 (java) S 28746 28746 28224 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28763] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28763/stat : 28763 (java) S 28746 28746 28224 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006810243 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.72
Current children cumulated vsize (KiB) 427092
[startup+200.102 s]
/proc/loadavg: 2.12 2.06 2.02 3/97 28850
/proc/meminfo: memFree=1311432/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=7.23
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 375 35370 0 0 0 0 702 21 19 0 1 0 2006808899 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 238 196 169 0 51 0
[pid=28754] ppid=28746 vsize=197416 CPUtime=6.02
/proc/28754/stat : 28754 (java) S 28746 28746 28224 0 -1 0 13877 0 1 0 581 21 0 0 18 0 10 0 2006809630 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28754/statm: 49354 9388 2543 9 0 43937 0
[pid=28764] ppid=28754 vsize=5356 CPUtime=0
/proc/28764/stat : 28764 (mistral) S 28754 28746 28224 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006810243 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28764/statm: 1339 236 196 169 0 50 0
[pid=28765] ppid=28764 vsize=220544 CPUtime=185.05
/proc/28765/stat : 28765 (xsolve) R 28764 28746 28224 0 -1 4194304 61643 0 0 0 18469 36 0 0 25 0 1 0 2006810243 225837056 53130 996147200 134512640 135239763 4294955952 18446744073709551615 135067226 0 4 0 0 0 0 0 17 1 0 0
/proc/28765/statm: 55136 53130 418 177 0 54039 0
[pid=28754/tid=28755] ppid=28746 vsize=197416 CPUtime=4.63
/proc/28754/task/28755/stat : 28755 (java) S 28746 28746 28224 0 -1 64 3856 0 1 0 457 6 0 0 24 0 10 0 2006809631 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28754/tid=28756] ppid=28746 vsize=197416 CPUtime=1.15
/proc/28754/task/28756/stat : 28756 (java) S 28746 28746 28224 0 -1 64 8570 0 0 0 102 13 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28757] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28757/stat : 28757 (java) S 28746 28746 28224 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28758] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28758/stat : 28758 (java) S 28746 28746 28224 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28759] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28759/stat : 28759 (java) S 28746 28746 28224 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28760] ppid=28746 vsize=197416 CPUtime=0.21
/proc/28754/task/28760/stat : 28760 (java) S 28746 28746 28224 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28761] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28761/stat : 28761 (java) S 28746 28746 28224 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28762] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28762/stat : 28762 (java) S 28746 28746 28224 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28763] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28763/stat : 28763 (java) S 28746 28746 28224 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006810243 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.3
Current children cumulated vsize (KiB) 428676
[startup+200.502 s]
/proc/loadavg: 2.12 2.06 2.02 3/97 28850
/proc/meminfo: memFree=1307208/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=7.23
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 375 35370 0 0 0 0 702 21 19 0 1 0 2006808899 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 238 196 169 0 51 0
[pid=28754] ppid=28746 vsize=197416 CPUtime=6.02
/proc/28754/stat : 28754 (java) S 28746 28746 28224 0 -1 0 13879 0 1 0 581 21 0 0 18 0 10 0 2006809630 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28754/statm: 49354 9388 2543 9 0 43937 0
[pid=28764] ppid=28754 vsize=5356 CPUtime=0
/proc/28764/stat : 28764 (mistral) S 28754 28746 28224 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006810243 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28764/statm: 1339 236 196 169 0 50 0
[pid=28765] ppid=28764 vsize=220676 CPUtime=185.44
/proc/28765/stat : 28765 (xsolve) R 28764 28746 28224 0 -1 4194304 61758 0 0 0 18508 36 0 0 25 0 1 0 2006810243 225972224 53245 996147200 134512640 135239763 4294955952 18446744073709551615 2926082 0 4 0 0 0 0 0 17 1 0 0
/proc/28765/statm: 55169 53245 425 177 0 54072 0
[pid=28754/tid=28755] ppid=28746 vsize=197416 CPUtime=4.63
/proc/28754/task/28755/stat : 28755 (java) S 28746 28746 28224 0 -1 64 3858 0 1 0 457 6 0 0 16 0 10 0 2006809631 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28754/tid=28756] ppid=28746 vsize=197416 CPUtime=1.15
/proc/28754/task/28756/stat : 28756 (java) S 28746 28746 28224 0 -1 64 8570 0 0 0 102 13 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28757] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28757/stat : 28757 (java) S 28746 28746 28224 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28758] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28758/stat : 28758 (java) S 28746 28746 28224 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28759] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28759/stat : 28759 (java) S 28746 28746 28224 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28760] ppid=28746 vsize=197416 CPUtime=0.21
/proc/28754/task/28760/stat : 28760 (java) S 28746 28746 28224 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28761] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28761/stat : 28761 (java) S 28746 28746 28224 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28762] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28762/stat : 28762 (java) S 28746 28746 28224 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28763] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28763/stat : 28763 (java) S 28746 28746 28224 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006810243 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.69
Current children cumulated vsize (KiB) 428808
[startup+200.702 s]
/proc/loadavg: 2.12 2.06 2.02 3/97 28850
/proc/meminfo: memFree=1307208/2055920 swapFree=4180004/4192956
[pid=28746] ppid=28744 vsize=5360 CPUtime=7.23
/proc/28746/stat : 28746 (hydra) S 28744 28746 28224 0 -1 4194304 375 35370 0 0 0 0 702 21 19 0 1 0 2006808899 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28746/statm: 1340 238 196 169 0 51 0
[pid=28754] ppid=28746 vsize=197416 CPUtime=6.02
/proc/28754/stat : 28754 (java) S 28746 28746 28224 0 -1 0 13879 0 1 0 581 21 0 0 18 0 10 0 2006809630 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28754/statm: 49354 9388 2543 9 0 43937 0
[pid=28764] ppid=28754 vsize=5356 CPUtime=0
/proc/28764/stat : 28764 (mistral) S 28754 28746 28224 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2006810243 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 238487659332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28764/statm: 1339 236 196 169 0 50 0
[pid=28765] ppid=28764 vsize=25064 CPUtime=185.64
/proc/28765/stat : 28765 (xsolve) R 28764 28746 28224 0 -1 4194304 61764 0 0 0 18525 39 0 0 25 0 1 0 2006810243 25665536 5521 996147200 134512640 135239763 4294955952 18446744073709551615 2924613 0 4 0 0 0 0 0 17 1 0 0
/proc/28765/statm: 6266 5521 431 177 0 5169 0
[pid=28754/tid=28755] ppid=28746 vsize=197416 CPUtime=4.63
/proc/28754/task/28755/stat : 28755 (java) S 28746 28746 28224 0 -1 64 3858 0 1 0 457 6 0 0 16 0 10 0 2006809631 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28754/tid=28756] ppid=28746 vsize=197416 CPUtime=1.15
/proc/28754/task/28756/stat : 28756 (java) S 28746 28746 28224 0 -1 64 8570 0 0 0 102 13 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28757] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28757/stat : 28757 (java) S 28746 28746 28224 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28758] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28758/stat : 28758 (java) S 28746 28746 28224 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006809633 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28759] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28759/stat : 28759 (java) S 28746 28746 28224 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28760] ppid=28746 vsize=197416 CPUtime=0.21
/proc/28754/task/28760/stat : 28760 (java) S 28746 28746 28224 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28761] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28761/stat : 28761 (java) S 28746 28746 28224 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28762] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28762/stat : 28762 (java) S 28746 28746 28224 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2006809635 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28754/tid=28763] ppid=28746 vsize=197416 CPUtime=0
/proc/28754/task/28763/stat : 28763 (java) S 28746 28746 28224 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006810243 202153984 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.89
Current children cumulated vsize (KiB) 233196
Child status: 0
Real time (s): 200.788
CPU time (s): 198.963
CPU user time (s): 198.12
CPU system time (s): 0.842871
CPU usage (%): 99.0908
Max. virtual memory (cumulated for all children) (KiB): 428808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.12
system time used= 0.842871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111799
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= 13192
involuntary context switches= 19122
runsolver used 0.274958 second user time and 0.692894 second system time
The end
Begin job on node23 at 2008-07-05 19:19:07
IDJOB=1093863
IDBENCH=58731
IDSOLVER=365
FILE ID=node23/1093863-1215278347
PBS_JOBID= 7882250
Free space on /tmp= 66508 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/queens/normalized-queens-180.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093863-1215278347/watcher-1093863-1215278347 -o /tmp/evaluation-result-1093863-1215278347/solver-1093863-1215278347 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1093863-1215278347.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c14abf4d20a38dc3ddd30b1ce4c8122e
RANDOM SEED=2111329997
node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1673192 kB
Buffers: 40780 kB
Cached: 264872 kB
SwapCached: 7012 kB
Active: 219260 kB
Inactive: 110232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1673192 kB
SwapTotal: 4192956 kB
SwapFree: 4180004 kB
Dirty: 26608 kB
Writeback: 0 kB
Mapped: 31056 kB
Slab: 38500 kB
Committed_AS: 3473980 kB
PageTables: 1816 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66492 MiB
End job on node23 at 2008-07-05 19:22:28