Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -25 | 1798.03 | 1798.95 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
MD5SUM | 65bafde3eb06761afc4fe90b6aa8c264 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -28 |
Best CPU time to get the best result obtained on this benchmark | 1796.4 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 17827 |
Number of constraints which are clauses | 17827 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 450 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 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 HOME/instance-1878469-1245163928.opb 0.00/0.00 c File size is 422137 bytes. 0.00/0.05 c Highest Coefficient sum: 450 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.051 s 0.00/0.05 c Var: 450 Constr: 17827 17827/0/0 Lit: 35654 Watch. Lit: 35654 0.00/0.05 c Obj. Vars: 450 (100 % of total variables) 0.09/0.19 c Pre-processing Time: 0.196 s 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 450 17827 35654 2 35654 5942 0 0 0.20 0.09/0.19 c Switching off lower bounding mode. 0.09/0.20 o -22 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 450 17828 36104 2 35678 6942 1 0 0.20 0.19/0.20 o -23 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 9 450 17838 40381 2 35721 6942 11 44 0.20 0.19/0.23 c 109 450 17938 82704 4 35921 7637 111 469 0.23 0.19/0.23 o -24 119.84/119.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 119.84/119.95 c 111 450 17941 83998 4 35951 6942 114 474 0.23 119.84/119.95 c 211 450 18041 126226 6 36151 7637 214 796 0.27 119.84/119.95 c 461 450 18291 231689 12 36651 8401 464 1336 0.34 119.84/119.95 c 937 450 18767 432613 23 37603 9242 940 1798 0.52 119.84/119.95 c 1750 450 19580 775213 39 39229 10167 1753 2090 0.84 119.84/119.95 c 3070 450 20900 1332919 63 41869 11184 3073 2029 1.51 119.84/119.95 c 5153 450 22983 2211067 96 46035 12303 5156 1777 2.90 119.84/119.95 c 8376 450 26206 3570670 136 52481 13534 8379 1260 6.64 119.84/119.95 c 13312 450 31142 5653079 181 62353 14888 13315 1156 11.51 119.84/119.95 c 20818 450 30790 5503887 178 61604 16377 12963 1050 19.81 119.84/119.95 c 32180 450 33529 6649915 198 67082 18015 15702 911 35.31 119.84/119.95 c 49325 450 31788 5923337 186 63600 19817 13961 799 61.72 119.84/119.95 c 75144 450 36941 8082558 218 73906 21799 19114 642 116.92 119.84/119.95 o -25 1797.98/1798.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.91 c 78239 450 28613 4576296 159 57251 6942 10786 647 120.85 1797.98/1798.91 c 78339 450 21399 1543113 72 42823 7637 3572 647 121.06 1797.98/1798.91 c 78590 450 21650 1648733 76 43325 8401 3823 648 121.16 1797.98/1798.91 c 79065 450 22125 1848842 83 44275 9242 4298 651 121.43 1797.98/1798.91 c 79878 450 22938 2191552 95 45901 10167 5111 655 121.81 1797.98/1798.91 c 81200 450 24260 2748051 113 48545 11184 6433 662 122.49 1797.98/1798.91 c 83281 450 26341 3623801 137 52707 12303 8514 673 123.61 1797.98/1798.91 c 86505 450 29565 4980696 168 59155 13534 11738 688 125.63 1797.98/1798.91 c 91441 450 27302 4021025 147 54629 14888 9475 704 129.76 1797.98/1798.91 c 98947 450 26934 3864322 143 53893 16377 9107 716 138.19 1797.98/1798.91 c 110308 450 29678 5019552 169 59381 18015 11851 726 151.93 1797.98/1798.91 c 127453 450 27962 4294845 153 55949 19817 10135 701 181.61 1797.98/1798.91 c 153272 450 33117 6462185 195 66259 21799 15290 634 241.45 1797.98/1798.91 c 192105 450 37747 8414959 222 75519 23979 19920 580 331.10 1797.98/1798.91 c 250457 450 28850 4664998 161 57725 26377 11023 510 491.04 1797.98/1798.91 c 338089 450 37552 8337892 222 75129 29015 19725 461 733.21 1797.98/1798.91 c 469641 450 41190 9864167 239 82405 31917 23363 416 1128.92 1797.98/1798.91 c 667073 450 48781 13031171 267 97587 35109 30954 401 1659.82 1797.98/1798.91 c Resources Exceeded 1797.98/1798.91 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1797.98/1798.91 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.91 c 34 715224 57960 785990 48410 12898742 30583 397 1798.00 1797.98/1798.91 c Objective: -25 1797.98/1798.91 s SATISFIABLE 1797.98/1798.91 c Total time: 1798 s
OK -25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878469-1245163928/watcher-1878469-1245163928 -o /tmp/evaluation-result-1878469-1245163928/solver-1878469-1245163928 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878469-1245163928.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3154 /proc/meminfo: memFree=1853920/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=11132 CPUtime=0 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 183985761 11399168 247 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 2783 248 176 640 0 2035 0 [startup+0.00868308 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3154 /proc/meminfo: memFree=1853920/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=11268 CPUtime=0 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 300 0 0 0 0 0 0 0 18 0 1 0 183985761 11538432 284 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 2817 284 183 640 0 2069 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11268 [startup+0.101695 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3154 /proc/meminfo: memFree=1853920/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=13816 CPUtime=0.09 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 1150 0 0 0 9 0 0 0 18 0 1 0 183985761 14147584 1030 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 3454 1030 190 640 0 2810 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13816 [startup+0.301723 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3154 /proc/meminfo: memFree=1853920/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=15044 CPUtime=0.29 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 1571 0 0 0 28 1 0 0 19 0 1 0 183985761 15405056 1343 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 3761 1343 196 640 0 3117 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15044 [startup+0.70178 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3154 /proc/meminfo: memFree=1853920/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=21020 CPUtime=0.69 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 3062 0 0 0 67 2 0 0 23 0 1 0 183985761 21524480 2834 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 5255 2834 196 640 0 4611 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21020 [startup+1.50189 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3155 /proc/meminfo: memFree=1839256/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=29968 CPUtime=1.49 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 5305 0 0 0 146 3 0 0 25 0 1 0 183985761 30687232 5077 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 7492 5077 196 640 0 6848 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29968 [startup+3.10112 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3155 /proc/meminfo: memFree=1828696/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=43216 CPUtime=3.09 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 8623 0 0 0 303 6 0 0 25 0 1 0 183985761 44253184 8395 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 10804 8395 196 640 0 10160 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43216 [startup+6.30157 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3155 /proc/meminfo: memFree=1808480/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=58324 CPUtime=6.28 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 12387 0 0 0 621 7 0 0 25 0 1 0 183985761 59723776 12159 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 14581 12159 196 640 0 13937 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 58324 [startup+12.7025 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3155 /proc/meminfo: memFree=1774880/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=92708 CPUtime=12.68 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 20975 0 0 0 1256 12 0 0 25 0 1 0 183985761 94932992 20747 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 23177 20747 196 640 0 22533 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 92708 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3155 /proc/meminfo: memFree=1758880/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=105320 CPUtime=25.48 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 24141 0 0 0 2532 16 0 0 25 0 1 0 183985761 107847680 23913 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 26330 23913 196 640 0 25686 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 105320 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3155 /proc/meminfo: memFree=1749920/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=114184 CPUtime=51.07 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 26367 0 0 0 5086 21 0 0 25 0 1 0 183985761 116924416 26139 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 28546 26139 196 640 0 27902 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 114184 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3155 /proc/meminfo: memFree=1739808/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=124244 CPUtime=102.25 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 28875 0 0 0 10196 29 0 0 25 0 1 0 183985761 127225856 28647 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 31061 28647 196 640 0 30417 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 124244 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3157 /proc/meminfo: memFree=1728928/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=134852 CPUtime=162.21 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 31529 0 0 0 16183 38 0 0 25 0 1 0 183985761 138088448 31301 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 33713 31301 196 640 0 33069 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 134852 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3157 /proc/meminfo: memFree=1728928/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=134852 CPUtime=222.18 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 31529 0 0 0 22175 43 0 0 25 0 1 0 183985761 138088448 31301 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 33713 31301 196 640 0 33069 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 134852 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3157 /proc/meminfo: memFree=1728928/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=134936 CPUtime=282.15 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 31550 0 0 0 28166 49 0 0 25 0 1 0 183985761 138174464 31322 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 33734 31322 196 640 0 33090 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 134936 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3157 /proc/meminfo: memFree=1717280/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=146692 CPUtime=342.12 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 34491 0 0 0 34157 55 0 0 25 0 1 0 183985761 150212608 34263 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 36673 34263 196 640 0 36029 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 146692 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3157 /proc/meminfo: memFree=1717216/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=146732 CPUtime=402.09 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 34500 0 0 0 40148 61 0 0 25 0 1 0 183985761 150253568 34272 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 36683 34272 196 640 0 36039 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 146732 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3157 /proc/meminfo: memFree=1717216/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=146716 CPUtime=462.06 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 34500 0 0 0 46140 66 0 0 25 0 1 0 183985761 150237184 34272 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 36679 34272 196 640 0 36035 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 146716 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3157 /proc/meminfo: memFree=1704032/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=159824 CPUtime=522.02 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 37776 0 0 0 52128 74 0 0 25 0 1 0 183985761 163659776 37548 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 39956 37548 196 640 0 39312 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 159824 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1703712/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=159984 CPUtime=581.99 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 37816 0 0 0 58121 78 0 0 25 0 1 0 183985761 163823616 37588 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 39996 37588 196 640 0 39352 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 159984 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1703712/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=159984 CPUtime=641.98 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 37822 0 0 0 64114 84 0 0 25 0 1 0 183985761 163823616 37594 1992294400 134512640 137136520 4294956256 18446744073709551615 136499644 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 39996 37594 196 640 0 39352 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 159984 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1689248/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=174300 CPUtime=1061.76 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 41424 0 0 0 106054 122 0 0 25 0 1 0 183985761 178483200 41173 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 43575 41173 196 640 0 42931 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 174300 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1689248/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=174300 CPUtime=1121.73 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 41424 0 0 0 112046 127 0 0 25 0 1 0 183985761 178483200 41173 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 43575 41173 196 640 0 42931 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 174300 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1673760/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=189816 CPUtime=1181.68 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 45303 0 0 0 118034 134 0 0 25 0 1 0 183985761 194371584 45052 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 47454 45052 196 640 0 46810 0 Current children cumulated CPU time (s) 1181.68 Current children cumulated vsize (KiB) 189816 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1673696/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=189792 CPUtime=1241.66 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 45303 0 0 0 124027 139 0 0 25 0 1 0 183985761 194347008 45046 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 47448 45046 196 640 0 46804 0 Current children cumulated CPU time (s) 1241.66 Current children cumulated vsize (KiB) 189792 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1673632/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=189792 CPUtime=1301.63 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 45303 0 0 0 130019 144 0 0 25 0 1 0 183985761 194347008 45046 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 47448 45046 196 640 0 46804 0 Current children cumulated CPU time (s) 1301.63 Current children cumulated vsize (KiB) 189792 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1673568/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=189776 CPUtime=1361.6 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 45303 0 0 0 136012 148 0 0 25 0 1 0 183985761 194330624 45042 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 47444 45042 196 640 0 46800 0 Current children cumulated CPU time (s) 1361.6 Current children cumulated vsize (KiB) 189776 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1673568/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=189776 CPUtime=1421.58 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 45303 0 0 0 142006 152 0 0 25 0 1 0 183985761 194330624 45042 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 47444 45042 196 640 0 46800 0 Current children cumulated CPU time (s) 1421.58 Current children cumulated vsize (KiB) 189776 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1673568/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=189776 CPUtime=1481.54 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 45303 0 0 0 147997 157 0 0 25 0 1 0 183985761 194330624 45042 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 47444 45042 196 640 0 46800 0 Current children cumulated CPU time (s) 1481.54 Current children cumulated vsize (KiB) 189776 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1673568/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=189776 CPUtime=1541.5 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 45303 0 0 0 153987 163 0 0 25 0 1 0 183985761 194330624 45042 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 47444 45042 196 640 0 46800 0 Current children cumulated CPU time (s) 1541.5 Current children cumulated vsize (KiB) 189776 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1673696/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=189676 CPUtime=1601.47 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 45303 0 0 0 159979 168 0 0 25 0 1 0 183985761 194228224 45017 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 47419 45017 196 640 0 46775 0 Current children cumulated CPU time (s) 1601.47 Current children cumulated vsize (KiB) 189676 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1673696/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=189676 CPUtime=1661.44 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 45303 0 0 0 165971 173 0 0 25 0 1 0 183985761 194228224 45017 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 47419 45017 196 640 0 46775 0 Current children cumulated CPU time (s) 1661.44 Current children cumulated vsize (KiB) 189676 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1656288/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=207032 CPUtime=1721.41 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 49677 0 0 0 171959 182 0 0 25 0 1 0 183985761 212000768 49356 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 51758 49356 196 640 0 51114 0 Current children cumulated CPU time (s) 1721.41 Current children cumulated vsize (KiB) 207032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1656096/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=207396 CPUtime=1781.39 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 49736 0 0 0 177952 187 0 0 25 0 1 0 183985761 212373504 49415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543822 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 51849 49415 196 640 0 51205 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (KiB) 207396 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1656096/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=207396 CPUtime=1790.99 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 49736 0 0 0 178912 187 0 0 25 0 1 0 183985761 212373504 49415 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 51849 49415 196 640 0 51205 0 Current children cumulated CPU time (s) 1790.99 Current children cumulated vsize (KiB) 207396 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1656096/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=207396 CPUtime=1794.18 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 49736 0 0 0 179231 187 0 0 25 0 1 0 183985761 212373504 49415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 51849 49415 196 640 0 51205 0 Current children cumulated CPU time (s) 1794.18 Current children cumulated vsize (KiB) 207396 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1656096/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=207396 CPUtime=1795.78 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 49736 0 0 0 179390 188 0 0 25 0 1 0 183985761 212373504 49415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543787 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 51849 49415 196 640 0 51205 0 Current children cumulated CPU time (s) 1795.78 Current children cumulated vsize (KiB) 207396 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1656096/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=207396 CPUtime=1797.38 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 49736 0 0 0 179550 188 0 0 25 0 1 0 183985761 212373504 49415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 51849 49415 196 640 0 51205 0 Current children cumulated CPU time (s) 1797.38 Current children cumulated vsize (KiB) 207396 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1656096/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=207396 CPUtime=1797.78 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 49736 0 0 0 179590 188 0 0 25 0 1 0 183985761 212373504 49415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 51849 49415 196 640 0 51205 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 207396 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3163 /proc/meminfo: memFree=1656096/2055920 swapFree=4181384/4192956 [pid=3154] ppid=3152 vsize=207396 CPUtime=1797.98 /proc/3154/stat : 3154 (bsolo) R 3152 3154 2562 0 -1 4194304 49736 0 0 0 179610 188 0 0 25 0 1 0 183985761 212373504 49415 1992294400 134512640 137136520 4294956256 18446744073709551615 136295593 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3154/statm: 51849 49415 196 640 0 51205 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 207396 Child status: 0 Real time (s): 1798.95 CPU time (s): 1798.03 CPU user time (s): 1796.12 CPU system time (s): 1.91571 CPU usage (%): 99.949 Max. virtual memory (cumulated for all children) (KiB): 207396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.12 system time used= 1.91571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49738 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= 2 involuntary context switches= 7065 runsolver used 1.52577 second user time and 5.02324 second system time The end
Begin job on node49 at 2009-06-16 16:52:08 IDJOB=1878469 IDBENCH=2236 IDSOLVER=700 FILE ID=node49/1878469-1245163928 PBS_JOBID= 9363803 Free space on /tmp= 66028 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878469-1245163928/watcher-1878469-1245163928 -o /tmp/evaluation-result-1878469-1245163928/solver-1878469-1245163928 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878469-1245163928.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65bafde3eb06761afc4fe90b6aa8c264 RANDOM SEED=1832245946 node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.232 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.232 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: 1854400 kB Buffers: 42076 kB Cached: 90840 kB SwapCached: 4580 kB Active: 16460 kB Inactive: 124576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854400 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 4356 kB Writeback: 0 kB Mapped: 13852 kB Slab: 46248 kB Committed_AS: 169440 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878469-1245163928.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-16 17:22:08