Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 25 | 184.334 | 184.397 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb |
MD5SUM | a91a8cbbe2491e496acc19538dbd623f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 0.674896 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 372 |
Total number of constraints | 772 |
Number of constraints which are clauses | 772 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
Number of terms in the objective function | 372 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 372 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 372 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656122-1276407013.opb. 0.00/0.00 c Instance file HOME/instance-2656122-1276407013.opb 0.00/0.00 c File size is 106526 bytes. 0.00/0.01 c Highest Coefficient sum: 99 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 372 | 0.00/0.01 c | Number Clauses: 772 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 367 772 12571 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 36 0.00/0.02 o 36 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 367 773 12943 | 5000 1 29 | 0.000 % | 0.00/0.02 c | 101 | 367 773 12943 | 5500 101 68 | 1.345 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 32 0.00/0.02 o 32 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 101 | 367 774 13315 | 5000 101 68 | 1.345 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 31 0.00/0.02 o 31 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 106 | 367 775 13687 | 5000 106 68 | 1.345 % | 0.00/0.03 c | 207 | 367 775 13687 | 5500 207 67 | 1.345 % | 0.00/0.04 c | 359 | 367 775 13687 | 6050 359 61 | 1.345 % | 0.00/0.06 c | 584 | 367 775 13687 | 6655 584 57 | 1.345 % | 0.09/0.10 c | 921 | 367 775 13687 | 7320 921 57 | 1.345 % | 0.09/0.14 c | 1428 | 367 775 13687 | 8052 1428 63 | 1.345 % | 0.09/0.19 c | 2188 | 367 775 13687 | 8857 2188 60 | 1.345 % | 0.29/0.30 c | 3329 | 367 775 13687 | 9743 3329 65 | 1.345 % | 0.39/0.43 c | 5038 | 367 775 13687 | 10717 5038 61 | 1.345 % | 0.69/0.70 c | 7600 | 367 775 13687 | 11789 7600 69 | 1.345 % | 1.10/1.16 c | 11444 | 367 775 13687 | 12968 11444 64 | 1.345 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c New solution: 30 1.49/1.56 o 30 1.49/1.56 c Elapsed CPU time: 1.51877 s Remaining CPU time: 178.481 s 1.49/1.56 c =============================================================================== 1.49/1.56 c | 15387 | 367 776 14059 | 5000 8739 63 | 1.345 % | 1.49/1.58 c | 15488 | 367 776 14059 | 5500 4471 64 | 1.345 % | 1.59/1.60 c | 15639 | 367 776 14059 | 6050 4622 64 | 1.345 % | 1.59/1.62 c | 15864 | 367 776 14059 | 6655 4847 64 | 1.345 % | 1.59/1.66 c | 16202 | 367 776 14059 | 7320 5185 64 | 1.345 % | 1.69/1.71 c | 16709 | 367 776 14059 | 8052 5692 63 | 1.345 % | 1.69/1.79 c | 17469 | 367 776 14059 | 8857 6452 63 | 1.345 % | 1.89/1.92 c | 18608 | 367 776 14059 | 9743 7591 62 | 1.346 % | 2.09/2.10 c | 20316 | 367 776 14059 | 10717 9299 64 | 1.345 % | 2.39/2.40 c | 22878 | 367 776 14059 | 11789 6355 69 | 1.345 % | 2.78/2.84 c | 26725 | 367 776 14059 | 12968 10202 75 | 1.345 % | 3.59/3.60 c | 32492 | 367 776 14059 | 14265 9334 73 | 1.345 % | 4.59/4.66 c | 41142 | 367 776 14059 | 15692 10695 64 | 1.345 % | 6.69/6.76 c | 54116 | 367 776 14059 | 17261 15685 78 | 1.345 % | 9.49/9.58 c | 73580 | 367 776 14059 | 18987 8833 53 | 1.345 % | 14.78/14.89 c | 102774 | 367 776 14059 | 20886 18766 69 | 1.345 % | 22.39/22.42 c | 146563 | 367 776 14059 | 22974 20143 64 | 1.345 % | 38.49/38.59 c | 212248 | 367 776 14059 | 25272 12975 77 | 1.345 % | 57.67/57.79 c | 310776 | 367 776 14059 | 27799 24811 64 | 1.345 % | 92.46/92.58 c | 458565 | 367 776 14059 | 30579 23607 79 | 1.345 % | 140.14/140.28 c | 680248 | 367 776 14059 | 33637 12815 65 | 1.345 % | 183.13/183.26 c There are 5 assigned variables. 5 in cost function. 184.22/184.31 c core #1 184.22/184.31 c core #2 184.22/184.31 c core #3 184.22/184.31 c core #4 184.22/184.31 c core #5 184.22/184.31 c core #6 184.22/184.31 c core #7 184.22/184.31 c core #8 184.22/184.31 c core #9 184.22/184.31 c core #10 184.22/184.31 c core #11 184.22/184.31 c core #12 184.22/184.31 c core #13 184.22/184.31 c core #14 184.22/184.31 c core #15 184.22/184.31 c core #16 184.22/184.31 c core #17 184.22/184.31 c core #18 184.22/184.31 c ============================[ Search Statistics ]============================== 184.22/184.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.22/184.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.22/184.31 c =============================================================================== 184.22/184.31 c | 0 | 443 1039 10865 | 5000 0 nan | 0.000 % | 184.22/184.31 c =============================================================================== 184.22/184.32 c core #19 184.22/184.32 c ============================[ Search Statistics ]============================== 184.22/184.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.22/184.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.22/184.32 c =============================================================================== 184.22/184.32 c | 0 | 464 1040 10952 | 5000 0 nan | 0.000 % | 184.22/184.32 c =============================================================================== 184.22/184.32 c core #20 184.22/184.32 c ============================[ Search Statistics ]============================== 184.22/184.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.22/184.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.22/184.32 c =============================================================================== 184.22/184.32 c | 0 | 586 1041 14428 | 5000 0 nan | 0.000 % | 184.22/184.33 c | 101 | 586 1041 14428 | 5500 101 48 | 13.824 % | 184.22/184.34 c | 251 | 586 1041 14428 | 6050 251 42 | 13.824 % | 184.22/184.36 c | 477 | 562 1041 14428 | 6655 471 38 | 19.853 % | 184.22/184.36 c =============================================================================== 184.22/184.36 c #cores: 20 184.22/184.36 c Final Weight: 25 184.22/184.36 o 25 184.22/184.36 s OPTIMUM FOUND 184.22/184.36 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -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 -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 -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 -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 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 -x369 x370 -x371 -x372 184.22/184.36 c Total CPU time: 181.093 s
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656122-1276407013/watcher-2656122-1276407013 -o /tmp/evaluation-result-2656122-1276407013/solver-2656122-1276407013 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656122-1276407013.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.10 3/106 21136 /proc/meminfo: memFree=1725960/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=2688 CPUtime=0 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 16305075 2752512 200 1992294400 134512640 135751879 4291446224 18446744073709551615 134561495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 672 200 145 303 0 340 0 [startup+0.0789581 s] /proc/loadavg: 1.00 1.00 1.10 3/106 21136 /proc/meminfo: memFree=1725960/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=2972 CPUtime=0.07 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 404 0 0 0 7 0 0 0 20 0 1 0 16305075 3043328 295 1992294400 134512640 135751879 4291446224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 743 295 147 303 0 438 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2972 [startup+0.10096 s] /proc/loadavg: 1.00 1.00 1.10 3/106 21136 /proc/meminfo: memFree=1725960/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=2972 CPUtime=0.09 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 423 0 0 0 9 0 0 0 20 0 1 0 16305075 3043328 314 1992294400 134512640 135751879 4291446224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 743 315 147 303 0 438 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2972 [startup+0.300983 s] /proc/loadavg: 1.00 1.00 1.10 3/106 21136 /proc/meminfo: memFree=1725960/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=4024 CPUtime=0.29 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 668 0 0 0 29 0 0 0 20 0 1 0 16305075 4120576 559 1992294400 134512640 135751879 4291446224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 1006 559 147 303 0 701 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4024 [startup+0.701027 s] /proc/loadavg: 1.00 1.00 1.10 3/106 21136 /proc/meminfo: memFree=1725960/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=5724 CPUtime=0.69 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 1104 0 0 0 67 2 0 0 21 0 1 0 16305075 5861376 995 1992294400 134512640 135751879 4291446224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 1431 995 147 303 0 1126 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5724 [startup+1.50112 s] /proc/loadavg: 1.00 1.00 1.10 2/107 21137 /proc/meminfo: memFree=1721488/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=8456 CPUtime=1.49 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 1779 0 0 0 145 4 0 0 23 0 1 0 16305075 8658944 1670 1992294400 134512640 135751879 4291446224 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 2114 1670 148 303 0 1809 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8456 [startup+3.10029 s] /proc/loadavg: 1.00 1.00 1.10 2/107 21137 /proc/meminfo: memFree=1717396/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=14336 CPUtime=3.09 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 3267 0 0 0 300 9 0 0 25 0 1 0 16305075 14680064 3158 1992294400 134512640 135751879 4291446224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 3584 3158 148 303 0 3279 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14336 [startup+6.30065 s] /proc/loadavg: 1.00 1.00 1.10 2/107 21137 /proc/meminfo: memFree=1706360/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=23996 CPUtime=6.28 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 5679 0 0 0 612 16 0 0 25 0 1 0 16305075 24571904 5570 1992294400 134512640 135751879 4291446224 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 5999 5570 148 303 0 5694 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23996 [startup+12.7004 s] /proc/loadavg: 1.00 1.00 1.10 2/107 21139 /proc/meminfo: memFree=1689992/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=38944 CPUtime=12.69 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 9420 0 0 0 1238 31 0 0 25 0 1 0 16305075 39878656 9311 1992294400 134512640 135751879 4291446224 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 9736 9312 148 303 0 9431 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38944 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.10 2/107 21139 /proc/meminfo: memFree=1661100/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=67104 CPUtime=25.49 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 16432 0 0 0 2494 55 0 0 25 0 1 0 16305075 68714496 16323 1992294400 134512640 135751879 4291446224 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 16776 16323 148 303 0 16471 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 67104 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.09 2/107 21139 /proc/meminfo: memFree=1614352/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=114420 CPUtime=51.07 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 28260 0 0 0 5005 102 0 0 25 0 1 0 16305075 117166080 28151 1992294400 134512640 135751879 4291446224 18446744073709551615 134616792 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 28605 28151 148 303 0 28300 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 114420 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.09 2/107 21141 /proc/meminfo: memFree=1518748/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=209088 CPUtime=102.26 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 51888 0 0 0 10038 188 0 0 25 0 1 0 16305075 214106112 51779 1992294400 134512640 135751879 4291446224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 52272 51779 148 303 0 51967 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 209088 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21143 /proc/meminfo: memFree=1415084/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=313008 CPUtime=162.24 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 77877 0 0 0 15939 285 0 0 25 0 1 0 16305075 320520192 77768 1992294400 134512640 135751879 4291446224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 78252 77768 148 303 0 77947 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 313008 Solver just ended. Dumping a history of the last processes samples [startup+166.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21143 /proc/meminfo: memFree=1407520/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=320324 CPUtime=166.23 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 79678 0 0 0 16331 292 0 0 25 0 1 0 16305075 328011776 79569 1992294400 134512640 135751879 4291446224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 80081 79569 148 303 0 79776 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 320324 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21143 /proc/meminfo: memFree=1396112/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=331208 CPUtime=172.64 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 82399 0 0 0 16962 302 0 0 25 0 1 0 16305075 339156992 82290 1992294400 134512640 135751879 4291446224 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 82802 82290 148 303 0 82497 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 331208 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21143 /proc/meminfo: memFree=1386936/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=342452 CPUtime=179.03 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 85210 0 0 0 17590 313 0 0 25 0 1 0 16305075 350670848 85101 1992294400 134512640 135751879 4291446224 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 85613 85101 148 303 0 85308 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 342452 [startup+182.301 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21143 /proc/meminfo: memFree=1380736/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=347572 CPUtime=182.22 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 86507 0 0 0 17905 317 0 0 25 0 1 0 16305075 355913728 86398 1992294400 134512640 135751879 4291446224 18446744073709551615 134602800 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 86893 86398 148 303 0 86588 0 Current children cumulated CPU time (s) 182.22 Current children cumulated vsize (KiB) 347572 [startup+183.1 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21143 /proc/meminfo: memFree=1379496/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=348872 CPUtime=183.03 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 86827 0 0 0 17984 319 0 0 25 0 1 0 16305075 357244928 86718 1992294400 134512640 135751879 4291446224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 87218 86718 148 303 0 86913 0 Current children cumulated CPU time (s) 183.03 Current children cumulated vsize (KiB) 348872 [startup+183.9 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21143 /proc/meminfo: memFree=1377636/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=349528 CPUtime=183.82 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 86979 0 0 0 18063 319 0 0 25 0 1 0 16305075 357916672 86870 1992294400 134512640 135751879 4291446224 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 87382 86870 149 303 0 87077 0 Current children cumulated CPU time (s) 183.82 Current children cumulated vsize (KiB) 349528 [startup+184.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21143 /proc/meminfo: memFree=1377636/2059040 swapFree=4192956/4192956 [pid=21136] ppid=21134 vsize=349364 CPUtime=184.22 /proc/21136/stat : 21136 (wbo1.4b) R 21134 21136 20894 0 -1 4202496 86981 0 0 0 18103 319 0 0 25 0 1 0 16305075 357748736 86838 1992294400 134512640 135751879 4291446224 18446744073709551615 134647314 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21136/statm: 87341 86838 151 303 0 87036 0 Current children cumulated CPU time (s) 184.22 Current children cumulated vsize (KiB) 349364 Child status: 0 Real time (s): 184.397 CPU time (s): 184.334 CPU user time (s): 181.093 CPU system time (s): 3.24051 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 349528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.093 system time used= 3.24051 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86981 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= 3 involuntary context switches= 2298 runsolver used 0.313952 second user time and 0.868867 second system time The end
Begin job on node005 at 2010-06-13 07:30:14 IDJOB=2656122 IDBENCH=2040 IDSOLVER=1161 FILE ID=node005/2656122-1276407013 PBS_JOBID= 11173277 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656122-1276407013/watcher-2656122-1276407013 -o /tmp/evaluation-result-2656122-1276407013/solver-2656122-1276407013 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656122-1276407013.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a91a8cbbe2491e496acc19538dbd623f RANDOM SEED=717150086 node005.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.246 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.49 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1726488 kB Buffers: 54428 kB Cached: 151900 kB SwapCached: 0 kB Active: 156944 kB Inactive: 108808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1726488 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2788 kB Writeback: 0 kB AnonPages: 59320 kB Mapped: 15452 kB Slab: 45048 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181076 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node005 at 2010-06-13 07:33:18