Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 2 | 649.987 | 650.163 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_1.opb |
MD5SUM | fb11ff2665aef67f0842a460a5ea3114 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 26.176 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
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 | 45 |
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 | 851 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3063 |
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: Generic Pseudo-Boolean 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-1880036-1245241727.opb 0.00/0.00 c File size is 3580 bytes. 0.00/0.00 c Highest Coefficient sum: 3063 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: 104 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 364 45 110 728 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 922 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 298 856 1 -2147483648 0.00 0.00/0.00 o 860 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 3 94 15 739 49 436 856 7 3000 0.00 0.00/0.00 o 725 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 5 94 20 973 48 533 856 12 2500 0.00 0.00/0.00 o 722 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 11 94 33 1652 50 820 856 25 3666 0.00 0.00/0.00 o 704 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 13 94 38 1895 49 984 856 30 4333 0.00 0.00/0.00 o 700 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 13 94 39 1959 50 1039 856 31 3250 0.00 0.00/0.00 o 696 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 16 94 46 2286 49 1174 856 38 3200 0.01 0.00/0.00 o 666 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 16 94 47 2350 50 1204 856 39 3200 0.01 0.00/0.00 o 634 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 19 94 54 2817 52 1419 856 46 3166 0.01 0.00/0.00 o 632 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 22 94 61 3203 52 1672 856 53 3142 0.01 0.00/0.01 o 628 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 23 94 64 3374 52 1797 856 56 2875 0.01 0.00/0.01 o 555 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 32 94 83 4350 52 2136 856 75 2909 0.01 0.00/0.01 o 553 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 39 94 98 5088 51 2374 856 90 3000 0.01 0.00/0.01 o 518 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 40 94 101 5239 51 2499 856 93 2857 0.01 0.00/0.01 o 517 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 41 94 104 5410 52 2541 856 96 2928 0.01 0.00/0.01 o 471 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 42 94 107 5597 52 2472 856 99 2800 0.01 0.00/0.01 o 417 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 43 94 110 5792 52 2560 856 102 2687 0.02 0.00/0.02 o 186 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 51 94 127 6715 52 2972 856 119 2684 0.02 0.00/0.02 o 144 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 56 94 137 7138 52 3085 856 129 2800 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 62 94 150 7833 52 3384 856 142 2818 0.02 0.00/0.02 o 98 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 70 94 167 8742 52 3605 856 159 2800 0.03 0.00/0.03 o 87 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 79 94 185 9496 51 3830 856 177 2724 0.03 0.03/0.06 o 72 0.03/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 158 86 343 16651 48 7284 840 335 2724 0.06 0.03/0.09 o 68 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 239 86 505 23853 47 10303 840 497 2542 0.09 0.09/0.15 c 340 86 700 32372 46 14071 925 692 2500 0.14 0.09/0.15 o 34 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 371 86 763 35172 46 13879 840 755 2409 0.15 0.09/0.17 o 22 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 399 86 819 37767 46 13907 840 811 2306 0.17 0.39/0.45 c 499 70 540 19821 36 7918 925 532 2087 0.24 0.39/0.45 c 750 70 487 16085 33 6865 1018 479 2016 0.37 0.39/0.45 o 19 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 906 70 772 27907 36 11808 808 764 2017 0.45 0.49/0.53 c 1007 70 523 18567 35 8510 889 515 1955 0.52 0.49/0.53 o 14 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 1038 70 581 21067 36 9432 808 573 1940 0.54 0.49/0.54 o 12 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 1042 70 590 21473 36 9537 808 582 1936 0.54 0.89/0.91 c 1142 62 761 28149 36 12148 889 753 1929 0.59 0.89/0.91 c 1393 62 723 24914 34 10160 978 715 1867 0.75 0.89/0.91 o 9 2.39/2.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.42 c 1663 62 658 21353 32 8144 792 650 1817 0.92 2.39/2.42 c 1763 62 826 27899 33 10158 872 818 1817 0.97 2.39/2.42 c 2014 62 764 26861 35 9583 960 756 1806 1.11 2.39/2.42 c 2489 62 963 32956 34 12155 1057 955 1766 1.41 2.39/2.42 c 3302 62 1040 34281 32 10494 1163 1032 1746 1.89 2.39/2.42 o 7 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 4240 62 596 16785 28 5815 792 588 1741 2.43 2.79/2.80 c 4340 62 754 22987 30 8138 872 746 1742 2.49 2.79/2.80 c 4590 54 661 21033 31 7350 960 653 1753 2.62 2.79/2.80 o 5 10.59/10.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.59/10.65 c 4939 54 650 19765 30 6725 776 642 1763 2.80 10.59/10.65 c 5039 54 788 24605 31 7804 854 780 1763 2.86 10.59/10.65 c 5289 54 696 22388 32 7716 940 688 1768 2.99 10.59/10.65 c 5764 54 926 30431 32 10137 1035 918 1778 3.24 10.59/10.65 c 6579 54 1000 31362 31 8808 1139 992 1787 3.68 10.59/10.65 c 7899 54 1159 37676 32 11149 1253 1151 1805 4.38 10.59/10.65 c 9980 54 948 27975 29 7925 1379 940 1800 5.54 10.59/10.65 c 13205 54 800 21446 26 6288 1517 792 1799 7.34 10.59/10.65 c 18141 54 1355 42978 31 11419 1669 1347 1800 10.07 10.59/10.65 o 4 13.58/13.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.61 c 19196 54 1190 34841 29 8868 776 1182 1802 10.65 13.58/13.61 c 19296 46 550 16915 30 6034 854 542 1802 10.71 13.58/13.61 c 19546 46 446 12496 28 4737 940 438 1802 10.84 13.58/13.61 c 20021 46 633 18323 28 5939 1035 625 1805 11.09 13.58/13.61 c 20834 46 755 22098 29 6949 1139 747 1811 11.50 13.58/13.61 c 22154 46 923 27390 29 8071 1253 915 1815 12.21 13.58/13.61 c 24235 46 759 20684 27 6523 1379 751 1825 13.28 13.58/13.61 o 3 53.17/53.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.17/53.26 c 24838 46 948 26220 27 7520 760 940 1825 13.61 53.17/53.26 c 24939 46 542 16354 30 5593 837 534 1826 13.66 53.17/53.26 c 25189 46 448 12019 26 4536 921 440 1827 13.78 53.17/53.26 c 25664 46 641 18189 28 6614 1014 633 1835 13.98 53.17/53.26 c 26477 46 803 23848 29 7429 1116 795 1843 14.36 53.17/53.26 c 27797 46 973 29903 30 8091 1228 965 1849 15.03 53.17/53.26 c 29878 46 739 19022 25 5400 1351 731 1855 16.11 53.17/53.26 c 33102 46 1091 31500 28 8224 1487 1083 1868 17.72 53.17/53.26 c 38038 46 1165 33047 28 8264 1636 1157 1876 20.27 53.17/53.26 c 45546 46 1274 37796 29 9129 1800 1266 1880 24.23 53.17/53.26 c 56910 46 1584 50129 31 13665 1981 1576 1826 31.16 53.17/53.26 c 74054 46 1502 48084 32 12301 2180 1494 1745 42.44 53.17/53.26 o 2 649.91/650.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 649.91/650.16 c 89165 46 1693 53990 31 14556 760 1685 1674 53.24 649.91/650.16 c 89267 46 546 17120 31 6447 837 538 1674 53.32 649.91/650.16 c 89517 38 445 12250 27 5017 921 437 1674 53.46 649.91/650.16 c 89992 38 615 16860 27 5959 1014 607 1674 53.73 649.91/650.16 c 90805 38 621 16458 26 5593 1116 613 1674 54.22 649.91/650.16 c 92125 38 709 18695 26 5817 1228 701 1676 54.97 649.91/650.16 c 94206 38 1055 30311 28 8330 1351 1047 1677 56.14 649.91/650.16 c 97430 38 1295 38386 29 9346 1487 1287 1677 58.07 649.91/650.16 c 102366 38 1365 41268 30 10006 1636 1357 1673 61.15 649.91/650.16 c 109872 38 1214 35877 29 9665 1800 1206 1671 65.74 649.91/650.16 c 121233 38 1663 49828 29 11514 1981 1655 1662 72.91 649.91/650.16 c 138377 38 1387 42339 30 10680 2180 1379 1650 83.83 649.91/650.16 c 164196 38 1680 53234 31 12846 2399 1672 1617 101.50 649.91/650.16 c 203028 38 1221 35987 29 9405 2639 1213 1558 130.29 649.91/650.16 c 261383 38 1367 40177 29 9749 2903 1359 1501 174.07 649.91/650.16 c 349015 38 2013 65195 32 15277 3194 2005 1412 247.10 649.91/650.16 c 480567 38 2993 103117 34 24988 3514 2985 1321 363.63 649.91/650.16 c 678000 37 2205 76462 34 21697 3866 2197 1194 567.57 649.91/650.16 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 -x75 x76 -x77 x78 -x79 -x80 -x81 x82 -x83 x84 x85 -x86 x87 -x88 -x89 x90 -x91 x92 -x93 x94 649.91/650.16 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 649.91/650.16 c 89 753237 9279 764931 3026 90439 3018 1158 649.99 649.91/650.16 c Objective: 2 649.91/650.16 s OPTIMUM FOUND 649.91/650.16 c Total time: 649.985 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880036-1245241727/watcher-1880036-1245241727 -o /tmp/evaluation-result-1880036-1245241727/solver-1880036-1245241727 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880036-1245241727.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: 1.00 1.00 1.00 3/64 11944 /proc/meminfo: memFree=1531512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=26332 CPUtime=0 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 180694695 26963968 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 6583 244 196 640 0 5939 0 [startup+0.033715 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11944 /proc/meminfo: memFree=1531512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=18648 CPUtime=0.03 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 313 0 0 0 3 0 0 0 18 0 1 0 180694695 19095552 296 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 4662 296 197 640 0 4018 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 18648 [startup+0.101723 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11944 /proc/meminfo: memFree=1531512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=19040 CPUtime=0.09 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 405 0 0 0 9 0 0 0 18 0 1 0 180694695 19496960 388 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 4760 388 197 640 0 4116 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19040 [startup+0.301744 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11944 /proc/meminfo: memFree=1531512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=19428 CPUtime=0.29 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 490 0 0 0 29 0 0 0 19 0 1 0 180694695 19894272 473 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 4857 473 197 640 0 4213 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19428 [startup+0.701788 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11944 /proc/meminfo: memFree=1531512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=19428 CPUtime=0.69 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 490 0 0 0 69 0 0 0 22 0 1 0 180694695 19894272 473 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 4857 473 197 640 0 4213 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19428 [startup+1.50187 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1530288/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=19432 CPUtime=1.49 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 491 0 0 0 149 0 0 0 25 0 1 0 180694695 19898368 474 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 4858 474 197 640 0 4214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19432 [startup+3.10105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1530160/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=19432 CPUtime=3.09 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 491 0 0 0 308 1 0 0 25 0 1 0 180694695 19898368 474 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 4858 474 197 640 0 4214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19432 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1530032/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=19432 CPUtime=6.29 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 506 0 0 0 628 1 0 0 25 0 1 0 180694695 19898368 489 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 4858 489 197 640 0 4214 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19432 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1529712/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=19692 CPUtime=12.69 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 561 0 0 0 1268 1 0 0 25 0 1 0 180694695 20164608 544 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 4923 544 197 640 0 4279 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19692 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1529648/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=19824 CPUtime=25.49 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 593 0 0 0 2546 3 0 0 25 0 1 0 180694695 20299776 576 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 4956 576 197 640 0 4312 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19824 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1529200/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=20204 CPUtime=51.07 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 695 0 0 0 5102 5 0 0 25 0 1 0 180694695 20688896 678 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5051 678 197 640 0 4407 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20204 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1529008/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=20464 CPUtime=102.26 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 752 0 0 0 10213 13 0 0 25 0 1 0 180694695 20955136 735 1992294400 134512640 137136520 4294956256 18446744073709551615 136501987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5116 735 197 640 0 4472 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20464 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1528624/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=20848 CPUtime=162.24 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 848 0 0 0 16203 21 0 0 25 0 1 0 180694695 21348352 831 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5212 831 197 640 0 4568 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20848 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1528304/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=21096 CPUtime=222.23 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 919 0 0 0 22196 27 0 0 25 0 1 0 180694695 21602304 902 1992294400 134512640 137136520 4294956256 18446744073709551615 134598818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5274 902 197 640 0 4630 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21096 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1527984/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=21488 CPUtime=282.21 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1008 0 0 0 28188 33 0 0 25 0 1 0 180694695 22003712 991 1992294400 134512640 137136520 4294956256 18446744073709551615 136498099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5372 991 197 640 0 4728 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 21488 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1527792/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=21620 CPUtime=342.2 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1050 0 0 0 34182 38 0 0 25 0 1 0 180694695 22138880 1033 1992294400 134512640 137136520 4294956256 18446744073709551615 136499805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5405 1033 197 640 0 4761 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 21620 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1527344/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22012 CPUtime=402.18 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1148 0 0 0 40175 43 0 0 25 0 1 0 180694695 22540288 1131 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5503 1131 197 640 0 4859 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 22012 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1527344/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22012 CPUtime=462.16 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1148 0 0 0 46167 49 0 0 25 0 1 0 180694695 22540288 1131 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5503 1131 197 640 0 4859 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 22012 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11945 /proc/meminfo: memFree=1527152/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22140 CPUtime=522.15 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1193 0 0 0 52160 55 0 0 25 0 1 0 180694695 22671360 1176 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5535 1176 197 640 0 4891 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 22140 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11947 /proc/meminfo: memFree=1526512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22520 CPUtime=582.13 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1291 0 0 0 58154 59 0 0 25 0 1 0 180694695 23060480 1274 1992294400 134512640 137136520 4294956256 18446744073709551615 134545035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5630 1274 197 640 0 4986 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 22520 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11947 /proc/meminfo: memFree=1526512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22632 CPUtime=642.12 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1294 0 0 0 64149 63 0 0 25 0 1 0 180694695 23175168 1277 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5658 1277 197 640 0 5014 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 22632 Solver just ended. Dumping a history of the last processes samples [startup+646.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11947 /proc/meminfo: memFree=1526512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22632 CPUtime=646.12 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1294 0 0 0 64549 63 0 0 25 0 1 0 180694695 23175168 1277 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5658 1277 197 640 0 5014 0 Current children cumulated CPU time (s) 646.12 Current children cumulated vsize (KiB) 22632 [startup+647.905 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11947 /proc/meminfo: memFree=1526512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22632 CPUtime=647.72 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1294 0 0 0 64709 63 0 0 25 0 1 0 180694695 23175168 1277 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5658 1277 197 640 0 5014 0 Current children cumulated CPU time (s) 647.72 Current children cumulated vsize (KiB) 22632 [startup+649.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11947 /proc/meminfo: memFree=1526512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22632 CPUtime=649.31 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1294 0 0 0 64868 63 0 0 25 0 1 0 180694695 23175168 1277 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5658 1277 197 640 0 5014 0 Current children cumulated CPU time (s) 649.31 Current children cumulated vsize (KiB) 22632 [startup+649.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11947 /proc/meminfo: memFree=1526512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22632 CPUtime=649.71 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1294 0 0 0 64908 63 0 0 25 0 1 0 180694695 23175168 1277 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5658 1277 197 640 0 5014 0 Current children cumulated CPU time (s) 649.71 Current children cumulated vsize (KiB) 22632 [startup+650.105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11947 /proc/meminfo: memFree=1526512/2055920 swapFree=4192956/4192956 [pid=11944] ppid=11942 vsize=22632 CPUtime=649.91 /proc/11944/stat : 11944 (bsolo) R 11942 11944 11736 0 -1 4194304 1294 0 0 0 64928 63 0 0 25 0 1 0 180694695 23175168 1277 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11944/statm: 5658 1277 197 640 0 5014 0 Current children cumulated CPU time (s) 649.91 Current children cumulated vsize (KiB) 22632 Child status: 0 Real time (s): 650.163 CPU time (s): 649.987 CPU user time (s): 649.346 CPU system time (s): 0.640902 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 22636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 649.346 system time used= 0.640902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1296 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= 1131 runsolver used 0.463929 second user time and 1.36079 second system time The end
Begin job on node64 at 2009-06-17 14:28:47 IDJOB=1880036 IDBENCH=2927 IDSOLVER=701 FILE ID=node64/1880036-1245241727 PBS_JOBID= 9372283 Free space on /tmp= 66256 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880036-1245241727/watcher-1880036-1245241727 -o /tmp/evaluation-result-1880036-1245241727/solver-1880036-1245241727 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880036-1245241727.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114 RANDOM SEED=1295326245 node64.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.241 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.241 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: 2055920 kB MemFree: 1531928 kB Buffers: 34928 kB Cached: 405508 kB SwapCached: 0 kB Active: 91888 kB Inactive: 363524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1531928 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 24752 kB Slab: 54268 kB Committed_AS: 93348 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880036-1245241727.opb Free space on /tmp at the end= 66252 MiB End job on node64 at 2009-06-17 14:39:37