Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -24 | 1800.04 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
MD5SUM | 2e8a2f5e2511f10f037e700bd45c84a1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 45.3011 |
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 | 17794 |
Number of constraints which are clauses | 17794 |
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.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/365361-1177050061/instance-365361-1177050061.opb 0.00/0.00 c File size is 421987 bytes. 0.01/0.07 c Highest Coefficient sum: 450 0.01/0.07 c Parsing was ok!! 0.01/0.07 c Total parsing time: 0.07 s 0.01/0.08 c Var: 450 Constr: 17794 17794/0/0 Lit: 35588 Watch. Lit: 35588 0.01/0.08 c Obj. Vars: 450 (100 % of total variables) 0.19/0.23 c Pre-processing Time: 0.23 s 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 450 17794 35588 2 35588 5931 0 0 0.23 0.19/0.23 c Switching off LPR mode. 0.19/0.23 o -22 0.233 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 450 17795 36038 2 35612 6931 1 0 0.23 0.19/0.24 o -23 0.238 282.09/282.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 282.09/282.25 c 19 450 17815 44544 2 35675 6931 21 79 0.24 282.09/282.25 c 119 450 17915 86917 4 35875 7625 121 450 0.26 282.09/282.25 c 369 450 18165 192608 10 36375 8388 371 1098 0.34 282.09/282.25 c 845 450 18641 394136 21 37327 9227 847 1690 0.50 282.09/282.25 c 1660 450 19456 738083 37 38957 10150 1662 1875 0.89 282.09/282.25 c 2980 450 20776 1296452 62 41597 11166 2982 1959 1.52 282.09/282.25 c 5061 450 22857 2175373 95 45759 12283 5063 1501 3.37 282.09/282.25 c 8285 450 26081 3538171 135 52207 13512 8287 1225 6.76 282.09/282.25 c 13221 450 31017 5622296 181 62079 14864 13223 835 15.82 282.09/282.25 c 20727 450 30654 5470482 178 61331 16351 12860 721 28.75 282.09/282.25 c 32088 450 33407 6632901 198 66837 17987 15613 482 66.50 282.09/282.25 c 49233 450 31714 5918228 186 63451 19786 13920 321 153.21 282.09/282.25 c 75052 450 36884 8103032 219 73791 21765 19090 269 278.93 282.09/282.25 o -24 282.154 1799.97/1800.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.62 c 76220 450 38053 8597382 225 76153 6931 20259 270 282.15 1799.97/1800.62 c 76321 450 21362 1544201 72 42748 7625 3568 268 284.32 1799.97/1800.62 c 76571 450 21612 1649825 76 43248 8388 3818 269 284.42 1799.97/1800.62 c 77048 450 22089 1851137 83 44202 9227 4295 270 284.58 1799.97/1800.62 c 77861 450 22902 2193494 95 45828 10150 5108 272 285.64 1799.97/1800.62 c 79182 450 24223 2749824 113 48470 11166 6429 275 287.02 1799.97/1800.62 c 81264 450 26305 3627359 137 52634 12283 8511 281 289.09 1799.97/1800.62 c 84488 450 29529 4987340 168 59082 13512 11735 285 295.57 1799.97/1800.62 c 89426 450 27288 4038803 148 54600 14864 9494 295 302.20 1799.97/1800.62 c 96932 450 26931 3887021 144 53886 16351 9137 301 321.79 1799.97/1800.62 c 108293 450 29681 5043209 169 59386 17987 11887 306 353.15 1799.97/1800.62 c 125437 450 27986 4330499 154 55996 19786 10192 299 418.45 1799.97/1800.62 c 151256 450 33159 6513612 196 66342 21765 15365 268 564.27 1799.97/1800.62 c 190089 450 38081 8580496 225 76186 23942 20287 246 769.79 1799.97/1800.62 c 248443 450 29640 5029281 169 59304 26337 11846 204 1216.56 1799.97/1800.62 c 336075 450 39298 9107777 231 78620 28971 21504 205 1637.50 1799.97/1800.62 c Resources Exceeded 1799.97/1800.62 v -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1799.97/1800.62 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1799.97/1800.62 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 1799.97/1800.62 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1799.97/1800.62 v -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 1799.97/1800.62 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 1799.97/1800.62 v -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1799.97/1800.62 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1799.97/1800.62 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 1799.97/1800.62 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1799.97/1800.62 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 1799.97/1800.62 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 1799.97/1800.62 v -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1799.97/1800.62 v x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1799.97/1800.62 v -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1799.97/1800.62 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1799.97/1800.62 v -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1799.97/1800.62 v -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 1799.97/1800.62 v -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 1799.97/1800.62 v 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 1799.97/1800.62 v -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1799.97/1800.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.62 c 30 361032 30770 398261 46091 11966099 28297 200 1800.00 1799.97/1800.62 c Objective: -24 1799.97/1800.62 s SATISFIABLE 1799.97/1800.62 c Total time: 1800 s
OK -24
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-365361-1177050061 -o ROOT/results/node42/solver-365361-1177050061 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/365361-1177050061/instance-365361-1177050061.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: 1.00 0.99 0.97 3/77 10328 /proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=12152 CPUtime=0 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 152918037 12443648 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 3038 335 281 324 0 2003 0 [startup+0.0203721 s] /proc/loadavg: 1.00 0.99 0.97 3/77 10328 /proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=4752 CPUtime=0.01 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 490 0 0 0 1 0 0 0 18 0 1 0 152918037 4866048 458 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 1188 458 304 324 0 153 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4752 [startup+0.101388 s] /proc/loadavg: 1.00 0.99 0.97 3/77 10328 /proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=6636 CPUtime=0.09 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 1151 0 0 0 9 0 0 0 18 0 1 0 152918037 6795264 1015 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 1659 1015 304 324 0 728 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6636 [startup+0.301427 s] /proc/loadavg: 1.00 0.99 0.97 3/77 10328 /proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=7940 CPUtime=0.29 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 1615 0 0 0 27 2 0 0 19 0 1 0 152918037 8130560 1371 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 1985 1371 312 324 0 1054 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7940 [startup+0.701502 s] /proc/loadavg: 1.00 0.99 0.97 3/77 10328 /proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=13816 CPUtime=0.69 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 3082 0 0 0 66 3 0 0 22 0 1 0 152918037 14147584 2838 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 3454 2840 312 324 0 2523 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13816 [startup+1.50165 s] /proc/loadavg: 1.00 0.99 0.97 2/78 10329 /proc/meminfo: memFree=1729752/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=22628 CPUtime=1.49 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 5270 0 0 0 145 4 0 0 25 0 1 0 152918037 23171072 5026 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12848834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 5657 5026 312 324 0 4726 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22628 [startup+3.10196 s] /proc/loadavg: 1.00 0.99 0.97 2/78 10329 /proc/meminfo: memFree=1718488/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=33332 CPUtime=3.09 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 7958 0 0 0 303 6 0 0 25 0 1 0 152918037 34131968 7714 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 8333 7714 312 324 0 7402 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33332 [startup+6.30157 s] /proc/loadavg: 1.00 0.99 0.97 2/78 10329 /proc/meminfo: memFree=1700504/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=50784 CPUtime=6.29 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 12306 0 0 0 621 8 0 0 25 0 1 0 152918037 52002816 12062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 12696 12062 312 324 0 11765 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50784 [startup+12.7018 s] /proc/loadavg: 1.08 1.00 0.98 2/78 10329 /proc/meminfo: memFree=1674520/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=74924 CPUtime=12.69 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 18352 0 0 0 1257 12 0 0 25 0 1 0 152918037 76722176 18108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 18731 18108 312 324 0 17800 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74924 [startup+25.5012 s] /proc/loadavg: 1.06 1.00 0.98 2/78 10329 /proc/meminfo: memFree=1656472/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=90504 CPUtime=25.48 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 22247 0 0 0 2533 15 0 0 25 0 1 0 152918037 92676096 22003 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 22626 22003 312 324 0 21695 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 90504 [startup+51.1011 s] /proc/loadavg: 1.04 1.00 0.98 2/78 10329 /proc/meminfo: memFree=1648408/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=98612 CPUtime=51.07 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 24283 0 0 0 5089 18 0 0 25 0 1 0 152918037 100978688 24039 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 24653 24039 312 324 0 23722 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98612 [startup+102.306 s] /proc/loadavg: 1.06 1.01 0.98 3/78 10329 /proc/meminfo: memFree=1639448/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=107476 CPUtime=102.26 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 26504 0 0 0 10203 23 0 0 25 0 1 0 152918037 110055424 26260 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 26869 26260 312 324 0 25938 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 107476 [startup+162.301 s] /proc/loadavg: 1.06 1.02 0.99 2/78 10329 /proc/meminfo: memFree=1639256/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=107720 CPUtime=162.23 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 26554 0 0 0 16197 26 0 0 25 0 1 0 152918037 110305280 26310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 26930 26310 312 324 0 25999 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 107720 [startup+222.302 s] /proc/loadavg: 1.02 1.02 0.99 2/78 10329 /proc/meminfo: memFree=1629272/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=117624 CPUtime=222.22 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29031 0 0 0 22191 31 0 0 25 0 1 0 152918037 120446976 28787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 29406 28787 312 324 0 28475 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 117624 [startup+282.301 s] /proc/loadavg: 1.01 1.01 0.99 2/78 10329 /proc/meminfo: memFree=1629400/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=117960 CPUtime=282.19 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 28185 34 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 29490 28872 312 324 0 28559 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 117960 [startup+342.302 s] /proc/loadavg: 1.00 1.01 0.99 2/78 10329 /proc/meminfo: memFree=1629080/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=117960 CPUtime=342.17 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 34178 39 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 29490 28872 312 324 0 28559 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 117960 [startup+402.303 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10329 /proc/meminfo: memFree=1629016/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=117960 CPUtime=402.15 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 40172 43 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 29490 28872 312 324 0 28559 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 117960 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10329 /proc/meminfo: memFree=1629016/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=117960 CPUtime=462.13 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 46166 47 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 29490 28872 312 324 0 28559 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 117960 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10329 /proc/meminfo: memFree=1628952/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=117960 CPUtime=522.1 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 52161 49 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 29490 28872 312 324 0 28559 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 117960 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10329 /proc/meminfo: memFree=1618904/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=128056 CPUtime=582.09 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 31642 0 0 0 58155 54 0 0 25 0 1 0 152918037 131129344 31398 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 32014 31398 312 324 0 31083 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 128056 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10329 /proc/meminfo: memFree=1618904/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=128180 CPUtime=642.07 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 31673 0 0 0 64150 57 0 0 25 0 1 0 152918037 131256320 31429 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 32045 31429 312 324 0 31114 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 128180 ################ # More data... # ################ /proc/meminfo: memFree=1606872/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=140160 CPUtime=1121.9 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 34669 0 0 0 112112 78 0 0 25 0 1 0 152918037 143523840 34425 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 35040 34425 312 324 0 34109 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 140160 [startup+1182.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 10331 /proc/meminfo: memFree=1606808/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=140160 CPUtime=1181.88 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 34671 0 0 0 118107 81 0 0 25 0 1 0 152918037 143523840 34427 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 35040 34427 312 324 0 34109 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 140160 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 10331 /proc/meminfo: memFree=1606680/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=140232 CPUtime=1241.86 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 34687 0 0 0 124101 85 0 0 25 0 1 0 152918037 143597568 34443 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 35058 34443 312 324 0 34127 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 140232 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 10331 /proc/meminfo: memFree=1593752/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=153108 CPUtime=1301.85 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37909 0 0 0 130095 90 0 0 25 0 1 0 152918037 156782592 37665 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 38277 37665 312 324 0 37346 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 153108 [startup+1362.3 s] /proc/loadavg: 1.05 1.02 1.00 2/78 10331 /proc/meminfo: memFree=1593688/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=153108 CPUtime=1361.82 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37913 0 0 0 136089 93 0 0 25 0 1 0 152918037 156782592 37669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 38277 37669 312 324 0 37346 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 153108 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/78 10331 /proc/meminfo: memFree=1593688/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=153108 CPUtime=1421.8 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37913 0 0 0 142084 96 0 0 25 0 1 0 152918037 156782592 37669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 38277 37669 312 324 0 37346 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 153108 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1593368/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=153432 CPUtime=1481.78 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37991 0 0 0 148078 100 0 0 25 0 1 0 152918037 157114368 37747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 38358 37747 312 324 0 37427 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 153432 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1593304/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=153224 CPUtime=1541.75 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37991 0 0 0 154073 102 0 0 25 0 1 0 152918037 156901376 37700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 38306 37700 312 324 0 37375 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 153224 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1593304/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=153272 CPUtime=1601.73 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37997 0 0 0 160068 105 0 0 25 0 1 0 152918037 156950528 37706 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 38318 37706 312 324 0 37387 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 153272 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1584920/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=162232 CPUtime=1661.72 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 40219 0 0 0 166061 111 0 0 25 0 1 0 152918037 166125568 39928 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 40558 39928 312 324 0 39627 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 162232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1579096/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=167572 CPUtime=1721.7 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 172056 114 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 41893 41284 312 324 0 40962 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 167572 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=167572 CPUtime=1781.68 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 178051 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 41893 41284 312 324 0 40962 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 167572 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 10331 /proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=167572 CPUtime=1791.28 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179011 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 41893 41284 312 324 0 40962 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 167572 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=167572 CPUtime=1794.48 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179331 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 41893 41284 312 324 0 40962 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 167572 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=167572 CPUtime=1797.67 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179650 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 41893 41284 312 324 0 40962 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 167572 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=167572 CPUtime=1799.27 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179810 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 41893 41284 312 324 0 40962 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (KiB) 167572 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=167572 CPUtime=1799.67 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179850 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 41893 41284 312 324 0 40962 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (KiB) 167572 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=167572 CPUtime=1799.87 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179870 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 41893 41284 312 324 0 40962 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (KiB) 167572 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10331 /proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956 [pid=10328] ppid=10326 vsize=167572 CPUtime=1799.97 /proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179880 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10328/statm: 41893 41284 312 324 0 40962 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 167572 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.04 CPU user time (s): 1798.83 CPU system time (s): 1.20582 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 167572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.83 system time used= 1.20582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41576 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= 1867 runsolver used 1.9597 second user time and 4.5933 second system time The end
Begin job on node42 on Fri Apr 20 06:21:01 UTC 2007 IDJOB= 365361 IDBENCH= 2235 IDSOLVER= 163 FILE ID= node42/365361-1177050061 PBS_JOBID= 4640151 Free space on /tmp= 66444 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/365361-1177050061/instance-365361-1177050061.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-365361-1177050061 -o ROOT/results/node42/solver-365361-1177050061 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/365361-1177050061/instance-365361-1177050061.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1 RANDOM SEED= 118003876 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1744064 kB Buffers: 61912 kB Cached: 168308 kB SwapCached: 16892 kB Active: 96052 kB Inactive: 162688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1744064 kB SwapTotal: 4192956 kB SwapFree: 4146096 kB Dirty: 4816 kB Writeback: 0 kB Mapped: 33136 kB Slab: 38404 kB Committed_AS: 3462184 kB PageTables: 1916 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= 66444 MiB End job on node42 on Fri Apr 20 06:51:02 UTC 2007