Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -29 | 1798.05 | 1798.63 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb |
MD5SUM | 4acf18ad1cd52676d2699a99f210ed0a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1795.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27842 |
Number of constraints which are clauses | 27842 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 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 HOME/instance-1877167-1245168595.opb 0.00/0.00 c File size is 663564 bytes. 0.00/0.08 c Highest Coefficient sum: 595 0.00/0.08 c Parsing was ok!! 0.00/0.08 c Total parsing time: 0.086 s 0.09/0.09 c Var: 595 Constr: 27842 27842/0/0 Lit: 55684 Watch. Lit: 55684 0.09/0.09 c Obj. Vars: 595 (100 % of total variables) 0.39/0.44 c Pre-processing Time: 0.438 s 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 595 27842 55684 2 55684 9280 0 0 0.44 0.39/0.44 c Switching off lower bounding mode. 0.39/0.44 o -26 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 595 27843 56279 2 55712 10280 1 0 0.44 0.39/0.45 o -27 245.91/246.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 245.91/246.08 c 10 595 27855 63099 2 55763 10280 13 22 0.45 245.91/246.08 c 110 595 27965 125210 4 55983 11309 123 203 0.54 245.91/246.08 c 360 595 28243 281978 9 56539 12440 401 468 0.77 245.91/246.08 c 836 595 28791 590355 20 57635 13685 949 676 1.24 245.91/246.08 c 1649 595 29732 1120027 37 59517 15054 1890 770 2.14 245.91/246.08 c 2969 595 31250 1972940 63 62553 16560 3408 785 3.78 245.91/246.08 c 5050 595 33606 3301208 98 67265 18217 5764 729 6.92 245.91/246.08 c 8273 595 37384 5426860 145 74821 20039 9542 616 13.42 245.91/246.08 c 13211 595 43128 8656023 200 86309 22043 15286 568 23.22 245.91/246.08 c 20717 595 40072 6937215 173 80196 24248 12230 471 43.94 245.91/246.08 c 32078 595 40560 7214191 177 81147 26673 12718 423 75.71 245.91/246.08 c 49223 595 45227 9830504 217 90481 29341 17385 390 125.98 245.91/246.08 c 75042 595 40611 7217349 177 81249 32276 12769 305 245.36 245.91/246.08 o -28 904.50/904.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 904.50/904.82 c 75354 595 40967 7417986 181 81989 10281 13125 306 246.00 904.50/904.82 c 75456 595 33098 3002816 90 66224 11310 5256 306 246.53 904.50/904.82 c 75706 595 33386 3164643 94 66800 12442 5544 306 246.87 904.50/904.82 c 76182 595 33929 3469631 102 67886 13687 6087 307 247.51 904.50/904.82 c 76995 595 34856 3989623 114 69740 15056 7014 309 248.70 904.50/904.82 c 78315 595 36354 4831674 132 72736 16562 8512 312 250.69 904.50/904.82 c 80397 595 38751 6178557 159 77530 18219 10909 316 254.18 904.50/904.82 c 83620 595 42488 8276250 194 85004 20041 14646 320 260.52 904.50/904.82 c 88556 595 37864 5683354 150 75756 22046 10022 325 272.33 904.50/904.82 c 96062 595 46423 10491694 226 92874 24251 18581 324 295.83 904.50/904.82 c 107424 595 46606 10590349 227 93266 26677 18764 326 329.03 904.50/904.82 c 124569 595 51153 13160123 257 102334 29345 23311 312 399.08 904.50/904.82 c 150388 595 46204 10375972 224 92436 32280 18362 301 499.00 904.50/904.82 c 189220 595 49828 12401637 248 99759 35509 21986 288 655.91 904.50/904.82 o -29 1797.91/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.58 c 237890 595 59280 17656560 297 118809 10281 31438 262 904.53 1797.91/1798.58 c 237991 595 33099 3004659 90 66227 11310 5257 261 911.02 1797.91/1798.58 c 238242 595 33379 3161726 94 66787 12442 5537 261 911.52 1797.91/1798.58 c 238717 595 33918 3464109 102 67865 13687 6076 261 912.23 1797.91/1798.58 c 239531 595 34848 3986015 114 69725 15056 7006 262 913.31 1797.91/1798.58 c 240851 595 36378 4843694 133 72785 16562 8536 263 915.44 1797.91/1798.58 c 242933 595 38715 6155462 158 77459 18219 10873 264 919.05 1797.91/1798.58 c 246157 595 42437 8242261 194 84903 20041 14595 266 925.17 1797.91/1798.58 c 251093 595 37864 5667714 149 75757 22046 10022 267 939.24 1797.91/1798.58 c 258600 595 46576 10551034 226 93181 24251 18734 270 955.94 1797.91/1798.58 c 269961 595 46366 10454579 225 92788 26677 18524 270 999.32 1797.91/1798.58 c 287106 595 51370 13248613 257 102796 29345 23528 267 1074.83 1797.91/1798.58 c 312925 595 47392 10995669 232 94813 32280 19550 261 1194.94 1797.91/1798.58 c 351758 595 51627 13396632 259 103283 35509 23785 254 1382.66 1797.91/1798.58 c 410110 595 48681 11708389 240 97491 39060 20839 228 1794.58 1797.91/1798.58 c Resources Exceeded 1797.91/1798.58 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1797.91/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.58 c 43 411582 37694 461037 50355 12648108 22513 228 1798.00 1797.91/1798.58 c Objective: -29 1797.91/1798.58 s SATISFIABLE 1797.91/1798.58 c Total time: 1798 s
OK -29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877167-1245168595/watcher-1877167-1245168595 -o /tmp/evaluation-result-1877167-1245168595/solver-1877167-1245168595 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877167-1245168595.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.04 1.00 3/64 347 /proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=11364 CPUtime=0 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 184456679 11636736 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 2841 241 175 640 0 2034 0 [startup+0.096824 s] /proc/loadavg: 1.07 1.04 1.00 3/64 347 /proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=14648 CPUtime=0.09 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 1415 0 0 0 9 0 0 0 18 0 1 0 184456679 14999552 1236 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 3662 1238 185 640 0 3018 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14648 [startup+0.101825 s] /proc/loadavg: 1.07 1.04 1.00 3/64 347 /proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=14648 CPUtime=0.09 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 1430 0 0 0 9 0 0 0 18 0 1 0 184456679 14999552 1251 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 3662 1251 188 640 0 3018 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14648 [startup+0.301859 s] /proc/loadavg: 1.07 1.04 1.00 3/64 347 /proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=15588 CPUtime=0.29 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 1657 0 0 0 29 0 0 0 19 0 1 0 184456679 15962112 1478 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 3897 1478 190 640 0 3253 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15588 [startup+0.701927 s] /proc/loadavg: 1.07 1.04 1.00 3/64 347 /proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=17088 CPUtime=0.69 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 2225 0 0 0 67 2 0 0 22 0 1 0 184456679 17498112 1859 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 4272 1859 196 640 0 3628 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17088 [startup+1.50207 s] /proc/loadavg: 1.07 1.04 1.00 2/65 348 /proc/meminfo: memFree=1842644/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=23780 CPUtime=1.49 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 3896 0 0 0 146 3 0 0 25 0 1 0 184456679 24350720 3530 1992294400 134512640 137136520 4294956256 18446744073709551615 136498314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 5945 3530 196 640 0 5301 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23780 [startup+3.10134 s] /proc/loadavg: 1.07 1.04 1.00 2/65 348 /proc/meminfo: memFree=1834068/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=35620 CPUtime=3.09 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 6848 0 0 0 304 5 0 0 25 0 1 0 184456679 36474880 6482 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 8905 6482 197 640 0 8261 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35620 [startup+6.30188 s] /proc/loadavg: 1.06 1.04 1.00 2/65 348 /proc/meminfo: memFree=1811860/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=53864 CPUtime=6.29 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 11416 0 0 0 622 7 0 0 25 0 1 0 184456679 55156736 11050 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 13466 11050 197 640 0 12822 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53864 [startup+12.702 s] /proc/loadavg: 1.06 1.04 1.00 2/65 348 /proc/meminfo: memFree=1783132/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=81316 CPUtime=12.68 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 18276 0 0 0 1258 10 0 0 25 0 1 0 184456679 83267584 17910 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 20329 17910 197 640 0 19685 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 81316 [startup+25.5011 s] /proc/loadavg: 1.04 1.03 1.00 2/65 348 /proc/meminfo: memFree=1726364/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=136972 CPUtime=25.48 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 32199 0 0 0 2530 18 0 0 25 0 1 0 184456679 140259328 31833 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 34243 31833 197 640 0 33599 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 136972 [startup+51.1015 s] /proc/loadavg: 1.03 1.03 1.00 2/65 348 /proc/meminfo: memFree=1682716/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=179104 CPUtime=51.07 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 42731 0 0 0 5081 26 0 0 25 0 1 0 184456679 183402496 42365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 44776 42365 197 640 0 44132 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 179104 [startup+102.305 s] /proc/loadavg: 1.01 1.02 1.00 2/65 348 /proc/meminfo: memFree=1666716/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=195096 CPUtime=102.25 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 46734 0 0 0 10192 33 0 0 25 0 1 0 184456679 199778304 46368 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 48774 46368 197 640 0 48130 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 195096 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 348 /proc/meminfo: memFree=1633756/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=228984 CPUtime=162.23 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55211 0 0 0 16180 43 0 0 25 0 1 0 184456679 234479616 54845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 57246 54845 197 640 0 56602 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 228984 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 348 /proc/meminfo: memFree=1629852/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=231820 CPUtime=222.21 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55917 0 0 0 22175 46 0 0 25 0 1 0 184456679 237383680 55551 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 57955 55551 197 640 0 57311 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 231820 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 348 /proc/meminfo: memFree=1629852/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=231808 CPUtime=282.2 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55917 0 0 0 28169 51 0 0 25 0 1 0 184456679 237371392 55551 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 57952 55551 197 640 0 57308 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 231808 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1630172/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=231276 CPUtime=342.18 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55917 0 0 0 34163 55 0 0 25 0 1 0 184456679 236826624 55418 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 57819 55418 197 640 0 57175 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 231276 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1630172/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=231276 CPUtime=402.16 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55917 0 0 0 40157 59 0 0 25 0 1 0 184456679 236826624 55418 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 57819 55418 197 640 0 57175 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 231276 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1629340/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=232284 CPUtime=462.14 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 56166 0 0 0 46150 64 0 0 25 0 1 0 184456679 237858816 55667 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 58071 55667 197 640 0 57427 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 232284 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1629020/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=232600 CPUtime=522.11 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 56246 0 0 0 52143 68 0 0 25 0 1 0 184456679 238182400 55747 1992294400 134512640 137136520 4294956256 18446744073709551615 136501956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 58150 55747 197 640 0 57506 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 232600 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1607644/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=253848 CPUtime=582.09 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 61580 0 0 0 58134 75 0 0 25 0 1 0 184456679 259940352 61048 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 63462 61048 197 640 0 62818 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 253848 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1607644/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=253848 CPUtime=642.08 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 61580 0 0 0 64129 79 0 0 25 0 1 0 184456679 259940352 61048 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 63462 61048 197 640 0 62818 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 253848 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1591388/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=269752 CPUtime=1121.92 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 112080 112 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 67438 65037 197 640 0 66794 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 269752 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1591388/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=269752 CPUtime=1181.91 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 118075 116 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 67438 65037 197 640 0 66794 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 269752 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1591324/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=269752 CPUtime=1241.89 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 124069 120 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 67438 65037 197 640 0 66794 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 269752 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1591324/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=269752 CPUtime=1301.87 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 130063 124 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 67438 65037 197 640 0 66794 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 269752 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1591324/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=269752 CPUtime=1361.84 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 136058 126 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 67438 65037 197 640 0 66794 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 269752 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276560 CPUtime=1421.84 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 142053 131 0 0 25 0 1 0 184456679 283197440 66707 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69140 66707 197 640 0 68496 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 276560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276560 CPUtime=1481.81 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 148048 133 0 0 25 0 1 0 184456679 283197440 66707 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69140 66707 197 640 0 68496 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 276560 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276560 CPUtime=1541.79 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 154044 135 0 0 25 0 1 0 184456679 283197440 66707 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69140 66707 197 640 0 68496 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 276560 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1601.77 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 160039 138 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 276400 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1661.75 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 166034 141 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 276400 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1721.73 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 172031 142 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 276400 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1781.71 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 178027 144 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134554024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 276400 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1791.31 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 178986 145 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 276400 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1794.51 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179306 145 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 276400 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1796.1 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179465 145 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 276400 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1796.91 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179545 146 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (KiB) 276400 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1797.71 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179625 146 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134598615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 276400 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=276400 CPUtime=1797.91 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179645 146 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134616635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 69100 66699 197 640 0 68456 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 276400 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 348 /proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956 [pid=347] ppid=345 vsize=0 CPUtime=1798 /proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194308 68986 0 0 0 179653 147 0 0 25 0 1 0 184456679 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/347/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.05 CPU user time (s): 1796.54 CPU system time (s): 1.50877 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 276648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.54 system time used= 1.50877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68986 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= 2 involuntary context switches= 2447 runsolver used 1.19882 second user time and 3.9154 second system time The end
Begin job on node43 at 2009-06-16 18:09:55 IDJOB=1877167 IDBENCH=2270 IDSOLVER=699 FILE ID=node43/1877167-1245168595 PBS_JOBID= 9363835 Free space on /tmp= 66192 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877167-1245168595/watcher-1877167-1245168595 -o /tmp/evaluation-result-1877167-1245168595/solver-1877167-1245168595 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877167-1245168595.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a RANDOM SEED=1156769585 node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.281 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.281 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: 1852540 kB Buffers: 43088 kB Cached: 99528 kB SwapCached: 5352 kB Active: 51560 kB Inactive: 98908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852540 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 4588 kB Writeback: 0 kB Mapped: 13588 kB Slab: 38872 kB Committed_AS: 172512 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877167-1245168595.opb Free space on /tmp at the end= 66188 MiB End job on node43 at 2009-06-16 18:39:53