Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 26324 | 1798 | 1798.68 |
Name | normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb |
MD5SUM | aa73e48897f9c10e5003e2188d9e7ab9 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24890 |
Best CPU time to get the best result obtained on this benchmark | 0.068989 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24890 |
Optimality of the best value was proved | YES |
Number of variables | 644 |
Total number of constraints | 1034 |
Number of constraints which are clauses | 1034 |
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 | 1 |
Maximum length of a constraint | 31 |
Number of terms in the objective function | 353 |
Biggest coefficient in the objective function | 2034 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 561307 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 2034 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 561307 |
Number of bits of the biggest sum of numbers | 20 |
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-2656371-1276642303.opb 0.00/0.00 c File size is 31269 bytes. 0.00/0.00 c Highest Coefficient sum: 561307 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 644 Constr: 1034 1034/0/0 Lit: 2598 Watch. Lit: 2064 0.00/0.00 c Obj. Vars: 353 (54.8137 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 1010 2554 2 2020 336 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 0.00/0.01 o 26629 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 1011 2903 2 2357 1034 1 0 0.01 0.00/0.01 o 26600 1040.29/1040.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1040.29/1040.71 c 3 630 1015 3326 3 2700 1034 5 214 0.01 1040.29/1040.71 c 103 630 1115 5684 5 2900 1138 105 1943 0.05 1040.29/1040.71 c 353 630 1370 13039 9 3410 1252 360 1810 0.20 1040.29/1040.71 c 829 630 1846 22856 12 4361 1378 836 1745 0.47 1040.29/1040.71 c 1642 630 1745 19481 11 3825 1516 735 1798 0.91 1040.29/1040.71 c 2963 630 2132 35370 16 4599 1668 1122 1841 1.61 1040.29/1040.71 c 5045 630 2189 27150 12 4713 1835 1179 1908 2.64 1040.29/1040.71 c 8268 630 2236 24908 11 4807 2019 1226 2006 4.12 1040.29/1040.71 c 13204 630 2270 34147 15 4875 2221 1260 1892 6.98 1040.29/1040.71 c 20710 630 2225 26912 12 4785 2444 1215 1844 11.22 1040.29/1040.71 c 32071 630 2233 31353 14 4801 2689 1223 1848 17.35 1040.29/1040.71 c 49216 630 3348 53876 16 7031 2958 2338 1739 28.30 1040.29/1040.71 c 75035 630 3956 78549 19 8247 3254 2946 1784 42.05 1040.29/1040.71 c 113867 630 3258 52906 16 6851 3580 2248 1750 65.06 1040.29/1040.71 c 172220 630 3637 56640 15 7609 3939 2627 1701 101.21 1040.29/1040.71 c 259852 630 3771 95001 25 7877 4333 2761 1660 156.51 1040.29/1040.71 c 391405 630 3178 45545 14 6691 4767 2168 1690 231.50 1040.29/1040.71 c 588837 630 5783 121863 21 11901 5244 4773 1655 355.78 1040.29/1040.71 c 885089 630 5688 124337 21 11711 5769 4678 1564 565.65 1040.29/1040.71 c 1329571 630 5832 133620 22 11998 6346 4822 1533 867.16 1040.29/1040.71 o 26324 1797.91/1798.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.68 c 1590804 630 5431 110835 20 11532 1034 4421 1529 1040.31 1797.91/1798.68 c 1590904 630 1629 16756 10 3593 1138 619 1529 1040.40 1797.91/1798.68 c 1591154 630 1886 23261 12 4107 1252 876 1529 1040.54 1797.91/1798.68 c 1591629 630 1637 15886 9 3609 1378 627 1529 1040.79 1797.91/1798.68 c 1592442 630 1700 22595 13 3735 1516 690 1529 1041.26 1797.91/1798.68 c 1593762 630 1953 32661 16 4241 1668 943 1529 1041.95 1797.91/1798.68 c 1595843 630 2036 32388 15 4407 1835 1026 1530 1043.03 1797.91/1798.68 c 1599066 630 1929 29093 15 4193 2019 919 1530 1044.76 1797.91/1798.68 c 1604002 630 2033 29108 14 4401 2221 1023 1531 1047.44 1797.91/1798.68 c 1611509 630 3123 55831 17 6581 2444 2113 1532 1051.78 1797.91/1798.68 c 1622870 630 2233 43343 19 4801 2689 1223 1532 1058.87 1797.91/1798.68 c 1640014 630 2356 32469 13 5047 2958 1346 1534 1069.09 1797.91/1798.68 c 1665833 630 3845 65801 17 8025 3254 2835 1537 1083.64 1797.91/1798.68 c 1704665 630 2790 66277 23 5915 3580 1780 1534 1110.87 1797.91/1798.68 c 1763017 630 3139 100592 32 6613 3939 2129 1535 1148.36 1797.91/1798.68 c 1850650 630 3237 62304 19 6809 4333 2227 1542 1200.06 1797.91/1798.68 c 1982202 630 5188 126160 24 10711 4767 4178 1551 1277.75 1797.91/1798.68 c 2179634 630 3479 54002 15 7293 5244 2469 1550 1405.79 1797.91/1798.68 c 2475886 630 5754 108757 18 11843 5769 4744 1549 1597.58 1797.91/1798.68 c Resources Exceeded 1797.91/1798.68 v -x56 -x58 -x60 -x62 -x64 -x66 -x68 -x70 -x72 -x74 -x76 -x77 -x79 -x80 -x81 -x82 -x84 -x86 -x88 -x89 x91 -x93 -x95 -x97 -x99 -x100 -x102 -x104 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x120 -x122 -x124 -x126 -x127 -x129 -x131 -x133 -x135 -x137 -x139 -x140 -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x256 -x258 -x260 -x262 -x263 -x265 -x267 -x269 -x271 -x273 x274 -x276 -x278 -x280 -x282 -x283 -x285 -x287 -x288 -x290 -x292 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x310 -x311 -x313 -x314 -x316 -x318 -x319 -x321 -x323 -x324 -x326 -x327 -x329 -x331 -x333 -x334 -x336 -x338 -x340 -x342 -x343 -x345 -x346 -x348 -x349 -x350 -x352 -x354 -x355 -x357 -x358 -x359 -x360 -x362 -x363 -x365 -x367 -x368 -x370 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x388 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x423 -x425 -x426 -x428 -x430 -x432 -x434 -x435 -x437 -x439 -x441 -x443 -x445 x447 -x449 -x451 -x452 -x454 -x455 -x457 -x458 -x459 -x461 -x463 -x465 -x467 -x469 x470 -x472 -x473 -x474 -x475 -x477 -x479 -x481 -x482 -x483 -x485 -x486 -x487 -x489 -x490 -x492 -x493 -x494 -x496 -x498 -x500 -x502 -x503 -x505 -x506 -x508 -x510 -x511 -x513 -x515 x517 -x519 -x521 -x523 -x525 -x526 -x528 -x530 -x531 -x532 -x534 -x536 -x537 -x539 -x541 -x543 -x544 -x546 -x547 -x548 -x550 -x551 -x553 -x555 -x556 -x558 -x559 -x561 -x563 -x565 -x567 x569 -x570 -x571 -x573 -x574 -x575 -x576 -x578 -x580 -x581 x582 -x583 -x585 -x586 x587 -x589 -x591 -x593 -x594 -x595 -x596 -x598 x599 -x600 -x602 -x604 -x605 -x606 -x607 -x609 -x610 -x611 -x612 x613 -x615 x616 -x617 -x618 -x619 -x621 x622 -x623 x624 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 x643 -x644 -x55 -x1 -x57 -x59 -x61 -x2 -x63 -x65 -x67 -x69 -x71 -x73 -x75 -x3 -x78 -x4 -x5 -x6 -x83 -x85 -x87 x90 -x92 -x94 -x96 -x98 -x7 -x101 -x103 -x8 -x106 -x108 -x110 -x9 -x112 -x114 -x116 -x118 -x121 -x123 -x10 -x125 -x128 -x11 -x130 -x132 -x134 -x136 -x138 -x141 -x12 -x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x13 -x236 -x238 -x240 -x242 -x14 -x244 -x246 -x248 -x250 -x252 -x254 -x257 -x259 -x261 -x15 -x264 -x266 -x268 -x270 -x272 -x275 -x277 -x279 -x281 -x284 -x286 -x16 -x289 -x291 -x17 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x18 -x308 -x19 -x312 -x20 -x315 -x317 -x21 -x320 -x322 -x22 -x325 -x23 -x328 -x330 -x332 -x335 -x337 -x339 -x24 -x341 -x344 -x25 -x347 -x26 -x27 -x351 -x28 -x353 -x356 -x29 -x30 -x361 -x364 -x31 -x366 -x369 -x32 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x390 -x392 -x394 -x396 -x33 -x398 -x400 -x402 -x404 -x406 -x408 -x411 -x413 -x415 -x417 -x34 -x419 -x421 -x424 -x35 -x427 -x429 -x431 -x433 -x436 -x438 -x440 -x442 -x444 x446 -x448 -x450 -x453 -x36 -x456 -x37 -x460 -x462 -x464 -x466 -x468 -x471 -x38 -x39 -x40 -x476 -x478 -x480 -x41 -x484 -x42 -x488 -x491 -x43 -x495 -x497 -x499 -x501 -x504 -x507 -x509 -x512 -x514 x516 -x518 -x520 -x522 -x524 -x527 -x529 -x44 -x533 -x535 -x45 -x538 -x540 -x542 -x545 -x549 -x552 -x554 -x557 -x560 -x562 -x564 -x566 x568 -x572 -x46 -x577 -x579 -x47 -x584 -x588 -x590 -x592 -x48 -x49 -x597 x50 -x601 -x51 -x603 -x608 -x614 -x620 -x52 -x625 -x53 -x54 1797.91/1798.68 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.68 c 40 2781485 1969527 15362758 4911 110298 3901 1546 1798.00 1797.91/1798.68 c Objective: 26324 1797.91/1798.68 s SATISFIABLE 1797.91/1798.68 c Total time: 1798 s
OK 26324
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656371-1276642303/watcher-2656371-1276642303 -o /tmp/evaluation-result-2656371-1276642303/solver-2656371-1276642303 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656371-1276642303.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.00 3/106 11740 /proc/meminfo: memFree=1790116/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=10928 CPUtime=0 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5522650 11190272 284 1992294400 134512640 137138936 4294484224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 2732 284 184 642 0 2088 0 [startup+0.057648 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11740 /proc/meminfo: memFree=1790116/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=11036 CPUtime=0.05 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 406 0 0 0 5 0 0 0 20 0 1 0 5522650 11300864 317 1992294400 134512640 137138936 4294484224 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 2759 317 192 642 0 2115 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11036 [startup+0.100656 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11740 /proc/meminfo: memFree=1790116/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=11036 CPUtime=0.09 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 413 0 0 0 9 0 0 0 20 0 1 0 5522650 11300864 324 1992294400 134512640 137138936 4294484224 18446744073709551615 134602769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 2759 324 192 642 0 2115 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11036 [startup+0.300692 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11740 /proc/meminfo: memFree=1790116/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=11256 CPUtime=0.29 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 454 0 0 0 29 0 0 0 20 0 1 0 5522650 11526144 365 1992294400 134512640 137138936 4294484224 18446744073709551615 134543154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 2814 365 192 642 0 2170 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11256 [startup+0.700765 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11740 /proc/meminfo: memFree=1790116/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=11476 CPUtime=0.69 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 522 0 0 0 69 0 0 0 21 0 1 0 5522650 11751424 433 1992294400 134512640 137138936 4294484224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 2869 433 192 642 0 2225 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11476 [startup+1.50091 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11741 /proc/meminfo: memFree=1788868/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=11688 CPUtime=1.49 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 575 0 0 0 148 1 0 0 23 0 1 0 5522650 11968512 486 1992294400 134512640 137138936 4294484224 18446744073709551615 134602724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 2922 486 192 642 0 2278 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11688 [startup+3.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11741 /proc/meminfo: memFree=1788496/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=11804 CPUtime=3.09 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 600 0 0 0 307 2 0 0 25 0 1 0 5522650 12087296 511 1992294400 134512640 137138936 4294484224 18446744073709551615 134618245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 2951 511 192 642 0 2307 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11804 [startup+6.30079 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11741 /proc/meminfo: memFree=1788248/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=11916 CPUtime=6.29 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 628 0 0 0 625 4 0 0 25 0 1 0 5522650 12201984 539 1992294400 134512640 137138936 4294484224 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 2979 539 192 642 0 2335 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11916 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11741 /proc/meminfo: memFree=1788000/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=12240 CPUtime=12.69 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 715 0 0 0 1257 12 0 0 25 0 1 0 5522650 12533760 626 1992294400 134512640 137138936 4294484224 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3060 626 192 642 0 2416 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12240 [startup+25.5003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11743 /proc/meminfo: memFree=1787628/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=12464 CPUtime=25.48 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 761 0 0 0 2528 20 0 0 25 0 1 0 5522650 12763136 672 1992294400 134512640 137138936 4294484224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3116 672 192 642 0 2472 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12464 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11743 /proc/meminfo: memFree=1787380/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=12576 CPUtime=51.08 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 808 0 0 0 5069 39 0 0 25 0 1 0 5522650 12877824 719 1992294400 134512640 137138936 4294484224 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3144 719 192 642 0 2500 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12576 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11745 /proc/meminfo: memFree=1787132/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=12908 CPUtime=102.26 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 883 0 0 0 10147 79 0 0 25 0 1 0 5522650 13217792 794 1992294400 134512640 137138936 4294484224 18446744073709551615 134618242 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3227 794 192 642 0 2583 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 12908 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11745 /proc/meminfo: memFree=1786884/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=13124 CPUtime=162.23 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 942 0 0 0 16104 119 0 0 25 0 1 0 5522650 13438976 853 1992294400 134512640 137138936 4294484224 18446744073709551615 134550998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3281 853 192 642 0 2637 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 13124 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11747 /proc/meminfo: memFree=1786760/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=13124 CPUtime=222.21 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 942 0 0 0 22057 164 0 0 25 0 1 0 5522650 13438976 853 1992294400 134512640 137138936 4294484224 18446744073709551615 134575211 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3281 853 192 642 0 2637 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 13124 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11749 /proc/meminfo: memFree=1786264/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=13684 CPUtime=282.19 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1071 0 0 0 27997 222 0 0 25 0 1 0 5522650 14012416 982 1992294400 134512640 137138936 4294484224 18446744073709551615 134607606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3421 982 192 642 0 2777 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 13684 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11751 /proc/meminfo: memFree=1786264/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=13684 CPUtime=342.16 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1071 0 0 0 33938 278 0 0 25 0 1 0 5522650 14012416 982 1992294400 134512640 137138936 4294484224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3421 982 192 642 0 2777 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 13684 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11753 /proc/meminfo: memFree=1785272/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14548 CPUtime=402.14 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1292 0 0 0 39899 315 0 0 25 0 1 0 5522650 14897152 1203 1992294400 134512640 137138936 4294484224 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3637 1203 192 642 0 2993 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 14548 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11753 /proc/meminfo: memFree=1785148/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14612 CPUtime=462.12 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1339 0 0 0 45865 347 0 0 25 0 1 0 5522650 14962688 1224 1992294400 134512640 137138936 4294484224 18446744073709551615 134599978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3653 1224 192 642 0 3009 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 14612 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11755 /proc/meminfo: memFree=1785148/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14396 CPUtime=522.1 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1339 0 0 0 51828 382 0 0 25 0 1 0 5522650 14741504 1176 1992294400 134512640 137138936 4294484224 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3599 1176 192 642 0 2955 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 14396 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11766 /proc/meminfo: memFree=1784528/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14496 CPUtime=582.06 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1340 0 0 0 57786 420 0 0 25 0 1 0 5522650 14843904 1175 1992294400 134512640 137138936 4294484224 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3624 1175 192 642 0 2980 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 14496 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11768 /proc/meminfo: memFree=1784528/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14684 CPUtime=642.05 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1408 0 0 0 63730 475 0 0 25 0 1 0 5522650 15036416 1243 1992294400 134512640 137138936 4294484224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3671 1243 192 642 0 3027 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 14684 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14560 CPUtime=1121.86 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1739 0 0 0 111314 872 0 0 25 0 1 0 5522650 14909440 1217 1992294400 134512640 137138936 4294484224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3640 1217 192 642 0 2996 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 14560 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11782 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14496 CPUtime=1181.84 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1739 0 0 0 117275 909 0 0 25 0 1 0 5522650 14843904 1201 1992294400 134512640 137138936 4294484224 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3624 1201 192 642 0 2980 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 14496 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11784 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14496 CPUtime=1241.81 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1739 0 0 0 123233 948 0 0 25 0 1 0 5522650 14843904 1201 1992294400 134512640 137138936 4294484224 18446744073709551615 134552307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3624 1201 192 642 0 2980 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 14496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11786 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14496 CPUtime=1301.8 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1739 0 0 0 129195 985 0 0 25 0 1 0 5522650 14843904 1201 1992294400 134512640 137138936 4294484224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3624 1201 192 642 0 2980 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 14496 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11786 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14496 CPUtime=1361.77 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1739 0 0 0 135154 1023 0 0 25 0 1 0 5522650 14843904 1201 1992294400 134512640 137138936 4294484224 18446744073709551615 136505599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3624 1201 192 642 0 2980 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 14496 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11788 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14496 CPUtime=1421.76 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1739 0 0 0 141108 1068 0 0 25 0 1 0 5522650 14843904 1201 1992294400 134512640 137138936 4294484224 18446744073709551615 134551107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3624 1201 192 642 0 2980 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 14496 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11790 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14496 CPUtime=1481.73 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1739 0 0 0 147049 1124 0 0 25 0 1 0 5522650 14843904 1201 1992294400 134512640 137138936 4294484224 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3624 1201 192 642 0 2980 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 14496 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11792 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14496 CPUtime=1541.71 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1739 0 0 0 153003 1168 0 0 25 0 1 0 5522650 14843904 1201 1992294400 134512640 137138936 4294484224 18446744073709551615 134603230 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3624 1201 192 642 0 2980 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 14496 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11794 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14496 CPUtime=1601.68 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1739 0 0 0 158949 1219 0 0 25 0 1 0 5522650 14843904 1201 1992294400 134512640 137138936 4294484224 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3624 1201 192 642 0 2980 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 14496 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11794 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14728 CPUtime=1661.66 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 164912 1254 0 0 25 0 1 0 5522650 15081472 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3682 1241 192 642 0 3038 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 14728 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11796 /proc/meminfo: memFree=1784156/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14728 CPUtime=1721.64 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 170874 1290 0 0 25 0 1 0 5522650 15081472 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3682 1241 192 642 0 3038 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 14728 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11798 /proc/meminfo: memFree=1784032/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14728 CPUtime=1781.62 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 176835 1327 0 0 25 0 1 0 5522650 15081472 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3682 1241 192 642 0 3038 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 14728 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 11798 /proc/meminfo: memFree=1784032/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14724 CPUtime=1791.22 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 177788 1334 0 0 25 0 1 0 5522650 15077376 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3681 1241 192 642 0 3037 0 Current children cumulated CPU time (s) 1791.22 Current children cumulated vsize (KiB) 14724 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11798 /proc/meminfo: memFree=1784032/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14724 CPUtime=1794.42 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 178105 1337 0 0 25 0 1 0 5522650 15077376 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3681 1241 192 642 0 3037 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (KiB) 14724 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11798 /proc/meminfo: memFree=1784032/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14724 CPUtime=1796.01 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 178263 1338 0 0 25 0 1 0 5522650 15077376 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3681 1241 192 642 0 3037 0 Current children cumulated CPU time (s) 1796.01 Current children cumulated vsize (KiB) 14724 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11798 /proc/meminfo: memFree=1784032/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14724 CPUtime=1796.81 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 178343 1338 0 0 25 0 1 0 5522650 15077376 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 134600008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3681 1241 192 642 0 3037 0 Current children cumulated CPU time (s) 1796.81 Current children cumulated vsize (KiB) 14724 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11798 /proc/meminfo: memFree=1784032/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14724 CPUtime=1797.61 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 178422 1339 0 0 25 0 1 0 5522650 15077376 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 134551149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3681 1241 192 642 0 3037 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 14724 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11798 /proc/meminfo: memFree=1784032/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14724 CPUtime=1797.82 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 178443 1339 0 0 25 0 1 0 5522650 15077376 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 136501665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3681 1241 192 642 0 3037 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 14724 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11798 /proc/meminfo: memFree=1784032/2059040 swapFree=4192956/4192956 [pid=11740] ppid=11738 vsize=14724 CPUtime=1797.91 /proc/11740/stat : 11740 (bsolo_pb10) R 11738 11740 11053 0 -1 4202496 1826 0 0 0 178452 1339 0 0 25 0 1 0 5522650 15077376 1241 1992294400 134512640 137138936 4294484224 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11740/statm: 3681 1241 192 642 0 3037 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 14724 Child status: 0 Real time (s): 1798.68 CPU time (s): 1798 CPU user time (s): 1784.61 CPU system time (s): 13.397 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (KiB): 15748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.61 system time used= 13.397 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1827 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= 6286 runsolver used 3.10253 second user time and 8.35373 second system time The end
Begin job on node044 at 2010-06-16 00:51:44 IDJOB=2656371 IDBENCH=25022 IDSOLVER=1162 FILE ID=node044/2656371-1276642303 PBS_JOBID= 11172362 Free space on /tmp= 62588 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656371-1276642303/watcher-2656371-1276642303 -o /tmp/evaluation-result-2656371-1276642303/solver-2656371-1276642303 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656371-1276642303.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aa73e48897f9c10e5003e2188d9e7ab9 RANDOM SEED=542854702 node044.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.266 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.53 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.266 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1790520 kB Buffers: 16724 kB Cached: 127316 kB SwapCached: 0 kB Active: 106880 kB Inactive: 96732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1790520 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 59580 kB Mapped: 15476 kB Slab: 42884 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180672 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= 62584 MiB End job on node044 at 2010-06-16 01:21:42