Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -30 | 1798.05 | 1799.26 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb |
MD5SUM | 4acf18ad1cd52676d2699a99f210ed0a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1795.38 |
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 | 27842 |
Number of constraints which are clauses | 27842 |
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-1878597-1245168615.opb 0.00/0.00 c File size is 663564 bytes. 0.00/0.09 c Highest Coefficient sum: 595 0.00/0.09 c Parsing was ok!! 0.00/0.09 c Total parsing time: 0.082 s 0.08/0.10 c Var: 595 Constr: 27842 27842/0/0 Lit: 55684 Watch. Lit: 55684 0.08/0.10 c Obj. Vars: 595 (100 % of total variables) 0.38/0.43 c Pre-processing Time: 0.422 s 0.38/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.38/0.43 c 0 595 27842 55684 2 55684 9280 0 0 0.42 0.38/0.43 c Switching off lower bounding mode. 0.38/0.43 o -26 0.38/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.38/0.44 c 0 595 27843 56279 2 55712 10280 1 0 0.43 0.38/0.44 o -27 28.84/28.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.84/28.94 c 10 595 27854 62538 2 55761 10280 12 23 0.43 28.84/28.94 c 110 595 27954 119050 4 55961 11309 112 233 0.47 28.84/28.94 c 360 595 28204 260198 9 56461 12440 362 626 0.57 28.84/28.94 c 836 595 28680 528514 18 57413 13685 838 1060 0.79 28.84/28.94 c 1649 595 29493 986950 33 59039 15054 1651 1383 1.19 28.84/28.94 c 2969 595 30813 1730184 56 61679 16560 2971 1508 1.97 28.84/28.94 c 5050 595 32894 2904975 88 65841 18217 5052 1408 3.59 28.84/28.94 c 8274 595 36118 4722126 130 72289 20039 8276 1146 7.21 28.84/28.94 c 13210 595 41054 7502481 182 82161 22043 13212 1076 12.27 28.84/28.94 c 20716 595 48560 11736328 241 97173 24248 20718 823 25.16 28.84/28.94 o -28 173.61/173.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 173.61/173.72 c 22416 595 50261 12696293 252 100603 10280 22419 775 28.90 173.61/173.72 c 22516 595 33083 3011999 91 66194 11309 5241 731 30.79 173.61/173.72 c 22766 595 33333 3152687 94 66694 12440 5491 736 30.92 173.61/173.72 c 23242 595 33809 3420495 101 67646 13685 5967 744 31.23 173.61/173.72 c 24056 595 34623 3878697 112 69274 15054 6781 752 31.95 173.61/173.72 c 25376 595 35943 4622414 128 71914 16560 8101 767 33.08 173.61/173.72 c 27457 595 38024 5793467 152 76076 18217 10182 784 35.01 173.61/173.72 c 30681 595 41248 7610104 184 82524 20039 13406 806 38.05 173.61/173.72 c 35617 595 46184 10389994 224 92396 22043 18342 795 44.75 173.61/173.72 c 43124 595 41856 7948767 189 83740 24248 14014 748 57.59 173.61/173.72 c 54487 595 39253 6470725 164 78534 26673 11411 692 78.67 173.61/173.72 c 71631 595 40173 6990041 173 80374 29341 12331 645 110.97 173.61/173.72 c 97450 595 47172 10923019 231 94372 32276 19330 601 161.94 173.61/173.72 o -29 310.26/310.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 310.26/310.48 c 104191 595 53914 14720490 273 107885 10280 26072 600 173.64 310.26/310.48 c 104292 595 33084 3007446 90 66197 11309 5242 590 176.67 310.26/310.48 c 104542 595 33334 3148026 94 66697 12440 5492 591 176.83 310.26/310.48 c 105017 595 33809 3414977 101 67647 13685 5967 593 177.08 310.26/310.48 c 105830 595 34622 3871546 111 69273 15054 6780 595 177.58 310.26/310.48 c 107150 595 35942 4613333 128 71913 16560 8100 597 179.27 310.26/310.48 c 109231 595 38023 5780597 152 76075 18217 10181 602 181.16 310.26/310.48 c 112455 595 41247 7592221 184 82523 20039 13405 610 184.14 310.26/310.48 c 117391 595 46183 10366805 224 92395 22043 18341 612 191.76 310.26/310.48 c 124897 595 41856 7920859 189 83741 24248 14014 618 202.02 310.26/310.48 c 136258 595 39268 6476938 164 78565 26673 11426 613 221.96 310.26/310.48 c 153404 595 40146 6966528 173 80321 29341 12304 596 257.36 310.26/310.48 o -30 1797.98/1799.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1799.21 c 171523 595 39432 6569180 166 78923 10280 11590 552 310.36 1797.98/1799.21 c 171624 595 33084 3000113 90 66198 11309 5242 551 311.17 1797.98/1799.21 c 171874 595 33334 3140059 94 66698 12440 5492 551 311.37 1797.98/1799.21 c 172350 595 33810 3407321 100 67650 13685 5968 552 311.73 1797.98/1799.21 c 173164 595 34624 3863502 111 69278 15054 6782 554 312.19 1797.98/1799.21 c 174485 595 35945 4604564 128 71920 16560 8103 557 313.14 1797.98/1799.21 c 176567 595 38027 5772340 151 76084 18217 10185 559 315.52 1797.98/1799.21 c 179790 595 41250 7579933 183 82530 20039 13408 563 318.88 1797.98/1799.21 c 184727 595 46187 10349711 224 92404 22043 18345 568 325.16 1797.98/1799.21 c 192234 595 41883 7930223 189 83796 24248 14041 571 336.14 1797.98/1799.21 c 203595 595 39283 6470356 164 78596 26673 11441 570 356.75 1797.98/1799.21 c 220740 595 40147 6955569 173 80324 29341 12305 556 396.49 1797.98/1799.21 c 246559 595 47186 10897031 230 94402 32276 19344 548 449.45 1797.98/1799.21 c 285392 595 42664 8358987 195 85358 35504 14822 489 582.77 1797.98/1799.21 c 343745 595 51351 13242107 257 102732 39055 23509 434 790.87 1797.98/1799.21 c 431377 595 54235 14852932 273 108500 42961 26393 383 1123.78 1797.98/1799.21 c Resources Exceeded 1797.98/1799.21 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.98/1799.21 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1799.21 c 52 560198 42701 613099 55232 15413215 27390 311 1798.00 1797.98/1799.21 c Objective: -30 1797.98/1799.21 s SATISFIABLE 1797.98/1799.21 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-1878597-1245168615/watcher-1878597-1245168615 -o /tmp/evaluation-result-1878597-1245168615/solver-1878597-1245168615 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878597-1245168615.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: 2.16 1.92 1.86 4/72 30950 /proc/meminfo: memFree=1854376/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=11364 CPUtime=0 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 184459451 11636736 233 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30950/statm: 2841 234 174 640 0 2034 0 [startup+0.00882703 s] /proc/loadavg: 2.16 1.92 1.86 4/72 30950 /proc/meminfo: memFree=1854376/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=11500 CPUtime=0 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 184459451 11776000 268 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30950/statm: 2875 268 180 640 0 2068 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11500 [startup+0.101853 s] /proc/loadavg: 2.16 1.92 1.86 4/72 30950 /proc/meminfo: memFree=1854376/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=14648 CPUtime=0.08 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 1425 0 0 0 8 0 0 0 18 0 1 0 184459451 14999552 1246 1992294400 134512640 137136520 4294956256 18446744073709551615 134550412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 3662 1246 185 640 0 3018 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14648 [startup+0.301872 s] /proc/loadavg: 2.16 1.92 1.86 4/72 30950 /proc/meminfo: memFree=1854376/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=15588 CPUtime=0.29 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 1657 0 0 0 27 2 0 0 19 0 1 0 184459451 15962112 1478 1992294400 134512640 137136520 4294956256 18446744073709551615 134540170 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 3897 1478 190 640 0 3253 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15588 [startup+0.701922 s] /proc/loadavg: 2.16 1.92 1.86 4/72 30950 /proc/meminfo: memFree=1854376/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=19416 CPUtime=0.68 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 2794 0 0 0 65 3 0 0 23 0 1 0 184459451 19881984 2428 1992294400 134512640 137136520 4294956256 18446744073709551615 136499654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 4854 2428 196 640 0 4210 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 19416 [startup+1.50201 s] /proc/loadavg: 2.16 1.92 1.86 4/73 30951 /proc/meminfo: memFree=1840864/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=31196 CPUtime=1.48 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 5751 0 0 0 143 5 0 0 25 0 1 0 184459451 31944704 5385 1992294400 134512640 137136520 4294956256 18446744073709551615 136294906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 7799 5385 196 640 0 7155 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 31196 [startup+3.10221 s] /proc/loadavg: 2.06 1.90 1.85 4/73 30951 /proc/meminfo: memFree=1826400/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=48096 CPUtime=3.07 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 9984 0 0 0 300 7 0 0 25 0 1 0 184459451 49250304 9618 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 12024 9618 196 640 0 11380 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 48096 [startup+6.30183 s] /proc/loadavg: 2.06 1.90 1.85 4/73 30951 /proc/meminfo: memFree=1800416/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=69888 CPUtime=6.26 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 15434 0 0 0 615 11 0 0 25 0 1 0 184459451 71565312 15068 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 17472 15068 196 640 0 16828 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 69888 [startup+12.7062 s] /proc/loadavg: 2.05 1.91 1.85 3/73 30951 /proc/meminfo: memFree=1755048/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=114392 CPUtime=12.66 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 26535 0 0 0 1250 16 0 0 25 0 1 0 184459451 117137408 26169 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 28598 26169 196 640 0 27954 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 114392 [startup+25.5018 s] /proc/loadavg: 2.05 1.91 1.85 3/73 30951 /proc/meminfo: memFree=1699048/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=166520 CPUtime=25.45 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 39592 0 0 0 2523 22 0 0 25 0 1 0 184459451 170516480 39226 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 41630 39226 196 640 0 40986 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 166520 [startup+51.1027 s] /proc/loadavg: 1.89 1.88 1.85 3/73 30951 /proc/meminfo: memFree=1686120/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=179144 CPUtime=51.05 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 42749 0 0 0 5079 26 0 0 25 0 1 0 184459451 183443456 42383 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 44786 42383 196 640 0 44142 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 179144 [startup+102.317 s] /proc/loadavg: 1.81 1.85 1.83 3/73 30951 /proc/meminfo: memFree=1669352/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=195056 CPUtime=102.25 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 46720 0 0 0 10191 34 0 0 25 0 1 0 184459451 199737344 46354 1992294400 134512640 137136520 4294956256 18446744073709551615 136502155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 48764 46354 196 640 0 48120 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 195056 [startup+162.302 s] /proc/loadavg: 1.89 1.86 1.84 3/73 30951 /proc/meminfo: memFree=1632424/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=231888 CPUtime=162.21 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 55933 0 0 0 16177 44 0 0 25 0 1 0 184459451 237453312 55567 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 57972 55567 196 640 0 57328 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 231888 [startup+222.308 s] /proc/loadavg: 2.05 1.90 1.85 3/73 30951 /proc/meminfo: memFree=1632424/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=231872 CPUtime=222.19 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 55933 0 0 0 22168 51 0 0 25 0 1 0 184459451 237436928 55566 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 57968 55566 196 640 0 57324 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 231872 [startup+282.302 s] /proc/loadavg: 1.93 1.90 1.85 2/73 30951 /proc/meminfo: memFree=1632424/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=231872 CPUtime=282.17 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 55933 0 0 0 28159 58 0 0 25 0 1 0 184459451 237436928 55566 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 57968 55566 196 640 0 57324 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 231872 [startup+342.302 s] /proc/loadavg: 1.95 1.90 1.85 3/73 30951 /proc/meminfo: memFree=1632424/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=231872 CPUtime=342.15 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 55933 0 0 0 34151 64 0 0 25 0 1 0 184459451 237436928 55566 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 57968 55566 196 640 0 57324 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 231872 [startup+402.301 s] /proc/loadavg: 2.14 1.96 1.87 2/73 30951 /proc/meminfo: memFree=1632360/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=231808 CPUtime=402.13 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 55933 0 0 0 40143 70 0 0 25 0 1 0 184459451 237371392 55550 1992294400 134512640 137136520 4294956256 18446744073709551615 134600696 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 57952 55550 196 640 0 57308 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 231808 [startup+462.301 s] /proc/loadavg: 2.26 2.03 1.90 2/73 30951 /proc/meminfo: memFree=1632360/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=231804 CPUtime=462.11 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 55933 0 0 0 46135 76 0 0 25 0 1 0 184459451 237367296 55549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 57951 55549 196 640 0 57307 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 231804 [startup+522.307 s] /proc/loadavg: 2.20 2.04 1.91 3/73 30951 /proc/meminfo: memFree=1611880/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=252204 CPUtime=522.09 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 61059 0 0 0 52125 84 0 0 25 0 1 0 184459451 258256896 60642 1992294400 134512640 137136520 4294956256 18446744073709551615 134571594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 63051 60642 196 640 0 62407 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 252204 [startup+582.301 s] /proc/loadavg: 1.83 1.97 1.89 4/73 30951 /proc/meminfo: memFree=1611816/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=252284 CPUtime=581.8 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 61088 0 0 0 58085 95 0 0 25 0 1 0 184459451 258338816 60669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 63071 60669 196 640 0 62427 0 Current children cumulated CPU time (s) 581.8 Current children cumulated vsize (KiB) 252284 [startup+642.305 s] /proc/loadavg: 1.72 1.90 1.87 3/73 30951 /proc/meminfo: memFree=1611816/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=252284 CPUtime=641.53 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 61088 0 0 0 64052 101 0 0 25 0 1 0 184459451 258338816 60669 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 63071 60669 196 640 0 62427 0 Current children cumulated CPU time (s) 641.53 Current children cumulated vsize (KiB) 252284 [startup+702.309 s] ################ # More data... # ################ /proc/meminfo: memFree=1562280/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=301544 CPUtime=1121.38 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 73492 0 0 0 111999 139 0 0 25 0 1 0 184459451 308781056 72984 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 75386 72984 196 640 0 74742 0 Current children cumulated CPU time (s) 1121.38 Current children cumulated vsize (KiB) 301544 [startup+1182.3 s] /proc/loadavg: 2.04 2.01 1.93 3/73 30951 /proc/meminfo: memFree=1534120/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329512 CPUtime=1181.37 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80522 0 0 0 117989 148 0 0 25 0 1 0 184459451 337420288 79971 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82378 79971 196 640 0 81734 0 Current children cumulated CPU time (s) 1181.37 Current children cumulated vsize (KiB) 329512 [startup+1242.31 s] /proc/loadavg: 1.83 1.94 1.91 2/73 30951 /proc/meminfo: memFree=1533992/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329512 CPUtime=1241.36 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80522 0 0 0 123985 151 0 0 25 0 1 0 184459451 337420288 79971 1992294400 134512640 137136520 4294956256 18446744073709551615 134544304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82378 79971 196 640 0 81734 0 Current children cumulated CPU time (s) 1241.36 Current children cumulated vsize (KiB) 329512 [startup+1302.3 s] /proc/loadavg: 2.05 1.98 1.92 4/73 30951 /proc/meminfo: memFree=1533992/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329512 CPUtime=1301.34 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80522 0 0 0 129981 153 0 0 25 0 1 0 184459451 337420288 79971 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82378 79971 196 640 0 81734 0 Current children cumulated CPU time (s) 1301.34 Current children cumulated vsize (KiB) 329512 [startup+1362.3 s] /proc/loadavg: 2.07 1.99 1.92 2/73 30951 /proc/meminfo: memFree=1534056/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329512 CPUtime=1361.31 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80522 0 0 0 135976 155 0 0 25 0 1 0 184459451 337420288 79971 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82378 79971 196 640 0 81734 0 Current children cumulated CPU time (s) 1361.31 Current children cumulated vsize (KiB) 329512 [startup+1422.31 s] /proc/loadavg: 1.92 1.97 1.91 3/73 30951 /proc/meminfo: memFree=1534120/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329512 CPUtime=1421.28 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80522 0 0 0 141969 159 0 0 25 0 1 0 184459451 337420288 79971 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82378 79971 196 640 0 81734 0 Current children cumulated CPU time (s) 1421.28 Current children cumulated vsize (KiB) 329512 [startup+1482.3 s] /proc/loadavg: 1.95 1.97 1.91 4/73 30951 /proc/meminfo: memFree=1534120/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329512 CPUtime=1481.26 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80522 0 0 0 147964 162 0 0 25 0 1 0 184459451 337420288 79971 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82378 79971 196 640 0 81734 0 Current children cumulated CPU time (s) 1481.26 Current children cumulated vsize (KiB) 329512 [startup+1542.31 s] /proc/loadavg: 1.73 1.91 1.89 4/73 30951 /proc/meminfo: memFree=1534120/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329512 CPUtime=1541.25 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80522 0 0 0 153960 165 0 0 25 0 1 0 184459451 337420288 79971 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82378 79971 196 640 0 81734 0 Current children cumulated CPU time (s) 1541.25 Current children cumulated vsize (KiB) 329512 [startup+1602.3 s] /proc/loadavg: 1.95 1.93 1.90 5/73 30951 /proc/meminfo: memFree=1534056/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329420 CPUtime=1601.22 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80548 0 0 0 159953 169 0 0 25 0 1 0 184459451 337326080 79953 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82355 79953 196 640 0 81711 0 Current children cumulated CPU time (s) 1601.22 Current children cumulated vsize (KiB) 329420 [startup+1662.31 s] /proc/loadavg: 2.03 1.94 1.91 3/73 30951 /proc/meminfo: memFree=1534056/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329420 CPUtime=1661.21 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80548 0 0 0 165949 172 0 0 25 0 1 0 184459451 337326080 79953 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82355 79953 196 640 0 81711 0 Current children cumulated CPU time (s) 1661.21 Current children cumulated vsize (KiB) 329420 [startup+1722.3 s] /proc/loadavg: 1.89 1.92 1.90 3/73 30951 /proc/meminfo: memFree=1534056/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329420 CPUtime=1721.18 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80548 0 0 0 171943 175 0 0 25 0 1 0 184459451 337326080 79953 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82355 79953 196 640 0 81711 0 Current children cumulated CPU time (s) 1721.18 Current children cumulated vsize (KiB) 329420 [startup+1782.3 s] /proc/loadavg: 2.07 1.96 1.91 4/73 30951 /proc/meminfo: memFree=1533928/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329352 CPUtime=1781.14 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80558 0 0 0 177934 180 0 0 25 0 1 0 184459451 337256448 79936 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82338 79936 196 640 0 81694 0 Current children cumulated CPU time (s) 1781.14 Current children cumulated vsize (KiB) 329352 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.13 1.98 1.92 4/73 30951 /proc/meminfo: memFree=1533992/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329352 CPUtime=1790.72 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80558 0 0 0 178892 180 0 0 25 0 1 0 184459451 337256448 79936 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82338 79936 196 640 0 81694 0 Current children cumulated CPU time (s) 1790.72 Current children cumulated vsize (KiB) 329352 [startup+1795.1 s] /proc/loadavg: 2.13 1.98 1.92 4/73 30951 /proc/meminfo: memFree=1533992/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329352 CPUtime=1793.91 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80558 0 0 0 179211 180 0 0 25 0 1 0 184459451 337256448 79936 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30950/statm: 82338 79936 196 640 0 81694 0 Current children cumulated CPU time (s) 1793.91 Current children cumulated vsize (KiB) 329352 [startup+1796.7 s] /proc/loadavg: 2.13 1.98 1.92 3/73 30951 /proc/meminfo: memFree=1533992/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329352 CPUtime=1795.51 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80558 0 0 0 179370 181 0 0 25 0 1 0 184459451 337256448 79936 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82338 79936 196 640 0 81694 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (KiB) 329352 [startup+1798.3 s] /proc/loadavg: 2.12 1.98 1.92 3/73 30951 /proc/meminfo: memFree=1533992/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329352 CPUtime=1797.09 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80558 0 0 0 179528 181 0 0 25 0 1 0 184459451 337256448 79936 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82338 79936 196 640 0 81694 0 Current children cumulated CPU time (s) 1797.09 Current children cumulated vsize (KiB) 329352 [startup+1798.7 s] /proc/loadavg: 2.12 1.98 1.92 2/73 30951 /proc/meminfo: memFree=1533992/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329352 CPUtime=1797.48 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80558 0 0 0 179567 181 0 0 25 0 1 0 184459451 337256448 79936 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82338 79936 196 640 0 81694 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (KiB) 329352 [startup+1799.1 s] /proc/loadavg: 2.12 1.98 1.92 2/73 30951 /proc/meminfo: memFree=1533992/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329352 CPUtime=1797.88 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80558 0 0 0 179607 181 0 0 25 0 1 0 184459451 337256448 79936 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82338 79936 196 640 0 81694 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 329352 [startup+1799.2 s] /proc/loadavg: 2.12 1.98 1.92 2/73 30951 /proc/meminfo: memFree=1533992/2055920 swapFree=4182380/4192956 [pid=30950] ppid=30948 vsize=329352 CPUtime=1797.98 /proc/30950/stat : 30950 (bsolo) R 30948 30950 30585 0 -1 4194304 80558 0 0 0 179617 181 0 0 25 0 1 0 184459451 337256448 79936 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30950/statm: 82338 79936 196 640 0 81694 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 329352 Child status: 0 Real time (s): 1799.26 CPU time (s): 1798.05 CPU user time (s): 1796.19 CPU system time (s): 1.86472 CPU usage (%): 99.9327 Max. virtual memory (cumulated for all children) (KiB): 329724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.19 system time used= 1.86472 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80560 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= 3879 runsolver used 2.52462 second user time and 6.44502 second system time The end
Begin job on node75 at 2009-06-16 18:10:15 IDJOB=1878597 IDBENCH=2270 IDSOLVER=700 FILE ID=node75/1878597-1245168615 PBS_JOBID= 9363861 Free space on /tmp= 66428 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-4.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878597-1245168615/watcher-1878597-1245168615 -o /tmp/evaluation-result-1878597-1245168615/solver-1878597-1245168615 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878597-1245168615.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a RANDOM SEED=1024971615 node75.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.236 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.236 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1855176 kB Buffers: 21428 kB Cached: 91412 kB SwapCached: 4596 kB Active: 38036 kB Inactive: 98760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855176 kB SwapTotal: 4192956 kB SwapFree: 4182380 kB Dirty: 4584 kB Writeback: 0 kB Mapped: 31328 kB Slab: 48844 kB Committed_AS: 612216 kB PageTables: 2088 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-1878597-1245168615.opb Free space on /tmp at the end= 66424 MiB End job on node75 at 2009-06-16 18:40:15