Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -29 | 1798.04 | 1798.53 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb |
MD5SUM | 7f24dba3f3d4b877b96bd50f5b27c089 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -33 |
Best CPU time to get the best result obtained on this benchmark | 1789.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 28143 |
Number of constraints which are clauses | 28143 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656644-1276513902.opb 0.00/0.00 c File size is 669646 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.108 s 0.09/0.12 c Var: 595 Constr: 28143 28143/0/0 Lit: 56286 Watch. Lit: 56286 0.09/0.12 c Obj. Vars: 595 (100 % of total variables) 0.39/0.47 c Pre-processing Time: 0.468 s 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 0 595 28143 56286 2 56286 9381 0 0 0.47 0.39/0.47 c Switching off lower bounding mode. 0.39/0.47 o -21 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 0 595 28144 56881 2 56309 10381 1 0 0.47 0.49/0.51 o -22 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 42 595 28195 85906 3 56433 10381 52 81 0.52 0.49/0.52 o -23 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 42 595 28196 86501 3 56458 10381 53 80 0.52 0.49/0.52 o -26 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 42 595 28197 87096 3 56486 10381 54 80 0.52 0.49/0.53 o -27 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 49 595 28206 92207 3 56531 10381 63 92 0.53 0.49/0.54 o -28 10.39/10.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.39/10.40 c 55 595 28213 96196 3 56573 10381 70 101 0.54 10.39/10.40 c 155 595 28325 159220 5 56797 11420 182 240 0.65 10.39/10.40 c 406 595 28606 317114 11 57359 12563 463 431 0.94 10.39/10.40 c 882 595 29146 620826 21 58439 13820 1003 581 1.52 10.39/10.40 c 1695 595 30080 1146278 38 60307 15203 1937 655 2.58 10.39/10.40 c 3016 595 31552 1974638 62 63251 16724 3409 678 4.45 10.39/10.40 c 5098 595 33952 3323429 97 68051 18397 5809 651 7.82 10.39/10.40 o -29 1797.91/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.49 c 6619 595 35712 4312304 120 71600 10381 7569 636 10.40 1797.91/1798.49 c 6719 595 35823 4374651 122 71822 11420 7680 636 10.55 1797.91/1798.49 c 6969 595 36102 4531236 125 72380 12563 7959 635 10.96 1797.91/1798.49 c 7445 595 36646 4836341 131 73468 13820 8503 635 11.71 1797.91/1798.49 c 8258 595 37564 5351388 142 75304 15203 9421 623 13.25 1797.91/1798.49 c 9578 595 39049 6185570 158 78274 16724 10906 607 15.78 1797.91/1798.49 c 11659 595 41380 7494391 181 82936 18397 13237 545 21.39 1797.91/1798.49 c 14882 595 45027 9542002 211 90230 20237 16884 509 29.21 1797.91/1798.49 c 19819 595 39941 6679666 167 79911 22261 11798 467 42.37 1797.91/1798.49 c 27325 595 48631 11547625 237 97291 24488 20488 435 62.78 1797.91/1798.49 c 38686 595 48881 11681827 238 97791 26937 20738 359 107.67 1797.91/1798.49 c 55830 595 53672 14352137 267 107448 29631 25529 314 177.30 1797.91/1798.49 c 81649 595 48838 11633506 238 97756 32595 20695 282 289.40 1797.91/1798.49 c 120481 595 53159 14069225 264 106372 35855 25016 249 482.57 1797.91/1798.49 c 178833 595 50344 12505802 248 100766 39441 22201 223 801.46 1797.91/1798.49 c 266465 595 43601 8713287 199 87258 43386 15458 180 1476.89 1797.91/1798.49 c Resources Exceeded 1797.91/1798.49 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1797.91/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.49 c 28 325599 20647 350045 50002 12299062 21859 181 1798.00 1797.91/1798.49 c Objective: -29 1797.91/1798.49 s SATISFIABLE 1797.91/1798.49 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-2656644-1276513902/watcher-2656644-1276513902 -o /tmp/evaluation-result-2656644-1276513902/solver-2656644-1276513902 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656644-1276513902.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.06 3/106 30174 /proc/meminfo: memFree=1790284/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=11584 CPUtime=0 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 350 0 0 0 0 0 0 0 23 0 1 0 26993843 11862016 268 1992294400 134512640 137138936 4292225696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 2896 268 176 642 0 2088 0 [startup+0.0100681 s] /proc/loadavg: 1.00 1.00 1.06 3/106 30174 /proc/meminfo: memFree=1790284/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=11588 CPUtime=0 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 363 0 0 0 0 0 0 0 23 0 1 0 26993843 11866112 281 1992294400 134512640 137138936 4292225696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 2897 282 179 642 0 2089 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11588 [startup+0.101056 s] /proc/loadavg: 1.00 1.00 1.06 3/106 30174 /proc/meminfo: memFree=1790284/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=13924 CPUtime=0.09 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 1070 0 0 0 9 0 0 0 23 0 1 0 26993843 14258176 988 1992294400 134512640 137138936 4292225696 18446744073709551615 134520596 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 3481 988 314 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13924 [startup+0.301079 s] /proc/loadavg: 1.00 1.00 1.06 3/106 30174 /proc/meminfo: memFree=1790284/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=15788 CPUtime=0.29 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 1734 0 0 0 29 0 0 0 23 0 1 0 26993843 16166912 1488 1992294400 134512640 137138936 4292225696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 3947 1488 185 642 0 3303 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15788 [startup+0.701126 s] /proc/loadavg: 1.00 1.00 1.06 3/106 30174 /proc/meminfo: memFree=1790284/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=16604 CPUtime=0.69 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 2159 0 0 0 67 2 0 0 25 0 1 0 26993843 17002496 1717 1992294400 134512640 137138936 4292225696 18446744073709551615 134551906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 4151 1717 192 642 0 3507 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16604 [startup+1.50122 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30175 /proc/meminfo: memFree=1781968/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=22044 CPUtime=1.49 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 3515 0 0 0 146 3 0 0 25 0 1 0 26993843 22573056 3073 1992294400 134512640 137138936 4292225696 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 5511 3073 192 642 0 4867 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22044 [startup+3.1014 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30175 /proc/meminfo: memFree=1774404/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=32124 CPUtime=3.09 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 6047 0 0 0 305 4 0 0 25 0 1 0 26993843 32894976 5605 1992294400 134512640 137138936 4292225696 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 8031 5605 192 642 0 7387 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32124 [startup+6.30177 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30175 /proc/meminfo: memFree=1754936/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=49772 CPUtime=6.29 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 10456 0 0 0 623 6 0 0 25 0 1 0 26993843 50966528 10014 1992294400 134512640 137138936 4292225696 18446744073709551615 134599813 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 12443 10014 192 642 0 11799 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49772 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30175 /proc/meminfo: memFree=1722324/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=80988 CPUtime=12.69 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 18244 0 0 0 1259 10 0 0 25 0 1 0 26993843 82931712 17802 1992294400 134512640 137138936 4292225696 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 20247 17802 192 642 0 19603 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 80988 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30175 /proc/meminfo: memFree=1675080/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=126008 CPUtime=25.49 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 29511 0 0 0 2532 17 0 0 25 0 1 0 26993843 129032192 29069 1992294400 134512640 137138936 4292225696 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 31502 29069 192 642 0 30858 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 126008 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30177 /proc/meminfo: memFree=1634160/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=165652 CPUtime=51.07 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 39427 0 0 0 5083 24 0 0 25 0 1 0 26993843 169627648 38985 1992294400 134512640 137138936 4292225696 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 41413 38985 192 642 0 40769 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 165652 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.05 2/107 30179 /proc/meminfo: memFree=1603284/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=196376 CPUtime=102.26 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 47103 0 0 0 10193 33 0 0 25 0 1 0 26993843 201089024 46661 1992294400 134512640 137138936 4292225696 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 49094 46661 192 642 0 48450 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 196376 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 30182 /proc/meminfo: memFree=1585056/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=213892 CPUtime=162.24 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 51485 0 0 0 16180 44 0 0 25 0 1 0 26993843 219025408 51043 1992294400 134512640 137138936 4292225696 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 53473 51043 192 642 0 52829 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 213892 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 30184 /proc/meminfo: memFree=1565588/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=233420 CPUtime=222.22 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 56370 0 0 0 22169 53 0 0 25 0 1 0 26993843 239022080 55928 1992294400 134512640 137138936 4292225696 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 58355 55928 192 642 0 57711 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 233420 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 30186 /proc/meminfo: memFree=1565340/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=233708 CPUtime=282.2 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 56442 0 0 0 28162 58 0 0 25 0 1 0 26993843 239316992 56000 1992294400 134512640 137138936 4292225696 18446744073709551615 136504470 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 58427 56000 192 642 0 57783 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 233708 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 30188 /proc/meminfo: memFree=1543640/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=255372 CPUtime=342.19 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 61873 0 0 0 34150 69 0 0 25 0 1 0 26993843 261500928 61398 1992294400 134512640 137138936 4292225696 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 63843 61398 192 642 0 63199 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 255372 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 30188 /proc/meminfo: memFree=1543640/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=255372 CPUtime=402.17 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 61873 0 0 0 40142 75 0 0 25 0 1 0 26993843 261500928 61398 1992294400 134512640 137138936 4292225696 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 63843 61398 192 642 0 63199 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 255372 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 30190 /proc/meminfo: memFree=1543640/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=255372 CPUtime=462.16 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 61873 0 0 0 46135 81 0 0 25 0 1 0 26993843 261500928 61398 1992294400 134512640 137138936 4292225696 18446744073709551615 134542843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 63843 61398 192 642 0 63199 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 255372 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 30192 /proc/meminfo: memFree=1520328/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=278468 CPUtime=522.15 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 67698 0 0 0 52126 89 0 0 25 0 1 0 26993843 285151232 67187 1992294400 134512640 137138936 4292225696 18446744073709551615 134618517 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 69617 67187 192 642 0 68973 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 278468 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 30194 /proc/meminfo: memFree=1520328/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=278468 CPUtime=582.12 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 67698 0 0 0 58119 93 0 0 25 0 1 0 26993843 285151232 67187 1992294400 134512640 137138936 4292225696 18446744073709551615 134542367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 69617 67187 192 642 0 68973 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 278468 [startup+642.3 s] /proc/loadavg: 1.04 1.01 1.01 2/107 30196 /proc/meminfo: memFree=1520328/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=278468 CPUtime=642.12 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 67698 0 0 0 64115 97 0 0 25 0 1 0 26993843 285151232 67187 1992294400 134512640 137138936 4292225696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 69617 67187 192 642 0 68973 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 278468 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1493792/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=304980 CPUtime=1062 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 74344 0 0 0 106065 135 0 0 25 0 1 0 26993843 312299520 73793 1992294400 134512640 137138936 4292225696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 76245 73793 192 642 0 75601 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 304980 [startup+1122.3 s] /proc/loadavg: 1.08 1.06 1.01 2/107 30208 /proc/meminfo: memFree=1493792/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=304980 CPUtime=1121.98 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 74344 0 0 0 112061 137 0 0 25 0 1 0 26993843 312299520 73793 1992294400 134512640 137138936 4292225696 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 76245 73793 192 642 0 75601 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 304980 [startup+1182.3 s] /proc/loadavg: 1.03 1.05 1.00 2/107 30210 /proc/meminfo: memFree=1493792/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=304980 CPUtime=1181.97 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 74344 0 0 0 118055 142 0 0 25 0 1 0 26993843 312299520 73793 1992294400 134512640 137138936 4292225696 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 76245 73793 192 642 0 75601 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 304980 [startup+1242.3 s] /proc/loadavg: 1.05 1.05 1.00 2/107 30212 /proc/meminfo: memFree=1493668/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=304980 CPUtime=1241.94 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 74344 0 0 0 124049 145 0 0 25 0 1 0 26993843 312299520 73793 1992294400 134512640 137138936 4292225696 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 76245 73793 192 642 0 75601 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 304980 [startup+1302.3 s] /proc/loadavg: 1.05 1.05 1.00 2/107 30214 /proc/meminfo: memFree=1493668/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=304980 CPUtime=1301.94 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 74344 0 0 0 130043 151 0 0 25 0 1 0 26993843 312299520 73793 1992294400 134512640 137138936 4292225696 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 76245 73793 192 642 0 75601 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 304980 [startup+1362.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 30214 /proc/meminfo: memFree=1493668/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=304980 CPUtime=1361.92 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 74344 0 0 0 136036 156 0 0 25 0 1 0 26993843 312299520 73793 1992294400 134512640 137138936 4292225696 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 76245 73793 192 642 0 75601 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 304980 [startup+1422.31 s] /proc/loadavg: 1.04 1.05 1.00 2/107 30216 /proc/meminfo: memFree=1493668/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=304980 CPUtime=1421.91 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 74344 0 0 0 142031 160 0 0 25 0 1 0 26993843 312299520 73793 1992294400 134512640 137138936 4292225696 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 76245 73793 192 642 0 75601 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 304980 [startup+1482.3 s] /proc/loadavg: 1.08 1.05 1.00 2/107 30218 /proc/meminfo: memFree=1493544/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=305128 CPUtime=1481.88 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 74377 0 0 0 148025 163 0 0 25 0 1 0 26993843 312451072 73826 1992294400 134512640 137138936 4292225696 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 76282 73826 192 642 0 75638 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 305128 [startup+1542.3 s] /proc/loadavg: 1.03 1.04 1.00 2/107 30220 /proc/meminfo: memFree=1493544/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=305128 CPUtime=1541.87 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 74377 0 0 0 154016 171 0 0 25 0 1 0 26993843 312451072 73826 1992294400 134512640 137138936 4292225696 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 76282 73826 192 642 0 75638 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 305128 [startup+1602.3 s] /proc/loadavg: 1.07 1.04 1.00 2/107 30220 /proc/meminfo: memFree=1465148/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=333264 CPUtime=1601.85 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 81475 0 0 0 160004 181 0 0 25 0 1 0 26993843 341262336 80881 1992294400 134512640 137138936 4292225696 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 83316 80881 192 642 0 82672 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 333264 [startup+1662.3 s] /proc/loadavg: 1.08 1.05 1.00 2/107 30222 /proc/meminfo: memFree=1465148/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=333264 CPUtime=1661.83 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 81475 0 0 0 165995 188 0 0 25 0 1 0 26993843 341262336 80881 1992294400 134512640 137138936 4292225696 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 83316 80881 192 642 0 82672 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 333264 [startup+1722.3 s] /proc/loadavg: 1.08 1.05 1.00 2/107 30224 /proc/meminfo: memFree=1465024/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=333264 CPUtime=1721.82 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 81475 0 0 0 171988 194 0 0 25 0 1 0 26993843 341262336 80881 1992294400 134512640 137138936 4292225696 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 83316 80881 192 642 0 82672 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 333264 [startup+1782.3 s] /proc/loadavg: 1.08 1.06 1.00 2/107 30226 /proc/meminfo: memFree=1464900/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=333512 CPUtime=1781.81 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 81516 0 0 0 177982 199 0 0 25 0 1 0 26993843 341516288 80922 1992294400 134512640 137138936 4292225696 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 83378 80922 192 642 0 82734 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 333512 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.06 1.05 1.00 2/107 30226 /proc/meminfo: memFree=1464776/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=333512 CPUtime=1791.41 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 81516 0 0 0 178941 200 0 0 25 0 1 0 26993843 341516288 80922 1992294400 134512640 137138936 4292225696 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 83378 80922 192 642 0 82734 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 333512 [startup+1795.1 s] /proc/loadavg: 1.06 1.05 1.00 2/107 30226 /proc/meminfo: memFree=1464776/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=333512 CPUtime=1794.61 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 81516 0 0 0 179261 200 0 0 25 0 1 0 26993843 341516288 80922 1992294400 134512640 137138936 4292225696 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 83378 80922 192 642 0 82734 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 333512 [startup+1796.7 s] /proc/loadavg: 1.06 1.05 1.00 2/107 30226 /proc/meminfo: memFree=1464776/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=333512 CPUtime=1796.2 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 81516 0 0 0 179420 200 0 0 25 0 1 0 26993843 341516288 80922 1992294400 134512640 137138936 4292225696 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 83378 80922 192 642 0 82734 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 333512 [startup+1797.5 s] /proc/loadavg: 1.06 1.05 1.00 2/107 30226 /proc/meminfo: memFree=1464776/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=333512 CPUtime=1797 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 81516 0 0 0 179500 200 0 0 25 0 1 0 26993843 341516288 80922 1992294400 134512640 137138936 4292225696 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 83378 80922 192 642 0 82734 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 333512 [startup+1798.3 s] /proc/loadavg: 1.06 1.05 1.00 2/107 30226 /proc/meminfo: memFree=1464776/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=333512 CPUtime=1797.8 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202496 81516 0 0 0 179580 200 0 0 25 0 1 0 26993843 341516288 80922 1992294400 134512640 137138936 4292225696 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30174/statm: 83378 80922 192 642 0 82734 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 333512 [startup+1798.51 s] /proc/loadavg: 1.06 1.05 1.00 2/107 30226 /proc/meminfo: memFree=1464776/2059040 swapFree=4140108/4192956 [pid=30174] ppid=30172 vsize=0 CPUtime=1798 /proc/30174/stat : 30174 (bsolo_pb10) R 30172 30174 29685 0 -1 4202500 81517 0 0 0 179599 201 0 0 25 0 1 0 26993843 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/30174/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.04 CPU user time (s): 1796 CPU system time (s): 2.04069 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 333512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796 system time used= 2.04069 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81517 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= 1 involuntary context switches= 7774 runsolver used 2.87856 second user time and 8.5837 second system time The end
Begin job on node006 at 2010-06-14 13:11:42 IDJOB=2656644 IDBENCH=2271 IDSOLVER=1162 FILE ID=node006/2656644-1276513902 PBS_JOBID= 11173422 Free space on /tmp= 62472 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656644-1276513902/watcher-2656644-1276513902 -o /tmp/evaluation-result-2656644-1276513902/solver-2656644-1276513902 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656644-1276513902.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089 RANDOM SEED=969028998 node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 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.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1790688 kB Buffers: 83072 kB Cached: 104460 kB SwapCached: 6484 kB Active: 100076 kB Inactive: 101200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1790688 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 4636 kB Writeback: 0 kB AnonPages: 11996 kB Mapped: 12920 kB Slab: 45312 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182128 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62468 MiB End job on node006 at 2010-06-14 13:41:40