Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 307 | 335.074 | 335.18 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
MD5SUM | 4dd9ac2644c29d272d2675c7fc366ed6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 307 |
Best CPU time to get the best result obtained on this benchmark | 1.01884 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | YES |
Number of variables | 319 |
Total number of constraints | 6 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 186 |
Maximum length of a constraint | 231 |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
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-1878984-1245133150.opb 0.00/0.00 c File size is 16026 bytes. 0.00/0.00 c Highest Coefficient sum: 1.02726e+06 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 319 Constr: 6 0/0/6 Lit: 1243 Watch. Lit: 16 0.00/0.00 c Obj. Vars: 319 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 319 6 1243 207 16 2486 0 0 0.01 0.00/0.01 c Initial Lower Bound: 291 0.00/0.01 c Initial Path Cost: 0 0.00/0.01 o 604 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 319 7 1562 223 332 3124 1 0 0.01 0.09/0.12 o 543 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 10 319 18 4670 259 664 3124 12 79 0.13 0.19/0.22 o 486 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 10 319 19 4989 262 981 3124 13 44 0.22 0.29/0.34 o 477 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 10 319 20 5308 265 1295 3124 14 29 0.34 0.39/0.46 o 399 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 23 319 34 9046 266 1635 3124 28 49 0.47 0.79/0.80 c 132 319 144 39013 270 1859 3437 138 199 0.66 0.79/0.80 o 395 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 160 319 189 52232 276 2257 3124 183 199 0.80 0.89/0.92 o 394 0.99/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.05 c 163 319 193 53351 276 2579 3124 187 176 0.92 0.99/1.05 o 393 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 180 319 211 58344 276 2929 3124 205 170 1.05 1.39/1.41 c 280 319 322 87224 270 3148 3437 316 218 1.28 1.39/1.41 o 385 1.79/1.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.85 c 292 319 335 90476 270 3486 3124 329 206 1.42 1.79/1.85 c 392 319 442 114961 260 3700 3437 436 225 1.74 1.79/1.85 o 375 1.89/1.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.97 c 392 319 443 115280 260 4016 3124 437 211 1.85 1.89/1.97 o 374 2.09/2.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.17 c 393 319 445 115804 260 4333 3124 439 199 1.97 2.09/2.17 o 373 2.59/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.65 c 492 319 550 143733 261 4854 3124 544 226 2.17 2.59/2.65 c 592 319 668 174436 261 5087 3437 662 246 2.40 2.59/2.65 o 333 8.59/8.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.66 c 733 319 821 213477 260 5711 3124 815 275 2.66 8.59/8.66 c 834 319 936 242437 259 5941 3437 930 283 2.94 8.59/8.66 c 1084 319 1279 340606 266 6626 3781 1273 321 3.37 8.59/8.66 c 1594 319 2288 618414 270 8642 4160 2282 371 4.29 8.59/8.66 c 2408 319 3675 984930 268 11415 4577 3669 405 5.94 8.59/8.66 c 3730 319 2675 701013 262 5671 5035 2669 445 8.38 8.59/8.66 o 309 47.67/47.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.67/47.76 c 3865 319 2851 747338 262 6336 3124 2845 446 8.66 47.67/47.76 c 3974 319 3052 804915 263 6739 3437 3046 445 8.92 47.67/47.76 c 4224 319 1726 454723 263 3773 3781 1720 447 9.44 47.67/47.76 c 4709 319 2484 661819 266 5289 4160 2478 457 10.28 47.67/47.76 c 5523 319 3609 967030 267 7539 4577 3603 475 11.61 47.67/47.76 c 6853 319 3233 862724 266 6787 5035 3227 485 14.12 47.67/47.76 c 8934 319 3388 857278 253 7097 5539 3382 459 19.43 47.67/47.76 c 12164 319 4224 940214 222 8769 6093 4218 435 27.91 47.67/47.76 c 17131 319 5225 1108847 212 10770 6703 5219 450 38.02 47.67/47.76 o 307 334.98/335.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 334.98/335.17 c 21435 319 4080 851753 208 8795 3124 4074 448 47.75 334.98/335.17 c 21536 319 1746 351952 201 3813 3437 1740 448 47.99 334.98/335.17 c 21786 319 2162 431766 199 4644 3781 2156 445 48.86 334.98/335.17 c 22289 319 2915 585844 200 6150 4160 2909 432 51.59 334.98/335.17 c 23116 319 2087 431347 206 4494 4577 2081 426 54.17 334.98/335.17 c 24436 319 4525 910213 201 9370 5035 4519 431 56.61 334.98/335.17 c 26529 319 2865 525532 183 6052 5539 2859 423 62.67 334.98/335.17 c 29774 319 5441 982555 180 11203 6093 5435 404 73.67 334.98/335.17 c 34710 319 3054 547596 179 6430 6703 3048 369 93.86 334.98/335.17 c 42248 319 6516 1311337 201 13355 7374 6510 386 109.41 334.98/335.17 c 53609 319 6731 1236759 183 13783 8112 6725 355 150.59 334.98/335.17 c 70753 319 5190 864513 166 10701 8924 5184 298 236.69 334.98/335.17 v -x111 x222 -x254 -x265 -x276 -x287 -x298 -x309 -x1 -x12 -x23 -x34 -x45 -x56 -x67 -x78 -x89 -x100 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x189 -x200 -x211 -x223 -x234 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x246 334.98/335.17 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 334.98/335.17 c 43 88374 23994 613732 6641 1002740 6635 263 335.07 334.98/335.17 c Objective: 307 334.98/335.17 s OPTIMUM FOUND 334.98/335.17 c Total time: 335.069 s
OK 307
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878984-1245133150/watcher-1878984-1245133150 -o /tmp/evaluation-result-1878984-1245133150/solver-1878984-1245133150 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878984-1245133150.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.97 3/64 3231 /proc/meminfo: memFree=1408880/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=18524 CPUtime=0 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 180916069 18968576 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 4631 245 189 640 0 3987 0 [startup+0.00759495 s] /proc/loadavg: 0.99 0.97 0.97 3/64 3231 /proc/meminfo: memFree=1408880/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=18524 CPUtime=0 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 180916069 18968576 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 4631 245 189 640 0 3987 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 18524 [startup+0.101604 s] /proc/loadavg: 0.99 0.97 0.97 3/64 3231 /proc/meminfo: memFree=1408880/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=18608 CPUtime=0.09 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 3794 0 0 0 8 1 0 0 18 0 1 0 180916069 19054592 370 1992294400 134512640 137136520 4294956256 18446744073709551615 135781789 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 4652 370 289 640 0 4008 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18608 [startup+0.301627 s] /proc/loadavg: 0.99 0.97 0.97 3/64 3231 /proc/meminfo: memFree=1408880/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=18656 CPUtime=0.29 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 7423 0 0 0 26 3 0 0 19 0 1 0 180916069 19103744 388 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 4664 388 292 640 0 4020 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18656 [startup+0.701675 s] /proc/loadavg: 0.99 0.97 0.97 3/64 3231 /proc/meminfo: memFree=1408880/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=11812 CPUtime=0.69 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 20488 0 0 0 62 7 0 0 22 0 1 0 180916069 12095488 515 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 2953 517 292 640 0 2309 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11812 [startup+1.50177 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1407784/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=12012 CPUtime=1.49 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 47591 0 0 0 133 16 0 0 25 0 1 0 180916069 12300288 678 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 3095 681 292 640 0 2451 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12012 [startup+3.10196 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1406760/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=14232 CPUtime=3.09 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 96817 0 0 0 276 33 0 0 25 0 1 0 180916069 14573568 1234 1992294400 134512640 137136520 4294956256 18446744073709551615 134600678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 3558 1234 292 640 0 2914 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14232 [startup+6.30134 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1396144/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=24712 CPUtime=6.28 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 142361 0 0 0 577 51 0 0 25 0 1 0 180916069 25305088 3862 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 6266 3869 292 640 0 5622 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24712 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1391088/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=28004 CPUtime=12.68 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 175077 0 0 0 1202 66 0 0 25 0 1 0 180916069 28676096 4646 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 7001 4646 292 640 0 6357 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28004 [startup+25.5026 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1389680/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=29776 CPUtime=25.49 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 282458 0 0 0 2432 117 0 0 25 0 1 0 180916069 30490624 5118 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 7444 5118 292 640 0 6800 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29776 [startup+51.1026 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1388336/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=30648 CPUtime=51.07 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 375484 0 0 0 4944 163 0 0 25 0 1 0 180916069 31383552 5319 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 7662 5319 292 640 0 7018 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30648 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1388336/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=30648 CPUtime=102.26 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 375484 0 0 0 10052 174 0 0 25 0 1 0 180916069 31383552 5319 1992294400 134512640 137136520 4294956256 18446744073709551615 134543999 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 7662 5319 292 640 0 7018 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30648 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386928/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32204 CPUtime=162.24 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 629451 0 0 0 15913 311 0 0 25 0 1 0 180916069 32976896 5686 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8139 5690 292 640 0 7495 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32204 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386608/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32428 CPUtime=222.22 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1204721 0 0 0 21642 580 0 0 25 0 1 0 180916069 33206272 5781 1992294400 134512640 137136520 4294956256 18446744073709551615 135258682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8186 5786 292 640 0 7542 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 32428 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386608/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32424 CPUtime=282.21 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1270735 0 0 0 27597 624 0 0 25 0 1 0 180916069 33202176 5781 1992294400 134512640 137136520 4294956256 18446744073709551615 134711047 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8184 5785 292 640 0 7540 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 32424 Solver just ended. Dumping a history of the last processes samples [startup+307.102 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386352/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32652 CPUtime=307 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1588208 0 0 0 29912 788 0 0 25 0 1 0 180916069 33435648 5837 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8242 5840 292 640 0 7598 0 Current children cumulated CPU time (s) 307 Current children cumulated vsize (KiB) 32652 [startup+319.901 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386288/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32704 CPUtime=319.79 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1755994 0 0 0 31113 866 0 0 25 0 1 0 180916069 33488896 5849 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8176 5849 292 640 0 7532 0 Current children cumulated CPU time (s) 319.79 Current children cumulated vsize (KiB) 32704 [startup+326.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386288/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=33212 CPUtime=326.19 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1854803 0 0 0 31709 910 0 0 25 0 1 0 180916069 34009088 5855 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8303 5855 292 640 0 7659 0 Current children cumulated CPU time (s) 326.19 Current children cumulated vsize (KiB) 33212 [startup+329.502 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386288/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32860 CPUtime=329.39 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1893992 0 0 0 32012 927 0 0 25 0 1 0 180916069 33648640 5852 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8215 5852 292 640 0 7571 0 Current children cumulated CPU time (s) 329.39 Current children cumulated vsize (KiB) 32860 [startup+332.702 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386288/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32860 CPUtime=332.58 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1893992 0 0 0 32331 927 0 0 25 0 1 0 180916069 33648640 5852 1992294400 134512640 137136520 4294956256 18446744073709551615 136501953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8215 5852 292 640 0 7571 0 Current children cumulated CPU time (s) 332.58 Current children cumulated vsize (KiB) 32860 [startup+334.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386288/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32860 CPUtime=334.19 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1893992 0 0 0 32491 928 0 0 25 0 1 0 180916069 33648640 5852 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8215 5852 292 640 0 7571 0 Current children cumulated CPU time (s) 334.19 Current children cumulated vsize (KiB) 32860 [startup+334.701 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386288/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32860 CPUtime=334.58 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1893992 0 0 0 32530 928 0 0 25 0 1 0 180916069 33648640 5852 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8215 5852 292 640 0 7571 0 Current children cumulated CPU time (s) 334.58 Current children cumulated vsize (KiB) 32860 [startup+335.101 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3232 /proc/meminfo: memFree=1386288/2055920 swapFree=4191900/4192956 [pid=3231] ppid=3229 vsize=32860 CPUtime=334.98 /proc/3231/stat : 3231 (bsolo) R 3229 3231 2747 0 -1 4194304 1893992 0 0 0 32570 928 0 0 25 0 1 0 180916069 33648640 5852 1992294400 134512640 137136520 4294956256 18446744073709551615 134732448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3231/statm: 8215 5852 292 640 0 7571 0 Current children cumulated CPU time (s) 334.98 Current children cumulated vsize (KiB) 32860 Child status: 0 Real time (s): 335.18 CPU time (s): 335.074 CPU user time (s): 325.783 CPU system time (s): 9.29059 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 33236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 325.783 system time used= 9.29059 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1893994 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= 640 runsolver used 0.306953 second user time and 0.627904 second system time The end
Begin job on node1 at 2009-06-16 08:19:10 IDJOB=1878984 IDBENCH=1854 IDSOLVER=700 FILE ID=node1/1878984-1245133150 PBS_JOBID= 9363693 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878984-1245133150/watcher-1878984-1245133150 -o /tmp/evaluation-result-1878984-1245133150/solver-1878984-1245133150 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878984-1245133150.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED=735444733 node1.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.245 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.245 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: 1409360 kB Buffers: 64776 kB Cached: 487256 kB SwapCached: 400 kB Active: 89828 kB Inactive: 475632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1409360 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 22528 kB Slab: 67108 kB Committed_AS: 146816 kB PageTables: 1436 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= 66216 MiB End job on node1 at 2009-06-16 08:24:45