Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | -30 | 45.2231 | 45.2478 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
MD5SUM | 2e8a2f5e2511f10f037e700bd45c84a1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 45.2231 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 17794 |
Number of constraints which are clauses | 17794 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 450 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 0.48 c Converting 17794 PB-constraints to clauses... 0.48 c -- Unit propagations: (none) 0.48 c -- Detecting intervals from adjacent constraints: (none) 0.48 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.52 c ==================================[MINISAT+]================================== 0.52 c | Conflicts | Original | Learnt | Progress | 0.52 c | | Clauses Literals | Max Clauses Literals LPC | | 0.52 c ============================================================================== 0.52 c | 0 | 17794 35588 | 5931 0 0 nan | 0.000 % | 0.52 c ============================================================================== 0.52 c [1mFound solution: -22[0m 0.52 o -22 0.53 c ---[ 0]---> Sorter-cost:16912 Base: 0.57 c ==================================[MINISAT+]================================== 0.57 c | Conflicts | Original | Learnt | Progress | 0.57 c | | Clauses Literals | Max Clauses Literals LPC | | 0.57 c ============================================================================== 0.57 c | 0 | 34802 75593 | 11600 0 0 nan | 0.000 % | 0.60 c | 100 | 34555 75082 | 12760 84 563 6.7 | 1.179 % | 0.66 c | 250 | 33868 73599 | 14036 182 1409 7.7 | 4.575 % | 0.74 c | 475 | 33293 72348 | 15439 361 4402 12.2 | 7.461 % | 0.86 c | 812 | 32099 69706 | 16983 623 7299 11.7 | 13.625 % | 1.02 c | 1318 | 30542 66231 | 18681 1026 11447 11.2 | 21.768 % | 1.26 c | 2077 | 28055 60546 | 20550 1550 20019 12.9 | 35.084 % | 1.52 c | 3216 | 25883 55479 | 22605 2330 33904 14.6 | 47.119 % | 1.58 c ============================================================================== 1.58 c [1mFound solution: -23[0m 1.58 o -23 1.58 c ---[ 0]---> Sorter-cost: 0 Base: 1.60 c ==================================[MINISAT+]================================== 1.60 c | Conflicts | Original | Learnt | Progress | 1.60 c | | Clauses Literals | Max Clauses Literals LPC | | 1.60 c ============================================================================== 1.60 c | 3418 | 25783 55330 | 8594 2508 37255 14.9 | 47.119 % | 1.62 c | 3518 | 25667 55054 | 9453 2597 38818 14.9 | 48.756 % | 1.65 c | 3668 | 25620 54943 | 10398 2740 41433 15.1 | 49.026 % | 1.70 c | 3893 | 25347 54298 | 11438 2928 46237 15.8 | 50.576 % | 1.75 c ============================================================================== 1.75 c [1mFound solution: -26[0m 1.75 o -26 1.76 c ---[ 0]---> Sorter-cost: 0 Base: 1.78 c ==================================[MINISAT+]================================== 1.78 c | Conflicts | Original | Learnt | Progress | 1.78 c | | Clauses Literals | Max Clauses Literals LPC | | 1.78 c ============================================================================== 1.78 c | 4124 | 25176 53901 | 8392 3128 49826 15.9 | 50.576 % | 1.81 c | 4225 | 24881 53213 | 9231 3212 51047 15.9 | 53.265 % | 1.86 c | 4375 | 24356 51964 | 10154 3223 52127 16.2 | 56.273 % | 1.92 c | 4600 | 23882 50842 | 11169 3302 54080 16.4 | 58.934 % | 2.01 c | 4937 | 23389 49655 | 12286 3569 61701 17.3 | 61.756 % | 2.11 c | 5443 | 22849 48372 | 13515 3965 74891 18.9 | 64.848 % | 2.23 c | 6202 | 22592 47757 | 14866 4637 95068 20.5 | 66.284 % | 2.44 c | 7342 | 22346 47158 | 16353 5705 144892 25.4 | 67.746 % | 2.76 c | 9050 | 22090 46543 | 17988 7284 217107 29.8 | 69.207 % | 3.31 c | 11612 | 21844 45943 | 19787 9771 372379 38.1 | 70.643 % | 4.32 c | 15457 | 21655 45496 | 21766 13383 623366 46.6 | 71.725 % | 6.17 c | 21224 | 21372 44811 | 23943 18951 984412 51.9 | 73.372 % | 7.94 c ============================================================================== 7.94 c [1mFound solution: -27[0m 7.94 o -27 7.94 c ---[ 0]---> Sorter-cost: 0 Base: 7.98 c ==================================[MINISAT+]================================== 7.98 c | Conflicts | Original | Learnt | Progress | 7.98 c | | Clauses Literals | Max Clauses Literals LPC | | 7.98 c ============================================================================== 7.98 c | 26066 | 21193 44399 | 7064 23613 1307116 55.4 | 73.372 % | 8.04 c | 26166 | 21193 44399 | 7770 11907 597346 50.2 | 74.606 % | 8.11 c | 26316 | 21167 44337 | 8547 12041 602393 50.0 | 74.757 % | 8.16 c | 26542 | 21167 44337 | 9402 12267 610860 49.8 | 74.757 % | 8.21 c ============================================================================== 8.21 c [1mFound solution: -28[0m 8.21 o -28 8.22 c ---[ 0]---> Sorter-cost: 0 Base: 8.25 c ==================================[MINISAT+]================================== 8.25 c | Conflicts | Original | Learnt | Progress | 8.25 c | | Clauses Literals | Max Clauses Literals LPC | | 8.25 c ============================================================================== 8.25 c | 26715 | 21158 44290 | 7052 12438 619287 49.8 | 74.757 % | 8.28 c | 26815 | 21158 44290 | 7757 12538 623239 49.7 | 74.820 % | 8.32 c | 26965 | 21158 44290 | 8532 12688 628883 49.6 | 74.820 % | 8.39 c | 27190 | 21158 44290 | 9386 12913 639459 49.5 | 74.820 % | 8.48 c | 27527 | 21158 44290 | 10324 13250 655887 49.5 | 74.820 % | 8.62 c | 28033 | 21158 44290 | 11357 13756 682076 49.6 | 74.820 % | 8.83 c | 28792 | 21150 44272 | 12493 14511 718628 49.5 | 74.862 % | 9.20 c | 29932 | 21143 44255 | 13742 15649 781893 50.0 | 74.904 % | 9.79 c | 31640 | 21087 44120 | 15116 17285 872061 50.5 | 75.223 % | 10.74 c | 34203 | 20937 43767 | 16628 19687 1017745 51.7 | 76.061 % | 12.38 c | 38047 | 20765 43355 | 18291 23469 1249644 53.2 | 77.050 % | 15.05 c | 43813 | 20741 43298 | 20120 14828 600488 40.5 | 77.184 % | 18.38 c | 52463 | 20741 43298 | 22132 23478 924084 39.4 | 77.185 % | 24.63 c | 65437 | 20727 43264 | 24345 20053 535668 26.7 | 77.268 % | 32.30 c | 84898 | 20692 43186 | 26779 20388 496597 24.4 | 77.445 % | 34.37 c ============================================================================== 34.37 c [1mFound solution: -29[0m 34.37 o -29 34.38 c ---[ 0]---> Sorter-cost: 0 Base: 34.41 c ==================================[MINISAT+]================================== 34.41 c | Conflicts | Original | Learnt | Progress | 34.41 c | | Clauses Literals | Max Clauses Literals LPC | | 34.41 c ============================================================================== 34.41 c | 90372 | 20701 43213 | 6900 25859 654515 25.3 | 77.445 % | 34.50 c | 90472 | 20701 43213 | 7590 13030 285934 21.9 | 77.454 % | 34.56 c | 90622 | 20674 43140 | 8349 13177 288840 21.9 | 77.646 % | 34.62 c | 90847 | 20674 43140 | 9183 13402 293530 21.9 | 77.646 % | 34.71 c | 91184 | 20674 43140 | 10102 13739 298910 21.8 | 77.646 % | 34.84 c | 91690 | 20674 43140 | 11112 14245 308722 21.7 | 77.646 % | 35.07 c | 92451 | 20674 43140 | 12223 15006 320094 21.3 | 77.646 % | 35.36 c | 93590 | 20674 43140 | 13446 16145 350318 21.7 | 77.646 % | 35.81 c | 95298 | 20641 43065 | 14790 17849 400355 22.4 | 77.822 % | 36.52 c | 97860 | 20641 43065 | 16269 20411 461070 22.6 | 77.822 % | 37.62 c | 101706 | 20603 42971 | 17896 24246 583457 24.1 | 78.056 % | 38.41 c ============================================================================== 38.41 c [1mFound solution: -30[0m 38.41 o -30 38.41 c ---[ 0]---> Sorter-cost: 0 Base: 38.44 c ==================================[MINISAT+]================================== 38.44 c | Conflicts | Original | Learnt | Progress | 38.44 c | | Clauses Literals | Max Clauses Literals LPC | | 38.44 c ============================================================================== 38.44 c | 104199 | 20595 42933 | 6865 26728 644312 24.1 | 78.056 % | 38.57 c | 104300 | 20595 42933 | 7551 13465 297891 22.1 | 78.118 % | 38.61 c | 104451 | 20595 42933 | 8306 13616 301225 22.1 | 78.118 % | 38.67 c | 104676 | 20595 42933 | 9137 13841 305817 22.1 | 78.118 % | 38.76 c | 105014 | 20567 42863 | 10051 14126 312264 22.1 | 78.294 % | 38.90 c | 105520 | 20567 42863 | 11056 14632 321076 21.9 | 78.294 % | 39.10 c | 106280 | 20562 42850 | 12161 15391 334902 21.8 | 78.327 % | 39.41 c | 107419 | 20362 42389 | 13377 7434 137717 18.5 | 79.122 % | 39.77 c | 109127 | 20331 42310 | 14715 9132 223483 24.5 | 79.314 % | 40.34 c | 111689 | 20243 42100 | 16187 11666 314439 27.0 | 79.816 % | 41.32 c | 115533 | 20243 42100 | 17806 15510 406098 26.2 | 79.816 % | 42.85 c | 121300 | 20058 41689 | 19586 14339 350749 24.5 | 80.335 % | 45.24 c ============================================================================== 45.24 c [1mOptimal solution: -30[0m 45.24 s OPTIMUM FOUND 45.24 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 45.24 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 45.24 v -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 45.24 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 45.24 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 45.24 v -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 45.24 v -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 45.24 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 45.24 v -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 45.24 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 45.24 v x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 45.24 v -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 45.24 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 45.24 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 45.24 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 45.24 v -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 45.24 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 45.24 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 45.24 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 45.24 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 45.24 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 45.24 c _______________________________________________________________________________ 45.24 c 45.24 c restarts : 67 45.24 c conflicts : 129853 (2875 /sec) 45.24 c decisions : 192464 (4261 /sec) 45.24 c propagations : 0 (0 /sec) 45.24 c inspects : 0 (0 /sec) 45.24 c CPU time : 45.1731 s 45.24 c _______________________________________________________________________________
OK -30
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-35603-1149291209 -o ROOT/results/node23/solver-35603-1149291209 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node23/35603-1149291209/instance-35603-1149291209.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.90 2/64 19343 /proc/meminfo: memFree=1500776/2055920 swapFree=4180892/4192956 [pid=19343] ppid=19341 vsize=1048 CPUtime=0 /proc/19343/stat : 19343 (minisat+) D 19341 19343 19297 0 -1 4194304 85 0 0 0 0 0 0 0 18 0 1 0 194784627 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 2147483391 4096 16386 18446744072099781622 0 0 17 1 0 0 /proc/19343/statm: 262 70 58 215 0 44 0 [startup+10.0031 s] /proc/loadavg: 0.87 0.94 0.90 2/64 19343 /proc/meminfo: memFree=1489320/2055920 swapFree=4180892/4192956 [pid=19343] ppid=19341 vsize=12572 CPUtime=9.99 /proc/19343/stat : 19343 (minisat+) R 19341 19343 19297 0 -1 4194304 3004 0 0 0 995 4 0 0 25 0 1 0 194784627 12873728 2966 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19343/statm: 3143 2966 110 215 0 2925 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12572 [startup+20.0102 s] /proc/loadavg: 0.89 0.94 0.90 2/64 19343 /proc/meminfo: memFree=1488168/2055920 swapFree=4180892/4192956 [pid=19343] ppid=19341 vsize=13648 CPUtime=19.99 /proc/19343/stat : 19343 (minisat+) R 19341 19343 19297 0 -1 4194304 3277 0 0 0 1995 4 0 0 25 0 1 0 194784627 13975552 3239 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576506 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19343/statm: 3412 3239 110 215 0 3194 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 13648 [startup+30.0163 s] /proc/loadavg: 0.90 0.94 0.90 2/64 19343 /proc/meminfo: memFree=1488232/2055920 swapFree=4180892/4192956 [pid=19343] ppid=19341 vsize=13788 CPUtime=29.99 /proc/19343/stat : 19343 (minisat+) R 19341 19343 19297 0 -1 4194304 3291 0 0 0 2995 4 0 0 25 0 1 0 194784627 14118912 3253 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19343/statm: 3447 3253 110 215 0 3229 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 13788 [startup+40.0225 s] /proc/loadavg: 0.92 0.94 0.90 2/64 19343 /proc/meminfo: memFree=1488104/2055920 swapFree=4180892/4192956 [pid=19343] ppid=19341 vsize=13788 CPUtime=39.99 /proc/19343/stat : 19343 (minisat+) R 19341 19343 19297 0 -1 4194304 3313 0 0 0 3995 4 0 0 25 0 1 0 194784627 14118912 3275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19343/statm: 3447 3275 110 215 0 3229 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 13788 Child status: 30 Real time (s): 45.2478 CPU time (s): 45.2231 CPU user time (s): 45.1741 CPU system time (s): 0.048992 CPU usage (%): 99.9456 Max. virtual memory (cumulated for all children) (Kb): 13788
Begin job on node23 on Fri Jun 2 23:33:30 UTC 2006 FILE ID= 35603-1149291209 PBS_JOBID= 306895 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node23/35603-1149291209/instance-35603-1149291209.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-35603-1149291209 -o ROOT/results/node23/solver-35603-1149291209 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node23/35603-1149291209/instance-35603-1149291209.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1 RANDOM SEED= 206782466 /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.213 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 : 5931.00 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.213 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: 1500984 kB Buffers: 28232 kB Cached: 453652 kB SwapCached: 3704 kB Active: 41788 kB Inactive: 448720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1500984 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14708 kB Slab: 50448 kB Committed_AS: 298644 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Fri Jun 2 23:34:15 UTC 2006