Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 70 | 1798.04 | 1798.66 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | ff9be653d1d3ea3b1a82846016e94df6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 66 |
Best CPU time to get the best result obtained on this benchmark | 1798.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656548-1276397617.opb 0.00/0.00 c File size is 202558 bytes. 0.01/0.03 c Highest Coefficient sum: 324 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.035 s 0.01/0.03 c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776 0.01/0.03 c Obj. Vars: 180 (33.3333 % of total variables) 0.01/0.07 c Pre-processing Time: 0.077 s 0.01/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.07 c 0 540 4626 21888 4 14136 31514 0 0 0.08 0.01/0.07 c Switching off lower bounding mode. 0.09/0.11 c 101 540 4758 25004 5 15373 34666 132 1134 0.09 0.09/0.11 o 86 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 187 540 4872 31404 6 15634 31874 246 1669 0.11 0.19/0.22 c 287 540 4988 38306 7 15636 35062 362 1939 0.15 0.19/0.22 o 84 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 458 540 5198 50417 9 16442 31874 572 2053 0.22 0.19/0.29 c 558 540 5313 57304 10 16413 35062 687 2154 0.26 0.19/0.29 o 82 0.19/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.30 c 664 540 5459 66735 12 16784 31874 833 2266 0.29 0.19/0.30 o 80 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 678 540 5475 67413 12 17058 31874 849 2267 0.30 0.29/0.35 c 780 540 5597 73887 13 16820 35062 971 2300 0.34 0.29/0.35 o 78 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 810 540 5631 75257 13 17054 31874 1005 2320 0.35 0.89/0.93 c 910 540 5742 81094 14 17318 35062 1116 2339 0.39 0.89/0.93 c 1160 540 6030 104954 17 18264 38569 1404 2152 0.54 0.89/0.93 c 1636 540 6681 141049 21 18848 42426 2055 2213 0.74 0.89/0.93 o 76 6.50/6.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.50/6.54 c 1939 540 7093 164831 23 20477 31874 2467 2089 0.93 6.50/6.54 c 2039 540 7228 170918 23 20763 35062 2602 2051 0.99 6.50/6.54 c 2289 540 7551 187224 24 21922 38569 2925 2031 1.13 6.50/6.54 c 2764 540 8134 235562 28 22379 42426 3508 1881 1.47 6.50/6.54 c 3577 540 9178 319222 34 24841 46669 4552 1565 2.29 6.50/6.54 c 4897 540 10977 493753 44 28726 51336 6351 1210 4.05 6.50/6.54 o 74 15.88/15.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.88/15.95 c 6371 540 12917 683169 52 33864 31874 8291 974 6.54 15.88/15.95 c 6472 540 13038 689734 52 33657 35062 8412 967 6.69 15.88/15.95 c 6722 540 13367 722911 54 34585 38569 8741 946 7.10 15.88/15.95 c 7198 540 13997 783513 55 35259 42426 9371 912 7.89 15.88/15.95 c 8013 540 15128 852390 56 37587 46669 10502 852 9.40 15.88/15.95 c 9333 540 16977 1038041 61 42104 51336 12351 714 13.06 15.88/15.95 o 72 547.89/548.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 547.89/548.11 c 10191 540 18193 1180439 64 44781 31874 13567 639 15.95 547.89/548.11 c 10291 540 18320 1187932 64 44760 35062 13694 631 16.29 547.89/548.11 c 10543 540 18641 1210796 64 45264 38569 14015 619 17.01 547.89/548.11 c 11019 540 19255 1267400 65 46287 42426 14629 602 18.30 547.89/548.11 c 11832 540 20308 1376745 67 48881 46669 15682 564 20.97 547.89/548.11 c 13152 540 22052 1556399 70 52848 51336 17426 530 24.79 547.89/548.11 c 15237 540 24849 1821425 73 58747 56470 20223 479 31.78 547.89/548.11 c 18460 540 29144 2273724 78 67841 62118 24518 394 46.76 547.89/548.11 c 23396 540 35793 2996364 83 82350 68330 31167 308 75.91 547.89/548.11 c 30903 540 47128 3929324 83 105844 75164 42502 231 133.74 547.89/548.11 c 42265 540 63361 5949173 93 141009 82681 58735 169 249.02 547.89/548.11 c 59411 540 27178 3051929 112 63124 90950 22552 118 502.83 547.89/548.11 o 70 1797.98/1798.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.64 c 66815 540 38112 4267099 111 86546 31874 33486 121 547.91 1797.98/1798.64 c 66917 540 20703 1715932 82 49072 35062 16077 121 548.96 1797.98/1798.64 c 67167 540 21039 1743585 82 49706 38569 16413 122 549.60 1797.98/1798.64 c 67643 540 21656 1796208 82 50909 42426 17030 122 551.56 1797.98/1798.64 c 68457 540 22749 1903772 83 52635 46669 18123 123 554.50 1797.98/1798.64 c 69777 540 24516 2086633 85 56898 51336 19890 124 561.23 1797.98/1798.64 c 71859 540 27358 2350325 85 63379 56470 22732 125 571.30 1797.98/1798.64 c 75082 540 31930 2757531 86 73186 62118 27304 128 586.47 1797.98/1798.64 c 80018 540 38762 3537272 91 87750 68330 34136 128 622.19 1797.98/1798.64 c 87524 540 49355 4766079 96 110154 75164 44729 126 689.21 1797.98/1798.64 c 98886 540 65640 6668590 101 145364 82681 61014 122 807.98 1797.98/1798.64 c 116030 540 27482 2409453 87 62652 90950 22856 113 1026.61 1797.98/1798.64 c 141850 540 66605 5576984 83 143895 100046 61979 109 1296.36 1797.98/1798.64 c Resources Exceeded 1797.98/1798.64 v -x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 x374 -x375 -x376 x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 -x402 x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 x431 x432 -x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 -x538 x539 x540 -x2 -x38 -x74 -x110 -x146 -x182 -x218 x254 -x290 -x326 -x3 x39 -x75 -x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 x220 -x256 -x292 -x328 -x5 -x41 x77 -x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 x294 -x330 -x7 -x43 -x79 -x115 x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 -x81 -x117 -x153 -x189 -x225 -x261 x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 x334 -x11 -x47 -x83 x119 -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 x84 -x120 -x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 -x229 -x265 -x301 x337 x14 -x50 -x86 -x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 -x90 x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 -x55 -x91 x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 x93 -x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 -x240 x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 -x243 x279 -x315 -x351 x28 -x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316 -x352 -x30 x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 -x176 x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 -x287 -x323 x359 x8 x44 -x80 -x116 -x152 x188 x224 x260 -x296 -x332 -x15 x51 x87 -x123 -x159 -x195 x231 x267 x303 -x339 x22 -x58 -x94 -x130 x166 x202 x238 -x274 -x310 x346 -x29 -x65 x101 x137 x173 -x209 -x245 -x281 x317 x353 -x36 x72 x108 x144 -x180 -x216 -x252 x288 x324 -x360 x1 -x37 -x73 x109 x145 x181 -x217 -x253 -x289 x325 1797.98/1798.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.64 c 49 179728 44105 319702 43271 4730415 38645 99 1798.02 1797.98/1798.64 c Objective: 70 1797.98/1798.64 s SATISFIABLE 1797.98/1798.64 c Total time: 1798.02 s
OK 70
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656548-1276397617/watcher-2656548-1276397617 -o /tmp/evaluation-result-2656548-1276397617/solver-2656548-1276397617 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656548-1276397617.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: 0.92 0.98 0.99 3/106 21539 /proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=10996 CPUtime=0 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 15363305 11259904 253 1992294400 134512640 137138936 4290628736 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 2749 253 175 642 0 2055 0 [startup+0.019715 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21539 /proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=11264 CPUtime=0.01 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 404 0 0 0 1 0 0 0 20 0 1 0 15363305 11534336 323 1992294400 134512640 137138936 4290628736 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 2816 323 191 642 0 2122 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11264 [startup+0.101729 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21539 /proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=11880 CPUtime=0.09 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 704 0 0 0 9 0 0 0 20 0 1 0 15363305 12165120 546 1992294400 134512640 137138936 4290628736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 2970 546 192 642 0 2326 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11880 [startup+0.301766 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21539 /proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=12376 CPUtime=0.29 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 823 0 0 0 28 1 0 0 20 0 1 0 15363305 12673024 665 1992294400 134512640 137138936 4290628736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 3094 665 192 642 0 2450 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12376 [startup+0.701836 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21539 /proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=13380 CPUtime=0.69 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 1068 0 0 0 68 1 0 0 20 0 1 0 15363305 13701120 910 1992294400 134512640 137138936 4290628736 18446744073709551615 136520977 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 3345 910 192 642 0 2701 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13380 [startup+1.50198 s] /proc/loadavg: 0.92 0.98 0.99 2/107 21540 /proc/meminfo: memFree=1830640/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=14880 CPUtime=1.49 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 1450 0 0 0 147 2 0 0 23 0 1 0 15363305 15237120 1292 1992294400 134512640 137138936 4290628736 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 3720 1292 192 642 0 3076 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14880 [startup+3.10127 s] /proc/loadavg: 0.92 0.98 0.99 2/107 21540 /proc/meminfo: memFree=1828284/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=17148 CPUtime=3.09 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 2003 0 0 0 306 3 0 0 25 0 1 0 15363305 17559552 1845 1992294400 134512640 137138936 4290628736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 4287 1845 192 642 0 3643 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17148 [startup+6.30184 s] /proc/loadavg: 0.93 0.98 0.99 2/107 21540 /proc/meminfo: memFree=1824192/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=20928 CPUtime=6.29 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 2938 0 0 0 625 4 0 0 25 0 1 0 15363305 21430272 2780 1992294400 134512640 137138936 4290628736 18446744073709551615 134575026 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 5232 2780 192 642 0 4588 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20928 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/107 21540 /proc/meminfo: memFree=1818744/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=25904 CPUtime=12.69 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 4190 0 0 0 1263 6 0 0 25 0 1 0 15363305 26525696 4032 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 6476 4032 192 642 0 5832 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25904 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 21540 /proc/meminfo: memFree=1810560/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=33688 CPUtime=25.48 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 6133 0 0 0 2537 11 0 0 25 0 1 0 15363305 34496512 5975 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 8422 5975 192 642 0 7778 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33688 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.99 2/107 21542 /proc/meminfo: memFree=1799276/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=44880 CPUtime=51.08 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 8941 0 0 0 5091 17 0 0 25 0 1 0 15363305 45957120 8783 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 11220 8783 192 642 0 10576 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44880 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 21542 /proc/meminfo: memFree=1784396/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=59420 CPUtime=102.26 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 12580 0 0 0 10201 25 0 0 25 0 1 0 15363305 60846080 12422 1992294400 134512640 137138936 4290628736 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 14855 12422 192 642 0 14211 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 59420 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21544 /proc/meminfo: memFree=1770012/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=73996 CPUtime=162.24 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 16209 0 0 0 16192 32 0 0 25 0 1 0 15363305 75771904 16051 1992294400 134512640 137138936 4290628736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 18499 16051 192 642 0 17855 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 73996 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21546 /proc/meminfo: memFree=1755628/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=88168 CPUtime=222.22 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 19767 0 0 0 22184 38 0 0 25 0 1 0 15363305 90284032 19609 1992294400 134512640 137138936 4290628736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 22042 19609 192 642 0 21398 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 88168 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21548 /proc/meminfo: memFree=1742360/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=101516 CPUtime=282.19 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 23093 0 0 0 28176 43 0 0 25 0 1 0 15363305 103952384 22935 1992294400 134512640 137138936 4290628736 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 25379 22935 192 642 0 24735 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 101516 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21548 /proc/meminfo: memFree=1729216/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=114412 CPUtime=342.17 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 26328 0 0 0 34169 48 0 0 25 0 1 0 15363305 117157888 26170 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 28603 26170 192 642 0 27959 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 114412 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21550 /proc/meminfo: memFree=1717188/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=126612 CPUtime=402.15 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 29356 0 0 0 40161 54 0 0 25 0 1 0 15363305 129650688 29198 1992294400 134512640 137138936 4290628736 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 31653 29198 192 642 0 31009 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 126612 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21561 /proc/meminfo: memFree=1705596/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=137372 CPUtime=462.12 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 32072 0 0 0 46153 59 0 0 25 0 1 0 15363305 140668928 31914 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 34343 31914 192 642 0 33699 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 137372 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21563 /proc/meminfo: memFree=1699768/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=142820 CPUtime=522.1 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33504 0 0 0 52146 64 0 0 25 0 1 0 15363305 146247680 33265 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35705 33265 192 642 0 35061 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 142820 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21565 /proc/meminfo: memFree=1699768/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143008 CPUtime=582.08 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33535 0 0 0 58139 69 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35752 33296 192 642 0 35108 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 143008 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21565 /proc/meminfo: memFree=1699768/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143008 CPUtime=642.07 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33535 0 0 0 64134 73 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134606961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35752 33296 192 642 0 35108 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 143008 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1699396/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143008 CPUtime=1121.9 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 112089 101 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35752 33296 192 642 0 35108 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 143008 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21581 /proc/meminfo: memFree=1699396/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143008 CPUtime=1181.88 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 118085 103 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35752 33296 192 642 0 35108 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 143008 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21584 /proc/meminfo: memFree=1699212/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143008 CPUtime=1241.86 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 124081 105 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35752 33296 192 642 0 35108 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 143008 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21586 /proc/meminfo: memFree=1699212/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143008 CPUtime=1301.84 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 130077 107 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35752 33296 192 642 0 35108 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 143008 [startup+1362.3 s] /proc/loadavg: 1.04 1.00 1.00 2/107 21588 /proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143008 CPUtime=1361.82 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 136072 110 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35752 33296 192 642 0 35108 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 143008 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/107 21590 /proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143008 CPUtime=1421.8 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 142067 113 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35752 33296 192 642 0 35108 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 143008 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21592 /proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143008 CPUtime=1481.78 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 148062 116 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134607606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35752 33296 192 642 0 35108 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 143008 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21592 /proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143024 CPUtime=1541.75 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33621 0 0 0 154058 117 0 0 25 0 1 0 15363305 146456576 33300 1992294400 134512640 137138936 4290628736 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35756 33300 192 642 0 35112 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 143024 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21594 /proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=143044 CPUtime=1601.74 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33626 0 0 0 160055 119 0 0 25 0 1 0 15363305 146477056 33305 1992294400 134512640 137138936 4290628736 18446744073709551615 136511179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 35761 33305 192 642 0 35117 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 143044 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21596 /proc/meminfo: memFree=1692516/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=149928 CPUtime=1661.72 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 35354 0 0 0 166050 122 0 0 25 0 1 0 15363305 153526272 35033 1992294400 134512640 137138936 4290628736 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 37482 35033 192 642 0 36838 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 149928 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21598 /proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=155748 CPUtime=1721.7 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 172043 127 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 38937 36490 192 642 0 38293 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 155748 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 21600 /proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=155748 CPUtime=1781.68 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 178036 132 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 38937 36490 192 642 0 38293 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 155748 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21600 /proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=155748 CPUtime=1791.28 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 178996 132 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 38937 36490 192 642 0 38293 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 155748 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21600 /proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=155748 CPUtime=1794.49 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179316 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 38937 36490 192 642 0 38293 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 155748 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21600 /proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=155748 CPUtime=1796.08 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179475 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 38937 36490 192 642 0 38293 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 155748 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21600 /proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=155748 CPUtime=1796.88 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179555 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 38937 36490 192 642 0 38293 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 155748 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21600 /proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=155748 CPUtime=1797.68 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179635 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 38937 36490 192 642 0 38293 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 155748 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21600 /proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=155748 CPUtime=1797.88 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179655 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 38937 36490 192 642 0 38293 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 155748 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21600 /proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956 [pid=21539] ppid=21537 vsize=155748 CPUtime=1797.98 /proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179665 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21539/statm: 38937 36490 192 642 0 38293 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 155748 Child status: 0 Real time (s): 1798.66 CPU time (s): 1798.04 CPU user time (s): 1796.69 CPU system time (s): 1.35079 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 156140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.69 system time used= 1.35079 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36910 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= 1 involuntary context switches= 4658 runsolver used 2.76058 second user time and 8.70468 second system time The end
Begin job on node012 at 2010-06-13 04:53:37 IDJOB=2656548 IDBENCH=2007 IDSOLVER=1162 FILE ID=node012/2656548-1276397617 PBS_JOBID= 11173252 Free space on /tmp= 62412 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656548-1276397617/watcher-2656548-1276397617 -o /tmp/evaluation-result-2656548-1276397617/solver-2656548-1276397617 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656548-1276397617.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6 RANDOM SEED=1237490403 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1834524 kB Buffers: 10336 kB Cached: 129356 kB SwapCached: 16520 kB Active: 66736 kB Inactive: 92632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1834524 kB SwapTotal: 4192956 kB SwapFree: 4136696 kB Dirty: 4120 kB Writeback: 28 kB AnonPages: 11000 kB Mapped: 9204 kB Slab: 43416 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182396 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62408 MiB End job on node012 at 2010-06-13 05:23:36