Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -33 | 1800.08 | 1800.67 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_5.opb |
MD5SUM | 5ebd53ca3e688df11993cbeac431dac6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -42 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -42 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 111 |
Number of terms in the objective function | 500 |
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 | 500 |
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 | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37500 |
Sum of products size (including duplicates) | 75000 |
Number of different products | 18750 |
Sum of products size | 37500 |
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/454800-1178031535/instance-454800-1178031535.opb 0.00/0.00 c File size is 475155 bytes. 0.19/0.23 c Highest Coefficient sum: 500 0.19/0.23 c Parsing was ok!! 0.19/0.23 c Total parsing time: 0.232 s 0.19/0.29 c Var: 38000 Constr: 76000 38000/500/37500 Lit: 300000 Watch. Lit: 225000 0.19/0.29 c Obj. Vars: 500 (1.31579 % of total variables) 2.99/3.02 c Pre-processing Time: 3.018 s 2.99/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.02 c 0 500 18750 56250 3 37500 6250 0 0 3.02 2.99/3.02 c Switching off LPR mode. 2.99/3.03 o -31 3.026 2.99/3.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.04 c 0 500 18751 56750 3 37533 7250 1 0 3.03 2.99/3.04 o -32 3.036 1760.72/1761.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1760.72/1761.39 c 26 500 18778 69370 3 37619 7250 28 8 3.04 1760.72/1761.39 c 126 500 18878 115856 6 37819 7976 128 41 3.07 1760.72/1761.39 c 377 500 19129 232362 12 38321 8774 379 119 3.14 1760.72/1761.39 c 853 500 19605 453260 23 39273 9652 855 257 3.32 1760.72/1761.39 c 1667 500 20419 831283 40 40901 10618 1669 454 3.67 1760.72/1761.39 c 2987 500 21739 1443787 66 43541 11680 2989 675 4.42 1760.72/1761.39 c 5068 500 23820 2409020 101 47703 12849 5070 852 5.95 1760.72/1761.39 c 8291 500 27043 3905611 144 54149 14134 8293 882 9.40 1760.72/1761.39 c 13227 500 31979 6195617 193 64021 15548 13229 804 16.44 1760.72/1761.39 c 20733 500 39485 9678546 245 79033 17103 20735 692 29.93 1760.72/1761.39 c 32094 500 50846 14951862 294 101755 18814 32096 513 62.51 1760.72/1761.39 c 49239 500 67991 22901822 336 136045 20696 49241 370 133.04 1760.72/1761.39 c 75060 500 45496 12470463 274 91024 22766 26746 270 277.43 1760.72/1761.39 c 113892 500 34976 7579184 216 69984 25043 16226 204 557.24 1760.72/1761.39 c 172245 500 42406 11033615 260 84844 27548 23656 194 887.06 1760.72/1761.39 c 259878 500 76603 26904937 351 153238 30303 57853 155 1667.01 1760.72/1761.39 o -33 1760.82 1799.91/1800.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.91/1800.59 c 276129 500 36550 8319270 227 73165 7250 17800 156 1760.82 1799.91/1800.59 c 276229 500 36650 8365621 228 73365 7976 17900 156 1760.94 1799.91/1800.59 c 276480 500 36901 8482027 229 73867 8774 18151 156 1761.16 1799.91/1800.59 c 276955 500 37376 8702075 232 74817 9652 18626 157 1761.43 1799.91/1800.59 c 277769 500 38190 9079051 237 76445 10618 19440 157 1763.61 1799.91/1800.59 c 279089 500 39510 9690374 245 79085 11680 20760 158 1764.27 1799.91/1800.59 c 281170 500 41591 10654256 256 83247 12849 22841 159 1766.10 1799.91/1800.59 c 284394 500 44815 12146618 271 89695 14134 26065 160 1770.92 1799.91/1800.59 c 289331 500 49752 14433157 290 99569 15548 31002 162 1779.28 1799.91/1800.59 c 296837 500 57258 17907325 312 114581 17103 38508 165 1797.79 1799.91/1800.59 c Resources Exceeded 1799.91/1800.59 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 1799.91/1800.59 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 x55 1799.91/1800.59 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1799.91/1800.59 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1799.91/1800.59 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1799.91/1800.59 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1799.91/1800.59 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 1799.91/1800.59 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1799.91/1800.59 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1799.91/1800.59 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1799.91/1800.59 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1799.91/1800.59 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1799.91/1800.59 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1799.91/1800.59 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1799.91/1800.59 v x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 1799.91/1800.59 v x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 x356 -x357 1799.91/1800.59 v -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 -x377 x378 1799.91/1800.59 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1799.91/1800.59 v -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 x417 -x418 x419 -x420 1799.91/1800.59 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1799.91/1800.59 v -x442 x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 x457 x458 -x459 -x460 -x461 -x462 -x463 1799.91/1800.59 v x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1799.91/1800.59 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1799.91/1800.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.59 c 27 297781 26857 332098 58202 18344116 39452 165 1800.01 1799.91/1800.59 c Objective: -33 1799.91/1800.59 s SATISFIABLE 1799.91/1800.59 c Total time: 1800.01 s
OK -33
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-454800-1178031535 -o ROOT/results/node57/solver-454800-1178031535 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454800-1178031535/instance-454800-1178031535.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: 0.85 0.97 0.99 3/64 3066 /proc/meminfo: memFree=1880120/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=12204 CPUtime=0 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 244289439 12496896 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 3051 334 281 324 0 2003 0 [startup+0.043566 s] /proc/loadavg: 0.85 0.97 0.99 3/64 3066 /proc/meminfo: memFree=1880120/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=6580 CPUtime=0.03 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 944 0 0 0 3 0 0 0 18 0 1 0 244289439 6737920 913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 1645 913 312 324 0 597 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6580 [startup+0.10157 s] /proc/loadavg: 0.85 0.97 0.99 3/64 3066 /proc/meminfo: memFree=1880120/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=9692 CPUtime=0.09 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 1755 0 0 0 8 1 0 0 18 0 1 0 244289439 9924608 1724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 2423 1725 343 324 0 1375 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9692 [startup+0.301586 s] /proc/loadavg: 0.85 0.97 0.99 3/64 3066 /proc/meminfo: memFree=1880120/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=24432 CPUtime=0.29 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 5608 0 0 0 27 2 0 0 19 0 1 0 244289439 25018368 5420 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 6108 5420 307 324 0 5177 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24432 [startup+0.701621 s] /proc/loadavg: 0.85 0.97 0.99 3/64 3066 /proc/meminfo: memFree=1880120/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=24872 CPUtime=0.69 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 5647 0 0 0 67 2 0 0 23 0 1 0 244289439 25468928 5459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 6218 5459 307 324 0 5287 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24872 [startup+1.50169 s] /proc/loadavg: 0.85 0.97 0.99 2/65 3067 /proc/meminfo: memFree=1859440/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=24872 CPUtime=1.49 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 5647 0 0 0 147 2 0 0 25 0 1 0 244289439 25468928 5459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 6218 5459 307 324 0 5287 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24872 [startup+3.10183 s] /proc/loadavg: 0.85 0.97 0.99 2/65 3067 /proc/meminfo: memFree=1859312/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=25024 CPUtime=3.09 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 6193 0 0 0 304 5 0 0 25 0 1 0 244289439 25624576 5483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 6256 5483 313 324 0 5325 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25024 [startup+6.30111 s] /proc/loadavg: 0.86 0.97 0.99 2/65 3067 /proc/meminfo: memFree=1836656/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=54424 CPUtime=6.28 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 13541 0 0 0 620 8 0 0 25 0 1 0 244289439 55730176 12831 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 13606 12831 313 324 0 12675 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 54424 [startup+12.7017 s] /proc/loadavg: 0.87 0.97 0.99 2/65 3067 /proc/meminfo: memFree=1800512/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=86820 CPUtime=12.68 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 21651 0 0 0 1255 13 0 0 25 0 1 0 244289439 88903680 20941 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 21705 20941 313 324 0 20774 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 86820 [startup+25.5018 s] /proc/loadavg: 0.90 0.97 0.99 2/65 3067 /proc/meminfo: memFree=1750976/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=133704 CPUtime=25.49 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 33363 0 0 0 2527 22 0 0 25 0 1 0 244289439 136912896 32653 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 33426 32653 313 324 0 32495 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 133704 [startup+51.102 s] /proc/loadavg: 0.93 0.97 0.99 2/65 3067 /proc/meminfo: memFree=1692224/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=192352 CPUtime=51.07 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 48040 0 0 0 5074 33 0 0 25 0 1 0 244289439 196968448 47330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7840568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 48088 47330 313 324 0 47157 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 192352 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/65 3067 /proc/meminfo: memFree=1609664/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=274272 CPUtime=102.26 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 68509 0 0 0 10180 46 0 0 25 0 1 0 244289439 280854528 67799 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 68568 67799 313 324 0 67637 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 274272 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/71 3233 /proc/meminfo: memFree=1514624/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=367480 CPUtime=162.16 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 91872 0 0 0 16153 63 0 0 25 0 1 0 244289439 376299520 91104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 91870 91104 313 324 0 90939 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 367480 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1515840/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=367480 CPUtime=222.13 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 91872 0 0 0 22149 64 0 0 25 0 1 0 244289439 376299520 91104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 91870 91104 313 324 0 90939 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 367480 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1515776/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=367480 CPUtime=282.11 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 91872 0 0 0 28144 67 0 0 25 0 1 0 244289439 376299520 91104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 91870 91104 313 324 0 90939 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 367480 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1515776/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=367480 CPUtime=342.09 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 91872 0 0 0 34139 70 0 0 25 0 1 0 244289439 376299520 91104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 91870 91104 313 324 0 90939 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 367480 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1515840/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=367480 CPUtime=402.07 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 91872 0 0 0 40136 71 0 0 25 0 1 0 244289439 376299520 91104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 91870 91104 313 324 0 90939 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 367480 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1515968/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=367480 CPUtime=462.06 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 91872 0 0 0 46133 73 0 0 25 0 1 0 244289439 376299520 91104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7827092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 91870 91104 313 324 0 90939 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 367480 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1498496/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=384764 CPUtime=522.04 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 96248 0 0 0 52127 77 0 0 25 0 1 0 244289439 393998336 95420 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 96191 95420 313 324 0 95260 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 384764 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1498496/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=384764 CPUtime=582.03 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 96248 0 0 0 58123 80 0 0 25 0 1 0 244289439 393998336 95420 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 96191 95420 313 324 0 95260 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 384764 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1498496/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=384764 CPUtime=642.01 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 96248 0 0 0 64119 82 0 0 25 0 1 0 244289439 393998336 95420 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 96191 95420 313 324 0 95260 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 384764 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1486656/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=397008 CPUtime=821.96 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 99319 0 0 0 82106 90 0 0 25 0 1 0 244289439 406536192 98491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 99252 98491 313 324 0 98321 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 397008 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1484864/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=398408 CPUtime=881.95 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 99716 0 0 0 88102 93 0 0 25 0 1 0 244289439 407969792 98826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 99602 98826 313 324 0 98671 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 398408 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1484928/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=398408 CPUtime=941.93 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 99716 0 0 0 94097 96 0 0 25 0 1 0 244289439 407969792 98826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 99602 98826 313 324 0 98671 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 398408 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3265 /proc/meminfo: memFree=1484992/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=398408 CPUtime=1001.92 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 99716 0 0 0 100093 99 0 0 25 0 1 0 244289439 407969792 98826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 99602 98826 313 324 0 98671 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 398408 [startup+1062.3 s] /proc/loadavg: 1.03 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1485056/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=398408 CPUtime=1061.9 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 99716 0 0 0 106090 100 0 0 25 0 1 0 244289439 407969792 98826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 99602 98826 313 324 0 98671 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 398408 [startup+1122.3 s] /proc/loadavg: 1.01 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1484992/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=398408 CPUtime=1121.89 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 99716 0 0 0 112087 102 0 0 25 0 1 0 244289439 407969792 98826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 99602 98826 313 324 0 98671 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 398408 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1476224/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=407548 CPUtime=1181.87 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 102003 0 0 0 118082 105 0 0 25 0 1 0 244289439 417329152 101113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 101887 101113 313 324 0 100956 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 407548 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1469824/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=413300 CPUtime=1241.86 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 103519 0 0 0 124078 108 0 0 25 0 1 0 244289439 423219200 102565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 103325 102565 313 324 0 102394 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 413300 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1469888/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=413300 CPUtime=1301.84 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 103519 0 0 0 130074 110 0 0 25 0 1 0 244289439 423219200 102565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 103325 102565 313 324 0 102394 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 413300 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1469888/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=413300 CPUtime=1361.82 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 103519 0 0 0 136070 112 0 0 25 0 1 0 244289439 423219200 102565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 103325 102565 313 324 0 102394 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 413300 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1469952/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=413300 CPUtime=1421.81 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 103519 0 0 0 142068 113 0 0 25 0 1 0 244289439 423219200 102565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 103325 102565 313 324 0 102394 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 413300 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1469952/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=413300 CPUtime=1481.79 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 103519 0 0 0 148064 115 0 0 25 0 1 0 244289439 423219200 102565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 103325 102565 313 324 0 102394 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 413300 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1469888/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=413300 CPUtime=1541.77 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 103519 0 0 0 154062 115 0 0 25 0 1 0 244289439 423219200 102565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 103325 102565 313 324 0 102394 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 413300 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1469952/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=413300 CPUtime=1601.76 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 103519 0 0 0 160059 117 0 0 25 0 1 0 244289439 423219200 102565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 103325 102565 313 324 0 102394 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 413300 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1469888/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=413300 CPUtime=1661.74 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 103519 0 0 0 166057 117 0 0 25 0 1 0 244289439 423219200 102565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 103325 102565 313 324 0 102394 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 413300 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1453184/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=429808 CPUtime=1721.72 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 107716 0 0 0 172051 121 0 0 25 0 1 0 244289439 440123392 106695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 107452 106695 313 324 0 106521 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 429808 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1453184/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=429808 CPUtime=1781.71 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194304 107716 0 0 0 178045 126 0 0 25 0 1 0 244289439 440123392 106695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 107452 106695 313 324 0 106521 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 429808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3265 /proc/meminfo: memFree=1506816/2055920 swapFree=4183136/4192956 [pid=3066] ppid=3064 vsize=0 CPUtime=1800.01 /proc/3066/stat : 3066 (bsolo3.0.16) R 3064 3066 9299 0 -1 4194308 107717 0 0 0 179872 129 0 0 25 0 1 0 244289439 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3066/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.08 CPU user time (s): 1798.73 CPU system time (s): 1.35179 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 430076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.73 system time used= 1.35179 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107717 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= 3652 runsolver used 1.44378 second user time and 3.53246 second system time The end
Begin job on node57 on Tue May 1 14:58:55 UTC 2007 IDJOB= 454800 IDBENCH= 48221 IDSOLVER= 163 FILE ID= node57/454800-1178031535 PBS_JOBID= 4728360 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454800-1178031535/instance-454800-1178031535.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-454800-1178031535 -o ROOT/results/node57/solver-454800-1178031535 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454800-1178031535/instance-454800-1178031535.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 5ebd53ca3e688df11993cbeac431dac6 RANDOM SEED= 489784437 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1880592 kB Buffers: 32536 kB Cached: 74580 kB SwapCached: 3520 kB Active: 82216 kB Inactive: 40840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1880592 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 7184 kB Writeback: 0 kB Mapped: 18996 kB Slab: 38368 kB Committed_AS: 4702800 kB PageTables: 1424 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= 66558 MiB End job on node57 on Tue May 1 15:28:57 UTC 2007