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-31-30.opb |
MD5SUM | 583fb36c9cf948cc03f361dd87435bdd |
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.006998 |
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 | 930 |
Total number of constraints | 61 |
Number of constraints which are clauses | 31 |
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 | 31 |
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 | 32 |
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.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 930 variables and 61 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.013 0.03 c After prepocess the problem consists of 930 variables and 61 constraints. 0.05 c Restart #1 #Var: 930 LB: 0 @ 0.035 0.08 c Restart #2 #Var: 930 LB: 0 @ 0.07 0.15 c Restart #3 #Var: 930 LB: 0 @ 0.134 0.25 c Restart #4 #Var: 930 LB: 0 @ 0.234 0.39 c Restart #5 #Var: 930 LB: 0 @ 0.377 0.56 c Restart #6 #Var: 930 LB: 0 @ 0.545 0.76 c Restart #7 #Var: 930 LB: 0 @ 0.752 1.00 c Restart #8 #Var: 930 LB: 0 @ 0.986 1.26 c Restart #9 #Var: 930 LB: 0 @ 1.252 1.56 c Restart #10 #Var: 930 LB: 0 @ 1.544 1.90 c Restart #11 #Var: 930 LB: 0 @ 1.885 2.29 c Restart #12 #Var: 930 LB: 0 @ 2.282 2.71 c Restart #13 #Var: 930 LB: 0 @ 2.701 3.17 c Restart #14 #Var: 930 LB: 0 @ 3.156 3.67 c Restart #15 #Var: 930 LB: 0 @ 3.659 4.28 c Restart #16 #Var: 930 LB: 0 @ 4.267 4.87 c Restart #17 #Var: 930 LB: 0 @ 4.86 5.52 c Restart #18 #Var: 930 LB: 0 @ 5.508 6.22 c Restart #19 #Var: 930 LB: 0 @ 6.209 6.96 c Restart #20 #Var: 930 LB: 0 @ 6.945 7.75 c Restart #21 #Var: 930 LB: 0 @ 7.74 8.63 c Restart #22 #Var: 930 LB: 0 @ 8.617 9.49 c Restart #23 #Var: 930 LB: 0 @ 9.472 10.42 c Restart #24 #Var: 930 LB: 0 @ 10.401 11.41 c Restart #25 #Var: 930 LB: 0 @ 11.394 12.67 c Restart #26 #Var: 930 LB: 0 @ 12.646 14.16 c Restart #27 #Var: 930 LB: 0 @ 14.141 15.43 c Restart #28 #Var: 930 LB: 0 @ 15.41 16.59 c Restart #29 #Var: 930 LB: 0 @ 16.569 17.74 c Restart #30 #Var: 930 LB: 0 @ 17.718 18.97 c Restart #31 #Var: 930 LB: 0 @ 18.95 20.25 c Restart #32 #Var: 930 LB: 0 @ 20.232 21.68 c Restart #33 #Var: 930 LB: 0 @ 21.656 23.05 c Restart #34 #Var: 930 LB: 0 @ 23.028 24.47 c Restart #35 #Var: 930 LB: 0 @ 24.443 25.92 c Restart #36 #Var: 930 LB: 0 @ 25.902 27.39 c Restart #37 #Var: 930 LB: 0 @ 27.364 28.91 c Restart #38 #Var: 930 LB: 0 @ 28.889 30.46 c Restart #39 #Var: 930 LB: 0 @ 30.437 32.07 c Restart #40 #Var: 930 LB: 0 @ 32.049 33.89 c Restart #41 #Var: 930 LB: 0 @ 33.867 35.60 c Restart #42 #Var: 930 LB: 0 @ 35.573 37.49 c Restart #43 #Var: 930 LB: 0 @ 37.466 39.27 c Restart #44 #Var: 930 LB: 0 @ 39.248 41.04 c Restart #45 #Var: 930 LB: 0 @ 41.01 42.88 c Restart #46 #Var: 930 LB: 0 @ 42.852 44.84 c Restart #47 #Var: 930 LB: 0 @ 44.809 47.02 c Restart #48 #Var: 930 LB: 0 @ 46.993 49.13 c Restart #49 #Var: 930 LB: 0 @ 49.102 51.22 c Restart #50 #Var: 930 LB: 0 @ 51.188 53.34 c Restart #51 #Var: 930 LB: 0 @ 53.311 55.63 c Restart #52 #Var: 930 LB: 0 @ 55.601 58.06 c Restart #53 #Var: 930 LB: 0 @ 58.029 60.50 c Restart #54 #Var: 930 LB: 0 @ 60.462 63.03 c Restart #55 #Var: 930 LB: 0 @ 63 65.55 c Restart #56 #Var: 930 LB: 0 @ 65.517 68.13 c Restart #57 #Var: 930 LB: 0 @ 68.091 70.79 c Restart #58 #Var: 930 LB: 0 @ 70.753 73.49 c Restart #59 #Var: 930 LB: 0 @ 73.454 76.30 c Restart #60 #Var: 930 LB: 0 @ 76.263 79.14 c Restart #61 #Var: 930 LB: 0 @ 79.104 82.01 c Restart #62 #Var: 930 LB: 0 @ 81.965 84.99 c Restart #63 #Var: 930 LB: 0 @ 84.953 88.07 c Restart #64 #Var: 930 LB: 0 @ 88.026 91.26 c Restart #65 #Var: 930 LB: 0 @ 91.216 94.50 c Restart #66 #Var: 930 LB: 0 @ 94.457 97.73 c Restart #67 #Var: 930 LB: 0 @ 97.687 101.09 c Restart #68 #Var: 930 LB: 0 @ 101.04 104.58 c Restart #69 #Var: 930 LB: 0 @ 104.53 108.28 c Restart #70 #Var: 930 LB: 0 @ 108.23 112.11 c Restart #71 #Var: 930 LB: 0 @ 112.06 116.04 c Restart #72 #Var: 930 LB: 0 @ 115.99 119.95 c Restart #73 #Var: 930 LB: 0 @ 119.9 124.12 c Restart #74 #Var: 930 LB: 0 @ 124.06 128.27 c Restart #75 #Var: 930 LB: 0 @ 128.21 132.95 c Restart #76 #Var: 930 LB: 0 @ 132.9 137.52 c Restart #77 #Var: 930 LB: 0 @ 137.46 142.17 c Restart #78 #Var: 930 LB: 0 @ 142.11 146.79 c Restart #79 #Var: 930 LB: 0 @ 146.73 152.01 c Restart #80 #Var: 930 LB: 0 @ 151.95 156.99 c Restart #81 #Var: 930 LB: 0 @ 156.92 162.49 c Restart #82 #Var: 930 LB: 0 @ 162.43 167.66 c Restart #83 #Var: 930 LB: 0 @ 167.59 174.00 c Restart #84 #Var: 930 LB: 0 @ 173.94 179.51 c Restart #85 #Var: 930 LB: 0 @ 179.44 186.21 c Restart #86 #Var: 930 LB: 0 @ 186.14 192.47 c Restart #87 #Var: 930 LB: 0 @ 192.4 199.73 c Restart #88 #Var: 930 LB: 0 @ 199.66 206.72 c Restart #89 #Var: 930 LB: 0 @ 206.64 213.42 c Restart #90 #Var: 930 LB: 0 @ 213.34 220.08 c Restart #91 #Var: 930 LB: 0 @ 220 227.40 c Restart #92 #Var: 930 LB: 0 @ 227.31 234.45 c Restart #93 #Var: 930 LB: 0 @ 234.36 242.13 c Restart #94 #Var: 930 LB: 0 @ 242.04 252.12 c Restart #95 #Var: 930 LB: 0 @ 252.03 260.04 c Restart #96 #Var: 930 LB: 0 @ 259.95 268.34 c Restart #97 #Var: 930 LB: 0 @ 268.24 276.43 c Restart #98 #Var: 930 LB: 0 @ 276.33 284.26 c Restart #99 #Var: 930 LB: 0 @ 284.15 292.38 c Restart #100 #Var: 930 LB: 0 @ 292.28 300.72 c Restart #101 #Var: 930 LB: 0 @ 300.61 309.41 c Restart #102 #Var: 930 LB: 0 @ 309.31 318.15 c Restart #103 #Var: 930 LB: 0 @ 318.04 327.61 c Restart #104 #Var: 930 LB: 0 @ 327.49 336.34 c Restart #105 #Var: 930 LB: 0 @ 336.22 345.08 c Restart #106 #Var: 930 LB: 0 @ 344.96 355.14 c Restart #107 #Var: 930 LB: 0 @ 355.02 364.84 c Restart #108 #Var: 930 LB: 0 @ 364.71 374.40 c Restart #109 #Var: 930 LB: 0 @ 374.27 384.72 c Restart #110 #Var: 930 LB: 0 @ 384.59 396.52 c Restart #111 #Var: 930 LB: 0 @ 396.39 406.92 c Restart #112 #Var: 930 LB: 0 @ 406.78 417.41 c Restart #113 #Var: 930 LB: 0 @ 417.26 427.90 c Restart #114 #Var: 930 LB: 0 @ 427.75 438.91 c Restart #115 #Var: 930 LB: 0 @ 438.77 449.08 c Restart #116 #Var: 930 LB: 0 @ 448.93 459.96 c Restart #117 #Var: 930 LB: 0 @ 459.81 470.65 c Restart #118 #Var: 930 LB: 0 @ 470.49 481.93 c Restart #119 #Var: 930 LB: 0 @ 481.77 493.58 c Restart #120 #Var: 930 LB: 0 @ 493.41 505.10 c Restart #121 #Var: 930 LB: 0 @ 504.93 516.66 c Restart #122 #Var: 930 LB: 0 @ 516.49 528.68 c Restart #123 #Var: 930 LB: 0 @ 528.51 541.03 c Restart #124 #Var: 930 LB: 0 @ 540.85 553.12 c Restart #125 #Var: 930 LB: 0 @ 552.94 565.52 c Restart #126 #Var: 930 LB: 0 @ 565.33 578.87 c Restart #127 #Var: 930 LB: 0 @ 578.68 591.31 c Restart #128 #Var: 930 LB: 0 @ 591.12 604.32 c Restart #129 #Var: 930 LB: 0 @ 604.12 617.37 c Restart #130 #Var: 930 LB: 0 @ 617.17 630.76 c Restart #131 #Var: 930 LB: 0 @ 630.56 644.38 c Restart #132 #Var: 930 LB: 0 @ 644.17 658.55 c Restart #133 #Var: 930 LB: 0 @ 658.34 672.87 c Restart #134 #Var: 930 LB: 0 @ 672.66 687.12 c Restart #135 #Var: 930 LB: 0 @ 686.9 701.91 c Restart #136 #Var: 930 LB: 0 @ 701.68 716.11 c Restart #137 #Var: 930 LB: 0 @ 715.88 731.77 c Restart #138 #Var: 930 LB: 0 @ 731.54 746.50 c Restart #139 #Var: 930 LB: 0 @ 746.26 762.09 c Restart #140 #Var: 930 LB: 0 @ 761.85 778.90 c Restart #141 #Var: 930 LB: 0 @ 778.65 794.96 c Restart #142 #Var: 930 LB: 0 @ 794.71 810.31 c Restart #143 #Var: 930 LB: 0 @ 810.05 826.30 c Restart #144 #Var: 930 LB: 0 @ 826.03 842.25 c Restart #145 #Var: 930 LB: 0 @ 841.98 859.14 c Restart #146 #Var: 930 LB: 0 @ 858.86 875.51 c Restart #147 #Var: 930 LB: 0 @ 875.23 892.39 c Restart #148 #Var: 930 LB: 0 @ 892.11 911.51 c CHANGE Heuristic... 911.51 c Restart #0 #Var: 930 LB: 0 @ 911.22 911.54 c Restart #1 #Var: 930 LB: 0 @ 911.26 911.67 c Restart #2 #Var: 930 LB: 0 @ 911.38 911.84 c Restart #3 #Var: 930 LB: 0 @ 911.55 912.06 c Restart #4 #Var: 930 LB: 0 @ 911.77 912.31 c Restart #5 #Var: 930 LB: 0 @ 912.02 912.63 c Restart #6 #Var: 930 LB: 0 @ 912.35 913.01 c Restart #7 #Var: 930 LB: 0 @ 912.73 913.49 c Restart #8 #Var: 930 LB: 0 @ 913.2 913.97 c Restart #9 #Var: 930 LB: 0 @ 913.69 914.56 c Restart #10 #Var: 930 LB: 0 @ 914.27 915.26 c Restart #11 #Var: 930 LB: 0 @ 914.97 915.95 c Restart #12 #Var: 930 LB: 0 @ 915.66 916.78 c Restart #13 #Var: 930 LB: 0 @ 916.49 917.82 c Restart #14 #Var: 930 LB: 0 @ 917.53 918.75 c Restart #15 #Var: 930 LB: 0 @ 918.46 919.80 c Restart #16 #Var: 930 LB: 0 @ 919.51 920.96 c Restart #17 #Var: 930 LB: 0 @ 920.67 922.38 c Restart #18 #Var: 930 LB: 0 @ 922.08 923.80 c Restart #19 #Var: 930 LB: 0 @ 923.51 925.26 c Restart #20 #Var: 930 LB: 0 @ 924.97 926.75 c Restart #21 #Var: 930 LB: 0 @ 926.46 928.54 c Restart #22 #Var: 930 LB: 0 @ 928.25 930.23 c Restart #23 #Var: 930 LB: 0 @ 929.94 932.03 c Restart #24 #Var: 930 LB: 0 @ 931.73 933.72 c Restart #25 #Var: 930 LB: 0 @ 933.43 935.95 c Restart #26 #Var: 930 LB: 0 @ 935.65 938.13 c Restart #27 #Var: 930 LB: 0 @ 937.84 940.26 c Restart #28 #Var: 930 LB: 0 @ 939.96 942.69 c Restart #29 #Var: 930 LB: 0 @ 942.39 945.04 c Restart #30 #Var: 930 LB: 0 @ 944.74 947.52 c Restart #31 #Var: 930 LB: 0 @ 947.22 949.83 c Restart #32 #Var: 930 LB: 0 @ 949.52 952.47 c Restart #33 #Var: 930 LB: 0 @ 952.17 955.18 c Restart #34 #Var: 930 LB: 0 @ 954.88 957.96 c Restart #35 #Var: 930 LB: 0 @ 957.66 960.88 c Restart #36 #Var: 930 LB: 0 @ 960.58 964.00 c Restart #37 #Var: 930 LB: 0 @ 963.7 967.12 c Restart #38 #Var: 930 LB: 0 @ 966.82 970.37 c Restart #39 #Var: 930 LB: 0 @ 970.06 973.76 c Restart #40 #Var: 930 LB: 0 @ 973.45 977.32 c Restart #41 #Var: 930 LB: 0 @ 977.01 981.23 c Restart #42 #Var: 930 LB: 0 @ 980.92 985.19 c Restart #43 #Var: 930 LB: 0 @ 984.88 989.63 c Restart #44 #Var: 930 LB: 0 @ 989.32 994.01 c Restart #45 #Var: 930 LB: 0 @ 993.69 998.21 c Restart #46 #Var: 930 LB: 0 @ 997.89 1002.86 c Restart #47 #Var: 930 LB: 0 @ 1002.5 1007.03 c Restart #48 #Var: 930 LB: 0 @ 1006.7 1011.90 c Restart #49 #Var: 930 LB: 0 @ 1011.6 1016.42 c Restart #50 #Var: 930 LB: 0 @ 1016.1 1021.37 c Restart #51 #Var: 930 LB: 0 @ 1021 1026.06 c Restart #52 #Var: 930 LB: 0 @ 1025.7 1031.07 c Restart #53 #Var: 930 LB: 0 @ 1030.7 1036.28 c Restart #54 #Var: 930 LB: 0 @ 1036 1041.94 c Restart #55 #Var: 930 LB: 0 @ 1041.6 1047.96 c Restart #56 #Var: 930 LB: 0 @ 1047.6 1053.79 c Restart #57 #Var: 930 LB: 0 @ 1053.5 1059.34 c Restart #58 #Var: 930 LB: 0 @ 1059 1065.01 c Restart #59 #Var: 930 LB: 0 @ 1064.7 1071.14 c Restart #60 #Var: 930 LB: 0 @ 1070.8 1076.98 c Restart #61 #Var: 930 LB: 0 @ 1076.6 1083.09 c Restart #62 #Var: 930 LB: 0 @ 1082.7 1089.58 c Restart #63 #Var: 930 LB: 0 @ 1089.2 1095.88 c Restart #64 #Var: 930 LB: 0 @ 1095.5 1102.28 c Restart #65 #Var: 930 LB: 0 @ 1101.9 1108.94 c Restart #66 #Var: 930 LB: 0 @ 1108.6 1115.56 c Restart #67 #Var: 930 LB: 0 @ 1115.2 1122.43 c Restart #68 #Var: 930 LB: 0 @ 1122.1 1129.69 c Restart #69 #Var: 930 LB: 0 @ 1129.3 1136.56 c Restart #70 #Var: 930 LB: 0 @ 1136.2 1143.94 c Restart #71 #Var: 930 LB: 0 @ 1143.6 1151.75 c Restart #72 #Var: 930 LB: 0 @ 1151.4 1159.88 c Restart #73 #Var: 930 LB: 0 @ 1159.5 1167.87 c Restart #74 #Var: 930 LB: 0 @ 1167.5 1176.11 c Restart #75 #Var: 930 LB: 0 @ 1175.7 1184.89 c Restart #76 #Var: 930 LB: 0 @ 1184.5 1193.79 c Restart #77 #Var: 930 LB: 0 @ 1193.4 1202.68 c Restart #78 #Var: 930 LB: 0 @ 1202.3 1211.35 c Restart #79 #Var: 930 LB: 0 @ 1211 1220.53 c Restart #80 #Var: 930 LB: 0 @ 1220.1 1229.45 c Restart #81 #Var: 930 LB: 0 @ 1229.1 1239.35 c Restart #82 #Var: 930 LB: 0 @ 1239 1249.91 c Restart #83 #Var: 930 LB: 0 @ 1249.5 1260.07 c Restart #84 #Var: 930 LB: 0 @ 1259.7 1270.80 c Restart #85 #Var: 930 LB: 0 @ 1270.4 1281.14 c Restart #86 #Var: 930 LB: 0 @ 1280.7 1291.94 c Restart #87 #Var: 930 LB: 0 @ 1291.5 1302.25 c Restart #88 #Var: 930 LB: 0 @ 1301.8 1313.04 c Restart #89 #Var: 930 LB: 0 @ 1312.6 1324.16 c Restart #90 #Var: 930 LB: 0 @ 1323.8 1335.46 c Restart #91 #Var: 930 LB: 0 @ 1335 1346.75 c Restart #92 #Var: 930 LB: 0 @ 1346.3 1358.42 c Restart #93 #Var: 930 LB: 0 @ 1358 1370.66 c Restart #94 #Var: 930 LB: 0 @ 1370.2 1382.32 c Restart #95 #Var: 930 LB: 0 @ 1381.9 1394.84 c Restart #96 #Var: 930 LB: 0 @ 1394.4 1406.45 c Restart #97 #Var: 930 LB: 0 @ 1406 1418.87 c Restart #98 #Var: 930 LB: 0 @ 1418.4 1431.33 c Restart #99 #Var: 930 LB: 0 @ 1430.9 1445.77 c Restart #100 #Var: 930 LB: 0 @ 1445.3 1458.09 c Restart #101 #Var: 930 LB: 0 @ 1457.6 1474.54 c Restart #102 #Var: 930 LB: 0 @ 1474.1 1487.57 c Restart #103 #Var: 930 LB: 0 @ 1487.1 1502.09 c Restart #104 #Var: 930 LB: 0 @ 1501.6 1517.47 c Restart #105 #Var: 930 LB: 0 @ 1517 1531.40 c Restart #106 #Var: 930 LB: 0 @ 1530.9 1546.16 c Restart #107 #Var: 930 LB: 0 @ 1545.7 1561.67 c Restart #108 #Var: 930 LB: 0 @ 1561.2 1576.47 c Restart #109 #Var: 930 LB: 0 @ 1576 1592.10 c Restart #110 #Var: 930 LB: 0 @ 1591.6 1609.25 c Restart #111 #Var: 930 LB: 0 @ 1608.8 1626.01 c Restart #112 #Var: 930 LB: 0 @ 1625.5 1642.90 c Restart #113 #Var: 930 LB: 0 @ 1642.4 1660.66 c Restart #114 #Var: 930 LB: 0 @ 1660.1 1677.71 c Restart #115 #Var: 930 LB: 0 @ 1677.2 1699.29 c Restart #116 #Var: 930 LB: 0 @ 1698.8 1718.15 c Restart #117 #Var: 930 LB: 0 @ 1717.6 1736.52 c Restart #118 #Var: 930 LB: 0 @ 1736 1756.45 c Restart #119 #Var: 930 LB: 0 @ 1755.9 1774.53 c Restart #120 #Var: 930 LB: 0 @ 1774 1793.51 c Restart #121 #Var: 930 LB: 0 @ 1793 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/node20/watcher-46264-1154059281 -o ROOT/results/node20/solver-46264-1154059281 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/46264-1154059281/instance-46264-1154059281.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/70 22782 /proc/meminfo: memFree=1567656/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=4664 CPUtime=0 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 156 0 0 0 0 0 0 0 19 0 1 0 152788551 4775936 135 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7589140 0 0 4096 0 0 0 0 17 1 0 0 /proc/22782/statm: 1166 135 105 55 0 46 0 [startup+10.0022 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1564440/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=8788 CPUtime=9.98 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1467 0 0 0 992 6 0 0 25 0 1 0 152788551 8998912 1381 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2197 1381 296 55 0 1089 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 8788 [startup+20.0094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1564392/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=9128 CPUtime=19.98 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1535 0 0 0 1991 7 0 0 25 0 1 0 152788551 9347072 1449 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528769 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2282 1449 296 55 0 1174 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 9128 [startup+30.0156 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1564200/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=9376 CPUtime=29.98 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1592 0 0 0 2989 9 0 0 25 0 1 0 152788551 9601024 1506 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2344 1506 296 55 0 1236 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 9376 [startup+40.0218 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1564008/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=9484 CPUtime=39.99 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1639 0 0 0 3987 12 0 0 25 0 1 0 152788551 9711616 1553 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2371 1553 296 55 0 1263 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 9484 [startup+50.028 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1564008/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=9612 CPUtime=49.99 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1668 0 0 0 4985 14 0 0 25 0 1 0 152788551 9842688 1582 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2403 1582 296 55 0 1295 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 9612 [startup+60.0343 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1563880/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=9736 CPUtime=59.99 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1701 0 0 0 5983 16 0 0 25 0 1 0 152788551 9969664 1615 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2434 1615 296 55 0 1326 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 9736 [startup+70.0405 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1563816/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=9868 CPUtime=70 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1711 0 0 0 6983 17 0 0 25 0 1 0 152788551 10104832 1625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2467 1625 296 55 0 1359 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 9868 [startup+80.0467 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1563624/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=9996 CPUtime=80 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1758 0 0 0 7981 19 0 0 25 0 1 0 152788551 10235904 1672 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2499 1672 296 55 0 1391 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 9996 [startup+90.053 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1563368/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=10252 CPUtime=90 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1808 0 0 0 8979 21 0 0 25 0 1 0 152788551 10498048 1722 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2563 1722 296 55 0 1455 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 10252 [startup+100.059 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1563176/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=10492 CPUtime=100.01 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1878 0 0 0 9978 23 0 0 25 0 1 0 152788551 10743808 1792 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2623 1792 296 55 0 1515 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 10492 [startup+110.065 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1562856/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=10756 CPUtime=110.01 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 1947 0 0 0 10976 25 0 0 25 0 1 0 152788551 11014144 1861 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2689 1861 296 55 0 1581 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 10756 [startup+120.072 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1562536/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=11092 CPUtime=120.01 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 2026 0 0 0 11974 27 0 0 25 0 1 0 152788551 11358208 1940 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2773 1940 296 55 0 1665 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 11092 [startup+130.078 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1562344/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=11356 CPUtime=130.01 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 2079 0 0 0 12973 28 0 0 25 0 1 0 152788551 11628544 1993 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2839 1993 296 55 0 1731 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 11356 [startup+140.084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1561896/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=11736 CPUtime=140.02 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 2181 0 0 0 13972 30 0 0 25 0 1 0 152788551 12017664 2095 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158102981 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2934 2095 296 55 0 1826 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 11736 [startup+150.091 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1561640/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=11996 CPUtime=150.03 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 2247 0 0 0 14971 32 0 0 25 0 1 0 152788551 12283904 2161 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 2999 2161 296 55 0 1891 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 11996 [startup+160.098 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1561256/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=12384 CPUtime=160.02 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 2337 0 0 0 15968 34 0 0 25 0 1 0 152788551 12681216 2251 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 3096 2251 296 55 0 1988 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 12384 [startup+170.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1560872/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=12644 CPUtime=170.03 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 2428 0 0 0 16967 36 0 0 25 0 1 0 152788551 12947456 2342 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 3161 2342 296 55 0 2053 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 12644 [startup+180.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1560680/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=12900 CPUtime=180.03 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 2480 0 0 0 17966 37 0 0 25 0 1 0 152788551 13209600 2394 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 3225 2394 296 55 0 2117 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 12900 [startup+190.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1560488/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=13096 CPUtime=190.04 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 2541 0 0 0 18965 39 0 0 25 0 1 0 152788551 13410304 2455 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 3274 2455 296 55 0 2166 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 13096 [startup+200.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1560296/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=13356 CPUtime=200.04 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 2596 0 0 0 19964 40 0 0 25 0 1 0 152788551 13676544 2510 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529366 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 3339 2510 296 55 0 2231 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 13356 [startup+210.129 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 31664 [startup+1771.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541672/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1770.56 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7191 0 0 0 176752 304 0 0 25 0 1 0 152788551 32559104 7105 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7105 296 55 0 6841 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 31796 [startup+1781.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541672/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1780.56 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7191 0 0 0 177751 305 0 0 25 0 1 0 152788551 32559104 7105 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7105 296 55 0 6841 0 Current children cumulated CPU time (s) 1780.56 Current children cumulated vsize (Kb) 31796 [startup+1782.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541672/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1781.57 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7191 0 0 0 177852 305 0 0 25 0 1 0 152788551 32559104 7105 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7105 296 55 0 6841 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 31796 [startup+1783.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541672/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1782.57 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7194 0 0 0 177952 305 0 0 25 0 1 0 152788551 32559104 7108 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7108 296 55 0 6841 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 31796 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541672/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1783.58 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7194 0 0 0 178053 305 0 0 25 0 1 0 152788551 32559104 7108 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7108 296 55 0 6841 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 31796 [startup+1785.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541672/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1784.58 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7196 0 0 0 178153 305 0 0 25 0 1 0 152788551 32559104 7110 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7110 296 55 0 6841 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 31796 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541608/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1785.58 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7204 0 0 0 178253 305 0 0 25 0 1 0 152788551 32559104 7118 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7118 296 55 0 6841 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 31796 [startup+1787.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541608/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1786.59 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7210 0 0 0 178354 305 0 0 25 0 1 0 152788551 32559104 7124 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7124 296 55 0 6841 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 31796 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541608/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1787.59 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7217 0 0 0 178454 305 0 0 25 0 1 0 152788551 32559104 7131 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7131 296 55 0 6841 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 31796 [startup+1789.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541608/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1788.59 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7217 0 0 0 178554 305 0 0 25 0 1 0 152788551 32559104 7131 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7131 296 55 0 6841 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 31796 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1789.6 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7217 0 0 0 178655 305 0 0 25 0 1 0 152788551 32559104 7131 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7131 296 55 0 6841 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 31796 [startup+1791.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1790.61 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7217 0 0 0 178755 306 0 0 25 0 1 0 152788551 32559104 7131 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7131 296 55 0 6841 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 31796 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1791.61 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7217 0 0 0 178855 306 0 0 25 0 1 0 152788551 32559104 7131 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7131 296 55 0 6841 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 31796 [startup+1793.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1792.61 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7217 0 0 0 178955 306 0 0 25 0 1 0 152788551 32559104 7131 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7131 296 55 0 6841 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 31796 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1793.62 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7217 0 0 0 179056 306 0 0 25 0 1 0 152788551 32559104 7131 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7131 296 55 0 6841 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 31796 [startup+1795.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1794.62 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7217 0 0 0 179156 306 0 0 25 0 1 0 152788551 32559104 7131 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7131 296 55 0 6841 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 31796 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31796 CPUtime=1795.63 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7217 0 0 0 179257 306 0 0 25 0 1 0 152788551 32559104 7131 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7949 7131 296 55 0 6841 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 31796 [startup+1797.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31928 CPUtime=1796.64 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7221 0 0 0 179357 307 0 0 25 0 1 0 152788551 32694272 7135 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134595816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7982 7135 296 55 0 6874 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 31928 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31928 CPUtime=1797.64 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7221 0 0 0 179457 307 0 0 25 0 1 0 152788551 32694272 7135 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7982 7135 296 55 0 6874 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 31928 [startup+1799.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31900 CPUtime=1798.64 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7221 0 0 0 179557 307 0 0 25 0 1 0 152788551 32665600 7135 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718567 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7975 7135 296 55 0 6867 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 31900 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22842 /proc/meminfo: memFree=1541544/2055920 swapFree=4183448/4192956 [pid=22782] ppid=22780 vsize=31900 CPUtime=1799.65 /proc/22782/stat : 22782 (bsolo) R 22780 22782 22733 0 -1 0 7221 0 0 0 179658 307 0 0 25 0 1 0 152788551 32665600 7135 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22782/statm: 7975 7135 296 55 0 6867 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 31900 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.01 CPU user time (s): 1796.93 CPU system time (s): 3.08153 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (Kb): 31928 The end
Begin job on node20 on Fri Jul 28 04:01:21 UTC 2006 FILE ID= 46264-1154059281 PBS_JOBID= 882159 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/46264-1154059281/instance-46264-1154059281.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-46264-1154059281 -o ROOT/results/node20/solver-46264-1154059281 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/46264-1154059281/instance-46264-1154059281.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 583fb36c9cf948cc03f361dd87435bdd RANDOM SEED= 467547960 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.239 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.239 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: 1567928 kB Buffers: 23556 kB Cached: 398576 kB SwapCached: 3412 kB Active: 31064 kB Inactive: 400452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1567928 kB SwapTotal: 4192956 kB SwapFree: 4183448 kB Dirty: 200 kB Writeback: 0 kB Mapped: 16004 kB Slab: 42104 kB Committed_AS: 569976 kB PageTables: 1664 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node20 on Fri Jul 28 04:31:21 UTC 2006