Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 3 | 1798.01 | 1798.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb |
MD5SUM | 616d60d0b9e17d59a77d69efb2609a49 |
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 | 7.55585 |
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 | 108 |
Total number of constraints | 9 |
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 | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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-1877924-1245186131.opb 0.00/0.00 c File size is 24020 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % of total variables) 0.00/0.00 c Pre-processing Time: 0.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 0.79/0.81 c 101 432 762 9936 13 2554 4058 101 5941 0.02 0.79/0.81 c 252 432 913 27133 29 2747 4464 252 6000 0.04 0.79/0.81 c 477 432 1138 45584 40 3163 4911 477 6625 0.07 0.79/0.81 c 815 432 1476 75068 50 3866 5403 815 6367 0.13 0.79/0.81 c 1324 432 1985 122698 61 4903 5944 1324 6396 0.21 0.79/0.81 c 2087 432 2748 183544 66 6399 6539 2087 6362 0.33 0.79/0.81 c 3234 432 3895 270621 69 8730 7193 3234 5966 0.54 0.79/0.81 o 19 13.68/13.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.68/13.79 c 4278 432 4940 351121 71 10846 3707 4279 5268 0.81 13.68/13.79 c 4379 411 2617 153524 58 6263 4078 1956 5206 0.84 13.68/13.79 c 4629 401 2867 176789 61 6706 4486 2206 5248 0.88 13.68/13.79 c 5104 401 3342 214731 64 7705 4935 2681 5114 1.00 13.68/13.79 c 5918 401 4156 277750 66 9320 5429 3495 4907 1.21 13.68/13.79 c 7238 401 5476 376584 68 11955 5972 4815 4232 1.71 13.68/13.79 c 9319 401 4456 287437 64 9878 6570 3795 3256 2.86 13.68/13.79 c 12543 388 4004 266253 66 9007 7228 3343 3273 3.83 13.68/13.79 c 17481 388 5198 342795 65 11397 7951 4537 2938 5.95 13.68/13.79 c 24987 388 8389 646618 77 17748 8747 7728 2784 8.97 13.68/13.79 c 36348 388 5641 385802 68 12309 9622 4980 2668 13.62 13.68/13.79 o 3 1797.96/1798.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.63 c 37460 388 6754 460275 68 14514 3699 6093 2716 13.79 1797.96/1798.63 c 37561 343 2617 140990 53 6265 4069 1956 2715 13.83 1797.96/1798.63 c 37811 343 2867 160768 56 6728 4476 2206 2725 13.87 1797.96/1798.63 c 38286 343 3342 198812 59 7701 4924 2681 2742 13.96 1797.96/1798.63 c 39100 343 4156 263007 63 9311 5417 3495 2761 14.16 1797.96/1798.63 c 40420 343 5476 387100 70 11969 5959 4815 2792 14.48 1797.96/1798.63 c 42501 343 4212 283926 67 9470 6555 3551 2845 14.94 1797.96/1798.63 c 45725 343 3947 245414 62 8900 7211 3286 2878 15.88 1797.96/1798.63 c 50661 343 5164 342356 66 11330 7933 4503 2838 17.85 1797.96/1798.63 c 58169 343 8343 578054 69 17686 8727 7682 2805 20.73 1797.96/1798.63 c 69530 343 5478 374228 68 11940 9600 4817 2686 25.88 1797.96/1798.63 c 86674 343 7305 552641 75 15574 10561 6644 2598 33.36 1797.96/1798.63 c 112493 343 10475 795077 75 21988 11618 9814 2179 51.62 1797.96/1798.63 c 151325 343 12197 955578 78 25356 12780 11536 1977 76.54 1797.96/1798.63 c 209678 343 9598 660528 68 20192 14059 8937 1717 122.05 1797.96/1798.63 c 297310 343 9015 714114 79 19038 15465 8354 1468 202.44 1797.96/1798.63 c 428863 343 11005 806131 73 22978 17012 10344 1403 305.49 1797.96/1798.63 c 626295 343 13368 969251 72 27766 18714 12707 1181 529.96 1797.96/1798.63 c 922547 343 18149 1410167 77 37318 20586 17488 1081 852.78 1797.96/1798.63 c 1367030 343 17180 1373722 79 35397 22645 16519 971 1407.67 1797.96/1798.63 c Resources Exceeded 1797.96/1798.63 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 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 -x120 -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 -x185 -x186 -x187 -x188 -x189 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 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 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 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 -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 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 -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 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1797.96/1798.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.63 c 38 1690228 14484 1727229 23608 1925341 22947 940 1798.00 1797.96/1798.63 c Objective: 3 1797.96/1798.63 s SATISFIABLE 1797.96/1798.63 c Total time: 1798 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-1877924-1245186131/watcher-1877924-1245186131 -o /tmp/evaluation-result-1877924-1245186131/solver-1877924-1245186131 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877924-1245186131.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.03 1.01 1.00 3/65 19300 /proc/meminfo: memFree=1857704/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=10708 CPUtime=0 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 283 0 0 0 0 0 0 0 20 0 1 0 186211837 10964992 261 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 2677 262 186 640 0 2033 0 [startup+0.103271 s] /proc/loadavg: 1.03 1.01 1.00 3/65 19300 /proc/meminfo: memFree=1857704/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=11600 CPUtime=0.1 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 512 0 0 0 10 0 0 0 20 0 1 0 186211837 11878400 490 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 2900 490 196 640 0 2256 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11600 [startup+0.20129 s] /proc/loadavg: 1.03 1.01 1.00 3/65 19300 /proc/meminfo: memFree=1857704/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=12480 CPUtime=0.19 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 711 0 0 0 19 0 0 0 21 0 1 0 186211837 12779520 689 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 3120 689 196 640 0 2476 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12480 [startup+0.301309 s] /proc/loadavg: 1.03 1.01 1.00 3/65 19300 /proc/meminfo: memFree=1857704/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=13104 CPUtime=0.29 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 883 0 0 0 29 0 0 0 22 0 1 0 186211837 13418496 861 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 3276 861 196 640 0 2632 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13104 [startup+0.701388 s] /proc/loadavg: 1.03 1.01 1.00 3/65 19300 /proc/meminfo: memFree=1857704/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=15240 CPUtime=0.69 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 1401 0 0 0 69 0 0 0 25 0 1 0 186211837 15605760 1379 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 3810 1379 196 640 0 3166 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15240 [startup+1.50155 s] /proc/loadavg: 1.03 1.01 1.00 2/66 19301 /proc/meminfo: memFree=1852448/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=15744 CPUtime=1.49 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 1542 0 0 0 149 0 0 0 25 0 1 0 186211837 16121856 1520 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 3936 1520 197 640 0 3292 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15744 [startup+3.10186 s] /proc/loadavg: 1.03 1.01 1.00 2/66 19301 /proc/meminfo: memFree=1850912/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=17504 CPUtime=3.09 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 1978 0 0 0 308 1 0 0 25 0 1 0 186211837 17924096 1956 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 4376 1956 197 640 0 3732 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17504 [startup+6.30149 s] /proc/loadavg: 1.11 1.03 1.01 2/66 19301 /proc/meminfo: memFree=1849120/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=18876 CPUtime=6.29 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 2332 0 0 0 627 2 0 0 25 0 1 0 186211837 19329024 2310 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 4719 2310 197 640 0 4075 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18876 [startup+12.7018 s] /proc/loadavg: 1.10 1.03 1.00 2/66 19301 /proc/meminfo: memFree=1846240/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=21608 CPUtime=12.69 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 3001 0 0 0 1265 4 0 0 25 0 1 0 186211837 22126592 2979 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 5402 2979 197 640 0 4758 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21608 [startup+25.5013 s] /proc/loadavg: 1.08 1.03 1.00 2/66 19301 /proc/meminfo: memFree=1846240/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=21604 CPUtime=25.48 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 3001 0 0 0 2541 7 0 0 25 0 1 0 186211837 22122496 2979 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 5401 2979 197 640 0 4757 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21604 [startup+51.1013 s] /proc/loadavg: 1.05 1.02 1.00 2/66 19301 /proc/meminfo: memFree=1844256/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=23480 CPUtime=51.07 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 3481 0 0 0 5094 13 0 0 25 0 1 0 186211837 24043520 3459 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 5870 3459 197 640 0 5226 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23480 [startup+102.301 s] /proc/loadavg: 1.02 1.02 1.00 2/66 19301 /proc/meminfo: memFree=1841504/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=26316 CPUtime=102.26 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 4188 0 0 0 10205 21 0 0 25 0 1 0 186211837 26947584 4166 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 6579 4166 197 640 0 5935 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 26316 [startup+162.301 s] /proc/loadavg: 1.01 1.01 1.00 2/66 19301 /proc/meminfo: memFree=1839648/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=28112 CPUtime=162.23 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 4633 0 0 0 16193 30 0 0 25 0 1 0 186211837 28786688 4610 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 7028 4610 197 640 0 6384 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 28112 [startup+222.306 s] /proc/loadavg: 1.00 1.01 1.00 2/66 19301 /proc/meminfo: memFree=1838112/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=29664 CPUtime=222.21 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 5021 0 0 0 22179 42 0 0 25 0 1 0 186211837 30375936 4998 1992294400 134512640 137136520 4294956256 18446744073709551615 136499654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 7416 4998 197 640 0 6772 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 29664 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1838048/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=29648 CPUtime=282.19 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 5021 0 0 0 28168 51 0 0 25 0 1 0 186211837 30359552 4998 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 7412 4998 197 640 0 6768 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 29648 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1836896/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=30832 CPUtime=342.17 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 5344 0 0 0 34156 61 0 0 25 0 1 0 186211837 31571968 5293 1992294400 134512640 137136520 4294956256 18446744073709551615 136502065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 7708 5293 197 640 0 7064 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 30832 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1836064/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=31584 CPUtime=402.15 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 5536 0 0 0 40146 69 0 0 25 0 1 0 186211837 32342016 5485 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 7896 5485 197 640 0 7252 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 31584 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1836064/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=31516 CPUtime=462.12 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 5536 0 0 0 46137 75 0 0 25 0 1 0 186211837 32272384 5478 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 7879 5478 197 640 0 7235 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 31516 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1836064/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=31512 CPUtime=522.11 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 5536 0 0 0 52128 83 0 0 25 0 1 0 186211837 32268288 5477 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 7878 5477 197 640 0 7234 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 31512 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1834080/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=33596 CPUtime=582.09 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 6044 0 0 0 58117 92 0 0 25 0 1 0 186211837 34402304 5985 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 8399 5985 197 640 0 7755 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 33596 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1834016/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=33592 CPUtime=642.06 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 6044 0 0 0 64107 99 0 0 25 0 1 0 186211837 34398208 5985 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 8398 5985 197 640 0 7754 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 33592 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1826080/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=41276 CPUtime=1061.92 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7978 0 0 0 106038 154 0 0 25 0 1 0 186211837 42266624 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10319 7916 197 640 0 9675 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 41276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826080/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=41276 CPUtime=1121.9 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7978 0 0 0 112027 163 0 0 25 0 1 0 186211837 42266624 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10319 7916 197 640 0 9675 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 41276 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826144/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=40972 CPUtime=1181.88 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7978 0 0 0 118017 171 0 0 25 0 1 0 186211837 41955328 7842 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10243 7842 197 640 0 9599 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 40972 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826336/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=40808 CPUtime=1241.85 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7978 0 0 0 124007 178 0 0 25 0 1 0 186211837 41787392 7801 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10202 7801 197 640 0 9558 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 40808 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826336/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=40804 CPUtime=1301.83 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7978 0 0 0 129996 187 0 0 25 0 1 0 186211837 41783296 7800 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10201 7800 197 640 0 9557 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 40804 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826400/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=40800 CPUtime=1361.81 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7978 0 0 0 135985 196 0 0 25 0 1 0 186211837 41779200 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10200 7799 197 640 0 9556 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 40800 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826656/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=40360 CPUtime=1421.8 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 141973 207 0 0 25 0 1 0 186211837 41328640 7689 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10090 7689 197 640 0 9446 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 40360 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826656/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=40352 CPUtime=1481.78 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 147963 215 0 0 25 0 1 0 186211837 41320448 7687 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10088 7687 197 640 0 9444 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 40352 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826720/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=40352 CPUtime=1541.76 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 153953 223 0 0 25 0 1 0 186211837 41320448 7687 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10088 7687 197 640 0 9444 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 40352 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826720/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=40352 CPUtime=1601.73 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 159943 230 0 0 25 0 1 0 186211837 41320448 7687 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10088 7687 197 640 0 9444 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 40352 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1826720/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=40352 CPUtime=1661.71 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 165934 237 0 0 25 0 1 0 186211837 41320448 7687 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 10088 7687 197 640 0 9444 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 40352 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1827872/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=39048 CPUtime=1721.69 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 171923 246 0 0 25 0 1 0 186211837 39985152 7361 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 9762 7361 197 640 0 9118 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 39048 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1827872/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=39044 CPUtime=1781.67 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 177914 253 0 0 25 0 1 0 186211837 39981056 7360 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 9761 7360 197 640 0 9117 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 39044 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1827872/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=39044 CPUtime=1791.37 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 178882 255 0 0 25 0 1 0 186211837 39981056 7360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 9761 7360 197 640 0 9117 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 39044 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1827872/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=39044 CPUtime=1794.57 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 179202 255 0 0 25 0 1 0 186211837 39981056 7360 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 9761 7360 197 640 0 9117 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 39044 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1827872/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=39044 CPUtime=1796.16 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 179361 255 0 0 25 0 1 0 186211837 39981056 7360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 9761 7360 197 640 0 9117 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 39044 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1827872/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=39044 CPUtime=1796.96 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 179441 255 0 0 25 0 1 0 186211837 39981056 7360 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 9761 7360 197 640 0 9117 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 39044 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1827872/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=39044 CPUtime=1797.76 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 179521 255 0 0 25 0 1 0 186211837 39981056 7360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 9761 7360 197 640 0 9117 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 39044 [startup+1798.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19301 /proc/meminfo: memFree=1827872/2055920 swapFree=4192812/4192956 [pid=19300] ppid=19298 vsize=39044 CPUtime=1797.96 /proc/19300/stat : 19300 (bsolo) R 19298 19300 18894 0 -1 4194304 7980 0 0 0 179541 255 0 0 25 0 1 0 186211837 39981056 7360 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19300/statm: 9761 7360 197 640 0 9117 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 39044 Child status: 0 Real time (s): 1798.64 CPU time (s): 1798.01 CPU user time (s): 1795.44 CPU system time (s): 2.56161 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 41276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.44 system time used= 2.56161 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7982 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= 3187 runsolver used 2.10168 second user time and 4.05238 second system time The end
Begin job on node77 at 2009-06-16 23:02:11 IDJOB=1877924 IDBENCH=47904 IDSOLVER=700 FILE ID=node77/1877924-1245186131 PBS_JOBID= 9363946 Free space on /tmp= 66320 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877924-1245186131/watcher-1877924-1245186131 -o /tmp/evaluation-result-1877924-1245186131/solver-1877924-1245186131 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877924-1245186131.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 616d60d0b9e17d59a77d69efb2609a49 RANDOM SEED=402614574 node77.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1858248 kB Buffers: 25516 kB Cached: 97224 kB SwapCached: 0 kB Active: 31708 kB Inactive: 104376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858248 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 23096 kB Slab: 47584 kB Committed_AS: 117216 kB PageTables: 1376 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-1877924-1245186131.opb Free space on /tmp at the end= 66316 MiB End job on node77 at 2009-06-16 23:32:10