Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -29 | 1800.06 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
MD5SUM | 366c883f3118f840e595e8bbe10351c8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 649.835 |
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 | 27856 |
Number of constraints which are clauses | 27856 |
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.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/433121-1177955205/instance-433121-1177955205.opb 0.00/0.00 c File size is 664636 bytes. 0.09/0.11 c Highest Coefficient sum: 595 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.111 s 0.09/0.12 c Var: 595 Constr: 27856 27856/0/0 Lit: 55712 Watch. Lit: 55712 0.09/0.12 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 27856 55712 2 55712 9285 0 0 0.44 0.39/0.44 c Switching off LPR mode. 0.39/0.44 o -25 0.443 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 595 27857 56307 2 55739 10285 1 0 0.44 0.39/0.45 o -26 0.445 1.49/1.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.56 c 1 595 27859 57466 2 55769 10285 3 2 0.45 1.49/1.56 c 101 595 27959 113938 4 55969 11314 103 211 0.48 1.49/1.56 c 352 595 28210 255808 9 56471 12446 354 616 0.57 1.49/1.56 c 827 595 28685 524026 18 57421 13691 829 1045 0.79 1.49/1.56 c 1641 595 29499 984090 33 59049 15061 1643 1337 1.23 1.49/1.56 o -27 1.556 2.59/2.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.66 c 2212 595 30071 1307332 43 60220 10285 2215 1420 1.56 2.59/2.66 c 2313 595 30172 1364325 45 60422 11314 2316 1448 1.60 2.59/2.66 c 2563 595 30422 1505372 49 60922 12446 2566 1510 1.70 2.59/2.66 c 3038 595 30897 1773190 57 61872 13691 3041 1567 1.94 2.59/2.66 c 3852 595 31711 2231695 70 63500 15061 3855 1515 2.54 2.59/2.66 o -28 2.661 353.69/353.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 353.69/353.82 c 4108 595 31968 2376756 74 64042 10285 4112 1543 2.66 353.69/353.82 c 4208 595 32068 2433077 75 64242 11314 4212 1556 2.70 353.69/353.82 c 4458 595 32318 2573719 79 64742 12446 4462 1585 2.81 353.69/353.82 c 4933 595 32793 2841264 86 65692 13691 4937 1613 3.06 353.69/353.82 c 5746 595 33606 3299118 98 67318 15061 5750 1455 3.95 353.69/353.82 c 7066 595 34926 4042146 115 69958 16568 7070 1509 4.68 353.69/353.82 c 9147 595 37007 5212828 140 74120 18225 9151 1449 6.31 353.69/353.82 c 12371 595 40231 7028464 174 80568 20048 12375 798 15.49 353.69/353.82 c 17307 595 45167 9805786 217 90440 22053 17311 723 23.92 353.69/353.82 c 24813 595 40816 7350711 180 81660 24259 12960 602 41.16 353.69/353.82 c 36174 595 38792 6206839 160 77612 26685 10936 406 89.08 353.69/353.82 c 53318 595 39799 6772708 170 79626 29354 11943 328 162.11 353.69/353.82 c 79138 595 46833 10737141 229 93694 32290 18977 255 309.61 353.69/353.82 o -29 353.718 1800.00/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.60 c 89184 595 56880 16393949 288 113817 10285 29024 252 353.72 1800.00/1800.60 c 89284 595 33100 3006346 90 66229 11314 5244 250 356.96 1800.00/1800.60 c 89535 595 33351 3147324 94 66731 12446 5495 250 357.14 1800.00/1800.60 c 90010 595 33826 3414261 100 67681 13691 5970 251 357.41 1800.00/1800.60 c 90823 595 34639 3871383 111 69307 15061 6783 253 357.93 1800.00/1800.60 c 92143 595 35959 4612533 128 71947 16568 8103 255 360.33 1800.00/1800.60 c 94224 595 38040 5782386 152 76109 18225 10184 259 362.41 1800.00/1800.60 c 97447 595 41263 7591521 183 82555 20048 13407 265 367.03 1800.00/1800.60 c 102383 595 46199 10362812 224 92427 22053 18343 270 378.60 1800.00/1800.60 c 109889 595 41880 7932917 189 83789 24259 14024 277 395.76 1800.00/1800.60 c 121250 595 39289 6478074 164 78607 26685 11433 278 436.07 1800.00/1800.60 c 138395 595 40233 7009995 174 80495 29354 12377 261 528.28 1800.00/1800.60 c 164214 595 47286 10960267 231 94601 32290 19430 253 647.02 1800.00/1800.60 c 203046 595 42957 8532215 198 85943 35520 15101 224 904.37 1800.00/1800.60 c 261398 595 52097 13662477 262 104223 39073 24241 192 1360.04 1800.00/1800.60 c Caught signal: 15 1800.00/1800.60 v -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 1800.00/1800.60 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 1800.00/1800.60 v -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 1800.00/1800.60 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 1800.00/1800.60 v x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 1800.00/1800.60 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 1800.00/1800.60 v -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 1800.00/1800.60 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 1800.00/1800.60 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 1800.00/1800.60 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 1800.00/1800.60 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 1800.00/1800.60 v -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 1800.00/1800.60 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 1800.00/1800.60 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1800.00/1800.60 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 1800.00/1800.60 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 1800.00/1800.60 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 1800.00/1800.60 v -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 1800.00/1800.60 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 1800.00/1800.60 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 1800.00/1800.60 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 1800.00/1800.60 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 1800.00/1800.60 v -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1800.00/1800.60 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 1800.00/1800.60 v -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 1800.00/1800.60 v -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 1800.00/1800.60 v -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 1800.00/1800.60 v -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.00/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.60 c 39 309448 28930 345938 44038 9144474 16182 171 1800.01 1800.00/1800.60 c Objective: -29 1800.00/1800.60 s SATISFIABLE 1800.00/1800.60 c Total time: 1800.01 s
OK -29
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-433121-1177955205 -o ROOT/results/node61/solver-433121-1177955205 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433121-1177955205/instance-433121-1177955205.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.95 0.94 3/64 1700 /proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=12388 CPUtime=0 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 207484096 12685312 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 3097 333 279 324 0 2004 0 [startup+0.0609161 s] /proc/loadavg: 0.78 0.95 0.94 3/64 1700 /proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=6088 CPUtime=0.05 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 802 0 0 0 5 0 0 0 18 0 1 0 207484096 6234112 772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 1522 774 363 324 0 429 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6088 [startup+0.102919 s] /proc/loadavg: 0.78 0.95 0.94 3/64 1700 /proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=7052 CPUtime=0.09 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 1118 0 0 0 9 0 0 0 18 0 1 0 207484096 7221248 1088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134527805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 1763 1089 424 324 0 670 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7052 [startup+0.301938 s] /proc/loadavg: 0.78 0.95 0.94 3/64 1700 /proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=8932 CPUtime=0.29 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 1803 0 0 0 28 1 0 0 19 0 1 0 207484096 9146368 1610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 2233 1610 305 324 0 1303 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8932 [startup+0.702976 s] /proc/loadavg: 0.78 0.95 0.94 3/64 1700 /proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=12884 CPUtime=0.69 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 2968 0 0 0 67 2 0 0 22 0 1 0 207484096 13193216 2587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 3221 2587 310 324 0 2291 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12884 [startup+1.50105 s] /proc/loadavg: 0.78 0.95 0.94 2/65 1701 /proc/meminfo: memFree=1858416/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=23724 CPUtime=1.49 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 5693 0 0 0 146 3 0 0 25 0 1 0 207484096 24293376 5312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 5931 5314 310 324 0 5001 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23724 [startup+3.1012 s] /proc/loadavg: 0.78 0.95 0.94 2/65 1701 /proc/meminfo: memFree=1844016/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=44140 CPUtime=3.09 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 10799 0 0 0 303 6 0 0 25 0 1 0 207484096 45199360 10418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 11035 10418 310 324 0 10105 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44140 [startup+6.30151 s] /proc/loadavg: 0.80 0.95 0.94 2/65 1701 /proc/meminfo: memFree=1808176/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=74492 CPUtime=6.29 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 18377 0 0 0 620 9 0 0 25 0 1 0 207484096 76279808 17996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 18623 17996 310 324 0 17693 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 74492 [startup+12.7011 s] /proc/loadavg: 0.81 0.95 0.94 2/65 1701 /proc/meminfo: memFree=1785912/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=91968 CPUtime=12.69 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 22758 0 0 0 1258 11 0 0 25 0 1 0 207484096 94175232 22377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 22992 22377 310 324 0 22062 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 91968 [startup+25.5013 s] /proc/loadavg: 0.85 0.95 0.94 2/65 1701 /proc/meminfo: memFree=1731896/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=144956 CPUtime=25.48 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 35987 0 0 0 2530 18 0 0 25 0 1 0 207484096 148434944 35606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 36239 35606 310 324 0 35309 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 144956 [startup+51.1018 s] /proc/loadavg: 0.90 0.96 0.94 2/65 1701 /proc/meminfo: memFree=1702968/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=172536 CPUtime=51.07 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 42898 0 0 0 5086 21 0 0 25 0 1 0 207484096 176676864 42517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 43134 42517 310 324 0 42204 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 172536 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.94 2/65 1701 /proc/meminfo: memFree=1690872/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=184684 CPUtime=102.26 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 45935 0 0 0 10202 24 0 0 25 0 1 0 207484096 189116416 45554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 46171 45554 310 324 0 45241 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 184684 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.94 2/65 1701 /proc/meminfo: memFree=1669496/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=205964 CPUtime=162.24 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 51258 0 0 0 16197 27 0 0 25 0 1 0 207484096 210907136 50877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134520568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 51491 50877 310 324 0 50561 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 205964 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 1701 /proc/meminfo: memFree=1669496/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=205964 CPUtime=222.23 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 51258 0 0 0 22196 27 0 0 25 0 1 0 207484096 210907136 50877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 51491 50877 310 324 0 50561 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 205964 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 1701 /proc/meminfo: memFree=1649976/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=225400 CPUtime=282.21 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 28191 30 0 0 25 0 1 0 207484096 230809600 55739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 56350 55739 310 324 0 55420 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 225400 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 1701 /proc/meminfo: memFree=1649976/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=225400 CPUtime=342.19 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 34189 30 0 0 25 0 1 0 207484096 230809600 55739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 56350 55739 310 324 0 55420 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 225400 [startup+402.301 s] /proc/loadavg: 1.07 0.99 0.94 2/65 1701 /proc/meminfo: memFree=1653240/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=221892 CPUtime=402.17 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 40187 30 0 0 25 0 1 0 207484096 227217408 54865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10817268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 55473 54865 310 324 0 54543 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 221892 [startup+462.302 s] /proc/loadavg: 1.10 1.00 0.95 2/65 1701 /proc/meminfo: memFree=1653496/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=221664 CPUtime=462.16 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 46186 30 0 0 25 0 1 0 207484096 226983936 54808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 55416 54808 310 324 0 54486 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 221664 [startup+522.302 s] /proc/loadavg: 1.10 1.02 0.95 2/65 1701 /proc/meminfo: memFree=1653496/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=221664 CPUtime=522.14 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 52184 30 0 0 25 0 1 0 207484096 226983936 54808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 55416 54808 310 324 0 54486 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 221664 [startup+582.302 s] /proc/loadavg: 1.04 1.01 0.95 2/65 1701 /proc/meminfo: memFree=1653496/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=221664 CPUtime=582.13 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 58183 30 0 0 25 0 1 0 207484096 226983936 54808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 55416 54808 310 324 0 54486 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 221664 [startup+642.302 s] /proc/loadavg: 1.01 1.00 0.95 2/65 1701 /proc/meminfo: memFree=1650360/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=224916 CPUtime=642.11 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56930 0 0 0 64181 30 0 0 25 0 1 0 207484096 230313984 55618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10501236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 56229 55618 310 324 0 55299 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 224916 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1701 /proc/meminfo: memFree=1629048/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=246004 CPUtime=822.06 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 62231 0 0 0 82172 34 0 0 25 0 1 0 207484096 251908096 60886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 61501 60886 310 324 0 60571 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 246004 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.95 2/71 1848 /proc/meminfo: memFree=1627640/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=246132 CPUtime=881.98 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 62277 0 0 0 88163 35 0 0 25 0 1 0 207484096 252039168 60899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 61533 60899 310 324 0 60603 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 246132 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1628600/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=246132 CPUtime=941.93 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 62277 0 0 0 94158 35 0 0 25 0 1 0 207484096 252039168 60899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 61533 60899 310 324 0 60603 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 246132 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1628600/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=246132 CPUtime=1001.91 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 62277 0 0 0 100156 35 0 0 25 0 1 0 207484096 252039168 60899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 61533 60899 310 324 0 60603 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 246132 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1605176/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=269356 CPUtime=1061.9 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68142 0 0 0 106150 40 0 0 25 0 1 0 207484096 275820544 66728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 67339 66728 310 324 0 66409 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 269356 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1605176/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=269356 CPUtime=1121.88 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68142 0 0 0 112148 40 0 0 25 0 1 0 207484096 275820544 66728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 67339 66728 310 324 0 66409 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 269356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1605304/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=269356 CPUtime=1181.86 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68142 0 0 0 118146 40 0 0 25 0 1 0 207484096 275820544 66728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 67339 66728 310 324 0 66409 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 269356 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1605432/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=269356 CPUtime=1241.85 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68142 0 0 0 124145 40 0 0 25 0 1 0 207484096 275820544 66728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 67339 66728 310 324 0 66409 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 269356 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1605304/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=269484 CPUtime=1301.83 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68195 0 0 0 130143 40 0 0 25 0 1 0 207484096 275951616 66745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 67371 66745 310 324 0 66441 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 269484 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1605304/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=269484 CPUtime=1361.81 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68195 0 0 0 136141 40 0 0 25 0 1 0 207484096 275951616 66745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 67371 66745 310 324 0 66441 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 269484 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1605304/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=269484 CPUtime=1421.8 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68195 0 0 0 142140 40 0 0 25 0 1 0 207484096 275951616 66745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 67371 66745 310 324 0 66441 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 269484 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1579448/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=295232 CPUtime=1481.78 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 148135 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 73808 73173 310 324 0 72878 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 295232 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1579448/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=295232 CPUtime=1541.76 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 154133 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 73808 73173 310 324 0 72878 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 295232 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1579448/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=295232 CPUtime=1601.75 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 160132 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10817261 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 73808 73173 310 324 0 72878 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 295232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1579512/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=295232 CPUtime=1661.73 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 166130 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 73808 73173 310 324 0 72878 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 295232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1579512/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=295232 CPUtime=1721.71 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 172128 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 73808 73173 310 324 0 72878 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 295232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1579064/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=295480 CPUtime=1781.7 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74772 0 0 0 178127 43 0 0 25 0 1 0 207484096 302571520 73244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 73870 73244 310 324 0 72940 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 295480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1910 /proc/meminfo: memFree=1579064/2055920 swapFree=4184156/4192956 [pid=1700] ppid=1697 vsize=295480 CPUtime=1800 /proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74772 0 0 0 179957 43 0 0 25 0 1 0 207484096 302571520 73244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1700/statm: 73870 73244 310 324 0 72940 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 295480 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.66 CPU time (s): 1800.06 CPU user time (s): 1799.58 CPU system time (s): 0.485926 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 295480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.485926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74776 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= 4117 runsolver used 1.38279 second user time and 3.59145 second system time The end
Begin job on node61 on Mon Apr 30 17:46:45 UTC 2007 IDJOB= 433121 IDBENCH= 2273 IDSOLVER= 199 FILE ID= node61/433121-1177955205 PBS_JOBID= 4727706 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433121-1177955205/instance-433121-1177955205.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-433121-1177955205 -o ROOT/results/node61/solver-433121-1177955205 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433121-1177955205/instance-433121-1177955205.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8 RANDOM SEED= 515106438 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1872848 kB Buffers: 16392 kB Cached: 104600 kB SwapCached: 2904 kB Active: 49572 kB Inactive: 80944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1872848 kB SwapTotal: 4192956 kB SwapFree: 4184156 kB Dirty: 7412 kB Writeback: 0 kB Mapped: 15492 kB Slab: 38640 kB Committed_AS: 1134928 kB PageTables: 1388 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 node61 on Mon Apr 30 18:16:48 UTC 2007