Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 657.208 | 657.526 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb |
MD5SUM | 12f1f3305860fafcd361cd1c61e0d104 |
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 | 4.46032 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878037-1245188290.opb 0.00/0.00 c File size is 33487 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.003 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.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 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 0.39/0.45 c 105 616 1023 10303 10 3439 5691 105 5250 0.02 0.39/0.45 c 256 616 1174 19544 16 3744 6261 256 7314 0.04 0.39/0.45 c 481 616 1399 33851 24 4159 6888 481 8152 0.06 0.39/0.45 c 819 616 1737 56261 32 4868 7577 819 8190 0.10 0.39/0.45 c 1328 616 2246 87975 39 5858 8335 1328 8097 0.16 0.39/0.45 c 2092 616 3010 134326 44 7321 9169 2092 7164 0.29 0.39/0.45 o 205 49.27/49.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.27/49.39 c 2946 616 3865 182591 47 9070 5189 2947 6460 0.46 49.27/49.39 c 3046 616 3965 189603 47 9329 5708 3047 6453 0.47 49.27/49.39 c 3297 616 4216 207573 49 9859 6279 3298 6528 0.51 49.27/49.39 c 3772 616 4691 242618 51 10781 6907 3773 6664 0.57 49.27/49.39 c 4585 616 5504 290383 52 12379 7598 4586 5803 0.79 49.27/49.39 c 5905 616 6824 382604 56 14969 8358 5906 5829 1.01 49.27/49.39 c 7986 616 8905 524769 58 19099 9194 7987 4926 1.62 49.27/49.39 c 11210 616 7037 424812 60 15402 10114 6119 4540 2.47 49.27/49.39 c 16147 616 6445 342206 53 14208 11126 5527 4172 3.87 49.27/49.39 c 23655 616 8250 488258 59 17782 12239 7332 3725 6.35 49.27/49.39 c 35016 616 7235 365922 50 15763 13463 6317 3062 11.43 49.27/49.39 c 52160 616 10023 696753 69 21330 14810 9105 2790 18.69 49.27/49.39 c 77979 615 12304 772018 62 26045 16292 11386 2397 32.53 49.27/49.39 o 35 56.16/56.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.16/56.20 c 103183 615 11957 897922 75 25287 5189 11039 2089 49.37 56.16/56.20 c 103284 595 3616 215811 59 8639 5708 2698 2087 49.48 56.16/56.20 c 103534 595 3866 232772 60 9033 6279 2948 2090 49.52 56.16/56.20 c 104009 595 4341 265309 61 9988 6907 3423 2097 49.59 56.16/56.20 c 104822 595 5154 320173 62 11606 7598 4236 2105 49.79 56.16/56.20 c 106143 595 6475 409543 63 14279 8358 5557 2120 50.05 56.16/56.20 c 108224 595 8556 553992 64 18451 9194 7638 2124 50.95 56.16/56.20 c 111448 595 6948 416264 59 15262 10114 6030 2131 52.30 56.16/56.20 c 116384 595 6634 399889 60 14625 11126 5716 2103 55.33 56.16/56.20 o 5 171.62/171.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 171.62/171.74 c 120428 595 10679 677581 63 22799 5185 9761 2143 56.18 171.62/171.74 c 120532 575 3619 186718 51 8632 5704 2701 2142 56.26 171.62/171.74 c 120782 575 3869 203214 52 9165 6275 2951 2145 56.28 171.62/171.74 c 121258 575 4345 235546 54 10126 6903 3427 2151 56.36 171.62/171.74 c 122072 575 5159 289473 56 11734 7594 4241 2157 56.57 171.62/171.74 c 123393 575 6480 375179 57 14358 8354 5562 2166 56.96 171.62/171.74 c 125474 575 8561 506856 59 18542 9190 7643 2173 57.73 171.62/171.74 c 128699 575 6647 377151 56 14700 10110 5729 2197 58.56 171.62/171.74 c 133635 575 6374 360503 56 14083 11122 5456 2200 60.74 171.62/171.74 c 141141 565 7919 471964 59 17252 12235 7001 2233 63.18 171.62/171.74 c 152502 565 12748 779159 61 26905 13459 11830 2243 67.97 171.62/171.74 c 169647 565 9396 544428 57 20202 14805 8478 2046 82.91 171.62/171.74 c 195466 565 11535 736163 63 24404 16286 10617 2002 97.63 171.62/171.74 c 234298 564 17202 1060765 61 35771 17915 16284 1725 135.76 171.62/171.74 o 3 657.17/657.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 657.17/657.52 c 282857 561 10120 578991 57 21625 5179 9202 1647 171.67 657.17/657.52 c 282957 561 3625 168215 46 8626 5697 2707 1646 171.82 657.17/657.52 c 283208 540 3876 184102 47 9149 6267 2958 1648 171.85 657.17/657.52 c 283683 540 4351 217196 49 10075 6894 3433 1650 171.91 657.17/657.52 c 284496 540 5164 271835 52 11708 7584 4246 1653 172.06 657.17/657.52 c 285816 540 6484 359194 55 14321 8343 5566 1657 172.44 657.17/657.52 c 287897 540 8565 493624 57 18471 9178 7647 1662 173.20 657.17/657.52 c 291121 540 7069 402012 56 15480 10096 6151 1665 174.83 657.17/657.52 c 296057 540 6817 383727 56 14996 11106 5899 1663 178.02 657.17/657.52 c 303563 540 8658 504008 58 18707 12217 7740 1658 183.00 657.17/657.52 c 314924 540 7045 431610 61 15490 13439 6127 1673 188.16 657.17/657.52 c 332068 540 10303 606761 58 21970 14783 9385 1685 197.00 657.17/657.52 c 357887 540 13569 821790 60 28498 16262 12651 1610 222.18 657.17/657.52 c 396719 538 9735 604352 62 20836 17889 8817 1621 244.72 657.17/657.52 c 455072 535 12685 753277 59 26679 19678 11767 1509 301.51 657.17/657.52 c 542704 535 20252 1237066 61 41837 21646 19334 1375 394.47 657.17/657.52 c 674257 525 19093 1180828 61 39574 23811 18175 1205 559.30 657.17/657.52 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 657.17/657.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 657.17/657.52 c 59 757452 6511 787919 12230 538636 11312 1152 657.20 657.17/657.52 c Objective: 3 657.17/657.52 s OPTIMUM FOUND 657.17/657.52 c Total time: 657.203 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-1878037-1245188290/watcher-1878037-1245188290 -o /tmp/evaluation-result-1878037-1245188290/solver-1878037-1245188290 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878037-1245188290.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.09 1.03 0.94 3/65 28423 /proc/meminfo: memFree=1832064/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=10744 CPUtime=0 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 98250853 11001856 241 1992294400 134512640 137136520 4294956256 18446744073709551615 134600722 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 2686 241 176 640 0 2033 0 [startup+0.0931229 s] /proc/loadavg: 1.09 1.03 0.94 3/65 28423 /proc/meminfo: memFree=1832064/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=11600 CPUtime=0.08 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 503 0 0 0 8 0 0 0 18 0 1 0 98250853 11878400 478 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 2900 478 196 640 0 2256 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11600 [startup+0.101124 s] /proc/loadavg: 1.09 1.03 0.94 3/65 28423 /proc/meminfo: memFree=1832064/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=11600 CPUtime=0.09 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 518 0 0 0 9 0 0 0 18 0 1 0 98250853 11878400 493 1992294400 134512640 137136520 4294956256 18446744073709551615 134616822 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 2900 493 196 640 0 2256 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11600 [startup+0.30115 s] /proc/loadavg: 1.09 1.03 0.94 3/65 28423 /proc/meminfo: memFree=1832064/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=12744 CPUtime=0.29 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 807 0 0 0 29 0 0 0 19 0 1 0 98250853 13049856 782 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 3186 782 196 640 0 2542 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12744 [startup+0.701198 s] /proc/loadavg: 1.09 1.03 0.94 3/65 28423 /proc/meminfo: memFree=1832064/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=14764 CPUtime=0.69 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 1315 0 0 0 68 1 0 0 23 0 1 0 98250853 15118336 1290 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 3691 1290 197 640 0 3047 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14764 [startup+1.5013 s] /proc/loadavg: 1.09 1.03 0.94 2/66 28424 /proc/meminfo: memFree=1826040/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=18148 CPUtime=1.49 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 2145 0 0 0 147 2 0 0 25 0 1 0 98250853 18583552 2120 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 4537 2120 197 640 0 3893 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18148 [startup+3.1015 s] /proc/loadavg: 1.09 1.03 0.94 2/66 28424 /proc/meminfo: memFree=1822072/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=20180 CPUtime=3.09 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 2658 0 0 0 307 2 0 0 25 0 1 0 98250853 20664320 2633 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 5045 2633 197 640 0 4401 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20180 [startup+6.3019 s] /proc/loadavg: 1.08 1.03 0.94 2/66 28424 /proc/meminfo: memFree=1821048/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=21420 CPUtime=6.29 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 2958 0 0 0 625 4 0 0 25 0 1 0 98250853 21934080 2933 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 5355 2933 197 640 0 4711 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21420 [startup+12.7017 s] /proc/loadavg: 1.07 1.03 0.94 2/66 28424 /proc/meminfo: memFree=1819896/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=22248 CPUtime=12.69 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 3167 0 0 0 1264 5 0 0 25 0 1 0 98250853 22781952 3142 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 5562 3142 197 640 0 4918 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22248 [startup+25.5013 s] /proc/loadavg: 1.06 1.03 0.94 2/66 28424 /proc/meminfo: memFree=1814904/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=27380 CPUtime=25.48 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 4463 0 0 0 2540 8 0 0 25 0 1 0 98250853 28037120 4438 1992294400 134512640 137136520 4294956256 18446744073709551615 136502052 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 6845 4438 197 640 0 6201 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27380 [startup+51.1015 s] /proc/loadavg: 1.04 1.02 0.94 2/66 28424 /proc/meminfo: memFree=1813624/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=28728 CPUtime=51.08 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 4791 0 0 0 5092 16 0 0 25 0 1 0 98250853 29417472 4766 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 7182 4766 197 640 0 6538 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28728 [startup+102.306 s] /proc/loadavg: 1.01 1.02 0.94 2/66 28424 /proc/meminfo: memFree=1813496/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=28652 CPUtime=102.25 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 4791 0 0 0 10199 26 0 0 25 0 1 0 98250853 29339648 4762 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 7163 4762 197 640 0 6519 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 28652 [startup+162.302 s] /proc/loadavg: 1.00 1.01 0.94 2/66 28424 /proc/meminfo: memFree=1813432/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=28648 CPUtime=162.22 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 4792 0 0 0 16187 35 0 0 25 0 1 0 98250853 29335552 4761 1992294400 134512640 137136520 4294956256 18446744073709551615 134616504 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 7162 4761 197 640 0 6518 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 28648 [startup+222.302 s] /proc/loadavg: 1.00 1.01 0.94 2/66 28424 /proc/meminfo: memFree=1813112/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=28940 CPUtime=222.2 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 4868 0 0 0 22173 47 0 0 25 0 1 0 98250853 29634560 4834 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 7235 4834 197 640 0 6591 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 28940 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28424 /proc/meminfo: memFree=1813112/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=28768 CPUtime=282.17 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 4868 0 0 0 28161 56 0 0 25 0 1 0 98250853 29458432 4791 1992294400 134512640 137136520 4294956256 18446744073709551615 136295552 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 7192 4791 197 640 0 6548 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 28768 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28424 /proc/meminfo: memFree=1812088/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=30048 CPUtime=342.15 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 5177 0 0 0 34148 67 0 0 25 0 1 0 98250853 30769152 5100 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 7512 5100 197 640 0 6868 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 30048 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28424 /proc/meminfo: memFree=1810616/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=31496 CPUtime=402.13 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 5547 0 0 0 40137 76 0 0 25 0 1 0 98250853 32251904 5467 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 7874 5467 197 640 0 7230 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 31496 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28424 /proc/meminfo: memFree=1810168/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=31960 CPUtime=462.09 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 5660 0 0 0 46126 83 0 0 25 0 1 0 98250853 32727040 5580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 7990 5580 197 640 0 7346 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 31960 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28426 /proc/meminfo: memFree=1809912/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=31960 CPUtime=522.08 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 5660 0 0 0 52117 91 0 0 25 0 1 0 98250853 32727040 5580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 7990 5580 197 640 0 7346 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 31960 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28426 /proc/meminfo: memFree=1808440/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=33632 CPUtime=582.03 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 6079 0 0 0 58100 103 0 0 25 0 1 0 98250853 34439168 5999 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 8408 5999 197 640 0 7764 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 33632 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28426 /proc/meminfo: memFree=1808376/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=33628 CPUtime=641.99 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 6079 0 0 0 64089 110 0 0 25 0 1 0 98250853 34435072 5999 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 8407 5999 197 640 0 7763 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 33628 Solver just ended. Dumping a history of the last processes samples [startup+646.301 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28426 /proc/meminfo: memFree=1808248/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=33628 CPUtime=645.98 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 6079 0 0 0 64487 111 0 0 25 0 1 0 98250853 34435072 5999 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 8407 5999 197 640 0 7763 0 Current children cumulated CPU time (s) 645.98 Current children cumulated vsize (KiB) 33628 [startup+652.702 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28426 /proc/meminfo: memFree=1808248/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=33628 CPUtime=652.38 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 6079 0 0 0 65126 112 0 0 25 0 1 0 98250853 34435072 5999 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 8407 5999 197 640 0 7763 0 Current children cumulated CPU time (s) 652.38 Current children cumulated vsize (KiB) 33628 [startup+655.901 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28426 /proc/meminfo: memFree=1808248/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=33628 CPUtime=655.57 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 6079 0 0 0 65445 112 0 0 25 0 1 0 98250853 34435072 5999 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 8407 5999 197 640 0 7763 0 Current children cumulated CPU time (s) 655.57 Current children cumulated vsize (KiB) 33628 [startup+656.705 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28426 /proc/meminfo: memFree=1808248/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=33628 CPUtime=656.37 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 6079 0 0 0 65525 112 0 0 25 0 1 0 98250853 34435072 5999 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 8407 5999 197 640 0 7763 0 Current children cumulated CPU time (s) 656.37 Current children cumulated vsize (KiB) 33628 [startup+657.102 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28426 /proc/meminfo: memFree=1808248/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=33624 CPUtime=656.77 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 6079 0 0 0 65565 112 0 0 25 0 1 0 98250853 34430976 5999 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 8406 5999 197 640 0 7762 0 Current children cumulated CPU time (s) 656.77 Current children cumulated vsize (KiB) 33624 [startup+657.502 s] /proc/loadavg: 1.00 1.00 0.94 2/66 28426 /proc/meminfo: memFree=1808248/2055920 swapFree=4192812/4192956 [pid=28423] ppid=28421 vsize=33624 CPUtime=657.17 /proc/28423/stat : 28423 (bsolo) R 28421 28423 26968 0 -1 4194304 6079 0 0 0 65605 112 0 0 25 0 1 0 98250853 34430976 5999 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28423/statm: 8406 5999 197 640 0 7762 0 Current children cumulated CPU time (s) 657.17 Current children cumulated vsize (KiB) 33624 Child status: 0 Real time (s): 657.526 CPU time (s): 657.208 CPU user time (s): 656.075 CPU system time (s): 1.13283 CPU usage (%): 99.9516 Max. virtual memory (cumulated for all children) (KiB): 33632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 656.075 system time used= 1.13283 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6081 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= 2 involuntary context switches= 1886 runsolver used 0.744886 second user time and 1.55976 second system time The end
Begin job on node92 at 2009-06-16 23:38:10 IDJOB=1878037 IDBENCH=48017 IDSOLVER=700 FILE ID=node92/1878037-1245188290 PBS_JOBID= 9368275 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878037-1245188290/watcher-1878037-1245188290 -o /tmp/evaluation-result-1878037-1245188290/solver-1878037-1245188290 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878037-1245188290.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104 RANDOM SEED=1112055991 node92.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.233 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.233 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1832608 kB Buffers: 18928 kB Cached: 140392 kB SwapCached: 140 kB Active: 52416 kB Inactive: 120896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832608 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4052 kB Writeback: 0 kB Mapped: 23636 kB Slab: 35816 kB Committed_AS: 74736 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878037-1245188290.opb Free space on /tmp at the end= 66468 MiB End job on node92 at 2009-06-16 23:49:08