Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 2 | 57.1523 | 57.192 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb |
MD5SUM | 10ec6ab90ad015d6fa7b4d2290470901 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 17.0144 |
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 | 192 |
Total number of constraints | 17 |
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 | 17 |
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) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
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-1875219-1245189022.opb. 0.00/0.00 c Instance file HOME/instance-1875219-1245189022.opb 0.00/0.00 c File size is 38506 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: 704 | 0.00/0.00 c | Number Clauses: 520 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 537 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 9 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 8 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 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 | 633 1072 4283 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 633 1072 4283 | 5500 100 58 | 11.961 % | 0.00/0.02 c | 250 | 633 1072 4283 | 6050 250 61 | 11.961 % | 0.00/0.03 c | 476 | 633 1072 4283 | 6655 476 61 | 11.961 % | 0.03/0.05 c | 813 | 633 1072 4283 | 7320 813 64 | 11.961 % | 0.03/0.07 c | 1320 | 633 1072 4283 | 8052 1320 63 | 11.961 % | 0.09/0.13 c | 2079 | 633 1072 4283 | 8857 2079 63 | 11.961 % | 0.19/0.20 c | 3221 | 633 1072 4283 | 9743 3221 64 | 11.961 % | 0.29/0.38 c | 4930 | 633 1072 4283 | 10717 4930 64 | 11.961 % | 0.49/0.56 c | 7492 | 633 1072 4283 | 11789 7492 65 | 11.961 % | 1.00/1.05 c | 11336 | 633 1072 4283 | 12968 11336 68 | 11.961 % | 1.39/1.45 c | 17103 | 633 1072 4283 | 14265 10374 71 | 11.961 % | 2.49/2.53 c | 25752 | 633 1072 4283 | 15692 11619 65 | 11.961 % | 3.79/3.82 c | 38727 | 633 1072 4283 | 17261 8330 69 | 11.961 % | 6.99/7.04 c | 58188 | 633 1072 4283 | 18987 10081 72 | 11.961 % | 11.89/11.90 c | 87380 | 633 1072 4283 | 20886 9907 69 | 11.963 % | 20.38/20.44 c | 131169 | 633 1072 4283 | 22974 11007 73 | 11.961 % | 37.67/37.79 c | 196853 | 633 1072 4283 | 25272 16102 66 | 11.961 % | 57.06/57.17 c =============================================================================== 57.06/57.17 c Verified 1072 original clauses. 57.06/57.17 c #cores: 2 57.06/57.17 c Final Weight: 2 57.06/57.17 o 2 57.06/57.17 s OPTIMUM FOUND 57.06/57.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 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 -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 -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 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -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 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -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 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x449 x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x105 x106 -x107 x108 -x109 -x110 x111 -x112 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x513 x514 -x515 x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 -x577 x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x121 x122 -x123 -x124 -x125 x126 -x127 x128 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x641 x642 -x643 -x644 -x645 x646 -x647 x648 -x649 x650 -x651 -x652 -x653 x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 x670 -x671 x672 -x673 x674 -x675 -x676 -x677 x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x185 -x186 -x187 -x188 x189 -x190 -x191 -x192
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875219-1245189022/watcher-1875219-1245189022 -o /tmp/evaluation-result-1875219-1245189022/solver-1875219-1245189022 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875219-1245189022.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 6040 /proc/meminfo: memFree=1817600/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=2568 CPUtime=0 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 213 0 0 0 0 0 0 0 18 0 1 0 186496361 2629632 197 1992294400 134512640 135709839 4294956240 18446744073709551615 134544470 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 642 197 130 292 0 337 0 [startup+0.039682 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6040 /proc/meminfo: memFree=1817600/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=2920 CPUtime=0.03 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 337 0 0 0 3 0 0 0 18 0 1 0 186496361 2990080 311 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 730 311 136 292 0 435 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2920 [startup+0.101692 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6040 /proc/meminfo: memFree=1817600/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=3440 CPUtime=0.09 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 447 0 0 0 9 0 0 0 18 0 1 0 186496361 3522560 421 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 860 421 136 292 0 565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.30173 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6040 /proc/meminfo: memFree=1817600/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=4732 CPUtime=0.29 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 774 0 0 0 29 0 0 0 19 0 1 0 186496361 4845568 748 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 1183 748 136 292 0 888 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4732 [startup+0.701802 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6040 /proc/meminfo: memFree=1817600/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=6964 CPUtime=0.69 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 1328 0 0 0 68 1 0 0 23 0 1 0 186496361 7131136 1302 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 1741 1302 136 292 0 1446 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6964 [startup+1.50195 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1811832/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=11044 CPUtime=1.49 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 2349 0 0 0 146 3 0 0 25 0 1 0 186496361 11309056 2323 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 2761 2323 136 292 0 2466 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11044 [startup+3.10123 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1806392/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=17768 CPUtime=3.09 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 4050 0 0 0 303 6 0 0 25 0 1 0 186496361 18194432 4024 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 4442 4024 136 292 0 4147 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17768 [startup+6.30181 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1792824/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=28620 CPUtime=6.29 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 6751 0 0 0 618 11 0 0 25 0 1 0 186496361 29306880 6725 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 7155 6725 136 292 0 6860 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28620 [startup+12.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1774712/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=47452 CPUtime=12.68 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 11467 0 0 0 1250 18 0 0 25 0 1 0 186496361 48590848 11441 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 11863 11441 136 292 0 11568 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47452 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1743352/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=76736 CPUtime=25.48 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 18787 0 0 0 2517 31 0 0 25 0 1 0 186496361 78577664 18761 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 19184 18761 136 292 0 18889 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76736 [startup+51.1019 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1700984/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=119380 CPUtime=51.05 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 29415 0 0 0 5054 51 0 0 25 0 1 0 186496361 122245120 29389 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 29845 29389 136 292 0 29550 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 119380 Solver just ended. Dumping a history of the last processes samples [startup+54.3015 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1696120/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=123980 CPUtime=54.25 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 30557 0 0 0 5372 53 0 0 25 0 1 0 186496361 126955520 30531 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 30995 30531 136 292 0 30700 0 Current children cumulated CPU time (s) 54.25 Current children cumulated vsize (KiB) 123980 [startup+55.9018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1694840/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=125476 CPUtime=55.85 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 30941 0 0 0 5531 54 0 0 25 0 1 0 186496361 128487424 30915 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 31369 30915 136 292 0 31074 0 Current children cumulated CPU time (s) 55.85 Current children cumulated vsize (KiB) 125476 [startup+56.7019 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1694008/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=125992 CPUtime=56.65 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 31063 0 0 0 5611 54 0 0 25 0 1 0 186496361 129015808 31037 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 31498 31037 136 292 0 31203 0 Current children cumulated CPU time (s) 56.65 Current children cumulated vsize (KiB) 125992 [startup+57.102 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6041 /proc/meminfo: memFree=1691832/2055920 swapFree=4182476/4192956 [pid=6040] ppid=6038 vsize=127808 CPUtime=57.06 /proc/6040/stat : 6040 (wbo) R 6038 6040 5488 0 -1 4194304 31497 0 0 0 5650 56 0 0 25 0 1 0 186496361 130875392 31471 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6040/statm: 31952 31471 136 292 0 31657 0 Current children cumulated CPU time (s) 57.06 Current children cumulated vsize (KiB) 127808 Child status: 0 Real time (s): 57.192 CPU time (s): 57.1523 CPU user time (s): 56.5694 CPU system time (s): 0.582911 CPU usage (%): 99.9306 Max. virtual memory (cumulated for all children) (KiB): 127808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 56.5694 system time used= 0.582911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31587 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= 238 runsolver used 0.05999 second user time and 0.156976 second system time The end
Begin job on node67 at 2009-06-16 23:50:22 IDJOB=1875219 IDBENCH=48059 IDSOLVER=698 FILE ID=node67/1875219-1245189022 PBS_JOBID= 9368271 Free space on /tmp= 66428 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-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-1875219-1245189022/watcher-1875219-1245189022 -o /tmp/evaluation-result-1875219-1245189022/solver-1875219-1245189022 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875219-1245189022.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 10ec6ab90ad015d6fa7b4d2290470901 RANDOM SEED=1440783085 node67.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.272 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.272 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: 1818144 kB Buffers: 28804 kB Cached: 146124 kB SwapCached: 4524 kB Active: 49724 kB Inactive: 132808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1818144 kB SwapTotal: 4192956 kB SwapFree: 4182476 kB Dirty: 2388 kB Writeback: 0 kB Mapped: 13444 kB Slab: 41216 kB Committed_AS: 106508 kB PageTables: 1440 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-1875219-1245189022.opb Free space on /tmp at the end= 66428 MiB End job on node67 at 2009-06-16 23:51:19