Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 932.58 | 932.868 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb |
MD5SUM | c4232b649086935e0cf725c77927c83f |
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.51892 |
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 | 144 |
Total number of constraints | 13 |
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 | 13 |
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) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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-2670405-1276702206.opb 0.00/0.00 c File size is 28515 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.004 s 0.00/0.00 c Var: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 165.14/165.20 c 100 528 970 10423 10 3279 4875 183 3030 0.03 165.14/165.20 c 251 528 1247 22396 17 4022 5363 460 3861 0.07 165.14/165.20 c 476 528 1667 45451 27 4987 5900 880 4000 0.12 165.14/165.20 c 815 528 2338 81206 34 6819 6491 1551 3956 0.21 165.14/165.20 c 1323 528 3327 129806 39 9390 7141 2540 3392 0.39 165.14/165.20 c 2090 528 4815 214152 44 13259 7856 4028 3281 0.64 165.14/165.20 c 3237 528 7048 333894 47 18881 8642 6261 2785 1.16 165.14/165.20 c 4958 528 5529 273032 49 13882 9507 4742 2541 1.95 165.14/165.20 c 7542 528 5541 282233 50 13886 10458 4754 2079 3.63 165.14/165.20 c 11423 528 7705 350161 45 19474 11504 6918 1721 6.64 165.14/165.20 c 17245 528 6729 364337 54 16071 12655 5942 1530 11.27 165.14/165.20 c 25983 528 10382 502150 48 26348 13921 9595 1446 17.97 165.14/165.20 c 39094 528 13946 750354 53 34752 15314 13159 1101 35.49 165.14/165.20 c 58765 528 12158 574773 47 30122 16846 11371 942 62.38 165.14/165.20 c 88276 528 15361 1020290 66 37197 18531 14574 894 98.73 165.14/165.20 c 132547 527 19273 980564 50 51457 20385 18486 847 156.35 165.14/165.20 o 113 495.33/495.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 495.33/495.57 c 139640 527 11820 627610 53 30480 4447 11033 845 165.16 495.33/495.57 c 139741 527 3210 155990 48 8248 4892 2423 845 165.28 495.33/495.57 c 139993 527 3672 181003 49 9412 5382 2885 846 165.35 495.33/495.57 c 140468 527 4565 228425 50 11776 5921 3778 848 165.51 495.33/495.57 c 141281 527 6113 314306 51 15828 6514 5326 851 165.83 495.33/495.57 c 142603 527 5339 255817 47 14530 7166 4552 856 166.54 495.33/495.57 c 144684 527 5632 261765 46 15846 7883 4845 860 168.06 495.33/495.57 c 147908 527 7639 421692 55 19403 8672 6852 871 169.65 495.33/495.57 c 152845 527 7216 342714 47 19590 9540 6429 883 172.99 495.33/495.57 c 160352 527 6790 331157 48 18101 10495 6003 891 179.91 495.33/495.57 c 171713 527 6038 293672 48 15913 11545 5251 894 192.04 495.33/495.57 c 188857 527 7676 424639 55 19641 12700 6889 905 208.61 495.33/495.57 c 214677 516 7142 339540 47 18540 13971 6355 888 241.58 495.33/495.57 c 253510 516 7780 412638 53 19825 15369 6993 903 280.65 495.33/495.57 c 311863 516 10123 502312 49 26390 16906 9336 823 378.55 495.33/495.57 o 49 518.23/518.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 518.23/518.48 c 393716 516 9247 537646 58 22429 4471 8460 794 495.58 518.23/518.48 c 393816 516 3211 150057 46 8473 4919 2424 794 495.71 518.23/518.48 c 394066 516 3672 174339 47 9704 5411 2885 794 495.79 518.23/518.48 c 394541 516 4545 217577 47 12157 5953 3758 795 495.94 518.23/518.48 c 395354 516 6083 295309 48 16502 6549 5296 796 496.34 518.23/518.48 c 396675 516 5225 239207 45 14556 7204 4438 797 497.21 518.23/518.48 c 398756 516 4945 243171 49 13038 7925 4158 799 498.67 518.23/518.48 c 401979 516 6947 333587 48 18799 8718 6160 802 500.90 518.23/518.48 c 406916 516 7268 341038 46 19861 9590 6481 804 505.60 518.23/518.48 c 414422 506 5975 297326 49 16132 10550 5188 811 510.50 518.23/518.48 o 3 932.52/932.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 932.52/932.86 c 425246 506 8769 448873 51 21855 4443 7982 820 518.32 932.52/932.86 c 425347 496 3197 134300 42 8154 4888 2410 820 518.43 932.52/932.86 c 425598 496 3608 158738 43 9081 5377 2821 820 518.51 932.52/932.86 c 426073 496 4192 198453 47 10381 5915 3405 821 518.71 932.52/932.86 c 426887 496 5351 276832 51 12754 6507 4564 822 519.14 932.52/932.86 c 428207 486 4079 207688 50 10595 7158 3292 823 519.74 932.52/932.86 c 430288 455 7930 432352 54 20425 7874 7143 826 520.81 932.52/932.86 c 433511 455 5915 272233 46 16355 8662 5128 828 523.05 932.52/932.86 c 438448 455 6226 298078 47 16997 9529 5439 831 527.04 932.52/932.86 c 445954 455 5564 282817 50 14411 10482 4777 837 532.22 932.52/932.86 c 457315 455 10769 553843 51 27011 11531 9982 842 542.86 932.52/932.86 c 474460 455 11578 592311 51 30432 12685 10791 843 562.25 932.52/932.86 c 500280 455 13316 723863 54 33386 13954 12529 845 591.38 932.52/932.86 c 539113 454 11555 644641 55 28852 15350 10768 846 636.53 932.52/932.86 c 597465 454 10250 506070 49 26208 16886 9463 826 722.59 932.52/932.86 c 685097 453 12522 668095 53 31155 18575 11735 797 859.48 932.52/932.86 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 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 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 x57 -x58 -x59 -x60 -x61 x62 x63 x64 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 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 -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 x65 -x66 -x67 -x68 x69 x70 x71 x72 -x105 x106 x107 x108 -x109 -x110 -x111 -x112 x273 -x274 -x275 -x276 x277 x278 x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -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 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 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 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 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 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 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 x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 932.52/932.86 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 932.52/932.86 c 57 722916 6446 747638 11717 484506 10930 775 932.58 932.52/932.86 c Objective: 3 932.52/932.86 s OPTIMUM FOUND 932.52/932.86 c Total time: 932.577 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-2670405-1276702206/watcher-2670405-1276702206 -o /tmp/evaluation-result-2670405-1276702206/solver-2670405-1276702206 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670405-1276702206.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.10 1.06 0.98 3/106 17647 /proc/meminfo: memFree=1877528/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=10924 CPUtime=0 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 370 0 0 0 0 0 0 0 18 0 1 0 11511833 11186176 281 1992294400 134512640 137138936 4287416096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 2731 281 184 642 0 2087 0 [startup+0.056751 s] /proc/loadavg: 1.10 1.06 0.98 3/106 17647 /proc/meminfo: memFree=1877528/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=11184 CPUtime=0.05 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 443 0 0 0 5 0 0 0 21 0 1 0 11511833 11452416 354 1992294400 134512640 137138936 4287416096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 2796 354 192 642 0 2152 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11184 [startup+0.100756 s] /proc/loadavg: 1.10 1.06 0.98 3/106 17647 /proc/meminfo: memFree=1877528/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=11440 CPUtime=0.09 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 507 0 0 0 9 0 0 0 21 0 1 0 11511833 11714560 418 1992294400 134512640 137138936 4287416096 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 2860 418 192 642 0 2216 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11440 [startup+0.300785 s] /proc/loadavg: 1.10 1.06 0.98 3/106 17647 /proc/meminfo: memFree=1877528/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=12472 CPUtime=0.29 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 782 0 0 0 29 0 0 0 21 0 1 0 11511833 12771328 693 1992294400 134512640 137138936 4287416096 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 3118 693 192 642 0 2474 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12472 [startup+0.700843 s] /proc/loadavg: 1.10 1.06 0.98 3/106 17647 /proc/meminfo: memFree=1877528/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=14408 CPUtime=0.69 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 1251 0 0 0 69 0 0 0 22 0 1 0 11511833 14753792 1162 1992294400 134512640 137138936 4287416096 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 3602 1162 192 642 0 2958 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14408 [startup+1.50096 s] /proc/loadavg: 1.09 1.06 0.98 2/107 17648 /proc/meminfo: memFree=1872436/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=17396 CPUtime=1.49 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 2014 0 0 0 148 1 0 0 25 0 1 0 11511833 17813504 1925 1992294400 134512640 137138936 4287416096 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 4349 1925 192 642 0 3705 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17396 [startup+3.10119 s] /proc/loadavg: 1.09 1.06 0.98 2/107 17648 /proc/meminfo: memFree=1869336/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=18424 CPUtime=3.09 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 2253 0 0 0 308 1 0 0 25 0 1 0 11511833 18866176 2164 1992294400 134512640 137138936 4287416096 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 4606 2164 192 642 0 3962 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18424 [startup+6.30066 s] /proc/loadavg: 1.09 1.06 0.98 2/107 17650 /proc/meminfo: memFree=1868344/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=19548 CPUtime=6.29 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 2530 0 0 0 627 2 0 0 25 0 1 0 11511833 20017152 2441 1992294400 134512640 137138936 4287416096 18446744073709551615 134575087 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 4887 2441 192 642 0 4243 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19548 [startup+12.7016 s] /proc/loadavg: 1.08 1.06 0.98 2/107 17650 /proc/meminfo: memFree=1866980/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=20812 CPUtime=12.69 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 2847 0 0 0 1265 4 0 0 25 0 1 0 11511833 21311488 2758 1992294400 134512640 137138936 4287416096 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 5203 2758 192 642 0 4559 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20812 [startup+25.5005 s] /proc/loadavg: 1.07 1.05 0.98 2/107 17650 /proc/meminfo: memFree=1865740/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=21920 CPUtime=25.48 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 3127 0 0 0 2542 6 0 0 25 0 1 0 11511833 22446080 3038 1992294400 134512640 137138936 4287416096 18446744073709551615 134542848 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 5480 3038 192 642 0 4836 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21920 [startup+51.1012 s] /proc/loadavg: 1.04 1.05 0.98 2/107 17650 /proc/meminfo: memFree=1863508/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=24096 CPUtime=51.08 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 3676 0 0 0 5095 13 0 0 25 0 1 0 11511833 24674304 3587 1992294400 134512640 137138936 4287416096 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 6024 3587 192 642 0 5380 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24096 [startup+102.309 s] /proc/loadavg: 1.02 1.04 0.98 2/107 17652 /proc/meminfo: memFree=1858300/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29388 CPUtime=102.26 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5007 0 0 0 10202 24 0 0 25 0 1 0 11511833 30093312 4918 1992294400 134512640 137138936 4287416096 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7347 4918 192 642 0 6703 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29388 [startup+162.3 s] /proc/loadavg: 1.00 1.03 0.98 2/107 17654 /proc/meminfo: memFree=1858300/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29392 CPUtime=162.24 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5008 0 0 0 16189 35 0 0 25 0 1 0 11511833 30097408 4919 1992294400 134512640 137138936 4287416096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7348 4919 192 642 0 6704 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 29392 [startup+222.301 s] /proc/loadavg: 1.00 1.02 0.98 2/107 17654 /proc/meminfo: memFree=1858300/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29356 CPUtime=222.23 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 22174 49 0 0 25 0 1 0 11511833 30060544 4915 1992294400 134512640 137138936 4287416096 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7339 4915 192 642 0 6695 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 29356 [startup+282.302 s] /proc/loadavg: 1.04 1.03 0.98 2/107 17659 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29356 CPUtime=282.19 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 28158 61 0 0 25 0 1 0 11511833 30060544 4915 1992294400 134512640 137138936 4287416096 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7339 4915 192 642 0 6695 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 29356 [startup+342.302 s] /proc/loadavg: 1.01 1.02 0.98 2/107 17661 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29356 CPUtime=342.18 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 34147 71 0 0 25 0 1 0 11511833 30060544 4915 1992294400 134512640 137138936 4287416096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7339 4915 192 642 0 6695 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 29356 [startup+402.301 s] /proc/loadavg: 1.00 1.02 0.98 2/107 17663 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29352 CPUtime=402.17 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 40134 83 0 0 25 0 1 0 11511833 30056448 4914 1992294400 134512640 137138936 4287416096 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7338 4914 192 642 0 6694 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 29352 [startup+462.301 s] /proc/loadavg: 1.00 1.01 0.98 2/107 17665 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29352 CPUtime=462.14 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 46118 96 0 0 25 0 1 0 11511833 30056448 4914 1992294400 134512640 137138936 4287416096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7338 4914 192 642 0 6694 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 29352 [startup+522.301 s] /proc/loadavg: 1.00 1.01 0.98 2/107 17665 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29344 CPUtime=522.13 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 52105 108 0 0 25 0 1 0 11511833 30048256 4912 1992294400 134512640 137138936 4287416096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7336 4912 192 642 0 6692 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 29344 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17667 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29340 CPUtime=582.11 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 58091 120 0 0 25 0 1 0 11511833 30044160 4911 1992294400 134512640 137138936 4287416096 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7335 4911 192 642 0 6691 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 29340 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17669 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29336 CPUtime=642.1 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 64076 134 0 0 25 0 1 0 11511833 30040064 4910 1992294400 134512640 137138936 4287416096 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7334 4910 192 642 0 6690 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 29336 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17671 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29332 CPUtime=702.07 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 70061 146 0 0 25 0 1 0 11511833 30035968 4909 1992294400 134512640 137138936 4287416096 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7333 4909 192 642 0 6689 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 29332 [startup+762.309 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17673 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29332 CPUtime=762.06 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 76048 158 0 0 25 0 1 0 11511833 30035968 4909 1992294400 134512640 137138936 4287416096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7333 4909 192 642 0 6689 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 29332 [startup+822.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17673 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29332 CPUtime=822.04 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 82034 170 0 0 25 0 1 0 11511833 30035968 4909 1992294400 134512640 137138936 4287416096 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7333 4909 192 642 0 6689 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 29332 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17675 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=882.02 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 88023 179 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 29328 Solver just ended. Dumping a history of the last processes samples [startup+895.901 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17675 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=895.61 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 89379 182 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 895.61 Current children cumulated vsize (KiB) 29328 [startup+908.701 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17677 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=908.41 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 90656 185 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 908.41 Current children cumulated vsize (KiB) 29328 [startup+921.501 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17677 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=921.21 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 91934 187 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 921.21 Current children cumulated vsize (KiB) 29328 [startup+927.902 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17677 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=927.61 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 92572 189 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 927.61 Current children cumulated vsize (KiB) 29328 [startup+931.101 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17677 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=930.8 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 92891 189 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 930.8 Current children cumulated vsize (KiB) 29328 [startup+931.901 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17677 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=931.6 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 92971 189 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134576115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 931.6 Current children cumulated vsize (KiB) 29328 [startup+932.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17677 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=932 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 93011 189 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134618515 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 932 Current children cumulated vsize (KiB) 29328 [startup+932.701 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17677 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=932.41 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 93052 189 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 932.41 Current children cumulated vsize (KiB) 29328 [startup+932.808 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17677 /proc/meminfo: memFree=1857184/2059040 swapFree=4140440/4192956 [pid=17647] ppid=17645 vsize=29328 CPUtime=932.52 /proc/17647/stat : 17647 (bsolo_pb10) R 17645 17647 17424 0 -1 4202496 5010 0 0 0 93062 190 0 0 25 0 1 0 11511833 30031872 4908 1992294400 134512640 137138936 4287416096 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17647/statm: 7332 4908 192 642 0 6688 0 Current children cumulated CPU time (s) 932.52 Current children cumulated vsize (KiB) 29328 Child status: 0 Real time (s): 932.868 CPU time (s): 932.58 CPU user time (s): 930.678 CPU system time (s): 1.90271 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 29396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 930.678 system time used= 1.90271 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5011 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= 1686 runsolver used 1.59476 second user time and 4.35334 second system time The end
Begin job on node052 at 2010-06-16 17:30:06 IDJOB=2670405 IDBENCH=47919 IDSOLVER=1162 FILE ID=node052/2670405-1276702206 PBS_JOBID= 11174092 Free space on /tmp= 62504 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670405-1276702206/watcher-2670405-1276702206 -o /tmp/evaluation-result-2670405-1276702206/solver-2670405-1276702206 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670405-1276702206.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c4232b649086935e0cf725c77927c83f RANDOM SEED=1839235410 node052.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.262 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.52 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.262 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: 1880468 kB Buffers: 10032 kB Cached: 82732 kB SwapCached: 5940 kB Active: 69128 kB Inactive: 36288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1880468 kB SwapTotal: 4192956 kB SwapFree: 4140440 kB Dirty: 4020 kB Writeback: 0 kB AnonPages: 10868 kB Mapped: 13008 kB Slab: 51400 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181300 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-2670405-1276702206.opb Free space on /tmp at the end= 62500 MiB End job on node052 at 2010-06-16 17:45:41