Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 549.547 | 549.717 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb |
MD5SUM | 3f50fdda997abfe5e5c5cddf7b7c1313 |
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 | 3.60545 |
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 | 168 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670384-1276701467.opb 0.00/0.00 c File size is 33486 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368 0.00/0.00 c Obj. Vars: 8 (1.2987 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 60.87/60.91 c 101 616 1019 9312 9 3454 5691 101 4809 0.02 60.87/60.91 c 251 616 1169 23535 20 3651 6261 251 5704 0.04 60.87/60.91 c 476 616 1394 36968 26 4125 6888 476 7212 0.07 60.87/60.91 c 815 616 1733 59317 34 4835 7577 815 7761 0.10 60.87/60.91 c 1324 616 2242 93726 41 5834 8335 1324 7609 0.17 60.87/60.91 c 2087 616 3005 138909 46 7354 9169 2087 6865 0.30 60.87/60.91 c 3233 616 4151 222117 53 9623 10086 3233 6707 0.48 60.87/60.91 c 4955 616 5873 342714 58 13028 11095 4955 6511 0.76 60.87/60.91 c 7541 616 8459 521962 61 18212 12205 7541 6125 1.23 60.87/60.91 c 11421 616 12339 769607 62 26041 13426 11421 4223 2.70 60.87/60.91 c 17244 616 11090 685101 61 23465 14769 10172 3956 4.36 60.87/60.91 c 25981 616 12129 692831 57 25528 16246 11211 2882 9.01 60.87/60.91 c 39094 616 17067 958645 56 35469 17871 16149 2153 18.16 60.87/60.91 c 58765 615 18427 1232182 66 38203 19659 17509 1533 38.32 60.87/60.91 o 129 103.66/103.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.66/103.76 c 82834 615 11984 751357 62 25277 5189 11066 1360 60.89 103.66/103.76 c 82935 615 3617 189209 52 8653 5708 2699 1359 60.98 103.66/103.76 c 83186 615 3868 209527 54 9087 6279 2950 1363 61.02 103.66/103.76 c 83661 615 4343 241435 55 10076 6907 3425 1369 61.10 103.66/103.76 c 84475 615 5157 298518 57 11703 7598 4239 1378 61.27 103.66/103.76 c 85795 615 6477 399477 61 14277 8358 5559 1395 61.47 103.66/103.76 c 87876 615 8558 538814 62 18508 9194 7640 1414 62.12 103.66/103.76 c 91100 615 6638 406317 61 14700 10114 5720 1451 62.75 103.66/103.76 c 96036 615 6281 370675 59 13932 11126 5363 1487 64.56 103.66/103.76 c 103542 615 8150 471578 57 17647 12239 7232 1479 69.96 103.66/103.76 c 114904 615 12947 809399 62 27206 13463 12029 1524 75.35 103.66/103.76 c 132048 615 9322 541456 58 19978 14810 8404 1541 85.65 103.66/103.76 o 9 141.35/141.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 141.35/141.46 c 157256 615 11885 752208 63 25131 5189 10967 1516 103.73 141.35/141.46 c 157356 605 3616 187239 51 8653 5708 2698 1515 103.81 141.35/141.46 c 157608 595 3868 203380 52 9050 6279 2950 1517 103.85 141.35/141.46 c 158084 595 4344 235004 54 9998 6907 3426 1521 103.92 141.35/141.46 c 158897 595 5157 290411 56 11631 7598 4239 1526 104.07 141.35/141.46 c 160218 595 6478 380751 58 14279 8358 5560 1533 104.45 141.35/141.46 c 162300 595 8560 517981 60 18422 9194 7642 1539 105.43 141.35/141.46 c 165524 595 7113 411090 57 15555 10114 6195 1546 107.01 141.35/141.46 c 170461 595 6419 386953 60 14223 11126 5501 1572 108.37 141.35/141.46 c 177967 595 7867 451760 57 17040 12239 6949 1593 111.65 141.35/141.46 c 189329 586 13027 784573 60 27442 13463 12109 1565 120.91 141.35/141.46 c 206474 586 8994 591253 65 19419 14810 8076 1572 131.29 141.35/141.46 o 3 549.52/549.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 549.52/549.71 c 228390 585 8333 494930 59 18054 5183 7415 1614 141.48 549.52/549.71 c 228490 542 3621 176946 48 8604 5702 2703 1614 141.55 549.52/549.71 c 228740 542 3871 194454 50 9123 6273 2953 1615 141.57 549.52/549.71 c 229216 542 4347 225072 51 10067 6901 3429 1618 141.66 549.52/549.71 c 230029 542 5160 284608 55 11747 7592 4242 1622 141.77 549.52/549.71 c 231350 542 6481 379683 58 14361 8352 5563 1629 142.02 549.52/549.71 c 233432 542 8563 538923 62 18517 9188 7645 1635 142.77 549.52/549.71 c 236655 542 6861 407838 59 15146 10107 5943 1647 143.68 549.52/549.71 c 241592 542 6447 372619 57 14284 11118 5529 1654 146.05 549.52/549.71 c 249098 542 8269 486679 58 17927 12230 7351 1640 151.84 549.52/549.71 c 260459 542 7047 395326 56 15479 13454 6129 1647 158.11 549.52/549.71 c 277603 542 10379 617398 59 22122 14800 9461 1575 176.15 549.52/549.71 c 303422 542 13312 874418 65 27974 16281 12394 1539 197.13 549.52/549.71 c 342255 542 10210 594511 58 21766 17910 9292 1488 229.98 549.52/549.71 c 400608 542 13005 775843 59 27359 19702 12087 1404 285.17 549.52/549.71 c 488242 539 19966 1198895 60 41319 21673 19048 1302 374.71 549.52/549.71 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 x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 -x187 -x188 -x189 -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 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x233 -x234 x235 -x236 -x237 -x238 -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 -x288 x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 x73 x74 -x75 x76 x77 -x78 -x79 -x80 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 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 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 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 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x97 x98 -x99 x100 x101 -x102 -x103 -x104 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x105 -x106 x107 x108 x109 -x110 -x111 -x112 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 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 -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 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 549.52/549.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 549.52/549.71 c 54 617223 5670 641134 15867 809515 14949 1123 549.54 549.52/549.71 c Objective: 3 549.52/549.71 s OPTIMUM FOUND 549.52/549.71 c Total time: 549.543 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-2670384-1276701467/watcher-2670384-1276701467 -o /tmp/evaluation-result-2670384-1276701467/solver-2670384-1276701467 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670384-1276701467.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/105 19370 /proc/meminfo: memFree=1708088/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=10924 CPUtime=0 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 381 0 0 0 0 0 0 0 25 0 1 0 11440496 11186176 291 1992294400 134512640 137138936 4293987648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 2731 291 184 642 0 2087 0 [startup+0.079729 s] /proc/loadavg: 1.00 1.00 1.00 2/105 19370 /proc/meminfo: memFree=1708088/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=11564 CPUtime=0.07 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 531 0 0 0 7 0 0 0 25 0 1 0 11440496 11841536 441 1992294400 134512640 137138936 4293987648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 2891 441 190 642 0 2247 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11564 [startup+0.100732 s] /proc/loadavg: 1.00 1.00 1.00 2/105 19370 /proc/meminfo: memFree=1708088/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=11688 CPUtime=0.09 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 579 0 0 0 9 0 0 0 25 0 1 0 11440496 11968512 489 1992294400 134512640 137138936 4293987648 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 2922 490 190 642 0 2278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11688 [startup+0.300754 s] /proc/loadavg: 1.00 1.00 1.00 2/105 19370 /proc/meminfo: memFree=1708088/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=12940 CPUtime=0.29 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 872 0 0 0 29 0 0 0 25 0 1 0 11440496 13250560 782 1992294400 134512640 137138936 4293987648 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 3235 782 190 642 0 2591 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12940 [startup+0.700799 s] /proc/loadavg: 1.00 1.00 1.00 2/105 19370 /proc/meminfo: memFree=1708088/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=15456 CPUtime=0.69 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 1515 0 0 0 68 1 0 0 25 0 1 0 11440496 15826944 1425 1992294400 134512640 137138936 4293987648 18446744073709551615 134617536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 3864 1425 190 642 0 3220 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15456 [startup+1.50089 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19371 /proc/meminfo: memFree=1701384/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=19232 CPUtime=1.49 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 2464 0 0 0 147 2 0 0 25 0 1 0 11440496 19693568 2374 1992294400 134512640 137138936 4293987648 18446744073709551615 134542181 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 4808 2374 190 642 0 4164 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19232 [startup+3.10107 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19371 /proc/meminfo: memFree=1697540/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=23376 CPUtime=3.09 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 3507 0 0 0 306 3 0 0 25 0 1 0 11440496 23937024 3417 1992294400 134512640 137138936 4293987648 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 5844 3417 190 642 0 5200 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23376 [startup+6.30143 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19371 /proc/meminfo: memFree=1693944/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=24380 CPUtime=6.29 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 3741 0 0 0 625 4 0 0 25 0 1 0 11440496 24965120 3651 1992294400 134512640 137138936 4293987648 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 6095 3651 190 642 0 5451 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24380 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19371 /proc/meminfo: memFree=1692952/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=25260 CPUtime=12.68 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 3959 0 0 0 1261 7 0 0 25 0 1 0 11440496 25866240 3869 1992294400 134512640 137138936 4293987648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 6315 3869 190 642 0 5671 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25260 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19371 /proc/meminfo: memFree=1690100/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=28240 CPUtime=25.48 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 4710 0 0 0 2538 10 0 0 25 0 1 0 11440496 28917760 4620 1992294400 134512640 137138936 4293987648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7060 4620 190 642 0 6416 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28240 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19371 /proc/meminfo: memFree=1687372/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=30748 CPUtime=51.07 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5351 0 0 0 5091 16 0 0 25 0 1 0 11440496 31485952 5261 1992294400 134512640 137138936 4293987648 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7687 5261 190 642 0 7043 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30748 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19373 /proc/meminfo: memFree=1687248/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=30776 CPUtime=102.27 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5353 0 0 0 10193 34 0 0 25 0 1 0 11440496 31514624 5263 1992294400 134512640 137138936 4293987648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7694 5263 191 642 0 7050 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30776 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19375 /proc/meminfo: memFree=1687124/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=30776 CPUtime=162.24 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5353 0 0 0 16168 56 0 0 25 0 1 0 11440496 31514624 5263 1992294400 134512640 137138936 4293987648 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7694 5263 191 642 0 7050 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30776 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19377 /proc/meminfo: memFree=1687124/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=30776 CPUtime=222.23 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5353 0 0 0 22152 71 0 0 25 0 1 0 11440496 31514624 5263 1992294400 134512640 137138936 4293987648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7694 5263 191 642 0 7050 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 30776 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19377 /proc/meminfo: memFree=1687124/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=30776 CPUtime=282.21 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5353 0 0 0 28134 87 0 0 25 0 1 0 11440496 31514624 5263 1992294400 134512640 137138936 4293987648 18446744073709551615 134618099 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7694 5263 191 642 0 7050 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 30776 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19379 /proc/meminfo: memFree=1687000/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=30776 CPUtime=342.19 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5353 0 0 0 34119 100 0 0 25 0 1 0 11440496 31514624 5263 1992294400 134512640 137138936 4293987648 18446744073709551615 136500394 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7694 5263 191 642 0 7050 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 30776 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19381 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31876 CPUtime=402.17 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 40103 114 0 0 25 0 1 0 11440496 32641024 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7969 5533 191 642 0 7325 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 31876 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19383 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31868 CPUtime=462.15 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 46088 127 0 0 25 0 1 0 11440496 32632832 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7967 5533 191 642 0 7323 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 31868 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19385 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31856 CPUtime=522.13 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 52072 141 0 0 25 0 1 0 11440496 32620544 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7964 5533 191 642 0 7320 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 31856 Solver just ended. Dumping a history of the last processes samples [startup+524.709 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19385 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31856 CPUtime=524.54 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 52313 141 0 0 25 0 1 0 11440496 32620544 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7964 5533 191 642 0 7320 0 Current children cumulated CPU time (s) 524.54 Current children cumulated vsize (KiB) 31856 [startup+537.501 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19385 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31856 CPUtime=537.32 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 53589 143 0 0 25 0 1 0 11440496 32620544 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7964 5533 191 642 0 7320 0 Current children cumulated CPU time (s) 537.32 Current children cumulated vsize (KiB) 31856 [startup+543.901 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19385 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31856 CPUtime=543.72 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 54227 145 0 0 25 0 1 0 11440496 32620544 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7964 5533 191 642 0 7320 0 Current children cumulated CPU time (s) 543.72 Current children cumulated vsize (KiB) 31856 [startup+547.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19385 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31856 CPUtime=546.92 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 54547 145 0 0 25 0 1 0 11440496 32620544 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7964 5533 191 642 0 7320 0 Current children cumulated CPU time (s) 546.92 Current children cumulated vsize (KiB) 31856 [startup+548.701 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19385 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31856 CPUtime=548.52 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 54706 146 0 0 25 0 1 0 11440496 32620544 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7964 5533 191 642 0 7320 0 Current children cumulated CPU time (s) 548.52 Current children cumulated vsize (KiB) 31856 [startup+549.501 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19385 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31856 CPUtime=549.32 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 54786 146 0 0 25 0 1 0 11440496 32620544 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7964 5533 191 642 0 7320 0 Current children cumulated CPU time (s) 549.32 Current children cumulated vsize (KiB) 31856 [startup+549.701 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19385 /proc/meminfo: memFree=1685884/2059040 swapFree=4192956/4192956 [pid=19370] ppid=19368 vsize=31856 CPUtime=549.52 /proc/19370/stat : 19370 (bsolo_pb10) R 19368 19370 19129 0 -1 4202496 5623 0 0 0 54806 146 0 0 25 0 1 0 11440496 32620544 5533 1992294400 134512640 137138936 4293987648 18446744073709551615 134603239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19370/statm: 7964 5533 191 642 0 7320 0 Current children cumulated CPU time (s) 549.52 Current children cumulated vsize (KiB) 31856 Child status: 0 Real time (s): 549.717 CPU time (s): 549.547 CPU user time (s): 548.079 CPU system time (s): 1.46878 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 31876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 548.079 system time used= 1.46878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5624 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= 2082 runsolver used 0.841872 second user time and 2.66359 second system time The end
Begin job on node085 at 2010-06-16 17:17:47 IDJOB=2670384 IDBENCH=47908 IDSOLVER=1163 FILE ID=node085/2670384-1276701467 PBS_JOBID= 11174081 Free space on /tmp= 121872 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670384-1276701467/watcher-2670384-1276701467 -o /tmp/evaluation-result-2670384-1276701467/solver-2670384-1276701467 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670384-1276701467.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3f50fdda997abfe5e5c5cddf7b7c1313 RANDOM SEED=1587206296 node085.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.221 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.44 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.221 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 : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1708740 kB Buffers: 82268 kB Cached: 129600 kB SwapCached: 0 kB Active: 130112 kB Inactive: 141196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1708740 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3864 kB Writeback: 0 kB AnonPages: 59436 kB Mapped: 15464 kB Slab: 57316 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180548 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-2670384-1276701467.opb Free space on /tmp at the end= 121868 MiB End job on node085 at 2010-06-16 17:26:57