Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.77 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-recipe.opb |
MD5SUM | afb312a519ee7dfceb0c5aec9cb860b5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -82060 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -118677 |
Optimality of the best value was proved | NO |
Number of variables | 3671 |
Total number of constraints | 159 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 159 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1055 |
Biggest coefficient in the objective function | 58802 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524960 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262113 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524960 |
Number of bits of the biggest sum of numbers | 20 |
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.29 c Converting 201 PB-constraints to clauses... 0.29 c -- Unit propagations: ppppppppppppppppppp 0.38 c -- Detecting intervals from adjacent constraints: ################################################### 0.39 c -- Clauses(.)/Splits(s): sssssssss 0.39 c ---[ 209]---> BDD-cost: 16 0.39 c ---[ 208]---> BDD-cost: 15 0.39 c ---[ 207]---> BDD-cost: 16 0.39 c ---[ 205]---> BDD-cost: 14 0.39 c ---[ 202]---> BDD-cost: 16 0.39 c ---[ 200]---> BDD-cost: 15 0.39 c ---[ 199]---> BDD-cost: 15 0.39 c ---[ 191]---> BDD-cost: 15 0.39 c ---[ 190]---> BDD-cost: 14 0.39 c ---[ 189]---> BDD-cost: 16 0.39 c ---[ 187]---> BDD-cost: 13 0.39 c ---[ 186]---> BDD-cost: 11 0.39 c ---[ 182]---> BDD-cost: 15 0.39 c ---[ 173]---> BDD-cost: 15 0.39 c ---[ 171]---> BDD-cost: 14 0.39 c ---[ 170]---> BDD-cost: 13 0.39 c ---[ 169]---> BDD-cost: 12 0.39 c ---[ 168]---> BDD-cost: 11 0.39 c ---[ 153]---> BDD-cost: 14 0.39 c ---[ 152]---> BDD-cost: 13 0.39 c ---[ 150]---> BDD-cost: 11 0.39 c ---[ 147]---> BDD-cost: 14 0.39 c ---[ 146]---> BDD-cost: 14 0.39 c ---[ 145]---> BDD-cost: 14 0.39 c ---[ 144]---> BDD-cost: 14 0.39 c ---[ 143]---> BDD-cost: 14 0.39 c ---[ 142]---> BDD-cost: 14 0.39 c ---[ 141]---> BDD-cost: 14 0.39 c ---[ 139]---> Adder-cost: 591 maxlim: 25692 bits: 16/15 0.51 c ---[ 137]---> Adder-cost: 1226 maxlim: 23620 bits: 16/15 0.67 c ---[ 135]---> Adder-cost: 746 maxlim: 24432 bits: 16/15 0.97 c ---[ 133]---> Adder-cost: 1226 maxlim: 23620 bits: 16/15 1.12 c ---[ 131]---> Adder-cost: 674 maxlim: 23904 bits: 16/15 1.31 c ---[ 129]---> Adder-cost: 1228 maxlim: 23620 bits: 16/15 1.46 c ---[ 127]---> Adder-cost: 170 maxlim: 262173 bits: 20/19 1.47 c ---[ 125]---> Adder-cost: 282 maxlim: 32795 bits: 16/16 1.50 c ---[ 123]---> Sorter-cost: 385 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.50 c ---[ 121]---> Adder-cost: 530 maxlim: 157302 bits: 19/18 1.67 c ---[ 119]---> Sorter-cost: 4754 Base: 2 2 3 2 2 17 2 2 2 2 1.81 c ---[ 117]---> BDD-cost: 128 1.81 c ---[ 115]---> Adder-cost: 278 maxlim: 32795 bits: 16/16 1.84 c ---[ 113]---> Sorter-cost: 362 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.84 c ---[ 111]---> Sorter-cost: 592 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.85 c ---[ 109]---> Sorter-cost: 530 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.86 c ---[ 107]---> BDD-cost: 131 1.86 c ---[ 105]---> Adder-cost: 282 maxlim: 32795 bits: 16/16 1.89 c ---[ 103]---> Sorter-cost: 385 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.90 c ---[ 101]---> Sorter-cost: 606 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.91 c ---[ 99]---> Sorter-cost: 552 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.92 c ---[ 97]---> BDD-cost: 128 1.92 c ---[ 95]---> Adder-cost: 282 maxlim: 32795 bits: 16/16 1.94 c ---[ 93]---> BDD-cost: 133 1.94 c ---[ 91]---> Sorter-cost: 558 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.95 c ---[ 89]---> Sorter-cost: 530 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1.96 c ---[ 87]---> BDD-cost: 131 1.96 c ---[ 85]---> Adder-cost: 278 maxlim: 32795 bits: 16/16 1.99 c ---[ 83]---> Adder-cost: 282 maxlim: 32795 bits: 16/16 2.01 c ---[ 81]---> BDD-cost: 128 2.01 c ---[ 79]---> Sorter-cost: 549 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2.02 c ---[ 77]---> Sorter-cost: 523 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2.03 c ---[ 75]---> BDD-cost: 126 2.03 c ---[ 73]---> Adder-cost: 282 maxlim: 32795 bits: 16/16 2.06 c ---[ 71]---> Adder-cost: 278 maxlim: 32795 bits: 16/16 2.08 c ---[ 69]---> BDD-cost: 119 2.08 c ---[ 67]---> Sorter-cost: 509 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2.09 c ---[ 65]---> Sorter-cost: 485 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2.10 c ---[ 63]---> BDD-cost: 122 2.10 c ---[ 61]---> Adder-cost: 282 maxlim: 32795 bits: 16/16 2.12 c ---[ 53]---> Adder-cost: 282 maxlim: 32795 bits: 16/16 2.15 c ---[ 51]---> Sorter-cost: 385 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2.15 c ---[ 49]---> Adder-cost: 530 maxlim: 157302 bits: 19/18 2.33 c ---[ 47]---> Sorter-cost: 4754 Base: 2 2 3 2 2 17 2 2 2 2 2.46 c ---[ 45]---> BDD-cost: 128 2.47 c ---[ 44]---> Adder-cost: 1156 maxlim: 6970 bits: 14/13 2.71 c ---[ 43]---> Adder-cost: 1138 maxlim: 6970 bits: 14/13 2.95 c ---[ 42]---> Adder-cost: 1144 maxlim: 6970 bits: 14/13 3.18 c ---[ 41]---> Adder-cost: 1115 maxlim: 6037 bits: 14/13 3.42 c ---[ 40]---> Adder-cost: 1109 maxlim: 6037 bits: 14/13 3.66 c ---[ 39]---> Adder-cost: 1075 maxlim: 6037 bits: 14/13 3.90 c ---[ 38]---> Adder-cost: 1163 maxlim: 8187 bits: 14/13 4.07 c ---[ 37]---> Adder-cost: 1143 maxlim: 8187 bits: 14/13 4.25 c ---[ 36]---> Adder-cost: 1147 maxlim: 8187 bits: 14/13 4.42 c ---[ 35]---> Adder-cost: 1000 maxlim: 8891 bits: 15/14 4.62 c ---[ 34]---> Adder-cost: 1014 maxlim: 8891 bits: 15/14 4.81 c ---[ 33]---> Adder-cost: 1014 maxlim: 8891 bits: 15/14 5.01 c ---[ 32]---> Adder-cost: 1144 maxlim: 32471 bits: 16/15 5.28 c ---[ 31]---> Adder-cost: 1070 maxlim: 32459 bits: 16/15 5.51 c ---[ 30]---> Adder-cost: 1116 maxlim: 32463 bits: 16/15 5.77 c ---[ 29]---> Adder-cost: 750 maxlim: 32487 bits: 16/15 5.92 c ---[ 28]---> Adder-cost: 748 maxlim: 32471 bits: 16/15 6.15 c ---[ 27]---> Adder-cost: 736 maxlim: 32475 bits: 16/15 6.34 c ---[ 25]---> Adder-cost: 1234 maxlim: 32801 bits: 16/16 6.66 c ---[ 23]---> Adder-cost: 1238 maxlim: 32801 bits: 16/16 6.98 c ---[ 21]---> Adder-cost: 1238 maxlim: 32801 bits: 16/16 7.30 c ---[ 19]---> Adder-cost: 1098 maxlim: 32818 bits: 16/16 7.62 c ---[ 17]---> Adder-cost: 1094 maxlim: 32818 bits: 16/16 7.95 c ---[ 15]---> Adder-cost: 1090 maxlim: 32818 bits: 16/16 8.27 c ---[ 14]---> Adder-cost: 1073 maxlim: 21862 bits: 16/15 8.53 c ---[ 13]---> Adder-cost: 1073 maxlim: 21862 bits: 16/15 8.79 c ---[ 12]---> Adder-cost: 1063 maxlim: 21862 bits: 16/15 9.05 c ---[ 11]---> Adder-cost: 1087 maxlim: 26181 bits: 16/15 9.34 c ---[ 10]---> Adder-cost: 1083 maxlim: 26181 bits: 16/15 9.63 c ---[ 9]---> Adder-cost: 1085 maxlim: 26181 bits: 16/15 9.92 c ---[ 8]---> BDD-cost: 12 9.92 c ---[ 7]---> BDD-cost: 12 9.92 c ---[ 6]---> BDD-cost: 10 9.92 c ---[ 5]---> BDD-cost: 12 9.92 c ---[ 4]---> BDD-cost: 12 9.92 c ---[ 3]---> BDD-cost: 10 9.92 c ---[ 2]---> BDD-cost: 12 9.92 c ---[ 1]---> BDD-cost: 10 9.92 c ---[ 0]---> BDD-cost: 10 10.19 c ==================================[MINISAT+]================================== 10.19 c | Conflicts | Original | Learnt | Progress | 10.19 c | | Clauses Literals | Max Clauses Literals LPC | | 10.19 c ============================================================================== 10.19 c | 0 | 333154 1135077 | 111051 0 0 nan | 0.000 % | 10.19 c | 100 | 333154 1135077 | 122156 100 323 3.2 | 3.823 % | 10.20 c | 250 | 333154 1135077 | 134371 250 808 3.2 | 3.823 % | 10.23 c | 475 | 333154 1135077 | 147808 475 2719 5.7 | 3.823 % | 10.27 c | 812 | 333154 1135077 | 162589 812 5126 6.3 | 3.823 % | 10.33 c | 1319 | 333154 1135077 | 178848 1319 13359 10.1 | 3.823 % | 10.45 c | 2078 | 333148 1135060 | 196733 2077 18684 9.0 | 3.825 % | 10.62 c | 3219 | 333148 1135060 | 216406 3218 36518 11.3 | 3.825 % | 10.89 c | 4927 | 333136 1135026 | 238047 4924 68025 13.8 | 3.828 % | 11.31 c | 7489 | 333136 1135026 | 261852 7486 131841 17.6 | 3.828 % | 12.21 c | 11333 | 333021 1134732 | 288037 11309 211175 18.7 | 3.869 % | 13.21 c | 17099 | 332926 1134517 | 316841 17074 346176 20.3 | 3.908 % | 15.56 c | 25748 | 331656 1131394 | 348525 25714 593505 23.1 | 4.411 % | 19.56 c | 38722 | 329413 1125866 | 383378 38658 983476 25.4 | 5.351 % | 24.99 c | 58185 | 329295 1125479 | 421715 58104 1492376 25.7 | 5.387 % | 34.69 c | 87378 | 329202 1125254 | 463887 87264 2386433 27.3 | 5.429 % | 52.27 c | 131167 | 328732 1123985 | 510276 131012 3843646 29.3 | 5.615 % | 96.73 c | 196852 | 328621 1123721 | 561303 196691 6799512 34.6 | 5.672 % | 168.13 c | 295379 | 328516 1123466 | 617434 295204 10819580 36.7 | 5.721 % | 325.93 c | 443170 | 327981 1121750 | 679177 442164 18693066 42.3 | 5.836 % | 713.31 c | 664854 | 327719 1121127 | 747095 663788 31807636 47.9 | 5.964 % | 1142.46 c | 997380 | 327489 1120519 | 821805 258991 21841692 84.3 | 6.054 % | 1801.18 c 1801.18 c *** TERMINATED *** 1801.18 s UNKNOWN
ERROR: no interpretation found !
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/node61/watcher-35051-1149334252 -o ROOT/results/node61/solver-35051-1149334252 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/35051-1149334252/instance-35051-1149334252.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 6531 /proc/meminfo: memFree=1596792/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=1048 CPUtime=0 /proc/6531/stat : 6531 (minisat+) D 6529 6531 6485 0 -1 4194304 85 0 0 0 0 0 0 0 19 0 1 0 199093084 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 2147483391 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 262 78 65 215 0 44 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1586968/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=11612 CPUtime=9.99 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 2810 0 0 0 998 1 0 0 25 0 1 0 199093084 11890688 2618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582488 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 2903 2619 112 215 0 2685 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11612 [startup+20.0078 s] /proc/loadavg: 0.94 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1568744/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=31168 CPUtime=19.98 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 7324 0 0 0 1995 3 0 0 25 0 1 0 199093084 31916032 7124 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 7792 7124 124 215 0 7574 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 31168 [startup+30.0148 s] /proc/loadavg: 0.95 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1563368/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=36640 CPUtime=29.99 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 8691 0 0 0 2994 5 0 0 25 0 1 0 199093084 37519360 8491 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 9160 8491 124 215 0 8942 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 36640 [startup+40.0208 s] /proc/loadavg: 0.96 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1559528/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=40508 CPUtime=39.99 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 9641 0 0 0 3993 6 0 0 25 0 1 0 199093084 41480192 9441 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 10127 9441 124 215 0 9909 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 40508 [startup+50.0267 s] /proc/loadavg: 0.96 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1555176/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=44872 CPUtime=50 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 10740 0 0 0 4993 7 0 0 25 0 1 0 199093084 45948928 10540 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 11218 10540 124 215 0 11000 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 44872 [startup+60.0327 s] /proc/loadavg: 0.97 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1550568/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=49616 CPUtime=60 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 11893 0 0 0 5992 8 0 0 25 0 1 0 199093084 50806784 11693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 12404 11693 124 215 0 12186 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 49616 [startup+70.0387 s] /proc/loadavg: 0.97 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1547304/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=52776 CPUtime=70.01 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 12698 0 0 0 6992 9 0 0 25 0 1 0 199093084 54042624 12498 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 13194 12498 124 215 0 12976 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 52776 [startup+80.0447 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1544360/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=55668 CPUtime=80.01 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 13441 0 0 0 7992 9 0 0 25 0 1 0 199093084 57004032 13241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 13917 13241 124 215 0 13699 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 55668 [startup+90.0506 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1541544/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=58548 CPUtime=90.01 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 14146 0 0 0 8991 10 0 0 25 0 1 0 199093084 59953152 13946 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 14637 13946 124 215 0 14419 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 58548 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1537832/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=62124 CPUtime=100.01 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 15062 0 0 0 9990 11 0 0 25 0 1 0 199093084 63614976 14862 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580214 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 15531 14862 124 215 0 15313 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 62124 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1534888/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=65452 CPUtime=110.02 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 15797 0 0 0 10990 12 0 0 25 0 1 0 199093084 67022848 15597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 16363 15597 124 215 0 16145 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 65452 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1532840/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=67444 CPUtime=120.02 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 16309 0 0 0 11990 12 0 0 25 0 1 0 199093084 69062656 16109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 16861 16109 124 215 0 16643 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 67444 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1530216/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=69972 CPUtime=130.03 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 16959 0 0 0 12990 13 0 0 25 0 1 0 199093084 71651328 16759 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 17493 16759 124 215 0 17275 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 69972 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1527272/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=72884 CPUtime=140.03 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 17685 0 0 0 13989 14 0 0 25 0 1 0 199093084 74633216 17485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 18221 17485 124 215 0 18003 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 72884 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1523880/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=76176 CPUtime=150.03 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 18540 0 0 0 14989 14 0 0 25 0 1 0 199093084 78004224 18340 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 19044 18340 124 215 0 18826 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 76176 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1521128/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=78816 CPUtime=160.04 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 19224 0 0 0 15989 15 0 0 25 0 1 0 199093084 80707584 19024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 19704 19024 124 215 0 19486 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 78816 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1519272/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=80696 CPUtime=170.04 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 19688 0 0 0 16989 15 0 0 25 0 1 0 199093084 82632704 19488 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 20174 19488 124 215 0 19956 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 80696 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6531 /proc/meminfo: memFree=1517672/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=82280 CPUtime=180.05 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 20078 0 0 0 17989 16 0 0 25 0 1 0 199093084 84254720 19878 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 20570 19878 124 215 0 20352 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 82280 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1515560/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=84880 CPUtime=190.05 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 20616 0 0 0 18989 16 0 0 25 0 1 0 199093084 86917120 20416 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 21220 20416 124 215 0 21002 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 84880 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1513064/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=87384 CPUtime=200.05 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 21231 0 0 0 19988 17 0 0 25 0 1 0 199093084 89481216 21031 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 21846 21031 124 215 0 21628 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 87384 [startup+210.123 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1509544/2055920 swapFree=4180908/4192956 ################ # More data... # ################ [pid=6531] ppid=6529 vsize=241520 CPUtime=1781.62 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59524 0 0 0 178101 61 0 0 25 0 1 0 199093084 247316480 59324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60380 59324 124 215 0 60162 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (Kb) 241520 [startup+1783.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1358952/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=241652 CPUtime=1782.62 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59562 0 0 0 178201 61 0 0 25 0 1 0 199093084 247451648 59362 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60413 59362 124 215 0 60195 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 241652 [startup+1784.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1358696/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=241912 CPUtime=1783.64 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59620 0 0 0 178302 62 0 0 25 0 1 0 199093084 247717888 59420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60478 59420 124 215 0 60260 0 Current children cumulated CPU time (s) 1783.64 Current children cumulated vsize (Kb) 241912 [startup+1785.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1358504/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=242176 CPUtime=1784.64 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59669 0 0 0 178402 62 0 0 25 0 1 0 199093084 247988224 59469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60544 59469 124 215 0 60326 0 Current children cumulated CPU time (s) 1784.64 Current children cumulated vsize (Kb) 242176 [startup+1786.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1358312/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=242308 CPUtime=1785.65 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59720 0 0 0 178503 62 0 0 25 0 1 0 199093084 248123392 59520 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581439 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60577 59520 124 215 0 60359 0 Current children cumulated CPU time (s) 1785.65 Current children cumulated vsize (Kb) 242308 [startup+1787.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1358056/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=242572 CPUtime=1786.65 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59781 0 0 0 178603 62 0 0 25 0 1 0 199093084 248393728 59581 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60643 59581 124 215 0 60425 0 Current children cumulated CPU time (s) 1786.65 Current children cumulated vsize (Kb) 242572 [startup+1788.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1357864/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=242836 CPUtime=1787.65 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59831 0 0 0 178703 62 0 0 25 0 1 0 199093084 248664064 59631 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60709 59631 124 215 0 60491 0 Current children cumulated CPU time (s) 1787.65 Current children cumulated vsize (Kb) 242836 [startup+1789.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1357672/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=242964 CPUtime=1788.66 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59881 0 0 0 178804 62 0 0 25 0 1 0 199093084 248795136 59681 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60741 59681 124 215 0 60523 0 Current children cumulated CPU time (s) 1788.66 Current children cumulated vsize (Kb) 242964 [startup+1790.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1357544/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=243096 CPUtime=1789.66 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59903 0 0 0 178904 62 0 0 25 0 1 0 199093084 248930304 59703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579548 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60774 59703 124 215 0 60556 0 Current children cumulated CPU time (s) 1789.66 Current children cumulated vsize (Kb) 243096 [startup+1791.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1357480/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=243096 CPUtime=1790.66 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59924 0 0 0 179004 62 0 0 25 0 1 0 199093084 248930304 59724 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60774 59724 124 215 0 60556 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 243096 [startup+1792.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1357352/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=243228 CPUtime=1791.67 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59955 0 0 0 179105 62 0 0 25 0 1 0 199093084 249065472 59755 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60807 59755 124 215 0 60589 0 Current children cumulated CPU time (s) 1791.67 Current children cumulated vsize (Kb) 243228 [startup+1793.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1357224/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=243356 CPUtime=1792.67 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59988 0 0 0 179205 62 0 0 25 0 1 0 199093084 249196544 59788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60839 59788 124 215 0 60621 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 243356 [startup+1794.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1357096/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=243488 CPUtime=1793.68 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60015 0 0 0 179306 62 0 0 25 0 1 0 199093084 249331712 59815 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60872 59815 124 215 0 60654 0 Current children cumulated CPU time (s) 1793.68 Current children cumulated vsize (Kb) 243488 [startup+1795.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1357032/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=243620 CPUtime=1794.68 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60038 0 0 0 179406 62 0 0 25 0 1 0 199093084 249466880 59838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60905 59838 124 215 0 60687 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (Kb) 243620 [startup+1796.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1356904/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=243752 CPUtime=1795.69 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60065 0 0 0 179507 62 0 0 25 0 1 0 199093084 249602048 59865 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60938 59865 124 215 0 60720 0 Current children cumulated CPU time (s) 1795.69 Current children cumulated vsize (Kb) 243752 [startup+1797.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1356776/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=243884 CPUtime=1796.69 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60101 0 0 0 179607 62 0 0 25 0 1 0 199093084 249737216 59901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 60971 59901 124 215 0 60753 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (Kb) 243884 [startup+1798.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1356648/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=244016 CPUtime=1797.69 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60132 0 0 0 179707 62 0 0 25 0 1 0 199093084 249872384 59932 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 61004 59932 124 215 0 60786 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 244016 [startup+1799.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1356520/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=244144 CPUtime=1798.7 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60163 0 0 0 179808 62 0 0 25 0 1 0 199093084 250003456 59963 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 61036 59963 124 215 0 60818 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (Kb) 244144 [startup+1800.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1356392/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=244276 CPUtime=1799.7 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60195 0 0 0 179908 62 0 0 25 0 1 0 199093084 250138624 59995 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581014 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 61069 59995 124 215 0 60851 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 244276 [startup+1801.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1356264/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=244428 CPUtime=1800.71 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60222 0 0 0 180009 62 0 0 25 0 1 0 199093084 250294272 60022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 61107 60022 124 215 0 60889 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 244428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6533 /proc/meminfo: memFree=1356264/2055920 swapFree=4180908/4192956 [pid=6531] ppid=6529 vsize=244428 CPUtime=1800.71 /proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60222 0 0 0 180009 62 0 0 25 0 1 0 199093084 250294272 60022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6531/statm: 61107 60022 124 215 0 60889 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 244428 Sending SIGTERM to -6531 Sleeping 2 seconds Child status: 0 Real time (s): 1801.23 CPU time (s): 1800.77 CPU user time (s): 1800.1 CPU system time (s): 0.670898 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (Kb): 244428
Begin job on node61 on Sat Jun 3 11:30:52 UTC 2006 FILE ID= 35051-1149334252 PBS_JOBID= 310048 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-recipe.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/35051-1149334252/instance-35051-1149334252.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-35051-1149334252 -o ROOT/results/node61/solver-35051-1149334252 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/35051-1149334252/instance-35051-1149334252.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= afb312a519ee7dfceb0c5aec9cb860b5 RANDOM SEED= 267255439 /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.232 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.232 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: 1597000 kB Buffers: 12216 kB Cached: 379684 kB SwapCached: 3724 kB Active: 38340 kB Inactive: 362280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1597000 kB SwapTotal: 4192956 kB SwapFree: 4180908 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14724 kB Slab: 44512 kB Committed_AS: 350420 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Sat Jun 3 12:00:53 UTC 2006