Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 3 | 40.6338 | 40.6488 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb |
MD5SUM | feb866c77c1922bd09324402c14b21f3 |
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 | 8.35173 |
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 | 105 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875233-1245189335.opb. 0.00/0.00 c Instance file HOME/instance-1875233-1245189335.opb 0.00/0.00 c File size is 18218 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 350 | 0.00/0.00 c | Number Clauses: 252 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 261 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 8 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 7 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 295 526 2040 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 295 526 2040 | 5500 100 53 | 18.734 % | 0.00/0.01 c | 251 | 295 526 2040 | 6050 251 53 | 18.739 % | 0.00/0.02 c | 477 | 295 526 2040 | 6655 477 56 | 18.734 % | 0.00/0.04 c | 815 | 295 526 2040 | 7320 815 53 | 18.734 % | 0.05/0.06 c | 1322 | 295 526 2040 | 8052 1322 53 | 18.734 % | 0.09/0.11 c | 2083 | 295 526 2040 | 8857 2083 52 | 18.734 % | 0.09/0.17 c | 3222 | 295 526 2040 | 9743 3222 52 | 18.734 % | 0.29/0.30 c | 4930 | 295 526 2040 | 10717 4930 49 | 18.734 % | 0.38/0.47 c | 7493 | 295 526 2040 | 11789 7493 51 | 18.734 % | 0.78/0.83 c | 11337 | 295 526 2040 | 12968 11337 53 | 18.734 % | 1.39/1.45 c | 17104 | 295 526 2040 | 14265 10504 53 | 18.739 % | 2.29/2.36 c | 25753 | 295 526 2040 | 15692 11923 49 | 18.734 % | 4.69/4.79 c | 38727 | 295 526 2040 | 17261 8960 50 | 18.739 % | 7.18/7.29 c | 58189 | 286 526 2040 | 18987 9574 52 | 21.218 % | 11.39/11.45 c | 87381 | 286 526 2040 | 20886 9968 51 | 21.213 % | 22.18/22.26 c | 131170 | 285 526 2040 | 22974 11618 50 | 21.494 % | 37.58/37.64 c | 196854 | 276 526 2040 | 25272 5014 47 | 23.974 % | 38.28/38.40 c =============================================================================== 39.78/39.89 c core #3 39.78/39.89 c Core size: 457 Core Weight: 1 Total Weight: 3 39.78/39.89 c Elapsed CPU time: 39.434 s Remaining CPU time: 1760.57 s 40.08/40.15 c Learning 10269 hard constraints 40.08/40.15 c ============================[ Search Statistics ]============================== 40.08/40.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.08/40.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.08/40.15 c =============================================================================== 40.08/40.15 c | 0 | 318 10801 495603 | 5000 0 nan | 0.000 % | 40.08/40.20 c | 101 | 318 10801 495603 | 5500 101 56 | 14.061 % | 40.18/40.22 c | 251 | 318 10801 495603 | 6050 251 62 | 14.061 % | 40.18/40.23 c | 476 | 318 10801 495603 | 6655 476 54 | 14.055 % | 40.18/40.26 c | 813 | 318 10801 495603 | 7320 813 53 | 14.055 % | 40.18/40.29 c | 1320 | 318 10801 495603 | 8052 1320 49 | 14.061 % | 40.28/40.35 c | 2081 | 318 10801 495603 | 8857 2081 52 | 14.055 % | 40.38/40.43 c | 3221 | 318 10801 495603 | 9743 3221 51 | 14.055 % | 40.48/40.60 c | 4929 | 318 10801 495603 | 10717 4929 50 | 14.060 % | 40.58/40.63 c =============================================================================== 40.58/40.63 c Verified 10801 original clauses. 40.58/40.63 c #cores: 3 40.58/40.63 c Final Weight: 3 40.58/40.63 o 3 40.58/40.63 s OPTIMUM FOUND 40.58/40.63 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 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 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x43 -x44 -x45 x46 x47 -x48 -x49 x71 -x72 -x73 -x74 -x75 -x76 -x77 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 -x201 -x202 -x203 x50 -x51 -x52 -x53 -x54 x55 x56 x78 -x79 -x80 -x81 -x82 -x83 -x84 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 x57 -x58 -x59 -x60 -x61 -x62 -x63 x85 -x86 -x87 x88 x89 -x90 -x91 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 x64 x65 -x66 x67 -x68 -x69 x70 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x302 x303 -x304 x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 x331 -x332 x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x99 -x100 -x101 x102 -x103 -x104 -x105
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875233-1245189335/watcher-1875233-1245189335 -o /tmp/evaluation-result-1875233-1245189335/solver-1875233-1245189335 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875233-1245189335.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.98 0.99 3/64 11523 /proc/meminfo: memFree=1841352/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=2524 CPUtime=0 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 186529581 2584576 205 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 631 206 133 292 0 336 0 [startup+0.0600811 s] /proc/loadavg: 0.99 0.98 0.99 3/64 11523 /proc/meminfo: memFree=1841352/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=3044 CPUtime=0.05 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 342 0 0 0 5 0 0 0 18 0 1 0 186529581 3117056 321 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 761 321 136 292 0 466 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3044 [startup+0.101084 s] /proc/loadavg: 0.99 0.98 0.99 3/64 11523 /proc/meminfo: memFree=1841352/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=3300 CPUtime=0.09 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 413 0 0 0 9 0 0 0 18 0 1 0 186529581 3379200 392 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 825 392 136 292 0 530 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3300 [startup+0.301102 s] /proc/loadavg: 0.99 0.98 0.99 3/64 11523 /proc/meminfo: memFree=1841352/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=4472 CPUtime=0.29 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 704 0 0 0 29 0 0 0 19 0 1 0 186529581 4579328 683 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 1118 683 136 292 0 823 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4472 [startup+0.701137 s] /proc/loadavg: 0.99 0.98 0.99 3/64 11523 /proc/meminfo: memFree=1841352/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=6580 CPUtime=0.69 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 1224 0 0 0 68 1 0 0 22 0 1 0 186529581 6737920 1203 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 1645 1203 136 292 0 1350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6580 [startup+1.50121 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1835712/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=9700 CPUtime=1.49 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 1995 0 0 0 146 3 0 0 25 0 1 0 186529581 9932800 1974 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 2425 1974 136 292 0 2130 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9700 [startup+3.10135 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1831808/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=14540 CPUtime=3.09 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 3217 0 0 0 304 5 0 0 25 0 1 0 186529581 14888960 3196 1992294400 134512640 135709839 4294956240 18446744073709551615 134611812 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 3635 3196 136 292 0 3340 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14540 [startup+6.30163 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1822208/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=23268 CPUtime=6.29 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 5421 0 0 0 619 10 0 0 25 0 1 0 186529581 23826432 5400 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 5817 5400 136 292 0 5522 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23268 [startup+12.7022 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1803968/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=40660 CPUtime=12.69 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 9748 0 0 0 1250 19 0 0 25 0 1 0 186529581 41635840 9727 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 10165 9727 136 292 0 9870 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40660 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1779840/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=63912 CPUtime=25.48 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 15546 0 0 0 2516 32 0 0 25 0 1 0 186529581 65445888 15525 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 15978 15525 136 292 0 15683 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 63912 Solver just ended. Dumping a history of the last processes samples [startup+31.9059 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1771968/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=71556 CPUtime=31.88 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 17449 0 0 0 3151 37 0 0 25 0 1 0 186529581 73273344 17428 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 17889 17428 136 292 0 17594 0 Current children cumulated CPU time (s) 31.88 Current children cumulated vsize (KiB) 71556 [startup+35.1012 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1767232/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=76100 CPUtime=35.09 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 18591 0 0 0 3469 40 0 0 25 0 1 0 186529581 77926400 18570 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 19025 18570 136 292 0 18730 0 Current children cumulated CPU time (s) 35.09 Current children cumulated vsize (KiB) 76100 [startup+38.3014 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1764800/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=81172 CPUtime=38.28 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 19862 0 0 0 3785 43 0 0 25 0 1 0 186529581 83120128 19841 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 20293 19841 136 292 0 19998 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 81172 [startup+39.9016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1757504/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=86184 CPUtime=39.88 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 21124 0 0 0 3944 44 0 0 25 0 1 0 186529581 88252416 21103 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 21546 21103 136 292 0 21251 0 Current children cumulated CPU time (s) 39.88 Current children cumulated vsize (KiB) 86184 [startup+40.3016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1757504/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=88328 CPUtime=40.28 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 21646 0 0 0 3983 45 0 0 25 0 1 0 186529581 90447872 21625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 22082 21625 136 292 0 21787 0 Current children cumulated CPU time (s) 40.28 Current children cumulated vsize (KiB) 88328 [startup+40.5016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1757504/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=88328 CPUtime=40.48 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 21647 0 0 0 4003 45 0 0 25 0 1 0 186529581 90447872 21626 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 22082 21626 136 292 0 21787 0 Current children cumulated CPU time (s) 40.48 Current children cumulated vsize (KiB) 88328 [startup+40.6016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11524 /proc/meminfo: memFree=1755008/2055920 swapFree=4182220/4192956 [pid=11523] ppid=11521 vsize=88328 CPUtime=40.58 /proc/11523/stat : 11523 (wbo) R 11521 11523 10952 0 -1 4194304 21647 0 0 0 4013 45 0 0 25 0 1 0 186529581 90447872 21626 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11523/statm: 22082 21626 136 292 0 21787 0 Current children cumulated CPU time (s) 40.58 Current children cumulated vsize (KiB) 88328 Child status: 0 Real time (s): 40.6488 CPU time (s): 40.6338 CPU user time (s): 40.1619 CPU system time (s): 0.471928 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 88328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.1619 system time used= 0.471928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21647 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= 84 runsolver used 0.042993 second user time and 0.097985 second system time The end
Begin job on node50 at 2009-06-16 23:55:35 IDJOB=1875233 IDBENCH=48073 IDSOLVER=698 FILE ID=node50/1875233-1245189335 PBS_JOBID= 9368273 Free space on /tmp= 66424 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875233-1245189335/watcher-1875233-1245189335 -o /tmp/evaluation-result-1875233-1245189335/solver-1875233-1245189335 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875233-1245189335.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= feb866c77c1922bd09324402c14b21f3 RANDOM SEED=1027753465 node50.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.211 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.211 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: 1841768 kB Buffers: 25336 kB Cached: 114652 kB SwapCached: 4580 kB Active: 47792 kB Inactive: 99616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841768 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 2572 kB Writeback: 0 kB Mapped: 13440 kB Slab: 52656 kB Committed_AS: 112512 kB PageTables: 1452 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-1875233-1245189335.opb Free space on /tmp at the end= 66424 MiB End job on node50 at 2009-06-16 23:56:16