Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.01 | 1798.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb |
MD5SUM | 74c00e33b4232d137ad873ae982593f6 |
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 | 5.18821 |
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: Generic Pseudo-Boolean 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-1879504-1245244410.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.006 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. 27.98/28.08 c 100 352 721 15422 21 5489 3244 196 3571 0.03 27.98/28.08 c 252 352 1009 36452 36 9350 3569 484 2709 0.09 27.98/28.08 c 477 352 1450 67078 46 19876 3926 925 2293 0.21 27.98/28.08 c 816 352 2078 109419 52 28789 4319 1553 1920 0.42 27.98/28.08 c 1324 352 2988 187985 62 37229 4751 2463 1159 1.14 27.98/28.08 c 2087 352 4443 302819 68 64500 5227 3918 879 2.37 27.98/28.08 c 3233 352 3814 245006 64 41537 5750 3289 586 5.52 27.98/28.08 c 4955 352 4003 246596 61 31815 6326 3478 514 9.63 27.98/28.08 c 7540 352 5732 329999 57 56860 6959 5207 427 17.64 27.98/28.08 o 91 76.77/76.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 76.77/76.88 c 10748 352 4221 262039 62 43144 2965 3696 382 28.07 76.77/76.88 c 10848 352 2206 118076 53 18321 3262 1681 384 28.18 76.77/76.88 c 11099 352 2619 144514 55 23147 3589 2094 390 28.42 76.77/76.88 c 11574 352 3522 202720 57 34778 3948 2997 399 28.96 76.77/76.88 c 12388 352 3047 164784 54 31576 4343 2522 406 30.48 76.77/76.88 c 13708 352 3101 191833 61 37645 4778 2576 417 32.80 76.77/76.88 c 15790 352 4582 262142 57 50046 5256 4057 417 37.82 76.77/76.88 c 19014 352 5348 306667 57 66097 5782 4823 365 52.02 76.77/76.88 c 23950 342 5238 310538 59 70572 6361 4713 321 74.38 76.77/76.88 o 5 94.36/94.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 94.36/94.40 c 25201 342 3873 236150 60 37283 2963 3348 327 76.86 94.36/94.40 c 25302 302 2137 115802 54 17435 3260 1612 326 77.52 94.36/94.40 c 25553 302 2604 147520 56 21300 3587 2079 328 77.75 94.36/94.40 c 26029 302 3516 206101 58 33278 3946 2991 331 78.49 94.36/94.40 c 26842 302 2990 157164 52 35678 4341 2465 333 80.51 94.36/94.40 c 28163 302 3229 170465 52 39054 4776 2704 328 85.65 94.36/94.40 c 30244 302 4582 271018 59 53709 5254 4057 329 91.65 94.36/94.40 o 3 1797.98/1798.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.52 c 32109 302 5241 333201 63 50278 2955 4716 340 94.38 1797.98/1798.52 c 32211 281 2201 116033 52 16529 3251 1676 340 94.57 1797.98/1798.52 c 32462 281 2650 147061 55 22954 3577 2125 342 94.77 1797.98/1798.52 c 32938 281 3568 205774 57 28177 3935 3043 345 95.33 1797.98/1798.52 c 33752 281 2985 155832 52 28605 4329 2460 346 97.30 1797.98/1798.52 c 35072 281 3167 166181 52 30830 4762 2642 345 101.52 1797.98/1798.52 c 37154 281 4243 257895 60 35368 5239 3718 354 104.87 1797.98/1798.52 c 40379 281 4551 259420 57 57639 5763 4026 350 115.28 1797.98/1798.52 c 45315 281 4037 243426 60 29999 6340 3512 340 133.00 1797.98/1798.52 c 52822 281 4384 265680 60 51239 6975 3859 305 173.17 1797.98/1798.52 c 64185 281 6464 408566 63 78141 7673 5939 270 237.50 1797.98/1798.52 c 81329 281 5950 378594 63 86557 8441 5425 224 361.64 1797.98/1798.52 c 107150 281 4752 297133 62 61452 9286 4227 177 602.24 1797.98/1798.52 c 145983 281 9114 582650 63 117807 10215 8589 148 985.54 1797.98/1798.52 c 204336 281 8477 537948 63 97384 11237 7952 147 1380.92 1797.98/1798.52 c Resources Exceeded 1797.98/1798.52 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 1797.98/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.52 c 40 244264 2876 255201 6714 417745 6189 135 1798.00 1797.98/1798.52 c Objective: 3 1797.98/1798.52 s SATISFIABLE 1797.98/1798.52 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-1879504-1245244410/watcher-1879504-1245244410 -o /tmp/evaluation-result-1879504-1245244410/solver-1879504-1245244410 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879504-1245244410.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 0.93 3/64 8091 /proc/meminfo: memFree=1852344/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=10712 CPUtime=0 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 192041719 10969088 262 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 2678 262 188 640 0 2034 0 [startup+0.0787419 s] /proc/loadavg: 1.00 1.00 0.93 3/64 8091 /proc/meminfo: memFree=1852344/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=11364 CPUtime=0.07 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 444 0 0 0 7 0 0 0 18 0 1 0 192041719 11636736 423 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 2841 423 198 640 0 2197 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11364 [startup+0.101744 s] /proc/loadavg: 1.00 1.00 0.93 3/64 8091 /proc/meminfo: memFree=1852344/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=11496 CPUtime=0.09 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 484 0 0 0 9 0 0 0 18 0 1 0 192041719 11771904 463 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 2874 463 198 640 0 2230 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11496 [startup+0.301766 s] /proc/loadavg: 1.00 1.00 0.93 3/64 8091 /proc/meminfo: memFree=1852344/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=12536 CPUtime=0.29 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 730 0 0 0 29 0 0 0 19 0 1 0 192041719 12836864 709 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 3134 709 198 640 0 2490 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12536 [startup+0.70181 s] /proc/loadavg: 1.00 1.00 0.93 3/64 8091 /proc/meminfo: memFree=1852344/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=13580 CPUtime=0.69 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 1004 0 0 0 69 0 0 0 22 0 1 0 192041719 13905920 983 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 3395 983 198 640 0 2751 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13580 [startup+1.5019 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1848816/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=15132 CPUtime=1.49 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 1395 0 0 0 149 0 0 0 25 0 1 0 192041719 15495168 1374 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 3783 1374 198 640 0 3139 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15132 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1846320/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=17332 CPUtime=3.09 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 1942 0 0 0 308 1 0 0 25 0 1 0 192041719 17747968 1921 1992294400 134512640 137136520 4294956256 18446744073709551615 134572140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 4333 1921 198 640 0 3689 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17332 [startup+6.30143 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1844016/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=18496 CPUtime=6.29 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 2219 0 0 0 628 1 0 0 25 0 1 0 192041719 18939904 2198 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 4624 2198 198 640 0 3980 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18496 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1843760/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=18632 CPUtime=12.69 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 2267 0 0 0 1267 2 0 0 25 0 1 0 192041719 19079168 2246 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 4658 2246 198 640 0 4014 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18632 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1842928/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=19528 CPUtime=25.48 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 2477 0 0 0 2545 3 0 0 25 0 1 0 192041719 19996672 2456 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 4882 2456 198 640 0 4238 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19528 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1842352/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=20148 CPUtime=51.08 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 2634 0 0 0 5103 5 0 0 25 0 1 0 192041719 20631552 2613 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 5037 2613 198 640 0 4393 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20148 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1842352/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=19908 CPUtime=102.27 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 2634 0 0 0 10219 8 0 0 25 0 1 0 192041719 20385792 2577 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 4977 2577 198 640 0 4333 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 19908 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1842352/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=19908 CPUtime=162.24 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 2634 0 0 0 16214 10 0 0 25 0 1 0 192041719 20385792 2577 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 4977 2577 198 640 0 4333 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 19908 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1841904/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=20552 CPUtime=222.23 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 2780 0 0 0 22210 13 0 0 25 0 1 0 192041719 21045248 2723 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 5138 2723 198 640 0 4494 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20552 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1840496/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=21956 CPUtime=282.21 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3129 0 0 0 28204 17 0 0 25 0 1 0 192041719 22482944 3072 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 5489 3072 198 640 0 4845 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 21956 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1840240/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=22084 CPUtime=342.19 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3174 0 0 0 34200 19 0 0 25 0 1 0 192041719 22614016 3117 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 5521 3117 198 640 0 4877 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 22084 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1838896/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=23528 CPUtime=402.18 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3516 0 0 0 40197 21 0 0 25 0 1 0 192041719 24092672 3459 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 5882 3459 198 640 0 5238 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 23528 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1838832/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=23528 CPUtime=462.16 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3516 0 0 0 46194 22 0 0 25 0 1 0 192041719 24092672 3459 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 5882 3459 198 640 0 5238 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 23528 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1838832/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=23528 CPUtime=522.14 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3516 0 0 0 52190 24 0 0 25 0 1 0 192041719 24092672 3459 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 5882 3459 198 640 0 5238 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 23528 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1838832/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=23528 CPUtime=582.12 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3516 0 0 0 58186 26 0 0 25 0 1 0 192041719 24092672 3459 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 5882 3459 198 640 0 5238 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 23528 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1837232/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=25096 CPUtime=642.11 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3900 0 0 0 64183 28 0 0 25 0 1 0 192041719 25698304 3843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6274 3843 198 640 0 5630 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 25096 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1836656/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=25360 CPUtime=1061.98 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3996 0 0 0 106155 43 0 0 25 0 1 0 192041719 25968640 3939 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6340 3939 198 640 0 5696 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 25360 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1836656/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=25360 CPUtime=1121.97 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3996 0 0 0 112151 46 0 0 25 0 1 0 192041719 25968640 3939 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6340 3939 198 640 0 5696 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 25360 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1836592/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=25360 CPUtime=1181.95 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3996 0 0 0 118147 48 0 0 25 0 1 0 192041719 25968640 3939 1992294400 134512640 137136520 4294956256 18446744073709551615 134616686 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6340 3939 198 640 0 5696 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 25360 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1836464/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=25300 CPUtime=1241.94 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3996 0 0 0 124143 51 0 0 25 0 1 0 192041719 25907200 3925 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6325 3925 198 640 0 5681 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 25300 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1836464/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=25300 CPUtime=1301.92 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3996 0 0 0 130139 53 0 0 25 0 1 0 192041719 25907200 3925 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6325 3925 198 640 0 5681 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 25300 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1836464/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=25300 CPUtime=1361.9 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 3996 0 0 0 136136 54 0 0 25 0 1 0 192041719 25907200 3925 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6325 3925 198 640 0 5681 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 25300 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1835248/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26604 CPUtime=1421.88 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4303 0 0 0 142131 57 0 0 25 0 1 0 192041719 27242496 4232 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6651 4232 198 640 0 6007 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 26604 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1835248/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26604 CPUtime=1481.86 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4303 0 0 0 148127 59 0 0 25 0 1 0 192041719 27242496 4232 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6651 4232 198 640 0 6007 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 26604 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1835120/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26604 CPUtime=1541.85 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4320 0 0 0 154124 61 0 0 25 0 1 0 192041719 27242496 4249 1992294400 134512640 137136520 4294956256 18446744073709551615 134543846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6651 4249 198 640 0 6007 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 26604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834928/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26832 CPUtime=1601.83 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4358 0 0 0 160120 63 0 0 25 0 1 0 192041719 27475968 4287 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6708 4287 198 640 0 6064 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 26832 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834736/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26964 CPUtime=1661.82 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4405 0 0 0 166117 65 0 0 25 0 1 0 192041719 27611136 4334 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6741 4334 198 640 0 6097 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 26964 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834672/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26964 CPUtime=1721.8 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4405 0 0 0 172114 66 0 0 25 0 1 0 192041719 27611136 4334 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6741 4334 198 640 0 6097 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 26964 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834672/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26964 CPUtime=1781.78 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4405 0 0 0 178110 68 0 0 25 0 1 0 192041719 27611136 4334 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6741 4334 198 640 0 6097 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 26964 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834672/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26964 CPUtime=1791.38 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4405 0 0 0 179069 69 0 0 25 0 1 0 192041719 27611136 4334 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6741 4334 198 640 0 6097 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 26964 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834672/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26964 CPUtime=1794.58 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4405 0 0 0 179389 69 0 0 25 0 1 0 192041719 27611136 4334 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6741 4334 198 640 0 6097 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 26964 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834672/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26964 CPUtime=1796.18 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4405 0 0 0 179549 69 0 0 25 0 1 0 192041719 27611136 4334 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6741 4334 198 640 0 6097 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 26964 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834672/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26964 CPUtime=1796.97 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4405 0 0 0 179628 69 0 0 25 0 1 0 192041719 27611136 4334 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6741 4334 198 640 0 6097 0 Current children cumulated CPU time (s) 1796.97 Current children cumulated vsize (KiB) 26964 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834672/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26964 CPUtime=1797.77 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4405 0 0 0 179708 69 0 0 25 0 1 0 192041719 27611136 4334 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6741 4334 198 640 0 6097 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 26964 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8092 /proc/meminfo: memFree=1834672/2055920 swapFree=4182436/4192956 [pid=8091] ppid=8089 vsize=26964 CPUtime=1797.98 /proc/8091/stat : 8091 (bsolo) R 8089 8091 7789 0 -1 4194304 4405 0 0 0 179729 69 0 0 25 0 1 0 192041719 27611136 4334 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8091/statm: 6741 4334 198 640 0 6097 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 26964 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.01 CPU user time (s): 1797.31 CPU system time (s): 0.695894 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 26964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.31 system time used= 0.695894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4407 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= 2363 runsolver used 1.27081 second user time and 3.78942 second system time The end
Begin job on node9 at 2009-06-17 15:13:30 IDJOB=1879504 IDBENCH=48054 IDSOLVER=701 FILE ID=node9/1879504-1245244410 PBS_JOBID= 9372328 Free space on /tmp= 66160 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879504-1245244410/watcher-1879504-1245244410 -o /tmp/evaluation-result-1879504-1245244410/solver-1879504-1245244410 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879504-1245244410.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 74c00e33b4232d137ad873ae982593f6 RANDOM SEED=1693735573 node9.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.231 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.231 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1853016 kB Buffers: 15160 kB Cached: 128144 kB SwapCached: 4596 kB Active: 27472 kB Inactive: 123476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853016 kB SwapTotal: 4192956 kB SwapFree: 4182436 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 13712 kB Slab: 37984 kB Committed_AS: 198620 kB PageTables: 1396 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-1879504-1245244410.opb Free space on /tmp at the end= 66160 MiB End job on node9 at 2009-06-17 15:43:29