Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 97 | 1798.01 | 1798.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb |
MD5SUM | 83b6f70c71dbcf261c00790940be437e |
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.99163 |
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 | 15 |
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 | 15 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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: Generic Pseudo-Boolean 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-1879490-1245244284.opb 0.00/0.00 c File size is 33487 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368 0.00/0.00 c Obj. Vars: 8 (1.2987 % 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 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 126.63/126.73 c 101 616 1116 16669 14 6291 5691 198 2404 0.04 126.63/126.73 c 252 616 1388 33812 24 9787 6261 470 2545 0.10 126.63/126.73 c 478 616 1771 57705 32 13811 6888 853 2087 0.23 126.63/126.73 c 816 616 2421 105020 43 18472 7577 1503 2414 0.34 126.63/126.73 c 1325 616 3410 169778 49 30728 8335 2492 1778 0.74 126.63/126.73 c 2089 616 4888 261658 53 57298 9169 3970 863 2.42 126.63/126.73 c 3236 616 7024 427558 60 90349 10086 6106 879 3.68 126.63/126.73 c 4958 616 10276 668169 65 104866 11095 9358 675 7.34 126.63/126.73 c 7542 616 8887 628627 70 82833 12205 7969 277 27.17 126.63/126.73 c 11421 616 10012 635451 63 125011 13426 9094 286 39.83 126.63/126.73 c 17243 616 14091 878402 62 154063 14769 13173 166 103.86 126.63/126.73 o 97 1797.97/1798.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.82 c 23522 616 9715 632551 65 80991 5189 8797 185 126.68 1797.97/1798.82 c 23622 616 3708 201438 54 31230 5708 2790 186 126.99 1797.97/1798.82 c 23872 616 4194 231265 55 36182 6279 3276 187 127.10 1797.97/1798.82 c 24348 616 5020 283880 56 47474 6907 4102 190 127.78 1797.97/1798.82 c 25162 616 6587 383118 58 66725 7598 5669 194 129.40 1797.97/1798.82 c 26483 616 4718 257697 54 44935 8358 3800 200 132.15 1797.97/1798.82 c 28564 616 8656 544411 62 79489 9194 7738 208 136.92 1797.97/1798.82 c 31787 616 9428 578252 61 80253 10114 8510 215 147.63 1797.97/1798.82 c 36723 616 8319 486373 58 82955 11126 7401 206 178.08 1797.97/1798.82 c 44229 616 11073 634543 57 129676 12239 10155 179 245.82 1797.97/1798.82 c 55590 616 12996 923523 71 129277 13463 12078 149 371.43 1797.97/1798.82 c 72734 616 10505 610257 58 112301 14810 9587 126 574.56 1797.97/1798.82 c 98553 616 13158 971933 73 185578 16292 12240 100 981.72 1797.97/1798.82 c 137385 616 9135 570632 62 128416 17922 8217 87 1564.44 1797.97/1798.82 c Resources Exceeded 1797.97/1798.82 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 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 x65 x66 -x67 x68 x69 x70 -x71 -x72 -x113 x114 -x115 x116 -x117 -x118 -x119 -x120 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 x73 x74 -x75 x76 x77 -x78 -x79 -x80 x121 -x122 x123 -x124 -x125 x126 -x127 -x128 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 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 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 x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x97 x98 x99 -x100 -x101 -x102 -x103 -x104 x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 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 x105 -x106 x107 x108 -x109 -x110 -x111 -x112 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 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 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 1797.97/1798.82 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.82 c 25 158511 2100 169017 11507 793476 10589 88 1798.00 1797.97/1798.82 c Objective: 97 1797.97/1798.82 s SATISFIABLE 1797.97/1798.82 c Total time: 1798 s
OK 97
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879490-1245244284/watcher-1879490-1245244284 -o /tmp/evaluation-result-1879490-1245244284/solver-1879490-1245244284 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879490-1245244284.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 0.93 3/64 16346 /proc/meminfo: memFree=1810744/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=10744 CPUtime=0 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 77131285 11001856 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 2686 245 177 640 0 2033 0 [startup+0.0377309 s] /proc/loadavg: 1.00 1.00 0.93 3/64 16346 /proc/meminfo: memFree=1810744/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=11108 CPUtime=0.03 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 387 0 0 0 3 0 0 0 18 0 1 0 77131285 11374592 362 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 2777 362 197 640 0 2133 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11108 [startup+0.101738 s] /proc/loadavg: 1.00 1.00 0.93 3/64 16346 /proc/meminfo: memFree=1810744/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=11492 CPUtime=0.09 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 487 0 0 0 9 0 0 0 18 0 1 0 77131285 11767808 462 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 2873 462 198 640 0 2229 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11492 [startup+0.301761 s] /proc/loadavg: 1.00 1.00 0.93 3/64 16346 /proc/meminfo: memFree=1810744/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=12520 CPUtime=0.29 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 733 0 0 0 29 0 0 0 19 0 1 0 77131285 12820480 708 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 3130 708 198 640 0 2486 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12520 [startup+0.701806 s] /proc/loadavg: 1.00 1.00 0.93 3/64 16346 /proc/meminfo: memFree=1810744/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=13808 CPUtime=0.69 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 1059 0 0 0 69 0 0 0 23 0 1 0 77131285 14139392 1034 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 3452 1034 198 640 0 2808 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13808 [startup+1.5019 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1806832/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=14980 CPUtime=1.49 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 1356 0 0 0 149 0 0 0 25 0 1 0 77131285 15339520 1331 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 3745 1331 198 640 0 3101 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14980 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1805360/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=17324 CPUtime=3.09 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 1932 0 0 0 308 1 0 0 25 0 1 0 77131285 17739776 1907 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 4331 1907 198 640 0 3687 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17324 [startup+6.30245 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1800064/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=21968 CPUtime=6.29 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 3108 0 0 0 627 2 0 0 25 0 1 0 77131285 22495232 3083 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 5492 3083 198 640 0 4848 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21968 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1794960/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=26120 CPUtime=12.68 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 4131 0 0 0 1265 3 0 0 25 0 1 0 77131285 26746880 4106 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 6530 4106 198 640 0 5886 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26120 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1794192/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=26908 CPUtime=25.48 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 4331 0 0 0 2544 4 0 0 25 0 1 0 77131285 27553792 4306 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 6727 4306 198 640 0 6083 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26908 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1794192/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=26908 CPUtime=51.06 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 4332 0 0 0 5100 6 0 0 25 0 1 0 77131285 27553792 4307 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 6727 4307 198 640 0 6083 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 26908 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1792016/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=29004 CPUtime=102.25 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 4857 0 0 0 10217 8 0 0 25 0 1 0 77131285 29700096 4832 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 7251 4832 198 640 0 6607 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 29004 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1789904/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=31076 CPUtime=162.22 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 5388 0 0 0 16211 11 0 0 25 0 1 0 77131285 31821824 5363 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 7769 5363 198 640 0 7125 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 31076 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1789904/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=30844 CPUtime=222.19 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 5388 0 0 0 22206 13 0 0 25 0 1 0 77131285 31584256 5311 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 7711 5311 198 640 0 7067 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 30844 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1790032/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=30796 CPUtime=282.16 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 5388 0 0 0 28200 16 0 0 25 0 1 0 77131285 31535104 5299 1992294400 134512640 137136520 4294956256 18446744073709551615 134541920 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 7699 5299 198 640 0 7055 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 30796 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1790032/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=30796 CPUtime=342.14 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 5388 0 0 0 34197 17 0 0 25 0 1 0 77131285 31535104 5299 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 7699 5299 198 640 0 7055 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 30796 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1790096/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=30732 CPUtime=402.12 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 5388 0 0 0 40192 20 0 0 25 0 1 0 77131285 31469568 5283 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 7683 5283 198 640 0 7039 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 30732 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1790096/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=30732 CPUtime=462.05 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 5388 0 0 0 46185 20 0 0 25 0 1 0 77131285 31469568 5283 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 7683 5283 198 640 0 7039 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 30732 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1790032/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=30732 CPUtime=522.02 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 5388 0 0 0 52180 22 0 0 25 0 1 0 77131285 31469568 5283 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 7683 5283 198 640 0 7039 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 30732 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1790032/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=30732 CPUtime=582 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 5388 0 0 0 58177 23 0 0 25 0 1 0 77131285 31469568 5283 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 7683 5283 198 640 0 7039 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 30732 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1788816/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=32128 CPUtime=641.96 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 5719 0 0 0 64171 25 0 0 25 0 1 0 77131285 32899072 5614 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 8032 5614 198 640 0 7388 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 32128 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1784272/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36364 CPUtime=1121.75 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6793 0 0 0 112140 35 0 0 25 0 1 0 77131285 37236736 6688 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9091 6688 198 640 0 8447 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 36364 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1784272/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36364 CPUtime=1181.72 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6793 0 0 0 118136 36 0 0 25 0 1 0 77131285 37236736 6688 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9091 6688 198 640 0 8447 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 36364 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1784080/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36364 CPUtime=1241.69 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6793 0 0 0 124132 37 0 0 25 0 1 0 77131285 37236736 6688 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9091 6688 198 640 0 8447 0 Current children cumulated CPU time (s) 1241.69 Current children cumulated vsize (KiB) 36364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1784016/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36364 CPUtime=1301.67 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6793 0 0 0 130129 38 0 0 25 0 1 0 77131285 37236736 6688 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9091 6688 198 640 0 8447 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 36364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1784016/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36364 CPUtime=1361.65 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6793 0 0 0 136126 39 0 0 25 0 1 0 77131285 37236736 6688 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9091 6688 198 640 0 8447 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 36364 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1783952/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36364 CPUtime=1421.63 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6793 0 0 0 142123 40 0 0 25 0 1 0 77131285 37236736 6688 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9091 6688 198 640 0 8447 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 36364 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1783888/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36364 CPUtime=1481.59 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6793 0 0 0 148118 41 0 0 25 0 1 0 77131285 37236736 6688 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9091 6688 198 640 0 8447 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 36364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1783888/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36364 CPUtime=1541.57 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6793 0 0 0 154114 43 0 0 25 0 1 0 77131285 37236736 6688 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9091 6688 198 640 0 8447 0 Current children cumulated CPU time (s) 1541.57 Current children cumulated vsize (KiB) 36364 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1783888/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36364 CPUtime=1601.55 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6793 0 0 0 160111 44 0 0 25 0 1 0 77131285 37236736 6688 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9091 6688 198 640 0 8447 0 Current children cumulated CPU time (s) 1601.55 Current children cumulated vsize (KiB) 36364 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1783952/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36368 CPUtime=1661.52 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6794 0 0 0 166108 44 0 0 25 0 1 0 77131285 37240832 6689 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9092 6689 198 640 0 8448 0 Current children cumulated CPU time (s) 1661.52 Current children cumulated vsize (KiB) 36368 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1783952/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=36272 CPUtime=1721.49 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 6794 0 0 0 172103 46 0 0 25 0 1 0 77131285 37142528 6668 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9068 6668 198 640 0 8424 0 Current children cumulated CPU time (s) 1721.49 Current children cumulated vsize (KiB) 36272 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1782416/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=37976 CPUtime=1781.47 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 7199 0 0 0 178099 48 0 0 25 0 1 0 77131285 38887424 7073 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9494 7073 198 640 0 8850 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (KiB) 37976 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1782416/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=37976 CPUtime=1791.08 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 7199 0 0 0 179060 48 0 0 25 0 1 0 77131285 38887424 7073 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9494 7073 198 640 0 8850 0 Current children cumulated CPU time (s) 1791.08 Current children cumulated vsize (KiB) 37976 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1782416/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=37976 CPUtime=1794.28 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 7199 0 0 0 179380 48 0 0 25 0 1 0 77131285 38887424 7073 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9494 7073 198 640 0 8850 0 Current children cumulated CPU time (s) 1794.28 Current children cumulated vsize (KiB) 37976 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1782416/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=37976 CPUtime=1795.87 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 7199 0 0 0 179539 48 0 0 25 0 1 0 77131285 38887424 7073 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9494 7073 198 640 0 8850 0 Current children cumulated CPU time (s) 1795.87 Current children cumulated vsize (KiB) 37976 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1782416/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=37976 CPUtime=1796.67 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 7199 0 0 0 179619 48 0 0 25 0 1 0 77131285 38887424 7073 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9494 7073 198 640 0 8850 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (KiB) 37976 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1782416/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=37976 CPUtime=1797.47 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 7199 0 0 0 179699 48 0 0 25 0 1 0 77131285 38887424 7073 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9494 7073 198 640 0 8850 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 37976 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1782352/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=37976 CPUtime=1797.87 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 7199 0 0 0 179739 48 0 0 25 0 1 0 77131285 38887424 7073 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9494 7073 198 640 0 8850 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 37976 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 0.93 2/65 16347 /proc/meminfo: memFree=1782352/2055920 swapFree=4182476/4192956 [pid=16346] ppid=16344 vsize=37976 CPUtime=1797.97 /proc/16346/stat : 16346 (bsolo) R 16344 16346 15855 0 -1 4194304 7199 0 0 0 179749 48 0 0 25 0 1 0 77131285 38887424 7073 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16346/statm: 9494 7073 198 640 0 8850 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 37976 Child status: 0 Real time (s): 1798.83 CPU time (s): 1798.01 CPU user time (s): 1797.52 CPU system time (s): 0.488925 CPU usage (%): 99.9542 Max. virtual memory (cumulated for all children) (KiB): 37976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.52 system time used= 0.488925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7201 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= 6195 runsolver used 1.47178 second user time and 5.07623 second system time The end
Begin job on node20 at 2009-06-17 15:11:24 IDJOB=1879490 IDBENCH=48040 IDSOLVER=701 FILE ID=node20/1879490-1245244284 PBS_JOBID= 9372318 Free space on /tmp= 66316 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879490-1245244284/watcher-1879490-1245244284 -o /tmp/evaluation-result-1879490-1245244284/solver-1879490-1245244284 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879490-1245244284.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83b6f70c71dbcf261c00790940be437e RANDOM SEED=1437961722 node20.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.234 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.234 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: 1811288 kB Buffers: 32676 kB Cached: 135464 kB SwapCached: 4716 kB Active: 64240 kB Inactive: 111712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811288 kB SwapTotal: 4192956 kB SwapFree: 4182476 kB Dirty: 4200 kB Writeback: 0 kB Mapped: 13832 kB Slab: 54760 kB Committed_AS: 162836 kB PageTables: 1404 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-1879490-1245244284.opb Free space on /tmp at the end= 66312 MiB End job on node20 at 2009-06-17 15:41:24