Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 461.114 | 461.231 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb |
MD5SUM | 43e5891f3de726e47642c5b88db45e69 |
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.616906 |
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-2670431-1276702217.opb 0.00/0.00 c File size is 29361 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. 30.68/30.70 c 101 560 993 9177 9 3359 5056 184 3366 0.03 30.68/30.70 c 252 560 1288 20725 16 4085 5562 479 4131 0.06 30.68/30.70 c 477 560 1720 40912 23 5048 6119 911 4457 0.11 30.68/30.70 c 817 560 2344 70959 30 6423 6731 1535 4345 0.19 30.68/30.70 c 1325 560 3279 108213 33 8543 7405 2470 3943 0.34 30.68/30.70 c 2089 560 4658 170392 36 11811 8146 3849 3516 0.59 30.68/30.70 c 3236 560 6811 273614 40 16603 8961 6002 3464 0.93 30.68/30.70 c 4957 560 5291 211917 40 12565 9858 4482 2494 1.99 30.68/30.70 c 7541 560 10188 403388 39 23634 10844 9379 1987 3.79 30.68/30.70 c 11420 560 11596 484563 41 27106 11929 10787 2043 5.59 30.68/30.70 c 17242 560 10265 443643 43 24412 13122 9456 1902 9.06 30.68/30.70 c 25979 560 12963 583347 45 30891 14435 12154 1696 15.32 30.68/30.70 c 39091 560 14997 684904 45 34095 15879 14188 1468 26.62 30.68/30.70 o 3 461.08/461.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 461.08/461.22 c 45841 559 10996 478326 43 26552 4610 10187 1493 30.69 461.08/461.22 c 45941 550 3292 129294 39 8316 5072 2483 1491 30.80 461.08/461.22 c 46192 504 3743 152981 40 9237 5580 2934 1496 30.86 461.08/461.22 c 46667 504 4662 198755 42 11481 6139 3853 1505 31.00 461.08/461.22 c 47480 504 6180 268720 43 15393 6753 5371 1518 31.26 461.08/461.22 c 48801 504 4859 199639 41 12586 7429 4050 1538 31.72 461.08/461.22 c 50885 504 4546 185871 40 11629 8172 3737 1546 32.91 461.08/461.22 c 54108 504 5924 245457 41 14255 8990 5115 1568 34.49 461.08/461.22 c 59045 504 5314 192804 36 13517 9890 4505 1565 37.72 461.08/461.22 c 66552 504 8066 346510 42 19764 10880 7257 1533 43.39 461.08/461.22 c 77913 502 6262 247956 39 16040 11969 5453 1467 53.09 461.08/461.22 c 95057 502 6844 270320 39 17132 13166 6035 1458 65.17 461.08/461.22 c 120877 500 12319 505828 41 29767 14483 11510 1452 83.24 461.08/461.22 c 159709 500 9707 382599 39 24527 15932 8898 1280 124.68 461.08/461.22 c 218062 491 14259 541159 37 34036 17526 13450 1144 190.45 461.08/461.22 c 305694 490 9881 349342 35 24139 19279 9072 926 330.05 461.08/461.22 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 461.08/461.22 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 461.08/461.22 c 29 389929 4522 409084 13024 423808 12215 845 461.11 461.08/461.22 c Objective: 3 461.08/461.22 s OPTIMUM FOUND 461.08/461.22 c Total time: 461.111 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-2670431-1276702217/watcher-2670431-1276702217 -o /tmp/evaluation-result-2670431-1276702217/solver-2670431-1276702217 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670431-1276702217.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.01 0.95 3/106 16762 /proc/meminfo: memFree=1879332/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=10924 CPUtime=0 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11514135 11186176 283 1992294400 134512640 137138936 4294001488 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 2731 283 184 642 0 2087 0 [startup+0.106367 s] /proc/loadavg: 1.00 1.01 0.95 3/106 16762 /proc/meminfo: memFree=1879332/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=11568 CPUtime=0.1 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 528 0 0 0 10 0 0 0 20 0 1 0 11514135 11845632 439 1992294400 134512640 137138936 4294001488 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 2892 439 192 642 0 2248 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11568 [startup+0.201376 s] /proc/loadavg: 1.00 1.01 0.95 3/106 16762 /proc/meminfo: memFree=1879332/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=12076 CPUtime=0.19 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 660 0 0 0 19 0 0 0 20 0 1 0 11514135 12365824 571 1992294400 134512640 137138936 4294001488 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 3019 571 192 642 0 2375 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12076 [startup+0.301385 s] /proc/loadavg: 1.00 1.01 0.95 3/106 16762 /proc/meminfo: memFree=1879332/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=12468 CPUtime=0.29 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 764 0 0 0 29 0 0 0 20 0 1 0 11514135 12767232 675 1992294400 134512640 137138936 4294001488 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 3117 675 192 642 0 2473 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12468 [startup+0.70142 s] /proc/loadavg: 1.00 1.01 0.95 3/106 16762 /proc/meminfo: memFree=1879332/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=13880 CPUtime=0.7 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 1133 0 0 0 69 1 0 0 20 0 1 0 11514135 14213120 1044 1992294400 134512640 137138936 4294001488 18446744073709551615 134606852 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 3470 1044 192 642 0 2826 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 13880 [startup+1.50149 s] /proc/loadavg: 1.00 1.01 0.95 2/107 16763 /proc/meminfo: memFree=1874116/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=16472 CPUtime=1.49 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 1782 0 0 0 148 1 0 0 23 0 1 0 11514135 16867328 1693 1992294400 134512640 137138936 4294001488 18446744073709551615 134601058 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 4118 1693 192 642 0 3474 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16472 [startup+3.10163 s] /proc/loadavg: 1.00 1.01 0.95 2/107 16763 /proc/meminfo: memFree=1872256/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=17376 CPUtime=3.09 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 1992 0 0 0 307 2 0 0 25 0 1 0 11514135 17793024 1903 1992294400 134512640 137138936 4294001488 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 4344 1903 192 642 0 3700 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17376 [startup+6.30092 s] /proc/loadavg: 1.00 1.01 0.95 2/107 16763 /proc/meminfo: memFree=1871264/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=19420 CPUtime=6.29 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 2500 0 0 0 626 3 0 0 25 0 1 0 11514135 19886080 2411 1992294400 134512640 137138936 4294001488 18446744073709551615 136504262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 4855 2411 192 642 0 4211 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19420 [startup+12.7005 s] /proc/loadavg: 1.00 1.01 0.95 2/107 16763 /proc/meminfo: memFree=1868784/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=20952 CPUtime=12.68 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 2887 0 0 0 1263 5 0 0 25 0 1 0 11514135 21454848 2798 1992294400 134512640 137138936 4294001488 18446744073709551615 134606985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5238 2798 192 642 0 4594 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20952 [startup+25.5016 s] /proc/loadavg: 1.00 1.01 0.95 2/107 16765 /proc/meminfo: memFree=1868164/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=21708 CPUtime=25.49 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3083 0 0 0 2540 9 0 0 25 0 1 0 11514135 22228992 2994 1992294400 134512640 137138936 4294001488 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5427 2994 192 642 0 4783 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21708 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16765 /proc/meminfo: memFree=1866800/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=22980 CPUtime=51.08 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3395 0 0 0 5093 15 0 0 25 0 1 0 11514135 23531520 3306 1992294400 134512640 137138936 4294001488 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5745 3306 192 642 0 5101 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22980 [startup+102.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16767 /proc/meminfo: memFree=1866676/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=22976 CPUtime=102.27 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3395 0 0 0 10200 27 0 0 25 0 1 0 11514135 23527424 3306 1992294400 134512640 137138936 4294001488 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5744 3306 192 642 0 5100 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22976 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16770 /proc/meminfo: memFree=1865932/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=22976 CPUtime=162.25 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3395 0 0 0 16185 40 0 0 25 0 1 0 11514135 23527424 3306 1992294400 134512640 137138936 4294001488 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5744 3306 192 642 0 5100 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22976 [startup+222.308 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16772 /proc/meminfo: memFree=1865932/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=22980 CPUtime=222.24 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3397 0 0 0 22171 53 0 0 25 0 1 0 11514135 23531520 3308 1992294400 134512640 137138936 4294001488 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5745 3308 192 642 0 5101 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 22980 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16774 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23984 CPUtime=282.22 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3647 0 0 0 28155 67 0 0 25 0 1 0 11514135 24559616 3558 1992294400 134512640 137138936 4294001488 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5996 3558 192 642 0 5352 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23984 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16776 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23988 CPUtime=342.2 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 34140 80 0 0 25 0 1 0 11514135 24563712 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5997 3560 192 642 0 5353 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 23988 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23988 CPUtime=402.19 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 40127 92 0 0 25 0 1 0 11514135 24563712 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5997 3560 192 642 0 5353 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 23988 Solver just ended. Dumping a history of the last processes samples [startup+409.601 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23988 CPUtime=409.49 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 40855 94 0 0 25 0 1 0 11514135 24563712 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5997 3560 192 642 0 5353 0 Current children cumulated CPU time (s) 409.49 Current children cumulated vsize (KiB) 23988 [startup+435.201 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23988 CPUtime=435.09 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 43410 99 0 0 25 0 1 0 11514135 24563712 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5997 3560 192 642 0 5353 0 Current children cumulated CPU time (s) 435.09 Current children cumulated vsize (KiB) 23988 [startup+448.001 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23988 CPUtime=447.88 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 44687 101 0 0 25 0 1 0 11514135 24563712 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5997 3560 192 642 0 5353 0 Current children cumulated CPU time (s) 447.88 Current children cumulated vsize (KiB) 23988 [startup+454.409 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23984 CPUtime=454.28 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 45325 103 0 0 25 0 1 0 11514135 24559616 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5996 3560 192 642 0 5352 0 Current children cumulated CPU time (s) 454.28 Current children cumulated vsize (KiB) 23984 [startup+457.601 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23984 CPUtime=457.48 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 45644 104 0 0 25 0 1 0 11514135 24559616 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5996 3560 192 642 0 5352 0 Current children cumulated CPU time (s) 457.48 Current children cumulated vsize (KiB) 23984 [startup+459.201 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23984 CPUtime=459.07 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 45803 104 0 0 25 0 1 0 11514135 24559616 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5996 3560 192 642 0 5352 0 Current children cumulated CPU time (s) 459.07 Current children cumulated vsize (KiB) 23984 [startup+460.001 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23984 CPUtime=459.87 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 45883 104 0 0 25 0 1 0 11514135 24559616 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5996 3560 192 642 0 5352 0 Current children cumulated CPU time (s) 459.87 Current children cumulated vsize (KiB) 23984 [startup+460.801 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23984 CPUtime=460.68 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 45963 105 0 0 25 0 1 0 11514135 24559616 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5996 3560 192 642 0 5352 0 Current children cumulated CPU time (s) 460.68 Current children cumulated vsize (KiB) 23984 [startup+461.201 s] /proc/loadavg: 1.00 1.00 0.95 2/107 16778 /proc/meminfo: memFree=1865188/2059040 swapFree=4140140/4192956 [pid=16762] ppid=16760 vsize=23984 CPUtime=461.08 /proc/16762/stat : 16762 (bsolo_pb10) R 16760 16762 16461 0 -1 4202496 3649 0 0 0 46003 105 0 0 25 0 1 0 11514135 24559616 3560 1992294400 134512640 137138936 4294001488 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16762/statm: 5996 3560 192 642 0 5352 0 Current children cumulated CPU time (s) 461.08 Current children cumulated vsize (KiB) 23984 Child status: 0 Real time (s): 461.231 CPU time (s): 461.114 CPU user time (s): 460.06 CPU system time (s): 1.05384 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 23988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 460.06 system time used= 1.05384 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3650 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= 1240 runsolver used 0.6559 second user time and 2.29165 second system time The end
Begin job on node043 at 2010-06-16 17:30:17 IDJOB=2670431 IDBENCH=47932 IDSOLVER=1162 FILE ID=node043/2670431-1276702217 PBS_JOBID= 11174100 Free space on /tmp= 62296 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=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670431-1276702217/watcher-2670431-1276702217 -o /tmp/evaluation-result-2670431-1276702217/solver-2670431-1276702217 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670431-1276702217.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 43e5891f3de726e47642c5b88db45e69 RANDOM SEED=1819715261 node043.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.241 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.48 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.241 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.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1880108 kB Buffers: 10628 kB Cached: 85348 kB SwapCached: 5560 kB Active: 83556 kB Inactive: 24720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1880108 kB SwapTotal: 4192956 kB SwapFree: 4140140 kB Dirty: 3972 kB Writeback: 0 kB AnonPages: 10884 kB Mapped: 13008 kB Slab: 48856 kB PageTables: 4112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183604 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-2670431-1276702217.opb Free space on /tmp at the end= 62292 MiB End job on node043 at 2010-06-16 17:37:59