Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 68.3276 | 68.3632 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb |
MD5SUM | c07fae5b4c60769a268376cf318d4faa |
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 | 7.41787 |
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 | 147 |
Total number of constraints | 15 |
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 | 15 |
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) | 343 |
Sum of products size (including duplicates) | 686 |
Number of different products | 343 |
Sum of products size | 686 |
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: Clause 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-1877929-1245186427.opb 0.00/0.00 c File size is 25525 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 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: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843 0.00/0.00 c Obj. Vars: 7 (1.42857 % of total variables) 0.00/0.00 c Pre-processing Time: 0.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 490 708 2982 4 2557 4020 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 6.59/6.70 c 100 490 808 7053 8 2711 4423 100 6666 0.01 6.59/6.70 c 250 490 958 15020 15 2987 4866 250 8928 0.03 6.59/6.70 c 476 490 1184 27396 23 3453 5353 476 10127 0.05 6.59/6.70 c 814 490 1522 45917 30 4121 5889 814 10049 0.08 6.59/6.70 c 1322 490 2030 74110 36 5124 6478 1322 10248 0.13 6.59/6.70 c 2085 490 2793 115157 41 6585 7126 2085 10121 0.21 6.59/6.70 c 3231 490 3939 173224 43 8894 7839 3231 8502 0.38 6.59/6.70 c 4954 490 5662 265004 46 12328 8623 4954 7097 0.70 6.59/6.70 c 7540 490 8248 381654 46 17548 9486 7540 6017 1.25 6.59/6.70 c 11419 490 6932 338571 48 14822 10435 6224 5831 1.96 6.59/6.70 c 17241 490 7335 383581 52 15669 11479 6627 5745 3.00 6.59/6.70 c 25979 489 10199 483752 47 21465 12627 9491 5541 4.69 6.59/6.70 o 3 68.25/68.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.25/68.36 c 33750 489 11241 570990 50 23529 4034 10533 5041 6.70 68.25/68.36 c 33850 456 2827 112487 39 6718 4438 2119 5004 6.76 68.25/68.36 c 34100 456 3077 126091 40 7210 4882 2369 5016 6.80 68.25/68.36 c 34576 456 3553 151681 42 8052 5371 2845 5037 6.86 68.25/68.36 c 35390 456 4367 194767 44 9752 5909 3659 5073 6.97 68.25/68.36 c 36710 456 5687 260488 45 12345 6500 4979 5051 7.27 68.25/68.36 c 38791 434 4242 184196 43 9610 7151 3534 5084 7.63 68.25/68.36 c 42014 434 7465 358294 47 16003 7867 6757 5009 8.39 68.25/68.36 c 46950 434 8377 390539 46 17805 8654 7669 4510 10.41 68.25/68.36 c 54457 434 6563 301832 45 14194 9520 5855 4432 12.29 68.25/68.36 c 65819 434 7655 339468 44 16369 10473 6947 4010 16.41 68.25/68.36 c 82964 434 7874 355643 45 16790 11521 7166 3770 22.00 68.25/68.36 c 108784 432 9564 443101 46 20210 12674 8856 3267 33.29 68.25/68.36 c 147616 429 9116 411179 45 19247 13942 8408 2719 54.27 68.25/68.36 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 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 x57 -x58 -x59 x60 -x61 -x62 -x63 -x99 -x100 -x101 -x102 -x103 -x104 -x105 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 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x106 -x107 x108 -x109 -x110 -x111 -x112 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 -x289 -x290 -x291 -x292 -x293 -x294 x71 -x72 -x73 x74 x75 x76 -x77 -x113 -x114 -x115 -x116 -x117 -x118 -x119 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 x78 x79 -x80 x81 -x82 x83 -x84 x120 -x121 -x122 -x123 -x124 -x125 -x126 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 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x85 -x86 -x87 -x88 -x89 -x90 -x91 x127 -x128 -x129 -x130 -x131 -x132 -x133 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 x92 -x93 -x94 -x95 -x96 -x97 x98 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x442 -x443 -x444 -x445 -x446 -x447 x448 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 x141 -x142 -x143 -x144 -x145 -x146 -x147 68.25/68.36 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 68.25/68.36 c 26 172816 2362 183731 13072 521245 12364 2529 68.32 68.25/68.36 c Objective: 3 68.25/68.36 s OPTIMUM FOUND 68.25/68.36 c Total time: 68.324 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-1877929-1245186427/watcher-1877929-1245186427 -o /tmp/evaluation-result-1877929-1245186427/solver-1877929-1245186427 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877929-1245186427.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/65 14181 /proc/meminfo: memFree=932544/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=10840 CPUtime=0 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 186240627 11100160 270 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 2711 273 188 640 0 2067 0 [startup+0.045878 s] /proc/loadavg: 1.00 1.00 1.00 3/65 14181 /proc/meminfo: memFree=932544/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=11224 CPUtime=0.03 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 397 0 0 0 3 0 0 0 18 0 1 0 186240627 11493376 374 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 2806 374 196 640 0 2162 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11224 [startup+0.101889 s] /proc/loadavg: 1.00 1.00 1.00 3/65 14181 /proc/meminfo: memFree=932544/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=11600 CPUtime=0.09 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 508 0 0 0 9 0 0 0 18 0 1 0 186240627 11878400 485 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 2900 486 196 640 0 2256 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11600 [startup+0.301926 s] /proc/loadavg: 1.00 1.00 1.00 3/65 14181 /proc/meminfo: memFree=932544/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=12996 CPUtime=0.3 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 860 0 0 0 29 1 0 0 19 0 1 0 186240627 13307904 837 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 3249 837 196 640 0 2605 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12996 [startup+0.702002 s] /proc/loadavg: 1.00 1.00 1.00 3/65 14181 /proc/meminfo: memFree=932544/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=14772 CPUtime=0.69 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 1290 0 0 0 68 1 0 0 23 0 1 0 186240627 15126528 1267 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 3693 1267 196 640 0 3049 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14772 [startup+1.50115 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=927032/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=18076 CPUtime=1.49 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2134 0 0 0 147 2 0 0 25 0 1 0 186240627 18509824 2111 1992294400 134512640 137136520 4294956256 18446744073709551615 134544080 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 4519 2111 196 640 0 3875 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18076 [startup+3.10146 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=924216/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=19580 CPUtime=3.09 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2494 0 0 0 306 3 0 0 25 0 1 0 186240627 20049920 2471 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 4895 2471 196 640 0 4251 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19580 [startup+6.30107 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921592/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21064 CPUtime=6.28 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2883 0 0 0 624 4 0 0 25 0 1 0 186240627 21569536 2860 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5266 2860 196 640 0 4622 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21064 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921464/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21064 CPUtime=12.69 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2884 0 0 0 1263 6 0 0 25 0 1 0 186240627 21569536 2861 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5266 2861 197 640 0 4622 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21064 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921656/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21064 CPUtime=25.48 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2884 0 0 0 2540 8 0 0 25 0 1 0 186240627 21569536 2861 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5266 2861 197 640 0 4622 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21064 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921400/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21572 CPUtime=51.06 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2998 0 0 0 5093 13 0 0 25 0 1 0 186240627 22089728 2975 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5393 2975 197 640 0 4749 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 21572 Solver just ended. Dumping a history of the last processes samples [startup+57.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921400/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21576 CPUtime=57.46 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2999 0 0 0 5732 14 0 0 25 0 1 0 186240627 22093824 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5394 2976 197 640 0 4750 0 Current children cumulated CPU time (s) 57.46 Current children cumulated vsize (KiB) 21576 [startup+63.9011 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921400/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21576 CPUtime=63.86 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2999 0 0 0 6370 16 0 0 25 0 1 0 186240627 22093824 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5394 2976 197 640 0 4750 0 Current children cumulated CPU time (s) 63.86 Current children cumulated vsize (KiB) 21576 [startup+65.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921400/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21576 CPUtime=65.46 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2999 0 0 0 6530 16 0 0 25 0 1 0 186240627 22093824 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 134544398 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5394 2976 197 640 0 4750 0 Current children cumulated CPU time (s) 65.46 Current children cumulated vsize (KiB) 21576 [startup+67.1057 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921400/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21576 CPUtime=67.06 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2999 0 0 0 6690 16 0 0 25 0 1 0 186240627 22093824 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5394 2976 197 640 0 4750 0 Current children cumulated CPU time (s) 67.06 Current children cumulated vsize (KiB) 21576 [startup+67.9018 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921400/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21576 CPUtime=67.85 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2999 0 0 0 6769 16 0 0 25 0 1 0 186240627 22093824 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5394 2976 197 640 0 4750 0 Current children cumulated CPU time (s) 67.85 Current children cumulated vsize (KiB) 21576 [startup+68.3019 s] /proc/loadavg: 1.00 1.00 1.00 2/66 14182 /proc/meminfo: memFree=921400/2055920 swapFree=4178232/4192956 [pid=14181] ppid=14179 vsize=21576 CPUtime=68.25 /proc/14181/stat : 14181 (bsolo) R 14179 14181 13814 0 -1 4194304 2999 0 0 0 6809 16 0 0 25 0 1 0 186240627 22093824 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 136500590 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14181/statm: 5394 2976 197 640 0 4750 0 Current children cumulated CPU time (s) 68.25 Current children cumulated vsize (KiB) 21576 Child status: 0 Real time (s): 68.3632 CPU time (s): 68.3276 CPU user time (s): 68.1556 CPU system time (s): 0.171973 CPU usage (%): 99.9479 Max. virtual memory (cumulated for all children) (KiB): 21576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.1556 system time used= 0.171973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3001 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= 302 runsolver used 0.088986 second user time and 0.149977 second system time The end
Begin job on node91 at 2009-06-16 23:07:07 IDJOB=1877929 IDBENCH=47909 IDSOLVER=700 FILE ID=node91/1877929-1245186427 PBS_JOBID= 9363908 Free space on /tmp= 66444 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877929-1245186427/watcher-1877929-1245186427 -o /tmp/evaluation-result-1877929-1245186427/solver-1877929-1245186427 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877929-1245186427.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c07fae5b4c60769a268376cf318d4faa RANDOM SEED=447220912 node91.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.261 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.261 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 934688 kB Buffers: 44172 kB Cached: 975300 kB SwapCached: 8484 kB Active: 567220 kB Inactive: 462280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 934688 kB SwapTotal: 4192956 kB SwapFree: 4178232 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 15500 kB Slab: 77596 kB Committed_AS: 81316 kB PageTables: 1364 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-1877929-1245186427.opb Free space on /tmp at the end= 66440 MiB End job on node91 at 2009-06-16 23:08:16