Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 262859 | 1800.04 | 1801.18 |
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.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/351499-1176603346/instance-351499-1176603346.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.014 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.04/0.05 c Pre-processing Time: 0.048 s 0.04/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.05 c 0 258 247 9533 38 2466 12774 0 0 0.05 0.04/0.05 c Switching off LPR mode. 0.09/0.14 c 105 258 352 13315 37 2676 14052 105 1615 0.07 0.09/0.14 c 256 258 503 21176 42 2978 15458 256 2976 0.09 0.09/0.14 c 481 258 728 34523 47 3428 17004 481 3700 0.13 0.09/0.14 o 263445 0.14 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 3692 0.14 0.09/0.16 o 263157 0.164 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 3743 0.16 0.09/0.17 o 263114 0.17 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 3705 0.17 0.09/0.17 o 262975 0.173 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 646 257 897 44211 49 3859 12824 650 3734 0.17 1.29/1.36 c 746 257 997 50470 50 4059 14107 750 3767 0.20 1.29/1.36 c 998 257 1249 71734 57 4563 15518 1002 3669 0.27 1.29/1.36 c 1473 256 1724 101186 58 5512 17070 1477 3856 0.38 1.29/1.36 c 2289 256 2540 157677 62 7144 18778 2293 3452 0.66 1.29/1.36 c 3612 256 3863 239160 61 9790 20656 3616 3479 1.04 1.29/1.36 o 262949 1.362 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 4367 256 4619 292191 63 11324 12822 4372 3206 1.36 3.79/3.83 c 4468 256 4720 298395 63 11526 14105 4473 3177 1.41 3.79/3.83 c 4720 256 4972 314732 63 12030 15516 4725 3021 1.56 3.79/3.83 c 5196 256 5448 355048 65 12982 17068 5201 2775 1.87 3.79/3.83 c 6011 256 6263 426029 68 14612 18775 6016 2408 2.50 3.79/3.83 c 7333 255 7585 537956 70 17255 20653 7338 2029 3.61 3.79/3.83 o 262877 3.829 102.35/102.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 102.35/102.44 c 7721 255 7974 563927 70 18054 12820 7727 2015 3.83 102.35/102.44 c 7822 255 8075 569173 70 18256 14103 7828 1997 3.92 102.35/102.44 c 8073 255 8326 586492 70 18758 15514 8079 1946 4.15 102.35/102.44 c 8553 255 8806 622063 70 19718 17066 8559 1842 4.64 102.35/102.44 c 9367 255 9620 679187 70 21346 18773 9373 1768 5.30 102.35/102.44 c 10687 254 10940 790268 72 23985 20651 10693 1476 7.24 102.35/102.44 c 12770 254 13023 965272 74 28151 22717 12776 1276 10.00 102.35/102.44 c 15996 254 16249 1285151 79 34603 24989 16002 983 16.27 102.35/102.44 c 20933 254 21186 1756976 82 44477 27488 20939 741 28.24 102.35/102.44 c 28442 254 14127 1142660 80 30243 30237 13880 542 52.44 102.35/102.44 c 39805 254 25490 2262230 88 52969 33261 25243 496 80.25 102.35/102.44 o 262861 102.401 163.63/163.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 163.63/163.74 c 45393 254 31079 2750277 88 64166 12818 30832 443 102.40 163.63/163.74 c 45493 254 6775 489212 72 15538 14100 6528 440 103.28 163.63/163.74 c 45743 254 7025 511253 72 16038 15511 6778 442 103.44 163.63/163.74 c 46218 254 7500 551929 73 16988 17063 7253 445 103.84 163.63/163.74 c 47033 254 8315 633076 76 18618 18770 8068 450 104.47 163.63/163.74 c 48355 254 9637 744374 77 21262 20648 9390 457 105.72 163.63/163.74 c 50436 254 11718 899609 76 25424 22713 11471 468 107.66 163.63/163.74 c 53659 254 14941 1209205 80 31870 24985 14694 481 111.36 163.63/163.74 c 58595 254 19877 1587012 79 41742 27484 19630 486 120.45 163.63/163.74 c 66102 254 27384 2333049 85 56756 30233 27137 474 139.21 163.63/163.74 o 262860 163.69 271.10/271.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 271.10/271.28 c 74208 254 18414 1591019 86 38835 12818 18167 453 163.69 271.10/271.28 c 74308 254 6805 497421 73 15587 14100 6558 453 163.96 271.10/271.28 c 74558 254 7055 511576 72 16085 15511 6808 454 164.10 271.10/271.28 c 75033 254 7530 531296 70 17032 17063 7283 456 164.53 271.10/271.28 c 75848 254 8345 569518 68 18660 18770 8098 459 165.15 271.10/271.28 c 77168 254 9665 624256 64 21300 20648 9418 463 166.53 271.10/271.28 c 79249 254 11746 720328 61 25462 22713 11499 467 169.50 271.10/271.28 c 82473 254 14970 870604 58 31910 24985 14723 471 174.74 271.10/271.28 c 87410 254 19907 1282278 64 41784 27484 19660 473 184.54 271.10/271.28 c 94917 254 27414 1901976 69 56816 30233 27167 481 197.15 271.10/271.28 c 106279 254 21222 1775710 83 44432 33257 20975 481 220.66 271.10/271.28 o 262859 271.192 1799.96/1801.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1801.16 c 119660 254 14559 1141405 78 31123 12818 14312 441 271.19 1799.96/1801.16 c 119760 254 6829 433156 63 15644 14100 6582 441 271.42 1799.96/1801.16 c 120010 254 7079 456298 64 16146 15511 6832 441 271.72 1799.96/1801.16 c 120485 254 7554 497396 65 17096 17063 7307 442 272.06 1799.96/1801.16 c 121298 254 8367 570394 68 18718 18770 8120 444 272.91 1799.96/1801.16 c 122619 254 9688 694142 71 21364 20648 9441 446 274.34 1799.96/1801.16 c 124701 254 11770 900001 76 25524 22713 11523 448 277.83 1799.96/1801.16 c 127924 254 14993 1216461 81 31974 24985 14746 452 282.64 1799.96/1801.16 c 132861 254 19930 1702922 85 41844 27484 19683 450 294.63 1799.96/1801.16 c 140367 254 27436 2417937 88 56842 30233 27189 444 316.13 1799.96/1801.16 c 151728 254 21870 1766504 80 45728 33257 21623 447 338.93 1799.96/1801.16 c 168872 254 19025 1852538 97 40038 36583 18778 428 393.72 1799.96/1801.16 c 194693 254 22333 2089635 93 46654 40242 22086 414 469.62 1799.96/1801.16 c 233528 254 34954 3548415 101 71896 44267 34707 368 633.43 1799.96/1801.16 c 291882 254 33392 3660076 109 68769 48694 33145 311 936.97 1799.96/1801.16 c 379514 254 22675 1910337 84 47338 53564 22428 276 1374.61 1799.96/1801.16 c Resources Exceeded 1799.96/1801.16 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 1799.96/1801.16 v -x204 -x205 -x206 -x207 -x208 -x209 x210 -x225 -x236 -x247 -x258 -x269 -x280 -x2 -x13 -x24 -x35 -x46 -x57 -x68 -x79 -x90 -x101 1799.96/1801.16 v -x113 -x124 x135 -x146 -x157 -x168 -x179 -x211 x212 -x213 -x215 -x219 -x220 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 1799.96/1801.16 v -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x248 -x252 -x253 -x254 -x255 1799.96/1801.16 v -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1799.96/1801.16 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 1799.96/1801.16 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 1799.96/1801.16 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 1799.96/1801.16 v -x86 -x87 -x88 -x89 -x91 -x95 x96 -x97 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x114 x115 1799.96/1801.16 v -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x125 -x129 -x130 -x131 -x132 -x133 -x134 -x136 -x137 -x138 -x139 -x140 -x141 1799.96/1801.16 v -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 x162 -x163 x164 -x165 x166 -x167 1799.96/1801.16 v x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 -x112 -x217 -x250 -x283 -x27 -x60 -x93 -x214 -x218 -x251 -x284 -x28 1799.96/1801.16 v -x61 -x94 -x1 -x126 -x127 -x128 -x159 -x160 -x161 -x216 -x249 -x282 -x26 -x59 -x92 1799.96/1801.16 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1801.16 c 66 461697 104307 760696 29462 2675306 29215 256 1800.03 1799.96/1801.16 c Objective: 262859 1799.96/1801.16 s SATISFIABLE 1799.96/1801.16 c Total time: 1800.03 s
OK 262859
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-351499-1176603346 -o ROOT/results/node3/solver-351499-1176603346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351499-1176603346/instance-351499-1176603346.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.92 0.99 0.99 3/77 31865 /proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=11804 CPUtime=0 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 136372341 12087296 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 2951 338 282 324 0 2003 0 [startup+0.049009 s] /proc/loadavg: 0.92 0.99 0.99 3/77 31865 /proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=4320 CPUtime=0.04 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 503 0 0 0 4 0 0 0 18 0 1 0 136372341 4423680 454 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 1080 454 307 324 0 149 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4320 [startup+0.101016 s] /proc/loadavg: 0.92 0.99 0.99 3/77 31865 /proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=4448 CPUtime=0.09 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 529 0 0 0 9 0 0 0 18 0 1 0 136372341 4554752 480 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 1112 480 312 324 0 181 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4448 [startup+0.301049 s] /proc/loadavg: 0.92 0.99 0.99 3/77 31865 /proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=5224 CPUtime=0.29 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 729 0 0 0 29 0 0 0 19 0 1 0 136372341 5349376 680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 1306 680 313 324 0 375 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5224 [startup+0.701113 s] /proc/loadavg: 0.92 0.99 0.99 3/77 31865 /proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=6516 CPUtime=0.69 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 1043 0 0 0 69 0 0 0 23 0 1 0 136372341 6672384 994 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 1629 994 313 324 0 698 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6516 [startup+1.50124 s] /proc/loadavg: 0.92 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1648728/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=8460 CPUtime=1.49 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 1549 0 0 0 148 1 0 0 25 0 1 0 136372341 8663040 1500 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 2115 1500 313 324 0 1184 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8460 [startup+3.1015 s] /proc/loadavg: 0.92 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1646296/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=11060 CPUtime=3.09 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 2191 0 0 0 307 2 0 0 25 0 1 0 136372341 11325440 2142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11366030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 2765 2142 313 324 0 1834 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11060 [startup+6.30202 s] /proc/loadavg: 0.93 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1641944/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=14692 CPUtime=6.29 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 3111 0 0 0 626 3 0 0 25 0 1 0 136372341 15044608 3062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 3673 3062 313 324 0 2742 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14692 [startup+12.7021 s] /proc/loadavg: 0.93 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1636760/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=19612 CPUtime=12.68 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 4340 0 0 0 1263 5 0 0 25 0 1 0 136372341 20082688 4291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 4903 4291 313 324 0 3972 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19612 [startup+25.5011 s] /proc/loadavg: 0.95 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1628632/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=27364 CPUtime=25.49 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 6282 0 0 0 2539 10 0 0 25 0 1 0 136372341 28020736 6233 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 6841 6233 313 324 0 5910 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27364 [startup+51.1013 s] /proc/loadavg: 0.97 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1618904/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=37196 CPUtime=51.07 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 8742 0 0 0 5092 15 0 0 25 0 1 0 136372341 38088704 8693 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550959 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 9299 8693 313 324 0 8368 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37196 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1613528/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=42492 CPUtime=102.26 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10058 0 0 0 10206 20 0 0 25 0 1 0 136372341 43511808 10009 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 10623 10009 313 324 0 9692 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42492 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1613336/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=42616 CPUtime=162.23 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10096 0 0 0 16198 25 0 0 25 0 1 0 136372341 43638784 10047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11355989 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 10654 10047 313 324 0 9723 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 42616 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1613272/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=42612 CPUtime=222.22 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10096 0 0 0 22189 33 0 0 25 0 1 0 136372341 43634688 10047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 10653 10047 313 324 0 9722 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 42612 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1610520/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=45312 CPUtime=282.2 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10786 0 0 0 28181 39 0 0 25 0 1 0 136372341 46399488 10704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 11328 10704 313 324 0 10397 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 45312 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 31866 /proc/meminfo: memFree=1610520/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=45312 CPUtime=342.18 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10802 0 0 0 34174 44 0 0 25 0 1 0 136372341 46399488 10720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 11328 10720 313 324 0 10397 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 45312 [startup+402.301 s] /proc/loadavg: 1.34 1.07 1.02 2/85 8119 /proc/meminfo: memFree=1595160/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=46572 CPUtime=402.02 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 11147 0 0 0 40152 50 0 0 25 0 1 0 136372341 47689728 11029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31865/statm: 11643 11029 313 324 0 10712 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 46572 [startup+462.301 s] /proc/loadavg: 1.93 1.28 1.09 5/85 27945 /proc/meminfo: memFree=1563352/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=54972 CPUtime=461.66 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 13265 0 0 0 46100 66 0 0 25 0 1 0 136372341 56291328 13111 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31865/statm: 13743 13111 313 324 0 12812 0 Current children cumulated CPU time (s) 461.66 Current children cumulated vsize (KiB) 54972 [startup+522.302 s] /proc/loadavg: 1.48 1.28 1.10 2/78 1679 /proc/meminfo: memFree=1559440/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=54972 CPUtime=521.56 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 13265 0 0 0 52085 71 0 0 25 0 1 0 136372341 56291328 13111 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 13743 13111 313 324 0 12812 0 Current children cumulated CPU time (s) 521.56 Current children cumulated vsize (KiB) 54972 [startup+582.302 s] /proc/loadavg: 1.17 1.23 1.09 2/78 1679 /proc/meminfo: memFree=1554448/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=59864 CPUtime=581.54 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 14555 0 0 0 58079 75 0 0 25 0 1 0 136372341 61300736 14361 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 14966 14361 313 324 0 14035 0 Current children cumulated CPU time (s) 581.54 Current children cumulated vsize (KiB) 59864 [startup+642.301 s] /proc/loadavg: 1.06 1.19 1.09 2/78 1679 /proc/meminfo: memFree=1554448/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=59864 CPUtime=641.52 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 14555 0 0 0 64074 78 0 0 25 0 1 0 136372341 61300736 14361 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 14966 14361 313 324 0 14035 0 Current children cumulated CPU time (s) 641.52 Current children cumulated vsize (KiB) 59864 ################ # More data... # ################ /proc/meminfo: memFree=1540376/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=73972 CPUtime=1061.39 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18196 0 0 0 106039 100 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 18493 17866 313 324 0 17562 0 Current children cumulated CPU time (s) 1061.39 Current children cumulated vsize (KiB) 73972 [startup+1122.3 s] /proc/loadavg: 1.07 1.05 1.05 2/78 1681 /proc/meminfo: memFree=1540376/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=73972 CPUtime=1121.37 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18196 0 0 0 112034 103 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 18493 17866 313 324 0 17562 0 Current children cumulated CPU time (s) 1121.37 Current children cumulated vsize (KiB) 73972 [startup+1182.3 s] /proc/loadavg: 1.02 1.04 1.04 2/78 1681 /proc/meminfo: memFree=1540568/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=73972 CPUtime=1181.35 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18196 0 0 0 118029 106 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 18493 17866 313 324 0 17562 0 Current children cumulated CPU time (s) 1181.35 Current children cumulated vsize (KiB) 73972 [startup+1242.3 s] /proc/loadavg: 1.01 1.03 1.04 2/78 1681 /proc/meminfo: memFree=1540440/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=73972 CPUtime=1241.33 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18244 0 0 0 124024 109 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 18493 17866 313 324 0 17562 0 Current children cumulated CPU time (s) 1241.33 Current children cumulated vsize (KiB) 73972 [startup+1302.3 s] /proc/loadavg: 1.07 1.04 1.04 2/78 1681 /proc/meminfo: memFree=1540504/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=73972 CPUtime=1301.32 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18244 0 0 0 130019 113 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 18493 17866 313 324 0 17562 0 Current children cumulated CPU time (s) 1301.32 Current children cumulated vsize (KiB) 73972 [startup+1362.3 s] /proc/loadavg: 1.08 1.04 1.04 2/78 1681 /proc/meminfo: memFree=1540440/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=73972 CPUtime=1361.29 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18293 0 0 0 136014 115 0 0 25 0 1 0 136372341 75747328 17867 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 18493 17867 313 324 0 17562 0 Current children cumulated CPU time (s) 1361.29 Current children cumulated vsize (KiB) 73972 [startup+1422.31 s] /proc/loadavg: 1.03 1.03 1.03 2/78 1681 /proc/meminfo: memFree=1540504/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=73972 CPUtime=1421.28 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18293 0 0 0 142009 119 0 0 25 0 1 0 136372341 75747328 17867 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 18493 17867 313 324 0 17562 0 Current children cumulated CPU time (s) 1421.28 Current children cumulated vsize (KiB) 73972 [startup+1482.3 s] /proc/loadavg: 1.01 1.02 1.03 2/78 1681 /proc/meminfo: memFree=1540568/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=73972 CPUtime=1481.25 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18293 0 0 0 148004 121 0 0 25 0 1 0 136372341 75747328 17867 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 18493 17867 313 324 0 17562 0 Current children cumulated CPU time (s) 1481.25 Current children cumulated vsize (KiB) 73972 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.02 2/78 1681 /proc/meminfo: memFree=1537496/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=76968 CPUtime=1541.24 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19088 0 0 0 154001 123 0 0 25 0 1 0 136372341 78815232 18609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19242 18609 313 324 0 18311 0 Current children cumulated CPU time (s) 1541.24 Current children cumulated vsize (KiB) 76968 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.01 2/78 1681 /proc/meminfo: memFree=1537496/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=76968 CPUtime=1601.21 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19088 0 0 0 159994 127 0 0 25 0 1 0 136372341 78815232 18609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19242 18609 313 324 0 18311 0 Current children cumulated CPU time (s) 1601.21 Current children cumulated vsize (KiB) 76968 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.01 2/78 1681 /proc/meminfo: memFree=1537560/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=76968 CPUtime=1661.2 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19088 0 0 0 165990 130 0 0 25 0 1 0 136372341 78815232 18609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11357692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19242 18609 313 324 0 18311 0 Current children cumulated CPU time (s) 1661.2 Current children cumulated vsize (KiB) 76968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1681 /proc/meminfo: memFree=1537560/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=76968 CPUtime=1721.18 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19088 0 0 0 171985 133 0 0 25 0 1 0 136372341 78815232 18609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19242 18609 313 324 0 18311 0 Current children cumulated CPU time (s) 1721.18 Current children cumulated vsize (KiB) 76968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1681 /proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=79288 CPUtime=1781.16 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 177979 137 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19822 19202 313 324 0 18891 0 Current children cumulated CPU time (s) 1781.16 Current children cumulated vsize (KiB) 79288 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1681 /proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=79288 CPUtime=1790.76 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 178939 137 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19822 19202 313 324 0 18891 0 Current children cumulated CPU time (s) 1790.76 Current children cumulated vsize (KiB) 79288 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1681 /proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=79288 CPUtime=1793.97 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179259 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19822 19202 313 324 0 18891 0 Current children cumulated CPU time (s) 1793.97 Current children cumulated vsize (KiB) 79288 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1681 /proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=79288 CPUtime=1797.16 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179578 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19822 19202 313 324 0 18891 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (KiB) 79288 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1681 /proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=79288 CPUtime=1798.76 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179738 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19822 19202 313 324 0 18891 0 Current children cumulated CPU time (s) 1798.76 Current children cumulated vsize (KiB) 79288 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1681 /proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=79288 CPUtime=1799.56 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179818 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19822 19202 313 324 0 18891 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (KiB) 79288 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1681 /proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956 [pid=31865] ppid=31863 vsize=79288 CPUtime=1799.96 /proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179858 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31865/statm: 19822 19202 313 324 0 18891 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 79288 Child status: 0 Real time (s): 1801.18 CPU time (s): 1800.04 CPU user time (s): 1798.65 CPU system time (s): 1.39679 CPU usage (%): 99.9369 Max. virtual memory (cumulated for all children) (KiB): 79500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.65 system time used= 1.39679 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19735 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= 36521 runsolver used 2.04169 second user time and 4.47132 second system time The end
Begin job on node3 on Sun Apr 15 02:15:46 UTC 2007 IDJOB= 351499 IDBENCH= 1770 IDSOLVER= 163 FILE ID= node3/351499-1176603346 PBS_JOBID= 4556809 Free space on /tmp= 66553 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/351499-1176603346/instance-351499-1176603346.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-351499-1176603346 -o ROOT/results/node3/solver-351499-1176603346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351499-1176603346/instance-351499-1176603346.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f36b59f1fcf0c7e8fce521b6b9823495 RANDOM SEED= 221761945 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1652856 kB Buffers: 39592 kB Cached: 274620 kB SwapCached: 2600 kB Active: 155840 kB Inactive: 182420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1652856 kB SwapTotal: 4192956 kB SwapFree: 4153856 kB Dirty: 4476 kB Writeback: 0 kB Mapped: 31920 kB Slab: 50312 kB Committed_AS: 4935664 kB PageTables: 1780 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= 66553 MiB End job on node3 on Sun Apr 15 02:45:47 UTC 2007