Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -30 | 1798.06 | 1798.55 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb |
MD5SUM | 7f24dba3f3d4b877b96bd50f5b27c089 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -31 |
Best CPU time to get the best result obtained on this benchmark | 1795.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 28143 |
Number of constraints which are clauses | 28143 |
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 | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
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 | 595 |
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: 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-1878633-1245168684.opb 0.00/0.00 c File size is 669646 bytes. 0.00/0.08 c Highest Coefficient sum: 595 0.00/0.08 c Parsing was ok!! 0.00/0.09 c Total parsing time: 0.088 s 0.00/0.10 c Var: 595 Constr: 28143 28143/0/0 Lit: 56286 Watch. Lit: 56286 0.00/0.10 c Obj. Vars: 595 (100 % of total variables) 0.39/0.44 c Pre-processing Time: 0.444 s 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 595 28143 56286 2 56286 9381 0 0 0.44 0.39/0.44 c Switching off lower bounding mode. 0.39/0.45 o -21 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 595 28144 56881 2 56309 10381 1 0 0.45 0.39/0.46 o -22 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 42 595 28187 81404 2 56417 10381 44 89 0.47 0.39/0.47 o -23 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 42 595 28188 81999 2 56442 10381 45 89 0.47 0.39/0.47 o -26 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 42 595 28189 82594 2 56470 10381 46 88 0.47 0.39/0.47 o -27 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 49 595 28197 87148 3 56513 10381 54 102 0.48 0.39/0.48 o -28 28.28/28.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.32 c 55 595 28204 91137 3 56555 10381 61 114 0.48 28.28/28.32 c 155 595 28304 147469 5 56755 11420 161 294 0.53 28.28/28.32 c 406 595 28555 288743 10 57257 12563 412 619 0.66 28.28/28.32 c 882 595 29031 556839 19 58209 13820 888 975 0.90 28.28/28.32 c 1695 595 29844 1014846 34 59835 15203 1701 1262 1.34 28.28/28.32 c 3016 595 31165 1759220 56 62477 16724 3022 1379 2.19 28.28/28.32 c 5097 595 33246 2930749 88 66639 18397 5103 1373 3.71 28.28/28.32 c 8320 595 36469 4743429 130 73085 20237 8326 1316 6.32 28.28/28.32 c 13256 595 41405 7521178 181 82957 22261 13262 1098 12.06 28.28/28.32 c 20762 595 48911 11746662 240 97969 24488 20768 750 27.67 28.28/28.32 o -29 1245.86/1246.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1245.86/1246.28 c 21363 595 49513 12085251 244 99202 10381 21370 754 28.31 1245.86/1246.28 c 21463 595 33435 3034192 90 66899 11420 5292 712 30.12 1245.86/1246.28 c 21713 595 33685 3174823 94 67399 12563 5542 717 30.26 1245.86/1246.28 c 22189 595 34161 3442407 100 68351 13820 6018 726 30.53 1245.86/1246.28 c 23002 595 34974 3899445 111 69977 15203 6831 740 31.04 1245.86/1246.28 c 24322 595 36294 4640560 127 72617 16724 8151 759 32.02 1245.86/1246.28 c 26403 595 38375 5809250 151 76779 18397 10232 782 33.72 1245.86/1246.28 c 29627 595 41599 7618629 183 83227 20237 13456 788 37.58 1245.86/1246.28 c 34563 595 46535 10388883 223 93099 22261 18392 782 44.18 1245.86/1246.28 c 42070 595 42039 7857046 186 84107 24488 13896 767 54.79 1245.86/1246.28 c 53432 595 39229 6285411 160 78487 26937 11086 669 79.84 1245.86/1246.28 c 70579 595 39868 6640737 166 79765 29631 11725 599 117.72 1245.86/1246.28 c 96399 595 46616 10432590 223 93261 32595 18473 550 175.18 1245.86/1246.28 c 135231 595 41500 7555966 182 83029 35855 13357 458 294.69 1245.86/1246.28 c 193584 595 49769 12184498 244 99567 39441 21626 335 576.98 1245.86/1246.28 c 281217 595 51680 13269097 256 103389 43386 23537 314 895.53 1245.86/1246.28 o -30 1797.91/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.49 c 348935 595 54614 14931575 273 109287 10381 26471 280 1245.94 1797.91/1798.49 c 349035 595 33435 3031834 90 66900 11420 5292 279 1248.26 1797.91/1798.49 c 349285 595 33685 3172209 94 67400 12563 5542 279 1248.40 1797.91/1798.49 c 349761 595 34161 3438943 100 68352 13820 6018 280 1248.76 1797.91/1798.49 c 350574 595 34974 3895011 111 69978 15203 6831 280 1249.34 1797.91/1798.49 c 351894 595 36294 4635611 127 72618 16724 8151 281 1250.19 1797.91/1798.49 c 353977 595 38377 5803441 151 76784 18397 10234 282 1252.61 1797.91/1798.49 c 357201 595 41601 7608386 182 83232 20237 13458 284 1255.53 1797.91/1798.49 c 362137 595 46537 10374458 222 93104 22261 18394 285 1266.83 1797.91/1798.49 c 369643 595 42008 7826509 186 84046 24488 13865 288 1283.23 1797.91/1798.49 c 381005 595 39221 6270371 159 78472 26937 11078 292 1304.37 1797.91/1798.49 c 398149 595 39875 6629533 166 79780 29631 11732 298 1334.97 1797.91/1798.49 c 423969 595 46601 10394556 223 93232 32595 18458 304 1390.59 1797.91/1798.49 c 462801 595 41497 7539821 181 83024 35855 13354 306 1509.15 1797.91/1798.49 c 521153 595 49622 12108395 244 99274 39441 21479 299 1742.15 1797.91/1798.49 c Resources Exceeded 1797.91/1798.49 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 1797.91/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.49 c 46 543246 33976 583546 43084 8432113 14941 302 1798.00 1797.91/1798.49 c Objective: -30 1797.91/1798.49 s SATISFIABLE 1797.91/1798.49 c Total time: 1798 s
OK -30
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878633-1245168684/watcher-1878633-1245168684 -o /tmp/evaluation-result-1878633-1245168684/solver-1878633-1245168684 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878633-1245168684.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 3703 /proc/meminfo: memFree=1855424/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=11368 CPUtime=0 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 184469005 11640832 240 1992294400 134512640 137136520 4294956256 18446744073709551615 134523143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 2842 241 175 640 0 2034 0 [startup+0.00963703 s] /proc/loadavg: 0.99 0.97 0.98 3/64 3703 /proc/meminfo: memFree=1855424/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=11508 CPUtime=0 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 184469005 11784192 286 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 2877 286 183 640 0 2069 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11508 [startup+0.102648 s] /proc/loadavg: 0.99 0.97 0.98 3/64 3703 /proc/meminfo: memFree=1855424/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=14784 CPUtime=0.09 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 1441 0 0 0 9 0 0 0 18 0 1 0 184469005 15138816 1261 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 3696 1261 188 640 0 3052 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14784 [startup+0.30268 s] /proc/loadavg: 0.99 0.97 0.98 3/64 3703 /proc/meminfo: memFree=1855424/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=15708 CPUtime=0.29 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 1671 0 0 0 28 1 0 0 19 0 1 0 184469005 16084992 1491 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 3927 1491 190 640 0 3283 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15708 [startup+0.701719 s] /proc/loadavg: 0.99 0.97 0.98 3/64 3703 /proc/meminfo: memFree=1855424/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=18368 CPUtime=0.69 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 2564 0 0 0 66 3 0 0 22 0 1 0 184469005 18808832 2188 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 4592 2188 196 640 0 3948 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18368 [startup+1.50181 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1842872/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=29220 CPUtime=1.49 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 5278 0 0 0 145 4 0 0 25 0 1 0 184469005 29921280 4902 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 7305 4902 196 640 0 6661 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29220 [startup+3.102 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1829560/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=46480 CPUtime=3.08 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 9594 0 0 0 302 6 0 0 25 0 1 0 184469005 47595520 9218 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 11620 9218 196 640 0 10976 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 46480 [startup+6.30137 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1797304/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=75172 CPUtime=6.29 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 16737 0 0 0 620 9 0 0 25 0 1 0 184469005 76976128 16361 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 18793 16361 196 640 0 18149 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 75172 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1754488/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=116492 CPUtime=12.69 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 27073 0 0 0 1255 14 0 0 25 0 1 0 184469005 119287808 26697 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 29123 26697 196 640 0 28479 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 116492 [startup+25.5026 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1702136/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=163380 CPUtime=25.49 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 38808 0 0 0 2526 23 0 0 25 0 1 0 184469005 167301120 38432 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 40845 38432 196 640 0 40201 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 163380 [startup+51.1026 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1684920/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=180204 CPUtime=51.07 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 43024 0 0 0 5079 28 0 0 25 0 1 0 184469005 184528896 42648 1992294400 134512640 137136520 4294956256 18446744073709551615 134617449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 45051 42648 196 640 0 44407 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 180204 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1668728/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=196444 CPUtime=102.26 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 47077 0 0 0 10190 36 0 0 25 0 1 0 184469005 201158656 46701 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 49111 46701 196 640 0 48467 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 196444 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1631224/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=233816 CPUtime=162.24 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 56425 0 0 0 16176 48 0 0 25 0 1 0 184469005 239427584 56049 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 58454 56049 196 640 0 57810 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 233816 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1609656/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=255244 CPUtime=222.22 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 61799 0 0 0 22166 56 0 0 25 0 1 0 184469005 261369856 61390 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 63811 61390 196 640 0 63167 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 255244 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1609656/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=255244 CPUtime=282.21 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 61799 0 0 0 28159 62 0 0 25 0 1 0 184469005 261369856 61390 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 63811 61390 196 640 0 63167 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 255244 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1609592/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=255432 CPUtime=342.19 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 61833 0 0 0 34153 66 0 0 25 0 1 0 184469005 261562368 61424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 63858 61424 196 640 0 63214 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 255432 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1586104/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=278760 CPUtime=402.17 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 67701 0 0 0 40144 73 0 0 25 0 1 0 184469005 285450240 67256 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 69690 67256 196 640 0 69046 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 278760 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1586104/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=278760 CPUtime=462.16 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 67701 0 0 0 46139 77 0 0 25 0 1 0 184469005 285450240 67256 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 69690 67256 196 640 0 69046 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 278760 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1586104/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=278760 CPUtime=522.15 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 67701 0 0 0 52135 80 0 0 25 0 1 0 184469005 285450240 67256 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 69690 67256 196 640 0 69046 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 278760 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1586040/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=278736 CPUtime=582.12 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 67735 0 0 0 58129 83 0 0 25 0 1 0 184469005 285425664 67282 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 69684 67282 196 640 0 69040 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 278736 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1560120/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=304424 CPUtime=642.11 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 74189 0 0 0 64120 91 0 0 25 0 1 0 184469005 311730176 73696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 76106 73696 196 640 0 75462 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 304424 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1531064/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=333396 CPUtime=1062 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81465 0 0 0 106077 123 0 0 25 0 1 0 184469005 341397504 80929 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 83349 80929 196 640 0 82705 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 333396 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1531064/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=333396 CPUtime=1121.98 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81465 0 0 0 112073 125 0 0 25 0 1 0 184469005 341397504 80929 1992294400 134512640 137136520 4294956256 18446744073709551615 135982518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 83349 80929 196 640 0 82705 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 333396 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1530936/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=333664 CPUtime=1181.96 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 118069 127 0 0 25 0 1 0 184469005 341671936 80982 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 83416 80982 196 640 0 82772 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 333664 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1530872/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=333664 CPUtime=1241.95 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 124064 131 0 0 25 0 1 0 184469005 341671936 80982 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 83416 80982 196 640 0 82772 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 333664 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1530872/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=333444 CPUtime=1301.93 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 130057 136 0 0 25 0 1 0 184469005 341446656 80959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 83361 80959 196 640 0 82717 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 333444 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1531576/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=332620 CPUtime=1361.92 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 136049 143 0 0 25 0 1 0 184469005 340602880 80753 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 83155 80753 196 640 0 82511 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 332620 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1531576/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=332620 CPUtime=1421.9 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 142043 147 0 0 25 0 1 0 184469005 340602880 80753 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 83155 80753 196 640 0 82511 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 332620 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1481.88 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 148037 151 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 331700 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1541.87 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 154030 157 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 331700 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1601.85 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 160024 161 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 331700 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1661.84 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 166018 166 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 331700 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1721.82 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 172014 168 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 331700 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1781.81 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 178008 173 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 331700 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 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1791.4 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 178967 173 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 331700 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1794.6 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 179287 173 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 331700 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1796.21 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 179447 174 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 331700 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1797 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 179526 174 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 331700 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=331700 CPUtime=1797.8 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194304 81518 0 0 0 179606 174 0 0 25 0 1 0 184469005 339660800 80523 1992294400 134512640 137136520 4294956256 18446744073709551615 134572223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 82925 80523 196 640 0 82281 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 331700 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3704 /proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956 [pid=3703] ppid=3701 vsize=0 CPUtime=1798.01 /proc/3703/stat : 3703 (bsolo) R 3701 3703 3427 0 -1 4194308 81520 0 0 0 179626 175 0 0 25 0 1 0 184469005 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3703/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.06 CPU user time (s): 1796.26 CPU system time (s): 1.79673 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 333664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.26 system time used= 1.79673 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81520 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= 2826 runsolver used 1.2968 second user time and 3.76743 second system time The end
Begin job on node11 at 2009-06-16 18:11:24 IDJOB=1878633 IDBENCH=2271 IDSOLVER=700 FILE ID=node11/1878633-1245168684 PBS_JOBID= 9363863 Free space on /tmp= 66196 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878633-1245168684/watcher-1878633-1245168684 -o /tmp/evaluation-result-1878633-1245168684/solver-1878633-1245168684 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878633-1245168684.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089 RANDOM SEED=1552440401 node11.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: 1855840 kB Buffers: 40128 kB Cached: 88120 kB SwapCached: 0 kB Active: 58112 kB Inactive: 83596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855840 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4592 kB Writeback: 0 kB Mapped: 23244 kB Slab: 44316 kB Committed_AS: 181676 kB PageTables: 1452 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-1878633-1245168684.opb Free space on /tmp at the end= 66192 MiB End job on node11 at 2009-06-16 18:41:23