Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2012-06-01 | ? (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-06-02T12:05:33+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 = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724980-1338631533.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.010s 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.09/1.12 c learnt constraints deletion: 248 -> 124 1.09/1.12 c learnt constraints deletion: 124 -> 62 1.38/1.46 c solving time = 1.436s 1.38/1.46 c #decision = 2831 1.38/1.46 c #conflict = 291 1.38/1.46 c #restart = 2 1.38/1.46 o 319 1.38/1.47 c Solving starts ... 2.10/2.16 c learnt constraints deletion: 136 -> 70 2.99/3.09 c learnt constraints deletion: 132 -> 70 4.29/4.37 c learnt constraints deletion: 155 -> 81 5.09/5.17 c learnt constraints deletion: 135 -> 73 5.29/5.30 c solving time = 3.830s 5.29/5.30 c #decision = 3463 5.29/5.30 c #conflict = 533 5.29/5.30 c #restart = 3 5.29/5.30 o 317 5.29/5.30 c Solving starts ... 5.99/6.03 c learnt constraints deletion: 132 -> 70 6.59/6.65 c learnt constraints deletion: 117 -> 59 7.60/7.61 c learnt constraints deletion: 208 -> 104 10.89/10.98 c learnt constraints deletion: 299 -> 151 10.89/10.98 c learnt constraints deletion: 151 -> 77 12.59/12.68 c learnt constraints deletion: 185 -> 94 13.59/13.66 c learnt constraints deletion: 160 -> 82 14.19/14.24 c learnt constraints deletion: 189 -> 99 15.18/15.25 c learnt constraints deletion: 156 -> 79 16.49/16.53 c learnt constraints deletion: 281 -> 143 17.59/17.61 c learnt constraints deletion: 241 -> 123 18.48/18.52 c learnt constraints deletion: 201 -> 104 19.58/19.66 c learnt constraints deletion: 172 -> 88 19.88/19.92 c learnt constraints deletion: 176 -> 88 23.28/23.35 c learnt constraints deletion: 387 -> 195 23.28/23.35 c learnt constraints deletion: 195 -> 99 25.78/25.87 c learnt constraints deletion: 233 -> 118 27.29/27.38 c learnt constraints deletion: 436 -> 221 27.39/27.46 c learnt constraints deletion: 230 -> 115 30.09/30.13 c learnt constraints deletion: 279 -> 146 31.08/31.10 c learnt constraints deletion: 224 -> 119 32.99/33.05 c learnt constraints deletion: 252 -> 135 35.68/35.75 c learnt constraints deletion: 381 -> 206 38.39/38.46 c learnt constraints deletion: 391 -> 210 41.58/41.60 c learnt constraints deletion: 383 -> 199 43.68/43.73 c learnt constraints deletion: 339 -> 171 44.58/44.67 c learnt constraints deletion: 249 -> 128 46.19/46.25 c learnt constraints deletion: 401 -> 225 47.88/47.90 c learnt constraints deletion: 347 -> 181 49.18/49.21 c learnt constraints deletion: 286 -> 155 50.48/50.59 c learnt constraints deletion: 267 -> 148 51.88/51.97 c learnt constraints deletion: 228 -> 119 53.38/53.48 c learnt constraints deletion: 284 -> 156 55.48/55.58 c learnt constraints deletion: 319 -> 166 56.18/56.28 c learnt constraints deletion: 232 -> 126 57.97/58.03 c learnt constraints deletion: 243 -> 124 59.48/59.50 c learnt constraints deletion: 402 -> 211 60.78/60.81 c learnt constraints deletion: 354 -> 180 61.48/61.60 c learnt constraints deletion: 249 -> 128 63.68/63.71 c learnt constraints deletion: 353 -> 190 64.27/64.30 c learnt constraints deletion: 297 -> 161 65.67/65.78 c learnt constraints deletion: 277 -> 149 67.47/67.54 c learnt constraints deletion: 304 -> 156 69.38/69.48 c learnt constraints deletion: 276 -> 144 71.28/71.38 c learnt constraints deletion: 258 -> 137 74.17/74.22 c learnt constraints deletion: 398 -> 203 74.88/74.92 c learnt constraints deletion: 256 -> 133 76.68/76.79 c learnt constraints deletion: 366 -> 193 80.38/80.40 c learnt constraints deletion: 458 -> 236 83.68/83.72 c learnt constraints deletion: 499 -> 260 85.87/85.92 c learnt constraints deletion: 458 -> 236 88.27/88.37 c learnt constraints deletion: 463 -> 239 90.67/90.72 c learnt constraints deletion: 434 -> 217 91.18/91.28 c learnt constraints deletion: 306 -> 155 93.77/93.87 c learnt constraints deletion: 364 -> 187 96.68/96.72 c learnt constraints deletion: 474 -> 248 97.17/97.24 c learnt constraints deletion: 294 -> 148 99.17/99.24 c learnt constraints deletion: 298 -> 152 101.18/101.25 c learnt constraints deletion: 301 -> 156 103.67/103.74 c learnt constraints deletion: 350 -> 182 105.17/105.26 c learnt constraints deletion: 282 -> 150 106.47/106.51 c learnt constraints deletion: 395 -> 209 107.57/107.67 c learnt constraints deletion: 324 -> 174 108.87/108.98 c learnt constraints deletion: 432 -> 231 112.47/112.57 c learnt constraints deletion: 517 -> 274 115.48/115.59 c learnt constraints deletion: 504 -> 267 118.16/118.29 c learnt constraints deletion: 447 -> 236 119.27/119.33 c learnt constraints deletion: 303 -> 165 124.07/124.11 c learnt constraints deletion: 521 -> 263 124.46/124.58 c learnt constraints deletion: 288 -> 146 129.37/129.45 c learnt constraints deletion: 481 -> 244 132.66/132.75 c learnt constraints deletion: 517 -> 264 133.87/133.92 c learnt constraints deletion: 356 -> 181 135.36/135.41 c learnt constraints deletion: 349 -> 175 138.57/138.63 c learnt constraints deletion: 466 -> 234 139.87/139.93 c learnt constraints deletion: 318 -> 162 142.97/143.04 c learnt constraints deletion: 492 -> 248 146.96/147.00 c learnt constraints deletion: 522 -> 264 147.87/147.97 c learnt constraints deletion: 474 -> 271 150.76/150.85 c learnt constraints deletion: 464 -> 236 153.96/154.04 c learnt constraints deletion: 459 -> 235 155.06/155.17 c learnt constraints deletion: 454 -> 233 156.77/156.89 c learnt constraints deletion: 339 -> 176 161.16/161.24 c learnt constraints deletion: 485 -> 250 163.56/163.69 c learnt constraints deletion: 457 -> 237 164.56/164.60 c learnt constraints deletion: 305 -> 161 167.66/167.74 c learnt constraints deletion: 396 -> 207 168.86/168.97 c learnt constraints deletion: 478 -> 287 170.76/170.87 c learnt constraints deletion: 440 -> 230 174.06/174.15 c learnt constraints deletion: 549 -> 286 174.87/174.96 c learnt constraints deletion: 326 -> 174 177.16/177.23 c learnt constraints deletion: 353 -> 189 180.46/180.53 c learnt constraints deletion: 468 -> 247 183.95/184.08 c learnt constraints deletion: 485 -> 257 186.45/186.52 c learnt constraints deletion: 471 -> 251 187.16/187.23 c learnt constraints deletion: 314 -> 172 190.17/190.28 c learnt constraints deletion: 437 -> 235 192.36/192.43 c learnt constraints deletion: 414 -> 224 193.96/194.07 c learnt constraints deletion: 464 -> 264 196.46/196.51 c learnt constraints deletion: 439 -> 238 197.26/197.30 c learnt constraints deletion: 434 -> 237 198.85/198.93 c learnt constraints deletion: 357 -> 198 200.85/200.94 c learnt constraints deletion: 483 -> 281 202.76/202.81 c learnt constraints deletion: 449 -> 237 203.25/203.39 c learnt constraints deletion: 348 -> 188 204.56/204.63 c learnt constraints deletion: 356 -> 193 206.76/206.82 c learnt constraints deletion: 441 -> 235 208.86/208.91 c learnt constraints deletion: 484 -> 257 210.65/210.72 c learnt constraints deletion: 383 -> 207 212.56/212.64 c learnt constraints deletion: 467 -> 250 214.05/214.16 c learnt constraints deletion: 380 -> 208 216.36/216.44 c learnt constraints deletion: 441 -> 238 217.26/217.38 c learnt constraints deletion: 383 -> 210 219.25/219.33 c learnt constraints deletion: 467 -> 252 220.35/220.48 c learnt constraints deletion: 481 -> 282 221.85/221.98 c learnt constraints deletion: 403 -> 220 224.26/224.34 c learnt constraints deletion: 560 -> 301 225.25/225.35 c learnt constraints deletion: 569 -> 309 226.15/226.20 c learnt constraints deletion: 595 -> 335 226.85/226.98 c learnt constraints deletion: 557 -> 308 227.85/227.97 c learnt constraints deletion: 554 -> 310 228.55/228.70 c learnt constraints deletion: 582 -> 329 229.45/229.50 c learnt constraints deletion: 572 -> 322 230.35/230.40 c learnt constraints deletion: 569 -> 321 231.55/231.67 c learnt constraints deletion: 535 -> 295 232.55/232.69 c learnt constraints deletion: 482 -> 260 233.85/233.96 c learnt constraints deletion: 485 -> 281 234.95/235.01 c learnt constraints deletion: 409 -> 224 237.75/237.88 c learnt constraints deletion: 382 -> 210 240.25/240.34 c learnt constraints deletion: 467 -> 254 241.45/241.59 c learnt constraints deletion: 483 -> 266 243.55/243.63 c learnt constraints deletion: 452 -> 247 246.85/246.99 c learnt constraints deletion: 473 -> 259 249.66/249.78 c learnt constraints deletion: 545 -> 296 252.35/252.45 c learnt constraints deletion: 525 -> 287 255.05/255.13 c learnt constraints deletion: 491 -> 271 256.35/256.46 c learnt constraints deletion: 443 -> 249 257.54/257.66 c learnt constraints deletion: 423 -> 239 260.74/260.84 c learnt constraints deletion: 505 -> 280 262.24/262.30 c learnt constraints deletion: 451 -> 255 263.85/263.91 c learnt constraints deletion: 487 -> 284 265.45/265.58 c learnt constraints deletion: 439 -> 248 266.54/266.60 c learnt constraints deletion: 471 -> 236 267.85/267.90 c learnt constraints deletion: 502 -> 271 269.14/269.23 c learnt constraints deletion: 420 -> 212 272.34/272.44 c learnt constraints deletion: 472 -> 240 274.04/274.15 c learnt constraints deletion: 538 -> 295 275.55/275.69 c learnt constraints deletion: 508 -> 265 278.15/278.29 c learnt constraints deletion: 580 -> 300 280.75/280.84 c learnt constraints deletion: 589 -> 308 281.94/282.08 c learnt constraints deletion: 442 -> 227 285.04/285.17 c learnt constraints deletion: 548 -> 284 287.44/287.56 c learnt constraints deletion: 586 -> 299 290.04/290.13 c learnt constraints deletion: 507 -> 256 291.45/291.54 c learnt constraints deletion: 376 -> 191 293.14/293.20 c learnt constraints deletion: 365 -> 187 294.65/294.75 c learnt constraints deletion: 380 -> 192 296.54/296.68 c learnt constraints deletion: 369 -> 191 300.04/300.14 c learnt constraints deletion: 430 -> 228 301.44/301.55 c learnt constraints deletion: 401 -> 217 305.44/305.56 c learnt constraints deletion: 572 -> 304 306.44/306.57 c learnt constraints deletion: 374 -> 197 310.14/310.28 c learnt constraints deletion: 536 -> 271 312.34/312.45 c learnt constraints deletion: 576 -> 292 313.44/313.58 c learnt constraints deletion: 494 -> 261 315.33/315.41 c learnt constraints deletion: 391 -> 200 316.65/316.72 c learnt constraints deletion: 425 -> 222 317.84/317.92 c learnt constraints deletion: 369 -> 191 319.94/320.01 c learnt constraints deletion: 522 -> 269 321.84/321.93 c learnt constraints deletion: 506 -> 258 325.24/325.30 c learnt constraints deletion: 485 -> 248 326.03/326.11 c learnt constraints deletion: 435 -> 226 329.44/329.54 c learnt constraints deletion: 513 -> 262 332.74/332.89 c learnt constraints deletion: 544 -> 277 336.24/336.36 c learnt constraints deletion: 594 -> 304 338.53/338.66 c learnt constraints deletion: 570 -> 292 340.63/340.79 c learnt constraints deletion: 558 -> 300 342.74/342.85 c learnt constraints deletion: 524 -> 271 345.83/345.92 c learnt constraints deletion: 584 -> 297 346.73/346.82 c learnt constraints deletion: 513 -> 264 348.14/348.23 c learnt constraints deletion: 532 -> 302 349.93/350.04 c learnt constraints deletion: 423 -> 222 353.43/353.50 c learnt constraints deletion: 560 -> 287 354.93/355.09 c learnt constraints deletion: 427 -> 222 357.13/357.20 c learnt constraints deletion: 397 -> 210 359.53/359.69 c learnt constraints deletion: 437 -> 236 361.43/361.54 c learnt constraints deletion: 514 -> 278 362.94/363.04 c learnt constraints deletion: 470 -> 265 364.83/364.98 c learnt constraints deletion: 486 -> 272 366.43/366.50 c learnt constraints deletion: 551 -> 306 367.43/367.51 c learnt constraints deletion: 494 -> 272 372.13/372.23 c learnt constraints deletion: 628 -> 325 374.33/374.43 c learnt constraints deletion: 455 -> 239 375.93/376.06 c learnt constraints deletion: 427 -> 228 377.93/378.00 c learnt constraints deletion: 433 -> 233 379.03/379.19 c learnt constraints deletion: 391 -> 215 383.92/384.04 c learnt constraints deletion: 597 -> 311 387.23/387.32 c learnt constraints deletion: 629 -> 322 388.53/388.64 c learnt constraints deletion: 413 -> 214 390.83/390.97 c learnt constraints deletion: 471 -> 243 394.42/394.55 c learnt constraints deletion: 625 -> 323 396.73/396.87 c learnt constraints deletion: 529 -> 270 400.23/400.37 c learnt constraints deletion: 678 -> 349 401.33/401.49 c learnt constraints deletion: 543 -> 283 402.53/402.66 c learnt constraints deletion: 412 -> 214 404.63/404.74 c learnt constraints deletion: 448 -> 233 407.32/407.40 c learnt constraints deletion: 404 -> 208 410.02/410.17 c learnt constraints deletion: 509 -> 263 413.32/413.41 c learnt constraints deletion: 648 -> 338 416.73/416.87 c learnt constraints deletion: 652 -> 340 418.62/418.79 c learnt constraints deletion: 470 -> 245 421.23/421.34 c learnt constraints deletion: 446 -> 238 426.22/426.32 c learnt constraints deletion: 617 -> 319 429.82/429.92 c learnt constraints deletion: 626 -> 322 430.72/430.85 c learnt constraints deletion: 423 -> 220 433.42/433.55 c learnt constraints deletion: 473 -> 248 435.52/435.68 c learnt constraints deletion: 440 -> 234 438.62/438.77 c learnt constraints deletion: 516 -> 276 440.22/440.36 c learnt constraints deletion: 536 -> 290 442.91/443.04 c learnt constraints deletion: 522 -> 282 446.82/446.97 c learnt constraints deletion: 623 -> 324 448.32/448.41 c learnt constraints deletion: 439 -> 228 450.22/450.37 c learnt constraints deletion: 526 -> 273 453.13/453.25 c learnt constraints deletion: 546 -> 302 454.61/454.74 c learnt constraints deletion: 449 -> 237 457.11/457.23 c learnt constraints deletion: 545 -> 284 459.92/460.00 c learnt constraints deletion: 516 -> 268 461.71/461.84 c learnt constraints deletion: 583 -> 303 462.92/463.08 c learnt constraints deletion: 544 -> 296 464.32/464.47 c learnt constraints deletion: 455 -> 240 467.11/467.25 c learnt constraints deletion: 526 -> 279 470.31/470.49 c learnt constraints deletion: 557 -> 292 471.92/472.03 c learnt constraints deletion: 566 -> 330 473.61/473.79 c learnt constraints deletion: 482 -> 254 475.32/475.41 c learnt constraints deletion: 546 -> 287 477.12/477.25 c learnt constraints deletion: 466 -> 247 481.31/481.44 c learnt constraints deletion: 613 -> 322 484.11/484.22 c learnt constraints deletion: 517 -> 275 485.71/485.85 c learnt constraints deletion: 519 -> 278 487.92/488.04 c learnt constraints deletion: 448 -> 241 491.12/491.28 c learnt constraints deletion: 540 -> 288 493.91/494.03 c learnt constraints deletion: 516 -> 277 496.81/496.91 c learnt constraints deletion: 515 -> 278 499.51/499.63 c learnt constraints deletion: 534 -> 288 502.31/502.41 c learnt constraints deletion: 521 -> 283 503.91/504.00 c learnt constraints deletion: 517 -> 283 507.01/507.15 c learnt constraints deletion: 608 -> 349 509.11/509.23 c learnt constraints deletion: 511 -> 280 510.41/510.54 c learnt constraints deletion: 507 -> 279 511.60/511.71 c learnt constraints deletion: 516 -> 284 514.72/514.88 c learnt constraints deletion: 560 -> 306 517.31/517.43 c learnt constraints deletion: 584 -> 324 518.30/518.44 c learnt constraints deletion: 558 -> 326 520.31/520.48 c learnt constraints deletion: 521 -> 288 522.81/522.99 c learnt constraints deletion: 492 -> 274 525.31/525.42 c learnt constraints deletion: 464 -> 261 527.81/527.91 c learnt constraints deletion: 467 -> 264 530.50/530.63 c learnt constraints deletion: 521 -> 292 533.10/533.23 c learnt constraints deletion: 519 -> 292 535.51/535.60 c learnt constraints deletion: 544 -> 305 537.90/538.01 c learnt constraints deletion: 554 -> 311 540.30/540.48 c learnt constraints deletion: 510 -> 290 542.60/542.77 c learnt constraints deletion: 515 -> 294 544.90/545.03 c learnt constraints deletion: 501 -> 288 547.70/547.81 c learnt constraints deletion: 615 -> 346 549.91/550.03 c learnt constraints deletion: 570 -> 324 552.11/552.21 c learnt constraints deletion: 514 -> 297 554.21/554.40 c learnt constraints deletion: 468 -> 275 556.41/556.50 c learnt constraints deletion: 500 -> 292 558.40/558.52 c learnt constraints deletion: 456 -> 271 560.90/561.08 c learnt constraints deletion: 558 -> 323 563.11/563.21 c learnt constraints deletion: 543 -> 317 565.40/565.51 c learnt constraints deletion: 544 -> 318 567.90/568.06 c learnt constraints deletion: 614 -> 354 569.90/570.07 c learnt constraints deletion: 547 -> 322 572.00/572.12 c learnt constraints deletion: 520 -> 309 573.80/573.98 c learnt constraints deletion: 476 -> 288 576.20/576.31 c learnt constraints deletion: 583 -> 343 578.10/578.29 c learnt constraints deletion: 541 -> 323 580.30/580.46 c learnt constraints deletion: 575 -> 341 582.10/582.24 c learnt constraints deletion: 544 -> 279 584.01/584.17 c learnt constraints deletion: 454 -> 232 586.70/586.86 c learnt constraints deletion: 505 -> 259 589.90/590.01 c learnt constraints deletion: 487 -> 251 593.00/593.11 c learnt constraints deletion: 569 -> 293 595.80/595.91 c learnt constraints deletion: 612 -> 315 597.70/597.88 c learnt constraints deletion: 468 -> 243 601.19/601.31 c learnt constraints deletion: 568 -> 294 604.60/604.75 c learnt constraints deletion: 688 -> 355 606.10/606.28 c learnt constraints deletion: 508 -> 267 609.79/609.95 c learnt constraints deletion: 471 -> 258 612.89/613.05 c learnt constraints deletion: 484 -> 254 614.59/614.72 c learnt constraints deletion: 537 -> 285 617.60/617.71 c learnt constraints deletion: 511 -> 269 619.59/619.79 c learnt constraints deletion: 504 -> 267 622.29/622.49 c learnt constraints deletion: 604 -> 318 623.99/624.19 c learnt constraints deletion: 590 -> 310 625.89/626.00 c learnt constraints deletion: 533 -> 282 627.59/627.75 c learnt constraints deletion: 517 -> 276 630.29/630.48 c learnt constraints deletion: 519 -> 282 633.69/633.82 c learnt constraints deletion: 566 -> 301 635.38/635.56 c learnt constraints deletion: 499 -> 265 639.29/639.43 c learnt constraints deletion: 598 -> 314 641.79/641.95 c learnt constraints deletion: 582 -> 316 643.08/643.20 c learnt constraints deletion: 538 -> 293 644.89/645.03 c learnt constraints deletion: 463 -> 256 647.59/647.80 c learnt constraints deletion: 596 -> 338 649.08/649.26 c learnt constraints deletion: 551 -> 314 651.59/651.77 c learnt constraints deletion: 601 -> 319 654.39/654.51 c learnt constraints deletion: 494 -> 265 656.18/656.33 c learnt constraints deletion: 509 -> 274 658.79/658.98 c learnt constraints deletion: 534 -> 287 661.48/661.62 c learnt constraints deletion: 605 -> 324 663.68/663.86 c learnt constraints deletion: 454 -> 248 666.89/667.01 c learnt constraints deletion: 550 -> 297 669.58/669.70 c learnt constraints deletion: 566 -> 306 672.18/672.39 c learnt constraints deletion: 519 -> 284 675.38/675.58 c learnt constraints deletion: 650 -> 350 678.49/678.63 c learnt constraints deletion: 658 -> 355 681.08/681.28 c learnt constraints deletion: 556 -> 305 683.68/683.88 c learnt constraints deletion: 571 -> 314 686.18/686.36 c learnt constraints deletion: 513 -> 286 688.69/688.81 c learnt constraints deletion: 476 -> 268 693.38/693.59 c learnt constraints deletion: 635 -> 350 695.78/695.90 c learnt constraints deletion: 522 -> 294 698.88/699.05 c learnt constraints deletion: 717 -> 393 701.28/701.45 c learnt constraints deletion: 573 -> 322 703.79/703.90 c learnt constraints deletion: 608 -> 340 706.09/706.26 c learnt constraints deletion: 544 -> 309 708.98/709.17 c learnt constraints deletion: 671 -> 374 711.58/711.77 c learnt constraints deletion: 686 -> 382 713.98/714.10 c learnt constraints deletion: 580 -> 330 715.18/715.37 c learnt constraints deletion: 566 -> 324 719.07/719.23 c learnt constraints deletion: 643 -> 364 721.27/721.40 c learnt constraints deletion: 544 -> 315 723.48/723.62 c learnt constraints deletion: 558 -> 323 725.18/725.38 c learnt constraints deletion: 595 -> 362 726.57/726.74 c learnt constraints deletion: 496 -> 293 728.18/728.31 c learnt constraints deletion: 600 -> 347 730.08/730.20 c learnt constraints deletion: 501 -> 297 731.38/731.55 c learnt constraints deletion: 570 -> 333 734.98/735.17 c learnt constraints deletion: 661 -> 379 735.87/736.07 c learnt constraints deletion: 602 -> 373 737.68/737.87 c learnt constraints deletion: 529 -> 314 740.18/740.33 c learnt constraints deletion: 647 -> 374 741.08/741.29 c learnt constraints deletion: 557 -> 330 742.98/743.17 c learnt constraints deletion: 508 -> 305 744.37/744.52 c learnt constraints deletion: 558 -> 331 746.37/746.55 c learnt constraints deletion: 587 -> 348 748.47/748.67 c learnt constraints deletion: 608 -> 383 751.87/752.03 c learnt constraints deletion: 669 -> 390 753.67/753.83 c learnt constraints deletion: 552 -> 332 755.07/755.22 c learnt constraints deletion: 617 -> 375 756.67/756.82 c learnt constraints deletion: 513 -> 314 758.88/759.06 c learnt constraints deletion: 541 -> 329 760.67/760.88 c learnt constraints deletion: 536 -> 327 762.97/763.13 c learnt constraints deletion: 580 -> 359 764.67/764.83 c learnt constraints deletion: 541 -> 332 766.87/767.03 c learnt constraints deletion: 682 -> 403 767.57/767.76 c learnt constraints deletion: 588 -> 362 769.47/769.60 c learnt constraints deletion: 596 -> 378 772.57/772.70 c learnt constraints deletion: 696 -> 413 774.27/774.42 c learnt constraints deletion: 649 -> 391 776.27/776.41 c learnt constraints deletion: 593 -> 364 777.17/777.33 c learnt constraints deletion: 565 -> 351 779.07/779.22 c learnt constraints deletion: 673 -> 409 780.06/780.24 c learnt constraints deletion: 584 -> 361 781.37/781.57 c learnt constraints deletion: 554 -> 346 782.86/783.06 c learnt constraints deletion: 605 -> 392 784.36/784.50 c learnt constraints deletion: 583 -> 371 786.07/786.26 c learnt constraints deletion: 590 -> 367 788.07/788.21 c learnt constraints deletion: 679 -> 413 788.97/789.11 c learnt constraints deletion: 602 -> 375 790.86/791.08 c learnt constraints deletion: 616 -> 407 792.07/792.24 c learnt constraints deletion: 525 -> 337 793.17/793.37 c learnt constraints deletion: 611 -> 382 795.07/795.21 c learnt constraints deletion: 652 -> 402 795.96/796.15 c learnt constraints deletion: 576 -> 364 797.67/797.86 c learnt constraints deletion: 597 -> 378 799.36/799.56 c learnt constraints deletion: 627 -> 411 800.67/800.86 c learnt constraints deletion: 559 -> 358 802.27/802.47 c learnt constraints deletion: 552 -> 355 803.97/804.18 c learnt constraints deletion: 564 -> 362 805.27/805.48 c learnt constraints deletion: 632 -> 415 806.26/806.40 c learnt constraints deletion: 549 -> 356 807.66/807.86 c learnt constraints deletion: 578 -> 371 809.26/809.41 c learnt constraints deletion: 584 -> 375 810.87/811.08 c learnt constraints deletion: 641 -> 421 811.86/812.09 c learnt constraints deletion: 568 -> 368 812.96/813.11 c learnt constraints deletion: 607 -> 399 814.06/814.28 c learnt constraints deletion: 549 -> 360 814.97/815.13 c learnt constraints deletion: 604 -> 389 816.46/816.69 c learnt constraints deletion: 632 -> 406 817.87/818.02 c learnt constraints deletion: 598 -> 388 818.96/819.13 c learnt constraints deletion: 540 -> 358 820.86/821.02 c learnt constraints deletion: 599 -> 390 822.26/822.44 c learnt constraints deletion: 554 -> 368 824.06/824.21 c learnt constraints deletion: 641 -> 448 824.46/824.64 c learnt constraints deletion: 565 -> 376 825.76/825.96 c learnt constraints deletion: 546 -> 367 827.16/827.34 c learnt constraints deletion: 592 -> 391 828.66/828.85 c learnt constraints deletion: 622 -> 407 829.66/829.81 c learnt constraints deletion: 683 -> 461 830.76/830.97 c learnt constraints deletion: 626 -> 313 832.47/832.64 c learnt constraints deletion: 556 -> 282 835.26/835.49 c learnt constraints deletion: 530 -> 272 837.76/837.91 c learnt constraints deletion: 536 -> 273 841.06/841.23 c learnt constraints deletion: 583 -> 295 844.16/844.33 c learnt constraints deletion: 609 -> 315 846.95/847.13 c learnt constraints deletion: 523 -> 266 850.07/850.26 c learnt constraints deletion: 512 -> 261 852.45/852.60 c learnt constraints deletion: 575 -> 294 855.56/855.79 c learnt constraints deletion: 594 -> 306 860.66/860.82 c learnt constraints deletion: 654 -> 335 863.36/863.53 c learnt constraints deletion: 626 -> 322 865.96/866.16 c learnt constraints deletion: 611 -> 318 869.55/869.70 c learnt constraints deletion: 731 -> 377 871.45/871.62 c learnt constraints deletion: 738 -> 382 873.26/873.47 c learnt constraints deletion: 751 -> 387 875.25/875.50 c learnt constraints deletion: 708 -> 365 878.56/878.75 c learnt constraints deletion: 601 -> 312 881.96/882.19 c learnt constraints deletion: 616 -> 320 885.26/885.43 c learnt constraints deletion: 608 -> 317 888.05/888.26 c learnt constraints deletion: 543 -> 286 891.25/891.45 c learnt constraints deletion: 546 -> 288 893.95/894.16 c learnt constraints deletion: 527 -> 280 897.05/897.22 c learnt constraints deletion: 510 -> 272 900.55/900.79 c learnt constraints deletion: 680 -> 403 902.96/903.11 c learnt constraints deletion: 566 -> 302 905.54/905.70 c learnt constraints deletion: 509 -> 275 908.65/908.82 c learnt constraints deletion: 619 -> 331 911.25/911.40 c learnt constraints deletion: 588 -> 316 913.85/914.02 c learnt constraints deletion: 535 -> 291 917.05/917.24 c learnt constraints deletion: 632 -> 342 921.65/921.87 c learnt constraints deletion: 657 -> 355 923.15/923.38 c learnt constraints deletion: 581 -> 319 927.06/927.30 c learnt constraints deletion: 644 -> 350 929.54/929.74 c learnt constraints deletion: 546 -> 302 931.46/931.60 c learnt constraints deletion: 624 -> 343 933.65/933.83 c learnt constraints deletion: 518 -> 289 936.14/936.33 c learnt constraints deletion: 535 -> 299 938.64/938.86 c learnt constraints deletion: 558 -> 311 940.94/941.16 c learnt constraints deletion: 520 -> 293 945.44/945.67 c learnt constraints deletion: 688 -> 379 947.84/948.02 c learnt constraints deletion: 622 -> 347 949.94/950.17 c learnt constraints deletion: 543 -> 309 952.64/952.85 c learnt constraints deletion: 635 -> 356 954.64/954.84 c learnt constraints deletion: 620 -> 349 957.74/958.00 c learnt constraints deletion: 593 -> 337 959.94/960.11 c learnt constraints deletion: 565 -> 324 961.44/961.68 c learnt constraints deletion: 615 -> 350 963.94/964.13 c learnt constraints deletion: 650 -> 371 966.24/966.41 c learnt constraints deletion: 645 -> 379 969.74/969.99 c learnt constraints deletion: 657 -> 374 971.74/971.99 c learnt constraints deletion: 624 -> 358 973.84/974.05 c learnt constraints deletion: 608 -> 351 976.64/976.84 c learnt constraints deletion: 633 -> 366 978.64/978.86 c learnt constraints deletion: 602 -> 351 981.05/981.27 c learnt constraints deletion: 630 -> 372 983.53/983.70 c learnt constraints deletion: 679 -> 417 985.04/985.20 c learnt constraints deletion: 576 -> 340 987.04/987.25 c learnt constraints deletion: 543 -> 325 988.94/989.13 c learnt constraints deletion: 581 -> 345 990.74/990.92 c learnt constraints deletion: 543 -> 327 993.04/993.22 c learnt constraints deletion: 635 -> 375 994.94/995.18 c learnt constraints deletion: 583 -> 349 996.23/996.45 c learnt constraints deletion: 610 -> 363 997.54/997.70 c learnt constraints deletion: 623 -> 371 999.64/999.87 c learnt constraints deletion: 606 -> 362 1002.24/1002.44 c learnt constraints deletion: 683 -> 402 1004.14/1004.33 c learnt constraints deletion: 611 -> 367 1005.43/1005.65 c learnt constraints deletion: 587 -> 356 1007.63/1007.85 c learnt constraints deletion: 586 -> 356 1008.93/1009.11 c learnt constraints deletion: 582 -> 355 1011.04/1011.23 c learnt constraints deletion: 628 -> 379 1012.33/1012.57 c learnt constraints deletion: 566 -> 349 1014.23/1014.49 c learnt constraints deletion: 656 -> 405 1015.43/1015.64 c learnt constraints deletion: 591 -> 364 1017.13/1017.32 c learnt constraints deletion: 689 -> 435 1018.24/1018.44 c learnt constraints deletion: 638 -> 389 1020.14/1020.33 c learnt constraints deletion: 613 -> 378 1022.13/1022.39 c learnt constraints deletion: 646 -> 394 1024.03/1024.23 c learnt constraints deletion: 652 -> 398 1025.43/1025.66 c learnt constraints deletion: 628 -> 387 1026.83/1027.06 c learnt constraints deletion: 631 -> 390 1029.34/1029.52 c learnt constraints deletion: 672 -> 412 1030.73/1030.91 c learnt constraints deletion: 615 -> 386 1032.43/1032.64 c learnt constraints deletion: 687 -> 449 1033.43/1033.61 c learnt constraints deletion: 590 -> 374 1034.53/1034.77 c learnt constraints deletion: 628 -> 394 1036.33/1036.58 c learnt constraints deletion: 617 -> 389 1037.33/1037.59 c learnt constraints deletion: 639 -> 401 1038.73/1038.90 c learnt constraints deletion: 647 -> 407 1039.93/1040.14 c learnt constraints deletion: 585 -> 376 1041.43/1041.65 c learnt constraints deletion: 606 -> 386 1043.33/1043.50 c learnt constraints deletion: 683 -> 445 1044.03/1044.29 c learnt constraints deletion: 639 -> 405 1045.73/1045.92 c learnt constraints deletion: 695 -> 445 1047.03/1047.29 c learnt constraints deletion: 692 -> 433 1048.33/1048.57 c learnt constraints deletion: 621 -> 398 1049.53/1049.71 c learnt constraints deletion: 645 -> 412 1051.43/1051.63 c learnt constraints deletion: 618 -> 398 1052.62/1052.89 c learnt constraints deletion: 601 -> 391 1054.32/1054.57 c learnt constraints deletion: 650 -> 417 1055.63/1055.83 c learnt constraints deletion: 640 -> 417 1056.93/1057.17 c learnt constraints deletion: 640 -> 414 1058.42/1058.68 c learnt constraints deletion: 637 -> 414 1059.73/1059.97 c learnt constraints deletion: 656 -> 425 1060.92/1061.16 c learnt constraints deletion: 622 -> 409 1062.52/1062.78 c learnt constraints deletion: 676 -> 473 1063.33/1063.55 c learnt constraints deletion: 640 -> 419 1064.42/1064.61 c learnt constraints deletion: 637 -> 419 1065.83/1066.00 c learnt constraints deletion: 638 -> 421 1067.12/1067.37 c learnt constraints deletion: 619 -> 414 1068.63/1068.86 c learnt constraints deletion: 616 -> 415 1070.32/1070.53 c learnt constraints deletion: 740 -> 484 1070.82/1071.06 c learnt constraints deletion: 622 -> 420 1072.13/1072.35 c learnt constraints deletion: 638 -> 429 1073.62/1073.85 c learnt constraints deletion: 637 -> 437 1074.92/1075.16 c learnt constraints deletion: 633 -> 430 1076.63/1076.89 c learnt constraints deletion: 621 -> 422 1078.13/1078.38 c learnt constraints deletion: 703 -> 467 1079.02/1079.28 c learnt constraints deletion: 657 -> 447 1080.42/1080.63 c learnt constraints deletion: 690 -> 467 1081.82/1082.08 c learnt constraints deletion: 688 -> 472 1082.82/1083.05 c learnt constraints deletion: 665 -> 468 1084.32/1084.51 c learnt constraints deletion: 706 -> 466 1086.12/1086.31 c learnt constraints deletion: 719 -> 478 1087.42/1087.65 c learnt constraints deletion: 669 -> 455 1088.42/1088.65 c learnt constraints deletion: 626 -> 426 1089.72/1089.92 c learnt constraints deletion: 693 -> 465 1090.82/1091.02 c learnt constraints deletion: 708 -> 474 1092.02/1092.25 c learnt constraints deletion: 713 -> 488 1093.23/1093.44 c learnt constraints deletion: 706 -> 471 1094.12/1094.33 c learnt constraints deletion: 681 -> 456 1095.22/1095.41 c learnt constraints deletion: 645 -> 441 1096.62/1096.86 c learnt constraints deletion: 675 -> 454 1097.62/1097.88 c learnt constraints deletion: 681 -> 462 1098.72/1098.91 c learnt constraints deletion: 687 -> 459 1099.62/1099.80 c learnt constraints deletion: 661 -> 448 1100.62/1100.81 c learnt constraints deletion: 667 -> 456 1101.62/1101.80 c learnt constraints deletion: 670 -> 466 1102.52/1102.75 c learnt constraints deletion: 632 -> 435 1103.42/1103.66 c learnt constraints deletion: 648 -> 451 1104.72/1104.91 c learnt constraints deletion: 687 -> 462 1105.72/1105.95 c learnt constraints deletion: 645 -> 444 1106.71/1106.99 c learnt constraints deletion: 660 -> 453 1107.92/1108.13 c learnt constraints deletion: 672 -> 459 1108.62/1108.89 c learnt constraints deletion: 645 -> 446 1109.92/1110.18 c learnt constraints deletion: 683 -> 467 1110.72/1110.96 c learnt constraints deletion: 652 -> 453 1111.52/1111.74 c learnt constraints deletion: 668 -> 464 1112.22/1112.45 c learnt constraints deletion: 668 -> 467 1112.92/1113.14 c learnt constraints deletion: 694 -> 487 1113.52/1113.70 c learnt constraints deletion: 694 -> 497 1113.92/1114.13 c learnt constraints deletion: 674 -> 473 1114.52/1114.76 c learnt constraints deletion: 665 -> 466 1115.23/1115.47 c learnt constraints deletion: 665 -> 468 1115.92/1116.17 c learnt constraints deletion: 655 -> 462 1116.71/1116.90 c learnt constraints deletion: 653 -> 457 1117.42/1117.61 c learnt constraints deletion: 651 -> 459 1118.12/1118.38 c learnt constraints deletion: 665 -> 484 1118.71/1118.94 c learnt constraints deletion: 646 -> 453 1119.42/1119.63 c learnt constraints deletion: 647 -> 446 1120.11/1120.37 c learnt constraints deletion: 641 -> 445 1121.12/1121.32 c learnt constraints deletion: 671 -> 460 1122.31/1122.57 c learnt constraints deletion: 689 -> 469 1123.22/1123.46 c learnt constraints deletion: 654 -> 458 1124.52/1124.71 c learnt constraints deletion: 715 -> 488 1125.62/1125.83 c learnt constraints deletion: 693 -> 468 1126.61/1126.82 c learnt constraints deletion: 677 -> 465 1127.62/1127.81 c learnt constraints deletion: 659 -> 477 1128.71/1128.92 c learnt constraints deletion: 686 -> 460 1129.62/1129.86 c learnt constraints deletion: 643 -> 436 1130.91/1131.12 c learnt constraints deletion: 646 -> 420 1132.12/1132.34 c learnt constraints deletion: 624 -> 402 1133.61/1133.84 c learnt constraints deletion: 662 -> 421 1135.41/1135.69 c learnt constraints deletion: 652 -> 417 1137.31/1137.51 c learnt constraints deletion: 683 -> 446 1138.72/1138.95 c learnt constraints deletion: 603 -> 390 1140.11/1140.34 c learnt constraints deletion: 695 -> 440 1141.71/1141.99 c learnt constraints deletion: 709 -> 474 1142.72/1142.92 c learnt constraints deletion: 607 -> 392 1144.82/1145.06 c learnt constraints deletion: 671 -> 423 1146.31/1146.58 c learnt constraints deletion: 661 -> 408 1147.81/1148.05 c learnt constraints deletion: 677 -> 414 1149.81/1150.09 c learnt constraints deletion: 714 -> 440 1151.81/1152.03 c learnt constraints deletion: 632 -> 318 1153.71/1153.92 c learnt constraints deletion: 549 -> 279 1156.11/1156.38 c learnt constraints deletion: 648 -> 327 1159.91/1160.11 c learnt constraints deletion: 584 -> 295 1161.61/1161.87 c learnt constraints deletion: 647 -> 358 1163.41/1163.61 c learnt constraints deletion: 549 -> 279 1166.31/1166.50 c learnt constraints deletion: 650 -> 330 1169.30/1169.57 c learnt constraints deletion: 747 -> 380 1172.01/1172.24 c learnt constraints deletion: 569 -> 291 1175.71/1175.97 c learnt constraints deletion: 571 -> 297 1180.81/1181.04 c learnt constraints deletion: 749 -> 382 1183.50/1183.77 c learnt constraints deletion: 628 -> 322 1186.00/1186.23 c learnt constraints deletion: 690 -> 354 1188.41/1188.69 c learnt constraints deletion: 616 -> 317 1191.21/1191.41 c learnt constraints deletion: 652 -> 348 1192.61/1192.87 c learnt constraints deletion: 596 -> 312 1195.11/1195.34 c learnt constraints deletion: 642 -> 336 1198.20/1198.40 c learnt constraints deletion: 628 -> 326 1200.91/1201.17 c learnt constraints deletion: 557 -> 291 1204.50/1204.73 c learnt constraints deletion: 627 -> 327 1206.31/1206.54 c learnt constraints deletion: 652 -> 341 1207.80/1208.01 c learnt constraints deletion: 561 -> 295 1210.20/1210.42 c learnt constraints deletion: 690 -> 361 1212.01/1212.24 c learnt constraints deletion: 667 -> 352 1214.00/1214.29 c learnt constraints deletion: 576 -> 303 1216.41/1216.64 c learnt constraints deletion: 706 -> 385 1218.91/1219.11 c learnt constraints deletion: 611 -> 322 1220.60/1220.90 c learnt constraints deletion: 675 -> 355 1222.10/1222.30 c learnt constraints deletion: 596 -> 315 1224.80/1225.02 c learnt constraints deletion: 580 -> 309 1227.41/1227.63 c learnt constraints deletion: 633 -> 336 1230.10/1230.38 c learnt constraints deletion: 688 -> 372 1232.40/1232.62 c learnt constraints deletion: 590 -> 315 1234.10/1234.33 c learnt constraints deletion: 618 -> 330 1236.21/1236.49 c learnt constraints deletion: 625 -> 335 1237.80/1238.09 c learnt constraints deletion: 598 -> 321 1241.60/1241.84 c learnt constraints deletion: 593 -> 320 1243.70/1243.98 c learnt constraints deletion: 606 -> 327 1246.69/1246.90 c learnt constraints deletion: 609 -> 330 1249.40/1249.67 c learnt constraints deletion: 722 -> 388 1250.80/1251.03 c learnt constraints deletion: 647 -> 351 1253.19/1253.43 c learnt constraints deletion: 563 -> 308 1254.70/1254.98 c learnt constraints deletion: 648 -> 351 1256.70/1256.94 c learnt constraints deletion: 586 -> 320 1260.30/1260.53 c learnt constraints deletion: 746 -> 401 1262.70/1262.95 c learnt constraints deletion: 604 -> 331 1265.59/1265.88 c learnt constraints deletion: 691 -> 376 1266.90/1267.20 c learnt constraints deletion: 609 -> 336 1270.00/1270.28 c learnt constraints deletion: 606 -> 335 1274.70/1274.92 c learnt constraints deletion: 720 -> 394 1276.59/1276.83 c learnt constraints deletion: 598 -> 335 1279.49/1279.79 c learnt constraints deletion: 635 -> 354 1281.80/1282.04 c learnt constraints deletion: 651 -> 365 1284.79/1285.05 c learnt constraints deletion: 650 -> 363 1287.59/1287.86 c learnt constraints deletion: 707 -> 393 1288.90/1289.20 c learnt constraints deletion: 728 -> 416 1290.39/1290.67 c learnt constraints deletion: 661 -> 370 1292.69/1292.91 c learnt constraints deletion: 651 -> 366 1293.99/1294.23 c learnt constraints deletion: 588 -> 334 1296.39/1296.66 c learnt constraints deletion: 692 -> 388 1298.59/1298.85 c learnt constraints deletion: 728 -> 410 1300.29/1300.53 c learnt constraints deletion: 670 -> 379 1302.79/1303.00 c learnt constraints deletion: 644 -> 364 1306.39/1306.66 c learnt constraints deletion: 773 -> 433 1307.98/1308.26 c learnt constraints deletion: 668 -> 376 1311.49/1311.72 c learnt constraints deletion: 647 -> 368 1313.58/1313.85 c learnt constraints deletion: 603 -> 349 1316.50/1316.74 c learnt constraints deletion: 642 -> 375 1320.39/1320.65 c learnt constraints deletion: 779 -> 448 1322.48/1322.72 c learnt constraints deletion: 743 -> 426 1324.09/1324.32 c learnt constraints deletion: 679 -> 394 1326.29/1326.52 c learnt constraints deletion: 708 -> 411 1329.99/1330.21 c learnt constraints deletion: 776 -> 436 1332.68/1332.94 c learnt constraints deletion: 739 -> 416 1334.69/1334.97 c learnt constraints deletion: 680 -> 385 1337.19/1337.44 c learnt constraints deletion: 591 -> 340 1338.88/1339.17 c learnt constraints deletion: 677 -> 392 1341.18/1341.47 c learnt constraints deletion: 647 -> 371 1343.58/1343.89 c learnt constraints deletion: 675 -> 399 1347.09/1347.35 c learnt constraints deletion: 767 -> 432 1349.78/1350.01 c learnt constraints deletion: 694 -> 393 1352.58/1352.86 c learnt constraints deletion: 632 -> 362 1356.38/1356.64 c learnt constraints deletion: 693 -> 398 1358.78/1359.06 c learnt constraints deletion: 614 -> 366 1361.18/1361.44 c learnt constraints deletion: 701 -> 417 1364.98/1365.28 c learnt constraints deletion: 768 -> 439 1366.68/1366.96 c learnt constraints deletion: 590 -> 345 1368.98/1369.29 c learnt constraints deletion: 665 -> 387 1371.58/1371.87 c learnt constraints deletion: 685 -> 393 1374.98/1375.21 c learnt constraints deletion: 755 -> 427 1377.08/1377.31 c learnt constraints deletion: 663 -> 382 1380.18/1380.42 c learnt constraints deletion: 733 -> 417 1381.78/1382.07 c learnt constraints deletion: 706 -> 407 1385.48/1385.73 c learnt constraints deletion: 762 -> 436 1388.07/1388.36 c learnt constraints deletion: 689 -> 397 1390.58/1390.86 c learnt constraints deletion: 688 -> 395 1392.77/1393.04 c learnt constraints deletion: 693 -> 401 1394.97/1395.21 c learnt constraints deletion: 680 -> 400 1396.87/1397.12 c learnt constraints deletion: 797 -> 472 1398.07/1398.31 c learnt constraints deletion: 659 -> 397 1400.47/1400.75 c learnt constraints deletion: 664 -> 390 1402.88/1403.14 c learnt constraints deletion: 593 -> 351 1405.37/1405.65 c learnt constraints deletion: 603 -> 355 1408.67/1408.99 c learnt constraints deletion: 602 -> 355 1411.17/1411.40 c learnt constraints deletion: 663 -> 388 1412.37/1412.68 c learnt constraints deletion: 677 -> 395 1415.97/1416.26 c learnt constraints deletion: 753 -> 434 1417.77/1418.07 c learnt constraints deletion: 630 -> 373 1419.07/1419.30 c learnt constraints deletion: 653 -> 386 1421.67/1421.94 c learnt constraints deletion: 621 -> 371 1425.28/1425.57 c learnt constraints deletion: 785 -> 455 1426.87/1427.17 c learnt constraints deletion: 601 -> 364 1428.57/1428.82 c learnt constraints deletion: 642 -> 385 1431.27/1431.59 c learnt constraints deletion: 697 -> 414 1432.97/1433.26 c learnt constraints deletion: 644 -> 388 1435.18/1435.42 c learnt constraints deletion: 716 -> 447 1437.77/1438.08 c learnt constraints deletion: 745 -> 442 1440.57/1440.82 c learnt constraints deletion: 716 -> 429 1443.16/1443.41 c learnt constraints deletion: 685 -> 416 1445.87/1446.11 c learnt constraints deletion: 677 -> 414 1448.37/1448.62 c learnt constraints deletion: 732 -> 443 1450.77/1451.07 c learnt constraints deletion: 707 -> 433 1453.17/1453.45 c learnt constraints deletion: 737 -> 450 1455.46/1455.70 c learnt constraints deletion: 688 -> 427 1457.17/1457.47 c learnt constraints deletion: 703 -> 437 1458.87/1459.13 c learnt constraints deletion: 663 -> 418 1460.66/1460.94 c learnt constraints deletion: 675 -> 425 1462.26/1462.55 c learnt constraints deletion: 716 -> 447 1463.97/1464.23 c learnt constraints deletion: 711 -> 460 1465.56/1465.89 c learnt constraints deletion: 675 -> 429 1467.06/1467.38 c learnt constraints deletion: 676 -> 429 1468.67/1468.99 c learnt constraints deletion: 668 -> 426 1470.46/1470.72 c learnt constraints deletion: 739 -> 470 1471.36/1471.67 c learnt constraints deletion: 639 -> 414 1473.26/1473.57 c learnt constraints deletion: 700 -> 446 1475.16/1475.44 c learnt constraints deletion: 743 -> 483 1476.46/1476.73 c learnt constraints deletion: 694 -> 446 1478.56/1478.80 c learnt constraints deletion: 725 -> 463 1480.07/1480.37 c learnt constraints deletion: 668 -> 436 1481.56/1481.83 c learnt constraints deletion: 730 -> 469 1483.26/1483.54 c learnt constraints deletion: 704 -> 458 1484.36/1484.65 c learnt constraints deletion: 695 -> 455 1485.86/1486.15 c learnt constraints deletion: 694 -> 456 1487.46/1487.73 c learnt constraints deletion: 683 -> 454 1489.26/1489.52 c learnt constraints deletion: 719 -> 475 1490.46/1490.75 c learnt constraints deletion: 704 -> 481 1491.56/1491.82 c learnt constraints deletion: 705 -> 473 1492.36/1492.66 c learnt constraints deletion: 689 -> 466 1493.46/1493.75 c learnt constraints deletion: 712 -> 479 1494.46/1494.75 c learnt constraints deletion: 702 -> 481 1495.26/1495.58 c learnt constraints deletion: 693 -> 474 1496.16/1496.49 c learnt constraints deletion: 711 -> 485 1497.06/1497.38 c learnt constraints deletion: 703 -> 487 1498.05/1498.39 c learnt constraints deletion: 724 -> 496 1498.86/1499.12 c learnt constraints deletion: 729 -> 501 1499.56/1499.89 c learnt constraints deletion: 755 -> 522 1500.16/1500.44 c learnt constraints deletion: 752 -> 533 1500.65/1500.97 c learnt constraints deletion: 728 -> 503 1501.45/1501.78 c learnt constraints deletion: 736 -> 504 1502.37/1502.62 c learnt constraints deletion: 715 -> 491 1503.15/1503.44 c learnt constraints deletion: 724 -> 496 1504.06/1504.30 c learnt constraints deletion: 717 -> 498 1504.86/1505.15 c learnt constraints deletion: 708 -> 490 1506.16/1506.42 c learnt constraints deletion: 739 -> 537 1506.86/1507.16 c learnt constraints deletion: 711 -> 499 1507.76/1508.09 c learnt constraints deletion: 689 -> 467 1509.15/1509.40 c learnt constraints deletion: 718 -> 478 1510.25/1510.56 c learnt constraints deletion: 677 -> 456 1512.05/1512.38 c learnt constraints deletion: 752 -> 494 1513.26/1513.56 c learnt constraints deletion: 687 -> 460 1514.46/1514.71 c learnt constraints deletion: 677 -> 447 1515.86/1516.12 c learnt constraints deletion: 722 -> 467 1517.06/1517.34 c learnt constraints deletion: 697 -> 453 1518.56/1518.86 c learnt constraints deletion: 690 -> 449 1519.66/1519.94 c learnt constraints deletion: 661 -> 435 1520.86/1521.17 c learnt constraints deletion: 672 -> 436 1522.25/1522.56 c learnt constraints deletion: 661 -> 431 1523.56/1523.84 c learnt constraints deletion: 690 -> 445 1525.16/1525.47 c learnt constraints deletion: 724 -> 461 1526.56/1526.84 c learnt constraints deletion: 713 -> 456 1528.25/1528.54 c learnt constraints deletion: 751 -> 475 1529.55/1529.82 c learnt constraints deletion: 658 -> 428 1530.76/1531.10 c learnt constraints deletion: 722 -> 463 1532.95/1533.21 c learnt constraints deletion: 714 -> 429 1534.45/1534.70 c learnt constraints deletion: 636 -> 390 1536.55/1536.83 c learnt constraints deletion: 712 -> 438 1539.15/1539.48 c learnt constraints deletion: 683 -> 404 1541.96/1542.23 c learnt constraints deletion: 669 -> 394 1544.35/1544.69 c learnt constraints deletion: 650 -> 380 1546.75/1547.09 c learnt constraints deletion: 612 -> 357 1549.25/1549.53 c learnt constraints deletion: 614 -> 354 1551.95/1552.28 c learnt constraints deletion: 609 -> 358 1554.55/1554.81 c learnt constraints deletion: 602 -> 359 1558.36/1558.64 c learnt constraints deletion: 750 -> 437 1560.85/1561.15 c learnt constraints deletion: 657 -> 384 1563.14/1563.45 c learnt constraints deletion: 700 -> 403 1565.75/1566.07 c learnt constraints deletion: 660 -> 371 1567.75/1568.05 c learnt constraints deletion: 653 -> 373 1570.85/1571.11 c learnt constraints deletion: 703 -> 395 1573.34/1573.66 c learnt constraints deletion: 605 -> 344 1575.75/1576.09 c learnt constraints deletion: 617 -> 352 1578.54/1578.88 c learnt constraints deletion: 638 -> 362 1580.25/1580.51 c learnt constraints deletion: 650 -> 368 1582.74/1583.07 c learnt constraints deletion: 752 -> 437 1584.24/1584.53 c learnt constraints deletion: 639 -> 364 1586.85/1587.20 c learnt constraints deletion: 744 -> 422 1588.24/1588.57 c learnt constraints deletion: 690 -> 408 1589.84/1590.11 c learnt constraints deletion: 581 -> 331 1592.05/1592.33 c learnt constraints deletion: 620 -> 347 1597.24/1597.55 c learnt constraints deletion: 786 -> 429 1599.54/1599.88 c learnt constraints deletion: 717 -> 391 1601.45/1601.70 c learnt constraints deletion: 576 -> 318 1604.34/1604.62 c learnt constraints deletion: 671 -> 358 1606.44/1606.73 c learnt constraints deletion: 694 -> 365 1608.84/1609.12 c learnt constraints deletion: 608 -> 322 1612.04/1612.37 c learnt constraints deletion: 626 -> 328 1613.94/1614.20 c learnt constraints deletion: 789 -> 407 1615.14/1615.48 c learnt constraints deletion: 796 -> 408 1616.64/1616.97 c learnt constraints deletion: 745 -> 384 1618.34/1618.62 c learnt constraints deletion: 648 -> 335 1621.34/1621.68 c learnt constraints deletion: 737 -> 379 1626.54/1626.89 c learnt constraints deletion: 755 -> 391 1630.24/1630.58 c learnt constraints deletion: 635 -> 326 1635.24/1635.51 c learnt constraints deletion: 803 -> 410 1636.74/1637.01 c learnt constraints deletion: 537 -> 277 1639.04/1639.35 c learnt constraints deletion: 680 -> 342 1641.94/1642.29 c learnt constraints deletion: 572 -> 291 1645.53/1645.88 c learnt constraints deletion: 656 -> 345 1648.74/1649.04 c learnt constraints deletion: 665 -> 337 1650.43/1650.72 c learnt constraints deletion: 642 -> 333 1653.54/1653.82 c learnt constraints deletion: 561 -> 284 1655.94/1656.21 c learnt constraints deletion: 708 -> 371 1659.33/1659.64 c learnt constraints deletion: 672 -> 341 1662.53/1662.84 c learnt constraints deletion: 590 -> 300 1666.24/1666.56 c learnt constraints deletion: 673 -> 343 1668.03/1668.36 c learnt constraints deletion: 686 -> 343 1670.43/1670.79 c learnt constraints deletion: 620 -> 313 1673.43/1673.78 c learnt constraints deletion: 591 -> 298 1675.83/1676.13 c learnt constraints deletion: 659 -> 333 1678.73/1679.04 c learnt constraints deletion: 613 -> 311 1681.03/1681.39 c learnt constraints deletion: 680 -> 344 1684.23/1684.55 c learnt constraints deletion: 632 -> 321 1687.83/1688.10 c learnt constraints deletion: 599 -> 306 1691.03/1691.33 c learnt constraints deletion: 614 -> 314 1697.03/1697.33 c learnt constraints deletion: 700 -> 361 1700.72/1701.03 c learnt constraints deletion: 668 -> 345 1705.83/1706.16 c learnt constraints deletion: 726 -> 377 1708.93/1709.27 c learnt constraints deletion: 648 -> 340 1712.73/1713.02 c learnt constraints deletion: 688 -> 361 1716.74/1717.05 c learnt constraints deletion: 682 -> 360 1721.83/1722.15 c learnt constraints deletion: 731 -> 387 1726.32/1726.68 c learnt constraints deletion: 710 -> 378 1729.62/1729.94 c learnt constraints deletion: 618 -> 333 1734.62/1734.95 c learnt constraints deletion: 698 -> 376 1739.13/1739.48 c learnt constraints deletion: 719 -> 389 1742.43/1742.70 c learnt constraints deletion: 636 -> 348 1745.23/1745.53 c learnt constraints deletion: 633 -> 348 1749.22/1749.59 c learnt constraints deletion: 625 -> 346 1753.62/1753.91 c learnt constraints deletion: 719 -> 397 1755.62/1755.96 c learnt constraints deletion: 641 -> 359 1759.02/1759.33 c learnt constraints deletion: 644 -> 360 1762.72/1763.04 c learnt constraints deletion: 629 -> 355 1767.82/1768.19 c learnt constraints deletion: 751 -> 419 1771.51/1771.89 c learnt constraints deletion: 700 -> 395 1776.02/1776.35 c learnt constraints deletion: 731 -> 414 1779.22/1779.57 c learnt constraints deletion: 655 -> 378 1782.72/1783.05 c learnt constraints deletion: 733 -> 420 1786.41/1786.75 c learnt constraints deletion: 715 -> 413 1789.11/1789.48 c learnt constraints deletion: 652 -> 383 1793.02/1793.33 c learnt constraints deletion: 738 -> 431 1795.51/1795.89 c learnt constraints deletion: 758 -> 442 1798.31/1798.66 c learnt constraints deletion: 762 -> 444
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-3724980-1338631533/watcher-3724980-1338631533 -o /tmp/evaluation-result-3724980-1338631533/solver-3724980-1338631533 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724980-1338631533.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: 0.46 0.11 0.04 1/171 21376 /proc/meminfo: memFree=30214796/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 329281862 6373376 744 33554432000 4194304 8989770 140734542349280 140735108346168 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/21376/statm: 1556 747 428 1171 0 333 0 [startup+0.084731 s] /proc/loadavg: 0.46 0.11 0.04 1/171 21376 /proc/meminfo: memFree=30214796/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=8272 CPUtime=0.08 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1161 0 0 0 8 0 0 0 20 0 1 0 329281862 8470528 1081 33554432000 4194304 8989770 140734542349280 140734542348776 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/21376/statm: 2068 1081 468 1171 0 845 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8272 [startup+0.100214 s] /proc/loadavg: 0.46 0.11 0.04 1/171 21376 /proc/meminfo: memFree=30214796/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=8272 CPUtime=0.09 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1170 0 0 0 9 0 0 0 20 0 1 0 329281862 8470528 1090 33554432000 4194304 8989770 140734542349280 140734542348776 7748792 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/21376/statm: 2068 1090 468 1171 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8272 [startup+0.300182 s] /proc/loadavg: 0.46 0.11 0.04 1/171 21376 /proc/meminfo: memFree=30214796/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=8272 CPUtime=0.29 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1387 0 0 0 29 0 0 0 20 0 1 0 329281862 8470528 1307 33554432000 4194304 8989770 140734542349280 140734542348776 4445252 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/21376/statm: 2068 1307 468 1171 0 845 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8272 [startup+0.70018 s] /proc/loadavg: 0.46 0.11 0.04 1/171 21376 /proc/meminfo: memFree=30214796/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=8272 CPUtime=0.69 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1387 0 0 0 69 0 0 0 20 0 1 0 329281862 8470528 1307 33554432000 4194304 8989770 140734542349280 140734542348776 4425296 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/21376/statm: 2068 1307 468 1171 0 845 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8272 [startup+1.50018 s] /proc/loadavg: 0.46 0.11 0.04 2/172 21377 /proc/meminfo: memFree=30210448/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=9296 CPUtime=1.48 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1645 0 0 0 148 0 0 0 20 0 1 0 329281862 9519104 1565 33554432000 4194304 8989770 140734542349280 140734542348776 4445120 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/21376/statm: 2324 1565 470 1171 0 1101 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9296 [startup+3.10018 s] /proc/loadavg: 0.46 0.11 0.04 2/172 21377 /proc/meminfo: memFree=30209936/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=9296 CPUtime=3.09 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1645 0 0 0 308 1 0 0 20 0 1 0 329281862 9519104 1565 33554432000 4194304 8989770 140734542349280 140734542348776 7732173 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/21376/statm: 2324 1565 470 1171 0 1101 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9296 [startup+6.30018 s] /proc/loadavg: 0.58 0.14 0.05 3/177 21391 /proc/meminfo: memFree=30037412/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=9296 CPUtime=6.29 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1645 0 0 0 626 3 0 0 20 0 1 0 329281862 9519104 1565 33554432000 4194304 8989770 140734542349280 140734542348776 7415887 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/21376/statm: 2324 1565 470 1171 0 1101 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9296 [startup+12.7002 s] /proc/loadavg: 0.70 0.17 0.06 3/177 21391 /proc/meminfo: memFree=30079852/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=9296 CPUtime=12.69 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1646 0 0 0 1262 7 0 0 20 0 1 0 329281862 9519104 1565 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 2324 1565 470 1171 0 1101 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9296 [startup+25.5002 s] /proc/loadavg: 0.98 0.26 0.09 3/177 21391 /proc/meminfo: memFree=30079496/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=9296 CPUtime=25.48 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1646 0 0 0 2535 13 0 0 20 0 1 0 329281862 9519104 1565 33554432000 4194304 8989770 140734542349280 140734542348384 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 2324 1565 470 1171 0 1101 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9296 [startup+51.1002 s] /proc/loadavg: 1.33 0.40 0.14 3/177 21391 /proc/meminfo: memFree=30078704/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=10320 CPUtime=51.08 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1902 0 0 0 5083 25 0 0 20 0 1 0 329281862 10567680 1821 33554432000 4194304 8989770 140734542349280 140734542348776 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 2580 1821 470 1171 0 1357 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10320 [startup+102.306 s] /proc/loadavg: 1.71 0.64 0.23 3/177 21391 /proc/meminfo: memFree=30078360/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=10320 CPUtime=102.28 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 1903 0 0 0 10178 50 0 0 20 0 1 0 329281862 10567680 1822 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 2580 1822 470 1171 0 1357 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 10320 [startup+162.3 s] /proc/loadavg: 1.89 0.89 0.34 3/177 21391 /proc/meminfo: memFree=30077056/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=11344 CPUtime=162.26 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 2160 0 0 0 16147 79 0 0 20 0 1 0 329281862 11616256 2078 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 2836 2078 470 1171 0 1613 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 11344 [startup+222.3 s] /proc/loadavg: 1.99 1.10 0.45 3/177 21391 /proc/meminfo: memFree=30077676/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=11344 CPUtime=222.25 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 2160 0 0 0 22117 108 0 0 20 0 1 0 329281862 11616256 2078 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 2836 2078 470 1171 0 1613 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 11344 [startup+282.3 s] /proc/loadavg: 1.99 1.26 0.54 3/178 21395 /proc/meminfo: memFree=30074800/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=282.24 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3184 0 0 0 28086 138 0 0 20 0 1 0 329281862 13713408 2590 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2590 470 1171 0 2125 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 13392 [startup+342.3 s] /proc/loadavg: 1.99 1.39 0.63 3/177 21395 /proc/meminfo: memFree=30075132/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=342.23 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3184 0 0 0 34055 168 0 0 20 0 1 0 329281862 13713408 2590 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2590 470 1171 0 2125 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 13392 [startup+402.3 s] /proc/loadavg: 1.99 1.50 0.71 3/177 21395 /proc/meminfo: memFree=30075008/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=402.22 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3185 0 0 0 40027 195 0 0 20 0 1 0 329281862 13713408 2591 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2591 470 1171 0 2125 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 13392 [startup+462.3 s] /proc/loadavg: 1.99 1.59 0.79 3/177 21395 /proc/meminfo: memFree=30079100/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=462.22 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3185 0 0 0 45998 224 0 0 20 0 1 0 329281862 13713408 2591 33554432000 4194304 8989770 140734542349280 140734542348776 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2591 470 1171 0 2125 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 13392 [startup+522.3 s] /proc/loadavg: 1.99 1.66 0.86 3/177 21395 /proc/meminfo: memFree=30040660/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=522.21 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3185 0 0 0 51970 251 0 0 20 0 1 0 329281862 13713408 2591 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2591 470 1171 0 2125 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 13392 [startup+582.3 s] /proc/loadavg: 1.99 1.72 0.93 3/177 21396 /proc/meminfo: memFree=30037356/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=582.2 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3185 0 0 0 57941 279 0 0 20 0 1 0 329281862 13713408 2591 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2591 470 1171 0 2125 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 13392 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.99 1.89 1.21 3/178 21400 /proc/meminfo: memFree=30036520/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=882.15 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3442 0 0 0 87796 419 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 13392 [startup+942.3 s] /proc/loadavg: 2.06 1.92 1.27 3/177 21400 /proc/meminfo: memFree=30036900/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=942.15 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3442 0 0 0 93767 448 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 942.15 Current children cumulated vsize (KiB) 13392 [startup+1002.3 s] /proc/loadavg: 2.07 1.95 1.31 3/177 21400 /proc/meminfo: memFree=30036836/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1002.14 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3442 0 0 0 99732 482 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1002.14 Current children cumulated vsize (KiB) 13392 [startup+1062.3 s] /proc/loadavg: 2.02 1.95 1.35 3/177 21400 /proc/meminfo: memFree=30037704/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1062.12 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 3442 0 0 0 105700 512 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 13392 [startup+1122.3 s] /proc/loadavg: 2.01 1.96 1.39 3/177 21400 /proc/meminfo: memFree=30037456/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1122.11 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4210 0 0 0 111673 538 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348544 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 13392 [startup+1182.3 s] /proc/loadavg: 2.00 1.96 1.43 3/177 21401 /proc/meminfo: memFree=30037580/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1182.1 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4210 0 0 0 117638 572 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 13392 [startup+1242.3 s] /proc/loadavg: 2.04 1.98 1.46 3/177 21401 /proc/meminfo: memFree=30037456/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1242.1 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4210 0 0 0 123592 618 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 13392 [startup+1302.3 s] /proc/loadavg: 2.08 2.00 1.50 3/177 21401 /proc/meminfo: memFree=30037456/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1302.1 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4210 0 0 0 129546 664 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1302.1 Current children cumulated vsize (KiB) 13392 [startup+1362.3 s] /proc/loadavg: 2.10 2.02 1.53 3/177 21401 /proc/meminfo: memFree=30037208/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1362.08 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4210 0 0 0 135502 706 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 13392 [startup+1422.31 s] /proc/loadavg: 2.14 2.04 1.57 3/177 21401 /proc/meminfo: memFree=30037332/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1422.07 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4210 0 0 0 141462 745 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 13392 [startup+1482.3 s] /proc/loadavg: 2.08 2.05 1.60 3/178 21405 /proc/meminfo: memFree=30036688/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1482.06 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4210 0 0 0 147416 790 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 13392 [startup+1542.3 s] /proc/loadavg: 2.06 2.05 1.63 3/177 21405 /proc/meminfo: memFree=30037208/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1542.05 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4722 0 0 0 153388 817 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 13392 [startup+1602.3 s] /proc/loadavg: 2.02 2.04 1.65 3/177 21405 /proc/meminfo: memFree=30037084/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1602.04 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4722 0 0 0 159362 842 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348600 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 13392 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 1.66 3/177 21405 /proc/meminfo: memFree=30037084/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1662.04 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4978 0 0 0 165330 874 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 13392 [startup+1722.3 s] /proc/loadavg: 2.04 2.03 1.69 3/177 21405 /proc/meminfo: memFree=30037020/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1722.03 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4978 0 0 0 171301 902 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348776 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 13392 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 1.70 3/178 21407 /proc/meminfo: memFree=30036516/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1782.01 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4978 0 0 0 177272 929 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348544 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 13392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.01 2.02 1.71 3/178 21407 /proc/meminfo: memFree=30036640/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1800.02 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4978 0 0 0 179063 939 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348544 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 13392 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.01 2.02 1.71 3/178 21407 /proc/meminfo: memFree=30036640/32873844 swapFree=7372/7372 [pid=21376] ppid=21374 vsize=13392 CPUtime=1800.02 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21374 21376 21194 0 -1 4202496 4978 0 0 0 179063 939 0 0 20 0 1 0 329281862 13713408 2592 33554432000 4194304 8989770 140734542349280 140734542348544 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 3348 2592 470 1171 0 2125 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 13392 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1790.64 CPU system time (s): 9.39357 CPU usage (%): 99.9846 Max. virtual memory (cumulated for all children) (KiB): 16464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.64 system time used= 9.39357 maximum resident set size= 13440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4978 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= 5 involuntary context switches= 1889 runsolver used 3.01054 second user time and 8.48471 second system time The end
Begin job on node109 at 2012-06-02 12:05:33 IDJOB=3724980 IDBENCH=1854 IDSOLVER=2308 FILE ID=node109/3724980-1338631533 RUNJOBID= node109-1338631506-21210 PBS_JOBID= 14636471 Free space on /tmp= 70716 MiB SOLVER NAME= toysat 2012-06-01 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 +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724980-1338631533/watcher-3724980-1338631533 -o /tmp/evaluation-result-3724980-1338631533/solver-3724980-1338631533 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724980-1338631533.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED=944973297 node109.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 : 2667.264 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 : 5334.52 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 : 2667.264 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.91 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 : 2667.264 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.91 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 : 2667.264 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 : 2667.264 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 : 2667.264 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.91 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 : 2667.264 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 : 2667.264 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30215076 kB Buffers: 295072 kB Cached: 1482064 kB SwapCached: 944 kB Active: 876696 kB Inactive: 908564 kB Active(anon): 2764 kB Inactive(anon): 7800 kB Active(file): 873932 kB Inactive(file): 900764 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67105492 kB Dirty: 7516 kB Writeback: 0 kB AnonPages: 18248 kB Mapped: 9300 kB Shmem: 4 kB Slab: 735032 kB SReclaimable: 177084 kB SUnreclaim: 557948 kB KernelStack: 1400 kB PageTables: 3628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 102888 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 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= 70696 MiB End job on node109 at 2012-06-02 12:35:35