Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 1094.36 | 1094.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=97-P1=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-B.opb |
MD5SUM | 44a2a8c9706392fba8f7dee35869ba61 |
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 | 13.7469 |
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 | 17 |
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 | 17 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 392 |
Sum of products size (including duplicates) | 784 |
Number of different products | 392 |
Sum of products size | 784 |
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-2670521-1276702334.opb 0.00/0.00 c File size is 29360 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 560 Constr: 809 392/0/417 Lit: 3409 Watch. Lit: 2106 0.00/0.00 c Obj. Vars: 7 (1.25 % 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 560 809 3409 4 2923 4596 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 3.39/3.46 c 100 560 999 10604 10 3323 5056 190 3448 0.03 3.39/3.46 c 250 560 1284 24378 18 4025 5562 475 4098 0.06 3.39/3.46 c 475 560 1729 44685 25 5079 6119 920 4481 0.11 3.39/3.46 c 813 560 2383 70849 29 6701 6731 1574 4467 0.18 3.39/3.46 c 1321 560 3335 108533 32 9073 7405 2526 4288 0.31 3.39/3.46 c 2084 560 4797 164194 34 12473 8146 3988 3550 0.59 3.39/3.46 c 3232 560 6954 268814 38 17506 8961 6145 3423 0.94 3.39/3.46 c 4954 560 5291 232391 43 12527 9858 4482 3137 1.58 3.39/3.46 c 7538 560 10096 421719 41 23539 10844 9287 2683 2.81 3.39/3.46 o 5 40.47/40.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.47/40.50 c 9126 560 7155 277066 38 17190 4610 6346 2636 3.46 40.47/40.50 c 9226 552 3304 124715 37 8469 5072 2495 2607 3.54 40.47/40.50 c 9477 524 3764 147095 39 9427 5580 2955 2631 3.60 40.47/40.50 c 9952 524 4673 187399 40 11717 6139 3864 2659 3.74 40.47/40.50 c 10765 524 6248 262081 41 15458 6753 5439 2695 3.99 40.47/40.50 c 12085 524 5111 204291 39 12637 7429 4302 2710 4.46 40.47/40.50 c 14166 524 4827 202176 41 11590 8172 4018 2692 5.26 40.47/40.50 c 17389 524 6540 288291 44 16558 8990 5731 2662 6.53 40.47/40.50 c 22325 524 6018 231180 38 14872 9890 5209 2588 8.63 40.47/40.50 c 29833 524 9342 411397 44 22185 10880 8533 2231 13.37 40.47/40.50 c 41194 524 7874 324444 41 19328 11969 7065 2047 20.12 40.47/40.50 c 58338 524 8213 376688 45 19521 13166 7404 1608 36.27 40.47/40.50 o 3 1094.27/1094.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1094.27/1094.67 c 66438 524 9715 412234 42 23546 4602 8906 1641 40.48 1094.27/1094.67 c 66538 505 3299 116466 35 8351 5063 2490 1640 40.56 1094.27/1094.67 c 66788 505 3780 139647 36 9577 5570 2971 1643 40.63 1094.27/1094.67 c 67265 505 4615 171520 37 11592 6128 3806 1647 40.83 1094.27/1094.67 c 68079 505 6115 233801 38 14986 6741 5306 1657 41.06 1094.27/1094.67 c 69399 505 4807 170456 35 11882 7416 3998 1672 41.49 1094.27/1094.67 c 71484 504 4774 182596 38 12263 8158 3965 1690 42.29 1094.27/1094.67 c 74707 504 6780 298460 44 16416 8974 5971 1708 43.74 1094.27/1094.67 c 79643 504 5984 226264 37 14824 9872 5175 1660 47.96 1094.27/1094.67 c 87151 504 9291 433876 46 23062 10860 8482 1607 54.23 1094.27/1094.67 c 98514 504 6475 267437 41 16136 11947 5666 1590 61.94 1094.27/1094.67 c 115658 504 6914 307425 44 17174 13142 6105 1461 79.13 1094.27/1094.67 c 141477 503 12886 512540 39 32074 14457 12077 1304 108.43 1094.27/1094.67 c 180309 494 11908 506356 42 29094 15903 11099 1221 147.62 1094.27/1094.67 c 238661 494 11048 485578 43 27460 17494 10239 1033 231.01 1094.27/1094.67 c 326293 486 13469 519675 38 33550 19244 12660 893 365.30 1094.27/1094.67 c 457845 486 12359 456572 36 30233 21169 11550 751 609.47 1094.27/1094.67 c 655277 485 13990 523401 37 33712 23286 13181 677 967.75 1094.27/1094.67 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 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 x64 x65 -x66 x67 -x68 -x69 x70 -x113 -x114 -x115 -x116 -x117 -x118 -x119 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 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x120 x121 -x122 x123 x124 x125 -x126 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 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x78 -x79 x80 -x81 -x82 -x83 -x84 -x127 -x128 -x129 -x130 -x131 -x132 -x133 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 -x361 -x362 -x363 -x364 x85 -x86 -x87 -x88 -x89 -x90 -x91 x134 x135 -x136 -x137 -x138 -x139 -x140 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 x92 -x93 x94 x95 -x96 -x97 x98 -x141 -x142 -x143 -x144 -x145 -x146 -x147 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 x99 -x100 -x101 -x102 -x103 -x104 -x105 x148 x149 -x150 -x151 -x152 -x153 -x154 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 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x106 x107 -x108 -x109 -x110 -x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 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 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x162 -x163 -x164 -x165 -x166 -x167 -x168 1094.27/1094.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1094.27/1094.67 c 39 717995 6956 743732 21254 715261 20445 656 1094.36 1094.27/1094.67 c Objective: 3 1094.27/1094.67 s OPTIMUM FOUND 1094.27/1094.67 c Total time: 1094.36 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-2670521-1276702334/watcher-2670521-1276702334 -o /tmp/evaluation-result-2670521-1276702334/solver-2670521-1276702334 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670521-1276702334.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.95 3/105 19668 /proc/meminfo: memFree=1758604/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=10924 CPUtime=0 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11524846 11186176 282 1992294400 134512640 137138936 4292670752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 2731 282 184 642 0 2087 0 [startup+0.03444 s] /proc/loadavg: 0.92 0.98 0.95 3/105 19668 /proc/meminfo: memFree=1758604/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=11056 CPUtime=0.03 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 418 0 0 0 3 0 0 0 20 0 1 0 11524846 11321344 329 1992294400 134512640 137138936 4292670752 18446744073709551615 134538749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 2764 329 192 642 0 2120 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11056 [startup+0.101448 s] /proc/loadavg: 0.92 0.98 0.95 3/105 19668 /proc/meminfo: memFree=1758604/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=11576 CPUtime=0.09 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 532 0 0 0 9 0 0 0 20 0 1 0 11524846 11853824 443 1992294400 134512640 137138936 4292670752 18446744073709551615 134598899 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 2894 444 192 642 0 2250 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11576 [startup+0.301472 s] /proc/loadavg: 0.92 0.98 0.95 3/105 19668 /proc/meminfo: memFree=1758604/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=12608 CPUtime=0.29 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 788 0 0 0 29 0 0 0 20 0 1 0 11524846 12910592 699 1992294400 134512640 137138936 4292670752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 3152 699 192 642 0 2508 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12608 [startup+0.701523 s] /proc/loadavg: 0.92 0.98 0.95 3/105 19668 /proc/meminfo: memFree=1758604/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=14024 CPUtime=0.69 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 1143 0 0 0 68 1 0 0 20 0 1 0 11524846 14360576 1054 1992294400 134512640 137138936 4292670752 18446744073709551615 136511170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 3506 1055 192 642 0 2862 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14024 [startup+1.50162 s] /proc/loadavg: 0.92 0.98 0.95 2/106 19669 /proc/meminfo: memFree=1754008/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=17356 CPUtime=1.49 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 1973 0 0 0 148 1 0 0 23 0 1 0 11524846 17772544 1884 1992294400 134512640 137138936 4292670752 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 4339 1884 192 642 0 3695 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17356 [startup+3.10182 s] /proc/loadavg: 0.92 0.98 0.95 2/106 19669 /proc/meminfo: memFree=1751652/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=17996 CPUtime=3.09 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 2144 0 0 0 307 2 0 0 25 0 1 0 11524846 18427904 2055 1992294400 134512640 137138936 4292670752 18446744073709551615 136501670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 4499 2055 192 642 0 3855 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17996 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.95 2/106 19671 /proc/meminfo: memFree=1749668/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=18992 CPUtime=6.28 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 2392 0 0 0 624 4 0 0 25 0 1 0 11524846 19447808 2303 1992294400 134512640 137138936 4292670752 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 4748 2303 192 642 0 4104 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18992 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.95 2/106 19672 /proc/meminfo: memFree=1749668/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=18992 CPUtime=12.68 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 2392 0 0 0 1262 6 0 0 25 0 1 0 11524846 19447808 2303 1992294400 134512640 137138936 4292670752 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 4748 2303 192 642 0 4104 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18992 [startup+25.5006 s] /proc/loadavg: 0.95 0.98 0.95 2/106 19672 /proc/meminfo: memFree=1749056/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=19732 CPUtime=25.47 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 2593 0 0 0 2538 9 0 0 25 0 1 0 11524846 20205568 2504 1992294400 134512640 137138936 4292670752 18446744073709551615 134601120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 4933 2504 192 642 0 4289 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 19732 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.95 2/106 19674 /proc/meminfo: memFree=1747940/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=20828 CPUtime=51.07 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 2866 0 0 0 5091 16 0 0 25 0 1 0 11524846 21327872 2777 1992294400 134512640 137138936 4292670752 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5207 2777 192 642 0 4563 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20828 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.95 2/106 19674 /proc/meminfo: memFree=1747940/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=20940 CPUtime=102.26 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 2881 0 0 0 10200 26 0 0 25 0 1 0 11524846 21442560 2792 1992294400 134512640 137138936 4292670752 18446744073709551615 134599686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5235 2792 192 642 0 4591 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20940 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19676 /proc/meminfo: memFree=1746700/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=22280 CPUtime=162.23 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 3219 0 0 0 16182 41 0 0 25 0 1 0 11524846 22814720 3130 1992294400 134512640 137138936 4292670752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5570 3130 192 642 0 4926 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 22280 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19678 /proc/meminfo: memFree=1746700/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=22276 CPUtime=222.22 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 3219 0 0 0 22171 51 0 0 25 0 1 0 11524846 22810624 3130 1992294400 134512640 137138936 4292670752 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5569 3130 192 642 0 4925 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 22276 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19680 /proc/meminfo: memFree=1745088/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=23880 CPUtime=282.2 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 3622 0 0 0 28156 64 0 0 25 0 1 0 11524846 24453120 3533 1992294400 134512640 137138936 4292670752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5970 3533 192 642 0 5326 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 23880 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19682 /proc/meminfo: memFree=1745088/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=23876 CPUtime=342.19 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 3622 0 0 0 34141 78 0 0 25 0 1 0 11524846 24449024 3533 1992294400 134512640 137138936 4292670752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5969 3533 192 642 0 5325 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 23876 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19682 /proc/meminfo: memFree=1745088/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=23876 CPUtime=402.16 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 3623 0 0 0 40128 88 0 0 25 0 1 0 11524846 24449024 3534 1992294400 134512640 137138936 4292670752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5969 3534 192 642 0 5325 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 23876 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.95 3/106 19684 /proc/meminfo: memFree=1745088/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=23876 CPUtime=462.15 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 3623 0 0 0 46116 99 0 0 25 0 1 0 11524846 24449024 3534 1992294400 134512640 137138936 4292670752 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5969 3534 192 642 0 5325 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 23876 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19686 /proc/meminfo: memFree=1745088/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=23876 CPUtime=522.13 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 3623 0 0 0 52104 109 0 0 25 0 1 0 11524846 24449024 3534 1992294400 134512640 137138936 4292670752 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5969 3534 192 642 0 5325 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 23876 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19688 /proc/meminfo: memFree=1745088/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=23872 CPUtime=582.12 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 3623 0 0 0 58093 119 0 0 25 0 1 0 11524846 24444928 3534 1992294400 134512640 137138936 4292670752 18446744073709551615 134618274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 5968 3534 192 642 0 5324 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 23872 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19690 /proc/meminfo: memFree=1743352/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=25800 CPUtime=642.11 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4107 0 0 0 64080 131 0 0 25 0 1 0 11524846 26419200 4018 1992294400 134512640 137138936 4292670752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6450 4018 192 642 0 5806 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 25800 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19690 /proc/meminfo: memFree=1742732/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26128 CPUtime=702.08 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4186 0 0 0 70065 143 0 0 25 0 1 0 11524846 26755072 4097 1992294400 134512640 137138936 4292670752 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6532 4097 192 642 0 5888 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 26128 [startup+762.309 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19692 /proc/meminfo: memFree=1742732/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26120 CPUtime=762.08 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4186 0 0 0 76055 153 0 0 25 0 1 0 11524846 26746880 4097 1992294400 134512640 137138936 4292670752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6530 4097 192 642 0 5886 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 26120 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19694 /proc/meminfo: memFree=1742732/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26120 CPUtime=822.05 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4186 0 0 0 82042 163 0 0 25 0 1 0 11524846 26746880 4097 1992294400 134512640 137138936 4292670752 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6530 4097 192 642 0 5886 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 26120 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19696 /proc/meminfo: memFree=1742732/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26120 CPUtime=882.03 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4186 0 0 0 88030 173 0 0 25 0 1 0 11524846 26746880 4097 1992294400 134512640 137138936 4292670752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6530 4097 192 642 0 5886 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 26120 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19698 /proc/meminfo: memFree=1742732/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26116 CPUtime=942.02 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4186 0 0 0 94018 184 0 0 25 0 1 0 11524846 26742784 4097 1992294400 134512640 137138936 4292670752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6529 4097 192 642 0 5885 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 26116 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19698 /proc/meminfo: memFree=1742608/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1002 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 100004 196 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 26124 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19700 /proc/meminfo: memFree=1742608/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1061.98 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 105993 205 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 26124 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19700 /proc/meminfo: memFree=1742608/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1074.78 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 107271 207 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1074.78 Current children cumulated vsize (KiB) 26124 [startup+1087.91 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19702 /proc/meminfo: memFree=1742484/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1087.59 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 108550 209 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1087.59 Current children cumulated vsize (KiB) 26124 [startup+1091.1 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19702 /proc/meminfo: memFree=1742484/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1090.79 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 108869 210 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1090.79 Current children cumulated vsize (KiB) 26124 [startup+1092.7 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19702 /proc/meminfo: memFree=1742484/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1092.38 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 109028 210 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1092.38 Current children cumulated vsize (KiB) 26124 [startup+1093.5 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19702 /proc/meminfo: memFree=1742484/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1093.17 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 109107 210 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1093.17 Current children cumulated vsize (KiB) 26124 [startup+1094.3 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19702 /proc/meminfo: memFree=1742484/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1093.97 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 109187 210 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1093.97 Current children cumulated vsize (KiB) 26124 [startup+1094.51 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19702 /proc/meminfo: memFree=1742484/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1094.18 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 109208 210 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1094.18 Current children cumulated vsize (KiB) 26124 [startup+1094.6 s] /proc/loadavg: 0.99 0.98 0.95 2/106 19702 /proc/meminfo: memFree=1742484/2059040 swapFree=4140536/4192956 [pid=19668] ppid=19666 vsize=26124 CPUtime=1094.27 /proc/19668/stat : 19668 (bsolo_pb10) R 19666 19668 19285 0 -1 4202496 4188 0 0 0 109217 210 0 0 25 0 1 0 11524846 26750976 4099 1992294400 134512640 137138936 4292670752 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19668/statm: 6531 4099 192 642 0 5887 0 Current children cumulated CPU time (s) 1094.27 Current children cumulated vsize (KiB) 26124 Child status: 0 Real time (s): 1094.68 CPU time (s): 1094.36 CPU user time (s): 1092.25 CPU system time (s): 2.11068 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 26132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1092.25 system time used= 2.11068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4189 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= 4116 runsolver used 1.9677 second user time and 5.01324 second system time The end
Begin job on node054 at 2010-06-16 17:32:14 IDJOB=2670521 IDBENCH=47977 IDSOLVER=1162 FILE ID=node054/2670521-1276702334 PBS_JOBID= 11174091 Free space on /tmp= 62480 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=97-P1=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670521-1276702334/watcher-2670521-1276702334 -o /tmp/evaluation-result-2670521-1276702334/solver-2670521-1276702334 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670521-1276702334.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 44a2a8c9706392fba8f7dee35869ba61 RANDOM SEED=909992215 node054.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.217 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.43 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.217 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1759636 kB Buffers: 94588 kB Cached: 123292 kB SwapCached: 6896 kB Active: 103700 kB Inactive: 128144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1759636 kB SwapTotal: 4192956 kB SwapFree: 4140536 kB Dirty: 3972 kB Writeback: 0 kB AnonPages: 11212 kB Mapped: 12916 kB Slab: 45996 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181360 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670521-1276702334.opb Free space on /tmp at the end= 62476 MiB End job on node054 at 2010-06-16 17:50:29