Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.03 | 1800.31 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
MD5SUM | 4dd9ac2644c29d272d2675c7fc366ed6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 307 |
Best CPU time to get the best result obtained on this benchmark | 0.305953 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | YES |
Number of variables | 319 |
Total number of constraints | 6 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 186 |
Maximum length of a constraint | 231 |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
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.02 c 2012-05-27T11:38:57+0200 0.00/0.02 c arch = x86_64 0.00/0.02 c os = linux 0.00/0.02 c compiler = ghc 7.4 0.00/0.02 c packages: 0.00/0.02 c OptDir-0.0.1 0.00/0.02 c array-0.4.0.0 0.00/0.02 c base-4.5.0.0 0.00/0.02 c bytestring-0.9.2.1 0.00/0.02 c containers-0.4.2.1 0.00/0.02 c deepseq-1.3.0.0 0.00/0.02 c mtl-2.1.1 0.00/0.02 c old_locale-1.0.0.4 0.00/0.02 c parse_dimacs-1.2 0.00/0.02 c parsec-3.1.2 0.00/0.02 c queue-0.1.2 0.00/0.02 c stm-2.3 0.00/0.02 c time-1.4 0.00/0.02 c command line = ["--pb","HOME/instance-3706607-1338111537.opb"] 0.00/0.02 c #vars 319 0.00/0.02 c #constraints 6 0.00/0.02 c Solving starts ... 0.00/0.03 c solving time = 0.011s 0.00/0.03 c #decision = 313 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 359 0.00/0.03 c Solving starts ... 1.10/1.11 c learnt constraints deletion: 248 -> 124 1.10/1.11 c learnt constraints deletion: 124 -> 62 1.39/1.45 c solving time = 1.419s 1.39/1.45 c #decision = 2831 1.39/1.45 c #conflict = 291 1.39/1.45 c #restart = 2 1.39/1.45 o 319 1.39/1.45 c Solving starts ... 2.09/2.13 c learnt constraints deletion: 136 -> 70 2.99/3.01 c learnt constraints deletion: 132 -> 70 4.18/4.25 c learnt constraints deletion: 155 -> 81 4.99/5.02 c learnt constraints deletion: 135 -> 73 5.09/5.15 c solving time = 3.694s 5.09/5.15 c #decision = 3463 5.09/5.15 c #conflict = 533 5.09/5.15 c #restart = 3 5.09/5.15 o 317 5.09/5.15 c Solving starts ... 5.79/5.85 c learnt constraints deletion: 132 -> 70 6.38/6.45 c learnt constraints deletion: 117 -> 59 7.29/7.38 c learnt constraints deletion: 208 -> 104 10.59/10.64 c learnt constraints deletion: 299 -> 151 10.59/10.64 c learnt constraints deletion: 151 -> 77 12.29/12.31 c learnt constraints deletion: 185 -> 94 13.29/13.31 c learnt constraints deletion: 160 -> 82 13.79/13.89 c learnt constraints deletion: 189 -> 99 14.89/14.92 c learnt constraints deletion: 156 -> 79 16.19/16.20 c learnt constraints deletion: 281 -> 143 17.18/17.28 c learnt constraints deletion: 241 -> 123 18.19/18.20 c learnt constraints deletion: 201 -> 104 19.28/19.34 c learnt constraints deletion: 172 -> 88 19.59/19.61 c learnt constraints deletion: 176 -> 88 22.99/23.06 c learnt constraints deletion: 387 -> 195 22.99/23.06 c learnt constraints deletion: 195 -> 99 25.49/25.59 c learnt constraints deletion: 233 -> 118 27.08/27.10 c learnt constraints deletion: 436 -> 221 27.08/27.18 c learnt constraints deletion: 230 -> 115 29.78/29.86 c learnt constraints deletion: 279 -> 146 30.79/30.84 c learnt constraints deletion: 224 -> 119 32.78/32.83 c learnt constraints deletion: 252 -> 135 35.48/35.58 c learnt constraints deletion: 381 -> 206 38.28/38.33 c learnt constraints deletion: 391 -> 210 41.48/41.51 c learnt constraints deletion: 383 -> 199 43.58/43.67 c learnt constraints deletion: 339 -> 171 44.58/44.61 c learnt constraints deletion: 249 -> 128 46.18/46.21 c learnt constraints deletion: 401 -> 225 47.78/47.86 c learnt constraints deletion: 347 -> 181 49.08/49.18 c learnt constraints deletion: 286 -> 155 50.48/50.57 c learnt constraints deletion: 267 -> 148 51.88/51.98 c learnt constraints deletion: 228 -> 119 53.48/53.51 c learnt constraints deletion: 284 -> 156 55.58/55.63 c learnt constraints deletion: 319 -> 166 56.27/56.33 c learnt constraints deletion: 232 -> 126 57.98/58.09 c learnt constraints deletion: 243 -> 124 59.48/59.57 c learnt constraints deletion: 402 -> 211 60.87/60.90 c learnt constraints deletion: 354 -> 180 61.68/61.70 c learnt constraints deletion: 249 -> 128 63.78/63.85 c learnt constraints deletion: 353 -> 190 64.38/64.45 c learnt constraints deletion: 297 -> 161 65.89/65.96 c learnt constraints deletion: 277 -> 149 67.68/67.75 c learnt constraints deletion: 304 -> 156 69.67/69.71 c learnt constraints deletion: 276 -> 144 71.58/71.63 c learnt constraints deletion: 258 -> 137 74.38/74.49 c learnt constraints deletion: 398 -> 203 75.07/75.19 c learnt constraints deletion: 256 -> 133 76.98/77.06 c learnt constraints deletion: 366 -> 193 80.67/80.70 c learnt constraints deletion: 458 -> 236 83.97/84.07 c learnt constraints deletion: 499 -> 260 86.17/86.29 c learnt constraints deletion: 458 -> 236 88.67/88.77 c learnt constraints deletion: 463 -> 239 91.07/91.16 c learnt constraints deletion: 434 -> 217 91.67/91.72 c learnt constraints deletion: 306 -> 155 94.27/94.32 c learnt constraints deletion: 364 -> 187 97.07/97.18 c learnt constraints deletion: 474 -> 248 97.68/97.70 c learnt constraints deletion: 294 -> 148 99.67/99.71 c learnt constraints deletion: 298 -> 152 101.68/101.73 c learnt constraints deletion: 301 -> 156 104.17/104.24 c learnt constraints deletion: 350 -> 182 105.67/105.76 c learnt constraints deletion: 282 -> 150 106.97/107.01 c learnt constraints deletion: 395 -> 209 108.07/108.18 c learnt constraints deletion: 324 -> 174 109.47/109.50 c learnt constraints deletion: 432 -> 231 113.07/113.11 c learnt constraints deletion: 517 -> 274 116.07/116.14 c learnt constraints deletion: 504 -> 267 118.77/118.86 c learnt constraints deletion: 447 -> 236 119.77/119.90 c learnt constraints deletion: 303 -> 165 124.57/124.69 c learnt constraints deletion: 521 -> 263 125.07/125.17 c learnt constraints deletion: 288 -> 146 129.97/130.05 c learnt constraints deletion: 481 -> 244 133.26/133.36 c learnt constraints deletion: 517 -> 264 134.47/134.54 c learnt constraints deletion: 356 -> 181 135.97/136.03 c learnt constraints deletion: 349 -> 175 139.16/139.26 c learnt constraints deletion: 466 -> 234 140.47/140.57 c learnt constraints deletion: 318 -> 162 143.57/143.68 c learnt constraints deletion: 492 -> 248 147.57/147.65 c learnt constraints deletion: 522 -> 264 148.56/148.63 c learnt constraints deletion: 474 -> 271 151.46/151.53 c learnt constraints deletion: 464 -> 236 154.66/154.75 c learnt constraints deletion: 459 -> 235 155.76/155.88 c learnt constraints deletion: 454 -> 233 157.57/157.61 c learnt constraints deletion: 339 -> 176 161.86/161.98 c learnt constraints deletion: 485 -> 250 164.36/164.44 c learnt constraints deletion: 457 -> 237 165.26/165.35 c learnt constraints deletion: 305 -> 161 168.46/168.50 c learnt constraints deletion: 396 -> 207 169.66/169.75 c learnt constraints deletion: 478 -> 287 171.57/171.65 c learnt constraints deletion: 440 -> 230 174.86/174.94 c learnt constraints deletion: 549 -> 286 175.66/175.75 c learnt constraints deletion: 326 -> 174 177.96/178.03 c learnt constraints deletion: 353 -> 189 181.26/181.35 c learnt constraints deletion: 468 -> 247 184.86/184.91 c learnt constraints deletion: 485 -> 257 187.26/187.35 c learnt constraints deletion: 471 -> 251 187.96/188.06 c learnt constraints deletion: 314 -> 172 191.06/191.13 c learnt constraints deletion: 437 -> 235 193.16/193.28 c learnt constraints deletion: 414 -> 224 194.85/194.93 c learnt constraints deletion: 464 -> 264 197.25/197.38 c learnt constraints deletion: 439 -> 238 198.05/198.18 c learnt constraints deletion: 434 -> 237 199.75/199.80 c learnt constraints deletion: 357 -> 198 201.76/201.81 c learnt constraints deletion: 483 -> 281 203.55/203.69 c learnt constraints deletion: 449 -> 237 204.15/204.27 c learnt constraints deletion: 348 -> 188 205.45/205.51 c learnt constraints deletion: 356 -> 193 207.65/207.70 c learnt constraints deletion: 441 -> 235 209.75/209.80 c learnt constraints deletion: 484 -> 257 211.56/211.61 c learnt constraints deletion: 383 -> 207 213.45/213.53 c learnt constraints deletion: 467 -> 250 214.96/215.05 c learnt constraints deletion: 380 -> 208 217.26/217.36 c learnt constraints deletion: 441 -> 238 218.25/218.32 c learnt constraints deletion: 383 -> 210 220.25/220.30 c learnt constraints deletion: 467 -> 252 221.35/221.46 c learnt constraints deletion: 481 -> 282 222.85/222.98 c learnt constraints deletion: 403 -> 220 225.25/225.33 c learnt constraints deletion: 560 -> 301 226.25/226.35 c learnt constraints deletion: 569 -> 309 227.15/227.20 c learnt constraints deletion: 595 -> 335 227.85/227.98 c learnt constraints deletion: 557 -> 308 228.86/228.97 c learnt constraints deletion: 554 -> 310 229.55/229.69 c learnt constraints deletion: 582 -> 329 230.45/230.50 c learnt constraints deletion: 572 -> 322 231.35/231.40 c learnt constraints deletion: 569 -> 321 232.55/232.67 c learnt constraints deletion: 535 -> 295 233.55/233.69 c learnt constraints deletion: 482 -> 260 234.85/234.96 c learnt constraints deletion: 485 -> 281 235.95/236.01 c learnt constraints deletion: 409 -> 224 238.74/238.89 c learnt constraints deletion: 382 -> 210 241.25/241.35 c learnt constraints deletion: 467 -> 254 242.55/242.60 c learnt constraints deletion: 483 -> 266 244.55/244.65 c learnt constraints deletion: 452 -> 247 247.94/248.01 c learnt constraints deletion: 473 -> 259 250.76/250.81 c learnt constraints deletion: 545 -> 296 253.35/253.48 c learnt constraints deletion: 525 -> 287 256.05/256.17 c learnt constraints deletion: 491 -> 271 257.35/257.49 c learnt constraints deletion: 443 -> 249 258.65/258.70 c learnt constraints deletion: 423 -> 239 261.75/261.88 c learnt constraints deletion: 505 -> 280 263.24/263.35 c learnt constraints deletion: 451 -> 255 264.84/264.96 c learnt constraints deletion: 487 -> 284 266.54/266.63 c learnt constraints deletion: 439 -> 248 267.55/267.65 c learnt constraints deletion: 471 -> 236 268.84/268.95 c learnt constraints deletion: 502 -> 271 270.14/270.28 c learnt constraints deletion: 420 -> 212 273.44/273.50 c learnt constraints deletion: 472 -> 240 275.15/275.22 c learnt constraints deletion: 538 -> 295 276.64/276.76 c learnt constraints deletion: 508 -> 265 279.25/279.37 c learnt constraints deletion: 580 -> 300 281.84/281.92 c learnt constraints deletion: 589 -> 308 283.04/283.17 c learnt constraints deletion: 442 -> 227 286.14/286.27 c learnt constraints deletion: 548 -> 284 288.54/288.67 c learnt constraints deletion: 586 -> 299 291.14/291.24 c learnt constraints deletion: 507 -> 256 292.54/292.66 c learnt constraints deletion: 376 -> 191 294.23/294.32 c learnt constraints deletion: 365 -> 187 295.74/295.87 c learnt constraints deletion: 380 -> 192 297.74/297.81 c learnt constraints deletion: 369 -> 191 301.14/301.30 c learnt constraints deletion: 430 -> 228 302.64/302.74 c learnt constraints deletion: 401 -> 217 306.75/306.81 c learnt constraints deletion: 572 -> 304 307.74/307.83 c learnt constraints deletion: 374 -> 197 311.53/311.60 c learnt constraints deletion: 536 -> 271 313.63/313.79 c learnt constraints deletion: 576 -> 292 314.84/314.94 c learnt constraints deletion: 494 -> 261 316.64/316.79 c learnt constraints deletion: 391 -> 200 318.03/318.12 c learnt constraints deletion: 425 -> 222 319.24/319.33 c learnt constraints deletion: 369 -> 191 321.34/321.43 c learnt constraints deletion: 522 -> 269 323.25/323.35 c learnt constraints deletion: 506 -> 258 326.64/326.73 c learnt constraints deletion: 485 -> 248 327.44/327.54 c learnt constraints deletion: 435 -> 226 330.83/330.98 c learnt constraints deletion: 513 -> 262 334.24/334.35 c learnt constraints deletion: 544 -> 277 337.73/337.83 c learnt constraints deletion: 594 -> 304 340.04/340.16 c learnt constraints deletion: 570 -> 292 342.23/342.32 c learnt constraints deletion: 558 -> 300 344.33/344.41 c learnt constraints deletion: 524 -> 271 347.44/347.53 c learnt constraints deletion: 584 -> 297 348.33/348.44 c learnt constraints deletion: 513 -> 264 349.74/349.86 c learnt constraints deletion: 532 -> 302 351.53/351.66 c learnt constraints deletion: 423 -> 222 355.03/355.14 c learnt constraints deletion: 560 -> 287 356.63/356.73 c learnt constraints deletion: 427 -> 222 358.73/358.85 c learnt constraints deletion: 397 -> 210 361.23/361.34 c learnt constraints deletion: 437 -> 236 363.13/363.20 c learnt constraints deletion: 514 -> 278 364.63/364.70 c learnt constraints deletion: 470 -> 265 366.52/366.66 c learnt constraints deletion: 486 -> 272 368.02/368.17 c learnt constraints deletion: 551 -> 306 369.03/369.18 c learnt constraints deletion: 494 -> 272 373.83/373.93 c learnt constraints deletion: 628 -> 325 376.03/376.13 c learnt constraints deletion: 455 -> 239 377.63/377.77 c learnt constraints deletion: 427 -> 228 379.62/379.72 c learnt constraints deletion: 433 -> 233 380.82/380.91 c learnt constraints deletion: 391 -> 215 385.72/385.80 c learnt constraints deletion: 597 -> 311 388.93/389.09 c learnt constraints deletion: 629 -> 322 390.33/390.42 c learnt constraints deletion: 413 -> 214 392.63/392.76 c learnt constraints deletion: 471 -> 243 396.22/396.35 c learnt constraints deletion: 625 -> 323 398.53/398.68 c learnt constraints deletion: 529 -> 270 402.02/402.19 c learnt constraints deletion: 678 -> 349 403.23/403.31 c learnt constraints deletion: 543 -> 283 404.32/404.49 c learnt constraints deletion: 412 -> 214 406.42/406.58 c learnt constraints deletion: 448 -> 233 409.12/409.25 c learnt constraints deletion: 404 -> 208 411.92/412.03 c learnt constraints deletion: 509 -> 263 415.12/415.28 c learnt constraints deletion: 648 -> 338 418.62/418.75 c learnt constraints deletion: 652 -> 340 420.52/420.69 c learnt constraints deletion: 470 -> 245 423.12/423.25 c learnt constraints deletion: 446 -> 238 428.12/428.25 c learnt constraints deletion: 617 -> 319 431.72/431.86 c learnt constraints deletion: 626 -> 322 432.62/432.79 c learnt constraints deletion: 423 -> 220 435.43/435.51 c learnt constraints deletion: 473 -> 248 437.52/437.65 c learnt constraints deletion: 440 -> 234 440.62/440.75 c learnt constraints deletion: 516 -> 276 442.22/442.35 c learnt constraints deletion: 536 -> 290 444.92/445.04 c learnt constraints deletion: 522 -> 282 448.81/448.98 c learnt constraints deletion: 623 -> 324 450.32/450.43 c learnt constraints deletion: 439 -> 228 452.31/452.40 c learnt constraints deletion: 526 -> 273 455.12/455.29 c learnt constraints deletion: 546 -> 302 456.62/456.78 c learnt constraints deletion: 449 -> 237 459.11/459.28 c learnt constraints deletion: 545 -> 284 461.92/462.05 c learnt constraints deletion: 516 -> 268 463.81/463.90 c learnt constraints deletion: 583 -> 303 465.01/465.13 c learnt constraints deletion: 544 -> 296 466.41/466.53 c learnt constraints deletion: 455 -> 240 469.21/469.31 c learnt constraints deletion: 526 -> 279 472.41/472.55 c learnt constraints deletion: 557 -> 292 473.92/474.10 c learnt constraints deletion: 566 -> 330 475.72/475.86 c learnt constraints deletion: 482 -> 254 477.32/477.48 c learnt constraints deletion: 546 -> 287 479.21/479.32 c learnt constraints deletion: 466 -> 247 483.41/483.52 c learnt constraints deletion: 613 -> 322 486.21/486.32 c learnt constraints deletion: 517 -> 275 487.81/487.94 c learnt constraints deletion: 519 -> 278 490.01/490.13 c learnt constraints deletion: 448 -> 241 493.31/493.40 c learnt constraints deletion: 540 -> 288 496.01/496.18 c learnt constraints deletion: 516 -> 277 499.01/499.10 c learnt constraints deletion: 515 -> 278 501.70/501.83 c learnt constraints deletion: 534 -> 288 504.50/504.62 c learnt constraints deletion: 521 -> 283 506.11/506.21 c learnt constraints deletion: 517 -> 283 509.21/509.38 c learnt constraints deletion: 608 -> 349 511.31/511.46 c learnt constraints deletion: 511 -> 280 512.61/512.77 c learnt constraints deletion: 507 -> 279 513.80/513.93 c learnt constraints deletion: 516 -> 284 517.00/517.11 c learnt constraints deletion: 560 -> 306 519.50/519.66 c learnt constraints deletion: 584 -> 324 520.50/520.68 c learnt constraints deletion: 558 -> 326 522.60/522.72 c learnt constraints deletion: 521 -> 288 525.11/525.24 c learnt constraints deletion: 492 -> 274 527.51/527.68 c learnt constraints deletion: 464 -> 261 530.00/530.16 c learnt constraints deletion: 467 -> 264 532.80/532.90 c learnt constraints deletion: 521 -> 292 535.31/535.49 c learnt constraints deletion: 519 -> 292 537.71/537.87 c learnt constraints deletion: 544 -> 305 540.10/540.29 c learnt constraints deletion: 554 -> 311 542.60/542.76 c learnt constraints deletion: 510 -> 290 544.90/545.05 c learnt constraints deletion: 515 -> 294 547.20/547.31 c learnt constraints deletion: 501 -> 288 549.91/550.09 c learnt constraints deletion: 615 -> 346 552.20/552.32 c learnt constraints deletion: 570 -> 324 554.40/554.51 c learnt constraints deletion: 514 -> 297 556.50/556.69 c learnt constraints deletion: 468 -> 275 558.60/558.80 c learnt constraints deletion: 500 -> 292 560.70/560.82 c learnt constraints deletion: 456 -> 271 563.20/563.38 c learnt constraints deletion: 558 -> 323 565.39/565.52 c learnt constraints deletion: 543 -> 317 567.70/567.81 c learnt constraints deletion: 544 -> 318 570.20/570.37 c learnt constraints deletion: 614 -> 354 572.20/572.39 c learnt constraints deletion: 547 -> 322 574.30/574.47 c learnt constraints deletion: 520 -> 309 576.20/576.36 c learnt constraints deletion: 476 -> 288 578.59/578.72 c learnt constraints deletion: 583 -> 343 580.61/580.73 c learnt constraints deletion: 541 -> 323 582.80/582.93 c learnt constraints deletion: 575 -> 341 584.59/584.74 c learnt constraints deletion: 544 -> 279 586.60/586.70 c learnt constraints deletion: 454 -> 232 589.29/589.44 c learnt constraints deletion: 505 -> 259 592.50/592.63 c learnt constraints deletion: 487 -> 251 595.60/595.76 c learnt constraints deletion: 569 -> 293 598.40/598.57 c learnt constraints deletion: 612 -> 315 600.40/600.55 c learnt constraints deletion: 468 -> 243 603.89/604.00 c learnt constraints deletion: 568 -> 294 607.29/607.48 c learnt constraints deletion: 688 -> 355 608.89/609.04 c learnt constraints deletion: 508 -> 267 612.59/612.74 c learnt constraints deletion: 471 -> 258 615.69/615.88 c learnt constraints deletion: 484 -> 254 617.39/617.57 c learnt constraints deletion: 537 -> 285 620.39/620.59 c learnt constraints deletion: 511 -> 269 622.49/622.68 c learnt constraints deletion: 504 -> 267 625.19/625.38 c learnt constraints deletion: 604 -> 318 626.89/627.08 c learnt constraints deletion: 590 -> 310 628.79/628.90 c learnt constraints deletion: 533 -> 282 630.49/630.66 c learnt constraints deletion: 517 -> 276 633.19/633.40 c learnt constraints deletion: 519 -> 282 636.59/636.76 c learnt constraints deletion: 566 -> 301 638.39/638.51 c learnt constraints deletion: 499 -> 265 642.29/642.42 c learnt constraints deletion: 598 -> 314 644.79/644.95 c learnt constraints deletion: 582 -> 316 645.98/646.19 c learnt constraints deletion: 538 -> 293 647.89/648.02 c learnt constraints deletion: 463 -> 256 650.69/650.80 c learnt constraints deletion: 596 -> 338 652.09/652.27 c learnt constraints deletion: 551 -> 314 654.59/654.80 c learnt constraints deletion: 601 -> 319 657.39/657.53 c learnt constraints deletion: 494 -> 265 659.18/659.36 c learnt constraints deletion: 509 -> 274 661.88/662.01 c learnt constraints deletion: 534 -> 287 664.49/664.66 c learnt constraints deletion: 605 -> 324 666.78/666.91 c learnt constraints deletion: 454 -> 248 669.88/670.06 c learnt constraints deletion: 550 -> 297 672.58/672.76 c learnt constraints deletion: 566 -> 306 675.29/675.46 c learnt constraints deletion: 519 -> 284 678.49/678.65 c learnt constraints deletion: 650 -> 350 681.58/681.70 c learnt constraints deletion: 658 -> 355 684.18/684.37 c learnt constraints deletion: 556 -> 305 686.78/686.98 c learnt constraints deletion: 571 -> 314 689.28/689.47 c learnt constraints deletion: 513 -> 286 691.78/691.93 c learnt constraints deletion: 476 -> 268 696.58/696.72 c learnt constraints deletion: 635 -> 350 698.88/699.05 c learnt constraints deletion: 522 -> 294 702.07/702.20 c learnt constraints deletion: 717 -> 393 704.47/704.61 c learnt constraints deletion: 573 -> 322 706.87/707.06 c learnt constraints deletion: 608 -> 340 709.29/709.42 c learnt constraints deletion: 544 -> 309 712.17/712.33 c learnt constraints deletion: 671 -> 374 714.78/714.93 c learnt constraints deletion: 686 -> 382 717.08/717.27 c learnt constraints deletion: 580 -> 330 718.37/718.55 c learnt constraints deletion: 566 -> 324 722.28/722.41 c learnt constraints deletion: 643 -> 364 724.37/724.59 c learnt constraints deletion: 544 -> 315 726.67/726.82 c learnt constraints deletion: 558 -> 323 728.37/728.57 c learnt constraints deletion: 595 -> 362 729.78/729.93 c learnt constraints deletion: 496 -> 293 731.27/731.50 c learnt constraints deletion: 600 -> 347 733.18/733.39 c learnt constraints deletion: 501 -> 297 734.58/734.74 c learnt constraints deletion: 570 -> 333 738.17/738.37 c learnt constraints deletion: 661 -> 379 739.08/739.28 c learnt constraints deletion: 602 -> 373 740.87/741.08 c learnt constraints deletion: 529 -> 314 743.38/743.55 c learnt constraints deletion: 647 -> 374 744.37/744.51 c learnt constraints deletion: 557 -> 330 746.27/746.40 c learnt constraints deletion: 508 -> 305 747.57/747.75 c learnt constraints deletion: 558 -> 331 749.57/749.78 c learnt constraints deletion: 587 -> 348 751.77/751.90 c learnt constraints deletion: 608 -> 383 755.07/755.27 c learnt constraints deletion: 669 -> 390 756.87/757.08 c learnt constraints deletion: 552 -> 332 758.26/758.46 c learnt constraints deletion: 617 -> 375 759.87/760.07 c learnt constraints deletion: 513 -> 314 762.17/762.32 c learnt constraints deletion: 541 -> 329 763.96/764.14 c learnt constraints deletion: 536 -> 327 766.17/766.39 c learnt constraints deletion: 580 -> 359 767.87/768.09 c learnt constraints deletion: 541 -> 332 770.17/770.30 c learnt constraints deletion: 682 -> 403 770.87/771.03 c learnt constraints deletion: 588 -> 362 772.67/772.87 c learnt constraints deletion: 596 -> 378 775.77/775.97 c learnt constraints deletion: 696 -> 413 777.48/777.69 c learnt constraints deletion: 649 -> 391 779.47/779.69 c learnt constraints deletion: 593 -> 364 780.47/780.61 c learnt constraints deletion: 565 -> 351 782.37/782.51 c learnt constraints deletion: 673 -> 409 783.36/783.53 c learnt constraints deletion: 584 -> 361 784.66/784.86 c learnt constraints deletion: 554 -> 346 786.17/786.35 c learnt constraints deletion: 605 -> 392 787.57/787.79 c learnt constraints deletion: 583 -> 371 789.36/789.56 c learnt constraints deletion: 590 -> 367 791.37/791.51 c learnt constraints deletion: 679 -> 413 792.26/792.42 c learnt constraints deletion: 602 -> 375 794.17/794.39 c learnt constraints deletion: 616 -> 407 795.36/795.55 c learnt constraints deletion: 525 -> 337 796.46/796.68 c learnt constraints deletion: 611 -> 382 798.37/798.52 c learnt constraints deletion: 652 -> 402 799.27/799.46 c learnt constraints deletion: 576 -> 364 800.96/801.17 c learnt constraints deletion: 597 -> 378 802.66/802.88 c learnt constraints deletion: 627 -> 411 803.97/804.18 c learnt constraints deletion: 559 -> 358 805.56/805.79 c learnt constraints deletion: 552 -> 355 807.36/807.51 c learnt constraints deletion: 564 -> 362 808.66/808.81 c learnt constraints deletion: 632 -> 415 809.56/809.73 c learnt constraints deletion: 549 -> 356 810.96/811.19 c learnt constraints deletion: 578 -> 371 812.56/812.75 c learnt constraints deletion: 584 -> 375 814.26/814.42 c learnt constraints deletion: 641 -> 421 815.26/815.43 c learnt constraints deletion: 568 -> 368 816.26/816.46 c learnt constraints deletion: 607 -> 399 817.46/817.63 c learnt constraints deletion: 549 -> 360 818.26/818.48 c learnt constraints deletion: 604 -> 389 819.86/820.05 c learnt constraints deletion: 632 -> 406 821.16/821.37 c learnt constraints deletion: 598 -> 388 822.26/822.49 c learnt constraints deletion: 540 -> 358 824.16/824.39 c learnt constraints deletion: 599 -> 390 825.66/825.81 c learnt constraints deletion: 554 -> 368 827.36/827.59 c learnt constraints deletion: 641 -> 448 827.86/828.02 c learnt constraints deletion: 565 -> 376 829.16/829.34 c learnt constraints deletion: 546 -> 367 830.55/830.73 c learnt constraints deletion: 592 -> 391 832.06/832.24 c learnt constraints deletion: 622 -> 407 832.96/833.19 c learnt constraints deletion: 683 -> 461 834.15/834.36 c learnt constraints deletion: 626 -> 313 835.86/836.03 c learnt constraints deletion: 556 -> 282 838.65/838.89 c learnt constraints deletion: 530 -> 272 841.16/841.31 c learnt constraints deletion: 536 -> 273 844.45/844.64 c learnt constraints deletion: 583 -> 295 847.55/847.76 c learnt constraints deletion: 609 -> 315 850.35/850.55 c learnt constraints deletion: 523 -> 266 853.46/853.69 c learnt constraints deletion: 512 -> 261 855.86/856.04 c learnt constraints deletion: 575 -> 294 859.06/859.23 c learnt constraints deletion: 594 -> 306 864.05/864.27 c learnt constraints deletion: 654 -> 335 866.75/866.98 c learnt constraints deletion: 626 -> 322 869.45/869.64 c learnt constraints deletion: 611 -> 318 873.05/873.21 c learnt constraints deletion: 731 -> 377 874.95/875.14 c learnt constraints deletion: 738 -> 382 876.75/876.99 c learnt constraints deletion: 751 -> 387 878.85/879.01 c learnt constraints deletion: 708 -> 365 882.06/882.26 c learnt constraints deletion: 601 -> 312 885.55/885.70 c learnt constraints deletion: 616 -> 320 888.74/888.95 c learnt constraints deletion: 608 -> 317 891.55/891.79 c learnt constraints deletion: 543 -> 286 894.75/894.99 c learnt constraints deletion: 546 -> 288 897.55/897.71 c learnt constraints deletion: 527 -> 280 900.54/900.77 c learnt constraints deletion: 510 -> 272 904.15/904.35 c learnt constraints deletion: 680 -> 403 906.44/906.68 c learnt constraints deletion: 566 -> 302 909.04/909.28 c learnt constraints deletion: 509 -> 275 912.24/912.40 c learnt constraints deletion: 619 -> 331 914.74/914.98 c learnt constraints deletion: 588 -> 316 917.45/917.61 c learnt constraints deletion: 535 -> 291 920.64/920.84 c learnt constraints deletion: 632 -> 342 925.24/925.46 c learnt constraints deletion: 657 -> 355 926.74/926.98 c learnt constraints deletion: 581 -> 319 930.74/930.90 c learnt constraints deletion: 644 -> 350 933.14/933.34 c learnt constraints deletion: 546 -> 302 935.04/935.20 c learnt constraints deletion: 624 -> 343 937.24/937.43 c learnt constraints deletion: 518 -> 289 939.74/939.95 c learnt constraints deletion: 535 -> 299 942.34/942.51 c learnt constraints deletion: 558 -> 311 944.65/944.83 c learnt constraints deletion: 520 -> 293 949.24/949.40 c learnt constraints deletion: 688 -> 379 951.54/951.79 c learnt constraints deletion: 622 -> 347 953.73/953.96 c learnt constraints deletion: 543 -> 309 956.44/956.66 c learnt constraints deletion: 635 -> 356 958.44/958.65 c learnt constraints deletion: 620 -> 349 961.63/961.81 c learnt constraints deletion: 593 -> 337 963.74/963.92 c learnt constraints deletion: 565 -> 324 965.23/965.48 c learnt constraints deletion: 615 -> 350 967.74/967.92 c learnt constraints deletion: 650 -> 371 969.94/970.19 c learnt constraints deletion: 645 -> 379 973.53/973.77 c learnt constraints deletion: 657 -> 374 975.54/975.79 c learnt constraints deletion: 624 -> 358 977.64/977.88 c learnt constraints deletion: 608 -> 351 980.54/980.71 c learnt constraints deletion: 633 -> 366 982.53/982.75 c learnt constraints deletion: 602 -> 351 984.94/985.18 c learnt constraints deletion: 630 -> 372 987.43/987.62 c learnt constraints deletion: 679 -> 417 988.94/989.12 c learnt constraints deletion: 576 -> 340 990.94/991.17 c learnt constraints deletion: 543 -> 325 992.83/993.04 c learnt constraints deletion: 581 -> 345 994.63/994.83 c learnt constraints deletion: 543 -> 327 996.93/997.14 c learnt constraints deletion: 635 -> 375 998.84/999.09 c learnt constraints deletion: 583 -> 349 1000.13/1000.36 c learnt constraints deletion: 610 -> 363 1001.43/1001.60 c learnt constraints deletion: 623 -> 371 1003.53/1003.77 c learnt constraints deletion: 606 -> 362 1006.13/1006.34 c learnt constraints deletion: 683 -> 402 1008.03/1008.23 c learnt constraints deletion: 611 -> 367 1009.33/1009.55 c learnt constraints deletion: 587 -> 356 1011.53/1011.75 c learnt constraints deletion: 586 -> 356 1012.83/1013.01 c learnt constraints deletion: 582 -> 355 1014.93/1015.13 c learnt constraints deletion: 628 -> 379 1016.24/1016.46 c learnt constraints deletion: 566 -> 349 1018.13/1018.38 c learnt constraints deletion: 656 -> 405 1019.33/1019.53 c learnt constraints deletion: 591 -> 364 1021.03/1021.21 c learnt constraints deletion: 689 -> 435 1022.12/1022.33 c learnt constraints deletion: 638 -> 389 1024.03/1024.21 c learnt constraints deletion: 613 -> 378 1026.03/1026.27 c learnt constraints deletion: 646 -> 394 1027.93/1028.11 c learnt constraints deletion: 652 -> 398 1029.33/1029.55 c learnt constraints deletion: 628 -> 387 1030.72/1030.95 c learnt constraints deletion: 631 -> 390 1033.23/1033.40 c learnt constraints deletion: 672 -> 412 1034.63/1034.80 c learnt constraints deletion: 615 -> 386 1036.33/1036.52 c learnt constraints deletion: 687 -> 449 1037.23/1037.49 c learnt constraints deletion: 590 -> 374 1038.43/1038.65 c learnt constraints deletion: 628 -> 394 1040.23/1040.46 c learnt constraints deletion: 617 -> 389 1041.22/1041.46 c learnt constraints deletion: 639 -> 401 1042.53/1042.77 c learnt constraints deletion: 647 -> 407 1043.83/1044.00 c learnt constraints deletion: 585 -> 376 1045.33/1045.52 c learnt constraints deletion: 606 -> 386 1047.13/1047.36 c learnt constraints deletion: 683 -> 445 1047.93/1048.15 c learnt constraints deletion: 639 -> 405 1049.52/1049.77 c learnt constraints deletion: 695 -> 445 1050.92/1051.14 c learnt constraints deletion: 692 -> 433 1052.22/1052.42 c learnt constraints deletion: 621 -> 398 1053.32/1053.56 c learnt constraints deletion: 645 -> 412 1055.22/1055.48 c learnt constraints deletion: 618 -> 398 1056.52/1056.73 c learnt constraints deletion: 601 -> 391 1058.22/1058.41 c learnt constraints deletion: 650 -> 417 1059.42/1059.67 c learnt constraints deletion: 640 -> 417 1060.82/1061.01 c learnt constraints deletion: 640 -> 414 1062.33/1062.52 c learnt constraints deletion: 637 -> 414 1063.62/1063.81 c learnt constraints deletion: 656 -> 425 1064.82/1065.00 c learnt constraints deletion: 622 -> 409 1066.42/1066.62 c learnt constraints deletion: 676 -> 473 1067.12/1067.38 c learnt constraints deletion: 640 -> 419 1068.22/1068.44 c learnt constraints deletion: 637 -> 419 1069.62/1069.83 c learnt constraints deletion: 638 -> 421 1071.02/1071.20 c learnt constraints deletion: 619 -> 414 1072.42/1072.69 c learnt constraints deletion: 616 -> 415 1074.12/1074.35 c learnt constraints deletion: 740 -> 484 1074.62/1074.88 c learnt constraints deletion: 622 -> 420 1075.92/1076.18 c learnt constraints deletion: 638 -> 429 1077.42/1077.68 c learnt constraints deletion: 637 -> 437 1078.72/1078.99 c learnt constraints deletion: 633 -> 430 1080.51/1080.72 c learnt constraints deletion: 621 -> 422 1082.02/1082.21 c learnt constraints deletion: 703 -> 467 1082.92/1083.11 c learnt constraints deletion: 657 -> 447 1084.22/1084.46 c learnt constraints deletion: 690 -> 467 1085.71/1085.92 c learnt constraints deletion: 688 -> 472 1086.63/1086.88 c learnt constraints deletion: 665 -> 468 1088.11/1088.34 c learnt constraints deletion: 706 -> 466 1089.92/1090.14 c learnt constraints deletion: 719 -> 478 1091.22/1091.48 c learnt constraints deletion: 669 -> 455 1092.21/1092.48 c learnt constraints deletion: 626 -> 426 1093.52/1093.74 c learnt constraints deletion: 693 -> 465 1094.62/1094.84 c learnt constraints deletion: 708 -> 474 1095.82/1096.07 c learnt constraints deletion: 713 -> 488 1097.01/1097.26 c learnt constraints deletion: 706 -> 471 1097.92/1098.15 c learnt constraints deletion: 681 -> 456 1099.02/1099.23 c learnt constraints deletion: 645 -> 441 1100.41/1100.68 c learnt constraints deletion: 675 -> 454 1101.52/1101.70 c learnt constraints deletion: 681 -> 462 1102.51/1102.73 c learnt constraints deletion: 687 -> 459 1103.41/1103.61 c learnt constraints deletion: 661 -> 448 1104.41/1104.62 c learnt constraints deletion: 667 -> 456 1105.41/1105.61 c learnt constraints deletion: 670 -> 466 1106.33/1106.56 c learnt constraints deletion: 632 -> 435 1107.21/1107.47 c learnt constraints deletion: 648 -> 451 1108.52/1108.71 c learnt constraints deletion: 687 -> 462 1109.51/1109.75 c learnt constraints deletion: 645 -> 444 1110.52/1110.79 c learnt constraints deletion: 660 -> 453 1111.71/1111.93 c learnt constraints deletion: 672 -> 459 1112.42/1112.69 c learnt constraints deletion: 645 -> 446 1113.72/1113.98 c learnt constraints deletion: 683 -> 467 1114.51/1114.76 c learnt constraints deletion: 652 -> 453 1115.31/1115.53 c learnt constraints deletion: 668 -> 464 1116.02/1116.24 c learnt constraints deletion: 668 -> 467 1116.71/1116.93 c learnt constraints deletion: 694 -> 487 1117.22/1117.49 c learnt constraints deletion: 694 -> 497 1117.71/1117.91 c learnt constraints deletion: 674 -> 473 1118.31/1118.53 c learnt constraints deletion: 665 -> 466 1119.01/1119.25 c learnt constraints deletion: 665 -> 468 1119.71/1119.95 c learnt constraints deletion: 655 -> 462 1120.41/1120.68 c learnt constraints deletion: 653 -> 457 1121.11/1121.39 c learnt constraints deletion: 651 -> 459 1121.91/1122.16 c learnt constraints deletion: 665 -> 484 1122.51/1122.74 c learnt constraints deletion: 646 -> 453 1123.22/1123.43 c learnt constraints deletion: 647 -> 446 1123.92/1124.18 c learnt constraints deletion: 641 -> 445 1124.91/1125.14 c learnt constraints deletion: 671 -> 460 1126.11/1126.40 c learnt constraints deletion: 689 -> 469 1127.11/1127.30 c learnt constraints deletion: 654 -> 458 1128.31/1128.57 c learnt constraints deletion: 715 -> 488 1129.52/1129.71 c learnt constraints deletion: 693 -> 468 1130.52/1130.71 c learnt constraints deletion: 677 -> 465 1131.51/1131.70 c learnt constraints deletion: 659 -> 477 1132.61/1132.82 c learnt constraints deletion: 686 -> 460 1133.51/1133.75 c learnt constraints deletion: 643 -> 436 1134.81/1135.02 c learnt constraints deletion: 646 -> 420 1136.02/1136.25 c learnt constraints deletion: 624 -> 402 1137.51/1137.78 c learnt constraints deletion: 662 -> 421 1139.42/1139.63 c learnt constraints deletion: 652 -> 417 1141.21/1141.45 c learnt constraints deletion: 683 -> 446 1142.62/1142.89 c learnt constraints deletion: 603 -> 390 1144.01/1144.27 c learnt constraints deletion: 695 -> 440 1145.71/1145.93 c learnt constraints deletion: 709 -> 474 1146.61/1146.86 c learnt constraints deletion: 607 -> 392 1148.80/1149.00 c learnt constraints deletion: 671 -> 423 1150.31/1150.52 c learnt constraints deletion: 661 -> 408 1151.80/1152.00 c learnt constraints deletion: 677 -> 414 1153.80/1154.04 c learnt constraints deletion: 714 -> 440 1155.71/1155.98 c learnt constraints deletion: 632 -> 318 1157.60/1157.87 c learnt constraints deletion: 549 -> 279 1160.11/1160.33 c learnt constraints deletion: 648 -> 327 1163.80/1164.06 c learnt constraints deletion: 584 -> 295 1165.61/1165.82 c learnt constraints deletion: 647 -> 358 1167.31/1167.56 c learnt constraints deletion: 549 -> 279 1170.22/1170.45 c learnt constraints deletion: 650 -> 330 1173.30/1173.53 c learnt constraints deletion: 747 -> 380 1175.90/1176.19 c learnt constraints deletion: 569 -> 291 1179.70/1179.93 c learnt constraints deletion: 571 -> 297 1184.80/1185.03 c learnt constraints deletion: 749 -> 382 1187.50/1187.79 c learnt constraints deletion: 628 -> 322 1190.01/1190.28 c learnt constraints deletion: 690 -> 354 1192.50/1192.78 c learnt constraints deletion: 616 -> 317 1195.30/1195.53 c learnt constraints deletion: 652 -> 348 1196.81/1197.01 c learnt constraints deletion: 596 -> 312 1199.30/1199.51 c learnt constraints deletion: 642 -> 336 1202.40/1202.61 c learnt constraints deletion: 628 -> 326 1205.20/1205.42 c learnt constraints deletion: 557 -> 291 1208.80/1209.03 c learnt constraints deletion: 627 -> 327 1210.60/1210.86 c learnt constraints deletion: 652 -> 341 1212.10/1212.36 c learnt constraints deletion: 561 -> 295 1214.60/1214.80 c learnt constraints deletion: 690 -> 361 1216.41/1216.64 c learnt constraints deletion: 667 -> 352 1218.50/1218.71 c learnt constraints deletion: 576 -> 303 1220.80/1221.10 c learnt constraints deletion: 706 -> 385 1223.40/1223.60 c learnt constraints deletion: 611 -> 322 1225.20/1225.40 c learnt constraints deletion: 675 -> 355 1226.60/1226.82 c learnt constraints deletion: 596 -> 315 1229.30/1229.58 c learnt constraints deletion: 580 -> 309 1231.99/1232.24 c learnt constraints deletion: 633 -> 336 1234.80/1235.03 c learnt constraints deletion: 688 -> 372 1237.00/1237.29 c learnt constraints deletion: 590 -> 315 1238.79/1239.03 c learnt constraints deletion: 618 -> 330 1240.99/1241.22 c learnt constraints deletion: 625 -> 335 1242.60/1242.84 c learnt constraints deletion: 598 -> 321 1246.40/1246.64 c learnt constraints deletion: 593 -> 320 1248.60/1248.82 c learnt constraints deletion: 606 -> 327 1251.50/1251.77 c learnt constraints deletion: 609 -> 330 1254.29/1254.57 c learnt constraints deletion: 722 -> 388 1255.70/1255.96 c learnt constraints deletion: 647 -> 351 1258.09/1258.39 c learnt constraints deletion: 563 -> 308 1259.69/1259.96 c learnt constraints deletion: 648 -> 351 1261.70/1261.95 c learnt constraints deletion: 586 -> 320 1265.29/1265.58 c learnt constraints deletion: 746 -> 401 1267.79/1268.05 c learnt constraints deletion: 604 -> 331 1270.79/1271.02 c learnt constraints deletion: 691 -> 376 1272.09/1272.36 c learnt constraints deletion: 609 -> 336 1275.18/1275.48 c learnt constraints deletion: 606 -> 335 1279.89/1280.19 c learnt constraints deletion: 720 -> 394 1281.89/1282.13 c learnt constraints deletion: 598 -> 335 1284.88/1285.14 c learnt constraints deletion: 635 -> 354 1287.18/1287.42 c learnt constraints deletion: 651 -> 365 1290.19/1290.47 c learnt constraints deletion: 650 -> 363 1293.09/1293.33 c learnt constraints deletion: 707 -> 393 1294.39/1294.68 c learnt constraints deletion: 728 -> 416 1295.88/1296.17 c learnt constraints deletion: 661 -> 370 1298.18/1298.45 c learnt constraints deletion: 651 -> 366 1299.49/1299.79 c learnt constraints deletion: 588 -> 334 1301.98/1302.25 c learnt constraints deletion: 692 -> 388 1304.19/1304.48 c learnt constraints deletion: 728 -> 410 1305.89/1306.18 c learnt constraints deletion: 670 -> 379 1308.48/1308.70 c learnt constraints deletion: 644 -> 364 1312.19/1312.41 c learnt constraints deletion: 773 -> 433 1313.79/1314.04 c learnt constraints deletion: 668 -> 376 1317.28/1317.56 c learnt constraints deletion: 647 -> 368 1319.48/1319.73 c learnt constraints deletion: 603 -> 349 1322.39/1322.68 c learnt constraints deletion: 642 -> 375 1326.39/1326.67 c learnt constraints deletion: 779 -> 448 1328.49/1328.78 c learnt constraints deletion: 743 -> 426 1330.18/1330.41 c learnt constraints deletion: 679 -> 394 1332.38/1332.65 c learnt constraints deletion: 708 -> 411 1336.08/1336.39 c learnt constraints deletion: 776 -> 436 1338.88/1339.17 c learnt constraints deletion: 739 -> 416 1340.98/1341.23 c learnt constraints deletion: 680 -> 385 1343.48/1343.74 c learnt constraints deletion: 591 -> 340 1345.18/1345.49 c learnt constraints deletion: 677 -> 392 1347.57/1347.83 c learnt constraints deletion: 647 -> 371 1349.98/1350.29 c learnt constraints deletion: 675 -> 399 1353.58/1353.80 c learnt constraints deletion: 767 -> 432 1356.28/1356.50 c learnt constraints deletion: 694 -> 393 1359.18/1359.40 c learnt constraints deletion: 632 -> 362 1362.97/1363.25 c learnt constraints deletion: 693 -> 398 1365.47/1365.71 c learnt constraints deletion: 614 -> 366 1367.87/1368.13 c learnt constraints deletion: 701 -> 417 1371.78/1372.01 c learnt constraints deletion: 768 -> 439 1373.48/1373.72 c learnt constraints deletion: 590 -> 345 1375.78/1376.08 c learnt constraints deletion: 665 -> 387 1378.38/1378.69 c learnt constraints deletion: 685 -> 393 1381.77/1382.08 c learnt constraints deletion: 755 -> 427 1383.97/1384.20 c learnt constraints deletion: 663 -> 382 1387.08/1387.36 c learnt constraints deletion: 733 -> 417 1388.77/1389.04 c learnt constraints deletion: 706 -> 407 1392.47/1392.76 c learnt constraints deletion: 762 -> 436 1395.17/1395.44 c learnt constraints deletion: 689 -> 397 1397.67/1397.98 c learnt constraints deletion: 688 -> 395 1399.87/1400.20 c learnt constraints deletion: 693 -> 401 1402.18/1402.41 c learnt constraints deletion: 680 -> 400 1404.07/1404.34 c learnt constraints deletion: 797 -> 472 1405.27/1405.55 c learnt constraints deletion: 659 -> 397 1407.78/1408.04 c learnt constraints deletion: 664 -> 390 1410.17/1410.47 c learnt constraints deletion: 593 -> 351 1412.77/1413.02 c learnt constraints deletion: 603 -> 355 1416.17/1416.41 c learnt constraints deletion: 602 -> 355 1418.56/1418.85 c learnt constraints deletion: 663 -> 388 1419.88/1420.15 c learnt constraints deletion: 677 -> 395 1423.46/1423.77 c learnt constraints deletion: 753 -> 434 1425.38/1425.61 c learnt constraints deletion: 630 -> 373 1426.57/1426.86 c learnt constraints deletion: 653 -> 386 1429.27/1429.53 c learnt constraints deletion: 621 -> 371 1432.97/1433.22 c learnt constraints deletion: 785 -> 455 1434.57/1434.84 c learnt constraints deletion: 601 -> 364 1436.28/1436.51 c learnt constraints deletion: 642 -> 385 1439.07/1439.32 c learnt constraints deletion: 697 -> 414 1440.77/1441.01 c learnt constraints deletion: 644 -> 388 1442.97/1443.20 c learnt constraints deletion: 716 -> 447 1445.57/1445.89 c learnt constraints deletion: 745 -> 442 1448.37/1448.67 c learnt constraints deletion: 716 -> 429 1450.97/1451.29 c learnt constraints deletion: 685 -> 416 1453.76/1454.03 c learnt constraints deletion: 677 -> 414 1456.26/1456.58 c learnt constraints deletion: 732 -> 443 1458.76/1459.06 c learnt constraints deletion: 707 -> 433 1461.17/1461.47 c learnt constraints deletion: 737 -> 450 1463.46/1463.75 c learnt constraints deletion: 688 -> 427 1465.26/1465.55 c learnt constraints deletion: 703 -> 437 1466.96/1467.23 c learnt constraints deletion: 663 -> 418 1468.76/1469.07 c learnt constraints deletion: 675 -> 425 1470.37/1470.69 c learnt constraints deletion: 716 -> 447 1472.06/1472.39 c learnt constraints deletion: 711 -> 460 1473.76/1474.07 c learnt constraints deletion: 675 -> 429 1475.26/1475.58 c learnt constraints deletion: 676 -> 429 1476.85/1477.19 c learnt constraints deletion: 668 -> 426 1478.66/1478.92 c learnt constraints deletion: 739 -> 470 1479.56/1479.88 c learnt constraints deletion: 639 -> 414 1481.46/1481.77 c learnt constraints deletion: 700 -> 446 1483.36/1483.65 c learnt constraints deletion: 743 -> 483 1484.66/1484.94 c learnt constraints deletion: 694 -> 446 1486.76/1487.00 c learnt constraints deletion: 725 -> 463 1488.25/1488.58 c learnt constraints deletion: 668 -> 436 1489.75/1490.03 c learnt constraints deletion: 730 -> 469 1491.45/1491.74 c learnt constraints deletion: 704 -> 458 1492.55/1492.85 c learnt constraints deletion: 695 -> 455 1494.06/1494.35 c learnt constraints deletion: 694 -> 456 1495.66/1495.94 c learnt constraints deletion: 683 -> 454 1497.45/1497.73 c learnt constraints deletion: 719 -> 475 1498.66/1498.96 c learnt constraints deletion: 704 -> 481 1499.76/1500.02 c learnt constraints deletion: 705 -> 473 1500.55/1500.86 c learnt constraints deletion: 689 -> 466 1501.66/1501.96 c learnt constraints deletion: 712 -> 479 1502.65/1502.96 c learnt constraints deletion: 702 -> 481 1503.46/1503.79 c learnt constraints deletion: 693 -> 474 1504.35/1504.70 c learnt constraints deletion: 711 -> 485 1505.25/1505.59 c learnt constraints deletion: 703 -> 487 1506.26/1506.59 c learnt constraints deletion: 724 -> 496 1507.06/1507.33 c learnt constraints deletion: 729 -> 501 1507.76/1508.09 c learnt constraints deletion: 755 -> 522 1508.35/1508.64 c learnt constraints deletion: 752 -> 533 1508.86/1509.17 c learnt constraints deletion: 728 -> 503 1509.65/1509.98 c learnt constraints deletion: 736 -> 504 1510.55/1510.81 c learnt constraints deletion: 715 -> 491 1511.35/1511.64 c learnt constraints deletion: 724 -> 496 1512.16/1512.50 c learnt constraints deletion: 717 -> 498 1513.06/1513.34 c learnt constraints deletion: 708 -> 490 1514.36/1514.61 c learnt constraints deletion: 739 -> 537 1515.05/1515.35 c learnt constraints deletion: 711 -> 499 1515.95/1516.28 c learnt constraints deletion: 689 -> 467 1517.25/1517.59 c learnt constraints deletion: 718 -> 478 1518.45/1518.74 c learnt constraints deletion: 677 -> 456 1520.25/1520.57 c learnt constraints deletion: 752 -> 494 1521.45/1521.75 c learnt constraints deletion: 687 -> 460 1522.65/1522.90 c learnt constraints deletion: 677 -> 447 1524.05/1524.30 c learnt constraints deletion: 722 -> 467 1525.25/1525.53 c learnt constraints deletion: 697 -> 453 1526.75/1527.05 c learnt constraints deletion: 690 -> 449 1527.85/1528.13 c learnt constraints deletion: 661 -> 435 1529.05/1529.36 c learnt constraints deletion: 672 -> 436 1530.45/1530.75 c learnt constraints deletion: 661 -> 431 1531.75/1532.03 c learnt constraints deletion: 690 -> 445 1533.35/1533.66 c learnt constraints deletion: 724 -> 461 1534.75/1535.03 c learnt constraints deletion: 713 -> 456 1536.46/1536.73 c learnt constraints deletion: 751 -> 475 1537.75/1538.00 c learnt constraints deletion: 658 -> 428 1538.95/1539.29 c learnt constraints deletion: 722 -> 463 1541.15/1541.42 c learnt constraints deletion: 714 -> 429 1542.65/1542.91 c learnt constraints deletion: 636 -> 390 1544.75/1545.03 c learnt constraints deletion: 712 -> 438 1547.46/1547.71 c learnt constraints deletion: 683 -> 404 1550.15/1550.45 c learnt constraints deletion: 669 -> 394 1552.64/1552.91 c learnt constraints deletion: 650 -> 380 1554.95/1555.30 c learnt constraints deletion: 612 -> 357 1557.44/1557.74 c learnt constraints deletion: 614 -> 354 1560.14/1560.49 c learnt constraints deletion: 609 -> 358 1562.75/1563.02 c learnt constraints deletion: 602 -> 359 1566.55/1566.85 c learnt constraints deletion: 750 -> 437 1569.04/1569.36 c learnt constraints deletion: 657 -> 384 1571.34/1571.66 c learnt constraints deletion: 700 -> 403 1573.94/1574.29 c learnt constraints deletion: 660 -> 371 1575.95/1576.27 c learnt constraints deletion: 653 -> 373 1579.04/1579.33 c learnt constraints deletion: 703 -> 395 1581.55/1581.88 c learnt constraints deletion: 605 -> 344 1584.04/1584.31 c learnt constraints deletion: 617 -> 352 1586.75/1587.09 c learnt constraints deletion: 638 -> 362 1588.44/1588.72 c learnt constraints deletion: 650 -> 368 1590.94/1591.26 c learnt constraints deletion: 752 -> 437 1592.45/1592.73 c learnt constraints deletion: 639 -> 364 1595.14/1595.40 c learnt constraints deletion: 744 -> 422 1596.44/1596.76 c learnt constraints deletion: 690 -> 408 1598.05/1598.31 c learnt constraints deletion: 581 -> 331 1600.24/1600.52 c learnt constraints deletion: 620 -> 347 1605.44/1605.71 c learnt constraints deletion: 786 -> 429 1607.74/1608.04 c learnt constraints deletion: 717 -> 391 1609.53/1609.87 c learnt constraints deletion: 576 -> 318 1612.44/1612.79 c learnt constraints deletion: 671 -> 358 1614.55/1614.89 c learnt constraints deletion: 694 -> 365 1616.93/1617.28 c learnt constraints deletion: 608 -> 322 1620.23/1620.56 c learnt constraints deletion: 626 -> 328 1622.04/1622.40 c learnt constraints deletion: 789 -> 407 1623.34/1623.68 c learnt constraints deletion: 796 -> 408 1624.83/1625.19 c learnt constraints deletion: 745 -> 384 1626.54/1626.85 c learnt constraints deletion: 648 -> 335 1629.63/1629.95 c learnt constraints deletion: 737 -> 379 1634.84/1635.18 c learnt constraints deletion: 755 -> 391 1638.54/1638.86 c learnt constraints deletion: 635 -> 326 1643.43/1643.77 c learnt constraints deletion: 803 -> 410 1644.93/1645.28 c learnt constraints deletion: 537 -> 277 1647.33/1647.62 c learnt constraints deletion: 680 -> 342 1650.23/1650.55 c learnt constraints deletion: 572 -> 291 1653.83/1654.14 c learnt constraints deletion: 656 -> 345 1656.93/1657.29 c learnt constraints deletion: 665 -> 337 1658.63/1658.97 c learnt constraints deletion: 642 -> 333 1661.73/1662.06 c learnt constraints deletion: 561 -> 284 1664.13/1664.45 c learnt constraints deletion: 708 -> 371 1667.63/1667.91 c learnt constraints deletion: 672 -> 341 1670.83/1671.14 c learnt constraints deletion: 590 -> 300 1674.53/1674.89 c learnt constraints deletion: 673 -> 343 1676.43/1676.72 c learnt constraints deletion: 686 -> 343 1678.82/1679.18 c learnt constraints deletion: 620 -> 313 1681.93/1682.21 c learnt constraints deletion: 591 -> 298 1684.23/1684.55 c learnt constraints deletion: 659 -> 333 1687.13/1687.45 c learnt constraints deletion: 613 -> 311 1689.53/1689.80 c learnt constraints deletion: 680 -> 344 1692.64/1692.96 c learnt constraints deletion: 632 -> 321 1696.22/1696.51 c learnt constraints deletion: 599 -> 306 1699.43/1699.75 c learnt constraints deletion: 614 -> 314 1705.42/1705.75 c learnt constraints deletion: 700 -> 361 1709.13/1709.44 c learnt constraints deletion: 668 -> 345 1714.22/1714.57 c learnt constraints deletion: 726 -> 377 1717.32/1717.68 c learnt constraints deletion: 648 -> 340 1721.13/1721.46 c learnt constraints deletion: 688 -> 361 1725.22/1725.50 c learnt constraints deletion: 682 -> 360 1730.32/1730.61 c learnt constraints deletion: 731 -> 387 1734.82/1735.15 c learnt constraints deletion: 710 -> 378 1738.12/1738.41 c learnt constraints deletion: 618 -> 333 1743.13/1743.44 c learnt constraints deletion: 698 -> 376 1747.62/1747.96 c learnt constraints deletion: 719 -> 389 1750.83/1751.19 c learnt constraints deletion: 636 -> 348 1753.72/1754.03 c learnt constraints deletion: 633 -> 348 1757.82/1758.10 c learnt constraints deletion: 625 -> 346 1762.11/1762.42 c learnt constraints deletion: 719 -> 397 1764.12/1764.46 c learnt constraints deletion: 641 -> 359 1767.52/1767.84 c learnt constraints deletion: 644 -> 360 1771.21/1771.54 c learnt constraints deletion: 629 -> 355 1776.41/1776.70 c learnt constraints deletion: 751 -> 419 1780.12/1780.42 c learnt constraints deletion: 700 -> 395 1784.61/1784.93 c learnt constraints deletion: 731 -> 414 1787.81/1788.17 c learnt constraints deletion: 655 -> 378 1791.41/1791.70 c learnt constraints deletion: 733 -> 420 1795.11/1795.44 c learnt constraints deletion: 715 -> 413 1797.91/1798.21 c learnt constraints deletion: 652 -> 383
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706607-1338111537/watcher-3706607-1338111537 -o /tmp/evaluation-result-3706607-1338111537/solver-3706607-1338111537 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706607-1338111537.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.92 2/178 22392 /proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 277278489 6356992 735 33554432000 4194304 8973514 140733368533968 140734644214824 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/22392/statm: 1552 735 415 1167 0 333 0 [startup+0.00989492 s] /proc/loadavg: 1.92 1.98 1.92 2/178 22392 /proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 900 0 0 0 0 0 0 0 20 0 1 0 277278489 7405568 821 33554432000 4194304 8973514 140733368533968 140734644214824 4213859 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/22392/statm: 1808 828 420 1167 0 589 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7232 [startup+0.100212 s] /proc/loadavg: 1.92 1.98 1.92 2/178 22392 /proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=8256 CPUtime=0.09 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1164 0 0 0 9 0 0 0 20 0 1 0 277278489 8454144 1085 33554432000 4194304 8973514 140733368533968 140734644214824 4212523 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/22392/statm: 2064 1088 450 1167 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8256 [startup+0.300191 s] /proc/loadavg: 1.92 1.98 1.92 2/178 22392 /proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=8256 CPUtime=0.29 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1368 0 0 0 29 0 0 0 20 0 1 0 277278489 8454144 1289 33554432000 4194304 8973514 140733368533968 140734644214824 4415896 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/22392/statm: 2064 1289 450 1167 0 845 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8256 [startup+0.700218 s] /proc/loadavg: 1.92 1.98 1.92 2/178 22392 /proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=8256 CPUtime=0.68 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1370 0 0 0 68 0 0 0 20 0 1 0 277278489 8454144 1291 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2064 1291 452 1167 0 845 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8256 [startup+1.50022 s] /proc/loadavg: 1.92 1.98 1.92 3/179 22393 /proc/meminfo: memFree=29893476/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=9280 CPUtime=1.49 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1627 0 0 0 148 1 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2320 1548 453 1167 0 1101 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9280 [startup+3.10022 s] /proc/loadavg: 1.92 1.98 1.92 3/179 22393 /proc/meminfo: memFree=29892360/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=9280 CPUtime=3.09 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1627 0 0 0 307 2 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2320 1548 453 1167 0 1101 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9280 [startup+6.30022 s] /proc/loadavg: 1.93 1.98 1.92 3/179 22393 /proc/meminfo: memFree=29891988/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=9280 CPUtime=6.28 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1627 0 0 0 623 5 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2320 1548 453 1167 0 1101 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9280 [startup+12.7002 s] /proc/loadavg: 1.93 1.98 1.92 3/179 22393 /proc/meminfo: memFree=29891516/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=9280 CPUtime=12.69 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1627 0 0 0 1254 15 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2320 1548 453 1167 0 1101 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9280 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.92 3/179 22393 /proc/meminfo: memFree=29894244/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=9280 CPUtime=25.49 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1628 0 0 0 2519 30 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2320 1548 453 1167 0 1101 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9280 [startup+51.1002 s] /proc/loadavg: 1.96 1.98 1.92 3/179 22393 /proc/meminfo: memFree=29891888/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=10304 CPUtime=51.08 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1884 0 0 0 5057 51 0 0 20 0 1 0 277278489 10551296 1804 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2576 1804 453 1167 0 1357 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10304 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.92 3/180 22396 /proc/meminfo: memFree=29891320/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=10304 CPUtime=102.28 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1885 0 0 0 10143 85 0 0 20 0 1 0 277278489 10551296 1805 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2576 1805 453 1167 0 1357 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 10304 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.92 3/179 22396 /proc/meminfo: memFree=29890336/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=11328 CPUtime=162.27 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 2141 0 0 0 16105 122 0 0 20 0 1 0 277278489 11599872 2061 33554432000 4194304 8973514 140733368533968 140733368533232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2832 2061 453 1167 0 1613 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 11328 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.92 3/179 22396 /proc/meminfo: memFree=29889652/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=11328 CPUtime=222.25 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 2142 0 0 0 22068 157 0 0 20 0 1 0 277278489 11599872 2061 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 2832 2061 453 1167 0 1613 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 11328 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.92 3/179 22397 /proc/meminfo: memFree=29887292/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=282.24 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3168 0 0 0 28027 197 0 0 20 0 1 0 277278489 13697024 2573 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2573 453 1167 0 2125 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 13376 [startup+342.3 s] /proc/loadavg: 1.99 1.98 1.92 3/179 22397 /proc/meminfo: memFree=29887416/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=342.23 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3168 0 0 0 33986 237 0 0 20 0 1 0 277278489 13697024 2573 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2573 453 1167 0 2125 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 13376 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.92 3/179 22397 /proc/meminfo: memFree=29887788/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=402.22 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3169 0 0 0 39951 271 0 0 20 0 1 0 277278489 13697024 2574 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2574 453 1167 0 2125 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 13376 [startup+462.3 s] /proc/loadavg: 1.99 1.98 1.92 3/179 22397 /proc/meminfo: memFree=29890392/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=462.21 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3169 0 0 0 45911 310 0 0 20 0 1 0 277278489 13697024 2574 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2574 453 1167 0 2125 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 13376 [startup+522.3 s] /proc/loadavg: 1.99 1.98 1.92 3/179 22397 /proc/meminfo: memFree=29890020/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=522.2 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3169 0 0 0 51872 348 0 0 20 0 1 0 277278489 13697024 2574 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2574 453 1167 0 2125 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 13376 [startup+582.3 s] /proc/loadavg: 1.99 1.98 1.92 3/179 22398 /proc/meminfo: memFree=29890516/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=582.2 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3169 0 0 0 57833 387 0 0 20 0 1 0 277278489 13697024 2574 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2574 453 1167 0 2125 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 13376 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 1.99 1.93 3/179 22402 /proc/meminfo: memFree=29887228/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=14400 CPUtime=882.15 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3426 0 0 0 87641 574 0 0 20 0 1 0 277278489 14745600 2831 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3600 2831 453 1167 0 2381 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 14400 [startup+942.3 s] /proc/loadavg: 2.00 1.99 1.93 3/179 22402 /proc/meminfo: memFree=29887660/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=942.14 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3427 0 0 0 93604 610 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 13376 [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.93 3/179 22402 /proc/meminfo: memFree=29887784/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1002.13 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3427 0 0 0 99567 646 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 13376 [startup+1062.3 s] /proc/loadavg: 2.08 2.01 1.93 3/179 22402 /proc/meminfo: memFree=29887660/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1062.12 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3427 0 0 0 105531 681 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 13376 [startup+1122.3 s] /proc/loadavg: 2.03 2.00 1.93 3/179 22402 /proc/meminfo: memFree=29885180/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=16448 CPUtime=1122.11 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 111494 717 0 0 20 0 1 0 277278489 16842752 3343 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 4112 3343 453 1167 0 2893 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 16448 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 1.93 3/179 22403 /proc/meminfo: memFree=29887288/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1182.11 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 117456 755 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 13376 [startup+1242.3 s] /proc/loadavg: 2.06 2.01 1.94 3/179 22403 /proc/meminfo: memFree=29885860/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1242.09 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 123419 790 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 13376 [startup+1302.3 s] /proc/loadavg: 2.15 2.04 1.95 3/180 22406 /proc/meminfo: memFree=29885480/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1302.09 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 129381 828 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 13376 [startup+1362.3 s] /proc/loadavg: 2.17 2.06 1.96 3/180 22429 /proc/meminfo: memFree=29885232/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1362.08 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 135345 863 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 13376 [startup+1422.31 s] /proc/loadavg: 2.17 2.08 1.97 3/179 22429 /proc/meminfo: memFree=29885364/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1422.08 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 141304 904 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 4437389 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 13376 [startup+1482.3 s] /proc/loadavg: 2.16 2.09 1.98 3/179 22430 /proc/meminfo: memFree=29884248/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1482.06 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 147266 940 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 13376 [startup+1542.3 s] /proc/loadavg: 2.11 2.09 1.99 3/179 22430 /proc/meminfo: memFree=29885052/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1542.05 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4707 0 0 0 153227 978 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 13376 [startup+1602.3 s] /proc/loadavg: 2.07 2.08 1.99 3/179 22430 /proc/meminfo: memFree=29885176/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1602.04 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4707 0 0 0 159190 1014 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 13376 [startup+1662.3 s] /proc/loadavg: 2.02 2.07 1.99 3/179 22430 /proc/meminfo: memFree=29885112/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1662.03 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 165150 1053 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 13376 [startup+1722.3 s] /proc/loadavg: 2.01 2.05 1.99 3/179 22430 /proc/meminfo: memFree=29885236/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1722.02 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 171114 1088 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 13376 [startup+1782.3 s] /proc/loadavg: 2.00 2.04 1.99 3/179 22470 /proc/meminfo: memFree=29879960/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1782.01 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 177077 1124 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 13376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.04 1.99 3/179 22470 /proc/meminfo: memFree=29880456/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1800.02 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 178866 1136 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 13376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 2.04 1.99 3/179 22470 /proc/meminfo: memFree=29880456/32873844 swapFree=7372/7372 [pid=22392] ppid=22390 vsize=13376 CPUtime=1800.02 cores=0,2,4,6 /proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 178866 1136 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/22392/statm: 3344 2575 453 1167 0 2125 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 13376 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1788.67 CPU system time (s): 11.3603 CPU usage (%): 99.9844 Max. virtual memory (cumulated for all children) (KiB): 16448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.67 system time used= 11.3603 maximum resident set size= 13372 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4964 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= 9 involuntary context switches= 1876 runsolver used 2.94055 second user time and 8.49371 second system time The end
Begin job on node133 at 2012-05-27 11:38:57 IDJOB=3706607 IDBENCH=1854 IDSOLVER=2285 FILE ID=node133/3706607-1338111537 RUNJOBID= node133-1338109544-21813 PBS_JOBID= 14624470 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706607-1338111537/watcher-3706607-1338111537 -o /tmp/evaluation-result-3706607-1338111537/solver-3706607-1338111537 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706607-1338111537.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED=1467360996 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29897716 kB Buffers: 347652 kB Cached: 1778924 kB SwapCached: 104 kB Active: 627512 kB Inactive: 1520036 kB Active(anon): 12128 kB Inactive(anon): 11368 kB Active(file): 615384 kB Inactive(file): 1508668 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108752 kB Dirty: 7680 kB Writeback: 0 kB AnonPages: 28312 kB Mapped: 16284 kB Shmem: 212 kB Slab: 685664 kB SReclaimable: 127728 kB SUnreclaim: 557936 kB KernelStack: 1464 kB PageTables: 3896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 135072 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node133 at 2012-05-27 12:08:59