Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 2 | 57.2713 | 57.3021 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb |
MD5SUM | 546a5ced30808b0bb71d4cd4eb43d066 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 3.16152 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
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 | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 288 |
Sum of products size (including duplicates) | 576 |
Number of different products | 288 |
Sum of products size | 576 |
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-2670649-1276704038.opb 0.00/0.00 c File size is 21533 bytes. 0.00/0.00 c Highest Coefficient sum: 8064 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: 432 Constr: 601 288/0/313 Lit: 2538 Watch. Lit: 1586 0.00/0.00 c Obj. Vars: 6 (1.38889 % of total variables) 0.00/0.00 c Pre-processing Time: 0.008 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 432 601 2538 4 2172 3443 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 0.89/0.95 c 100 432 781 8292 10 2547 3788 180 4545 0.02 0.89/0.95 c 251 432 1045 19945 19 3127 4167 444 3535 0.07 0.89/0.95 c 477 432 1462 34743 23 4087 4584 861 4376 0.11 0.89/0.95 c 815 432 2068 58024 28 5454 5043 1467 4604 0.18 0.89/0.95 c 1324 432 3049 94120 30 7746 5548 2448 4940 0.27 0.89/0.95 c 2088 432 4481 141304 31 11064 6103 3880 4640 0.45 0.89/0.95 c 3234 432 6676 228370 34 16150 6714 6075 4151 0.78 0.89/0.95 o 5 1.69/1.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.70 c 3916 432 4171 137902 33 10111 3456 3570 4104 0.95 1.69/1.70 c 4016 408 2500 75415 30 6230 3802 1899 4089 0.98 1.69/1.70 c 4268 408 2970 93500 31 7315 4183 2369 4080 1.05 1.69/1.70 c 4745 408 3840 129151 33 9285 4602 3239 4079 1.16 1.69/1.70 c 5559 408 2906 86965 29 7114 5063 2305 4090 1.36 1.69/1.70 c 6880 408 5419 175780 32 12866 5570 4818 4134 1.66 1.69/1.70 o 3 57.25/57.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.25/57.30 c 7066 408 5770 187671 32 13686 3450 5169 4141 1.71 57.25/57.30 c 7167 391 2523 70975 28 6302 3796 1922 4123 1.74 57.25/57.30 c 7418 391 2990 87543 29 7401 4176 2389 4148 1.79 57.25/57.30 c 7893 391 3919 123030 31 9303 4594 3318 4220 1.87 57.25/57.30 c 8707 391 3026 94302 31 7245 5054 2425 4245 2.05 57.25/57.30 c 10028 391 5516 187188 33 12916 5560 4915 4173 2.40 57.25/57.30 c 12109 391 3539 105329 29 8399 6117 2938 3748 3.23 57.25/57.30 c 15334 391 6200 205961 33 14414 6729 5599 3538 4.33 57.25/57.30 c 20270 391 4390 123947 28 10754 7402 3789 3323 6.10 57.25/57.30 c 27777 391 6455 220309 34 14987 8143 5854 3137 8.85 57.25/57.30 c 39138 391 6082 186626 30 14440 8958 5481 2815 13.90 57.25/57.30 c 56282 391 9364 356905 38 21961 9854 8763 2574 21.86 57.25/57.30 c 82101 390 5710 210454 36 13573 10840 5109 2110 38.89 57.25/57.30 o 2 57.25/57.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.25/57.30 c 113216 383 6114 208823 34 14553 3443 5513 1976 57.27 57.25/57.30 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 -x145 x146 -x147 -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 -x55 x56 -x57 -x58 -x59 -x60 x97 -x98 -x99 -x100 -x101 -x102 -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 -x61 -x62 x63 -x64 -x65 -x66 -x103 -x104 -x105 -x106 -x107 -x108 -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 -x67 -x68 x69 -x70 x71 -x72 -x109 -x110 -x111 -x112 -x113 -x114 -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 -x73 -x74 x75 -x76 x77 -x78 -x115 x116 -x117 x118 -x119 -x120 -x289 -x290 x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 x323 -x324 -x79 -x80 x81 -x82 x83 -x84 -x121 x122 -x123 x124 -x125 -x126 -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 -x85 -x86 x87 -x88 -x89 -x90 -x127 -x128 x129 -x130 -x131 -x132 -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 -x393 -x394 -x395 -x396 -x91 -x92 x93 -x94 -x95 -x96 x133 -x134 -x135 -x136 -x137 -x138 -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 -x139 x140 -x141 -x142 -x143 -x144 57.25/57.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 57.25/57.30 c 27 113216 6017 132772 6114 208823 5513 1976 57.27 57.25/57.30 c Objective: 2 57.25/57.30 s OPTIMUM FOUND 57.25/57.30 c Total time: 57.268 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670649-1276704038/watcher-2670649-1276704038 -o /tmp/evaluation-result-2670649-1276704038/solver-2670649-1276704038 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670649-1276704038.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/106 10399 /proc/meminfo: memFree=1842616/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=10924 CPUtime=0 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 368 0 0 0 0 0 0 0 18 0 1 0 44059184 11186176 281 1992294400 134512640 137138936 4293552192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 2731 281 185 642 0 2087 0 [startup+0.0393871 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10399 /proc/meminfo: memFree=1842616/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=11052 CPUtime=0.03 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 399 0 0 0 3 0 0 0 20 0 1 0 44059184 11317248 312 1992294400 134512640 137138936 4293552192 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 2763 312 192 642 0 2119 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11052 [startup+0.100391 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10399 /proc/meminfo: memFree=1842616/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=11316 CPUtime=0.09 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 481 0 0 0 9 0 0 0 20 0 1 0 44059184 11587584 394 1992294400 134512640 137138936 4293552192 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 2829 394 192 642 0 2185 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11316 [startup+0.300406 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10399 /proc/meminfo: memFree=1842616/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=12476 CPUtime=0.29 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 777 0 0 0 28 1 0 0 20 0 1 0 44059184 12775424 690 1992294400 134512640 137138936 4293552192 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 3119 690 192 642 0 2475 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12476 [startup+0.700438 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10399 /proc/meminfo: memFree=1842616/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=14292 CPUtime=0.69 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 1206 0 0 0 68 1 0 0 21 0 1 0 44059184 14635008 1119 1992294400 134512640 137138936 4293552192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 3573 1119 192 642 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14292 [startup+1.5005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10400 /proc/meminfo: memFree=1838020/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=15196 CPUtime=1.49 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 1437 0 0 0 148 1 0 0 23 0 1 0 44059184 15560704 1350 1992294400 134512640 137138936 4293552192 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 3799 1350 192 642 0 3155 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15196 [startup+3.10063 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10400 /proc/meminfo: memFree=1837896/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=15192 CPUtime=3.09 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 1437 0 0 0 306 3 0 0 25 0 1 0 44059184 15556608 1350 1992294400 134512640 137138936 4293552192 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 3798 1350 192 642 0 3154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15192 [startup+6.30188 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10402 /proc/meminfo: memFree=1837648/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=15304 CPUtime=6.29 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 1464 0 0 0 625 4 0 0 25 0 1 0 44059184 15671296 1377 1992294400 134512640 137138936 4293552192 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 3826 1377 192 642 0 3182 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15304 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10402 /proc/meminfo: memFree=1836780/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=15936 CPUtime=12.69 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 1641 0 0 0 1263 6 0 0 25 0 1 0 44059184 16318464 1554 1992294400 134512640 137138936 4293552192 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 3984 1554 192 642 0 3340 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15936 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10411 /proc/meminfo: memFree=1834540/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=17224 CPUtime=25.47 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 1954 0 0 0 2536 11 0 0 25 0 1 0 44059184 17637376 1867 1992294400 134512640 137138936 4293552192 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 4306 1867 192 642 0 3662 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 17224 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10411 /proc/meminfo: memFree=1834424/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=17980 CPUtime=51.06 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 2147 0 0 0 5088 18 0 0 25 0 1 0 44059184 18411520 2060 1992294400 134512640 137138936 4293552192 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 4495 2060 192 642 0 3851 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 17980 Solver just ended. Dumping a history of the last processes samples [startup+54.3007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10411 /proc/meminfo: memFree=1834424/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=17980 CPUtime=54.25 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 2147 0 0 0 5407 18 0 0 25 0 1 0 44059184 18411520 2060 1992294400 134512640 137138936 4293552192 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 4495 2060 192 642 0 3851 0 Current children cumulated CPU time (s) 54.25 Current children cumulated vsize (KiB) 17980 [startup+55.9008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10411 /proc/meminfo: memFree=1834424/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=17980 CPUtime=55.86 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 2147 0 0 0 5567 19 0 0 25 0 1 0 44059184 18411520 2060 1992294400 134512640 137138936 4293552192 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 4495 2060 192 642 0 3851 0 Current children cumulated CPU time (s) 55.86 Current children cumulated vsize (KiB) 17980 [startup+56.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10411 /proc/meminfo: memFree=1834424/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=17980 CPUtime=56.66 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 2147 0 0 0 5647 19 0 0 25 0 1 0 44059184 18411520 2060 1992294400 134512640 137138936 4293552192 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 4495 2060 192 642 0 3851 0 Current children cumulated CPU time (s) 56.66 Current children cumulated vsize (KiB) 17980 [startup+57.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10411 /proc/meminfo: memFree=1834424/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=17980 CPUtime=57.06 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 2147 0 0 0 5687 19 0 0 25 0 1 0 44059184 18411520 2060 1992294400 134512640 137138936 4293552192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 4495 2060 192 642 0 3851 0 Current children cumulated CPU time (s) 57.06 Current children cumulated vsize (KiB) 17980 [startup+57.3009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10411 /proc/meminfo: memFree=1834424/2059040 swapFree=4136132/4192956 [pid=10399] ppid=10397 vsize=17980 CPUtime=57.25 /proc/10399/stat : 10399 (bsolo_pb10) R 10397 10399 9973 0 -1 4202496 2147 0 0 0 5706 19 0 0 25 0 1 0 44059184 18411520 2060 1992294400 134512640 137138936 4293552192 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10399/statm: 4495 2060 192 642 0 3851 0 Current children cumulated CPU time (s) 57.25 Current children cumulated vsize (KiB) 17980 Child status: 0 Real time (s): 57.3021 CPU time (s): 57.2713 CPU user time (s): 57.0693 CPU system time (s): 0.201969 CPU usage (%): 99.9462 Max. virtual memory (cumulated for all children) (KiB): 17980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 57.0693 system time used= 0.201969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2148 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= 255 runsolver used 0.111982 second user time and 0.265959 second system time The end
Begin job on node026 at 2010-06-16 18:00:38 IDJOB=2670649 IDBENCH=48041 IDSOLVER=1162 FILE ID=node026/2670649-1276704038 PBS_JOBID= 11174114 Free space on /tmp= 62560 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670649-1276704038/watcher-2670649-1276704038 -o /tmp/evaluation-result-2670649-1276704038/solver-2670649-1276704038 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670649-1276704038.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 546a5ced30808b0bb71d4cd4eb43d066 RANDOM SEED=615016484 node026.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.201 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.40 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.201 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: 1843392 kB Buffers: 16264 kB Cached: 107144 kB SwapCached: 9392 kB Active: 86084 kB Inactive: 49740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1843392 kB SwapTotal: 4192956 kB SwapFree: 4136132 kB Dirty: 3976 kB Writeback: 0 kB AnonPages: 10988 kB Mapped: 9292 kB Slab: 57992 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181848 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-2670649-1276704038.opb Free space on /tmp at the end= 62556 MiB End job on node026 at 2010-06-16 18:01:35