Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 6 | 68.6396 | 68.6723 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_3.opb |
MD5SUM | c95a806def4ddb54b7feb382b44318d2 |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 21.7797 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6 |
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 | 18 |
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) | 618 |
Sum of products size (including duplicates) | 1236 |
Number of different products | 618 |
Sum of products size | 1236 |
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-2670801-1276707626.opb 0.00/0.00 c File size is 43185 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.006 s 0.00/0.00 c Var: 668 Constr: 1286 668/0/618 Lit: 4376 Watch. Lit: 3190 0.00/0.00 c Obj. Vars: 50 (7.48503 % of total variables) 0.00/0.02 c Pre-processing Time: 0.023 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 668 1286 4376 3 3190 3930 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 0.00/0.02 o 49 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 668 1287 4426 3 3193 3963 1 0 0.02 0.00/0.02 o 48 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 668 1288 4476 3 3197 4013 2 0 0.02 0.00/0.02 o 47 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 668 1289 4526 3 3202 4080 3 0 0.03 0.00/0.02 o 46 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 668 1290 4576 3 3208 4163 4 0 0.03 0.00/0.02 o 45 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 668 1291 4626 3 3215 4263 5 0 0.03 0.00/0.02 o 44 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 668 1292 4676 3 3223 4380 6 0 0.03 0.00/0.02 o 43 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 668 1293 4726 3 3232 4513 7 0 0.03 0.00/0.03 o 42 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1294 4776 3 3242 4663 8 0 0.03 0.02/0.03 o 41 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1295 4826 3 3253 4830 9 0 0.03 0.02/0.03 o 40 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1296 4876 3 3265 5013 10 0 0.03 0.02/0.03 o 39 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1297 4926 3 3278 5213 11 0 0.03 0.02/0.03 o 38 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1298 4976 3 3292 5430 12 0 0.03 0.02/0.03 o 37 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1299 5026 3 3307 5663 13 0 0.03 0.02/0.03 o 36 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1300 5076 3 3323 5913 14 0 0.03 0.02/0.03 o 35 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1301 5126 3 3340 6180 15 0 0.03 0.02/0.03 o 34 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1302 5176 3 3358 6463 16 0 0.03 0.02/0.03 o 33 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1303 5226 4 3377 6763 17 0 0.03 0.02/0.03 o 32 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1304 5276 4 3397 7080 18 0 0.04 0.02/0.03 o 31 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 668 1305 5326 4 3418 7413 19 0 0.04 0.02/0.03 o 28 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 1 668 1307 5407 4 3444 7463 21 27 0.04 0.02/0.03 o 7 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 1 668 1308 5457 4 3489 7813 22 27 0.04 0.19/0.28 c 101 668 1419 11344 7 3752 8595 133 1741 0.06 0.19/0.28 c 351 668 1700 25867 15 4314 9455 414 2853 0.12 0.19/0.28 c 826 668 2229 52179 23 5413 10401 943 3189 0.26 0.19/0.28 o 6 68.56/68.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.56/68.67 c 887 668 2304 56278 24 5646 7830 1018 3190 0.28 68.56/68.67 c 990 668 2420 60706 25 5878 8614 1134 3183 0.31 68.56/68.67 c 1240 668 2696 71024 26 6471 9476 1410 3147 0.39 68.56/68.67 c 1716 668 3222 93836 29 7523 10424 1936 3058 0.56 68.56/68.67 c 2529 668 4147 149461 36 9525 11467 2861 2791 0.91 68.56/68.67 c 3849 668 5637 217826 38 12739 12614 4351 2450 1.57 68.56/68.67 c 5932 668 8100 367605 45 17965 13876 6814 1796 3.30 68.56/68.67 c 9155 668 11791 564683 47 25851 15264 10505 1267 7.22 68.56/68.67 c 14091 668 9806 431016 43 21603 16791 8520 841 16.75 68.56/68.67 c 21598 668 9833 374034 38 21177 18471 8547 750 28.77 68.56/68.67 c 32960 668 13643 585138 42 29611 20319 12357 679 48.48 68.56/68.67 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 -x667 -x668 68.56/68.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 68.56/68.67 c 35 43436 12775 73603 15387 480080 14101 632 68.64 68.56/68.67 c Objective: 6 68.56/68.67 s OPTIMUM FOUND 68.56/68.67 c Total time: 68.636 s
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670801-1276707626/watcher-2670801-1276707626 -o /tmp/evaluation-result-2670801-1276707626/solver-2670801-1276707626 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670801-1276707626.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.03 1.01 3/105 16742 /proc/meminfo: memFree=1714704/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=10796 CPUtime=0 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 354 0 0 0 0 0 0 0 25 0 1 0 12056759 11055104 261 1992294400 134512640 137138936 4292323936 18446744073709551615 136382014 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 2734 264 180 642 0 2090 0 [startup+0.0306789 s] /proc/loadavg: 1.00 1.03 1.01 3/105 16742 /proc/meminfo: memFree=1714704/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=11072 CPUtime=0.02 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 418 0 0 0 2 0 0 0 25 0 1 0 12056759 11337728 325 1992294400 134512640 137138936 4292323936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 2768 325 188 642 0 2124 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11072 [startup+0.100687 s] /proc/loadavg: 1.00 1.03 1.01 3/105 16742 /proc/meminfo: memFree=1714704/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=11196 CPUtime=0.09 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 468 0 0 0 9 0 0 0 25 0 1 0 12056759 11464704 375 1992294400 134512640 137138936 4292323936 18446744073709551615 136504071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 2799 375 192 642 0 2155 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11196 [startup+0.300708 s] /proc/loadavg: 1.00 1.03 1.01 3/105 16742 /proc/meminfo: memFree=1714704/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=11836 CPUtime=0.29 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 614 0 0 0 29 0 0 0 25 0 1 0 12056759 12120064 521 1992294400 134512640 137138936 4292323936 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 2959 521 192 642 0 2315 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11836 [startup+0.70075 s] /proc/loadavg: 1.00 1.03 1.01 3/105 16742 /proc/meminfo: memFree=1714704/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=12728 CPUtime=0.69 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 836 0 0 0 69 0 0 0 25 0 1 0 12056759 13033472 743 1992294400 134512640 137138936 4292323936 18446744073709551615 136500146 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 3182 743 192 642 0 2538 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12728 [startup+1.50083 s] /proc/loadavg: 1.00 1.03 1.01 2/106 16743 /proc/meminfo: memFree=1711844/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=14132 CPUtime=1.49 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 1188 0 0 0 148 1 0 0 25 0 1 0 12056759 14471168 1095 1992294400 134512640 137138936 4292323936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 3533 1095 192 642 0 2889 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14132 [startup+3.10101 s] /proc/loadavg: 1.00 1.03 1.01 2/106 16743 /proc/meminfo: memFree=1709984/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=16300 CPUtime=3.09 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 1715 0 0 0 307 2 0 0 25 0 1 0 12056759 16691200 1622 1992294400 134512640 137138936 4292323936 18446744073709551615 134607142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 4075 1622 192 642 0 3431 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16300 [startup+6.30034 s] /proc/loadavg: 1.00 1.03 1.01 2/106 16743 /proc/meminfo: memFree=1706636/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=18828 CPUtime=6.29 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 2362 0 0 0 626 3 0 0 25 0 1 0 12056759 19279872 2269 1992294400 134512640 137138936 4292323936 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 4707 2269 192 642 0 4063 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18828 [startup+12.702 s] /proc/loadavg: 1.00 1.03 1.00 2/106 16743 /proc/meminfo: memFree=1702916/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=22128 CPUtime=12.68 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3201 0 0 0 1263 5 0 0 25 0 1 0 12056759 22659072 3108 1992294400 134512640 137138936 4292323936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 5532 3108 192 642 0 4888 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22128 [startup+25.5014 s] /proc/loadavg: 1.00 1.03 1.00 2/106 16743 /proc/meminfo: memFree=1701552/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=23244 CPUtime=25.49 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3472 0 0 0 2540 9 0 0 25 0 1 0 12056759 23801856 3379 1992294400 134512640 137138936 4292323936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 5811 3379 192 642 0 5167 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23244 [startup+51.1011 s] /proc/loadavg: 1.00 1.02 1.00 2/106 16754 /proc/meminfo: memFree=1700188/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=24316 CPUtime=51.07 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3734 0 0 0 5092 15 0 0 25 0 1 0 12056759 24899584 3641 1992294400 134512640 137138936 4292323936 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 6079 3641 192 642 0 5435 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24316 Solver just ended. Dumping a history of the last processes samples [startup+57.5008 s] /proc/loadavg: 1.00 1.02 1.00 2/106 16754 /proc/meminfo: memFree=1700188/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=24316 CPUtime=57.46 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3734 0 0 0 5730 16 0 0 25 0 1 0 12056759 24899584 3641 1992294400 134512640 137138936 4292323936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 6079 3641 192 642 0 5435 0 Current children cumulated CPU time (s) 57.46 Current children cumulated vsize (KiB) 24316 [startup+63.9014 s] /proc/loadavg: 1.00 1.02 1.00 2/106 16754 /proc/meminfo: memFree=1700188/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=24324 CPUtime=63.86 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3736 0 0 0 6370 16 0 0 25 0 1 0 12056759 24907776 3643 1992294400 134512640 137138936 4292323936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 6081 3643 192 642 0 5437 0 Current children cumulated CPU time (s) 63.86 Current children cumulated vsize (KiB) 24324 [startup+67.1078 s] /proc/loadavg: 1.00 1.02 1.00 2/106 16754 /proc/meminfo: memFree=1700188/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=24324 CPUtime=67.06 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3738 0 0 0 6689 17 0 0 25 0 1 0 12056759 24907776 3645 1992294400 134512640 137138936 4292323936 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 6081 3645 192 642 0 5437 0 Current children cumulated CPU time (s) 67.06 Current children cumulated vsize (KiB) 24324 [startup+67.9009 s] /proc/loadavg: 1.00 1.02 1.00 2/106 16754 /proc/meminfo: memFree=1700188/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=24324 CPUtime=67.85 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3738 0 0 0 6768 17 0 0 25 0 1 0 12056759 24907776 3645 1992294400 134512640 137138936 4292323936 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 6081 3645 192 642 0 5437 0 Current children cumulated CPU time (s) 67.85 Current children cumulated vsize (KiB) 24324 [startup+68.3009 s] /proc/loadavg: 1.00 1.02 1.00 2/106 16754 /proc/meminfo: memFree=1700188/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=24324 CPUtime=68.25 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3738 0 0 0 6808 17 0 0 25 0 1 0 12056759 24907776 3645 1992294400 134512640 137138936 4292323936 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 6081 3645 192 642 0 5437 0 Current children cumulated CPU time (s) 68.25 Current children cumulated vsize (KiB) 24324 [startup+68.5009 s] /proc/loadavg: 1.00 1.02 1.00 2/106 16754 /proc/meminfo: memFree=1700188/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=24324 CPUtime=68.46 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3738 0 0 0 6828 18 0 0 25 0 1 0 12056759 24907776 3645 1992294400 134512640 137138936 4292323936 18446744073709551615 135984587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 6081 3645 192 642 0 5437 0 Current children cumulated CPU time (s) 68.46 Current children cumulated vsize (KiB) 24324 [startup+68.6009 s] /proc/loadavg: 1.00 1.02 1.00 2/106 16754 /proc/meminfo: memFree=1700188/2059040 swapFree=4192956/4192956 [pid=16742] ppid=16740 vsize=24324 CPUtime=68.56 /proc/16742/stat : 16742 (bsolo_pb10) R 16740 16742 15968 0 -1 4202496 3738 0 0 0 6838 18 0 0 25 0 1 0 12056759 24907776 3645 1992294400 134512640 137138936 4292323936 18446744073709551615 134575240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16742/statm: 6081 3645 192 642 0 5437 0 Current children cumulated CPU time (s) 68.56 Current children cumulated vsize (KiB) 24324 Child status: 0 Real time (s): 68.6723 CPU time (s): 68.6396 CPU user time (s): 68.4566 CPU system time (s): 0.182972 CPU usage (%): 99.9523 Max. virtual memory (cumulated for all children) (KiB): 24324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.4566 system time used= 0.182972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3739 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= 819 runsolver used 0.104984 second user time and 0.343947 second system time The end
Begin job on node081 at 2010-06-16 19:00:26 IDJOB=2670801 IDBENCH=48117 IDSOLVER=1162 FILE ID=node081/2670801-1276707626 PBS_JOBID= 11174085 Free space on /tmp= 121808 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_10_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670801-1276707626/watcher-2670801-1276707626 -o /tmp/evaluation-result-2670801-1276707626/solver-2670801-1276707626 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670801-1276707626.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c95a806def4ddb54b7feb382b44318d2 RANDOM SEED=1001228313 node081.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.212 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.42 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.212 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1715356 kB Buffers: 67952 kB Cached: 148972 kB SwapCached: 0 kB Active: 126592 kB Inactive: 149888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1715356 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4048 kB Writeback: 0 kB AnonPages: 59548 kB Mapped: 15332 kB Slab: 45452 kB PageTables: 3880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181512 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670801-1276707626.opb Free space on /tmp at the end= 121804 MiB End job on node081 at 2010-06-16 19:01:35