Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 1324 | 1800.58 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb |
MD5SUM | 8aa1aebf70d33d96463ba96014c98682 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1053 |
Best CPU time to get the best result obtained on this benchmark | 0.094984 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1053 |
Optimality of the best value was proved | YES |
Number of variables | 304 |
Total number of constraints | 671 |
Number of constraints which are clauses | 671 |
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 | 28 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 12887 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 12887 |
Number of bits of the biggest sum of numbers | 14 |
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.04 c Converting 667 PB-constraints to clauses... 0.04 c -- Unit propagations: (none) 0.04 c -- Detecting intervals from adjacent constraints: (none) 0.04 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.04 c ==================================[MINISAT+]================================== 0.04 c | Conflicts | Original | Learnt | Progress | 0.04 c | | Clauses Literals | Max Clauses Literals LPC | | 0.04 c ============================================================================== 0.04 c | 0 | 667 3359 | 222 0 0 nan | 0.000 % | 0.04 c ============================================================================== 0.04 c [1mFound solution: 1524[0m 0.04 o 1524 0.04 c ---[ 0]---> Sorter-cost:43621 Base: 2 5 2 2 0.34 c ==================================[MINISAT+]================================== 0.34 c | Conflicts | Original | Learnt | Progress | 0.34 c | | Clauses Literals | Max Clauses Literals LPC | | 0.34 c ============================================================================== 0.34 c | 0 | 105121 247278 | 35040 0 0 nan | 0.000 % | 0.45 c | 103 | 104168 245118 | 38544 97 4313 44.5 | 0.665 % | 0.66 c | 253 | 103349 243238 | 42398 229 8034 35.1 | 1.287 % | 0.89 c | 479 | 103349 243238 | 46638 455 17849 39.2 | 1.287 % | 1.40 c | 816 | 103349 243238 | 51302 792 23717 29.9 | 1.287 % | 1.90 c | 1322 | 103349 243238 | 56432 1298 40177 31.0 | 1.287 % | 2.51 c | 2083 | 103122 242717 | 62075 2058 75941 36.9 | 1.487 % | 3.27 c | 3222 | 102780 241953 | 68283 3169 126886 40.0 | 1.754 % | 5.01 c | 4932 | 102722 241821 | 75111 4870 197921 40.6 | 1.797 % | 6.46 c | 7495 | 102722 241821 | 82622 7433 294908 39.7 | 1.797 % | 7.86 c ============================================================================== 7.86 c [1mFound solution: 1514[0m 7.86 o 1514 7.86 c ---[ 0]---> Sorter-cost:36082 Base: 2 5 2 2 8.15 c ==================================[MINISAT+]================================== 8.15 c | Conflicts | Original | Learnt | Progress | 8.15 c | | Clauses Literals | Max Clauses Literals LPC | | 8.15 c ============================================================================== 8.15 c | 8239 | 189796 445156 | 63265 8177 316528 38.7 | 1.797 % | 8.45 c | 8339 | 189796 445156 | 69591 8277 322185 38.9 | 1.049 % | 8.87 c | 8490 | 189796 445156 | 76550 8428 326473 38.7 | 1.049 % | 9.27 c | 8715 | 189774 445107 | 84205 8650 331229 38.3 | 1.059 % | 9.36 c | 9052 | 189647 444838 | 92626 8982 333087 37.1 | 1.125 % | 9.78 c | 9558 | 189568 444660 | 101888 9486 337879 35.6 | 1.152 % | 10.02 c ============================================================================== 10.02 c [1mFound solution: 1498[0m 10.02 o 1498 10.03 c ---[ 0]---> Sorter-cost: 3 Base: 2 5 2 2 10.21 c ==================================[MINISAT+]================================== 10.21 c | Conflicts | Original | Learnt | Progress | 10.21 c | | Clauses Literals | Max Clauses Literals LPC | | 10.21 c ============================================================================== 10.21 c | 9601 | 189573 444797 | 63191 9529 339448 35.6 | 1.152 % | 10.36 c ============================================================================== 10.36 c [1mFound solution: 1490[0m 10.36 o 1490 10.37 c ---[ 0]---> Sorter-cost: 4 Base: 2 5 2 2 10.56 c ==================================[MINISAT+]================================== 10.56 c | Conflicts | Original | Learnt | Progress | 10.56 c | | Clauses Literals | Max Clauses Literals LPC | | 10.56 c ============================================================================== 10.56 c | 9608 | 189907 445610 | 63302 9536 339814 35.6 | 1.152 % | 10.67 c ============================================================================== 10.67 c [1mFound solution: 1450[0m 10.67 o 1450 10.67 c ---[ 0]---> Sorter-cost: 2 Base: 2 5 2 2 10.86 c ==================================[MINISAT+]================================== 10.86 c | Conflicts | Original | Learnt | Progress | 10.86 c | | Clauses Literals | Max Clauses Literals LPC | | 10.86 c ============================================================================== 10.86 c | 9611 | 189928 445664 | 63309 9539 340630 35.7 | 1.152 % | 10.98 c ============================================================================== 10.98 c [1mFound solution: 1416[0m 10.98 o 1416 10.98 c ---[ 0]---> Sorter-cost: 5 Base: 2 5 2 2 11.19 c ==================================[MINISAT+]================================== 11.19 c | Conflicts | Original | Learnt | Progress | 11.19 c | | Clauses Literals | Max Clauses Literals LPC | | 11.19 c ============================================================================== 11.19 c | 9623 | 190264 446559 | 63421 9551 341049 35.7 | 1.152 % | 11.40 c | 9724 | 190264 446559 | 69763 9652 348331 36.1 | 1.152 % | 11.81 c | 9874 | 190264 446559 | 76739 9802 364696 37.2 | 1.152 % | 12.27 c | 10099 | 190252 446532 | 84413 10026 380599 38.0 | 1.157 % | 13.16 c | 10439 | 190252 446532 | 92854 10366 387470 37.4 | 1.157 % | 13.96 c | 10945 | 190252 446532 | 102140 10872 406819 37.4 | 1.157 % | 15.25 c ============================================================================== 15.25 c [1mFound solution: 1326[0m 15.25 o 1326 15.26 c ---[ 0]---> Sorter-cost: 4 Base: 2 5 2 2 15.44 c ==================================[MINISAT+]================================== 15.44 c | Conflicts | Original | Learnt | Progress | 15.44 c | | Clauses Literals | Max Clauses Literals LPC | | 15.44 c ============================================================================== 15.44 c | 11585 | 190286 446619 | 63428 11512 555064 48.2 | 1.157 % | 15.62 c | 11686 | 190286 446619 | 69770 11613 558245 48.1 | 1.158 % | 15.90 c | 11839 | 190286 446619 | 76747 11766 566083 48.1 | 1.158 % | 16.24 c | 12064 | 190286 446619 | 84422 11991 577304 48.1 | 1.158 % | 16.69 c | 12402 | 190286 446619 | 92864 12329 581418 47.2 | 1.158 % | 17.74 c | 12908 | 190258 446556 | 102151 12834 604153 47.1 | 1.167 % | 18.96 c | 13667 | 190204 446436 | 112366 13589 636533 46.8 | 1.190 % | 20.64 c | 14806 | 190153 446322 | 123603 14720 668941 45.4 | 1.212 % | 24.24 c | 16514 | 189969 445907 | 135963 16409 754857 46.0 | 1.289 % | 30.49 c | 19076 | 189969 445907 | 149559 18971 880480 46.4 | 1.289 % | 40.23 c | 22921 | 189969 445907 | 164515 22816 1083581 47.5 | 1.289 % | 52.25 c | 28688 | 189969 445907 | 180967 28583 1429962 50.0 | 1.289 % | 83.01 c | 37340 | 189969 445907 | 199064 37235 2157656 57.9 | 1.289 % | 127.56 c | 50318 | 189969 445907 | 218970 50213 4133473 82.3 | 1.289 % | 194.87 c | 69780 | 189969 445907 | 240867 69675 7316398 105.0 | 1.289 % | 323.98 c | 98972 | 189969 445907 | 264954 98867 9521248 96.3 | 1.289 % | 342.75 c ============================================================================== 342.75 c [1mFound solution: 1324[0m 342.75 o 1324 342.75 c ---[ 0]---> Sorter-cost: 4 Base: 2 5 2 2 343.05 c ==================================[MINISAT+]================================== 343.05 c | Conflicts | Original | Learnt | Progress | 343.05 c | | Clauses Literals | Max Clauses Literals LPC | | 343.05 c ============================================================================== 343.05 c | 103515 | 189977 445930 | 63325 103410 9864340 95.4 | 1.289 % | 343.76 c | 103615 | 189977 445930 | 69657 18613 1032565 55.5 | 1.291 % | 344.04 c | 103765 | 189977 445930 | 76623 18763 1036578 55.2 | 1.291 % | 344.69 c | 103990 | 189977 445930 | 84285 18988 1051711 55.4 | 1.291 % | 345.85 c | 104327 | 189977 445930 | 92714 19325 1079023 55.8 | 1.291 % | 347.17 c | 104837 | 189977 445930 | 101985 19835 1098296 55.4 | 1.291 % | 348.76 c | 105597 | 189977 445930 | 112184 20595 1163040 56.5 | 1.291 % | 351.74 c | 106736 | 189977 445930 | 123402 21734 1258878 57.9 | 1.291 % | 358.43 c | 108445 | 189977 445930 | 135742 23443 1474702 62.9 | 1.291 % | 367.16 c | 111008 | 189977 445930 | 149317 26006 1731897 66.6 | 1.291 % | 379.01 c | 114852 | 189977 445930 | 164248 29850 2178775 73.0 | 1.291 % | 396.71 c | 120619 | 189977 445930 | 180673 35617 2620416 73.6 | 1.291 % | 424.33 c | 129269 | 189977 445930 | 198740 44267 3200456 72.3 | 1.291 % | 449.90 c | 142243 | 189977 445930 | 218615 57241 3742566 65.4 | 1.291 % | 519.95 c | 161704 | 189977 445930 | 240476 76702 5254363 68.5 | 1.291 % | 626.15 c | 190898 | 189977 445930 | 264524 105896 8882577 83.9 | 1.291 % | 767.55 c | 234688 | 189977 445930 | 290976 149686 12096513 80.8 | 1.291 % | 1106.94 c | 300373 | 189926 445816 | 320074 215370 16213901 75.3 | 1.309 % | 1700.88 c | 398901 | 189926 445816 | 352081 313898 21141809 67.4 | 1.309 % | 1801.16 c 1801.16 c *** TERMINATED *** 1801.16 s SATISFIABLE 1801.16 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 1801.16 v 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 1801.16 v -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 1801.16 v -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 1801.16 v -x108 -x109 -x110 x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 1801.16 v x129 x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1801.16 v -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 1801.16 v x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 1801.16 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1801.16 v -x213 -x214 -x215 x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1801.16 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1801.16 v -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1801.16 v x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1801.16 v -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304
OK 1324
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/node36/watcher-35388-1149402190 -o ROOT/results/node36/solver-35388-1149402190 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35388-1149402190/instance-35388-1149402190.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1620072/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=1048 CPUtime=0 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 205885089 1073152 102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 262 102 74 215 0 44 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1602536/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=20384 CPUtime=9.99 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 4714 0 0 0 997 2 0 0 25 0 1 0 205885089 20873216 4480 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 5096 4480 111 215 0 4878 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 20384 [startup+20.0095 s] /proc/loadavg: 0.94 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1600808/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=22192 CPUtime=20 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 5400 0 0 0 1997 3 0 0 25 0 1 0 205885089 22724608 4931 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 5548 4931 111 215 0 5330 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 22192 [startup+30.0163 s] /proc/loadavg: 0.95 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1599784/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=23312 CPUtime=30 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 5661 0 0 0 2997 3 0 0 25 0 1 0 205885089 23871488 5192 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 5828 5192 111 215 0 5610 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 23312 [startup+40.0222 s] /proc/loadavg: 0.96 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1598760/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=24364 CPUtime=40 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 5913 0 0 0 3997 3 0 0 25 0 1 0 205885089 24948736 5444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 6091 5444 111 215 0 5873 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 24364 [startup+50.029 s] /proc/loadavg: 0.96 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1597480/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=25712 CPUtime=50 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 6260 0 0 0 4997 3 0 0 25 0 1 0 205885089 26329088 5791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 6428 5791 111 215 0 6210 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 25712 [startup+60.0348 s] /proc/loadavg: 0.97 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1596264/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=26892 CPUtime=60.01 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 6551 0 0 0 5997 4 0 0 25 0 1 0 205885089 27537408 6082 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 6723 6082 111 215 0 6505 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 26892 [startup+70.0406 s] /proc/loadavg: 0.97 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1595240/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=27928 CPUtime=70 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 6818 0 0 0 6996 4 0 0 25 0 1 0 205885089 28598272 6349 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 6982 6349 111 215 0 6764 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 27928 [startup+80.0464 s] /proc/loadavg: 0.98 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1594216/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=28976 CPUtime=80.01 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 7069 0 0 0 7996 5 0 0 25 0 1 0 205885089 29671424 6600 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 7244 6600 111 215 0 7026 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 28976 [startup+90.0522 s] /proc/loadavg: 0.98 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1593192/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=29880 CPUtime=90.01 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 7318 0 0 0 8996 5 0 0 25 0 1 0 205885089 30597120 6849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 7470 6849 111 215 0 7252 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 29880 [startup+100.058 s] /proc/loadavg: 0.98 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1591720/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=31404 CPUtime=100.01 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 7689 0 0 0 9996 5 0 0 25 0 1 0 205885089 32157696 7220 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 7851 7220 111 215 0 7633 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 31404 [startup+110.064 s] /proc/loadavg: 0.98 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1589480/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=33732 CPUtime=110.02 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 8251 0 0 0 10996 6 0 0 25 0 1 0 205885089 34541568 7782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 8433 7782 111 215 0 8215 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 33732 [startup+120.07 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1587304/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=35836 CPUtime=120.02 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 8791 0 0 0 11995 7 0 0 25 0 1 0 205885089 36696064 8322 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 8959 8322 111 215 0 8741 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 35836 [startup+130.075 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1585064/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=38072 CPUtime=130.02 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 9343 0 0 0 12995 7 0 0 25 0 1 0 205885089 38985728 8874 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 9518 8874 111 215 0 9300 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 38072 [startup+140.081 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1583400/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=39832 CPUtime=140.03 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 9767 0 0 0 13995 8 0 0 25 0 1 0 205885089 40787968 9298 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 9958 9298 111 215 0 9740 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 39832 [startup+150.087 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1581800/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=41408 CPUtime=150.02 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 10165 0 0 0 14994 8 0 0 25 0 1 0 205885089 42401792 9696 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 10352 9696 111 215 0 10134 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 41408 [startup+160.093 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1579688/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=43368 CPUtime=160.03 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 10679 0 0 0 15994 9 0 0 25 0 1 0 205885089 44408832 10210 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 10842 10210 111 215 0 10624 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 43368 [startup+170.099 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1577448/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=45708 CPUtime=170.03 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 11242 0 0 0 16993 10 0 0 25 0 1 0 205885089 46804992 10773 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 11427 10773 111 215 0 11209 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 45708 [startup+180.105 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1575208/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=47932 CPUtime=180.04 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 11794 0 0 0 17993 11 0 0 25 0 1 0 205885089 49082368 11325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581327 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 11983 11325 111 215 0 11765 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 47932 [startup+190.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1573096/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=50032 CPUtime=190.03 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 12323 0 0 0 18992 11 0 0 25 0 1 0 205885089 51232768 11854 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 12508 11854 111 215 0 12290 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 50032 [startup+200.116 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1571560/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=51612 CPUtime=200.04 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 12707 0 0 0 19992 12 0 0 25 0 1 0 205885089 52850688 12238 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 12903 12238 111 215 0 12685 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 51612 [startup+210.122 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13369 /proc/meminfo: memFree=1570792/2055920 swapFree=4181452/4192956 ################ # More data... # ################ [pid=13369] ppid=13367 vsize=120136 CPUtime=1781.46 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29722 0 0 0 178112 34 0 0 25 0 1 0 205885089 123019264 29202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30034 29202 111 215 0 29816 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 120136 [startup+1783.07 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503400/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120136 CPUtime=1782.47 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29730 0 0 0 178213 34 0 0 25 0 1 0 205885089 123019264 29210 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580461 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30034 29210 111 215 0 29816 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 120136 [startup+1784.08 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503336/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120136 CPUtime=1783.47 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29739 0 0 0 178313 34 0 0 25 0 1 0 205885089 123019264 29219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30034 29219 111 215 0 29816 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 120136 [startup+1785.08 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503272/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120264 CPUtime=1784.47 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29750 0 0 0 178413 34 0 0 25 0 1 0 205885089 123150336 29230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30066 29230 111 215 0 29848 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 120264 [startup+1786.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503272/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120264 CPUtime=1785.48 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29760 0 0 0 178514 34 0 0 25 0 1 0 205885089 123150336 29240 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30066 29240 111 215 0 29848 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 120264 [startup+1787.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503208/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120264 CPUtime=1786.48 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29769 0 0 0 178614 34 0 0 25 0 1 0 205885089 123150336 29249 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30066 29249 111 215 0 29848 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 120264 [startup+1788.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503144/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120392 CPUtime=1787.49 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29780 0 0 0 178715 34 0 0 25 0 1 0 205885089 123281408 29260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30098 29260 111 215 0 29880 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 120392 [startup+1789.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503144/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120392 CPUtime=1788.49 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29790 0 0 0 178815 34 0 0 25 0 1 0 205885089 123281408 29270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30098 29270 111 215 0 29880 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 120392 [startup+1790.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503080/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120392 CPUtime=1789.5 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29800 0 0 0 178916 34 0 0 25 0 1 0 205885089 123281408 29280 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30098 29280 111 215 0 29880 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 120392 [startup+1791.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503080/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120392 CPUtime=1790.5 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29808 0 0 0 179016 34 0 0 25 0 1 0 205885089 123281408 29288 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581512 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30098 29288 111 215 0 29880 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 120392 [startup+1792.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1503016/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120524 CPUtime=1791.51 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29820 0 0 0 179117 34 0 0 25 0 1 0 205885089 123416576 29300 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30131 29300 111 215 0 29913 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 120524 [startup+1793.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502952/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120524 CPUtime=1792.51 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29833 0 0 0 179217 34 0 0 25 0 1 0 205885089 123416576 29313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30131 29313 111 215 0 29913 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 120524 [startup+1794.13 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502888/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120524 CPUtime=1793.51 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29843 0 0 0 179317 34 0 0 25 0 1 0 205885089 123416576 29323 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30131 29323 111 215 0 29913 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 120524 [startup+1795.13 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502888/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120652 CPUtime=1794.52 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29855 0 0 0 179418 34 0 0 25 0 1 0 205885089 123547648 29335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30163 29335 111 215 0 29945 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 120652 [startup+1796.14 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502824/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120652 CPUtime=1795.52 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29861 0 0 0 179518 34 0 0 25 0 1 0 205885089 123547648 29341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30163 29341 111 215 0 29945 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 120652 [startup+1797.14 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502824/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120652 CPUtime=1796.53 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29870 0 0 0 179619 34 0 0 25 0 1 0 205885089 123547648 29350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30163 29350 111 215 0 29945 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 120652 [startup+1798.15 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502760/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120652 CPUtime=1797.53 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29878 0 0 0 179719 34 0 0 25 0 1 0 205885089 123547648 29358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30163 29358 111 215 0 29945 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 120652 [startup+1799.15 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502760/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120784 CPUtime=1798.54 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29888 0 0 0 179820 34 0 0 25 0 1 0 205885089 123682816 29368 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30196 29368 111 215 0 29978 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 120784 [startup+1800.16 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502696/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120784 CPUtime=1799.54 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29896 0 0 0 179920 34 0 0 25 0 1 0 205885089 123682816 29376 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30196 29376 111 215 0 29978 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 120784 [startup+1801.16 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502696/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120784 CPUtime=1800.55 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29903 0 0 0 180021 34 0 0 25 0 1 0 205885089 123682816 29383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30196 29383 111 215 0 29978 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 120784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.99 0.99 2/64 13371 /proc/meminfo: memFree=1502696/2055920 swapFree=4181452/4192956 [pid=13369] ppid=13367 vsize=120784 CPUtime=1800.55 /proc/13369/stat : 13369 (minisat+) R 13367 13369 13323 0 -1 4194304 29903 0 0 0 180021 34 0 0 25 0 1 0 205885089 123682816 29383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13369/statm: 30196 29383 111 215 0 29978 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 120784 Sending SIGTERM to -13369 Sleeping 2 seconds Child status: 10 Real time (s): 1801.19 CPU time (s): 1800.58 CPU user time (s): 1800.21 CPU system time (s): 0.369943 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (Kb): 120784
Begin job on node36 on Sun Jun 4 06:23:10 UTC 2006 FILE ID= 35388-1149402190 PBS_JOBID= 314091 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35388-1149402190/instance-35388-1149402190.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-35388-1149402190 -o ROOT/results/node36/solver-35388-1149402190 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35388-1149402190/instance-35388-1149402190.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 8aa1aebf70d33d96463ba96014c98682 RANDOM SEED= 860929997 /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.284 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.284 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: 1620280 kB Buffers: 29216 kB Cached: 333508 kB SwapCached: 3320 kB Active: 95992 kB Inactive: 275504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1620280 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 224 kB Writeback: 0 kB Mapped: 14932 kB Slab: 50204 kB Committed_AS: 377856 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Sun Jun 4 06:53:11 UTC 2006