Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -29 | 1798.06 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb |
MD5SUM | 907943cf03e4e0f899b19858f5690e6e |
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.47 |
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 | NO |
Number of variables | 595 |
Total number of constraints | 27847 |
Number of constraints which are clauses | 27847 |
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.01 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.01 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Learning Strategy: Cardinality Constraint Learning 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file HOME/instance-1877031-1245168914.opb 0.00/0.01 c File size is 662246 bytes. 0.01/0.08 c Highest Coefficient sum: 595 0.01/0.08 c Parsing was ok!! 0.01/0.08 c Total parsing time: 0.081 s 0.01/0.09 c Var: 595 Constr: 27847 27847/0/0 Lit: 55694 Watch. Lit: 55694 0.01/0.09 c Obj. Vars: 595 (100 % of total variables) 0.39/0.41 c Pre-processing Time: 0.41 s 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 595 27847 55694 2 55694 9282 0 0 0.41 0.39/0.41 c Switching off lower bounding mode. 0.39/0.42 o -24 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 595 27848 56289 2 55720 10282 1 0 0.42 0.49/0.53 c 100 595 27955 117035 4 55934 11311 108 202 0.49 0.49/0.53 o -25 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 139 595 27999 142021 5 56047 10282 152 263 0.53 0.49/0.53 o -26 52.67/52.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.67/52.73 c 141 595 28002 143751 5 56079 10282 155 265 0.53 52.67/52.73 c 242 595 28114 207023 7 56303 11311 267 392 0.62 52.67/52.73 c 492 595 28397 366756 12 56869 12443 550 589 0.83 52.67/52.73 c 967 595 28927 665953 23 57929 13688 1080 744 1.30 52.67/52.73 c 1781 595 29871 1198192 40 59817 15057 2024 840 2.12 52.67/52.73 c 3101 595 31363 2040692 65 62801 16563 3516 854 3.63 52.67/52.73 c 5182 595 33738 3380536 100 67551 18220 5891 788 6.57 52.67/52.73 c 8406 595 37466 5479582 146 75007 20043 9619 708 11.86 52.67/52.73 c 13342 595 43080 8640529 200 86259 22048 15233 547 24.38 52.67/52.73 c 20849 595 40302 7072140 175 80654 24253 12455 454 45.84 52.67/52.73 o -27 103.92/104.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.92/104.25 c 23790 595 43747 9014487 206 87596 10282 15900 451 52.72 103.92/104.25 c 23890 595 33104 3019981 91 66260 11311 5257 449 53.15 103.92/104.25 c 24140 595 33380 3175639 95 66812 12443 5533 451 53.45 103.92/104.25 c 24616 595 33925 3482508 102 67902 13688 6078 454 54.12 103.92/104.25 c 25430 595 34846 4000831 114 69744 15057 6999 461 55.10 103.92/104.25 c 26750 595 36381 4864994 133 72814 16563 8534 467 57.18 103.92/104.25 c 28832 595 38713 6179634 159 77478 18220 10866 474 60.78 103.92/104.25 c 32055 595 42458 8284221 195 84968 20043 14611 483 66.35 103.92/104.25 c 36991 595 37870 5691992 150 75767 22048 10023 473 78.08 103.92/104.25 c 44498 595 46598 10604414 227 93223 24253 18751 440 101.11 103.92/104.25 o -28 106.91/107.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 106.91/107.28 c 46187 595 48522 11687312 240 97099 10282 20675 444 103.98 106.91/107.28 c 46289 595 33107 3016225 91 66242 11311 5260 440 105.05 106.91/107.28 c 46540 595 33400 3180687 95 66828 12443 5553 441 105.35 106.91/107.28 c 47015 595 33944 3486301 102 67916 13688 6097 443 105.97 106.91/107.28 c 47829 595 34864 4003673 114 69756 15057 7017 447 106.96 106.91/107.28 o -29 1797.95/1800.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1800.54 c 47855 595 34894 4020601 115 69845 10282 7047 447 107.00 1797.95/1800.54 c 47955 595 35007 4084019 116 70071 11311 7160 447 107.11 1797.95/1800.54 c 48205 595 35295 4245462 120 70647 12443 7448 448 107.43 1797.95/1800.54 c 48680 595 35823 4541801 126 71703 13688 7976 450 108.11 1797.95/1800.54 c 49494 595 36758 5066063 137 73573 15057 8911 452 109.43 1797.95/1800.54 c 50814 595 38256 5907035 154 76569 16563 10409 456 111.22 1797.95/1800.54 c 52895 595 40618 7233090 178 81293 18220 12771 460 114.80 1797.95/1800.54 c 56118 595 44322 9309477 210 88701 20043 16475 464 120.78 1797.95/1800.54 c 61054 595 39403 6537790 165 78835 22048 11556 463 131.75 1797.95/1800.54 c 68561 595 47985 11349461 236 95999 24253 20138 455 150.51 1797.95/1800.54 c 79923 595 48329 11540508 238 96714 26679 20482 414 192.60 1797.95/1800.54 c 97067 595 53132 14232795 267 106293 29347 25285 396 244.63 1797.95/1800.54 c 122886 595 48625 11705801 240 97279 32282 20778 367 334.10 1797.95/1800.54 c 161718 595 53622 14478980 270 107350 35511 25775 297 544.37 1797.95/1800.54 c 220070 595 51895 13527099 260 103846 39063 24048 277 792.12 1797.95/1800.54 c 307702 595 46958 10755051 229 93999 42970 19111 232 1321.20 1797.95/1800.54 c Resources Exceeded 1797.95/1800.54 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.95/1800.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1800.54 c 44 402876 32527 442377 64233 20432114 36386 224 1798.00 1797.95/1800.54 c Objective: -29 1797.95/1800.54 s SATISFIABLE 1797.95/1800.54 c Total time: 1798 s
OK -29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877031-1245168914/watcher-1877031-1245168914 -o /tmp/evaluation-result-1877031-1245168914/solver-1877031-1245168914 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877031-1245168914.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.12 2.10 2.04 4/73 2229 /proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=18576 CPUtime=0 /proc/2229/stat : 2229 (runsolver) R 2227 2229 1946 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 184489998 19021824 284 1992294400 4194304 4302564 548682068528 18446744073709551615 214945033511 0 0 4096 24578 0 0 0 17 0 0 0 /proc/2229/statm: 4644 284 249 26 0 2626 0 [startup+0.024508 s] /proc/loadavg: 2.12 2.10 2.04 4/73 2229 /proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=11908 CPUtime=0.01 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 409 0 0 0 1 0 0 0 18 0 1 0 184489998 12193792 393 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 2977 394 203 640 0 2171 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11908 [startup+0.101946 s] /proc/loadavg: 2.12 2.10 2.04 4/73 2229 /proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=14648 CPUtime=0.09 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 1429 0 0 0 8 1 0 0 18 0 1 0 184489998 14999552 1251 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 3662 1251 188 640 0 3018 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14648 [startup+0.306969 s] /proc/loadavg: 2.12 2.10 2.04 4/73 2229 /proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=15588 CPUtime=0.29 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 1656 0 0 0 27 2 0 0 20 0 1 0 184489998 15962112 1478 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 3897 1478 190 640 0 3253 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15588 [startup+0.702009 s] /proc/loadavg: 2.12 2.10 2.04 4/73 2229 /proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=17512 CPUtime=0.68 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 2319 0 0 0 66 2 0 0 23 0 1 0 184489998 17932288 1954 1992294400 134512640 137136520 4294956256 18446744073709551615 134600233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 4378 1954 196 640 0 3734 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17512 [startup+1.50687 s] /proc/loadavg: 2.12 2.10 2.04 4/74 2230 /proc/meminfo: memFree=1818568/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=24448 CPUtime=1.49 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 4069 0 0 0 146 3 0 0 25 0 1 0 184489998 25034752 3704 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 6112 3704 196 640 0 5468 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24448 [startup+3.10129 s] /proc/loadavg: 2.12 2.10 2.04 3/74 2230 /proc/meminfo: memFree=1809352/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=36748 CPUtime=3.09 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 7144 0 0 0 304 5 0 0 25 0 1 0 184489998 37629952 6779 1992294400 134512640 137136520 4294956256 18446744073709551615 134600249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 9187 6779 196 640 0 8543 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36748 [startup+6.30325 s] /proc/loadavg: 2.11 2.10 2.04 3/74 2230 /proc/meminfo: memFree=1786760/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=56336 CPUtime=6.28 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 12027 0 0 0 621 7 0 0 25 0 1 0 184489998 57688064 11662 1992294400 134512640 137136520 4294956256 18446744073709551615 136499606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 14084 11662 197 640 0 13440 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 56336 [startup+12.7017 s] /proc/loadavg: 2.02 2.08 2.03 4/74 2230 /proc/meminfo: memFree=1752920/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=89396 CPUtime=12.68 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 20290 0 0 0 1257 11 0 0 25 0 1 0 184489998 91541504 19925 1992294400 134512640 137136520 4294956256 18446744073709551615 134606780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 22349 19925 197 640 0 21705 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 89396 [startup+25.5018 s] /proc/loadavg: 2.02 2.08 2.03 2/74 2230 /proc/meminfo: memFree=1708632/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=131268 CPUtime=25.48 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 30778 0 0 0 2530 18 0 0 25 0 1 0 184489998 134418432 30413 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 32817 30413 197 640 0 32173 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 131268 [startup+51.1117 s] /proc/loadavg: 1.95 2.05 2.03 3/74 2230 /proc/meminfo: memFree=1658968/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=179292 CPUtime=51.07 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 42777 0 0 0 5081 26 0 0 25 0 1 0 184489998 183595008 42412 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 44823 42412 197 640 0 44179 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 179292 [startup+102.307 s] /proc/loadavg: 1.96 2.04 2.02 3/74 2230 /proc/meminfo: memFree=1658840/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=179208 CPUtime=102.03 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 42777 0 0 0 10171 32 0 0 25 0 1 0 184489998 183508992 42401 1992294400 134512640 137136520 4294956256 18446744073709551615 136502340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 44802 42401 197 640 0 44158 0 Current children cumulated CPU time (s) 102.03 Current children cumulated vsize (KiB) 179208 [startup+162.303 s] /proc/loadavg: 1.99 2.02 2.01 4/74 2230 /proc/meminfo: memFree=1648408/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=191004 CPUtime=161.75 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 45720 0 0 0 16134 41 0 0 25 0 1 0 184489998 195588096 45325 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 47751 45325 197 640 0 47107 0 Current children cumulated CPU time (s) 161.75 Current children cumulated vsize (KiB) 191004 [startup+222.302 s] /proc/loadavg: 1.88 1.98 1.99 4/74 2230 /proc/meminfo: memFree=1625752/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=212236 CPUtime=221.34 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 51047 0 0 0 22082 52 0 0 25 0 1 0 184489998 217329664 50652 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 53059 50652 197 640 0 52415 0 Current children cumulated CPU time (s) 221.34 Current children cumulated vsize (KiB) 212236 [startup+282.302 s] /proc/loadavg: 2.03 1.99 1.99 2/74 2230 /proc/meminfo: memFree=1606168/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=231760 CPUtime=281.24 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 55931 0 0 0 28064 60 0 0 25 0 1 0 184489998 237322240 55536 1992294400 134512640 137136520 4294956256 18446744073709551615 134597769 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 57940 55536 197 640 0 57296 0 Current children cumulated CPU time (s) 281.24 Current children cumulated vsize (KiB) 231760 [startup+342.309 s] /proc/loadavg: 1.99 1.97 1.99 2/74 2230 /proc/meminfo: memFree=1605912/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=231972 CPUtime=341.17 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 55984 0 0 0 34052 65 0 0 25 0 1 0 184489998 237539328 55589 1992294400 134512640 137136520 4294956256 18446744073709551615 135982513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 57993 55589 197 640 0 57349 0 Current children cumulated CPU time (s) 341.17 Current children cumulated vsize (KiB) 231972 [startup+402.316 s] /proc/loadavg: 2.26 2.04 2.01 4/74 2230 /proc/meminfo: memFree=1584536/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=253184 CPUtime=401.16 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 61311 0 0 0 40043 73 0 0 25 0 1 0 184489998 259260416 60883 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 63296 60883 197 640 0 62652 0 Current children cumulated CPU time (s) 401.16 Current children cumulated vsize (KiB) 253184 [startup+462.302 s] /proc/loadavg: 1.75 1.92 1.97 3/74 2230 /proc/meminfo: memFree=1584536/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=253184 CPUtime=460.96 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 61311 0 0 0 46016 80 0 0 25 0 1 0 184489998 259260416 60883 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 63296 60883 197 640 0 62652 0 Current children cumulated CPU time (s) 460.96 Current children cumulated vsize (KiB) 253184 [startup+522.302 s] /proc/loadavg: 1.88 1.93 1.97 2/74 2230 /proc/meminfo: memFree=1584536/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=253184 CPUtime=520.94 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 61311 0 0 0 52011 83 0 0 25 0 1 0 184489998 259260416 60883 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 63296 60883 197 640 0 62652 0 Current children cumulated CPU time (s) 520.94 Current children cumulated vsize (KiB) 253184 [startup+582.302 s] /proc/loadavg: 1.94 1.94 1.97 4/74 2230 /proc/meminfo: memFree=1561688/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=275884 CPUtime=580.92 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 67002 0 0 0 58000 92 0 0 25 0 1 0 184489998 282505216 66538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 68971 66538 197 640 0 68327 0 Current children cumulated CPU time (s) 580.92 Current children cumulated vsize (KiB) 275884 [startup+642.303 s] /proc/loadavg: 2.26 2.04 2.00 3/74 2230 /proc/meminfo: memFree=1561688/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=275884 CPUtime=640.82 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 67002 0 0 0 63985 97 0 0 25 0 1 0 184489998 282505216 66538 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 68971 66538 197 640 0 68327 0 Current children cumulated CPU time (s) 640.82 Current children cumulated vsize (KiB) 275884 [startup+702.309 s] ################ # More data... # ################ /proc/meminfo: memFree=1535576/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=301900 CPUtime=1060.58 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73556 0 0 0 105934 124 0 0 25 0 1 0 184489998 309145600 73053 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 75475 73053 197 640 0 74831 0 Current children cumulated CPU time (s) 1060.58 Current children cumulated vsize (KiB) 301900 [startup+1122.3 s] /proc/loadavg: 1.91 2.00 1.99 3/74 2230 /proc/meminfo: memFree=1535576/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=301900 CPUtime=1120.43 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73556 0 0 0 111914 129 0 0 25 0 1 0 184489998 309145600 73053 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 75475 73053 197 640 0 74831 0 Current children cumulated CPU time (s) 1120.43 Current children cumulated vsize (KiB) 301900 [startup+1182.31 s] /proc/loadavg: 1.69 1.92 1.96 4/74 2230 /proc/meminfo: memFree=1535384/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=302200 CPUtime=1180.42 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73620 0 0 0 117909 133 0 0 25 0 1 0 184489998 309452800 73117 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 75550 73117 197 640 0 74906 0 Current children cumulated CPU time (s) 1180.42 Current children cumulated vsize (KiB) 302200 [startup+1242.31 s] /proc/loadavg: 1.80 1.90 1.95 3/74 2230 /proc/meminfo: memFree=1535256/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=302200 CPUtime=1240.39 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73620 0 0 0 123903 136 0 0 25 0 1 0 184489998 309452800 73117 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 75550 73117 197 640 0 74906 0 Current children cumulated CPU time (s) 1240.39 Current children cumulated vsize (KiB) 302200 [startup+1302.3 s] /proc/loadavg: 1.97 1.95 1.96 2/74 2230 /proc/meminfo: memFree=1535064/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=302200 CPUtime=1300.36 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73641 0 0 0 129897 139 0 0 25 0 1 0 184489998 309452800 73138 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 75550 73138 197 640 0 74906 0 Current children cumulated CPU time (s) 1300.36 Current children cumulated vsize (KiB) 302200 [startup+1362.3 s] /proc/loadavg: 2.20 2.03 1.99 3/74 2230 /proc/meminfo: memFree=1535064/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=302200 CPUtime=1360.34 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73641 0 0 0 135890 144 0 0 25 0 1 0 184489998 309452800 73138 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 75550 73138 197 640 0 74906 0 Current children cumulated CPU time (s) 1360.34 Current children cumulated vsize (KiB) 302200 [startup+1422.31 s] /proc/loadavg: 2.16 2.05 2.00 3/74 2230 /proc/meminfo: memFree=1506712/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1420.05 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 141850 155 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1420.05 Current children cumulated vsize (KiB) 330328 [startup+1482.31 s] /proc/loadavg: 2.27 2.10 2.02 4/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1479.88 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 147828 160 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1479.88 Current children cumulated vsize (KiB) 330328 [startup+1542.3 s] /proc/loadavg: 2.13 2.09 2.01 5/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1539.85 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 153822 163 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1539.85 Current children cumulated vsize (KiB) 330328 [startup+1602.3 s] /proc/loadavg: 2.28 2.13 2.03 4/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1599.84 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 159818 166 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1599.84 Current children cumulated vsize (KiB) 330328 [startup+1662.3 s] /proc/loadavg: 2.13 2.12 2.03 4/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1659.82 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 165812 170 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134554333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1659.82 Current children cumulated vsize (KiB) 330328 [startup+1722.31 s] /proc/loadavg: 2.25 2.16 2.05 2/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1719.8 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 171808 172 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1719.8 Current children cumulated vsize (KiB) 330328 [startup+1782.3 s] /proc/loadavg: 2.30 2.19 2.06 4/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1779.76 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 177796 180 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1779.76 Current children cumulated vsize (KiB) 330328 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.33 2.20 2.07 3/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1789.37 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 178757 180 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1789.37 Current children cumulated vsize (KiB) 330328 [startup+1795.1 s] /proc/loadavg: 2.38 2.21 2.07 3/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1792.55 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179075 180 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (KiB) 330328 [startup+1798.31 s] /proc/loadavg: 2.35 2.20 2.07 3/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1795.76 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179395 181 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1795.76 Current children cumulated vsize (KiB) 330328 [startup+1799.9 s] /proc/loadavg: 2.35 2.20 2.07 3/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1797.35 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179554 181 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1797.35 Current children cumulated vsize (KiB) 330328 [startup+1800.3 s] /proc/loadavg: 2.35 2.20 2.07 3/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1797.75 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179594 181 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 330328 [startup+1800.5 s] /proc/loadavg: 2.35 2.20 2.07 3/74 2230 /proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956 [pid=2229] ppid=2227 vsize=330328 CPUtime=1797.95 /proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179614 181 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2229/statm: 82582 80178 197 640 0 81938 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 330328 Child status: 0 Real time (s): 1800.6 CPU time (s): 1798.06 CPU user time (s): 1796.19 CPU system time (s): 1.86472 CPU usage (%): 99.8589 Max. virtual memory (cumulated for all children) (KiB): 330500 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= 80726 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= 8981 runsolver used 2.48362 second user time and 6.20806 second system time The end
Begin job on node85 at 2009-06-16 18:15:14 IDJOB=1877031 IDBENCH=2274 IDSOLVER=699 FILE ID=node85/1877031-1245168914 PBS_JOBID= 9363859 Free space on /tmp= 126844 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877031-1245168914/watcher-1877031-1245168914 -o /tmp/evaluation-result-1877031-1245168914/solver-1877031-1245168914 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877031-1245168914.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e RANDOM SEED=1774910455 node85.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.213 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 : 5931.00 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.213 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: 1828912 kB Buffers: 27660 kB Cached: 99424 kB SwapCached: 8 kB Active: 51356 kB Inactive: 105564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828912 kB SwapTotal: 4192956 kB SwapFree: 4192948 kB Dirty: 4584 kB Writeback: 0 kB Mapped: 41268 kB Slab: 55028 kB Committed_AS: 586024 kB PageTables: 2048 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-1877031-1245168914.opb Free space on /tmp at the end= 126840 MiB End job on node85 at 2009-06-16 18:45:15