Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 1633 | 1800.58 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb |
MD5SUM | 2dad588c047f66368bead690393575a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1567 |
Best CPU time to get the best result obtained on this benchmark | 0.019996 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1567 |
Optimality of the best value was proved | YES |
Number of variables | 133 |
Total number of constraints | 229 |
Number of constraints which are clauses | 229 |
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 | 31 |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 5699 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 5699 |
Number of bits of the biggest sum of numbers | 13 |
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.01 c Converting 199 PB-constraints to clauses... 0.01 c -- Unit propagations: (none) 0.01 c -- Detecting intervals from adjacent constraints: (none) 0.01 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................... 0.01 c ==================================[MINISAT+]================================== 0.01 c | Conflicts | Original | Learnt | Progress | 0.01 c | | Clauses Literals | Max Clauses Literals LPC | | 0.01 c ============================================================================== 0.01 c | 0 | 197 772 | 65 0 0 nan | 0.000 % | 0.01 c ============================================================================== 0.01 c [1mFound solution: 1846[0m 0.01 o 1846 0.01 c ---[ 0]---> Sorter-cost:10637 Base: 2 5 2 2 0.10 c ==================================[MINISAT+]================================== 0.10 c | Conflicts | Original | Learnt | Progress | 0.10 c | | Clauses Literals | Max Clauses Literals LPC | | 0.10 c ============================================================================== 0.10 c | 0 | 23652 55574 | 7884 0 0 nan | 0.000 % | 0.11 c | 101 | 23607 55480 | 8672 100 739 7.4 | 0.303 % | 0.13 c | 253 | 23607 55480 | 9539 252 1980 7.9 | 0.304 % | 0.17 c | 479 | 23461 55153 | 10493 470 4112 8.7 | 0.715 % | 0.28 c | 817 | 23461 55153 | 11542 808 23124 28.6 | 0.715 % | 0.45 c | 1324 | 23390 54993 | 12697 1309 32152 24.6 | 0.954 % | 0.53 c ============================================================================== 0.53 c [1mFound solution: 1819[0m 0.53 o 1819 0.53 c ---[ 0]---> Sorter-cost: 5 Base: 2 5 2 2 0.60 c ==================================[MINISAT+]================================== 0.60 c | Conflicts | Original | Learnt | Progress | 0.60 c | | Clauses Literals | Max Clauses Literals LPC | | 0.60 c ============================================================================== 0.60 c | 1541 | 23584 55524 | 7861 1525 35890 23.5 | 0.954 % | 0.63 c | 1641 | 23584 55524 | 8647 1625 37279 22.9 | 0.975 % | 0.69 c | 1791 | 23584 55524 | 9511 1775 48320 27.2 | 0.975 % | 0.74 c ============================================================================== 0.74 c [1mFound solution: 1816[0m 0.74 o 1816 0.74 c ---[ 0]---> Sorter-cost: 4 Base: 2 5 2 2 0.81 c ==================================[MINISAT+]================================== 0.81 c | Conflicts | Original | Learnt | Progress | 0.81 c | | Clauses Literals | Max Clauses Literals LPC | | 0.81 c ============================================================================== 0.81 c | 1928 | 23589 55542 | 7863 1912 52144 27.3 | 0.975 % | 0.84 c ============================================================================== 0.84 c [1mFound solution: 1760[0m 0.84 o 1760 0.84 c ---[ 0]---> Sorter-cost: 2 Base: 2 5 2 2 0.91 c ==================================[MINISAT+]================================== 0.91 c | Conflicts | Original | Learnt | Progress | 0.91 c | | Clauses Literals | Max Clauses Literals LPC | | 0.91 c ============================================================================== 0.91 c | 2000 | 23541 55436 | 7847 1977 53026 26.8 | 0.975 % | 0.94 c | 2102 | 23541 55436 | 8631 2079 56552 27.2 | 1.220 % | 1.01 c | 2252 | 23541 55436 | 9494 2229 66629 29.9 | 1.220 % | 1.08 c | 2478 | 23541 55436 | 10444 2455 80579 32.8 | 1.220 % | 1.18 c | 2815 | 23541 55436 | 11488 2792 90211 32.3 | 1.220 % | 1.38 c | 3321 | 23541 55436 | 12637 3298 122096 37.0 | 1.220 % | 1.52 c | 4081 | 23541 55436 | 13901 4058 134982 33.3 | 1.220 % | 1.82 c | 5221 | 23541 55436 | 15291 5198 172493 33.2 | 1.220 % | 2.41 c | 6930 | 23541 55436 | 16820 6907 288316 41.7 | 1.220 % | 3.44 c | 9492 | 23541 55436 | 18502 9469 347250 36.7 | 1.220 % | 5.13 c | 13337 | 23541 55436 | 20353 13314 653004 49.0 | 1.220 % | 7.55 c | 19103 | 23541 55436 | 22388 19080 1024357 53.7 | 1.220 % | 7.62 c ============================================================================== 7.62 c [1mFound solution: 1731[0m 7.62 o 1731 7.62 c ---[ 0]---> Sorter-cost: 5 Base: 2 5 2 2 7.70 c ==================================[MINISAT+]================================== 7.70 c | Conflicts | Original | Learnt | Progress | 7.70 c | | Clauses Literals | Max Clauses Literals LPC | | 7.70 c ============================================================================== 7.70 c | 19218 | 23678 55796 | 7892 19195 1027813 53.5 | 1.220 % | 7.76 c ============================================================================== 7.76 c [1mFound solution: 1693[0m 7.76 o 1693 7.76 c ---[ 0]---> Sorter-cost: 6 Base: 2 5 2 2 7.84 c ==================================[MINISAT+]================================== 7.84 c | Conflicts | Original | Learnt | Progress | 7.84 c | | Clauses Literals | Max Clauses Literals LPC | | 7.84 c ============================================================================== 7.84 c | 19301 | 23689 55852 | 7896 4882 258270 52.9 | 1.220 % | 7.88 c | 19401 | 23689 55852 | 8685 4982 263869 53.0 | 1.251 % | 7.95 c | 19551 | 23689 55852 | 9554 5132 267144 52.1 | 1.251 % | 8.02 c | 19776 | 23689 55852 | 10509 5357 285175 53.2 | 1.251 % | 8.14 c | 20116 | 23689 55852 | 11560 5697 295627 51.9 | 1.251 % | 8.31 c | 20624 | 23689 55852 | 12716 6205 316292 51.0 | 1.251 % | 8.59 c | 21385 | 23689 55852 | 13988 6966 351890 50.5 | 1.251 % | 9.01 c | 22524 | 23689 55852 | 15387 8105 406290 50.1 | 1.251 % | 9.62 c | 24239 | 23689 55852 | 16925 9820 481842 49.1 | 1.251 % | 10.80 c | 26802 | 23689 55852 | 18618 12383 610593 49.3 | 1.251 % | 12.59 c | 30646 | 23689 55852 | 20480 16227 886767 54.6 | 1.251 % | 15.49 c | 36413 | 23665 55799 | 22528 11355 488645 43.0 | 1.335 % | 17.61 c ============================================================================== 17.61 c [1mFound solution: 1688[0m 17.61 o 1688 17.61 c ---[ 0]---> Sorter-cost: 5 Base: 2 5 2 2 17.69 c ==================================[MINISAT+]================================== 17.69 c | Conflicts | Original | Learnt | Progress | 17.69 c | | Clauses Literals | Max Clauses Literals LPC | | 17.69 c ============================================================================== 17.69 c | 40664 | 23674 55865 | 7891 15606 741288 47.5 | 1.335 % | 17.74 c ============================================================================== 17.74 c [1mFound solution: 1679[0m 17.74 o 1679 17.74 c ---[ 0]---> Sorter-cost: 3 Base: 2 5 2 2 17.81 c ==================================[MINISAT+]================================== 17.81 c | Conflicts | Original | Learnt | Progress | 17.81 c | | Clauses Literals | Max Clauses Literals LPC | | 17.81 c ============================================================================== 17.81 c | 40687 | 23679 55878 | 7893 7826 331922 42.4 | 1.335 % | 17.86 c | 40787 | 23679 55878 | 8682 7926 333913 42.1 | 1.355 % | 17.94 c | 40938 | 23679 55878 | 9550 8077 342378 42.4 | 1.355 % | 18.02 c | 41163 | 23679 55878 | 10505 8302 357891 43.1 | 1.355 % | 18.15 c | 41501 | 23679 55878 | 11556 8640 379272 43.9 | 1.355 % | 18.34 c | 42008 | 23679 55878 | 12711 9147 416772 45.6 | 1.355 % | 18.60 c | 42767 | 23675 55869 | 13982 9901 445961 45.0 | 1.366 % | 19.00 c | 43906 | 23675 55869 | 15381 11040 512916 46.5 | 1.366 % | 19.62 c | 45616 | 23667 55853 | 16919 12746 598834 47.0 | 1.408 % | 20.82 c | 48178 | 23667 55853 | 18611 15308 693981 45.3 | 1.408 % | 23.03 c | 52022 | 23667 55853 | 20472 19152 959983 50.1 | 1.408 % | 25.93 c | 57789 | 23667 55853 | 22519 13640 627202 46.0 | 1.408 % | 30.38 c | 66438 | 23667 55853 | 24771 22289 1218970 54.7 | 1.408 % | 37.49 c | 79412 | 23667 55853 | 27248 22217 1222636 55.0 | 1.408 % | 44.01 c ============================================================================== 44.01 c [1mFound solution: 1633[0m 44.01 o 1633 44.01 c ---[ 0]---> Sorter-cost: 3 Base: 2 5 2 2 44.09 c ==================================[MINISAT+]================================== 44.09 c | Conflicts | Original | Learnt | Progress | 44.09 c | | Clauses Literals | Max Clauses Literals LPC | | 44.09 c ============================================================================== 44.09 c | 89499 | 23688 55912 | 7896 17467 750810 43.0 | 1.408 % | 44.17 c | 89600 | 23688 55912 | 8685 4470 131522 29.4 | 1.417 % | 44.21 c | 89750 | 23688 55912 | 9554 4620 139225 30.1 | 1.417 % | 44.31 c | 89975 | 23682 55900 | 10509 4844 153049 31.6 | 1.448 % | 44.45 c | 90312 | 23682 55900 | 11560 5181 171167 33.0 | 1.448 % | 44.68 c | 90818 | 23660 55850 | 12716 5685 187037 32.9 | 1.544 % | 44.94 c | 91579 | 23660 55850 | 13988 6446 206247 32.0 | 1.544 % | 45.36 c | 92720 | 23660 55850 | 15387 7587 293552 38.7 | 1.544 % | 45.86 c | 94430 | 23660 55850 | 16925 9297 336282 36.2 | 1.544 % | 46.95 c | 96993 | 23660 55850 | 18618 11860 427336 36.0 | 1.544 % | 48.94 c | 100837 | 23646 55818 | 20480 15691 582488 37.1 | 1.586 % | 52.68 c | 106605 | 23646 55818 | 22528 21459 805228 37.5 | 1.586 % | 58.08 c | 115255 | 23646 55818 | 24781 17976 609237 33.9 | 1.586 % | 65.93 c | 128230 | 23646 55818 | 27259 17813 628007 35.3 | 1.586 % | 78.25 c | 147691 | 23646 55818 | 29985 23003 702842 30.6 | 1.586 % | 98.57 c | 176885 | 23646 55818 | 32983 18811 650416 34.6 | 1.586 % | 131.25 c | 220674 | 23646 55818 | 36281 22829 1310770 57.4 | 1.586 % | 184.49 c | 286359 | 23646 55818 | 39910 19503 943184 48.4 | 1.586 % | 259.85 c | 384885 | 23646 55818 | 43901 34851 1504695 43.2 | 1.586 % | 365.83 c | 532674 | 23646 55818 | 48291 30521 1254250 41.1 | 1.586 % | 538.14 c | 754358 | 23646 55818 | 53120 19893 507046 25.5 | 1.586 % | 839.84 c | 1086883 | 23646 55818 | 58432 46511 2188254 47.0 | 1.586 % | 1301.89 c | 1585673 | 23646 55818 | 64275 48765 1756145 36.0 | 1.586 % | 1801.18 c 1801.18 c *** TERMINATED *** 1801.18 s SATISFIABLE 1801.18 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.18 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 x57 -x58 1801.18 v -x59 x60 -x61 x62 x63 x64 -x65 x66 -x67 x68 x69 x70 -x71 -x72 x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 -x87 1801.18 v -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 1801.18 v -x112 -x113 -x114 -x115 x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1801.18 v -x133
OK 1633
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/node21/watcher-35391-1149402789 -o ROOT/results/node21/solver-35391-1149402789 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node21/35391-1149402789/instance-35391-1149402789.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1742928/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=1048 CPUtime=0 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 205942030 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006367 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 262 100 75 215 0 44 0 [startup+10.0019 s] /proc/loadavg: 0.87 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1735456/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=8556 CPUtime=9.99 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2029 0 0 0 999 0 0 0 25 0 1 0 205942030 8761344 1972 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2139 1972 110 215 0 1921 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8556 [startup+20.008 s] /proc/loadavg: 0.89 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1735136/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=8948 CPUtime=20 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2129 0 0 0 1999 1 0 0 25 0 1 0 205942030 9162752 2072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581093 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2237 2072 110 215 0 2019 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 8948 [startup+30.0141 s] /proc/loadavg: 0.91 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1734112/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=9992 CPUtime=30 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2377 0 0 0 2999 1 0 0 25 0 1 0 205942030 10231808 2320 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2498 2320 110 215 0 2280 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 9992 [startup+40.0202 s] /proc/loadavg: 0.92 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1732896/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=11168 CPUtime=40 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2673 0 0 0 3999 1 0 0 25 0 1 0 205942030 11436032 2616 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2792 2616 110 215 0 2574 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 11168 [startup+50.0263 s] /proc/loadavg: 0.93 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1732704/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=11464 CPUtime=50 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2740 0 0 0 4999 1 0 0 25 0 1 0 205942030 11739136 2683 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2866 2683 110 215 0 2648 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 11464 [startup+60.0324 s] /proc/loadavg: 0.94 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1732704/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=11464 CPUtime=60.01 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2740 0 0 0 5999 2 0 0 25 0 1 0 205942030 11739136 2683 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2866 2683 110 215 0 2648 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 11464 [startup+70.0385 s] /proc/loadavg: 0.95 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1732704/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=11464 CPUtime=70.02 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2740 0 0 0 7000 2 0 0 25 0 1 0 205942030 11739136 2683 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581017 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2866 2683 110 215 0 2648 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 11464 [startup+80.0446 s] /proc/loadavg: 0.96 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1732704/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=11464 CPUtime=80.02 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2740 0 0 0 8000 2 0 0 25 0 1 0 205942030 11739136 2683 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580417 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2866 2683 110 215 0 2648 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 11464 [startup+90.0507 s] /proc/loadavg: 0.96 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1732640/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=11464 CPUtime=90.02 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2744 0 0 0 9000 2 0 0 25 0 1 0 205942030 11739136 2687 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579241 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2866 2687 110 215 0 2648 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 11464 [startup+100.057 s] /proc/loadavg: 0.97 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1732640/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=11464 CPUtime=100.02 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 2745 0 0 0 10000 2 0 0 25 0 1 0 205942030 11739136 2688 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 2866 2688 110 215 0 2648 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 11464 [startup+110.063 s] /proc/loadavg: 0.97 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1730912/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=13300 CPUtime=110.02 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 3197 0 0 0 11000 2 0 0 25 0 1 0 205942030 13619200 3140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 3325 3140 110 215 0 3107 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 13300 [startup+120.069 s] /proc/loadavg: 0.98 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1729760/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=14340 CPUtime=120.03 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 3474 0 0 0 12000 3 0 0 25 0 1 0 205942030 14684160 3417 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 3585 3417 110 215 0 3367 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 14340 [startup+130.075 s] /proc/loadavg: 0.98 0.97 0.99 2/64 11619 /proc/meminfo: memFree=1728032/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=16196 CPUtime=130.03 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 3910 0 0 0 13000 3 0 0 25 0 1 0 205942030 16584704 3853 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 4049 3853 110 215 0 3831 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 16196 [startup+140.081 s] /proc/loadavg: 0.98 0.97 0.99 2/64 11621 /proc/meminfo: memFree=1727968/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=16196 CPUtime=140.03 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 3922 0 0 0 14000 3 0 0 25 0 1 0 205942030 16584704 3865 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 4049 3865 110 215 0 3831 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 16196 [startup+150.087 s] /proc/loadavg: 0.98 0.97 0.99 2/64 11621 /proc/meminfo: memFree=1727840/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=16324 CPUtime=150.04 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 3955 0 0 0 15001 3 0 0 25 0 1 0 205942030 16715776 3898 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 4081 3898 110 215 0 3863 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 16324 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.99 2/64 11621 /proc/meminfo: memFree=1727712/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=16460 CPUtime=160.04 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 3975 0 0 0 16001 3 0 0 25 0 1 0 205942030 16855040 3918 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 4115 3918 110 215 0 3897 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 16460 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.99 2/64 11621 /proc/meminfo: memFree=1727648/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=16596 CPUtime=170.04 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 4000 0 0 0 17001 3 0 0 25 0 1 0 205942030 16994304 3943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 4149 3943 110 215 0 3931 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 16596 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.99 2/64 11621 /proc/meminfo: memFree=1727584/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=16596 CPUtime=180.04 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 4014 0 0 0 18001 3 0 0 25 0 1 0 205942030 16994304 3957 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580970 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 4149 3957 110 215 0 3931 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 16596 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.99 2/64 11621 /proc/meminfo: memFree=1727456/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=16744 CPUtime=190.05 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 4034 0 0 0 19002 3 0 0 25 0 1 0 205942030 17145856 3977 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 4186 3977 110 215 0 3968 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 16744 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.99 2/64 11621 /proc/meminfo: memFree=1727328/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=16744 CPUtime=200.05 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 4064 0 0 0 20002 3 0 0 25 0 1 0 205942030 17145856 4007 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 4186 4007 110 215 0 3968 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 16744 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.99 2/64 11621 /proc/meminfo: memFree=1727328/2055920 swapFree=4181464/4192956 ################ # More data... # ################ [pid=11619] ppid=11617 vsize=29120 CPUtime=1781.48 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 178138 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 29120 [startup+1783.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1782.49 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 178239 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 29120 [startup+1784.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1783.49 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 178339 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 29120 [startup+1785.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1784.49 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 178439 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 29120 [startup+1786.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1785.5 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 178540 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 29120 [startup+1787.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1786.5 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 178640 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 29120 [startup+1788.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1787.51 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 178741 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581226 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 29120 [startup+1789.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1788.51 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 178841 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572774 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 29120 [startup+1790.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1789.52 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 178942 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584050 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 29120 [startup+1791.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1790.52 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179042 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 29120 [startup+1792.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1791.53 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179143 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 29120 [startup+1793.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1792.53 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179243 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 29120 [startup+1794.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1793.54 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179344 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 29120 [startup+1795.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1794.54 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179444 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 29120 [startup+1796.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1795.55 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179545 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 29120 [startup+1797.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1796.55 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179645 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580842 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 29120 [startup+1798.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1797.55 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179745 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 29120 [startup+1799.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1798.56 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179846 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 29120 [startup+1800.17 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1799.56 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 179946 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 29120 [startup+1801.17 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1800.57 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 180047 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 29120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.99 2/64 11816 /proc/meminfo: memFree=1715168/2055920 swapFree=4181464/4192956 [pid=11619] ppid=11617 vsize=29120 CPUtime=1800.57 /proc/11619/stat : 11619 (minisat+) R 11617 11619 11573 0 -1 4194304 6986 0 0 0 180047 10 0 0 25 0 1 0 205942030 29818880 6929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11619/statm: 7280 6929 110 215 0 7062 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 29120 Sending SIGTERM to -11619 Sleeping 2 seconds Child status: 10 Real time (s): 1801.19 CPU time (s): 1800.58 CPU user time (s): 1800.48 CPU system time (s): 0.105983 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (Kb): 29120
Begin job on node21 on Sun Jun 4 06:33:09 UTC 2006 FILE ID= 35391-1149402789 PBS_JOBID= 314137 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node21/35391-1149402789/instance-35391-1149402789.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-35391-1149402789 -o ROOT/results/node21/solver-35391-1149402789 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node21/35391-1149402789/instance-35391-1149402789.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 2dad588c047f66368bead690393575a4 RANDOM SEED= 344670796 /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.240 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.240 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: 1743136 kB Buffers: 22464 kB Cached: 221720 kB SwapCached: 3200 kB Active: 26308 kB Inactive: 226496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1743136 kB SwapTotal: 4192956 kB SwapFree: 4181464 kB Dirty: 260 kB Writeback: 0 kB Mapped: 14740 kB Slab: 45928 kB Committed_AS: 388428 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 node21 on Sun Jun 4 07:03:11 UTC 2006