Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -33 | 1800.17 | 1800.88 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454806-1178031694/instance-454806-1178031694.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.227 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.02 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.028 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.037 1761.80/1762.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1761.80/1762.57 c 26 500 18778 69370 3 37619 7250 28 8 3.04 1761.80/1762.57 c 126 500 18878 115856 6 37819 7976 128 41 3.07 1761.80/1762.57 c 377 500 19129 232362 12 38321 8774 379 119 3.15 1761.80/1762.57 c 853 500 19605 453260 23 39273 9652 855 257 3.32 1761.80/1762.57 c 1667 500 20419 831283 40 40901 10618 1669 455 3.66 1761.80/1762.57 c 2987 500 21739 1443787 66 43541 11680 2989 676 4.42 1761.80/1762.57 c 5068 500 23820 2409020 101 47703 12849 5070 852 5.95 1761.80/1762.57 c 8291 500 27043 3905611 144 54149 14134 8293 883 9.38 1761.80/1762.57 c 13227 500 31979 6195617 193 64021 15548 13229 805 16.42 1761.80/1762.57 c 20733 500 39485 9678546 245 79033 17103 20735 692 29.92 1761.80/1762.57 c 32094 500 50846 14951862 294 101755 18814 32096 512 62.61 1761.80/1762.57 c 49239 500 67991 22901822 336 136045 20696 49241 369 133.23 1761.80/1762.57 c 75060 500 45496 12470463 274 91024 22766 26746 270 277.75 1761.80/1762.57 c 113892 500 34976 7579184 216 69984 25043 16226 204 556.91 1761.80/1762.57 c 172245 500 42406 11033615 260 84844 27548 23656 194 887.11 1761.80/1762.57 c 259878 500 76603 26904937 351 153238 30303 57853 155 1667.76 1761.80/1762.57 o -33 1761.88 1800.09/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.80 c 276129 500 36550 8319270 227 73165 7250 17800 156 1761.89 1800.09/1800.80 c 276229 500 36650 8365621 228 73365 7976 17900 156 1762.00 1800.09/1800.80 c 276480 500 36901 8482027 229 73867 8774 18151 156 1762.23 1800.09/1800.80 c 276955 500 37376 8702075 232 74817 9652 18626 157 1762.50 1800.09/1800.80 c 277769 500 38190 9079051 237 76445 10618 19440 157 1764.68 1800.09/1800.80 c 279089 500 39510 9690374 245 79085 11680 20760 158 1765.34 1800.09/1800.80 c 281170 500 41591 10654256 256 83247 12849 22841 159 1767.17 1800.09/1800.80 c 284394 500 44815 12146618 271 89695 14134 26065 160 1771.98 1800.09/1800.80 c 289331 500 49752 14433157 290 99569 15548 31002 162 1780.35 1800.09/1800.80 c 296837 500 57258 17907325 312 114581 17103 38508 165 1798.82 1800.09/1800.80 c Caught signal: 15 1800.09/1800.80 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 1800.09/1800.80 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 1800.09/1800.80 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 1800.09/1800.80 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 1800.09/1800.80 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.09/1800.80 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.09/1800.80 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 1800.09/1800.80 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.09/1800.80 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.09/1800.80 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.09/1800.80 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.09/1800.80 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.09/1800.80 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.09/1800.80 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.09/1800.80 v x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 1800.09/1800.80 v x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 x356 -x357 1800.09/1800.80 v -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 -x377 x378 1800.09/1800.80 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.09/1800.80 v -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 x417 -x418 x419 -x420 1800.09/1800.80 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.09/1800.80 v -x442 x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 x457 x458 -x459 -x460 -x461 -x462 -x463 1800.09/1800.80 v x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.09/1800.80 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1800.09/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.80 c 27 297500 26847 331806 57921 18214124 39171 165 1800.10 1800.09/1800.80 c Objective: -33 1800.09/1800.80 s SATISFIABLE 1800.09/1800.80 c Total time: 1800.1 s
OK -33
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-454806-1178031694 -o ROOT/results/node33/solver-454806-1178031694 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454806-1178031694/instance-454806-1178031694.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.99 0.97 0.98 3/83 32392 /proc/meminfo: memFree=1826008/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=12204 CPUtime=0 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 251084923 12496896 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 3051 336 279 324 0 2004 0 [startup+0.0216691 s] /proc/loadavg: 0.99 0.97 0.98 3/83 32392 /proc/meminfo: memFree=1826008/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=5348 CPUtime=0.01 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 610 0 0 0 1 0 0 0 18 0 1 0 251084923 5476352 580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 1337 581 299 324 0 290 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5348 [startup+0.101686 s] /proc/loadavg: 0.99 0.97 0.98 3/83 32392 /proc/meminfo: memFree=1826008/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=9692 CPUtime=0.09 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 1741 0 0 0 9 0 0 0 18 0 1 0 251084923 9924608 1711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 2423 1712 340 324 0 1376 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9692 [startup+0.301725 s] /proc/loadavg: 0.99 0.97 0.98 3/83 32392 /proc/meminfo: memFree=1826008/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=24432 CPUtime=0.29 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 5605 0 0 0 27 2 0 0 19 0 1 0 251084923 25018368 5418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 6108 5418 305 324 0 5178 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24432 [startup+0.701807 s] /proc/loadavg: 0.99 0.97 0.98 3/83 32392 /proc/meminfo: memFree=1826008/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=24872 CPUtime=0.69 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 5645 0 0 0 67 2 0 0 23 0 1 0 251084923 25468928 5458 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 6218 5458 305 324 0 5288 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24872 [startup+1.50197 s] /proc/loadavg: 0.99 0.97 0.98 2/84 32393 /proc/meminfo: memFree=1805264/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=24872 CPUtime=1.49 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 5645 0 0 0 147 2 0 0 25 0 1 0 251084923 25468928 5458 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 6218 5458 305 324 0 5288 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24872 [startup+3.1023 s] /proc/loadavg: 0.99 0.97 0.98 2/84 32393 /proc/meminfo: memFree=1805136/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=25024 CPUtime=3.08 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 6191 0 0 0 303 5 0 0 25 0 1 0 251084923 25624576 5482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 6256 5482 311 324 0 5326 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 25024 [startup+6.30195 s] /proc/loadavg: 0.99 0.97 0.98 2/84 32397 /proc/meminfo: memFree=1782672/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=54424 CPUtime=6.29 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 13548 0 0 0 620 9 0 0 25 0 1 0 251084923 55730176 12839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 13606 12839 311 324 0 12676 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54424 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.98 2/84 32401 /proc/meminfo: memFree=1746384/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=86944 CPUtime=12.68 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 21678 0 0 0 1254 14 0 0 25 0 1 0 251084923 89030656 20969 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11378386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 21736 20969 311 324 0 20806 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 86944 [startup+25.5019 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1697976/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=133704 CPUtime=25.46 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 33359 0 0 0 2526 20 0 0 25 0 1 0 251084923 136912896 32650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 33426 32650 311 324 0 32496 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 133704 [startup+51.1011 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1639184/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=192352 CPUtime=51.05 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 48016 0 0 0 5076 29 0 0 25 0 1 0 251084923 196968448 47307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 48088 47307 311 324 0 47158 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 192352 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1556752/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=274024 CPUtime=102.24 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 68456 0 0 0 10180 44 0 0 25 0 1 0 251084923 280600576 67747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 68506 67747 311 324 0 67576 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 274024 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1462800/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=367480 CPUtime=162.21 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 91870 0 0 0 16161 60 0 0 25 0 1 0 251084923 376299520 91103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 91870 91103 311 324 0 90940 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 367480 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1462864/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=367480 CPUtime=222.18 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 91870 0 0 0 22158 60 0 0 25 0 1 0 251084923 376299520 91103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 91870 91103 311 324 0 90940 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 367480 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1462864/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=367480 CPUtime=282.16 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 91870 0 0 0 28155 61 0 0 25 0 1 0 251084923 376299520 91103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 91870 91103 311 324 0 90940 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 367480 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1462992/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=367480 CPUtime=342.15 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 91870 0 0 0 34153 62 0 0 25 0 1 0 251084923 376299520 91103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11386631 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 91870 91103 311 324 0 90940 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 367480 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1462992/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=367480 CPUtime=402.12 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 91870 0 0 0 40150 62 0 0 25 0 1 0 251084923 376299520 91103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 91870 91103 311 324 0 90940 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 367480 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1463056/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=367480 CPUtime=462.1 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 91870 0 0 0 46147 63 0 0 25 0 1 0 251084923 376299520 91103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 91870 91103 311 324 0 90940 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 367480 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1445584/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=384764 CPUtime=522.07 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 96246 0 0 0 52142 65 0 0 25 0 1 0 251084923 393998336 95419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 96191 95419 311 324 0 95261 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 384764 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1445584/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=384764 CPUtime=582.05 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 96246 0 0 0 58139 66 0 0 25 0 1 0 251084923 393998336 95419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 96191 95419 311 324 0 95261 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 384764 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1445584/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=384764 CPUtime=642.03 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 96246 0 0 0 64137 66 0 0 25 0 1 0 251084923 393998336 95419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 96191 95419 311 324 0 95261 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 384764 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32425 /proc/meminfo: memFree=1433552/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=397132 CPUtime=821.95 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 99343 0 0 0 82125 70 0 0 25 0 1 0 251084923 406663168 98516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 99283 98516 311 324 0 98353 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 397132 [startup+882.301 s] /proc/loadavg: 1.04 0.99 0.99 2/78 32425 /proc/meminfo: memFree=1431696/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=398408 CPUtime=881.93 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 99714 0 0 0 88122 71 0 0 25 0 1 0 251084923 407969792 98825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 99602 98825 311 324 0 98672 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 398408 [startup+942.302 s] /proc/loadavg: 1.01 0.99 0.99 2/78 32425 /proc/meminfo: memFree=1431696/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=398408 CPUtime=941.91 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 99714 0 0 0 94120 71 0 0 25 0 1 0 251084923 407969792 98825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 99602 98825 311 324 0 98672 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 398408 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32425 /proc/meminfo: memFree=1431696/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=398408 CPUtime=1001.89 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 99714 0 0 0 100117 72 0 0 25 0 1 0 251084923 407969792 98825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 99602 98825 311 324 0 98672 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 398408 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32425 /proc/meminfo: memFree=1431696/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=398408 CPUtime=1061.86 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 99714 0 0 0 106114 72 0 0 25 0 1 0 251084923 407969792 98825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 99602 98825 311 324 0 98672 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 398408 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32425 /proc/meminfo: memFree=1431696/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=398408 CPUtime=1121.84 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 99714 0 0 0 112111 73 0 0 25 0 1 0 251084923 407969792 98825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 99602 98825 311 324 0 98672 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 398408 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32425 /proc/meminfo: memFree=1423248/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=407300 CPUtime=1181.82 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 101959 0 0 0 118106 76 0 0 25 0 1 0 251084923 417075200 101070 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 101825 101070 311 324 0 100895 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 407300 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32425 /proc/meminfo: memFree=1416464/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=413300 CPUtime=1241.8 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 103517 0 0 0 124103 77 0 0 25 0 1 0 251084923 423219200 102564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 103325 102564 311 324 0 102395 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 413300 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32425 /proc/meminfo: memFree=1416464/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=413300 CPUtime=1301.78 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 103517 0 0 0 130100 78 0 0 25 0 1 0 251084923 423219200 102564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 103325 102564 311 324 0 102395 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 413300 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32425 /proc/meminfo: memFree=1416464/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=413300 CPUtime=1361.75 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 103517 0 0 0 136097 78 0 0 25 0 1 0 251084923 423219200 102564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 103325 102564 311 324 0 102395 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 413300 [startup+1422.31 s] /proc/loadavg: 1.04 1.00 0.99 2/78 32425 /proc/meminfo: memFree=1416464/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=413300 CPUtime=1421.73 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 103517 0 0 0 142094 79 0 0 25 0 1 0 251084923 423219200 102564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 103325 102564 311 324 0 102395 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 413300 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 0.99 2/78 32425 /proc/meminfo: memFree=1416464/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=413300 CPUtime=1481.71 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 103517 0 0 0 148091 80 0 0 25 0 1 0 251084923 423219200 102564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 103325 102564 311 324 0 102395 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 413300 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 32425 /proc/meminfo: memFree=1416464/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=413300 CPUtime=1541.68 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 103517 0 0 0 154088 80 0 0 25 0 1 0 251084923 423219200 102564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 103325 102564 311 324 0 102395 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 413300 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 32425 /proc/meminfo: memFree=1416464/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=413300 CPUtime=1601.66 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 103517 0 0 0 160086 80 0 0 25 0 1 0 251084923 423219200 102564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 103325 102564 311 324 0 102395 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 413300 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 32425 /proc/meminfo: memFree=1416464/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=413300 CPUtime=1661.64 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 103517 0 0 0 166083 81 0 0 25 0 1 0 251084923 423219200 102564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 103325 102564 311 324 0 102395 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 413300 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 32425 /proc/meminfo: memFree=1399696/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=429808 CPUtime=1721.61 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 107714 0 0 0 172076 85 0 0 25 0 1 0 251084923 440123392 106694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 107452 106694 311 324 0 106522 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 429808 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 32425 /proc/meminfo: memFree=1399568/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=429808 CPUtime=1781.59 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 107714 0 0 0 178073 86 0 0 25 0 1 0 251084923 440123392 106694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 107452 106694 311 324 0 106522 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 429808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.99 2/78 32425 /proc/meminfo: memFree=1399568/2055920 swapFree=4147808/4192956 [pid=32392] ppid=32390 vsize=429808 CPUtime=1800.09 /proc/32392/stat : 32392 (bsolo3.0.17) R 32390 32392 18495 0 -1 4194304 107714 0 0 0 179923 86 0 0 25 0 1 0 251084923 440123392 106694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32392/statm: 107452 106694 311 324 0 106522 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 429808 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.88 CPU time (s): 1800.17 CPU user time (s): 1799.23 CPU system time (s): 0.934857 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 430076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.934857 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107718 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= 38921 runsolver used 1.40978 second user time and 4.00039 second system time The end
Begin job on node33 on Tue May 1 15:01:34 UTC 2007 IDJOB= 454806 IDBENCH= 48221 IDSOLVER= 199 FILE ID= node33/454806-1178031694 PBS_JOBID= 4728384 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454806-1178031694/instance-454806-1178031694.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-454806-1178031694 -o ROOT/results/node33/solver-454806-1178031694 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454806-1178031694/instance-454806-1178031694.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 5ebd53ca3e688df11993cbeac431dac6 RANDOM SEED= 112773146 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1826416 kB Buffers: 70780 kB Cached: 68176 kB SwapCached: 13432 kB Active: 118924 kB Inactive: 49832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826416 kB SwapTotal: 4192956 kB SwapFree: 4147808 kB Dirty: 7112 kB Writeback: 0 kB Mapped: 36472 kB Slab: 45668 kB Committed_AS: 5155260 kB PageTables: 2236 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 node33 on Tue May 1 15:31:37 UTC 2007