Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2012-05-17 | ? (TO) | 1800.02 | 1800.31 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-cracpb1.opb |
| MD5SUM | 75f6d21683e6eb738b98c93cf5598ff3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 22199 |
| Best CPU time to get the best result obtained on this benchmark | 0.202968 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 22199 |
| Optimality of the best value was proved | YES |
| Number of variables | 572 |
| Total number of constraints | 126 |
| Number of constraints which are clauses | 3 |
| Number of constraints which are cardinality constraints (but not clauses) | 54 |
| Number of constraints which are nor clauses,nor cardinality constraints | 69 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 518 |
| Number of terms in the objective function | 572 |
| Biggest coefficient in the objective function | 5000 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 547769 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 5000 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 547769 |
| 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.03/0.06 c 2012-05-27T11:38:59+0200 0.03/0.06 c arch = x86_64 0.03/0.06 c os = linux 0.03/0.06 c compiler = ghc 7.4 0.03/0.06 c packages: 0.03/0.06 c OptDir-0.0.1 0.03/0.06 c array-0.4.0.0 0.03/0.06 c base-4.5.0.0 0.03/0.06 c bytestring-0.9.2.1 0.03/0.06 c containers-0.4.2.1 0.03/0.06 c deepseq-1.3.0.0 0.03/0.06 c mtl-2.1.1 0.03/0.06 c old_locale-1.0.0.4 0.03/0.06 c parse_dimacs-1.2 0.03/0.06 c parsec-3.1.2 0.03/0.06 c queue-0.1.2 0.03/0.06 c stm-2.3 0.03/0.06 c time-1.4 0.03/0.06 c command line = ["--pb","HOME/instance-3706602-1338111539.opb"] 0.03/0.06 c #vars 572 0.03/0.06 c #constraints 126 0.03/0.06 c Solving starts ... 0.89/1.00 c learnt constraints deletion: 472 -> 236 1.69/1.71 c learnt constraints deletion: 573 -> 287 2.89/2.97 c learnt constraints deletion: 703 -> 354 3.09/3.16 c learnt constraints deletion: 444 -> 222 4.58/4.66 c learnt constraints deletion: 783 -> 396 5.18/5.23 c learnt constraints deletion: 595 -> 298 6.49/6.58 c learnt constraints deletion: 752 -> 385 7.79/7.85 c learnt constraints deletion: 976 -> 513 7.98/8.03 c learnt constraints deletion: 609 -> 305 9.49/9.52 c learnt constraints deletion: 992 -> 511 10.58/10.66 c learnt constraints deletion: 1018 -> 528 11.79/11.85 c learnt constraints deletion: 1023 -> 533 12.78/12.86 c learnt constraints deletion: 926 -> 472 14.18/14.21 c learnt constraints deletion: 1049 -> 539 15.39/15.47 c learnt constraints deletion: 1039 -> 541 16.49/16.51 c learnt constraints deletion: 981 -> 509 17.78/17.83 c learnt constraints deletion: 1034 -> 538 18.08/18.17 c learnt constraints deletion: 695 -> 348 20.38/20.44 c learnt constraints deletion: 1121 -> 580 21.99/22.03 c learnt constraints deletion: 1135 -> 589 23.68/23.72 c learnt constraints deletion: 1108 -> 573 25.08/25.20 c learnt constraints deletion: 1131 -> 590 26.58/26.66 c learnt constraints deletion: 1122 -> 581 27.98/28.04 c learnt constraints deletion: 1102 -> 572 28.98/29.07 c learnt constraints deletion: 968 -> 484 30.79/30.84 c learnt constraints deletion: 1142 -> 591 32.48/32.51 c learnt constraints deletion: 1152 -> 600 33.88/33.97 c learnt constraints deletion: 1155 -> 595 35.48/35.58 c learnt constraints deletion: 1161 -> 606 36.88/36.94 c learnt constraints deletion: 1137 -> 592 38.28/38.34 c learnt constraints deletion: 1144 -> 597 39.88/39.93 c learnt constraints deletion: 1187 -> 622 41.28/41.37 c learnt constraints deletion: 1168 -> 613 43.08/43.11 c learnt constraints deletion: 1167 -> 611 44.58/44.68 c learnt constraints deletion: 1165 -> 610 45.78/45.86 c learnt constraints deletion: 1024 -> 512 47.58/47.66 c learnt constraints deletion: 1174 -> 605 49.28/49.39 c learnt constraints deletion: 1264 -> 661 50.88/50.98 c learnt constraints deletion: 1241 -> 644 52.48/52.58 c learnt constraints deletion: 1139 -> 596 54.18/54.27 c learnt constraints deletion: 1148 -> 606 55.57/55.69 c learnt constraints deletion: 1147 -> 598 57.78/57.82 c learnt constraints deletion: 1265 -> 670 59.67/59.76 c learnt constraints deletion: 1219 -> 641 61.77/61.84 c learnt constraints deletion: 1249 -> 669 63.78/63.80 c learnt constraints deletion: 1254 -> 672 65.67/65.76 c learnt constraints deletion: 1182 -> 612 67.28/67.30 c learnt constraints deletion: 1171 -> 610 68.87/68.90 c learnt constraints deletion: 1216 -> 638 70.38/70.42 c learnt constraints deletion: 1165 -> 606 71.07/71.16 c learnt constraints deletion: 880 -> 440 74.07/74.10 c learnt constraints deletion: 1301 -> 666 76.27/76.33 c learnt constraints deletion: 1300 -> 669 78.47/78.54 c learnt constraints deletion: 1314 -> 676 80.37/80.44 c learnt constraints deletion: 1292 -> 664 82.27/82.34 c learnt constraints deletion: 1290 -> 666 83.97/84.03 c learnt constraints deletion: 1279 -> 662 85.57/85.62 c learnt constraints deletion: 1202 -> 613 87.07/87.15 c learnt constraints deletion: 1196 -> 614 88.77/88.86 c learnt constraints deletion: 1265 -> 651 90.56/90.66 c learnt constraints deletion: 1344 -> 692 92.17/92.26 c learnt constraints deletion: 1352 -> 701 93.48/93.59 c learnt constraints deletion: 1295 -> 676 95.07/95.12 c learnt constraints deletion: 1296 -> 677 96.36/96.48 c learnt constraints deletion: 1295 -> 671 97.88/97.93 c learnt constraints deletion: 1290 -> 664 99.16/99.26 c learnt constraints deletion: 1174 -> 595 101.07/101.11 c learnt constraints deletion: 1267 -> 649 102.27/102.38 c learnt constraints deletion: 1186 -> 604 103.67/103.71 c learnt constraints deletion: 1282 -> 656 105.37/105.42 c learnt constraints deletion: 1334 -> 687 106.27/106.30 c learnt constraints deletion: 1051 -> 526 107.97/108.09 c learnt constraints deletion: 1328 -> 667 109.87/109.99 c learnt constraints deletion: 1312 -> 661 111.26/111.30 c learnt constraints deletion: 1225 -> 617 112.17/112.26 c solving time = 112.180s 112.17/112.26 c #decision = 66279 112.17/112.26 c #conflict = 41229 112.17/112.26 c #restart = 13 112.17/112.26 o 133352 112.17/112.26 c Solving starts ... 112.17/112.26 c learnt constraints deletion: 1003 -> 502 112.17/112.27 c learnt constraints deletion: 502 -> 251 112.47/112.56 c learnt constraints deletion: 350 -> 175 113.17/113.24 c learnt constraints deletion: 324 -> 162 114.26/114.36 c learnt constraints deletion: 386 -> 193 115.47/115.59 c learnt constraints deletion: 530 -> 265 117.56/117.61 c learnt constraints deletion: 762 -> 390 117.56/117.63 c learnt constraints deletion: 399 -> 200 120.17/120.27 c learnt constraints deletion: 872 -> 449 120.57/120.60 c learnt constraints deletion: 537 -> 269 122.06/122.18 c learnt constraints deletion: 920 -> 469 122.86/122.98 c learnt constraints deletion: 794 -> 398 123.37/123.50 c learnt constraints deletion: 563 -> 282 124.87/124.98 c learnt constraints deletion: 820 -> 414 126.47/126.56 c learnt constraints deletion: 868 -> 441 127.57/127.68 c learnt constraints deletion: 839 -> 426 128.46/128.56 c learnt constraints deletion: 748 -> 374 130.16/130.26 c learnt constraints deletion: 1053 -> 537 131.67/131.71 c learnt constraints deletion: 1062 -> 543 133.06/133.19 c learnt constraints deletion: 1076 -> 553 134.76/134.83 c learnt constraints deletion: 1080 -> 556 135.56/135.63 c learnt constraints deletion: 861 -> 431 137.56/137.62 c learnt constraints deletion: 1037 -> 528 139.26/139.32 c learnt constraints deletion: 1035 -> 528 141.06/141.14 c learnt constraints deletion: 1129 -> 573 142.76/142.90 c learnt constraints deletion: 1024 -> 519 144.35/144.49 c learnt constraints deletion: 1097 -> 560 146.66/146.71 c learnt constraints deletion: 1102 -> 566 148.26/148.31 c learnt constraints deletion: 1126 -> 578 149.56/149.61 c learnt constraints deletion: 1017 -> 516 151.36/151.48 c learnt constraints deletion: 1053 -> 535 153.35/153.46 c learnt constraints deletion: 1182 -> 609 155.07/155.16 c learnt constraints deletion: 1095 -> 557 157.16/157.23 c learnt constraints deletion: 1114 -> 567 158.96/159.07 c learnt constraints deletion: 1170 -> 600 160.25/160.38 c learnt constraints deletion: 1111 -> 575 162.05/162.17 c learnt constraints deletion: 1146 -> 590 163.86/163.90 c learnt constraints deletion: 1182 -> 612 164.96/165.02 c learnt constraints deletion: 1180 -> 614 165.56/165.65 c learnt constraints deletion: 894 -> 447 167.36/167.46 c learnt constraints deletion: 1111 -> 560 168.96/169.03 c learnt constraints deletion: 1163 -> 597 170.56/170.63 c learnt constraints deletion: 1251 -> 649 171.56/171.66 c learnt constraints deletion: 1070 -> 548 173.55/173.62 c learnt constraints deletion: 1171 -> 608 176.15/176.23 c learnt constraints deletion: 1213 -> 636 178.05/178.14 c learnt constraints deletion: 1192 -> 625 179.16/179.21 c learnt constraints deletion: 986 -> 496 180.86/180.99 c learnt constraints deletion: 1151 -> 588 182.65/182.78 c learnt constraints deletion: 1169 -> 601 184.35/184.47 c learnt constraints deletion: 1089 -> 558 186.15/186.20 c learnt constraints deletion: 1153 -> 594 187.85/187.98 c learnt constraints deletion: 1113 -> 575 190.16/190.23 c learnt constraints deletion: 1224 -> 629 192.15/192.27 c learnt constraints deletion: 1216 -> 625 193.75/193.85 c learnt constraints deletion: 1120 -> 572 195.76/195.83 c learnt constraints deletion: 1301 -> 664 197.44/197.50 c learnt constraints deletion: 1237 -> 634 198.95/199.08 c learnt constraints deletion: 1224 -> 620 200.75/200.80 c learnt constraints deletion: 1158 -> 591 203.46/203.55 c learnt constraints deletion: 1254 -> 648 205.15/205.20 c learnt constraints deletion: 1245 -> 650 206.84/206.90 c learnt constraints deletion: 1287 -> 672 208.74/208.83 c learnt constraints deletion: 1312 -> 696 210.34/210.49 c learnt constraints deletion: 1210 -> 630 211.94/212.04 c learnt constraints deletion: 1146 -> 595 214.04/214.17 c learnt constraints deletion: 1359 -> 716 215.85/215.92 c learnt constraints deletion: 1319 -> 692 217.24/217.34 c learnt constraints deletion: 1154 -> 602 219.15/219.27 c learnt constraints deletion: 1314 -> 690 220.75/220.82 c learnt constraints deletion: 1231 -> 649 223.04/223.17 c learnt constraints deletion: 1327 -> 703 225.24/225.30 c learnt constraints deletion: 1308 -> 695 226.95/227.07 c learnt constraints deletion: 1235 -> 646 228.94/229.05 c learnt constraints deletion: 1206 -> 634 231.25/231.34 c learnt constraints deletion: 1258 -> 659 232.95/233.07 c learnt constraints deletion: 1203 -> 602 235.35/235.43 c learnt constraints deletion: 1268 -> 635 237.14/237.24 c learnt constraints deletion: 1219 -> 617 239.84/239.90 c learnt constraints deletion: 1366 -> 701 241.95/242.08 c learnt constraints deletion: 1397 -> 713 244.24/244.38 c learnt constraints deletion: 1368 -> 707 246.55/246.65 c learnt constraints deletion: 1347 -> 695 248.75/248.86 c learnt constraints deletion: 1334 -> 676 250.84/250.99 c learnt constraints deletion: 1378 -> 715 252.95/253.00 c learnt constraints deletion: 1294 -> 663 255.54/255.63 c learnt constraints deletion: 1371 -> 706 258.04/258.13 c learnt constraints deletion: 1373 -> 708 260.44/260.52 c learnt constraints deletion: 1333 -> 670 262.24/262.38 c learnt constraints deletion: 1368 -> 704 264.14/264.21 c learnt constraints deletion: 1414 -> 734 265.33/265.47 c learnt constraints deletion: 1323 -> 683 267.14/267.24 c learnt constraints deletion: 1418 -> 740 268.24/268.39 c learnt constraints deletion: 1214 -> 614 269.84/269.90 c learnt constraints deletion: 1277 -> 662 271.34/271.47 c learnt constraints deletion: 1392 -> 731 272.83/272.90 c learnt constraints deletion: 1397 -> 735 273.84/273.93 c learnt constraints deletion: 1393 -> 736 275.53/275.68 c learnt constraints deletion: 1366 -> 719 277.43/277.51 c learnt constraints deletion: 1371 -> 721 279.13/279.23 c learnt constraints deletion: 1420 -> 748 280.24/280.39 c learnt constraints deletion: 1415 -> 745 281.54/281.66 c learnt constraints deletion: 1389 -> 734 282.84/282.93 c learnt constraints deletion: 1406 -> 738 284.23/284.37 c learnt constraints deletion: 1415 -> 756 285.84/286.00 c learnt constraints deletion: 1496 -> 790 286.54/286.67 c learnt constraints deletion: 1095 -> 548 289.63/289.70 c learnt constraints deletion: 1498 -> 768 291.74/291.80 c learnt constraints deletion: 1462 -> 751 293.73/293.82 c learnt constraints deletion: 1512 -> 786 295.64/295.72 c learnt constraints deletion: 1491 -> 775 297.63/297.73 c learnt constraints deletion: 1543 -> 807 298.24/298.32 c solving time = 186.032s 298.24/298.32 c #decision = 160960 298.24/298.32 c #conflict = 103661 298.24/298.32 c #restart = 27 298.24/298.32 o 133140 298.24/298.32 c Solving starts ... 298.24/298.33 c learnt constraints deletion: 1009 -> 505 298.24/298.33 c learnt constraints deletion: 505 -> 253 298.43/298.57 c solving time = 0.243s 298.43/298.57 c #decision = 161477 298.43/298.57 c #conflict = 103721 298.43/298.57 c #restart = 27 298.43/298.57 o 132926 298.43/298.57 c Solving starts ... 298.43/298.57 c learnt constraints deletion: 313 -> 157 299.33/299.43 c learnt constraints deletion: 405 -> 203 300.24/300.31 c learnt constraints deletion: 427 -> 214 301.34/301.48 c learnt constraints deletion: 551 -> 276 303.03/303.13 c learnt constraints deletion: 782 -> 391 303.03/303.13 c learnt constraints deletion: 391 -> 196 305.44/305.56 c learnt constraints deletion: 880 -> 462 305.74/305.83 c learnt constraints deletion: 538 -> 269 307.33/307.44 c learnt constraints deletion: 766 -> 388 308.93/309.04 c learnt constraints deletion: 837 -> 430 309.64/309.75 c learnt constraints deletion: 625 -> 313 311.33/311.48 c learnt constraints deletion: 1040 -> 539 312.63/312.78 c learnt constraints deletion: 1024 -> 537 313.73/313.83 c learnt constraints deletion: 1037 -> 519 314.73/314.80 c learnt constraints deletion: 966 -> 484 315.93/316.08 c learnt constraints deletion: 995 -> 500 317.33/317.46 c learnt constraints deletion: 1010 -> 511 318.83/318.94 c learnt constraints deletion: 1019 -> 515 320.13/320.20 c learnt constraints deletion: 873 -> 440 320.73/320.89 c learnt constraints deletion: 675 -> 338 322.73/322.82 c solving time = 24.246s 322.73/322.82 c #decision = 177980 322.73/322.82 c #conflict = 111776 322.73/322.82 c #restart = 36 322.73/322.82 o 132875 322.73/322.82 c Solving starts ... 322.73/322.82 c learnt constraints deletion: 887 -> 444 322.73/322.83 c learnt constraints deletion: 444 -> 222 322.73/322.86 c solving time = 0.035s 322.73/322.86 c #decision = 178185 322.73/322.86 c #conflict = 111777 322.73/322.86 c #restart = 36 322.73/322.86 o 132806 322.73/322.86 c Solving starts ... 323.03/323.14 c learnt constraints deletion: 322 -> 161 323.43/323.53 c learnt constraints deletion: 310 -> 155 324.13/324.24 c learnt constraints deletion: 379 -> 190 325.12/325.22 c learnt constraints deletion: 527 -> 264 326.63/326.76 c learnt constraints deletion: 743 -> 373 326.73/326.85 c learnt constraints deletion: 400 -> 200 327.83/327.93 c learnt constraints deletion: 565 -> 284 329.03/329.18 c learnt constraints deletion: 679 -> 340 330.83/330.93 c learnt constraints deletion: 870 -> 446 332.33/332.46 c learnt constraints deletion: 910 -> 478 332.83/332.93 c learnt constraints deletion: 625 -> 313 334.93/335.06 c learnt constraints deletion: 958 -> 495 336.33/336.41 c learnt constraints deletion: 920 -> 472 337.93/338.08 c learnt constraints deletion: 1044 -> 536 338.13/338.27 c learnt constraints deletion: 606 -> 303 340.83/341.00 c learnt constraints deletion: 1055 -> 548 341.73/341.85 c learnt constraints deletion: 812 -> 408 343.83/343.93 c learnt constraints deletion: 1088 -> 566 345.33/345.41 c learnt constraints deletion: 1064 -> 556 346.23/346.39 c learnt constraints deletion: 931 -> 466 348.64/348.73 c learnt constraints deletion: 1163 -> 608 350.13/350.25 c learnt constraints deletion: 1105 -> 576 351.32/351.45 c learnt constraints deletion: 1015 -> 519 353.52/353.63 c learnt constraints deletion: 1145 -> 591 355.42/355.56 c learnt constraints deletion: 1157 -> 600 357.23/357.39 c learnt constraints deletion: 1126 -> 583 358.53/358.63 c learnt constraints deletion: 963 -> 495 360.52/360.63 c learnt constraints deletion: 1156 -> 589 362.73/362.85 c learnt constraints deletion: 1223 -> 633 364.72/364.81 c learnt constraints deletion: 1227 -> 641 366.52/366.63 c learnt constraints deletion: 1237 -> 648 368.33/368.43 c learnt constraints deletion: 1210 -> 634 370.13/370.29 c learnt constraints deletion: 1199 -> 634 371.93/372.06 c learnt constraints deletion: 1176 -> 603 373.53/373.62 c learnt constraints deletion: 1168 -> 605 374.92/375.04 c learnt constraints deletion: 1091 -> 563 377.02/377.18 c learnt constraints deletion: 1245 -> 645 378.72/378.85 c learnt constraints deletion: 1232 -> 629 380.72/380.86 c learnt constraints deletion: 1269 -> 651 382.52/382.65 c learnt constraints deletion: 1207 -> 629 384.62/384.78 c learnt constraints deletion: 1267 -> 667 386.22/386.37 c learnt constraints deletion: 1240 -> 638 388.22/388.37 c learnt constraints deletion: 1229 -> 636 390.32/390.46 c learnt constraints deletion: 1272 -> 660 392.22/392.35 c learnt constraints deletion: 1243 -> 636 394.32/394.43 c learnt constraints deletion: 1274 -> 658 396.42/396.57 c learnt constraints deletion: 1290 -> 671 398.42/398.55 c learnt constraints deletion: 1266 -> 650 400.42/400.57 c learnt constraints deletion: 1291 -> 668 402.42/402.54 c learnt constraints deletion: 1284 -> 663 404.41/404.57 c learnt constraints deletion: 1257 -> 646 406.31/406.43 c learnt constraints deletion: 1238 -> 622 407.12/407.29 c solving time = 84.424s 407.12/407.29 c #decision = 217884 407.12/407.29 c #conflict = 138269 407.12/407.29 c #restart = 48 407.12/407.29 o 129038 407.12/407.29 c Solving starts ... 407.22/407.30 c learnt constraints deletion: 875 -> 438 407.22/407.30 c learnt constraints deletion: 438 -> 219 407.22/407.33 c solving time = 0.039s 407.22/407.33 c #decision = 218070 407.22/407.33 c #conflict = 138270 407.22/407.33 c #restart = 48 407.22/407.33 o 129025 407.22/407.33 c Solving starts ... 407.22/407.37 c solving time = 0.035s 407.22/407.37 c #decision = 218256 407.22/407.37 c #conflict = 138271 407.22/407.37 c #restart = 48 407.22/407.37 o 128837 407.22/407.37 c Solving starts ... 407.62/407.79 c learnt constraints deletion: 320 -> 160 407.72/407.83 c solving time = 0.460s 407.72/407.83 c #decision = 218813 407.72/407.83 c #conflict = 138375 407.72/407.83 c #restart = 49 407.72/407.83 o 128334 407.72/407.83 c Solving starts ... 408.51/408.66 c solving time = 0.832s 408.51/408.66 c #decision = 219379 408.51/408.66 c #conflict = 138568 408.51/408.66 c #restart = 50 408.51/408.66 o 128316 408.51/408.66 c Solving starts ... 408.51/408.67 c learnt constraints deletion: 356 -> 178 408.61/408.72 c solving time = 0.055s 408.61/408.72 c #decision = 219572 408.61/408.72 c #conflict = 138576 408.61/408.72 c #restart = 50 408.61/408.72 o 128303 408.61/408.72 c Solving starts ... 409.02/409.14 c learnt constraints deletion: 285 -> 143 410.41/410.58 c learnt constraints deletion: 516 -> 258 411.52/411.69 c learnt constraints deletion: 595 -> 298 413.72/413.82 c learnt constraints deletion: 804 -> 402 413.72/413.82 c learnt constraints deletion: 402 -> 201 416.21/416.33 c learnt constraints deletion: 839 -> 428 416.62/416.70 c learnt constraints deletion: 550 -> 275 419.11/419.20 c learnt constraints deletion: 936 -> 488 420.32/420.46 c learnt constraints deletion: 943 -> 494 422.12/422.24 c learnt constraints deletion: 970 -> 491 423.61/423.74 c learnt constraints deletion: 944 -> 478 425.42/425.56 c learnt constraints deletion: 933 -> 480 426.82/426.96 c learnt constraints deletion: 833 -> 417 429.11/429.21 c learnt constraints deletion: 987 -> 499 430.51/430.67 c learnt constraints deletion: 886 -> 453 432.31/432.46 c learnt constraints deletion: 924 -> 475 434.01/434.17 c learnt constraints deletion: 868 -> 450 436.52/436.65 c learnt constraints deletion: 1027 -> 538 437.11/437.25 c learnt constraints deletion: 709 -> 355 439.61/439.75 c learnt constraints deletion: 1103 -> 557 441.81/441.93 c learnt constraints deletion: 1126 -> 578 443.81/443.90 c learnt constraints deletion: 1100 -> 567 445.42/445.58 c learnt constraints deletion: 1110 -> 572 447.01/447.17 c learnt constraints deletion: 1094 -> 566 449.01/449.10 c learnt constraints deletion: 1115 -> 576 450.21/450.32 c learnt constraints deletion: 977 -> 489 452.61/452.74 c learnt constraints deletion: 1108 -> 570 454.31/454.45 c learnt constraints deletion: 1072 -> 555 456.51/456.62 c learnt constraints deletion: 1185 -> 619 458.62/458.70 c learnt constraints deletion: 1156 -> 607 460.82/460.95 c learnt constraints deletion: 1147 -> 594 462.81/462.90 c learnt constraints deletion: 1138 -> 592 464.81/464.92 c learnt constraints deletion: 1161 -> 614 466.81/466.96 c learnt constraints deletion: 1175 -> 613 468.90/469.02 c learnt constraints deletion: 1185 -> 630 470.71/470.88 c learnt constraints deletion: 1150 -> 605 471.50/471.62 c learnt constraints deletion: 793 -> 397 474.60/474.78 c learnt constraints deletion: 1235 -> 637 476.71/476.86 c learnt constraints deletion: 1239 -> 640 479.00/479.13 c learnt constraints deletion: 1235 -> 641 481.30/481.46 c learnt constraints deletion: 1239 -> 642 483.41/483.55 c learnt constraints deletion: 1208 -> 622 485.31/485.40 c learnt constraints deletion: 1197 -> 622 487.41/487.59 c learnt constraints deletion: 1250 -> 642 489.31/489.49 c learnt constraints deletion: 1152 -> 577 491.61/491.71 c learnt constraints deletion: 1216 -> 623 493.70/493.83 c learnt constraints deletion: 1231 -> 632 495.50/495.67 c learnt constraints deletion: 1218 -> 630 497.70/497.81 c learnt constraints deletion: 1243 -> 641 499.71/499.81 c learnt constraints deletion: 1235 -> 638 501.70/501.82 c learnt constraints deletion: 1128 -> 573 504.41/504.52 c learnt constraints deletion: 1283 -> 656 506.71/506.83 c learnt constraints deletion: 1252 -> 637 508.81/508.96 c learnt constraints deletion: 1176 -> 597 511.30/511.42 c learnt constraints deletion: 1313 -> 675 513.80/513.93 c learnt constraints deletion: 1316 -> 688 515.90/516.06 c learnt constraints deletion: 1267 -> 661 518.30/518.42 c learnt constraints deletion: 1290 -> 676 520.69/520.89 c learnt constraints deletion: 1292 -> 681 522.99/523.12 c learnt constraints deletion: 1288 -> 679 525.40/525.50 c learnt constraints deletion: 1300 -> 691 527.60/527.78 c learnt constraints deletion: 1274 -> 674 530.00/530.13 c learnt constraints deletion: 1301 -> 687 532.20/532.33 c learnt constraints deletion: 1279 -> 678 534.50/534.65 c learnt constraints deletion: 1280 -> 678 536.80/536.98 c learnt constraints deletion: 1301 -> 690 539.10/539.21 c learnt constraints deletion: 1306 -> 692 541.00/541.17 c learnt constraints deletion: 1299 -> 688 543.10/543.28 c learnt constraints deletion: 1304 -> 690 545.20/545.36 c learnt constraints deletion: 1307 -> 693 547.29/547.40 c learnt constraints deletion: 1303 -> 694 549.39/549.54 c learnt constraints deletion: 1279 -> 678 550.70/550.80 c learnt constraints deletion: 990 -> 495 553.69/553.90 c learnt constraints deletion: 1309 -> 660 556.39/556.50 c learnt constraints deletion: 1358 -> 688 559.00/559.11 c learnt constraints deletion: 1371 -> 713 561.39/561.57 c learnt constraints deletion: 1281 -> 655 564.50/564.67 c learnt constraints deletion: 1375 -> 703 567.09/567.25 c learnt constraints deletion: 1341 -> 690 569.79/569.91 c learnt constraints deletion: 1402 -> 714 572.09/572.22 c learnt constraints deletion: 1276 -> 652 574.69/574.83 c learnt constraints deletion: 1365 -> 706 577.30/577.47 c learnt constraints deletion: 1361 -> 710 580.09/580.27 c learnt constraints deletion: 1383 -> 720 582.49/582.64 c learnt constraints deletion: 1304 -> 678 585.39/585.55 c learnt constraints deletion: 1352 -> 708 587.69/587.81 c learnt constraints deletion: 1317 -> 690 590.39/590.50 c learnt constraints deletion: 1356 -> 717 593.09/593.21 c learnt constraints deletion: 1390 -> 720 595.38/595.55 c learnt constraints deletion: 1394 -> 723 597.19/597.37 c learnt constraints deletion: 1267 -> 658 599.58/599.77 c learnt constraints deletion: 1385 -> 729 601.99/602.12 c learnt constraints deletion: 1372 -> 725 604.39/604.50 c learnt constraints deletion: 1385 -> 734 606.59/606.70 c learnt constraints deletion: 1369 -> 725 608.69/608.89 c learnt constraints deletion: 1380 -> 730 610.79/610.97 c learnt constraints deletion: 1374 -> 729 612.89/613.04 c learnt constraints deletion: 1369 -> 732 614.39/614.59 c learnt constraints deletion: 1294 -> 676 616.58/616.77 c learnt constraints deletion: 1353 -> 705 619.19/619.32 c learnt constraints deletion: 1319 -> 688 622.08/622.25 c learnt constraints deletion: 1346 -> 708 624.08/624.27 c learnt constraints deletion: 1252 -> 626 626.68/626.80 c learnt constraints deletion: 1462 -> 752 628.98/629.18 c learnt constraints deletion: 1480 -> 754 631.38/631.55 c learnt constraints deletion: 1465 -> 749 633.78/633.94 c learnt constraints deletion: 1468 -> 750 636.09/636.24 c learnt constraints deletion: 1482 -> 751 638.29/638.40 c learnt constraints deletion: 1502 -> 761 640.18/640.39 c learnt constraints deletion: 1494 -> 759 642.38/642.50 c learnt constraints deletion: 1510 -> 767 644.48/644.60 c learnt constraints deletion: 1499 -> 765 646.48/646.68 c learnt constraints deletion: 1500 -> 765 648.48/648.69 c learnt constraints deletion: 1494 -> 759 650.78/650.93 c learnt constraints deletion: 1505 -> 765 652.98/653.12 c learnt constraints deletion: 1486 -> 755 655.18/655.38 c learnt constraints deletion: 1485 -> 756 657.58/657.73 c learnt constraints deletion: 1487 -> 758 660.08/660.21 c learnt constraints deletion: 1476 -> 751 662.58/662.73 c learnt constraints deletion: 1485 -> 759 664.58/664.77 c learnt constraints deletion: 1488 -> 756 666.68/666.89 c learnt constraints deletion: 1519 -> 774 668.88/669.09 c learnt constraints deletion: 1484 -> 754 671.38/671.52 c learnt constraints deletion: 1495 -> 763 673.68/673.83 c learnt constraints deletion: 1441 -> 727 676.08/676.28 c learnt constraints deletion: 1483 -> 755 678.87/679.01 c learnt constraints deletion: 1513 -> 767 681.27/681.44 c learnt constraints deletion: 1470 -> 747 683.57/683.79 c learnt constraints deletion: 1470 -> 750 686.67/686.85 c learnt constraints deletion: 1490 -> 764 689.37/689.55 c learnt constraints deletion: 1471 -> 749 692.47/692.63 c learnt constraints deletion: 1486 -> 760 695.47/695.68 c learnt constraints deletion: 1498 -> 766 698.07/698.26 c learnt constraints deletion: 1503 -> 763 700.58/700.79 c learnt constraints deletion: 1478 -> 750 703.17/703.31 c learnt constraints deletion: 1454 -> 738 705.97/706.12 c learnt constraints deletion: 1486 -> 756 708.77/708.91 c learnt constraints deletion: 1443 -> 734 711.57/711.73 c learnt constraints deletion: 1541 -> 796 713.87/714.07 c learnt constraints deletion: 1433 -> 733 716.87/717.00 c learnt constraints deletion: 1503 -> 771 719.36/719.51 c learnt constraints deletion: 1439 -> 733 722.06/722.25 c learnt constraints deletion: 1519 -> 760 725.57/725.79 c learnt constraints deletion: 1610 -> 810 728.86/729.02 c learnt constraints deletion: 1602 -> 814 731.87/732.09 c learnt constraints deletion: 1561 -> 786 735.27/735.45 c learnt constraints deletion: 1640 -> 830 737.47/737.64 c learnt constraints deletion: 1487 -> 745 740.56/740.73 c learnt constraints deletion: 1645 -> 827 743.26/743.45 c learnt constraints deletion: 1604 -> 808 746.47/746.63 c learnt constraints deletion: 1619 -> 818 749.37/749.58 c learnt constraints deletion: 1626 -> 819 752.27/752.46 c learnt constraints deletion: 1647 -> 837 754.86/755.06 c learnt constraints deletion: 1626 -> 825 757.47/757.62 c learnt constraints deletion: 1632 -> 827 760.27/760.48 c learnt constraints deletion: 1655 -> 840 762.96/763.10 c learnt constraints deletion: 1661 -> 842 765.76/765.96 c learnt constraints deletion: 1642 -> 834 768.56/768.74 c learnt constraints deletion: 1645 -> 839 771.36/771.51 c learnt constraints deletion: 1620 -> 819 773.96/774.10 c learnt constraints deletion: 1619 -> 819 776.66/776.88 c learnt constraints deletion: 1662 -> 840 779.06/779.28 c learnt constraints deletion: 1590 -> 797 781.46/781.67 c learnt constraints deletion: 1595 -> 802 784.36/784.52 c learnt constraints deletion: 1580 -> 797 787.56/787.78 c learnt constraints deletion: 1561 -> 787 790.56/790.78 c learnt constraints deletion: 1546 -> 782 793.96/794.12 c learnt constraints deletion: 1604 -> 811 796.96/797.18 c learnt constraints deletion: 1599 -> 803 800.06/800.26 c learnt constraints deletion: 1633 -> 832 802.86/803.08 c learnt constraints deletion: 1600 -> 811 805.66/805.85 c learnt constraints deletion: 1659 -> 845 808.55/808.79 c learnt constraints deletion: 1672 -> 857 811.35/811.55 c learnt constraints deletion: 1605 -> 820 814.35/814.59 c learnt constraints deletion: 1637 -> 834 817.16/817.33 c learnt constraints deletion: 1632 -> 831 820.15/820.33 c learnt constraints deletion: 1651 -> 845 823.05/823.21 c learnt constraints deletion: 1632 -> 835 825.86/826.10 c learnt constraints deletion: 1627 -> 834 828.75/828.98 c learnt constraints deletion: 1656 -> 850 831.55/831.79 c learnt constraints deletion: 1641 -> 835 834.55/834.79 c learnt constraints deletion: 1660 -> 848 837.05/837.29 c learnt constraints deletion: 1561 -> 789 840.95/841.14 c learnt constraints deletion: 1645 -> 835 844.35/844.51 c learnt constraints deletion: 1633 -> 829 846.75/846.95 c learnt constraints deletion: 1570 -> 789 849.85/850.05 c learnt constraints deletion: 1559 -> 789 853.05/853.20 c learnt constraints deletion: 1595 -> 804 855.65/855.88 c learnt constraints deletion: 1520 -> 764 858.95/859.12 c learnt constraints deletion: 1614 -> 820 861.95/862.19 c learnt constraints deletion: 1562 -> 793 864.95/865.14 c learnt constraints deletion: 1562 -> 792 868.35/868.55 c learnt constraints deletion: 1609 -> 814 871.94/872.18 c learnt constraints deletion: 1637 -> 833 875.45/875.69 c learnt constraints deletion: 1619 -> 825 878.55/878.77 c learnt constraints deletion: 1574 -> 802 882.14/882.32 c learnt constraints deletion: 1600 -> 815 885.94/886.10 c learnt constraints deletion: 1666 -> 850 889.44/889.60 c learnt constraints deletion: 1740 -> 886 892.44/892.64 c learnt constraints deletion: 1742 -> 882 895.44/895.69 c learnt constraints deletion: 1695 -> 859 898.24/898.46 c learnt constraints deletion: 1611 -> 811 901.64/901.87 c learnt constraints deletion: 1741 -> 888 904.73/904.98 c learnt constraints deletion: 1745 -> 894 907.35/907.52 c learnt constraints deletion: 1600 -> 806 910.84/911.01 c learnt constraints deletion: 1753 -> 888 914.64/914.86 c learnt constraints deletion: 1744 -> 891 918.14/918.40 c learnt constraints deletion: 1653 -> 835 922.23/922.47 c learnt constraints deletion: 1693 -> 861 926.05/926.29 c learnt constraints deletion: 1722 -> 876 928.74/928.96 c learnt constraints deletion: 1678 -> 856 931.73/931.93 c learnt constraints deletion: 1750 -> 898 934.84/935.05 c learnt constraints deletion: 1739 -> 884 938.33/938.50 c learnt constraints deletion: 1717 -> 873 941.53/941.79 c learnt constraints deletion: 1693 -> 865 944.83/945.04 c learnt constraints deletion: 1750 -> 898 947.94/948.16 c learnt constraints deletion: 1740 -> 892 951.33/951.55 c learnt constraints deletion: 1721 -> 879 954.33/954.57 c learnt constraints deletion: 1694 -> 864 957.73/957.98 c learnt constraints deletion: 1697 -> 866 960.83/961.02 c learnt constraints deletion: 1682 -> 863 964.43/964.61 c learnt constraints deletion: 1741 -> 888 967.63/967.82 c learnt constraints deletion: 1693 -> 868 971.13/971.34 c learnt constraints deletion: 1768 -> 918 974.23/974.43 c learnt constraints deletion: 1730 -> 888 977.32/977.52 c learnt constraints deletion: 1744 -> 894 980.42/980.64 c learnt constraints deletion: 1727 -> 880 983.52/983.79 c learnt constraints deletion: 1713 -> 871 987.02/987.24 c learnt constraints deletion: 1681 -> 850 990.63/990.80 c learnt constraints deletion: 1768 -> 897 993.52/993.75 c learnt constraints deletion: 1735 -> 885 996.33/996.60 c learnt constraints deletion: 1729 -> 877 999.33/999.58 c learnt constraints deletion: 1764 -> 902 1002.23/1002.47 c learnt constraints deletion: 1735 -> 886 1004.93/1005.16 c learnt constraints deletion: 1676 -> 852 1007.92/1008.18 c learnt constraints deletion: 1651 -> 835 1011.23/1011.49 c learnt constraints deletion: 1704 -> 866 1014.32/1014.56 c learnt constraints deletion: 1647 -> 833 1017.62/1017.88 c learnt constraints deletion: 1679 -> 855 1020.63/1020.87 c learnt constraints deletion: 1682 -> 846 1024.02/1024.26 c learnt constraints deletion: 1727 -> 873 1027.02/1027.20 c learnt constraints deletion: 1633 -> 824 1030.31/1030.59 c learnt constraints deletion: 1679 -> 850 1033.72/1033.97 c learnt constraints deletion: 1723 -> 874 1037.13/1037.38 c learnt constraints deletion: 1739 -> 884 1040.43/1040.69 c learnt constraints deletion: 1742 -> 884 1043.62/1043.83 c learnt constraints deletion: 1729 -> 876 1047.12/1047.31 c learnt constraints deletion: 1749 -> 884 1050.61/1050.85 c learnt constraints deletion: 1776 -> 898 1053.91/1054.17 c learnt constraints deletion: 1728 -> 879 1057.01/1057.22 c learnt constraints deletion: 1675 -> 858 1060.12/1060.34 c learnt constraints deletion: 1658 -> 833 1063.32/1063.58 c learnt constraints deletion: 1743 -> 888 1066.61/1066.88 c learnt constraints deletion: 1717 -> 879 1069.52/1069.70 c learnt constraints deletion: 1635 -> 827 1073.42/1073.63 c learnt constraints deletion: 1768 -> 904 1076.71/1076.93 c learnt constraints deletion: 1721 -> 873 1079.81/1080.03 c learnt constraints deletion: 1720 -> 865 1083.21/1083.42 c learnt constraints deletion: 1720 -> 876 1086.51/1086.74 c learnt constraints deletion: 1682 -> 862 1089.41/1089.61 c learnt constraints deletion: 1769 -> 898 1092.01/1092.23 c learnt constraints deletion: 1698 -> 872 1094.71/1094.95 c learnt constraints deletion: 1705 -> 884 1097.51/1097.72 c learnt constraints deletion: 1756 -> 914 1100.31/1100.54 c learnt constraints deletion: 1768 -> 923 1103.21/1103.41 c learnt constraints deletion: 1747 -> 911 1106.11/1106.34 c learnt constraints deletion: 1783 -> 939 1108.90/1109.10 c learnt constraints deletion: 1785 -> 943 1111.51/1111.79 c learnt constraints deletion: 1780 -> 935 1114.20/1114.47 c learnt constraints deletion: 1776 -> 933 1116.41/1116.64 c learnt constraints deletion: 1622 -> 838 1118.81/1119.06 c learnt constraints deletion: 1645 -> 824 1122.11/1122.31 c learnt constraints deletion: 1734 -> 882 1125.41/1125.66 c learnt constraints deletion: 1738 -> 886 1129.00/1129.24 c learnt constraints deletion: 1756 -> 888 1132.70/1132.94 c learnt constraints deletion: 1847 -> 942 1136.51/1136.77 c learnt constraints deletion: 1838 -> 938 1138.90/1139.19 c learnt constraints deletion: 1816 -> 923 1141.50/1141.80 c learnt constraints deletion: 1857 -> 950 1144.20/1144.40 c learnt constraints deletion: 1843 -> 946 1146.90/1147.16 c learnt constraints deletion: 1825 -> 939 1149.40/1149.67 c learnt constraints deletion: 1829 -> 940 1152.40/1152.62 c learnt constraints deletion: 1822 -> 941 1154.81/1155.08 c learnt constraints deletion: 1845 -> 947 1157.80/1158.01 c learnt constraints deletion: 1846 -> 951 1160.60/1160.82 c learnt constraints deletion: 1805 -> 932 1163.10/1163.39 c learnt constraints deletion: 1804 -> 917 1166.20/1166.46 c learnt constraints deletion: 1845 -> 938 1169.20/1169.43 c learnt constraints deletion: 1801 -> 922 1171.30/1171.59 c learnt constraints deletion: 1612 -> 815 1174.40/1174.64 c learnt constraints deletion: 1800 -> 918 1178.10/1178.36 c learnt constraints deletion: 1854 -> 955 1181.80/1182.09 c learnt constraints deletion: 1798 -> 927 1184.79/1185.02 c learnt constraints deletion: 1635 -> 834 1188.00/1188.28 c learnt constraints deletion: 1879 -> 963 1190.29/1190.53 c learnt constraints deletion: 1821 -> 937 1193.09/1193.40 c learnt constraints deletion: 1797 -> 922 1196.60/1196.87 c learnt constraints deletion: 1853 -> 959 1199.39/1199.68 c learnt constraints deletion: 1787 -> 927 1202.60/1202.82 c learnt constraints deletion: 1748 -> 909 1206.09/1206.39 c learnt constraints deletion: 1825 -> 951 1209.40/1209.66 c learnt constraints deletion: 1771 -> 918 1211.89/1212.18 c learnt constraints deletion: 1709 -> 887 1215.79/1216.04 c learnt constraints deletion: 1760 -> 913 1219.69/1219.97 c learnt constraints deletion: 1826 -> 951 1222.09/1222.39 c learnt constraints deletion: 1889 -> 984 1224.58/1224.87 c learnt constraints deletion: 1870 -> 979 1227.09/1227.32 c learnt constraints deletion: 1881 -> 983 1229.49/1229.73 c learnt constraints deletion: 1844 -> 968 1232.09/1232.30 c learnt constraints deletion: 1885 -> 994 1234.89/1235.19 c learnt constraints deletion: 1837 -> 959 1237.79/1238.00 c learnt constraints deletion: 1828 -> 958 1240.28/1240.55 c learnt constraints deletion: 1709 -> 888 1243.39/1243.68 c learnt constraints deletion: 1772 -> 926 1246.69/1246.98 c learnt constraints deletion: 1808 -> 949 1249.59/1249.81 c learnt constraints deletion: 1680 -> 882 1253.18/1253.42 c learnt constraints deletion: 1794 -> 946 1256.48/1256.78 c learnt constraints deletion: 1857 -> 980 1259.88/1260.13 c learnt constraints deletion: 1860 -> 991 1263.08/1263.33 c learnt constraints deletion: 1836 -> 972 1266.28/1266.52 c learnt constraints deletion: 1845 -> 981 1269.68/1269.90 c learnt constraints deletion: 1852 -> 987 1272.88/1273.12 c learnt constraints deletion: 1804 -> 961 1276.08/1276.30 c learnt constraints deletion: 1823 -> 970 1279.28/1279.55 c learnt constraints deletion: 1780 -> 950 1282.78/1283.02 c learnt constraints deletion: 1810 -> 969 1286.18/1286.43 c learnt constraints deletion: 1813 -> 969 1289.18/1289.45 c learnt constraints deletion: 1844 -> 986 1292.07/1292.30 c learnt constraints deletion: 1770 -> 944 1294.98/1295.28 c learnt constraints deletion: 1723 -> 913 1298.38/1298.65 c learnt constraints deletion: 1848 -> 982 1300.88/1301.16 c learnt constraints deletion: 1707 -> 909 1304.68/1304.97 c learnt constraints deletion: 1844 -> 984 1307.98/1308.24 c learnt constraints deletion: 1797 -> 961 1311.17/1311.45 c learnt constraints deletion: 1811 -> 970 1314.38/1314.69 c learnt constraints deletion: 1761 -> 920 1317.97/1318.29 c learnt constraints deletion: 1786 -> 938 1321.27/1321.53 c learnt constraints deletion: 1814 -> 962 1324.38/1324.66 c learnt constraints deletion: 1742 -> 915 1327.37/1327.62 c learnt constraints deletion: 1690 -> 889 1330.27/1330.60 c learnt constraints deletion: 1850 -> 977 1332.88/1333.13 c learnt constraints deletion: 1880 -> 1005 1335.18/1335.44 c learnt constraints deletion: 1854 -> 989 1337.47/1337.71 c learnt constraints deletion: 1837 -> 984 1339.97/1340.20 c learnt constraints deletion: 1857 -> 994 1342.27/1342.58 c learnt constraints deletion: 1855 -> 993 1344.77/1345.08 c learnt constraints deletion: 1874 -> 1008 1347.37/1347.68 c learnt constraints deletion: 1869 -> 1000 1349.87/1350.18 c learnt constraints deletion: 1872 -> 1008 1352.27/1352.56 c learnt constraints deletion: 1870 -> 1004 1354.67/1354.98 c learnt constraints deletion: 1837 -> 983 1356.97/1357.29 c learnt constraints deletion: 1848 -> 991 1359.28/1359.52 c learnt constraints deletion: 1839 -> 986 1361.87/1362.14 c learnt constraints deletion: 1853 -> 995 1364.36/1364.68 c learnt constraints deletion: 1855 -> 997 1366.87/1367.12 c learnt constraints deletion: 1865 -> 999 1369.17/1369.50 c learnt constraints deletion: 1866 -> 1002 1371.77/1372.03 c learnt constraints deletion: 1870 -> 1005 1374.26/1374.53 c learnt constraints deletion: 1881 -> 1013 1376.67/1376.93 c learnt constraints deletion: 1868 -> 1007 1379.27/1379.51 c learnt constraints deletion: 1886 -> 1016 1381.66/1381.93 c learnt constraints deletion: 1887 -> 1019 1383.86/1384.18 c learnt constraints deletion: 1876 -> 1012 1386.16/1386.48 c learnt constraints deletion: 1855 -> 1000 1388.57/1388.83 c learnt constraints deletion: 1863 -> 996 1391.06/1391.30 c learnt constraints deletion: 1860 -> 995 1393.36/1393.69 c learnt constraints deletion: 1839 -> 986 1395.76/1396.00 c learnt constraints deletion: 1869 -> 1002 1398.26/1398.50 c learnt constraints deletion: 1860 -> 998 1400.56/1400.81 c learnt constraints deletion: 1866 -> 1005 1403.06/1403.34 c learnt constraints deletion: 1869 -> 1009 1405.36/1405.70 c learnt constraints deletion: 1849 -> 992 1407.87/1408.13 c learnt constraints deletion: 1858 -> 1001 1410.26/1410.56 c learnt constraints deletion: 1889 -> 1013 1412.66/1412.90 c learnt constraints deletion: 1874 -> 1008 1414.86/1415.16 c learnt constraints deletion: 1839 -> 985 1417.16/1417.41 c learnt constraints deletion: 1838 -> 985 1419.66/1419.97 c learnt constraints deletion: 1895 -> 1015 1421.86/1422.15 c learnt constraints deletion: 1867 -> 1001 1424.17/1424.44 c learnt constraints deletion: 1854 -> 1000 1426.47/1426.79 c learnt constraints deletion: 1881 -> 1006 1428.75/1429.06 c learnt constraints deletion: 1877 -> 1009 1431.26/1431.56 c learnt constraints deletion: 1869 -> 1004 1433.76/1434.04 c learnt constraints deletion: 1883 -> 1010 1436.26/1436.59 c learnt constraints deletion: 1870 -> 1003 1438.56/1438.82 c learnt constraints deletion: 1855 -> 1000 1441.05/1441.38 c learnt constraints deletion: 1879 -> 1007 1443.65/1443.98 c learnt constraints deletion: 1869 -> 1003 1446.35/1446.64 c learnt constraints deletion: 2007 -> 1068 1448.95/1449.20 c learnt constraints deletion: 2007 -> 1070 1450.15/1450.45 c learnt constraints deletion: 1507 -> 754 1453.46/1453.72 c learnt constraints deletion: 1834 -> 920 1456.35/1456.64 c learnt constraints deletion: 1967 -> 991 1458.95/1459.25 c learnt constraints deletion: 1953 -> 993 1461.75/1462.07 c learnt constraints deletion: 1978 -> 1006 1464.55/1464.85 c learnt constraints deletion: 1927 -> 970 1467.45/1467.70 c learnt constraints deletion: 1981 -> 1000 1470.05/1470.38 c learnt constraints deletion: 1984 -> 1008 1472.95/1473.26 c learnt constraints deletion: 1995 -> 1007 1475.74/1476.04 c learnt constraints deletion: 2009 -> 1016 1478.45/1478.76 c learnt constraints deletion: 2006 -> 1012 1481.35/1481.61 c learnt constraints deletion: 2025 -> 1025 1484.25/1484.53 c learnt constraints deletion: 2008 -> 1017 1487.24/1487.53 c learnt constraints deletion: 1998 -> 1012 1490.15/1490.49 c learnt constraints deletion: 2000 -> 1015 1493.05/1493.38 c learnt constraints deletion: 1968 -> 993 1496.04/1496.33 c learnt constraints deletion: 1993 -> 1013 1498.95/1499.29 c learnt constraints deletion: 1986 -> 1005 1501.95/1502.20 c learnt constraints deletion: 2010 -> 1016 1504.85/1505.15 c learnt constraints deletion: 2003 -> 1016 1507.85/1508.17 c learnt constraints deletion: 1992 -> 1010 1510.54/1510.84 c learnt constraints deletion: 1956 -> 988 1513.64/1513.97 c learnt constraints deletion: 2003 -> 1013 1516.55/1516.89 c learnt constraints deletion: 2019 -> 1027 1519.65/1519.91 c learnt constraints deletion: 2001 -> 1015 1522.74/1523.02 c learnt constraints deletion: 2003 -> 1016 1525.54/1525.84 c learnt constraints deletion: 2014 -> 1023 1528.24/1528.50 c learnt constraints deletion: 2001 -> 1010 1530.85/1531.16 c learnt constraints deletion: 2010 -> 1018 1533.54/1533.87 c learnt constraints deletion: 1967 -> 998 1536.45/1536.70 c learnt constraints deletion: 2002 -> 1016 1539.14/1539.41 c learnt constraints deletion: 1981 -> 1006 1541.84/1542.11 c learnt constraints deletion: 1997 -> 1016 1544.44/1544.71 c learnt constraints deletion: 1950 -> 985 1547.14/1547.44 c learnt constraints deletion: 1949 -> 985 1550.23/1550.58 c learnt constraints deletion: 2016 -> 1024 1553.23/1553.53 c learnt constraints deletion: 2007 -> 1016 1555.93/1556.24 c learnt constraints deletion: 1997 -> 1015 1558.64/1558.98 c learnt constraints deletion: 2018 -> 1023 1561.43/1561.79 c learnt constraints deletion: 2019 -> 1023 1564.23/1564.54 c learnt constraints deletion: 2009 -> 1019 1566.93/1567.29 c learnt constraints deletion: 1985 -> 1005 1569.63/1569.99 c learnt constraints deletion: 1962 -> 993 1572.64/1572.98 c learnt constraints deletion: 2019 -> 1026 1575.43/1575.76 c learnt constraints deletion: 1977 -> 1003 1578.24/1578.56 c learnt constraints deletion: 1991 -> 1013 1581.23/1581.53 c learnt constraints deletion: 2016 -> 1023 1584.14/1584.41 c learnt constraints deletion: 1986 -> 1009 1587.04/1587.34 c learnt constraints deletion: 2009 -> 1023 1589.83/1590.14 c learnt constraints deletion: 2014 -> 1022 1592.73/1593.06 c learnt constraints deletion: 1967 -> 998 1595.63/1595.97 c learnt constraints deletion: 2002 -> 1014 1598.53/1598.84 c learnt constraints deletion: 2012 -> 1020 1601.23/1601.52 c learnt constraints deletion: 1965 -> 997 1604.23/1604.50 c learnt constraints deletion: 1996 -> 1014 1607.13/1607.45 c learnt constraints deletion: 2000 -> 1016 1610.03/1610.32 c learnt constraints deletion: 1986 -> 1004 1613.03/1613.38 c learnt constraints deletion: 2000 -> 1021 1616.02/1616.33 c learnt constraints deletion: 1991 -> 1019 1618.93/1619.26 c learnt constraints deletion: 1966 -> 995 1621.52/1621.88 c learnt constraints deletion: 1990 -> 1010 1624.44/1624.79 c learnt constraints deletion: 2004 -> 1022 1627.43/1627.71 c learnt constraints deletion: 2009 -> 1029 1630.22/1630.57 c learnt constraints deletion: 1937 -> 979 1632.93/1633.29 c learnt constraints deletion: 1971 -> 999 1635.62/1635.90 c learnt constraints deletion: 1980 -> 1004 1638.42/1638.71 c learnt constraints deletion: 2017 -> 1023 1641.33/1641.69 c learnt constraints deletion: 2011 -> 1021 1644.12/1644.50 c learnt constraints deletion: 2004 -> 1015 1647.02/1647.35 c learnt constraints deletion: 2012 -> 1025 1649.73/1650.07 c learnt constraints deletion: 2000 -> 1017 1652.62/1652.93 c learnt constraints deletion: 1999 -> 1017 1655.62/1655.94 c learnt constraints deletion: 2000 -> 1021 1658.63/1658.99 c learnt constraints deletion: 2008 -> 1023 1661.82/1662.12 c learnt constraints deletion: 1994 -> 1014 1664.62/1664.95 c learnt constraints deletion: 1947 -> 990 1667.52/1667.82 c learnt constraints deletion: 1953 -> 993 1670.42/1670.77 c learnt constraints deletion: 2018 -> 1028 1673.32/1673.63 c learnt constraints deletion: 2004 -> 1025 1676.22/1676.51 c learnt constraints deletion: 2016 -> 1030 1679.02/1679.34 c learnt constraints deletion: 2001 -> 1022 1682.02/1682.36 c learnt constraints deletion: 2029 -> 1025 1685.01/1685.33 c learnt constraints deletion: 2041 -> 1033 1687.92/1688.21 c learnt constraints deletion: 1973 -> 998 1690.82/1691.19 c learnt constraints deletion: 1984 -> 1002 1694.01/1694.38 c learnt constraints deletion: 1980 -> 1001 1697.32/1697.61 c learnt constraints deletion: 2011 -> 1018 1700.41/1700.72 c learnt constraints deletion: 1989 -> 1009 1703.62/1703.95 c learnt constraints deletion: 2013 -> 1024 1706.92/1707.23 c learnt constraints deletion: 1974 -> 1003 1710.32/1710.66 c learnt constraints deletion: 1998 -> 1020 1713.81/1714.14 c learnt constraints deletion: 2030 -> 1036 1717.22/1717.56 c learnt constraints deletion: 1993 -> 1022 1720.71/1721.00 c learnt constraints deletion: 2009 -> 1026 1724.01/1724.38 c learnt constraints deletion: 1978 -> 1009 1727.21/1727.50 c learnt constraints deletion: 1998 -> 1022 1730.31/1730.60 c learnt constraints deletion: 1962 -> 1007 1733.50/1733.89 c learnt constraints deletion: 1987 -> 1013 1736.51/1736.81 c learnt constraints deletion: 2004 -> 1023 1739.60/1739.99 c learnt constraints deletion: 2013 -> 1030 1743.01/1743.38 c learnt constraints deletion: 2022 -> 1037 1745.91/1746.24 c learnt constraints deletion: 1974 -> 1009 1749.11/1749.44 c learnt constraints deletion: 1966 -> 1005 1752.21/1752.53 c learnt constraints deletion: 1967 -> 1007 1755.71/1756.02 c learnt constraints deletion: 2009 -> 1033 1759.11/1759.43 c learnt constraints deletion: 2028 -> 1046 1762.30/1762.66 c learnt constraints deletion: 1998 -> 1019 1765.71/1766.02 c learnt constraints deletion: 2012 -> 1029 1769.00/1769.35 c learnt constraints deletion: 1979 -> 1011 1772.20/1772.59 c learnt constraints deletion: 2007 -> 1029 1775.31/1775.67 c learnt constraints deletion: 1948 -> 999 1778.81/1779.12 c learnt constraints deletion: 2011 -> 1030 1782.00/1782.35 c learnt constraints deletion: 2009 -> 1027 1785.10/1785.48 c learnt constraints deletion: 1986 -> 1019 1788.40/1788.74 c learnt constraints deletion: 1982 -> 1019 1791.60/1791.98 c learnt constraints deletion: 1974 -> 1012 1794.90/1795.28 c learnt constraints deletion: 2004 -> 1032 1798.10/1798.41 c learnt constraints deletion: 1986 -> 1018
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-3706602-1338111539/watcher-3706602-1338111539 -o /tmp/evaluation-result-3706602-1338111539/solver-3706602-1338111539 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706602-1338111539.opb running on 4 cores: 1,3,5,7 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: 2.01 2.02 1.96 3/176 490 /proc/meminfo: memFree=28910496/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=11812 CPUtime=0 cores=1,3,5,7 /proc/490/stat : 490 (runsolver) D 488 490 32696 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 277279779 12095488 51 33554432000 4194304 5436572 140737046144976 140737046141272 4883175 0 0 4096 24578 18446744072101238148 0 0 17 5 0 0 0 0 0 /proc/490/statm: 2953 51 31 304 0 2645 0 [startup+0.0426879 s] /proc/loadavg: 2.01 2.02 1.96 3/176 490 /proc/meminfo: memFree=28910496/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=8256 CPUtime=0.03 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 1229 0 0 0 3 0 0 0 20 0 1 0 277279779 8454144 1150 33554432000 4194304 8973514 140734224597648 140737046141160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/490/statm: 2064 1150 427 1167 0 845 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8256 [startup+0.100637 s] /proc/loadavg: 2.01 2.02 1.96 3/176 490 /proc/meminfo: memFree=28910496/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=8256 CPUtime=0.09 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 1246 0 0 0 9 0 0 0 20 0 1 0 277279779 8454144 1167 33554432000 4194304 8973514 140734224597648 140737046141160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/490/statm: 2064 1167 444 1167 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8256 [startup+0.300846 s] /proc/loadavg: 2.01 2.02 1.96 3/176 490 /proc/meminfo: memFree=28910496/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=8256 CPUtime=0.29 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 1365 0 0 0 29 0 0 0 20 0 1 0 277279779 8454144 1286 33554432000 4194304 8973514 140734224597648 140737046141160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/490/statm: 2064 1286 444 1167 0 845 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8256 [startup+0.701017 s] /proc/loadavg: 2.01 2.02 1.96 3/176 490 /proc/meminfo: memFree=28910496/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=10304 CPUtime=0.69 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 1877 0 0 0 69 0 0 0 20 0 1 0 277279779 10551296 1798 33554432000 4194304 8973514 140734224597648 140737046141160 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/490/statm: 2576 1798 444 1167 0 1357 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10304 [startup+1.50104 s] /proc/loadavg: 2.01 2.02 1.96 3/177 491 /proc/meminfo: memFree=28904792/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=11328 CPUtime=1.49 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 2136 0 0 0 148 1 0 0 20 0 1 0 277279779 11599872 2057 33554432000 4194304 8973514 140734224597648 140734224596912 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/490/statm: 2832 2057 447 1167 0 1613 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11328 [startup+3.10107 s] /proc/loadavg: 2.01 2.02 1.96 3/177 491 /proc/meminfo: memFree=28902180/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=13376 CPUtime=3.09 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 2648 0 0 0 307 2 0 0 20 0 1 0 277279779 13697024 2569 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/490/statm: 3344 2569 447 1167 0 2125 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13376 [startup+6.30085 s] /proc/loadavg: 2.01 2.02 1.96 3/177 491 /proc/meminfo: memFree=28898900/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=15424 CPUtime=6.28 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 3160 0 0 0 625 3 0 0 20 0 1 0 277279779 15794176 3081 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/490/statm: 3856 3081 447 1167 0 2637 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15424 [startup+12.7003 s] /proc/loadavg: 2.01 2.02 1.96 3/177 491 /proc/meminfo: memFree=28895864/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=18496 CPUtime=12.68 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 3928 0 0 0 1261 7 0 0 20 0 1 0 277279779 18939904 3849 33554432000 4194304 8973514 140734224597648 140734224595648 4213683 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/490/statm: 4624 3849 447 1167 0 3405 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18496 [startup+25.5003 s] /proc/loadavg: 2.01 2.02 1.96 3/177 491 /proc/meminfo: memFree=28895632/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=19520 CPUtime=25.49 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 4440 0 0 0 2535 14 0 0 20 0 1 0 277279779 19988480 4105 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0 /proc/490/statm: 4880 4105 447 1167 0 3661 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19520 [startup+51.1003 s] /proc/loadavg: 2.00 2.02 1.96 3/177 491 /proc/meminfo: memFree=28894944/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=20544 CPUtime=51.08 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 4696 0 0 0 5080 28 0 0 20 0 1 0 277279779 21037056 4361 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 5136 4361 447 1167 0 3917 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20544 [startup+102.307 s] /proc/loadavg: 2.00 2.01 1.96 3/178 494 /proc/meminfo: memFree=28886796/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=21568 CPUtime=102.27 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 5981 0 0 0 10172 55 0 0 20 0 1 0 277279779 22085632 4617 33554432000 4194304 8973514 140734224597648 140734224596912 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 5392 4617 447 1167 0 4173 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21568 [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.96 3/177 494 /proc/meminfo: memFree=28881652/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=23616 CPUtime=162.25 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 6503 0 0 0 16144 81 0 0 20 0 1 0 277279779 24182784 5139 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 5904 5139 457 1167 0 4685 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 23616 [startup+222.3 s] /proc/loadavg: 2.06 2.02 1.96 3/177 495 /proc/meminfo: memFree=28880348/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=24640 CPUtime=222.24 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 6761 0 0 0 22108 116 0 0 20 0 1 0 277279779 25231360 5395 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 6160 5395 457 1167 0 4941 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 24640 [startup+282.3 s] /proc/loadavg: 2.02 2.01 1.96 3/177 495 /proc/meminfo: memFree=28878864/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=24640 CPUtime=282.23 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 6761 0 0 0 28076 147 0 0 20 0 1 0 277279779 25231360 5395 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 6160 5395 457 1167 0 4941 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 24640 [startup+342.3 s] /proc/loadavg: 2.04 2.02 1.97 3/177 495 /proc/meminfo: memFree=28885760/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=21568 CPUtime=342.22 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 7018 0 0 0 34043 179 0 0 20 0 1 0 277279779 22085632 4628 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 5392 4628 458 1167 0 4173 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 21568 [startup+402.3 s] /proc/loadavg: 2.07 2.03 1.97 3/177 495 /proc/meminfo: memFree=28881608/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=25664 CPUtime=402.22 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 8042 0 0 0 40010 212 0 0 20 0 1 0 277279779 26279936 5652 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 6416 5652 458 1167 0 5197 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 25664 [startup+462.301 s] /proc/loadavg: 2.02 2.02 1.97 3/177 725 /proc/meminfo: memFree=29004236/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=26688 CPUtime=462.21 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 8299 0 0 0 45977 244 0 0 20 0 1 0 277279779 27328512 5908 33554432000 4194304 8973514 140734224597648 140734224597144 6575932 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 6672 5908 458 1167 0 5453 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 26688 [startup+522.3 s] /proc/loadavg: 2.01 2.02 1.97 3/177 726 /proc/meminfo: memFree=29001884/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=27712 CPUtime=522.2 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 8555 0 0 0 51949 271 0 0 20 0 1 0 277279779 28377088 6164 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 6928 6164 458 1167 0 5709 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 27712 [startup+582.3 s] /proc/loadavg: 2.05 2.03 1.98 3/177 726 /proc/meminfo: memFree=29001820/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=27712 CPUtime=582.19 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 8555 0 0 0 57916 303 0 0 20 0 1 0 277279779 28377088 6164 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 6928 6164 458 1167 0 5709 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 27712 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 769 /proc/meminfo: memFree=28906028/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=29760 CPUtime=882.14 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 9325 0 0 0 87755 459 0 0 20 0 1 0 277279779 30474240 6676 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 7440 6676 458 1167 0 6221 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 29760 [startup+942.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 769 /proc/meminfo: memFree=28905276/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=30784 CPUtime=942.14 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 9581 0 0 0 93724 490 0 0 20 0 1 0 277279779 31522816 6932 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 7696 6932 458 1167 0 6477 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 30784 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 769 /proc/meminfo: memFree=28889216/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=31808 CPUtime=1002.13 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 9838 0 0 0 99691 522 0 0 20 0 1 0 277279779 32571392 7188 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 7952 7188 458 1167 0 6733 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 31808 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 769 /proc/meminfo: memFree=28887280/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=29760 CPUtime=1062.12 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 9838 0 0 0 105658 554 0 0 20 0 1 0 277279779 30474240 6676 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 7440 6676 458 1167 0 6221 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 29760 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 770 /proc/meminfo: memFree=28875508/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=29760 CPUtime=1122.11 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 10094 0 0 0 111626 585 0 0 20 0 1 0 277279779 30474240 6676 33554432000 4194304 8973514 140734224597648 140734224596912 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 7440 6676 458 1167 0 6221 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 29760 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 770 /proc/meminfo: memFree=28874360/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=30784 CPUtime=1182.1 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 10350 0 0 0 117592 618 0 0 20 0 1 0 277279779 31522816 6932 33554432000 4194304 8973514 140734224597648 140734224596968 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 7696 6932 458 1167 0 6477 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 30784 [startup+1242.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 770 /proc/meminfo: memFree=28874768/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=29760 CPUtime=1242.08 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 10351 0 0 0 123552 656 0 0 20 0 1 0 277279779 30474240 6676 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 7440 6676 458 1167 0 6221 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 29760 [startup+1302.3 s] /proc/loadavg: 2.11 2.04 2.01 3/178 773 /proc/meminfo: memFree=28872164/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=25664 CPUtime=1302.08 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 10351 0 0 0 129521 687 0 0 20 0 1 0 277279779 26279936 5652 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 6416 5652 458 1167 0 5197 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 25664 [startup+1362.3 s] /proc/loadavg: 2.13 2.06 2.01 3/178 796 /proc/meminfo: memFree=28866176/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=27712 CPUtime=1362.07 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 11119 0 0 0 135487 720 0 0 20 0 1 0 277279779 28377088 6164 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 6928 6164 458 1167 0 5709 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 27712 [startup+1422.31 s] /proc/loadavg: 2.04 2.05 2.01 3/177 797 /proc/meminfo: memFree=28865736/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=27712 CPUtime=1422.06 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 11119 0 0 0 141452 754 0 0 20 0 1 0 277279779 28377088 6164 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 6928 6164 458 1167 0 5709 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 27712 [startup+1482.3 s] /proc/loadavg: 2.17 2.08 2.02 3/177 797 /proc/meminfo: memFree=28860716/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=32832 CPUtime=1482.05 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 12399 0 0 0 147416 789 0 0 20 0 1 0 277279779 33619968 7444 33554432000 4194304 8973514 140734224597648 140734224596912 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 8208 7444 458 1167 0 6989 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 32832 [startup+1542.3 s] /proc/loadavg: 2.05 2.06 2.01 3/177 797 /proc/meminfo: memFree=28860292/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=33856 CPUtime=1542.04 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 12655 0 0 0 153382 822 0 0 20 0 1 0 277279779 34668544 7700 33554432000 4194304 8973514 140734224597648 140734224597144 4208863 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 8464 7700 458 1167 0 7245 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 33856 [startup+1602.3 s] /proc/loadavg: 2.02 2.05 2.00 3/177 797 /proc/meminfo: memFree=28859800/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=33856 CPUtime=1602.02 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 12656 0 0 0 159346 856 0 0 20 0 1 0 277279779 34668544 7700 33554432000 4194304 8973514 140734224597648 140734224596912 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 8464 7700 458 1167 0 7245 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 33856 [startup+1662.3 s] /proc/loadavg: 2.05 2.05 2.00 3/177 797 /proc/meminfo: memFree=28860432/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=33856 CPUtime=1662.02 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 12656 0 0 0 165307 895 0 0 20 0 1 0 277279779 34668544 7700 33554432000 4194304 8973514 140734224597648 140734224596912 4213847 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 8464 7700 458 1167 0 7245 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 33856 [startup+1722.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 798 /proc/meminfo: memFree=28857772/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=33856 CPUtime=1722.01 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 12656 0 0 0 171271 930 0 0 20 0 1 0 277279779 34668544 7700 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 8464 7700 458 1167 0 7245 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 33856 [startup+1782.3 s] /proc/loadavg: 2.11 2.06 2.01 3/177 798 /proc/meminfo: memFree=28853804/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=33856 CPUtime=1782 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 12656 0 0 0 177237 963 0 0 20 0 1 0 277279779 34668544 7700 33554432000 4194304 8973514 140734224597648 140734224596912 4209168 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 8464 7700 458 1167 0 7245 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 33856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.08 2.06 2.01 4/177 798 /proc/meminfo: memFree=28853928/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=33856 CPUtime=1800.01 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 12656 0 0 0 179025 976 0 0 20 0 1 0 277279779 34668544 7700 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 8464 7700 458 1167 0 7245 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 33856 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.08 2.06 2.01 4/177 798 /proc/meminfo: memFree=28853928/32873648 swapFree=6844/6844 [pid=490] ppid=488 vsize=33856 CPUtime=1800.01 cores=1,3,5,7 /proc/490/stat : 490 (toysat) R 488 490 32696 0 -1 4202496 12656 0 0 0 179025 976 0 0 20 0 1 0 277279779 34668544 7700 33554432000 4194304 8973514 140734224597648 140734224597144 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/490/statm: 8464 7700 458 1167 0 7245 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 33856 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.02 CPU user time (s): 1790.25 CPU system time (s): 9.76251 CPU usage (%): 99.9838 Max. virtual memory (cumulated for all children) (KiB): 33856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.25 system time used= 9.76252 maximum resident set size= 30800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12656 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= 16 involuntary context switches= 1896 runsolver used 3.36349 second user time and 9.12161 second system time The end
Begin job on node124 at 2012-05-27 11:38:59 IDJOB=3706602 IDBENCH=1855 IDSOLVER=2285 FILE ID=node124/3706602-1338111539 RUNJOBID= node124-1338107934-32713 PBS_JOBID= 14624469 Free space on /tmp= 71424 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-cracpb1.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706602-1338111539/watcher-3706602-1338111539 -o /tmp/evaluation-result-3706602-1338111539/solver-3706602-1338111539 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706602-1338111539.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 75f6d21683e6eb738b98c93cf5598ff3 RANDOM SEED=463302535 node124.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.325 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.65 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5357.53 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5385.03 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.325 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 : 5385.03 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28910652 kB Buffers: 332956 kB Cached: 2688636 kB SwapCached: 0 kB Active: 1037112 kB Inactive: 2117124 kB Active(anon): 135120 kB Inactive(anon): 0 kB Active(file): 901992 kB Inactive(file): 2117124 kB Unevictable: 6844 kB Mlocked: 6844 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7360 kB Writeback: 4 kB AnonPages: 141356 kB Mapped: 16148 kB Shmem: 200 kB Slab: 668044 kB SReclaimable: 112568 kB SUnreclaim: 555476 kB KernelStack: 1456 kB PageTables: 4252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 246384 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 114688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71420 MiB End job on node124 at 2012-05-27 12:09:01