Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 304 | 1798 | 1798.52 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb |
MD5SUM | dcfce19ac0444148b26b7675e35c76bc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 304 |
Best CPU time to get the best result obtained on this benchmark | 0.030994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304 |
Optimality of the best value was proved | YES |
Number of variables | 257 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 97 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 173 |
Biggest coefficient in the objective function | 100 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 8448 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 100 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 8448 |
Number of bits of the biggest sum of numbers | 14 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2658053-1276484352.opb 0.00/0.00 c File size is 8127 bytes. 0.00/0.00 c Highest Coefficient sum: 8448 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 257 Constr: 182 126/56/0 Lit: 1026 Watch. Lit: 667 0.00/0.00 c Obj. Vars: 173 (67.3152 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 256 98 784 8 470 3017 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 908 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 39 256 138 2035 14 655 3285 40 6500 0.01 0.00/0.00 o 610 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 39 256 139 2169 15 758 3285 41 5571 0.01 0.00/0.00 o 608 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 53 256 154 2507 16 896 3285 56 6625 0.01 0.00/0.00 o 606 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 54 256 156 2707 17 1009 3285 58 6750 0.01 0.00/0.01 o 605 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 56 256 159 2938 18 1127 3285 61 6222 0.01 0.00/0.01 o 508 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 66 256 170 3502 20 1257 3285 72 6600 0.01 0.00/0.02 c 166 256 270 6908 25 1424 3614 172 8736 0.02 0.00/0.02 o 507 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 176 256 281 7315 26 1566 3285 183 8800 0.02 0.00/0.03 c 276 256 381 10173 26 1746 3614 283 10615 0.03 0.00/0.03 o 407 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 454 256 560 15045 26 2149 3285 462 11947 0.04 0.00/0.04 c 554 256 660 17300 26 2309 3614 562 12883 0.04 0.00/0.04 o 406 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 558 256 665 17463 26 2474 3285 567 12681 0.04 0.00/0.04 o 307 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 558 256 666 17597 26 2585 3285 568 12399 0.04 0.00/0.04 o 306 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 558 256 667 17731 26 2703 3285 569 12399 0.04 0.00/0.04 o 305 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 559 256 669 17893 26 2820 3285 571 12422 0.04 0.06/0.09 c 659 256 769 20401 26 2986 3614 671 12203 0.05 0.06/0.09 c 909 256 1019 26258 25 3418 3976 921 12452 0.07 0.06/0.09 o 304 1797.97/1798.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.52 c 1102 256 1213 30568 25 3980 3285 1115 12382 0.09 1797.97/1798.52 c 1202 256 1313 32690 24 4104 3614 1215 12265 0.10 1797.97/1798.52 c 1452 256 1563 37739 24 4634 3976 1465 11901 0.12 1797.97/1798.52 c 1928 256 2039 47262 23 5586 4374 1941 11476 0.17 1797.97/1798.52 c 2741 256 2852 63808 22 7212 4812 2754 10304 0.27 1797.97/1798.52 c 4061 256 4172 90456 21 9851 5294 4074 9004 0.45 1797.97/1798.52 c 6142 256 3538 71587 20 7458 5824 3440 7355 0.83 1797.97/1798.52 c 9365 256 3782 78572 20 7951 6407 3684 6771 1.38 1797.97/1798.52 c 14301 256 5465 113314 20 11315 7048 5367 6119 2.34 1797.97/1798.52 c 21807 256 5800 121167 20 11988 7753 5702 5623 3.88 1797.97/1798.52 c 33168 256 5333 106377 19 11047 8529 5235 4789 6.92 1797.97/1798.52 c 50312 256 5183 104971 20 10752 9382 5085 4357 11.55 1797.97/1798.52 c 76131 256 7243 148327 20 14876 10321 7145 3867 19.69 1797.97/1798.52 c 114964 256 9576 200973 20 19537 11354 9478 3565 32.25 1797.97/1798.52 c 173316 256 10580 219332 20 21550 12490 10482 3186 54.39 1797.97/1798.52 c 260948 256 9965 202672 20 20312 13740 9867 2861 91.19 1797.97/1798.52 c 392501 256 9903 212936 21 20196 15115 9805 2510 156.32 1797.97/1798.52 c 589933 254 9457 193998 20 19302 16627 9359 2289 257.62 1797.97/1798.52 c 886185 254 13088 279200 21 26561 18290 12990 2163 409.57 1797.97/1798.52 c 1330668 254 16130 336731 20 32644 20120 16032 1917 693.80 1797.97/1798.52 c 1997495 254 15895 342744 21 32178 22133 15797 1707 1169.89 1797.97/1798.52 c Resources Exceeded 1797.97/1798.52 v x134 -x178 x218 x4 x180 x8 x9 -x97 x185 -x225 x186 -x226 -x11 -x99 x143 -x187 x227 x100 x13 x14 x15 -x59 x104 -x61 -x105 x149 x230 x62 x20 -x108 -x109 x153 x22 -x110 -x154 -x111 x155 x112 x192 -x232 -x27 x71 x237 x118 -x198 x238 x199 -x239 x119 -x200 x240 x164 x121 -x202 x242 -x203 x243 -x122 x204 -x244 -x124 x168 -x206 x246 x125 x247 -x38 -x126 x170 -x208 x248 x127 x249 -x40 x172 x250 -x213 x253 x130 x214 -x254 x131 -x215 x255 x132 -x216 x256 x133 x257 -x2 -x46 -x90 -x91 -x179 -x48 -x220 -x222 -x224 -x53 -x141 -x12 -x56 -x144 -x228 -x57 -x145 -x229 -x58 -x146 -x103 -x147 -x16 -x148 -x18 -x150 -x19 -x63 -x107 x151 -x152 -x66 -x24 -x68 -x156 -x25 x69 -x113 -x157 x191 -x231 -x159 -x233 -x234 -x235 -x236 -x30 -x74 -x162 -x31 -x75 -x163 -x76 -x120 -x241 -x33 -x77 -x165 -x34 -x166 -x35 -x79 -x245 -x80 -x81 -x169 -x82 -x39 -x83 -x171 -x84 -x128 -x42 -x86 -x174 -x43 -x87 -x175 -x44 -x88 -x176 -x177 -x217 x1 -x3 -x5 -x6 x7 -x10 -x17 -x21 -x23 -x26 -x28 -x29 -x32 -x36 -x37 -x41 -x45 x47 x49 x50 -x51 -x52 x54 -x55 -x60 -x64 -x65 -x67 x70 x72 x73 x78 x85 -x89 -x92 -x93 -x94 -x95 -x96 -x98 -x101 -x102 -x106 -x114 -x115 -x116 -x117 -x123 -x129 -x135 -x136 -x137 -x138 -x139 -x140 -x142 -x158 -x160 -x161 x167 -x173 -x181 x182 -x183 x184 x188 x189 -x190 x193 x194 x195 x196 -x197 x201 x205 -x207 -x209 -x210 -x211 -x212 x219 x221 x223 x251 x252 1797.97/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.52 c 38 2844161 1075687 5485975 15975 320773 15877 1581 1798.00 1797.97/1798.52 c Objective: 304 1797.97/1798.52 s SATISFIABLE 1797.97/1798.52 c Total time: 1798 s
OK 304
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658053-1276484352/watcher-2658053-1276484352 -o /tmp/evaluation-result-2658053-1276484352/solver-2658053-1276484352 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2658053-1276484352.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/107 26719 /proc/meminfo: memFree=1748636/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=10792 CPUtime=0 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 336 0 0 0 0 0 0 0 20 0 1 0 22090913 11051008 253 1992294400 134512640 137138936 4289697040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 2698 253 192 642 0 2054 0 [startup+0.0652201 s] /proc/loadavg: 0.92 0.98 0.99 3/107 26719 /proc/meminfo: memFree=1748636/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=11176 CPUtime=0.06 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 430 0 0 0 6 0 0 0 20 0 1 0 22090913 11444224 347 1992294400 134512640 137138936 4289697040 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 2794 348 192 642 0 2150 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11176 [startup+0.101223 s] /proc/loadavg: 0.92 0.98 0.99 3/107 26719 /proc/meminfo: memFree=1748636/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=11308 CPUtime=0.09 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 474 0 0 0 9 0 0 0 20 0 1 0 22090913 11579392 391 1992294400 134512640 137138936 4289697040 18446744073709551615 136504017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 2827 391 192 642 0 2183 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11308 [startup+0.301241 s] /proc/loadavg: 0.92 0.98 0.99 3/107 26719 /proc/meminfo: memFree=1748636/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=11964 CPUtime=0.29 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 640 0 0 0 29 0 0 0 20 0 1 0 22090913 12251136 557 1992294400 134512640 137138936 4289697040 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 2991 557 192 642 0 2347 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11964 [startup+0.701277 s] /proc/loadavg: 0.92 0.98 0.99 3/107 26719 /proc/meminfo: memFree=1748636/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=12868 CPUtime=0.69 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 858 0 0 0 68 1 0 0 21 0 1 0 22090913 13176832 775 1992294400 134512640 137138936 4289697040 18446744073709551615 134575844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 3217 775 192 642 0 2573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12868 [startup+1.50135 s] /proc/loadavg: 0.92 0.98 0.99 2/108 26720 /proc/meminfo: memFree=1746148/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=13000 CPUtime=1.49 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 893 0 0 0 147 2 0 0 23 0 1 0 22090913 13312000 810 1992294400 134512640 137138936 4289697040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 3250 810 192 642 0 2606 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13000 [startup+3.10149 s] /proc/loadavg: 0.92 0.98 0.99 2/108 26720 /proc/meminfo: memFree=1745528/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=13524 CPUtime=3.09 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1025 0 0 0 306 3 0 0 25 0 1 0 22090913 13848576 942 1992294400 134512640 137138936 4289697040 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 3381 942 192 642 0 2737 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13524 [startup+6.30078 s] /proc/loadavg: 0.93 0.98 0.99 2/108 26720 /proc/meminfo: memFree=1744784/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=13780 CPUtime=6.29 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1082 0 0 0 623 6 0 0 25 0 1 0 22090913 14110720 999 1992294400 134512640 137138936 4289697040 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 3445 999 192 642 0 2801 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13780 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/108 26720 /proc/meminfo: memFree=1744536/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=14368 CPUtime=12.69 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1228 0 0 0 1257 12 0 0 25 0 1 0 22090913 14712832 1145 1992294400 134512640 137138936 4289697040 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 3592 1145 192 642 0 2948 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14368 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/108 26720 /proc/meminfo: memFree=1744040/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=14748 CPUtime=25.48 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1335 0 0 0 2526 22 0 0 25 0 1 0 22090913 15101952 1252 1992294400 134512640 137138936 4289697040 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 3687 1252 192 642 0 3043 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14748 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.99 2/108 26722 /proc/meminfo: memFree=1743420/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=15224 CPUtime=51.08 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1444 0 0 0 5067 41 0 0 25 0 1 0 22090913 15589376 1361 1992294400 134512640 137138936 4289697040 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 3806 1361 192 642 0 3162 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15224 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/108 26722 /proc/meminfo: memFree=1742304/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=16088 CPUtime=102.28 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1671 0 0 0 10151 77 0 0 25 0 1 0 22090913 16474112 1588 1992294400 134512640 137138936 4289697040 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4022 1588 192 642 0 3378 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 16088 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26733 /proc/meminfo: memFree=1741436/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=16640 CPUtime=162.24 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1808 0 0 0 16115 109 0 0 25 0 1 0 22090913 17039360 1725 1992294400 134512640 137138936 4289697040 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4160 1725 192 642 0 3516 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16640 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26735 /proc/meminfo: memFree=1741436/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=16640 CPUtime=222.23 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1808 0 0 0 22089 134 0 0 25 0 1 0 22090913 17039360 1725 1992294400 134512640 137138936 4289697040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4160 1725 192 642 0 3516 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 16640 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26737 /proc/meminfo: memFree=1740816/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=17232 CPUtime=282.2 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1966 0 0 0 28059 161 0 0 25 0 1 0 22090913 17645568 1883 1992294400 134512640 137138936 4289697040 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4308 1883 192 642 0 3664 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 17232 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26737 /proc/meminfo: memFree=1740816/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=17328 CPUtime=342.19 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1983 0 0 0 34029 190 0 0 25 0 1 0 22090913 17743872 1900 1992294400 134512640 137138936 4289697040 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4332 1900 192 642 0 3688 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 17328 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26739 /proc/meminfo: memFree=1740816/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=17328 CPUtime=402.17 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 1983 0 0 0 39998 219 0 0 25 0 1 0 22090913 17743872 1900 1992294400 134512640 137138936 4289697040 18446744073709551615 134576399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4332 1900 192 642 0 3688 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 17328 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26741 /proc/meminfo: memFree=1740320/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=17848 CPUtime=462.15 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2120 0 0 0 45976 239 0 0 25 0 1 0 22090913 18276352 2037 1992294400 134512640 137138936 4289697040 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4462 2037 192 642 0 3818 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 17848 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26743 /proc/meminfo: memFree=1740320/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=17848 CPUtime=522.14 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2120 0 0 0 51951 263 0 0 25 0 1 0 22090913 18276352 2037 1992294400 134512640 137138936 4289697040 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4462 2037 192 642 0 3818 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 17848 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26745 /proc/meminfo: memFree=1740320/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=17920 CPUtime=582.12 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2126 0 0 0 57929 283 0 0 25 0 1 0 22090913 18350080 2043 1992294400 134512640 137138936 4289697040 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4480 2043 192 642 0 3836 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 17920 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26745 /proc/meminfo: memFree=1740196/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=17920 CPUtime=642.1 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2134 0 0 0 63899 311 0 0 25 0 1 0 22090913 18350080 2051 1992294400 134512640 137138936 4289697040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4480 2051 192 642 0 3836 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 17920 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1738956/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=18888 CPUtime=1061.97 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2371 0 0 0 105721 476 0 0 25 0 1 0 22090913 19341312 2288 1992294400 134512640 137138936 4289697040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4722 2288 192 642 0 4078 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 18888 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26759 /proc/meminfo: memFree=1738832/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=18888 CPUtime=1121.96 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2371 0 0 0 111695 501 0 0 25 0 1 0 22090913 19341312 2288 1992294400 134512640 137138936 4289697040 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4722 2288 192 642 0 4078 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 18888 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26761 /proc/meminfo: memFree=1738212/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19472 CPUtime=1181.94 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2518 0 0 0 117674 520 0 0 25 0 1 0 22090913 19939328 2435 1992294400 134512640 137138936 4289697040 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4868 2435 192 642 0 4224 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 19472 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26761 /proc/meminfo: memFree=1737964/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19472 CPUtime=1241.93 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2518 0 0 0 123652 541 0 0 25 0 1 0 22090913 19939328 2435 1992294400 134512640 137138936 4289697040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4868 2435 192 642 0 4224 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 19472 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 26763 /proc/meminfo: memFree=1737964/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19472 CPUtime=1301.92 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2518 0 0 0 129629 563 0 0 25 0 1 0 22090913 19939328 2435 1992294400 134512640 137138936 4289697040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4868 2435 192 642 0 4224 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 19472 [startup+1362.3 s] /proc/loadavg: 1.03 1.00 1.00 2/108 26765 /proc/meminfo: memFree=1737840/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19572 CPUtime=1361.89 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 135604 585 0 0 25 0 1 0 22090913 20041728 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134542181 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4893 2459 192 642 0 4249 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 19572 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/108 26767 /proc/meminfo: memFree=1737840/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19568 CPUtime=1421.88 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 141580 608 0 0 25 0 1 0 22090913 20037632 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4892 2459 192 642 0 4248 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 19568 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26769 /proc/meminfo: memFree=1737840/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19568 CPUtime=1481.86 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 147551 635 0 0 25 0 1 0 22090913 20037632 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4892 2459 192 642 0 4248 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 19568 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26769 /proc/meminfo: memFree=1737840/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19556 CPUtime=1541.85 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 153522 663 0 0 25 0 1 0 22090913 20025344 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4889 2459 192 642 0 4245 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 19556 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26771 /proc/meminfo: memFree=1737716/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19552 CPUtime=1601.82 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 159495 687 0 0 25 0 1 0 22090913 20021248 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 136505593 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4888 2459 192 642 0 4244 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 19552 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26773 /proc/meminfo: memFree=1737716/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19552 CPUtime=1661.81 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 165475 706 0 0 25 0 1 0 22090913 20021248 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4888 2459 192 642 0 4244 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 19552 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26775 /proc/meminfo: memFree=1737592/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19548 CPUtime=1721.79 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 171454 725 0 0 25 0 1 0 22090913 20017152 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4887 2459 192 642 0 4243 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 19548 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26777 /proc/meminfo: memFree=1737344/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19548 CPUtime=1781.77 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 177434 743 0 0 25 0 1 0 22090913 20017152 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4887 2459 192 642 0 4243 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 19548 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26777 /proc/meminfo: memFree=1737344/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19548 CPUtime=1791.38 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 178393 745 0 0 25 0 1 0 22090913 20017152 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4887 2459 192 642 0 4243 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 19548 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26777 /proc/meminfo: memFree=1737344/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19548 CPUtime=1794.58 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 178712 746 0 0 25 0 1 0 22090913 20017152 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4887 2459 192 642 0 4243 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 19548 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26777 /proc/meminfo: memFree=1737344/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19548 CPUtime=1796.17 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 178871 746 0 0 25 0 1 0 22090913 20017152 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4887 2459 192 642 0 4243 0 Current children cumulated CPU time (s) 1796.17 Current children cumulated vsize (KiB) 19548 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26777 /proc/meminfo: memFree=1737344/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19548 CPUtime=1796.97 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 178951 746 0 0 25 0 1 0 22090913 20017152 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4887 2459 192 642 0 4243 0 Current children cumulated CPU time (s) 1796.97 Current children cumulated vsize (KiB) 19548 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26777 /proc/meminfo: memFree=1737344/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19548 CPUtime=1797.77 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 179031 746 0 0 25 0 1 0 22090913 20017152 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4887 2459 192 642 0 4243 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 19548 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26777 /proc/meminfo: memFree=1737344/2059040 swapFree=4140108/4192956 [pid=26719] ppid=26717 vsize=19548 CPUtime=1797.97 /proc/26719/stat : 26719 (bsolo_pb10) R 26717 26719 25828 0 -1 4202496 2542 0 0 0 179051 746 0 0 25 0 1 0 22090913 20017152 2459 1992294400 134512640 137138936 4289697040 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26719/statm: 4887 2459 192 642 0 4243 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 19548 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798 CPU user time (s): 1790.53 CPU system time (s): 7.46986 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 19572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.53 system time used= 7.46986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2543 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= 6818 runsolver used 2.85257 second user time and 8.60669 second system time The end
Begin job on node025 at 2010-06-14 04:59:12 IDJOB=2658053 IDBENCH=2232 IDSOLVER=1163 FILE ID=node025/2658053-1276484352 PBS_JOBID= 11173381 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658053-1276484352/watcher-2658053-1276484352 -o /tmp/evaluation-result-2658053-1276484352/solver-2658053-1276484352 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2658053-1276484352.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc RANDOM SEED=622401363 node025.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.242 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.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1749164 kB Buffers: 81332 kB Cached: 136428 kB SwapCached: 6876 kB Active: 100848 kB Inactive: 130484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1749164 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 11340 kB Mapped: 12860 kB Slab: 56692 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181824 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= 62568 MiB End job on node025 at 2010-06-14 05:29:10