Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 2 | 260.458 | 260.56 |
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 | 5.36918 |
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.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-1878081-1245189099.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.003 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.008 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.09/3.12 c 100 528 887 8303 9 3001 4875 100 5555 0.02 3.09/3.12 c 250 528 1037 18196 17 3294 5363 250 8064 0.03 3.09/3.12 c 478 528 1265 33797 26 3659 5900 478 8385 0.06 3.09/3.12 c 816 528 1603 58825 36 4333 6491 816 8869 0.09 3.09/3.12 c 1324 528 2111 94864 44 5363 7141 1324 8653 0.15 3.09/3.12 c 2087 528 2874 147664 51 6891 7856 2087 7875 0.27 3.09/3.12 c 3235 528 4022 226590 56 9247 8642 3235 7540 0.43 3.09/3.12 c 4956 528 5743 332028 57 12619 9507 4956 6453 0.77 3.09/3.12 c 7541 528 8328 505332 60 17772 10458 7541 6061 1.24 3.09/3.12 c 11421 528 6587 382118 58 14331 11504 5800 4501 2.54 3.09/3.12 o 139 67.86/67.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.86/67.95 c 14932 528 10099 621957 61 21380 4447 9312 4778 3.12 67.86/67.95 c 15032 528 3112 163883 52 7439 4892 2325 4746 3.17 67.86/67.95 c 15284 528 3364 181332 53 7961 5382 2577 4783 3.19 67.86/67.95 c 15760 528 3840 210708 54 8871 5921 3053 4844 3.25 67.86/67.95 c 16573 528 4653 259793 55 10508 6514 3866 4898 3.38 67.86/67.95 c 17894 528 5974 350014 58 13139 7166 5187 4966 3.60 67.86/67.95 c 19975 528 4371 249989 57 9853 7883 3584 4929 4.05 67.86/67.95 c 23199 528 7595 448767 59 16267 8672 6808 4854 4.78 67.86/67.95 c 28136 528 8128 449796 55 17326 9540 7341 4364 6.45 67.86/67.95 c 35643 528 5558 307843 55 12174 10495 4771 4024 8.86 67.86/67.95 c 47004 528 11239 696612 61 23592 11545 10452 3778 12.44 67.86/67.95 c 64148 528 9646 577625 59 20436 12700 8859 2871 22.34 67.86/67.95 c 89968 528 8224 472172 57 17618 13971 7437 2526 35.61 67.86/67.95 c 128801 528 9845 724557 73 20855 15369 9058 1977 65.14 67.86/67.95 o 33 114.74/114.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 114.74/114.86 c 138523 528 11527 718361 62 24227 4447 10740 2039 67.92 114.74/114.86 c 138624 508 3113 157738 50 7370 4892 2326 2038 68.01 114.74/114.86 c 138876 508 3365 173413 51 7916 5382 2578 2041 68.04 114.74/114.86 c 139351 508 3840 203076 52 8857 5921 3053 2046 68.11 114.74/114.86 c 140165 508 4654 251598 54 10467 6514 3867 2053 68.25 114.74/114.86 c 141485 508 5974 348422 58 13142 7166 5187 2067 68.44 114.74/114.86 c 143567 508 4373 238770 54 9941 7883 3586 2085 68.83 114.74/114.86 c 146791 508 7597 441505 58 16344 8672 6810 2110 69.56 114.74/114.86 c 151728 508 7712 473699 61 16555 9540 6925 2141 70.84 114.74/114.86 c 159235 508 9929 651082 65 21079 10495 9142 2190 72.70 114.74/114.86 c 170596 508 9813 604199 61 20793 11545 9026 2195 77.69 114.74/114.86 c 187740 508 8953 515754 57 19087 12700 8166 2168 86.56 114.74/114.86 c 213560 508 8076 539745 66 17258 13971 7289 2088 102.24 114.74/114.86 o 9 227.10/227.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 227.10/227.25 c 238900 508 11375 611261 53 23909 4443 10588 2080 114.81 227.10/227.25 c 239000 508 3112 162270 52 7373 4888 2325 2079 114.92 227.10/227.25 c 239250 499 3362 178712 53 7899 5377 2575 2081 114.96 227.10/227.25 c 239725 499 3837 210976 54 8803 5915 3050 2083 115.05 227.10/227.25 c 240538 499 4650 262353 56 10449 6507 3863 2087 115.23 227.10/227.25 c 241858 499 5970 342710 57 13066 7158 5183 2092 115.56 227.10/227.25 c 243939 499 4370 229469 52 9864 7874 3583 2102 116.05 227.10/227.25 c 247162 499 7593 447225 58 16360 8662 6806 2110 117.11 227.10/227.25 c 252099 488 8107 472861 58 17440 9529 7320 2118 119.01 227.10/227.25 c 259606 488 5557 327541 58 12301 10482 4770 2129 121.93 227.10/227.25 c 270967 488 6033 324263 53 13251 11531 5246 2138 126.73 227.10/227.25 c 288113 488 10906 671093 61 22920 12685 10119 2153 133.79 227.10/227.25 c 313932 488 9487 651344 68 20191 13954 8700 2118 148.18 227.10/227.25 c 352765 488 12845 804055 62 26916 15350 12058 1949 180.96 227.10/227.25 c 411117 488 14340 875692 61 29902 16886 13553 1816 226.29 227.10/227.25 o 3 260.39/260.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 260.39/260.55 c 413245 488 16469 1022239 62 34162 4439 15682 1819 227.16 260.39/260.55 c 413346 488 3113 163427 52 7395 4883 2326 1817 227.37 260.39/260.55 c 413597 457 3364 180522 53 7959 5372 2577 1818 227.41 260.39/260.55 c 414072 457 3839 214444 55 8887 5910 3052 1820 227.47 260.39/260.55 c 414886 457 4653 272575 58 10542 6502 3866 1822 227.62 260.39/260.55 c 416206 457 5973 363326 60 13152 7153 5186 1826 227.91 260.39/260.55 c 418288 457 4372 245096 56 9903 7869 3585 1830 228.54 260.39/260.55 c 421511 457 7595 458542 60 16359 8656 6808 1837 229.45 260.39/260.55 c 426447 457 7811 476069 60 16840 9522 7024 1844 231.19 260.39/260.55 c 433954 457 5557 308405 55 12266 10475 4770 1856 233.75 260.39/260.55 c 445315 457 11332 692842 61 23863 11523 10545 1867 238.40 260.39/260.55 c 462460 457 10055 591704 58 21323 12676 9268 1869 247.32 260.39/260.55 o 2 260.39/260.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 260.39/260.55 c 485557 457 12985 790816 60 27163 4431 12198 1864 260.45 260.39/260.55 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 260.39/260.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 260.39/260.55 c 65 485557 6840 518057 12985 790816 12198 1864 260.45 260.39/260.55 c Objective: 2 260.39/260.55 s OPTIMUM FOUND 260.39/260.55 c Total time: 260.454 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-1878081-1245189099/watcher-1878081-1245189099 -o /tmp/evaluation-result-1878081-1245189099/solver-1878081-1245189099 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878081-1245189099.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.92 0.97 0.99 3/64 13557 /proc/meminfo: memFree=1903496/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=10708 CPUtime=0 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 186510225 10964992 262 1992294400 134512640 137136520 4294956256 18446744073709551615 134542816 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 2677 264 186 640 0 2033 0 [startup+0.017504 s] /proc/loadavg: 0.92 0.97 0.99 3/64 13557 /proc/meminfo: memFree=1903496/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=10844 CPUtime=0.01 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 331 0 0 0 1 0 0 0 18 0 1 0 186510225 11104256 308 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 2711 308 196 640 0 2067 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10844 [startup+0.102513 s] /proc/loadavg: 0.92 0.97 0.99 3/64 13557 /proc/meminfo: memFree=1903496/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=11736 CPUtime=0.09 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 530 0 0 0 9 0 0 0 18 0 1 0 186510225 12017664 507 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 2934 507 196 640 0 2290 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11736 [startup+0.301533 s] /proc/loadavg: 0.92 0.97 0.99 3/64 13557 /proc/meminfo: memFree=1903496/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=13128 CPUtime=0.29 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 900 0 0 0 29 0 0 0 19 0 1 0 186510225 13443072 877 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 3282 877 196 640 0 2638 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13128 [startup+0.701575 s] /proc/loadavg: 0.92 0.97 0.99 3/64 13557 /proc/meminfo: memFree=1903496/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=15392 CPUtime=0.69 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 1441 0 0 0 69 0 0 0 23 0 1 0 186510225 15761408 1418 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 3848 1418 196 640 0 3204 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15392 [startup+1.50166 s] /proc/loadavg: 0.92 0.97 0.99 2/65 13558 /proc/meminfo: memFree=1897024/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=18908 CPUtime=1.49 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 2335 0 0 0 148 1 0 0 25 0 1 0 186510225 19361792 2312 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 4727 2312 196 640 0 4083 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18908 [startup+3.10182 s] /proc/loadavg: 0.92 0.97 0.99 2/65 13558 /proc/meminfo: memFree=1893056/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=21288 CPUtime=3.09 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 2929 0 0 0 307 2 0 0 25 0 1 0 186510225 21798912 2906 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 5322 2906 196 640 0 4678 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21288 [startup+6.30116 s] /proc/loadavg: 0.93 0.97 0.99 2/65 13558 /proc/meminfo: memFree=1892352/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=21288 CPUtime=6.29 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 2930 0 0 0 626 3 0 0 25 0 1 0 186510225 21798912 2907 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 5322 2907 197 640 0 4678 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21288 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1892160/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=22416 CPUtime=12.69 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 3206 0 0 0 1263 6 0 0 25 0 1 0 186510225 22953984 3183 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 5604 3183 197 640 0 4960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22416 [startup+25.5012 s] /proc/loadavg: 0.95 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1890176/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=23520 CPUtime=25.48 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 3483 0 0 0 2538 10 0 0 25 0 1 0 186510225 24084480 3460 1992294400 134512640 137136520 4294956256 18446744073709551615 136509131 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 5880 3460 197 640 0 5236 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23520 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1887680/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=26284 CPUtime=51.06 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4184 0 0 0 5091 15 0 0 25 0 1 0 186510225 26914816 4161 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6571 4161 197 640 0 5927 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 26284 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886144/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27500 CPUtime=102.25 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 10197 28 0 0 25 0 1 0 186510225 28160000 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6875 4463 197 640 0 6231 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 27500 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27480 CPUtime=162.22 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 16182 40 0 0 25 0 1 0 186510225 28139520 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543858 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6870 4463 197 640 0 6226 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 27480 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27472 CPUtime=222.21 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 22171 50 0 0 25 0 1 0 186510225 28131328 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6868 4463 197 640 0 6224 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 27472 Solver just ended. Dumping a history of the last processes samples [startup+230.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27472 CPUtime=230.2 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 22968 52 0 0 25 0 1 0 186510225 28131328 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6868 4463 197 640 0 6224 0 Current children cumulated CPU time (s) 230.2 Current children cumulated vsize (KiB) 27472 [startup+243.106 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27472 CPUtime=243 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 24244 56 0 0 25 0 1 0 186510225 28131328 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6868 4463 197 640 0 6224 0 Current children cumulated CPU time (s) 243 Current children cumulated vsize (KiB) 27472 [startup+249.502 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27472 CPUtime=249.4 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 24883 57 0 0 25 0 1 0 186510225 28131328 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6868 4463 197 640 0 6224 0 Current children cumulated CPU time (s) 249.4 Current children cumulated vsize (KiB) 27472 [startup+255.901 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27472 CPUtime=255.79 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 25521 58 0 0 25 0 1 0 186510225 28131328 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6868 4463 197 640 0 6224 0 Current children cumulated CPU time (s) 255.79 Current children cumulated vsize (KiB) 27472 [startup+259.102 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27472 CPUtime=258.99 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 25840 59 0 0 25 0 1 0 186510225 28131328 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6868 4463 197 640 0 6224 0 Current children cumulated CPU time (s) 258.99 Current children cumulated vsize (KiB) 27472 [startup+259.902 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27472 CPUtime=259.79 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 25920 59 0 0 25 0 1 0 186510225 28131328 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6868 4463 197 640 0 6224 0 Current children cumulated CPU time (s) 259.79 Current children cumulated vsize (KiB) 27472 [startup+260.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27472 CPUtime=260.19 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 25960 59 0 0 25 0 1 0 186510225 28131328 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6868 4463 197 640 0 6224 0 Current children cumulated CPU time (s) 260.19 Current children cumulated vsize (KiB) 27472 [startup+260.502 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13560 /proc/meminfo: memFree=1886080/2055920 swapFree=4181836/4192956 [pid=13557] ppid=13555 vsize=27472 CPUtime=260.39 /proc/13557/stat : 13557 (bsolo) R 13555 13557 13126 0 -1 4194304 4486 0 0 0 25980 59 0 0 25 0 1 0 186510225 28131328 4463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13557/statm: 6868 4463 197 640 0 6224 0 Current children cumulated CPU time (s) 260.39 Current children cumulated vsize (KiB) 27472 Child status: 0 Real time (s): 260.56 CPU time (s): 260.458 CPU user time (s): 259.856 CPU system time (s): 0.601908 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (KiB): 27512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 259.856 system time used= 0.601908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4488 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= 920 runsolver used 0.310952 second user time and 0.647901 second system time The end
Begin job on node24 at 2009-06-16 23:51:39 IDJOB=1878081 IDBENCH=48061 IDSOLVER=700 FILE ID=node24/1878081-1245189099 PBS_JOBID= 9368291 Free space on /tmp= 66364 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=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878081-1245189099/watcher-1878081-1245189099 -o /tmp/evaluation-result-1878081-1245189099/solver-1878081-1245189099 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878081-1245189099.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aeb6a0e03ee8f8f2b4b438b8148c9b4c RANDOM SEED=92210165 node24.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.231 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.231 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: 1903976 kB Buffers: 43520 kB Cached: 65844 kB SwapCached: 5284 kB Active: 57664 kB Inactive: 59364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1903976 kB SwapTotal: 4192956 kB SwapFree: 4181836 kB Dirty: 4100 kB Writeback: 0 kB Mapped: 12864 kB Slab: 20796 kB Committed_AS: 194736 kB PageTables: 1444 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-1878081-1245189099.opb Free space on /tmp at the end= 66360 MiB End job on node24 at 2009-06-16 23:56:00