Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -29 | 1800.06 | 1800.51 |
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 | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 746.035 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353800-1176676204/instance-353800-1176676204.opb 0.00/0.00 c File size is 663564 bytes. 0.09/0.11 c Highest Coefficient sum: 595 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.109 s 0.09/0.12 c Var: 595 Constr: 27842 27842/0/0 Lit: 55684 Watch. Lit: 55684 0.09/0.12 c Obj. Vars: 595 (100 % of total variables) 0.39/0.46 c Pre-processing Time: 0.458 s 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 595 27842 55684 2 55684 9280 0 0 0.46 0.39/0.46 c Switching off LPR mode. 0.39/0.46 o -26 0.463 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 0 595 27843 56279 2 55712 10280 1 0 0.46 0.39/0.47 o -27 0.47 18.29/18.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.29/18.30 c 20 595 27864 68200 2 55781 10280 22 42 0.47 18.29/18.30 c 120 595 27964 124705 4 55981 11309 122 237 0.51 18.29/18.30 c 370 595 28214 265728 9 56481 12440 372 619 0.60 18.29/18.30 c 846 595 28690 534610 18 57433 13685 848 1030 0.82 18.29/18.30 c 1659 595 29503 993029 33 59059 15054 1661 1265 1.31 18.29/18.30 c 2980 595 30824 1739005 56 61701 16560 2982 1362 2.19 18.29/18.30 c 5061 595 32905 2913832 88 65863 18217 5063 1169 4.33 18.29/18.30 c 8284 595 36128 4731190 130 72309 20039 8286 938 8.83 18.29/18.30 o -28 18.297 354.80/354.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 354.80/354.97 c 12273 595 40118 6980909 174 80317 10280 12276 670 18.30 354.80/354.97 c 12373 595 33083 3010405 90 66194 11309 5241 664 18.61 354.80/354.97 c 12623 595 33333 3151128 94 66694 12440 5491 674 18.72 354.80/354.97 c 13098 595 33808 3418646 101 67644 13685 5966 680 19.26 354.80/354.97 c 13912 595 34622 3877048 111 69272 15054 6780 694 20.04 354.80/354.97 c 15232 595 35942 4620227 128 71912 16560 8100 719 21.18 354.80/354.97 c 17316 595 38026 5793748 152 76080 18217 10184 742 23.31 354.80/354.97 c 20540 595 41250 7608506 184 82528 20039 13408 677 30.33 354.80/354.97 c 25477 595 46187 10386661 224 92402 22043 18345 622 40.95 354.80/354.97 c 32983 595 41890 7964015 190 83808 24248 14048 490 67.22 354.80/354.97 c 44344 595 39349 6527888 165 78726 26673 11507 439 100.96 354.80/354.97 c 61488 595 40230 7024116 174 80488 29341 12388 342 179.57 354.80/354.97 c 87308 595 47299 11006529 232 94626 32276 19457 266 327.75 354.80/354.98 o -29 354.884 1799.94/1800.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.46 c 93967 595 53959 14751140 273 107975 10280 26117 264 354.89 1799.94/1800.46 c 94067 595 33083 3000802 90 66195 11309 5241 263 356.68 1799.94/1800.46 c 94318 595 33334 3141977 94 66697 12440 5492 264 356.82 1799.94/1800.46 c 94793 595 33809 3408824 100 67647 13685 5967 265 357.25 1799.94/1800.46 c 95606 595 34622 3865967 111 69273 15054 6780 267 357.94 1799.94/1800.46 c 96926 595 35942 4607775 128 71913 16560 8100 270 358.94 1799.94/1800.46 c 99007 595 38023 5777415 151 76075 18217 10181 273 361.44 1799.94/1800.46 c 102230 595 41246 7586168 183 82521 20039 13404 280 365.05 1799.94/1800.46 c 107166 595 46182 10359281 224 92393 22043 18340 285 375.99 1799.94/1800.46 c 114672 595 41947 7967394 189 83923 24248 14105 285 402.30 1799.94/1800.46 c 126034 595 39325 6505585 165 78679 26673 11483 275 457.50 1799.94/1800.46 c 143179 595 40312 7062151 175 80653 29341 12470 278 513.83 1799.94/1800.46 c 168998 595 47344 11016381 232 94717 32276 19502 244 691.95 1799.94/1800.46 c 207830 595 43057 8583134 199 86143 35504 15215 203 1019.23 1799.94/1800.46 c 266182 595 52133 13698048 262 104295 39055 24291 186 1426.26 1799.94/1800.46 c Resources Exceeded 1799.94/1800.46 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 1799.94/1800.46 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 1799.94/1800.46 v -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 1799.94/1800.46 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 1799.94/1800.46 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 x492 -x491 1799.94/1800.46 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 1799.94/1800.46 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 1799.94/1800.46 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 1799.94/1800.46 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 1799.94/1800.46 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 1799.94/1800.46 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 1799.94/1800.46 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 1799.94/1800.46 v x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 1799.94/1800.46 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1799.94/1800.46 v -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 1799.94/1800.46 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 1799.94/1800.46 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 1799.94/1800.46 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 1799.94/1800.46 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 1799.94/1800.46 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 1799.94/1800.46 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 1799.94/1800.46 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 1799.94/1800.46 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1799.94/1800.46 v -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 1799.94/1800.46 v -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 1799.94/1800.46 v -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 1799.94/1800.46 v -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 1799.94/1800.46 v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 1799.94/1800.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.46 c 37 307385 26601 340834 65110 20988664 37268 170 1800.01 1799.94/1800.46 c Objective: -29 1799.94/1800.46 s SATISFIABLE 1799.94/1800.46 c Total time: 1800.01 s
OK -29
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-353800-1176676204 -o ROOT/results/node55/solver-353800-1176676204 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353800-1176676204/instance-353800-1176676204.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/64 10256 /proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=12388 CPUtime=0 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 115530392 12685312 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 3097 335 281 324 0 2003 0 [startup+0.079083 s] /proc/loadavg: 0.99 0.97 0.98 3/64 10256 /proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=6500 CPUtime=0.07 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 950 0 0 0 7 0 0 0 18 0 1 0 115530392 6656000 918 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 1625 918 392 324 0 531 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6500 [startup+0.101085 s] /proc/loadavg: 0.99 0.97 0.98 3/64 10256 /proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=7052 CPUtime=0.09 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 1121 0 0 0 9 0 0 0 18 0 1 0 115530392 7221248 1089 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 1763 1089 425 324 0 669 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7052 [startup+0.301103 s] /proc/loadavg: 0.99 0.97 0.98 3/64 10256 /proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=8928 CPUtime=0.29 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 1806 0 0 0 28 1 0 0 19 0 1 0 115530392 9142272 1611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 2232 1611 307 324 0 1301 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8928 [startup+0.701141 s] /proc/loadavg: 0.99 0.97 0.98 3/64 10256 /proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=12640 CPUtime=0.69 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 2920 0 0 0 67 2 0 0 22 0 1 0 115530392 12943360 2537 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 3160 2537 312 324 0 2229 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12640 [startup+1.50122 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1818564/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=23048 CPUtime=1.49 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 5514 0 0 0 146 3 0 0 25 0 1 0 115530392 23601152 5131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 5762 5131 312 324 0 4831 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23048 [startup+3.10137 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1806532/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=38444 CPUtime=3.09 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 9361 0 0 0 304 5 0 0 25 0 1 0 115530392 39366656 8978 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 9611 8978 312 324 0 8680 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38444 [startup+6.30167 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1781380/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=58056 CPUtime=6.28 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 14263 0 0 0 622 6 0 0 25 0 1 0 115530392 59449344 13880 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 14514 13880 312 324 0 13583 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 58056 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1752836/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=84268 CPUtime=12.69 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 20841 0 0 0 1259 10 0 0 25 0 1 0 115530392 86290432 20458 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 21067 20458 312 324 0 20136 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 84268 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1737732/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=97484 CPUtime=25.48 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 24128 0 0 0 2536 12 0 0 25 0 1 0 115530392 99823616 23745 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 24371 23745 312 324 0 23440 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 97484 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1663940/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=172488 CPUtime=51.08 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 42889 0 0 0 5085 23 0 0 25 0 1 0 115530392 176627712 42506 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 43122 42506 312 324 0 42191 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 172488 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1646660/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=188320 CPUtime=102.26 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 46849 0 0 0 10199 27 0 0 25 0 1 0 115530392 192839680 46466 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 47080 46466 312 324 0 46149 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 188320 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1646596/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=188320 CPUtime=162.24 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 46849 0 0 0 16195 29 0 0 25 0 1 0 115530392 192839680 46466 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 47080 46466 312 324 0 46149 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 188320 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1628932/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=205920 CPUtime=222.23 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 51252 0 0 0 22188 35 0 0 25 0 1 0 115530392 210862080 50869 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 51480 50869 312 324 0 50549 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 205920 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1609476/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=225280 CPUtime=282.22 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 28182 40 0 0 25 0 1 0 115530392 230686720 55711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 56320 55711 312 324 0 55389 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 225280 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1609412/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=225280 CPUtime=342.2 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 34177 43 0 0 25 0 1 0 115530392 230686720 55711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 56320 55711 312 324 0 55389 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 225280 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1609412/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=225084 CPUtime=402.18 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 40171 47 0 0 25 0 1 0 115530392 230486016 55665 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 56271 55665 312 324 0 55340 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 225084 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10257 /proc/meminfo: memFree=1609732/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=224836 CPUtime=462.17 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 46167 50 0 0 25 0 1 0 115530392 230232064 55603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 56209 55603 312 324 0 55278 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 224836 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1609732/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=224824 CPUtime=522.16 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 52162 54 0 0 25 0 1 0 115530392 230219776 55600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 56206 55600 312 324 0 55275 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 224824 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1609732/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=224824 CPUtime=582.14 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 58159 55 0 0 25 0 1 0 115530392 230219776 55600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 56206 55600 312 324 0 55275 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 224824 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1609668/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=225060 CPUtime=642.13 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56150 0 0 0 64157 56 0 0 25 0 1 0 115530392 230461440 55656 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 56265 55656 312 324 0 55334 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 225060 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1588612/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=246112 CPUtime=882.07 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 61420 0 0 0 88137 70 0 0 25 0 1 0 115530392 252018688 60893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 61528 60893 312 324 0 60597 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 246112 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1588612/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=246112 CPUtime=942.05 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 61420 0 0 0 94135 70 0 0 25 0 1 0 115530392 252018688 60893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 61528 60893 312 324 0 60597 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 246112 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1588612/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=246084 CPUtime=1002.04 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 61420 0 0 0 100132 72 0 0 25 0 1 0 115530392 251990016 60893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 61521 60893 312 324 0 60590 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 246084 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1588548/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=246084 CPUtime=1062.02 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 61420 0 0 0 106128 74 0 0 25 0 1 0 115530392 251990016 60893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7290643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 61521 60893 312 324 0 60590 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 246084 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1583556/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=251376 CPUtime=1122.01 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 62757 0 0 0 112124 77 0 0 25 0 1 0 115530392 257409024 62230 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 62844 62230 312 324 0 61913 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 251376 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1565124/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=269400 CPUtime=1181.99 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67288 0 0 0 118117 82 0 0 25 0 1 0 115530392 275865600 66725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 67350 66725 312 324 0 66419 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 269400 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1565124/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=269400 CPUtime=1241.98 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67288 0 0 0 124114 84 0 0 25 0 1 0 115530392 275865600 66725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134573504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 67350 66725 312 324 0 66419 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 269400 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1565124/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=269400 CPUtime=1301.97 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67288 0 0 0 130111 86 0 0 25 0 1 0 115530392 275865600 66725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 67350 66725 312 324 0 66419 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 269400 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1565188/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=269400 CPUtime=1361.95 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67288 0 0 0 136109 86 0 0 25 0 1 0 115530392 275865600 66725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 67350 66725 312 324 0 66419 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 269400 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1564804/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=269648 CPUtime=1421.94 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67384 0 0 0 142105 89 0 0 25 0 1 0 115530392 276119552 66785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 67412 66785 312 324 0 66481 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 269648 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1546628/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=288752 CPUtime=1481.92 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 72174 0 0 0 148097 95 0 0 25 0 1 0 115530392 295682048 71575 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 72188 71575 312 324 0 71257 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 288752 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1539140/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=295244 CPUtime=1541.91 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 154093 98 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 73811 73175 312 324 0 72880 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 295244 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1539140/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=295244 CPUtime=1601.89 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 160089 100 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 73811 73175 312 324 0 72880 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 295244 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1539140/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=295244 CPUtime=1661.87 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 166086 101 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 73811 73175 312 324 0 72880 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 295244 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1539140/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=295244 CPUtime=1721.86 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 172084 102 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 73811 73175 312 324 0 72880 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 295244 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1539204/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=295244 CPUtime=1781.85 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 178081 104 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 73811 73175 312 324 0 72880 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 295244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1787460/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=0 CPUtime=1800.04 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194308 73814 0 0 0 179896 108 0 0 25 0 1 0 115530392 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 10259 /proc/meminfo: memFree=1787460/2055920 swapFree=4184748/4192956 [pid=10256] ppid=10254 vsize=0 CPUtime=1800.04 /proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194308 73814 0 0 0 179896 108 0 0 25 0 1 0 115530392 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10256/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1798.97 CPU system time (s): 1.09283 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 295244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.97 system time used= 1.09283 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73814 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= 12 involuntary context switches= 2842 runsolver used 1.15682 second user time and 3.77543 second system time The end
Begin job on node55 on Sun Apr 15 22:30:04 UTC 2007 IDJOB= 353800 IDBENCH= 2270 IDSOLVER= 163 FILE ID= node55/353800-1176676204 PBS_JOBID= 4559943 Free space on /tmp= 66559 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353800-1176676204/instance-353800-1176676204.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-353800-1176676204 -o ROOT/results/node55/solver-353800-1176676204 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353800-1176676204/instance-353800-1176676204.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a RANDOM SEED= 372224789 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.216 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.216 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: 1832356 kB Buffers: 16320 kB Cached: 126256 kB SwapCached: 2060 kB Active: 60776 kB Inactive: 92268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832356 kB SwapTotal: 4192956 kB SwapFree: 4184748 kB Dirty: 5028 kB Writeback: 0 kB Mapped: 17548 kB Slab: 56588 kB Committed_AS: 1016248 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66559 MiB End job on node55 on Sun Apr 15 23:00:06 UTC 2007