Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 43.7933 | 43.8071 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb |
MD5SUM | 8a0125b71bb37b2e2e8bfc178a3ff25d |
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.62845 |
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 | 105 |
Total number of constraints | 11 |
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 | 11 |
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) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670749-1276705904.opb 0.00/0.00 c File size is 18218 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.003 s 0.00/0.00 c Var: 350 Constr: 506 245/0/261 Lit: 2128 Watch. Lit: 1317 0.00/0.00 c Obj. Vars: 7 (2 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 350 506 2128 4 1825 2867 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 0.39/0.43 c 102 350 691 10049 14 2248 3154 185 4080 0.03 0.39/0.43 c 253 350 970 21916 22 2904 3470 464 2811 0.09 0.39/0.43 c 478 350 1419 42628 30 3986 3818 913 3567 0.13 0.39/0.43 c 817 350 2066 72979 35 5545 4200 1560 3946 0.21 0.39/0.43 c 1326 350 3069 122130 39 8048 4621 2563 4105 0.32 0.39/0.43 o 37 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 1670 350 3703 153709 41 9501 2881 3197 3883 0.43 0.89/0.98 c 1771 341 2107 84683 40 5355 3170 1601 3792 0.47 0.89/0.98 c 2021 341 2574 102745 39 6456 3488 2068 3849 0.53 0.89/0.98 c 2496 341 3488 151543 43 8560 3837 2982 3708 0.67 0.89/0.98 c 3310 341 2896 111751 38 7327 4221 2390 3609 0.92 0.89/0.98 o 5 17.49/17.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.49/17.52 c 3580 341 3348 129965 38 8483 2879 2842 3645 0.98 17.49/17.52 c 3681 323 1948 66419 34 4941 3167 1442 3612 1.02 17.49/17.52 c 3935 323 2430 87007 35 6133 3484 1924 3626 1.08 17.49/17.52 c 4410 323 3344 122077 36 8308 3833 2838 3547 1.24 17.49/17.52 c 5223 323 2842 109266 38 7016 4217 2336 3445 1.52 17.49/17.52 c 6545 323 3204 112194 35 7899 4639 2698 3327 1.97 17.49/17.52 c 8626 323 4565 198987 43 11265 5103 4059 3195 2.70 17.49/17.52 c 11851 322 5241 211789 40 13224 5614 4735 3032 3.91 17.49/17.52 c 16788 313 5688 267731 47 14620 6176 5182 2804 5.99 17.49/17.52 c 24294 313 3603 144342 40 8635 6794 3097 2329 10.43 17.49/17.52 o 3 43.78/43.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.78/43.80 c 35298 312 5948 235264 39 14858 2873 5442 2015 17.52 43.78/43.80 c 35398 293 2140 77729 36 5343 3161 1634 2015 17.56 43.78/43.80 c 35649 293 2626 101722 38 6514 3478 2120 2023 17.62 43.78/43.80 c 36124 293 3495 138856 39 8748 3826 2989 2028 17.80 43.78/43.80 c 36938 293 2918 112140 38 7394 4209 2412 2025 18.23 43.78/43.80 c 38258 293 3088 115560 37 7957 4630 2582 2013 19.00 43.78/43.80 c 40340 293 4300 164709 38 10833 5094 3794 2031 19.86 43.78/43.80 c 43563 293 4747 191413 40 11556 5604 4241 2049 21.25 43.78/43.80 c 48499 293 4949 203545 41 11697 6165 4443 2034 23.84 43.78/43.80 c 56005 293 5642 221553 39 14152 6782 5136 1970 28.42 43.78/43.80 c 67366 293 5298 209028 39 12938 7461 4792 1901 35.43 43.78/43.80 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 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x43 -x44 -x45 x46 -x47 -x48 -x49 -x71 -x72 -x73 -x74 -x75 -x76 -x77 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 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x50 x51 -x52 x53 -x54 x55 -x56 x78 -x79 -x80 -x81 -x82 -x83 -x84 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 x57 -x58 -x59 -x60 -x61 -x62 -x63 x85 -x86 -x87 -x88 -x89 -x90 -x91 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 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x64 -x65 -x66 x67 -x68 -x69 -x70 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x302 -x303 -x304 x305 -x306 -x307 -x308 x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 x347 -x348 -x349 -x350 x99 -x100 x101 -x102 -x103 -x104 -x105 43.78/43.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 43.78/43.80 c 31 78182 743 82439 7990 275690 7484 1785 43.79 43.78/43.80 c Objective: 3 43.78/43.80 s OPTIMUM FOUND 43.78/43.80 c Total time: 43.791 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-2670749-1276705904/watcher-2670749-1276705904 -o /tmp/evaluation-result-2670749-1276705904/solver-2670749-1276705904 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670749-1276705904.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.98 1.00 0.99 3/106 18210 /proc/meminfo: memFree=1697688/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=10924 CPUtime=0 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 355 0 0 0 0 0 0 0 18 0 1 0 11882732 11186176 269 1992294400 134512640 137138936 4292974672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 2731 269 185 642 0 2087 0 [startup+0.0824521 s] /proc/loadavg: 0.98 1.00 0.99 3/106 18210 /proc/meminfo: memFree=1697688/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=11052 CPUtime=0.08 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 414 0 0 0 8 0 0 0 21 0 1 0 11882732 11317248 328 1992294400 134512640 137138936 4292974672 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 2763 328 192 642 0 2119 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11052 [startup+0.101455 s] /proc/loadavg: 0.98 1.00 0.99 3/106 18210 /proc/meminfo: memFree=1697688/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=11184 CPUtime=0.1 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 451 0 0 0 10 0 0 0 21 0 1 0 11882732 11452416 365 1992294400 134512640 137138936 4292974672 18446744073709551615 136500302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 2796 365 192 642 0 2152 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11184 [startup+0.301492 s] /proc/loadavg: 0.98 1.00 0.99 3/106 18210 /proc/meminfo: memFree=1697688/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=12600 CPUtime=0.29 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 786 0 0 0 29 0 0 0 21 0 1 0 11882732 12902400 700 1992294400 134512640 137138936 4292974672 18446744073709551615 134573857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 3150 700 192 642 0 2506 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12600 [startup+0.701563 s] /proc/loadavg: 0.98 1.00 0.99 3/106 18210 /proc/meminfo: memFree=1697688/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=13248 CPUtime=0.69 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 965 0 0 0 69 0 0 0 22 0 1 0 11882732 13565952 879 1992294400 134512640 137138936 4292974672 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 3312 879 192 642 0 2668 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13248 [startup+1.50171 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18211 /proc/meminfo: memFree=1694704/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=13892 CPUtime=1.49 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1118 0 0 0 148 1 0 0 25 0 1 0 11882732 14225408 1032 1992294400 134512640 137138936 4292974672 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 3473 1032 192 642 0 2829 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13892 [startup+3.101 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18211 /proc/meminfo: memFree=1694456/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=14660 CPUtime=3.09 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1325 0 0 0 307 2 0 0 25 0 1 0 11882732 15011840 1239 1992294400 134512640 137138936 4292974672 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 3665 1239 192 642 0 3021 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14660 [startup+6.30158 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18211 /proc/meminfo: memFree=1692720/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=15808 CPUtime=6.29 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1598 0 0 0 626 3 0 0 25 0 1 0 11882732 16187392 1512 1992294400 134512640 137138936 4292974672 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 3952 1512 192 642 0 3308 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15808 [startup+12.7007 s] /proc/loadavg: 0.98 1.00 0.99 2/107 18211 /proc/meminfo: memFree=1692224/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=15812 CPUtime=12.69 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1599 0 0 0 1264 5 0 0 25 0 1 0 11882732 16191488 1513 1992294400 134512640 137138936 4292974672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 3953 1513 192 642 0 3309 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15812 [startup+25.5011 s] /proc/loadavg: 0.99 1.00 0.99 2/107 18211 /proc/meminfo: memFree=1692224/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=15812 CPUtime=25.48 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1599 0 0 0 2539 9 0 0 25 0 1 0 11882732 16191488 1513 1992294400 134512640 137138936 4292974672 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 3953 1513 192 642 0 3309 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15812 Solver just ended. Dumping a history of the last processes samples [startup+31.9092 s] /proc/loadavg: 1.07 1.01 1.00 2/107 18216 /proc/meminfo: memFree=1691852/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=15812 CPUtime=31.89 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1600 0 0 0 3179 10 0 0 25 0 1 0 11882732 16191488 1514 1992294400 134512640 137138936 4292974672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 3953 1514 192 642 0 3309 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 15812 [startup+38.3004 s] /proc/loadavg: 1.06 1.01 1.00 2/107 18216 /proc/meminfo: memFree=1691604/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=16068 CPUtime=38.28 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1657 0 0 0 3816 12 0 0 25 0 1 0 11882732 16453632 1571 1992294400 134512640 137138936 4292974672 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 4017 1571 192 642 0 3373 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 16068 [startup+41.501 s] /proc/loadavg: 1.06 1.01 1.00 2/107 18216 /proc/meminfo: memFree=1691604/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=16068 CPUtime=41.48 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1657 0 0 0 4135 13 0 0 25 0 1 0 11882732 16453632 1571 1992294400 134512640 137138936 4292974672 18446744073709551615 134602918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 4017 1571 192 642 0 3373 0 Current children cumulated CPU time (s) 41.48 Current children cumulated vsize (KiB) 16068 [startup+43.1003 s] /proc/loadavg: 1.06 1.01 1.00 2/107 18216 /proc/meminfo: memFree=1691604/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=16068 CPUtime=43.07 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1657 0 0 0 4294 13 0 0 25 0 1 0 11882732 16453632 1571 1992294400 134512640 137138936 4292974672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 4017 1571 192 642 0 3373 0 Current children cumulated CPU time (s) 43.07 Current children cumulated vsize (KiB) 16068 [startup+43.5003 s] /proc/loadavg: 1.06 1.01 1.00 2/107 18216 /proc/meminfo: memFree=1691604/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=16068 CPUtime=43.47 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1657 0 0 0 4334 13 0 0 25 0 1 0 11882732 16453632 1571 1992294400 134512640 137138936 4292974672 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 4017 1571 192 642 0 3373 0 Current children cumulated CPU time (s) 43.47 Current children cumulated vsize (KiB) 16068 [startup+43.7004 s] /proc/loadavg: 1.06 1.01 1.00 2/107 18216 /proc/meminfo: memFree=1691604/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=16068 CPUtime=43.67 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1657 0 0 0 4354 13 0 0 25 0 1 0 11882732 16453632 1571 1992294400 134512640 137138936 4292974672 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 4017 1571 192 642 0 3373 0 Current children cumulated CPU time (s) 43.67 Current children cumulated vsize (KiB) 16068 [startup+43.8004 s] /proc/loadavg: 1.06 1.01 1.00 2/107 18216 /proc/meminfo: memFree=1691604/2059040 swapFree=4192956/4192956 [pid=18210] ppid=18208 vsize=16068 CPUtime=43.78 /proc/18210/stat : 18210 (bsolo_pb10) R 18208 18210 17561 0 -1 4202496 1657 0 0 0 4364 14 0 0 25 0 1 0 11882732 16453632 1571 1992294400 134512640 137138936 4292974672 18446744073709551615 134606598 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18210/statm: 4017 1571 192 642 0 3373 0 Current children cumulated CPU time (s) 43.78 Current children cumulated vsize (KiB) 16068 Child status: 0 Real time (s): 43.8071 CPU time (s): 43.7933 CPU user time (s): 43.6514 CPU system time (s): 0.141978 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 16068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 43.6514 system time used= 0.141978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1658 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 118 runsolver used 0.068989 second user time and 0.227965 second system time The end
Begin job on node044 at 2010-06-16 18:31:44 IDJOB=2670749 IDBENCH=48091 IDSOLVER=1162 FILE ID=node044/2670749-1276705904 PBS_JOBID= 11174099 Free space on /tmp= 62588 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670749-1276705904/watcher-2670749-1276705904 -o /tmp/evaluation-result-2670749-1276705904/solver-2670749-1276705904 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670749-1276705904.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8a0125b71bb37b2e2e8bfc178a3ff25d RANDOM SEED=587849728 node044.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.266 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 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.266 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1698712 kB Buffers: 83248 kB Cached: 148916 kB SwapCached: 0 kB Active: 128068 kB Inactive: 163500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1698712 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3872 kB Writeback: 0 kB AnonPages: 59392 kB Mapped: 15352 kB Slab: 47028 kB PageTables: 3916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179700 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670749-1276705904.opb Free space on /tmp at the end= 62584 MiB End job on node044 at 2010-06-16 18:32:28