Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 26 | 1800.1 | 1800.72 |
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 | 1.19882 |
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 Parsing PB file... 0.09/0.12 c Converting 644 PB-constraints to clauses... 0.09/0.12 c -- Unit propagations: (none) 0.09/0.12 c -- Detecting intervals from adjacent constraints: (none) 0.09/0.12 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.09/0.13 c ==================================[MINISAT+]================================== 0.09/0.13 c | Conflicts | Original | Learnt | Progress | 0.09/0.13 c | | Clauses Literals | Max Clauses Literals LPC | | 0.09/0.13 c ============================================================================== 0.09/0.13 c | 0 | 644 12554 | 214 0 0 nan | 0.000 % | 0.09/0.13 c ============================================================================== 0.09/0.13 c [1mFound solution: 37[0m 0.09/0.13 o 37 0.09/0.13 c ---[ 0]---> Sorter-cost:13578 Base: 0.19/0.23 c ==================================[MINISAT+]================================== 0.19/0.23 c | Conflicts | Original | Learnt | Progress | 0.19/0.23 c | | Clauses Literals | Max Clauses Literals LPC | | 0.19/0.23 c ============================================================================== 0.19/0.23 c | 1 | 15717 47701 | 5239 1 29 29.0 | 0.000 % | 0.19/0.25 c | 101 | 15717 47701 | 5762 101 4323 42.8 | 0.059 % | 0.19/0.28 c | 251 | 15679 47623 | 6339 248 11459 46.2 | 0.245 % | 0.29/0.31 c ============================================================================== 0.29/0.31 c [1mFound solution: 29[0m 0.29/0.31 o 29 0.29/0.31 c ---[ 0]---> Sorter-cost: 0 Base: 0.39/0.40 c ==================================[MINISAT+]================================== 0.39/0.40 c | Conflicts | Original | Learnt | Progress | 0.39/0.40 c | | Clauses Literals | Max Clauses Literals LPC | | 0.39/0.40 c ============================================================================== 0.39/0.40 c | 420 | 15724 47731 | 5241 417 18295 43.9 | 0.245 % | 0.39/0.43 c | 520 | 15724 47731 | 5765 517 26146 50.6 | 0.254 % | 0.39/0.46 c | 671 | 15724 47731 | 6341 668 36405 54.5 | 0.254 % | 0.49/0.50 c | 897 | 15705 47692 | 6975 891 45077 50.6 | 0.351 % | 0.49/0.56 c | 1236 | 15694 47670 | 7673 1227 65535 53.4 | 0.390 % | 0.59/0.63 c | 1742 | 15694 47670 | 8440 1733 95153 54.9 | 0.390 % | 0.69/0.77 c | 2501 | 15694 47670 | 9284 2492 140721 56.5 | 0.390 % | 0.99/1.01 c | 3643 | 15694 47670 | 10213 3634 195206 53.7 | 0.390 % | 1.29/1.37 c | 5351 | 15694 47670 | 11234 5342 292922 54.8 | 0.390 % | 2.18/2.25 c | 7913 | 15694 47670 | 12358 7904 464096 58.7 | 0.390 % | 3.47/3.51 c | 11758 | 15694 47670 | 13593 11749 691457 58.9 | 0.390 % | 4.47/4.56 c ============================================================================== 4.47/4.56 c [1mFound solution: 28[0m 4.47/4.56 o 28 4.47/4.56 c ---[ 0]---> Sorter-cost: 0 Base: 4.57/4.66 c ==================================[MINISAT+]================================== 4.57/4.66 c | Conflicts | Original | Learnt | Progress | 4.57/4.66 c | | Clauses Literals | Max Clauses Literals LPC | | 4.57/4.66 c ============================================================================== 4.57/4.66 c | 14787 | 15441 47076 | 5147 6744 413858 61.4 | 0.390 % | 4.67/4.70 c | 14889 | 15441 47076 | 5661 3474 227529 65.5 | 2.117 % | 4.67/4.73 c | 15039 | 15441 47076 | 6227 3624 235182 64.9 | 2.118 % | 4.77/4.80 c | 15266 | 15441 47076 | 6850 3851 247036 64.1 | 2.117 % | 4.77/4.88 c | 15604 | 15441 47076 | 7535 4189 269279 64.3 | 2.117 % | 4.97/5.01 c | 16110 | 15441 47076 | 8289 4695 297748 63.4 | 2.117 % | 5.17/5.23 c | 16869 | 15441 47076 | 9118 5454 347448 63.7 | 2.117 % | 5.48/5.56 c | 18008 | 15441 47076 | 10030 6593 422961 64.2 | 2.117 % | 5.97/6.07 c | 19716 | 15441 47076 | 11033 8301 532505 64.1 | 2.117 % | 6.77/6.82 c | 22278 | 15441 47076 | 12136 10863 702339 64.7 | 2.117 % | 8.07/8.19 c | 26123 | 15441 47076 | 13349 7370 454271 61.6 | 2.117 % | 10.15/10.27 c | 31892 | 15441 47076 | 14684 13139 882520 67.2 | 2.117 % | 11.84/11.90 c ============================================================================== 11.84/11.90 c [1mFound solution: 27[0m 11.84/11.90 o 27 11.84/11.91 c ---[ 0]---> Sorter-cost: 0 Base: 11.94/12.01 c ==================================[MINISAT+]================================== 11.94/12.01 c | Conflicts | Original | Learnt | Progress | 11.94/12.01 c | | Clauses Literals | Max Clauses Literals LPC | | 11.94/12.01 c ============================================================================== 11.94/12.01 c | 35902 | 15457 47119 | 5152 17149 1188394 69.3 | 2.117 % | 11.94/12.09 c | 36004 | 15457 47119 | 5667 4390 285673 65.1 | 2.125 % | 12.04/12.13 c | 36154 | 15457 47119 | 6233 4540 294827 64.9 | 2.125 % | 12.14/12.20 c | 36379 | 15457 47119 | 6857 4765 306309 64.3 | 2.125 % | 12.14/12.28 c | 36716 | 15457 47119 | 7543 5102 317191 62.2 | 2.125 % | 12.34/12.41 c | 37223 | 15445 47095 | 8297 5608 338973 60.4 | 2.154 % | 12.54/12.62 c | 37985 | 15445 47095 | 9127 6370 382021 60.0 | 2.155 % | 12.84/12.90 c | 39124 | 15445 47095 | 10039 7509 432211 57.6 | 2.154 % | 13.33/13.43 c | 40832 | 15445 47095 | 11043 9217 517228 56.1 | 2.154 % | 14.13/14.21 c | 43395 | 15445 47095 | 12148 11780 642138 54.5 | 2.154 % | 15.62/15.75 c | 47239 | 15445 47095 | 13362 8469 391934 46.3 | 2.154 % | 17.43/17.56 c | 53006 | 15445 47095 | 14699 14236 665088 46.7 | 2.154 % | 20.32/20.44 c | 61656 | 15445 47095 | 16169 14373 669750 46.6 | 2.154 % | 25.42/25.57 c | 74630 | 15445 47095 | 17786 9674 427135 44.2 | 2.154 % | 29.82/29.93 c ============================================================================== 29.82/29.93 c [1mFound solution: 26[0m 29.82/29.93 o 26 29.82/29.93 c ---[ 0]---> Sorter-cost: 0 Base: 29.92/30.04 c ==================================[MINISAT+]================================== 29.92/30.04 c | Conflicts | Original | Learnt | Progress | 29.92/30.04 c | | Clauses Literals | Max Clauses Literals LPC | | 29.92/30.04 c ============================================================================== 29.92/30.04 c | 86537 | 15430 47058 | 5143 12010 427029 35.6 | 2.154 % | 30.02/30.10 c | 86638 | 15430 47058 | 5657 3104 107895 34.8 | 2.310 % | 30.02/30.15 c | 86789 | 15430 47058 | 6223 3255 112223 34.5 | 2.310 % | 30.12/30.21 c | 87014 | 15430 47058 | 6845 3480 119636 34.4 | 2.310 % | 30.22/30.32 c | 87352 | 15430 47058 | 7529 3818 133841 35.1 | 2.310 % | 30.32/30.43 c | 87858 | 15430 47058 | 8282 4324 146529 33.9 | 2.310 % | 30.52/30.63 c | 88619 | 15430 47058 | 9111 5085 171879 33.8 | 2.310 % | 30.82/30.96 c | 89758 | 15430 47058 | 10022 6224 216602 34.8 | 2.310 % | 31.32/31.48 c | 91466 | 15430 47058 | 11024 7932 302877 38.2 | 2.310 % | 32.22/32.33 c | 94029 | 15430 47058 | 12126 10495 397559 37.9 | 2.310 % | 33.31/33.47 c | 97873 | 15430 47058 | 13339 7898 279483 35.4 | 2.310 % | 35.21/35.39 c | 103640 | 15430 47058 | 14673 13665 492391 36.0 | 2.310 % | 38.21/38.30 c | 112290 | 15430 47058 | 16140 14002 473498 33.8 | 2.310 % | 42.31/42.41 c | 125266 | 15430 47058 | 17755 9762 355809 36.4 | 2.310 % | 49.81/49.95 c | 144727 | 15430 47058 | 19530 9968 340759 34.2 | 2.310 % | 60.31/60.50 c | 173919 | 15430 47058 | 21483 18277 718525 39.3 | 2.310 % | 78.10/78.21 c | 217709 | 15430 47058 | 23631 16278 575329 35.3 | 2.310 % | 106.38/106.51 c | 283396 | 15426 47050 | 25995 19858 783653 39.5 | 2.330 % | 153.47/153.68 c | 381924 | 15426 47050 | 28594 21614 796270 36.8 | 2.329 % | 227.65/227.82 c | 529714 | 15426 47050 | 31454 28794 1116989 38.8 | 2.329 % | 346.61/346.82 c | 751398 | 15426 47050 | 34599 26284 1211546 46.1 | 2.330 % | 522.66/522.95 c | 1083924 | 15426 47050 | 38059 24678 1027070 41.6 | 2.330 % | 809.67/810.08 c | 1582714 | 15426 47050 | 41865 22052 805873 36.5 | 2.330 % | 1257.03/1257.58 c | 2330896 | 15426 47050 | 46051 32748 1147247 35.0 | 2.329 % | 1800.08/1800.70 c 1800.08/1800.71 c *** TERMINATED *** 1800.08/1800.71 s SATISFIABLE 1800.08/1800.71 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 1800.08/1800.71 v -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 1800.08/1800.71 v -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 1800.08/1800.71 v -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 1800.08/1800.71 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.08/1800.71 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.08/1800.71 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.08/1800.71 v -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.08/1800.71 v -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.08/1800.71 v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.08/1800.71 v -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.08/1800.71 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.08/1800.71 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 1800.08/1800.71 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.08/1800.71 v -x316 -x317 -x318 x319 -x320 x321 x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.08/1800.71 v -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.08/1800.71 v -x359 -x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 -x369 x370 -x371 -x372
OK 26
/tmp/evaluation/363912-1177034513/instance-363912-1177034513.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-363912-1177034513 -o ROOT/results/node22/solver-363912-1177034513 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363912-1177034513/minisat+ /tmp/evaluation/363912-1177034513/instance-363912-1177034513.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 1.02 0.99 3/83 13621 /proc/meminfo: memFree=1660280/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=1180 CPUtime=0 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 131 0 0 0 0 0 0 0 18 0 1 0 151368993 1208320 116 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 295 116 75 215 0 77 0 [startup+0.0608591 s] /proc/loadavg: 0.93 1.02 0.99 3/83 13621 /proc/meminfo: memFree=1660280/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=1464 CPUtime=0.05 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 223 0 0 0 5 0 0 0 18 0 1 0 151368993 1499136 208 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 366 208 75 215 0 148 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1464 [startup+0.101864 s] /proc/loadavg: 0.93 1.02 0.99 3/83 13621 /proc/meminfo: memFree=1660280/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=1772 CPUtime=0.09 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 293 0 0 0 9 0 0 0 18 0 1 0 151368993 1814528 278 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 443 278 75 215 0 225 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1772 [startup+0.301895 s] /proc/loadavg: 0.93 1.02 0.99 3/83 13621 /proc/meminfo: memFree=1660280/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=3908 CPUtime=0.29 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 835 0 0 0 29 0 0 0 18 0 1 0 151368993 4001792 820 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 977 820 111 215 0 759 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3908 [startup+0.701956 s] /proc/loadavg: 0.93 1.02 0.99 3/83 13621 /proc/meminfo: memFree=1660280/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=4612 CPUtime=0.69 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 982 0 0 0 69 0 0 0 21 0 1 0 151368993 4722688 967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 1153 967 111 215 0 935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4612 [startup+1.50108 s] /proc/loadavg: 0.93 1.02 0.99 2/84 13622 /proc/meminfo: memFree=1656432/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=5532 CPUtime=1.49 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 1228 0 0 0 148 1 0 0 25 0 1 0 151368993 5664768 1213 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 1383 1213 111 215 0 1165 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5532 [startup+3.10132 s] /proc/loadavg: 0.93 1.02 0.99 2/78 13642 /proc/meminfo: memFree=1655896/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=6972 CPUtime=3.07 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 1569 0 0 0 306 1 0 0 25 0 1 0 151368993 7139328 1554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 1743 1554 111 215 0 1525 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 6972 [startup+6.30282 s] /proc/loadavg: 0.93 1.01 0.99 2/78 13642 /proc/meminfo: memFree=1653912/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=8164 CPUtime=6.28 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 1888 0 0 0 627 1 0 0 25 0 1 0 151368993 8359936 1873 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 2041 1873 111 215 0 1823 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8164 [startup+12.7018 s] /proc/loadavg: 1.10 1.05 1.01 3/83 14062 /proc/meminfo: memFree=1650032/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=10012 CPUtime=12.64 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 2356 0 0 0 1261 3 0 0 25 0 1 0 151368993 10252288 2341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581113 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 2503 2341 111 215 0 2285 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 10012 [startup+25.5017 s] /proc/loadavg: 1.14 1.06 1.01 2/78 14118 /proc/meminfo: memFree=1650152/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=10220 CPUtime=25.42 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 2371 0 0 0 2539 3 0 0 25 0 1 0 151368993 10465280 2356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 2555 2356 111 215 0 2337 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 10220 [startup+51.1016 s] /proc/loadavg: 1.09 1.05 1.01 2/78 14118 /proc/meminfo: memFree=1650088/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=10356 CPUtime=51.01 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 2422 0 0 0 5097 4 0 0 25 0 1 0 151368993 10604544 2407 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 2589 2407 111 215 0 2371 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 10356 [startup+102.305 s] /proc/loadavg: 1.08 1.06 1.01 2/78 14118 /proc/meminfo: memFree=1648680/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=11888 CPUtime=102.19 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 2797 0 0 0 10215 4 0 0 25 0 1 0 151368993 12173312 2782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 2972 2782 111 215 0 2754 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 11888 [startup+162.302 s] /proc/loadavg: 1.03 1.05 1.00 2/78 14118 /proc/meminfo: memFree=1647528/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=13204 CPUtime=162.17 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 3096 0 0 0 16212 5 0 0 25 0 1 0 151368993 13520896 3081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 3301 3081 111 215 0 3083 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 13204 [startup+222.302 s] /proc/loadavg: 1.01 1.03 1.00 2/78 14118 /proc/meminfo: memFree=1645992/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=14812 CPUtime=222.15 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 3476 0 0 0 22209 6 0 0 25 0 1 0 151368993 15167488 3461 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 3703 3461 111 215 0 3485 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 14812 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.00 2/78 14118 /proc/meminfo: memFree=1644008/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=16764 CPUtime=282.13 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 3958 0 0 0 28206 7 0 0 25 0 1 0 151368993 17166336 3943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 4191 3943 111 215 0 3973 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 16764 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 14118 /proc/meminfo: memFree=1643112/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=17552 CPUtime=342.11 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 4168 0 0 0 34203 8 0 0 25 0 1 0 151368993 17973248 4153 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 4388 4153 111 215 0 4170 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 17552 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14118 /proc/meminfo: memFree=1641896/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=18880 CPUtime=402.1 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 4467 0 0 0 40201 9 0 0 25 0 1 0 151368993 19333120 4452 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 4720 4452 111 215 0 4502 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 18880 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14118 /proc/meminfo: memFree=1641512/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=19244 CPUtime=462.08 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 4557 0 0 0 46199 9 0 0 25 0 1 0 151368993 19705856 4542 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 4811 4542 111 215 0 4593 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 19244 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1641640/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=19564 CPUtime=522.06 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 4612 0 0 0 52196 10 0 0 25 0 1 0 151368993 20033536 4597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 4891 4597 111 215 0 4673 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 19564 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1641064/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=20132 CPUtime=582.04 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 4743 0 0 0 58194 10 0 0 25 0 1 0 151368993 20615168 4728 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 5033 4728 111 215 0 4815 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 20132 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1641000/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=20132 CPUtime=642.03 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 4772 0 0 0 64192 11 0 0 25 0 1 0 151368993 20615168 4757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 5033 4757 111 215 0 4815 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 20132 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1638440/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=22968 CPUtime=881.95 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5405 0 0 0 88183 12 0 0 25 0 1 0 151368993 23519232 5390 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 5742 5390 111 215 0 5524 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 22968 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1638120/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=23136 CPUtime=941.93 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5462 0 0 0 94180 13 0 0 25 0 1 0 151368993 23691264 5447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 5784 5447 111 215 0 5566 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 23136 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1637864/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=23504 CPUtime=1001.91 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5532 0 0 0 100178 13 0 0 25 0 1 0 151368993 24068096 5517 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 5876 5517 111 215 0 5658 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 23504 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1637800/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=23684 CPUtime=1061.9 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5577 0 0 0 106176 14 0 0 25 0 1 0 151368993 24252416 5562 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580730 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 5921 5562 111 215 0 5703 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 23684 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1637736/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=23684 CPUtime=1121.87 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5578 0 0 0 112173 14 0 0 25 0 1 0 151368993 24252416 5563 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580405 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 5921 5563 111 215 0 5703 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 23684 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1637480/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=23860 CPUtime=1181.86 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5623 0 0 0 118171 15 0 0 25 0 1 0 151368993 24432640 5608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573016 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 5965 5608 111 215 0 5747 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 23860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1637416/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=23860 CPUtime=1241.84 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5648 0 0 0 124169 15 0 0 25 0 1 0 151368993 24432640 5633 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 5965 5633 111 215 0 5747 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 23860 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1637160/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=24072 CPUtime=1301.83 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5704 0 0 0 130167 16 0 0 25 0 1 0 151368993 24649728 5689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568477 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6018 5689 111 215 0 5800 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 24072 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1637160/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=24072 CPUtime=1361.8 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5711 0 0 0 136164 16 0 0 25 0 1 0 151368993 24649728 5696 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6018 5696 111 215 0 5800 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 24072 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1636520/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=24912 CPUtime=1421.79 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5867 0 0 0 142162 17 0 0 25 0 1 0 151368993 25509888 5852 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6228 5852 111 215 0 6010 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 24912 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1636456/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=25076 CPUtime=1481.77 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5895 0 0 0 148160 17 0 0 25 0 1 0 151368993 25677824 5880 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576683 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6269 5880 111 215 0 6051 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 25076 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1636456/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=25076 CPUtime=1541.75 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5900 0 0 0 154157 18 0 0 25 0 1 0 151368993 25677824 5885 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6269 5885 111 215 0 6051 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 25076 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1636264/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=25244 CPUtime=1601.73 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5945 0 0 0 160155 18 0 0 25 0 1 0 151368993 25849856 5930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580753 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6311 5930 111 215 0 6093 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 25244 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1636200/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=25384 CPUtime=1661.72 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 5978 0 0 0 166153 19 0 0 25 0 1 0 151368993 25993216 5963 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6346 5963 111 215 0 6128 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 25384 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1634856/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=26744 CPUtime=1721.69 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 6301 0 0 0 172150 19 0 0 25 0 1 0 151368993 27385856 6286 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6686 6286 111 215 0 6468 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 26744 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1634664/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=26900 CPUtime=1781.68 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 6340 0 0 0 178148 20 0 0 25 0 1 0 151368993 27545600 6325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6725 6325 111 215 0 6507 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 26900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1634600/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=26900 CPUtime=1800.08 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 6358 0 0 0 179988 20 0 0 25 0 1 0 151368993 27545600 6343 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580978 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6725 6343 111 215 0 6507 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 26900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14118 /proc/meminfo: memFree=1634600/2055920 swapFree=4168584/4192956 [pid=13621] ppid=13619 vsize=26900 CPUtime=1800.08 /proc/13621/stat : 13621 (minisat+) R 13619 13621 12832 0 -1 4194304 6358 0 0 0 179988 20 0 0 25 0 1 0 151368993 27545600 6343 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580978 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13621/statm: 6725 6343 111 215 0 6507 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 26900 Child status: 10 Real time (s): 1800.72 CPU time (s): 1800.1 CPU user time (s): 1799.89 CPU system time (s): 0.208968 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 26900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.208968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6360 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= 15 involuntary context switches= 5151 runsolver used 2.12168 second user time and 4.24935 second system time The end
Begin job on node22 on Fri Apr 20 02:01:53 UTC 2007 IDJOB= 363912 IDBENCH= 2040 IDSOLVER= 156 FILE ID= node22/363912-1177034513 PBS_JOBID= 4630625 Free space on /tmp= 66497 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb COMMAND LINE= /tmp/evaluation/363912-1177034513/minisat+ /tmp/evaluation/363912-1177034513/instance-363912-1177034513.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-363912-1177034513 -o ROOT/results/node22/conversion-363912-1177034513 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363912-1177034513/instance-363912-1177034513.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-363912-1177034513 -o ROOT/results/node22/solver-363912-1177034513 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363912-1177034513/minisat+ /tmp/evaluation/363912-1177034513/instance-363912-1177034513.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= a91a8cbbe2491e496acc19538dbd623f RANDOM SEED= 484806603 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.265 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.265 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: 1660688 kB Buffers: 43080 kB Cached: 259164 kB SwapCached: 2192 kB Active: 111196 kB Inactive: 215228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1660688 kB SwapTotal: 4192956 kB SwapFree: 4168584 kB Dirty: 2432 kB Writeback: 0 kB Mapped: 32468 kB Slab: 54060 kB Committed_AS: 1822104 kB PageTables: 1904 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66497 MiB End job on node22 on Fri Apr 20 02:31:56 UTC 2007