Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 218.563 | 218.632 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb |
MD5SUM | 1cc97335e4341ed075b6e9adcc382d23 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.417936 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 96 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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-2670576-1276702744.opb 0.00/0.00 c File size is 18984 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.00 c Pre-processing Time: 0.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 106.16/106.23 c 101 352 626 8249 13 2060 3244 101 5941 0.02 106.16/106.23 c 251 352 776 21163 27 2342 3569 251 6783 0.04 106.16/106.23 c 476 352 1001 35866 35 2793 3926 476 7803 0.06 106.16/106.23 c 815 352 1340 58480 43 3503 4319 815 7836 0.10 106.16/106.23 c 1324 352 1849 96206 52 4519 4751 1324 7609 0.17 106.16/106.23 c 2087 352 2612 143161 54 6011 5227 2087 7427 0.28 106.16/106.23 c 3233 352 3758 213057 56 8290 5750 3233 6453 0.50 106.16/106.23 c 4955 352 5480 314835 57 11711 6326 4955 4989 0.99 106.16/106.23 c 7540 352 4844 255532 52 10437 6959 4319 3753 2.01 106.16/106.23 c 11420 352 5181 276342 53 11140 7655 4656 3353 3.40 106.16/106.23 c 17242 352 7115 385991 54 15022 8421 6590 3010 5.73 106.16/106.23 c 25979 352 7195 435354 60 15148 9264 6670 2970 8.75 106.16/106.23 c 39089 352 5865 321195 54 12476 10191 5340 2795 13.98 106.16/106.23 c 58760 352 9485 582901 61 19719 11211 8960 2459 23.89 106.16/106.23 c 88270 352 9881 591692 59 20536 12333 9356 2242 39.37 106.16/106.23 c 132542 352 8948 559439 62 18657 13567 8423 1908 69.44 106.16/106.23 o 9 106.46/106.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 106.46/106.55 c 186610 351 13440 784921 58 27617 2965 12915 1757 106.20 106.46/106.55 c 186711 332 2111 104414 49 5032 3262 1586 1756 106.31 106.46/106.55 c 186962 332 2362 122592 51 5498 3589 1837 1758 106.34 106.46/106.55 c 187438 332 2838 155790 54 6454 3948 2313 1761 106.42 106.46/106.55 o 5 109.16/109.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 109.16/109.27 c 187879 332 3280 186354 56 7363 2961 2755 1763 106.52 109.16/109.27 c 187980 332 3381 193102 57 7563 3258 2856 1764 106.55 109.16/109.27 c 188230 332 3631 209540 57 8047 3584 3106 1765 106.63 109.16/109.27 c 188705 332 4106 239879 58 8980 3943 3581 1767 106.77 109.16/109.27 c 189519 332 2863 156408 54 6466 4338 2338 1770 107.02 109.16/109.27 c 190839 332 4183 242766 58 9117 4772 3658 1774 107.53 109.16/109.27 c 192921 301 3787 221286 58 8342 5250 3262 1782 108.23 109.16/109.27 o 3 218.52/218.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 218.52/218.63 c 195737 301 3857 220846 57 8541 2955 3332 1791 109.24 218.52/218.63 c 195837 280 2110 99061 46 4968 3251 1585 1792 109.27 218.52/218.63 c 196087 280 2360 115260 48 5513 3577 1835 1793 109.33 218.52/218.63 c 196562 280 2835 147070 51 6468 3935 2310 1795 109.44 218.52/218.63 c 197375 280 3648 199243 54 8025 4329 3123 1799 109.69 218.52/218.63 c 198695 280 2703 140871 52 6160 4762 2178 1803 110.18 218.52/218.63 c 200777 280 4785 276470 57 10343 5239 4260 1811 110.83 218.52/218.63 c 204001 280 5279 305795 57 11296 5763 4754 1820 112.08 218.52/218.63 c 208937 280 4023 223000 55 8832 6340 3498 1837 113.73 218.52/218.63 c 216444 280 4634 280985 60 10065 6975 4109 1863 116.14 218.52/218.63 c 227806 280 4675 264391 56 10131 7673 4150 1894 120.24 218.52/218.63 c 244950 280 5738 346827 60 12281 8441 5213 1941 126.18 218.52/218.63 c 270770 280 5202 289901 55 11188 9286 4677 1944 139.25 218.52/218.63 c 309602 280 9772 575856 58 20320 10215 9247 1939 159.65 218.52/218.63 c 367954 279 10008 592439 59 20800 11237 9483 1918 191.76 218.52/218.63 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 -x19 -x20 x21 x22 x23 x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 x34 x35 x36 -x37 -x38 x39 x40 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 x89 -x90 x91 x92 -x93 -x94 -x95 -x96 218.52/218.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 218.52/218.63 c 42 408593 4092 423678 10471 607261 9946 1869 218.56 218.52/218.63 c Objective: 3 218.52/218.63 s OPTIMUM FOUND 218.52/218.63 c Total time: 218.559 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670576-1276702744/watcher-2670576-1276702744 -o /tmp/evaluation-result-2670576-1276702744/solver-2670576-1276702744 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670576-1276702744.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.99 0.99 0.91 3/106 10313 /proc/meminfo: memFree=1781400/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=10924 CPUtime=0 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 45876141 11186176 272 1992294400 134512640 137138936 4291720384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 2731 272 185 642 0 2087 0 [startup+0.0984261 s] /proc/loadavg: 0.99 0.99 0.91 3/106 10313 /proc/meminfo: memFree=1781400/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=11564 CPUtime=0.09 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 548 0 0 0 9 0 0 0 20 0 1 0 45876141 11841536 461 1992294400 134512640 137138936 4291720384 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 2891 461 190 642 0 2247 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11564 [startup+0.100426 s] /proc/loadavg: 0.99 0.99 0.91 3/106 10313 /proc/meminfo: memFree=1781400/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=11564 CPUtime=0.09 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 551 0 0 0 9 0 0 0 20 0 1 0 45876141 11841536 464 1992294400 134512640 137138936 4291720384 18446744073709551615 134599978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 2891 464 190 642 0 2247 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11564 [startup+0.300448 s] /proc/loadavg: 0.99 0.99 0.91 3/106 10313 /proc/meminfo: memFree=1781400/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=12968 CPUtime=0.29 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 879 0 0 0 29 0 0 0 20 0 1 0 45876141 13279232 792 1992294400 134512640 137138936 4291720384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 3242 792 190 642 0 2598 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12968 [startup+0.700492 s] /proc/loadavg: 0.99 0.99 0.91 3/106 10313 /proc/meminfo: memFree=1781400/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=14508 CPUtime=0.69 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 1272 0 0 0 69 0 0 0 20 0 1 0 45876141 14856192 1185 1992294400 134512640 137138936 4291720384 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 3627 1185 190 642 0 2983 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14508 [startup+1.50058 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10314 /proc/meminfo: memFree=1776556/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=16296 CPUtime=1.49 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 1724 0 0 0 149 0 0 0 23 0 1 0 45876141 16687104 1637 1992294400 134512640 137138936 4291720384 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 4074 1637 190 642 0 3430 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16296 [startup+3.10076 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10314 /proc/meminfo: memFree=1775068/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=16924 CPUtime=3.09 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 1880 0 0 0 308 1 0 0 25 0 1 0 45876141 17330176 1793 1992294400 134512640 137138936 4291720384 18446744073709551615 136511151 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 4231 1793 190 642 0 3587 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16924 [startup+6.30111 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10314 /proc/meminfo: memFree=1773952/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=17560 CPUtime=6.29 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 2041 0 0 0 626 3 0 0 25 0 1 0 45876141 17981440 1954 1992294400 134512640 137138936 4291720384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 4390 1954 190 642 0 3746 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17560 [startup+12.7008 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10314 /proc/meminfo: memFree=1771720/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=19708 CPUtime=12.69 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 2580 0 0 0 1263 6 0 0 25 0 1 0 45876141 20180992 2493 1992294400 134512640 137138936 4291720384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 4927 2493 190 642 0 4283 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19708 [startup+25.5002 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10314 /proc/meminfo: memFree=1769984/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=21608 CPUtime=25.48 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3051 0 0 0 2537 11 0 0 25 0 1 0 45876141 22126592 2964 1992294400 134512640 137138936 4291720384 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5402 2964 190 642 0 4758 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21608 [startup+51.1011 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10314 /proc/meminfo: memFree=1767876/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23712 CPUtime=51.08 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3570 0 0 0 5089 19 0 0 25 0 1 0 45876141 24281088 3483 1992294400 134512640 137138936 4291720384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5928 3483 190 642 0 5284 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23712 [startup+102.308 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10316 /proc/meminfo: memFree=1767504/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=24056 CPUtime=102.27 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3658 0 0 0 10194 33 0 0 25 0 1 0 45876141 24633344 3571 1992294400 134512640 137138936 4291720384 18446744073709551615 136297622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 6014 3571 190 642 0 5370 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24056 [startup+162.3 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10318 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=162.24 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 16169 55 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 23880 Solver just ended. Dumping a history of the last processes samples [startup+179.1 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10318 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=179.04 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 17845 59 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 23880 [startup+204.701 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10318 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=204.63 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 20396 67 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 134617952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 204.63 Current children cumulated vsize (KiB) 23880 [startup+211.102 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10320 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=211.03 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 21034 69 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 211.03 Current children cumulated vsize (KiB) 23880 [startup+214.301 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10320 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=214.22 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 21352 70 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 214.22 Current children cumulated vsize (KiB) 23880 [startup+215.901 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10320 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=215.82 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 21512 70 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 215.82 Current children cumulated vsize (KiB) 23880 [startup+217.501 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10320 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=217.43 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 21672 71 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 217.43 Current children cumulated vsize (KiB) 23880 [startup+218.302 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10320 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=218.22 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 21751 71 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 218.22 Current children cumulated vsize (KiB) 23880 [startup+218.502 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10320 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=218.42 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 21771 71 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 218.42 Current children cumulated vsize (KiB) 23880 [startup+218.602 s] /proc/loadavg: 0.99 0.99 0.91 2/107 10320 /proc/meminfo: memFree=1767380/2059040 swapFree=4140260/4192956 [pid=10313] ppid=10311 vsize=23880 CPUtime=218.52 /proc/10313/stat : 10313 (bsolo_pb10) R 10311 10313 9540 0 -1 4202496 3659 0 0 0 21781 71 0 0 25 0 1 0 45876141 24453120 3545 1992294400 134512640 137138936 4291720384 18446744073709551615 134572786 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10313/statm: 5970 3545 191 642 0 5326 0 Current children cumulated CPU time (s) 218.52 Current children cumulated vsize (KiB) 23880 Child status: 0 Real time (s): 218.632 CPU time (s): 218.563 CPU user time (s): 217.846 CPU system time (s): 0.716891 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 24056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 217.846 system time used= 0.716891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3660 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= 908 runsolver used 0.371943 second user time and 1.02784 second system time The end
Begin job on node009 at 2010-06-16 17:39:04 IDJOB=2670576 IDBENCH=48004 IDSOLVER=1163 FILE ID=node009/2670576-1276702744 PBS_JOBID= 11174125 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670576-1276702744/watcher-2670576-1276702744 -o /tmp/evaluation-result-2670576-1276702744/solver-2670576-1276702744 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670576-1276702744.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1cc97335e4341ed075b6e9adcc382d23 RANDOM SEED=968687400 node009.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.199 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.39 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.199 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: 1782176 kB Buffers: 57588 kB Cached: 124232 kB SwapCached: 6060 kB Active: 80840 kB Inactive: 114184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1782176 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 3976 kB Writeback: 0 kB AnonPages: 11700 kB Mapped: 13104 kB Slab: 60120 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180360 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670576-1276702744.opb Free space on /tmp at the end= 62552 MiB End job on node009 at 2010-06-16 17:42:43