Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 219 | 1798.01 | 1798.66 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8b1.opb |
MD5SUM | 45a62012cfe681f45441c62f782d8601 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 13.8459 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | YES |
Number of variables | 672 |
Total number of constraints | 2404 |
Number of constraints which are clauses | 2404 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
Number of terms in the objective function | 672 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 672 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 672 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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: Cardinality Constraint 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-1877639-1245155643.opb 0.00/0.00 c File size is 63738 bytes. 0.00/0.01 c Highest Coefficient sum: 672 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.008 s 0.00/0.01 c Var: 672 Constr: 2404 2404/0/0 Lit: 5328 Watch. Lit: 4808 0.00/0.01 c Obj. Vars: 672 (100 % of total variables) 0.00/0.02 c Pre-processing Time: 0.024 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 660 2398 5280 2 4796 799 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 0.00/0.02 o 221 594.78/595.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 594.78/595.02 c 4 660 2407 5996 2 5253 1799 9 160 0.03 594.78/595.02 c 105 660 2534 29463 11 5941 1979 136 860 0.12 594.78/595.02 c 356 660 2800 88753 31 8482 2177 402 1167 0.30 594.78/595.02 c 831 660 3319 195921 59 9520 2395 921 786 1.06 594.78/595.02 c 1644 660 4196 376524 89 11274 2635 1798 774 2.12 594.78/595.02 c 2964 660 3821 300752 78 8455 2899 1423 806 3.67 594.78/595.02 c 5045 660 4231 362169 85 9229 3189 1833 796 6.34 594.78/595.02 c 8268 660 3994 336263 84 8427 3508 1596 844 9.79 594.78/595.02 c 13206 660 5099 581133 113 11071 3859 2701 870 15.17 594.78/595.02 c 20712 660 6101 820385 134 12641 4245 3703 840 24.66 594.78/595.02 c 32074 660 5489 691212 125 11417 4670 3091 884 36.28 594.78/595.02 c 49219 660 6267 872726 139 12973 5138 3869 668 73.64 594.78/595.02 c 75038 660 5059 580580 114 11389 5652 2661 737 101.72 594.78/595.02 c 113870 660 6085 762988 125 13038 6218 3687 690 164.91 594.78/595.02 c 172222 660 7379 970668 131 16788 6840 4981 688 250.06 594.78/595.02 c 259854 660 8867 1381540 155 18173 7525 6469 618 420.35 594.78/595.02 o 219 1797.94/1798.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.65 c 380871 660 9722 1386681 142 23826 1799 7324 640 594.81 1797.94/1798.65 c 380971 660 3449 192207 55 7339 1979 1051 640 595.05 1797.94/1798.65 c 381221 660 3754 247498 65 7949 2177 1356 640 595.40 1797.94/1798.65 c 381696 660 4275 361215 84 9838 2395 1877 640 595.88 1797.94/1798.65 c 382510 660 3619 237610 65 8463 2635 1221 640 596.85 1797.94/1798.65 c 383831 660 3741 255494 68 7923 2899 1343 641 598.06 1797.94/1798.65 c 385912 660 4321 376441 87 9487 3189 1923 642 600.34 1797.94/1798.65 c 389135 660 4020 337418 83 8907 3508 1622 643 604.89 1797.94/1798.65 c 394072 660 5065 548185 108 13017 3859 2667 646 609.81 1797.94/1798.65 c 401579 660 4365 408005 93 9171 4245 1967 650 617.79 1797.94/1798.65 c 412941 660 4559 437700 96 9559 4670 2161 648 636.84 1797.94/1798.65 c 430085 660 4981 552801 110 10839 5138 2583 650 660.82 1797.94/1798.65 c 455905 660 6978 1001827 143 14826 5652 4580 654 696.12 1797.94/1798.65 c 494738 660 5267 630615 119 10975 6218 2869 646 765.51 1797.94/1798.65 c 553090 660 6225 875931 140 12891 6840 3827 618 893.74 1797.94/1798.65 c 640722 660 7840 1169742 149 16552 7525 5442 640 1000.52 1797.94/1798.65 c 772275 660 6305 712618 113 13549 8278 3907 644 1198.56 1797.94/1798.65 c 969707 660 10594 1607497 151 25968 9106 8196 613 1579.76 1797.94/1798.65 c Resources Exceeded 1797.94/1798.65 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 -x64 x65 -x66 x67 -x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 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 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 -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 -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 -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 -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 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 -x649 x650 -x651 x652 -x653 x654 -x655 x656 -x657 x658 x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1797.94/1798.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.65 c 34 1077477 261122 1911438 11396 1960613 8998 599 1798.00 1797.94/1798.65 c Objective: 219 1797.94/1798.65 s SATISFIABLE 1797.94/1798.65 c Total time: 1798 s
OK 219
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877639-1245155643/watcher-1877639-1245155643 -o /tmp/evaluation-result-1877639-1245155643/solver-1877639-1245155643 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877639-1245155643.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 0.97 0.98 3/64 7869 /proc/meminfo: memFree=1923360/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=10780 CPUtime=0 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 68297273 11038720 239 1992294400 134512640 137136520 4294956256 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 2695 240 175 640 0 2035 0 [startup+0.0386669 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7869 /proc/meminfo: memFree=1923360/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=11124 CPUtime=0.03 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 407 0 0 0 3 0 0 0 18 0 1 0 68297273 11390976 375 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 2781 375 196 640 0 2137 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11124 [startup+0.101724 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7869 /proc/meminfo: memFree=1923360/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=11364 CPUtime=0.09 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 460 0 0 0 9 0 0 0 18 0 1 0 68297273 11636736 428 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 2841 428 196 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301717 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7869 /proc/meminfo: memFree=1923360/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=12280 CPUtime=0.29 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 676 0 0 0 29 0 0 0 19 0 1 0 68297273 12574720 644 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 3070 644 196 640 0 2426 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12280 [startup+0.701798 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7869 /proc/meminfo: memFree=1923360/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=13012 CPUtime=0.69 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 880 0 0 0 69 0 0 0 22 0 1 0 68297273 13324288 848 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 3253 848 197 640 0 2609 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13012 [startup+1.50196 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1920152/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=14620 CPUtime=1.49 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 1281 0 0 0 149 0 0 0 25 0 1 0 68297273 14970880 1249 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 3655 1249 197 640 0 3011 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14620 [startup+3.10128 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1917528/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=18400 CPUtime=3.09 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 2222 0 0 0 308 1 0 0 25 0 1 0 68297273 18841600 2190 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 4600 2190 197 640 0 3956 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18400 [startup+6.30292 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1913752/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=19960 CPUtime=6.29 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 2619 0 0 0 628 1 0 0 25 0 1 0 68297273 20439040 2587 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 4990 2587 197 640 0 4346 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19960 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1910808/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=22532 CPUtime=12.68 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 3258 0 0 0 1265 3 0 0 25 0 1 0 68297273 23072768 3226 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 5633 3226 197 640 0 4989 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22532 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1909464/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=24600 CPUtime=25.48 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 3759 0 0 0 2543 5 0 0 25 0 1 0 68297273 25190400 3727 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 6150 3727 197 640 0 5506 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24600 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1907096/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=26828 CPUtime=51.07 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 4315 0 0 0 5099 8 0 0 25 0 1 0 68297273 27471872 4283 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 6707 4283 197 640 0 6063 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26828 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1905752/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=27712 CPUtime=102.26 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 4749 0 0 0 10209 17 0 0 25 0 1 0 68297273 28377088 4512 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 6928 4512 197 640 0 6284 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 27712 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1904472/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=28936 CPUtime=162.23 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 5065 0 0 0 16202 21 0 0 25 0 1 0 68297273 29630464 4828 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 7234 4828 197 640 0 6590 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 28936 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1902872/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=30524 CPUtime=222.21 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 5590 0 0 0 22193 28 0 0 25 0 1 0 68297273 31256576 5229 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 7631 5229 197 640 0 6987 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 30524 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1900632/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=32848 CPUtime=282.19 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 6153 0 0 0 28187 32 0 0 25 0 1 0 68297273 33636352 5787 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 8212 5787 197 640 0 7568 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 32848 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1900568/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=32832 CPUtime=342.17 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 6153 0 0 0 34179 38 0 0 25 0 1 0 68297273 33619968 5787 1992294400 134512640 137136520 4294956256 18446744073709551615 134574878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 8208 5787 197 640 0 7564 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 32832 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1900568/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=32692 CPUtime=402.14 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 6153 0 0 0 40172 42 0 0 25 0 1 0 68297273 33476608 5772 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 8173 5772 197 640 0 7529 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 32692 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1900184/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=33200 CPUtime=462.12 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 6263 0 0 0 46163 49 0 0 25 0 1 0 68297273 33996800 5882 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 8300 5882 197 640 0 7656 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 33200 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1900184/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=33148 CPUtime=522.11 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 6263 0 0 0 52156 55 0 0 25 0 1 0 68297273 33943552 5882 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 8287 5882 197 640 0 7643 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 33148 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1897112/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=36204 CPUtime=582.08 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 7007 0 0 0 58145 63 0 0 25 0 1 0 68297273 37072896 6626 1992294400 134512640 137136520 4294956256 18446744073709551615 134600654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9051 6626 197 640 0 8407 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 36204 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1898200/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=34868 CPUtime=642.07 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 7007 0 0 0 64136 71 0 0 25 0 1 0 68297273 35704832 6316 1992294400 134512640 137136520 4294956256 18446744073709551615 136502115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 8717 6316 197 640 0 8073 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 34868 [startup+702.303 s] ################ # More data... # ################ /proc/meminfo: memFree=1898712/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=34236 CPUtime=1121.9 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 8645 0 0 0 112063 127 0 0 25 0 1 0 68297273 35057664 6158 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 8559 6158 197 640 0 7915 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 34236 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7870 /proc/meminfo: memFree=1896984/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=35832 CPUtime=1181.87 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 9316 0 0 0 118051 136 0 0 25 0 1 0 68297273 36691968 6557 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 8958 6557 197 640 0 8314 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 35832 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7872 /proc/meminfo: memFree=1896920/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=35812 CPUtime=1241.85 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 9485 0 0 0 124041 144 0 0 25 0 1 0 68297273 36671488 6552 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 8953 6552 197 640 0 8309 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 35812 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7872 /proc/meminfo: memFree=1895704/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=36864 CPUtime=1301.83 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 9841 0 0 0 130032 151 0 0 25 0 1 0 68297273 37748736 6815 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9216 6815 197 640 0 8572 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 36864 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7872 /proc/meminfo: memFree=1895256/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=37576 CPUtime=1361.81 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10001 0 0 0 136025 156 0 0 25 0 1 0 68297273 38477824 6975 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9394 6975 197 640 0 8750 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 37576 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7872 /proc/meminfo: memFree=1895256/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=37460 CPUtime=1421.8 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10004 0 0 0 142018 162 0 0 25 0 1 0 68297273 38359040 6964 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9365 6964 197 640 0 8721 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 37460 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7872 /proc/meminfo: memFree=1895256/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=37376 CPUtime=1481.76 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10023 0 0 0 148011 165 0 0 25 0 1 0 68297273 38273024 6936 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9344 6936 197 640 0 8700 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 37376 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7872 /proc/meminfo: memFree=1894680/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=38088 CPUtime=1541.75 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10198 0 0 0 154004 171 0 0 25 0 1 0 68297273 39002112 7111 1992294400 134512640 137136520 4294956256 18446744073709551615 134617404 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9522 7111 197 640 0 8878 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 38088 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7872 /proc/meminfo: memFree=1894680/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=38080 CPUtime=1601.73 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10199 0 0 0 159995 178 0 0 25 0 1 0 68297273 38993920 7112 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9520 7112 197 640 0 8876 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 38080 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893072/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39572 CPUtime=1661.69 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 165986 183 0 0 25 0 1 0 68297273 40521728 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9893 7470 197 640 0 9249 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 39572 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893072/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39544 CPUtime=1721.67 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 171977 190 0 0 25 0 1 0 68297273 40493056 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9886 7470 197 640 0 9242 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 39544 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893008/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39540 CPUtime=1781.65 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 177969 196 0 0 25 0 1 0 68297273 40488960 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 134606736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9885 7470 197 640 0 9241 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 39540 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893008/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39540 CPUtime=1791.25 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 178929 196 0 0 25 0 1 0 68297273 40488960 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9885 7470 197 640 0 9241 0 Current children cumulated CPU time (s) 1791.25 Current children cumulated vsize (KiB) 39540 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893008/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39540 CPUtime=1794.45 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 179248 197 0 0 25 0 1 0 68297273 40488960 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9885 7470 197 640 0 9241 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (KiB) 39540 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893008/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39540 CPUtime=1796.04 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 179407 197 0 0 25 0 1 0 68297273 40488960 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9885 7470 197 640 0 9241 0 Current children cumulated CPU time (s) 1796.04 Current children cumulated vsize (KiB) 39540 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893008/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39540 CPUtime=1796.84 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 179487 197 0 0 25 0 1 0 68297273 40488960 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9885 7470 197 640 0 9241 0 Current children cumulated CPU time (s) 1796.84 Current children cumulated vsize (KiB) 39540 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893008/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39540 CPUtime=1797.64 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 179567 197 0 0 25 0 1 0 68297273 40488960 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 134606772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9885 7470 197 640 0 9241 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (KiB) 39540 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893008/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39540 CPUtime=1797.85 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 179588 197 0 0 25 0 1 0 68297273 40488960 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9885 7470 197 640 0 9241 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 39540 [startup+1798.6 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7878 /proc/meminfo: memFree=1893008/2055920 swapFree=4191900/4192956 [pid=7869] ppid=7867 vsize=39540 CPUtime=1797.94 /proc/7869/stat : 7869 (bsolo) R 7867 7869 7522 0 -1 4194304 10882 0 0 0 179597 197 0 0 25 0 1 0 68297273 40488960 7470 1992294400 134512640 137136520 4294956256 18446744073709551615 136502090 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7869/statm: 9885 7470 197 640 0 9241 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 39540 Child status: 0 Real time (s): 1798.66 CPU time (s): 1798.01 CPU user time (s): 1796.03 CPU system time (s): 1.9837 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (KiB): 40456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.03 system time used= 1.9837 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10884 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= 2496 runsolver used 1.45678 second user time and 3.9624 second system time The end
Begin job on node33 at 2009-06-16 14:34:03 IDJOB=1877639 IDBENCH=2140 IDSOLVER=699 FILE ID=node33/1877639-1245155643 PBS_JOBID= 9363741 Free space on /tmp= 65952 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877639-1245155643/watcher-1877639-1245155643 -o /tmp/evaluation-result-1877639-1245155643/solver-1877639-1245155643 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877639-1245155643.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 45a62012cfe681f45441c62f782d8601 RANDOM SEED=533537812 node33.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.261 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.261 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: 1923840 kB Buffers: 21192 kB Cached: 56284 kB SwapCached: 384 kB Active: 58500 kB Inactive: 32404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1923840 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4028 kB Writeback: 0 kB Mapped: 21808 kB Slab: 27204 kB Committed_AS: 119684 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-1877639-1245155643.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-16 15:04:02