Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 51.3882 | 51.4069 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=5-P1=47-P2=89-P3=41-P4=37-P5=113-P6=47-P7=127-P8=37-B.opb |
MD5SUM | ad74f094bba1086e11cc0beef00e98a6 |
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 | 3.42548 |
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 | 168 |
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 | 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) | 392 |
Sum of products size (including duplicates) | 784 |
Number of different products | 392 |
Sum of products size | 784 |
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-1878089-1245189299.opb 0.00/0.00 c File size is 29361 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.004 s 0.00/0.00 c Var: 560 Constr: 809 392/0/417 Lit: 3409 Watch. Lit: 2106 0.00/0.00 c Obj. Vars: 7 (1.25 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 560 809 3409 4 2923 4596 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 3.49/3.53 c 100 560 909 7076 7 3088 5056 100 6666 0.01 3.49/3.53 c 250 560 1059 14022 13 3389 5562 250 8928 0.03 3.49/3.53 c 475 560 1284 23670 18 3788 6119 475 10326 0.05 3.49/3.53 c 815 560 1624 42239 26 4469 6731 815 10448 0.08 3.49/3.53 c 1324 560 2133 67861 31 5507 7405 1324 10592 0.12 3.49/3.53 c 2088 560 2897 103149 35 7001 8146 2088 9711 0.21 3.49/3.53 c 3235 560 4044 156298 38 9253 8961 3235 7890 0.41 3.49/3.53 c 4957 560 5766 244557 42 12660 9858 4957 7420 0.67 3.49/3.53 c 7542 559 8351 362973 43 17839 10844 7542 6227 1.21 3.49/3.53 c 11421 559 6732 305352 45 14596 11929 5923 4601 2.48 3.49/3.53 o 105 20.99/21.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.99/21.05 c 15345 559 10657 504617 47 22458 4610 9848 4345 3.53 20.99/21.05 c 15445 559 3217 126087 39 7675 5072 2408 4299 3.59 20.99/21.05 c 15695 559 3467 141025 40 8136 5580 2658 4332 3.62 20.99/21.05 c 16170 559 3942 166217 42 9137 6139 3133 4373 3.70 20.99/21.05 c 16984 559 4756 205790 43 10743 6753 3947 4398 3.86 20.99/21.05 c 18304 559 6076 268190 44 13361 7429 5267 4374 4.18 20.99/21.05 c 20386 559 8158 373793 45 17563 8172 7349 4355 4.68 20.99/21.05 c 23610 558 6915 307482 44 15056 8990 6106 4185 5.64 20.99/21.05 c 28548 556 7119 334356 46 15460 9890 6310 3909 7.30 20.99/21.05 c 36055 556 9619 455331 47 20468 10880 8810 4008 8.99 20.99/21.05 c 47416 555 9546 427020 44 20306 11969 8737 3376 14.04 20.99/21.05 o 5 25.08/25.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.08/25.13 c 61949 554 11967 538850 45 25111 4610 11158 2943 21.05 25.08/25.13 c 62049 554 3221 120115 37 7624 5072 2412 2936 21.13 25.08/25.13 c 62300 554 3472 132666 38 8129 5580 2663 2944 21.16 25.08/25.13 c 62776 538 3948 158705 40 9084 6139 3139 2958 21.22 25.08/25.13 c 63590 518 4762 201537 42 10731 6753 3953 2981 21.33 25.08/25.13 c 64912 518 6084 266930 43 13385 7429 5275 3015 21.52 25.08/25.13 c 66995 518 8167 372544 45 17524 8172 7358 3030 22.11 25.08/25.13 c 70218 518 7108 321817 45 15398 8990 6299 3082 22.78 25.08/25.13 c 75154 518 7421 354153 47 16016 9890 6612 3061 24.55 25.08/25.13 o 3 51.37/51.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.37/51.40 c 77801 518 10069 486028 48 21366 4602 9260 3096 25.13 51.37/51.40 c 77902 499 3222 122028 37 7703 5063 2413 3091 25.20 51.37/51.40 c 78153 499 3473 134021 38 8187 5570 2664 3094 25.25 51.37/51.40 c 78629 499 3949 156502 39 9131 6128 3140 3098 25.38 51.37/51.40 c 79442 499 4762 195479 41 10750 6741 3953 3104 25.59 51.37/51.40 c 80762 499 6082 257939 42 13374 7416 5273 3103 26.02 51.37/51.40 c 82844 499 8164 360436 44 17577 8158 7355 3067 27.01 51.37/51.40 c 86068 496 7201 314170 43 15621 8974 6392 3071 28.02 51.37/51.40 c 91005 496 7207 323241 44 15625 9872 6398 3127 29.10 51.37/51.40 c 98511 496 9666 441904 45 20539 10860 8857 3123 31.54 51.37/51.40 c 109872 488 9861 451799 45 20912 11947 9052 3156 34.81 51.37/51.40 c 127017 488 8584 335629 39 18317 13142 7775 2886 44.01 51.37/51.40 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 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 x64 -x65 -x66 -x67 -x68 -x69 x70 -x113 x114 -x115 -x116 -x117 -x118 -x119 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 -x265 x266 x71 -x72 -x73 -x74 -x75 -x76 -x77 x120 -x121 -x122 -x123 -x124 x125 -x126 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 x78 x79 -x80 -x81 -x82 -x83 -x84 -x127 -x128 -x129 -x130 -x131 -x132 -x133 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 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x85 x86 x87 x88 -x89 -x90 -x91 -x134 -x135 -x136 -x137 -x138 -x139 -x140 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 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x92 -x93 x94 x95 -x96 x97 -x98 -x141 -x142 -x143 -x144 -x145 -x146 -x147 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 x449 -x450 x451 x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x99 -x100 -x101 -x102 -x103 -x104 -x105 x148 -x149 x150 x151 -x152 -x153 -x154 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 x106 x107 -x108 -x109 -x110 -x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x512 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 -x162 -x163 -x164 -x165 -x166 -x167 -x168 51.37/51.40 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 51.37/51.40 c 42 135769 1367 144368 10659 412606 9850 2642 51.38 51.37/51.40 c Objective: 3 51.37/51.40 s OPTIMUM FOUND 51.37/51.40 c Total time: 51.385 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-1878089-1245189299/watcher-1878089-1245189299 -o /tmp/evaluation-result-1878089-1245189299/solver-1878089-1245189299 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878089-1245189299.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 16225 /proc/meminfo: memFree=1854832/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=10740 CPUtime=0 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 256 0 0 0 0 0 0 0 20 0 1 0 186528806 10997760 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 2685 240 176 640 0 2033 0 [startup+0.0649231 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16225 /proc/meminfo: memFree=1854832/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=11348 CPUtime=0.05 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 435 0 0 0 5 0 0 0 20 0 1 0 186528806 11620352 411 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 2837 411 196 640 0 2193 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11348 [startup+0.101929 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16225 /proc/meminfo: memFree=1854832/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=11596 CPUtime=0.09 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 513 0 0 0 9 0 0 0 20 0 1 0 186528806 11874304 489 1992294400 134512640 137136520 4294956256 18446744073709551615 134544749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 2899 489 196 640 0 2255 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11596 [startup+0.301966 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16225 /proc/meminfo: memFree=1854832/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=12732 CPUtime=0.29 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 791 0 0 0 29 0 0 0 22 0 1 0 186528806 13037568 767 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 3183 767 196 640 0 2539 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12732 [startup+0.701041 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16225 /proc/meminfo: memFree=1854832/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=14616 CPUtime=0.69 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 1257 0 0 0 68 1 0 0 25 0 1 0 186528806 14966784 1233 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 3654 1233 196 640 0 3010 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14616 [startup+1.50119 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16226 /proc/meminfo: memFree=1849704/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=17036 CPUtime=1.48 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 1856 0 0 0 147 1 0 0 25 0 1 0 186528806 17444864 1832 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 4259 1832 196 640 0 3615 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 17036 [startup+3.10149 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16226 /proc/meminfo: memFree=1846504/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=19056 CPUtime=3.09 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 2371 0 0 0 307 2 0 0 25 0 1 0 186528806 19513344 2347 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 4764 2347 196 640 0 4120 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19056 [startup+6.30109 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16226 /proc/meminfo: memFree=1845936/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=19032 CPUtime=6.29 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 2372 0 0 0 626 3 0 0 25 0 1 0 186528806 19488768 2348 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 4758 2348 197 640 0 4114 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19032 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16226 /proc/meminfo: memFree=1845424/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=19516 CPUtime=12.69 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 2481 0 0 0 1264 5 0 0 25 0 1 0 186528806 19984384 2457 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 4879 2457 197 640 0 4235 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19516 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16226 /proc/meminfo: memFree=1844976/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=19892 CPUtime=25.48 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 2595 0 0 0 2540 8 0 0 25 0 1 0 186528806 20369408 2571 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 4973 2571 197 640 0 4329 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19892 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16226 /proc/meminfo: memFree=1844976/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=19896 CPUtime=51.07 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 2596 0 0 0 5094 13 0 0 25 0 1 0 186528806 20373504 2572 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 4974 2572 197 640 0 4330 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19896 Solver just ended. Dumping a history of the last processes samples [startup+51.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16226 /proc/meminfo: memFree=1844976/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=19896 CPUtime=51.27 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 2596 0 0 0 5114 13 0 0 25 0 1 0 186528806 20373504 2572 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 4974 2572 197 640 0 4330 0 Current children cumulated CPU time (s) 51.27 Current children cumulated vsize (KiB) 19896 [startup+51.4015 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16226 /proc/meminfo: memFree=1844976/2055920 swapFree=4192812/4192956 [pid=16225] ppid=16223 vsize=19896 CPUtime=51.37 /proc/16225/stat : 16225 (bsolo) R 16223 16225 15740 0 -1 4194304 2596 0 0 0 5124 13 0 0 25 0 1 0 186528806 20373504 2572 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16225/statm: 4974 2572 197 640 0 4330 0 Current children cumulated CPU time (s) 51.37 Current children cumulated vsize (KiB) 19896 Child status: 0 Real time (s): 51.4069 CPU time (s): 51.3882 CPU user time (s): 51.2512 CPU system time (s): 0.136979 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (KiB): 19896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 51.2512 system time used= 0.136979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2598 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= 3 involuntary context switches= 84 runsolver used 0.06499 second user time and 0.12998 second system time The end
Begin job on node81 at 2009-06-16 23:54:59 IDJOB=1878089 IDBENCH=48069 IDSOLVER=700 FILE ID=node81/1878089-1245189299 PBS_JOBID= 9363942 Free space on /tmp= 126776 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=5-P1=47-P2=89-P3=41-P4=37-P5=113-P6=47-P7=127-P8=37-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878089-1245189299/watcher-1878089-1245189299 -o /tmp/evaluation-result-1878089-1245189299/solver-1878089-1245189299 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878089-1245189299.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ad74f094bba1086e11cc0beef00e98a6 RANDOM SEED=1321867696 node81.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.268 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.268 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: 1855312 kB Buffers: 38180 kB Cached: 88504 kB SwapCached: 0 kB Active: 65400 kB Inactive: 76104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855312 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 24644 kB Slab: 44800 kB Committed_AS: 97060 kB PageTables: 1452 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-1878089-1245189299.opb Free space on /tmp at the end= 126772 MiB End job on node81 at 2009-06-16 23:55:50