Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 6 | 338.206 | 338.343 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_5.opb |
MD5SUM | 381026b11996e1fba08582de081db326 |
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 | 9.26459 |
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) | 606 |
Sum of products size (including duplicates) | 1212 |
Number of different products | 606 |
Sum of products size | 1212 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876704-1245190981.opb 0.00/0.00 c File size is 42345 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.005 s 0.00/0.00 c Var: 656 Constr: 1262 656/0/606 Lit: 4292 Watch. Lit: 3130 0.00/0.00 c Obj. Vars: 50 (7.62195 % of total variables) 0.00/0.02 c Pre-processing Time: 0.021 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 656 1262 4292 3 3130 3854 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 656 1263 4342 3 3133 3887 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 656 1264 4392 3 3137 3937 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 656 1265 4442 3 3142 4004 3 0 0.02 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 656 1266 4492 3 3148 4087 4 0 0.02 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 656 1267 4542 3 3155 4187 5 0 0.02 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 656 1268 4592 3 3163 4304 6 0 0.02 0.00/0.02 o 43 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 656 1269 4642 3 3172 4437 7 0 0.03 0.00/0.02 o 42 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 656 1270 4692 3 3182 4587 8 0 0.03 0.00/0.02 o 41 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 656 1271 4742 3 3193 4754 9 0 0.03 0.00/0.02 o 40 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 656 1272 4792 3 3205 4937 10 0 0.03 0.00/0.02 o 39 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 656 1273 4842 3 3218 5137 11 0 0.03 0.00/0.03 o 38 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 656 1274 4892 3 3232 5354 12 0 0.03 0.00/0.03 o 37 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 656 1275 4942 3 3247 5587 13 0 0.03 0.00/0.03 o 36 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 656 1276 4992 3 3263 5837 14 0 0.03 0.00/0.03 o 35 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 656 1277 5042 3 3280 6104 15 0 0.03 0.00/0.03 o 34 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 656 1278 5092 3 3298 6387 16 0 0.03 0.00/0.03 o 33 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 656 1279 5142 4 3317 6687 17 0 0.03 0.00/0.03 o 32 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 656 1280 5192 4 3337 7004 18 0 0.03 0.00/0.03 o 29 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 1 656 1282 5274 4 3362 7054 20 31 0.03 0.00/0.03 o 9 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 1 656 1283 5324 4 3405 7387 21 30 0.03 0.00/0.03 o 8 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 12 656 1295 5770 4 3471 7404 33 342 0.04 0.00/0.04 o 7 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 25 656 1309 6366 4 3542 7421 47 657 0.04 1.29/1.39 c 125 656 1410 10819 7 3744 8164 148 2118 0.06 1.29/1.39 c 376 656 1663 22199 13 4268 8981 401 3269 0.12 1.29/1.39 c 852 656 2157 39795 18 5256 9880 895 3704 0.23 1.29/1.39 c 1665 656 3007 67476 22 6956 10869 1745 3766 0.44 1.29/1.39 c 2987 656 4387 124512 28 9899 11956 3125 3296 0.91 1.29/1.39 o 6 338.16/338.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 338.16/338.33 c 4216 656 5646 168144 29 12499 7437 4384 3022 1.40 338.16/338.33 c 4317 656 5751 172715 30 12709 8181 4489 2979 1.45 338.16/338.33 c 4567 656 6004 184906 30 13215 9000 4742 2866 1.59 338.16/338.33 c 5042 656 6485 213655 32 14201 9901 5223 2686 1.88 338.16/338.33 c 5856 656 7330 259941 35 15897 10892 6068 2472 2.37 338.16/338.33 c 7176 656 8713 339086 38 18689 11982 7451 2223 3.23 338.16/338.33 c 9257 656 10869 427888 39 23035 13181 9607 1806 5.12 338.16/338.33 c 12481 656 14196 623015 43 29821 14500 12934 1430 8.72 338.16/338.33 c 17420 656 11770 500019 42 24422 15951 10508 1224 14.23 338.16/338.33 c 24928 656 11330 411156 36 23607 17547 10068 1026 24.29 338.16/338.33 c 36289 656 14061 527312 37 28981 19302 12799 943 38.48 338.16/338.33 c 53433 656 12222 332485 27 25204 21233 10960 858 62.26 338.16/338.33 c 79253 656 17355 579131 33 36480 23357 16093 758 104.53 338.16/338.33 c 118088 656 21022 713250 33 44568 25693 19760 662 178.23 338.16/338.33 c 176441 639 25049 755283 30 52033 28263 23787 609 289.56 338.16/338.33 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 338.16/338.33 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 338.16/338.33 c 42 195904 64785 343912 28587 959359 27325 579 338.20 338.16/338.33 c Objective: 6 338.16/338.33 s OPTIMUM FOUND 338.16/338.33 c Total time: 338.2 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-1876704-1245190981/watcher-1876704-1245190981 -o /tmp/evaluation-result-1876704-1245190981/solver-1876704-1245190981 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876704-1245190981.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.94 0.98 0.99 3/64 414 /proc/meminfo: memFree=1604888/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=10752 CPUtime=0 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 186692352 11010048 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 2688 240 176 640 0 2033 0 [startup+0.00689408 s] /proc/loadavg: 0.94 0.98 0.99 3/64 414 /proc/meminfo: memFree=1604888/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=10848 CPUtime=0 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 186692352 11108352 268 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 2712 278 186 640 0 2068 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10848 [startup+0.10189 s] /proc/loadavg: 0.94 0.98 0.99 3/64 414 /proc/meminfo: memFree=1604888/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=11112 CPUtime=0.09 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 402 0 0 0 9 0 0 0 18 0 1 0 186692352 11378688 375 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 2778 376 197 640 0 2134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11112 [startup+0.301912 s] /proc/loadavg: 0.94 0.98 0.99 3/64 414 /proc/meminfo: memFree=1604888/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=11724 CPUtime=0.29 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 533 0 0 0 29 0 0 0 19 0 1 0 186692352 12005376 506 1992294400 134512640 137136520 4294956256 18446744073709551615 134544624 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 2931 506 197 640 0 2287 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11724 [startup+0.701957 s] /proc/loadavg: 0.94 0.98 0.99 3/64 414 /proc/meminfo: memFree=1604888/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=12468 CPUtime=0.69 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 742 0 0 0 68 1 0 0 23 0 1 0 186692352 12767232 715 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 3117 715 197 640 0 2473 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12468 [startup+1.50105 s] /proc/loadavg: 0.94 0.98 0.99 2/65 415 /proc/meminfo: memFree=1602256/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=13712 CPUtime=1.49 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 1042 0 0 0 148 1 0 0 25 0 1 0 186692352 14041088 1015 1992294400 134512640 137136520 4294956256 18446744073709551615 136499600 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 3428 1015 197 640 0 2784 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13712 [startup+3.10123 s] /proc/loadavg: 0.94 0.98 0.99 2/65 415 /proc/meminfo: memFree=1600592/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=15988 CPUtime=3.09 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 1618 0 0 0 307 2 0 0 25 0 1 0 186692352 16371712 1591 1992294400 134512640 137136520 4294956256 18446744073709551615 134574485 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 3997 1591 197 640 0 3353 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15988 [startup+6.30159 s] /proc/loadavg: 0.94 0.98 0.99 2/65 415 /proc/meminfo: memFree=1597264/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=18432 CPUtime=6.28 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 2231 0 0 0 625 3 0 0 25 0 1 0 186692352 18874368 2204 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 4608 2204 197 640 0 3964 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18432 [startup+12.7013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 415 /proc/meminfo: memFree=1593232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=21804 CPUtime=12.68 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 3069 0 0 0 1263 5 0 0 25 0 1 0 186692352 22327296 3042 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 5451 3042 197 640 0 4807 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21804 [startup+25.5018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 415 /proc/meminfo: memFree=1592848/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=22408 CPUtime=25.48 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 3212 0 0 0 2541 7 0 0 25 0 1 0 186692352 22945792 3185 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 5602 3185 197 640 0 4958 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22408 [startup+51.1017 s] /proc/loadavg: 0.97 0.98 0.99 2/65 415 /proc/meminfo: memFree=1591504/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=23716 CPUtime=51.07 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 3554 0 0 0 5095 12 0 0 25 0 1 0 186692352 24285184 3527 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 5929 3527 197 640 0 5285 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23716 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1590160/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=24908 CPUtime=102.25 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 3848 0 0 0 10205 20 0 0 25 0 1 0 186692352 25505792 3821 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 6227 3821 197 640 0 5583 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 24908 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585296/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29840 CPUtime=162.23 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5077 0 0 0 16193 30 0 0 25 0 1 0 186692352 30556160 5050 1992294400 134512640 137136520 4294956256 18446744073709551615 134616484 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7460 5050 197 640 0 6816 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 29840 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29848 CPUtime=222.2 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5081 0 0 0 22183 37 0 0 25 0 1 0 186692352 30564352 5054 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7462 5054 197 640 0 6818 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 29848 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29844 CPUtime=282.18 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5081 0 0 0 28175 43 0 0 25 0 1 0 186692352 30560256 5054 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7461 5054 197 640 0 6817 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 29844 Solver just ended. Dumping a history of the last processes samples [startup+307.102 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29856 CPUtime=306.96 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5085 0 0 0 30651 45 0 0 25 0 1 0 186692352 30572544 5058 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7464 5058 197 640 0 6820 0 Current children cumulated CPU time (s) 306.96 Current children cumulated vsize (KiB) 29856 [startup+319.901 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29856 CPUtime=319.76 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5085 0 0 0 31929 47 0 0 25 0 1 0 186692352 30572544 5058 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7464 5058 197 640 0 6820 0 Current children cumulated CPU time (s) 319.76 Current children cumulated vsize (KiB) 29856 [startup+326.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29856 CPUtime=326.15 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5085 0 0 0 32568 47 0 0 25 0 1 0 186692352 30572544 5058 1992294400 134512640 137136520 4294956256 18446744073709551615 134606688 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7464 5058 197 640 0 6820 0 Current children cumulated CPU time (s) 326.15 Current children cumulated vsize (KiB) 29856 [startup+332.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29856 CPUtime=332.55 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5085 0 0 0 33207 48 0 0 25 0 1 0 186692352 30572544 5058 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7464 5058 197 640 0 6820 0 Current children cumulated CPU time (s) 332.55 Current children cumulated vsize (KiB) 29856 [startup+335.902 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29856 CPUtime=335.76 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5085 0 0 0 33527 49 0 0 25 0 1 0 186692352 30572544 5058 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7464 5058 197 640 0 6820 0 Current children cumulated CPU time (s) 335.76 Current children cumulated vsize (KiB) 29856 [startup+337.501 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29856 CPUtime=337.36 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5085 0 0 0 33687 49 0 0 25 0 1 0 186692352 30572544 5058 1992294400 134512640 137136520 4294956256 18446744073709551615 134544010 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7464 5058 197 640 0 6820 0 Current children cumulated CPU time (s) 337.36 Current children cumulated vsize (KiB) 29856 [startup+337.901 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29856 CPUtime=337.76 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5085 0 0 0 33727 49 0 0 25 0 1 0 186692352 30572544 5058 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7464 5058 197 640 0 6820 0 Current children cumulated CPU time (s) 337.76 Current children cumulated vsize (KiB) 29856 [startup+338.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 415 /proc/meminfo: memFree=1585232/2055920 swapFree=4181640/4192956 [pid=414] ppid=412 vsize=29856 CPUtime=338.16 /proc/414/stat : 414 (bsolo) R 412 414 342 0 -1 4194304 5085 0 0 0 33767 49 0 0 25 0 1 0 186692352 30572544 5058 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/414/statm: 7464 5058 197 640 0 6820 0 Current children cumulated CPU time (s) 338.16 Current children cumulated vsize (KiB) 29856 Child status: 0 Real time (s): 338.343 CPU time (s): 338.206 CPU user time (s): 337.708 CPU system time (s): 0.497924 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (KiB): 29932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 337.708 system time used= 0.497924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5087 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= 3 involuntary context switches= 1265 runsolver used 0.269958 second user time and 0.714891 second system time The end
Begin job on node63 at 2009-06-17 00:23:01 IDJOB=1876704 IDBENCH=48114 IDSOLVER=699 FILE ID=node63/1876704-1245190981 PBS_JOBID= 9368324 Free space on /tmp= 66468 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_10_5.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876704-1245190981/watcher-1876704-1245190981 -o /tmp/evaluation-result-1876704-1245190981/solver-1876704-1245190981 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876704-1245190981.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 381026b11996e1fba08582de081db326 RANDOM SEED=1280644432 node63.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.240 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 : 5914.62 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.240 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1605368 kB Buffers: 53868 kB Cached: 315460 kB SwapCached: 5692 kB Active: 60056 kB Inactive: 318192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1605368 kB SwapTotal: 4192956 kB SwapFree: 4181640 kB Dirty: 4256 kB Writeback: 0 kB Mapped: 13636 kB Slab: 58064 kB Committed_AS: 86100 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876704-1245190981.opb Free space on /tmp at the end= 66464 MiB End job on node63 at 2009-06-17 00:28:40