Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 257 | 1798.01 | 1798.45 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb |
MD5SUM | 80881c7fbc3c10cf38784c74294061e5 |
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 | 0.631903 |
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 | 162 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
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-2670366-1276700937.opb 0.00/0.00 c File size is 36228 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.007 s 0.00/0.00 c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540 0.00/0.00 c Obj. Vars: 9 (1.38889 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 648 991 4149 4 3569 5544 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1715.57/1716.00 c 100 648 1091 11805 10 3669 6099 100 3846 0.03 1715.57/1716.00 c 250 648 1241 24345 19 3889 6709 250 5102 0.05 1715.57/1716.00 c 476 648 1467 43971 29 4396 7380 476 5534 0.09 1715.57/1716.00 c 814 648 1805 74643 41 5173 8119 814 6029 0.14 1715.57/1716.00 c 1322 648 2313 121187 52 6145 8931 1322 6120 0.22 1715.57/1716.00 c 2085 648 3076 186162 60 7668 9825 2085 5401 0.39 1715.57/1716.00 c 3233 648 4224 279428 66 9816 10808 3233 5317 0.61 1715.57/1716.00 c 4955 648 5946 425830 71 13335 11889 4955 5265 0.94 1715.57/1716.00 c 7540 648 8531 618669 72 18537 13078 7540 4536 1.66 1715.57/1716.00 c 11420 648 12411 930328 74 26279 14386 11420 3896 2.93 1715.57/1716.00 c 17243 648 10618 792011 74 22721 15825 9627 3642 4.73 1715.57/1716.00 c 25981 648 10922 841117 77 23277 17408 9931 3092 8.40 1715.57/1716.00 c 39091 648 14876 1150051 77 31112 19149 13885 2667 14.65 1715.57/1716.00 c 58762 648 15259 1070479 70 31853 21064 14268 1540 38.15 1715.57/1716.00 c 88272 648 11578 830519 71 24594 23171 10587 1145 77.05 1715.57/1716.00 c 132543 648 17901 1290199 72 37129 25489 16910 1059 125.08 1715.57/1716.00 c 198953 648 24668 1956468 79 50694 28038 23677 953 208.63 1715.57/1716.00 c 298574 648 20359 1571429 77 42215 30842 19368 850 351.07 1715.57/1716.00 c 448010 648 29825 2361306 79 61087 33927 28834 760 589.40 1715.57/1716.00 c 672168 648 22451 1598503 71 46430 37320 21460 681 986.32 1715.57/1716.00 c 1008411 645 14803 1190770 80 31051 41053 13812 592 1701.47 1715.57/1716.00 o 257 1797.95/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.44 c 1018197 645 24590 2011795 81 50614 5562 23599 593 1715.59 1797.95/1798.44 c 1018298 645 3876 250795 64 9250 6119 2885 593 1716.12 1797.95/1798.44 c 1018549 645 4127 271931 65 9695 6731 3136 593 1716.17 1797.95/1798.44 c 1019026 645 4604 312019 67 10654 7405 3613 593 1716.32 1797.95/1798.44 c 1019839 645 5417 380602 70 12274 8146 4426 594 1716.55 1797.95/1798.44 c 1021160 645 6738 493960 73 14972 8961 5747 594 1717.00 1797.95/1798.44 c 1023242 645 8820 679622 77 19116 9858 7829 595 1717.64 1797.95/1798.44 c 1026465 645 7067 528968 74 15577 10844 6076 596 1719.77 1797.95/1798.44 c 1031402 645 6488 465114 71 14406 11929 5497 598 1723.67 1797.95/1798.44 c 1038909 645 7954 578198 72 17392 13122 6963 600 1730.23 1797.95/1798.44 c 1050271 645 12680 963250 75 26834 14435 11689 603 1741.67 1797.95/1798.44 c 1067416 645 15229 1183650 77 31930 15879 14238 605 1763.11 1797.95/1798.44 c 1093235 645 8958 647761 72 19393 17467 7967 609 1792.29 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 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 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 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 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 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 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 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 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 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1797.95/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.44 c 34 1104538 9762 1134576 11033 916591 10042 614 1798.00 1797.95/1798.44 c Objective: 257 1797.95/1798.44 s SATISFIABLE 1797.95/1798.44 c Total time: 1798 s
OK 257
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670366-1276700937/watcher-2670366-1276700937 -o /tmp/evaluation-result-2670366-1276700937/solver-2670366-1276700937 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670366-1276700937.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.97 1.03 0.93 3/106 11411 /proc/meminfo: memFree=1866360/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=10824 CPUtime=0 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 326 0 0 0 0 0 0 0 19 0 1 0 45695051 11083776 245 1992294400 134512640 137138936 4294403520 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 2706 246 174 642 0 2053 0 [startup+0.101363 s] /proc/loadavg: 0.97 1.03 0.93 3/106 11411 /proc/meminfo: memFree=1866360/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=11684 CPUtime=0.09 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 558 0 0 0 9 0 0 0 20 0 1 0 45695051 11964416 468 1992294400 134512640 137138936 4294403520 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 2921 469 190 642 0 2277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11684 [startup+0.201372 s] /proc/loadavg: 0.97 1.03 0.93 3/106 11411 /proc/meminfo: memFree=1866360/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=12444 CPUtime=0.19 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 772 0 0 0 19 0 0 0 20 0 1 0 45695051 12742656 682 1992294400 134512640 137138936 4294403520 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 3111 682 190 642 0 2467 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12444 [startup+0.301381 s] /proc/loadavg: 0.97 1.03 0.93 3/106 11411 /proc/meminfo: memFree=1866360/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=13068 CPUtime=0.29 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 917 0 0 0 29 0 0 0 20 0 1 0 45695051 13381632 827 1992294400 134512640 137138936 4294403520 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 3267 827 190 642 0 2623 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13068 [startup+0.701419 s] /proc/loadavg: 0.97 1.03 0.93 3/106 11411 /proc/meminfo: memFree=1866360/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=15316 CPUtime=0.69 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 1487 0 0 0 68 1 0 0 21 0 1 0 45695051 15683584 1397 1992294400 134512640 137138936 4294403520 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 3829 1397 190 642 0 3185 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15316 [startup+1.50149 s] /proc/loadavg: 0.97 1.03 0.93 2/107 11412 /proc/meminfo: memFree=1859284/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=19084 CPUtime=1.49 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 2419 0 0 0 148 1 0 0 23 0 1 0 45695051 19542016 2329 1992294400 134512640 137138936 4294403520 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 4771 2329 190 642 0 4127 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19084 [startup+3.10164 s] /proc/loadavg: 0.97 1.03 0.93 2/107 11412 /proc/meminfo: memFree=1855688/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=25236 CPUtime=3.09 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 3961 0 0 0 306 3 0 0 25 0 1 0 45695051 25841664 3871 1992294400 134512640 137138936 4294403520 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 6309 3871 190 642 0 5665 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25236 [startup+6.30094 s] /proc/loadavg: 0.98 1.03 0.93 2/107 11412 /proc/meminfo: memFree=1848248/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=28248 CPUtime=6.29 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 4712 0 0 0 624 5 0 0 25 0 1 0 45695051 28925952 4622 1992294400 134512640 137138936 4294403520 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 7062 4622 190 642 0 6418 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28248 [startup+12.7015 s] /proc/loadavg: 0.98 1.03 0.93 2/107 11412 /proc/meminfo: memFree=1844280/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=32336 CPUtime=12.69 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 5733 0 0 0 1261 8 0 0 25 0 1 0 45695051 33112064 5643 1992294400 134512640 137138936 4294403520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 8084 5643 190 642 0 7440 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32336 [startup+25.5007 s] /proc/loadavg: 0.98 1.03 0.93 2/107 11414 /proc/meminfo: memFree=1843784/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=32948 CPUtime=25.48 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 5888 0 0 0 2538 10 0 0 25 0 1 0 45695051 33738752 5798 1992294400 134512640 137138936 4294403520 18446744073709551615 134599789 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 8237 5798 190 642 0 7593 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32948 [startup+51.1011 s] /proc/loadavg: 0.99 1.03 0.93 2/107 11414 /proc/meminfo: memFree=1842296/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=34444 CPUtime=51.08 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 6264 0 0 0 5091 17 0 0 25 0 1 0 45695051 35270656 6174 1992294400 134512640 137138936 4294403520 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 8611 6174 190 642 0 7967 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 34444 [startup+102.301 s] /proc/loadavg: 0.99 1.02 0.93 2/107 11416 /proc/meminfo: memFree=1838824/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=37900 CPUtime=102.27 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 7131 0 0 0 10198 29 0 0 25 0 1 0 45695051 38809600 7041 1992294400 134512640 137138936 4294403520 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 9475 7041 190 642 0 8831 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37900 [startup+162.301 s] /proc/loadavg: 1.05 1.03 0.94 2/107 11416 /proc/meminfo: memFree=1834856/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=41712 CPUtime=162.24 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 8085 0 0 0 16179 45 0 0 25 0 1 0 45695051 42713088 7995 1992294400 134512640 137138936 4294403520 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 10428 7995 190 642 0 9784 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 41712 [startup+222.308 s] /proc/loadavg: 1.02 1.02 0.94 2/107 11418 /proc/meminfo: memFree=1832500/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=44052 CPUtime=222.24 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 8673 0 0 0 22166 58 0 0 25 0 1 0 45695051 45109248 8583 1992294400 134512640 137138936 4294403520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 11013 8583 190 642 0 10369 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 44052 [startup+282.301 s] /proc/loadavg: 1.00 1.02 0.94 2/107 11420 /proc/meminfo: memFree=1832376/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=44048 CPUtime=282.22 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 8673 0 0 0 28150 72 0 0 25 0 1 0 45695051 45105152 8583 1992294400 134512640 137138936 4294403520 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 11012 8583 190 642 0 10368 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44048 [startup+342.301 s] /proc/loadavg: 1.00 1.01 0.94 2/107 11425 /proc/meminfo: memFree=1831756/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=44044 CPUtime=342.21 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 8673 0 0 0 34138 83 0 0 25 0 1 0 45695051 45101056 8583 1992294400 134512640 137138936 4294403520 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 11011 8583 190 642 0 10367 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 44044 [startup+402.301 s] /proc/loadavg: 1.00 1.01 0.94 2/107 11427 /proc/meminfo: memFree=1827292/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=48732 CPUtime=402.19 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 9846 0 0 0 40121 98 0 0 25 0 1 0 45695051 49901568 9756 1992294400 134512640 137138936 4294403520 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 12183 9756 190 642 0 11539 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 48732 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11427 /proc/meminfo: memFree=1827292/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=48716 CPUtime=462.18 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 9846 0 0 0 46109 109 0 0 25 0 1 0 45695051 49885184 9753 1992294400 134512640 137138936 4294403520 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 12179 9753 190 642 0 11535 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 48716 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11429 /proc/meminfo: memFree=1827292/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=48716 CPUtime=522.16 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 9846 0 0 0 52095 121 0 0 25 0 1 0 45695051 49885184 9753 1992294400 134512640 137138936 4294403520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 12179 9753 190 642 0 11535 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 48716 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11431 /proc/meminfo: memFree=1827292/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=48716 CPUtime=582.15 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 9846 0 0 0 58081 134 0 0 25 0 1 0 45695051 49885184 9753 1992294400 134512640 137138936 4294403520 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 12179 9753 190 642 0 11535 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 48716 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11433 /proc/meminfo: memFree=1825184/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=51160 CPUtime=642.14 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 10459 0 0 0 64067 147 0 0 25 0 1 0 45695051 52387840 10332 1992294400 134512640 137138936 4294403520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 12790 10332 190 642 0 12146 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 51160 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1823324/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=52664 CPUtime=1062.03 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 10906 0 0 0 105982 221 0 0 25 0 1 0 45695051 53927936 10740 1992294400 134512640 137138936 4294403520 18446744073709551615 134575626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 13166 10740 190 642 0 12522 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 52664 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11445 /proc/meminfo: memFree=1823324/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=52444 CPUtime=1122.02 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 10906 0 0 0 111970 232 0 0 25 0 1 0 45695051 53702656 10685 1992294400 134512640 137138936 4294403520 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 13111 10685 190 642 0 12467 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 52444 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11447 /proc/meminfo: memFree=1818488/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=57592 CPUtime=1182 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12205 0 0 0 117957 243 0 0 25 0 1 0 45695051 58974208 11947 1992294400 134512640 137138936 4294403520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14398 11947 190 642 0 13754 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 57592 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11449 /proc/meminfo: memFree=1818240/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=57760 CPUtime=1241.98 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12240 0 0 0 123943 255 0 0 25 0 1 0 45695051 59146240 11982 1992294400 134512640 137138936 4294403520 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14440 11982 190 642 0 13796 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 57760 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11451 /proc/meminfo: memFree=1817000/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58892 CPUtime=1301.97 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12523 0 0 0 129933 264 0 0 25 0 1 0 45695051 60305408 12265 1992294400 134512640 137138936 4294403520 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14723 12265 190 642 0 14079 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 58892 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11451 /proc/meminfo: memFree=1817000/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58720 CPUtime=1361.96 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12523 0 0 0 135920 276 0 0 25 0 1 0 45695051 60129280 12254 1992294400 134512640 137138936 4294403520 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14680 12254 190 642 0 14036 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 58720 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11453 /proc/meminfo: memFree=1817000/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58720 CPUtime=1421.95 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12523 0 0 0 141909 286 0 0 25 0 1 0 45695051 60129280 12254 1992294400 134512640 137138936 4294403520 18446744073709551615 134599824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14680 12254 190 642 0 14036 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 58720 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11455 /proc/meminfo: memFree=1817000/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58720 CPUtime=1481.93 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12523 0 0 0 147898 295 0 0 25 0 1 0 45695051 60129280 12254 1992294400 134512640 137138936 4294403520 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14680 12254 190 642 0 14036 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 58720 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11457 /proc/meminfo: memFree=1817000/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58720 CPUtime=1541.92 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12523 0 0 0 153888 304 0 0 25 0 1 0 45695051 60129280 12254 1992294400 134512640 137138936 4294403520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14680 12254 190 642 0 14036 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 58720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11459 /proc/meminfo: memFree=1816876/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58720 CPUtime=1601.9 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12523 0 0 0 159874 316 0 0 25 0 1 0 45695051 60129280 12254 1992294400 134512640 137138936 4294403520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14680 12254 190 642 0 14036 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 58720 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11459 /proc/meminfo: memFree=1816752/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58720 CPUtime=1661.88 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12523 0 0 0 165863 325 0 0 25 0 1 0 45695051 60129280 12254 1992294400 134512640 137138936 4294403520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14680 12254 190 642 0 14036 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 58720 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11461 /proc/meminfo: memFree=1816752/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58720 CPUtime=1721.87 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12524 0 0 0 171852 335 0 0 25 0 1 0 45695051 60129280 12255 1992294400 134512640 137138936 4294403520 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14680 12255 191 642 0 14036 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 58720 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11463 /proc/meminfo: memFree=1816876/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58128 CPUtime=1781.85 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12524 0 0 0 177833 352 0 0 25 0 1 0 45695051 59523072 12107 1992294400 134512640 137138936 4294403520 18446744073709551615 136504182 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14532 12107 191 642 0 13888 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 58128 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11463 /proc/meminfo: memFree=1816876/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58128 CPUtime=1791.56 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12524 0 0 0 178801 355 0 0 25 0 1 0 45695051 59523072 12107 1992294400 134512640 137138936 4294403520 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14532 12107 191 642 0 13888 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (KiB) 58128 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11463 /proc/meminfo: memFree=1816876/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58128 CPUtime=1794.76 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12524 0 0 0 179120 356 0 0 25 0 1 0 45695051 59523072 12107 1992294400 134512640 137138936 4294403520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14532 12107 191 642 0 13888 0 Current children cumulated CPU time (s) 1794.76 Current children cumulated vsize (KiB) 58128 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11463 /proc/meminfo: memFree=1816876/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58128 CPUtime=1796.34 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12524 0 0 0 179278 356 0 0 25 0 1 0 45695051 59523072 12107 1992294400 134512640 137138936 4294403520 18446744073709551615 134573839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14532 12107 191 642 0 13888 0 Current children cumulated CPU time (s) 1796.34 Current children cumulated vsize (KiB) 58128 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11463 /proc/meminfo: memFree=1816876/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58128 CPUtime=1797.15 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12524 0 0 0 179358 357 0 0 25 0 1 0 45695051 59523072 12107 1992294400 134512640 137138936 4294403520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14532 12107 191 642 0 13888 0 Current children cumulated CPU time (s) 1797.15 Current children cumulated vsize (KiB) 58128 [startup+1798 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11463 /proc/meminfo: memFree=1816876/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58128 CPUtime=1797.55 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12524 0 0 0 179398 357 0 0 25 0 1 0 45695051 59523072 12107 1992294400 134512640 137138936 4294403520 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14532 12107 191 642 0 13888 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 58128 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11463 /proc/meminfo: memFree=1816876/2059040 swapFree=4135932/4192956 [pid=11411] ppid=11409 vsize=58128 CPUtime=1797.95 /proc/11411/stat : 11411 (bsolo_pb10) R 11409 11411 11227 0 -1 4202496 12524 0 0 0 179438 357 0 0 25 0 1 0 45695051 59523072 12107 1992294400 134512640 137138936 4294403520 18446744073709551615 134609266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11411/statm: 14532 12107 191 642 0 13888 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 58128 Child status: 0 Real time (s): 1798.45 CPU time (s): 1798.01 CPU user time (s): 1794.43 CPU system time (s): 3.57746 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 58892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.43 system time used= 3.57746 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12525 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= 11189 runsolver used 2.74458 second user time and 8.71368 second system time The end
Begin job on node015 at 2010-06-16 17:08:57 IDJOB=2670366 IDBENCH=47899 IDSOLVER=1163 FILE ID=node015/2670366-1276700937 PBS_JOBID= 11174119 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670366-1276700937/watcher-2670366-1276700937 -o /tmp/evaluation-result-2670366-1276700937/solver-2670366-1276700937 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670366-1276700937.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80881c7fbc3c10cf38784c74294061e5 RANDOM SEED=990813013 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1869124 kB Buffers: 11584 kB Cached: 98556 kB SwapCached: 10760 kB Active: 76600 kB Inactive: 47692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1869124 kB SwapTotal: 4192956 kB SwapFree: 4135932 kB Dirty: 3992 kB Writeback: 0 kB AnonPages: 12544 kB Mapped: 9324 kB Slab: 43684 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181880 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-2670366-1276700937.opb Free space on /tmp at the end= 62580 MiB End job on node015 at 2010-06-16 17:38:56