Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | 18 | 1236.54 | 1237.07 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb |
MD5SUM | 95b567c682e7e3efe2c93879e0e7c89d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 6.581 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 406 |
Total number of constraints | 520 |
Number of constraints which are clauses | 520 |
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 | 123 |
Number of terms in the objective function | 406 |
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 | 406 |
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 | 406 |
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 c Parsing PB file... 0.13 c Converting 498 PB-constraints to clauses... 0.13 c -- Unit propagations: (none) 0.13 c -- Detecting intervals from adjacent constraints: (none) 0.13 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.14 c ==================================[MINISAT+]================================== 0.14 c | Conflicts | Original | Learnt | Progress | 0.14 c | | Clauses Literals | Max Clauses Literals LPC | | 0.14 c ============================================================================== 0.14 c | 0 | 498 13351 | 166 0 0 nan | 0.000 % | 0.15 c ============================================================================== 0.15 c [1mFound solution: 26[0m 0.15 o 26 0.15 c ---[ 0]---> Sorter-cost:14874 Base: 0.27 c ==================================[MINISAT+]================================== 0.27 c | Conflicts | Original | Learnt | Progress | 0.27 c | | Clauses Literals | Max Clauses Literals LPC | | 0.27 c ============================================================================== 0.27 c | 1 | 16502 50667 | 5500 1 18 18.0 | 0.000 % | 0.29 c | 102 | 16502 50667 | 6050 102 6276 61.5 | 0.624 % | 0.30 c ============================================================================== 0.30 c [1mFound solution: 21[0m 0.30 o 21 0.31 c ---[ 0]---> Sorter-cost: 0 Base: 0.41 c ==================================[MINISAT+]================================== 0.41 c | Conflicts | Original | Learnt | Progress | 0.41 c | | Clauses Literals | Max Clauses Literals LPC | | 0.41 c ============================================================================== 0.41 c | 132 | 16535 50747 | 5511 132 8083 61.2 | 0.624 % | 0.43 c | 232 | 16535 50747 | 6062 232 12089 52.1 | 0.632 % | 0.48 c | 384 | 16535 50747 | 6668 384 18678 48.6 | 0.632 % | 0.56 c | 610 | 16535 50747 | 7335 610 34445 56.5 | 0.632 % | 0.62 c | 947 | 16535 50747 | 8068 947 65015 68.7 | 0.632 % | 0.77 c | 1454 | 16535 50747 | 8875 1454 113563 78.1 | 0.632 % | 0.98 c | 2218 | 16535 50747 | 9763 2218 184003 83.0 | 0.632 % | 1.38 c | 3360 | 16535 50747 | 10739 3360 298266 88.8 | 0.632 % | 2.01 c | 5068 | 16535 50747 | 11813 5068 454404 89.7 | 0.632 % | 2.86 c | 7631 | 16535 50747 | 12994 7631 660386 86.5 | 0.632 % | 4.48 c | 11476 | 16535 50747 | 14294 11476 942593 82.1 | 0.632 % | 4.67 c ============================================================================== 4.67 c [1mFound solution: 20[0m 4.67 o 20 4.67 c ---[ 0]---> Sorter-cost: 0 Base: 4.78 c ==================================[MINISAT+]================================== 4.78 c | Conflicts | Original | Learnt | Progress | 4.78 c | | Clauses Literals | Max Clauses Literals LPC | | 4.78 c ============================================================================== 4.78 c | 11954 | 16519 50710 | 5506 11941 970427 81.3 | 0.632 % | 4.84 c | 12055 | 16519 50710 | 6056 3087 184205 59.7 | 0.797 % | 4.88 c | 12205 | 16519 50710 | 6662 3237 191371 59.1 | 0.797 % | 4.95 c | 12430 | 16519 50710 | 7328 3462 202544 58.5 | 0.797 % | 5.05 c | 12767 | 16519 50710 | 8061 3799 220271 58.0 | 0.797 % | 5.22 c | 13273 | 16519 50710 | 8867 4305 244563 56.8 | 0.797 % | 5.47 c | 14034 | 16519 50710 | 9754 5066 278527 55.0 | 0.797 % | 5.82 c | 15173 | 16519 50710 | 10729 6205 318742 51.4 | 0.797 % | 6.30 c | 16882 | 16519 50710 | 11802 7914 412716 52.2 | 0.797 % | 7.23 c | 19446 | 16511 50694 | 12982 10476 495092 47.3 | 0.834 % | 8.76 c | 23290 | 16511 50694 | 14281 7402 284162 38.4 | 0.834 % | 10.81 c ============================================================================== 10.81 c [1mFound solution: 19[0m 10.81 o 19 10.82 c ---[ 0]---> Sorter-cost: 0 Base: 10.94 c ==================================[MINISAT+]================================== 10.94 c | Conflicts | Original | Learnt | Progress | 10.94 c | | Clauses Literals | Max Clauses Literals LPC | | 10.94 c ============================================================================== 10.94 c | 28524 | 16523 50725 | 5507 12636 506264 40.1 | 0.834 % | 11.01 c | 28624 | 16523 50725 | 6057 3259 111757 34.3 | 0.842 % | 11.05 c | 28774 | 16523 50725 | 6663 3409 118469 34.8 | 0.842 % | 11.10 c | 29000 | 16523 50725 | 7329 3635 126426 34.8 | 0.842 % | 11.18 c | 29337 | 16523 50725 | 8062 3972 138926 35.0 | 0.842 % | 11.32 c | 29844 | 16523 50725 | 8869 4479 162841 36.4 | 0.842 % | 11.50 c | 30603 | 16523 50725 | 9755 5238 197362 37.7 | 0.842 % | 11.87 c | 31742 | 16523 50725 | 10731 6377 253844 39.8 | 0.842 % | 12.48 c | 33450 | 16523 50725 | 11804 8085 317874 39.3 | 0.842 % | 13.59 c | 36012 | 16523 50725 | 12985 10647 393737 37.0 | 0.842 % | 14.80 c | 39856 | 16523 50725 | 14283 7925 271367 34.2 | 0.842 % | 16.92 c | 45625 | 16523 50725 | 15712 13694 520763 38.0 | 0.842 % | 20.34 c | 54274 | 16523 50725 | 17283 14384 558482 38.8 | 0.842 % | 26.47 c | 67248 | 16523 50725 | 19011 9674 294748 30.5 | 0.842 % | 35.26 c | 86711 | 16523 50725 | 20912 19447 628726 32.3 | 0.842 % | 49.67 c | 115904 | 16523 50725 | 23004 16656 475212 28.5 | 0.842 % | 72.83 c | 159693 | 16523 50725 | 25304 13409 380549 28.4 | 0.842 % | 109.76 c | 225379 | 16523 50725 | 27834 14228 456948 32.1 | 0.842 % | 166.42 c | 323906 | 16523 50725 | 30618 25406 822557 32.4 | 0.842 % | 261.63 c | 471695 | 16523 50725 | 33680 16441 708368 43.1 | 0.842 % | 408.43 c | 693378 | 16480 50626 | 37048 19145 713461 37.3 | 1.099 % | 533.54 c ============================================================================== 533.54 c [1mFound solution: 18[0m 533.54 o 18 533.55 c ---[ 0]---> Sorter-cost: 0 Base: 533.69 c ==================================[MINISAT+]================================== 533.69 c | Conflicts | Original | Learnt | Progress | 533.69 c | | Clauses Literals | Max Clauses Literals LPC | | 533.69 c ============================================================================== 533.69 c | 878538 | 16249 50087 | 5416 32974 1131143 34.3 | 1.099 % | 534.17 c | 878639 | 16249 50087 | 5957 4102 101977 24.9 | 2.591 % | 534.23 c | 878789 | 16249 50087 | 6553 4252 106542 25.1 | 2.591 % | 534.32 c | 879015 | 16249 50087 | 7208 4478 113263 25.3 | 2.591 % | 534.44 c | 879355 | 16249 50087 | 7929 4818 127146 26.4 | 2.591 % | 534.63 c | 879861 | 16249 50087 | 8722 5324 146204 27.5 | 2.591 % | 534.90 c | 880620 | 16249 50087 | 9594 6083 178552 29.4 | 2.591 % | 535.31 c | 881759 | 16249 50087 | 10554 7222 220962 30.6 | 2.591 % | 536.04 c | 883467 | 16249 50087 | 11609 8930 282039 31.6 | 2.591 % | 537.05 c | 886030 | 16249 50087 | 12770 11493 376779 32.8 | 2.591 % | 538.61 c | 889875 | 16249 50087 | 14047 8601 287960 33.5 | 2.591 % | 541.38 c | 895641 | 16249 50087 | 15452 14367 485077 33.8 | 2.591 % | 545.72 c | 904290 | 16249 50087 | 16997 14860 440944 29.7 | 2.591 % | 551.91 c | 917264 | 16249 50087 | 18697 10092 300511 29.8 | 2.591 % | 562.37 c | 936727 | 16249 50087 | 20567 10130 290194 28.6 | 2.591 % | 576.36 c | 965920 | 16249 50087 | 22623 17223 762042 44.2 | 2.591 % | 600.15 c | 1009710 | 16249 50087 | 24886 14168 353364 24.9 | 2.591 % | 635.50 c | 1075394 | 16233 50055 | 27375 16093 413989 25.7 | 2.627 % | 692.47 c | 1173920 | 16227 50042 | 30112 14839 341327 23.0 | 2.655 % | 785.10 c | 1321709 | 16227 50042 | 33123 29436 1015108 34.5 | 2.655 % | 925.07 c | 1543392 | 16227 50042 | 36436 22908 756200 33.0 | 2.655 % | 1131.32 c | 1875919 | 16227 50042 | 40079 31013 825725 26.6 | 2.655 % | 1237.06 c ============================================================================== 1237.06 c [1mOptimal solution: 18[0m 1237.06 s OPTIMUM FOUND 1237.06 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 1237.06 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 1237.06 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 1237.06 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 1237.06 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1237.06 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1237.06 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1237.06 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1237.06 v -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 1237.06 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1237.06 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1237.06 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 x263 x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1237.06 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1237.06 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 x315 1237.06 v -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1237.06 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1237.06 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1237.06 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1237.06 v -x400 -x401 -x402 -x403 -x404 -x405 x406 1237.06 c _______________________________________________________________________________ 1237.06 c 1237.06 c restarts : 68 1237.06 c conflicts : 2044184 (1653 /sec) 1237.06 c decisions : 3005806 (2431 /sec) 1237.06 c propagations : 0 (0 /sec) 1237.06 c inspects : 0 (0 /sec) 1237.06 c CPU time : 1236.44 s 1237.06 c _______________________________________________________________________________
OK 18
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-35418-1149407427 -o ROOT/results/node12/solver-35418-1149407427 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node12/35418-1149407427/instance-35418-1149407427.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.98 1.03 0.97 2/64 23838 /proc/meminfo: memFree=1802200/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=1048 CPUtime=0 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 98 0 0 0 0 0 0 0 19 0 1 0 206405264 1073152 83 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 262 83 67 215 0 44 0 [startup+10.0025 s] /proc/loadavg: 0.98 1.03 0.97 2/64 23838 /proc/meminfo: memFree=1794456/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=8788 CPUtime=9.98 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2055 0 0 0 997 1 0 0 25 0 1 0 206405264 8998912 2039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2197 2039 111 215 0 1979 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 8788 [startup+20.0093 s] /proc/loadavg: 0.98 1.03 0.97 2/64 23838 /proc/meminfo: memFree=1794456/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=8788 CPUtime=19.98 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2056 0 0 0 1997 1 0 0 25 0 1 0 206405264 8998912 2040 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573384 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2197 2040 111 215 0 1979 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 8788 [startup+30.0161 s] /proc/loadavg: 0.98 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1794456/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=8924 CPUtime=29.98 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2072 0 0 0 2997 1 0 0 25 0 1 0 206405264 9138176 2056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581133 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2231 2056 111 215 0 2013 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 8924 [startup+40.0229 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1794328/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=9084 CPUtime=39.99 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2101 0 0 0 3998 1 0 0 25 0 1 0 206405264 9302016 2085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2271 2085 111 215 0 2053 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 9084 [startup+50.0287 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1794072/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=9216 CPUtime=49.99 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2155 0 0 0 4998 1 0 0 25 0 1 0 206405264 9437184 2139 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2304 2139 111 215 0 2086 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 9216 [startup+60.0355 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1793688/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=9760 CPUtime=59.99 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2276 0 0 0 5998 1 0 0 25 0 1 0 206405264 9994240 2260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581116 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2440 2260 111 215 0 2222 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 9760 [startup+70.0413 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1793560/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=9900 CPUtime=69.99 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2304 0 0 0 6998 1 0 0 25 0 1 0 206405264 10137600 2288 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2475 2288 111 215 0 2257 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 9900 [startup+80.0481 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1793368/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=10172 CPUtime=79.99 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2372 0 0 0 7998 1 0 0 25 0 1 0 206405264 10416128 2356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2543 2356 111 215 0 2325 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 10172 [startup+90.0539 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1793112/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=10436 CPUtime=90 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2428 0 0 0 8999 1 0 0 25 0 1 0 206405264 10686464 2412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2609 2412 111 215 0 2391 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 10436 [startup+100.06 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1792792/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=10700 CPUtime=100 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2512 0 0 0 9999 1 0 0 25 0 1 0 206405264 10956800 2496 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572774 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2675 2496 111 215 0 2457 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 10700 [startup+110.066 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1792472/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=11112 CPUtime=110.01 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2589 0 0 0 10999 2 0 0 25 0 1 0 206405264 11378688 2573 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581202 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2778 2573 111 215 0 2560 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 11112 [startup+120.071 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1791960/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=11544 CPUtime=120.01 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2708 0 0 0 11999 2 0 0 25 0 1 0 206405264 11821056 2692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2886 2692 111 215 0 2668 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 11544 [startup+130.077 s] /proc/loadavg: 0.99 1.02 0.97 2/64 23838 /proc/meminfo: memFree=1791512/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=11952 CPUtime=130.01 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2812 0 0 0 12999 2 0 0 25 0 1 0 206405264 12238848 2796 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 2988 2796 111 215 0 2770 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 11952 [startup+140.083 s] /proc/loadavg: 0.99 1.01 0.97 2/64 23838 /proc/meminfo: memFree=1791384/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=12212 CPUtime=140.01 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2847 0 0 0 13999 2 0 0 25 0 1 0 206405264 12505088 2831 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588636 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 3053 2831 111 215 0 2835 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 12212 [startup+150.089 s] /proc/loadavg: 0.99 1.01 0.97 2/64 23838 /proc/meminfo: memFree=1791256/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=12364 CPUtime=150.02 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2883 0 0 0 15000 2 0 0 25 0 1 0 206405264 12660736 2867 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 3091 2867 111 215 0 2873 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 12364 [startup+160.095 s] /proc/loadavg: 0.99 1.01 0.97 2/64 23838 /proc/meminfo: memFree=1791192/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=12364 CPUtime=160.02 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2902 0 0 0 16000 2 0 0 25 0 1 0 206405264 12660736 2886 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568479 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 3091 2886 111 215 0 2873 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 12364 [startup+170.1 s] /proc/loadavg: 0.99 1.01 0.97 2/64 23838 /proc/meminfo: memFree=1790936/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=12648 CPUtime=170.02 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2959 0 0 0 17000 2 0 0 25 0 1 0 206405264 12951552 2943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 3162 2943 111 215 0 2944 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 12648 [startup+180.106 s] /proc/loadavg: 0.99 1.01 0.97 2/64 23838 /proc/meminfo: memFree=1790808/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=12776 CPUtime=180.02 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 2992 0 0 0 18000 2 0 0 25 0 1 0 206405264 13082624 2976 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 3194 2976 111 215 0 2976 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 12776 [startup+190.112 s] /proc/loadavg: 0.99 1.01 0.97 2/64 23838 /proc/meminfo: memFree=1790616/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=12924 CPUtime=190.03 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 3042 0 0 0 19001 2 0 0 25 0 1 0 206405264 13234176 3026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572737 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 3231 3026 111 215 0 3013 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 12924 [startup+200.118 s] /proc/loadavg: 0.99 1.01 0.97 2/64 23838 /proc/meminfo: memFree=1790552/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=13080 CPUtime=200.03 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 3057 0 0 0 20001 2 0 0 25 0 1 0 206405264 13393920 3041 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 3270 3041 111 215 0 3052 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 13080 [startup+210.124 s] /proc/loadavg: 0.99 1.01 0.97 2/64 23838 /proc/meminfo: memFree=1790296/2055920 swapFree=4181412/4192956 ################ # More data... # ################ /proc/23838/statm: 4452 4193 111 215 0 4234 0 Current children cumulated CPU time (s) 1020.14 Current children cumulated vsize (Kb) 17808 [startup+1030.62 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1785560/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=17808 CPUtime=1030.15 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4209 0 0 0 103007 8 0 0 25 0 1 0 206405264 18235392 4193 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4452 4193 111 215 0 4234 0 Current children cumulated CPU time (s) 1030.15 Current children cumulated vsize (Kb) 17808 [startup+1040.62 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1785560/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=17808 CPUtime=1040.15 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4209 0 0 0 104007 8 0 0 25 0 1 0 206405264 18235392 4193 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4452 4193 111 215 0 4234 0 Current children cumulated CPU time (s) 1040.15 Current children cumulated vsize (Kb) 17808 [startup+1050.63 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1785496/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=17808 CPUtime=1050.15 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4221 0 0 0 105007 8 0 0 25 0 1 0 206405264 18235392 4205 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583792 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4452 4205 111 215 0 4234 0 Current children cumulated CPU time (s) 1050.15 Current children cumulated vsize (Kb) 17808 [startup+1060.63 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1785368/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=17940 CPUtime=1060.15 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4246 0 0 0 106007 8 0 0 25 0 1 0 206405264 18370560 4230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4485 4230 111 215 0 4267 0 Current children cumulated CPU time (s) 1060.15 Current children cumulated vsize (Kb) 17940 [startup+1070.64 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1785048/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18204 CPUtime=1070.16 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4326 0 0 0 107008 8 0 0 25 0 1 0 206405264 18640896 4310 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4551 4310 111 215 0 4333 0 Current children cumulated CPU time (s) 1070.16 Current children cumulated vsize (Kb) 18204 [startup+1080.65 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784984/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18380 CPUtime=1080.16 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4348 0 0 0 108008 8 0 0 25 0 1 0 206405264 18821120 4332 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4595 4332 111 215 0 4377 0 Current children cumulated CPU time (s) 1080.16 Current children cumulated vsize (Kb) 18380 [startup+1090.65 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784920/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18380 CPUtime=1090.16 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4348 0 0 0 109008 8 0 0 25 0 1 0 206405264 18821120 4332 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4595 4332 111 215 0 4377 0 Current children cumulated CPU time (s) 1090.16 Current children cumulated vsize (Kb) 18380 [startup+1100.66 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784984/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18380 CPUtime=1100.16 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4361 0 0 0 110008 8 0 0 25 0 1 0 206405264 18821120 4345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4595 4345 111 215 0 4377 0 Current children cumulated CPU time (s) 1100.16 Current children cumulated vsize (Kb) 18380 [startup+1110.66 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784920/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18380 CPUtime=1110.17 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4367 0 0 0 111009 8 0 0 25 0 1 0 206405264 18821120 4351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4595 4351 111 215 0 4377 0 Current children cumulated CPU time (s) 1110.17 Current children cumulated vsize (Kb) 18380 [startup+1120.67 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784920/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18380 CPUtime=1120.17 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4367 0 0 0 112009 8 0 0 25 0 1 0 206405264 18821120 4351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4595 4351 111 215 0 4377 0 Current children cumulated CPU time (s) 1120.17 Current children cumulated vsize (Kb) 18380 [startup+1130.68 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784920/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18380 CPUtime=1130.17 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4367 0 0 0 113009 8 0 0 25 0 1 0 206405264 18821120 4351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4595 4351 111 215 0 4377 0 Current children cumulated CPU time (s) 1130.17 Current children cumulated vsize (Kb) 18380 [startup+1140.68 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784920/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18460 CPUtime=1140.17 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4369 0 0 0 114009 8 0 0 25 0 1 0 206405264 18903040 4353 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4615 4353 111 215 0 4397 0 Current children cumulated CPU time (s) 1140.17 Current children cumulated vsize (Kb) 18460 [startup+1150.69 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784792/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18616 CPUtime=1150.18 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4386 0 0 0 115010 8 0 0 25 0 1 0 206405264 19062784 4370 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4654 4370 111 215 0 4436 0 Current children cumulated CPU time (s) 1150.18 Current children cumulated vsize (Kb) 18616 [startup+1160.69 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784728/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18780 CPUtime=1160.18 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4410 0 0 0 116010 8 0 0 25 0 1 0 206405264 19230720 4394 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4695 4394 111 215 0 4477 0 Current children cumulated CPU time (s) 1160.18 Current children cumulated vsize (Kb) 18780 [startup+1170.7 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784728/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18780 CPUtime=1170.18 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4410 0 0 0 117010 8 0 0 25 0 1 0 206405264 19230720 4394 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4695 4394 111 215 0 4477 0 Current children cumulated CPU time (s) 1170.18 Current children cumulated vsize (Kb) 18780 [startup+1180.7 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784664/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18780 CPUtime=1180.18 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4410 0 0 0 118010 8 0 0 25 0 1 0 206405264 19230720 4394 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576145 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4695 4394 111 215 0 4477 0 Current children cumulated CPU time (s) 1180.18 Current children cumulated vsize (Kb) 18780 [startup+1190.71 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784664/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18780 CPUtime=1190.19 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4413 0 0 0 119011 8 0 0 25 0 1 0 206405264 19230720 4397 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581202 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4695 4397 111 215 0 4477 0 Current children cumulated CPU time (s) 1190.19 Current children cumulated vsize (Kb) 18780 [startup+1200.72 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784664/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18780 CPUtime=1200.2 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4413 0 0 0 120011 9 0 0 25 0 1 0 206405264 19230720 4397 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573815 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4695 4397 111 215 0 4477 0 Current children cumulated CPU time (s) 1200.2 Current children cumulated vsize (Kb) 18780 [startup+1210.72 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784664/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18780 CPUtime=1210.2 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4413 0 0 0 121011 9 0 0 25 0 1 0 206405264 19230720 4397 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580461 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4695 4397 111 215 0 4477 0 Current children cumulated CPU time (s) 1210.2 Current children cumulated vsize (Kb) 18780 [startup+1220.73 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784664/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18780 CPUtime=1220.2 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4413 0 0 0 122011 9 0 0 25 0 1 0 206405264 19230720 4397 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4695 4397 111 215 0 4477 0 Current children cumulated CPU time (s) 1220.2 Current children cumulated vsize (Kb) 18780 [startup+1230.73 s] /proc/loadavg: 0.99 1.00 0.97 2/64 24033 /proc/meminfo: memFree=1784536/2055920 swapFree=4181412/4192956 [pid=23838] ppid=23836 vsize=18780 CPUtime=1230.2 /proc/23838/stat : 23838 (minisat+) R 23836 23838 23792 0 -1 4194304 4435 0 0 0 123011 9 0 0 25 0 1 0 206405264 19230720 4419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23838/statm: 4695 4419 111 215 0 4477 0 Current children cumulated CPU time (s) 1230.2 Current children cumulated vsize (Kb) 18780 Child status: 30 Real time (s): 1237.07 CPU time (s): 1236.54 CPU user time (s): 1236.44 CPU system time (s): 0.095985 CPU usage (%): 99.9571 Max. virtual memory (cumulated for all children) (Kb): 18780
Begin job on node12 on Sun Jun 4 07:50:27 UTC 2006 FILE ID= 35418-1149407427 PBS_JOBID= 314484 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-f51m.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node12/35418-1149407427/instance-35418-1149407427.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-35418-1149407427 -o ROOT/results/node12/solver-35418-1149407427 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node12/35418-1149407427/instance-35418-1149407427.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 95b567c682e7e3efe2c93879e0e7c89d RANDOM SEED= 429841698 /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.282 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.282 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: 1802408 kB Buffers: 11692 kB Cached: 171576 kB SwapCached: 3188 kB Active: 35940 kB Inactive: 156032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1802408 kB SwapTotal: 4192956 kB SwapFree: 4181412 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14692 kB Slab: 47604 kB Committed_AS: 377204 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node12 on Sun Jun 4 08:11:04 UTC 2006