Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -34 | 1800.13 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_1.opb |
MD5SUM | 5c1211f8aed9d33c9f0c9019d9cd9874 |
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 | -37 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -37 |
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 | 103 |
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) | 37366 |
Sum of products size (including duplicates) | 74732 |
Number of different products | 18683 |
Sum of products size | 37366 |
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/454311-1178024381/instance-454311-1178024381.opb 0.00/0.00 c File size is 473539 bytes. 0.19/0.22 c Highest Coefficient sum: 500 0.19/0.22 c Parsing was ok!! 0.19/0.22 c Total parsing time: 0.225 s 0.19/0.29 c Var: 37866 Constr: 75732 37866/500/37366 Lit: 298928 Watch. Lit: 224196 0.19/0.29 c Obj. Vars: 500 (1.32045 % of total variables) 2.89/2.99 c Pre-processing Time: 2.986 s 2.89/2.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.99 c 0 500 18683 56049 3 37366 6227 0 0 2.99 2.89/2.99 c Switching off LPR mode. 2.89/3.00 o -32 2.994 17.68/17.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.68/17.79 c 0 500 18684 56549 3 37400 7227 1 0 3.00 17.68/17.79 c 100 500 18784 103058 5 37600 7950 101 33 3.02 17.68/17.79 c 350 500 19034 219035 11 38100 8746 351 113 3.10 17.68/17.79 c 826 500 19510 439978 22 39052 9621 827 252 3.27 17.68/17.79 c 1639 500 20323 817325 40 40678 10584 1640 444 3.69 17.68/17.79 c 2960 500 21644 1430201 66 43320 11643 2961 661 4.48 17.68/17.79 c 5041 500 23725 2396028 100 47482 12808 5042 848 5.94 17.68/17.79 c 8265 500 26949 3891551 144 53930 14089 8266 785 10.52 17.68/17.79 c 13201 500 31885 6181239 193 63802 15498 13202 789 16.71 17.68/17.79 o -33 17.778 489.67/489.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 489.67/489.94 c 13934 500 32619 6522058 199 65303 7227 13936 783 17.78 489.67/489.94 c 14034 500 32719 6568411 200 65503 7950 14036 786 17.85 489.67/489.94 c 14285 500 32970 6684806 202 66005 8746 14287 795 17.97 489.67/489.94 c 14761 500 33446 6905309 206 66957 9621 14763 812 18.17 489.67/489.94 c 15574 500 34259 7281736 212 68583 10584 15576 819 19.00 489.67/489.94 c 16894 500 35579 7893159 221 71223 11643 16896 839 20.13 489.67/489.94 c 18976 500 37661 8857344 235 75387 12808 18978 795 23.85 489.67/489.94 c 22199 500 40884 10348014 253 81833 14089 22201 753 29.46 489.67/489.94 c 27135 500 45820 12634422 275 91705 15498 27137 723 37.51 489.67/489.94 c 34641 500 53326 16109254 302 106717 17048 34643 697 49.66 489.67/489.94 c 46002 500 64687 21364134 330 129439 18753 46004 645 71.28 489.67/489.94 c 63146 500 34616 7432256 214 69265 20629 15933 406 155.31 489.67/489.94 c 88965 500 60435 19394261 320 120903 22692 41752 328 271.21 489.67/489.94 c 127799 500 50087 14597869 291 100207 24962 31404 266 480.13 489.67/489.94 o -34 489.708 1800.05/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.60 c 130409 500 52698 15807270 299 105463 7227 34015 266 489.71 1800.05/1800.60 c 130509 500 52798 15853466 300 105663 7950 34115 266 489.82 1800.05/1800.60 c 130760 500 53049 15969485 301 106165 8746 34366 266 490.21 1800.05/1800.60 c 131236 500 53525 16189331 302 107117 9621 34842 266 491.96 1800.05/1800.60 c 132049 500 54338 16565196 304 108743 10584 35655 268 492.49 1800.05/1800.60 c 133369 500 55658 17174811 308 111383 11643 36975 268 496.31 1800.05/1800.60 c 135450 500 57739 18136138 314 115545 12808 39056 271 498.12 1800.05/1800.60 c 138674 500 60963 19625338 321 121993 14089 42280 275 503.85 1800.05/1800.60 c 143611 500 65900 21904809 332 131867 15498 47217 280 511.33 1800.05/1800.60 c 151117 500 27813 4271828 153 55660 17048 9130 279 539.97 1800.05/1800.60 c 162478 500 39174 9518225 242 78382 18753 20491 288 562.79 1800.05/1800.60 c 179623 500 56319 17440912 309 112672 20629 37636 278 643.86 1800.05/1800.61 c 205442 500 33989 7121430 209 68012 22692 15306 260 788.23 1800.05/1800.61 c 244274 500 72821 25052425 344 145676 24962 54138 227 1074.21 1800.05/1800.61 c 302626 500 80233 28493045 355 160500 27459 61550 194 1557.26 1800.05/1800.61 c Caught signal: 15 1800.05/1800.61 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.05/1800.61 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.05/1800.61 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.05/1800.61 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.05/1800.61 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.05/1800.61 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.05/1800.61 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.05/1800.61 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.05/1800.61 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 1800.05/1800.61 v -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.05/1800.61 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.05/1800.61 v -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.05/1800.61 v -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 1800.05/1800.61 v -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.05/1800.61 v x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.05/1800.61 v -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.05/1800.61 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 1800.05/1800.61 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 1800.05/1800.61 v -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.05/1800.61 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 1800.05/1800.61 v -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.05/1800.61 v -x463 -x464 x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.05/1800.61 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 38 332769 23975 362477 57091 17797761 38408 184 1800.06 1800.05/1800.61 c Objective: -34 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 c Total time: 1800.06 s
OK -34
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-454311-1178024381 -o ROOT/results/node26/solver-454311-1178024381 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454311-1178024381/instance-454311-1178024381.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 3/77 32210 /proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=12200 CPUtime=0 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 250354970 12492800 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 3050 334 279 324 0 2004 0 [startup+0.068405 s] /proc/loadavg: 1.00 1.00 1.00 3/77 32210 /proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=7976 CPUtime=0.06 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 1309 0 0 0 6 0 0 0 18 0 1 0 250354970 8167424 1279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 1994 1280 324 324 0 948 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7976 [startup+0.102398 s] /proc/loadavg: 1.00 1.00 1.00 3/77 32210 /proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=9820 CPUtime=0.09 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 1770 0 0 0 9 0 0 0 18 0 1 0 250354970 10055680 1740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 2455 1741 341 324 0 1409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9820 [startup+0.301414 s] /proc/loadavg: 1.00 1.00 1.00 3/77 32210 /proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=24392 CPUtime=0.29 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 5576 0 0 0 27 2 0 0 19 0 1 0 250354970 24977408 5390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 6098 5390 305 324 0 5168 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24392 [startup+0.702452 s] /proc/loadavg: 1.00 1.00 1.00 3/77 32210 /proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=24828 CPUtime=0.69 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 5615 0 0 0 67 2 0 0 22 0 1 0 250354970 25423872 5429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 6207 5429 305 324 0 5277 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24828 [startup+1.50153 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32211 /proc/meminfo: memFree=1766288/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=24828 CPUtime=1.49 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 5615 0 0 0 147 2 0 0 25 0 1 0 250354970 25423872 5429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 6207 5429 305 324 0 5277 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24828 [startup+3.10169 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32211 /proc/meminfo: memFree=1766160/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=25136 CPUtime=3.08 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 6213 0 0 0 303 5 0 0 25 0 1 0 250354970 25739264 5509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/32210/statm: 6284 5509 311 324 0 5354 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 25136 [startup+6.30197 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32211 /proc/meminfo: memFree=1743504/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=52920 CPUtime=6.28 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 13173 0 0 0 620 8 0 0 25 0 1 0 250354970 54190080 12469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 13230 12469 311 324 0 12300 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 52920 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32211 /proc/meminfo: memFree=1708368/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=85904 CPUtime=12.68 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 21401 0 0 0 1256 12 0 0 25 0 1 0 250354970 87965696 20697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 21476 20697 311 324 0 20546 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 85904 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32211 /proc/meminfo: memFree=1651088/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=140752 CPUtime=25.48 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 35124 0 0 0 2528 20 0 0 25 0 1 0 250354970 144130048 34420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 35188 34420 311 324 0 34258 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 140752 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32211 /proc/meminfo: memFree=1557712/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=236312 CPUtime=51.07 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 59013 0 0 0 5076 31 0 0 25 0 1 0 250354970 241983488 58309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 59078 58309 311 324 0 58148 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 236312 [startup+102.307 s] /proc/loadavg: 1.00 1.00 1.00 2/84 32333 /proc/meminfo: memFree=1446656/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=342404 CPUtime=102.2 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 85547 0 0 0 10171 49 0 0 25 0 1 0 250354970 350621696 84843 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 85601 84843 311 324 0 84671 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 342404 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1435664/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=354496 CPUtime=162.14 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 88630 0 0 0 16162 52 0 0 25 0 1 0 250354970 363003904 87870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 88624 87870 311 324 0 87694 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 354496 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1435600/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=354496 CPUtime=222.13 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 88630 0 0 0 22161 52 0 0 25 0 1 0 250354970 363003904 87870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 88624 87870 311 324 0 87694 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 354496 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1435664/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=354496 CPUtime=282.11 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 88630 0 0 0 28159 52 0 0 25 0 1 0 250354970 363003904 87870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 88624 87870 311 324 0 87694 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 354496 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1409552/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=380752 CPUtime=342.09 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95196 0 0 0 34152 57 0 0 25 0 1 0 250354970 389890048 94436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 95188 94436 311 324 0 94258 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 380752 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1407888/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=382260 CPUtime=402.08 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 40150 58 0 0 25 0 1 0 250354970 391434240 94784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 95565 94784 311 324 0 94635 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 382260 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 3/78 32409 /proc/meminfo: memFree=1408080/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=382260 CPUtime=462.06 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 46148 58 0 0 25 0 1 0 250354970 391434240 94784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 95565 94784 311 324 0 94635 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 382260 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1408080/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=382260 CPUtime=522.05 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 52146 59 0 0 25 0 1 0 250354970 391434240 94784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 95565 94784 311 324 0 94635 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 382260 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1477712/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=312344 CPUtime=582.04 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 58142 62 0 0 25 0 1 0 250354970 319840256 77335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 78086 77335 311 324 0 77156 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 312344 [startup+642.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1477776/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=312344 CPUtime=642.03 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 64141 62 0 0 25 0 1 0 250354970 319840256 77335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 78086 77335 311 324 0 77156 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 312344 ################ # More data... # ################ [startup+822.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1420688/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=369380 CPUtime=821.98 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 82124 74 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 92345 91588 311 324 0 91415 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 369380 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1420752/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=369380 CPUtime=881.96 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 88122 74 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 92345 91588 311 324 0 91415 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 369380 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 3/78 32409 /proc/meminfo: memFree=1420816/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=369380 CPUtime=941.95 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 94120 75 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 92345 91588 311 324 0 91415 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 369380 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1420880/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=369380 CPUtime=1001.94 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 100119 75 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 92345 91588 311 324 0 91415 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 369380 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1420880/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=369380 CPUtime=1061.92 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 106117 75 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 92345 91588 311 324 0 91415 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 369380 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1395344/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=394652 CPUtime=1121.91 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 112111 80 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 98663 97911 311 324 0 97733 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 394652 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1395344/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=394652 CPUtime=1181.89 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 118109 80 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 98663 97911 311 324 0 97733 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 394652 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1395408/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=394652 CPUtime=1241.88 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 124107 81 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 98663 97911 311 324 0 97733 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 394652 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1395472/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=394652 CPUtime=1301.87 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 130106 81 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 98663 97911 311 324 0 97733 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 394652 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1395472/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=394652 CPUtime=1361.84 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 136103 81 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 98663 97911 311 324 0 97733 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 394652 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1395408/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=394652 CPUtime=1421.84 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 142102 82 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 98663 97911 311 324 0 97733 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 394652 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1395344/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=394652 CPUtime=1481.82 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 148100 82 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 98663 97911 311 324 0 97733 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 394652 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1395536/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=394652 CPUtime=1541.81 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 154098 83 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 98663 97911 311 324 0 97733 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 394652 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1379664/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=410320 CPUtime=1601.79 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 160094 85 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 102580 101828 311 324 0 101650 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 410320 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1379728/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=410320 CPUtime=1661.77 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 166092 85 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 102580 101828 311 324 0 101650 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 410320 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1379792/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=410320 CPUtime=1721.76 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 172090 86 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 102580 101828 311 324 0 101650 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 410320 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1379856/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=410320 CPUtime=1781.74 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 178088 86 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 102580 101828 311 324 0 101650 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 410320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32409 /proc/meminfo: memFree=1379792/2055920 swapFree=4170240/4192956 [pid=32210] ppid=32208 vsize=410320 CPUtime=1800.05 /proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 179919 86 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32210/statm: 102580 101828 311 324 0 101650 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 410320 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.68 CPU time (s): 1800.13 CPU user time (s): 1799.19 CPU system time (s): 0.933858 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 410320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.19 system time used= 0.933858 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120285 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= 4825 runsolver used 1.41478 second user time and 3.9264 second system time The end
Begin job on node26 on Tue May 1 12:59:42 UTC 2007 IDJOB= 454311 IDBENCH= 48188 IDSOLVER= 199 FILE ID= node26/454311-1178024381 PBS_JOBID= 4728359 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_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454311-1178024381/instance-454311-1178024381.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-454311-1178024381 -o ROOT/results/node26/solver-454311-1178024381 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454311-1178024381/instance-454311-1178024381.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 5c1211f8aed9d33c9f0c9019d9cd9874 RANDOM SEED= 614279061 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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.213 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.213 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: 1787320 kB Buffers: 53736 kB Cached: 118004 kB SwapCached: 3360 kB Active: 112704 kB Inactive: 89268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787320 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 7140 kB Writeback: 0 kB Mapped: 36352 kB Slab: 52252 kB Committed_AS: 2459460 kB PageTables: 1732 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 node26 on Tue May 1 13:29:44 UTC 2007