Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 5 | 37.8602 | 37.8689 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_2.opb |
MD5SUM | 3afabd7ca2a98b7cfc21a3d6cc8262bf |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 16.2085 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 50 |
Total number of constraints | 50 |
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 | 50 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 50 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 616 |
Sum of products size (including duplicates) | 1232 |
Number of different products | 616 |
Sum of products size | 1232 |
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-2670851-1276709059.opb 0.00/0.00 c File size is 43031 bytes. 0.00/0.00 c Highest Coefficient sum: 50 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.007 s 0.00/0.00 c Var: 666 Constr: 1282 666/0/616 Lit: 4362 Watch. Lit: 3180 0.00/0.00 c Obj. Vars: 50 (7.50751 % of total variables) 0.01/0.02 c Pre-processing Time: 0.025 s 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 666 1282 4362 3 3180 3917 0 0 0.03 0.01/0.02 c Switching off lower bounding mode. 0.01/0.02 o 49 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 666 1283 4412 3 3183 3951 1 0 0.03 0.01/0.02 o 48 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 666 1284 4462 3 3187 4001 2 0 0.03 0.01/0.02 o 47 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 666 1285 4512 3 3192 4067 3 0 0.03 0.01/0.02 o 46 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1286 4562 3 3198 4151 4 0 0.03 0.01/0.03 o 45 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1287 4612 3 3205 4251 5 0 0.03 0.01/0.03 o 44 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1288 4662 3 3213 4367 6 0 0.03 0.01/0.03 o 43 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1289 4712 3 3222 4501 7 0 0.03 0.01/0.03 o 42 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1290 4762 3 3232 4651 8 0 0.03 0.01/0.03 o 41 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1291 4812 3 3243 4817 9 0 0.03 0.01/0.03 o 40 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1292 4862 3 3255 5001 10 0 0.03 0.01/0.03 o 39 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1293 4912 3 3268 5201 11 0 0.03 0.01/0.03 o 38 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1294 4962 3 3282 5417 12 0 0.03 0.01/0.03 o 37 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1295 5012 3 3297 5651 13 0 0.03 0.01/0.03 o 36 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1296 5062 3 3313 5901 14 0 0.04 0.01/0.03 o 35 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1297 5112 3 3330 6167 15 0 0.04 0.01/0.03 o 34 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1298 5162 3 3348 6451 16 0 0.04 0.01/0.03 o 33 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 666 1299 5212 4 3367 6751 17 0 0.04 0.01/0.03 o 32 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 0 666 1300 5262 4 3387 7067 18 0 0.04 0.01/0.04 o 31 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 0 666 1301 5312 4 3408 7401 19 0 0.04 0.01/0.04 o 30 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 0 666 1302 5362 4 3430 7751 20 0 0.04 0.01/0.04 o 29 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 0 666 1303 5412 4 3453 8117 21 0 0.04 0.01/0.04 o 27 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 1 666 1305 5491 4 3480 8151 23 25 0.04 0.01/0.04 o 9 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 1 666 1306 5541 4 3523 8451 24 24 0.04 0.01/0.04 o 8 0.01/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.06 c 5 666 1311 5741 4 3575 8467 29 119 0.04 0.01/0.06 c 105 666 1425 11298 7 3803 9314 143 1590 0.07 0.01/0.06 o 7 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 108 666 1429 11433 8 3854 8484 147 1611 0.07 1.19/1.29 c 210 666 1538 15747 10 4103 9333 256 2210 0.10 1.19/1.29 c 461 666 1821 29260 16 4669 10267 539 2793 0.17 1.19/1.29 c 937 666 2346 50569 21 5801 11294 1064 3062 0.31 1.19/1.29 c 1750 666 3264 99941 30 7865 12424 1982 2659 0.66 1.19/1.29 o 6 33.99/34.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.99/34.08 c 2998 666 4724 192840 40 11251 8501 3442 2325 1.29 33.99/34.08 c 3098 666 4852 206624 42 11507 9352 3570 2251 1.38 33.99/34.08 c 3348 666 5190 237654 45 12448 10288 3908 2047 1.64 33.99/34.08 c 3824 666 5763 266834 46 13746 11317 4481 1834 2.08 33.99/34.08 c 4639 666 6732 335077 49 15984 12449 5450 1633 2.84 33.99/34.08 c 5959 666 8272 411643 49 19380 13694 6990 1371 4.34 33.99/34.08 c 8041 666 10757 533413 49 24775 15064 9475 1027 7.83 33.99/34.08 c 11264 666 14542 706670 48 32737 16571 13260 808 13.93 33.99/34.08 c 16200 666 11837 457440 38 25512 18229 10555 640 25.30 33.99/34.08 o 5 37.79/37.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.79/37.86 c 21445 666 17884 720063 40 38578 4684 16602 629 34.08 37.79/37.86 c 21545 666 3745 100636 26 8477 5153 2463 626 34.40 37.79/37.86 c 21795 666 4069 119053 29 9203 5669 2787 630 34.57 37.79/37.86 c 22271 666 4640 142798 30 10426 6236 3358 638 34.89 37.79/37.86 c 23084 666 5583 177363 31 12658 6860 4301 648 35.59 37.79/37.86 c 24406 666 7111 229059 32 15904 7547 5829 663 36.79 37.79/37.86 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 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -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 -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 -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 -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 -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 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 x510 -x511 -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 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 37.79/37.86 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 37.79/37.86 c 45 25335 7274 43712 8176 254136 6894 669 37.86 37.79/37.86 c Objective: 5 37.79/37.86 s OPTIMUM FOUND 37.79/37.86 c Total time: 37.857 s
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670851-1276709059/watcher-2670851-1276709059 -o /tmp/evaluation-result-2670851-1276709059/solver-2670851-1276709059 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670851-1276709059.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.01 1.00 3/106 16869 /proc/meminfo: memFree=1620500/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=10840 CPUtime=0 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 337 0 0 0 0 0 0 0 19 0 1 0 12196731 11100160 256 1992294400 134512640 137138936 4288756496 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 2710 257 176 642 0 2055 0 [startup+0.011399 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16869 /proc/meminfo: memFree=1620500/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=10936 CPUtime=0.01 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 392 0 0 0 1 0 0 0 19 0 1 0 12196731 11198464 300 1992294400 134512640 137138936 4288756496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 2734 300 184 642 0 2090 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10936 [startup+0.101405 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16869 /proc/meminfo: memFree=1620500/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=11188 CPUtime=0.09 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 455 0 0 0 9 0 0 0 20 0 1 0 12196731 11456512 363 1992294400 134512640 137138936 4288756496 18446744073709551615 136500140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 2797 363 192 642 0 2153 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11188 [startup+0.301424 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16869 /proc/meminfo: memFree=1620500/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=11688 CPUtime=0.29 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 582 0 0 0 29 0 0 0 20 0 1 0 12196731 11968512 490 1992294400 134512640 137138936 4288756496 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 2922 490 192 642 0 2278 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11688 [startup+0.701457 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16869 /proc/meminfo: memFree=1620500/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=12560 CPUtime=0.69 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 793 0 0 0 69 0 0 0 21 0 1 0 12196731 12861440 701 1992294400 134512640 137138936 4288756496 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 3140 701 192 642 0 2496 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12560 [startup+1.50153 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16870 /proc/meminfo: memFree=1618136/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=14224 CPUtime=1.49 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 1223 0 0 0 148 1 0 0 23 0 1 0 12196731 14565376 1131 1992294400 134512640 137138936 4288756496 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 3556 1131 192 642 0 2912 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14224 [startup+3.10167 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16870 /proc/meminfo: memFree=1616276/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=16084 CPUtime=3.09 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 1681 0 0 0 307 2 0 0 25 0 1 0 12196731 16470016 1589 1992294400 134512640 137138936 4288756496 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 4021 1589 192 642 0 3377 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16084 [startup+6.30094 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16870 /proc/meminfo: memFree=1613300/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=18208 CPUtime=6.29 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 2196 0 0 0 626 3 0 0 25 0 1 0 12196731 18644992 2104 1992294400 134512640 137138936 4288756496 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 4552 2104 192 642 0 3908 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18208 [startup+12.7015 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16872 /proc/meminfo: memFree=1610324/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=21108 CPUtime=12.69 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 2923 0 0 0 1264 5 0 0 25 0 1 0 12196731 21614592 2831 1992294400 134512640 137138936 4288756496 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 5277 2831 192 642 0 4633 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21108 [startup+25.5006 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16872 /proc/meminfo: memFree=1607100/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=23996 CPUtime=25.48 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 3660 0 0 0 2540 8 0 0 25 0 1 0 12196731 24571904 3568 1992294400 134512640 137138936 4288756496 18446744073709551615 134543189 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 5999 3568 192 642 0 5355 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23996 Solver just ended. Dumping a history of the last processes samples [startup+31.9082 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16872 /proc/meminfo: memFree=1607100/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=23996 CPUtime=31.89 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 3660 0 0 0 3180 9 0 0 25 0 1 0 12196731 24571904 3568 1992294400 134512640 137138936 4288756496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 5999 3568 192 642 0 5355 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 23996 [startup+35.1014 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16872 /proc/meminfo: memFree=1607100/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=23996 CPUtime=35.09 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 3660 0 0 0 3499 10 0 0 25 0 1 0 12196731 24571904 3568 1992294400 134512640 137138936 4288756496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 5999 3568 192 642 0 5355 0 Current children cumulated CPU time (s) 35.09 Current children cumulated vsize (KiB) 23996 [startup+36.7016 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16872 /proc/meminfo: memFree=1607100/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=23996 CPUtime=36.68 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 3660 0 0 0 3658 10 0 0 25 0 1 0 12196731 24571904 3568 1992294400 134512640 137138936 4288756496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 5999 3568 192 642 0 5355 0 Current children cumulated CPU time (s) 36.68 Current children cumulated vsize (KiB) 23996 [startup+37.5017 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16872 /proc/meminfo: memFree=1607100/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=23996 CPUtime=37.48 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 3660 0 0 0 3738 10 0 0 25 0 1 0 12196731 24571904 3568 1992294400 134512640 137138936 4288756496 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 5999 3568 192 642 0 5355 0 Current children cumulated CPU time (s) 37.48 Current children cumulated vsize (KiB) 23996 [startup+37.7017 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16872 /proc/meminfo: memFree=1607100/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=23996 CPUtime=37.69 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 3660 0 0 0 3758 11 0 0 25 0 1 0 12196731 24571904 3568 1992294400 134512640 137138936 4288756496 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 5999 3568 192 642 0 5355 0 Current children cumulated CPU time (s) 37.69 Current children cumulated vsize (KiB) 23996 [startup+37.8017 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16872 /proc/meminfo: memFree=1607100/2059040 swapFree=4192956/4192956 [pid=16869] ppid=16867 vsize=23996 CPUtime=37.79 /proc/16869/stat : 16869 (bsolo_pb10) R 16867 16869 16100 0 -1 4202496 3660 0 0 0 3768 11 0 0 25 0 1 0 12196731 24571904 3568 1992294400 134512640 137138936 4288756496 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16869/statm: 5999 3568 192 642 0 5355 0 Current children cumulated CPU time (s) 37.79 Current children cumulated vsize (KiB) 23996 Child status: 0 Real time (s): 37.8689 CPU time (s): 37.8602 CPU user time (s): 37.7473 CPU system time (s): 0.112982 CPU usage (%): 99.9772 Max. virtual memory (cumulated for all children) (KiB): 23996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.7473 system time used= 0.112982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3661 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= 80 runsolver used 0.065989 second user time and 0.186971 second system time The end
Begin job on node057 at 2010-06-16 19:24:19 IDJOB=2670851 IDBENCH=48142 IDSOLVER=1162 FILE ID=node057/2670851-1276709059 PBS_JOBID= 11174088 Free space on /tmp= 62536 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_10_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670851-1276709059/watcher-2670851-1276709059 -o /tmp/evaluation-result-2670851-1276709059/solver-2670851-1276709059 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670851-1276709059.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3afabd7ca2a98b7cfc21a3d6cc8262bf RANDOM SEED=1758602098 node057.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.247 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.49 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.247 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1621524 kB Buffers: 127640 kB Cached: 170208 kB SwapCached: 0 kB Active: 133588 kB Inactive: 223688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1621524 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 59464 kB Mapped: 15396 kB Slab: 58480 kB PageTables: 3884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181436 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-2670851-1276709059.opb Free space on /tmp at the end= 62532 MiB End job on node057 at 2010-06-16 19:24:57