Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 455.385 | 455.608 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb |
MD5SUM | 83b6f70c71dbcf261c00790940be437e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 8.99163 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 168 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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: Clause 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-1878060-1245188643.opb 0.00/0.00 c File size is 33487 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368 0.00/0.00 c Obj. Vars: 8 (1.2987 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 96.64/96.74 c 101 616 1019 10006 9 3447 5691 101 4809 0.02 96.64/96.74 c 251 616 1169 18897 16 3717 6261 251 6783 0.04 96.64/96.74 c 476 616 1394 32056 22 4153 6888 476 7677 0.06 96.64/96.74 c 814 616 1732 56332 32 4776 7577 814 8391 0.10 96.64/96.74 c 1323 616 2241 87029 38 5776 8335 1323 8067 0.16 96.64/96.74 c 2086 616 3004 133189 44 7272 9169 2086 6601 0.32 96.64/96.74 c 3232 616 4150 211534 50 9563 10086 3232 6400 0.51 96.64/96.74 c 4954 616 5872 322688 54 13011 11095 4954 6492 0.76 96.64/96.74 c 7539 616 8457 486813 57 18310 12205 7539 5097 1.48 96.64/96.74 c 11419 616 12337 779248 63 26045 13426 11419 4844 2.36 96.64/96.74 c 17242 616 11211 693450 61 23745 14769 10293 3606 4.78 96.64/96.74 c 25979 616 12412 759768 61 26128 16246 11494 3012 8.62 96.64/96.74 c 39089 615 9175 479204 52 19631 17871 8257 2391 16.34 96.64/96.74 c 58759 615 10034 629891 62 21365 19659 9116 2507 23.44 96.64/96.74 c 88271 615 18919 1186673 62 39154 21625 18001 1722 51.26 96.64/96.74 c 132544 615 18559 1278130 68 38488 23788 17641 1446 91.64 96.64/96.74 o 65 97.33/97.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 97.33/97.46 c 144328 614 17062 1085814 63 35517 5189 16144 1492 96.68 97.33/97.46 c 144428 614 3616 189380 52 8640 5708 2698 1491 96.84 97.33/97.46 c 144678 604 3866 205131 53 9161 6279 2948 1493 96.87 97.33/97.46 c 145154 604 4342 237801 54 10135 6907 3424 1497 96.94 97.33/97.46 c 145967 604 5155 295359 57 11665 7598 4237 1503 97.07 97.33/97.46 c 147287 604 6475 392464 60 14325 8358 5557 1513 97.34 97.33/97.46 o 57 154.70/154.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 154.70/154.84 c 147671 604 6860 416843 60 15090 5187 5942 1516 97.41 154.70/154.84 c 147772 604 3617 194617 53 8660 5706 2699 1516 97.44 154.70/154.84 c 148024 604 3869 212016 54 9129 6277 2951 1518 97.47 154.70/154.84 c 148499 604 4344 245876 56 10116 6905 3426 1521 97.58 154.70/154.84 c 149313 604 5158 303206 58 11745 7596 4240 1526 97.83 154.70/154.84 c 150633 604 6478 389875 60 14377 8356 5560 1531 98.33 154.70/154.84 c 152714 604 8559 526798 61 18543 9192 7641 1541 99.10 154.70/154.84 c 155937 604 6924 399526 57 15200 10112 6006 1542 101.11 154.70/154.84 c 160874 604 6724 365543 54 14787 11124 5806 1539 104.49 154.70/154.84 c 168380 594 8457 493626 58 18374 12237 7539 1560 107.89 154.70/154.84 c 179742 594 7042 427093 60 15494 13461 6124 1574 114.14 154.70/154.84 c 196886 594 10071 587786 58 21558 14808 9153 1557 126.38 154.70/154.84 c 222706 594 13424 851064 63 28179 16289 12506 1468 151.61 154.70/154.84 o 19 165.31/165.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 165.31/165.41 c 228968 593 11453 694210 60 24286 5185 10535 1479 154.76 165.31/165.41 c 229068 583 3616 170574 47 8667 5704 2698 1479 154.86 165.31/165.41 c 229318 583 3866 188622 48 9183 6275 2948 1480 154.89 165.31/165.41 c 229793 583 4341 224407 51 10118 6903 3423 1482 154.96 165.31/165.41 c 230608 583 5156 283119 54 11742 7594 4238 1486 155.16 165.31/165.41 c 231928 583 6476 374430 57 14376 8354 5558 1489 155.68 165.31/165.41 c 234009 583 8557 513376 59 18555 9190 7639 1493 156.65 165.31/165.41 c 237232 583 7092 413032 58 15615 10110 6174 1496 158.57 165.31/165.41 c 242169 583 6868 399289 58 15180 11122 5950 1490 162.47 165.31/165.41 o 7 182.30/182.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.30/182.43 c 246538 583 11238 684525 60 23910 5183 10320 1491 165.33 182.30/182.43 c 246639 583 3618 177459 49 8640 5702 2700 1490 165.45 182.30/182.43 c 246890 583 3869 194367 50 9119 6273 2951 1491 165.51 182.30/182.43 c 247366 583 4345 226638 52 10073 6901 3427 1493 165.68 182.30/182.43 c 248180 583 5159 279137 54 11702 7592 4241 1495 166.00 182.30/182.43 c 249500 583 6479 364115 56 14326 8352 5561 1497 166.58 182.30/182.43 c 251581 583 8560 506963 59 18498 9188 7642 1506 167.03 182.30/182.43 c 254805 563 6887 395603 57 15202 10107 5969 1509 168.85 182.30/182.43 c 259741 563 6656 376084 56 14712 11118 5738 1510 171.99 182.30/182.43 c 267249 563 8342 489000 58 18096 12230 7424 1520 175.73 182.30/182.43 c 278611 563 13026 850285 65 27415 13454 12108 1534 181.60 182.30/182.43 o 3 455.37/455.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 455.37/455.60 c 281314 563 8632 538522 62 18655 5179 7714 1542 182.34 455.37/455.60 c 281415 563 3618 187414 51 8570 5697 2700 1542 182.39 455.37/455.60 c 281666 542 3869 206656 53 9118 6267 2951 1543 182.43 455.37/455.60 c 282143 542 4346 240397 55 10087 6894 3428 1545 182.51 455.37/455.60 c 282957 542 5160 296781 57 11698 7584 4242 1549 182.66 455.37/455.60 c 284277 542 6480 384644 59 14307 8343 5562 1553 182.94 455.37/455.60 c 286358 542 8561 522297 61 18447 9178 7643 1560 183.55 455.37/455.60 c 289582 542 7075 406452 57 15503 10096 6157 1565 184.93 455.37/455.60 c 294518 542 6588 381834 57 14548 11106 5670 1576 186.81 455.37/455.60 c 302024 542 8268 469481 56 17911 12217 7350 1576 191.54 455.37/455.60 c 313385 542 13153 787131 59 27654 13439 12235 1594 196.54 455.37/455.60 c 330530 542 9417 564588 59 20176 14783 8499 1611 205.13 455.37/455.60 c 356350 541 11855 656686 55 25071 16262 10937 1599 222.72 455.37/455.60 c 395183 541 9062 571508 63 19544 17889 8144 1549 255.11 455.37/455.60 c 453535 541 12149 733817 60 25652 19678 11231 1440 314.80 455.37/455.60 c 541167 531 19517 1084791 55 40419 21646 18599 1290 419.38 455.37/455.60 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 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 x65 x66 -x67 x68 x69 -x70 -x71 -x72 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 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 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x121 x122 x123 -x124 x125 -x126 -x127 -x128 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 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x129 -x130 -x131 -x132 x133 x134 -x135 -x136 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 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 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 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x153 -x154 x155 x156 x157 -x158 -x159 -x160 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 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 455.37/455.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 455.37/455.60 c 71 562032 4676 585802 18270 924169 17352 1234 455.38 455.37/455.60 c Objective: 3 455.37/455.60 s OPTIMUM FOUND 455.37/455.60 c Total time: 455.379 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878060-1245188643/watcher-1878060-1245188643 -o /tmp/evaluation-result-1878060-1245188643/solver-1878060-1245188643 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878060-1245188643.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/64 8081 /proc/meminfo: memFree=1865384/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=10744 CPUtime=0 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 186460662 11001856 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 2686 245 177 640 0 2033 0 [startup+0.012652 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8081 /proc/meminfo: memFree=1865384/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=10976 CPUtime=0 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 343 0 0 0 0 0 0 0 18 0 1 0 186460662 11239424 318 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 2744 318 196 640 0 2100 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10976 [startup+0.101665 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8081 /proc/meminfo: memFree=1865384/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=11604 CPUtime=0.09 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 522 0 0 0 9 0 0 0 18 0 1 0 186460662 11882496 497 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 2901 497 196 640 0 2257 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11604 [startup+0.301699 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8081 /proc/meminfo: memFree=1865384/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=12732 CPUtime=0.29 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 776 0 0 0 29 0 0 0 19 0 1 0 186460662 13037568 751 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 3183 751 196 640 0 2539 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12732 [startup+0.701769 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8081 /proc/meminfo: memFree=1865384/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=15120 CPUtime=0.69 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 1374 0 0 0 68 1 0 0 23 0 1 0 186460662 15482880 1349 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 3780 1349 196 640 0 3136 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15120 [startup+1.50191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1859360/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=17888 CPUtime=1.49 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 2095 0 0 0 148 1 0 0 25 0 1 0 186460662 18317312 2070 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 4472 2070 196 640 0 3828 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17888 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1854624/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=23648 CPUtime=3.09 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 3509 0 0 0 306 3 0 0 25 0 1 0 186460662 24215552 3484 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 5912 3484 196 640 0 5268 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23648 [startup+6.30274 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1851360/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=25396 CPUtime=6.29 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 3955 0 0 0 625 4 0 0 25 0 1 0 186460662 26005504 3930 1992294400 134512640 137136520 4294956256 18446744073709551615 134544500 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 6349 3930 196 640 0 5705 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25396 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1849448/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=25984 CPUtime=12.69 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 4103 0 0 0 1264 5 0 0 25 0 1 0 186460662 26607616 4078 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 6496 4078 196 640 0 5852 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25984 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1847016/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=28592 CPUtime=25.48 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 4764 0 0 0 2540 8 0 0 25 0 1 0 186460662 29278208 4739 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 7148 4739 196 640 0 6504 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28592 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1844456/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=31152 CPUtime=51.06 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 5400 0 0 0 5094 12 0 0 25 0 1 0 186460662 31899648 5375 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 7788 5375 196 640 0 7144 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 31152 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1840040/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35392 CPUtime=102.23 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 10200 23 0 0 25 0 1 0 186460662 36241408 6446 1992294400 134512640 137136520 4294956256 18446744073709551615 134574384 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8848 6446 197 640 0 8204 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 35392 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839976/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35384 CPUtime=162.2 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 16186 34 0 0 25 0 1 0 186460662 36233216 6445 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8846 6445 197 640 0 8202 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 35384 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35384 CPUtime=222.18 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 22170 48 0 0 25 0 1 0 186460662 36233216 6445 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8846 6445 197 640 0 8202 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 35384 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35384 CPUtime=282.15 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 28158 57 0 0 25 0 1 0 186460662 36233216 6445 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8846 6445 197 640 0 8202 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 35384 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35384 CPUtime=342.13 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 34148 65 0 0 25 0 1 0 186460662 36233216 6445 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8846 6445 197 640 0 8202 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 35384 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839848/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=402.1 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 40136 74 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 35376 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839848/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=409.29 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 40855 74 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 409.29 Current children cumulated vsize (KiB) 35376 [startup+435.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=434.88 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 43411 77 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 434.88 Current children cumulated vsize (KiB) 35376 [startup+447.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=447.67 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 44688 79 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 447.67 Current children cumulated vsize (KiB) 35376 [startup+451.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=450.87 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 45008 79 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 134543855 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 450.87 Current children cumulated vsize (KiB) 35376 [startup+452.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=452.47 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 45168 79 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 452.47 Current children cumulated vsize (KiB) 35376 [startup+454.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=454.07 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 45328 79 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 454.07 Current children cumulated vsize (KiB) 35376 [startup+455.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=454.87 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 45407 80 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 454.87 Current children cumulated vsize (KiB) 35376 [startup+455.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=455.27 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 45447 80 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 455.27 Current children cumulated vsize (KiB) 35376 [startup+455.601 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8082 /proc/meminfo: memFree=1839912/2055920 swapFree=4181248/4192956 [pid=8081] ppid=8079 vsize=35376 CPUtime=455.37 /proc/8081/stat : 8081 (bsolo) R 8079 8081 7506 0 -1 4194304 6471 0 0 0 45457 80 0 0 25 0 1 0 186460662 36225024 6443 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8081/statm: 8844 6443 197 640 0 8200 0 Current children cumulated CPU time (s) 455.37 Current children cumulated vsize (KiB) 35376 Child status: 0 Real time (s): 455.608 CPU time (s): 455.385 CPU user time (s): 454.58 CPU system time (s): 0.804877 CPU usage (%): 99.951 Max. virtual memory (cumulated for all children) (KiB): 35404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 454.58 system time used= 0.804877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6473 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= 2 involuntary context switches= 1601 runsolver used 0.462929 second user time and 1.20182 second system time The end
Begin job on node48 at 2009-06-16 23:44:03 IDJOB=1878060 IDBENCH=48040 IDSOLVER=700 FILE ID=node48/1878060-1245188643 PBS_JOBID= 9368276 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878060-1245188643/watcher-1878060-1245188643 -o /tmp/evaluation-result-1878060-1245188643/solver-1878060-1245188643 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878060-1245188643.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83b6f70c71dbcf261c00790940be437e RANDOM SEED=1219096206 node48.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.270 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.270 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1865872 kB Buffers: 41200 kB Cached: 80760 kB SwapCached: 5472 kB Active: 60488 kB Inactive: 69308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1865872 kB SwapTotal: 4192956 kB SwapFree: 4181248 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13544 kB Slab: 46268 kB Committed_AS: 158896 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878060-1245188643.opb Free space on /tmp at the end= 66232 MiB End job on node48 at 2009-06-16 23:51:39