Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 206.887 | 206.942 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb |
MD5SUM | 1cc97335e4341ed075b6e9adcc382d23 |
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 | 2.68759 |
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 | 96 |
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 | 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) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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-1878024-1245187915.opb 0.00/0.00 c File size is 18984 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.002 s 0.00/0.00 c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 100.86/100.95 c 101 352 626 8249 13 2060 3244 101 6733 0.01 100.86/100.95 c 251 352 776 21163 27 2342 3569 251 7606 0.03 100.86/100.95 c 476 352 1001 35866 35 2793 3926 476 8654 0.06 100.86/100.95 c 815 352 1340 58480 43 3503 4319 815 8578 0.10 100.86/100.95 c 1324 352 1849 96206 52 4519 4751 1324 8275 0.16 100.86/100.95 c 2087 352 2612 143161 54 6011 5227 2087 8057 0.26 100.86/100.95 c 3233 352 3758 213057 56 8290 5750 3233 6967 0.46 100.86/100.95 c 4955 352 5480 314835 57 11711 6326 4955 5368 0.92 100.86/100.95 c 7540 352 4844 255532 52 10437 6959 4319 4023 1.87 100.86/100.95 c 11420 352 5181 276342 53 11140 7655 4656 3602 3.17 100.86/100.95 c 17242 352 7115 385991 54 15022 8421 6590 3237 5.33 100.86/100.95 c 25979 352 7195 435354 60 15148 9264 6670 3186 8.15 100.86/100.95 c 39089 352 5865 321195 54 12476 10191 5340 2983 13.10 100.86/100.95 c 58760 352 9485 582901 61 19719 11211 8960 2615 22.46 100.86/100.95 c 88270 352 9881 591692 59 20536 12333 9356 2377 37.12 100.86/100.95 c 132542 352 8948 559439 62 18657 13567 8423 2014 65.78 100.86/100.95 o 9 101.17/101.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.17/101.24 c 186610 351 13440 784921 58 27617 2965 12915 1849 100.92 101.17/101.24 c 186711 332 2111 104414 49 5032 3262 1586 1848 101.02 101.17/101.24 c 186962 332 2362 122592 51 5498 3589 1837 1850 101.05 101.17/101.24 c 187438 332 2838 155790 54 6454 3948 2313 1853 101.12 101.17/101.24 o 5 103.66/103.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.66/103.79 c 187879 332 3280 186354 56 7363 2961 2755 1856 101.22 103.66/103.79 c 187980 332 3381 193102 57 7563 3258 2856 1856 101.25 103.66/103.79 c 188230 332 3631 209540 57 8047 3584 3106 1857 101.33 103.66/103.79 c 188705 332 4106 239879 58 8980 3943 3581 1860 101.45 103.66/103.79 c 189519 332 2863 156408 54 6466 4338 2338 1863 101.69 103.66/103.79 c 190839 332 4183 242766 58 9117 4772 3658 1868 102.16 103.66/103.79 c 192921 301 3787 221286 58 8342 5250 3262 1876 102.82 103.66/103.79 o 3 206.84/206.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 206.84/206.93 c 195737 301 3857 220846 57 8541 2955 3332 1886 103.77 206.84/206.93 c 195837 280 2110 99061 46 4968 3251 1585 1886 103.80 206.84/206.93 c 196087 280 2360 115260 48 5513 3577 1835 1888 103.85 206.84/206.93 c 196562 280 2835 147070 51 6468 3935 2310 1890 103.96 206.84/206.93 c 197375 280 3648 199243 54 8025 4329 3123 1894 104.19 206.84/206.93 c 198695 280 2703 140871 52 6160 4762 2178 1898 104.65 206.84/206.93 c 200777 280 4785 276470 57 10343 5239 4260 1907 105.25 206.84/206.93 c 204001 280 5279 305795 57 11296 5763 4754 1916 106.42 206.84/206.93 c 208937 280 4023 223000 55 8832 6340 3498 1935 107.96 206.84/206.93 c 216444 280 4634 280985 60 10065 6975 4109 1963 110.22 206.84/206.93 c 227806 280 4675 264391 56 10131 7673 4150 1996 114.11 206.84/206.93 c 244950 280 5738 346827 60 12281 8441 5213 2046 119.71 206.84/206.93 c 270770 280 5202 289901 55 11188 9286 4677 2051 132.01 206.84/206.93 c 309602 280 9772 575856 58 20320 10215 9247 2046 151.26 206.84/206.93 c 367954 279 10008 592439 59 20800 11237 9483 2026 181.55 206.84/206.93 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 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -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 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 -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 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 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 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -x352 x89 -x90 x91 x92 -x93 -x94 -x95 -x96 206.84/206.93 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 206.84/206.93 c 42 408593 4092 423678 10471 607261 9946 1975 206.88 206.84/206.93 c Objective: 3 206.84/206.93 s OPTIMUM FOUND 206.84/206.93 c Total time: 206.882 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-1878024-1245187915/watcher-1878024-1245187915 -o /tmp/evaluation-result-1878024-1245187915/solver-1878024-1245187915 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878024-1245187915.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2862 /proc/meminfo: memFree=1923048/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=10712 CPUtime=0 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 186390098 10969088 264 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 2678 264 189 640 0 2034 0 [startup+0.019827 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2862 /proc/meminfo: memFree=1923048/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=10844 CPUtime=0.01 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 323 0 0 0 1 0 0 0 20 0 1 0 186390098 11104256 302 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 2711 302 196 640 0 2067 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10844 [startup+0.101836 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2862 /proc/meminfo: memFree=1923048/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=11612 CPUtime=0.09 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 505 0 0 0 9 0 0 0 20 0 1 0 186390098 11890688 484 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 2903 484 196 640 0 2259 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11612 [startup+0.301858 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2862 /proc/meminfo: memFree=1923048/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=13016 CPUtime=0.29 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 842 0 0 0 29 0 0 0 22 0 1 0 186390098 13328384 821 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 3254 821 196 640 0 2610 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13016 [startup+0.701903 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2862 /proc/meminfo: memFree=1923048/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=14552 CPUtime=0.69 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 1253 0 0 0 69 0 0 0 25 0 1 0 186390098 14901248 1232 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 3638 1232 196 640 0 2994 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14552 [startup+1.50199 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1918048/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=16472 CPUtime=1.49 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 1715 0 0 0 148 1 0 0 25 0 1 0 186390098 16867328 1694 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 4118 1694 196 640 0 3474 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16472 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1916768/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=16844 CPUtime=3.09 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 1818 0 0 0 307 2 0 0 25 0 1 0 186390098 17248256 1797 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 4211 1797 196 640 0 3567 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16844 [startup+6.30154 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1915752/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=18100 CPUtime=6.29 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 2120 0 0 0 626 3 0 0 25 0 1 0 186390098 18534400 2099 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 4525 2099 196 640 0 3881 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18100 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1913456/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=19628 CPUtime=12.69 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 2518 0 0 0 1264 5 0 0 25 0 1 0 186390098 20099072 2497 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 4907 2497 196 640 0 4263 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19628 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1911408/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=21756 CPUtime=25.49 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3038 0 0 0 2541 8 0 0 25 0 1 0 186390098 22278144 3017 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5439 3017 196 640 0 4795 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21756 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909552/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23632 CPUtime=51.08 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3508 0 0 0 5096 12 0 0 25 0 1 0 186390098 24199168 3487 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5908 3487 196 640 0 5264 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23632 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23976 CPUtime=102.27 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 10207 20 0 0 25 0 1 0 186390098 24551424 3576 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5994 3576 197 640 0 5350 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23976 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23800 CPUtime=162.24 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 16189 35 0 0 25 0 1 0 186390098 24371200 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5950 3549 197 640 0 5306 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 23800 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23800 CPUtime=179.04 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 17865 39 0 0 25 0 1 0 186390098 24371200 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5950 3549 197 640 0 5306 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 23800 [startup+191.903 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23800 CPUtime=191.84 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 19142 42 0 0 25 0 1 0 186390098 24371200 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5950 3549 197 640 0 5306 0 Current children cumulated CPU time (s) 191.84 Current children cumulated vsize (KiB) 23800 [startup+198.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23800 CPUtime=198.23 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 19780 43 0 0 25 0 1 0 186390098 24371200 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5950 3549 197 640 0 5306 0 Current children cumulated CPU time (s) 198.23 Current children cumulated vsize (KiB) 23800 [startup+201.502 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23800 CPUtime=201.43 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 20099 44 0 0 25 0 1 0 186390098 24371200 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5950 3549 197 640 0 5306 0 Current children cumulated CPU time (s) 201.43 Current children cumulated vsize (KiB) 23800 [startup+204.702 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23800 CPUtime=204.64 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 20419 45 0 0 25 0 1 0 186390098 24371200 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5950 3549 197 640 0 5306 0 Current children cumulated CPU time (s) 204.64 Current children cumulated vsize (KiB) 23800 [startup+206.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23800 CPUtime=206.23 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 20578 45 0 0 25 0 1 0 186390098 24371200 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5950 3549 197 640 0 5306 0 Current children cumulated CPU time (s) 206.23 Current children cumulated vsize (KiB) 23800 [startup+206.701 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23800 CPUtime=206.64 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 20618 46 0 0 25 0 1 0 186390098 24371200 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5950 3549 197 640 0 5306 0 Current children cumulated CPU time (s) 206.64 Current children cumulated vsize (KiB) 23800 [startup+206.901 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2863 /proc/meminfo: memFree=1909168/2055920 swapFree=4182240/4192956 [pid=2862] ppid=2860 vsize=23800 CPUtime=206.84 /proc/2862/stat : 2862 (bsolo) R 2860 2862 2399 0 -1 4194304 3597 0 0 0 20638 46 0 0 25 0 1 0 186390098 24371200 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2862/statm: 5950 3549 197 640 0 5306 0 Current children cumulated CPU time (s) 206.84 Current children cumulated vsize (KiB) 23800 Child status: 0 Real time (s): 206.942 CPU time (s): 206.887 CPU user time (s): 206.423 CPU system time (s): 0.463929 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 23976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 206.423 system time used= 0.463929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3599 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= 214 runsolver used 0.237963 second user time and 0.499924 second system time The end
Begin job on node85 at 2009-06-16 23:31:55 IDJOB=1878024 IDBENCH=48004 IDSOLVER=700 FILE ID=node85/1878024-1245187915 PBS_JOBID= 9363922 Free space on /tmp= 126844 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-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-1878024-1245187915/watcher-1878024-1245187915 -o /tmp/evaluation-result-1878024-1245187915/solver-1878024-1245187915 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878024-1245187915.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1cc97335e4341ed075b6e9adcc382d23 RANDOM SEED=363098181 node85.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.213 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 : 5931.00 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.213 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: 1923592 kB Buffers: 7928 kB Cached: 52284 kB SwapCached: 6224 kB Active: 51924 kB Inactive: 17488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1923592 kB SwapTotal: 4192956 kB SwapFree: 4182240 kB Dirty: 3968 kB Writeback: 0 kB Mapped: 13712 kB Slab: 48880 kB Committed_AS: 73692 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-1878024-1245187915.opb Free space on /tmp at the end= 126840 MiB End job on node85 at 2009-06-16 23:35:22