Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -60 | 1800.04 | 1800.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_2.opb |
MD5SUM | e40e55fe30ea19a1cae02f7f820bc9fe |
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 | -78 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -78 |
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 | 25 |
Maximum length of a constraint | 45 |
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) | 15670 |
Sum of products size (including duplicates) | 31340 |
Number of different products | 7835 |
Sum of products size | 15670 |
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/454770-1178030891/instance-454770-1178030891.opb 0.00/0.00 c File size is 202610 bytes. 0.00/0.09 c Highest Coefficient sum: 500 0.00/0.09 c Parsing was ok!! 0.00/0.09 c Total parsing time: 0.092 s 0.09/0.12 c Var: 16170 Constr: 32340 16170/500/15670 Lit: 125360 Watch. Lit: 94020 0.09/0.12 c Obj. Vars: 500 (3.09215 % of total variables) 0.49/0.56 c Pre-processing Time: 0.565 s 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 500 7835 23505 3 15670 2611 0 0 0.56 0.49/0.57 c Switching off LPR mode. 0.49/0.57 o -56 0.568 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 500 7836 24005 3 15728 3611 1 0 0.57 0.49/0.57 o -57 0.572 1.09/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.15 c 10 500 7847 28921 3 15807 3611 12 17 0.57 1.09/1.15 c 110 500 7947 72956 9 16007 3973 112 182 0.60 1.09/1.15 c 361 500 8198 183401 22 16509 4371 363 534 0.68 1.09/1.15 c 837 500 8674 392484 45 17461 4809 839 1013 0.83 1.09/1.15 c 1650 500 9487 750159 79 19087 5290 1652 1432 1.15 1.09/1.15 o -58 1.155 1.09/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.18 c 1650 500 9488 750659 79 19147 3611 1653 1427 1.16 1.09/1.18 o -59 1.178 18.29/18.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.29/18.35 c 1719 500 9558 781472 81 19346 3611 1723 1458 1.18 18.29/18.35 c 1819 500 9658 825272 85 19546 3973 1823 1499 1.21 18.29/18.35 c 2069 500 9908 934799 94 20046 4371 2073 1572 1.32 18.29/18.35 c 2544 500 10383 1142764 110 20996 4809 2548 1700 1.50 18.29/18.35 c 3357 500 11196 1498611 133 22622 5290 3361 1735 1.93 18.29/18.35 c 4677 500 12516 2076189 165 25262 5820 4681 1742 2.68 18.29/18.35 c 6759 500 14598 2987149 204 29426 6403 6763 1747 3.87 18.29/18.35 c 9982 500 17821 4397940 246 35872 7044 9986 1788 5.58 18.29/18.35 c 14918 500 22757 6561038 288 45744 7749 14922 1371 10.88 18.29/18.35 o -60 18.346 1799.98/1800.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.72 c 20071 500 27911 8817047 315 56112 3611 20076 1093 18.35 1799.98/1800.72 c 20171 500 9742 857702 88 19544 3973 1907 1053 19.14 1799.98/1800.72 c 20421 500 9992 966891 96 20044 4371 2157 1063 19.21 1799.98/1800.72 c 20896 500 10467 1174401 112 20994 4809 2632 1080 19.34 1799.98/1800.72 c 21710 500 11281 1529975 135 22622 5290 3446 1105 19.63 1799.98/1800.72 c 23030 500 12601 2106360 167 25262 5820 4766 1134 20.31 1799.98/1800.72 c 25111 500 14682 3015171 205 29424 6403 6847 1174 21.39 1799.98/1800.72 c 28334 500 17905 4422257 246 35870 7044 10070 1202 23.57 1799.98/1800.72 c 33272 500 22843 6578836 288 45746 7749 15008 1242 26.77 1799.98/1800.72 c 40779 500 30350 9856149 324 60760 8524 22515 1193 34.18 1799.98/1800.72 c 52141 500 21314 5908243 277 42688 9377 13479 1021 51.04 1799.98/1800.72 c 69285 500 17633 4301580 243 35326 10315 9798 854 81.09 1799.98/1800.72 c 95104 500 22155 6276492 283 44370 11347 14320 736 129.09 1799.98/1800.72 c 133937 500 17368 4184274 240 34796 12482 9533 647 206.78 1799.98/1800.72 c 192292 500 30967 10118237 326 61994 13731 23132 524 366.37 1799.98/1800.72 c 279925 500 26602 8218375 308 53264 15105 18767 411 680.35 1799.98/1800.72 c 411478 500 16076 3622847 225 32212 16616 8241 342 1200.96 1799.98/1800.72 c Resources Exceeded 1799.98/1800.72 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.98/1800.72 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 -x56 1799.98/1800.72 v -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 -x82 1799.98/1800.72 v -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 1799.98/1800.72 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128 1799.98/1800.72 v -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1799.98/1800.72 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1799.98/1800.72 v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 1799.98/1800.72 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 x212 1799.98/1800.72 v -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 1799.98/1800.72 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 1799.98/1800.72 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 1799.98/1800.72 v -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 1799.98/1800.72 v -x297 -x298 -x299 x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 x315 -x316 -x317 1799.98/1800.72 v -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1799.98/1800.72 v -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 1799.98/1800.72 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 1799.98/1800.72 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1799.98/1800.72 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 1799.98/1800.72 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 1799.98/1800.72 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 1799.98/1800.72 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 x481 -x482 -x483 -x484 x485 1799.98/1800.72 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 x499 -x500 1799.98/1800.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.72 c 33 584879 96505 729920 18413 4640556 10578 324 1800.00 1799.98/1800.72 c Objective: -60 1799.98/1800.72 s SATISFIABLE 1799.98/1800.72 c Total time: 1800 s
OK -60
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-454770-1178030891 -o ROOT/results/node38/solver-454770-1178030891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454770-1178030891/instance-454770-1178030891.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.72 0.91 0.97 3/77 18211 /proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=11936 CPUtime=0 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 235255794 12222464 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 2984 335 281 324 0 2003 0 [startup+0.0126391 s] /proc/loadavg: 0.72 0.91 0.97 3/77 18211 /proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=4536 CPUtime=0 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 490 0 0 0 0 0 0 0 18 0 1 0 235255794 4644864 459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 1134 460 296 324 0 153 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4536 [startup+0.101656 s] /proc/loadavg: 0.72 0.91 0.97 3/77 18211 /proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=8976 CPUtime=0.09 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 1689 0 0 0 9 0 0 0 18 0 1 0 235255794 9191424 1608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9040028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 2244 1608 302 324 0 1313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8976 [startup+0.301693 s] /proc/loadavg: 0.72 0.91 0.97 3/77 18211 /proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=12820 CPUtime=0.29 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 2589 0 0 0 28 1 0 0 19 0 1 0 235255794 13127680 2508 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 3205 2508 307 324 0 2274 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12820 [startup+0.701771 s] /proc/loadavg: 0.72 0.91 0.97 3/77 18211 /proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=14980 CPUtime=0.69 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 3336 0 0 0 67 2 0 0 23 0 1 0 235255794 15339520 3063 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 3745 3063 313 324 0 2814 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14980 [startup+1.50192 s] /proc/loadavg: 0.74 0.91 0.97 2/78 18212 /proc/meminfo: memFree=1777592/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=25900 CPUtime=1.49 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 6053 0 0 0 146 3 0 0 25 0 1 0 235255794 26521600 5780 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 6475 5780 313 324 0 5544 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25900 [startup+3.10123 s] /proc/loadavg: 0.74 0.91 0.97 2/78 18212 /proc/meminfo: memFree=1765112/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=41956 CPUtime=3.09 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 10090 0 0 0 304 5 0 0 25 0 1 0 235255794 42962944 9817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 10489 9818 313 324 0 9558 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41956 [startup+6.30185 s] /proc/loadavg: 0.74 0.91 0.97 2/78 18212 /proc/meminfo: memFree=1731384/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=74652 CPUtime=6.28 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 18244 0 0 0 619 9 0 0 25 0 1 0 235255794 76443648 17971 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 18663 17971 313 324 0 17732 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 74652 [startup+12.7011 s] /proc/loadavg: 0.78 0.91 0.97 2/78 18212 /proc/meminfo: memFree=1695240/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=104796 CPUtime=12.69 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 25787 0 0 0 1255 14 0 0 25 0 1 0 235255794 107311104 25514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 26199 25514 313 324 0 25268 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 104796 [startup+25.5015 s] /proc/loadavg: 0.81 0.91 0.97 2/78 18212 /proc/meminfo: memFree=1673672/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=123192 CPUtime=25.48 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 30395 0 0 0 2530 18 0 0 25 0 1 0 235255794 126148608 30122 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 30798 30122 313 324 0 29867 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 123192 [startup+51.1015 s] /proc/loadavg: 0.87 0.92 0.97 2/78 18212 /proc/meminfo: memFree=1646920/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=149924 CPUtime=51.08 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 37083 0 0 0 5083 25 0 0 25 0 1 0 235255794 153522176 36810 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 37481 36810 313 324 0 36550 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 149924 [startup+102.305 s] /proc/loadavg: 0.95 0.93 0.97 2/78 18212 /proc/meminfo: memFree=1642184/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=154660 CPUtime=102.26 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 38272 0 0 0 10195 31 0 0 25 0 1 0 235255794 158371840 37999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 38665 37999 313 324 0 37734 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 154660 [startup+162.302 s] /proc/loadavg: 0.98 0.94 0.97 2/78 18212 /proc/meminfo: memFree=1630664/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=166084 CPUtime=162.24 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 41127 0 0 0 16184 40 0 0 25 0 1 0 235255794 170070016 40854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 41521 40854 313 324 0 40590 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 166084 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.97 2/78 18212 /proc/meminfo: memFree=1630344/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=166368 CPUtime=222.21 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 41197 0 0 0 22176 45 0 0 25 0 1 0 235255794 170360832 40924 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 41592 40924 313 324 0 40661 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 166368 [startup+282.302 s] /proc/loadavg: 0.99 0.95 0.97 2/78 18212 /proc/meminfo: memFree=1624200/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=172456 CPUtime=282.2 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 42720 0 0 0 28169 51 0 0 25 0 1 0 235255794 176594944 42447 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 43114 42447 313 324 0 42183 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 172456 [startup+342.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 18212 /proc/meminfo: memFree=1623944/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=172712 CPUtime=342.17 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 42788 0 0 0 34163 54 0 0 25 0 1 0 235255794 176857088 42515 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 43178 42515 313 324 0 42247 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 172712 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18212 /proc/meminfo: memFree=1617224/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=179428 CPUtime=402.16 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44464 0 0 0 40157 59 0 0 25 0 1 0 235255794 183734272 44191 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 44857 44191 313 324 0 43926 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 179428 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18212 /proc/meminfo: memFree=1617288/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=179428 CPUtime=462.13 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44464 0 0 0 46151 62 0 0 25 0 1 0 235255794 183734272 44191 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 44857 44191 313 324 0 43926 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 179428 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18212 /proc/meminfo: memFree=1616904/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=179804 CPUtime=522.11 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44558 0 0 0 52145 66 0 0 25 0 1 0 235255794 184119296 44285 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 44951 44285 313 324 0 44020 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 179804 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18212 /proc/meminfo: memFree=1617544/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=179036 CPUtime=582.09 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44558 0 0 0 58140 69 0 0 25 0 1 0 235255794 183332864 44096 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 44759 44096 313 324 0 43828 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 179036 [startup+642.302 s] /proc/loadavg: 1.04 0.99 0.97 2/78 18212 /proc/meminfo: memFree=1617608/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=179036 CPUtime=642.08 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44558 0 0 0 64134 74 0 0 25 0 1 0 235255794 183332864 44096 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 44759 44096 313 324 0 43828 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 179036 ################ # More data... # ################ /proc/meminfo: memFree=1609352/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=187324 CPUtime=1061.83 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 46783 0 0 0 106082 101 0 0 25 0 1 0 235255794 191819776 46166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9039570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 46831 46166 313 324 0 45900 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 187324 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1609352/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=187388 CPUtime=1121.81 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 46799 0 0 0 112076 105 0 0 25 0 1 0 235255794 191885312 46182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 46847 46182 313 324 0 45916 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 187388 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1609352/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=187388 CPUtime=1181.79 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 46799 0 0 0 118070 109 0 0 25 0 1 0 235255794 191885312 46182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 46847 46182 313 324 0 45916 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 187388 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1609160/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=187492 CPUtime=1241.77 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 46826 0 0 0 124065 112 0 0 25 0 1 0 235255794 191991808 46209 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 46873 46209 313 324 0 45942 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 187492 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1600776/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195900 CPUtime=1301.76 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48929 0 0 0 130057 119 0 0 25 0 1 0 235255794 200601600 48312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48975 48312 313 324 0 48044 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 195900 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1600648/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195948 CPUtime=1361.73 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48941 0 0 0 136052 121 0 0 25 0 1 0 235255794 200650752 48324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48987 48324 313 324 0 48056 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 195948 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1600712/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195948 CPUtime=1421.71 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48941 0 0 0 142046 125 0 0 25 0 1 0 235255794 200650752 48324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48987 48324 313 324 0 48056 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 195948 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1600712/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195900 CPUtime=1481.69 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48941 0 0 0 148040 129 0 0 25 0 1 0 235255794 200601600 48312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48975 48312 313 324 0 48044 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 195900 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1600712/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195996 CPUtime=1541.66 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48965 0 0 0 154034 132 0 0 25 0 1 0 235255794 200699904 48336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48999 48336 313 324 0 48068 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 195996 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1600648/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195996 CPUtime=1601.64 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48965 0 0 0 160027 137 0 0 25 0 1 0 235255794 200699904 48336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48999 48336 313 324 0 48068 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 195996 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1601032/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195496 CPUtime=1661.63 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48965 0 0 0 166022 141 0 0 25 0 1 0 235255794 200187904 48211 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48874 48211 313 324 0 47943 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 195496 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1600776/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195936 CPUtime=1721.6 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 172015 145 0 0 25 0 1 0 235255794 200638464 48321 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48984 48321 313 324 0 48053 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 195936 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1600776/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195936 CPUtime=1781.59 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 178010 149 0 0 25 0 1 0 235255794 200638464 48321 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48984 48321 313 324 0 48053 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 195936 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1600776/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195936 CPUtime=1791.18 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 178969 149 0 0 25 0 1 0 235255794 200638464 48321 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48984 48321 313 324 0 48053 0 Current children cumulated CPU time (s) 1791.18 Current children cumulated vsize (KiB) 195936 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1601032/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195496 CPUtime=1794.38 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179289 149 0 0 25 0 1 0 235255794 200187904 48211 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48874 48211 313 324 0 47943 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (KiB) 195496 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1601096/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195424 CPUtime=1797.58 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179608 150 0 0 25 0 1 0 235255794 200114176 48193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48856 48193 313 324 0 47925 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (KiB) 195424 [startup+1799.9 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1601096/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195424 CPUtime=1799.18 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179768 150 0 0 25 0 1 0 235255794 200114176 48193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48856 48193 313 324 0 47925 0 Current children cumulated CPU time (s) 1799.18 Current children cumulated vsize (KiB) 195424 [startup+1800.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1601096/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195424 CPUtime=1799.58 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179808 150 0 0 25 0 1 0 235255794 200114176 48193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48856 48193 313 324 0 47925 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (KiB) 195424 [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.97 2/78 18410 /proc/meminfo: memFree=1601096/2055920 swapFree=4154564/4192956 [pid=18211] ppid=18209 vsize=195424 CPUtime=1799.98 /proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179848 150 0 0 25 0 1 0 235255794 200114176 48193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18211/statm: 48856 48193 313 324 0 47925 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 195424 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.04 CPU user time (s): 1798.51 CPU system time (s): 1.53377 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (KiB): 195996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.51 system time used= 1.53377 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49076 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= 38230 runsolver used 1.40379 second user time and 3.9634 second system time The end
Begin job on node38 on Tue May 1 14:48:11 UTC 2007 IDJOB= 454770 IDBENCH= 48219 IDSOLVER= 163 FILE ID= node38/454770-1178030891 PBS_JOBID= 4728390 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_25_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454770-1178030891/instance-454770-1178030891.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-454770-1178030891 -o ROOT/results/node38/solver-454770-1178030891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454770-1178030891/instance-454770-1178030891.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= e40e55fe30ea19a1cae02f7f820bc9fe RANDOM SEED= 244615098 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1793816 kB Buffers: 51072 kB Cached: 128248 kB SwapCached: 6796 kB Active: 97560 kB Inactive: 105128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1793816 kB SwapTotal: 4192956 kB SwapFree: 4154564 kB Dirty: 6984 kB Writeback: 0 kB Mapped: 29928 kB Slab: 44676 kB Committed_AS: 3833740 kB PageTables: 2060 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 node38 on Tue May 1 15:18:12 UTC 2007