Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 68.3276 | 68.3491 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=239-P1=257-P2=113-P3=223-B.opb |
MD5SUM | ff8e4ce8aca8e0dab1b59dd2a47026b4 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1.64775 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 72 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
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 | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 192 |
Sum of products size (including duplicates) | 384 |
Number of different products | 192 |
Sum of products size | 384 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670559-1276702645.opb 0.00/0.00 c File size is 14173 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 264 Constr: 394 192/0/202 Lit: 1648 Watch. Lit: 1016 0.00/0.00 c Obj. Vars: 8 (3.0303 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 264 394 1648 4 1416 2207 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 0.09/0.11 c 101 264 591 10901 18 1927 2428 197 3607 0.03 0.09/0.11 c 251 264 877 28836 32 2605 2671 483 4114 0.06 0.09/0.11 o 57 2.89/2.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.94 c 462 264 1277 48883 38 3606 2224 883 3948 0.12 2.89/2.94 c 562 264 1472 59687 40 4113 2447 1078 3957 0.14 2.89/2.94 c 813 264 1954 83428 42 5366 2692 1560 3853 0.21 2.89/2.94 c 1290 255 2850 127633 44 7578 2962 2456 3458 0.37 2.89/2.94 c 2104 255 2880 133226 46 7167 3259 2486 2971 0.71 2.89/2.94 c 3425 255 2026 93274 46 4960 3585 1632 2500 1.37 2.89/2.94 c 5506 244 2254 102841 45 5807 3944 1860 2464 2.23 2.89/2.94 o 9 39.08/39.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.08/39.14 c 7232 244 3370 157366 46 8654 2219 2976 2459 2.94 39.08/39.14 c 7333 244 1706 75237 44 4315 2441 1312 2465 2.97 39.08/39.14 c 7583 244 2179 98520 45 5462 2686 1785 2489 3.05 39.08/39.14 c 8060 244 3100 143463 46 7800 2955 2706 2500 3.22 39.08/39.14 c 8874 244 3121 142406 45 7874 3251 2727 2515 3.53 39.08/39.14 c 10195 244 2256 101428 44 5584 3577 1862 2503 4.07 39.08/39.14 c 12277 244 2471 109462 44 6078 3935 2077 2447 5.02 39.08/39.14 c 15501 244 2562 118022 46 6415 4329 2168 2409 6.43 39.08/39.14 c 20438 244 3018 132662 43 7712 4762 2624 2302 8.88 39.08/39.14 c 27945 244 5171 240724 46 12864 5239 4777 2196 12.72 39.08/39.14 c 39306 244 4550 242516 53 11102 5763 4156 2014 19.51 39.08/39.14 c 56450 244 5362 270203 50 13802 6340 4968 1797 31.41 39.08/39.14 o 7 42.37/42.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.37/42.40 c 67067 224 5316 282888 53 13002 2215 4922 1714 39.13 42.37/42.40 c 67168 224 1702 74827 43 4358 2437 1308 1713 39.19 42.37/42.40 c 67420 224 2196 102527 46 5590 2681 1802 1717 39.26 42.37/42.40 c 67895 224 3115 149412 47 7811 2950 2721 1722 39.42 42.37/42.40 c 68709 224 3042 143269 47 7132 3246 2648 1726 39.80 42.37/42.40 c 70030 214 2024 94797 46 5050 3571 1630 1737 40.30 42.37/42.40 c 72111 214 2262 99950 44 5583 3929 1868 1750 41.20 42.37/42.40 o 3 68.27/68.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.27/68.34 c 74755 214 3140 142319 45 7767 2213 2746 1763 42.38 68.27/68.34 c 74856 193 1709 72445 42 4372 2435 1315 1764 42.42 68.27/68.34 c 75106 193 2194 97612 44 5721 2679 1800 1767 42.48 68.27/68.34 c 75581 193 3107 147085 47 8145 2947 2713 1772 42.63 68.27/68.34 c 76394 193 2968 146802 49 7336 3242 2574 1778 42.95 68.27/68.34 c 77714 193 2025 83904 41 5057 3567 1631 1786 43.50 68.27/68.34 c 79795 190 3786 191310 50 9322 3924 3392 1799 44.34 68.27/68.34 c 83019 190 3062 141460 46 7970 4317 2668 1807 45.93 68.27/68.34 c 87955 190 2785 126199 45 7345 4749 2391 1808 48.63 68.27/68.34 c 95461 190 4139 199307 48 11133 5224 3745 1802 52.97 68.27/68.34 c 106823 189 5509 276316 50 14391 5747 5115 1760 60.67 68.27/68.34 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 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x33 x34 -x35 x36 x37 -x38 -x39 -x40 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x137 x138 -x139 x140 x141 -x142 -x143 -x144 x145 x146 -x147 x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 68.27/68.34 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 68.27/68.34 c 39 117261 727 120676 3879 144663 3485 1716 68.33 68.27/68.34 c Objective: 3 68.27/68.34 s OPTIMUM FOUND 68.27/68.34 c Total time: 68.325 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670559-1276702645/watcher-2670559-1276702645 -o /tmp/evaluation-result-2670559-1276702645/solver-2670559-1276702645 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670559-1276702645.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/106 9868 /proc/meminfo: memFree=1693316/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=10792 CPUtime=0 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 350 0 0 0 0 0 0 0 18 0 1 0 45868361 11051008 265 1992294400 134512640 137138936 4293912800 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 2698 265 192 642 0 2054 0 [startup+0.059446 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9868 /proc/meminfo: memFree=1693316/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=11176 CPUtime=0.05 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 441 0 0 0 5 0 0 0 20 0 1 0 45868361 11444224 356 1992294400 134512640 137138936 4293912800 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 2794 356 192 642 0 2150 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11176 [startup+0.101449 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9868 /proc/meminfo: memFree=1693316/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=11436 CPUtime=0.09 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 504 0 0 0 9 0 0 0 20 0 1 0 45868361 11710464 419 1992294400 134512640 137138936 4293912800 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 2859 419 192 642 0 2215 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11436 [startup+0.301468 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9868 /proc/meminfo: memFree=1693316/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=12472 CPUtime=0.29 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 754 0 0 0 29 0 0 0 20 0 1 0 45868361 12771328 669 1992294400 134512640 137138936 4293912800 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 3118 669 192 642 0 2474 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12472 [startup+0.701506 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9868 /proc/meminfo: memFree=1693316/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=13240 CPUtime=0.69 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 941 0 0 0 69 0 0 0 21 0 1 0 45868361 13557760 856 1992294400 134512640 137138936 4293912800 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 3310 856 192 642 0 2666 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13240 [startup+1.50058 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9869 /proc/meminfo: memFree=1690456/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=13496 CPUtime=1.49 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1022 0 0 0 148 1 0 0 23 0 1 0 45868361 13819904 937 1992294400 134512640 137138936 4293912800 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 3374 937 192 642 0 2730 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13496 [startup+3.10073 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1689836/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=14140 CPUtime=3.09 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1183 0 0 0 308 1 0 0 25 0 1 0 45868361 14479360 1098 1992294400 134512640 137138936 4293912800 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 3535 1098 192 642 0 2891 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14140 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1689340/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=14140 CPUtime=6.29 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1183 0 0 0 627 2 0 0 25 0 1 0 45868361 14479360 1098 1992294400 134512640 137138936 4293912800 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 3535 1098 192 642 0 2891 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14140 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1688968/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=14528 CPUtime=12.68 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1286 0 0 0 1265 3 0 0 25 0 1 0 45868361 14876672 1201 1992294400 134512640 137138936 4293912800 18446744073709551615 134551890 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 3632 1201 192 642 0 2988 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14528 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1687604/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=15920 CPUtime=25.49 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1615 0 0 0 2543 6 0 0 25 0 1 0 45868361 16302080 1530 1992294400 134512640 137138936 4293912800 18446744073709551615 134555785 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 3980 1530 192 642 0 3336 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15920 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1686860/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=16656 CPUtime=51.07 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1804 0 0 0 5095 12 0 0 25 0 1 0 45868361 17055744 1719 1992294400 134512640 137138936 4293912800 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 4164 1719 192 642 0 3520 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16656 Solver just ended. Dumping a history of the last processes samples [startup+57.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1686860/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=16656 CPUtime=57.47 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1804 0 0 0 5733 14 0 0 25 0 1 0 45868361 17055744 1719 1992294400 134512640 137138936 4293912800 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 4164 1719 192 642 0 3520 0 Current children cumulated CPU time (s) 57.47 Current children cumulated vsize (KiB) 16656 [startup+63.9005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1686860/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=16656 CPUtime=63.87 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1804 0 0 0 6372 15 0 0 25 0 1 0 45868361 17055744 1719 1992294400 134512640 137138936 4293912800 18446744073709551615 134599264 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 4164 1719 192 642 0 3520 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 16656 [startup+65.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1686860/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=16656 CPUtime=65.47 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1804 0 0 0 6532 15 0 0 25 0 1 0 45868361 17055744 1719 1992294400 134512640 137138936 4293912800 18446744073709551615 134574827 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 4164 1719 192 642 0 3520 0 Current children cumulated CPU time (s) 65.47 Current children cumulated vsize (KiB) 16656 [startup+67.1088 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1686860/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=16656 CPUtime=67.07 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1804 0 0 0 6692 15 0 0 25 0 1 0 45868361 17055744 1719 1992294400 134512640 137138936 4293912800 18446744073709551615 134576109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 4164 1719 192 642 0 3520 0 Current children cumulated CPU time (s) 67.07 Current children cumulated vsize (KiB) 16656 [startup+67.9009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1686860/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=16656 CPUtime=67.86 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1804 0 0 0 6771 15 0 0 25 0 1 0 45868361 17055744 1719 1992294400 134512640 137138936 4293912800 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 4164 1719 192 642 0 3520 0 Current children cumulated CPU time (s) 67.86 Current children cumulated vsize (KiB) 16656 [startup+68.3009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9871 /proc/meminfo: memFree=1686860/2059040 swapFree=4140408/4192956 [pid=9868] ppid=9866 vsize=16656 CPUtime=68.27 /proc/9868/stat : 9868 (bsolo_pb10) R 9866 9868 9519 0 -1 4202496 1804 0 0 0 6811 16 0 0 25 0 1 0 45868361 17055744 1719 1992294400 134512640 137138936 4293912800 18446744073709551615 134602721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9868/statm: 4164 1719 192 642 0 3520 0 Current children cumulated CPU time (s) 68.27 Current children cumulated vsize (KiB) 16656 Child status: 0 Real time (s): 68.3491 CPU time (s): 68.3276 CPU user time (s): 68.1646 CPU system time (s): 0.162975 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 16680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.1646 system time used= 0.162975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1805 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= 935 runsolver used 0.113982 second user time and 0.332949 second system time The end
Begin job on node004 at 2010-06-16 17:37:25 IDJOB=2670559 IDBENCH=47996 IDSOLVER=1162 FILE ID=node004/2670559-1276702645 PBS_JOBID= 11174129 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=239-P1=257-P2=113-P3=223-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670559-1276702645/watcher-2670559-1276702645 -o /tmp/evaluation-result-2670559-1276702645/solver-2670559-1276702645 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670559-1276702645.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff8e4ce8aca8e0dab1b59dd2a47026b4 RANDOM SEED=2061008470 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1694092 kB Buffers: 122524 kB Cached: 147540 kB SwapCached: 6480 kB Active: 100312 kB Inactive: 183584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1694092 kB SwapTotal: 4192956 kB SwapFree: 4140408 kB Dirty: 3856 kB Writeback: 0 kB AnonPages: 12084 kB Mapped: 13196 kB Slab: 59304 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182724 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670559-1276702645.opb Free space on /tmp at the end= 62560 MiB End job on node004 at 2010-06-16 17:38:33