Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 472.417 | 472.578 |
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 | 6.31304 |
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.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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670648-1276704037.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.005 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.012 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. 100.35/100.43 c 101 616 1019 10006 9 3447 5691 101 4208 0.02 100.35/100.43 c 251 616 1169 18897 16 3717 6261 251 6121 0.04 100.35/100.43 c 476 616 1394 32056 22 4153 6888 476 6898 0.07 100.35/100.43 c 814 616 1732 56332 32 4776 7577 814 7607 0.11 100.35/100.43 c 1323 616 2241 87029 38 5776 8335 1323 7432 0.18 100.35/100.43 c 2086 616 3004 133189 44 7272 9169 2086 6081 0.34 100.35/100.43 c 3232 616 4150 211534 50 9563 10086 3232 5919 0.55 100.35/100.43 c 4954 616 5872 322688 54 13011 11095 4954 6012 0.82 100.35/100.43 c 7539 616 8457 486813 57 18310 12205 7539 4732 1.59 100.35/100.43 c 11419 616 12337 779248 63 26045 13426 11419 4492 2.54 100.35/100.43 c 17242 616 11211 693450 61 23745 14769 10293 3379 5.10 100.35/100.43 c 25979 616 12412 759768 61 26128 16246 11494 2855 9.10 100.35/100.43 c 39089 615 9175 479204 52 19631 17871 8257 2277 17.16 100.35/100.43 c 58759 615 10034 629891 62 21365 19659 9116 2381 24.67 100.35/100.43 c 88271 615 18919 1186673 62 39154 21625 18001 1654 53.35 100.35/100.43 c 132544 615 18559 1278130 68 38488 23788 17641 1394 95.08 100.35/100.43 o 65 101.15/101.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.15/101.21 c 144328 614 17062 1085814 63 35517 5189 16144 1437 100.39 101.15/101.21 c 144428 614 3616 189380 52 8640 5708 2698 1436 100.55 101.15/101.21 c 144678 604 3866 205131 53 9161 6279 2948 1438 100.59 101.15/101.21 c 145154 604 4342 237801 54 10135 6907 3424 1441 100.67 101.15/101.21 c 145967 604 5155 295359 57 11665 7598 4237 1448 100.81 101.15/101.21 c 147287 604 6475 392464 60 14325 8358 5557 1456 101.09 101.15/101.21 o 57 160.73/160.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 160.73/160.84 c 147671 604 6860 416843 60 15090 5187 5942 1459 101.17 160.73/160.84 c 147772 604 3617 194617 53 8660 5706 2699 1460 101.20 160.73/160.84 c 148024 604 3869 212016 54 9129 6277 2951 1462 101.24 160.73/160.84 c 148499 604 4344 245876 56 10116 6905 3426 1465 101.35 160.73/160.84 c 149313 604 5158 303206 58 11745 7596 4240 1469 101.62 160.73/160.84 c 150633 604 6478 389875 60 14377 8356 5560 1474 102.16 160.73/160.84 c 152714 604 8559 526798 61 18543 9192 7641 1482 102.98 160.73/160.84 c 155937 604 6924 399526 57 15200 10112 6006 1483 105.09 160.73/160.84 c 160874 604 6724 365543 54 14787 11124 5806 1480 108.63 160.73/160.84 c 168380 594 8457 493626 58 18374 12237 7539 1500 112.18 160.73/160.84 c 179742 594 7042 427093 60 15494 13461 6124 1514 118.69 160.73/160.84 c 196886 594 10071 587786 58 21558 14808 9153 1497 131.43 160.73/160.84 c 222706 594 13424 851064 63 28179 16289 12506 1414 157.50 160.73/160.84 o 19 171.72/171.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 171.72/171.86 c 228968 593 11453 694210 60 24286 5185 10535 1424 160.78 171.72/171.86 c 229068 583 3616 170574 47 8667 5704 2698 1423 160.88 171.72/171.86 c 229318 583 3866 188622 48 9183 6275 2948 1425 160.91 171.72/171.86 c 229793 583 4341 224407 51 10118 6903 3423 1427 160.99 171.72/171.86 c 230608 583 5156 283119 54 11742 7594 4238 1430 161.20 171.72/171.86 c 231928 583 6476 374430 57 14376 8354 5558 1433 161.76 171.72/171.86 c 234009 583 8557 513376 59 18555 9190 7639 1437 162.77 171.72/171.86 c 237232 583 7092 413032 58 15615 10110 6174 1439 164.79 171.72/171.86 c 242169 583 6868 399289 58 15180 11122 5950 1434 168.85 171.72/171.86 o 7 189.42/189.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 189.42/189.56 c 246538 583 11238 684525 60 23910 5183 10320 1435 171.80 189.42/189.56 c 246639 583 3618 177459 49 8640 5702 2700 1434 171.93 189.42/189.56 c 246890 583 3869 194367 50 9119 6273 2951 1435 171.99 189.42/189.56 c 247366 583 4345 226638 52 10073 6901 3427 1436 172.17 189.42/189.56 c 248180 583 5159 279137 54 11702 7592 4241 1438 172.50 189.42/189.56 c 249500 583 6479 364115 56 14326 8352 5561 1441 173.10 189.42/189.56 c 251581 583 8560 506963 59 18498 9188 7642 1449 173.58 189.42/189.56 c 254805 563 6887 395603 57 15202 10107 5969 1452 175.46 189.42/189.56 c 259741 563 6656 376084 56 14712 11118 5738 1453 178.67 189.42/189.56 c 267249 563 8342 489000 58 18096 12230 7424 1463 182.56 189.42/189.56 c 278611 563 13026 850285 65 27415 13454 12108 1476 188.71 189.42/189.56 o 3 472.33/472.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 472.33/472.57 c 281314 563 8632 538522 62 18655 5179 7714 1484 189.49 472.33/472.57 c 281415 563 3618 187414 51 8570 5697 2700 1484 189.55 472.33/472.57 c 281666 542 3869 206656 53 9118 6267 2951 1485 189.59 472.33/472.57 c 282143 542 4346 240397 55 10087 6894 3428 1487 189.68 472.33/472.57 c 282957 542 5160 296781 57 11698 7584 4242 1490 189.84 472.33/472.57 c 284277 542 6480 384644 59 14307 8343 5562 1495 190.14 472.33/472.57 c 286358 542 8561 522297 61 18447 9178 7643 1500 190.79 472.33/472.57 c 289582 542 7075 406452 57 15503 10096 6157 1506 192.22 472.33/472.57 c 294518 542 6588 381834 57 14548 11106 5670 1516 194.18 472.33/472.57 c 302024 542 8268 469481 56 17911 12217 7350 1517 199.09 472.33/472.57 c 313385 542 13153 787131 59 27654 13439 12235 1533 204.34 472.33/472.57 c 330530 542 9417 564588 59 20176 14783 8499 1549 213.32 472.33/472.57 c 356350 541 11855 656686 55 25071 16262 10937 1538 231.58 472.33/472.57 c 395183 541 9062 571508 63 19544 17889 8144 1489 265.23 472.33/472.57 c 453535 541 12149 733817 60 25652 19678 11231 1386 327.10 472.33/472.57 c 541167 531 19517 1084791 55 40419 21646 18599 1243 435.31 472.33/472.57 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 472.33/472.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 472.33/472.57 c 71 562032 4676 585802 18270 924169 17352 1189 472.41 472.33/472.57 c Objective: 3 472.33/472.57 s OPTIMUM FOUND 472.33/472.57 c Total time: 472.413 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-2670648-1276704037/watcher-2670648-1276704037 -o /tmp/evaluation-result-2670648-1276704037/solver-2670648-1276704037 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670648-1276704037.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 0.96 3/106 14406 /proc/meminfo: memFree=1749800/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=10924 CPUtime=0 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 381 0 0 0 0 0 0 0 18 0 1 0 46007721 11186176 290 1992294400 134512640 137138936 4287579648 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 2731 290 184 642 0 2087 0 [startup+0.0822801 s] /proc/loadavg: 1.00 1.00 0.96 3/106 14406 /proc/meminfo: memFree=1749800/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=11560 CPUtime=0.07 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 525 0 0 0 7 0 0 0 20 0 1 0 46007721 11837440 434 1992294400 134512640 137138936 4287579648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 2890 434 190 642 0 2246 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11560 [startup+0.101281 s] /proc/loadavg: 1.00 1.00 0.96 3/106 14406 /proc/meminfo: memFree=1749800/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=11684 CPUtime=0.09 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 568 0 0 0 9 0 0 0 20 0 1 0 46007721 11964416 477 1992294400 134512640 137138936 4287579648 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 2921 477 190 642 0 2277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11684 [startup+0.301304 s] /proc/loadavg: 1.00 1.00 0.96 3/106 14406 /proc/meminfo: memFree=1749800/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=12688 CPUtime=0.29 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 812 0 0 0 28 1 0 0 20 0 1 0 46007721 12992512 721 1992294400 134512640 137138936 4287579648 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 3172 721 190 642 0 2528 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12688 [startup+0.701351 s] /proc/loadavg: 1.00 1.00 0.96 3/106 14406 /proc/meminfo: memFree=1749800/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=14824 CPUtime=0.69 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 1370 0 0 0 67 2 0 0 20 0 1 0 46007721 15179776 1279 1992294400 134512640 137138936 4287579648 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 3706 1279 190 642 0 3062 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14824 [startup+1.50144 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14407 /proc/meminfo: memFree=1744088/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=17844 CPUtime=1.49 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 2096 0 0 0 147 2 0 0 23 0 1 0 46007721 18272256 2005 1992294400 134512640 137138936 4287579648 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 4461 2005 190 642 0 3817 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17844 [startup+3.10163 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14407 /proc/meminfo: memFree=1739872/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=23228 CPUtime=3.09 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 3452 0 0 0 305 4 0 0 25 0 1 0 46007721 23785472 3361 1992294400 134512640 137138936 4287579648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 5807 3361 190 642 0 5163 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23228 [startup+6.30101 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14407 /proc/meminfo: memFree=1735656/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=24728 CPUtime=6.29 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 3843 0 0 0 624 5 0 0 25 0 1 0 46007721 25321472 3752 1992294400 134512640 137138936 4287579648 18446744073709551615 134618131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 6182 3752 190 642 0 5538 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24728 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14407 /proc/meminfo: memFree=1733812/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=26064 CPUtime=12.68 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 4165 0 0 0 1262 6 0 0 25 0 1 0 46007721 26689536 4074 1992294400 134512640 137138936 4287579648 18446744073709551615 134542190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 6516 4074 190 642 0 5872 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26064 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14418 /proc/meminfo: memFree=1730952/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=28672 CPUtime=25.47 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 4826 0 0 0 2535 12 0 0 25 0 1 0 46007721 29360128 4735 1992294400 134512640 137138936 4287579648 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 7168 4735 190 642 0 6524 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 28672 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14418 /proc/meminfo: memFree=1728480/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=31232 CPUtime=51.06 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 5462 0 0 0 5087 19 0 0 25 0 1 0 46007721 31981568 5371 1992294400 134512640 137138936 4287579648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 7808 5371 190 642 0 7164 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 31232 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14420 /proc/meminfo: memFree=1724264/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35472 CPUtime=102.25 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 10195 30 0 0 25 0 1 0 46007721 36323328 6442 1992294400 134512640 137138936 4287579648 18446744073709551615 134576109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8868 6442 191 642 0 8224 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 35472 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14420 /proc/meminfo: memFree=1724140/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35464 CPUtime=162.23 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 16174 49 0 0 25 0 1 0 46007721 36315136 6441 1992294400 134512640 137138936 4287579648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8866 6441 191 642 0 8222 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 35464 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14422 /proc/meminfo: memFree=1724140/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35464 CPUtime=222.21 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 22152 69 0 0 25 0 1 0 46007721 36315136 6441 1992294400 134512640 137138936 4287579648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8866 6441 191 642 0 8222 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 35464 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14424 /proc/meminfo: memFree=1724140/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35464 CPUtime=282.19 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 28136 83 0 0 25 0 1 0 46007721 36315136 6441 1992294400 134512640 137138936 4287579648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8866 6441 191 642 0 8222 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 35464 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14426 /proc/meminfo: memFree=1724140/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35464 CPUtime=342.17 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 34120 97 0 0 25 0 1 0 46007721 36315136 6441 1992294400 134512640 137138936 4287579648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8866 6441 191 642 0 8222 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 35464 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14428 /proc/meminfo: memFree=1724140/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35456 CPUtime=402.15 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 40104 111 0 0 25 0 1 0 46007721 36306944 6439 1992294400 134512640 137138936 4287579648 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8864 6439 191 642 0 8220 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 35456 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14428 /proc/meminfo: memFree=1724016/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35456 CPUtime=462.13 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 46092 121 0 0 25 0 1 0 46007721 36306944 6439 1992294400 134512640 137138936 4287579648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8864 6439 191 642 0 8220 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 35456 Solver just ended. Dumping a history of the last processes samples [startup+467.101 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14430 /proc/meminfo: memFree=1724016/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35456 CPUtime=466.93 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 46570 123 0 0 25 0 1 0 46007721 36306944 6439 1992294400 134512640 137138936 4287579648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8864 6439 191 642 0 8220 0 Current children cumulated CPU time (s) 466.93 Current children cumulated vsize (KiB) 35456 [startup+470.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14430 /proc/meminfo: memFree=1724016/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35456 CPUtime=470.13 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 46890 123 0 0 25 0 1 0 46007721 36306944 6439 1992294400 134512640 137138936 4287579648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8864 6439 191 642 0 8220 0 Current children cumulated CPU time (s) 470.13 Current children cumulated vsize (KiB) 35456 [startup+471.909 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14430 /proc/meminfo: memFree=1724016/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35456 CPUtime=471.74 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 47050 124 0 0 25 0 1 0 46007721 36306944 6439 1992294400 134512640 137138936 4287579648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8864 6439 191 642 0 8220 0 Current children cumulated CPU time (s) 471.74 Current children cumulated vsize (KiB) 35456 [startup+472.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14430 /proc/meminfo: memFree=1724016/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35456 CPUtime=472.14 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 47090 124 0 0 25 0 1 0 46007721 36306944 6439 1992294400 134512640 137138936 4287579648 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8864 6439 191 642 0 8220 0 Current children cumulated CPU time (s) 472.14 Current children cumulated vsize (KiB) 35456 [startup+472.502 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14430 /proc/meminfo: memFree=1724016/2059040 swapFree=4136508/4192956 [pid=14406] ppid=14404 vsize=35456 CPUtime=472.33 /proc/14406/stat : 14406 (bsolo_pb10) R 14404 14406 14015 0 -1 4202496 6533 0 0 0 47109 124 0 0 25 0 1 0 46007721 36306944 6439 1992294400 134512640 137138936 4287579648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14406/statm: 8864 6439 191 642 0 8220 0 Current children cumulated CPU time (s) 472.33 Current children cumulated vsize (KiB) 35456 Child status: 0 Real time (s): 472.578 CPU time (s): 472.417 CPU user time (s): 471.172 CPU system time (s): 1.24481 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 35484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 471.172 system time used= 1.24481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6534 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= 907 runsolver used 0.847871 second user time and 2.16867 second system time The end
Begin job on node001 at 2010-06-16 18:00:37 IDJOB=2670648 IDBENCH=48040 IDSOLVER=1163 FILE ID=node001/2670648-1276704037 PBS_JOBID= 11174132 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 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_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670648-1276704037/watcher-2670648-1276704037 -o /tmp/evaluation-result-2670648-1276704037/solver-2670648-1276704037 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670648-1276704037.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83b6f70c71dbcf261c00790940be437e RANDOM SEED=2061008470 node001.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.202 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1750576 kB Buffers: 86016 kB Cached: 129348 kB SwapCached: 10168 kB Active: 112084 kB Inactive: 116848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1750576 kB SwapTotal: 4192956 kB SwapFree: 4136508 kB Dirty: 3980 kB Writeback: 0 kB AnonPages: 11684 kB Mapped: 9476 kB Slab: 57892 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182824 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-2670648-1276704037.opb Free space on /tmp at the end= 62512 MiB End job on node001 at 2010-06-16 18:08:30