Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -25 | 1798.02 | 1798.52 |
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 | 1789.79 |
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.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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656480-1276486650.opb 0.00/0.00 c File size is 422137 bytes. 0.00/0.06 c Highest Coefficient sum: 450 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.066 s 0.00/0.07 c Var: 450 Constr: 17827 17827/0/0 Lit: 35654 Watch. Lit: 35654 0.00/0.07 c Obj. Vars: 450 (100 % of total variables) 0.19/0.22 c Pre-processing Time: 0.227 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 17827 35654 2 35654 5942 0 0 0.23 0.19/0.23 c Switching off lower bounding mode. 0.19/0.23 o -22 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 450 17828 36104 2 35678 6942 1 0 0.23 0.19/0.24 o -23 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 9 450 17839 40800 2 35723 6942 12 37 0.24 0.29/0.31 c 109 450 17953 88953 4 35951 7637 126 347 0.31 0.29/0.31 o -24 207.73/207.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 207.73/207.80 c 111 450 17956 90247 5 35981 6942 129 349 0.32 207.73/207.80 c 211 450 18069 137887 7 36207 7637 242 536 0.39 207.73/207.80 c 461 450 18358 259536 14 36785 8401 531 755 0.61 207.73/207.80 c 937 450 18897 486581 25 37863 9242 1070 894 1.05 207.73/207.80 c 1750 450 19829 878470 44 39727 10167 2002 939 1.86 207.73/207.80 c 3070 450 21319 1506751 70 42707 11184 3492 901 3.40 207.73/207.80 c 5151 450 23763 2534507 106 47595 12303 5936 786 6.55 207.73/207.80 c 8375 450 27478 4094120 148 55046 13534 9651 602 13.89 207.73/207.80 c 13311 450 26025 3484170 133 52074 14888 8198 524 25.38 207.73/207.80 c 20818 450 27013 3892516 144 54050 16377 9186 484 42.92 207.73/207.80 c 32180 450 31767 5886177 185 63558 18015 13940 441 72.84 207.73/207.80 c 49325 450 32946 6394751 194 65916 19817 15119 413 119.40 207.73/207.80 c 75144 450 32177 6054063 188 64400 21799 14350 361 207.65 207.73/207.80 o -25 1797.90/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.49 c 75169 450 32206 6066330 188 64483 6942 14379 361 207.75 1797.90/1798.49 c 75270 450 21415 1538602 71 42855 7637 3588 361 208.50 1797.90/1798.49 c 75521 450 21704 1659990 76 43433 8401 3877 361 208.80 1797.90/1798.49 c 75996 450 22264 1895240 85 44553 9242 4437 362 209.39 1797.90/1798.49 c 76809 450 23201 2287896 98 46427 10167 5374 365 210.41 1797.90/1798.49 c 78131 450 24706 2919384 118 49437 11184 6879 367 212.39 1797.90/1798.49 c 80213 450 27125 3934301 145 54275 12303 9298 371 215.82 1797.90/1798.49 c 83436 450 24235 2725749 112 48495 13534 6408 374 222.74 1797.90/1798.49 c 88372 450 30020 5149697 171 60065 14888 12193 378 233.20 1797.90/1798.49 c 95878 450 30952 5542729 179 61929 16377 13125 380 251.80 1797.90/1798.49 c 107240 450 27026 3892249 144 54100 18015 9199 373 286.83 1797.90/1798.49 c 124384 450 28126 4355101 154 56277 19817 10299 370 335.83 1797.90/1798.49 c 150203 450 27737 4188595 151 55499 21799 9910 352 426.66 1797.90/1798.49 c 189036 450 39193 8972973 228 78452 23979 21366 319 591.09 1797.90/1798.49 c 247388 450 33166 6465248 194 66403 26377 15339 287 861.52 1797.90/1798.49 c 335020 450 36875 8025773 217 73775 29015 19048 272 1231.27 1797.90/1798.49 c Resources Exceeded 1797.90/1798.49 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.90/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.49 c 32 443969 30392 480170 31719 5863210 13892 246 1798.00 1797.90/1798.49 c Objective: -25 1797.90/1798.49 s SATISFIABLE 1797.90/1798.50 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-2656480-1276486650/watcher-2656480-1276486650 -o /tmp/evaluation-result-2656480-1276486650/solver-2656480-1276486650 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656480-1276486650.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/106 26924 /proc/meminfo: memFree=1852164/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=11344 CPUtime=0 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 24266749 11616256 262 1992294400 134512640 137138936 4289963952 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 2836 262 175 642 0 2088 0 [startup+0.0780541 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26924 /proc/meminfo: memFree=1852164/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=13368 CPUtime=0.07 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 1067 0 0 0 7 0 0 0 21 0 1 0 24266749 13688832 881 1992294400 134512640 137138936 4289963952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 3342 881 184 642 0 2698 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13368 [startup+0.102057 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26924 /proc/meminfo: memFree=1852164/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=13896 CPUtime=0.09 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 1213 0 0 0 9 0 0 0 21 0 1 0 24266749 14229504 1027 1992294400 134512640 137138936 4289963952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 3474 1027 185 642 0 2830 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13896 [startup+0.302079 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26924 /proc/meminfo: memFree=1852164/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=13964 CPUtime=0.29 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 1342 0 0 0 28 1 0 0 21 0 1 0 24266749 14299136 1048 1992294400 134512640 137138936 4289963952 18446744073709551615 134551781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 3491 1048 192 642 0 2847 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13964 [startup+0.701124 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26924 /proc/meminfo: memFree=1852164/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=16960 CPUtime=0.69 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 2086 0 0 0 68 1 0 0 22 0 1 0 24266749 17367040 1792 1992294400 134512640 137138936 4289963952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 4240 1792 192 642 0 3596 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16960 [startup+1.50121 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26925 /proc/meminfo: memFree=1843476/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=22112 CPUtime=1.49 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 3383 0 0 0 147 2 0 0 25 0 1 0 24266749 22642688 3089 1992294400 134512640 137138936 4289963952 18446744073709551615 134551494 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 5528 3089 192 642 0 4884 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22112 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26925 /proc/meminfo: memFree=1836408/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=31104 CPUtime=3.09 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 5630 0 0 0 306 3 0 0 25 0 1 0 24266749 31850496 5336 1992294400 134512640 137138936 4289963952 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 7776 5336 192 642 0 7132 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31104 [startup+6.30174 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26925 /proc/meminfo: memFree=1820784/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=44868 CPUtime=6.29 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 9065 0 0 0 624 5 0 0 25 0 1 0 24266749 45944832 8771 1992294400 134512640 137138936 4289963952 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 11217 8771 192 642 0 10573 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44868 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26925 /proc/meminfo: memFree=1799704/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=63776 CPUtime=12.69 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 13800 0 0 0 1261 8 0 0 25 0 1 0 24266749 65306624 13506 1992294400 134512640 137138936 4289963952 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 15944 13506 192 642 0 15300 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63776 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26925 /proc/meminfo: memFree=1772424/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=89628 CPUtime=25.49 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 20273 0 0 0 2534 15 0 0 25 0 1 0 24266749 91779072 19979 1992294400 134512640 137138936 4289963952 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 22407 19979 192 642 0 21763 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89628 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26927 /proc/meminfo: memFree=1764860/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=97148 CPUtime=51.07 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 22148 0 0 0 5088 19 0 0 25 0 1 0 24266749 99479552 21854 1992294400 134512640 137138936 4289963952 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 24287 21854 192 642 0 23643 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 97148 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26927 /proc/meminfo: memFree=1747748/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=114020 CPUtime=102.27 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 26372 0 0 0 10198 29 0 0 25 0 1 0 24266749 116756480 26078 1992294400 134512640 137138936 4289963952 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 28505 26078 192 642 0 27861 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 114020 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26929 /proc/meminfo: memFree=1737332/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=124424 CPUtime=162.24 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 28975 0 0 0 16187 37 0 0 25 0 1 0 24266749 127410176 28681 1992294400 134512640 137138936 4289963952 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 31106 28681 192 642 0 30462 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 124424 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26931 /proc/meminfo: memFree=1737208/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=124424 CPUtime=222.23 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 28975 0 0 0 22179 44 0 0 25 0 1 0 24266749 127410176 28681 1992294400 134512640 137138936 4289963952 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 31106 28681 192 642 0 30462 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 124424 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26933 /proc/meminfo: memFree=1737208/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=124420 CPUtime=282.21 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 28975 0 0 0 28168 53 0 0 25 0 1 0 24266749 127406080 28681 1992294400 134512640 137138936 4289963952 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 31105 28681 192 642 0 30461 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 124420 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26935 /proc/meminfo: memFree=1737084/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=124404 CPUtime=342.19 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 28975 0 0 0 34157 62 0 0 25 0 1 0 24266749 127389696 28677 1992294400 134512640 137138936 4289963952 18446744073709551615 134603190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 31101 28677 192 642 0 30457 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 124404 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26935 /proc/meminfo: memFree=1737084/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=124376 CPUtime=402.18 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 28975 0 0 0 40148 70 0 0 25 0 1 0 24266749 127361024 28670 1992294400 134512640 137138936 4289963952 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 31094 28670 192 642 0 30450 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 124376 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26937 /proc/meminfo: memFree=1726420/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=135112 CPUtime=462.16 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 31648 0 0 0 46137 79 0 0 25 0 1 0 24266749 138354688 31343 1992294400 134512640 137138936 4289963952 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 33778 31343 192 642 0 33134 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 135112 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26939 /proc/meminfo: memFree=1726420/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=135104 CPUtime=522.14 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 31648 0 0 0 52128 86 0 0 25 0 1 0 24266749 138346496 31343 1992294400 134512640 137138936 4289963952 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 33776 31343 192 642 0 33132 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 135104 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26941 /proc/meminfo: memFree=1726296/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=135096 CPUtime=582.12 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 31648 0 0 0 58121 91 0 0 25 0 1 0 24266749 138338304 31343 1992294400 134512640 137138936 4289963952 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 33774 31343 192 642 0 33130 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 135096 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26943 /proc/meminfo: memFree=1714268/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=147096 CPUtime=642.12 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 34646 0 0 0 64111 101 0 0 25 0 1 0 24266749 150626304 34341 1992294400 134512640 137138936 4289963952 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 36774 34341 192 642 0 36130 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 147096 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1700752/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=160108 CPUtime=1062 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 37919 0 0 0 106049 151 0 0 25 0 1 0 24266749 163950592 37603 1992294400 134512640 137138936 4289963952 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 40027 37603 192 642 0 39383 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 160108 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26955 /proc/meminfo: memFree=1700752/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=160108 CPUtime=1121.99 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 37919 0 0 0 112042 157 0 0 25 0 1 0 24266749 163950592 37603 1992294400 134512640 137138936 4289963952 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 40027 37603 192 642 0 39383 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 160108 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26957 /proc/meminfo: memFree=1700628/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=160108 CPUtime=1181.97 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 37919 0 0 0 118033 164 0 0 25 0 1 0 24266749 163950592 37603 1992294400 134512640 137138936 4289963952 18446744073709551615 136504019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 40027 37603 192 642 0 39383 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 160108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26959 /proc/meminfo: memFree=1700504/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=160108 CPUtime=1241.95 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 37919 0 0 0 124024 171 0 0 25 0 1 0 24266749 163950592 37603 1992294400 134512640 137138936 4289963952 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 40027 37603 192 642 0 39383 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 160108 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26959 /proc/meminfo: memFree=1686120/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174600 CPUtime=1301.94 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 130014 180 0 0 25 0 1 0 24266749 178790400 41223 1992294400 134512640 137138936 4289963952 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43650 41223 192 642 0 43006 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 174600 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 26961 /proc/meminfo: memFree=1686120/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174596 CPUtime=1361.93 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 136005 188 0 0 25 0 1 0 24266749 178786304 41223 1992294400 134512640 137138936 4289963952 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43649 41223 192 642 0 43005 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 174596 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26972 /proc/meminfo: memFree=1684820/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174596 CPUtime=1421.9 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 141995 195 0 0 25 0 1 0 24266749 178786304 41223 1992294400 134512640 137138936 4289963952 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43649 41223 192 642 0 43005 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 174596 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 26974 /proc/meminfo: memFree=1684820/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174592 CPUtime=1481.88 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 147989 199 0 0 25 0 1 0 24266749 178782208 41223 1992294400 134512640 137138936 4289963952 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43648 41223 192 642 0 43004 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 174592 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26976 /proc/meminfo: memFree=1685068/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174592 CPUtime=1541.86 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 153981 205 0 0 25 0 1 0 24266749 178782208 41223 1992294400 134512640 137138936 4289963952 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43648 41223 192 642 0 43004 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 174592 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26976 /proc/meminfo: memFree=1685068/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174580 CPUtime=1601.84 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 159972 212 0 0 25 0 1 0 24266749 178769920 41221 1992294400 134512640 137138936 4289963952 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43645 41221 192 642 0 43001 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 174580 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26978 /proc/meminfo: memFree=1685192/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174580 CPUtime=1661.83 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 165966 217 0 0 25 0 1 0 24266749 178769920 41221 1992294400 134512640 137138936 4289963952 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43645 41221 192 642 0 43001 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 174580 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26980 /proc/meminfo: memFree=1685192/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174576 CPUtime=1721.81 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 171960 221 0 0 25 0 1 0 24266749 178765824 41220 1992294400 134512640 137138936 4289963952 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43644 41220 192 642 0 43000 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 174576 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26982 /proc/meminfo: memFree=1685068/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174576 CPUtime=1781.8 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 177951 229 0 0 25 0 1 0 24266749 178765824 41220 1992294400 134512640 137138936 4289963952 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43644 41220 192 642 0 43000 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 174576 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26982 /proc/meminfo: memFree=1685068/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174576 CPUtime=1791.4 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 178911 229 0 0 25 0 1 0 24266749 178765824 41220 1992294400 134512640 137138936 4289963952 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43644 41220 192 642 0 43000 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 174576 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26982 /proc/meminfo: memFree=1685068/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174560 CPUtime=1794.61 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 179231 230 0 0 25 0 1 0 24266749 178749440 41216 1992294400 134512640 137138936 4289963952 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43640 41216 192 642 0 42996 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 174560 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26982 /proc/meminfo: memFree=1685068/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174560 CPUtime=1796.2 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 179390 230 0 0 25 0 1 0 24266749 178749440 41216 1992294400 134512640 137138936 4289963952 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43640 41216 192 642 0 42996 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 174560 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26982 /proc/meminfo: memFree=1685068/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174560 CPUtime=1797 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 179470 230 0 0 25 0 1 0 24266749 178749440 41216 1992294400 134512640 137138936 4289963952 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43640 41216 192 642 0 42996 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 174560 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26982 /proc/meminfo: memFree=1685068/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=174560 CPUtime=1797.8 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202496 41539 0 0 0 179550 230 0 0 25 0 1 0 24266749 178749440 41216 1992294400 134512640 137138936 4289963952 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26924/statm: 43640 41216 192 642 0 42996 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 174560 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26982 /proc/meminfo: memFree=1685068/2059040 swapFree=4140228/4192956 [pid=26924] ppid=26922 vsize=0 CPUtime=1798 /proc/26924/stat : 26924 (bsolo_pb10) R 26922 26924 26774 0 -1 4202500 41540 0 0 0 179569 231 0 0 25 0 1 0 24266749 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/26924/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.02 CPU user time (s): 1795.7 CPU system time (s): 2.32165 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 174716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.7 system time used= 2.32165 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41540 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= 7645 runsolver used 2.86356 second user time and 8.59469 second system time The end
Begin job on node009 at 2010-06-14 05:37:30 IDJOB=2656480 IDBENCH=2236 IDSOLVER=1162 FILE ID=node009/2656480-1276486650 PBS_JOBID= 11173391 Free space on /tmp= 62452 MiB SOLVER NAME= bsolo 3.2 Card 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_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656480-1276486650/watcher-2656480-1276486650 -o /tmp/evaluation-result-2656480-1276486650/solver-2656480-1276486650 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656480-1276486650.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65bafde3eb06761afc4fe90b6aa8c264 RANDOM SEED=1054944003 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: 1852692 kB Buffers: 28256 kB Cached: 100332 kB SwapCached: 5684 kB Active: 74912 kB Inactive: 65976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1852692 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 4400 kB Writeback: 4 kB AnonPages: 10772 kB Mapped: 12800 kB Slab: 43552 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181552 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62448 MiB End job on node009 at 2010-06-14 06:07:29