Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 1 | 242.423 | 242.5 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb |
MD5SUM | 1757d8d914b8f8f6b2c05049538ae81a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 130.767 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
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 | 8 |
Minimum length of a constraint | 44 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 869 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3118 |
Number of bits of the biggest sum of numbers | 12 |
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.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657570-1276617342.opb 0.00/0.00 c File size is 3578 bytes. 0.00/0.00 c Highest Coefficient sum: 3118 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 94 Constr: 8 0/0/8 Lit: 364 Watch. Lit: 106 0.00/0.00 c Obj. Vars: 64 (68.0851 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 94 8 364 45 110 728 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 844 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 94 9 428 47 301 856 1 0 0.00 0.00/0.00 o 790 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 2 94 12 552 46 364 856 4 1000 0.00 0.00/0.00 o 329 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 3 94 14 652 46 401 856 6 1500 0.00 0.00/0.00 o 328 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 13 94 25 966 38 471 856 17 4333 0.00 0.00/0.00 o 207 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 15 94 28 1098 39 506 856 20 5000 0.00 0.00/0.00 o 205 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 16 94 30 1178 39 558 856 22 5333 0.00 0.00/0.00 o 201 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 16 94 31 1242 40 617 856 23 4000 0.00 0.00/0.00 o 178 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 23 94 39 1557 39 687 856 31 4600 0.01 0.00/0.01 o 170 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 80 94 97 2726 28 853 856 89 8888 0.01 0.00/0.01 o 166 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 85 94 103 2987 29 917 856 95 8500 0.01 0.00/0.01 o 150 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 122 94 141 4020 28 1063 856 133 8714 0.01 0.00/0.01 o 148 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 127 94 147 4263 29 1120 856 139 8466 0.01 0.00/0.01 o 146 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 128 94 149 4380 29 1186 856 141 8533 0.01 0.00/0.02 o 132 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 130 94 152 4539 29 1254 856 144 8125 0.02 0.00/0.02 o 130 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 132 94 155 4658 30 1320 856 147 8250 0.02 0.00/0.02 o 119 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 148 94 172 5079 29 1397 856 164 7789 0.02 0.00/0.02 o 109 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 156 94 181 5479 30 1478 856 173 7800 0.02 0.00/0.02 o 107 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 164 93 190 5749 30 1558 854 182 7809 0.02 0.00/0.02 o 105 0.02/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.04 c 173 93 200 6175 30 1638 854 192 7521 0.02 0.02/0.04 c 273 92 300 8644 28 1834 940 292 7800 0.04 0.02/0.04 o 103 0.02/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.04 c 296 91 324 9236 28 1936 850 316 7589 0.04 0.02/0.04 o 92 0.02/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.04 c 304 91 333 9450 28 1997 850 325 7600 0.04 0.02/0.04 o 90 0.02/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.05 c 314 91 344 9739 28 2075 850 336 7476 0.04 0.02/0.05 o 86 0.02/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.05 c 397 90 428 11441 26 2287 848 420 7490 0.05 0.02/0.05 o 82 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 405 90 437 11707 26 2355 848 429 7500 0.05 0.02/0.06 o 74 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 408 90 441 11841 26 2423 848 433 7418 0.06 0.02/0.06 o 72 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 408 90 442 11901 26 2468 848 434 7285 0.06 0.02/0.06 o 68 0.02/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.07 c 411 90 446 12117 27 2531 848 438 7210 0.06 0.02/0.07 o 66 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 483 88 519 13614 26 2745 844 511 7318 0.07 0.09/0.12 c 584 88 620 15493 24 2984 929 612 7300 0.08 0.09/0.12 c 837 88 873 20072 22 3485 1022 865 7473 0.11 0.09/0.12 o 59 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 866 87 903 20743 22 3553 842 895 7401 0.12 0.09/0.12 o 45 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 910 83 482 9803 20 1293 834 474 7459 0.12 0.09/0.12 o 41 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 911 83 484 9884 20 1348 834 476 7406 0.12 0.09/0.12 o 39 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 913 83 487 10018 20 1405 834 479 7422 0.12 0.09/0.12 o 34 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 931 82 506 10515 20 1491 832 498 7448 0.12 0.09/0.13 o 32 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 938 82 514 10757 20 1557 832 506 7444 0.13 0.09/0.15 c 1039 78 615 13188 21 1746 916 607 7583 0.14 0.09/0.15 o 29 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 1126 77 703 15187 21 1978 822 695 7659 0.15 0.09/0.17 c 1226 75 803 17547 21 2168 905 795 7759 0.16 0.09/0.17 o 16 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 1372 72 484 11020 22 1222 812 476 7795 0.18 0.09/0.18 o 12 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 1444 65 557 12566 22 1389 798 549 7890 0.18 0.39/0.42 c 1544 64 657 14698 22 1583 878 649 8083 0.19 0.39/0.42 c 1794 63 907 20322 22 2078 966 899 8383 0.21 0.39/0.42 c 2269 63 884 19591 22 1997 1063 876 8794 0.26 0.39/0.42 c 3082 62 607 13239 21 1441 1170 599 9064 0.34 0.39/0.42 o 11 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 3940 62 868 18720 21 1989 792 860 9314 0.42 0.39/0.49 c 4040 62 537 11447 21 1300 872 529 9330 0.43 0.39/0.49 c 4290 62 787 16654 21 1802 960 779 9428 0.46 0.39/0.49 o 10 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 4647 62 652 13230 20 1559 792 644 9503 0.49 0.59/0.61 c 4747 62 752 15400 20 1762 872 744 9551 0.50 0.59/0.61 c 4997 62 553 11301 20 1331 960 545 9572 0.52 0.59/0.61 c 5473 62 540 10930 20 1306 1057 532 9635 0.57 0.59/0.61 o 9 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 5909 62 977 20013 20 2210 792 969 9686 0.61 0.59/0.65 c 6010 62 538 10758 19 1305 872 530 9709 0.62 0.59/0.65 c 6262 62 790 16257 20 1805 960 782 9769 0.64 0.59/0.65 o 7 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 6324 62 853 17596 20 1960 792 845 9774 0.65 0.59/0.65 o 5 2.78/2.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.78/2.84 c 6344 59 458 9359 20 1162 786 450 9760 0.65 2.78/2.84 c 6444 56 558 11316 20 1359 865 550 9763 0.66 2.78/2.84 c 6695 55 809 16444 20 1862 952 801 9788 0.68 2.78/2.84 c 7170 55 785 15791 20 1777 1048 777 9835 0.73 2.78/2.84 c 7983 54 1063 22080 20 2334 1153 1055 9892 0.81 2.78/2.84 c 9303 54 626 12853 20 1457 1269 618 9875 0.94 2.78/2.84 c 11385 54 767 15827 20 1740 1396 759 9747 1.17 2.78/2.84 c 14608 54 1140 24000 21 2487 1536 1132 9699 1.51 2.78/2.84 c 19544 54 1369 28649 20 2944 1690 1361 9468 2.06 2.78/2.84 o 4 6.68/6.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.68/6.78 c 26301 54 1224 25882 21 2675 776 1216 9277 2.83 6.68/6.78 c 26401 52 537 11042 20 1271 854 529 9276 2.85 6.68/6.78 c 26651 51 787 16375 20 1768 940 779 9292 2.87 6.68/6.78 c 27127 51 781 15335 19 1759 1035 773 9315 2.91 6.68/6.78 c 27940 50 1068 21377 20 2328 1139 1060 9344 2.99 6.68/6.78 c 29261 48 639 13172 20 1467 1253 631 9360 3.13 6.68/6.78 c 31342 47 807 16824 20 1802 1379 799 9386 3.34 6.68/6.78 c 34566 47 1228 26237 21 2645 1517 1220 9372 3.69 6.68/6.78 c 39503 47 1519 32216 21 3223 1669 1511 9299 4.25 6.68/6.78 c 47009 47 1366 29335 21 2918 1836 1358 9194 5.11 6.68/6.78 c 58371 46 1502 32181 21 3187 2020 1494 8977 6.50 6.68/6.78 o 2 166.04/166.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.04/166.12 c 60491 46 1564 33876 21 3328 760 1556 8936 6.77 166.04/166.12 c 60592 44 538 10835 20 1250 837 530 8934 6.78 166.04/166.12 c 60843 44 789 16199 20 1750 921 781 8936 6.81 166.04/166.12 c 61318 44 784 15744 20 1739 1014 776 8947 6.85 166.04/166.12 c 62131 44 566 11266 19 1302 1116 558 8962 6.93 166.04/166.12 c 63452 44 754 15129 20 1680 1228 746 8986 7.06 166.04/166.12 c 65533 43 963 19475 20 2095 1351 955 9005 7.28 166.04/166.12 c 68757 43 748 15654 20 1667 1487 740 9023 7.62 166.04/166.12 c 73695 43 1129 24286 21 2429 1636 1121 9066 8.13 166.04/166.12 c 81201 43 1104 22170 20 2376 1800 1096 9044 8.98 166.04/166.12 c 92562 42 1463 29842 20 3096 1981 1455 8951 10.34 166.04/166.12 c 109706 40 1493 30608 20 3150 2180 1485 8825 12.43 166.04/166.12 c 135527 39 1850 38951 21 3864 2399 1842 8545 15.86 166.04/166.12 c 174360 39 1763 36352 20 3690 2639 1755 8311 20.98 166.04/166.12 c 232713 39 2654 56132 21 5472 2903 2646 7795 29.85 166.04/166.12 c 320345 39 2217 45356 20 4594 3194 2209 7344 43.62 166.04/166.12 c 451897 38 2936 60115 20 6036 3514 2928 6978 64.76 166.04/166.12 c 649329 38 3550 74729 21 7262 3866 3542 6578 98.70 166.04/166.12 c 945581 38 3587 75038 20 7338 4253 3579 6204 152.41 166.04/166.12 o 1 242.32/242.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 242.32/242.49 c 1019141 38 2195 46057 20 4545 749 2187 6136 166.09 242.32/242.49 c 1019241 38 543 10429 19 1239 824 535 6136 166.10 242.32/242.49 c 1019492 36 794 15592 19 1740 907 786 6136 166.13 242.32/242.49 c 1019967 36 805 16119 20 1756 998 797 6138 166.17 242.32/242.49 c 1020780 36 602 11621 19 1358 1098 594 6139 166.25 242.32/242.49 c 1022100 35 807 15804 19 1768 1208 799 6142 166.39 242.32/242.49 c 1024182 35 1042 21126 20 2235 1329 1034 6147 166.60 242.32/242.49 c 1027405 35 879 17251 19 1909 1462 871 6154 166.93 242.32/242.49 c 1032341 35 1350 27541 20 2849 1609 1342 6163 167.48 242.32/242.49 c 1039847 35 1492 30419 20 3141 1770 1484 6177 168.32 242.32/242.49 c 1051209 35 1148 24021 20 2449 1948 1140 6196 169.65 242.32/242.49 c 1068354 35 1484 29939 20 3119 2143 1476 6218 171.81 242.32/242.49 c 1094173 35 1239 24643 19 2628 2358 1231 6240 175.33 242.32/242.49 c 1133005 35 1898 38057 20 3942 2594 1890 6263 180.88 242.32/242.49 c 1191357 35 2549 51192 20 5246 2854 2541 6282 189.62 242.32/242.49 c 1278992 35 2241 44883 20 4632 3140 2233 6289 203.35 242.32/242.49 c 1410545 34 2316 45222 19 4779 3455 2308 6297 223.98 242.32/242.49 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 -x70 x71 -x72 x73 x74 -x76 x77 x78 x79 x80 x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x75 x94 242.32/242.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 242.32/242.49 c 113 1517541 3500 1523900 3226 49081 3218 6259 242.42 242.32/242.49 c Objective: 1 242.32/242.49 s OPTIMUM FOUND 242.32/242.49 c Total time: 242.421 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657570-1276617342/watcher-2657570-1276617342 -o /tmp/evaluation-result-2657570-1276617342/solver-2657570-1276617342 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657570-1276617342.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.77 2.36 1.80 3/106 10121 /proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=26284 CPUtime=0 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 321 0 0 0 0 0 0 0 16 0 1 0 3029291 26914816 239 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 6571 239 191 642 0 5927 0 [startup+0.0342749 s] /proc/loadavg: 2.77 2.36 1.80 3/106 10121 /proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=18600 CPUtime=0.02 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 352 0 0 0 2 0 0 0 16 0 1 0 3029291 19046400 270 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4650 270 191 642 0 4006 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18600 [startup+0.101283 s] /proc/loadavg: 2.77 2.36 1.80 3/106 10121 /proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=18856 CPUtime=0.09 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 402 0 0 0 9 0 0 0 16 0 1 0 3029291 19308544 320 1992294400 134512640 137138936 4287378752 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4714 321 191 642 0 4070 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18856 [startup+0.301306 s] /proc/loadavg: 2.77 2.36 1.80 3/106 10121 /proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=18988 CPUtime=0.29 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 428 0 0 0 29 0 0 0 17 0 1 0 3029291 19443712 346 1992294400 134512640 137138936 4287378752 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4747 346 191 642 0 4103 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18988 [startup+0.701354 s] /proc/loadavg: 2.77 2.36 1.80 3/106 10121 /proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=18988 CPUtime=0.69 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 437 0 0 0 68 1 0 0 17 0 1 0 3029291 19443712 355 1992294400 134512640 137138936 4287378752 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4747 355 191 642 0 4103 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18988 [startup+1.50145 s] /proc/loadavg: 2.77 2.36 1.80 2/107 10122 /proc/meminfo: memFree=1502148/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=19116 CPUtime=1.49 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 457 0 0 0 147 2 0 0 18 0 1 0 3029291 19574784 375 1992294400 134512640 137138936 4287378752 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4779 375 191 642 0 4135 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19116 [startup+3.10164 s] /proc/loadavg: 2.63 2.34 1.79 2/107 10122 /proc/meminfo: memFree=1501776/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=19240 CPUtime=3.08 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 488 0 0 0 304 4 0 0 21 0 1 0 3029291 19701760 406 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4810 406 191 642 0 4166 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19240 [startup+6.30101 s] /proc/loadavg: 2.63 2.34 1.79 2/107 10124 /proc/meminfo: memFree=1501528/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=19240 CPUtime=6.28 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 502 0 0 0 622 6 0 0 25 0 1 0 3029291 19701760 420 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4810 420 191 642 0 4166 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19240 [startup+12.7018 s] /proc/loadavg: 2.50 2.31 1.79 2/107 10124 /proc/meminfo: memFree=1501280/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=19372 CPUtime=12.68 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 532 0 0 0 1255 13 0 0 25 0 1 0 3029291 19836928 450 1992294400 134512640 137138936 4287378752 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4843 450 191 642 0 4199 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19372 [startup+25.5013 s] /proc/loadavg: 2.17 2.25 1.77 2/107 10124 /proc/meminfo: memFree=1501156/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=19504 CPUtime=25.47 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 579 0 0 0 2522 25 0 0 25 0 1 0 3029291 19972096 497 1992294400 134512640 137138936 4287378752 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4876 497 191 642 0 4232 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 19504 [startup+51.1013 s] /proc/loadavg: 1.77 2.15 1.75 2/107 10124 /proc/meminfo: memFree=1500908/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=19756 CPUtime=51.06 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 633 0 0 0 5062 44 0 0 25 0 1 0 3029291 20230144 551 1992294400 134512640 137138936 4287378752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 4939 551 191 642 0 4295 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 19756 [startup+102.308 s] /proc/loadavg: 1.30 1.95 1.71 2/107 10126 /proc/meminfo: memFree=1500536/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20012 CPUtime=102.26 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 699 0 0 0 10147 79 0 0 25 0 1 0 3029291 20492288 617 1992294400 134512640 137138936 4287378752 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5003 617 191 642 0 4359 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20012 [startup+162.301 s] /proc/loadavg: 1.12 1.79 1.66 2/107 10128 /proc/meminfo: memFree=1500412/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20236 CPUtime=162.24 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 16108 116 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5059 657 191 642 0 4415 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20236 [startup+222.301 s] /proc/loadavg: 1.04 1.63 1.62 2/107 10128 /proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20236 CPUtime=222.22 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 22061 161 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5059 657 191 642 0 4415 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 20236 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 1.04 1.62 1.61 2/107 10130 /proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20236 CPUtime=230.22 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 22856 166 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136500760 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5059 657 191 642 0 4415 0 Current children cumulated CPU time (s) 230.22 Current children cumulated vsize (KiB) 20236 [startup+236.701 s] /proc/loadavg: 1.03 1.61 1.61 2/107 10130 /proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20236 CPUtime=236.61 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 23490 171 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136296970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5059 657 191 642 0 4415 0 Current children cumulated CPU time (s) 236.61 Current children cumulated vsize (KiB) 20236 [startup+239.902 s] /proc/loadavg: 1.03 1.60 1.61 2/107 10130 /proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20236 CPUtime=239.82 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 23808 174 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5059 657 191 642 0 4415 0 Current children cumulated CPU time (s) 239.82 Current children cumulated vsize (KiB) 20236 [startup+241.502 s] /proc/loadavg: 1.03 1.60 1.61 2/107 10130 /proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20236 CPUtime=241.41 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 23966 175 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5059 657 191 642 0 4415 0 Current children cumulated CPU time (s) 241.41 Current children cumulated vsize (KiB) 20236 [startup+241.902 s] /proc/loadavg: 1.03 1.60 1.61 2/107 10130 /proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20236 CPUtime=241.82 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 24007 175 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5059 657 191 642 0 4415 0 Current children cumulated CPU time (s) 241.82 Current children cumulated vsize (KiB) 20236 [startup+242.302 s] /proc/loadavg: 1.03 1.60 1.61 2/107 10130 /proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20236 CPUtime=242.22 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 24046 176 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5059 657 191 642 0 4415 0 Current children cumulated CPU time (s) 242.22 Current children cumulated vsize (KiB) 20236 [startup+242.402 s] /proc/loadavg: 1.03 1.60 1.61 2/107 10130 /proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956 [pid=10121] ppid=10119 vsize=20236 CPUtime=242.32 /proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 24056 176 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10121/statm: 5059 657 191 642 0 4415 0 Current children cumulated CPU time (s) 242.32 Current children cumulated vsize (KiB) 20236 Child status: 0 Real time (s): 242.5 CPU time (s): 242.423 CPU user time (s): 240.659 CPU system time (s): 1.76373 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 20236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 240.659 system time used= 1.76373 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 740 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= 1 involuntary context switches= 434 runsolver used 0.386941 second user time and 1.16782 second system time The end
Begin job on node033 at 2010-06-15 17:55:42 IDJOB=2657570 IDBENCH=2928 IDSOLVER=1163 FILE ID=node033/2657570-1276617342 PBS_JOBID= 11172317 Free space on /tmp= 62592 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657570-1276617342/watcher-2657570-1276617342 -o /tmp/evaluation-result-2657570-1276617342/solver-2657570-1276617342 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657570-1276617342.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a RANDOM SEED=1691860207 node033.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1503304 kB Buffers: 82752 kB Cached: 345524 kB SwapCached: 0 kB Active: 193252 kB Inactive: 294720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1503304 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3908 kB Writeback: 12 kB AnonPages: 59660 kB Mapped: 15412 kB Slab: 45968 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182836 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62588 MiB End job on node033 at 2010-06-15 17:59:44