Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 262859 | 1800.06 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb |
MD5SUM | f36b59f1fcf0c7e8fce521b6b9823495 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262858 |
Best CPU time to get the best result obtained on this benchmark | 496.259 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262858 |
Optimality of the best value was proved | YES |
Number of variables | 290 |
Total number of constraints | 212 |
Number of constraints which are clauses | 127 |
Number of constraints which are cardinality constraints (but not clauses) | 13 |
Number of constraints which are nor clauses,nor cardinality constraints | 72 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 263 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524422 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432763-1177949133/instance-432763-1177949133.opb 0.00/0.00 c File size is 68604 bytes. 0.00/0.01 c Highest Coefficient sum: 524422 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 290 Constr: 247 134/109/4 Lit: 9533 Watch. Lit: 2201 0.00/0.01 c Obj. Vars: 31 (10.6897 % of total variables) 0.00/0.05 c Pre-processing Time: 0.048 s 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 258 247 9533 38 2466 12774 0 0 0.05 0.00/0.05 c Switching off LPR mode. 0.09/0.14 c 105 258 352 13315 37 2676 14052 105 1640 0.06 0.09/0.14 c 256 258 503 21176 42 2978 15458 256 3011 0.09 0.09/0.14 c 481 258 728 34523 47 3428 17004 481 3757 0.13 0.09/0.14 o 263445 0.138 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 517 258 765 37080 48 3526 12826 518 3746 0.14 0.09/0.16 o 263157 0.162 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 614 258 863 42554 49 3746 12826 616 3790 0.16 0.09/0.17 o 263114 0.167 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 630 257 880 43489 49 3802 12824 633 3772 0.17 0.09/0.17 o 262975 0.171 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 646 257 897 44211 49 3859 12824 650 3777 0.17 1.29/1.34 c 746 257 997 50470 50 4059 14107 750 3825 0.20 1.29/1.34 c 998 257 1249 71734 57 4563 15518 1002 3723 0.27 1.29/1.34 c 1473 256 1724 101186 58 5512 17070 1477 3928 0.38 1.29/1.34 c 2289 256 2540 157677 62 7144 18778 2293 3516 0.65 1.29/1.34 c 3612 256 3863 239160 61 9790 20656 3616 3541 1.02 1.29/1.34 o 262949 1.339 3.69/3.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.75 c 4367 256 4619 292191 63 11324 12822 4372 3261 1.34 3.69/3.75 c 4468 256 4720 298395 63 11526 14105 4473 3232 1.38 3.69/3.75 c 4720 256 4972 314732 63 12030 15516 4725 3074 1.53 3.69/3.75 c 5196 256 5448 355048 65 12982 17068 5201 2828 1.84 3.69/3.75 c 6011 256 6263 426029 68 14612 18775 6016 2457 2.45 3.69/3.75 c 7333 255 7585 537956 70 17255 20653 7338 2069 3.54 3.69/3.75 o 262877 3.754 101.84/101.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.84/101.96 c 7721 255 7974 563927 70 18054 12820 7727 2056 3.75 101.84/101.96 c 7822 255 8075 569173 70 18256 14103 7828 2037 3.84 101.84/101.96 c 8073 255 8326 586492 70 18758 15514 8079 1985 4.07 101.84/101.96 c 8553 255 8806 622063 70 19718 17066 8559 1879 4.55 101.84/101.96 c 9367 255 9620 679187 70 21346 18773 9373 1804 5.19 101.84/101.96 c 10687 254 10940 790268 72 23985 20651 10693 1504 7.10 101.84/101.96 c 12770 254 13023 965272 74 28151 22717 12776 1296 9.85 101.84/101.96 c 15996 254 16249 1285151 79 34603 24989 16002 991 16.14 101.84/101.96 c 20933 254 21186 1756976 82 44477 27488 20939 748 27.96 101.84/101.96 c 28442 254 14127 1142660 80 30243 30237 13880 545 52.10 101.84/101.96 c 39805 254 25490 2262230 88 52969 33261 25243 498 79.85 101.84/101.96 o 262861 101.921 162.92/163.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.92/163.05 c 45393 254 31079 2750277 88 64166 12818 30832 445 101.92 162.92/163.05 c 45493 254 6775 489212 72 15538 14100 6528 442 102.79 162.92/163.05 c 45743 254 7025 511253 72 16038 15511 6778 444 102.95 162.92/163.05 c 46218 254 7500 551929 73 16988 17063 7253 447 103.34 162.92/163.05 c 47033 254 8315 633076 76 18618 18770 8068 452 103.97 162.92/163.05 c 48355 254 9637 744374 77 21262 20648 9390 459 105.20 162.92/163.05 c 50436 254 11718 899609 76 25424 22713 11471 470 107.12 162.92/163.05 c 53659 254 14941 1209205 80 31870 24985 14694 484 110.83 162.92/163.05 c 58595 254 19877 1587012 79 41742 27484 19630 488 119.93 162.92/163.05 c 66102 254 27384 2333049 85 56756 30233 27137 476 138.63 162.92/163.05 o 262860 162.985 269.98/270.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 269.98/270.12 c 74208 254 18414 1591019 86 38835 12818 18167 455 162.99 269.98/270.12 c 74308 254 6805 497421 73 15587 14100 6558 455 163.25 269.98/270.12 c 74558 254 7055 511576 72 16085 15511 6808 456 163.39 269.98/270.12 c 75033 254 7530 531296 70 17032 17063 7283 458 163.81 269.98/270.12 c 75848 254 8345 569518 68 18660 18770 8098 461 164.42 269.98/270.12 c 77168 254 9665 624256 64 21300 20648 9418 465 165.77 269.98/270.12 c 79249 254 11746 720328 61 25462 22713 11499 469 168.70 269.98/270.12 c 82473 254 14970 870604 58 31910 24985 14723 474 173.94 269.98/270.12 c 87410 254 19907 1282278 64 41784 27484 19660 475 183.66 269.98/270.12 c 94917 254 27414 1901976 69 56816 30233 27167 483 196.26 269.98/270.12 c 106279 254 21222 1775710 83 44432 33257 20975 483 219.66 269.98/270.12 o 262859 270.019 1800.03/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.71 c 119660 254 14559 1141405 78 31123 12818 14312 443 270.02 1800.03/1800.71 c 119760 254 6829 433156 63 15644 14100 6582 443 270.25 1800.03/1800.71 c 120010 254 7079 456298 64 16146 15511 6832 443 270.55 1800.03/1800.71 c 120485 254 7554 497396 65 17096 17063 7307 444 270.89 1800.03/1800.71 c 121298 254 8367 570394 68 18718 18770 8120 446 271.74 1800.03/1800.71 c 122619 254 9688 694142 71 21364 20648 9441 448 273.19 1800.03/1800.71 c 124701 254 11770 900001 76 25524 22713 11523 450 276.69 1800.03/1800.71 c 127924 254 14993 1216461 81 31974 24985 14746 454 281.44 1800.03/1800.71 c 132861 254 19930 1702922 85 41844 27484 19683 452 293.39 1800.03/1800.71 c 140367 254 27436 2417937 88 56842 30233 27189 445 314.83 1800.03/1800.71 c 151728 254 21870 1766504 80 45728 33257 21623 449 337.54 1800.03/1800.71 c 168872 254 19025 1852538 97 40038 36583 18778 430 392.48 1800.03/1800.71 c 194693 254 22333 2089635 93 46654 40242 22086 414 469.22 1800.03/1800.71 c 233528 254 34954 3548415 101 71896 44267 34707 369 632.50 1800.03/1800.71 c 291882 254 33392 3660076 109 68769 48694 33145 312 934.62 1800.03/1800.71 c 379514 254 22675 1910337 84 47338 53564 22428 276 1370.59 1800.03/1800.71 c Caught signal: 15 1800.03/1800.71 v x180 x181 x182 x183 x184 x185 x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 x196 x197 -x198 x199 -x200 x201 -x202 -x203 1800.03/1800.71 v -x204 -x205 -x206 -x207 -x208 -x209 x210 -x225 -x236 -x247 -x258 -x269 -x280 -x2 -x13 -x24 -x35 -x46 -x57 -x68 -x79 -x90 -x101 1800.03/1800.71 v -x113 -x124 x135 -x146 -x157 -x168 -x179 -x211 x212 -x213 -x215 -x219 -x220 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 1800.03/1800.71 v -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x248 -x252 -x253 -x254 -x255 1800.03/1800.71 v -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.03/1800.71 v -x279 -x281 -x285 -x286 x287 -x288 -x289 -x290 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 1800.03/1800.71 v -x22 -x23 -x25 -x29 -x30 x31 -x32 -x33 -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x47 -x48 -x49 -x50 -x51 -x52 -x53 1800.03/1800.71 v -x54 -x55 -x56 -x58 -x62 -x63 -x64 -x65 -x66 x67 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x80 -x81 -x82 -x83 -x84 -x85 1800.03/1800.71 v -x86 -x87 -x88 -x89 -x91 -x95 x96 -x97 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x114 x115 1800.03/1800.71 v -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x125 -x129 -x130 -x131 -x132 -x133 -x134 -x136 -x137 -x138 -x139 -x140 -x141 1800.03/1800.71 v -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 x162 -x163 x164 -x165 x166 -x167 1800.03/1800.71 v x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 -x112 -x217 -x250 -x283 -x27 -x60 -x93 -x214 -x218 -x251 -x284 -x28 1800.03/1800.71 v -x61 -x94 -x1 -x126 -x127 -x128 -x159 -x160 -x161 -x216 -x249 -x282 -x26 -x59 -x92 1800.03/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.71 c 66 462757 104497 762117 30522 2798520 30275 257 1800.04 1800.03/1800.71 c Objective: 262859 1800.03/1800.71 s SATISFIABLE 1800.03/1800.71 c Total time: 1800.04 s
OK 262859
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-432763-1177949133 -o ROOT/results/node67/solver-432763-1177949133 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432763-1177949133/instance-432763-1177949133.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.91 3/64 32273 /proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=11804 CPUtime=0 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 270902852 12087296 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 2951 333 279 324 0 2004 0 [startup+0.013983 s] /proc/loadavg: 0.99 0.97 0.91 3/64 32273 /proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=4124 CPUtime=0 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 270902852 4222976 373 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 1031 373 293 324 0 84 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4124 [startup+0.102999 s] /proc/loadavg: 0.99 0.97 0.91 3/64 32273 /proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=4448 CPUtime=0.09 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 530 0 0 0 9 0 0 0 18 0 1 0 270902852 4554752 483 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 1112 483 310 324 0 182 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4448 [startup+0.301042 s] /proc/loadavg: 0.99 0.97 0.91 3/64 32273 /proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=5224 CPUtime=0.29 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 731 0 0 0 29 0 0 0 19 0 1 0 270902852 5349376 684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 1306 684 311 324 0 376 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5224 [startup+0.701107 s] /proc/loadavg: 0.99 0.97 0.91 3/64 32273 /proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=6516 CPUtime=0.69 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 1053 0 0 0 69 0 0 0 22 0 1 0 270902852 6672384 1006 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 1629 1006 311 324 0 699 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6516 [startup+1.50125 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1713320/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=8588 CPUtime=1.49 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 1559 0 0 0 149 0 0 0 25 0 1 0 270902852 8794112 1512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 2147 1512 311 324 0 1217 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8588 [startup+3.10155 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1711016/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=11196 CPUtime=3.09 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 2211 0 0 0 308 1 0 0 25 0 1 0 270902852 11464704 2164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 2799 2164 311 324 0 1869 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11196 [startup+6.30113 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1706408/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=14820 CPUtime=6.28 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 3126 0 0 0 627 1 0 0 25 0 1 0 270902852 15175680 3079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 3705 3079 311 324 0 2775 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14820 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1701224/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=19740 CPUtime=12.69 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 4352 0 0 0 1266 3 0 0 25 0 1 0 270902852 20213760 4305 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 4935 4305 311 324 0 4005 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19740 [startup+25.5026 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1693160/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=27492 CPUtime=25.48 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 6313 0 0 0 2544 4 0 0 25 0 1 0 270902852 28151808 6266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 6873 6266 311 324 0 5943 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27492 [startup+51.1023 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1683304/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=37196 CPUtime=51.07 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 8738 0 0 0 5100 7 0 0 25 0 1 0 270902852 38088704 8691 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 9299 8691 311 324 0 8369 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37196 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1677864/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=42616 CPUtime=102.25 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10092 0 0 0 10217 8 0 0 25 0 1 0 270902852 43638784 10045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 10654 10045 311 324 0 9724 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 42616 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1677800/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=42616 CPUtime=162.22 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10092 0 0 0 16214 8 0 0 25 0 1 0 270902852 43638784 10045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 10654 10045 311 324 0 9724 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 42616 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1677736/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=42612 CPUtime=222.2 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10092 0 0 0 22212 8 0 0 25 0 1 0 270902852 43634688 10045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 10653 10045 311 324 0 9723 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 42612 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1675048/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=45312 CPUtime=282.18 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10782 0 0 0 28209 9 0 0 25 0 1 0 270902852 46399488 10702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 11328 10702 311 324 0 10398 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 45312 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1675112/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=45312 CPUtime=342.16 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10798 0 0 0 34206 10 0 0 25 0 1 0 270902852 46399488 10718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 11328 10718 311 324 0 10398 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 45312 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1673704/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=46572 CPUtime=402.14 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 11143 0 0 0 40204 10 0 0 25 0 1 0 270902852 47689728 11027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 11643 11027 311 324 0 10713 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 46572 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1665384/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=54972 CPUtime=462.12 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 13261 0 0 0 46199 13 0 0 25 0 1 0 270902852 56291328 13109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550997 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 13743 13109 311 324 0 12813 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 54972 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1665384/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=54972 CPUtime=522.09 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 13261 0 0 0 52196 13 0 0 25 0 1 0 270902852 56291328 13109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 13743 13109 311 324 0 12813 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 54972 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1660264/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=59864 CPUtime=582.07 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 14551 0 0 0 58192 15 0 0 25 0 1 0 270902852 61300736 14359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 14966 14359 311 324 0 14036 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 59864 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1660264/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=59864 CPUtime=642.05 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 14551 0 0 0 64190 15 0 0 25 0 1 0 270902852 61300736 14359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323364 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 14966 14359 311 324 0 14036 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 59864 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1649512/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=70604 CPUtime=881.96 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 17301 0 0 0 88178 18 0 0 25 0 1 0 270902852 72298496 17021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 17651 17021 311 324 0 16721 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 70604 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1649512/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=70604 CPUtime=941.94 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 17301 0 0 0 94176 18 0 0 25 0 1 0 270902852 72298496 17021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 17651 17021 311 324 0 16721 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 70604 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1649576/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=70604 CPUtime=1001.92 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 17301 0 0 0 100174 18 0 0 25 0 1 0 270902852 72298496 17021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323132 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 17651 17021 311 324 0 16721 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 70604 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1646056/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=73972 CPUtime=1061.89 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18192 0 0 0 106170 19 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 18493 17864 311 324 0 17563 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 73972 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1646120/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=73972 CPUtime=1121.87 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18192 0 0 0 112168 19 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 18493 17864 311 324 0 17563 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 73972 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1646120/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=73972 CPUtime=1181.86 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18192 0 0 0 118166 20 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 18493 17864 311 324 0 17563 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 73972 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1646056/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=73972 CPUtime=1241.83 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18240 0 0 0 124163 20 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 18493 17864 311 324 0 17563 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 73972 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1646120/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=73972 CPUtime=1301.81 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18240 0 0 0 130161 20 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 18493 17864 311 324 0 17563 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 73972 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1645992/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=73972 CPUtime=1361.79 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18289 0 0 0 136159 20 0 0 25 0 1 0 270902852 75747328 17865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 18493 17865 311 324 0 17563 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 73972 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1645992/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=73972 CPUtime=1421.77 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18289 0 0 0 142157 20 0 0 25 0 1 0 270902852 75747328 17865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 18493 17865 311 324 0 17563 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 73972 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1646056/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=73972 CPUtime=1481.74 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18289 0 0 0 148154 20 0 0 25 0 1 0 270902852 75747328 17865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 18493 17865 311 324 0 17563 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 73972 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1642984/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=76968 CPUtime=1541.72 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19084 0 0 0 154151 21 0 0 25 0 1 0 270902852 78815232 18607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 19242 18607 311 324 0 18312 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 76968 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1642984/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=76968 CPUtime=1601.7 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19084 0 0 0 160149 21 0 0 25 0 1 0 270902852 78815232 18607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 19242 18607 311 324 0 18312 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 76968 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1643240/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=76968 CPUtime=1661.67 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19084 0 0 0 166146 21 0 0 25 0 1 0 270902852 78815232 18607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 19242 18607 311 324 0 18312 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 76968 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1643240/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=76968 CPUtime=1721.65 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19084 0 0 0 172144 21 0 0 25 0 1 0 270902852 78815232 18607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 19242 18607 311 324 0 18312 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 76968 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1640744/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=79288 CPUtime=1781.63 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19730 0 0 0 178141 22 0 0 25 0 1 0 270902852 81190912 19200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 19822 19200 311 324 0 18892 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 79288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1640744/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=79288 CPUtime=1800.03 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19730 0 0 0 179981 22 0 0 25 0 1 0 270902852 81190912 19200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 19822 19200 311 324 0 18892 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 79288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/65 32274 /proc/meminfo: memFree=1640744/2055920 swapFree=4182996/4192956 [pid=32273] ppid=32271 vsize=79288 CPUtime=1800.03 /proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19730 0 0 0 179981 22 0 0 25 0 1 0 270902852 81190912 19200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32273/statm: 19822 19200 311 324 0 18892 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 79288 Child status: 15 Real time (s): 1800.74 CPU time (s): 1800.06 CPU user time (s): 1799.82 CPU system time (s): 0.237963 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 79500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.237963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19734 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 3099 runsolver used 1.40479 second user time and 3.52346 second system time The end
Begin job on node67 on Mon Apr 30 16:05:33 UTC 2007 IDJOB= 432763 IDBENCH= 1770 IDSOLVER= 199 FILE ID= node67/432763-1177949133 PBS_JOBID= 4727532 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432763-1177949133/instance-432763-1177949133.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-432763-1177949133 -o ROOT/results/node67/solver-432763-1177949133 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432763-1177949133/instance-432763-1177949133.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f36b59f1fcf0c7e8fce521b6b9823495 RANDOM SEED= 659768753 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1717512 kB Buffers: 22536 kB Cached: 238668 kB SwapCached: 3996 kB Active: 60636 kB Inactive: 210784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1717512 kB SwapTotal: 4192956 kB SwapFree: 4182996 kB Dirty: 6644 kB Writeback: 0 kB Mapped: 16072 kB Slab: 52984 kB Committed_AS: 1305156 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node67 on Mon Apr 30 16:35:36 UTC 2007