Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 132.017 | 132.056 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb |
MD5SUM | 43e5891f3de726e47642c5b88db45e69 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 8.5577 |
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 | 17 |
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 | 17 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 392 |
Sum of products size (including duplicates) | 784 |
Number of different products | 392 |
Sum of products size | 784 |
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-1877952-1245186909.opb 0.00/0.00 c File size is 29361 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 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: 560 Constr: 809 392/0/417 Lit: 3409 Watch. Lit: 2106 0.00/0.00 c Obj. Vars: 7 (1.25 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 560 809 3409 4 2923 4596 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 30.89/30.93 c 101 560 910 7050 7 3093 5056 101 5941 0.02 30.89/30.93 c 252 560 1061 14213 13 3396 5562 252 8129 0.03 30.89/30.93 c 477 560 1286 26122 20 3790 6119 477 9352 0.05 30.89/30.93 c 817 560 1626 44259 27 4473 6731 817 9390 0.09 30.89/30.93 c 1326 560 2135 66854 31 5460 7405 1326 9208 0.14 30.89/30.93 c 2089 560 2898 106587 36 7016 8146 2089 8596 0.24 30.89/30.93 c 3236 560 4045 166387 41 9240 8961 3236 8471 0.38 30.89/30.93 c 4957 560 5766 249990 43 12642 9858 4957 6753 0.73 30.89/30.93 c 7541 560 8350 385723 46 17825 10844 7541 6120 1.23 30.89/30.93 c 11422 560 6586 293499 44 14314 11929 5777 4572 2.50 30.89/30.93 c 17245 560 12409 602631 48 25938 13122 11600 4442 3.88 30.89/30.93 c 25983 560 7418 369321 49 15998 14435 6609 4146 6.27 30.89/30.93 c 39093 560 12849 650211 50 26797 15879 12040 3553 11.00 30.89/30.93 c 58764 560 16026 816071 50 33250 17467 15217 3238 18.15 30.89/30.93 o 5 36.48/36.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.48/36.54 c 87883 559 17488 872327 49 36159 4610 16679 2841 30.93 36.48/36.54 c 87983 551 3217 125157 38 7693 5072 2408 2833 31.06 36.48/36.54 c 88235 551 3469 137983 39 8172 5580 2660 2835 31.11 36.48/36.54 c 88710 532 3944 164923 41 9067 6139 3135 2845 31.18 36.48/36.54 c 89523 532 4757 208215 43 10723 6753 3948 2861 31.29 36.48/36.54 c 90843 523 6077 276987 45 13296 7429 5268 2883 31.50 36.48/36.54 c 92924 523 8158 379474 46 17439 8172 7349 2912 31.91 36.48/36.54 c 96148 523 7211 318766 44 15572 8990 6402 2916 32.97 36.48/36.54 c 101084 523 7566 331581 43 16285 9890 6757 2879 35.10 36.48/36.54 o 3 131.96/132.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 131.96/132.05 c 104772 522 5823 254187 43 12808 4602 5014 2867 36.53 131.96/132.05 c 104872 503 3217 123684 38 7587 5063 2408 2867 36.58 131.96/132.05 c 105122 503 3467 137111 39 8094 5570 2658 2871 36.61 131.96/132.05 c 105597 503 3942 163831 41 9040 6128 3133 2878 36.68 131.96/132.05 c 106411 503 4756 207043 43 10644 6741 3947 2891 36.80 131.96/132.05 c 107732 503 6077 279662 46 13334 7416 5268 2910 37.01 131.96/132.05 c 109814 503 8159 378877 46 17485 8158 7350 2921 37.59 131.96/132.05 c 113038 503 7204 315933 43 15573 8974 6395 2905 38.91 131.96/132.05 c 117974 503 7439 336380 45 16069 9872 6630 2893 40.77 131.96/132.05 c 125480 502 9729 452926 46 20679 10860 8920 2942 42.65 131.96/132.05 c 136842 502 9660 450756 46 20548 11947 8851 2953 46.33 131.96/132.05 c 153986 493 8030 355009 44 17273 13142 7221 2899 53.11 131.96/132.05 c 179806 493 13392 553263 41 28050 14457 12583 2632 68.30 131.96/132.05 c 218638 492 15198 671851 44 31618 15903 14389 2267 96.41 131.96/132.05 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 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 x64 -x65 -x66 x67 -x68 -x69 -x70 -x113 -x114 -x115 -x116 -x117 -x118 -x119 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 x71 -x72 -x73 -x74 x75 -x76 -x77 x120 -x121 x122 -x123 -x124 -x125 -x126 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 x78 -x79 -x80 -x81 -x82 -x83 x84 -x127 x128 x129 -x130 -x131 -x132 -x133 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 -x361 -x362 -x363 x364 x85 -x86 -x87 -x88 -x89 -x90 -x91 x134 -x135 -x136 -x137 -x138 x139 -x140 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 x92 -x93 -x94 -x95 x96 -x97 -x98 -x141 -x142 -x143 -x144 -x145 -x146 -x147 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 x99 -x100 -x101 -x102 -x103 -x104 -x105 x148 x149 x150 x151 -x152 -x153 -x154 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 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x106 x107 -x108 -x109 -x110 -x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 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 x162 -x163 -x164 -x165 -x166 -x167 -x168 131.96/132.05 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 131.96/132.05 c 37 266675 3951 282192 14783 556098 13974 2020 132.01 131.96/132.05 c Objective: 3 131.96/132.05 s OPTIMUM FOUND 131.96/132.05 c Total time: 132.012 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-1877952-1245186909/watcher-1877952-1245186909 -o /tmp/evaluation-result-1877952-1245186909/solver-1877952-1245186909 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877952-1245186909.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4545 /proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=10740 CPUtime=0 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 253 0 0 0 0 0 0 0 18 0 1 0 186291573 10997760 237 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 2685 237 175 640 0 2033 0 [startup+0.015833 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4545 /proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=10844 CPUtime=0.01 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 333 0 0 0 1 0 0 0 18 0 1 0 186291573 11104256 309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 2711 309 196 640 0 2067 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10844 [startup+0.101843 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4545 /proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=11596 CPUtime=0.09 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 493 0 0 0 9 0 0 0 18 0 1 0 186291573 11874304 469 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 2899 469 196 640 0 2255 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11596 [startup+0.301864 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4545 /proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=12740 CPUtime=0.29 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 786 0 0 0 29 0 0 0 19 0 1 0 186291573 13045760 762 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 3185 762 196 640 0 2541 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12740 [startup+0.701909 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4545 /proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=14508 CPUtime=0.69 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 1227 0 0 0 69 0 0 0 22 0 1 0 186291573 14856192 1203 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 3627 1203 196 640 0 2983 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14508 [startup+1.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1829544/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=17528 CPUtime=1.49 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 1995 0 0 0 148 1 0 0 25 0 1 0 186291573 17948672 1971 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 4382 1971 196 640 0 3738 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17528 [startup+3.10117 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1826472/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=19292 CPUtime=3.09 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 2426 0 0 0 307 2 0 0 25 0 1 0 186291573 19755008 2402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 4823 2402 196 640 0 4179 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19292 [startup+6.30153 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1823912/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=21776 CPUtime=6.29 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3060 0 0 0 625 4 0 0 25 0 1 0 186291573 22298624 3036 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 5444 3036 196 640 0 4800 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21776 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1821224/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=23772 CPUtime=12.68 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3549 0 0 0 1262 6 0 0 25 0 1 0 186291573 24342528 3525 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 5943 3525 196 640 0 5299 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23772 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25492 CPUtime=25.48 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3981 0 0 0 2539 9 0 0 25 0 1 0 186291573 26103808 3957 1992294400 134512640 137136520 4294956256 18446744073709551615 136294906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6373 3957 196 640 0 5729 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25492 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=51.07 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 5090 17 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25484 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=102.27 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 10200 27 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25484 Solver just ended. Dumping a history of the last processes samples [startup+115.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=115.05 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 11477 28 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 115.05 Current children cumulated vsize (KiB) 25484 [startup+121.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=121.46 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 12116 30 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 121.46 Current children cumulated vsize (KiB) 25484 [startup+127.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=127.85 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 12754 31 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 127.85 Current children cumulated vsize (KiB) 25484 [startup+129.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=129.45 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 12914 31 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 129.45 Current children cumulated vsize (KiB) 25484 [startup+131.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=131.05 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 13074 31 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 131.05 Current children cumulated vsize (KiB) 25484 [startup+131.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=131.45 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 13114 31 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 131.45 Current children cumulated vsize (KiB) 25484 [startup+131.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=131.86 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 13154 32 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 131.86 Current children cumulated vsize (KiB) 25484 [startup+132.006 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4546 /proc/meminfo: memFree=1819496/2055920 swapFree=4191900/4192956 [pid=4545] ppid=4543 vsize=25484 CPUtime=131.96 /proc/4545/stat : 4545 (bsolo) R 4543 4545 3375 0 -1 4194304 3982 0 0 0 13164 32 0 0 25 0 1 0 186291573 26095616 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4545/statm: 6371 3958 197 640 0 5727 0 Current children cumulated CPU time (s) 131.96 Current children cumulated vsize (KiB) 25484 Child status: 0 Real time (s): 132.056 CPU time (s): 132.017 CPU user time (s): 131.692 CPU system time (s): 0.32495 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 25492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 131.692 system time used= 0.32495 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3984 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= 217 runsolver used 0.106983 second user time and 0.277957 second system time The end
Begin job on node9 at 2009-06-16 23:15:09 IDJOB=1877952 IDBENCH=47932 IDSOLVER=700 FILE ID=node9/1877952-1245186909 PBS_JOBID= 9363915 Free space on /tmp= 66160 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877952-1245186909/watcher-1877952-1245186909 -o /tmp/evaluation-result-1877952-1245186909/solver-1877952-1245186909 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877952-1245186909.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 43e5891f3de726e47642c5b88db45e69 RANDOM SEED=444057906 node9.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: 1835408 kB Buffers: 48868 kB Cached: 105164 kB SwapCached: 260 kB Active: 55160 kB Inactive: 111700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835408 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 21996 kB Slab: 39692 kB Committed_AS: 166232 kB PageTables: 1392 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-1877952-1245186909.opb Free space on /tmp at the end= 66160 MiB End job on node9 at 2009-06-16 23:17:21