Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 905.37 | 905.588 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb |
MD5SUM | 2f50a7c4db6c104684b2cc399418ffd9 |
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.568912 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670744-1276705872.opb 0.00/0.00 c File size is 23753 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: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1.10/1.12 c 102 440 758 8178 10 2510 4060 102 5666 0.02 1.10/1.12 c 253 440 909 16933 18 2808 4467 253 7441 0.03 1.10/1.12 c 480 440 1136 29895 26 3268 4914 480 8275 0.06 1.10/1.12 c 819 440 1475 54962 37 3974 5406 819 8443 0.10 1.10/1.12 c 1327 440 1983 86921 43 4924 5947 1327 8293 0.16 1.10/1.12 c 2090 440 2746 134666 49 6484 6542 2090 7359 0.28 1.10/1.12 c 3236 440 3892 214301 55 8750 7197 3236 6755 0.48 1.10/1.12 c 4958 440 5614 323411 57 12209 7917 4958 5331 0.93 1.10/1.12 o 43 1.79/1.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.80 c 6097 440 6754 399672 59 14475 3706 6098 5438 1.12 1.79/1.80 c 6199 420 2612 127853 48 6265 4077 1956 5357 1.16 1.79/1.80 c 6455 420 2868 143571 50 6775 4485 2212 5410 1.19 1.79/1.80 c 6931 420 3344 171744 51 7717 4934 2688 5466 1.27 1.79/1.80 c 7745 420 4158 234735 56 9339 5428 3502 5532 1.40 1.79/1.80 c 9066 420 5479 321968 58 11995 5971 4823 5364 1.69 1.79/1.80 o 9 1.89/2.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/2.00 c 9662 420 6076 358471 58 13155 3702 5420 5349 1.81 1.89/2.00 c 9762 410 2610 125617 48 6215 4073 1954 5291 1.84 1.89/2.00 c 10013 410 2861 143678 50 6689 4481 2205 5331 1.88 1.89/2.00 c 10494 400 3342 175599 52 7703 4930 2686 5370 1.95 1.89/2.00 o 5 15.69/15.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.69/15.78 c 10770 400 3619 192159 53 8235 3698 2963 5390 2.00 15.69/15.78 c 10870 400 3719 198561 53 8340 4068 3063 5370 2.02 15.69/15.78 c 11120 400 3969 216636 54 8887 4475 3313 5335 2.08 15.69/15.78 c 11595 400 4444 248289 55 9862 4923 3788 5272 2.20 15.69/15.78 c 12408 400 5257 304189 57 11454 5416 4601 5295 2.34 15.69/15.78 c 13729 400 3531 188438 53 8037 5958 2875 5066 2.71 15.69/15.78 c 15811 400 5613 330343 58 12176 6554 4957 5085 3.11 15.69/15.78 c 19035 400 5294 303966 57 11553 7210 4638 4730 4.02 15.69/15.78 c 23971 390 6274 395115 62 13540 7932 5618 4071 5.89 15.69/15.78 c 31477 390 5105 294575 57 11131 8726 4449 3678 8.56 15.69/15.78 c 42838 390 7025 414232 58 15045 9599 6369 2959 14.48 15.69/15.78 o 3 905.27/905.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 905.27/905.58 c 48006 390 7196 423927 58 15367 3696 6540 3041 15.78 905.27/905.58 c 48106 381 2610 127174 48 6139 4066 1954 3038 15.83 905.27/905.58 c 48357 381 2861 148089 51 6727 4473 2205 3047 15.87 905.27/905.58 c 48834 381 3338 179141 53 7684 4921 2682 3064 15.94 905.27/905.58 c 49648 381 4152 236601 56 9288 5414 3496 3085 16.09 905.27/905.58 c 50968 381 5472 317443 58 11908 5956 4816 3128 16.29 905.27/905.58 c 53049 369 4358 239920 55 9719 6552 3702 3173 16.71 905.27/905.58 c 56274 369 3955 228725 57 8874 7208 3299 3237 17.38 905.27/905.58 c 61210 369 5014 288293 57 10978 7929 4358 3249 18.84 905.27/905.58 c 68717 369 8188 496184 60 17365 8722 7532 3128 21.97 905.27/905.58 c 80079 369 5377 336429 62 11694 9595 4721 3098 25.85 905.27/905.58 c 97223 369 7069 480761 68 15083 10555 6413 2962 32.82 905.27/905.58 c 123042 369 10437 627777 60 21870 11611 9781 2710 45.39 905.27/905.58 c 161875 369 6470 351298 54 13916 12773 5814 2285 70.83 905.27/905.58 c 220230 369 10753 638995 59 22509 14051 10097 1970 111.77 905.27/905.58 c 307862 369 9635 566238 58 20240 15457 8979 1718 179.12 905.27/905.58 c 439414 369 12087 762661 63 25073 17003 11431 1517 289.62 905.27/905.58 c 636847 366 15677 976334 62 32313 18704 15021 1337 475.99 905.27/905.58 c 933099 357 16637 926677 55 34275 20575 15981 1117 835.33 905.27/905.58 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 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x57 x58 -x59 x60 -x61 -x62 -x63 -x64 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 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 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 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 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x73 x74 -x75 -x76 x77 -x78 -x79 x80 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 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 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 905.27/905.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 905.27/905.58 c 48 975332 9407 1006216 17250 894987 16594 1077 905.37 905.27/905.58 c Objective: 3 905.27/905.58 s OPTIMUM FOUND 905.27/905.58 c Total time: 905.366 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-2670744-1276705872/watcher-2670744-1276705872 -o /tmp/evaluation-result-2670744-1276705872/solver-2670744-1276705872 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670744-1276705872.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.93 1.00 0.99 3/107 10785 /proc/meminfo: memFree=1744776/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=10924 CPUtime=0 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 44242941 11186176 284 1992294400 134512640 137138936 4291610096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 2731 284 185 642 0 2087 0 [startup+0.045467 s] /proc/loadavg: 0.93 1.00 0.99 3/107 10785 /proc/meminfo: memFree=1744776/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=11176 CPUtime=0.03 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 436 0 0 0 3 0 0 0 20 0 1 0 44242941 11444224 349 1992294400 134512640 137138936 4291610096 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 2794 349 190 642 0 2150 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11176 [startup+0.101473 s] /proc/loadavg: 0.93 1.00 0.99 3/107 10785 /proc/meminfo: memFree=1744776/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=11680 CPUtime=0.09 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 559 0 0 0 9 0 0 0 20 0 1 0 44242941 11960320 472 1992294400 134512640 137138936 4291610096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 2920 472 190 642 0 2276 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11680 [startup+0.30049 s] /proc/loadavg: 0.93 1.00 0.99 3/107 10785 /proc/meminfo: memFree=1744776/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=12944 CPUtime=0.29 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 868 0 0 0 28 1 0 0 20 0 1 0 44242941 13254656 781 1992294400 134512640 137138936 4291610096 18446744073709551615 134573039 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 3236 781 190 642 0 2592 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12944 [startup+0.700524 s] /proc/loadavg: 0.93 1.00 0.99 3/107 10785 /proc/meminfo: memFree=1744776/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=14840 CPUtime=0.69 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 1366 0 0 0 67 2 0 0 20 0 1 0 44242941 15196160 1279 1992294400 134512640 137138936 4291610096 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 3710 1279 190 642 0 3066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14840 [startup+1.5016 s] /proc/loadavg: 0.93 1.00 0.99 2/108 10786 /proc/meminfo: memFree=1739436/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=16612 CPUtime=1.49 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 1814 0 0 0 147 2 0 0 22 0 1 0 44242941 17010688 1727 1992294400 134512640 137138936 4291610096 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 4153 1727 191 642 0 3509 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16612 [startup+3.10174 s] /proc/loadavg: 0.93 1.00 0.99 2/108 10786 /proc/meminfo: memFree=1738444/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=16612 CPUtime=3.1 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 1814 0 0 0 306 4 0 0 25 0 1 0 44242941 17010688 1727 1992294400 134512640 137138936 4291610096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 4153 1727 191 642 0 3509 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 16612 [startup+6.30103 s] /proc/loadavg: 0.93 1.00 0.99 2/108 10786 /proc/meminfo: memFree=1736708/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=18632 CPUtime=6.29 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 2295 0 0 0 623 6 0 0 25 0 1 0 44242941 19079168 2208 1992294400 134512640 137138936 4291610096 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 4658 2208 191 642 0 4014 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18632 [startup+12.7016 s] /proc/loadavg: 0.94 1.00 0.99 2/108 10786 /proc/meminfo: memFree=1735716/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=19356 CPUtime=12.69 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 2478 0 0 0 1261 8 0 0 25 0 1 0 44242941 19820544 2391 1992294400 134512640 137138936 4291610096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 4839 2391 191 642 0 4195 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19356 [startup+25.5007 s] /proc/loadavg: 0.95 1.00 0.99 2/108 10786 /proc/meminfo: memFree=1734848/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=20216 CPUtime=25.49 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 2694 0 0 0 2535 14 0 0 25 0 1 0 44242941 20701184 2607 1992294400 134512640 137138936 4291610096 18446744073709551615 134618927 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 5054 2607 191 642 0 4410 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20216 [startup+51.101 s] /proc/loadavg: 0.97 1.00 0.99 2/108 10788 /proc/meminfo: memFree=1732988/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=21984 CPUtime=51.08 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 3142 0 0 0 5085 23 0 0 25 0 1 0 44242941 22511616 3055 1992294400 134512640 137138936 4291610096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 5496 3055 191 642 0 4852 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21984 [startup+102.309 s] /proc/loadavg: 0.98 1.00 0.99 2/108 10788 /proc/meminfo: memFree=1731376/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=23544 CPUtime=102.27 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 3532 0 0 0 10191 36 0 0 25 0 1 0 44242941 24109056 3445 1992294400 134512640 137138936 4291610096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 5886 3445 191 642 0 5242 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23544 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 10790 /proc/meminfo: memFree=1730384/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=24432 CPUtime=162.25 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 3760 0 0 0 16171 54 0 0 25 0 1 0 44242941 25018368 3673 1992294400 134512640 137138936 4291610096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 6108 3673 191 642 0 5464 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24432 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 10792 /proc/meminfo: memFree=1727904/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=26860 CPUtime=222.24 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4360 0 0 0 22153 71 0 0 25 0 1 0 44242941 27504640 4273 1992294400 134512640 137138936 4291610096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 6715 4273 191 642 0 6071 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 26860 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 10794 /proc/meminfo: memFree=1727160/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=27640 CPUtime=282.23 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4564 0 0 0 28136 87 0 0 25 0 1 0 44242941 28303360 4477 1992294400 134512640 137138936 4291610096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 6910 4477 191 642 0 6266 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 27640 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 10796 /proc/meminfo: memFree=1727160/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=27644 CPUtime=342.2 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4566 0 0 0 34118 102 0 0 25 0 1 0 44242941 28307456 4479 1992294400 134512640 137138936 4291610096 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 6911 4479 191 642 0 6267 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 27644 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 10796 /proc/meminfo: memFree=1727160/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=27644 CPUtime=402.2 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4566 0 0 0 40102 118 0 0 25 0 1 0 44242941 28307456 4479 1992294400 134512640 137138936 4291610096 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 6911 4479 191 642 0 6267 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 27644 [startup+462.301 s] /proc/loadavg: 1.04 1.01 1.00 2/108 10801 /proc/meminfo: memFree=1726416/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=27644 CPUtime=462.18 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4566 0 0 0 46087 131 0 0 25 0 1 0 44242941 28307456 4479 1992294400 134512640 137138936 4291610096 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 6911 4479 191 642 0 6267 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 27644 [startup+522.301 s] /proc/loadavg: 1.01 1.01 1.00 2/108 10803 /proc/meminfo: memFree=1725672/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28652 CPUtime=522.17 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4814 0 0 0 52073 144 0 0 25 0 1 0 44242941 29339648 4727 1992294400 134512640 137138936 4291610096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7163 4727 191 642 0 6519 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 28652 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10805 /proc/meminfo: memFree=1725424/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28908 CPUtime=582.15 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4885 0 0 0 58056 159 0 0 25 0 1 0 44242941 29601792 4798 1992294400 134512640 137138936 4291610096 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7227 4798 191 642 0 6583 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 28908 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10807 /proc/meminfo: memFree=1725424/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28908 CPUtime=642.14 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4885 0 0 0 64039 175 0 0 25 0 1 0 44242941 29601792 4798 1992294400 134512640 137138936 4291610096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7227 4798 191 642 0 6583 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 28908 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10807 /proc/meminfo: memFree=1725424/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28908 CPUtime=702.12 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4885 0 0 0 70023 189 0 0 25 0 1 0 44242941 29601792 4798 1992294400 134512640 137138936 4291610096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7227 4798 191 642 0 6583 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 28908 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10809 /proc/meminfo: memFree=1725300/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28908 CPUtime=762.12 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4885 0 0 0 76007 205 0 0 25 0 1 0 44242941 29601792 4798 1992294400 134512640 137138936 4291610096 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7227 4798 191 642 0 6583 0 Current children cumulated CPU time (s) 762.12 Current children cumulated vsize (KiB) 28908 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10811 /proc/meminfo: memFree=1725300/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28908 CPUtime=822.1 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4885 0 0 0 81992 218 0 0 25 0 1 0 44242941 29601792 4798 1992294400 134512640 137138936 4291610096 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7227 4798 191 642 0 6583 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 28908 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10813 /proc/meminfo: memFree=1725176/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28912 CPUtime=882.08 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4888 0 0 0 87978 230 0 0 25 0 1 0 44242941 29605888 4801 1992294400 134512640 137138936 4291610096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7228 4801 191 642 0 6584 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 28912 Solver just ended. Dumping a history of the last processes samples [startup+883.102 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10813 /proc/meminfo: memFree=1725176/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28912 CPUtime=882.88 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4888 0 0 0 88058 230 0 0 25 0 1 0 44242941 29605888 4801 1992294400 134512640 137138936 4291610096 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7228 4801 191 642 0 6584 0 Current children cumulated CPU time (s) 882.88 Current children cumulated vsize (KiB) 28912 [startup+895.901 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10813 /proc/meminfo: memFree=1725176/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28912 CPUtime=895.67 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4888 0 0 0 89335 232 0 0 25 0 1 0 44242941 29605888 4801 1992294400 134512640 137138936 4291610096 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7228 4801 191 642 0 6584 0 Current children cumulated CPU time (s) 895.67 Current children cumulated vsize (KiB) 28912 [startup+902.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10813 /proc/meminfo: memFree=1725176/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28912 CPUtime=902.08 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4888 0 0 0 89974 234 0 0 25 0 1 0 44242941 29605888 4801 1992294400 134512640 137138936 4291610096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7228 4801 191 642 0 6584 0 Current children cumulated CPU time (s) 902.08 Current children cumulated vsize (KiB) 28912 [startup+903.902 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10813 /proc/meminfo: memFree=1725176/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28912 CPUtime=903.67 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4888 0 0 0 90133 234 0 0 25 0 1 0 44242941 29605888 4801 1992294400 134512640 137138936 4291610096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7228 4801 191 642 0 6584 0 Current children cumulated CPU time (s) 903.67 Current children cumulated vsize (KiB) 28912 [startup+904.701 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10813 /proc/meminfo: memFree=1725176/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28912 CPUtime=904.47 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4888 0 0 0 90213 234 0 0 25 0 1 0 44242941 29605888 4801 1992294400 134512640 137138936 4291610096 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7228 4801 191 642 0 6584 0 Current children cumulated CPU time (s) 904.47 Current children cumulated vsize (KiB) 28912 [startup+905.101 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10813 /proc/meminfo: memFree=1725176/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28912 CPUtime=904.87 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4888 0 0 0 90253 234 0 0 25 0 1 0 44242941 29605888 4801 1992294400 134512640 137138936 4291610096 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7228 4801 191 642 0 6584 0 Current children cumulated CPU time (s) 904.87 Current children cumulated vsize (KiB) 28912 [startup+905.501 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10813 /proc/meminfo: memFree=1725176/2059040 swapFree=4140108/4192956 [pid=10785] ppid=10783 vsize=28912 CPUtime=905.27 /proc/10785/stat : 10785 (bsolo_pb10) R 10783 10785 10256 0 -1 4202496 4888 0 0 0 90293 234 0 0 25 0 1 0 44242941 29605888 4801 1992294400 134512640 137138936 4291610096 18446744073709551615 136505082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10785/statm: 7228 4801 191 642 0 6584 0 Current children cumulated CPU time (s) 905.27 Current children cumulated vsize (KiB) 28912 Child status: 0 Real time (s): 905.588 CPU time (s): 905.37 CPU user time (s): 903.019 CPU system time (s): 2.35164 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 28912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 903.019 system time used= 2.35164 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4889 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= 2276 runsolver used 1.42178 second user time and 4.35334 second system time The end
Begin job on node025 at 2010-06-16 18:31:12 IDJOB=2670744 IDBENCH=48088 IDSOLVER=1163 FILE ID=node025/2670744-1276705872 PBS_JOBID= 11174115 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670744-1276705872/watcher-2670744-1276705872 -o /tmp/evaluation-result-2670744-1276705872/solver-2670744-1276705872 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670744-1276705872.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2f50a7c4db6c104684b2cc399418ffd9 RANDOM SEED=264418803 node025.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.242 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1745552 kB Buffers: 103504 kB Cached: 119132 kB SwapCached: 7364 kB Active: 103060 kB Inactive: 134164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1745552 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 4016 kB Writeback: 0 kB AnonPages: 12100 kB Mapped: 12956 kB Slab: 54356 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181932 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-2670744-1276705872.opb Free space on /tmp at the end= 62576 MiB End job on node025 at 2010-06-16 18:46:18