Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.12 | 1800.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.ucl.opb |
MD5SUM | d30cbdfbaf2c404a9c4e9217e33c734d |
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.249961 |
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 | 6392 |
Total number of constraints | 18058 |
Number of constraints which are clauses | 17278 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 780 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
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 = 37351318 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 6392 #con 18058 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 19176 0.00/0.05 c numatom = 6392, numclause = 18058, numliterals = 48384 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 1.59/1.68 c 258 428 401.52 58.14 6.91 1000000 0 3.30/3.34 c 249 369 379.79 52.16 7.28 1000000 0 4.89/4.99 c 240 328 383.38 61.95 6.19 1000000 0 6.60/6.64 c 239 374 388.14 60.84 6.38 1000000 0 8.19/8.28 c 254 364 391.06 58.63 6.67 1000000 0 9.90/9.94 c 238 318 388.26 61.73 6.29 1000000 0 11.49/11.58 c 259 468 390.72 50.11 7.80 1000000 0 13.19/13.22 c 259 385 392.93 55.93 7.03 1000000 0 14.79/14.86 c 251 402 393.38 55.38 7.10 1000000 0 16.49/16.52 c 242 371 382.76 55.90 6.85 1000000 0 18.09/18.16 c 253 406 383.47 55.21 6.95 1000000 0 19.79/19.82 c 254 426 389.76 61.35 6.35 1000000 0 21.38/21.47 c 252 386 384.03 55.27 6.95 1000000 0 23.09/23.13 c 245 391 382.20 54.83 6.97 1000000 0 24.68/24.77 c 224 423 384.96 65.96 5.84 1000000 0 26.39/26.43 c 238 380 383.93 68.35 5.62 1000000 0 27.98/28.07 c 268 454 403.43 60.46 6.67 1000000 0 29.69/29.73 c 221 351 370.40 62.20 5.95 1000000 0 31.28/31.35 c 259 402 399.47 53.87 7.42 1000000 0 32.99/33.01 c 207 303 379.73 56.29 6.75 1000000 0 34.58/34.67 c 248 371 373.08 51.18 7.29 1000000 0 36.18/36.30 c 214 300 383.34 57.69 6.65 1000000 0 37.88/37.95 c 238 407 391.75 51.35 7.63 1000000 0 39.48/39.60 c 236 342 389.35 61.91 6.29 1000000 0 41.18/41.23 c 269 372 394.83 54.60 7.23 1000000 0 42.78/42.86 c 255 435 406.91 57.47 7.08 1000000 0 44.48/44.51 c 251 381 381.19 61.70 6.18 1000000 0 46.08/46.17 c 260 371 396.91 58.00 6.84 1000000 0 47.78/47.82 c 259 387 392.01 54.19 7.23 1000000 0 49.38/49.47 c 249 446 398.93 60.90 6.55 1000000 0 51.08/51.12 c 252 365 389.20 64.54 6.03 1000000 0 52.68/52.75 c 239 326 402.28 58.45 6.88 1000000 0 54.37/54.40 c 251 408 385.71 52.21 7.39 1000000 0 55.98/56.03 c 264 496 401.89 53.62 7.50 1000000 0 57.57/57.67 c 230 397 388.39 53.92 7.20 1000000 0 59.27/59.32 c 232 389 394.40 63.77 6.18 1000000 0 60.87/60.98 c 254 420 380.71 62.54 6.09 1000000 0 62.57/62.64 c 239 376 393.25 58.68 6.70 1000000 0 64.27/64.31 c 230 313 374.87 62.04 6.04 1000000 0 65.87/65.97 c 225 379 382.13 62.28 6.14 1000000 0 67.57/67.64 c 220 335 373.89 55.75 6.71 1000000 0 69.17/69.28 c 262 430 401.00 58.09 6.90 1000000 0 70.87/70.93 c 241 408 392.60 58.94 6.66 1000000 0 72.58/72.62 c 245 393 381.36 58.19 6.55 1000000 0 74.17/74.27 c 248 402 394.68 64.25 6.14 1000000 0 75.87/75.92 c 253 369 409.31 69.02 5.93 1000000 0 77.47/77.57 c 235 364 387.02 63.90 6.06 1000000 0 79.17/79.20 c 236 368 396.74 57.21 6.93 1000000 0 80.76/80.83 c 265 341 395.83 54.80 7.22 1000000 0 82.37/82.47 c 235 363 393.31 62.02 6.34 1000000 0 84.06/84.12 c 228 331 378.89 53.25 7.12 1000000 0 85.67/85.78 c 233 322 373.66 59.40 6.29 1000000 0 87.36/87.40 c 265 394 401.84 57.75 6.96 1000000 0 88.96/89.05 c 243 296 388.73 61.05 6.37 1000000 0 90.66/90.71 c 231 294 388.96 67.80 5.74 1000000 0 92.26/92.35 c 246 322 389.91 54.71 7.13 1000000 0 93.96/94.03 c 229 372 367.03 58.31 6.29 1000000 0 95.56/95.67 c 242 407 391.85 57.93 6.76 1000000 0 97.26/97.35 c 229 358 371.34 67.09 5.53 1000000 0 98.86/99.00 c 226 339 383.28 58.87 6.51 1000000 0 100.56/100.64 c 251 367 391.66 58.17 6.73 1000000 0 102.16/102.28 c 240 393 393.31 54.81 7.18 1000000 0 103.86/103.94 c 242 327 382.76 48.59 7.88 1000000 0 105.46/105.59 c 252 363 385.13 59.64 6.46 1000000 0 107.16/107.21 c 267 418 390.74 62.76 6.23 1000000 0 108.76/108.86 c 222 411 374.25 62.39 6.00 1000000 0 110.46/110.52 c 238 396 373.76 56.61 6.60 1000000 0 112.06/112.19 c 222 319 369.08 55.76 6.62 1000000 0 113.75/113.83 c 244 371 404.66 55.27 7.32 1000000 0 115.36/115.46 c 243 359 399.83 64.31 6.22 1000000 0 117.05/117.11 c 230 330 381.44 60.88 6.27 1000000 0 118.65/118.75 c 240 346 400.73 56.43 7.10 1000000 0 120.35/120.41 c 253 334 381.14 53.30 7.15 1000000 0 121.95/122.07 c 243 359 383.74 58.96 6.51 1000000 0 123.65/123.72 c 256 311 383.13 52.51 7.30 1000000 0 125.25/125.37 c 248 372 379.86 55.21 6.88 1000000 0 126.95/127.01 c 252 356 393.14 59.82 6.57 1000000 0 128.55/128.65 c 252 357 391.13 60.58 6.46 1000000 0 130.25/130.31 c 249 427 388.57 52.16 7.45 1000000 0 131.85/131.97 c 237 374 388.13 62.81 6.18 1000000 0 133.55/133.61 c 265 329 397.65 55.40 7.18 1000000 0 135.15/135.25 c 244 358 391.85 56.34 6.96 1000000 0 136.75/136.89 c 239 354 385.60 50.64 7.61 1000000 0 138.45/138.53 c 280 410 405.52 50.99 7.95 1000000 0 140.04/140.17 c 254 383 387.95 64.59 6.01 1000000 0 141.75/141.83 c 239 337 379.63 57.88 6.56 1000000 0 143.34/143.47 c 257 331 397.80 55.64 7.15 1000000 0 145.05/145.12 c 259 420 385.81 56.65 6.81 1000000 0 146.64/146.77 c 232 374 378.09 60.47 6.25 1000000 0 148.35/148.40 c 265 381 399.45 53.24 7.50 1000000 0 149.94/150.05 c 236 372 383.70 55.59 6.90 1000000 0 151.64/151.71 c 243 410 377.88 53.12 7.11 1000000 0 153.24/153.36 c 247 360 381.22 57.25 6.66 1000000 0 154.84/154.98 c 228 429 395.07 56.42 7.00 1000000 0 156.54/156.62 c 258 388 394.63 67.01 5.89 1000000 0 158.14/158.26 c 248 347 402.64 60.49 6.66 1000000 0 159.84/159.91 c 252 416 390.68 57.50 6.79 1000000 0 161.44/161.53 c 255 363 400.14 58.17 6.88 1000000 0 163.04/163.17 c 255 430 384.14 60.61 6.34 1000000 0 164.64/164.79 c 279 371 412.10 51.16 8.05 1000000 0 166.34/166.44 c 256 360 399.90 63.21 6.33 1000000 0 167.94/168.08 c 258 362 394.15 64.42 6.12 1000000 0 169.64/169.72 c 251 352 395.85 57.58 6.88 1000000 0 171.23/171.34 c 269 358 399.50 53.30 7.50 1000000 0 172.83/172.99 c 234 402 392.60 60.20 6.52 1000000 0 174.53/174.65 c 239 360 377.91 55.38 6.82 1000000 0 176.13/176.29 c 267 380 396.25 56.00 7.08 1000000 0 177.83/177.94 c 246 342 381.32 50.81 7.50 1000000 0 179.53/179.60 c 258 407 384.51 58.91 6.53 1000000 0 181.13/181.28 c 241 308 368.09 57.72 6.38 1000000 0 182.83/182.92 c 266 407 393.50 64.88 6.06 1000000 0 184.43/184.56 c 232 376 385.50 64.04 6.02 1000000 0 186.03/186.19 c 262 429 405.36 50.78 7.98 1000000 0 187.73/187.82 c 217 372 389.21 55.89 6.96 1000000 0 189.33/189.46 c 249 340 389.15 55.71 6.99 1000000 0 191.03/191.10 c 273 402 398.74 54.94 7.26 1000000 0 192.63/192.73 c 260 393 385.30 48.06 8.02 1000000 0 194.23/194.37 c 253 359 392.04 58.07 6.75 1000000 0 195.93/196.01 c 262 339 394.75 57.42 6.87 1000000 0 197.52/197.64 c 239 347 383.32 56.36 6.80 1000000 0 199.12/199.28 c 249 382 400.05 60.05 6.66 1000000 0 200.82/200.91 c 264 336 395.01 57.82 6.83 1000000 0 202.42/202.55 c 260 347 388.82 59.70 6.51 1000000 0 204.12/204.20 c 252 371 384.77 55.08 6.99 1000000 0 205.72/205.85 c 242 397 387.11 58.32 6.64 1000000 0 207.32/207.48 c 223 300 388.68 62.86 6.18 1000000 0 209.02/209.13 c 243 359 382.12 55.72 6.86 1000000 0 210.62/210.79 c 250 389 396.32 58.42 6.78 1000000 0 212.32/212.45 c 249 397 377.79 52.45 7.20 1000000 0 213.92/214.09 c 261 400 387.87 58.07 6.68 1000000 0 215.62/215.73 c 255 368 387.24 59.56 6.50 1000000 0 217.22/217.39 c 246 352 385.67 58.79 6.56 1000000 0 218.92/219.03 c 245 346 390.62 55.73 7.01 1000000 0 220.52/220.68 c 229 367 384.88 62.41 6.17 1000000 0 222.22/222.30 c 270 367 400.67 61.52 6.51 1000000 0 223.82/223.96 c 237 355 376.98 66.82 5.64 1000000 0 225.51/225.62 c 254 413 397.25 63.65 6.24 1000000 0 227.11/227.25 c 258 346 400.04 52.92 7.56 1000000 0 228.81/228.90 c 237 348 377.15 57.61 6.55 1000000 0 230.41/230.54 c 233 405 374.84 64.81 5.78 1000000 0 232.02/232.19 c 256 439 413.04 58.14 7.10 1000000 0 233.71/233.82 c 252 378 399.65 52.64 7.59 1000000 0 235.32/235.46 c 258 461 392.77 52.21 7.52 1000000 0 237.01/237.12 c 236 403 371.62 52.30 7.11 1000000 0 238.62/238.76 c 229 291 395.65 65.55 6.04 1000000 0 240.31/240.42 c 231 333 373.69 60.24 6.20 1000000 0 241.92/242.08 c 266 385 386.10 53.51 7.22 1000000 0 243.61/243.72 c 254 469 397.99 56.66 7.02 1000000 0 245.22/245.33 c 264 339 400.38 60.27 6.64 1000000 0 246.81/246.96 c 269 482 399.98 54.71 7.31 1000000 0 248.52/248.61 c 231 274 385.17 56.16 6.86 1000000 0 250.11/250.24 c 226 413 391.57 66.95 5.85 1000000 0 251.71/251.89 c 242 377 393.20 61.43 6.40 1000000 0 253.41/253.53 c 271 374 391.71 50.30 7.79 1000000 0 255.01/255.18 c 246 318 388.95 57.94 6.71 1000000 0 256.70/256.82 c 268 361 389.84 50.18 7.77 1000000 0 258.31/258.45 c 257 341 393.93 61.79 6.38 1000000 0 260.00/260.10 c 244 361 383.14 67.17 5.70 1000000 0 261.61/261.75 c 256 384 400.51 59.50 6.73 1000000 0 263.30/263.41 c 241 360 383.99 59.48 6.46 1000000 0 264.91/265.05 c 245 325 387.86 59.63 6.50 1000000 0 266.60/266.70 c 257 357 392.21 54.04 7.26 1000000 0 268.20/268.36 c 241 262 384.46 56.63 6.79 1000000 0 269.90/270.03 c 251 379 383.43 55.18 6.95 1000000 0 271.50/271.66 c 235 316 389.59 53.44 7.29 1000000 0 273.20/273.32 c 246 393 386.27 54.75 7.05 1000000 0 274.80/274.97 c 246 377 379.86 62.53 6.08 1000000 0 276.50/276.62 c 259 323 391.86 52.22 7.50 1000000 0 278.10/278.27 c 244 297 394.82 54.42 7.26 1000000 0 279.80/279.90 c 243 371 386.63 57.57 6.72 1000000 0 281.40/281.53 c 253 353 402.55 62.22 6.47 1000000 0 283.00/283.16 c 271 384 400.36 56.65 7.07 1000000 0 284.70/284.81 c 228 406 378.66 60.77 6.23 1000000 0 286.29/286.46 c 252 414 385.69 66.22 5.82 1000000 0 288.00/288.12 c 249 385 384.60 65.58 5.86 1000000 0 289.59/289.76 c 253 393 387.27 52.61 7.36 1000000 0 291.30/291.41 c 242 341 380.15 51.62 7.36 1000000 0 292.89/293.05 c 247 338 387.15 57.18 6.77 1000000 0 294.60/294.71 c 241 332 379.64 64.11 5.92 1000000 0 296.19/296.35 c 275 418 413.78 60.26 6.87 1000000 0 297.89/298.01 c 244 340 389.23 54.25 7.18 1000000 0 299.49/299.65 c 262 355 398.91 58.06 6.87 1000000 0 301.09/301.28 c 265 391 409.38 63.53 6.44 1000000 0 302.79/302.91 c 256 283 385.80 59.65 6.47 1000000 0 304.39/304.54 c 252 352 387.51 49.20 7.88 1000000 0 306.09/306.20 c 217 294 390.22 64.27 6.07 1000000 0 307.69/307.85 c 265 426 395.45 55.01 7.19 1000000 0 309.39/309.52 c 234 397 380.72 64.58 5.90 1000000 0 310.99/311.19 c 234 344 365.58 54.03 6.77 1000000 0 312.69/312.82 c 213 344 398.36 60.48 6.59 1000000 0 314.29/314.47 c 253 425 393.50 60.01 6.56 1000000 0 315.99/316.14 c 228 355 382.52 65.15 5.87 1000000 0 317.58/317.78 c 255 439 404.11 59.46 6.80 1000000 0 319.28/319.44 c 237 322 381.70 58.37 6.54 1000000 0 320.88/321.07 c 254 390 399.89 52.42 7.63 1000000 0 322.58/322.71 c 240 340 390.33 59.21 6.59 1000000 0 324.18/324.35 c 240 385 396.80 62.24 6.38 1000000 0 325.78/325.99 c 267 381 399.09 56.28 7.09 1000000 0 327.48/327.62 c 274 358 403.70 62.21 6.49 1000000 0 329.08/329.26 c 258 368 388.95 56.82 6.84 1000000 0 330.78/330.90 c 273 451 399.19 48.07 8.30 1000000 0 332.38/332.55 c 231 415 381.13 62.52 6.10 1000000 0 333.98/334.18 c 248 382 386.25 67.19 5.75 1000000 0 335.68/335.82 c 265 472 403.35 48.59 8.30 1000000 0 337.28/337.47 c 249 359 394.33 61.14 6.45 1000000 0 338.98/339.14 c 223 324 363.90 56.37 6.46 1000000 0 340.58/340.79 c 264 358 395.38 48.87 8.09 1000000 0 342.27/342.45 c 257 353 386.07 62.93 6.13 1000000 0 343.87/344.09 c 259 353 384.46 51.38 7.48 1000000 0 345.57/345.74 c 248 301 387.99 60.65 6.40 1000000 0 347.17/347.39 c 239 330 388.64 51.64 7.53 1000000 0 348.87/349.02 c 256 352 400.91 51.91 7.72 1000000 0 350.47/350.67 c 236 398 390.58 52.73 7.41 1000000 0 352.07/352.29 c 239 339 399.20 62.46 6.39 1000000 0 353.77/353.93 c 263 431 396.19 59.43 6.67 1000000 0 355.37/355.57 c 244 428 385.15 58.18 6.62 1000000 0 356.97/357.19 c 263 353 388.77 52.80 7.36 1000000 0 358.67/358.83 c 222 349 390.71 57.49 6.80 1000000 0 360.27/360.49 c 246 408 381.72 60.04 6.36 1000000 0 361.97/362.11 c 282 414 407.42 54.53 7.47 1000000 0 363.57/363.76 c 232 362 379.84 60.68 6.26 1000000 0 365.27/365.41 c 228 351 384.72 60.65 6.34 1000000 0 366.87/367.03 c 244 424 407.70 58.77 6.94 1000000 0 368.47/368.65 c 250 357 403.66 59.18 6.82 1000000 0 370.07/370.28 c 277 418 413.54 58.22 7.10 1000000 0 371.77/371.93 c 241 303 386.36 56.70 6.81 1000000 0 373.36/373.58 c 238 362 402.10 66.08 6.09 1000000 0 375.06/375.21 c 252 373 407.40 57.75 7.05 1000000 0 376.66/376.86 c 238 369 386.13 63.46 6.08 1000000 0 378.27/378.49 c 265 396 400.61 45.93 8.72 1000000 0 379.96/380.12 c 245 325 387.59 58.90 6.58 1000000 0 381.57/381.73 c 231 401 401.99 57.75 6.96 1000000 0 383.16/383.37 c 261 327 398.36 59.10 6.74 1000000 0 384.87/385.02 c 227 358 387.88 58.35 6.65 1000000 0 386.46/386.66 c 238 340 385.32 52.41 7.35 1000000 0 388.06/388.29 c 250 420 390.64 53.83 7.26 1000000 0 389.76/389.94 c 245 317 383.34 52.93 7.24 1000000 0 391.47/391.61 c 236 343 374.78 62.22 6.02 1000000 0 393.06/393.24 c 246 341 380.21 64.84 5.86 1000000 0 394.76/394.91 c 247 287 384.67 54.54 7.05 1000000 0 396.36/396.55 c 256 340 395.93 56.30 7.03 1000000 0 398.06/398.21 c 241 340 388.26 65.54 5.92 1000000 0 399.66/399.88 c 234 382 372.68 59.47 6.27 1000000 0 401.36/401.53 c 231 280 390.16 64.66 6.03 1000000 0 402.95/403.17 c 245 401 382.11 58.93 6.48 1000000 0 404.66/404.82 c 236 345 382.48 63.18 6.05 1000000 0 406.25/406.47 c 241 267 385.67 59.04 6.53 1000000 0 407.96/408.13 c 254 337 385.00 58.47 6.59 1000000 0 409.55/409.77 c 256 383 408.34 63.24 6.46 1000000 0 411.26/411.42 c 244 450 386.15 55.19 7.00 1000000 0 412.85/413.06 c 246 387 401.15 55.97 7.17 1000000 0 414.56/414.71 c 239 383 388.41 51.54 7.54 1000000 0 416.15/416.35 c 256 371 386.15 57.28 6.74 1000000 0 417.75/418.00 c 262 379 386.07 52.29 7.38 1000000 0 419.45/419.63 c 245 335 392.20 62.35 6.29 1000000 0 421.05/421.28 c 251 380 393.79 62.63 6.29 1000000 0 422.75/422.91 c 256 515 411.88 54.50 7.56 1000000 0 424.35/424.56 c 255 383 381.69 64.86 5.88 1000000 0 425.95/426.17 c 239 405 403.77 53.74 7.51 1000000 0 427.65/427.81 c 276 395 404.27 50.10 8.07 1000000 0 429.24/429.45 c 250 415 398.84 58.10 6.86 1000000 0 430.95/431.10 c 241 276 393.54 57.91 6.80 1000000 0 432.54/432.73 c 260 349 393.40 63.65 6.18 1000000 0 434.14/434.38 c 241 408 397.23 61.77 6.43 1000000 0 435.84/436.01 c 258 316 398.24 59.91 6.65 1000000 0 437.44/437.68 c 222 344 375.06 57.35 6.54 1000000 0 439.14/439.31 c 254 389 406.99 57.93 7.03 1000000 0 440.74/440.96 c 233 400 383.30 59.96 6.39 1000000 0 442.34/442.59 c 258 402 399.30 64.29 6.21 1000000 0 444.04/444.23 c 254 287 392.87 57.50 6.83 1000000 0 445.64/445.87 c 250 359 395.18 59.11 6.69 1000000 0 447.24/447.49 c 253 377 394.85 52.57 7.51 1000000 0 448.94/449.14 c 257 371 386.90 54.04 7.16 1000000 0 450.54/450.78 c 231 350 396.04 64.23 6.17 1000000 0 452.24/452.42 c 248 407 393.88 54.00 7.29 1000000 0 453.84/454.07 c 245 363 394.97 59.67 6.62 1000000 0 455.44/455.70 c 230 411 403.59 66.51 6.07 1000000 0 457.14/457.33 c 236 425 397.22 60.48 6.57 1000000 0 458.74/458.98 c 236 363 393.97 56.51 6.97 1000000 0 460.44/460.62 c 259 351 394.37 58.97 6.69 1000000 0 462.03/462.25 c 258 385 396.33 59.62 6.65 1000000 0 463.63/463.89 c 232 376 392.30 60.12 6.52 1000000 0 465.33/465.54 c 256 350 394.74 59.87 6.59 1000000 0 466.93/467.19 c 230 320 397.58 56.60 7.02 1000000 0 468.63/468.83 c 239 359 396.77 71.41 5.56 1000000 0 470.33/470.50 c 235 317 385.96 64.82 5.95 1000000 0 471.93/472.14 c 250 384 391.69 61.76 6.34 1000000 0 473.63/473.80 c 252 320 384.40 56.27 6.83 1000000 0 475.23/475.45 c 254 399 381.56 58.60 6.51 1000000 0 476.83/477.09 c 269 383 406.44 50.83 8.00 1000000 0 478.53/478.73 c 259 374 406.00 54.97 7.39 1000000 0 480.13/480.37 c 260 381 395.60 56.99 6.94 1000000 0 481.83/482.01 c 248 343 396.08 54.84 7.22 1000000 0 483.43/483.66 c 270 360 395.86 52.87 7.49 1000000 0 485.13/485.30 c 249 344 393.89 51.24 7.69 1000000 0 486.73/486.95 c 257 401 382.84 52.90 7.24 1000000 0 488.33/488.59 c 253 391 395.81 56.38 7.02 1000000 0 490.02/490.24 c 239 379 395.41 55.77 7.09 1000000 0 491.62/491.88 c 255 436 394.57 59.15 6.67 1000000 0 493.32/493.51 c 274 407 402.82 53.49 7.53 1000000 0 494.92/495.16 c 248 338 392.04 60.17 6.52 1000000 0 496.62/496.81 c 255 359 389.69 57.10 6.82 1000000 0 498.22/498.45 c 247 372 383.76 55.04 6.97 1000000 0 499.92/500.11 c 250 381 382.14 56.37 6.78 1000000 0 501.52/501.74 c 212 357 396.27 62.45 6.35 1000000 0 503.12/503.40 c 251 372 383.19 60.78 6.30 1000000 0 504.82/505.04 c 267 393 390.93 56.78 6.89 1000000 0 506.42/506.69 c 261 401 395.54 60.03 6.59 1000000 0 508.12/508.32 c 253 338 409.44 62.97 6.50 1000000 0 509.72/509.96 c 236 363 395.39 60.06 6.58 1000000 0 511.42/511.60 c 260 371 395.23 55.89 7.07 1000000 0 513.02/513.24 c 252 418 401.27 56.53 7.10 1000000 0 514.62/514.88 c 238 428 398.11 61.09 6.52 1000000 0 516.32/516.52 c 255 329 395.97 58.75 6.74 1000000 0 517.92/518.16 c 255 353 389.90 57.87 6.74 1000000 0 519.62/519.80 c 264 392 388.04 56.16 6.91 1000000 0 521.22/521.46 c 233 390 376.20 57.19 6.58 1000000 0 522.91/523.11 c 250 429 397.11 60.69 6.54 1000000 0 524.52/524.75 c 212 286 379.68 61.24 6.20 1000000 0 526.21/526.40 c 244 297 403.43 56.40 7.15 1000000 0 527.82/528.04 c 245 399 391.55 64.07 6.11 1000000 0 529.41/529.69 c 250 385 383.71 49.00 7.83 1000000 0 531.12/531.34 c 240 405 394.89 57.84 6.83 1000000 0 532.71/532.96 c 264 377 403.33 54.78 7.36 1000000 0 534.31/534.60 c 215 310 378.87 60.66 6.25 1000000 0 536.01/536.25 c 228 333 381.41 58.22 6.55 1000000 0 537.61/537.89 c 259 367 393.48 53.40 7.37 1000000 0 539.31/539.54 c 230 372 382.21 56.95 6.71 1000000 0 540.91/541.19 c 231 392 374.56 62.95 5.95 1000000 0 542.61/542.83 c 240 326 383.67 55.14 6.96 1000000 0 544.21/544.45 c 272 329 394.74 58.37 6.76 1000000 0 545.91/546.10 c 250 348 390.36 54.21 7.20 1000000 0 547.51/547.74 c 267 382 393.63 54.05 7.28 1000000 0 549.11/549.40 c 218 397 381.59 67.71 5.64 1000000 0 550.81/551.06 c 237 416 378.99 53.31 7.11 1000000 0 552.40/552.69 c 253 380 402.85 57.54 7.00 1000000 0 554.11/554.34 c 240 344 377.95 64.51 5.86 1000000 0 555.70/555.98 c 245 361 395.71 61.27 6.46 1000000 0 557.41/557.62 c 259 363 404.99 59.40 6.82 1000000 0 559.00/559.26 c 241 386 382.66 60.71 6.30 1000000 0 560.70/560.91 c 254 365 402.82 55.30 7.28 1000000 0 562.30/562.56 c 248 330 385.93 57.27 6.74 1000000 0 564.00/564.20 c 257 463 387.64 58.69 6.60 1000000 0 565.60/565.85 c 232 348 388.61 60.76 6.40 1000000 0 567.20/567.48 c 240 417 414.49 54.47 7.61 1000000 0 568.90/569.11 c 254 327 382.85 51.89 7.38 1000000 0 570.50/570.77 c 225 300 394.97 66.59 5.93 1000000 0 572.20/572.42 c 239 333 383.13 48.39 7.92 1000000 0 573.80/574.07 c 246 386 381.85 64.31 5.94 1000000 0 575.50/575.70 c 251 352 395.82 57.22 6.92 1000000 0 577.10/577.36 c 239 315 392.95 69.10 5.69 1000000 0 578.80/579.00 c 246 322 396.45 56.63 7.00 1000000 0 580.40/580.63 c 238 339 401.11 54.13 7.41 1000000 0 581.99/582.27 c 246 395 391.95 56.82 6.90 1000000 0 583.69/583.92 c 248 376 394.85 56.72 6.96 1000000 0 585.29/585.57 c 235 367 382.97 52.78 7.26 1000000 0 586.99/587.22 c 244 342 382.14 55.98 6.83 1000000 0 588.59/588.85 c 236 261 402.80 60.35 6.67 1000000 0 590.19/590.48 c 245 296 395.19 63.40 6.23 1000000 0 591.89/592.13 c 252 351 381.59 52.94 7.21 1000000 0 593.49/593.79 c 244 360 375.12 55.46 6.76 1000000 0 595.19/595.43 c 254 391 384.59 53.93 7.13 1000000 0 596.79/597.07 c 238 317 393.55 55.06 7.15 1000000 0 598.49/598.70 c 262 418 406.20 54.02 7.52 1000000 0 600.09/600.34 c 252 368 390.43 59.37 6.58 1000000 0 601.79/602.01 c 236 359 378.53 63.14 6.00 1000000 0 603.39/603.64 c 247 445 398.17 57.26 6.95 1000000 0 604.99/605.30 c 245 421 392.75 64.30 6.11 1000000 0 606.68/606.91 c 260 340 407.50 52.09 7.82 1000000 0 608.28/608.56 c 233 349 380.28 64.31 5.91 1000000 0 609.98/610.20 c 253 349 406.99 48.95 8.31 1000000 0 611.58/611.82 c 270 397 402.65 50.76 7.93 1000000 0 613.18/613.45 c 249 309 397.71 55.95 7.11 1000000 0 614.78/615.09 c 253 415 391.81 61.15 6.41 1000000 0 616.48/616.73 c 263 425 392.29 61.98 6.33 1000000 0 618.08/618.36 c 256 346 405.55 64.68 6.27 1000000 0 619.78/620.02 c 252 326 382.07 53.39 7.16 1000000 0 621.38/621.68 c 249 352 388.35 56.19 6.91 1000000 0 623.08/623.31 c 261 355 404.07 64.67 6.25 1000000 0 624.68/624.96 c 238 381 382.84 64.73 5.91 1000000 0 626.38/626.61 c 259 374 390.78 52.85 7.39 1000000 0 627.98/628.27 c 231 332 385.58 59.90 6.44 1000000 0 629.68/629.91 c 244 335 384.53 65.54 5.87 1000000 0 631.28/631.55 c 241 392 385.67 60.00 6.43 1000000 0 632.98/633.21 c 240 360 390.02 53.80 7.25 1000000 0 634.58/634.83 c 232 344 403.79 57.55 7.02 1000000 0 636.18/636.46 c 257 376 407.54 58.45 6.97 1000000 0 637.78/638.09 c 238 433 391.31 53.08 7.37 1000000 0 639.47/639.72 c 264 388 406.02 63.45 6.40 1000000 0 641.08/641.35 c 263 384 398.76 61.22 6.51 1000000 0 642.77/643.03 c 235 317 366.98 54.75 6.70 1000000 0 644.38/644.67 c 264 301 397.94 57.23 6.95 1000000 0 646.07/646.33 c 233 331 381.96 61.56 6.20 1000000 0 647.68/647.96 c 258 388 399.71 51.95 7.69 1000000 0 649.27/649.59 c 267 427 397.08 53.98 7.36 1000000 0 650.98/651.24 c 245 402 389.71 62.99 6.19 1000000 0 652.57/652.88 c 253 392 391.30 57.49 6.81 1000000 0 654.28/654.52 c 239 351 389.22 54.15 7.19 1000000 0 655.87/656.15 c 239 418 401.54 55.49 7.24 1000000 0 657.47/657.78 c 253 415 385.37 53.48 7.21 1000000 0 659.17/659.43 c 263 371 389.33 60.67 6.42 1000000 0 660.77/661.07 c 236 321 406.73 63.96 6.36 1000000 0 662.47/662.71 c 244 371 381.63 55.62 6.86 1000000 0 664.07/664.34 c 261 384 405.03 57.34 7.06 1000000 0 665.67/665.99 c 247 385 384.42 57.34 6.70 1000000 0 667.37/667.65 c 258 349 388.54 57.13 6.80 1000000 0 668.96/669.29 c 237 281 387.63 57.13 6.78 1000000 0 670.67/670.97 c 231 346 367.12 53.22 6.90 1000000 0 672.36/672.63 c 245 315 385.19 59.07 6.52 1000000 0 673.97/674.29 c 233 393 380.80 54.49 6.99 1000000 0 675.66/675.94 c 249 356 385.04 53.02 7.26 1000000 0 677.26/677.58 c 241 403 393.65 57.88 6.80 1000000 0 678.96/679.21 c 265 357 392.81 53.79 7.30 1000000 0 680.56/680.85 c 271 329 404.42 53.40 7.57 1000000 0 682.26/682.51 c 228 418 376.25 64.34 5.85 1000000 0 683.86/684.15 c 256 381 390.99 56.25 6.95 1000000 0 685.46/685.79 c 250 321 375.45 60.09 6.25 1000000 0 687.16/687.45 c 243 372 372.63 56.36 6.61 1000000 0 688.86/689.10 c 244 358 382.43 57.44 6.66 1000000 0 690.46/690.77 c 259 356 384.45 60.87 6.32 1000000 0 692.06/692.38 c 257 401 404.15 58.28 6.93 1000000 0 693.76/694.01 c 232 363 381.99 65.29 5.85 1000000 0 695.36/695.65 c 278 323 405.09 54.07 7.49 1000000 0 696.96/697.29 c 241 305 379.91 60.79 6.25 1000000 0 698.65/698.91 c 269 360 405.18 57.04 7.10 1000000 0 700.25/700.55 c 232 307 385.21 56.65 6.80 1000000 0 701.95/702.21 c 238 400 377.52 60.04 6.29 1000000 0 703.55/703.86 c 235 391 394.28 67.63 5.83 1000000 0 705.15/705.49 c 243 357 399.41 53.50 7.47 1000000 0 706.85/707.12 c 259 286 399.37 61.07 6.54 1000000 0 708.45/708.76 c 240 415 382.28 65.26 5.86 1000000 0 710.15/710.43 c 252 336 384.00 64.17 5.98 1000000 0 711.75/712.08 c 236 323 391.20 55.51 7.05 1000000 0 713.45/713.72 c 225 437 394.25 63.25 6.23 1000000 0 715.05/715.37 c 255 335 385.83 59.16 6.52 1000000 0 716.75/717.00 c 263 426 399.28 52.04 7.67 1000000 0 718.35/718.64 c 260 338 394.27 62.32 6.33 1000000 0 719.95/720.29 c 257 325 389.31 58.89 6.61 1000000 0 721.65/721.94 c 254 321 389.58 56.96 6.84 1000000 0 723.25/723.58 c 263 356 400.32 60.62 6.60 1000000 0 724.95/725.22 c 232 386 389.55 54.23 7.18 1000000 0 726.55/726.87 c 221 298 383.92 61.99 6.19 1000000 0 728.24/728.52 c 230 324 384.69 60.14 6.40 1000000 0 729.84/730.16 c 261 363 385.60 49.60 7.77 1000000 0 731.54/731.81 c 246 368 385.25 57.79 6.67 1000000 0 733.14/733.46 c 245 300 384.04 55.38 6.93 1000000 0 734.74/735.09 c 270 323 400.29 65.88 6.08 1000000 0 736.44/736.72 c 225 378 403.38 63.73 6.33 1000000 0 738.04/738.37 c 232 361 378.68 56.41 6.71 1000000 0 739.74/740.03 c 227 335 384.30 58.85 6.53 1000000 0 741.34/741.66 c 266 406 395.57 59.64 6.63 1000000 0 743.04/743.32 c 239 320 382.73 61.35 6.24 1000000 0 744.64/744.95 c 261 378 391.03 56.04 6.98 1000000 0 746.34/746.63 c 216 370 365.95 62.45 5.86 1000000 0 747.94/748.28 c 256 296 388.10 59.29 6.55 1000000 0 749.64/749.92 c 245 342 384.87 62.97 6.11 1000000 0 751.24/751.56 c 249 385 397.97 55.25 7.20 1000000 0 752.94/753.20 c 239 364 393.33 55.83 7.04 1000000 0 754.54/754.84 c 221 319 399.38 61.52 6.49 1000000 0 756.14/756.45 c 282 350 414.18 50.57 8.19 1000000 0 757.83/758.10 c 244 446 398.62 63.24 6.30 1000000 0 759.43/759.74 c 225 323 389.19 59.61 6.53 1000000 0 761.13/761.40 c 248 383 388.97 59.15 6.58 1000000 0 762.73/763.06 c 241 420 391.27 59.80 6.54 1000000 0 764.43/764.72 c 246 346 391.73 58.49 6.70 1000000 0 766.03/766.37 c 232 364 395.75 61.85 6.40 1000000 0 767.73/768.01 c 226 362 378.87 56.97 6.65 1000000 0 769.33/769.68 c 232 362 371.70 54.30 6.85 1000000 0 771.03/771.33 c 248 362 385.15 60.12 6.41 1000000 0 772.63/772.97 c 261 393 393.67 45.40 8.67 1000000 0 774.33/774.63 c 232 320 382.29 59.16 6.46 1000000 0 775.93/776.28 c 258 394 390.62 64.68 6.04 1000000 0 777.63/777.92 c 239 367 391.55 60.02 6.52 1000000 0 779.23/779.57 c 248 417 387.34 54.18 7.15 1000000 0 780.93/781.23 c 203 341 362.51 59.31 6.11 1000000 0 782.53/782.89 c 243 381 386.85 57.86 6.69 1000000 0 784.23/784.53 c 255 425 390.45 54.96 7.10 1000000 0 785.83/786.16 c 278 394 400.35 49.19 8.14 1000000 0 787.53/787.83 c 240 378 391.38 66.95 5.85 1000000 0 789.12/789.45 c 255 398 409.20 60.44 6.77 1000000 0 790.72/791.08 c 250 417 412.99 58.87 7.01 1000000 0 792.42/792.72 c 238 392 383.88 60.06 6.39 1000000 0 794.02/794.36 c 237 382 398.97 59.13 6.75 1000000 0 795.62/795.99 c 250 381 398.89 64.74 6.16 1000000 0 797.32/797.61 c 249 399 401.86 56.60 7.10 1000000 0 798.92/799.25 c 239 356 390.28 60.98 6.40 1000000 0 800.53/800.89 c 243 346 377.69 59.88 6.31 1000000 0 802.22/802.55 c 248 339 380.32 55.26 6.88 1000000 0 803.83/804.20 c 267 397 401.06 63.49 6.32 1000000 0 805.52/805.84 c 223 431 401.78 56.24 7.14 1000000 0 807.13/807.49 c 245 392 389.25 60.78 6.40 1000000 0 808.82/809.11 c 216 313 388.36 55.02 7.06 1000000 0 810.42/810.77 c 232 410 383.99 60.28 6.37 1000000 0 812.12/812.44 c 243 385 373.75 51.89 7.20 1000000 0 813.72/814.09 c 220 348 389.61 57.33 6.80 1000000 0 815.42/815.75 c 251 384 392.22 58.47 6.71 1000000 0 817.02/817.38 c 280 372 399.16 54.08 7.38 1000000 0 818.71/819.03 c 240 342 383.84 65.40 5.87 1000000 0 820.32/820.67 c 251 325 396.91 60.99 6.51 1000000 0 822.01/822.31 c 246 409 393.18 56.47 6.96 1000000 0 823.62/823.94 c 274 359 402.31 56.24 7.15 1000000 0 825.21/825.59 c 258 377 398.90 58.79 6.79 1000000 0 826.92/827.24 c 241 346 376.24 62.41 6.03 1000000 0 828.51/828.87 c 252 321 402.01 60.52 6.64 1000000 0 830.22/830.51 c 243 308 398.49 57.14 6.97 1000000 0 831.81/832.15 c 250 451 397.52 59.00 6.74 1000000 0 833.52/833.80 c 245 356 383.91 63.80 6.02 1000000 0 835.11/835.46 c 248 353 400.69 58.76 6.82 1000000 0 836.71/837.08 c 271 361 404.08 52.23 7.74 1000000 0 838.41/838.73 c 221 390 395.38 54.08 7.31 1000000 0 840.01/840.38 c 260 375 390.44 60.13 6.49 1000000 0 841.71/842.01 c 233 359 386.73 60.67 6.37 1000000 0 843.31/843.65 c 243 361 382.63 67.61 5.66 1000000 0 844.91/845.29 c 247 348 392.95 58.36 6.73 1000000 0 846.61/846.93 c 241 349 381.76 63.14 6.05 1000000 0 848.21/848.59 c 219 424 389.46 58.03 6.71 1000000 0 849.91/850.24 c 254 362 384.87 55.18 6.97 1000000 0 851.50/851.85 c 237 422 415.31 66.62 6.23 1000000 0 853.21/853.51 c 211 397 385.24 59.99 6.42 1000000 0 854.80/855.16 c 248 384 383.59 55.93 6.86 1000000 0 856.50/856.81 c 253 426 395.08 63.86 6.19 1000000 0 858.10/858.44 c 254 376 380.49 48.99 7.77 1000000 0 859.70/860.07 c 266 407 402.97 59.45 6.78 1000000 0 861.40/861.72 c 240 315 391.86 56.12 6.98 1000000 0 863.00/863.39 c 230 356 383.57 63.23 6.07 1000000 0 864.70/865.02 c 246 400 389.33 50.51 7.71 1000000 0 866.30/866.69 c 231 349 376.06 58.44 6.44 1000000 0 868.00/868.36 c 237 313 382.60 60.18 6.36 1000000 0 869.60/869.99 c 246 354 388.73 61.20 6.35 1000000 0 871.30/871.64 c 241 348 388.48 55.27 7.03 1000000 0 872.90/873.28 c 242 324 394.20 53.36 7.39 1000000 0 874.60/874.92 c 230 334 396.95 52.08 7.62 1000000 0 876.19/876.54 c 248 509 409.05 55.78 7.33 1000000 0 877.79/878.16 c 250 383 388.76 53.00 7.33 1000000 0 879.49/879.80 c 231 327 391.50 63.85 6.13 1000000 0 881.09/881.44 c 234 322 393.78 65.99 5.97 1000000 0 882.69/883.08 c 266 382 387.77 54.60 7.10 1000000 0 884.39/884.73 c 246 419 385.96 68.20 5.66 1000000 0 885.99/886.38 c 226 304 381.86 64.23 5.95 1000000 0 887.69/888.02 c 255 383 394.15 49.71 7.93 1000000 0 889.29/889.66 c 242 399 382.37 52.04 7.35 1000000 0 890.99/891.30 c 249 432 398.16 55.34 7.19 1000000 0 892.59/892.94 c 254 342 395.08 59.83 6.60 1000000 0 894.19/894.57 c 247 443 400.13 53.27 7.51 1000000 0 895.89/896.22 c 228 353 384.07 61.96 6.20 1000000 0 897.49/897.85 c 245 372 393.01 55.49 7.08 1000000 0 899.09/899.48 c 259 289 406.51 58.01 7.01 1000000 0 900.79/901.11 c 262 416 403.91 56.55 7.14 1000000 0 902.38/902.76 c 245 347 388.26 57.66 6.73 1000000 0 903.98/904.39 c 268 420 405.32 51.94 7.80 1000000 0 905.68/906.05 c 242 283 383.58 50.99 7.52 1000000 0 907.38/907.70 c 240 346 386.31 60.97 6.34 1000000 0 908.98/909.35 c 233 401 382.89 57.32 6.68 1000000 0 910.58/911.00 c 257 354 385.39 55.16 6.99 1000000 0 912.28/912.62 c 250 426 395.90 61.38 6.45 1000000 0 913.88/914.26 c 259 388 401.02 59.08 6.79 1000000 0 915.48/915.89 c 254 410 388.70 55.99 6.94 1000000 0 917.18/917.54 c 246 346 397.96 64.51 6.17 1000000 0 918.78/919.18 c 244 361 392.29 64.92 6.04 1000000 0 920.48/920.81 c 229 446 398.09 52.54 7.58 1000000 0 922.08/922.44 c 251 378 402.59 56.88 7.08 1000000 0 923.69/924.08 c 242 287 393.42 62.36 6.31 1000000 0 925.38/925.71 c 259 344 402.67 55.41 7.27 1000000 0 926.99/927.35 c 247 332 393.36 54.80 7.18 1000000 0 928.58/928.98 c 275 442 409.87 55.01 7.45 1000000 0 930.28/930.63 c 243 355 401.45 59.80 6.71 1000000 0 931.88/932.27 c 238 402 379.57 54.96 6.91 1000000 0 933.58/933.92 c 237 379 397.85 56.87 7.00 1000000 0 935.17/935.56 c 230 358 388.40 55.41 7.01 1000000 0 936.78/937.20 c 263 411 394.20 49.76 7.92 1000000 0 938.47/938.85 c 232 371 395.08 61.55 6.42 1000000 0 940.08/940.50 c 258 401 397.77 61.03 6.52 1000000 0 941.77/942.15 c 234 318 388.77 61.65 6.31 1000000 0 943.37/943.80 c 230 368 381.79 62.75 6.08 1000000 0 945.07/945.45 c 233 393 376.82 57.11 6.60 1000000 0 946.78/947.11 c 226 299 384.38 58.87 6.53 1000000 0 948.37/948.74 c 213 354 380.82 61.32 6.21 1000000 0 949.97/950.38 c 243 345 391.63 61.72 6.35 1000000 0 951.67/952.04 c 235 397 379.23 57.61 6.58 1000000 0 953.27/953.69 c 221 290 383.49 62.24 6.16 1000000 0 954.97/955.33 c 253 367 404.00 58.07 6.96 1000000 0 956.57/956.97 c 258 318 394.51 52.75 7.48 1000000 0 958.27/958.61 c 246 345 390.23 55.19 7.07 1000000 0 959.87/960.25 c 257 465 395.30 56.53 6.99 1000000 0 961.56/961.90 c 211 416 382.57 61.80 6.19 1000000 0 963.17/963.52 c 247 365 390.41 56.93 6.86 1000000 0 964.76/965.14 c 250 346 397.33 55.11 7.21 1000000 0 966.36/966.80 c 239 346 388.45 61.30 6.34 1000000 0 968.06/968.44 c 240 382 385.68 55.33 6.97 1000000 0 969.66/970.07 c 234 388 386.87 60.02 6.45 1000000 0 971.36/971.72 c 257 398 388.47 56.17 6.92 1000000 0 972.96/973.38 c 235 367 384.30 59.70 6.44 1000000 0 974.66/975.03 c 211 432 389.68 64.19 6.07 1000000 0 976.36/976.71 c 227 401 369.04 65.98 5.59 1000000 0 977.96/978.34 c 266 365 397.85 64.01 6.22 1000000 0 979.56/979.98 c 224 324 393.78 59.33 6.64 1000000 0 981.26/981.64 c 238 375 380.85 63.67 5.98 1000000 0 982.96/983.31 c 241 379 382.87 56.51 6.78 1000000 0 984.56/984.94 c 270 401 399.93 53.33 7.50 1000000 0 986.16/986.59 c 236 423 380.77 60.59 6.28 1000000 0 987.86/988.22 c 245 306 398.21 66.21 6.01 1000000 0 989.46/989.87 c 235 368 376.07 57.34 6.56 1000000 0 991.16/991.53 c 234 357 386.39 66.11 5.84 1000000 0 992.76/993.15 c 251 378 386.39 46.58 8.30 1000000 0 994.45/994.80 c 233 402 393.81 59.09 6.66 1000000 0 996.05/996.42 c 264 378 401.50 56.58 7.10 1000000 0 997.65/998.05 c 231 378 395.75 58.35 6.78 1000000 0 999.35/999.70 c 237 380 374.51 64.07 5.84 1000000 0 1000.95/1001.36 c 241 375 379.00 54.86 6.91 1000000 0 1002.65/1003.01 c 257 376 389.32 53.40 7.29 1000000 0 1004.25/1004.66 c 258 417 386.34 53.56 7.21 1000000 0 1005.85/1006.29 c 262 429 401.81 56.37 7.13 1000000 0 1007.55/1007.94 c 257 345 393.12 61.99 6.34 1000000 0 1009.25/1009.60 c 258 346 388.09 52.01 7.46 1000000 0 1010.85/1011.23 c 240 372 398.01 61.35 6.49 1000000 0 1012.45/1012.87 c 268 442 393.25 54.36 7.23 1000000 0 1014.15/1014.51 c 254 334 383.41 55.02 6.97 1000000 0 1015.75/1016.16 c 252 356 386.64 61.79 6.26 1000000 0 1017.45/1017.81 c 258 389 390.47 62.48 6.25 1000000 0 1019.05/1019.47 c 237 396 382.44 50.47 7.58 1000000 0 1020.75/1021.12 c 263 373 402.65 51.28 7.85 1000000 0 1022.35/1022.75 c 252 365 400.25 62.31 6.42 1000000 0 1024.04/1024.42 c 252 320 385.26 55.79 6.91 1000000 0 1025.64/1026.09 c 236 314 384.96 63.36 6.08 1000000 0 1027.34/1027.74 c 245 347 383.80 62.43 6.15 1000000 0 1029.04/1029.42 c 197 329 360.67 58.50 6.17 1000000 0 1030.64/1031.05 c 248 296 398.53 57.92 6.88 1000000 0 1032.24/1032.69 c 230 377 395.08 61.84 6.39 1000000 0 1033.94/1034.35 c 253 407 388.84 63.60 6.11 1000000 0 1035.54/1035.97 c 259 403 397.63 60.04 6.62 1000000 0 1037.14/1037.59 c 271 355 407.36 55.59 7.33 1000000 0 1038.84/1039.22 c 256 387 394.00 59.56 6.62 1000000 0 1040.44/1040.86 c 223 343 388.26 63.49 6.11 1000000 0 1042.04/1042.49 c 250 401 388.54 55.52 7.00 1000000 0 1043.74/1044.14 c 265 438 393.59 55.88 7.04 1000000 0 1045.34/1045.79 c 229 343 382.01 59.82 6.39 1000000 0 1047.04/1047.43 c 269 412 386.46 50.30 7.68 1000000 0 1048.64/1049.08 c 229 287 385.28 62.06 6.21 1000000 0 1050.34/1050.72 c 265 387 392.22 52.31 7.50 1000000 0 1051.94/1052.37 c 249 342 394.02 60.36 6.53 1000000 0 1053.63/1054.00 c 259 345 392.94 55.69 7.06 1000000 0 1055.23/1055.66 c 248 351 381.93 66.18 5.77 1000000 0 1056.93/1057.31 c 245 312 385.50 58.04 6.64 1000000 0 1058.53/1058.96 c 233 340 380.83 68.96 5.52 1000000 0 1060.23/1060.61 c 256 415 397.84 57.60 6.91 1000000 0 1061.83/1062.24 c 225 340 391.47 61.62 6.35 1000000 0 1063.53/1063.90 c 261 350 393.57 56.64 6.95 1000000 0 1065.13/1065.54 c 252 327 387.99 61.81 6.28 1000000 0 1066.73/1067.19 c 250 307 381.27 63.74 5.98 1000000 0 1068.43/1068.84 c 257 384 388.79 53.10 7.32 1000000 0 1070.13/1070.50 c 240 401 384.41 64.50 5.96 1000000 0 1071.73/1072.14 c 237 358 388.20 56.73 6.84 1000000 0 1073.43/1073.80 c 220 339 383.19 66.58 5.76 1000000 0 1075.03/1075.43 c 267 309 402.08 57.99 6.93 1000000 0 1076.63/1077.07 c 236 316 398.75 63.86 6.24 1000000 0 1078.33/1078.71 c 233 376 378.54 49.29 7.68 1000000 0 1079.93/1080.39 c 236 364 379.76 61.22 6.20 1000000 0 1081.63/1082.02 c 237 352 393.86 61.71 6.38 1000000 0 1083.23/1083.68 c 231 350 378.91 59.76 6.34 1000000 0 1084.92/1085.30 c 259 399 402.28 63.09 6.38 1000000 0 1086.52/1086.97 c 238 397 380.72 59.63 6.38 1000000 0 1088.22/1088.62 c 249 343 385.58 64.64 5.96 1000000 0 1089.82/1090.27 c 260 415 376.29 58.36 6.45 1000000 0 1091.52/1091.93 c 260 370 384.07 58.27 6.59 1000000 0 1093.12/1093.58 c 249 350 397.07 53.95 7.36 1000000 0 1094.82/1095.24 c 232 365 385.72 55.46 6.95 1000000 0 1096.42/1096.89 c 242 318 375.44 56.54 6.64 1000000 0 1098.12/1098.55 c 238 358 391.87 58.67 6.68 1000000 0 1099.72/1100.18 c 261 376 394.84 55.36 7.13 1000000 0 1101.42/1101.82 c 252 422 388.38 59.23 6.56 1000000 0 1103.02/1103.48 c 241 374 389.10 57.14 6.81 1000000 0 1104.72/1105.11 c 251 362 382.38 59.07 6.47 1000000 0 1106.32/1106.79 c 237 349 365.84 59.63 6.14 1000000 0 1108.02/1108.42 c 251 371 404.65 64.20 6.30 1000000 0 1109.62/1110.07 c 254 365 395.42 56.51 7.00 1000000 0 1111.32/1111.71 c 242 330 395.57 57.30 6.90 1000000 0 1112.92/1113.36 c 256 331 391.41 57.24 6.84 1000000 0 1114.61/1115.00 c 262 293 390.50 49.73 7.85 1000000 0 1116.21/1116.66 c 235 331 366.26 52.94 6.92 1000000 0 1117.91/1118.30 c 249 354 391.74 53.94 7.26 1000000 0 1119.51/1119.93 c 252 415 412.81 55.69 7.41 1000000 0 1121.11/1121.58 c 220 334 372.33 61.25 6.08 1000000 0 1122.81/1123.21 c 242 382 397.52 57.97 6.86 1000000 0 1124.41/1124.85 c 264 372 399.80 68.05 5.87 1000000 0 1126.02/1126.48 c 271 324 402.37 64.33 6.26 1000000 0 1127.71/1128.12 c 260 341 397.44 57.39 6.92 1000000 0 1129.32/1129.75 c 270 364 401.75 65.79 6.11 1000000 0 1130.91/1131.40 c 220 319 387.61 55.47 6.99 1000000 0 1132.62/1133.04 c 244 370 382.86 55.55 6.89 1000000 0 1134.21/1134.67 c 237 357 383.30 59.41 6.45 1000000 0 1135.92/1136.31 c 242 461 401.62 63.13 6.36 1000000 0 1137.51/1137.94 c 249 348 394.67 62.06 6.36 1000000 0 1139.11/1139.59 c 236 383 389.10 53.67 7.25 1000000 0 1140.81/1141.22 c 225 363 386.41 53.52 7.22 1000000 0 1142.41/1142.88 c 231 320 378.71 58.49 6.47 1000000 0 1144.11/1144.52 c 253 381 397.41 51.67 7.69 1000000 0 1145.71/1146.18 c 253 412 383.39 53.05 7.23 1000000 0 1147.40/1147.82 c 241 386 394.78 61.05 6.47 1000000 0 1149.01/1149.46 c 237 455 393.97 68.08 5.79 1000000 0 1150.70/1151.11 c 237 319 378.43 62.45 6.06 1000000 0 1152.30/1152.77 c 248 359 388.53 51.72 7.51 1000000 0 1154.00/1154.41 c 240 339 376.85 64.24 5.87 1000000 0 1155.60/1156.06 c 242 430 382.13 60.07 6.36 1000000 0 1157.30/1157.70 c 254 363 400.40 56.69 7.06 1000000 0 1158.90/1159.34 c 231 337 385.94 55.00 7.02 1000000 0 1160.50/1160.99 c 224 328 381.21 62.15 6.13 1000000 0 1162.20/1162.63 c 253 367 400.07 56.01 7.14 1000000 0 1163.80/1164.26 c 244 358 397.36 49.12 8.09 1000000 0 1165.40/1165.89 c 263 399 397.71 53.59 7.42 1000000 0 1167.10/1167.52 c 257 352 397.77 53.46 7.44 1000000 0 1168.70/1169.16 c 234 364 398.66 57.97 6.88 1000000 0 1170.40/1170.83 c 227 339 370.33 62.83 5.89 1000000 0 1171.99/1172.47 c 259 376 399.03 63.00 6.33 1000000 0 1173.69/1174.14 c 215 336 376.09 68.35 5.50 1000000 0 1175.40/1175.80 c 210 369 378.64 62.79 6.03 1000000 0 1176.99/1177.44 c 254 391 388.22 50.87 7.63 1000000 0 1178.59/1179.09 c 252 382 397.92 53.99 7.37 1000000 0 1180.29/1180.75 c 215 283 380.10 62.95 6.04 1000000 0 1182.00/1182.40 c 234 358 379.74 49.63 7.65 1000000 0 1183.59/1184.05 c 254 340 390.35 58.54 6.67 1000000 0 1185.19/1185.69 c 234 368 397.91 57.12 6.97 1000000 0 1186.89/1187.32 c 251 365 398.08 58.58 6.80 1000000 0 1188.49/1188.98 c 233 379 394.92 60.72 6.50 1000000 0 1190.19/1190.63 c 229 388 380.91 62.24 6.12 1000000 0 1191.79/1192.27 c 258 391 399.20 56.52 7.06 1000000 0 1193.49/1193.91 c 224 316 383.22 61.26 6.26 1000000 0 1195.09/1195.57 c 245 375 377.10 56.40 6.69 1000000 0 1196.79/1197.20 c 242 327 398.62 64.97 6.14 1000000 0 1198.39/1198.83 c 285 394 409.90 48.70 8.42 1000000 0 1199.99/1200.48 c 240 407 385.93 57.17 6.75 1000000 0 1201.69/1202.13 c 223 364 390.42 55.05 7.09 1000000 0 1203.29/1203.79 c 257 319 388.75 64.33 6.04 1000000 0 1204.98/1205.44 c 252 383 392.42 65.31 6.01 1000000 0 1206.58/1207.08 c 262 383 406.31 55.82 7.28 1000000 0 1208.28/1208.73 c 231 305 390.71 58.23 6.71 1000000 0 1209.88/1210.37 c 249 364 394.02 57.70 6.83 1000000 0 1211.58/1212.02 c 246 435 385.38 64.29 5.99 1000000 0 1213.18/1213.66 c 269 428 392.31 55.98 7.01 1000000 0 1214.88/1215.31 c 233 369 392.98 62.65 6.27 1000000 0 1216.48/1216.95 c 239 380 384.46 59.33 6.48 1000000 0 1218.18/1218.60 c 234 330 375.25 62.00 6.05 1000000 0 1219.78/1220.23 c 255 419 390.04 50.37 7.74 1000000 0 1221.38/1221.86 c 257 398 393.71 55.09 7.15 1000000 0 1223.08/1223.52 c 215 333 381.38 53.95 7.07 1000000 0 1224.68/1225.17 c 235 341 393.67 59.43 6.62 1000000 0 1226.38/1226.82 c 211 360 382.70 54.27 7.05 1000000 0 1227.98/1228.48 c 227 311 387.81 59.94 6.47 1000000 0 1229.68/1230.13 c 246 323 382.20 63.05 6.06 1000000 0 1231.27/1231.77 c 254 321 403.05 61.83 6.52 1000000 0 1232.97/1233.42 c 233 377 377.07 64.47 5.85 1000000 0 1234.57/1235.06 c 236 325 392.28 58.27 6.73 1000000 0 1236.27/1236.70 c 256 302 392.46 57.74 6.80 1000000 0 1237.87/1238.37 c 222 383 376.60 61.38 6.14 1000000 0 1239.57/1240.00 c 268 369 403.97 53.87 7.50 1000000 0 1241.17/1241.64 c 250 358 390.15 56.75 6.88 1000000 0 1242.77/1243.28 c 229 425 387.44 62.19 6.23 1000000 0 1244.47/1244.92 c 269 363 406.05 58.37 6.96 1000000 0 1246.07/1246.55 c 245 341 397.66 60.77 6.54 1000000 0 1247.67/1248.18 c 249 425 389.72 60.94 6.40 1000000 0 1249.37/1249.83 c 260 389 399.35 52.27 7.64 1000000 0 1250.97/1251.47 c 247 408 397.40 57.49 6.91 1000000 0 1252.67/1253.13 c 240 389 393.34 51.62 7.62 1000000 0 1254.27/1254.78 c 252 394 379.84 47.60 7.98 1000000 0 1255.97/1256.40 c 277 348 407.89 54.77 7.45 1000000 0 1257.57/1258.01 c 282 377 420.79 47.90 8.79 1000000 0 1259.17/1259.66 c 247 355 398.93 59.98 6.65 1000000 0 1260.87/1261.33 c 227 331 372.05 60.61 6.14 1000000 0 1262.47/1262.99 c 223 349 383.90 62.44 6.15 1000000 0 1264.16/1264.63 c 251 378 391.08 59.69 6.55 1000000 0 1265.76/1266.26 c 284 406 401.83 52.14 7.71 1000000 0 1267.46/1267.92 c 236 382 382.57 59.34 6.45 1000000 0 1269.06/1269.55 c 233 269 395.58 59.46 6.65 1000000 0 1270.76/1271.22 c 243 350 379.84 54.64 6.95 1000000 0 1272.36/1272.86 c 234 345 385.88 59.94 6.44 1000000 0 1274.06/1274.51 c 256 342 401.82 54.36 7.39 1000000 0 1275.66/1276.16 c 231 424 394.35 62.70 6.29 1000000 0 1277.26/1277.79 c 245 427 386.06 54.70 7.06 1000000 0 1278.96/1279.45 c 244 365 385.09 60.30 6.39 1000000 0 1280.66/1281.10 c 204 355 377.79 65.56 5.76 1000000 0 1282.26/1282.74 c 273 329 396.36 62.27 6.36 1000000 0 1283.86/1284.37 c 232 349 407.95 61.15 6.67 1000000 0 1285.56/1286.00 c 238 327 389.24 63.06 6.17 1000000 0 1287.16/1287.66 c 252 307 386.36 50.49 7.65 1000000 0 1288.86/1289.30 c 235 385 394.52 73.31 5.38 1000000 0 1290.45/1290.95 c 240 362 377.78 59.12 6.39 1000000 0 1292.15/1292.60 c 230 358 391.97 63.27 6.20 1000000 0 1293.75/1294.23 c 268 341 411.25 59.26 6.94 1000000 0 1295.36/1295.85 c 275 349 409.90 52.72 7.77 1000000 0 1297.05/1297.50 c 228 326 381.24 54.37 7.01 1000000 0 1298.66/1299.13 c 240 400 389.55 65.03 5.99 1000000 0 1300.25/1300.78 c 220 340 380.02 60.90 6.24 1000000 0 1301.96/1302.42 c 260 377 396.08 55.22 7.17 1000000 0 1303.55/1304.08 c 261 348 390.27 54.02 7.23 1000000 0 1305.26/1305.73 c 250 395 375.42 49.25 7.62 1000000 0 1306.85/1307.35 c 265 293 395.23 54.56 7.24 1000000 0 1308.56/1309.00 c 242 405 378.77 57.88 6.54 1000000 0 1310.15/1310.64 c 264 362 389.98 57.13 6.83 1000000 0 1311.75/1312.28 c 216 347 382.14 61.64 6.20 1000000 0 1313.45/1313.93 c 255 315 389.21 50.88 7.65 1000000 0 1315.05/1315.59 c 234 356 377.50 65.87 5.73 1000000 0 1316.75/1317.24 c 219 400 396.33 64.45 6.15 1000000 0 1318.35/1318.87 c 228 314 389.82 62.61 6.23 1000000 0 1320.05/1320.52 c 262 307 392.00 58.44 6.71 1000000 0 1321.65/1322.16 c 233 392 394.11 61.89 6.37 1000000 0 1323.34/1323.81 c 257 407 394.02 53.51 7.36 1000000 0 1324.95/1325.45 c 235 398 381.90 57.04 6.70 1000000 0 1326.54/1327.07 c 274 405 404.44 61.99 6.52 1000000 0 1328.25/1328.72 c 255 355 382.15 62.29 6.14 1000000 0 1329.84/1330.37 c 248 370 386.42 60.48 6.39 1000000 0 1331.54/1332.02 c 238 398 385.84 64.16 6.01 1000000 0 1333.14/1333.67 c 219 337 371.48 54.45 6.82 1000000 0 1334.84/1335.31 c 221 378 382.61 59.11 6.47 1000000 0 1336.44/1336.97 c 226 360 390.46 65.86 5.93 1000000 0 1338.14/1338.61 c 247 350 399.84 56.76 7.04 1000000 0 1339.74/1340.27 c 253 409 385.51 53.79 7.17 1000000 0 1341.44/1341.91 c 264 320 405.36 50.52 8.02 1000000 0 1343.04/1343.55 c 262 310 398.04 58.86 6.76 1000000 0 1344.74/1345.20 c 248 278 392.22 57.76 6.79 1000000 0 1346.34/1346.84 c 261 428 395.08 58.31 6.78 1000000 0 1347.94/1348.49 c 257 445 395.28 52.16 7.58 1000000 0 1349.63/1350.13 c 238 282 387.61 58.52 6.62 1000000 0 1351.23/1351.79 c 224 343 376.67 66.18 5.69 1000000 0 1352.93/1353.44 c 248 341 387.11 61.58 6.29 1000000 0 1354.53/1355.09 c 242 419 390.01 54.10 7.21 1000000 0 1356.23/1356.73 c 225 398 386.11 59.60 6.48 1000000 0 1357.83/1358.38 c 226 344 388.29 59.93 6.48 1000000 0 1359.53/1360.00 c 265 406 406.80 52.99 7.68 1000000 0 1361.13/1361.65 c 238 381 386.46 59.16 6.53 1000000 0 1362.73/1363.28 c 262 394 391.32 56.26 6.96 1000000 0 1364.43/1364.92 c 255 347 404.04 63.63 6.35 1000000 0 1366.03/1366.56 c 259 386 386.51 60.48 6.39 1000000 0 1367.73/1368.21 c 249 298 388.93 53.68 7.25 1000000 0 1369.33/1369.86 c 233 397 384.27 67.79 5.67 1000000 0 1371.03/1371.51 c 251 415 395.81 53.00 7.47 1000000 0 1372.63/1373.15 c 255 383 386.77 55.62 6.95 1000000 0 1374.33/1374.81 c 234 368 384.81 59.18 6.50 1000000 0 1375.93/1376.45 c 261 389 393.60 62.73 6.27 1000000 0 1377.53/1378.09 c 255 314 388.93 57.57 6.76 1000000 0 1379.22/1379.74 c 239 336 383.87 61.00 6.29 1000000 0 1380.82/1381.39 c 251 341 385.56 54.52 7.07 1000000 0 1382.52/1383.05 c 246 408 391.78 55.45 7.07 1000000 0 1384.12/1384.68 c 261 477 396.31 53.98 7.34 1000000 0 1385.82/1386.30 c 271 431 408.67 48.67 8.40 1000000 0 1387.42/1387.94 c 240 360 389.48 58.00 6.71 1000000 0 1389.02/1389.60 c 255 320 385.60 61.43 6.28 1000000 0 1390.72/1391.24 c 248 318 391.63 51.46 7.61 1000000 0 1392.42/1392.91 c 238 328 380.51 62.73 6.07 1000000 0 1394.02/1394.56 c 245 420 381.77 61.26 6.23 1000000 0 1395.62/1396.19 c 258 337 391.08 55.03 7.11 1000000 0 1397.32/1397.84 c 239 408 397.77 59.75 6.66 1000000 0 1398.92/1399.48 c 253 325 382.74 55.52 6.89 1000000 0 1400.62/1401.13 c 264 399 402.22 51.91 7.75 1000000 0 1402.22/1402.77 c 267 362 389.58 51.65 7.54 1000000 0 1403.92/1404.43 c 239 384 384.44 64.52 5.96 1000000 0 1405.52/1406.07 c 261 379 397.65 56.73 7.01 1000000 0 1407.22/1407.72 c 240 346 379.59 59.51 6.38 1000000 0 1408.81/1409.37 c 243 360 388.88 54.28 7.16 1000000 0 1410.51/1411.02 c 246 409 389.79 55.96 6.97 1000000 0 1412.11/1412.66 c 243 341 384.83 60.59 6.35 1000000 0 1413.81/1414.30 c 260 420 400.54 61.41 6.52 1000000 0 1415.41/1415.96 c 238 420 391.58 61.97 6.32 1000000 0 1417.11/1417.64 c 229 340 369.66 62.33 5.93 1000000 0 1418.71/1419.26 c 249 303 405.18 58.20 6.96 1000000 0 1420.41/1420.92 c 241 387 382.47 57.81 6.62 1000000 0 1422.01/1422.56 c 262 352 389.87 51.75 7.53 1000000 0 1423.71/1424.22 c 247 396 383.90 57.65 6.66 1000000 0 1425.31/1425.88 c 242 338 389.57 61.81 6.30 1000000 0 1427.01/1427.52 c 266 329 397.69 64.42 6.17 1000000 0 1428.61/1429.17 c 226 345 376.66 57.27 6.58 1000000 0 1430.31/1430.82 c 233 328 384.46 59.54 6.46 1000000 0 1431.91/1432.46 c 227 383 389.01 48.39 8.04 1000000 0 1433.61/1434.12 c 248 398 380.32 58.54 6.50 1000000 0 1435.21/1435.76 c 247 343 388.42 51.88 7.49 1000000 0 1436.81/1437.38 c 232 346 406.33 60.92 6.67 1000000 0 1438.51/1439.05 c 225 289 369.80 60.07 6.16 1000000 0 1440.20/1440.71 c 241 398 388.48 63.94 6.08 1000000 0 1441.80/1442.35 c 245 441 387.41 59.34 6.53 1000000 0 1443.40/1444.00 c 244 376 382.01 58.74 6.50 1000000 0 1445.10/1445.65 c 232 289 382.58 67.43 5.67 1000000 0 1446.70/1447.29 c 241 384 393.23 57.06 6.89 1000000 0 1448.40/1448.92 c 251 352 394.36 56.73 6.95 1000000 0 1450.00/1450.57 c 246 335 386.31 59.91 6.45 1000000 0 1451.70/1452.22 c 219 378 388.51 64.35 6.04 1000000 0 1453.30/1453.86 c 238 351 393.37 57.81 6.80 1000000 0 1455.00/1455.52 c 246 290 381.10 57.87 6.59 1000000 0 1456.60/1457.16 c 246 384 393.14 63.16 6.22 1000000 0 1458.20/1458.79 c 259 399 413.84 57.90 7.15 1000000 0 1459.90/1460.44 c 246 397 387.17 57.67 6.71 1000000 0 1461.50/1462.06 c 244 344 399.63 62.44 6.40 1000000 0 1463.10/1463.69 c 243 384 396.13 57.87 6.85 1000000 0 1464.80/1465.32 c 247 365 402.05 58.05 6.93 1000000 0 1466.40/1466.98 c 245 344 386.87 65.49 5.91 1000000 0 1468.10/1468.65 c 249 369 381.84 69.85 5.47 1000000 0 1469.69/1470.26 c 249 327 399.39 59.61 6.70 1000000 0 1471.39/1471.91 c 241 420 381.94 58.80 6.50 1000000 0 1472.99/1473.54 c 253 360 396.61 65.16 6.09 1000000 0 1474.69/1475.21 c 253 258 386.40 54.08 7.15 1000000 0 1476.29/1476.87 c 205 354 369.92 64.48 5.74 1000000 0 1477.99/1478.52 c 258 433 406.13 51.08 7.95 1000000 0 1479.59/1480.16 c 230 389 386.66 62.92 6.15 1000000 0 1481.20/1481.79 c 255 418 399.47 50.01 7.99 1000000 0 1482.89/1483.45 c 252 340 389.28 66.21 5.88 1000000 0 1484.59/1485.10 c 260 355 388.88 57.42 6.77 1000000 0 1486.19/1486.76 c 232 366 377.59 52.52 7.19 1000000 0 1487.80/1488.39 c 269 348 401.81 64.23 6.26 1000000 0 1489.49/1490.05 c 249 310 377.40 53.60 7.04 1000000 0 1491.19/1491.70 c 242 420 380.47 58.90 6.46 1000000 0 1492.79/1493.35 c 262 354 394.30 57.28 6.88 1000000 0 1494.39/1494.98 c 272 392 412.08 62.22 6.62 1000000 0 1496.09/1496.62 c 256 350 396.26 59.08 6.71 1000000 0 1497.69/1498.27 c 252 416 399.13 60.30 6.62 1000000 0 1499.29/1499.89 c 266 340 409.18 52.06 7.86 1000000 0 1500.99/1501.51 c 233 392 391.88 58.76 6.67 1000000 0 1502.58/1503.16 c 245 359 397.02 58.35 6.80 1000000 0 1504.19/1504.80 c 248 377 396.56 57.53 6.89 1000000 0 1505.88/1506.46 c 239 358 377.91 57.32 6.59 1000000 0 1507.48/1508.09 c 254 326 397.01 61.09 6.50 1000000 0 1509.18/1509.75 c 236 398 387.28 62.48 6.20 1000000 0 1510.78/1511.38 c 255 352 400.99 57.64 6.96 1000000 0 1512.48/1513.03 c 245 294 384.55 64.16 5.99 1000000 0 1514.08/1514.66 c 243 319 381.80 66.03 5.78 1000000 0 1515.78/1516.30 c 229 309 391.46 59.57 6.57 1000000 0 1517.38/1517.93 c 260 425 399.24 52.13 7.66 1000000 0 1518.98/1519.57 c 253 342 388.64 59.59 6.52 1000000 0 1520.68/1521.21 c 247 324 394.56 59.42 6.64 1000000 0 1522.28/1522.85 c 268 424 392.15 54.63 7.18 1000000 0 1523.88/1524.50 c 245 391 392.83 53.09 7.40 1000000 0 1525.58/1526.15 c 236 389 377.52 58.52 6.45 1000000 0 1527.28/1527.81 c 239 356 378.76 52.14 7.26 1000000 0 1528.88/1529.45 c 253 452 395.33 52.54 7.52 1000000 0 1530.47/1531.08 c 262 346 401.22 54.29 7.39 1000000 0 1532.17/1532.71 c 257 363 396.94 51.82 7.66 1000000 0 1533.77/1534.33 c 263 324 401.26 60.23 6.66 1000000 0 1535.37/1535.99 c 256 364 386.65 56.13 6.89 1000000 0 1537.07/1537.60 c 244 387 410.71 60.81 6.75 1000000 0 1538.67/1539.23 c 253 373 402.45 52.89 7.61 1000000 0 1540.27/1540.88 c 222 328 381.24 62.78 6.07 1000000 0 1541.97/1542.55 c 227 297 371.65 56.77 6.55 1000000 0 1543.57/1544.19 c 241 355 389.56 55.92 6.97 1000000 0 1545.27/1545.81 c 266 352 397.80 53.08 7.49 1000000 0 1546.87/1547.46 c 264 339 393.39 55.12 7.14 1000000 0 1548.47/1549.09 c 260 363 403.04 53.57 7.52 1000000 0 1550.17/1550.74 c 253 341 396.18 59.59 6.65 1000000 0 1551.77/1552.38 c 231 371 398.29 58.48 6.81 1000000 0 1553.47/1554.04 c 238 423 381.34 63.19 6.03 1000000 0 1555.07/1555.69 c 235 316 377.92 59.96 6.30 1000000 0 1556.77/1557.32 c 236 402 395.78 57.50 6.88 1000000 0 1558.37/1558.97 c 237 390 386.72 57.68 6.70 1000000 0 1560.06/1560.61 c 232 428 383.44 59.30 6.47 1000000 0 1561.66/1562.25 c 246 411 391.22 59.44 6.58 1000000 0 1563.36/1563.91 c 245 402 395.25 66.94 5.90 1000000 0 1564.96/1565.55 c 250 358 405.06 60.88 6.65 1000000 0 1566.66/1567.20 c 251 375 386.21 57.95 6.66 1000000 0 1568.26/1568.86 c 249 377 389.82 54.35 7.17 1000000 0 1569.96/1570.51 c 247 300 378.16 60.20 6.28 1000000 0 1571.56/1572.14 c 256 358 400.09 57.87 6.91 1000000 0 1573.16/1573.79 c 257 292 379.50 55.15 6.88 1000000 0 1574.86/1575.43 c 257 371 401.70 65.29 6.15 1000000 0 1576.46/1577.09 c 242 486 387.88 54.57 7.11 1000000 0 1578.16/1578.74 c 239 379 374.68 62.92 5.95 1000000 0 1579.76/1580.37 c 257 370 402.07 57.01 7.05 1000000 0 1581.46/1582.01 c 254 352 399.03 58.16 6.86 1000000 0 1583.06/1583.67 c 241 385 377.58 60.33 6.26 1000000 0 1584.76/1585.31 c 263 403 395.39 60.57 6.53 1000000 0 1586.36/1586.95 c 260 317 380.58 55.34 6.88 1000000 0 1588.06/1588.60 c 228 423 381.52 61.11 6.24 1000000 0 1589.66/1590.23 c 275 384 411.37 53.27 7.72 1000000 0 1591.25/1591.89 c 233 344 386.58 58.28 6.63 1000000 0 1592.95/1593.54 c 257 375 392.34 55.68 7.05 1000000 0 1594.55/1595.18 c 262 423 393.20 56.78 6.92 1000000 0 1596.25/1596.83 c 225 356 382.70 60.12 6.37 1000000 0 1597.85/1598.49 c 230 427 377.33 59.56 6.33 1000000 0 1599.55/1600.14 c 230 278 375.00 59.31 6.32 1000000 0 1601.15/1601.80 c 245 366 376.96 60.85 6.19 1000000 0 1602.85/1603.44 c 271 403 402.23 53.30 7.55 1000000 0 1604.55/1605.10 c 251 390 400.54 62.40 6.42 1000000 0 1606.15/1606.74 c 256 353 396.90 51.82 7.66 1000000 0 1607.75/1608.37 c 238 319 387.54 66.63 5.82 1000000 0 1609.45/1610.01 c 262 393 391.56 53.77 7.28 1000000 0 1611.05/1611.66 c 246 372 385.94 61.65 6.26 1000000 0 1612.75/1613.32 c 264 346 397.63 59.27 6.71 1000000 0 1614.35/1614.96 c 265 366 400.17 54.37 7.36 1000000 0 1616.05/1616.61 c 259 346 393.22 54.54 7.21 1000000 0 1617.65/1618.26 c 254 391 379.01 58.56 6.47 1000000 0 1619.24/1619.88 c 272 419 407.30 53.17 7.66 1000000 0 1620.94/1621.52 c 253 409 397.21 56.33 7.05 1000000 0 1622.54/1623.16 c 240 330 390.29 59.90 6.52 1000000 0 1624.24/1624.82 c 251 316 383.32 60.93 6.29 1000000 0 1625.84/1626.45 c 273 355 411.34 57.08 7.21 1000000 0 1627.45/1628.08 c 244 391 392.27 56.80 6.91 1000000 0 1629.14/1629.71 c 237 408 402.66 58.76 6.85 1000000 0 1630.75/1631.35 c 268 344 392.86 56.02 7.01 1000000 0 1632.34/1632.98 c 256 461 401.29 58.85 6.82 1000000 0 1634.05/1634.62 c 251 362 391.16 51.51 7.59 1000000 0 1635.64/1636.27 c 229 322 384.36 64.50 5.96 1000000 0 1637.34/1637.92 c 239 338 382.37 56.41 6.78 1000000 0 1638.94/1639.57 c 229 356 385.17 63.79 6.04 1000000 0 1640.64/1641.22 c 248 334 383.83 56.19 6.83 1000000 0 1642.23/1642.88 c 247 347 392.89 66.52 5.91 1000000 0 1643.94/1644.55 c 243 365 374.62 58.20 6.44 1000000 0 1645.63/1646.20 c 220 363 381.03 67.25 5.67 1000000 0 1647.24/1647.85 c 260 387 399.18 64.18 6.22 1000000 0 1648.83/1649.49 c 273 355 399.15 55.87 7.14 1000000 0 1650.54/1651.15 c 243 381 381.05 54.58 6.98 1000000 0 1652.23/1652.80 c 254 386 390.31 54.55 7.15 1000000 0 1653.84/1654.43 c 248 387 401.34 57.66 6.96 1000000 0 1655.43/1656.08 c 250 333 395.95 53.96 7.34 1000000 0 1657.14/1657.73 c 260 343 383.95 61.33 6.26 1000000 0 1658.73/1659.38 c 229 343 394.67 53.35 7.40 1000000 0 1660.44/1661.01 c 245 299 390.25 56.83 6.87 1000000 0 1662.03/1662.66 c 240 360 395.87 59.58 6.64 1000000 0 1663.74/1664.32 c 219 329 377.10 59.46 6.34 1000000 0 1665.33/1665.98 c 240 358 383.70 56.95 6.74 1000000 0 1667.04/1667.64 c 245 338 392.48 54.45 7.21 1000000 0 1668.63/1669.29 c 240 385 384.26 56.23 6.83 1000000 0 1670.33/1670.95 c 259 345 396.62 56.93 6.97 1000000 0 1672.03/1672.60 c 232 361 385.31 57.09 6.75 1000000 0 1673.63/1674.25 c 223 386 388.09 64.92 5.98 1000000 0 1675.32/1675.91 c 215 367 380.78 58.65 6.49 1000000 0 1676.93/1677.54 c 241 356 397.34 55.71 7.13 1000000 0 1678.52/1679.18 c 249 420 396.35 60.62 6.54 1000000 0 1680.23/1680.83 c 235 367 385.67 60.47 6.38 1000000 0 1681.82/1682.46 c 254 399 402.74 51.49 7.82 1000000 0 1683.53/1684.11 c 267 351 394.30 58.78 6.71 1000000 0 1685.12/1685.77 c 239 421 383.78 62.49 6.14 1000000 0 1686.83/1687.43 c 250 389 389.20 67.62 5.76 1000000 0 1688.42/1689.08 c 245 447 391.96 51.01 7.68 1000000 0 1690.13/1690.73 c 276 387 399.83 57.77 6.92 1000000 0 1691.72/1692.35 c 257 340 415.13 60.25 6.89 1000000 0 1693.32/1693.97 c 262 408 407.87 56.27 7.25 1000000 0 1695.02/1695.61 c 254 427 379.94 56.76 6.69 1000000 0 1696.62/1697.25 c 260 334 398.92 63.92 6.24 1000000 0 1698.32/1698.90 c 245 354 387.98 53.36 7.27 1000000 0 1699.92/1700.54 c 261 355 397.06 56.47 7.03 1000000 0 1701.52/1702.15 c 263 396 411.53 59.26 6.94 1000000 0 1703.22/1703.81 c 244 359 387.64 67.27 5.76 1000000 0 1704.81/1705.45 c 248 341 383.13 63.13 6.07 1000000 0 1706.41/1707.09 c 269 411 406.33 61.29 6.63 1000000 0 1708.11/1708.73 c 273 349 401.38 55.19 7.27 1000000 0 1709.71/1710.38 c 259 398 393.78 63.26 6.22 1000000 0 1711.41/1712.04 c 235 325 376.24 58.17 6.47 1000000 0 1713.01/1713.67 c 233 307 391.97 56.20 6.97 1000000 0 1714.71/1715.32 c 259 385 385.60 49.47 7.79 1000000 0 1716.31/1716.98 c 234 379 378.53 59.94 6.32 1000000 0 1718.01/1718.61 c 281 392 410.94 58.81 6.99 1000000 0 1719.61/1720.27 c 234 356 388.84 61.40 6.33 1000000 0 1721.31/1721.91 c 245 386 399.60 56.69 7.05 1000000 0 1722.91/1723.56 c 265 291 402.00 55.18 7.28 1000000 0 1724.51/1725.19 c 245 375 402.45 57.68 6.98 1000000 0 1726.21/1726.87 c 244 367 378.52 65.27 5.80 1000000 0 1727.91/1728.52 c 221 405 386.10 55.48 6.96 1000000 0 1729.51/1730.16 c 251 300 385.71 61.03 6.32 1000000 0 1731.21/1731.80 c 259 389 392.90 57.08 6.88 1000000 0 1732.81/1733.44 c 258 355 388.90 53.91 7.21 1000000 0 1734.40/1735.08 c 248 348 387.40 57.98 6.68 1000000 0 1736.10/1736.74 c 237 291 392.05 55.60 7.05 1000000 0 1737.70/1738.37 c 266 414 400.37 49.81 8.04 1000000 0 1739.40/1740.02 c 247 384 391.47 55.27 7.08 1000000 0 1741.00/1741.66 c 252 366 400.78 55.86 7.17 1000000 0 1742.70/1743.30 c 244 328 388.38 63.02 6.16 1000000 0 1744.30/1744.95 c 251 369 388.62 62.82 6.19 1000000 0 1745.90/1746.59 c 245 385 388.85 53.05 7.33 1000000 0 1747.60/1748.24 c 251 408 396.36 59.62 6.65 1000000 0 1749.20/1749.89 c 236 380 382.94 62.49 6.13 1000000 0 1750.90/1751.54 c 240 303 382.37 55.25 6.92 1000000 0 1752.50/1753.16 c 240 323 384.65 54.21 7.10 1000000 0 1754.20/1754.80 c 232 349 385.61 54.38 7.09 1000000 0 1755.80/1756.45 c 251 387 385.32 56.58 6.81 1000000 0 1757.50/1758.10 c 258 397 396.85 57.87 6.86 1000000 0 1759.10/1759.77 c 238 322 379.51 61.26 6.20 1000000 0 1760.80/1761.40 c 262 349 400.88 71.49 5.61 1000000 0 1762.40/1763.04 c 232 328 392.66 54.62 7.19 1000000 0 1763.99/1764.67 c 253 348 389.10 56.37 6.90 1000000 0 1765.69/1766.34 c 240 396 377.39 61.29 6.16 1000000 0 1767.29/1768.00 c 238 354 372.77 58.77 6.34 1000000 0 1768.99/1769.63 c 268 375 410.31 51.05 8.04 1000000 0 1770.59/1771.29 c 240 344 380.07 65.82 5.77 1000000 0 1772.29/1772.94 c 238 332 384.13 59.52 6.45 1000000 0 1773.89/1774.59 c 251 363 385.41 53.13 7.25 1000000 0 1775.59/1776.25 c 232 351 388.68 60.51 6.42 1000000 0 1777.29/1777.90 c 273 401 403.78 58.24 6.93 1000000 0 1778.89/1779.52 c 272 401 397.02 54.64 7.27 1000000 0 1780.49/1781.17 c 228 418 385.82 60.42 6.39 1000000 0 1782.09/1782.79 c 262 337 417.91 63.35 6.60 1000000 0 1783.79/1784.43 c 260 361 395.89 56.88 6.96 1000000 0 1785.39/1786.07 c 247 365 399.11 54.43 7.33 1000000 0 1787.09/1787.72 c 264 368 390.14 52.81 7.39 1000000 0 1788.69/1789.37 c 242 358 398.32 61.38 6.49 1000000 0 1790.39/1791.02 c 254 395 390.91 58.77 6.65 1000000 0 1791.99/1792.67 c 248 303 392.66 65.00 6.04 1000000 0 1793.69/1794.31 c 234 361 390.48 65.25 5.98 1000000 0 1795.28/1795.95 c 257 365 385.10 55.50 6.94 1000000 0 1796.88/1797.58 c 253 402 395.87 55.22 7.17 1000000 0 1798.58/1799.23 c 254 285 397.09 55.97 7.09 1000000 0 1800.09/1800.71 HOME/run: line 2: 1676 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-2669881-1276611109/watcher-2669881-1276611109 -o /tmp/evaluation-result-2669881-1276611109/solver-2669881-1276611109 -C 1800 -W 2000 -M 1800 run HOME/instance-2669881-1276611109.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: 0.92 0.98 0.99 3/106 1675 /proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) R 1673 1675 1650 0 -1 4202496 344 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997681557 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [startup+0.0582711 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1675 /proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101278 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1675 /proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301315 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1675 /proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701388 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1675 /proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50153 s] /proc/loadavg: 0.92 0.98 0.99 2/108 1677 /proc/meminfo: memFree=1791884/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1.49 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1039 0 0 0 149 0 0 0 25 0 1 0 34762732 41422848 968 1992294400 134512640 135071400 4294326208 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 968 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10088 s] /proc/loadavg: 0.92 0.98 0.99 2/108 1677 /proc/meminfo: memFree=1791636/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=3.09 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 309 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30141 s] /proc/loadavg: 0.93 0.98 0.99 2/108 1677 /proc/meminfo: memFree=1791512/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=6.29 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 629 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7006 s] /proc/loadavg: 0.93 0.98 0.99 2/108 1677 /proc/meminfo: memFree=1791388/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=12.69 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 1269 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 0.99 2/108 1677 /proc/meminfo: memFree=1791264/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=25.48 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 2548 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/108 1679 /proc/meminfo: memFree=1791140/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=51.08 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 5108 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/108 1679 /proc/meminfo: memFree=1790892/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=102.27 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 10227 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1681 /proc/meminfo: memFree=1790644/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=162.24 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 16224 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525897 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1687 /proc/meminfo: memFree=1790644/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=222.22 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 22222 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 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: 0.99 0.98 0.99 2/108 1689 /proc/meminfo: memFree=1790396/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=282.2 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 28220 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 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: 0.99 0.98 0.99 2/108 1691 /proc/meminfo: memFree=1790272/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=342.17 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 34217 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1691 /proc/meminfo: memFree=1790148/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=402.15 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 40215 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526475 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1121.91 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 112191 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1714 /proc/meminfo: memFree=1788784/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1181.89 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 118189 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1716 /proc/meminfo: memFree=1788660/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1241.87 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 124187 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134547396 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1716 /proc/meminfo: memFree=1788412/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1301.85 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 130185 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1718 /proc/meminfo: memFree=1788288/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1361.83 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 136183 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134519859 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1721 /proc/meminfo: memFree=1788288/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1421.82 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 142182 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1724 /proc/meminfo: memFree=1788164/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1481.79 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 148179 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1726 /proc/meminfo: memFree=1787916/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1541.77 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 154177 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526523 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1726 /proc/meminfo: memFree=1787916/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1601.75 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 160175 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134537251 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1731 /proc/meminfo: memFree=1787296/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1661.73 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 166173 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1733 /proc/meminfo: memFree=1787544/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1721.71 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 172171 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526668 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1735 /proc/meminfo: memFree=1787420/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1781.69 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 178169 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525834 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1735 /proc/meminfo: memFree=1787420/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1800.09 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 180009 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526622 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1735 /proc/meminfo: memFree=1787420/2059040 swapFree=4140328/4192956 [pid=1675] ppid=1673 vsize=8700 CPUtime=0 /proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/1675/statm: 2175 244 204 178 0 68 0 [pid=1676] ppid=1675 vsize=40452 CPUtime=1800.09 /proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 180009 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526622 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/1676/statm: 10113 976 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.12 CPU user time (s): 1800.1 CPU system time (s): 0.011998 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.1 system time used= 0.011998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1420 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= 21897 runsolver used 3.00954 second user time and 8.78366 second system time The end
Begin job on node027 at 2010-06-15 16:11:49 IDJOB=2669881 IDBENCH=1478 IDSOLVER=1171 FILE ID=node027/2669881-1276611109 PBS_JOBID= 11172291 Free space on /tmp= 62532 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669881-1276611109/watcher-2669881-1276611109 -o /tmp/evaluation-result-2669881-1276611109/solver-2669881-1276611109 -C 1800 -W 2000 -M 1800 run HOME/instance-2669881-1276611109.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d30cbdfbaf2c404a9c4e9217e33c734d RANDOM SEED=312822016 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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: 1796388 kB Buffers: 58376 kB Cached: 124544 kB SwapCached: 6128 kB Active: 92740 kB Inactive: 103524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1796388 kB SwapTotal: 4192956 kB SwapFree: 4140328 kB Dirty: 1376 kB Writeback: 0 kB AnonPages: 11600 kB Mapped: 13116 kB Slab: 44672 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183156 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node027 at 2010-06-15 16:41:50