Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 3 | 27.1699 | 27.1765 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb |
MD5SUM | e04f59e7146720276551350f74bab120 |
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 | 0.460929 |
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 | 96 |
Total number of constraints | 9 |
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 | 9 |
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) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702076-1278546445.opb. 0.00/0.00 c Instance file HOME/instance-2702076-1278546445.opb 0.00/0.00 c File size is 18984 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 352 | 0.00/0.00 c | Number Clauses: 256 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 269 | 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 | 352 525 2200 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 102 | 352 525 2200 | 5500 102 65 | 0.007 % | 0.00/0.01 c | 253 | 352 525 2200 | 6050 253 62 | 0.007 % | 0.00/0.03 c | 478 | 352 525 2200 | 6655 478 62 | 0.001 % | 0.00/0.05 c | 815 | 352 525 2200 | 7320 815 59 | 0.001 % | 0.00/0.08 c | 1321 | 352 525 2200 | 8052 1321 56 | 0.001 % | 0.09/0.14 c | 2082 | 352 525 2200 | 8857 2082 53 | 0.001 % | 0.19/0.24 c | 3222 | 352 525 2200 | 9743 3222 52 | 0.001 % | 0.39/0.42 c | 4931 | 352 525 2200 | 10717 4931 45 | 0.001 % | 0.59/0.62 c | 7493 | 352 525 2200 | 11789 7493 47 | 0.001 % | 1.29/1.30 c | 11338 | 352 525 2200 | 12968 11338 44 | 0.001 % | 1.99/2.08 c | 17104 | 352 525 2200 | 14265 10589 30 | 0.001 % | 2.99/3.04 c | 25753 | 352 525 2200 | 15692 11976 48 | 0.001 % | 4.40/4.44 c | 38728 | 351 525 2200 | 17261 9190 27 | 0.291 % | 7.29/7.37 c | 58189 | 349 525 2200 | 18987 11110 52 | 0.860 % | 13.58/13.60 c | 87381 | 349 525 2200 | 20886 11658 29 | 0.853 % | 13.69/13.72 c =============================================================================== 13.69/13.72 c New solution: 9 13.69/13.72 o 9 13.69/13.72 c Elapsed CPU time: 13.4849 s Remaining CPU time: 166.515 s 13.69/13.72 c =============================================================================== 13.69/13.72 c | 88588 | 349 526 2208 | 5000 12861 31 | 0.853 % | 13.69/13.79 c | 88688 | 309 526 2208 | 5500 3316 36 | 12.223 % | 13.79/13.81 c | 88838 | 309 526 2208 | 6050 3466 37 | 12.217 % | 13.79/13.83 c | 89064 | 309 526 2208 | 6655 3692 38 | 12.217 % | 13.79/13.87 c | 89402 | 309 526 2208 | 7320 4030 37 | 12.217 % | 13.89/13.92 c | 89909 | 309 526 2208 | 8052 4537 36 | 12.217 % | 13.98/14.02 c | 90669 | 309 526 2208 | 8857 5297 35 | 12.217 % | 14.09/14.12 c | 91809 | 309 526 2208 | 9743 6437 38 | 12.217 % | 14.29/14.34 c | 93518 | 309 526 2208 | 10717 8146 36 | 12.217 % | 14.48/14.53 c =============================================================================== 14.48/14.53 c New solution: 5 14.48/14.53 o 5 14.48/14.53 c Elapsed CPU time: 14.2818 s Remaining CPU time: 165.718 s 14.48/14.53 c =============================================================================== 14.48/14.53 c | 95217 | 309 527 2216 | 5000 9845 37 | 12.217 % | 14.48/14.56 c | 95317 | 299 527 2216 | 5500 5023 39 | 15.058 % | 14.48/14.58 c | 95467 | 299 527 2216 | 6050 5173 39 | 15.058 % | 14.59/14.60 c | 95692 | 299 527 2216 | 6655 5398 39 | 15.058 % | 14.59/14.64 c | 96031 | 299 527 2216 | 7320 5737 38 | 15.058 % | 14.59/14.69 c | 96538 | 299 527 2216 | 8052 6244 37 | 15.058 % | 14.79/14.80 c | 97299 | 299 527 2216 | 8857 7005 36 | 15.058 % | 14.88/14.95 c | 98439 | 299 527 2216 | 9743 8145 35 | 15.058 % | 15.09/15.15 c | 100147 | 299 527 2216 | 10717 9853 37 | 15.058 % | 15.39/15.46 c | 102710 | 299 527 2216 | 11789 6978 40 | 15.058 % | 15.99/16.01 c | 106555 | 299 527 2216 | 12968 10823 33 | 15.058 % | 15.99/16.08 c =============================================================================== 15.99/16.08 c New solution: 3 15.99/16.08 o 3 15.99/16.08 c Elapsed CPU time: 15.8026 s Remaining CPU time: 164.197 s 15.99/16.08 c =============================================================================== 15.99/16.08 c | 107006 | 299 528 2224 | 5000 11274 33 | 15.058 % | 16.09/16.13 c | 107106 | 298 528 2224 | 5500 2919 26 | 21.030 % | 16.09/16.15 c | 107256 | 278 528 2224 | 6050 3069 27 | 21.024 % | 16.09/16.18 c | 107482 | 278 528 2224 | 6655 3295 27 | 21.024 % | 16.19/16.22 c | 107819 | 278 528 2224 | 7320 3632 26 | 21.024 % | 16.19/16.28 c | 108325 | 278 528 2224 | 8052 4138 26 | 21.024 % | 16.29/16.36 c | 109085 | 278 528 2224 | 8857 4898 25 | 21.024 % | 16.38/16.44 c | 110224 | 278 528 2224 | 9743 6037 29 | 21.024 % | 16.60/16.64 c | 111937 | 278 528 2224 | 10717 7750 31 | 21.024 % | 16.79/16.88 c | 114499 | 278 528 2224 | 11789 10312 36 | 21.024 % | 17.39/17.43 c | 118343 | 277 528 2224 | 12968 8183 49 | 21.308 % | 18.49/18.55 c | 124110 | 277 528 2224 | 14265 7381 63 | 21.308 % | 20.69/20.75 c | 132760 | 277 528 2224 | 15692 8826 46 | 21.308 % | 23.69/23.72 c | 145735 | 277 528 2224 | 17261 13875 42 | 21.314 % | 27.09/27.17 c =============================================================================== 27.09/27.17 c Best Solution: 3 27.09/27.17 s OPTIMUM FOUND 27.09/27.17 c Total CPU time: 26.7329 s 27.09/27.17 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 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 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x41 -x42 -x43 x44 x45 x46 -x47 -x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 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 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -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 -x351 -x352 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702076-1278546445/watcher-2702076-1278546445 -o /tmp/evaluation-result-2702076-1278546445/solver-2702076-1278546445 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702076-1278546445.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.96 0.48 0.19 3/105 28031 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=2576 CPUtime=0 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 311 0 0 0 0 0 0 0 25 0 1 0 22853022 2637824 224 1992294400 134512640 135751879 4292466720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 644 224 146 303 0 339 0 [startup+0.101536 s] /proc/loadavg: 0.96 0.48 0.19 3/105 28031 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=3088 CPUtime=0.09 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 425 0 0 0 9 0 0 0 25 0 1 0 22853022 3162112 338 1992294400 134512640 135751879 4292466720 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 772 338 147 303 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.201546 s] /proc/loadavg: 0.96 0.48 0.19 3/105 28031 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=3484 CPUtime=0.19 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 524 0 0 0 19 0 0 0 25 0 1 0 22853022 3567616 437 1992294400 134512640 135751879 4292466720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 871 437 147 303 0 566 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3484 [startup+0.301556 s] /proc/loadavg: 0.96 0.48 0.19 3/105 28031 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=3744 CPUtime=0.29 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 605 0 0 0 29 0 0 0 25 0 1 0 22853022 3833856 518 1992294400 134512640 135751879 4292466720 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 936 518 147 303 0 631 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3744 [startup+0.701598 s] /proc/loadavg: 0.96 0.48 0.19 3/105 28031 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=5032 CPUtime=0.69 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 928 0 0 0 68 1 0 0 25 0 1 0 22853022 5152768 841 1992294400 134512640 135751879 4292466720 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 1258 841 147 303 0 953 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5032 [startup+1.50068 s] /proc/loadavg: 0.96 0.49 0.19 2/106 28032 /proc/meminfo: memFree=1719828/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=6276 CPUtime=1.49 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 1205 0 0 0 147 2 0 0 25 0 1 0 22853022 6426624 1118 1992294400 134512640 135751879 4292466720 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 1569 1118 147 303 0 1264 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6276 [startup+3.10084 s] /proc/loadavg: 0.96 0.49 0.19 2/106 28032 /proc/meminfo: memFree=1717968/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=10024 CPUtime=3.09 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 2156 0 0 0 304 5 0 0 25 0 1 0 22853022 10264576 2069 1992294400 134512640 135751879 4292466720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 2506 2069 148 303 0 2201 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10024 [startup+6.30116 s] /proc/loadavg: 0.96 0.49 0.19 2/106 28032 /proc/meminfo: memFree=1712016/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=15196 CPUtime=6.29 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 3442 0 0 0 617 12 0 0 25 0 1 0 22853022 15560704 3355 1992294400 134512640 135751879 4292466720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 3799 3355 148 303 0 3494 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15196 [startup+12.7008 s] /proc/loadavg: 0.97 0.51 0.20 2/106 28032 /proc/meminfo: memFree=1701848/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=23792 CPUtime=12.68 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 5600 0 0 0 1247 21 0 0 25 0 1 0 22853022 24363008 5513 1992294400 134512640 135751879 4292466720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 5948 5513 148 303 0 5643 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23792 [startup+25.5011 s] /proc/loadavg: 0.97 0.52 0.21 2/106 28032 /proc/meminfo: memFree=1684364/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=41176 CPUtime=25.49 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 9924 0 0 0 2509 40 0 0 25 0 1 0 22853022 42164224 9837 1992294400 134512640 135751879 4292466720 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 10294 9837 148 303 0 9989 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41176 Solver just ended. Dumping a history of the last processes samples [startup+25.6021 s] /proc/loadavg: 0.97 0.52 0.21 2/106 28032 /proc/meminfo: memFree=1684364/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=41304 CPUtime=25.59 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 9949 0 0 0 2519 40 0 0 25 0 1 0 22853022 42295296 9862 1992294400 134512640 135751879 4292466720 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 10326 9862 148 303 0 10021 0 Current children cumulated CPU time (s) 25.59 Current children cumulated vsize (KiB) 41304 [startup+26.4002 s] /proc/loadavg: 0.97 0.53 0.21 2/106 28032 /proc/meminfo: memFree=1683124/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=42084 CPUtime=26.39 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 10151 0 0 0 2598 41 0 0 25 0 1 0 22853022 43094016 10064 1992294400 134512640 135751879 4292466720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 10521 10064 148 303 0 10216 0 Current children cumulated CPU time (s) 26.39 Current children cumulated vsize (KiB) 42084 [startup+26.8002 s] /proc/loadavg: 0.97 0.53 0.21 2/106 28032 /proc/meminfo: memFree=1683124/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=42724 CPUtime=26.78 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 10299 0 0 0 2636 42 0 0 25 0 1 0 22853022 43749376 10212 1992294400 134512640 135751879 4292466720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 10681 10212 148 303 0 10376 0 Current children cumulated CPU time (s) 26.78 Current children cumulated vsize (KiB) 42724 [startup+27.0002 s] /proc/loadavg: 0.97 0.53 0.21 2/106 28032 /proc/meminfo: memFree=1683124/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=42980 CPUtime=26.98 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 10364 0 0 0 2656 42 0 0 25 0 1 0 22853022 44011520 10277 1992294400 134512640 135751879 4292466720 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 10745 10277 148 303 0 10440 0 Current children cumulated CPU time (s) 26.98 Current children cumulated vsize (KiB) 42980 [startup+27.1002 s] /proc/loadavg: 0.97 0.53 0.21 2/106 28032 /proc/meminfo: memFree=1683124/2059040 swapFree=4139448/4192956 [pid=28031] ppid=28029 vsize=42980 CPUtime=27.09 /proc/28031/stat : 28031 (wbo1.4b) R 28029 28031 27594 0 -1 4202496 10392 0 0 0 2666 43 0 0 25 0 1 0 22853022 44011520 10305 1992294400 134512640 135751879 4292466720 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28031/statm: 10745 10305 148 303 0 10440 0 Current children cumulated CPU time (s) 27.09 Current children cumulated vsize (KiB) 42980 Child status: 0 Real time (s): 27.1765 CPU time (s): 27.1699 CPU user time (s): 26.7329 CPU system time (s): 0.436933 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 42980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.7329 system time used= 0.436933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10403 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= 82 runsolver used 0.041993 second user time and 0.138978 second system time The end
Begin job on node084 at 2010-07-08 01:47:25 IDJOB=2702076 IDBENCH=47973 IDSOLVER=1161 FILE ID=node084/2702076-1278546445 PBS_JOBID= 11239479 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702076-1278546445/watcher-2702076-1278546445 -o /tmp/evaluation-result-2702076-1278546445/solver-2702076-1278546445 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702076-1278546445.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e04f59e7146720276551350f74bab120 RANDOM SEED=285902742 node084.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.215 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.43 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.215 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 : 5999.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1723960 kB Buffers: 55928 kB Cached: 175416 kB SwapCached: 22024 kB Active: 142604 kB Inactive: 118272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1723960 kB SwapTotal: 4192956 kB SwapFree: 4139448 kB Dirty: 2656 kB Writeback: 0 kB AnonPages: 12072 kB Mapped: 11884 kB Slab: 52524 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182640 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-2702076-1278546445.opb Free space on /tmp at the end= 62492 MiB End job on node084 at 2010-07-08 01:47:52