Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.08 | 1800.62 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-22s.smv.opb |
MD5SUM | 3fb2d144eb047d6ea626acdee43b1069 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.152976 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5985 |
Total number of constraints | 15365 |
Number of constraints which are clauses | 14013 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1352 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 165 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 546 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.05 c PB-wave - v2 0.00/0.05 c command line = ./PB-wave 0.00/0.05 c seed = 30844691 0.00/0.05 c cutoff = 1000000 0.00/0.05 c tries = 1000000 0.00/0.05 c heuristic = c best, noise 50 / 100 0.00/0.05 #var 5985 #con 15365 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 17955 0.00/0.05 c numatom = 5985, numclause = 15365, numliterals = 52791 0.00/0.05 c wff read in 0.00/0.05 c 0.00/0.05 c lowest final avg noise noise total avg mean mean 0.00/0.05 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.05 c this this this this this this success success until std 0.00/0.05 c try try try try try try rate tries assign dev 0.00/0.05 c 2.09/2.11 c 162 249 269.83 48.61 5.55 1000000 0 4.09/4.18 c 154 232 269.31 46.30 5.82 1000000 0 6.19/6.24 c 158 276 268.45 44.41 6.04 1000000 0 8.28/8.34 c 146 237 264.93 40.97 6.47 1000000 0 10.38/10.40 c 147 207 267.04 51.60 5.17 1000000 0 12.38/12.48 c 157 256 267.03 41.49 6.44 1000000 0 14.48/14.53 c 155 240 275.97 47.92 5.76 1000000 0 16.58/16.61 c 152 285 266.57 49.16 5.42 1000000 0 18.59/18.70 c 125 238 264.93 52.00 5.10 1000000 0 20.68/20.74 c 168 231 276.07 47.70 5.79 1000000 0 22.78/22.82 c 158 232 266.55 47.92 5.56 1000000 0 24.78/24.88 c 141 270 272.41 47.08 5.79 1000000 0 26.88/26.95 c 146 286 267.47 48.69 5.49 1000000 0 28.98/29.01 c 159 210 267.62 51.95 5.15 1000000 0 30.98/31.07 c 154 240 266.28 44.37 6.00 1000000 0 33.08/33.13 c 154 260 273.27 43.66 6.26 1000000 0 35.18/35.20 c 152 278 269.68 48.28 5.59 1000000 0 37.18/37.28 c 152 320 271.07 42.39 6.39 1000000 0 39.28/39.34 c 163 267 272.75 52.06 5.24 1000000 0 41.37/41.41 c 147 254 272.46 51.08 5.33 1000000 0 43.37/43.48 c 161 301 276.09 47.96 5.76 1000000 0 45.47/45.53 c 159 235 272.46 48.78 5.59 1000000 0 47.57/47.60 c 150 279 262.54 48.46 5.42 1000000 0 49.57/49.66 c 156 250 271.87 50.74 5.36 1000000 0 51.68/51.71 c 154 246 276.96 45.68 6.06 1000000 0 53.67/53.77 c 142 254 275.22 51.75 5.32 1000000 0 55.77/55.83 c 172 225 272.95 46.91 5.82 1000000 0 57.77/57.88 c 154 293 269.97 49.06 5.50 1000000 0 59.87/59.96 c 161 263 271.35 49.42 5.49 1000000 0 61.97/62.02 c 154 277 274.42 48.44 5.67 1000000 0 63.97/64.07 c 162 251 276.05 50.26 5.49 1000000 0 66.07/66.11 c 150 265 275.82 51.96 5.31 1000000 0 68.07/68.16 c 137 202 270.73 51.23 5.28 1000000 0 70.16/70.24 c 155 241 269.15 42.71 6.30 1000000 0 72.26/72.30 c 158 273 271.68 49.66 5.47 1000000 0 74.26/74.35 c 154 256 270.28 40.93 6.60 1000000 0 76.36/76.40 c 142 280 274.15 48.74 5.62 1000000 0 78.36/78.47 c 137 249 264.62 51.44 5.14 1000000 0 80.46/80.54 c 159 286 270.45 43.86 6.17 1000000 0 82.56/82.60 c 152 248 269.66 52.53 5.13 1000000 0 84.57/84.65 c 149 295 268.04 54.24 4.94 1000000 0 86.66/86.72 c 158 288 271.35 42.93 6.32 1000000 0 88.66/88.77 c 149 233 272.86 46.69 5.84 1000000 0 90.76/90.82 c 151 232 274.23 47.90 5.73 1000000 0 92.76/92.87 c 173 277 277.66 46.59 5.96 1000000 0 94.86/94.96 c 163 272 267.95 44.06 6.08 1000000 0 96.96/97.04 c 159 232 265.21 46.86 5.66 1000000 0 99.06/99.13 c 151 296 265.08 48.02 5.52 1000000 0 101.06/101.19 c 137 266 267.58 47.15 5.67 1000000 0 103.16/103.24 c 140 253 271.30 41.86 6.48 1000000 0 105.25/105.31 c 148 273 263.21 43.04 6.12 1000000 0 107.35/107.40 c 155 237 270.02 54.46 4.96 1000000 0 109.35/109.47 c 146 287 266.70 48.83 5.46 1000000 0 111.45/111.52 c 147 279 273.43 53.24 5.14 1000000 0 113.45/113.56 c 156 272 273.70 46.93 5.83 1000000 0 115.55/115.64 c 164 276 269.91 50.36 5.36 1000000 0 117.66/117.72 c 153 261 272.57 46.81 5.82 1000000 0 119.65/119.78 c 173 228 277.55 45.73 6.07 1000000 0 121.75/121.85 c 153 239 267.36 48.13 5.56 1000000 0 123.85/123.93 c 146 220 265.38 52.29 5.08 1000000 0 125.85/125.99 c 151 272 267.85 50.23 5.33 1000000 0 127.95/128.05 c 151 232 276.65 45.73 6.05 1000000 0 130.05/130.10 c 146 279 275.82 47.58 5.80 1000000 0 132.05/132.18 c 129 282 264.90 44.37 5.97 1000000 0 134.15/134.22 c 151 232 271.80 54.13 5.02 1000000 0 136.15/136.28 c 167 244 275.82 41.61 6.63 1000000 0 138.24/138.33 c 145 311 271.27 53.17 5.10 1000000 0 140.24/140.38 c 154 224 273.79 46.79 5.85 1000000 0 142.34/142.45 c 160 253 265.33 48.76 5.44 1000000 0 144.44/144.51 c 152 268 266.13 47.79 5.57 1000000 0 146.44/146.59 c 156 321 272.95 50.01 5.46 1000000 0 148.54/148.64 c 165 231 276.11 55.35 4.99 1000000 0 150.65/150.71 c 161 226 267.10 45.46 5.87 1000000 0 152.64/152.78 c 154 233 272.78 52.83 5.16 1000000 0 154.74/154.84 c 151 214 268.04 47.69 5.62 1000000 0 156.84/156.91 c 166 253 276.55 52.68 5.25 1000000 0 158.84/158.98 c 165 232 272.75 47.70 5.72 1000000 0 160.94/161.04 c 154 269 272.49 47.39 5.75 1000000 0 163.04/163.11 c 145 325 263.76 49.78 5.30 1000000 0 165.04/165.16 c 138 230 275.19 48.97 5.62 1000000 0 167.14/167.23 c 143 266 268.12 49.43 5.42 1000000 0 169.14/169.29 c 159 236 275.44 56.23 4.90 1000000 0 171.23/171.37 c 147 247 264.21 47.36 5.58 1000000 0 173.33/173.45 c 138 252 268.73 44.53 6.04 1000000 0 175.43/175.51 c 141 284 272.22 46.76 5.82 1000000 0 177.43/177.59 c 147 190 258.85 50.90 5.09 1000000 0 179.53/179.67 c 155 249 271.35 47.53 5.71 1000000 0 181.63/181.74 c 147 362 270.71 50.00 5.41 1000000 0 183.73/183.80 c 138 253 271.36 47.26 5.74 1000000 0 185.74/185.85 c 163 219 271.90 48.78 5.57 1000000 0 187.73/187.88 c 158 294 274.48 47.18 5.82 1000000 0 189.83/189.95 c 154 192 279.75 48.75 5.74 1000000 0 191.93/192.00 c 152 243 277.29 48.61 5.70 1000000 0 193.93/194.08 c 153 250 264.09 48.85 5.41 1000000 0 196.03/196.17 c 153 298 263.78 48.82 5.40 1000000 0 198.13/198.23 c 148 221 271.55 50.64 5.36 1000000 0 200.23/200.30 c 168 324 273.84 46.71 5.86 1000000 0 202.23/202.35 c 151 294 274.28 48.90 5.61 1000000 0 204.32/204.42 c 142 283 265.07 50.74 5.22 1000000 0 206.32/206.49 c 156 259 269.34 42.71 6.31 1000000 0 208.42/208.55 c 163 317 274.12 47.35 5.79 1000000 0 210.52/210.64 c 156 230 266.64 52.57 5.07 1000000 0 212.62/212.73 c 158 293 266.55 50.92 5.23 1000000 0 214.62/214.77 c 168 334 278.02 46.13 6.03 1000000 0 216.72/216.83 c 162 258 269.95 49.76 5.43 1000000 0 218.73/218.89 c 153 232 274.11 47.73 5.74 1000000 0 220.82/220.96 c 155 273 275.21 46.03 5.98 1000000 0 222.92/223.04 c 157 218 267.98 50.23 5.34 1000000 0 225.02/225.11 c 156 306 273.55 46.51 5.88 1000000 0 227.02/227.17 c 156 293 273.62 51.00 5.36 1000000 0 229.12/229.25 c 145 315 269.42 44.40 6.07 1000000 0 231.22/231.30 c 150 363 272.47 48.98 5.56 1000000 0 233.22/233.36 c 161 271 274.48 48.11 5.70 1000000 0 235.32/235.41 c 168 240 275.04 44.29 6.21 1000000 0 237.31/237.47 c 146 225 275.89 51.10 5.40 1000000 0 239.41/239.54 c 169 264 275.72 48.54 5.68 1000000 0 241.51/241.61 c 145 231 260.91 43.94 5.94 1000000 0 243.51/243.67 c 149 270 268.20 47.10 5.69 1000000 0 245.61/245.72 c 161 253 274.94 49.81 5.52 1000000 0 247.61/247.76 c 174 263 283.02 46.27 6.12 1000000 0 249.71/249.82 c 154 312 280.77 45.34 6.19 1000000 0 251.72/251.89 c 147 221 273.03 51.03 5.35 1000000 0 253.81/253.96 c 155 270 265.25 44.12 6.01 1000000 0 255.91/256.05 c 156 250 260.60 42.11 6.19 1000000 0 258.01/258.12 c 157 295 276.53 41.94 6.59 1000000 0 260.11/260.20 c 148 297 270.55 51.88 5.21 1000000 0 262.11/262.27 c 148 255 268.41 45.55 5.89 1000000 0 264.21/264.32 c 148 188 274.42 43.28 6.34 1000000 0 266.21/266.39 c 158 306 264.75 43.84 6.04 1000000 0 268.31/268.46 c 166 301 274.44 46.54 5.90 1000000 0 270.41/270.53 c 144 303 270.70 46.52 5.82 1000000 0 272.40/272.57 c 165 260 273.65 50.14 5.46 1000000 0 274.50/274.62 c 154 247 271.63 51.77 5.25 1000000 0 276.50/276.67 c 159 269 279.35 43.68 6.40 1000000 0 278.60/278.76 c 152 256 269.67 47.76 5.65 1000000 0 280.70/280.83 c 141 283 265.97 45.92 5.79 1000000 0 282.70/282.89 c 159 231 269.87 49.19 5.49 1000000 0 284.81/284.97 c 152 249 264.27 45.06 5.87 1000000 0 286.91/287.03 c 167 240 279.25 51.79 5.39 1000000 0 288.90/289.08 c 164 259 272.32 43.82 6.21 1000000 0 291.00/291.13 c 159 188 282.32 54.48 5.18 1000000 0 293.00/293.18 c 152 217 273.56 50.68 5.40 1000000 0 295.10/295.24 c 150 239 267.77 41.82 6.40 1000000 0 297.20/297.30 c 153 254 272.44 44.74 6.09 1000000 0 299.20/299.36 c 157 236 274.84 51.38 5.35 1000000 0 301.20/301.40 c 169 275 276.18 45.18 6.11 1000000 0 303.29/303.48 c 144 202 268.77 50.26 5.35 1000000 0 305.39/305.53 c 151 289 267.39 48.32 5.53 1000000 0 307.49/307.60 c 154 267 268.85 47.27 5.69 1000000 0 309.49/309.66 c 145 271 272.60 45.86 5.94 1000000 0 311.59/311.73 c 152 290 268.23 47.84 5.61 1000000 0 313.59/313.78 c 175 272 276.95 48.24 5.74 1000000 0 315.69/315.85 c 141 223 265.30 42.35 6.26 1000000 0 317.80/317.92 c 143 260 260.63 43.15 6.04 1000000 0 319.79/319.97 c 168 251 279.57 53.60 5.22 1000000 0 321.89/322.02 c 154 220 272.11 45.91 5.93 1000000 0 323.89/324.06 c 138 244 273.10 48.99 5.57 1000000 0 325.99/326.14 c 152 242 270.31 47.52 5.69 1000000 0 327.99/328.19 c 147 197 278.97 45.44 6.14 1000000 0 330.09/330.24 c 167 286 275.62 49.41 5.58 1000000 0 332.09/332.29 c 162 271 271.96 45.99 5.91 1000000 0 334.19/334.35 c 149 239 268.34 45.65 5.88 1000000 0 336.28/336.43 c 126 248 264.63 48.73 5.43 1000000 0 338.28/338.47 c 161 289 271.01 48.27 5.61 1000000 0 340.38/340.54 c 138 254 273.93 52.53 5.21 1000000 0 342.38/342.57 c 165 282 279.48 51.51 5.43 1000000 0 344.48/344.64 c 164 235 267.40 40.92 6.53 1000000 0 346.58/346.70 c 148 270 265.08 46.45 5.71 1000000 0 348.59/348.77 c 149 230 277.90 53.10 5.23 1000000 0 350.69/350.83 c 161 274 271.73 42.63 6.37 1000000 0 352.78/352.90 c 159 297 274.28 52.08 5.27 1000000 0 354.78/354.96 c 149 280 262.99 47.36 5.55 1000000 0 356.88/357.04 c 144 247 267.91 48.71 5.50 1000000 0 358.98/359.10 c 169 291 275.32 47.90 5.75 1000000 0 360.98/361.17 c 157 303 270.44 50.03 5.41 1000000 0 363.08/363.22 c 150 306 276.18 58.11 4.75 1000000 0 365.08/365.27 c 155 212 273.52 48.09 5.69 1000000 0 367.18/367.35 c 154 302 264.21 49.63 5.32 1000000 0 369.27/369.40 c 143 256 267.72 47.63 5.62 1000000 0 371.27/371.48 c 162 243 270.59 47.45 5.70 1000000 0 373.37/373.55 c 162 304 273.01 44.61 6.12 1000000 0 375.47/375.61 c 152 263 271.75 42.32 6.42 1000000 0 377.47/377.66 c 164 278 273.98 48.99 5.59 1000000 0 379.57/379.72 c 163 281 271.11 45.89 5.91 1000000 0 381.58/381.78 c 154 263 273.66 45.27 6.04 1000000 0 383.68/383.87 c 149 281 264.27 50.87 5.20 1000000 0 385.77/385.93 c 150 286 269.06 50.98 5.28 1000000 0 387.77/387.98 c 152 288 276.20 50.57 5.46 1000000 0 389.87/390.04 c 149 243 275.75 46.21 5.97 1000000 0 391.87/392.10 c 159 256 273.86 48.69 5.62 1000000 0 393.97/394.15 c 167 255 269.90 46.15 5.85 1000000 0 396.07/396.22 c 137 248 273.34 51.36 5.32 1000000 0 398.07/398.29 c 153 249 274.23 52.45 5.23 1000000 0 400.17/400.34 c 160 302 280.32 50.68 5.53 1000000 0 402.26/402.40 c 146 260 273.87 51.71 5.30 1000000 0 404.26/404.46 c 147 222 270.69 51.43 5.26 1000000 0 406.36/406.52 c 157 305 275.77 44.51 6.20 1000000 0 408.36/408.58 c 163 224 273.14 41.89 6.52 1000000 0 410.46/410.65 c 164 312 273.36 42.63 6.41 1000000 0 412.56/412.72 c 161 173 268.47 44.54 6.03 1000000 0 414.66/414.82 c 155 239 269.57 41.01 6.57 1000000 0 416.67/416.89 c 162 239 271.19 42.31 6.41 1000000 0 418.76/418.97 c 166 256 277.17 43.61 6.35 1000000 0 420.86/421.04 c 155 274 267.15 50.46 5.29 1000000 0 422.96/423.10 c 158 266 275.31 48.75 5.65 1000000 0 424.96/425.18 c 160 192 270.61 47.38 5.71 1000000 0 427.06/427.23 c 162 273 272.55 44.06 6.19 1000000 0 429.16/429.30 c 160 247 266.26 44.33 6.01 1000000 0 431.16/431.37 c 150 337 263.41 44.31 5.94 1000000 0 433.26/433.45 c 149 248 263.94 42.72 6.18 1000000 0 435.36/435.51 c 147 277 268.04 46.70 5.74 1000000 0 437.35/437.57 c 137 275 263.20 46.15 5.70 1000000 0 439.45/439.63 c 158 238 271.80 47.93 5.67 1000000 0 441.45/441.69 c 152 355 268.84 41.95 6.41 1000000 0 443.55/443.74 c 162 292 274.36 45.13 6.08 1000000 0 445.65/445.82 c 155 277 267.00 49.16 5.43 1000000 0 447.65/447.88 c 148 262 273.78 54.63 5.01 1000000 0 449.76/449.95 c 142 283 264.82 50.59 5.24 1000000 0 451.86/452.01 c 155 240 275.16 55.22 4.98 1000000 0 453.85/454.07 c 159 317 273.70 43.34 6.32 1000000 0 455.95/456.14 c 165 305 269.94 48.40 5.58 1000000 0 457.95/458.18 c 153 293 273.68 51.94 5.27 1000000 0 460.05/460.24 c 150 241 272.14 50.46 5.39 1000000 0 462.15/462.30 c 154 280 267.47 44.92 5.95 1000000 0 464.15/464.35 c 164 262 271.72 41.63 6.53 1000000 0 466.25/466.43 c 149 198 266.39 44.23 6.02 1000000 0 468.35/468.51 c 163 318 265.66 45.51 5.84 1000000 0 470.34/470.56 c 164 288 276.28 46.44 5.95 1000000 0 472.44/472.61 c 158 261 280.66 49.70 5.65 1000000 0 474.44/474.68 c 161 274 270.18 47.49 5.69 1000000 0 476.54/476.73 c 156 260 264.02 45.57 5.79 1000000 0 478.64/478.82 c 150 221 264.55 49.95 5.30 1000000 0 480.64/480.88 c 151 283 269.73 45.11 5.98 1000000 0 482.75/482.94 c 150 300 270.11 45.07 5.99 1000000 0 484.85/485.00 c 133 306 267.10 46.82 5.71 1000000 0 486.84/487.06 c 144 251 268.17 44.95 5.97 1000000 0 488.94/489.11 c 153 220 277.57 48.07 5.77 1000000 0 490.94/491.15 c 151 290 278.60 56.78 4.91 1000000 0 493.04/493.23 c 159 314 269.89 47.86 5.64 1000000 0 495.14/495.31 c 160 293 273.21 48.09 5.68 1000000 0 497.14/497.35 c 170 265 276.20 47.90 5.77 1000000 0 499.24/499.42 c 157 269 274.19 53.12 5.16 1000000 0 501.23/501.48 c 153 226 271.06 46.54 5.82 1000000 0 503.33/503.54 c 147 263 275.27 43.93 6.27 1000000 0 505.33/505.59 c 160 284 271.72 47.53 5.72 1000000 0 507.43/507.66 c 160 247 269.86 50.09 5.39 1000000 0 509.53/509.73 c 154 278 274.34 53.11 5.17 1000000 0 511.53/511.79 c 154 252 274.72 51.67 5.32 1000000 0 513.63/513.85 c 158 249 272.93 46.85 5.83 1000000 0 515.74/515.93 c 143 298 262.54 45.94 5.71 1000000 0 517.73/517.99 c 169 244 268.44 45.43 5.91 1000000 0 519.83/520.05 c 149 256 271.39 48.42 5.60 1000000 0 521.83/522.09 c 166 299 280.28 53.08 5.28 1000000 0 523.93/524.16 c 152 252 269.83 54.08 4.99 1000000 0 526.03/526.21 c 137 239 271.69 49.76 5.46 1000000 0 528.03/528.29 c 153 228 268.28 49.34 5.44 1000000 0 530.13/530.35 c 166 253 272.93 45.23 6.03 1000000 0 532.13/532.39 c 161 328 276.95 48.56 5.70 1000000 0 534.22/534.46 c 156 302 272.12 45.10 6.03 1000000 0 536.32/536.52 c 140 256 271.27 48.56 5.59 1000000 0 538.32/538.58 c 155 332 278.07 53.01 5.25 1000000 0 540.42/540.62 c 159 198 277.02 51.87 5.34 1000000 0 542.42/542.68 c 167 277 275.36 44.88 6.13 1000000 0 544.52/544.73 c 152 253 274.72 44.22 6.21 1000000 0 546.62/546.81 c 149 308 266.00 43.38 6.13 1000000 0 548.63/548.86 c 153 286 273.88 46.09 5.94 1000000 0 550.72/550.92 c 157 222 263.63 47.90 5.50 1000000 0 552.72/552.97 c 151 248 263.88 46.25 5.71 1000000 0 554.82/555.04 c 161 250 265.14 49.48 5.36 1000000 0 556.82/557.09 c 148 248 269.78 46.14 5.85 1000000 0 558.92/559.16 c 148 241 267.98 43.08 6.22 1000000 0 561.02/561.21 c 149 292 273.01 53.44 5.11 1000000 0 563.02/563.26 c 150 266 269.59 47.12 5.72 1000000 0 565.12/565.32 c 154 269 270.46 46.20 5.85 1000000 0 567.11/567.36 c 172 239 276.42 47.22 5.85 1000000 0 569.21/569.44 c 150 243 270.23 49.47 5.46 1000000 0 571.21/571.49 c 164 264 276.69 41.37 6.69 1000000 0 573.31/573.55 c 165 268 274.95 45.79 6.01 1000000 0 575.41/575.63 c 155 259 271.89 48.34 5.62 1000000 0 577.41/577.68 c 144 287 271.23 48.54 5.59 1000000 0 579.52/579.73 c 164 238 270.67 50.19 5.39 1000000 0 581.51/581.79 c 146 272 272.83 52.69 5.18 1000000 0 583.61/583.86 c 148 268 270.21 50.51 5.35 1000000 0 585.71/585.91 c 158 246 274.97 52.05 5.28 1000000 0 587.71/587.98 c 148 268 269.85 47.37 5.70 1000000 0 589.81/590.03 c 170 315 281.71 46.62 6.04 1000000 0 591.81/592.09 c 159 271 276.92 51.18 5.41 1000000 0 593.91/594.16 c 136 249 269.26 44.81 6.01 1000000 0 596.01/596.22 c 161 223 270.55 45.21 5.98 1000000 0 598.01/598.28 c 164 246 268.70 46.22 5.81 1000000 0 600.10/600.35 c 135 216 266.08 53.72 4.95 1000000 0 602.20/602.43 c 153 294 263.90 44.14 5.98 1000000 0 604.30/604.51 c 136 283 268.73 49.96 5.38 1000000 0 606.30/606.57 c 167 281 273.33 48.98 5.58 1000000 0 608.40/608.60 c 164 242 277.90 41.82 6.65 1000000 0 610.40/610.66 c 169 414 273.96 49.28 5.56 1000000 0 612.41/612.70 c 163 272 273.33 41.57 6.58 1000000 0 614.50/614.76 c 162 235 269.33 48.41 5.56 1000000 0 616.60/616.81 c 153 290 270.73 46.52 5.82 1000000 0 618.60/618.86 c 162 219 278.61 48.98 5.69 1000000 0 620.70/620.91 c 165 204 274.29 45.01 6.09 1000000 0 622.70/622.99 c 153 252 276.87 51.86 5.34 1000000 0 624.80/625.04 c 161 262 278.70 52.95 5.26 1000000 0 626.80/627.09 c 157 297 269.72 48.02 5.62 1000000 0 628.90/629.15 c 156 250 271.55 43.35 6.26 1000000 0 631.00/631.20 c 163 288 276.84 49.28 5.62 1000000 0 632.99/633.28 c 134 317 266.58 48.72 5.47 1000000 0 635.09/635.34 c 157 224 275.02 52.64 5.22 1000000 0 637.19/637.40 c 171 290 274.01 50.18 5.46 1000000 0 639.19/639.47 c 159 248 266.37 45.85 5.81 1000000 0 641.29/641.55 c 157 226 272.62 48.66 5.60 1000000 0 643.39/643.63 c 162 320 273.99 48.65 5.63 1000000 0 645.40/645.69 c 153 221 273.06 44.78 6.10 1000000 0 647.49/647.76 c 153 225 268.74 53.28 5.04 1000000 0 649.59/649.83 c 173 263 274.70 44.77 6.14 1000000 0 651.69/651.90 c 147 282 268.43 56.64 4.74 1000000 0 653.69/653.96 c 160 227 265.67 46.01 5.77 1000000 0 655.79/656.02 c 145 268 269.90 49.67 5.43 1000000 0 657.79/658.08 c 155 236 273.90 49.18 5.57 1000000 0 659.89/660.14 c 139 258 272.18 44.49 6.12 1000000 0 661.99/662.26 c 151 292 256.58 42.47 6.04 1000000 0 664.09/664.32 c 150 265 267.20 44.17 6.05 1000000 0 666.08/666.38 c 147 287 262.51 44.12 5.95 1000000 0 668.18/668.44 c 165 240 276.81 41.87 6.61 1000000 0 670.18/670.49 c 160 236 271.70 45.46 5.98 1000000 0 672.28/672.56 c 157 278 270.17 46.03 5.87 1000000 0 674.38/674.60 c 163 259 270.40 47.45 5.70 1000000 0 676.38/676.66 c 153 271 265.95 50.87 5.23 1000000 0 678.49/678.73 c 160 223 271.37 48.66 5.58 1000000 0 680.59/680.80 c 152 269 269.84 45.07 5.99 1000000 0 682.58/682.85 c 163 287 275.45 52.75 5.22 1000000 0 684.68/684.92 c 139 231 271.36 43.58 6.23 1000000 0 686.68/686.99 c 159 281 269.67 52.33 5.15 1000000 0 688.78/689.05 c 152 221 264.11 42.81 6.17 1000000 0 690.88/691.12 c 143 200 268.26 48.00 5.59 1000000 0 692.98/693.21 c 151 329 267.37 45.81 5.84 1000000 0 694.98/695.26 c 163 190 275.84 45.35 6.08 1000000 0 697.08/697.33 c 156 211 275.64 46.83 5.89 1000000 0 699.07/699.39 c 154 297 273.32 47.70 5.73 1000000 0 701.17/701.46 c 147 234 272.68 44.25 6.16 1000000 0 703.27/703.54 c 148 298 265.51 49.37 5.38 1000000 0 705.27/705.59 c 159 205 271.60 48.08 5.65 1000000 0 707.37/707.66 c 158 256 269.43 43.68 6.17 1000000 0 709.47/709.71 c 157 231 269.38 45.45 5.93 1000000 0 711.48/711.78 c 149 241 265.31 46.23 5.74 1000000 0 713.58/713.84 c 144 291 269.26 44.97 5.99 1000000 0 715.67/715.91 c 144 210 266.71 46.91 5.69 1000000 0 717.67/717.98 c 158 282 268.62 43.53 6.17 1000000 0 719.77/720.05 c 161 284 272.92 53.13 5.14 1000000 0 721.87/722.10 c 160 275 279.33 53.03 5.27 1000000 0 723.87/724.17 c 159 271 271.61 50.75 5.35 1000000 0 725.97/726.23 c 159 237 277.24 47.94 5.78 1000000 0 728.07/728.30 c 164 300 277.93 47.07 5.90 1000000 0 730.07/730.37 c 147 257 270.04 45.69 5.91 1000000 0 732.16/732.45 c 161 236 274.95 47.33 5.81 1000000 0 734.26/734.51 c 165 274 270.77 46.24 5.86 1000000 0 736.26/736.56 c 157 250 275.47 46.61 5.91 1000000 0 738.36/738.61 c 150 283 276.69 48.39 5.72 1000000 0 740.36/740.68 c 164 316 263.74 41.33 6.38 1000000 0 742.46/742.73 c 172 308 276.21 41.76 6.61 1000000 0 744.47/744.78 c 166 242 265.78 43.65 6.09 1000000 0 746.57/746.84 c 164 221 272.28 48.25 5.64 1000000 0 748.66/748.90 c 154 267 271.50 53.33 5.09 1000000 0 750.66/750.96 c 159 244 271.06 44.05 6.15 1000000 0 752.76/753.03 c 149 323 275.11 42.42 6.49 1000000 0 754.76/755.09 c 153 274 275.54 48.47 5.68 1000000 0 756.86/757.14 c 163 279 275.67 49.55 5.56 1000000 0 758.96/759.20 c 162 242 267.85 44.66 6.00 1000000 0 760.96/761.27 c 160 255 277.14 50.70 5.47 1000000 0 763.06/763.33 c 163 259 278.47 46.62 5.97 1000000 0 765.05/765.38 c 159 227 274.43 46.43 5.91 1000000 0 767.15/767.46 c 151 321 264.86 43.82 6.04 1000000 0 769.25/769.52 c 154 196 267.89 44.70 5.99 1000000 0 771.25/771.58 c 165 283 273.70 46.89 5.84 1000000 0 773.35/773.66 c 142 286 269.29 41.95 6.42 1000000 0 775.45/775.72 c 144 302 267.86 44.29 6.05 1000000 0 777.46/777.78 c 163 225 268.64 47.87 5.61 1000000 0 779.56/779.86 c 157 310 268.29 47.63 5.63 1000000 0 781.65/781.93 c 143 248 266.79 45.82 5.82 1000000 0 783.65/783.98 c 163 356 280.83 46.04 6.10 1000000 0 785.75/786.04 c 139 247 269.13 44.49 6.05 1000000 0 787.85/788.12 c 153 234 267.76 45.41 5.90 1000000 0 789.85/790.19 c 161 259 269.95 41.80 6.46 1000000 0 791.95/792.26 c 150 286 276.04 54.36 5.08 1000000 0 794.05/794.30 c 149 258 269.08 50.54 5.32 1000000 0 796.05/796.36 c 167 236 278.61 52.69 5.29 1000000 0 798.14/798.45 c 137 223 264.00 51.33 5.14 1000000 0 800.24/800.52 c 157 236 269.89 45.06 5.99 1000000 0 802.24/802.57 c 169 277 275.85 44.42 6.21 1000000 0 804.34/804.62 c 162 385 276.06 53.02 5.21 1000000 0 806.44/806.70 c 146 312 270.58 47.94 5.64 1000000 0 808.44/808.76 c 149 351 270.20 48.81 5.54 1000000 0 810.54/810.83 c 147 334 276.17 51.13 5.40 1000000 0 812.55/812.89 c 159 303 278.10 48.41 5.74 1000000 0 814.64/814.94 c 166 295 272.01 43.22 6.29 1000000 0 816.74/817.00 c 166 212 269.45 50.35 5.35 1000000 0 818.74/819.07 c 149 268 269.23 44.34 6.07 1000000 0 820.84/821.12 c 148 256 277.61 47.66 5.82 1000000 0 822.84/823.18 c 145 254 274.48 50.92 5.39 1000000 0 824.94/825.26 c 150 266 263.42 48.82 5.40 1000000 0 827.04/827.32 c 171 225 272.43 45.16 6.03 1000000 0 829.04/829.40 c 164 216 265.06 43.63 6.08 1000000 0 831.13/831.46 c 141 311 268.46 48.51 5.53 1000000 0 833.23/833.54 c 152 243 274.03 51.65 5.31 1000000 0 835.23/835.59 c 158 258 275.62 49.30 5.59 1000000 0 837.33/837.65 c 156 228 271.96 48.17 5.65 1000000 0 839.43/839.71 c 159 283 272.31 47.54 5.73 1000000 0 841.43/841.77 c 158 242 271.00 45.34 5.98 1000000 0 843.53/843.83 c 141 309 267.13 49.96 5.35 1000000 0 845.54/845.90 c 166 227 274.77 49.91 5.51 1000000 0 847.63/847.95 c 152 271 270.63 43.36 6.24 1000000 0 849.73/850.04 c 144 302 263.91 42.18 6.26 1000000 0 851.83/852.11 c 159 233 273.46 45.07 6.07 1000000 0 853.83/854.17 c 155 241 269.09 47.81 5.63 1000000 0 855.93/856.22 c 181 293 278.61 44.15 6.31 1000000 0 857.93/858.29 c 151 208 264.53 47.39 5.58 1000000 0 860.03/860.34 c 163 277 276.91 45.25 6.12 1000000 0 862.13/862.42 c 163 188 271.79 44.18 6.15 1000000 0 864.13/864.47 c 145 262 263.07 46.22 5.69 1000000 0 866.22/866.55 c 152 259 264.22 42.07 6.28 1000000 0 868.32/868.61 c 157 212 271.07 51.57 5.26 1000000 0 870.32/870.68 c 158 329 269.66 43.57 6.19 1000000 0 872.42/872.74 c 151 256 272.70 44.81 6.09 1000000 0 874.52/874.80 c 167 276 270.58 39.61 6.83 1000000 0 876.52/876.87 c 151 274 264.56 45.53 5.81 1000000 0 878.63/878.94 c 152 319 277.43 60.27 4.60 1000000 0 880.62/880.99 c 154 216 268.37 56.40 4.76 1000000 0 882.72/883.07 c 155 292 264.81 49.52 5.35 1000000 0 884.82/885.14 c 153 235 277.98 46.91 5.93 1000000 0 886.82/887.20 c 156 307 270.17 53.64 5.04 1000000 0 888.92/889.25 c 150 208 271.26 48.17 5.63 1000000 0 891.02/891.31 c 156 222 262.04 37.52 6.98 1000000 0 893.02/893.38 c 158 211 273.60 56.40 4.85 1000000 0 895.12/895.43 c 145 248 270.20 48.97 5.52 1000000 0 897.11/897.50 c 152 265 276.60 50.08 5.52 1000000 0 899.21/899.56 c 148 232 273.65 48.58 5.63 1000000 0 901.31/901.65 c 147 235 266.43 53.76 4.96 1000000 0 903.41/903.74 c 156 235 268.85 45.39 5.92 1000000 0 905.51/905.80 c 165 251 271.34 44.40 6.11 1000000 0 907.51/907.88 c 146 235 264.34 46.19 5.72 1000000 0 909.61/909.96 c 149 262 263.92 44.04 5.99 1000000 0 911.71/912.04 c 147 218 274.81 54.70 5.02 1000000 0 913.82/914.12 c 140 293 264.42 48.59 5.44 1000000 0 915.81/916.18 c 165 223 268.23 51.58 5.20 1000000 0 917.91/918.25 c 156 275 274.96 50.73 5.42 1000000 0 919.91/920.29 c 159 325 273.86 42.44 6.45 1000000 0 922.01/922.36 c 164 273 271.53 48.46 5.60 1000000 0 924.11/924.40 c 165 252 278.06 45.83 6.07 1000000 0 926.11/926.45 c 159 313 274.04 49.59 5.53 1000000 0 928.20/928.51 c 143 263 274.03 52.51 5.22 1000000 0 930.21/930.59 c 151 295 268.13 45.94 5.84 1000000 0 932.30/932.63 c 164 270 277.39 53.11 5.22 1000000 0 934.30/934.69 c 148 204 274.09 50.47 5.43 1000000 0 936.40/936.73 c 164 293 279.19 45.71 6.11 1000000 0 938.50/938.81 c 145 243 269.10 43.68 6.16 1000000 0 940.50/940.85 c 159 289 270.45 45.28 5.97 1000000 0 942.60/942.91 c 156 279 268.60 44.67 6.01 1000000 0 944.61/944.98 c 164 286 269.84 48.46 5.57 1000000 0 946.71/947.05 c 154 217 272.65 44.27 6.16 1000000 0 948.80/949.11 c 166 257 270.13 47.28 5.71 1000000 0 950.80/951.16 c 167 249 275.43 48.88 5.63 1000000 0 952.90/953.24 c 149 307 274.18 42.03 6.52 1000000 0 954.90/955.29 c 162 261 274.88 44.78 6.14 1000000 0 957.00/957.34 c 156 260 274.30 47.85 5.73 1000000 0 959.10/959.40 c 158 260 268.56 45.40 5.92 1000000 0 961.10/961.44 c 154 237 271.85 47.26 5.75 1000000 0 963.09/963.49 c 160 216 283.97 44.51 6.38 1000000 0 965.19/965.57 c 155 248 265.23 42.36 6.26 1000000 0 967.29/967.65 c 164 322 271.60 44.15 6.15 1000000 0 969.39/969.72 c 154 230 265.51 47.60 5.58 1000000 0 971.49/971.81 c 160 287 267.70 45.74 5.85 1000000 0 973.49/973.87 c 155 222 270.62 48.38 5.59 1000000 0 975.59/975.94 c 155 283 259.28 40.66 6.38 1000000 0 977.69/978.00 c 148 236 267.23 51.88 5.15 1000000 0 979.70/980.06 c 158 254 274.14 47.25 5.80 1000000 0 981.79/982.14 c 157 245 271.48 43.19 6.29 1000000 0 983.89/984.20 c 162 240 271.78 46.01 5.91 1000000 0 985.89/986.28 c 154 269 261.42 50.29 5.20 1000000 0 987.99/988.36 c 145 224 271.97 51.06 5.33 1000000 0 990.09/990.42 c 153 222 272.20 48.93 5.56 1000000 0 992.09/992.47 c 142 205 267.24 46.15 5.79 1000000 0 994.18/994.54 c 144 233 275.08 47.25 5.82 1000000 0 996.19/996.58 c 152 244 278.40 45.19 6.16 1000000 0 998.28/998.66 c 128 297 269.19 51.14 5.26 1000000 0 1000.39/1000.73 c 151 389 268.16 52.70 5.09 1000000 0 1002.39/1002.77 c 167 254 280.22 49.63 5.65 1000000 0 1004.49/1004.82 c 160 267 274.25 52.01 5.27 1000000 0 1006.59/1006.91 c 147 233 269.15 50.20 5.36 1000000 0 1008.59/1008.96 c 157 296 272.51 49.20 5.54 1000000 0 1010.69/1011.03 c 158 281 274.46 45.78 6.00 1000000 0 1012.70/1013.10 c 156 240 269.13 48.20 5.58 1000000 0 1014.79/1015.16 c 145 244 271.22 48.58 5.58 1000000 0 1016.89/1017.24 c 146 254 267.36 48.82 5.48 1000000 0 1018.99/1019.33 c 143 207 260.94 43.66 5.98 1000000 0 1021.09/1021.40 c 153 259 267.71 49.65 5.39 1000000 0 1023.09/1023.47 c 154 211 272.80 51.82 5.26 1000000 0 1025.19/1025.53 c 158 230 272.89 47.68 5.72 1000000 0 1027.18/1027.58 c 155 227 278.25 48.11 5.78 1000000 0 1029.29/1029.64 c 158 306 267.36 44.09 6.06 1000000 0 1031.39/1031.72 c 143 242 266.53 46.34 5.75 1000000 0 1033.38/1033.77 c 151 250 269.99 42.84 6.30 1000000 0 1035.48/1035.84 c 156 265 269.99 47.10 5.73 1000000 0 1037.58/1037.90 c 164 278 274.03 46.10 5.94 1000000 0 1039.58/1039.94 c 156 242 277.26 49.67 5.58 1000000 0 1041.68/1042.02 c 157 304 267.75 47.17 5.68 1000000 0 1043.68/1044.05 c 156 265 277.77 54.42 5.10 1000000 0 1045.79/1046.13 c 167 300 267.20 45.08 5.93 1000000 0 1047.78/1048.17 c 156 279 272.21 44.14 6.17 1000000 0 1049.88/1050.25 c 147 205 267.63 52.05 5.14 1000000 0 1051.98/1052.32 c 149 251 273.40 45.20 6.05 1000000 0 1053.98/1054.39 c 148 255 266.08 44.13 6.03 1000000 0 1056.08/1056.45 c 151 297 269.66 44.98 6.00 1000000 0 1058.18/1058.50 c 165 249 273.74 51.35 5.33 1000000 0 1060.18/1060.57 c 165 254 271.54 47.37 5.73 1000000 0 1062.28/1062.64 c 141 219 266.35 51.78 5.14 1000000 0 1064.38/1064.72 c 149 285 272.33 44.54 6.11 1000000 0 1066.37/1066.79 c 158 318 273.12 46.96 5.82 1000000 0 1068.47/1068.88 c 158 220 266.34 45.43 5.86 1000000 0 1070.57/1070.93 c 141 301 279.06 48.91 5.71 1000000 0 1072.57/1072.98 c 158 245 274.73 48.99 5.61 1000000 0 1074.67/1075.05 c 153 308 267.33 49.74 5.37 1000000 0 1076.77/1077.12 c 163 350 265.02 46.07 5.75 1000000 0 1078.78/1079.19 c 148 247 268.71 45.45 5.91 1000000 0 1080.88/1081.27 c 153 237 266.88 45.85 5.82 1000000 0 1082.97/1083.32 c 147 299 267.65 48.77 5.49 1000000 0 1084.97/1085.37 c 157 207 274.32 46.45 5.91 1000000 0 1087.07/1087.43 c 163 285 270.77 49.54 5.47 1000000 0 1089.17/1089.52 c 132 224 272.93 48.06 5.68 1000000 0 1091.17/1091.59 c 136 208 268.09 43.13 6.22 1000000 0 1093.27/1093.65 c 135 216 264.16 45.25 5.84 1000000 0 1095.37/1095.72 c 163 270 275.61 46.96 5.87 1000000 0 1097.37/1097.77 c 148 186 264.84 47.28 5.60 1000000 0 1099.46/1099.83 c 152 317 271.78 52.38 5.19 1000000 0 1101.56/1101.90 c 170 256 272.76 43.78 6.23 1000000 0 1103.56/1103.95 c 161 210 277.05 46.70 5.93 1000000 0 1105.56/1105.99 c 147 246 271.33 48.87 5.55 1000000 0 1107.66/1108.05 c 149 264 273.57 48.21 5.67 1000000 0 1109.76/1110.11 c 153 322 269.89 49.20 5.49 1000000 0 1111.77/1112.17 c 166 285 278.30 46.37 6.00 1000000 0 1113.87/1114.23 c 144 223 270.24 57.11 4.73 1000000 0 1115.86/1116.28 c 147 320 276.33 42.18 6.55 1000000 0 1117.96/1118.34 c 142 274 268.05 49.54 5.41 1000000 0 1120.06/1120.40 c 155 271 270.09 42.07 6.42 1000000 0 1122.06/1122.46 c 151 214 273.71 45.18 6.06 1000000 0 1124.16/1124.52 c 149 324 271.61 43.16 6.29 1000000 0 1126.16/1126.59 c 155 325 270.11 51.29 5.27 1000000 0 1128.26/1128.64 c 141 277 272.31 51.05 5.33 1000000 0 1130.36/1130.72 c 149 289 267.34 47.71 5.60 1000000 0 1132.35/1132.78 c 169 272 275.81 48.81 5.65 1000000 0 1134.45/1134.82 c 160 229 271.79 44.31 6.13 1000000 0 1136.45/1136.87 c 145 298 278.49 48.78 5.71 1000000 0 1138.55/1138.92 c 154 342 270.45 46.60 5.80 1000000 0 1140.65/1141.01 c 161 216 269.65 45.16 5.97 1000000 0 1142.65/1143.08 c 151 262 266.85 47.91 5.57 1000000 0 1144.76/1145.13 c 169 281 269.36 49.56 5.44 1000000 0 1146.86/1147.22 c 148 229 260.93 48.04 5.43 1000000 0 1148.85/1149.27 c 170 266 278.83 45.25 6.16 1000000 0 1150.95/1151.34 c 155 284 272.02 48.45 5.61 1000000 0 1153.05/1153.40 c 147 268 271.39 50.48 5.38 1000000 0 1155.05/1155.48 c 137 242 267.17 49.64 5.38 1000000 0 1157.15/1157.53 c 163 283 269.79 42.51 6.35 1000000 0 1159.15/1159.58 c 156 256 268.79 46.38 5.80 1000000 0 1161.25/1161.63 c 150 221 279.77 48.83 5.73 1000000 0 1163.25/1163.69 c 150 285 274.64 55.72 4.93 1000000 0 1165.34/1165.77 c 170 247 274.57 48.59 5.65 1000000 0 1167.44/1167.83 c 157 235 270.80 51.63 5.25 1000000 0 1169.54/1169.91 c 152 282 267.09 51.22 5.21 1000000 0 1171.54/1171.97 c 150 269 278.16 53.92 5.16 1000000 0 1173.64/1174.05 c 146 262 267.89 52.03 5.15 1000000 0 1175.74/1176.10 c 163 261 276.36 47.13 5.86 1000000 0 1177.75/1178.15 c 158 287 273.15 51.05 5.35 1000000 0 1179.85/1180.23 c 161 279 273.72 46.04 5.94 1000000 0 1181.84/1182.29 c 142 256 269.29 46.82 5.75 1000000 0 1183.94/1184.36 c 133 265 279.78 48.25 5.80 1000000 0 1185.94/1186.40 c 155 224 270.92 42.65 6.35 1000000 0 1188.04/1188.45 c 161 242 272.62 45.76 5.96 1000000 0 1190.14/1190.52 c 156 263 275.38 48.75 5.65 1000000 0 1192.13/1192.57 c 154 252 273.61 47.52 5.76 1000000 0 1194.24/1194.62 c 165 287 273.68 48.54 5.64 1000000 0 1196.23/1196.68 c 152 240 271.45 48.68 5.58 1000000 0 1198.33/1198.74 c 154 302 272.83 49.00 5.57 1000000 0 1200.43/1200.82 c 154 256 263.65 48.12 5.48 1000000 0 1202.43/1202.89 c 151 236 275.85 42.15 6.54 1000000 0 1204.53/1204.97 c 149 237 263.46 45.44 5.80 1000000 0 1206.63/1207.04 c 150 226 272.12 54.43 5.00 1000000 0 1208.73/1209.11 c 154 299 275.41 45.69 6.03 1000000 0 1210.74/1211.18 c 156 299 267.09 50.93 5.24 1000000 0 1212.84/1213.24 c 165 269 269.10 44.80 6.01 1000000 0 1214.93/1215.31 c 153 185 265.74 47.24 5.62 1000000 0 1216.93/1217.38 c 150 300 263.55 46.80 5.63 1000000 0 1219.03/1219.45 c 158 302 271.51 53.35 5.09 1000000 0 1221.13/1221.51 c 152 227 269.19 44.26 6.08 1000000 0 1223.13/1223.56 c 156 240 278.02 48.72 5.71 1000000 0 1225.12/1225.59 c 169 307 275.87 44.68 6.17 1000000 0 1227.23/1227.65 c 147 280 268.00 42.64 6.29 1000000 0 1229.33/1229.71 c 144 262 266.49 45.69 5.83 1000000 0 1231.32/1231.77 c 156 227 275.13 49.73 5.53 1000000 0 1233.42/1233.83 c 158 267 278.75 46.38 6.01 1000000 0 1235.42/1235.89 c 159 256 272.57 45.76 5.96 1000000 0 1237.52/1237.95 c 164 230 271.79 47.24 5.75 1000000 0 1239.62/1240.00 c 166 260 270.33 45.40 5.95 1000000 0 1241.62/1242.07 c 158 233 268.12 49.81 5.38 1000000 0 1243.73/1244.12 c 164 321 272.46 44.45 6.13 1000000 0 1245.72/1246.18 c 163 257 270.02 49.17 5.49 1000000 0 1247.82/1248.25 c 137 197 265.51 52.99 5.01 1000000 0 1249.92/1250.33 c 154 296 270.59 45.22 5.98 1000000 0 1252.02/1252.40 c 152 254 267.81 49.50 5.41 1000000 0 1254.02/1254.45 c 136 272 271.18 51.71 5.24 1000000 0 1256.02/1256.49 c 157 278 272.36 44.75 6.09 1000000 0 1258.11/1258.55 c 151 231 268.06 52.98 5.06 1000000 0 1260.22/1260.61 c 147 287 265.02 47.83 5.54 1000000 0 1262.21/1262.68 c 164 313 268.37 45.13 5.95 1000000 0 1264.31/1264.74 c 167 355 274.72 46.52 5.91 1000000 0 1266.41/1266.81 c 144 276 275.27 45.79 6.01 1000000 0 1268.41/1268.88 c 162 261 272.19 46.31 5.88 1000000 0 1270.51/1270.95 c 143 238 268.22 53.08 5.05 1000000 0 1272.51/1272.98 c 166 306 271.95 44.31 6.14 1000000 0 1274.61/1275.01 c 166 223 275.97 49.07 5.62 1000000 0 1276.62/1277.06 c 160 299 271.05 43.11 6.29 1000000 0 1278.71/1279.13 c 151 272 270.06 50.16 5.38 1000000 0 1280.81/1281.21 c 159 208 263.00 44.91 5.86 1000000 0 1282.81/1283.29 c 142 225 269.07 54.43 4.94 1000000 0 1284.91/1285.33 c 157 279 276.01 51.20 5.39 1000000 0 1286.91/1287.39 c 153 211 273.61 48.25 5.67 1000000 0 1289.01/1289.45 c 161 281 276.85 47.92 5.78 1000000 0 1291.10/1291.51 c 152 253 268.90 45.86 5.86 1000000 0 1293.11/1293.57 c 156 303 270.56 48.20 5.61 1000000 0 1295.20/1295.64 c 149 216 271.16 53.34 5.08 1000000 0 1297.30/1297.71 c 151 213 268.03 48.52 5.52 1000000 0 1299.30/1299.76 c 153 243 272.91 43.91 6.22 1000000 0 1301.40/1301.82 c 160 269 271.64 49.66 5.47 1000000 0 1303.50/1303.90 c 149 264 264.61 47.56 5.56 1000000 0 1305.50/1305.96 c 154 264 269.82 46.20 5.84 1000000 0 1307.60/1308.01 c 161 286 277.98 52.09 5.34 1000000 0 1309.60/1310.06 c 160 279 272.88 48.90 5.58 1000000 0 1311.70/1312.14 c 169 249 269.27 50.17 5.37 1000000 0 1313.80/1314.22 c 143 261 265.42 45.83 5.79 1000000 0 1315.80/1316.27 c 163 274 271.02 44.84 6.04 1000000 0 1317.90/1318.34 c 154 235 275.48 49.43 5.57 1000000 0 1319.90/1320.39 c 160 249 277.24 51.05 5.43 1000000 0 1322.00/1322.45 c 139 259 265.09 48.02 5.52 1000000 0 1324.09/1324.51 c 164 323 271.12 48.80 5.56 1000000 0 1326.10/1326.58 c 136 231 270.14 46.90 5.76 1000000 0 1328.19/1328.62 c 171 256 276.16 42.40 6.51 1000000 0 1330.19/1330.68 c 148 227 269.71 52.77 5.11 1000000 0 1332.29/1332.75 c 163 287 270.32 45.27 5.97 1000000 0 1334.39/1334.80 c 154 290 269.80 47.96 5.63 1000000 0 1336.39/1336.88 c 135 293 263.08 46.93 5.61 1000000 0 1338.49/1338.95 c 156 229 278.16 52.58 5.29 1000000 0 1340.59/1341.01 c 162 271 273.54 48.71 5.62 1000000 0 1342.59/1343.08 c 161 264 271.31 45.05 6.02 1000000 0 1344.69/1345.13 c 153 324 275.96 46.67 5.91 1000000 0 1346.69/1347.17 c 152 285 271.71 50.33 5.40 1000000 0 1348.79/1349.23 c 145 251 272.59 48.13 5.66 1000000 0 1350.79/1351.29 c 159 259 270.92 46.79 5.79 1000000 0 1352.88/1353.35 c 148 271 274.15 45.40 6.04 1000000 0 1354.98/1355.41 c 163 259 278.03 44.33 6.27 1000000 0 1356.99/1357.48 c 156 207 268.36 49.49 5.42 1000000 0 1359.09/1359.55 c 150 249 268.70 45.51 5.90 1000000 0 1361.18/1361.61 c 163 255 272.38 52.01 5.24 1000000 0 1363.18/1363.69 c 159 259 266.65 44.68 5.97 1000000 0 1365.28/1365.78 c 156 258 273.86 49.51 5.53 1000000 0 1367.38/1367.84 c 156 257 264.66 44.33 5.97 1000000 0 1369.38/1369.89 c 164 251 281.71 44.11 6.39 1000000 0 1371.48/1371.97 c 153 250 272.76 47.93 5.69 1000000 0 1373.58/1374.02 c 158 243 269.89 45.82 5.89 1000000 0 1375.58/1376.07 c 168 346 270.67 44.92 6.03 1000000 0 1377.68/1378.12 c 165 322 273.24 43.82 6.24 1000000 0 1379.68/1380.18 c 155 301 278.19 51.92 5.36 1000000 0 1381.78/1382.23 c 155 279 269.99 44.57 6.06 1000000 0 1383.78/1384.26 c 152 336 273.44 46.79 5.84 1000000 0 1385.88/1386.32 c 151 262 271.06 48.20 5.62 1000000 0 1387.87/1388.38 c 151 201 267.23 43.95 6.08 1000000 0 1389.98/1390.44 c 163 275 271.92 46.55 5.84 1000000 0 1391.97/1392.49 c 159 286 275.62 46.86 5.88 1000000 0 1394.07/1394.55 c 149 250 263.71 51.11 5.16 1000000 0 1396.17/1396.62 c 139 328 274.97 51.06 5.38 1000000 0 1398.17/1398.68 c 158 292 268.62 45.97 5.84 1000000 0 1400.27/1400.73 c 170 228 274.12 48.42 5.66 1000000 0 1402.27/1402.79 c 160 245 273.31 46.60 5.87 1000000 0 1404.37/1404.83 c 152 365 277.07 49.27 5.62 1000000 0 1406.38/1406.90 c 163 248 277.63 43.03 6.45 1000000 0 1408.47/1408.95 c 154 272 278.90 43.13 6.47 1000000 0 1410.57/1411.00 c 155 312 275.62 50.70 5.44 1000000 0 1412.57/1413.07 c 159 232 269.37 46.41 5.80 1000000 0 1414.67/1415.13 c 153 269 270.56 44.06 6.14 1000000 0 1416.67/1417.18 c 150 258 276.96 46.09 6.01 1000000 0 1418.77/1419.25 c 161 296 277.42 46.81 5.93 1000000 0 1420.86/1421.30 c 156 251 276.59 48.53 5.70 1000000 0 1422.87/1423.36 c 159 222 270.30 44.38 6.09 1000000 0 1424.96/1425.42 c 148 272 272.18 47.50 5.73 1000000 0 1427.06/1427.50 c 156 284 271.31 49.51 5.48 1000000 0 1429.06/1429.56 c 161 242 272.45 46.93 5.81 1000000 0 1431.16/1431.63 c 161 263 276.58 44.63 6.20 1000000 0 1433.16/1433.70 c 152 224 268.96 44.43 6.05 1000000 0 1435.26/1435.75 c 168 300 279.19 48.49 5.76 1000000 0 1437.27/1437.78 c 142 281 273.59 49.30 5.55 1000000 0 1439.37/1439.85 c 154 262 269.15 45.29 5.94 1000000 0 1441.46/1441.91 c 147 285 270.94 51.94 5.22 1000000 0 1443.46/1443.96 c 138 244 269.11 48.92 5.50 1000000 0 1445.56/1446.01 c 169 266 278.11 45.82 6.07 1000000 0 1447.56/1448.06 c 158 276 273.31 43.49 6.28 1000000 0 1449.66/1450.11 c 142 258 270.62 46.53 5.82 1000000 0 1451.66/1452.17 c 153 255 270.69 44.79 6.04 1000000 0 1453.76/1454.25 c 151 266 263.24 46.15 5.70 1000000 0 1455.86/1456.34 c 152 245 269.51 50.81 5.30 1000000 0 1457.95/1458.42 c 141 251 265.89 45.98 5.78 1000000 0 1459.95/1460.48 c 158 194 264.50 50.60 5.23 1000000 0 1462.05/1462.56 c 156 318 263.32 42.84 6.15 1000000 0 1464.15/1464.63 c 127 271 271.44 42.63 6.37 1000000 0 1466.15/1466.68 c 167 245 275.38 46.84 5.88 1000000 0 1468.25/1468.75 c 173 238 271.25 38.95 6.96 1000000 0 1470.35/1470.83 c 138 160 265.48 48.10 5.52 1000000 0 1472.36/1472.89 c 141 280 269.01 43.67 6.16 1000000 0 1474.45/1474.94 c 156 258 277.07 47.22 5.87 1000000 0 1476.55/1477.01 c 160 244 276.77 45.20 6.12 1000000 0 1478.55/1479.06 c 152 217 280.11 53.16 5.27 1000000 0 1480.65/1481.11 c 165 296 276.38 52.80 5.23 1000000 0 1482.65/1483.17 c 160 309 268.50 48.40 5.55 1000000 0 1484.75/1485.22 c 161 252 273.23 53.19 5.14 1000000 0 1486.75/1487.28 c 176 287 278.84 45.61 6.11 1000000 0 1488.85/1489.33 c 143 241 273.59 44.21 6.19 1000000 0 1490.94/1491.41 c 134 245 267.11 51.09 5.23 1000000 0 1492.94/1493.48 c 151 279 273.80 51.17 5.35 1000000 0 1495.04/1495.55 c 163 250 272.82 46.84 5.83 1000000 0 1497.14/1497.61 c 150 273 275.76 44.45 6.20 1000000 0 1499.14/1499.67 c 156 223 271.57 50.62 5.37 1000000 0 1501.24/1501.73 c 158 311 273.09 46.55 5.87 1000000 0 1503.34/1503.80 c 160 290 267.76 46.91 5.71 1000000 0 1505.35/1505.87 c 164 259 267.19 44.49 6.01 1000000 0 1507.44/1507.94 c 158 273 265.60 47.25 5.62 1000000 0 1509.44/1509.99 c 161 346 272.13 43.45 6.26 1000000 0 1511.54/1512.07 c 129 272 270.03 45.70 5.91 1000000 0 1513.64/1514.14 c 164 278 274.93 45.93 5.99 1000000 0 1515.63/1516.18 c 175 315 273.47 43.34 6.31 1000000 0 1517.73/1518.24 c 155 247 272.02 48.72 5.58 1000000 0 1519.83/1520.33 c 159 228 269.25 50.55 5.33 1000000 0 1521.84/1522.39 c 158 245 274.00 46.14 5.94 1000000 0 1523.93/1524.44 c 154 251 274.66 48.51 5.66 1000000 0 1525.93/1526.49 c 161 259 275.01 53.13 5.18 1000000 0 1528.03/1528.54 c 151 212 274.47 50.56 5.43 1000000 0 1530.13/1530.61 c 154 278 275.92 50.78 5.43 1000000 0 1532.13/1532.69 c 152 249 266.60 46.33 5.75 1000000 0 1534.23/1534.73 c 143 252 272.11 53.37 5.10 1000000 0 1536.33/1536.80 c 153 267 270.60 43.67 6.20 1000000 0 1538.34/1538.86 c 174 301 277.89 46.87 5.93 1000000 0 1540.43/1540.93 c 137 269 264.32 52.92 4.99 1000000 0 1542.43/1542.99 c 142 225 269.09 42.90 6.27 1000000 0 1544.53/1545.05 c 163 300 276.14 48.17 5.73 1000000 0 1546.63/1547.12 c 152 242 273.10 49.84 5.48 1000000 0 1548.63/1549.17 c 156 251 273.73 45.10 6.07 1000000 0 1550.72/1551.23 c 153 230 270.86 47.51 5.70 1000000 0 1552.82/1553.30 c 164 304 269.07 48.02 5.60 1000000 0 1554.83/1555.39 c 160 203 264.61 43.24 6.12 1000000 0 1556.92/1557.45 c 162 256 265.03 45.91 5.77 1000000 0 1558.92/1559.49 c 149 254 279.61 50.22 5.57 1000000 0 1561.02/1561.58 c 155 226 263.32 42.49 6.20 1000000 0 1563.12/1563.66 c 159 280 267.90 49.23 5.44 1000000 0 1565.22/1565.73 c 147 215 270.53 53.93 5.02 1000000 0 1567.32/1567.80 c 153 252 272.56 54.30 5.02 1000000 0 1569.32/1569.88 c 146 301 269.63 48.22 5.59 1000000 0 1571.43/1571.94 c 163 250 272.33 53.19 5.12 1000000 0 1573.52/1574.01 c 158 220 270.59 43.78 6.18 1000000 0 1575.52/1576.07 c 142 219 270.74 44.86 6.03 1000000 0 1577.62/1578.13 c 164 278 269.21 49.40 5.45 1000000 0 1579.62/1580.17 c 166 299 281.91 44.40 6.35 1000000 0 1581.72/1582.22 c 167 208 279.15 43.48 6.42 1000000 0 1583.71/1584.28 c 162 262 273.26 45.52 6.00 1000000 0 1585.81/1586.34 c 152 276 273.32 51.44 5.31 1000000 0 1587.82/1588.40 c 158 280 268.53 47.56 5.65 1000000 0 1589.91/1590.46 c 144 260 276.45 47.61 5.81 1000000 0 1592.01/1592.51 c 165 279 269.37 42.29 6.37 1000000 0 1594.01/1594.58 c 166 272 277.67 54.87 5.06 1000000 0 1596.11/1596.62 c 139 252 270.59 48.31 5.60 1000000 0 1598.11/1598.68 c 172 251 273.02 50.50 5.41 1000000 0 1600.21/1600.74 c 152 258 272.62 51.93 5.25 1000000 0 1602.31/1602.81 c 156 263 269.94 47.93 5.63 1000000 0 1604.31/1604.86 c 157 290 268.26 51.47 5.21 1000000 0 1606.41/1606.92 c 160 284 271.54 40.32 6.73 1000000 0 1608.41/1608.99 c 145 240 268.92 48.46 5.55 1000000 0 1610.51/1611.05 c 151 230 265.35 41.24 6.43 1000000 0 1612.60/1613.12 c 156 262 270.88 44.50 6.09 1000000 0 1614.70/1615.21 c 144 241 263.43 47.26 5.57 1000000 0 1616.70/1617.27 c 157 239 271.68 50.09 5.42 1000000 0 1618.80/1619.33 c 164 256 272.32 45.26 6.02 1000000 0 1620.91/1621.41 c 159 268 269.77 51.95 5.19 1000000 0 1622.90/1623.48 c 143 235 273.98 52.26 5.24 1000000 0 1625.00/1625.53 c 151 307 271.08 44.67 6.07 1000000 0 1627.00/1627.59 c 167 260 270.57 47.93 5.65 1000000 0 1629.10/1629.64 c 153 279 273.60 44.67 6.12 1000000 0 1631.20/1631.71 c 127 278 262.99 46.05 5.71 1000000 0 1633.20/1633.78 c 145 269 270.55 50.53 5.35 1000000 0 1635.30/1635.83 c 155 228 268.91 46.01 5.84 1000000 0 1637.30/1637.90 c 144 278 269.53 46.39 5.81 1000000 0 1639.40/1639.96 c 148 287 277.04 50.56 5.48 1000000 0 1641.50/1642.03 c 150 251 268.95 43.38 6.20 1000000 0 1643.50/1644.09 c 162 274 271.57 47.20 5.75 1000000 0 1645.59/1646.15 c 153 252 268.27 45.44 5.90 1000000 0 1647.69/1648.21 c 158 251 273.35 44.95 6.08 1000000 0 1649.69/1650.26 c 163 233 267.03 43.85 6.09 1000000 0 1651.79/1652.32 c 160 364 275.32 49.46 5.57 1000000 0 1653.80/1654.39 c 150 192 262.41 50.94 5.15 1000000 0 1655.89/1656.46 c 150 227 264.94 44.29 5.98 1000000 0 1657.99/1658.52 c 162 265 270.36 53.28 5.07 1000000 0 1659.99/1660.58 c 157 248 273.51 45.27 6.04 1000000 0 1662.09/1662.64 c 166 297 275.58 52.13 5.29 1000000 0 1664.09/1664.69 c 159 222 277.96 51.81 5.37 1000000 0 1666.19/1666.76 c 152 247 270.38 44.80 6.03 1000000 0 1668.29/1668.80 c 165 206 271.40 48.01 5.65 1000000 0 1670.29/1670.86 c 138 242 265.69 45.11 5.89 1000000 0 1672.39/1672.92 c 137 245 266.08 45.32 5.87 1000000 0 1674.39/1674.98 c 161 250 271.25 45.73 5.93 1000000 0 1676.49/1677.06 c 144 257 265.20 42.23 6.28 1000000 0 1678.58/1679.13 c 142 276 271.51 50.53 5.37 1000000 0 1680.68/1681.21 c 144 250 262.78 52.44 5.01 1000000 0 1682.68/1683.26 c 154 282 271.16 47.04 5.76 1000000 0 1684.78/1685.33 c 152 230 275.89 51.82 5.32 1000000 0 1686.79/1687.40 c 157 263 274.72 50.80 5.41 1000000 0 1688.88/1689.45 c 165 220 271.35 49.36 5.50 1000000 0 1690.98/1691.51 c 159 301 268.35 47.66 5.63 1000000 0 1692.98/1693.57 c 152 249 271.16 45.39 5.97 1000000 0 1695.08/1695.63 c 142 293 265.77 51.41 5.17 1000000 0 1697.08/1697.67 c 167 295 272.31 46.84 5.81 1000000 0 1699.18/1699.74 c 154 288 264.50 51.70 5.12 1000000 0 1701.19/1701.79 c 154 221 271.79 47.39 5.74 1000000 0 1703.29/1703.87 c 159 321 264.15 45.93 5.75 1000000 0 1705.38/1705.92 c 166 281 274.00 44.13 6.21 1000000 0 1707.38/1707.96 c 152 286 276.72 47.45 5.83 1000000 0 1709.48/1710.01 c 160 228 276.73 45.16 6.13 1000000 0 1711.47/1712.08 c 159 244 265.45 49.20 5.40 1000000 0 1713.57/1714.15 c 155 222 264.99 45.32 5.85 1000000 0 1715.67/1716.21 c 166 279 271.48 43.83 6.19 1000000 0 1717.68/1718.29 c 172 242 273.03 42.84 6.37 1000000 0 1719.78/1720.35 c 156 223 269.28 46.09 5.84 1000000 0 1721.87/1722.40 c 144 277 269.49 52.95 5.09 1000000 0 1723.87/1724.46 c 152 218 278.67 46.70 5.97 1000000 0 1725.97/1726.51 c 146 245 271.01 49.75 5.45 1000000 0 1727.97/1728.57 c 160 354 271.97 46.09 5.90 1000000 0 1730.07/1730.64 c 166 230 269.66 45.72 5.90 1000000 0 1732.07/1732.69 c 134 239 267.19 48.11 5.55 1000000 0 1734.18/1734.75 c 130 268 267.79 46.01 5.82 1000000 0 1736.28/1736.80 c 148 256 271.22 46.51 5.83 1000000 0 1738.27/1738.85 c 160 273 278.13 47.11 5.90 1000000 0 1740.37/1740.90 c 165 293 272.25 40.96 6.65 1000000 0 1742.37/1742.98 c 162 223 265.84 45.27 5.87 1000000 0 1744.47/1745.05 c 141 260 267.21 45.97 5.81 1000000 0 1746.56/1747.11 c 166 248 278.10 44.98 6.18 1000000 0 1748.56/1749.19 c 152 294 266.54 43.58 6.12 1000000 0 1750.67/1751.25 c 155 236 271.04 49.86 5.44 1000000 0 1752.66/1753.30 c 161 292 276.03 49.82 5.54 1000000 0 1754.76/1755.34 c 155 227 275.94 50.51 5.46 1000000 0 1756.86/1757.40 c 152 290 279.36 44.91 6.22 1000000 0 1758.86/1759.48 c 157 319 270.40 45.18 5.98 1000000 0 1760.96/1761.54 c 165 274 272.71 48.15 5.66 1000000 0 1763.06/1763.61 c 167 291 275.23 47.62 5.78 1000000 0 1765.06/1765.65 c 169 277 276.15 46.18 5.98 1000000 0 1767.07/1767.70 c 147 319 261.68 45.41 5.76 1000000 0 1769.16/1769.76 c 165 258 272.42 50.08 5.44 1000000 0 1771.26/1771.83 c 129 203 268.85 43.60 6.17 1000000 0 1773.36/1773.90 c 150 272 264.97 50.36 5.26 1000000 0 1775.36/1775.97 c 155 232 267.66 49.79 5.38 1000000 0 1777.46/1778.00 c 166 230 273.66 44.46 6.15 1000000 0 1779.46/1780.07 c 163 242 276.21 49.76 5.55 1000000 0 1781.56/1782.12 c 159 298 275.08 46.66 5.90 1000000 0 1783.56/1784.18 c 157 289 272.03 47.71 5.70 1000000 0 1785.65/1786.23 c 150 263 274.98 52.92 5.20 1000000 0 1787.75/1788.31 c 162 211 266.39 54.03 4.93 1000000 0 1789.75/1790.37 c 167 262 274.12 43.00 6.37 1000000 0 1791.85/1792.41 c 162 240 273.54 45.05 6.07 1000000 0 1793.85/1794.49 c 140 236 267.17 48.63 5.49 1000000 0 1795.95/1796.56 c 163 270 274.44 52.72 5.21 1000000 0 1798.05/1798.62 c 147 216 274.62 48.46 5.67 1000000 0 1800.06/1800.61 HOME/run: line 2: 10187 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669880-1276611102/watcher-2669880-1276611102 -o /tmp/evaluation-result-2669880-1276611102/solver-2669880-1276611102 -C 1800 -W 2000 -M 1800 run HOME/instance-2669880-1276611102.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10186 /proc/meminfo: memFree=1783660/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) R 10184 10186 9829 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053039509 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [startup+0.0519631 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10186 /proc/meminfo: memFree=1783660/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101969 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10186 /proc/meminfo: memFree=1783660/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301997 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10186 /proc/meminfo: memFree=1783660/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701054 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10186 /proc/meminfo: memFree=1783660/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50117 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10188 /proc/meminfo: memFree=1779676/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1.49 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1029 0 0 0 149 0 0 0 25 0 1 0 2398278 41422848 959 1992294400 134512640 135071400 4294522416 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 959 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10188 /proc/meminfo: memFree=1779428/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=3.09 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1037 0 0 0 309 0 0 0 25 0 1 0 2398278 41422848 967 1992294400 134512640 135071400 4294522416 18446744073709551615 134526098 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 967 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30085 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10188 /proc/meminfo: memFree=1779304/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=6.29 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1037 0 0 0 629 0 0 0 25 0 1 0 2398278 41422848 967 1992294400 134512640 135071400 4294522416 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 967 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10188 /proc/meminfo: memFree=1779180/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=12.68 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1037 0 0 0 1268 0 0 0 25 0 1 0 2398278 41422848 967 1992294400 134512640 135071400 4294522416 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 967 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10190 /proc/meminfo: memFree=1779180/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=25.48 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1037 0 0 0 2548 0 0 0 25 0 1 0 2398278 41422848 967 1992294400 134512640 135071400 4294522416 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 967 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10190 /proc/meminfo: memFree=1779180/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=51.07 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1037 0 0 0 5107 0 0 0 25 0 1 0 2398278 41422848 967 1992294400 134512640 135071400 4294522416 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 967 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10192 /proc/meminfo: memFree=1778932/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=102.26 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1037 0 0 0 10226 0 0 0 25 0 1 0 2398278 41422848 967 1992294400 134512640 135071400 4294522416 18446744073709551615 134537261 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 967 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10192 /proc/meminfo: memFree=1778684/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=162.24 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 16224 0 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10194 /proc/meminfo: memFree=1778684/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=222.22 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 22222 0 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134547395 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10196 /proc/meminfo: memFree=1778560/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=282.2 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 28220 0 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.09 1.03 1.01 2/108 10198 /proc/meminfo: memFree=1778560/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=342.18 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 34218 0 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.08 1.04 1.00 2/108 10200 /proc/meminfo: memFree=1778436/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=402.16 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 40216 0 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526469 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ [pid=10187] ppid=10186 vsize=40452 CPUtime=1061.97 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 106196 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526322 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10218 /proc/meminfo: memFree=1776948/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1121.96 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 112195 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526661 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10220 /proc/meminfo: memFree=1776700/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1181.94 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 118193 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10222 /proc/meminfo: memFree=1776452/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1241.92 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 124191 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10227 /proc/meminfo: memFree=1775956/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1301.91 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 130190 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10227 /proc/meminfo: memFree=1775956/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1361.88 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 136187 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.07 1.02 1.00 2/108 10229 /proc/meminfo: memFree=1775956/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1421.87 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 142186 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 10231 /proc/meminfo: memFree=1775956/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1481.85 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 148184 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526472 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/108 10233 /proc/meminfo: memFree=1775832/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1541.83 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 154182 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526500 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10235 /proc/meminfo: memFree=1775708/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1601.81 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 160180 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526648 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10235 /proc/meminfo: memFree=1775584/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1661.79 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 166178 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10237 /proc/meminfo: memFree=1775460/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1721.77 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 172176 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10239 /proc/meminfo: memFree=1775336/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1781.76 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 178175 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10239 /proc/meminfo: memFree=1775336/2059040 swapFree=4192956/4192956 [pid=10186] ppid=10184 vsize=8700 CPUtime=0 /proc/10186/stat : 10186 (run) S 10184 10186 9829 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 2398278 8908800 243 1992294400 4194304 4922060 140734244617968 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10186/statm: 2175 243 204 178 0 68 0 [pid=10187] ppid=10186 vsize=40452 CPUtime=1800.06 /proc/10187/stat : 10187 (PB-wave) R 10186 10186 9829 0 -1 4202496 1038 0 0 0 180005 1 0 0 25 0 1 0 2398278 41422848 968 1992294400 134512640 135071400 4294522416 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/10187/statm: 10113 968 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.08 CPU user time (s): 1800.06 CPU system time (s): 0.016997 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.016997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1409 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 5390 runsolver used 3.21151 second user time and 8.32573 second system time The end
Begin job on node049 at 2010-06-15 16:11:42 IDJOB=2669880 IDBENCH=1477 IDSOLVER=1171 FILE ID=node049/2669880-1276611102 PBS_JOBID= 11172281 Free space on /tmp= 62524 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-22s.smv.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669880-1276611102/watcher-2669880-1276611102 -o /tmp/evaluation-result-2669880-1276611102/solver-2669880-1276611102 -C 1800 -W 2000 -M 1800 run HOME/instance-2669880-1276611102.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3fb2d144eb047d6ea626acdee43b1069 RANDOM SEED=902238551 node049.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1784064 kB Buffers: 25180 kB Cached: 114556 kB SwapCached: 0 kB Active: 68872 kB Inactive: 130252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1784064 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1244 kB Writeback: 0 kB AnonPages: 59324 kB Mapped: 15484 kB Slab: 53820 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182728 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62524 MiB End job on node049 at 2010-06-15 16:41:43