Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -29 | 1798.04 | 1798.65 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
MD5SUM | 3895ca8e12182fcd80d7923f66584703 |
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 | 1789.91 |
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 | 27931 |
Number of constraints which are clauses | 27931 |
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-2656466-1276514625.opb 0.00/0.00 c File size is 664643 bytes. 0.09/0.10 c Highest Coefficient sum: 595 0.09/0.10 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.109 s 0.09/0.11 c Var: 595 Constr: 27931 27931/0/0 Lit: 55862 Watch. Lit: 55862 0.09/0.11 c Obj. Vars: 595 (100 % of total variables) 0.39/0.45 c Pre-processing Time: 0.459 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 27931 55862 2 55862 9310 0 0 0.46 0.39/0.46 c Switching off lower bounding mode. 0.39/0.46 o -25 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 595 27932 56457 2 55889 10310 1 0 0.46 0.39/0.46 o -26 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 1 595 27934 57621 2 55919 10310 3 2 0.47 0.49/0.57 c 101 595 28051 123588 4 56153 11342 120 176 0.57 0.49/0.57 o -27 4.48/4.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.48/4.51 c 104 595 28055 125882 4 56188 10310 124 180 0.58 4.48/4.51 c 204 595 28171 191139 6 56420 11342 240 297 0.69 4.48/4.51 c 454 595 28460 353882 12 56998 12477 529 478 0.95 4.48/4.51 c 929 595 28989 652128 22 58056 13725 1058 612 1.52 4.48/4.51 c 1742 595 29905 1168332 39 59888 15098 1974 669 2.60 4.48/4.51 c 3062 595 31424 2023089 64 62926 16608 3493 678 4.51 4.48/4.51 o -28 9.28/9.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.37 c 3063 595 31426 2024249 64 62958 10310 3495 678 4.52 9.28/9.37 c 3163 595 31542 2089427 66 63190 11342 3611 679 4.65 9.28/9.37 c 3414 595 31830 2251007 70 63766 12477 3899 684 4.99 9.28/9.37 c 3890 595 32370 2554934 78 64846 13725 4439 682 5.70 9.28/9.37 c 4703 595 33309 3082639 92 66724 15098 5378 670 7.01 9.28/9.37 c 6024 595 34801 3922136 112 69708 16608 6870 652 9.24 9.28/9.37 o -29 1797.97/1798.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.61 c 6108 595 34901 3978431 113 69937 10310 6970 651 9.37 1797.97/1798.61 c 6209 595 35016 4042994 115 70167 11342 7085 651 9.53 1797.97/1798.61 c 6460 595 35308 4206640 119 70751 12477 7377 649 9.95 1797.97/1798.61 c 6935 595 35844 4507653 125 71823 13725 7913 637 10.87 1797.97/1798.61 c 7748 595 36777 5030454 136 73689 15098 8846 625 12.38 1797.97/1798.61 c 9068 595 38263 5863472 153 76661 16608 10332 602 15.04 1797.97/1798.61 c 11149 595 40601 7175742 176 81337 18269 12670 576 19.34 1797.97/1798.61 c 14373 595 44341 9267888 209 88817 20096 16410 537 26.75 1797.97/1798.61 c 19310 595 39405 6483499 164 78889 22106 11474 469 41.11 1797.97/1798.61 c 26816 595 48031 11307856 235 96141 24317 20100 416 64.37 1797.97/1798.61 c 38177 595 48531 11592762 238 97118 26749 20600 362 105.45 1797.97/1798.61 c 55322 595 53511 14383825 268 107078 29424 25580 296 186.31 1797.97/1798.61 c 81142 595 48656 11633094 239 97550 32367 20725 267 303.15 1797.97/1798.61 c 119974 595 53283 14251585 267 106595 35604 25352 239 501.94 1797.97/1798.61 c 178326 595 50674 12776614 252 101461 39165 22743 220 809.52 1797.97/1798.61 c 265959 595 44138 9124884 206 88402 43082 16207 192 1381.36 1797.97/1798.61 c Resources Exceeded 1797.97/1798.61 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.97/1798.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.61 c 31 334364 28556 369740 62869 19570502 34938 185 1798.00 1797.97/1798.61 c Objective: -29 1797.97/1798.61 s SATISFIABLE 1797.97/1798.61 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-2656466-1276514625/watcher-2656466-1276514625 -o /tmp/evaluation-result-2656466-1276514625/solver-2656466-1276514625 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656466-1276514625.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.97 1.00 1.06 2/106 28998 /proc/meminfo: memFree=1770252/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=11580 CPUtime=0 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 27065971 11857920 262 1992294400 134512640 137138936 4290076896 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 2895 262 175 642 0 2088 0 [startup+0.017317 s] /proc/loadavg: 0.97 1.00 1.06 2/106 28998 /proc/meminfo: memFree=1770252/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=11724 CPUtime=0.01 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 419 0 0 0 1 0 0 0 18 0 1 0 27065971 12005376 337 1992294400 134512640 137138936 4290076896 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 2931 338 189 642 0 2124 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11724 [startup+0.101333 s] /proc/loadavg: 0.97 1.00 1.06 2/106 28998 /proc/meminfo: memFree=1770252/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=13920 CPUtime=0.09 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 1068 0 0 0 9 0 0 0 18 0 1 0 27065971 14254080 986 1992294400 134512640 137138936 4290076896 18446744073709551615 134519899 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 3480 987 314 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13920 [startup+0.301369 s] /proc/loadavg: 0.97 1.00 1.06 2/106 28998 /proc/meminfo: memFree=1770252/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=15652 CPUtime=0.29 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 1724 0 0 0 28 1 0 0 18 0 1 0 27065971 16027648 1479 1992294400 134512640 137138936 4290076896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 3913 1479 185 642 0 3269 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15652 [startup+0.701443 s] /proc/loadavg: 0.97 1.00 1.06 2/106 28998 /proc/meminfo: memFree=1770252/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=16708 CPUtime=0.69 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 2167 0 0 0 67 2 0 0 18 0 1 0 27065971 17108992 1734 1992294400 134512640 137138936 4290076896 18446744073709551615 134618007 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 4177 1734 192 642 0 3533 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16708 [startup+1.50159 s] /proc/loadavg: 0.97 1.00 1.06 2/107 28999 /proc/meminfo: memFree=1761440/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=22380 CPUtime=1.49 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 3602 0 0 0 146 3 0 0 19 0 1 0 27065971 22917120 3169 1992294400 134512640 137138936 4290076896 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 5595 3169 192 642 0 4951 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22380 [startup+3.10089 s] /proc/loadavg: 0.97 1.00 1.06 2/107 28999 /proc/meminfo: memFree=1754000/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=32356 CPUtime=3.09 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 6072 0 0 0 305 4 0 0 24 0 1 0 27065971 33132544 5639 1992294400 134512640 137138936 4290076896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 8089 5639 192 642 0 7445 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32356 [startup+6.30148 s] /proc/loadavg: 0.97 1.00 1.06 2/107 28999 /proc/meminfo: memFree=1734780/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=50412 CPUtime=6.29 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 10600 0 0 0 623 6 0 0 25 0 1 0 27065971 51621888 10167 1992294400 134512640 137138936 4290076896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 12603 10167 192 642 0 11959 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50412 [startup+12.7007 s] /proc/loadavg: 0.98 1.00 1.06 2/107 28999 /proc/meminfo: memFree=1702292/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=80684 CPUtime=12.68 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 18161 0 0 0 1258 10 0 0 25 0 1 0 27065971 82620416 17728 1992294400 134512640 137138936 4290076896 18446744073709551615 134573763 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 20171 17728 192 642 0 19527 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 80684 [startup+25.501 s] /proc/loadavg: 0.98 1.00 1.05 2/107 28999 /proc/meminfo: memFree=1651948/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=129092 CPUtime=25.48 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 30267 0 0 0 2532 16 0 0 25 0 1 0 27065971 132190208 29834 1992294400 134512640 137138936 4290076896 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 32273 29834 192 642 0 31629 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 129092 [startup+51.1008 s] /proc/loadavg: 0.99 1.00 1.05 2/107 28999 /proc/meminfo: memFree=1615120/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=164648 CPUtime=51.06 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 39159 0 0 0 5082 24 0 0 25 0 1 0 27065971 168599552 38726 1992294400 134512640 137138936 4290076896 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 41162 38726 192 642 0 40518 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 164648 [startup+102.308 s] /proc/loadavg: 0.99 1.00 1.05 2/107 29001 /proc/meminfo: memFree=1584988/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=194752 CPUtime=102.26 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 46690 0 0 0 10191 35 0 0 25 0 1 0 27065971 199426048 46257 1992294400 134512640 137138936 4290076896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 48688 46257 192 642 0 48044 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 194752 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.04 2/107 29003 /proc/meminfo: memFree=1567132/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=212436 CPUtime=162.23 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 51112 0 0 0 16178 45 0 0 25 0 1 0 27065971 217534464 50679 1992294400 134512640 137138936 4290076896 18446744073709551615 134607598 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 53109 50679 192 642 0 52465 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 212436 [startup+222.3 s] /proc/loadavg: 0.99 1.00 1.04 2/107 29005 /proc/meminfo: memFree=1547416/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=232048 CPUtime=222.21 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 56018 0 0 0 22167 54 0 0 25 0 1 0 27065971 237617152 55585 1992294400 134512640 137138936 4290076896 18446744073709551615 134599221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 58012 55585 192 642 0 57368 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 232048 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.03 2/107 29005 /proc/meminfo: memFree=1547416/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=232040 CPUtime=282.19 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 56018 0 0 0 28159 60 0 0 25 0 1 0 27065971 237608960 55585 1992294400 134512640 137138936 4290076896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 58010 55585 192 642 0 57366 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 232040 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.02 2/107 29007 /proc/meminfo: memFree=1527824/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=252016 CPUtime=342.17 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 60998 0 0 0 34147 70 0 0 25 0 1 0 27065971 258064384 60565 1992294400 134512640 137138936 4290076896 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 63004 60565 192 642 0 62360 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 252016 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.02 2/107 29009 /proc/meminfo: memFree=1526336/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=252984 CPUtime=402.15 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 61268 0 0 0 40139 76 0 0 25 0 1 0 27065971 259055616 60802 1992294400 134512640 137138936 4290076896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 63246 60802 192 642 0 62602 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 252984 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.01 2/107 29011 /proc/meminfo: memFree=1526088/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=253248 CPUtime=462.13 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 61322 0 0 0 46132 81 0 0 25 0 1 0 27065971 259325952 60856 1992294400 134512640 137138936 4290076896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 63312 60856 192 642 0 62668 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 253248 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.01 2/107 29013 /proc/meminfo: memFree=1526088/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=253248 CPUtime=522.11 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 61322 0 0 0 52123 88 0 0 25 0 1 0 27065971 259325952 60856 1992294400 134512640 137138936 4290076896 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 63312 60856 192 642 0 62668 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 253248 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 29013 /proc/meminfo: memFree=1502404/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=276624 CPUtime=582.08 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 67229 0 0 0 58110 98 0 0 25 0 1 0 27065971 283262976 66727 1992294400 134512640 137138936 4290076896 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 69156 66727 192 642 0 68512 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 276624 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 29015 /proc/meminfo: memFree=1502404/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=276624 CPUtime=642.07 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 67229 0 0 0 64104 103 0 0 25 0 1 0 27065971 283262976 66727 1992294400 134512640 137138936 4290076896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 69156 66727 192 642 0 68512 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 276624 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1476240/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=302472 CPUtime=1121.9 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 73726 0 0 0 112041 149 0 0 25 0 1 0 27065971 309731328 73172 1992294400 134512640 137138936 4290076896 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 75618 73172 192 642 0 74974 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 302472 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29029 /proc/meminfo: memFree=1476240/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=302472 CPUtime=1181.88 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 73726 0 0 0 118034 154 0 0 25 0 1 0 27065971 309731328 73172 1992294400 134512640 137138936 4290076896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 75618 73172 192 642 0 74974 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 302472 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29031 /proc/meminfo: memFree=1476116/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=302472 CPUtime=1241.87 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 73726 0 0 0 124028 159 0 0 25 0 1 0 27065971 309731328 73172 1992294400 134512640 137138936 4290076896 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 75618 73172 192 642 0 74974 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 302472 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29033 /proc/meminfo: memFree=1475992/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=302472 CPUtime=1301.85 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 73726 0 0 0 130022 163 0 0 25 0 1 0 27065971 309731328 73172 1992294400 134512640 137138936 4290076896 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 75618 73172 192 642 0 74974 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 302472 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29035 /proc/meminfo: memFree=1475992/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=302472 CPUtime=1361.83 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 73726 0 0 0 136016 167 0 0 25 0 1 0 27065971 309731328 73172 1992294400 134512640 137138936 4290076896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 75618 73172 192 642 0 74974 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 302472 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29037 /proc/meminfo: memFree=1475744/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=302744 CPUtime=1421.81 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 73784 0 0 0 142008 173 0 0 25 0 1 0 27065971 310009856 73230 1992294400 134512640 137138936 4290076896 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 75686 73230 192 642 0 75042 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 302744 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29037 /proc/meminfo: memFree=1458260/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=320780 CPUtime=1481.78 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 78317 0 0 0 147997 181 0 0 25 0 1 0 27065971 328478720 77763 1992294400 134512640 137138936 4290076896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 80195 77763 192 642 0 79551 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 320780 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29039 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1541.76 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 153987 189 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 330864 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29041 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1601.74 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 159979 195 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 330864 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29043 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1661.72 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 165973 199 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 330864 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29045 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1721.7 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 171965 205 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 330864 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29045 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1781.68 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 177958 210 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 330864 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29047 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1791.29 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 178918 211 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 330864 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29047 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1794.48 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 179237 211 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 330864 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29047 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1796.07 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 179396 211 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (KiB) 330864 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29047 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1796.87 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 179476 211 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 330864 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29047 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1797.67 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 179556 211 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 330864 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29047 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1797.88 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 179577 211 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 330864 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29047 /proc/meminfo: memFree=1447224/2059040 swapFree=4140476/4192956 [pid=28998] ppid=28996 vsize=330864 CPUtime=1797.97 /proc/28998/stat : 28998 (bsolo_pb10) R 28996 28998 28367 0 -1 4202496 80871 0 0 0 179586 211 0 0 25 0 1 0 27065971 338804736 80274 1992294400 134512640 137138936 4290076896 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28998/statm: 82716 80274 192 642 0 82072 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 330864 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.04 CPU user time (s): 1795.88 CPU system time (s): 2.15367 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 330864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.88 system time used= 2.15367 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80872 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= 5495 runsolver used 2.90056 second user time and 8.5577 second system time The end
Begin job on node007 at 2010-06-14 13:23:45 IDJOB=2656466 IDBENCH=2272 IDSOLVER=1162 FILE ID=node007/2656466-1276514625 PBS_JOBID= 11173416 Free space on /tmp= 62484 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-3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656466-1276514625/watcher-2656466-1276514625 -o /tmp/evaluation-result-2656466-1276514625/solver-2656466-1276514625 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656466-1276514625.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703 RANDOM SEED=1825065094 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1770656 kB Buffers: 97196 kB Cached: 109580 kB SwapCached: 6948 kB Active: 100356 kB Inactive: 120460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1770656 kB SwapTotal: 4192956 kB SwapFree: 4140476 kB Dirty: 4512 kB Writeback: 0 kB AnonPages: 11484 kB Mapped: 12916 kB Slab: 45772 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180988 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= 62480 MiB End job on node007 at 2010-06-14 13:53:44