Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 2 | 273.846 | 273.921 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb |
MD5SUM | aeb6a0e03ee8f8f2b4b438b8148c9b4c |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 24.4793 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
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 | 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) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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-2670690-1276704416.opb 0.00/0.00 c File size is 28515 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: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 3.30/3.34 c 100 528 887 8303 9 3001 4875 100 4761 0.02 3.30/3.34 c 250 528 1037 18196 17 3294 5363 250 6944 0.04 3.30/3.34 c 478 528 1265 33797 26 3659 5900 478 7587 0.06 3.30/3.34 c 816 528 1603 58825 36 4333 6491 816 8079 0.10 3.30/3.34 c 1324 528 2111 94864 44 5363 7141 1324 7975 0.17 3.30/3.34 c 2087 528 2874 147664 51 6891 7856 2087 7322 0.28 3.30/3.34 c 3235 528 4022 226590 56 9247 8642 3235 7032 0.46 3.30/3.34 c 4956 528 5743 332028 57 12619 9507 4956 6021 0.82 3.30/3.34 c 7541 528 8328 505332 60 17772 10458 7541 5661 1.33 3.30/3.34 c 11421 528 6587 382118 58 14331 11504 5800 4212 2.71 3.30/3.34 o 139 71.38/71.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.38/71.47 c 14932 528 10099 621957 61 21380 4447 9312 4471 3.34 71.38/71.47 c 15032 528 3112 163883 52 7439 4892 2325 4443 3.38 71.38/71.47 c 15284 528 3364 181332 53 7961 5382 2577 4478 3.41 71.38/71.47 c 15760 528 3840 210708 54 8871 5921 3053 4536 3.47 71.38/71.47 c 16573 528 4653 259793 55 10508 6514 3866 4587 3.61 71.38/71.47 c 17894 528 5974 350014 58 13139 7166 5187 4651 3.85 71.38/71.47 c 19975 528 4371 249989 57 9853 7883 3584 4618 4.33 71.38/71.47 c 23199 528 7595 448767 59 16267 8672 6808 4553 5.09 71.38/71.47 c 28136 528 8128 449796 55 17326 9540 7341 4106 6.85 71.38/71.47 c 35643 528 5558 307843 55 12174 10495 4771 3787 9.41 71.38/71.47 c 47004 528 11239 696612 61 23592 11545 10452 3556 13.21 71.38/71.47 c 64148 528 9646 577625 59 20436 12700 8859 2715 23.62 71.38/71.47 c 89968 528 8224 472172 57 17618 13971 7437 2397 37.52 71.38/71.47 c 128801 528 9845 724557 73 20855 15369 9058 1880 68.50 71.38/71.47 o 33 120.76/120.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 120.76/120.87 c 138523 528 11527 718361 62 24227 4447 10740 1938 71.45 120.76/120.87 c 138624 508 3113 157738 50 7370 4892 2326 1937 71.54 120.76/120.87 c 138876 508 3365 173413 51 7916 5382 2578 1940 71.57 120.76/120.87 c 139351 508 3840 203076 52 8857 5921 3053 1945 71.64 120.76/120.87 c 140165 508 4654 251598 54 10467 6514 3867 1952 71.79 120.76/120.87 c 141485 508 5974 348422 58 13142 7166 5187 1965 72.00 120.76/120.87 c 143567 508 4373 238770 54 9941 7883 3586 1982 72.42 120.76/120.87 c 146791 508 7597 441505 58 16344 8672 6810 2005 73.20 120.76/120.87 c 151728 508 7712 473699 61 16555 9540 6925 2034 74.58 120.76/120.87 c 159235 508 9929 651082 65 21079 10495 9142 2079 76.56 120.76/120.87 c 170596 508 9813 604199 61 20793 11545 9026 2083 81.87 120.76/120.87 c 187740 508 8953 515754 57 19087 12700 8166 2059 91.15 120.76/120.87 c 213560 508 8076 539745 66 17258 13971 7289 1984 107.61 120.76/120.87 o 9 238.54/238.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 238.54/238.66 c 238900 508 11375 611261 53 23909 4443 10588 1976 120.84 238.54/238.66 c 239000 508 3112 162270 52 7373 4888 2325 1975 120.96 238.54/238.66 c 239250 499 3362 178712 53 7899 5377 2575 1977 121.01 238.54/238.66 c 239725 499 3837 210976 54 8803 5915 3050 1979 121.10 238.54/238.66 c 240538 499 4650 262353 56 10449 6507 3863 1983 121.30 238.54/238.66 c 241858 499 5970 342710 57 13066 7158 5183 1988 121.64 238.54/238.66 c 243939 499 4370 229469 52 9864 7874 3583 1996 122.17 238.54/238.66 c 247162 499 7593 447225 58 16360 8662 6806 2004 123.32 238.54/238.66 c 252099 488 8107 472861 58 17440 9529 7320 2012 125.27 238.54/238.66 c 259606 488 5557 327541 58 12301 10482 4770 2022 128.33 238.54/238.66 c 270967 488 6033 324263 53 13251 11531 5246 2031 133.36 238.54/238.66 c 288113 488 10906 671093 61 22920 12685 10119 2046 140.81 238.54/238.66 c 313932 488 9487 651344 68 20191 13954 8700 2013 155.90 238.54/238.66 c 352765 488 12845 804055 62 26916 15350 12058 1853 190.31 238.54/238.66 c 411117 488 14340 875692 61 29902 16886 13553 1729 237.69 238.54/238.66 o 3 273.82/273.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 273.82/273.91 c 413245 488 16469 1022239 62 34162 4439 15682 1731 238.60 273.82/273.91 c 413346 488 3113 163427 52 7395 4883 2326 1730 238.82 273.82/273.91 c 413597 457 3364 180522 53 7959 5372 2577 1731 238.86 273.82/273.91 c 414072 457 3839 214444 55 8887 5910 3052 1733 238.93 273.82/273.91 c 414886 457 4653 272575 58 10542 6502 3866 1735 239.08 273.82/273.91 c 416206 457 5973 363326 60 13152 7153 5186 1738 239.39 273.82/273.91 c 418288 457 4372 245096 56 9903 7869 3585 1742 240.06 273.82/273.91 c 421511 457 7595 458542 60 16359 8656 6808 1748 241.03 273.82/273.91 c 426447 457 7811 476069 60 16840 9522 7024 1755 242.91 273.82/273.91 c 433954 457 5557 308405 55 12266 10475 4770 1766 245.68 273.82/273.91 c 445315 457 11332 692842 61 23863 11523 10545 1776 250.66 273.82/273.91 c 462460 457 10055 591704 58 21323 12676 9268 1778 260.02 273.82/273.91 o 2 273.82/273.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 273.82/273.91 c 485557 457 12985 790816 60 27163 4431 12198 1773 273.84 273.82/273.91 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 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -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 -x81 x82 -x83 -x84 x85 -x86 -x87 -x88 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x401 x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x89 x90 x91 -x92 x93 x94 -x95 -x96 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x465 x466 x467 -x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x500 x501 x502 -x503 -x504 -x505 x506 x507 -x508 x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x137 x138 -x139 x140 -x141 -x142 -x143 -x144 273.82/273.91 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 273.82/273.91 c 65 485557 6840 518057 12985 790816 12198 1773 273.84 273.82/273.91 c Objective: 2 273.82/273.91 s OPTIMUM FOUND 273.82/273.91 c Total time: 273.842 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670690-1276704416/watcher-2670690-1276704416 -o /tmp/evaluation-result-2670690-1276704416/solver-2670690-1276704416 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670690-1276704416.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.02 1.02 1.00 3/106 10534 /proc/meminfo: memFree=1841996/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=10924 CPUtime=0 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 370 0 0 0 0 0 0 0 18 0 1 0 44096989 11186176 281 1992294400 134512640 137138936 4288117680 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 2731 281 184 642 0 2087 0 [startup+0.0884669 s] /proc/loadavg: 1.02 1.02 1.00 3/106 10534 /proc/meminfo: memFree=1841996/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=11564 CPUtime=0.08 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 546 0 0 0 8 0 0 0 20 0 1 0 44096989 11841536 457 1992294400 134512640 137138936 4288117680 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 2891 457 190 642 0 2247 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11564 [startup+0.101468 s] /proc/loadavg: 1.02 1.02 1.00 3/106 10534 /proc/meminfo: memFree=1841996/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=11692 CPUtime=0.09 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 576 0 0 0 9 0 0 0 20 0 1 0 44096989 11972608 487 1992294400 134512640 137138936 4288117680 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 2923 487 190 642 0 2279 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11692 [startup+0.300484 s] /proc/loadavg: 1.02 1.02 1.00 3/106 10534 /proc/meminfo: memFree=1841996/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=13076 CPUtime=0.29 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 914 0 0 0 29 0 0 0 20 0 1 0 44096989 13389824 825 1992294400 134512640 137138936 4288117680 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 3269 825 190 642 0 2625 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13076 [startup+0.700515 s] /proc/loadavg: 1.02 1.02 1.00 3/106 10534 /proc/meminfo: memFree=1841996/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=15224 CPUtime=0.69 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 1452 0 0 0 68 1 0 0 20 0 1 0 44096989 15589376 1363 1992294400 134512640 137138936 4288117680 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 3806 1363 190 642 0 3162 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15224 [startup+1.50058 s] /proc/loadavg: 1.02 1.02 1.00 2/107 10535 /proc/meminfo: memFree=1836036/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=18860 CPUtime=1.49 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 2352 0 0 0 147 2 0 0 23 0 1 0 44096989 19312640 2263 1992294400 134512640 137138936 4288117680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 4715 2263 190 642 0 4071 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18860 [startup+3.10171 s] /proc/loadavg: 1.02 1.02 1.00 2/107 10537 /proc/meminfo: memFree=1831820/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=21368 CPUtime=3.1 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 2991 0 0 0 306 4 0 0 25 0 1 0 44096989 21880832 2902 1992294400 134512640 137138936 4288117680 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 5342 2902 190 642 0 4698 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 21368 [startup+6.30096 s] /proc/loadavg: 1.02 1.02 1.00 2/107 10537 /proc/meminfo: memFree=1830828/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=21368 CPUtime=6.29 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 2992 0 0 0 624 5 0 0 25 0 1 0 44096989 21880832 2903 1992294400 134512640 137138936 4288117680 18446744073709551615 134541989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 5342 2903 191 642 0 4698 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21368 [startup+12.7015 s] /proc/loadavg: 1.02 1.02 1.00 2/107 10537 /proc/meminfo: memFree=1830704/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=21368 CPUtime=12.69 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 2992 0 0 0 1261 8 0 0 25 0 1 0 44096989 21880832 2903 1992294400 134512640 137138936 4288117680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 5342 2903 191 642 0 4698 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21368 [startup+25.5005 s] /proc/loadavg: 1.01 1.02 1.00 2/107 10537 /proc/meminfo: memFree=1828720/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=23600 CPUtime=25.48 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 3545 0 0 0 2535 13 0 0 25 0 1 0 44096989 24166400 3456 1992294400 134512640 137138936 4288117680 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 5900 3456 191 642 0 5256 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23600 [startup+51.1005 s] /proc/loadavg: 1.01 1.02 1.00 2/107 10537 /proc/meminfo: memFree=1825992/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=26116 CPUtime=51.08 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4183 0 0 0 5086 22 0 0 25 0 1 0 44096989 26742784 4094 1992294400 134512640 137138936 4288117680 18446744073709551615 134575681 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6529 4094 191 642 0 5885 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26116 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10539 /proc/meminfo: memFree=1824504/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27580 CPUtime=102.27 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 10187 40 0 0 25 0 1 0 44096989 28241920 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6895 4459 191 642 0 6251 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27580 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10541 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27560 CPUtime=162.25 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 16163 62 0 0 25 0 1 0 44096989 28221440 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6890 4459 191 642 0 6246 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27560 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10541 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27552 CPUtime=222.23 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 22145 78 0 0 25 0 1 0 44096989 28213248 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6888 4459 191 642 0 6244 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 27552 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10543 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27552 CPUtime=230.23 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 22942 81 0 0 25 0 1 0 44096989 28213248 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6888 4459 191 642 0 6244 0 Current children cumulated CPU time (s) 230.23 Current children cumulated vsize (KiB) 27552 [startup+255.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10543 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27552 CPUtime=255.82 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 25493 89 0 0 25 0 1 0 44096989 28213248 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6888 4459 191 642 0 6244 0 Current children cumulated CPU time (s) 255.82 Current children cumulated vsize (KiB) 27552 [startup+262.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10543 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27552 CPUtime=262.22 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 26131 91 0 0 25 0 1 0 44096989 28213248 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6888 4459 191 642 0 6244 0 Current children cumulated CPU time (s) 262.22 Current children cumulated vsize (KiB) 27552 [startup+268.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10543 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27552 CPUtime=268.61 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 26769 92 0 0 25 0 1 0 44096989 28213248 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6888 4459 191 642 0 6244 0 Current children cumulated CPU time (s) 268.61 Current children cumulated vsize (KiB) 27552 [startup+271.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10543 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27552 CPUtime=271.82 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 27089 93 0 0 25 0 1 0 44096989 28213248 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134542871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6888 4459 191 642 0 6244 0 Current children cumulated CPU time (s) 271.82 Current children cumulated vsize (KiB) 27552 [startup+272.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10543 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27552 CPUtime=272.62 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 27169 93 0 0 25 0 1 0 44096989 28213248 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6888 4459 191 642 0 6244 0 Current children cumulated CPU time (s) 272.62 Current children cumulated vsize (KiB) 27552 [startup+273.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10543 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27552 CPUtime=273.42 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 27248 94 0 0 25 0 1 0 44096989 28213248 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134542367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6888 4459 191 642 0 6244 0 Current children cumulated CPU time (s) 273.42 Current children cumulated vsize (KiB) 27552 [startup+273.908 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10543 /proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956 [pid=10534] ppid=10532 vsize=27552 CPUtime=273.82 /proc/10534/stat : 10534 (bsolo_pb10) R 10532 10534 9973 0 -1 4202496 4548 0 0 0 27288 94 0 0 25 0 1 0 44096989 28213248 4459 1992294400 134512640 137138936 4288117680 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10534/statm: 6888 4459 191 642 0 6244 0 Current children cumulated CPU time (s) 273.82 Current children cumulated vsize (KiB) 27552 Child status: 0 Real time (s): 273.921 CPU time (s): 273.846 CPU user time (s): 272.899 CPU system time (s): 0.946856 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 27592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 272.9 system time used= 0.946856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4549 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= 1040 runsolver used 0.471928 second user time and 1.2858 second system time The end
Begin job on node026 at 2010-06-16 18:06:56 IDJOB=2670690 IDBENCH=48061 IDSOLVER=1163 FILE ID=node026/2670690-1276704416 PBS_JOBID= 11174114 Free space on /tmp= 62560 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=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670690-1276704416/watcher-2670690-1276704416 -o /tmp/evaluation-result-2670690-1276704416/solver-2670690-1276704416 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670690-1276704416.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aeb6a0e03ee8f8f2b4b438b8148c9b4c RANDOM SEED=1919988557 node026.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.201 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.201 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: 1842772 kB Buffers: 16760 kB Cached: 107192 kB SwapCached: 9392 kB Active: 86284 kB Inactive: 50188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1842772 kB SwapTotal: 4192956 kB SwapFree: 4136132 kB Dirty: 3904 kB Writeback: 0 kB AnonPages: 10916 kB Mapped: 9224 kB Slab: 57980 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180604 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-2670690-1276704416.opb Free space on /tmp at the end= 62556 MiB End job on node026 at 2010-06-16 18:11:30