Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.02 | 1800.56 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb |
MD5SUM | 3fa1f197015efe7b715c83a938660d2f |
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.007998 |
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 | 1000 |
Total number of constraints | 90 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
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.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.03 c Initial problem consists of 1000 variables and 90 constraints. 0.03 c Using non-optimization problem switches. 0.03 c No problem reductions applied in OPT. instance. 0.03 c preprocess terminated. Elapsed time: 0.012 0.03 c After prepocess the problem consists of 1000 variables and 90 constraints. 0.05 c Restart #1 #Var: 1000 LB: 0 @ 0.031 0.07 c Restart #2 #Var: 1000 LB: 0 @ 0.057 0.13 c Restart #3 #Var: 1000 LB: 0 @ 0.111 0.22 c Restart #4 #Var: 1000 LB: 0 @ 0.205 0.39 c Restart #5 #Var: 1000 LB: 0 @ 0.372 0.62 c Restart #6 #Var: 1000 LB: 0 @ 0.606 0.90 c Restart #7 #Var: 1000 LB: 0 @ 0.889 1.27 c Restart #8 #Var: 1000 LB: 0 @ 1.258 1.66 c Restart #9 #Var: 1000 LB: 0 @ 1.648 2.23 c Restart #10 #Var: 1000 LB: 0 @ 2.216 2.77 c Restart #11 #Var: 1000 LB: 0 @ 2.752 3.38 c Restart #12 #Var: 1000 LB: 0 @ 3.361 4.09 c Restart #13 #Var: 1000 LB: 0 @ 4.074 4.99 c Restart #14 #Var: 1000 LB: 0 @ 4.974 6.04 c Restart #15 #Var: 1000 LB: 0 @ 6.026 6.90 c Restart #16 #Var: 1000 LB: 0 @ 6.886 7.98 c Restart #17 #Var: 1000 LB: 0 @ 7.956 9.30 c Restart #18 #Var: 1000 LB: 0 @ 9.277 10.68 c Restart #19 #Var: 1000 LB: 0 @ 10.659 12.29 c Restart #20 #Var: 1000 LB: 0 @ 12.269 14.21 c Restart #21 #Var: 1000 LB: 0 @ 14.184 16.09 c Restart #22 #Var: 1000 LB: 0 @ 16.066 18.27 c Restart #23 #Var: 1000 LB: 0 @ 18.252 20.64 c Restart #24 #Var: 1000 LB: 0 @ 20.618 23.16 c Restart #25 #Var: 1000 LB: 0 @ 23.131 26.84 c Restart #26 #Var: 1000 LB: 0 @ 26.816 30.39 c Restart #27 #Var: 1000 LB: 0 @ 30.36 33.81 c Restart #28 #Var: 1000 LB: 0 @ 33.778 37.35 c Restart #29 #Var: 1000 LB: 0 @ 37.32 41.35 c Restart #30 #Var: 1000 LB: 0 @ 41.32 45.12 c Restart #31 #Var: 1000 LB: 0 @ 45.093 49.38 c Restart #32 #Var: 1000 LB: 0 @ 49.352 53.75 c Restart #33 #Var: 1000 LB: 0 @ 53.716 58.83 c Restart #34 #Var: 1000 LB: 0 @ 58.798 64.29 c Restart #35 #Var: 1000 LB: 0 @ 64.25 69.95 c Restart #36 #Var: 1000 LB: 0 @ 69.91 76.19 c Restart #37 #Var: 1000 LB: 0 @ 76.151 81.78 c Restart #38 #Var: 1000 LB: 0 @ 81.738 87.71 c Restart #39 #Var: 1000 LB: 0 @ 87.667 94.16 c Restart #40 #Var: 1000 LB: 0 @ 94.112 100.63 c Restart #41 #Var: 1000 LB: 0 @ 100.58 108.66 c Restart #42 #Var: 1000 LB: 0 @ 108.61 115.62 c Restart #43 #Var: 1000 LB: 0 @ 115.57 123.88 c Restart #44 #Var: 1000 LB: 0 @ 123.82 131.59 c Restart #45 #Var: 1000 LB: 0 @ 131.53 140.07 c Restart #46 #Var: 1000 LB: 0 @ 140.02 149.16 c Restart #47 #Var: 1000 LB: 0 @ 149.1 157.96 c Restart #48 #Var: 1000 LB: 0 @ 157.9 170.64 c Restart #49 #Var: 1000 LB: 0 @ 170.57 180.16 c Restart #50 #Var: 1000 LB: 0 @ 180.09 189.11 c Restart #51 #Var: 1000 LB: 0 @ 189.04 200.97 c Restart #52 #Var: 1000 LB: 0 @ 200.9 210.55 c Restart #53 #Var: 1000 LB: 0 @ 210.47 219.65 c Restart #54 #Var: 1000 LB: 0 @ 219.57 231.35 c Restart #55 #Var: 1000 LB: 0 @ 231.27 243.82 c Restart #56 #Var: 1000 LB: 0 @ 243.73 255.49 c Restart #57 #Var: 1000 LB: 0 @ 255.4 269.02 c Restart #58 #Var: 1000 LB: 0 @ 268.92 283.36 c Restart #59 #Var: 1000 LB: 0 @ 283.26 296.88 c Restart #60 #Var: 1000 LB: 0 @ 296.77 310.87 c Restart #61 #Var: 1000 LB: 0 @ 310.76 324.81 c Restart #62 #Var: 1000 LB: 0 @ 324.7 341.34 c Restart #63 #Var: 1000 LB: 0 @ 341.22 357.99 c Restart #64 #Var: 1000 LB: 0 @ 357.87 374.86 c Restart #65 #Var: 1000 LB: 0 @ 374.73 393.81 c Restart #66 #Var: 1000 LB: 0 @ 393.68 411.63 c Restart #67 #Var: 1000 LB: 0 @ 411.5 429.60 c Restart #68 #Var: 1000 LB: 0 @ 429.46 449.43 c Restart #69 #Var: 1000 LB: 0 @ 449.28 469.70 c Restart #70 #Var: 1000 LB: 0 @ 469.54 491.55 c Restart #71 #Var: 1000 LB: 0 @ 491.39 513.18 c Restart #72 #Var: 1000 LB: 0 @ 513.01 536.27 c Restart #73 #Var: 1000 LB: 0 @ 536.09 559.86 c Restart #74 #Var: 1000 LB: 0 @ 559.68 587.00 c Restart #75 #Var: 1000 LB: 0 @ 586.81 613.33 c Restart #76 #Var: 1000 LB: 0 @ 613.14 639.61 c Restart #77 #Var: 1000 LB: 0 @ 639.4 666.54 c Restart #78 #Var: 1000 LB: 0 @ 666.33 695.57 c Restart #79 #Var: 1000 LB: 0 @ 695.35 724.44 c Restart #80 #Var: 1000 LB: 0 @ 724.21 753.30 c Restart #81 #Var: 1000 LB: 0 @ 753.06 782.35 c Restart #82 #Var: 1000 LB: 0 @ 782.1 810.63 c Restart #83 #Var: 1000 LB: 0 @ 810.38 839.74 c Restart #84 #Var: 1000 LB: 0 @ 839.48 871.73 c Restart #85 #Var: 1000 LB: 0 @ 871.46 903.56 c CHANGE Heuristic... 903.56 c Restart #0 #Var: 1000 LB: 0 @ 903.28 903.59 c Restart #1 #Var: 1000 LB: 0 @ 903.31 903.62 c Restart #2 #Var: 1000 LB: 0 @ 903.34 903.69 c Restart #3 #Var: 1000 LB: 0 @ 903.41 903.80 c Restart #4 #Var: 1000 LB: 0 @ 903.52 903.93 c Restart #5 #Var: 1000 LB: 0 @ 903.65 904.13 c Restart #6 #Var: 1000 LB: 0 @ 903.85 904.39 c Restart #7 #Var: 1000 LB: 0 @ 904.11 904.71 c Restart #8 #Var: 1000 LB: 0 @ 904.43 905.18 c Restart #9 #Var: 1000 LB: 0 @ 904.9 905.71 c Restart #10 #Var: 1000 LB: 0 @ 905.43 906.35 c Restart #11 #Var: 1000 LB: 0 @ 906.07 906.97 c Restart #12 #Var: 1000 LB: 0 @ 906.69 907.77 c Restart #13 #Var: 1000 LB: 0 @ 907.49 908.62 c Restart #14 #Var: 1000 LB: 0 @ 908.33 909.64 c Restart #15 #Var: 1000 LB: 0 @ 909.36 910.55 c Restart #16 #Var: 1000 LB: 0 @ 910.27 911.83 c Restart #17 #Var: 1000 LB: 0 @ 911.55 912.96 c Restart #18 #Var: 1000 LB: 0 @ 912.67 914.55 c Restart #19 #Var: 1000 LB: 0 @ 914.27 916.53 c Restart #20 #Var: 1000 LB: 0 @ 916.24 918.23 c Restart #21 #Var: 1000 LB: 0 @ 917.94 920.33 c Restart #22 #Var: 1000 LB: 0 @ 920.05 922.80 c Restart #23 #Var: 1000 LB: 0 @ 922.52 925.17 c Restart #24 #Var: 1000 LB: 0 @ 924.89 927.92 c Restart #25 #Var: 1000 LB: 0 @ 927.64 930.98 c Restart #26 #Var: 1000 LB: 0 @ 930.69 933.73 c Restart #27 #Var: 1000 LB: 0 @ 933.45 937.48 c Restart #28 #Var: 1000 LB: 0 @ 937.19 940.31 c Restart #29 #Var: 1000 LB: 0 @ 940.01 943.39 c Restart #30 #Var: 1000 LB: 0 @ 943.1 947.43 c Restart #31 #Var: 1000 LB: 0 @ 947.14 951.72 c Restart #32 #Var: 1000 LB: 0 @ 951.42 955.15 c Restart #33 #Var: 1000 LB: 0 @ 954.86 959.46 c Restart #34 #Var: 1000 LB: 0 @ 959.16 963.14 c Restart #35 #Var: 1000 LB: 0 @ 962.85 967.66 c Restart #36 #Var: 1000 LB: 0 @ 967.36 971.51 c Restart #37 #Var: 1000 LB: 0 @ 971.21 975.85 c Restart #38 #Var: 1000 LB: 0 @ 975.55 981.03 c Restart #39 #Var: 1000 LB: 0 @ 980.73 986.29 c Restart #40 #Var: 1000 LB: 0 @ 985.99 992.95 c Restart #41 #Var: 1000 LB: 0 @ 992.64 997.85 c Restart #42 #Var: 1000 LB: 0 @ 997.55 1002.81 c Restart #43 #Var: 1000 LB: 0 @ 1002.5 1008.87 c Restart #44 #Var: 1000 LB: 0 @ 1008.6 1015.02 c Restart #45 #Var: 1000 LB: 0 @ 1014.7 1020.85 c Restart #46 #Var: 1000 LB: 0 @ 1020.5 1026.96 c Restart #47 #Var: 1000 LB: 0 @ 1026.6 1033.57 c Restart #48 #Var: 1000 LB: 0 @ 1033.2 1039.22 c Restart #49 #Var: 1000 LB: 0 @ 1038.9 1045.33 c Restart #50 #Var: 1000 LB: 0 @ 1045 1051.83 c Restart #51 #Var: 1000 LB: 0 @ 1051.5 1060.01 c Restart #52 #Var: 1000 LB: 0 @ 1059.7 1066.89 c Restart #53 #Var: 1000 LB: 0 @ 1066.6 1076.38 c Restart #54 #Var: 1000 LB: 0 @ 1076.1 1085.01 c Restart #55 #Var: 1000 LB: 0 @ 1084.7 1091.67 c Restart #56 #Var: 1000 LB: 0 @ 1091.3 1099.52 c Restart #57 #Var: 1000 LB: 0 @ 1099.2 1107.05 c Restart #58 #Var: 1000 LB: 0 @ 1106.7 1115.50 c Restart #59 #Var: 1000 LB: 0 @ 1115.2 1124.18 c Restart #60 #Var: 1000 LB: 0 @ 1123.8 1132.18 c Restart #61 #Var: 1000 LB: 0 @ 1131.8 1140.76 c Restart #62 #Var: 1000 LB: 0 @ 1140.4 1151.46 c Restart #63 #Var: 1000 LB: 0 @ 1151.1 1160.14 c Restart #64 #Var: 1000 LB: 0 @ 1159.8 1171.28 c Restart #65 #Var: 1000 LB: 0 @ 1170.9 1181.23 c Restart #66 #Var: 1000 LB: 0 @ 1180.9 1193.94 c Restart #67 #Var: 1000 LB: 0 @ 1193.6 1204.27 c Restart #68 #Var: 1000 LB: 0 @ 1203.9 1215.11 c Restart #69 #Var: 1000 LB: 0 @ 1214.7 1227.10 c Restart #70 #Var: 1000 LB: 0 @ 1226.7 1240.68 c Restart #71 #Var: 1000 LB: 0 @ 1240.3 1253.54 c Restart #72 #Var: 1000 LB: 0 @ 1253.2 1264.85 c Restart #73 #Var: 1000 LB: 0 @ 1264.5 1280.08 c Restart #74 #Var: 1000 LB: 0 @ 1279.7 1293.86 c Restart #75 #Var: 1000 LB: 0 @ 1293.5 1306.61 c Restart #76 #Var: 1000 LB: 0 @ 1306.2 1321.10 c Restart #77 #Var: 1000 LB: 0 @ 1320.7 1335.61 c Restart #78 #Var: 1000 LB: 0 @ 1335.2 1350.23 c Restart #79 #Var: 1000 LB: 0 @ 1349.8 1363.05 c Restart #80 #Var: 1000 LB: 0 @ 1362.6 1377.94 c Restart #81 #Var: 1000 LB: 0 @ 1377.5 1395.72 c Restart #82 #Var: 1000 LB: 0 @ 1395.3 1410.88 c Restart #83 #Var: 1000 LB: 0 @ 1410.5 1429.68 c Restart #84 #Var: 1000 LB: 0 @ 1429.2 1444.96 c Restart #85 #Var: 1000 LB: 0 @ 1444.5 1461.52 c Restart #86 #Var: 1000 LB: 0 @ 1461.1 1480.34 c Restart #87 #Var: 1000 LB: 0 @ 1479.9 1499.27 c Restart #88 #Var: 1000 LB: 0 @ 1498.8 1520.20 c Restart #89 #Var: 1000 LB: 0 @ 1519.7 1537.33 c Restart #90 #Var: 1000 LB: 0 @ 1536.9 1556.74 c Restart #91 #Var: 1000 LB: 0 @ 1556.3 1575.49 c Restart #92 #Var: 1000 LB: 0 @ 1575 1594.47 c Restart #93 #Var: 1000 LB: 0 @ 1594 1617.80 c Restart #94 #Var: 1000 LB: 0 @ 1617.3 1636.71 c Restart #95 #Var: 1000 LB: 0 @ 1636.2 1658.33 c Restart #96 #Var: 1000 LB: 0 @ 1657.8 1681.45 c Restart #97 #Var: 1000 LB: 0 @ 1680.9 1700.54 c Restart #98 #Var: 1000 LB: 0 @ 1700 1721.88 c Restart #99 #Var: 1000 LB: 0 @ 1721.4 1740.56 c Restart #100 #Var: 1000 LB: 0 @ 1740 1763.74 c Restart #101 #Var: 1000 LB: 0 @ 1763.2 1791.02 c Restart #102 #Var: 1000 LB: 0 @ 1790.5 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 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/node71/watcher-39679-1149232693 -o ROOT/results/node71/solver-39679-1149232693 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node71/39679-1149232693/instance-39679-1149232693.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 3/64 3792 /proc/meminfo: memFree=1324784/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=4664 CPUtime=0 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 142 0 0 0 0 0 0 0 18 0 1 0 188938982 4775936 123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169216 0 0 4096 0 0 0 0 17 1 0 0 /proc/3792/statm: 1166 123 103 55 0 46 0 [startup+10.003 s] /proc/loadavg: 0.93 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1311760/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=17520 CPUtime=9.97 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 3652 0 0 0 994 3 0 0 25 0 1 0 188938982 17940480 3567 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 4380 3567 296 55 0 3272 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 17520 [startup+20.0104 s] /proc/loadavg: 0.94 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1309392/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=20004 CPUtime=19.98 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 4252 0 0 0 1993 5 0 0 25 0 1 0 188938982 20484096 4167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 5001 4167 296 55 0 3893 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 20004 [startup+30.0168 s] /proc/loadavg: 0.95 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1307792/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=21588 CPUtime=29.99 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 4657 0 0 0 2992 7 0 0 25 0 1 0 188938982 22106112 4572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 5397 4572 296 55 0 4289 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 21588 [startup+40.0231 s] /proc/loadavg: 0.96 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1306320/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=23044 CPUtime=39.98 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 5032 0 0 0 3990 8 0 0 25 0 1 0 188938982 23597056 4947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 5761 4947 296 55 0 4653 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 23044 [startup+50.0295 s] /proc/loadavg: 0.96 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1304208/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=25264 CPUtime=49.99 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 5556 0 0 0 4989 10 0 0 25 0 1 0 188938982 25870336 5471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7638672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 6316 5471 296 55 0 5208 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 25264 [startup+60.0359 s] /proc/loadavg: 0.97 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1302736/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=26756 CPUtime=59.99 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 5941 0 0 0 5988 11 0 0 25 0 1 0 188938982 27398144 5856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 6689 5856 296 55 0 5581 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 26756 [startup+70.0433 s] /proc/loadavg: 0.97 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1301520/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=27932 CPUtime=70 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 6240 0 0 0 6987 13 0 0 25 0 1 0 188938982 28602368 6155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 6983 6155 296 55 0 5875 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 27932 [startup+80.0497 s] /proc/loadavg: 0.98 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1300752/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=28720 CPUtime=80 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 6434 0 0 0 7986 14 0 0 25 0 1 0 188938982 29409280 6349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 7180 6349 296 55 0 6072 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 28720 [startup+90.0561 s] /proc/loadavg: 0.98 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1298768/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=30704 CPUtime=90 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 6925 0 0 0 8985 15 0 0 25 0 1 0 188938982 31440896 6840 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 7676 6840 296 55 0 6568 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 30704 [startup+100.062 s] /proc/loadavg: 0.98 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1297296/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=32212 CPUtime=100.01 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 7293 0 0 0 9984 17 0 0 25 0 1 0 188938982 32985088 7208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 8053 7208 296 55 0 6945 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 32212 [startup+110.069 s] /proc/loadavg: 0.98 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1296848/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=32560 CPUtime=110.01 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 7398 0 0 0 10984 17 0 0 25 0 1 0 188938982 33341440 7313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 8140 7313 296 55 0 7032 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 32560 [startup+120.075 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1296272/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=33212 CPUtime=120.02 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 7565 0 0 0 11983 19 0 0 25 0 1 0 188938982 34009088 7480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 8303 7480 296 55 0 7195 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 33212 [startup+130.082 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1295312/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=34116 CPUtime=130.02 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 7799 0 0 0 12982 20 0 0 25 0 1 0 188938982 34934784 7714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 8529 7714 296 55 0 7421 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 34116 [startup+140.088 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1294800/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=34628 CPUtime=140.02 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 7924 0 0 0 13982 20 0 0 25 0 1 0 188938982 35459072 7839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 8657 7839 296 55 0 7549 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 34628 [startup+150.094 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1294352/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=35156 CPUtime=150.03 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 8029 0 0 0 14982 21 0 0 25 0 1 0 188938982 35999744 7944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 8789 7944 296 55 0 7681 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 35156 [startup+160.101 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1293904/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=35552 CPUtime=160.02 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 8140 0 0 0 15980 22 0 0 25 0 1 0 188938982 36405248 8055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 8888 8055 296 55 0 7780 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 35552 [startup+170.107 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1293392/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=36072 CPUtime=170.03 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 8264 0 0 0 16979 24 0 0 25 0 1 0 188938982 36937728 8179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 9018 8179 296 55 0 7910 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 36072 [startup+180.113 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1292496/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=36988 CPUtime=180.04 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 8488 0 0 0 17978 26 0 0 25 0 1 0 188938982 37875712 8403 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 9247 8403 296 55 0 8139 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 36988 [startup+190.12 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1291280/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=38316 CPUtime=190.04 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 8806 0 0 0 18977 27 0 0 25 0 1 0 188938982 39235584 8721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 9579 8721 296 55 0 8471 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 38316 [startup+200.126 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1290256/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=39288 CPUtime=200.04 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 9049 0 0 0 19976 28 0 0 25 0 1 0 188938982 40230912 8964 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 9822 8964 296 55 0 8714 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 39288 [startup+210.133 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3792 /proc/meminfo: memFree=1288464/2055920 swapFree=4182220/4192956 ################ # More data... # ################ /proc/3792/statm: 25851 24909 296 55 0 24743 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 103404 [startup+1771.13 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225744/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=103800 CPUtime=1770.59 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25102 0 0 0 176853 206 0 0 25 0 1 0 188938982 106291200 25016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 25950 25016 296 55 0 24842 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 103800 [startup+1781.14 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225552/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104064 CPUtime=1780.59 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25151 0 0 0 177852 207 0 0 25 0 1 0 188938982 106561536 25065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26016 25065 296 55 0 24908 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 104064 [startup+1782.14 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225552/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104064 CPUtime=1781.59 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25152 0 0 0 177952 207 0 0 25 0 1 0 188938982 106561536 25066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26016 25066 296 55 0 24908 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 104064 [startup+1783.15 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225488/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104064 CPUtime=1782.6 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25162 0 0 0 178052 208 0 0 25 0 1 0 188938982 106561536 25076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26016 25076 296 55 0 24908 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 104064 [startup+1784.15 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225488/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104064 CPUtime=1783.61 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25162 0 0 0 178153 208 0 0 25 0 1 0 188938982 106561536 25076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26016 25076 296 55 0 24908 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 104064 [startup+1785.16 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225488/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104064 CPUtime=1784.61 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25162 0 0 0 178253 208 0 0 25 0 1 0 188938982 106561536 25076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26016 25076 296 55 0 24908 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 104064 [startup+1786.16 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225488/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104064 CPUtime=1785.62 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25162 0 0 0 178354 208 0 0 25 0 1 0 188938982 106561536 25076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26016 25076 296 55 0 24908 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 104064 [startup+1787.17 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225424/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104064 CPUtime=1786.62 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25170 0 0 0 178454 208 0 0 25 0 1 0 188938982 106561536 25084 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26016 25084 296 55 0 24908 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 104064 [startup+1788.17 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225424/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104196 CPUtime=1787.63 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25177 0 0 0 178555 208 0 0 25 0 1 0 188938982 106696704 25091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26049 25091 296 55 0 24941 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 104196 [startup+1789.18 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225360/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104196 CPUtime=1788.63 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25190 0 0 0 178655 208 0 0 25 0 1 0 188938982 106696704 25104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26049 25104 296 55 0 24941 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 104196 [startup+1790.18 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1789.64 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25217 0 0 0 178756 208 0 0 25 0 1 0 188938982 106831872 25131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25131 296 55 0 24974 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 104328 [startup+1791.19 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1790.64 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25223 0 0 0 178856 208 0 0 25 0 1 0 188938982 106831872 25137 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25137 296 55 0 24974 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 104328 [startup+1792.19 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1791.64 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25223 0 0 0 178956 208 0 0 25 0 1 0 188938982 106831872 25137 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25137 296 55 0 24974 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 104328 [startup+1793.2 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1792.65 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25226 0 0 0 179057 208 0 0 25 0 1 0 188938982 106831872 25140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25140 296 55 0 24974 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 104328 [startup+1794.2 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1793.65 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25226 0 0 0 179157 208 0 0 25 0 1 0 188938982 106831872 25140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25140 296 55 0 24974 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 104328 [startup+1795.21 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1794.66 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25226 0 0 0 179258 208 0 0 25 0 1 0 188938982 106831872 25140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25140 296 55 0 24974 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 104328 [startup+1796.21 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1795.66 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25226 0 0 0 179358 208 0 0 25 0 1 0 188938982 106831872 25140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25140 296 55 0 24974 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 104328 [startup+1797.22 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1796.67 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25226 0 0 0 179458 209 0 0 25 0 1 0 188938982 106831872 25140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25140 296 55 0 24974 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 104328 [startup+1798.22 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1797.67 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25226 0 0 0 179558 209 0 0 25 0 1 0 188938982 106831872 25140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25140 296 55 0 24974 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 104328 [startup+1799.23 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1798.68 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25226 0 0 0 179659 209 0 0 25 0 1 0 188938982 106831872 25140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25140 296 55 0 24974 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 104328 [startup+1800.23 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3794 /proc/meminfo: memFree=1225232/2055920 swapFree=4182220/4192956 [pid=3792] ppid=3790 vsize=104328 CPUtime=1799.68 /proc/3792/stat : 3792 (bsolo) R 3790 3792 3747 0 -1 0 25226 0 0 0 179759 209 0 0 25 0 1 0 188938982 106831872 25140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3792/statm: 26082 25140 296 55 0 24974 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 104328 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.02 CPU user time (s): 1797.91 CPU system time (s): 2.11168 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (Kb): 104328
Begin job on node71 on Fri Jun 2 07:18:13 UTC 2006 FILE ID= 39679-1149232693 PBS_JOBID= 296572 BENCH NAME= ROOT/tmp/node71/39679-1149232693/instance-39679-1149232693.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node71/39679-1149232693/instance-39679-1149232693.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-39679-1149232693 -o ROOT/results/node71/solver-39679-1149232693 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node71/39679-1149232693/instance-39679-1149232693.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 3fa1f197015efe7b715c83a938660d2f RANDOM SEED= 300716974 /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.236 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.236 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: 1325056 kB Buffers: 39200 kB Cached: 614428 kB SwapCached: 2504 kB Active: 111424 kB Inactive: 550944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1325056 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 148 kB Writeback: 0 kB Mapped: 15088 kB Slab: 54460 kB Committed_AS: 228444 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node71 on Fri Jun 2 07:48:14 UTC 2006