Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.03 | 1800.57 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb |
MD5SUM | a69e1395b1a03cfd48605e1acc7227e4 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.003998 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 500 |
Total number of constraints | 45 |
Number of constraints which are clauses | 25 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 26 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03 c Time Limit set via PBTIMEOUT to 1800 0.06 c INFO: OSL Context initialized. 0.06 c Initial problem consists of 500 variables and 45 constraints. 0.06 c Using non-optimization problem switches. 0.06 c No problem reductions applied in OPT. instance. 0.06 c preprocess terminated. Elapsed time: 0.009 0.06 c After prepocess the problem consists of 500 variables and 45 constraints. 0.08 c Restart #1 #Var: 500 LB: 0 @ 0.027 0.11 c Restart #2 #Var: 500 LB: 0 @ 0.053 0.16 c Restart #3 #Var: 500 LB: 0 @ 0.104 0.25 c Restart #4 #Var: 500 LB: 0 @ 0.194 0.40 c Restart #5 #Var: 500 LB: 0 @ 0.35 0.59 c Restart #6 #Var: 500 LB: 0 @ 0.537 0.88 c Restart #7 #Var: 500 LB: 0 @ 0.823 1.22 c Restart #8 #Var: 500 LB: 0 @ 1.166 1.62 c Restart #9 #Var: 500 LB: 0 @ 1.567 2.00 c Restart #10 #Var: 500 LB: 0 @ 1.947 2.72 c Restart #11 #Var: 500 LB: 0 @ 2.666 3.50 c Restart #12 #Var: 500 LB: 0 @ 3.448 4.54 c Restart #13 #Var: 500 LB: 0 @ 4.491 5.41 c Restart #14 #Var: 500 LB: 0 @ 5.356 6.53 c Restart #15 #Var: 500 LB: 0 @ 6.481 7.70 c Restart #16 #Var: 500 LB: 0 @ 7.65 9.05 c Restart #17 #Var: 500 LB: 0 @ 8.993 10.59 c Restart #18 #Var: 500 LB: 0 @ 10.535 12.40 c Restart #19 #Var: 500 LB: 0 @ 12.342 13.93 c Restart #20 #Var: 500 LB: 0 @ 13.868 15.80 c Restart #21 #Var: 500 LB: 0 @ 15.743 17.53 c Restart #22 #Var: 500 LB: 0 @ 17.475 19.47 c Restart #23 #Var: 500 LB: 0 @ 19.407 21.63 c Restart #24 #Var: 500 LB: 0 @ 21.569 23.86 c Restart #25 #Var: 500 LB: 0 @ 23.798 26.55 c Restart #26 #Var: 500 LB: 0 @ 26.489 29.82 c Restart #27 #Var: 500 LB: 0 @ 29.754 33.11 c Restart #28 #Var: 500 LB: 0 @ 33.047 36.14 c Restart #29 #Var: 500 LB: 0 @ 36.076 39.98 c Restart #30 #Var: 500 LB: 0 @ 39.919 43.77 c Restart #31 #Var: 500 LB: 0 @ 43.708 47.68 c Restart #32 #Var: 500 LB: 0 @ 47.614 52.02 c Restart #33 #Var: 500 LB: 0 @ 51.956 55.94 c Restart #34 #Var: 500 LB: 0 @ 55.876 60.74 c Restart #35 #Var: 500 LB: 0 @ 60.671 65.33 c Restart #36 #Var: 500 LB: 0 @ 65.256 70.62 c Restart #37 #Var: 500 LB: 0 @ 70.546 76.65 c Restart #38 #Var: 500 LB: 0 @ 76.582 81.82 c Restart #39 #Var: 500 LB: 0 @ 81.744 88.27 c Restart #40 #Var: 500 LB: 0 @ 88.195 95.06 c Restart #41 #Var: 500 LB: 0 @ 94.979 100.55 c Restart #42 #Var: 500 LB: 0 @ 100.47 107.11 c Restart #43 #Var: 500 LB: 0 @ 107.03 113.61 c Restart #44 #Var: 500 LB: 0 @ 113.53 120.62 c Restart #45 #Var: 500 LB: 0 @ 120.53 128.34 c Restart #46 #Var: 500 LB: 0 @ 128.26 136.99 c Restart #47 #Var: 500 LB: 0 @ 136.9 144.69 c Restart #48 #Var: 500 LB: 0 @ 144.6 152.49 c Restart #49 #Var: 500 LB: 0 @ 152.4 160.78 c Restart #50 #Var: 500 LB: 0 @ 160.69 168.03 c Restart #51 #Var: 500 LB: 0 @ 167.94 176.39 c Restart #52 #Var: 500 LB: 0 @ 176.29 186.69 c Restart #53 #Var: 500 LB: 0 @ 186.59 195.58 c Restart #54 #Var: 500 LB: 0 @ 195.48 204.51 c Restart #55 #Var: 500 LB: 0 @ 204.41 214.15 c Restart #56 #Var: 500 LB: 0 @ 214.05 224.52 c Restart #57 #Var: 500 LB: 0 @ 224.41 238.17 c Restart #58 #Var: 500 LB: 0 @ 238.06 249.09 c Restart #59 #Var: 500 LB: 0 @ 248.97 262.26 c Restart #60 #Var: 500 LB: 0 @ 262.14 277.70 c Restart #61 #Var: 500 LB: 0 @ 277.58 291.77 c Restart #62 #Var: 500 LB: 0 @ 291.65 307.30 c Restart #63 #Var: 500 LB: 0 @ 307.17 323.15 c Restart #64 #Var: 500 LB: 0 @ 323.02 340.22 c Restart #65 #Var: 500 LB: 0 @ 340.09 357.76 c Restart #66 #Var: 500 LB: 0 @ 357.62 375.89 c Restart #67 #Var: 500 LB: 0 @ 375.75 394.75 c Restart #68 #Var: 500 LB: 0 @ 394.6 413.86 c Restart #69 #Var: 500 LB: 0 @ 413.71 435.10 c Restart #70 #Var: 500 LB: 0 @ 434.94 456.62 c Restart #71 #Var: 500 LB: 0 @ 456.45 481.25 c Restart #72 #Var: 500 LB: 0 @ 481.08 502.75 c Restart #73 #Var: 500 LB: 0 @ 502.58 525.87 c Restart #74 #Var: 500 LB: 0 @ 525.69 548.62 c Restart #75 #Var: 500 LB: 0 @ 548.44 573.12 c Restart #76 #Var: 500 LB: 0 @ 572.93 598.08 c Restart #77 #Var: 500 LB: 0 @ 597.88 623.51 c Restart #78 #Var: 500 LB: 0 @ 623.31 649.06 c Restart #79 #Var: 500 LB: 0 @ 648.85 678.08 c Restart #80 #Var: 500 LB: 0 @ 677.86 709.89 c Restart #81 #Var: 500 LB: 0 @ 709.66 739.28 c Restart #82 #Var: 500 LB: 0 @ 739.04 768.76 c Restart #83 #Var: 500 LB: 0 @ 768.52 799.09 c Restart #84 #Var: 500 LB: 0 @ 798.84 830.27 c Restart #85 #Var: 500 LB: 0 @ 830.02 861.63 c Restart #86 #Var: 500 LB: 0 @ 861.36 897.15 c Restart #87 #Var: 500 LB: 0 @ 896.88 931.01 c CHANGE Heuristic... 931.01 c Restart #0 #Var: 500 LB: 0 @ 930.73 931.17 c Restart #1 #Var: 500 LB: 0 @ 930.89 931.70 c Restart #2 #Var: 500 LB: 0 @ 931.42 932.37 c Restart #3 #Var: 500 LB: 0 @ 932.09 933.51 c Restart #4 #Var: 500 LB: 0 @ 933.23 935.11 c Restart #5 #Var: 500 LB: 0 @ 934.83 935.58 c Restart #6 #Var: 500 LB: 0 @ 935.3 936.77 c Restart #7 #Var: 500 LB: 0 @ 936.49 938.47 c Restart #8 #Var: 500 LB: 0 @ 938.18 940.53 c Restart #9 #Var: 500 LB: 0 @ 940.25 942.88 c Restart #10 #Var: 500 LB: 0 @ 942.59 945.43 c Restart #11 #Var: 500 LB: 0 @ 945.15 947.55 c Restart #12 #Var: 500 LB: 0 @ 947.27 950.37 c Restart #13 #Var: 500 LB: 0 @ 950.09 953.91 c Restart #14 #Var: 500 LB: 0 @ 953.62 956.28 c Restart #15 #Var: 500 LB: 0 @ 956 959.66 c Restart #16 #Var: 500 LB: 0 @ 959.37 962.27 c Restart #17 #Var: 500 LB: 0 @ 961.98 965.84 c Restart #18 #Var: 500 LB: 0 @ 965.55 970.47 c Restart #19 #Var: 500 LB: 0 @ 970.18 974.29 c Restart #20 #Var: 500 LB: 0 @ 974 978.04 c Restart #21 #Var: 500 LB: 0 @ 977.75 982.84 c Restart #22 #Var: 500 LB: 0 @ 982.55 987.08 c Restart #23 #Var: 500 LB: 0 @ 986.79 991.30 c Restart #24 #Var: 500 LB: 0 @ 991.01 995.64 c Restart #25 #Var: 500 LB: 0 @ 995.34 1000.44 c Restart #26 #Var: 500 LB: 0 @ 1000.1 1005.37 c Restart #27 #Var: 500 LB: 0 @ 1005.1 1010.12 c Restart #28 #Var: 500 LB: 0 @ 1009.8 1015.77 c Restart #29 #Var: 500 LB: 0 @ 1015.5 1021.58 c Restart #30 #Var: 500 LB: 0 @ 1021.3 1028.78 c Restart #31 #Var: 500 LB: 0 @ 1028.5 1035.56 c Restart #32 #Var: 500 LB: 0 @ 1035.3 1044.07 c Restart #33 #Var: 500 LB: 0 @ 1043.8 1051.34 c Restart #34 #Var: 500 LB: 0 @ 1051 1059.82 c Restart #35 #Var: 500 LB: 0 @ 1059.5 1067.18 c Restart #36 #Var: 500 LB: 0 @ 1066.9 1074.56 c Restart #37 #Var: 500 LB: 0 @ 1074.2 1082.73 c Restart #38 #Var: 500 LB: 0 @ 1082.4 1091.20 c Restart #39 #Var: 500 LB: 0 @ 1090.9 1099.72 c Restart #40 #Var: 500 LB: 0 @ 1099.4 1108.34 c Restart #41 #Var: 500 LB: 0 @ 1108 1120.82 c Restart #42 #Var: 500 LB: 0 @ 1120.5 1130.48 c Restart #43 #Var: 500 LB: 0 @ 1130.2 1142.93 c Restart #44 #Var: 500 LB: 0 @ 1142.6 1158.45 c Restart #45 #Var: 500 LB: 0 @ 1158.1 1168.75 c Restart #46 #Var: 500 LB: 0 @ 1168.4 1183.11 c Restart #47 #Var: 500 LB: 0 @ 1182.8 1193.91 c Restart #48 #Var: 500 LB: 0 @ 1193.6 1206.82 c Restart #49 #Var: 500 LB: 0 @ 1206.5 1219.64 c Restart #50 #Var: 500 LB: 0 @ 1219.3 1232.53 c Restart #51 #Var: 500 LB: 0 @ 1232.2 1245.60 c Restart #52 #Var: 500 LB: 0 @ 1245.2 1260.78 c Restart #53 #Var: 500 LB: 0 @ 1260.4 1275.72 c Restart #54 #Var: 500 LB: 0 @ 1275.4 1289.93 c Restart #55 #Var: 500 LB: 0 @ 1289.6 1308.16 c Restart #56 #Var: 500 LB: 0 @ 1307.8 1325.99 c Restart #57 #Var: 500 LB: 0 @ 1325.6 1344.38 c Restart #58 #Var: 500 LB: 0 @ 1344 1361.54 c Restart #59 #Var: 500 LB: 0 @ 1361.1 1378.15 c Restart #60 #Var: 500 LB: 0 @ 1377.7 1396.05 c Restart #61 #Var: 500 LB: 0 @ 1395.6 1412.53 c Restart #62 #Var: 500 LB: 0 @ 1412.1 1431.25 c Restart #63 #Var: 500 LB: 0 @ 1430.8 1448.81 c Restart #64 #Var: 500 LB: 0 @ 1448.4 1468.60 c Restart #65 #Var: 500 LB: 0 @ 1468.1 1487.05 c Restart #66 #Var: 500 LB: 0 @ 1486.6 1505.69 c Restart #67 #Var: 500 LB: 0 @ 1505.2 1528.85 c Restart #68 #Var: 500 LB: 0 @ 1528.4 1553.06 c Restart #69 #Var: 500 LB: 0 @ 1552.6 1582.89 c Restart #70 #Var: 500 LB: 0 @ 1582.4 1608.45 c Restart #71 #Var: 500 LB: 0 @ 1608 1630.15 c Restart #72 #Var: 500 LB: 0 @ 1629.7 1656.04 c Restart #73 #Var: 500 LB: 0 @ 1655.5 1680.87 c Restart #74 #Var: 500 LB: 0 @ 1680.4 1708.27 c Restart #75 #Var: 500 LB: 0 @ 1707.8 1732.12 c Restart #76 #Var: 500 LB: 0 @ 1731.6 1764.65 c Restart #77 #Var: 500 LB: 0 @ 1764.1 1794.87 c Restart #78 #Var: 500 LB: 0 @ 1794.3 1800.54 s UNKNOWN 1800.54 c Exit Code: 0 1800.54 c Total time: 1800 s
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node25/watcher-46250-1154054330 -o ROOT/results/node25/solver-46250-1154054330 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/46250-1154054330/instance-46250-1154054330.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1274120/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=2948 CPUtime=0 /proc/26904/stat : 26904 (bsolo) D 26902 26904 26855 0 -1 0 50 0 1 0 0 0 0 0 18 0 1 0 152307885 3018752 34 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 3765028 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/26904/statm: 737 34 26 55 0 38 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1263248/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=12996 CPUtime=9.94 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 2510 0 10 0 991 3 0 0 25 0 1 0 152307885 13307904 2434 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 3249 2434 296 55 0 2141 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 12996 [startup+20.0083 s] /proc/loadavg: 0.94 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1262288/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=14052 CPUtime=19.95 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 2754 0 10 0 1990 5 0 0 25 0 1 0 152307885 14389248 2678 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 3513 2678 296 55 0 2405 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 14052 [startup+30.0142 s] /proc/loadavg: 0.95 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1260112/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=16280 CPUtime=29.94 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 3313 0 10 0 2988 6 0 0 25 0 1 0 152307885 16670720 3237 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 4070 3237 296 55 0 2962 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 16280 [startup+40.0201 s] /proc/loadavg: 0.96 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1258256/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=18120 CPUtime=39.95 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 3790 0 10 0 3987 8 0 0 25 0 1 0 152307885 18554880 3714 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 4530 3714 296 55 0 3422 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 18120 [startup+50.027 s] /proc/loadavg: 0.96 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1257488/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=18852 CPUtime=49.96 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 3971 0 10 0 4986 10 0 0 25 0 1 0 152307885 19304448 3895 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 4713 3895 296 55 0 3605 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 18852 [startup+60.0319 s] /proc/loadavg: 0.97 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1256400/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=20040 CPUtime=59.96 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4251 0 10 0 5985 11 0 0 25 0 1 0 152307885 20520960 4175 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 5010 4175 296 55 0 3902 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 20040 [startup+70.0378 s] /proc/loadavg: 0.97 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1255760/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=20688 CPUtime=69.96 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4410 0 10 0 6984 12 0 0 25 0 1 0 152307885 21184512 4334 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 5172 4334 296 55 0 4064 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 20688 [startup+80.0437 s] /proc/loadavg: 0.98 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1255312/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=21076 CPUtime=79.97 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4515 0 10 0 7983 14 0 0 25 0 1 0 152307885 21581824 4439 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 5269 4439 296 55 0 4161 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 21076 [startup+90.0496 s] /proc/loadavg: 0.98 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1254864/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=21472 CPUtime=89.97 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4628 0 10 0 8982 15 0 0 25 0 1 0 152307885 21987328 4552 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 5368 4552 296 55 0 4260 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 21472 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1253968/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=22484 CPUtime=99.97 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4857 0 10 0 9980 17 0 0 25 0 1 0 152307885 23023616 4781 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 5621 4781 296 55 0 4513 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 22484 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1252176/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=24328 CPUtime=109.97 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5312 0 10 0 10978 19 0 0 25 0 1 0 152307885 24911872 5236 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 6082 5236 296 55 0 4974 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 24328 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1251408/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=25108 CPUtime=119.98 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5508 0 10 0 11977 21 0 0 25 0 1 0 152307885 25710592 5432 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 6277 5432 296 55 0 5169 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 25108 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1250576/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=25856 CPUtime=129.99 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5704 0 10 0 12976 23 0 0 25 0 1 0 152307885 26476544 5628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 6464 5628 296 55 0 5356 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 25856 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1250128/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=26252 CPUtime=139.98 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5818 0 10 0 13975 23 0 0 25 0 1 0 152307885 26882048 5742 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548580 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 6563 5742 296 55 0 5455 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 26252 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1249488/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=26892 CPUtime=149.99 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5974 0 10 0 14974 25 0 0 25 0 1 0 152307885 27537408 5898 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 6723 5898 296 55 0 5615 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 26892 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1248400/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=28040 CPUtime=159.99 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 6248 0 10 0 15973 26 0 0 25 0 1 0 152307885 28712960 6172 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 7010 6172 296 55 0 5902 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 28040 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1247248/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=29172 CPUtime=169.99 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 6528 0 10 0 16972 27 0 0 25 0 1 0 152307885 29872128 6452 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 7293 6452 296 55 0 6185 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 29172 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1246160/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=30204 CPUtime=180 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 6805 0 10 0 17971 29 0 0 25 0 1 0 152307885 30928896 6729 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 7551 6729 296 55 0 6443 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 30204 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1245648/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=30716 CPUtime=190 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 6932 0 10 0 18970 30 0 0 25 0 1 0 152307885 31453184 6856 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 7679 6856 296 55 0 6571 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 30716 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 /proc/meminfo: memFree=1243856/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=32520 CPUtime=200.01 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 7377 0 10 0 19969 32 0 0 25 0 1 0 152307885 33300480 7301 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 8130 7301 296 55 0 7022 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 32520 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26904 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 114932 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161552/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115232 CPUtime=1770.51 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27898 0 10 0 176856 195 0 0 25 0 1 0 152307885 117997568 27816 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4206309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28808 27816 296 55 0 27700 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 115232 [startup+1781.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161232/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115496 CPUtime=1780.52 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27975 0 10 0 177856 196 0 0 25 0 1 0 152307885 118267904 27893 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28874 27893 296 55 0 27766 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 115496 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161232/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115496 CPUtime=1781.53 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27975 0 10 0 177957 196 0 0 25 0 1 0 152307885 118267904 27893 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28874 27893 296 55 0 27766 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 115496 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115496 CPUtime=1782.53 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27982 0 10 0 178057 196 0 0 25 0 1 0 152307885 118267904 27900 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28874 27900 296 55 0 27766 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 115496 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115496 CPUtime=1783.53 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27987 0 10 0 178157 196 0 0 25 0 1 0 152307885 118267904 27905 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28874 27905 296 55 0 27766 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 115496 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115496 CPUtime=1784.54 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27987 0 10 0 178258 196 0 0 25 0 1 0 152307885 118267904 27905 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28874 27905 296 55 0 27766 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 115496 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115496 CPUtime=1785.54 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27987 0 10 0 178358 196 0 0 25 0 1 0 152307885 118267904 27905 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4198487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28874 27905 296 55 0 27766 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 115496 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115496 CPUtime=1786.55 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27993 0 10 0 178459 196 0 0 25 0 1 0 152307885 118267904 27911 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28874 27911 296 55 0 27766 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 115496 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161104/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115628 CPUtime=1787.55 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28007 0 10 0 178559 196 0 0 25 0 1 0 152307885 118403072 27925 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28907 27925 296 55 0 27799 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 115628 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161040/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115628 CPUtime=1788.56 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28019 0 10 0 178659 197 0 0 25 0 1 0 152307885 118403072 27937 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28907 27937 296 55 0 27799 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 115628 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161040/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115628 CPUtime=1789.57 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28020 0 10 0 178760 197 0 0 25 0 1 0 152307885 118403072 27938 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28907 27938 296 55 0 27799 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 115628 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1161040/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115628 CPUtime=1790.57 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28025 0 10 0 178860 197 0 0 25 0 1 0 152307885 118403072 27943 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134633157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28907 27943 296 55 0 27799 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 115628 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1160976/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115628 CPUtime=1791.57 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28034 0 10 0 178960 197 0 0 25 0 1 0 152307885 118403072 27952 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28907 27952 296 55 0 27799 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 115628 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115752 CPUtime=1792.58 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28047 0 10 0 179061 197 0 0 25 0 1 0 152307885 118530048 27965 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28938 27965 296 55 0 27830 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 115752 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115752 CPUtime=1793.58 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28047 0 10 0 179161 197 0 0 25 0 1 0 152307885 118530048 27965 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28938 27965 296 55 0 27830 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 115752 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115752 CPUtime=1794.59 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179262 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28938 27966 296 55 0 27830 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 115752 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115752 CPUtime=1795.59 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179362 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28938 27966 296 55 0 27830 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 115752 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115752 CPUtime=1796.59 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179462 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28938 27966 296 55 0 27830 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 115752 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115752 CPUtime=1797.6 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179563 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28938 27966 296 55 0 27830 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 115752 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115752 CPUtime=1798.6 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179663 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28938 27966 296 55 0 27830 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 115752 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27102 /proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956 [pid=26904] ppid=26902 vsize=115752 CPUtime=1799.6 /proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179763 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26904/statm: 28938 27966 296 55 0 27830 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 115752 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.03 CPU user time (s): 1798.03 CPU system time (s): 2.00169 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (Kb): 115752 The end
Begin job on node25 on Fri Jul 28 02:38:50 UTC 2006 FILE ID= 46250-1154054330 PBS_JOBID= 881977 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/46250-1154054330/instance-46250-1154054330.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-46250-1154054330 -o ROOT/results/node25/solver-46250-1154054330 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/46250-1154054330/instance-46250-1154054330.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a69e1395b1a03cfd48605e1acc7227e4 RANDOM SEED= 315422286 TIMEOUT= 1800 seconds /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.209 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.209 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: 1274328 kB Buffers: 37076 kB Cached: 661564 kB SwapCached: 3800 kB Active: 91720 kB Inactive: 615676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1274328 kB SwapTotal: 4192956 kB SwapFree: 4183100 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14700 kB Slab: 60196 kB Committed_AS: 669432 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node25 on Fri Jul 28 03:08:50 UTC 2006