Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 427.7 | 427.856 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb |
MD5SUM | 1141c23e5342793635b3f22754b52627 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.656899 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 189 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 441 |
Sum of products size (including duplicates) | 882 |
Number of different products | 441 |
Sum of products size | 882 |
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-2670407-1276702207.opb 0.00/0.00 c File size is 33211 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369 0.00/0.00 c Obj. Vars: 7 (1.11111 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 910 3836 4 3289 5173 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 20.58/20.61 c 101 630 1099 9847 8 3712 5691 189 3366 0.03 20.58/20.61 c 252 630 1391 23495 16 4395 6261 481 4064 0.06 20.58/20.61 c 478 630 1834 44921 24 5474 6888 924 4192 0.11 20.58/20.61 c 816 630 2479 69478 28 7059 7577 1569 4206 0.19 20.58/20.61 c 1325 630 3446 114570 33 9352 8335 2536 3908 0.34 20.58/20.61 c 2089 630 4921 182646 37 12792 9169 4011 3289 0.64 20.58/20.61 c 3235 630 7133 275511 38 18042 10086 6223 2981 1.08 20.58/20.61 c 4956 630 10438 418637 40 25928 11095 9528 2354 2.10 20.58/20.61 c 7541 630 9536 383037 40 23318 12205 8626 2055 3.67 20.58/20.61 c 11420 630 10739 439187 40 26744 13426 9829 1884 6.06 20.58/20.61 c 17243 630 7624 295704 38 18331 14769 6714 1577 10.93 20.58/20.61 c 25981 630 9197 328160 35 22716 16246 8287 1348 19.27 20.58/20.61 o 9 149.74/149.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 149.74/149.86 c 29927 629 16653 677221 40 40431 5187 15743 1452 20.60 149.74/149.86 c 30028 621 3680 134145 36 9436 5706 2770 1447 20.75 149.74/149.86 c 30279 621 4177 156054 37 10755 6277 3267 1455 20.81 149.74/149.86 c 30755 621 5060 197485 39 12838 6905 4150 1468 20.95 149.74/149.86 c 31568 621 6522 261184 40 16436 7596 5612 1485 21.25 149.74/149.86 c 32889 621 5154 186194 36 13841 8356 4244 1500 21.93 149.74/149.86 c 34971 621 9028 357227 39 23597 9192 8118 1528 22.88 149.74/149.86 c 38194 621 9887 421071 42 24722 10112 8977 1564 24.42 149.74/149.86 c 43130 621 7802 309927 39 19230 11124 6892 1513 28.50 149.74/149.86 c 50636 621 10218 468502 45 24354 12237 9308 1462 34.62 149.74/149.86 c 61997 621 10335 397971 38 25947 13461 9425 1330 46.61 149.74/149.86 c 79142 621 14313 624801 43 34981 14808 13403 1285 61.55 149.74/149.86 c 104962 610 15471 773958 50 35336 16289 14561 1209 86.81 149.74/149.86 c 143795 601 9692 385885 39 24804 17918 8782 1072 134.13 149.74/149.86 o 3 427.63/427.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 427.63/427.85 c 161124 600 14217 585674 41 35153 5181 13307 1075 149.81 427.63/427.85 c 161224 591 3666 133723 36 9481 5700 2756 1074 150.01 427.63/427.85 c 161476 591 4139 155939 37 10634 6271 3229 1075 150.08 427.63/427.85 c 161951 591 5064 204490 40 13068 6899 4154 1078 150.21 427.63/427.85 c 162765 572 6587 271413 41 16932 7589 5677 1081 150.46 427.63/427.85 c 164085 572 4912 189126 38 12670 8348 4002 1086 151.06 427.63/427.85 c 166166 572 8694 354468 40 22379 9183 7784 1092 152.09 427.63/427.85 c 169390 572 9988 399853 40 25727 10102 9078 1098 154.16 427.63/427.85 c 174327 572 8006 308262 38 20003 11113 7096 1098 158.72 427.63/427.85 c 181833 572 9921 407961 41 23458 12225 9011 1101 165.05 427.63/427.85 c 193196 571 11811 543073 45 28602 13448 10901 1125 171.69 427.63/427.85 c 210341 571 8162 317778 38 21301 14793 7252 1107 189.85 427.63/427.85 c 236160 568 9206 383391 41 21649 16273 8296 1071 220.32 427.63/427.85 c 274993 560 14528 624178 42 35307 17901 13618 1012 271.62 427.63/427.85 c 333348 556 18861 703735 37 45147 19692 17951 961 346.77 427.63/427.85 v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 x10 -x11 -x12 -x13 -x14 x15 x16 -x17 x18 -x19 x20 -x21 x22 -x23 x24 x25 -x26 -x27 x28 x29 x30 -x31 x32 -x33 -x34 -x35 x36 -x37 x38 -x39 -x40 -x41 -x42 x43 x44 x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 x60 -x61 x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x71 x72 x73 x74 -x75 -x76 -x77 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x239 x240 x241 x242 -x243 -x244 -x245 x246 x247 x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x78 -x79 x80 -x81 -x82 -x83 -x84 x134 -x135 x136 -x137 -x138 -x139 -x140 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 -x336 x85 -x86 -x87 -x88 -x89 -x90 -x91 x141 x142 -x143 -x144 -x145 -x146 -x147 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -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 x92 x93 -x94 x95 -x96 -x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 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 x99 x100 x101 -x102 x103 x104 -x105 -x155 -x156 -x157 -x158 -x159 -x160 -x161 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 x106 -x107 -x108 -x109 -x110 -x111 -x112 x162 x163 -x164 -x165 -x166 -x167 -x168 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 x113 x114 -x115 -x116 -x117 -x118 -x119 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x533 x534 -x535 -x536 -x537 -x538 -x539 x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x120 -x121 -x122 -x123 -x124 -x125 -x126 x176 -x177 -x178 -x179 -x180 -x181 -x182 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x183 -x184 -x185 -x186 -x187 -x188 -x189 427.63/427.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 427.63/427.85 c 41 377793 6286 401098 11680 380653 10770 883 427.70 427.63/427.85 c Objective: 3 427.63/427.85 s OPTIMUM FOUND 427.63/427.85 c Total time: 427.697 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670407-1276702207/watcher-2670407-1276702207 -o /tmp/evaluation-result-2670407-1276702207/solver-2670407-1276702207 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670407-1276702207.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.99 0.99 0.91 3/106 12042 /proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=10924 CPUtime=0 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 45822335 11186176 291 1992294400 134512640 137138936 4293123552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 2731 291 184 642 0 2087 0 [startup+0.109487 s] /proc/loadavg: 0.99 0.99 0.91 3/106 12042 /proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=11552 CPUtime=0.1 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 546 0 0 0 10 0 0 0 20 0 1 0 45822335 11829248 455 1992294400 134512640 137138936 4293123552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 2888 455 192 642 0 2244 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11552 [startup+0.200507 s] /proc/loadavg: 0.99 0.99 0.91 3/106 12042 /proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=12068 CPUtime=0.19 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 655 0 0 0 19 0 0 0 20 0 1 0 45822335 12357632 564 1992294400 134512640 137138936 4293123552 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 3017 564 192 642 0 2373 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12068 [startup+0.300527 s] /proc/loadavg: 0.99 0.99 0.91 3/106 12042 /proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=12456 CPUtime=0.29 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 777 0 0 0 29 0 0 0 20 0 1 0 45822335 12754944 686 1992294400 134512640 137138936 4293123552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 3114 686 192 642 0 2470 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12456 [startup+0.700612 s] /proc/loadavg: 0.99 0.99 0.91 3/106 12042 /proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=14000 CPUtime=0.69 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 1140 0 0 0 69 0 0 0 20 0 1 0 45822335 14336000 1049 1992294400 134512640 137138936 4293123552 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 3500 1049 192 642 0 2856 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14000 [startup+1.50078 s] /proc/loadavg: 0.99 0.99 0.91 3/107 12043 /proc/meminfo: memFree=1833096/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=16332 CPUtime=1.49 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 1739 0 0 0 148 1 0 0 22 0 1 0 45822335 16723968 1648 1992294400 134512640 137138936 4293123552 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 4083 1648 192 642 0 3439 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16332 [startup+3.10112 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12043 /proc/meminfo: memFree=1830740/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=18768 CPUtime=3.09 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 2338 0 0 0 308 1 0 0 25 0 1 0 45822335 19218432 2247 1992294400 134512640 137138936 4293123552 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 4692 2247 192 642 0 4048 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18768 [startup+6.3008 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12043 /proc/meminfo: memFree=1828756/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=19528 CPUtime=6.29 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 2529 0 0 0 626 3 0 0 25 0 1 0 45822335 19996672 2438 1992294400 134512640 137138936 4293123552 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 4882 2438 192 642 0 4238 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19528 [startup+12.7012 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12043 /proc/meminfo: memFree=1828012/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=20172 CPUtime=12.68 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 2708 0 0 0 1264 4 0 0 25 0 1 0 45822335 20656128 2617 1992294400 134512640 137138936 4293123552 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 5043 2617 192 642 0 4399 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20172 [startup+25.5009 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12045 /proc/meminfo: memFree=1826772/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=21588 CPUtime=25.48 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3058 0 0 0 2540 8 0 0 25 0 1 0 45822335 22106112 2967 1992294400 134512640 137138936 4293123552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 5397 2967 192 642 0 4753 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21588 [startup+51.1003 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12045 /proc/meminfo: memFree=1826648/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=21588 CPUtime=51.07 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3058 0 0 0 5093 14 0 0 25 0 1 0 45822335 22106112 2967 1992294400 134512640 137138936 4293123552 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 5397 2967 192 642 0 4753 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21588 [startup+102.301 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12047 /proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24204 CPUtime=102.26 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3718 0 0 0 10202 24 0 0 25 0 1 0 45822335 24784896 3627 1992294400 134512640 137138936 4293123552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6051 3627 192 642 0 5407 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24204 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12047 /proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24208 CPUtime=162.24 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3719 0 0 0 16186 38 0 0 25 0 1 0 45822335 24788992 3628 1992294400 134512640 137138936 4293123552 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6052 3628 192 642 0 5408 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 24208 [startup+222.309 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12049 /proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24208 CPUtime=222.22 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3719 0 0 0 22171 51 0 0 25 0 1 0 45822335 24788992 3628 1992294400 134512640 137138936 4293123552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6052 3628 192 642 0 5408 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 24208 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12051 /proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24208 CPUtime=282.19 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3719 0 0 0 28155 64 0 0 25 0 1 0 45822335 24788992 3628 1992294400 134512640 137138936 4293123552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6052 3628 192 642 0 5408 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 24208 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12053 /proc/meminfo: memFree=1823672/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24208 CPUtime=342.17 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3719 0 0 0 34142 75 0 0 25 0 1 0 45822335 24788992 3628 1992294400 134512640 137138936 4293123552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6052 3628 192 642 0 5408 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 24208 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12055 /proc/meminfo: memFree=1823672/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24216 CPUtime=402.14 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 40129 85 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6054 3630 192 642 0 5410 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 24216 Solver just ended. Dumping a history of the last processes samples [startup+409.602 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12055 /proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24216 CPUtime=409.44 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 40857 87 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6054 3630 192 642 0 5410 0 Current children cumulated CPU time (s) 409.44 Current children cumulated vsize (KiB) 24216 [startup+416.002 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12055 /proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24216 CPUtime=415.84 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 41496 88 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6054 3630 192 642 0 5410 0 Current children cumulated CPU time (s) 415.84 Current children cumulated vsize (KiB) 24216 [startup+422.401 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12055 /proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24216 CPUtime=422.24 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42135 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6054 3630 192 642 0 5410 0 Current children cumulated CPU time (s) 422.24 Current children cumulated vsize (KiB) 24216 [startup+425.601 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12055 /proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24216 CPUtime=425.43 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42454 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6054 3630 192 642 0 5410 0 Current children cumulated CPU time (s) 425.43 Current children cumulated vsize (KiB) 24216 [startup+427.2 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12055 /proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24216 CPUtime=427.03 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42614 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6054 3630 192 642 0 5410 0 Current children cumulated CPU time (s) 427.03 Current children cumulated vsize (KiB) 24216 [startup+427.6 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12055 /proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24216 CPUtime=427.43 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42654 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6054 3630 192 642 0 5410 0 Current children cumulated CPU time (s) 427.43 Current children cumulated vsize (KiB) 24216 [startup+427.8 s] /proc/loadavg: 0.99 0.99 0.91 2/107 12055 /proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956 [pid=12042] ppid=12040 vsize=24216 CPUtime=427.63 /proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42674 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134575908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12042/statm: 6054 3630 192 642 0 5410 0 Current children cumulated CPU time (s) 427.63 Current children cumulated vsize (KiB) 24216 Child status: 0 Real time (s): 427.856 CPU time (s): 427.7 CPU user time (s): 426.799 CPU system time (s): 0.900863 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 24216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 426.799 system time used= 0.900863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3722 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= 661 runsolver used 0.668898 second user time and 2.06868 second system time The end
Begin job on node010 at 2010-06-16 17:30:07 IDJOB=2670407 IDBENCH=47920 IDSOLVER=1162 FILE ID=node010/2670407-1276702207 PBS_JOBID= 11174124 Free space on /tmp= 62532 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670407-1276702207/watcher-2670407-1276702207 -o /tmp/evaluation-result-2670407-1276702207/solver-2670407-1276702207 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670407-1276702207.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1141c23e5342793635b3f22754b52627 RANDOM SEED=226424198 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1838468 kB Buffers: 10096 kB Cached: 118640 kB SwapCached: 5468 kB Active: 84276 kB Inactive: 56564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1838468 kB SwapTotal: 4192956 kB SwapFree: 4139724 kB Dirty: 4220 kB Writeback: 0 kB AnonPages: 10804 kB Mapped: 12916 kB Slab: 57872 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181480 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670407-1276702207.opb Free space on /tmp at the end= 62528 MiB End job on node010 at 2010-06-16 17:37:15