Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -60 | 1800.12 | 1800.84 |
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.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/454776-1178031008/instance-454776-1178031008.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.094 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 183 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 1014 0.82 1.09/1.15 c 1650 500 9487 750159 79 19087 5290 1652 1436 1.15 1.09/1.15 o -58 1.152 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 1431 1.15 1.09/1.18 o -59 1.175 18.28/18.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.28/18.32 c 1719 500 9558 781472 81 19346 3611 1723 1461 1.18 18.28/18.32 c 1819 500 9658 825272 85 19546 3973 1823 1503 1.21 18.28/18.32 c 2069 500 9908 934799 94 20046 4371 2073 1575 1.31 18.28/18.32 c 2544 500 10383 1142764 110 20996 4809 2548 1702 1.49 18.28/18.32 c 3357 500 11196 1498611 133 22622 5290 3361 1739 1.93 18.28/18.32 c 4677 500 12516 2076189 165 25262 5820 4681 1742 2.68 18.28/18.32 c 6759 500 14598 2987149 204 29426 6403 6763 1747 3.87 18.28/18.32 c 9982 500 17821 4397940 246 35872 7044 9986 1785 5.59 18.28/18.32 c 14918 500 22757 6561038 288 45744 7749 14922 1370 10.89 18.28/18.32 o -60 18.315 1800.08/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.80 c 20071 500 27911 8817047 315 56112 3611 20076 1095 18.32 1800.08/1800.80 c 20171 500 9742 857702 88 19544 3973 1907 1055 19.11 1800.08/1800.80 c 20421 500 9992 966891 96 20044 4371 2157 1064 19.18 1800.08/1800.80 c 20896 500 10467 1174401 112 20994 4809 2632 1081 19.31 1800.08/1800.80 c 21710 500 11281 1529975 135 22622 5290 3446 1107 19.60 1800.08/1800.80 c 23030 500 12601 2106360 167 25262 5820 4766 1136 20.27 1800.08/1800.80 c 25111 500 14682 3015171 205 29424 6403 6847 1176 21.35 1800.08/1800.80 c 28334 500 17905 4422257 246 35870 7044 10070 1203 23.54 1800.08/1800.80 c 33272 500 22843 6578836 288 45746 7749 15008 1244 26.74 1800.08/1800.80 c 40779 500 30350 9856149 324 60760 8524 22515 1196 34.08 1800.08/1800.80 c 52141 500 21314 5908243 277 42688 9377 13479 1025 50.86 1800.08/1800.80 c 69285 500 17633 4301580 243 35326 10315 9798 857 80.79 1800.08/1800.80 c 95104 500 22155 6276492 283 44370 11347 14320 739 128.64 1800.08/1800.80 c 133937 500 17368 4184274 240 34796 12482 9533 650 206.04 1800.08/1800.80 c 192292 500 30967 10118237 326 61994 13731 23132 526 365.23 1800.08/1800.80 c 279925 500 26602 8218375 308 53264 15105 18767 412 678.52 1800.08/1800.80 c 411478 500 16076 3622847 225 32212 16616 8241 343 1198.27 1800.08/1800.80 c Caught signal: 15 1800.08/1800.81 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.08/1800.81 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 1800.08/1800.81 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 1800.08/1800.81 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 1800.08/1800.81 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128 1800.08/1800.81 v -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.08/1800.81 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.08/1800.81 v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 1800.08/1800.81 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 x212 1800.08/1800.81 v -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 1800.08/1800.81 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 1800.08/1800.81 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.08/1800.81 v -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 1800.08/1800.81 v -x297 -x298 -x299 x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 x315 -x316 -x317 1800.08/1800.81 v -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.08/1800.81 v -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 1800.08/1800.81 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 1800.08/1800.81 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.08/1800.81 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 1800.08/1800.81 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 1800.08/1800.81 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 1800.08/1800.81 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 x481 -x482 -x483 -x484 x485 1800.08/1800.81 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 x499 -x500 1800.08/1800.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.81 c 33 586660 96747 732035 20194 5417893 12359 325 1800.08 1800.08/1800.81 c Objective: -60 1800.08/1800.81 s SATISFIABLE 1800.08/1800.81 c Total time: 1800.08 s
OK -60
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-454776-1178031008 -o ROOT/results/node25/solver-454776-1178031008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454776-1178031008/instance-454776-1178031008.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: 1.00 1.00 1.00 2/64 16833 /proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=19748 CPUtime=0 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 251017912 20221952 329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 4937 329 278 324 0 3957 0 [startup+0.1045 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16833 /proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=8976 CPUtime=0.09 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 1686 0 0 0 9 0 0 0 18 0 1 0 251017912 9191424 1606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10461271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 2244 1606 300 324 0 1314 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8976 [startup+0.201513 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16833 /proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=12820 CPUtime=0.19 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 2586 0 0 0 18 1 0 0 18 0 1 0 251017912 13127680 2506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 3205 2506 305 324 0 2275 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12820 [startup+0.301531 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16833 /proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=12820 CPUtime=0.29 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 2586 0 0 0 28 1 0 0 19 0 1 0 251017912 13127680 2506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 3205 2506 305 324 0 2275 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12820 [startup+0.701599 s] /proc/loadavg: 1.00 1.00 1.00 2/64 16833 /proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=14980 CPUtime=0.69 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 3335 0 0 0 66 3 0 0 23 0 1 0 251017912 15339520 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 3745 3063 311 324 0 2815 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14980 [startup+1.50174 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1873848/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=25900 CPUtime=1.49 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 6050 0 0 0 145 4 0 0 25 0 1 0 251017912 26521600 5778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 6475 5778 311 324 0 5545 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25900 [startup+3.10201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1861560/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=41956 CPUtime=3.09 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 10088 0 0 0 304 5 0 0 25 0 1 0 251017912 42962944 9816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 10489 9816 311 324 0 9559 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41956 [startup+6.30156 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1827960/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=74524 CPUtime=6.29 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 18214 0 0 0 620 9 0 0 25 0 1 0 251017912 76312576 17942 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 18631 17942 311 324 0 17701 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 74524 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1792064/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=104796 CPUtime=12.68 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 25786 0 0 0 1256 12 0 0 25 0 1 0 251017912 107311104 25514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 26199 25514 311 324 0 25269 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 104796 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1771008/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=123192 CPUtime=25.48 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 30392 0 0 0 2533 15 0 0 25 0 1 0 251017912 126148608 30120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 30798 30120 311 324 0 29868 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 123192 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1744192/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=149924 CPUtime=51.06 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 37080 0 0 0 5087 19 0 0 25 0 1 0 251017912 153522176 36808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 37481 36808 311 324 0 36551 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 149924 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1739392/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=154660 CPUtime=102.25 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 38269 0 0 0 10205 20 0 0 25 0 1 0 251017912 158371840 37997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 38665 37997 311 324 0 37735 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 154660 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1728000/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=166084 CPUtime=162.23 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 41124 0 0 0 16201 22 0 0 25 0 1 0 251017912 170070016 40852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 41521 40852 311 324 0 40591 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 166084 [startup+222.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1727680/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=166368 CPUtime=222.21 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 41194 0 0 0 22199 22 0 0 25 0 1 0 251017912 170360832 40922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 41592 40922 311 324 0 40662 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 166368 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1721536/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=172456 CPUtime=282.19 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 42717 0 0 0 28196 23 0 0 25 0 1 0 251017912 176594944 42445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 43114 42445 311 324 0 42184 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 172456 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1721216/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=172712 CPUtime=342.17 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 42785 0 0 0 34194 23 0 0 25 0 1 0 251017912 176857088 42513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 43178 42513 311 324 0 42248 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 172712 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1714432/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=179428 CPUtime=402.14 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44461 0 0 0 40191 23 0 0 25 0 1 0 251017912 183734272 44189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 44857 44189 311 324 0 43927 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 179428 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1714560/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=179428 CPUtime=462.12 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44461 0 0 0 46189 23 0 0 25 0 1 0 251017912 183734272 44189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 44857 44189 311 324 0 43927 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 179428 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1714176/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=179804 CPUtime=522.1 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44555 0 0 0 52187 23 0 0 25 0 1 0 251017912 184119296 44283 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 44951 44283 311 324 0 44021 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 179804 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1714752/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=179036 CPUtime=582.08 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44555 0 0 0 58184 24 0 0 25 0 1 0 251017912 183332864 44094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 44759 44094 311 324 0 43829 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 179036 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16834 /proc/meminfo: memFree=1714816/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=179036 CPUtime=642.06 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44555 0 0 0 64182 24 0 0 25 0 1 0 251017912 183332864 44094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 44759 44094 311 324 0 43829 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 179036 ################ # More data... # ################ [startup+882.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1706176/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=187520 CPUtime=881.89 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46675 0 0 0 88164 25 0 0 25 0 1 0 251017912 192020480 46214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 46880 46214 311 324 0 45950 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 187520 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1706752/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=186896 CPUtime=941.86 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46675 0 0 0 94161 25 0 0 25 0 1 0 251017912 191381504 46059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 46724 46059 311 324 0 45794 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 186896 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1706816/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=186896 CPUtime=1001.84 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46675 0 0 0 100159 25 0 0 25 0 1 0 251017912 191381504 46059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 46724 46059 311 324 0 45794 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 186896 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1706496/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=187324 CPUtime=1061.82 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46780 0 0 0 106157 25 0 0 25 0 1 0 251017912 191819776 46164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 46831 46164 311 324 0 45901 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 187324 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1706432/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=187388 CPUtime=1121.8 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46796 0 0 0 112155 25 0 0 25 0 1 0 251017912 191885312 46180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 46847 46180 311 324 0 45917 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 187388 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1706432/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=187388 CPUtime=1181.78 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46796 0 0 0 118153 25 0 0 25 0 1 0 251017912 191885312 46180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 46847 46180 311 324 0 45917 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 187388 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1706240/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=187492 CPUtime=1241.76 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46823 0 0 0 124150 26 0 0 25 0 1 0 251017912 191991808 46207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 46873 46207 311 324 0 45943 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 187492 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1697856/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195900 CPUtime=1301.74 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48926 0 0 0 130148 26 0 0 25 0 1 0 251017912 200601600 48310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48975 48310 311 324 0 48045 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 195900 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1697792/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195948 CPUtime=1361.71 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48938 0 0 0 136145 26 0 0 25 0 1 0 251017912 200650752 48322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48987 48322 311 324 0 48057 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 195948 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1697792/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195948 CPUtime=1421.7 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48938 0 0 0 142144 26 0 0 25 0 1 0 251017912 200650752 48322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48987 48322 311 324 0 48057 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 195948 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1697792/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195900 CPUtime=1481.67 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48938 0 0 0 148141 26 0 0 25 0 1 0 251017912 200601600 48310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48975 48310 311 324 0 48045 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 195900 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1697728/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195996 CPUtime=1541.66 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48962 0 0 0 154139 27 0 0 25 0 1 0 251017912 200699904 48334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48999 48334 311 324 0 48069 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 195996 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1697728/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195996 CPUtime=1601.64 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48962 0 0 0 160137 27 0 0 25 0 1 0 251017912 200699904 48334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48999 48334 311 324 0 48069 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 195996 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1698112/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195496 CPUtime=1661.62 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48962 0 0 0 166135 27 0 0 25 0 1 0 251017912 200187904 48209 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48874 48209 311 324 0 47944 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 195496 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1697856/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195936 CPUtime=1721.6 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 49072 0 0 0 172133 27 0 0 25 0 1 0 251017912 200638464 48319 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48984 48319 311 324 0 48054 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 195936 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1697792/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195936 CPUtime=1781.57 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 49072 0 0 0 178130 27 0 0 25 0 1 0 251017912 200638464 48319 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48984 48319 311 324 0 48054 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 195936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1698112/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195424 CPUtime=1800.08 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 49072 0 0 0 179981 27 0 0 25 0 1 0 251017912 200114176 48191 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48856 48191 311 324 0 47926 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 195424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17032 /proc/meminfo: memFree=1698112/2055920 swapFree=4182940/4192956 [pid=16833] ppid=16831 vsize=195424 CPUtime=1800.08 /proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 49072 0 0 0 179981 27 0 0 25 0 1 0 251017912 200114176 48191 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16833/statm: 48856 48191 311 324 0 47926 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 195424 Child status: 15 Real time (s): 1800.84 CPU time (s): 1800.12 CPU user time (s): 1799.81 CPU system time (s): 0.305953 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 195996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.305953 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= 4494 runsolver used 1.46478 second user time and 3.50947 second system time The end
Begin job on node25 on Tue May 1 14:50:08 UTC 2007 IDJOB= 454776 IDBENCH= 48219 IDSOLVER= 199 FILE ID= node25/454776-1178031008 PBS_JOBID= 4728381 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_25_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454776-1178031008/instance-454776-1178031008.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-454776-1178031008 -o ROOT/results/node25/solver-454776-1178031008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454776-1178031008/instance-454776-1178031008.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= e40e55fe30ea19a1cae02f7f820bc9fe RANDOM SEED= 884980216 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1891104 kB Buffers: 26160 kB Cached: 67428 kB SwapCached: 3856 kB Active: 61412 kB Inactive: 45492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1891104 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 6780 kB Writeback: 0 kB Mapped: 18968 kB Slab: 43952 kB Committed_AS: 6203744 kB PageTables: 1488 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 node25 on Tue May 1 15:20:11 UTC 2007