Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.57 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb |
MD5SUM | a451a3aa708ebb54c76171e0e43da9df |
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.008997 |
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 | 1050 |
Total number of constraints | 65 |
Number of constraints which are clauses | 35 |
Number of constraints which are cardinality constraints (but not clauses) | 30 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 35 |
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 | 36 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05 c Time Limit set via PBTIMEOUT to 1800 0.08 c INFO: OSL Context initialized. 0.09 c Initial problem consists of 1050 variables and 65 constraints. 0.09 c Using non-optimization problem switches. 0.09 c No problem reductions applied in OPT. instance. 0.09 c preprocess terminated. Elapsed time: 0.014 0.09 c After prepocess the problem consists of 1050 variables and 65 constraints. 0.12 c Restart #1 #Var: 1050 LB: 0 @ 0.046 0.16 c Restart #2 #Var: 1050 LB: 0 @ 0.081 0.23 c Restart #3 #Var: 1050 LB: 0 @ 0.156 0.34 c Restart #4 #Var: 1050 LB: 0 @ 0.265 0.49 c Restart #5 #Var: 1050 LB: 0 @ 0.412 0.67 c Restart #6 #Var: 1050 LB: 0 @ 0.598 0.90 c Restart #7 #Var: 1050 LB: 0 @ 0.823 1.17 c Restart #8 #Var: 1050 LB: 0 @ 1.099 1.49 c Restart #9 #Var: 1050 LB: 0 @ 1.419 1.81 c Restart #10 #Var: 1050 LB: 0 @ 1.734 2.17 c Restart #11 #Var: 1050 LB: 0 @ 2.097 2.58 c Restart #12 #Var: 1050 LB: 0 @ 2.499 3.02 c Restart #13 #Var: 1050 LB: 0 @ 2.947 3.48 c Restart #14 #Var: 1050 LB: 0 @ 3.408 3.94 c Restart #15 #Var: 1050 LB: 0 @ 3.864 4.46 c Restart #16 #Var: 1050 LB: 0 @ 4.382 4.99 c Restart #17 #Var: 1050 LB: 0 @ 4.915 5.57 c Restart #18 #Var: 1050 LB: 0 @ 5.49 6.20 c Restart #19 #Var: 1050 LB: 0 @ 6.122 6.82 c Restart #20 #Var: 1050 LB: 0 @ 6.744 7.48 c Restart #21 #Var: 1050 LB: 0 @ 7.403 8.20 c Restart #22 #Var: 1050 LB: 0 @ 8.124 9.03 c Restart #23 #Var: 1050 LB: 0 @ 8.951 9.89 c Restart #24 #Var: 1050 LB: 0 @ 9.806 10.78 c Restart #25 #Var: 1050 LB: 0 @ 10.697 12.25 c Restart #26 #Var: 1050 LB: 0 @ 12.166 13.72 c Restart #27 #Var: 1050 LB: 0 @ 13.643 14.94 c Restart #28 #Var: 1050 LB: 0 @ 14.856 15.98 c Restart #29 #Var: 1050 LB: 0 @ 15.897 17.06 c Restart #30 #Var: 1050 LB: 0 @ 16.977 18.17 c Restart #31 #Var: 1050 LB: 0 @ 18.09 19.31 c Restart #32 #Var: 1050 LB: 0 @ 19.225 20.43 c Restart #33 #Var: 1050 LB: 0 @ 20.343 21.68 c Restart #34 #Var: 1050 LB: 0 @ 21.601 23.02 c Restart #35 #Var: 1050 LB: 0 @ 22.933 24.34 c Restart #36 #Var: 1050 LB: 0 @ 24.259 25.91 c Restart #37 #Var: 1050 LB: 0 @ 25.822 27.32 c Restart #38 #Var: 1050 LB: 0 @ 27.232 28.79 c Restart #39 #Var: 1050 LB: 0 @ 28.704 30.31 c Restart #40 #Var: 1050 LB: 0 @ 30.227 31.92 c Restart #41 #Var: 1050 LB: 0 @ 31.831 33.57 c Restart #42 #Var: 1050 LB: 0 @ 33.483 35.27 c Restart #43 #Var: 1050 LB: 0 @ 35.178 37.03 c Restart #44 #Var: 1050 LB: 0 @ 36.94 39.11 c Restart #45 #Var: 1050 LB: 0 @ 39.027 41.07 c Restart #46 #Var: 1050 LB: 0 @ 40.981 42.91 c Restart #47 #Var: 1050 LB: 0 @ 42.824 44.74 c Restart #48 #Var: 1050 LB: 0 @ 44.653 46.78 c Restart #49 #Var: 1050 LB: 0 @ 46.686 48.76 c Restart #50 #Var: 1050 LB: 0 @ 48.667 51.05 c Restart #51 #Var: 1050 LB: 0 @ 50.96 53.20 c Restart #52 #Var: 1050 LB: 0 @ 53.104 55.53 c Restart #53 #Var: 1050 LB: 0 @ 55.434 57.68 c Restart #54 #Var: 1050 LB: 0 @ 57.592 60.01 c Restart #55 #Var: 1050 LB: 0 @ 59.921 62.24 c Restart #56 #Var: 1050 LB: 0 @ 62.15 64.63 c Restart #57 #Var: 1050 LB: 0 @ 64.534 67.02 c Restart #58 #Var: 1050 LB: 0 @ 66.925 69.78 c Restart #59 #Var: 1050 LB: 0 @ 69.688 72.55 c Restart #60 #Var: 1050 LB: 0 @ 72.45 75.83 c Restart #61 #Var: 1050 LB: 0 @ 75.732 78.81 c Restart #62 #Var: 1050 LB: 0 @ 78.712 81.68 c Restart #63 #Var: 1050 LB: 0 @ 81.579 85.20 c Restart #64 #Var: 1050 LB: 0 @ 85.096 88.56 c Restart #65 #Var: 1050 LB: 0 @ 88.463 92.06 c Restart #66 #Var: 1050 LB: 0 @ 91.961 96.35 c Restart #67 #Var: 1050 LB: 0 @ 96.251 99.86 c Restart #68 #Var: 1050 LB: 0 @ 99.759 103.49 c Restart #69 #Var: 1050 LB: 0 @ 103.38 107.57 c Restart #70 #Var: 1050 LB: 0 @ 107.46 111.88 c Restart #71 #Var: 1050 LB: 0 @ 111.77 115.88 c Restart #72 #Var: 1050 LB: 0 @ 115.78 120.33 c Restart #73 #Var: 1050 LB: 0 @ 120.22 124.81 c Restart #74 #Var: 1050 LB: 0 @ 124.7 129.38 c Restart #75 #Var: 1050 LB: 0 @ 129.27 134.15 c Restart #76 #Var: 1050 LB: 0 @ 134.04 140.28 c Restart #77 #Var: 1050 LB: 0 @ 140.17 145.54 c Restart #78 #Var: 1050 LB: 0 @ 145.42 151.47 c Restart #79 #Var: 1050 LB: 0 @ 151.35 157.99 c Restart #80 #Var: 1050 LB: 0 @ 157.87 165.04 c Restart #81 #Var: 1050 LB: 0 @ 164.92 170.07 c Restart #82 #Var: 1050 LB: 0 @ 169.94 176.34 c Restart #83 #Var: 1050 LB: 0 @ 176.22 182.73 c Restart #84 #Var: 1050 LB: 0 @ 182.6 189.18 c Restart #85 #Var: 1050 LB: 0 @ 189.05 195.77 c Restart #86 #Var: 1050 LB: 0 @ 195.64 203.08 c Restart #87 #Var: 1050 LB: 0 @ 202.95 210.91 c Restart #88 #Var: 1050 LB: 0 @ 210.78 218.05 c Restart #89 #Var: 1050 LB: 0 @ 217.91 226.24 c Restart #90 #Var: 1050 LB: 0 @ 226.1 233.68 c Restart #91 #Var: 1050 LB: 0 @ 233.55 241.74 c Restart #92 #Var: 1050 LB: 0 @ 241.6 250.94 c Restart #93 #Var: 1050 LB: 0 @ 250.8 260.00 c Restart #94 #Var: 1050 LB: 0 @ 259.85 268.74 c Restart #95 #Var: 1050 LB: 0 @ 268.6 278.02 c Restart #96 #Var: 1050 LB: 0 @ 277.87 287.56 c Restart #97 #Var: 1050 LB: 0 @ 287.4 296.68 c Restart #98 #Var: 1050 LB: 0 @ 296.53 306.53 c Restart #99 #Var: 1050 LB: 0 @ 306.38 315.86 c Restart #100 #Var: 1050 LB: 0 @ 315.7 325.64 c Restart #101 #Var: 1050 LB: 0 @ 325.48 335.57 c Restart #102 #Var: 1050 LB: 0 @ 335.4 345.97 c Restart #103 #Var: 1050 LB: 0 @ 345.8 355.88 c Restart #104 #Var: 1050 LB: 0 @ 355.71 366.67 c Restart #105 #Var: 1050 LB: 0 @ 366.5 378.54 c Restart #106 #Var: 1050 LB: 0 @ 378.37 389.33 c Restart #107 #Var: 1050 LB: 0 @ 389.15 400.36 c Restart #108 #Var: 1050 LB: 0 @ 400.18 411.64 c Restart #109 #Var: 1050 LB: 0 @ 411.46 423.01 c Restart #110 #Var: 1050 LB: 0 @ 422.82 434.95 c Restart #111 #Var: 1050 LB: 0 @ 434.76 447.11 c Restart #112 #Var: 1050 LB: 0 @ 446.92 459.04 c Restart #113 #Var: 1050 LB: 0 @ 458.84 471.86 c Restart #114 #Var: 1050 LB: 0 @ 471.66 484.05 c Restart #115 #Var: 1050 LB: 0 @ 483.85 497.00 c Restart #116 #Var: 1050 LB: 0 @ 496.8 511.58 c Restart #117 #Var: 1050 LB: 0 @ 511.37 525.38 c Restart #118 #Var: 1050 LB: 0 @ 525.17 538.61 c Restart #119 #Var: 1050 LB: 0 @ 538.39 552.24 c Restart #120 #Var: 1050 LB: 0 @ 552.02 567.44 c Restart #121 #Var: 1050 LB: 0 @ 567.22 581.49 c Restart #122 #Var: 1050 LB: 0 @ 581.26 595.20 c Restart #123 #Var: 1050 LB: 0 @ 594.97 608.65 c Restart #124 #Var: 1050 LB: 0 @ 608.41 623.03 c Restart #125 #Var: 1050 LB: 0 @ 622.79 637.53 c Restart #126 #Var: 1050 LB: 0 @ 637.28 651.58 c Restart #127 #Var: 1050 LB: 0 @ 651.33 666.95 c Restart #128 #Var: 1050 LB: 0 @ 666.69 681.95 c Restart #129 #Var: 1050 LB: 0 @ 681.69 698.17 c Restart #130 #Var: 1050 LB: 0 @ 697.9 713.37 c Restart #131 #Var: 1050 LB: 0 @ 713.11 728.91 c Restart #132 #Var: 1050 LB: 0 @ 728.64 744.78 c Restart #133 #Var: 1050 LB: 0 @ 744.5 761.00 c Restart #134 #Var: 1050 LB: 0 @ 760.72 777.62 c Restart #135 #Var: 1050 LB: 0 @ 777.34 794.14 c Restart #136 #Var: 1050 LB: 0 @ 793.85 811.08 c Restart #137 #Var: 1050 LB: 0 @ 810.78 829.02 c Restart #138 #Var: 1050 LB: 0 @ 828.72 846.73 c Restart #139 #Var: 1050 LB: 0 @ 846.43 863.98 c Restart #140 #Var: 1050 LB: 0 @ 863.67 880.71 c Restart #141 #Var: 1050 LB: 0 @ 880.4 898.45 c Restart #142 #Var: 1050 LB: 0 @ 898.14 915.99 c CHANGE Heuristic... 915.99 c Restart #0 #Var: 1050 LB: 0 @ 915.67 916.05 c Restart #1 #Var: 1050 LB: 0 @ 915.73 916.18 c Restart #2 #Var: 1050 LB: 0 @ 915.86 916.36 c Restart #3 #Var: 1050 LB: 0 @ 916.04 916.69 c Restart #4 #Var: 1050 LB: 0 @ 916.37 917.01 c Restart #5 #Var: 1050 LB: 0 @ 916.68 917.41 c Restart #6 #Var: 1050 LB: 0 @ 917.09 917.96 c Restart #7 #Var: 1050 LB: 0 @ 917.64 918.62 c Restart #8 #Var: 1050 LB: 0 @ 918.3 919.32 c Restart #9 #Var: 1050 LB: 0 @ 919 920.07 c Restart #10 #Var: 1050 LB: 0 @ 919.75 920.95 c Restart #11 #Var: 1050 LB: 0 @ 920.63 921.84 c Restart #12 #Var: 1050 LB: 0 @ 921.52 922.83 c Restart #13 #Var: 1050 LB: 0 @ 922.51 923.89 c Restart #14 #Var: 1050 LB: 0 @ 923.57 924.93 c Restart #15 #Var: 1050 LB: 0 @ 924.61 926.18 c Restart #16 #Var: 1050 LB: 0 @ 925.86 927.39 c Restart #17 #Var: 1050 LB: 0 @ 927.07 928.76 c Restart #18 #Var: 1050 LB: 0 @ 928.44 930.23 c Restart #19 #Var: 1050 LB: 0 @ 929.9 931.78 c Restart #20 #Var: 1050 LB: 0 @ 931.46 933.30 c Restart #21 #Var: 1050 LB: 0 @ 932.97 935.08 c Restart #22 #Var: 1050 LB: 0 @ 934.76 936.78 c Restart #23 #Var: 1050 LB: 0 @ 936.46 938.94 c Restart #24 #Var: 1050 LB: 0 @ 938.62 940.86 c Restart #25 #Var: 1050 LB: 0 @ 940.53 942.71 c Restart #26 #Var: 1050 LB: 0 @ 942.38 944.75 c Restart #27 #Var: 1050 LB: 0 @ 944.43 946.86 c Restart #28 #Var: 1050 LB: 0 @ 946.53 949.19 c Restart #29 #Var: 1050 LB: 0 @ 948.87 951.35 c Restart #30 #Var: 1050 LB: 0 @ 951.02 953.76 c Restart #31 #Var: 1050 LB: 0 @ 953.43 956.28 c Restart #32 #Var: 1050 LB: 0 @ 955.95 959.19 c Restart #33 #Var: 1050 LB: 0 @ 958.86 962.29 c Restart #34 #Var: 1050 LB: 0 @ 961.96 965.16 c Restart #35 #Var: 1050 LB: 0 @ 964.83 968.25 c Restart #36 #Var: 1050 LB: 0 @ 967.92 971.33 c Restart #37 #Var: 1050 LB: 0 @ 970.99 974.75 c Restart #38 #Var: 1050 LB: 0 @ 974.42 977.90 c Restart #39 #Var: 1050 LB: 0 @ 977.56 981.44 c Restart #40 #Var: 1050 LB: 0 @ 981.1 984.68 c Restart #41 #Var: 1050 LB: 0 @ 984.34 988.49 c Restart #42 #Var: 1050 LB: 0 @ 988.15 991.91 c Restart #43 #Var: 1050 LB: 0 @ 991.58 996.03 c Restart #44 #Var: 1050 LB: 0 @ 995.69 999.87 c Restart #45 #Var: 1050 LB: 0 @ 999.53 1004.09 c Restart #46 #Var: 1050 LB: 0 @ 1003.8 1007.99 c Restart #47 #Var: 1050 LB: 0 @ 1007.7 1011.91 c Restart #48 #Var: 1050 LB: 0 @ 1011.6 1015.82 c Restart #49 #Var: 1050 LB: 0 @ 1015.5 1020.31 c Restart #50 #Var: 1050 LB: 0 @ 1020 1024.40 c Restart #51 #Var: 1050 LB: 0 @ 1024.1 1028.94 c Restart #52 #Var: 1050 LB: 0 @ 1028.6 1033.79 c Restart #53 #Var: 1050 LB: 0 @ 1033.4 1038.31 c Restart #54 #Var: 1050 LB: 0 @ 1038 1043.37 c Restart #55 #Var: 1050 LB: 0 @ 1043 1047.97 c Restart #56 #Var: 1050 LB: 0 @ 1047.6 1052.74 c Restart #57 #Var: 1050 LB: 0 @ 1052.4 1057.72 c Restart #58 #Var: 1050 LB: 0 @ 1057.4 1063.21 c Restart #59 #Var: 1050 LB: 0 @ 1062.8 1068.26 c Restart #60 #Var: 1050 LB: 0 @ 1067.9 1073.54 c Restart #61 #Var: 1050 LB: 0 @ 1073.2 1078.91 c Restart #62 #Var: 1050 LB: 0 @ 1078.5 1084.51 c Restart #63 #Var: 1050 LB: 0 @ 1084.2 1089.93 c Restart #64 #Var: 1050 LB: 0 @ 1089.6 1095.73 c Restart #65 #Var: 1050 LB: 0 @ 1095.4 1101.62 c Restart #66 #Var: 1050 LB: 0 @ 1101.3 1107.52 c Restart #67 #Var: 1050 LB: 0 @ 1107.2 1113.53 c Restart #68 #Var: 1050 LB: 0 @ 1113.2 1119.75 c Restart #69 #Var: 1050 LB: 0 @ 1119.4 1126.32 c Restart #70 #Var: 1050 LB: 0 @ 1125.9 1132.97 c Restart #71 #Var: 1050 LB: 0 @ 1132.6 1139.75 c Restart #72 #Var: 1050 LB: 0 @ 1139.4 1146.67 c Restart #73 #Var: 1050 LB: 0 @ 1146.3 1153.94 c Restart #74 #Var: 1050 LB: 0 @ 1153.6 1160.84 c Restart #75 #Var: 1050 LB: 0 @ 1160.5 1168.07 c Restart #76 #Var: 1050 LB: 0 @ 1167.7 1175.00 c Restart #77 #Var: 1050 LB: 0 @ 1174.6 1182.39 c Restart #78 #Var: 1050 LB: 0 @ 1182 1190.24 c Restart #79 #Var: 1050 LB: 0 @ 1189.8 1198.29 c Restart #80 #Var: 1050 LB: 0 @ 1197.9 1205.87 c Restart #81 #Var: 1050 LB: 0 @ 1205.5 1214.37 c Restart #82 #Var: 1050 LB: 0 @ 1214 1224.02 c Restart #83 #Var: 1050 LB: 0 @ 1223.6 1233.58 c Restart #84 #Var: 1050 LB: 0 @ 1233.2 1242.49 c Restart #85 #Var: 1050 LB: 0 @ 1242.1 1251.54 c Restart #86 #Var: 1050 LB: 0 @ 1251.1 1260.38 c Restart #87 #Var: 1050 LB: 0 @ 1260 1270.39 c Restart #88 #Var: 1050 LB: 0 @ 1270 1279.70 c Restart #89 #Var: 1050 LB: 0 @ 1279.3 1289.26 c Restart #90 #Var: 1050 LB: 0 @ 1288.8 1299.35 c Restart #91 #Var: 1050 LB: 0 @ 1298.9 1310.34 c Restart #92 #Var: 1050 LB: 0 @ 1309.9 1320.12 c Restart #93 #Var: 1050 LB: 0 @ 1319.7 1329.89 c Restart #94 #Var: 1050 LB: 0 @ 1329.5 1341.72 c Restart #95 #Var: 1050 LB: 0 @ 1341.3 1351.93 c Restart #96 #Var: 1050 LB: 0 @ 1351.5 1362.62 c Restart #97 #Var: 1050 LB: 0 @ 1362.2 1373.14 c Restart #98 #Var: 1050 LB: 0 @ 1372.7 1384.01 c Restart #99 #Var: 1050 LB: 0 @ 1383.6 1394.76 c Restart #100 #Var: 1050 LB: 0 @ 1394.3 1406.90 c Restart #101 #Var: 1050 LB: 0 @ 1406.5 1418.72 c Restart #102 #Var: 1050 LB: 0 @ 1418.3 1429.39 c Restart #103 #Var: 1050 LB: 0 @ 1428.9 1442.32 c Restart #104 #Var: 1050 LB: 0 @ 1441.9 1454.72 c Restart #105 #Var: 1050 LB: 0 @ 1454.3 1466.54 c Restart #106 #Var: 1050 LB: 0 @ 1466.1 1478.61 c Restart #107 #Var: 1050 LB: 0 @ 1478.1 1491.21 c Restart #108 #Var: 1050 LB: 0 @ 1490.7 1503.56 c Restart #109 #Var: 1050 LB: 0 @ 1503.1 1516.60 c Restart #110 #Var: 1050 LB: 0 @ 1516.1 1532.42 c Restart #111 #Var: 1050 LB: 0 @ 1531.9 1545.10 c Restart #112 #Var: 1050 LB: 0 @ 1544.6 1558.59 c Restart #113 #Var: 1050 LB: 0 @ 1558.1 1571.95 c Restart #114 #Var: 1050 LB: 0 @ 1571.5 1585.41 c Restart #115 #Var: 1050 LB: 0 @ 1584.9 1598.93 c Restart #116 #Var: 1050 LB: 0 @ 1598.4 1611.89 c Restart #117 #Var: 1050 LB: 0 @ 1611.4 1628.01 c Restart #118 #Var: 1050 LB: 0 @ 1627.5 1642.97 c Restart #119 #Var: 1050 LB: 0 @ 1642.5 1657.55 c Restart #120 #Var: 1050 LB: 0 @ 1657 1672.13 c Restart #121 #Var: 1050 LB: 0 @ 1671.6 1690.07 c Restart #122 #Var: 1050 LB: 0 @ 1689.5 1706.76 c Restart #123 #Var: 1050 LB: 0 @ 1706.2 1725.10 c Restart #124 #Var: 1050 LB: 0 @ 1724.6 1743.14 c Restart #125 #Var: 1050 LB: 0 @ 1742.6 1759.99 c Restart #126 #Var: 1050 LB: 0 @ 1759.5 1777.50 c Restart #127 #Var: 1050 LB: 0 @ 1777 1795.53 c Restart #128 #Var: 1050 LB: 0 @ 1795 1800.55 s UNKNOWN 1800.55 c Exit Code: 0 1800.55 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/node21/watcher-46281-1154064592 -o ROOT/results/node21/solver-46281-1154064592 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node21/46281-1154064592/instance-46281-1154064592.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.99 3/64 19449 /proc/meminfo: memFree=1539144/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=2900 CPUtime=0 /proc/19449/stat : 19449 (bsolo) D 19447 19449 19400 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 153319946 2969600 24 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8442887 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/19449/statm: 725 24 18 55 0 19 0 [startup+10.002 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1533320/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=7924 CPUtime=9.92 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1217 0 10 0 989 3 0 0 25 0 1 0 153319946 8114176 1141 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718895 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 1981 1141 296 55 0 873 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 7924 [startup+20.0081 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1532808/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=8440 CPUtime=19.92 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1349 0 10 0 1987 5 0 0 25 0 1 0 153319946 8642560 1273 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2110 1273 296 55 0 1002 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 8440 [startup+30.0143 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1532424/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=8796 CPUtime=29.92 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1446 0 10 0 2985 7 0 0 25 0 1 0 153319946 9007104 1370 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2199 1370 296 55 0 1091 0 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 8796 [startup+40.0204 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1532232/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=9040 CPUtime=39.93 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1497 0 10 0 3983 10 0 0 25 0 1 0 153319946 9256960 1421 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2260 1421 296 55 0 1152 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 9040 [startup+50.0275 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1532104/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=9164 CPUtime=49.93 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1548 0 10 0 4980 13 0 0 25 0 1 0 153319946 9383936 1472 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2291 1472 296 55 0 1183 0 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 9164 [startup+60.0326 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1531976/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=9364 CPUtime=59.93 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1578 0 10 0 5978 15 0 0 25 0 1 0 153319946 9588736 1502 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2341 1502 296 55 0 1233 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 9364 [startup+70.0387 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1531656/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=9628 CPUtime=69.94 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1658 0 10 0 6977 17 0 0 25 0 1 0 153319946 9859072 1582 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2407 1582 296 55 0 1299 0 Current children cumulated CPU time (s) 69.94 Current children cumulated vsize (Kb) 9628 [startup+80.0448 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1531400/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=9864 CPUtime=79.94 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1717 0 10 0 7975 19 0 0 25 0 1 0 153319946 10100736 1641 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2466 1641 296 55 0 1358 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 9864 [startup+90.0509 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1530952/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=10344 CPUtime=89.95 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1832 0 10 0 8974 21 0 0 25 0 1 0 153319946 10592256 1756 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2586 1756 296 55 0 1478 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 10344 [startup+100.057 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1530376/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=10992 CPUtime=99.95 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 1976 0 10 0 9972 23 0 0 25 0 1 0 153319946 11255808 1900 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2748 1900 296 55 0 1640 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 10992 [startup+110.064 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1530120/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=11116 CPUtime=109.95 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2036 0 10 0 10970 25 0 0 25 0 1 0 153319946 11382784 1960 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 2779 1960 296 55 0 1671 0 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 11116 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1529224/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=12148 CPUtime=119.95 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2270 0 10 0 11968 27 0 0 25 0 1 0 153319946 12439552 2194 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 3037 2194 296 55 0 1929 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 12148 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1528840/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=12380 CPUtime=129.96 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2352 0 10 0 12966 30 0 0 25 0 1 0 153319946 12677120 2276 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 3095 2276 296 55 0 1987 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 12380 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1528584/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=12640 CPUtime=139.96 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2413 0 10 0 13965 31 0 0 25 0 1 0 153319946 12943360 2337 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 3160 2337 296 55 0 2052 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 12640 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1528392/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=12900 CPUtime=149.96 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2471 0 10 0 14962 34 0 0 25 0 1 0 153319946 13209600 2395 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 3225 2395 296 55 0 2117 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 12900 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1528264/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=13016 CPUtime=159.97 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2494 0 10 0 15960 37 0 0 25 0 1 0 153319946 13328384 2418 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 3254 2418 296 55 0 2146 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 13016 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19449 /proc/meminfo: memFree=1527944/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=13280 CPUtime=169.97 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2574 0 10 0 16959 38 0 0 25 0 1 0 153319946 13598720 2498 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 3320 2498 296 55 0 2212 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 13280 [startup+180.106 s] /proc/loadavg: 1.06 0.99 0.99 2/64 19449 /proc/meminfo: memFree=1527688/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=13544 CPUtime=179.97 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2641 0 10 0 17957 40 0 0 25 0 1 0 153319946 13869056 2565 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 3386 2565 296 55 0 2278 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 13544 [startup+190.112 s] /proc/loadavg: 1.05 0.99 0.99 2/64 19449 /proc/meminfo: memFree=1527368/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=13896 CPUtime=189.97 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2720 0 10 0 18956 41 0 0 25 0 1 0 153319946 14229504 2644 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 3474 2644 296 55 0 2366 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 13896 [startup+200.118 s] /proc/loadavg: 1.04 0.99 0.99 2/64 19449 /proc/meminfo: memFree=1527176/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=14008 CPUtime=199.98 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 2758 0 10 0 19956 42 0 0 25 0 1 0 153319946 14344192 2682 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 3502 2682 296 55 0 2394 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 14008 [startup+210.124 s] /proc/loadavg: 1.04 0.99 0.99 2/64 19449 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 31136 [startup+1771.07 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509768/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1770.52 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7023 0 10 0 176745 307 0 0 25 0 1 0 153319946 31883264 6947 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6947 296 55 0 6676 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 31136 [startup+1781.07 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509768/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1780.52 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7029 0 10 0 177743 309 0 0 25 0 1 0 153319946 31883264 6953 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6953 296 55 0 6676 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 31136 [startup+1782.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509768/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1781.53 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7029 0 10 0 177844 309 0 0 25 0 1 0 153319946 31883264 6953 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6953 296 55 0 6676 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 31136 [startup+1783.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509768/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1782.53 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7029 0 10 0 177944 309 0 0 25 0 1 0 153319946 31883264 6953 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6953 296 55 0 6676 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 31136 [startup+1784.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509768/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1783.53 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7029 0 10 0 178044 309 0 0 25 0 1 0 153319946 31883264 6953 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6953 296 55 0 6676 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 31136 [startup+1785.09 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509768/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1784.54 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7029 0 10 0 178144 310 0 0 25 0 1 0 153319946 31883264 6953 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6953 296 55 0 6676 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 31136 [startup+1786.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509768/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1785.55 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7029 0 10 0 178245 310 0 0 25 0 1 0 153319946 31883264 6953 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6953 296 55 0 6676 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 31136 [startup+1787.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509704/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1786.55 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7037 0 10 0 178345 310 0 0 25 0 1 0 153319946 31883264 6961 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6961 296 55 0 6676 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 31136 [startup+1788.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509704/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1787.55 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7037 0 10 0 178445 310 0 0 25 0 1 0 153319946 31883264 6961 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6961 296 55 0 6676 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 31136 [startup+1789.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509704/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31136 CPUtime=1788.56 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7043 0 10 0 178546 310 0 0 25 0 1 0 153319946 31883264 6967 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7784 6967 296 55 0 6676 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 31136 [startup+1790.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509704/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31268 CPUtime=1789.56 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7048 0 10 0 178646 310 0 0 25 0 1 0 153319946 32018432 6972 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7817 6972 296 55 0 6709 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 31268 [startup+1791.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31268 CPUtime=1790.56 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7052 0 10 0 178746 310 0 0 25 0 1 0 153319946 32018432 6976 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7817 6976 296 55 0 6709 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 31268 [startup+1792.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31268 CPUtime=1791.58 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7052 0 10 0 178847 311 0 0 25 0 1 0 153319946 32018432 6976 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7817 6976 296 55 0 6709 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 31268 [startup+1793.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31260 CPUtime=1792.58 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7052 0 10 0 178947 311 0 0 25 0 1 0 153319946 32010240 6976 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7815 6976 296 55 0 6707 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 31260 [startup+1794.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31260 CPUtime=1793.58 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7052 0 10 0 179047 311 0 0 25 0 1 0 153319946 32010240 6976 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7815 6976 296 55 0 6707 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 31260 [startup+1795.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31260 CPUtime=1794.58 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7055 0 10 0 179147 311 0 0 25 0 1 0 153319946 32010240 6979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7815 6979 296 55 0 6707 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 31260 [startup+1796.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31260 CPUtime=1795.59 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7055 0 10 0 179248 311 0 0 25 0 1 0 153319946 32010240 6979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7815 6979 296 55 0 6707 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 31260 [startup+1797.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31260 CPUtime=1796.6 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7055 0 10 0 179348 312 0 0 25 0 1 0 153319946 32010240 6979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7815 6979 296 55 0 6707 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 31260 [startup+1798.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31260 CPUtime=1797.6 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7055 0 10 0 179448 312 0 0 25 0 1 0 153319946 32010240 6979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7815 6979 296 55 0 6707 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 31260 [startup+1799.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31260 CPUtime=1798.6 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7055 0 10 0 179548 312 0 0 25 0 1 0 153319946 32010240 6979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7815 6979 296 55 0 6707 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 31260 [startup+1800.17 s] /proc/loadavg: 1.00 0.99 0.99 2/64 19451 /proc/meminfo: memFree=1509640/2055920 swapFree=4182912/4192956 [pid=19449] ppid=19447 vsize=31260 CPUtime=1799.61 /proc/19449/stat : 19449 (bsolo) R 19447 19449 19400 0 -1 0 7055 0 10 0 179648 313 0 0 25 0 1 0 153319946 32010240 6979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19449/statm: 7815 6979 296 55 0 6707 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 31260 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.01 CPU user time (s): 1796.87 CPU system time (s): 3.13652 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (Kb): 31268 The end
Begin job on node21 on Fri Jul 28 05:29:52 UTC 2006 FILE ID= 46281-1154064592 PBS_JOBID= 882380 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node21/46281-1154064592/instance-46281-1154064592.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-46281-1154064592 -o ROOT/results/node21/solver-46281-1154064592 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node21/46281-1154064592/instance-46281-1154064592.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a451a3aa708ebb54c76171e0e43da9df RANDOM SEED= 261956863 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.231 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.231 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: 1539352 kB Buffers: 16808 kB Cached: 450128 kB SwapCached: 3692 kB Active: 38676 kB Inactive: 436740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1539352 kB SwapTotal: 4192956 kB SwapFree: 4182912 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14464 kB Slab: 27212 kB Committed_AS: 644484 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Fri Jul 28 05:59:52 UTC 2006