Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 1147.25 | 1148.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_1.opb |
MD5SUM | 775c76356ae7fda7a41e5dcf917f66b2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 51 |
Total number of constraints | 13 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1273 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3819 |
Number of bits of the biggest sum of numbers | 12 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 51 variables and 13 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.011 0.02 c After prepocess the problem consists of 50 variables and 12 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 50 LB: 0 @ 0.021 0.05 c Restart #2 #Var: 50 LB: 0 @ 0.043 0.08 c Restart #3 #Var: 50 LB: 0 @ 0.075 0.14 c Restart #4 #Var: 50 LB: 0 @ 0.131 0.19 c Restart #5 #Var: 50 LB: 0 @ 0.186 0.28 c Restart #6 #Var: 50 LB: 0 @ 0.274 0.37 c Restart #7 #Var: 50 LB: 0 @ 0.368 0.49 c Restart #8 #Var: 50 LB: 0 @ 0.485 0.59 c Restart #9 #Var: 50 LB: 0 @ 0.588 0.72 c Restart #10 #Var: 50 LB: 0 @ 0.717 0.87 c Restart #11 #Var: 50 LB: 0 @ 0.868 1.06 c Restart #12 #Var: 50 LB: 0 @ 1.056 1.32 c Restart #13 #Var: 50 LB: 0 @ 1.31 1.73 c Restart #14 #Var: 50 LB: 0 @ 1.727 2.22 c Restart #15 #Var: 50 LB: 0 @ 2.217 2.59 c Restart #16 #Var: 50 LB: 0 @ 2.584 2.95 c Restart #17 #Var: 50 LB: 0 @ 2.947 3.27 c Restart #18 #Var: 50 LB: 0 @ 3.265 3.64 c Restart #19 #Var: 50 LB: 0 @ 3.63 4.01 c Restart #20 #Var: 50 LB: 0 @ 4.008 4.42 c Restart #21 #Var: 50 LB: 0 @ 4.417 4.94 c Restart #22 #Var: 50 LB: 0 @ 4.935 5.51 c Restart #23 #Var: 50 LB: 0 @ 5.501 6.14 c Restart #24 #Var: 50 LB: 0 @ 6.128 7.01 c Restart #25 #Var: 50 LB: 0 @ 6.998 7.78 c Restart #26 #Var: 50 LB: 0 @ 7.767 8.35 c Restart #27 #Var: 50 LB: 0 @ 8.338 8.96 c Restart #28 #Var: 50 LB: 0 @ 8.949 10.01 c Restart #29 #Var: 50 LB: 0 @ 9.994 10.90 c Restart #30 #Var: 50 LB: 0 @ 10.884 11.89 c Restart #31 #Var: 50 LB: 0 @ 11.882 12.93 c Restart #32 #Var: 50 LB: 0 @ 12.921 14.81 c Restart #33 #Var: 50 LB: 0 @ 14.795 16.41 c Restart #34 #Var: 50 LB: 0 @ 16.395 17.47 c Restart #35 #Var: 50 LB: 0 @ 17.453 19.25 c Restart #36 #Var: 50 LB: 0 @ 19.234 20.97 c Restart #37 #Var: 50 LB: 0 @ 20.951 22.47 c Restart #38 #Var: 50 LB: 0 @ 22.452 23.74 c Restart #39 #Var: 50 LB: 0 @ 23.72 24.93 c Restart #40 #Var: 50 LB: 0 @ 24.913 26.52 c Restart #41 #Var: 50 LB: 0 @ 26.503 28.50 c Restart #42 #Var: 50 LB: 0 @ 28.482 29.81 c Restart #43 #Var: 50 LB: 0 @ 29.787 31.21 c Restart #44 #Var: 50 LB: 0 @ 31.191 32.92 c Restart #45 #Var: 50 LB: 0 @ 32.906 34.40 c Restart #46 #Var: 50 LB: 0 @ 34.379 36.13 c Restart #47 #Var: 50 LB: 0 @ 36.109 38.08 c Restart #48 #Var: 50 LB: 0 @ 38.059 40.11 c Restart #49 #Var: 50 LB: 0 @ 40.084 42.56 c Restart #50 #Var: 50 LB: 0 @ 42.541 45.05 c Restart #51 #Var: 50 LB: 0 @ 45.026 47.16 c Restart #52 #Var: 50 LB: 0 @ 47.134 48.90 c Restart #53 #Var: 50 LB: 0 @ 48.878 50.97 c Restart #54 #Var: 50 LB: 0 @ 50.949 53.46 c Restart #55 #Var: 50 LB: 0 @ 53.437 55.16 c Restart #56 #Var: 50 LB: 0 @ 55.131 57.51 c Restart #57 #Var: 50 LB: 0 @ 57.488 60.07 c Restart #58 #Var: 50 LB: 0 @ 60.047 62.92 c Restart #59 #Var: 50 LB: 0 @ 62.89 67.26 c Restart #60 #Var: 50 LB: 0 @ 67.231 72.30 c Restart #61 #Var: 50 LB: 0 @ 72.269 76.08 c Restart #62 #Var: 50 LB: 0 @ 76.044 79.53 c Restart #63 #Var: 50 LB: 0 @ 79.496 84.41 c Restart #64 #Var: 50 LB: 0 @ 84.371 89.48 c Restart #65 #Var: 50 LB: 0 @ 89.445 95.96 c Restart #66 #Var: 50 LB: 0 @ 95.923 103.16 c Restart #67 #Var: 50 LB: 0 @ 103.12 105.32 c Restart #68 #Var: 50 LB: 0 @ 105.27 108.08 c Restart #69 #Var: 50 LB: 0 @ 108.04 111.64 c Restart #70 #Var: 50 LB: 0 @ 111.6 115.99 c Restart #71 #Var: 50 LB: 0 @ 115.95 119.55 c Restart #72 #Var: 50 LB: 0 @ 119.5 123.07 c Restart #73 #Var: 50 LB: 0 @ 123.02 127.46 c Restart #74 #Var: 50 LB: 0 @ 127.41 135.16 c Restart #75 #Var: 50 LB: 0 @ 135.1 145.63 c Restart #76 #Var: 50 LB: 0 @ 145.57 156.90 c Restart #77 #Var: 50 LB: 0 @ 156.85 164.41 c Restart #78 #Var: 50 LB: 0 @ 164.35 176.67 c Restart #79 #Var: 50 LB: 0 @ 176.61 189.12 c Restart #80 #Var: 50 LB: 0 @ 189.05 200.08 c Restart #81 #Var: 50 LB: 0 @ 200 210.85 c Restart #82 #Var: 50 LB: 0 @ 210.77 230.55 c Restart #83 #Var: 50 LB: 0 @ 230.47 246.51 c Restart #84 #Var: 50 LB: 0 @ 246.42 260.71 c Restart #85 #Var: 50 LB: 0 @ 260.62 278.62 c Restart #86 #Var: 50 LB: 0 @ 278.52 296.32 c Restart #87 #Var: 50 LB: 0 @ 296.22 307.94 c Restart #88 #Var: 50 LB: 0 @ 307.82 318.69 c Restart #89 #Var: 50 LB: 0 @ 318.54 331.29 c Restart #90 #Var: 50 LB: 0 @ 331.12 345.04 c Restart #91 #Var: 50 LB: 0 @ 344.86 358.24 c Restart #92 #Var: 50 LB: 0 @ 358.06 369.78 c Restart #93 #Var: 50 LB: 0 @ 369.23 379.87 c Restart #94 #Var: 50 LB: 0 @ 379.32 393.55 c Restart #95 #Var: 50 LB: 0 @ 393 405.82 c Restart #96 #Var: 50 LB: 0 @ 405.27 419.03 c Restart #97 #Var: 50 LB: 0 @ 418.47 432.74 c Restart #98 #Var: 50 LB: 0 @ 432.17 446.06 c Restart #99 #Var: 50 LB: 0 @ 445.49 457.92 c Restart #100 #Var: 50 LB: 0 @ 457.35 469.36 c Restart #101 #Var: 50 LB: 0 @ 468.78 483.08 c Restart #102 #Var: 50 LB: 0 @ 482.5 504.50 c Restart #103 #Var: 50 LB: 0 @ 503.91 519.01 c Restart #104 #Var: 50 LB: 0 @ 518.41 532.21 c Restart #105 #Var: 50 LB: 0 @ 531.62 540.45 c Restart #106 #Var: 50 LB: 0 @ 539.86 554.69 c Restart #107 #Var: 50 LB: 0 @ 554.09 568.46 c Restart #108 #Var: 50 LB: 0 @ 567.85 579.14 c Restart #109 #Var: 50 LB: 0 @ 578.53 590.03 c Restart #110 #Var: 50 LB: 0 @ 589.41 604.62 c Restart #111 #Var: 50 LB: 0 @ 604 621.68 c Restart #112 #Var: 50 LB: 0 @ 621.05 632.30 c Restart #113 #Var: 50 LB: 0 @ 631.68 644.21 c Restart #114 #Var: 50 LB: 0 @ 643.58 654.19 c Restart #115 #Var: 50 LB: 0 @ 653.55 665.70 c Restart #116 #Var: 50 LB: 0 @ 665.07 675.04 c Restart #117 #Var: 50 LB: 0 @ 674.4 681.94 c Restart #118 #Var: 50 LB: 0 @ 681.3 690.90 c Restart #119 #Var: 50 LB: 0 @ 690.26 702.20 c Restart #120 #Var: 50 LB: 0 @ 701.55 712.63 c Restart #121 #Var: 50 LB: 0 @ 711.98 723.76 c Restart #122 #Var: 50 LB: 0 @ 723.11 736.52 c Restart #123 #Var: 50 LB: 0 @ 735.86 749.06 c Restart #124 #Var: 50 LB: 0 @ 748.4 761.89 c Restart #125 #Var: 50 LB: 0 @ 761.22 770.73 c Restart #126 #Var: 50 LB: 0 @ 770.06 781.18 c Restart #127 #Var: 50 LB: 0 @ 780.51 794.33 c Restart #128 #Var: 50 LB: 0 @ 793.66 803.93 c Restart #129 #Var: 50 LB: 0 @ 803.25 814.12 c Restart #130 #Var: 50 LB: 0 @ 813.44 825.12 c Restart #131 #Var: 50 LB: 0 @ 824.44 834.15 c Restart #132 #Var: 50 LB: 0 @ 833.46 843.95 c Restart #133 #Var: 50 LB: 0 @ 843.26 855.99 c Restart #134 #Var: 50 LB: 0 @ 855.3 869.09 c Restart #135 #Var: 50 LB: 0 @ 868.4 881.53 c Restart #136 #Var: 50 LB: 0 @ 880.83 899.18 c Restart #137 #Var: 50 LB: 0 @ 898.47 916.39 c CHANGE Heuristic... 916.39 c Restart #0 #Var: 50 LB: 0 @ 915.68 926.08 c Restart #1 #Var: 50 LB: 0 @ 925.37 937.14 c Restart #2 #Var: 50 LB: 0 @ 936.42 944.97 c Restart #3 #Var: 50 LB: 0 @ 944.25 951.87 c Restart #4 #Var: 50 LB: 0 @ 951.14 960.19 c Restart #5 #Var: 50 LB: 0 @ 959.47 969.00 c Restart #6 #Var: 50 LB: 0 @ 968.27 975.40 c Restart #7 #Var: 50 LB: 0 @ 974.67 984.36 c Restart #8 #Var: 50 LB: 0 @ 983.62 994.68 c Restart #9 #Var: 50 LB: 0 @ 993.95 1002.39 c Restart #10 #Var: 50 LB: 0 @ 1001.7 1009.37 c Restart #11 #Var: 50 LB: 0 @ 1008.6 1017.51 c Restart #12 #Var: 50 LB: 0 @ 1016.8 1023.38 c Restart #13 #Var: 50 LB: 0 @ 1022.6 1027.88 c Restart #14 #Var: 50 LB: 0 @ 1027.1 1032.06 c Restart #15 #Var: 50 LB: 0 @ 1031.3 1035.58 c Restart #16 #Var: 50 LB: 0 @ 1034.8 1040.08 c Restart #17 #Var: 50 LB: 0 @ 1039.3 1044.18 c Restart #18 #Var: 50 LB: 0 @ 1043.4 1047.86 c Restart #19 #Var: 50 LB: 0 @ 1047.1 1051.38 c Restart #20 #Var: 50 LB: 0 @ 1050.6 1055.01 c Restart #21 #Var: 50 LB: 0 @ 1054.2 1058.74 c Restart #22 #Var: 50 LB: 0 @ 1058 1062.65 c Restart #23 #Var: 50 LB: 0 @ 1061.9 1066.61 c Restart #24 #Var: 50 LB: 0 @ 1065.8 1070.55 c Restart #25 #Var: 50 LB: 0 @ 1069.8 1075.02 c Restart #26 #Var: 50 LB: 0 @ 1074.3 1079.64 c Restart #27 #Var: 50 LB: 0 @ 1078.9 1084.20 c Restart #28 #Var: 50 LB: 0 @ 1083.4 1089.56 c Restart #29 #Var: 50 LB: 0 @ 1088.8 1094.04 c Restart #30 #Var: 50 LB: 0 @ 1093.3 1098.29 c Restart #31 #Var: 50 LB: 0 @ 1097.5 1103.03 c Restart #32 #Var: 50 LB: 0 @ 1102.3 1108.67 c Restart #33 #Var: 50 LB: 0 @ 1107.9 1114.17 c Restart #34 #Var: 50 LB: 0 @ 1113.4 1119.08 c Restart #35 #Var: 50 LB: 0 @ 1118.3 1124.11 c Restart #36 #Var: 50 LB: 0 @ 1123.3 1129.18 c Restart #37 #Var: 50 LB: 0 @ 1128.4 1134.14 c Restart #38 #Var: 50 LB: 0 @ 1133.4 1139.14 c Restart #39 #Var: 50 LB: 0 @ 1138.4 1145.38 c Restart #40 #Var: 50 LB: 0 @ 1144.6
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.1 (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/node77/watcher-50311-1149904557 -o ROOT/results/node77/solver-50311-1149904557 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/50311-1149904557/instance-50311-1149904557.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1666016/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=4620 CPUtime=0 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 172 0 0 0 0 0 0 0 19 0 1 0 256094861 4730880 143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157826389 0 0 4096 0 0 0 0 17 1 0 0 /proc/29355/statm: 1155 152 112 55 0 46 0 [startup+10.0029 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1586792/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=84032 CPUtime=9.98 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 20165 0 0 0 984 14 0 0 25 0 1 0 256094861 86048768 20072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 21008 20072 294 55 0 19899 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 84032 [startup+20.0091 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1541992/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=129032 CPUtime=19.98 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 31369 0 0 0 1977 21 0 0 25 0 1 0 256094861 132128768 31257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 32258 31257 294 55 0 31149 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 129032 [startup+30.0143 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1496104/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=174864 CPUtime=29.99 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 42819 0 0 0 2970 29 0 0 25 0 1 0 256094861 179060736 42692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 43716 42692 294 55 0 42607 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 174864 [startup+40.0206 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1447720/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=223388 CPUtime=39.99 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 54916 0 0 0 3963 36 0 0 25 0 1 0 256094861 228749312 54771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 55847 54771 294 55 0 54738 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 223388 [startup+50.0268 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1406312/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=265388 CPUtime=50 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 65278 0 0 0 4956 44 0 0 25 0 1 0 256094861 271757312 65100 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 66347 65100 294 55 0 65238 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 265388 [startup+60.033 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1363304/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=308476 CPUtime=59.99 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 76030 0 0 0 5949 50 0 0 25 0 1 0 256094861 315879424 75834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 77119 75834 294 55 0 76010 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 308476 [startup+70.0393 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1336488/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=335412 CPUtime=70 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 82731 0 0 0 6944 56 0 0 25 0 1 0 256094861 343461888 82508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 83853 82508 294 55 0 82744 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 335412 [startup+80.0465 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1310376/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=361900 CPUtime=80 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 89338 0 0 0 7939 61 0 0 25 0 1 0 256094861 370585600 89030 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 90475 89030 294 55 0 89366 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 361900 [startup+90.0518 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1287400/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=385020 CPUtime=90 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 95158 0 0 0 8935 65 0 0 25 0 1 0 256094861 394260480 94767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 96255 94767 294 55 0 95146 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 385020 [startup+100.057 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1269224/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=403776 CPUtime=100.01 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 99777 0 0 0 9932 69 0 0 25 0 1 0 256094861 413466624 99296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 100944 99296 294 55 0 99835 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 403776 [startup+110.063 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1234920/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=438280 CPUtime=110.01 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 108421 0 0 0 10926 75 0 0 25 0 1 0 256094861 448798720 107851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 109570 107851 294 55 0 108461 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 438280 [startup+120.069 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1203752/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=469604 CPUtime=120.01 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 116253 0 0 0 11921 80 0 0 25 0 1 0 256094861 480874496 115637 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 117401 115637 294 55 0 116292 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 469604 [startup+130.076 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1172200/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=501148 CPUtime=130.01 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 124130 0 0 0 12915 86 0 0 25 0 1 0 256094861 513175552 123506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 125287 123506 294 55 0 124178 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 501148 [startup+140.082 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1156584/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=516784 CPUtime=140.02 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 128049 0 0 0 13911 91 0 0 25 0 1 0 256094861 529186816 127406 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 129196 127406 294 55 0 128087 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 516784 [startup+150.088 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1145384/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=528068 CPUtime=150.02 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 130857 0 0 0 14909 93 0 0 25 0 1 0 256094861 540741632 130207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 132017 130207 294 55 0 130908 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 528068 [startup+160.094 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1131816/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=541916 CPUtime=160.03 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 134320 0 0 0 15906 97 0 0 25 0 1 0 256094861 554921984 133584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 135479 133584 294 55 0 134370 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 541916 [startup+170.101 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1119272/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=554544 CPUtime=170.02 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 137460 0 0 0 16902 100 0 0 25 0 1 0 256094861 567853056 136719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 138636 136719 294 55 0 137527 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 554544 [startup+180.107 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1109160/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=564444 CPUtime=180.03 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 139973 0 0 0 17901 102 0 0 25 0 1 0 256094861 577990656 139232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 141111 139232 294 55 0 140002 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 564444 [startup+190.113 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1096744/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=576852 CPUtime=190.03 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 143077 0 0 0 18898 105 0 0 25 0 1 0 256094861 590696448 142336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 144213 142336 294 55 0 143104 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 576852 [startup+200.119 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 /proc/meminfo: memFree=1083304/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=590188 CPUtime=200.04 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 146421 0 0 0 19895 109 0 0 25 0 1 0 256094861 604352512 145680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 147547 145680 294 55 0 146438 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 590188 [startup+210.126 s] /proc/loadavg: 1.00 0.99 0.91 2/67 29355 ################ # More data... # ################ Current children cumulated CPU time (s) 929.84 Current children cumulated vsize (Kb) 1698828 [startup+940.574 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=16296/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1699092 CPUtime=939.85 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 427431 0 0 0 93628 357 0 0 25 0 1 0 256094861 1739870208 420350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 424773 420350 294 55 0 423664 0 Current children cumulated CPU time (s) 939.85 Current children cumulated vsize (Kb) 1699092 [startup+950.58 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15208/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1700148 CPUtime=949.85 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 427710 0 0 0 94628 357 0 0 25 0 1 0 256094861 1740951552 420629 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 425037 420629 294 55 0 423928 0 Current children cumulated CPU time (s) 949.85 Current children cumulated vsize (Kb) 1700148 [startup+960.586 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15528/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1702220 CPUtime=959.84 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 428344 0 0 0 95627 357 0 0 25 0 1 0 256094861 1743073280 420939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534815 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 425555 420939 294 55 0 424446 0 Current children cumulated CPU time (s) 959.84 Current children cumulated vsize (Kb) 1702220 [startup+970.592 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15912/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1703012 CPUtime=969.86 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 428637 0 0 0 96628 358 0 0 25 0 1 0 256094861 1743884288 421232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 425753 421232 294 55 0 424644 0 Current children cumulated CPU time (s) 969.86 Current children cumulated vsize (Kb) 1703012 [startup+980.598 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15400/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1704992 CPUtime=979.85 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 429142 0 0 0 97627 358 0 0 25 0 1 0 256094861 1745911808 421737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 426248 421737 294 55 0 425139 0 Current children cumulated CPU time (s) 979.85 Current children cumulated vsize (Kb) 1704992 [startup+990.604 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15592/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1706180 CPUtime=989.86 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 429496 0 0 0 98627 359 0 0 25 0 1 0 256094861 1747128320 422091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 426545 422091 294 55 0 425436 0 Current children cumulated CPU time (s) 989.86 Current children cumulated vsize (Kb) 1706180 [startup+1000.61 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=14824/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1709308 CPUtime=999.86 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 430365 0 0 0 99626 360 0 0 25 0 1 0 256094861 1750331392 422634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 427327 422634 294 55 0 426218 0 Current children cumulated CPU time (s) 999.86 Current children cumulated vsize (Kb) 1709308 [startup+1010.62 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15656/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1712064 CPUtime=1009.86 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 431112 0 0 0 100625 361 0 0 25 0 1 0 256094861 1753153536 423219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 428016 423219 294 55 0 426907 0 Current children cumulated CPU time (s) 1009.86 Current children cumulated vsize (Kb) 1712064 [startup+1020.62 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15656/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1714968 CPUtime=1019.87 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 431867 0 0 0 101624 363 0 0 25 0 1 0 256094861 1756127232 423974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 428742 423974 294 55 0 427633 0 Current children cumulated CPU time (s) 1019.87 Current children cumulated vsize (Kb) 1714968 [startup+1030.63 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15912/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1720644 CPUtime=1029.86 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 433347 0 0 0 102621 365 0 0 25 0 1 0 256094861 1761939456 425454 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 430161 425454 294 55 0 429052 0 Current children cumulated CPU time (s) 1029.86 Current children cumulated vsize (Kb) 1720644 [startup+1040.64 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=14888/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1726188 CPUtime=1039.87 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 434747 0 0 0 103621 366 0 0 25 0 1 0 256094861 1767616512 426854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 431547 426854 294 55 0 430438 0 Current children cumulated CPU time (s) 1039.87 Current children cumulated vsize (Kb) 1726188 [startup+1050.64 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=16104/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1736468 CPUtime=1049.87 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 437364 0 0 0 104619 368 0 0 25 0 1 0 256094861 1778143232 429309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 434117 429309 294 55 0 433008 0 Current children cumulated CPU time (s) 1049.87 Current children cumulated vsize (Kb) 1736468 [startup+1060.65 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15080/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1745056 CPUtime=1059.88 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 439550 0 0 0 105618 370 0 0 25 0 1 0 256094861 1786937344 431495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 436264 431495 294 55 0 435155 0 Current children cumulated CPU time (s) 1059.88 Current children cumulated vsize (Kb) 1745056 [startup+1070.65 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=14824/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1755904 CPUtime=1069.88 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 442286 0 0 0 106616 372 0 0 25 0 1 0 256094861 1798045696 434231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 438976 434231 294 55 0 437867 0 Current children cumulated CPU time (s) 1069.88 Current children cumulated vsize (Kb) 1755904 [startup+1080.66 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=14824/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1764780 CPUtime=1079.88 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 444593 0 0 0 107614 374 0 0 25 0 1 0 256094861 1807134720 436537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 441195 436537 294 55 0 440086 0 Current children cumulated CPU time (s) 1079.88 Current children cumulated vsize (Kb) 1764780 [startup+1090.67 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15336/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1776896 CPUtime=1089.89 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 447749 0 0 0 108612 377 0 0 25 0 1 0 256094861 1819541504 439045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 444224 439045 294 55 0 443115 0 Current children cumulated CPU time (s) 1089.89 Current children cumulated vsize (Kb) 1776896 [startup+1100.67 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15976/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1789832 CPUtime=1099.89 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 451069 0 0 0 109610 379 0 0 25 0 1 0 256094861 1832787968 442365 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 447458 442365 294 55 0 446349 0 Current children cumulated CPU time (s) 1099.89 Current children cumulated vsize (Kb) 1789832 [startup+1110.68 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15208/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1798148 CPUtime=1109.9 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 453176 0 0 0 110608 382 0 0 25 0 1 0 256094861 1841303552 444472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 449537 444472 294 55 0 448428 0 Current children cumulated CPU time (s) 1109.9 Current children cumulated vsize (Kb) 1798148 [startup+1120.68 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=14824/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1809284 CPUtime=1119.9 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 455957 0 0 0 111606 384 0 0 25 0 1 0 256094861 1852706816 447251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 452321 447251 294 55 0 451212 0 Current children cumulated CPU time (s) 1119.9 Current children cumulated vsize (Kb) 1809284 [startup+1130.69 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15016/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1821804 CPUtime=1129.9 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 459157 0 0 0 112604 386 0 0 25 0 1 0 256094861 1865527296 450289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 455451 450289 294 55 0 454342 0 Current children cumulated CPU time (s) 1129.9 Current children cumulated vsize (Kb) 1821804 [startup+1140.7 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30030 /proc/meminfo: memFree=15976/2055892 swapFree=4085316/4096564 [pid=29355] ppid=29353 vsize=1834608 CPUtime=1139.91 /proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 462384 0 0 0 113602 389 0 0 25 0 1 0 256094861 1878638592 453516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29355/statm: 458652 453516 294 55 0 457543 0 Current children cumulated CPU time (s) 1139.91 Current children cumulated vsize (Kb) 1834608 Child ended because it received signal 6 (SIGABRT) Real time (s): 1148.05 CPU time (s): 1147.25 CPU user time (s): 1143.08 CPU system time (s): 4.16737 CPU usage (%): 99.9303 Max. virtual memory (cumulated for all children) (Kb): 1834608 The end
Begin job on node77 on Sat Jun 10 01:55:57 UTC 2006 FILE ID= 50311-1149904557 PBS_JOBID= 385292 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/50311-1149904557/instance-50311-1149904557.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-50311-1149904557 -o ROOT/results/node77/solver-50311-1149904557 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/50311-1149904557/instance-50311-1149904557.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 775c76356ae7fda7a41e5dcf917f66b2 RANDOM SEED= 137115874 /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.238 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 : 6006.16 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.238 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1666224 kB Buffers: 40792 kB Cached: 279368 kB SwapCached: 2500 kB Active: 109740 kB Inactive: 219132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1666224 kB SwapTotal: 4096564 kB SwapFree: 4085316 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16108 kB Slab: 47468 kB Committed_AS: 619004 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Sat Jun 10 02:15:05 UTC 2006