Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 1 | 181.137 | 181.206 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb |
MD5SUM | 031b0f629913e7cd5c934f00ec1a1885 |
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 | 12.6261 |
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 | 808 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2934 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879193-1245176324.opb 0.00/0.00 c File size is 3562 bytes. 0.00/0.00 c Highest Coefficient sum: 2934 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: 362 Watch. Lit: 102 0.00/0.00 c Obj. Vars: 64 (68.0851 % of total variables) 0.00/0.00 c Pre-processing Time: 0 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 362 45 108 724 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 863 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 426 47 299 852 1 -2147483648 0.00 0.00/0.00 o 851 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 5 94 15 714 47 364 852 7 5000 0.00 0.00/0.00 o 183 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 12 94 23 1060 46 420 852 15 6000 0.00 0.00/0.00 o 138 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 23 94 35 1306 37 478 852 27 7666 0.00 0.00/0.00 o 132 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 26 94 39 1447 37 542 852 31 8666 0.00 0.00/0.00 o 130 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 28 94 42 1586 37 601 852 34 7000 0.00 0.00/0.00 o 123 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 34 94 49 1853 37 668 852 41 8500 0.00 0.00/0.00 o 121 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 43 93 59 2116 35 750 850 51 8600 0.01 0.00/0.00 o 120 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 57 92 74 2505 33 832 848 66 8142 0.01 0.00/0.01 o 118 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 76 92 94 3071 32 932 848 86 8444 0.01 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 174 90 193 5043 26 1186 844 185 9157 0.02 0.00/0.02 o 91 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 177 90 197 5255 26 1253 844 189 8850 0.02 0.00/0.02 o 79 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 179 90 200 5362 26 1311 844 192 8950 0.02 0.00/0.02 o 75 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 182 90 204 5541 27 1376 844 196 8666 0.02 0.00/0.02 o 73 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 192 90 215 5941 27 1460 844 207 8727 0.02 0.09/0.10 c 292 90 315 7648 24 1663 929 307 9419 0.03 0.09/0.10 c 542 90 565 12004 21 2161 1022 557 9854 0.06 0.09/0.10 o 70 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 1003 90 1027 20217 19 3139 844 1019 9737 0.10 0.09/0.10 o 68 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 1010 90 443 7901 17 1228 844 435 9619 0.10 0.09/0.10 o 66 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 1016 90 450 8219 18 1300 844 442 9584 0.11 0.09/0.19 c 1116 90 550 10130 18 1498 929 542 9704 0.12 0.09/0.19 c 1366 90 800 15284 19 1988 1022 792 9757 0.14 0.09/0.19 o 62 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 1780 89 688 13621 19 1716 842 680 9468 0.19 0.09/0.19 o 60 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 1806 85 715 14198 19 1820 834 707 9455 0.19 0.19/0.20 c 1906 85 815 16271 19 2016 918 807 9482 0.20 0.19/0.20 o 53 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 1924 85 834 16668 19 2112 834 826 9431 0.20 0.19/0.20 o 47 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 1935 85 846 17091 20 2189 834 838 9439 0.20 0.19/0.20 o 42 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1952 85 435 8561 19 1151 834 427 9384 0.21 0.19/0.21 o 40 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 1964 85 448 8880 19 1230 834 440 9397 0.21 0.19/0.25 c 2064 82 548 10730 19 1418 918 540 9424 0.22 0.19/0.25 c 2314 80 798 15443 19 1920 1010 790 9601 0.24 0.19/0.25 o 39 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 2415 80 900 17494 19 2170 824 892 9621 0.25 0.19/0.25 o 31 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 2424 80 445 8267 18 1202 824 437 9543 0.25 0.19/0.26 o 30 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 2521 72 543 10238 18 1430 808 535 9585 0.26 0.19/0.27 o 24 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 2608 72 631 12190 19 1647 808 623 9623 0.27 0.19/0.28 c 2708 71 731 14302 19 1846 889 723 9637 0.28 0.19/0.28 o 20 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 2727 71 751 14749 19 1928 806 743 9636 0.28 0.19/0.29 c 2827 70 441 8843 20 1126 887 433 9615 0.29 0.19/0.29 o 17 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 2843 70 458 9213 20 1198 804 450 9604 0.30 0.19/0.29 o 14 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 2855 70 471 9620 20 1263 804 463 9612 0.30 0.19/0.29 o 12 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 2856 70 473 9701 20 1305 804 465 9616 0.30 0.49/0.55 c 2957 64 574 11494 20 1499 885 566 9631 0.31 0.49/0.55 c 3207 62 824 16507 20 1996 974 816 9747 0.33 0.49/0.55 c 3682 62 800 15517 19 1830 1072 792 9897 0.37 0.49/0.55 c 4497 62 1065 21447 20 2360 1180 1057 9883 0.46 0.49/0.55 o 8 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 5389 62 753 15186 20 1771 788 745 9816 0.55 0.69/0.77 c 5490 59 449 8852 19 1117 867 441 9803 0.56 0.69/0.77 c 5740 56 699 13949 19 1607 954 691 9879 0.58 0.69/0.77 c 6215 54 686 13530 19 1583 1050 678 9912 0.63 0.69/0.77 c 7029 54 960 19530 20 2132 1156 952 9984 0.70 0.69/0.77 o 5 2.89/2.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.99 c 7619 54 958 19788 20 2150 772 950 9920 0.77 2.89/2.99 c 7719 54 535 10795 20 1272 850 527 9921 0.78 2.89/2.99 c 7970 54 786 16002 20 1775 936 778 9950 0.80 2.89/2.99 c 8446 54 782 15823 20 1767 1030 774 9948 0.85 2.89/2.99 c 9259 54 1066 21985 20 2336 1134 1058 9913 0.93 2.89/2.99 c 10580 54 655 13452 20 1512 1248 647 9814 1.08 2.89/2.99 c 12661 54 827 17242 20 1855 1373 819 9709 1.30 2.89/2.99 c 15885 54 1261 26393 20 2725 1511 1253 9540 1.67 2.89/2.99 c 20822 54 805 16708 20 1812 1663 797 9270 2.25 2.89/2.99 o 4 6.19/6.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.22 c 27129 54 1186 24452 20 2597 772 1178 9064 2.99 6.19/6.22 c 27229 52 535 10716 20 1268 850 527 9061 3.00 6.19/6.22 c 27479 51 785 15969 20 1768 936 777 9068 3.03 6.19/6.22 c 27954 50 779 15393 19 1754 1030 771 9075 3.08 6.19/6.22 c 28767 48 1057 20850 19 2305 1134 1049 9097 3.16 6.19/6.22 c 30087 48 643 12524 19 1475 1248 635 9114 3.30 6.19/6.22 c 32169 47 819 16372 19 1826 1373 811 9125 3.52 6.19/6.22 c 35392 46 1246 25632 20 2679 1511 1238 9135 3.87 6.19/6.22 c 40328 46 1557 32154 20 3300 1663 1549 9064 4.45 6.19/6.22 c 47836 46 1436 29249 20 3059 1830 1428 8894 5.38 6.19/6.22 o 3 37.78/37.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.78/37.88 c 54771 46 1838 37901 20 3881 756 1830 8799 6.22 37.78/37.88 c 54871 46 535 10221 19 1248 832 527 8796 6.24 37.78/37.88 c 55121 46 785 15411 19 1752 916 777 8806 6.26 37.78/37.88 c 55596 46 786 14539 18 1752 1008 778 8820 6.30 37.78/37.88 c 56409 46 571 10719 18 1322 1109 563 8830 6.39 37.78/37.88 c 57729 46 758 14863 19 1698 1220 750 8846 6.53 37.78/37.88 c 59811 46 964 19669 20 2107 1343 956 8862 6.75 37.78/37.88 c 63035 46 777 15180 19 1738 1478 769 8856 7.12 37.78/37.88 c 67974 46 1195 24839 20 2571 1626 1187 8823 7.70 37.78/37.88 c 75480 46 1247 25311 20 2674 1789 1239 8756 8.62 37.78/37.88 c 86841 46 1701 35159 20 3582 1968 1693 8621 10.07 37.78/37.88 c 103988 46 1849 37590 20 3877 2165 1841 8477 12.27 37.78/37.88 c 129808 46 1312 27055 20 2804 2382 1304 8207 15.81 37.78/37.88 c 168640 46 1541 31401 20 3262 2621 1533 7831 21.53 37.78/37.88 c 226992 46 1503 30736 20 3186 2884 1495 7430 30.55 37.78/37.88 o 2 52.97/53.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.97/53.07 c 273426 46 2737 54776 20 5670 756 2729 7220 37.87 52.97/53.07 c 273526 45 535 10504 19 1248 832 527 7218 37.89 52.97/53.07 c 273776 44 785 15667 19 1742 916 777 7221 37.91 52.97/53.07 c 274252 44 788 15525 19 1751 1008 780 7224 37.96 52.97/53.07 c 275065 44 563 11071 19 1304 1109 555 7229 38.05 52.97/53.07 c 276385 44 753 14692 19 1686 1220 745 7238 38.18 52.97/53.07 c 278466 44 969 18895 19 2111 1343 961 7249 38.41 52.97/53.07 c 281692 44 770 14923 19 1713 1478 762 7270 38.74 52.97/53.07 c 286630 43 1191 24221 20 2556 1626 1183 7295 39.29 52.97/53.07 c 294136 42 1230 24677 20 2633 1789 1222 7320 40.18 52.97/53.07 c 305497 42 1671 33599 20 3514 1968 1663 7350 41.56 52.97/53.07 c 322642 41 1798 36504 20 3767 2165 1790 7358 43.85 52.97/53.07 c 348462 40 1243 24649 19 2657 2382 1235 7357 47.36 52.97/53.07 c 387295 40 1445 29068 20 3057 2621 1437 7325 52.87 52.97/53.07 o 1 181.12/181.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.12/181.20 c 388616 40 1437 28611 19 3051 744 1429 7325 53.05 181.12/181.20 c 388716 39 535 10023 18 1232 819 527 7325 53.06 181.12/181.20 c 388966 39 785 15177 19 1730 901 777 7327 53.09 181.12/181.20 c 389441 39 799 15265 19 1758 992 791 7329 53.13 181.12/181.20 c 390255 39 603 11505 19 1368 1092 595 7334 53.21 181.12/181.20 c 391576 38 809 14943 18 1778 1202 801 7340 53.34 181.12/181.20 c 393658 38 1045 20804 19 2246 1323 1037 7349 53.56 181.12/181.20 c 396882 37 887 16902 19 1929 1456 879 7360 53.92 181.12/181.20 c 401818 37 1361 27555 20 2881 1602 1353 7377 54.47 181.12/181.20 c 409324 37 1512 30412 20 3184 1763 1504 7393 55.37 181.12/181.20 c 420685 37 1194 23660 19 2545 1940 1186 7407 56.79 181.12/181.20 c 437829 37 1580 32217 20 3317 2135 1572 7415 59.04 181.12/181.20 c 463649 37 1410 27860 19 2975 2349 1402 7402 62.63 181.12/181.20 c 502481 37 2147 42189 19 4449 2584 2139 7380 68.08 181.12/181.20 c 560833 36 1610 32290 20 3376 2843 1602 7292 76.91 181.12/181.20 c 648466 35 1574 30205 19 3298 3128 1566 7128 90.97 181.12/181.20 c 780019 35 1946 38568 19 4044 3441 1938 6933 112.51 181.12/181.20 c 977452 34 3232 62989 19 6616 3786 3224 6576 148.62 181.12/181.20 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 -x70 -x71 x72 x73 -x74 -x75 x76 x77 x78 -x79 -x80 -x81 x82 -x83 -x84 x85 x86 x87 x88 -x89 -x90 -x91 -x92 -x93 x94 x69 181.12/181.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 181.12/181.20 c 116 1143467 2121 1148209 3332 51360 3324 6312 181.14 181.12/181.20 c Objective: 1 181.12/181.20 s OPTIMUM FOUND 181.12/181.20 c Total time: 181.136 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-1879193-1245176324/watcher-1879193-1245176324 -o /tmp/evaluation-result-1879193-1245176324/solver-1879193-1245176324 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1879193-1245176324.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5184 /proc/meminfo: memFree=1845648/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=26200 CPUtime=0 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 185233223 26828800 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136379950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 6550 241 196 640 0 5906 0 [startup+0.088714 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5184 /proc/meminfo: memFree=1845648/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=18772 CPUtime=0.08 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 339 0 0 0 8 0 0 0 18 0 1 0 185233223 19222528 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4693 322 196 640 0 4049 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18772 [startup+0.101716 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5184 /proc/meminfo: memFree=1845648/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=18776 CPUtime=0.09 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 349 0 0 0 9 0 0 0 18 0 1 0 185233223 19226624 332 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4694 332 196 640 0 4050 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18776 [startup+0.301754 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5184 /proc/meminfo: memFree=1845648/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=18776 CPUtime=0.29 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 353 0 0 0 29 0 0 0 19 0 1 0 185233223 19226624 336 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4694 336 196 640 0 4050 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18776 [startup+0.701833 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5184 /proc/meminfo: memFree=1845648/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=18904 CPUtime=0.69 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 370 0 0 0 68 1 0 0 22 0 1 0 185233223 19357696 353 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4726 353 196 640 0 4082 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18904 [startup+1.50199 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1844936/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19032 CPUtime=1.49 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 393 0 0 0 148 1 0 0 25 0 1 0 185233223 19488768 376 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4758 376 196 640 0 4114 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19032 [startup+3.1013 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1844680/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19156 CPUtime=3.09 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 421 0 0 0 307 2 0 0 25 0 1 0 185233223 19615744 404 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4789 404 196 640 0 4145 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19156 [startup+6.30293 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1844424/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19148 CPUtime=6.29 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 435 0 0 0 625 4 0 0 25 0 1 0 185233223 19607552 418 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4787 418 196 640 0 4143 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19148 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1844240/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19272 CPUtime=12.69 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 464 0 0 0 1262 7 0 0 25 0 1 0 185233223 19734528 447 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4818 447 196 640 0 4174 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19272 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1844048/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19400 CPUtime=25.48 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 512 0 0 0 2534 14 0 0 25 0 1 0 185233223 19865600 495 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4850 495 196 640 0 4206 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19400 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843920/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19520 CPUtime=51.07 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 538 0 0 0 5078 29 0 0 25 0 1 0 185233223 19988480 521 1992294400 134512640 137136520 4294956256 18446744073709551615 134540850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4880 521 196 640 0 4236 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19520 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843856/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19652 CPUtime=102.26 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 559 0 0 0 10166 60 0 0 25 0 1 0 185233223 20123648 542 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4913 542 196 640 0 4269 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19652 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843664/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19900 CPUtime=162.23 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 610 0 0 0 16137 86 0 0 25 0 1 0 185233223 20377600 593 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4975 593 196 640 0 4331 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 19900 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843664/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19900 CPUtime=166.23 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 610 0 0 0 16536 87 0 0 25 0 1 0 185233223 20377600 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4975 593 196 640 0 4331 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 19900 [startup+172.706 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843664/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19900 CPUtime=172.63 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 610 0 0 0 17173 90 0 0 25 0 1 0 185233223 20377600 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4975 593 196 640 0 4331 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 19900 [startup+175.901 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843664/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19896 CPUtime=175.83 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 610 0 0 0 17492 91 0 0 25 0 1 0 185233223 20373504 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4974 593 196 640 0 4330 0 Current children cumulated CPU time (s) 175.83 Current children cumulated vsize (KiB) 19896 [startup+179.103 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843664/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19896 CPUtime=179.03 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 610 0 0 0 17810 93 0 0 25 0 1 0 185233223 20373504 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4974 593 196 640 0 4330 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 19896 [startup+179.902 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843664/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19896 CPUtime=179.82 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 610 0 0 0 17889 93 0 0 25 0 1 0 185233223 20373504 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4974 593 196 640 0 4330 0 Current children cumulated CPU time (s) 179.82 Current children cumulated vsize (KiB) 19896 [startup+180.701 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843664/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19896 CPUtime=180.62 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 610 0 0 0 17968 94 0 0 25 0 1 0 185233223 20373504 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4974 593 196 640 0 4330 0 Current children cumulated CPU time (s) 180.62 Current children cumulated vsize (KiB) 19896 [startup+181.101 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843664/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19896 CPUtime=181.02 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 610 0 0 0 18008 94 0 0 25 0 1 0 185233223 20373504 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4974 593 196 640 0 4330 0 Current children cumulated CPU time (s) 181.02 Current children cumulated vsize (KiB) 19896 [startup+181.201 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5185 /proc/meminfo: memFree=1843664/2055924 swapFree=4191900/4192956 [pid=5184] ppid=5182 vsize=19896 CPUtime=181.12 /proc/5184/stat : 5184 (bsolo) R 5182 5184 5097 0 -1 4194304 610 0 0 0 18018 94 0 0 25 0 1 0 185233223 20373504 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5184/statm: 4974 593 196 640 0 4330 0 Current children cumulated CPU time (s) 181.12 Current children cumulated vsize (KiB) 19896 Child status: 0 Real time (s): 181.206 CPU time (s): 181.137 CPU user time (s): 180.194 CPU system time (s): 0.943856 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 19900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.194 system time used= 0.943856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 612 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= 2 involuntary context switches= 218 runsolver used 0.152976 second user time and 0.362944 second system time The end
Begin job on node6 at 2009-06-16 20:18:44 IDJOB=1879193 IDBENCH=2916 IDSOLVER=700 FILE ID=node6/1879193-1245176324 PBS_JOBID= 9363924 Free space on /tmp= 66240 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879193-1245176324/watcher-1879193-1245176324 -o /tmp/evaluation-result-1879193-1245176324/solver-1879193-1245176324 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1879193-1245176324.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885 RANDOM SEED=1720532710 node6.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.265 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.265 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1846128 kB Buffers: 41396 kB Cached: 97472 kB SwapCached: 260 kB Active: 43952 kB Inactive: 108116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1846128 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 21748 kB Slab: 43776 kB Committed_AS: 163280 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879193-1245176324.opb Free space on /tmp at the end= 66236 MiB End job on node6 at 2009-06-16 20:21:46