Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 257 | 1798.01 | 1798.76 |
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 | 8.00878 |
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.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-1877919-1245186014.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.004 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.01 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. 1667.40/1668.19 c 100 648 1091 11805 10 3669 6099 100 4761 0.02 1667.40/1668.19 c 250 648 1241 24345 19 3889 6709 250 5813 0.04 1667.40/1668.19 c 476 648 1467 43971 29 4396 7380 476 6181 0.08 1667.40/1668.19 c 814 648 1805 74643 41 5173 8119 814 6672 0.12 1667.40/1668.19 c 1322 648 2313 121187 52 6145 8931 1322 6710 0.20 1667.40/1668.19 c 2085 648 3076 186162 60 7668 9825 2085 5889 0.35 1667.40/1668.19 c 3233 648 4224 279428 66 9816 10808 3233 5773 0.56 1667.40/1668.19 c 4955 648 5946 425830 71 13335 11889 4955 5695 0.87 1667.40/1668.19 c 7540 648 8531 618669 72 18537 13078 7540 4908 1.54 1667.40/1668.19 c 11420 648 12411 930328 74 26279 14386 11420 4198 2.72 1667.40/1668.19 c 17243 648 10618 792011 74 22721 15825 9627 3922 4.40 1667.40/1668.19 c 25981 648 10922 841117 77 23277 17408 9931 3310 7.85 1667.40/1668.19 c 39091 648 14876 1150051 77 31112 19149 13885 2827 13.82 1667.40/1668.19 c 58762 648 15259 1070479 70 31853 21064 14268 1609 36.52 1667.40/1668.19 c 88272 648 11578 830519 71 24594 23171 10587 1187 74.34 1667.40/1668.19 c 132543 648 17901 1290199 72 37129 25489 16910 1096 120.83 1667.40/1668.19 c 198953 648 24668 1956468 79 50694 28038 23677 987 201.50 1667.40/1668.19 c 298574 648 20359 1571429 77 42215 30842 19368 878 339.86 1667.40/1668.19 c 448010 648 29825 2361306 79 61087 33927 28834 784 571.29 1667.40/1668.19 c 672168 648 22451 1598503 71 46430 37320 21460 702 957.46 1667.40/1668.19 c 1008411 645 14803 1190770 80 31051 41053 13812 609 1653.84 1667.40/1668.19 o 257 1797.95/1798.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.74 c 1018197 645 24590 2011795 81 50614 5562 23599 610 1667.50 1797.95/1798.74 c 1018298 645 3876 250795 64 9250 6119 2885 610 1668.00 1797.95/1798.74 c 1018549 645 4127 271931 65 9695 6731 3136 610 1668.05 1797.95/1798.74 c 1019026 645 4604 312019 67 10654 7405 3613 610 1668.19 1797.95/1798.74 c 1019839 645 5417 380602 70 12274 8146 4426 611 1668.41 1797.95/1798.74 c 1021160 645 6738 493960 73 14972 8961 5747 611 1668.83 1797.95/1798.74 c 1023242 645 8820 679622 77 19116 9858 7829 612 1669.44 1797.95/1798.74 c 1026465 645 7067 528968 74 15577 10844 6076 614 1671.50 1797.95/1798.74 c 1031402 645 6488 465114 71 14406 11929 5497 615 1675.27 1797.95/1798.74 c 1038909 645 7954 578198 72 17392 13122 6963 617 1681.63 1797.95/1798.74 c 1050271 645 12680 963250 75 26834 14435 11689 620 1692.66 1797.95/1798.74 c 1067416 645 15229 1183650 77 31930 15879 14238 622 1713.37 1797.95/1798.74 c 1093235 645 8958 647761 72 19393 17467 7967 627 1741.56 1797.95/1798.74 c 1132067 645 10881 905511 83 23229 19214 9890 637 1777.17 1797.95/1798.74 c Resources Exceeded 1797.95/1798.74 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.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.74 c 35 1154422 10875 1188100 13199 1031352 12208 642 1798.00 1797.95/1798.74 c Objective: 257 1797.95/1798.74 s SATISFIABLE 1797.95/1798.74 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-1877919-1245186014/watcher-1877919-1245186014 -o /tmp/evaluation-result-1877919-1245186014/solver-1877919-1245186014 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877919-1245186014.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.99 1.00 1.00 3/64 31894 /proc/meminfo: memFree=1892792/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=10740 CPUtime=0 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 186201206 10997760 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 2685 245 177 640 0 2032 0 [startup+0.047566 s] /proc/loadavg: 0.99 1.00 1.00 3/64 31894 /proc/meminfo: memFree=1892792/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=11236 CPUtime=0.04 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 408 0 0 0 4 0 0 0 18 0 1 0 186201206 11505664 383 1992294400 134512640 137136520 4294956256 18446744073709551615 134600007 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 2809 383 196 640 0 2165 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11236 [startup+0.101571 s] /proc/loadavg: 0.99 1.00 1.00 3/64 31894 /proc/meminfo: memFree=1892792/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=11608 CPUtime=0.09 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 524 0 0 0 9 0 0 0 18 0 1 0 186201206 11886592 499 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 2902 499 196 640 0 2258 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11608 [startup+0.301589 s] /proc/loadavg: 0.99 1.00 1.00 3/64 31894 /proc/meminfo: memFree=1892792/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=13116 CPUtime=0.29 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 889 0 0 0 29 0 0 0 19 0 1 0 186201206 13430784 864 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 3279 864 196 640 0 2635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13116 [startup+0.701625 s] /proc/loadavg: 0.99 1.00 1.00 3/64 31894 /proc/meminfo: memFree=1892792/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=15744 CPUtime=0.69 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 1543 0 0 0 69 0 0 0 23 0 1 0 186201206 16121856 1518 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 3936 1518 196 640 0 3292 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15744 [startup+1.5017 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31895 /proc/meminfo: memFree=1885616/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=19388 CPUtime=1.49 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 2469 0 0 0 148 1 0 0 25 0 1 0 186201206 19853312 2444 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 4847 2444 196 640 0 4203 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19388 [startup+3.10184 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31895 /proc/meminfo: memFree=1881968/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=26280 CPUtime=3.09 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 4174 0 0 0 307 2 0 0 25 0 1 0 186201206 26910720 4149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 6570 4149 196 640 0 5926 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26280 [startup+6.30113 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31895 /proc/meminfo: memFree=1874736/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=28548 CPUtime=6.29 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 4743 0 0 0 625 4 0 0 25 0 1 0 186201206 29233152 4718 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 7137 4718 196 640 0 6493 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28548 [startup+12.7017 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31895 /proc/meminfo: memFree=1870656/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=32260 CPUtime=12.68 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 5673 0 0 0 1263 5 0 0 25 0 1 0 186201206 33034240 5648 1992294400 134512640 137136520 4294956256 18446744073709551615 136502090 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 8065 5648 196 640 0 7421 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32260 [startup+25.5019 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31895 /proc/meminfo: memFree=1870080/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=32872 CPUtime=25.48 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 5828 0 0 0 2541 7 0 0 25 0 1 0 186201206 33660928 5803 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 8218 5803 196 640 0 7574 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32872 [startup+51.1012 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1868408/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=34368 CPUtime=51.06 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 6204 0 0 0 5096 10 0 0 25 0 1 0 186201206 35192832 6179 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 8592 6179 196 640 0 7948 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 34368 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1864832/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=38072 CPUtime=102.24 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 7133 0 0 0 10205 19 0 0 25 0 1 0 186201206 38985728 7108 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 9518 7108 196 640 0 8874 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 38072 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1861248/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=41636 CPUtime=162.2 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 8025 0 0 0 16193 27 0 0 25 0 1 0 186201206 42635264 8000 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 10409 8000 196 640 0 9765 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 41636 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1858880/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=43976 CPUtime=222.18 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 8613 0 0 0 22183 35 0 0 25 0 1 0 186201206 45031424 8588 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 10994 8588 196 640 0 10350 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 43976 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1858880/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=43972 CPUtime=282.16 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 8613 0 0 0 28173 43 0 0 25 0 1 0 186201206 45027328 8588 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 10993 8588 196 640 0 10349 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 43972 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1858880/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=43968 CPUtime=342.14 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 8613 0 0 0 34164 50 0 0 25 0 1 0 186201206 45023232 8588 1992294400 134512640 137136520 4294956256 18446744073709551615 134543939 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 10992 8588 196 640 0 10348 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 43968 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1854208/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=48656 CPUtime=402.11 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 9786 0 0 0 40153 58 0 0 25 0 1 0 186201206 49823744 9761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 12164 9761 196 640 0 11520 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 48656 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1854144/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=48640 CPUtime=462.08 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 9786 0 0 0 46144 64 0 0 25 0 1 0 186201206 49807360 9758 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 12160 9758 196 640 0 11516 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 48640 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1854144/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=48640 CPUtime=522.05 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 9786 0 0 0 52135 70 0 0 25 0 1 0 186201206 49807360 9758 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 12160 9758 196 640 0 11516 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 48640 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1851840/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=50896 CPUtime=582.02 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 10367 0 0 0 58124 78 0 0 25 0 1 0 186201206 52117504 10305 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 12724 10305 196 640 0 12080 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 50896 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1851776/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=50924 CPUtime=642.01 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 10399 0 0 0 64115 86 0 0 25 0 1 0 186201206 52146176 10329 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 12731 10329 196 640 0 12087 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 50924 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1850176/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=52368 CPUtime=1061.83 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 10846 0 0 0 106053 130 0 0 25 0 1 0 186201206 53624832 10690 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 13092 10690 196 640 0 12448 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 52368 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1850176/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=52368 CPUtime=1121.8 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 10846 0 0 0 112044 136 0 0 25 0 1 0 186201206 53624832 10690 1992294400 134512640 137136520 4294956256 18446744073709551615 136509117 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 13092 10690 196 640 0 12448 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 52368 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1845120/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=57516 CPUtime=1181.78 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12145 0 0 0 118035 143 0 0 25 0 1 0 186201206 58896384 11952 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14379 11952 196 640 0 13735 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 57516 [startup+1242.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 31901 /proc/meminfo: memFree=1844928/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=57684 CPUtime=1241.76 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12180 0 0 0 124027 149 0 0 25 0 1 0 186201206 59068416 11987 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14421 11987 196 640 0 13777 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 57684 [startup+1302.3 s] /proc/loadavg: 1.05 1.02 1.00 2/65 31901 /proc/meminfo: memFree=1843776/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58816 CPUtime=1301.74 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12463 0 0 0 130019 155 0 0 25 0 1 0 186201206 60227584 12270 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14704 12270 196 640 0 14060 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 58816 [startup+1362.3 s] /proc/loadavg: 1.14 1.05 1.01 2/65 31901 /proc/meminfo: memFree=1843776/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58644 CPUtime=1361.71 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12463 0 0 0 136010 161 0 0 25 0 1 0 186201206 60051456 12259 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14661 12259 196 640 0 14017 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 58644 [startup+1422.31 s] /proc/loadavg: 1.05 1.04 1.00 2/65 31901 /proc/meminfo: memFree=1843712/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58644 CPUtime=1421.7 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12463 0 0 0 142004 166 0 0 25 0 1 0 186201206 60051456 12259 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14661 12259 196 640 0 14017 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 58644 [startup+1482.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 31901 /proc/meminfo: memFree=1843648/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58644 CPUtime=1481.67 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12463 0 0 0 147995 172 0 0 25 0 1 0 186201206 60051456 12259 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14661 12259 196 640 0 14017 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 58644 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 31901 /proc/meminfo: memFree=1843648/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58644 CPUtime=1541.65 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12463 0 0 0 153986 179 0 0 25 0 1 0 186201206 60051456 12259 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14661 12259 196 640 0 14017 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 58644 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 31901 /proc/meminfo: memFree=1843712/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58644 CPUtime=1601.62 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12463 0 0 0 159978 184 0 0 25 0 1 0 186201206 60051456 12259 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14661 12259 196 640 0 14017 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 58644 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 31901 /proc/meminfo: memFree=1843712/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58644 CPUtime=1661.6 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12463 0 0 0 165971 189 0 0 25 0 1 0 186201206 60051456 12259 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14661 12259 196 640 0 14017 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 58644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1844288/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58052 CPUtime=1721.57 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12464 0 0 0 171958 199 0 0 25 0 1 0 186201206 59445248 12112 1992294400 134512640 137136520 4294956256 18446744073709551615 136294934 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14513 12112 197 640 0 13869 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 58052 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1844224/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58052 CPUtime=1781.55 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12464 0 0 0 177949 206 0 0 25 0 1 0 186201206 59445248 12112 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14513 12112 197 640 0 13869 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 58052 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1844224/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58052 CPUtime=1791.15 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12464 0 0 0 178908 207 0 0 25 0 1 0 186201206 59445248 12112 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14513 12112 197 640 0 13869 0 Current children cumulated CPU time (s) 1791.15 Current children cumulated vsize (KiB) 58052 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1844224/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=58052 CPUtime=1794.35 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12464 0 0 0 179227 208 0 0 25 0 1 0 186201206 59445248 12112 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14513 12112 197 640 0 13869 0 Current children cumulated CPU time (s) 1794.35 Current children cumulated vsize (KiB) 58052 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1844672/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=57564 CPUtime=1795.94 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12464 0 0 0 179386 208 0 0 25 0 1 0 186201206 58945536 11990 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14391 11990 197 640 0 13747 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 57564 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1844672/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=57564 CPUtime=1796.74 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12464 0 0 0 179466 208 0 0 25 0 1 0 186201206 58945536 11990 1992294400 134512640 137136520 4294956256 18446744073709551615 134543939 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14391 11990 197 640 0 13747 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 57564 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1844672/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=57564 CPUtime=1797.55 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12464 0 0 0 179546 209 0 0 25 0 1 0 186201206 58945536 11990 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14391 11990 197 640 0 13747 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 57564 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31901 /proc/meminfo: memFree=1844672/2055920 swapFree=4181496/4192956 [pid=31894] ppid=31892 vsize=57564 CPUtime=1797.95 /proc/31894/stat : 31894 (bsolo) R 31892 31894 31261 0 -1 4194304 12464 0 0 0 179586 209 0 0 25 0 1 0 186201206 58945536 11990 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31894/statm: 14391 11990 197 640 0 13747 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 57564 Child status: 0 Real time (s): 1798.76 CPU time (s): 1798.01 CPU user time (s): 1795.91 CPU system time (s): 2.09768 CPU usage (%): 99.9584 Max. virtual memory (cumulated for all children) (KiB): 58816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.91 system time used= 2.09768 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12466 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= 6371 runsolver used 1.87971 second user time and 4.66929 second system time The end
Begin job on node25 at 2009-06-16 23:00:14 IDJOB=1877919 IDBENCH=47899 IDSOLVER=700 FILE ID=node25/1877919-1245186014 PBS_JOBID= 9363949 Free space on /tmp= 66312 MiB SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877919-1245186014/watcher-1877919-1245186014 -o /tmp/evaluation-result-1877919-1245186014/solver-1877919-1245186014 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877919-1245186014.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80881c7fbc3c10cf38784c74294061e5 RANDOM SEED=2101069191 node25.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.238 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.238 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: 1893272 kB Buffers: 39540 kB Cached: 68336 kB SwapCached: 5888 kB Active: 63680 kB Inactive: 52748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1893272 kB SwapTotal: 4192956 kB SwapFree: 4181496 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13548 kB Slab: 32188 kB Committed_AS: 203556 kB PageTables: 1464 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-1877919-1245186014.opb Free space on /tmp at the end= 66308 MiB End job on node25 at 2009-06-16 23:30:13