Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 552.708 | 552.985 |
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 | 9.1926 |
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-1877928-1245186293.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.004 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. 61.16/61.24 c 101 616 1019 9312 9 3454 5691 101 5050 0.02 61.16/61.24 c 251 616 1169 23535 20 3651 6261 251 5837 0.04 61.16/61.24 c 476 616 1394 36968 26 4125 6888 476 7323 0.07 61.16/61.24 c 815 616 1733 59317 34 4835 7577 815 7836 0.10 61.16/61.24 c 1324 616 2242 93726 41 5834 8335 1324 7653 0.17 61.16/61.24 c 2087 616 3005 138909 46 7354 9169 2087 6865 0.30 61.16/61.24 c 3233 616 4151 222117 53 9623 10086 3233 6693 0.48 61.16/61.24 c 4955 616 5873 342714 58 13028 11095 4955 6502 0.76 61.16/61.24 c 7541 616 8459 521962 61 18212 12205 7541 6096 1.24 61.16/61.24 c 11421 616 12339 769607 62 26041 13426 11421 4197 2.72 61.16/61.24 c 17244 616 11090 685101 61 23465 14769 10172 3945 4.37 61.16/61.24 c 25981 616 12129 692831 57 25528 16246 11211 2880 9.02 61.16/61.24 c 39094 616 17067 958645 56 35469 17871 16149 2143 18.24 61.16/61.24 c 58765 615 18427 1232182 66 38203 19659 17509 1527 38.48 61.16/61.24 o 129 104.14/104.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 104.14/104.27 c 82834 615 11984 751357 62 25277 5189 11066 1353 61.21 104.14/104.27 c 82935 615 3617 189209 52 8653 5708 2699 1352 61.31 104.14/104.27 c 83186 615 3868 209527 54 9087 6279 2950 1356 61.34 104.14/104.27 c 83661 615 4343 241435 55 10076 6907 3425 1361 61.43 104.14/104.27 c 84475 615 5157 298518 57 11703 7598 4239 1371 61.60 104.14/104.27 c 85795 615 6477 399477 61 14277 8358 5559 1388 61.80 104.14/104.27 c 87876 615 8558 538814 62 18508 9194 7640 1407 62.45 104.14/104.27 c 91100 615 6638 406317 61 14700 10114 5720 1444 63.09 104.14/104.27 c 96036 615 6281 370675 59 13932 11126 5363 1480 64.89 104.14/104.27 c 103542 615 8150 471578 57 17647 12239 7232 1473 70.28 104.14/104.27 c 114904 615 12947 809399 62 27206 13463 12029 1517 75.70 104.14/104.27 c 132048 615 9322 541456 58 19978 14810 8404 1534 86.05 104.14/104.27 o 9 142.02/142.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 142.02/142.18 c 157256 615 11885 752208 63 25131 5189 10967 1508 104.22 142.02/142.18 c 157356 605 3616 187239 51 8653 5708 2698 1508 104.30 142.02/142.18 c 157608 595 3868 203380 52 9050 6279 2950 1510 104.34 142.02/142.18 c 158084 595 4344 235004 54 9998 6907 3426 1513 104.42 142.02/142.18 c 158897 595 5157 290411 56 11631 7598 4239 1519 104.57 142.02/142.18 c 160218 595 6478 380751 58 14279 8358 5560 1526 104.95 142.02/142.18 c 162300 595 8560 517981 60 18422 9194 7642 1531 105.95 142.02/142.18 c 165524 595 7113 411090 57 15555 10114 6195 1538 107.57 142.02/142.18 c 170461 595 6419 386953 60 14223 11126 5501 1564 108.94 142.02/142.18 c 177967 595 7867 451760 57 17040 12239 6949 1585 112.23 142.02/142.18 c 189329 586 13027 784573 60 27442 13463 12109 1557 121.56 142.02/142.18 c 206474 586 8994 591253 65 19419 14810 8076 1565 131.93 142.02/142.18 o 3 552.62/552.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 552.62/552.98 c 228390 585 8333 494930 59 18054 5183 7415 1606 142.18 552.62/552.98 c 228490 542 3621 176946 48 8604 5702 2703 1606 142.24 552.62/552.98 c 228740 542 3871 194454 50 9123 6273 2953 1607 142.26 552.62/552.98 c 229216 542 4347 225072 51 10067 6901 3429 1610 142.35 552.62/552.98 c 230029 542 5160 284608 55 11747 7592 4242 1614 142.46 552.62/552.98 c 231350 542 6481 379683 58 14361 8352 5563 1621 142.71 552.62/552.98 c 233432 542 8563 538923 62 18517 9188 7645 1627 143.47 552.62/552.98 c 236655 542 6861 407838 59 15146 10107 5943 1639 144.38 552.62/552.98 c 241592 542 6447 372619 57 14284 11118 5529 1646 146.75 552.62/552.98 c 249098 542 8269 486679 58 17927 12230 7351 1632 152.55 552.62/552.98 c 260459 542 7047 395326 56 15479 13454 6129 1639 158.87 552.62/552.98 c 277603 542 10379 617398 59 22122 14800 9461 1568 177.00 552.62/552.98 c 303422 542 13312 874418 65 27974 16281 12394 1532 198.02 552.62/552.98 c 342255 542 10210 594511 58 21766 17910 9292 1482 230.94 552.62/552.98 c 400608 542 13005 775843 59 27359 19702 12087 1398 286.54 552.62/552.98 c 488242 539 19966 1198895 60 41319 21673 19048 1296 376.71 552.62/552.98 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 552.62/552.98 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 552.62/552.98 c 54 617223 5670 641134 15867 809515 14949 1116 552.70 552.62/552.98 c Objective: 3 552.62/552.98 s OPTIMUM FOUND 552.62/552.98 c Total time: 552.703 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-1877928-1245186293/watcher-1877928-1245186293 -o /tmp/evaluation-result-1877928-1245186293/solver-1877928-1245186293 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877928-1245186293.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 3/64 8012 /proc/meminfo: memFree=1834816/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=10744 CPUtime=0 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 186228576 11001856 243 1992294400 134512640 137136520 4294956256 18446744073709551615 134520635 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 2686 243 177 640 0 2033 0 [startup+0.0856941 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8012 /proc/meminfo: memFree=1834816/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=11484 CPUtime=0.08 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 488 0 0 0 8 0 0 0 18 0 1 0 186228576 11759616 463 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 2871 464 196 640 0 2227 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11484 [startup+0.101694 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8012 /proc/meminfo: memFree=1834816/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=11608 CPUtime=0.09 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 523 0 0 0 9 0 0 0 18 0 1 0 186228576 11886592 498 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 2902 498 196 640 0 2258 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11608 [startup+0.301724 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8012 /proc/meminfo: memFree=1834816/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=12860 CPUtime=0.29 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 813 0 0 0 29 0 0 0 19 0 1 0 186228576 13168640 788 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 3215 788 196 640 0 2571 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12860 [startup+0.701785 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8012 /proc/meminfo: memFree=1834816/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=15376 CPUtime=0.69 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 1452 0 0 0 69 0 0 0 23 0 1 0 186228576 15745024 1427 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 3844 1428 196 640 0 3200 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15376 [startup+1.50191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1827896/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=19152 CPUtime=1.49 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 2397 0 0 0 148 1 0 0 25 0 1 0 186228576 19611648 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 4788 2372 196 640 0 4144 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19152 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1824184/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=23296 CPUtime=3.09 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 3433 0 0 0 307 2 0 0 25 0 1 0 186228576 23855104 3408 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 5824 3408 196 640 0 5180 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23296 [startup+6.30164 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1820664/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=24300 CPUtime=6.29 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 3680 0 0 0 626 3 0 0 25 0 1 0 186228576 24883200 3655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 6075 3655 196 640 0 5431 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24300 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1819768/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=25180 CPUtime=12.68 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 3895 0 0 0 1264 4 0 0 25 0 1 0 186228576 25784320 3870 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 6295 3870 196 640 0 5651 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25180 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1817080/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=28060 CPUtime=25.48 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 4631 0 0 0 2540 8 0 0 25 0 1 0 186228576 28733440 4606 1992294400 134512640 137136520 4294956256 18446744073709551615 136503524 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7015 4606 196 640 0 6371 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28060 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1814264/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=30668 CPUtime=51.07 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5290 0 0 0 5095 12 0 0 25 0 1 0 186228576 31404032 5265 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7667 5265 196 640 0 7023 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30668 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1814136/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=30696 CPUtime=102.25 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5292 0 0 0 10202 23 0 0 25 0 1 0 186228576 31432704 5267 1992294400 134512640 137136520 4294956256 18446744073709551615 136509137 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7674 5267 197 640 0 7030 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 30696 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1814072/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=30696 CPUtime=162.21 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5292 0 0 0 16184 37 0 0 25 0 1 0 186228576 31432704 5267 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7674 5267 197 640 0 7030 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 30696 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1814008/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=30696 CPUtime=222.19 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5292 0 0 0 22170 49 0 0 25 0 1 0 186228576 31432704 5267 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7674 5267 197 640 0 7030 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 30696 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1814072/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=30696 CPUtime=282.16 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5292 0 0 0 28156 60 0 0 25 0 1 0 186228576 31432704 5267 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8012/statm: 7674 5267 197 640 0 7030 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 30696 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1814072/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=30696 CPUtime=342.12 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5292 0 0 0 34143 69 0 0 25 0 1 0 186228576 31432704 5267 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7674 5267 197 640 0 7030 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 30696 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813176/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31796 CPUtime=402.09 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 40131 78 0 0 25 0 1 0 186228576 32559104 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7949 5537 197 640 0 7305 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 31796 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813112/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31788 CPUtime=462.07 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 46121 86 0 0 25 0 1 0 186228576 32550912 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7947 5537 197 640 0 7303 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 31788 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813048/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31776 CPUtime=522.02 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 52110 92 0 0 25 0 1 0 186228576 32538624 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7944 5537 197 640 0 7300 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 31776 Solver just ended. Dumping a history of the last processes samples [startup+537.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813048/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31776 CPUtime=537.22 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 53628 94 0 0 25 0 1 0 186228576 32538624 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7944 5537 197 640 0 7300 0 Current children cumulated CPU time (s) 537.22 Current children cumulated vsize (KiB) 31776 [startup+543.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813048/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31776 CPUtime=543.62 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 54267 95 0 0 25 0 1 0 186228576 32538624 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7944 5537 197 640 0 7300 0 Current children cumulated CPU time (s) 543.62 Current children cumulated vsize (KiB) 31776 [startup+547.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813048/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31776 CPUtime=546.82 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 54587 95 0 0 25 0 1 0 186228576 32538624 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7944 5537 197 640 0 7300 0 Current children cumulated CPU time (s) 546.82 Current children cumulated vsize (KiB) 31776 [startup+550.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813048/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31776 CPUtime=550.01 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 54906 95 0 0 25 0 1 0 186228576 32538624 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7944 5537 197 640 0 7300 0 Current children cumulated CPU time (s) 550.01 Current children cumulated vsize (KiB) 31776 [startup+551.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813048/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31776 CPUtime=551.61 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 55066 95 0 0 25 0 1 0 186228576 32538624 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7944 5537 197 640 0 7300 0 Current children cumulated CPU time (s) 551.61 Current children cumulated vsize (KiB) 31776 [startup+552.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813048/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31776 CPUtime=552.41 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 55146 95 0 0 25 0 1 0 186228576 32538624 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7944 5537 197 640 0 7300 0 Current children cumulated CPU time (s) 552.41 Current children cumulated vsize (KiB) 31776 [startup+552.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8013 /proc/meminfo: memFree=1813048/2055920 swapFree=4191900/4192956 [pid=8012] ppid=8010 vsize=31776 CPUtime=552.62 /proc/8012/stat : 8012 (bsolo) R 8010 8012 6988 0 -1 4194304 5562 0 0 0 55166 96 0 0 25 0 1 0 186228576 32538624 5537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8012/statm: 7944 5537 197 640 0 7300 0 Current children cumulated CPU time (s) 552.62 Current children cumulated vsize (KiB) 31776 Child status: 0 Real time (s): 552.985 CPU time (s): 552.708 CPU user time (s): 551.742 CPU system time (s): 0.965853 CPU usage (%): 99.95 Max. virtual memory (cumulated for all children) (KiB): 31796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 551.742 system time used= 0.965853 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5564 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= 2014 runsolver used 0.528919 second user time and 1.48677 second system time The end
Begin job on node34 at 2009-06-16 23:04:53 IDJOB=1877928 IDBENCH=47908 IDSOLVER=700 FILE ID=node34/1877928-1245186293 PBS_JOBID= 9368277 Free space on /tmp= 66252 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=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877928-1245186293/watcher-1877928-1245186293 -o /tmp/evaluation-result-1877928-1245186293/solver-1877928-1245186293 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877928-1245186293.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3f50fdda997abfe5e5c5cddf7b7c1313 RANDOM SEED=769276708 node34.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.263 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.263 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1835360 kB Buffers: 44988 kB Cached: 102380 kB SwapCached: 260 kB Active: 49932 kB Inactive: 110684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835360 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 21816 kB Slab: 45960 kB Committed_AS: 181612 kB PageTables: 1384 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-1877928-1245186293.opb Free space on /tmp at the end= 66248 MiB End job on node34 at 2009-06-16 23:14:06