Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 537 | 1800.2 | 1800.89 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 77 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 84 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1881 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6154 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03 c Time Limit set via PBTIMEOUT to 1800 0.07 c INFO: OSL Context initialized. 0.07 c Initial problem consists of 198 variables and 16 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.018 0.07 c After prepocess the problem consists of 198 variables and 16 constraints. 0.07 c Initial Lower Bound: 0 0.09 c Restart #1 #Var: 198 LB: 0 @ 0.031 0.12 c Restart #2 #Var: 198 LB: 0 @ 0.059 0.17 c Restart #3 #Var: 198 LB: 0 @ 0.108 0.23 c Restart #4 #Var: 198 LB: 0 @ 0.171 0.30 c Restart #5 #Var: 198 LB: 0 @ 0.244 0.38 c Restart #6 #Var: 198 LB: 0 @ 0.323 0.45 c Restart #7 #Var: 198 LB: 0 @ 0.392 0.53 c Restart #8 #Var: 198 LB: 0 @ 0.472 0.65 c Restart #9 #Var: 198 LB: 0 @ 0.591 0.83 c Restart #10 #Var: 198 LB: 0 @ 0.769 1.03 c Restart #11 #Var: 198 LB: 0 @ 0.973 1.17 c Restart #12 #Var: 198 LB: 0 @ 1.117 1.31 c Restart #13 #Var: 198 LB: 0 @ 1.249 1.44 c Restart #14 #Var: 198 LB: 0 @ 1.384 1.60 c Restart #15 #Var: 198 LB: 0 @ 1.54 1.72 c Sol. found (all assignments made)... 1.72 o 2179 1.72 c NEW SOLUTION FOUND: 2179 @ 1.666 1.72 c Sol. found (all assignments made)... 1.72 o 1923 1.72 c NEW SOLUTION FOUND: 1923 @ 1.666 1.72 c Sol. found (all assignments made)... 1.72 o 1795 1.72 c NEW SOLUTION FOUND: 1795 @ 1.667 1.72 c Sol. found (all assignments made)... 1.72 o 1667 1.72 c NEW SOLUTION FOUND: 1667 @ 1.667 1.72 c Sol. found (all assignments made)... 1.72 o 1635 1.72 c NEW SOLUTION FOUND: 1635 @ 1.667 1.72 c Sol. found (all assignments made)... 1.72 o 1619 1.72 c NEW SOLUTION FOUND: 1619 @ 1.667 1.73 c Sol. found (all assignments made)... 1.73 o 1611 1.73 c NEW SOLUTION FOUND: 1611 @ 1.674 1.74 c Sol. found (all assignments made)... 1.74 o 1609 1.74 c NEW SOLUTION FOUND: 1609 @ 1.679 1.74 c Sol. found (all assignments made)... 1.74 o 1607 1.74 c NEW SOLUTION FOUND: 1607 @ 1.683 1.74 c Sol. found (all assignments made)... 1.74 o 1605 1.74 c NEW SOLUTION FOUND: 1605 @ 1.687 1.75 c Sol. found (all assignments made)... 1.75 o 1601 1.75 c NEW SOLUTION FOUND: 1601 @ 1.689 1.75 c Sol. found (all assignments made)... 1.75 o 1599 1.75 c NEW SOLUTION FOUND: 1599 @ 1.689 1.75 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 o 1597 1.80 c NEW SOLUTION FOUND: 1597 @ 1.747 1.84 c Sol. found (all assignments made)... 1.84 o 1595 1.84 c NEW SOLUTION FOUND: 1595 @ 1.787 1.85 c Sol. found (all assignments made)... 1.85 o 1593 1.85 c NEW SOLUTION FOUND: 1593 @ 1.793 1.85 c Sol. found (all assignments made)... 1.85 o 1591 1.85 c NEW SOLUTION FOUND: 1591 @ 1.794 1.92 c Sol. found (all assignments made)... 1.92 o 1589 1.92 c NEW SOLUTION FOUND: 1589 @ 1.862 2.03 c Sol. found (all assignments made)... 2.03 o 1527 2.03 c NEW SOLUTION FOUND: 1527 @ 1.972 2.03 c Sol. found (all assignments made)... 2.03 o 1513 2.03 c NEW SOLUTION FOUND: 1513 @ 1.974 2.03 c Sol. found (all assignments made)... 2.03 o 1511 2.03 c NEW SOLUTION FOUND: 1511 @ 1.975 2.03 c Sol. found (all assignments made)... 2.03 o 1505 2.03 c NEW SOLUTION FOUND: 1505 @ 1.975 2.03 c Sol. found (all assignments made)... 2.03 o 1503 2.03 c NEW SOLUTION FOUND: 1503 @ 1.975 2.04 c Sol. found (all assignments made)... 2.04 o 1501 2.04 c NEW SOLUTION FOUND: 1501 @ 1.983 2.04 c Sol. found (all assignments made)... 2.04 o 1499 2.04 c NEW SOLUTION FOUND: 1499 @ 1.983 2.06 c Sol. found (all assignments made)... 2.06 o 1497 2.06 c NEW SOLUTION FOUND: 1497 @ 2.004 2.06 c Sol. found (all assignments made)... 2.06 o 1495 2.06 c NEW SOLUTION FOUND: 1495 @ 2.007 2.07 c Sol. found (all assignments made)... 2.07 o 1491 2.07 c NEW SOLUTION FOUND: 1491 @ 2.013 2.08 c Sol. found (all assignments made)... 2.08 o 1489 2.08 c NEW SOLUTION FOUND: 1489 @ 2.019 2.08 c Sol. found (all assignments made)... 2.08 o 1487 2.08 c NEW SOLUTION FOUND: 1487 @ 2.022 2.08 c Sol. found (all assignments made)... 2.08 o 1485 2.08 c NEW SOLUTION FOUND: 1485 @ 2.027 2.11 c Sol. found (all assignments made)... 2.11 o 1465 2.11 c NEW SOLUTION FOUND: 1465 @ 2.057 2.12 c Sol. found (all assignments made)... 2.12 o 1461 2.12 c NEW SOLUTION FOUND: 1461 @ 2.062 2.13 c Sol. found (all assignments made)... 2.13 o 1459 2.13 c NEW SOLUTION FOUND: 1459 @ 2.071 2.14 c Sol. found (all assignments made)... 2.14 o 1457 2.14 c NEW SOLUTION FOUND: 1457 @ 2.08 2.14 c Sol. found (all assignments made)... 2.14 o 1455 2.14 c NEW SOLUTION FOUND: 1455 @ 2.081 2.15 c Sol. found (all assignments made)... 2.15 o 1453 2.15 c NEW SOLUTION FOUND: 1453 @ 2.089 2.18 c Sol. found (all assignments made)... 2.18 o 1449 2.18 c NEW SOLUTION FOUND: 1449 @ 2.124 2.18 c Sol. found (all assignments made)... 2.18 o 1447 2.18 c NEW SOLUTION FOUND: 1447 @ 2.128 2.50 c Sol. found (all assignments made)... 2.50 o 1445 2.50 c NEW SOLUTION FOUND: 1445 @ 2.443 2.50 c Sol. found (all assignments made)... 2.50 o 1443 2.50 c NEW SOLUTION FOUND: 1443 @ 2.446 2.51 c Sol. found (all assignments made)... 2.51 o 1441 2.51 c NEW SOLUTION FOUND: 1441 @ 2.448 3.07 c Restart #16 #Var: 198 LB: 0 @ 3.014 3.11 c Sol. found (all assignments made)... 3.11 o 1431 3.11 c NEW SOLUTION FOUND: 1431 @ 3.057 3.12 c Sol. found (all assignments made)... 3.12 o 1427 3.12 c NEW SOLUTION FOUND: 1427 @ 3.058 3.12 c Sol. found (all assignments made)... 3.12 o 1419 3.12 c NEW SOLUTION FOUND: 1419 @ 3.061 3.12 c Sol. found (all assignments made)... 3.12 o 1411 3.12 c NEW SOLUTION FOUND: 1411 @ 3.062 3.21 c Sol. found (all assignments made)... 3.21 o 1399 3.21 c NEW SOLUTION FOUND: 1399 @ 3.153 3.21 c Sol. found (all assignments made)... 3.21 o 1395 3.21 c NEW SOLUTION FOUND: 1395 @ 3.153 3.21 c Sol. found (all assignments made)... 3.21 o 1391 3.21 c NEW SOLUTION FOUND: 1391 @ 3.157 3.22 c Sol. found (all assignments made)... 3.22 o 1383 3.22 c NEW SOLUTION FOUND: 1383 @ 3.158 3.22 c Sol. found (all assignments made)... 3.22 o 1379 3.22 c NEW SOLUTION FOUND: 1379 @ 3.159 3.22 c Sol. found (all assignments made)... 3.22 o 1375 3.22 c NEW SOLUTION FOUND: 1375 @ 3.161 3.23 c Sol. found (all assignments made)... 3.23 o 1347 3.23 c NEW SOLUTION FOUND: 1347 @ 3.17 3.23 c Sol. found (all assignments made)... 3.23 o 1343 3.23 c NEW SOLUTION FOUND: 1343 @ 3.172 3.24 c Sol. found (all assignments made)... 3.24 o 1319 3.24 c NEW SOLUTION FOUND: 1319 @ 3.178 3.24 c Sol. found (all assignments made)... 3.24 o 1315 3.24 c NEW SOLUTION FOUND: 1315 @ 3.178 3.24 c Sol. found (all assignments made)... 3.24 o 1287 3.24 c NEW SOLUTION FOUND: 1287 @ 3.181 3.24 c Sol. found (all assignments made)... 3.24 o 1283 3.24 c NEW SOLUTION FOUND: 1283 @ 3.181 3.24 c Sol. found (all assignments made)... 3.24 o 1279 3.24 c NEW SOLUTION FOUND: 1279 @ 3.184 3.26 c Sol. found (all assignments made)... 3.26 o 1277 3.26 c NEW SOLUTION FOUND: 1277 @ 3.198 3.26 c Sol. found (all assignments made)... 3.26 o 1273 3.26 c NEW SOLUTION FOUND: 1273 @ 3.2 3.38 c Sol. found (all assignments made)... 3.38 o 1269 3.38 c NEW SOLUTION FOUND: 1269 @ 3.324 3.86 c Sol. found (all assignments made)... 3.86 o 1267 3.86 c NEW SOLUTION FOUND: 1267 @ 3.801 4.38 c Restart #17 #Var: 198 LB: 0 @ 4.323 4.56 c Sol. found (all assignments made)... 4.56 o 1245 4.56 c NEW SOLUTION FOUND: 1245 @ 4.503 4.57 c Sol. found (all assignments made)... 4.57 o 1243 4.57 c NEW SOLUTION FOUND: 1243 @ 4.508 4.57 c Sol. found (all assignments made)... 4.57 o 1237 4.57 c NEW SOLUTION FOUND: 1237 @ 4.516 4.58 c Sol. found (all assignments made)... 4.58 o 1235 4.58 c NEW SOLUTION FOUND: 1235 @ 4.521 4.72 c Sol. found (all assignments made)... 4.72 o 1233 4.72 c NEW SOLUTION FOUND: 1233 @ 4.664 4.73 c Sol. found (all assignments made)... 4.73 o 1229 4.73 c NEW SOLUTION FOUND: 1229 @ 4.675 4.80 c Sol. found (all assignments made)... 4.80 o 1227 4.80 c NEW SOLUTION FOUND: 1227 @ 4.738 4.94 c Sol. found (all assignments made)... 4.94 o 1225 4.94 c NEW SOLUTION FOUND: 1225 @ 4.882 4.95 c Sol. found (all assignments made)... 4.95 o 1223 4.95 c NEW SOLUTION FOUND: 1223 @ 4.896 4.96 c Sol. found (all assignments made)... 4.96 o 1221 4.96 c NEW SOLUTION FOUND: 1221 @ 4.898 5.00 c Sol. found (all assignments made)... 5.00 o 1219 5.00 c NEW SOLUTION FOUND: 1219 @ 4.939 5.81 c Restart #18 #Var: 198 LB: 0 @ 5.747 7.03 c Sol. found (all assignments made)... 7.03 o 1217 7.03 c NEW SOLUTION FOUND: 1217 @ 6.974 7.59 c Sol. found (all assignments made)... 7.59 o 1215 7.59 c NEW SOLUTION FOUND: 1215 @ 7.534 7.76 c Sol. found (all assignments made)... 7.76 o 1211 7.76 c NEW SOLUTION FOUND: 1211 @ 7.699 9.92 c Restart #19 #Var: 198 LB: 0 @ 9.86 10.54 c Restart #20 #Var: 198 LB: 0 @ 10.48 12.96 c Restart #21 #Var: 198 LB: 0 @ 12.898 13.13 c Sol. found (all assignments made)... 13.13 o 1203 13.13 c NEW SOLUTION FOUND: 1203 @ 13.066 13.13 c Sol. found (all assignments made)... 13.13 o 1201 13.13 c NEW SOLUTION FOUND: 1201 @ 13.069 13.14 c Sol. found (all assignments made)... 13.14 o 1179 13.14 c NEW SOLUTION FOUND: 1179 @ 13.076 13.14 c Sol. found (all assignments made)... 13.14 o 1175 13.14 c NEW SOLUTION FOUND: 1175 @ 13.079 13.15 c Sol. found (all assignments made)... 13.15 o 1173 13.15 c NEW SOLUTION FOUND: 1173 @ 13.085 13.15 c Sol. found (all assignments made)... 13.15 o 1169 13.15 c NEW SOLUTION FOUND: 1169 @ 13.087 13.16 c Sol. found (all assignments made)... 13.16 o 1165 13.16 c NEW SOLUTION FOUND: 1165 @ 13.097 13.24 c Sol. found (all assignments made)... 13.24 o 1163 13.24 c NEW SOLUTION FOUND: 1163 @ 13.174 13.24 c Sol. found (all assignments made)... 13.24 o 1161 13.24 c NEW SOLUTION FOUND: 1161 @ 13.179 13.25 c Sol. found (all assignments made)... 13.25 o 1157 13.25 c NEW SOLUTION FOUND: 1157 @ 13.181 13.37 c Sol. found (all assignments made)... 13.37 o 1155 13.37 c NEW SOLUTION FOUND: 1155 @ 13.306 13.37 c Sol. found (all assignments made)... 13.37 o 1153 13.37 c NEW SOLUTION FOUND: 1153 @ 13.311 13.65 c Sol. found (all assignments made)... 13.65 o 1151 13.65 c NEW SOLUTION FOUND: 1151 @ 13.588 14.32 c Sol. found (all assignments made)... 14.32 o 1122 14.32 c NEW SOLUTION FOUND: 1122 @ 14.25 14.32 c Sol. found (all assignments made)... 14.32 o 1106 14.32 c NEW SOLUTION FOUND: 1106 @ 14.253 14.33 c Sol. found (all assignments made)... 14.33 o 1102 14.33 c NEW SOLUTION FOUND: 1102 @ 14.26 14.34 c Sol. found (all assignments made)... 14.34 o 1086 14.34 c NEW SOLUTION FOUND: 1086 @ 14.277 14.34 c Sol. found (all assignments made)... 14.34 o 1070 14.34 c NEW SOLUTION FOUND: 1070 @ 14.278 14.46 c Sol. found (all assignments made)... 14.46 o 1068 14.46 c NEW SOLUTION FOUND: 1068 @ 14.39 14.51 c Sol. found (all assignments made)... 14.51 o 1066 14.51 c NEW SOLUTION FOUND: 1066 @ 14.447 14.53 c Sol. found (all assignments made)... 14.53 o 1062 14.53 c NEW SOLUTION FOUND: 1062 @ 14.47 14.69 c Sol. found (all assignments made)... 14.69 o 1060 14.69 c NEW SOLUTION FOUND: 1060 @ 14.626 15.99 c Restart #22 #Var: 198 LB: 0 @ 15.922 19.71 c Restart #23 #Var: 198 LB: 0 @ 19.648 21.05 c Restart #24 #Var: 198 LB: 0 @ 20.986 24.54 c Restart #25 #Var: 198 LB: 0 @ 24.468 25.94 c Sol. found (all assignments made)... 25.94 o 1058 25.94 c NEW SOLUTION FOUND: 1058 @ 25.876 25.99 c Sol. found (all assignments made)... 25.99 o 1056 25.99 c NEW SOLUTION FOUND: 1056 @ 25.919 26.23 c Sol. found (all assignments made)... 26.23 o 1052 26.23 c NEW SOLUTION FOUND: 1052 @ 26.163 26.26 c Sol. found (all assignments made)... 26.26 o 1048 26.26 c NEW SOLUTION FOUND: 1048 @ 26.191 26.34 c Sol. found (all assignments made)... 26.34 o 1046 26.34 c NEW SOLUTION FOUND: 1046 @ 26.27 26.40 c Sol. found (all assignments made)... 26.40 o 1044 26.40 c NEW SOLUTION FOUND: 1044 @ 26.33 30.27 c Restart #26 #Var: 198 LB: 0 @ 30.198 34.31 c Restart #27 #Var: 198 LB: 0 @ 34.235 36.71 c Restart #28 #Var: 198 LB: 0 @ 36.634 42.07 c Restart #29 #Var: 198 LB: 0 @ 41.996 47.51 c CHANGE to MIS mode... UB: 1044 MIS: 0 LPR: 0 (0.018) Diff: nan 47.51 c Restart #0 #Var: 198 LB: 0 @ 47.429 47.80 c Restart #1 #Var: 198 LB: 0 @ 47.723 48.22 c Restart #2 #Var: 198 LB: 0 @ 48.142 49.08 c Restart #3 #Var: 198 LB: 0 @ 48.998 50.71 c Restart #4 #Var: 198 LB: 0 @ 50.63 52.66 c Restart #5 #Var: 198 LB: 0 @ 52.582 53.74 c Restart #6 #Var: 198 LB: 0 @ 53.659 56.29 c Restart #7 #Var: 198 LB: 0 @ 56.207 57.86 c Restart #8 #Var: 198 LB: 0 @ 57.774 61.41 c Restart #9 #Var: 198 LB: 0 @ 61.322 64.69 c Restart #10 #Var: 198 LB: 0 @ 64.6 66.77 c Restart #11 #Var: 198 LB: 0 @ 66.686 68.75 c Restart #12 #Var: 198 LB: 0 @ 68.659 71.83 c Restart #13 #Var: 198 LB: 0 @ 71.738 74.52 c Restart #14 #Var: 198 LB: 0 @ 74.429 76.75 c Restart #15 #Var: 198 LB: 0 @ 76.662 78.74 c Restart #16 #Var: 198 LB: 0 @ 78.649 83.82 c Restart #17 #Var: 198 LB: 0 @ 83.729 87.65 c Restart #18 #Var: 198 LB: 0 @ 87.555 89.85 c Sol. found (all assignments made)... 89.86 c Sol. found (all assignments made)... 89.86 o 1032 89.86 c NEW SOLUTION FOUND: 1032 @ 89.766 92.91 c Sol. found (all assignments made)... 92.91 o 1028 92.91 c NEW SOLUTION FOUND: 1028 @ 92.809 92.96 c Sol. found (all assignments made)... 92.96 o 1026 92.96 c NEW SOLUTION FOUND: 1026 @ 92.869 93.37 c Sol. found (all assignments made)... 93.37 o 1024 93.37 c NEW SOLUTION FOUND: 1024 @ 93.272 97.79 c Sol. found (all assignments made)... 97.79 o 1022 97.79 c NEW SOLUTION FOUND: 1022 @ 97.692 99.04 c Sol. found (all assignments made)... 99.06 c Sol. found (all assignments made)... 99.06 o 1020 99.06 c NEW SOLUTION FOUND: 1020 @ 98.959 104.02 c Restart #19 #Var: 198 LB: 0 @ 103.92 108.07 c Restart #20 #Var: 198 LB: 0 @ 107.97 113.48 c Restart #21 #Var: 198 LB: 0 @ 113.38 118.61 c Restart #22 #Var: 198 LB: 0 @ 118.51 130.73 c Restart #23 #Var: 198 LB: 0 @ 130.62 132.75 c Sol. found (all assignments made)... 132.75 o 1019 132.75 c NEW SOLUTION FOUND: 1019 @ 132.64 138.59 c Sol. found (all assignments made)... 138.59 o 1017 138.59 c NEW SOLUTION FOUND: 1017 @ 138.48 139.61 c Sol. found (all assignments made)... 139.61 o 1015 139.61 c NEW SOLUTION FOUND: 1015 @ 139.5 139.74 c Sol. found (all assignments made)... 139.74 o 1013 139.74 c NEW SOLUTION FOUND: 1013 @ 139.63 139.80 c Sol. found (all assignments made)... 139.80 o 1011 139.80 c NEW SOLUTION FOUND: 1011 @ 139.69 147.17 c Restart #24 #Var: 198 LB: 0 @ 147.06 154.89 c Restart #25 #Var: 198 LB: 0 @ 154.78 162.91 c Restart #26 #Var: 198 LB: 0 @ 162.79 176.35 c Restart #27 #Var: 198 LB: 0 @ 176.23 183.95 c Sol. found (all assignments made)... 183.96 c Sol. found (all assignments made)... 183.96 o 1009 183.96 c NEW SOLUTION FOUND: 1009 @ 183.83 186.43 c Sol. found (all assignments made)... 186.43 o 1007 186.43 c NEW SOLUTION FOUND: 1007 @ 186.31 186.52 c Sol. found (all assignments made)... 186.52 o 1005 186.52 c NEW SOLUTION FOUND: 1005 @ 186.4 186.74 c Sol. found (all assignments made)... 186.74 o 1003 186.74 c NEW SOLUTION FOUND: 1003 @ 186.61 187.31 c Sol. found (all assignments made)... 187.31 o 1001 187.31 c NEW SOLUTION FOUND: 1001 @ 187.18 188.19 c Sol. found (all assignments made)... 188.19 o 997 188.19 c NEW SOLUTION FOUND: 997 @ 188.06 188.32 c Sol. found (all assignments made)... 188.32 o 995 188.32 c NEW SOLUTION FOUND: 995 @ 188.19 202.19 c Restart #28 #Var: 198 LB: 0 @ 202.05 211.41 c Restart #29 #Var: 198 LB: 0 @ 211.28 228.79 c Restart #30 #Var: 198 LB: 0 @ 228.65 248.85 c Restart #31 #Var: 198 LB: 0 @ 248.7 268.44 c Restart #32 #Var: 198 LB: 0 @ 268.29 279.29 c Restart #33 #Var: 198 LB: 0 @ 279.12 293.94 c Restart #34 #Var: 198 LB: 0 @ 293.77 306.50 c Sol. found (all assignments made)... 306.50 o 993 306.50 c NEW SOLUTION FOUND: 993 @ 306.33 306.80 c Sol. found (all assignments made)... 306.80 o 991 306.80 c NEW SOLUTION FOUND: 991 @ 306.63 317.22 c Restart #35 #Var: 198 LB: 0 @ 317.05 331.98 c Restart #36 #Var: 198 LB: 0 @ 331.8 335.12 c Sol. found (all assignments made)... 335.12 o 974 335.12 c NEW SOLUTION FOUND: 974 @ 334.94 335.17 c Sol. found (all assignments made)... 335.17 o 966 335.17 c NEW SOLUTION FOUND: 966 @ 334.99 335.19 c Sol. found (all assignments made)... 335.19 o 950 335.19 c NEW SOLUTION FOUND: 950 @ 335.01 335.22 c Sol. found (all assignments made)... 335.22 o 946 335.22 c NEW SOLUTION FOUND: 946 @ 335.04 335.25 c Sol. found (all assignments made)... 335.25 o 942 335.25 c NEW SOLUTION FOUND: 942 @ 335.07 335.31 c Sol. found (all assignments made)... 335.31 o 900 335.31 c NEW SOLUTION FOUND: 900 @ 335.13 335.35 c Sol. found (all assignments made)... 335.35 o 896 335.35 c NEW SOLUTION FOUND: 896 @ 335.17 335.57 c Sol. found (all assignments made)... 335.57 o 888 335.57 c NEW SOLUTION FOUND: 888 @ 335.38 335.79 c Sol. found (all assignments made)... 335.79 o 884 335.79 c NEW SOLUTION FOUND: 884 @ 335.61 336.58 c Sol. found (all assignments made)... 336.58 o 882 336.58 c NEW SOLUTION FOUND: 882 @ 336.4 336.79 c Sol. found (all assignments made)... 336.79 o 880 336.79 c NEW SOLUTION FOUND: 880 @ 336.61 336.89 c Sol. found (all assignments made)... 336.89 o 878 336.89 c NEW SOLUTION FOUND: 878 @ 336.71 337.03 c Sol. found (all assignments made)... 337.03 o 876 337.03 c NEW SOLUTION FOUND: 876 @ 336.85 337.25 c Sol. found (all assignments made)... 337.25 o 870 337.25 c NEW SOLUTION FOUND: 870 @ 337.07 337.46 c Sol. found (all assignments made)... 337.46 o 868 337.46 c NEW SOLUTION FOUND: 868 @ 337.28 337.86 c Sol. found (all assignments made)... 337.86 o 866 337.86 c NEW SOLUTION FOUND: 866 @ 337.68 337.89 c Sol. found (all assignments made)... 337.89 o 864 337.89 c NEW SOLUTION FOUND: 864 @ 337.7 338.24 c Sol. found (all assignments made)... 338.24 o 862 338.24 c NEW SOLUTION FOUND: 862 @ 338.06 338.36 c Sol. found (all assignments made)... 338.36 o 860 338.36 c NEW SOLUTION FOUND: 860 @ 338.18 338.53 c Sol. found (all assignments made)... 338.53 o 856 338.53 c NEW SOLUTION FOUND: 856 @ 338.35 338.70 c Sol. found (all assignments made)... 338.70 o 852 338.70 c NEW SOLUTION FOUND: 852 @ 338.52 340.30 c Sol. found (all assignments made)... 340.30 o 850 340.30 c NEW SOLUTION FOUND: 850 @ 340.12 340.83 c Sol. found (all assignments made)... 340.83 o 846 340.83 c NEW SOLUTION FOUND: 846 @ 340.64 343.08 c Sol. found (all assignments made)... 343.08 o 844 343.08 c NEW SOLUTION FOUND: 844 @ 342.9 343.95 c Sol. found (all assignments made)... 343.95 o 840 343.95 c NEW SOLUTION FOUND: 840 @ 343.77 366.88 c Restart #37 #Var: 198 LB: 0 @ 366.68 401.67 c Restart #38 #Var: 198 LB: 0 @ 401.47 426.89 c Restart #39 #Var: 198 LB: 0 @ 426.67 460.39 c Sol. found (all assignments made)... 460.39 o 839 460.39 c NEW SOLUTION FOUND: 839 @ 460.17 460.47 c Sol. found (all assignments made)... 460.47 o 837 460.47 c NEW SOLUTION FOUND: 837 @ 460.25 461.06 c Sol. found (all assignments made)... 461.06 o 835 461.06 c NEW SOLUTION FOUND: 835 @ 460.84 461.32 c Sol. found (all assignments made)... 461.32 o 833 461.32 c NEW SOLUTION FOUND: 833 @ 461.1 461.39 c Sol. found (all assignments made)... 461.39 o 831 461.39 c NEW SOLUTION FOUND: 831 @ 461.16 493.31 c Restart #40 #Var: 198 LB: 0 @ 493.07 532.67 c Restart #41 #Var: 198 LB: 0 @ 532.42 578.61 c Restart #42 #Var: 198 LB: 0 @ 578.34 616.50 c Restart #43 #Var: 198 LB: 0 @ 616.22 660.97 c Restart #44 #Var: 198 LB: 0 @ 660.68 747.72 c Restart #45 #Var: 198 LB: 0 @ 747.4 788.91 c Restart #46 #Var: 198 LB: 0 @ 788.57 821.93 c Restart #47 #Var: 198 LB: 0 @ 821.58 844.41 c Restart #48 #Var: 198 LB: 0 @ 844.05 950.66 c Restart #49 #Var: 198 LB: 0 @ 950.26 1008.84 c Restart #50 #Var: 198 LB: 0 @ 1008.4 1049.51 c Sol. found (all assignments made)... 1051.22 c Sol. found (all assignments made)... 1051.22 o 829 1051.22 c NEW SOLUTION FOUND: 829 @ 1050.8 1064.82 c Sol. found (all assignments made)... 1064.82 o 827 1064.82 c NEW SOLUTION FOUND: 827 @ 1064.4 1067.10 c Sol. found (all assignments made)... 1067.14 c Sol. found (all assignments made)... 1067.14 o 825 1067.14 c NEW SOLUTION FOUND: 825 @ 1066.7 1074.07 c Sol. found (all assignments made)... 1074.07 o 823 1074.07 c NEW SOLUTION FOUND: 823 @ 1073.6 1075.68 c Sol. found (all assignments made)... 1075.68 o 821 1075.68 c NEW SOLUTION FOUND: 821 @ 1075.2 1093.05 c Sol. found (all assignments made)... 1093.05 o 819 1093.05 c NEW SOLUTION FOUND: 819 @ 1092.6 1095.49 c Sol. found (all assignments made)... 1095.49 o 817 1095.49 c NEW SOLUTION FOUND: 817 @ 1095 1099.71 c Sol. found (all assignments made)... 1099.71 o 815 1099.71 c NEW SOLUTION FOUND: 815 @ 1099.3 1103.24 c Sol. found (all assignments made)... 1103.24 o 813 1103.24 c NEW SOLUTION FOUND: 813 @ 1102.8 1110.82 c Sol. found (all assignments made)... 1110.82 o 811 1110.82 c NEW SOLUTION FOUND: 811 @ 1110.4 1110.88 c Sol. found (all assignments made)... 1110.88 o 809 1110.88 c NEW SOLUTION FOUND: 809 @ 1110.4 1131.41 c Restart #51 #Var: 198 LB: 0 @ 1131 1171.00 c Sol. found (all assignments made)... 1171.00 o 807 1171.00 c NEW SOLUTION FOUND: 807 @ 1170.5 1184.53 c Sol. found (all assignments made)... 1184.53 o 805 1184.53 c NEW SOLUTION FOUND: 805 @ 1184.1 1185.93 c Sol. found (all assignments made)... 1185.93 o 797 1185.93 c NEW SOLUTION FOUND: 797 @ 1185.5 1222.82 c Sol. found (all assignments made)... 1222.82 o 796 1222.82 c NEW SOLUTION FOUND: 796 @ 1222.3 1238.04 c Sol. found (all assignments made)... 1238.04 o 794 1238.04 c NEW SOLUTION FOUND: 794 @ 1237.5 1238.16 c Sol. found (all assignments made)... 1238.16 o 792 1238.16 c NEW SOLUTION FOUND: 792 @ 1237.7 1238.18 c Sol. found (all assignments made)... 1238.18 o 788 1238.18 c NEW SOLUTION FOUND: 788 @ 1237.7 1242.23 c Sol. found (all assignments made)... 1242.23 o 780 1242.23 c NEW SOLUTION FOUND: 780 @ 1241.7 1245.67 c Sol. found (all assignments made)... 1245.67 o 778 1245.67 c NEW SOLUTION FOUND: 778 @ 1245.2 1257.38 c Sol. found (all assignments made)... 1257.38 o 770 1257.38 c NEW SOLUTION FOUND: 770 @ 1256.9 1257.49 c Sol. found (all assignments made)... 1257.49 o 766 1257.49 c NEW SOLUTION FOUND: 766 @ 1257 1257.79 c Sol. found (all assignments made)... 1257.79 o 764 1257.79 c NEW SOLUTION FOUND: 764 @ 1257.3 1258.16 c Sol. found (all assignments made)... 1258.16 o 762 1258.16 c NEW SOLUTION FOUND: 762 @ 1257.7 1278.30 c Sol. found (all assignments made)... 1278.30 o 761 1278.30 c NEW SOLUTION FOUND: 761 @ 1277.8 1281.13 c Sol. found (all assignments made)... 1281.13 o 759 1281.13 c NEW SOLUTION FOUND: 759 @ 1280.6 1282.71 c Sol. found (all assignments made)... 1282.71 o 757 1282.71 c NEW SOLUTION FOUND: 757 @ 1282.2 1282.74 c Sol. found (all assignments made)... 1282.74 o 755 1282.74 c NEW SOLUTION FOUND: 755 @ 1282.2 1282.84 c Sol. found (all assignments made)... 1282.84 o 749 1282.84 c NEW SOLUTION FOUND: 749 @ 1282.3 1283.25 c Sol. found (all assignments made)... 1283.25 o 747 1283.25 c NEW SOLUTION FOUND: 747 @ 1282.7 1283.31 c Sol. found (all assignments made)... 1283.31 o 745 1283.31 c NEW SOLUTION FOUND: 745 @ 1282.8 1283.48 c Sol. found (all assignments made)... 1283.48 o 743 1283.48 c NEW SOLUTION FOUND: 743 @ 1283 1283.90 c Sol. found (all assignments made)... 1283.90 o 741 1283.90 c NEW SOLUTION FOUND: 741 @ 1283.4 1284.03 c Sol. found (all assignments made)... 1284.03 o 735 1284.03 c NEW SOLUTION FOUND: 735 @ 1283.5 1284.41 c Sol. found (all assignments made)... 1284.41 o 733 1284.41 c NEW SOLUTION FOUND: 733 @ 1283.9 1286.45 c Sol. found (all assignments made)... 1286.45 o 731 1286.45 c NEW SOLUTION FOUND: 731 @ 1285.9 1287.70 c Sol. found (all assignments made)... 1287.70 o 729 1287.70 c NEW SOLUTION FOUND: 729 @ 1287.2 1323.87 c Restart #52 #Var: 198 LB: 0 @ 1323.3 1426.50 c Restart #53 #Var: 198 LB: 0 @ 1425.9 1443.34 c Sol. found (all assignments made)... 1443.34 c Sol. found (all assignments made)... 1443.34 o 716 1443.34 c NEW SOLUTION FOUND: 716 @ 1442.8 1443.55 c Sol. found (all assignments made)... 1443.55 o 712 1443.55 c NEW SOLUTION FOUND: 712 @ 1443 1443.70 c Sol. found (all assignments made)... 1443.70 o 710 1443.70 c NEW SOLUTION FOUND: 710 @ 1443.1 1443.72 c Sol. found (all assignments made)... 1443.72 o 708 1443.72 c NEW SOLUTION FOUND: 708 @ 1443.2 1478.84 c Sol. found (all assignments made)... 1478.84 o 690 1478.84 c NEW SOLUTION FOUND: 690 @ 1478.3 1479.22 c Sol. found (all assignments made)... 1479.22 o 676 1479.22 c NEW SOLUTION FOUND: 676 @ 1478.6 1479.63 c Sol. found (all assignments made)... 1479.63 o 674 1479.63 c NEW SOLUTION FOUND: 674 @ 1479.1 1479.87 c Sol. found (all assignments made)... 1479.87 o 672 1479.87 c NEW SOLUTION FOUND: 672 @ 1479.3 1480.12 c Sol. found (all assignments made)... 1480.12 o 670 1480.12 c NEW SOLUTION FOUND: 670 @ 1479.5 1480.27 c Sol. found (all assignments made)... 1480.27 o 666 1480.27 c NEW SOLUTION FOUND: 666 @ 1479.7 1480.36 c Sol. found (all assignments made)... 1480.36 o 656 1480.36 c NEW SOLUTION FOUND: 656 @ 1479.8 1480.44 c Sol. found (all assignments made)... 1480.44 o 652 1480.44 c NEW SOLUTION FOUND: 652 @ 1479.9 1481.91 c Sol. found (all assignments made)... 1481.91 o 650 1481.91 c NEW SOLUTION FOUND: 650 @ 1481.3 1483.57 c Sol. found (all assignments made)... 1483.57 o 648 1483.57 c NEW SOLUTION FOUND: 648 @ 1483 1483.84 c Sol. found (all assignments made)... 1483.84 o 644 1483.84 c NEW SOLUTION FOUND: 644 @ 1483.3 1484.04 c Sol. found (all assignments made)... 1484.04 o 642 1484.04 c NEW SOLUTION FOUND: 642 @ 1483.5 1492.70 c Sol. found (all assignments made)... 1492.70 o 640 1492.70 c NEW SOLUTION FOUND: 640 @ 1492.1 1534.93 c Sol. found (all assignments made)... 1534.93 o 636 1534.93 c NEW SOLUTION FOUND: 636 @ 1534.3 1535.03 c Sol. found (all assignments made)... 1535.03 o 634 1535.03 c NEW SOLUTION FOUND: 634 @ 1534.4 1538.04 c Sol. found (all assignments made)... 1538.04 o 632 1538.04 c NEW SOLUTION FOUND: 632 @ 1537.4 1565.73 c Sol. found (all assignments made)... 1565.73 o 630 1565.74 c NEW SOLUTION FOUND: 630 @ 1565.1 1565.82 c Sol. found (all assignments made)... 1565.82 o 628 1565.82 c NEW SOLUTION FOUND: 628 @ 1565.2 1566.69 c Sol. found (all assignments made)... 1566.69 o 624 1566.69 c NEW SOLUTION FOUND: 624 @ 1566.1 1566.92 c Sol. found (all assignments made)... 1566.92 o 622 1566.92 c NEW SOLUTION FOUND: 622 @ 1566.3 1567.76 c Sol. found (all assignments made)... 1567.76 o 620 1567.76 c NEW SOLUTION FOUND: 620 @ 1567.2 1571.23 c Sol. found (all assignments made)... 1571.23 o 618 1571.23 c NEW SOLUTION FOUND: 618 @ 1570.6 1571.61 c Sol. found (all assignments made)... 1571.61 o 616 1571.61 c NEW SOLUTION FOUND: 616 @ 1571 1572.91 c Sol. found (all assignments made)... 1572.91 o 614 1572.91 c NEW SOLUTION FOUND: 614 @ 1572.3 1574.79 c Sol. found (all assignments made)... 1574.79 o 612 1574.79 c NEW SOLUTION FOUND: 612 @ 1574.2 1576.61 c Sol. found (all assignments made)... 1576.61 o 610 1576.61 c NEW SOLUTION FOUND: 610 @ 1576 1577.92 c Sol. found (all assignments made)... 1577.92 o 608 1577.92 c NEW SOLUTION FOUND: 608 @ 1577.3 1579.83 c Sol. found (all assignments made)... 1579.83 o 606 1579.83 c NEW SOLUTION FOUND: 606 @ 1579.2 1584.24 c Sol. found (all assignments made)... 1584.24 o 604 1584.24 c NEW SOLUTION FOUND: 604 @ 1583.6 1587.45 c Sol. found (all assignments made)... 1587.45 o 602 1587.45 c NEW SOLUTION FOUND: 602 @ 1586.8 1588.04 c Sol. found (all assignments made)... 1588.04 o 600 1588.04 c NEW SOLUTION FOUND: 600 @ 1587.4 1588.78 c Sol. found (all assignments made)... 1588.78 o 598 1588.78 c NEW SOLUTION FOUND: 598 @ 1588.2 1589.76 c Sol. found (all assignments made)... 1589.76 o 596 1589.76 c NEW SOLUTION FOUND: 596 @ 1589.1 1596.56 c Sol. found (all assignments made)... 1596.56 o 594 1596.56 c NEW SOLUTION FOUND: 594 @ 1595.9 1597.14 c Sol. found (all assignments made)... 1597.14 o 592 1597.14 c NEW SOLUTION FOUND: 592 @ 1596.5 1624.99 c Sol. found (all assignments made)... 1624.99 o 591 1624.99 c NEW SOLUTION FOUND: 591 @ 1624.4 1625.74 c Sol. found (all assignments made)... 1625.74 o 589 1625.74 c NEW SOLUTION FOUND: 589 @ 1625.1 1635.96 c Sol. found (all assignments made)... 1635.96 o 587 1635.96 c NEW SOLUTION FOUND: 587 @ 1635.3 1637.03 c Sol. found (all assignments made)... 1637.03 o 583 1637.03 c NEW SOLUTION FOUND: 583 @ 1636.4 1637.13 c Sol. found (all assignments made)... 1637.13 o 581 1637.13 c NEW SOLUTION FOUND: 581 @ 1636.5 1637.22 c Sol. found (all assignments made)... 1637.22 o 579 1637.22 c NEW SOLUTION FOUND: 579 @ 1636.6 1637.39 c Sol. found (all assignments made)... 1637.39 o 577 1637.39 c NEW SOLUTION FOUND: 577 @ 1636.8 1638.15 c Sol. found (all assignments made)... 1638.15 o 575 1638.16 c NEW SOLUTION FOUND: 575 @ 1637.5 1640.47 c Sol. found (all assignments made)... 1640.47 o 569 1640.47 c NEW SOLUTION FOUND: 569 @ 1639.8 1640.94 c Sol. found (all assignments made)... 1640.94 o 563 1640.94 c NEW SOLUTION FOUND: 563 @ 1640.3 1641.70 c Sol. found (all assignments made)... 1641.70 o 561 1641.70 c NEW SOLUTION FOUND: 561 @ 1641.1 1651.31 c Sol. found (all assignments made)... 1651.31 o 559 1651.31 c NEW SOLUTION FOUND: 559 @ 1650.7 1651.52 c Sol. found (all assignments made)... 1651.52 o 557 1651.52 c NEW SOLUTION FOUND: 557 @ 1650.9 1651.94 c Sol. found (all assignments made)... 1651.94 o 553 1651.94 c NEW SOLUTION FOUND: 553 @ 1651.3 1653.38 c Sol. found (all assignments made)... 1653.38 o 551 1653.38 c NEW SOLUTION FOUND: 551 @ 1652.7 1656.92 c Sol. found (all assignments made)... 1656.92 o 549 1656.92 c NEW SOLUTION FOUND: 549 @ 1656.3 1657.28 c Sol. found (all assignments made)... 1657.28 o 547 1657.28 c NEW SOLUTION FOUND: 547 @ 1656.6 1657.52 c Sol. found (all assignments made)... 1657.52 o 543 1657.52 c NEW SOLUTION FOUND: 543 @ 1656.9 1657.85 c Sol. found (all assignments made)... 1657.85 o 541 1657.85 c NEW SOLUTION FOUND: 541 @ 1657.2 1658.32 c Sol. found (all assignments made)... 1658.32 o 539 1658.32 c NEW SOLUTION FOUND: 539 @ 1657.7 1658.63 c Sol. found (all assignments made)... 1658.63 o 537 1658.63 c NEW SOLUTION FOUND: 537 @ 1658 1706.78 c Restart #54 #Var: 198 LB: 0 @ 1706.1 1800.77 s SATISFIABLE 1800.77 c Cost: 537 1800.77 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 x16 x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.77 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 x45 x46 x47 -x48 x49 x50 -x51 -x52 x53 -x54 -x55 -x56 1800.77 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.77 v -x83 -x84 x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 1800.77 v -x108 x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.77 v -x129 -x130 -x131 -x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 x142 x143 x144 -x145 -x146 -x147 x148 -x149 x150 -x151 1800.77 v -x152 -x153 x154 -x155 -x156 x157 -x158 x159 -x160 x161 x162 -x163 -x164 x165 -x166 x167 x168 x169 -x170 -x171 x172 -x173 x174 1800.77 v x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 x184 -x185 x186 -x187 -x188 x189 x190 x191 x192 -x193 x194 -x195 -x196 x197 1800.77 v x198 1800.77 c Exit Code: 10 1800.77 c Total time: 1800.1 s
OK 537
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/node6/watcher-50309-1154099900 -o ROOT/results/node6/solver-50309-1154099900 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/50309-1154099900/instance-50309-1154099900.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.99 3/63 31391 /proc/meminfo: memFree=908880/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=2900 CPUtime=0 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 43 0 1 0 0 0 0 0 19 0 1 0 156851411 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2187563 0 0 4096 0 0 0 0 17 1 0 0 /proc/31391/statm: 725 27 19 55 0 38 0 [startup+10.0023 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=836496/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=74484 CPUtime=9.93 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 17854 0 12 0 978 15 0 0 25 0 1 0 156851411 76271616 17780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 18621 17780 297 55 0 17513 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 74484 [startup+20.0083 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=810896/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=100076 CPUtime=19.93 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 24242 0 12 0 1969 24 0 0 25 0 1 0 156851411 102477824 24168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 25019 24168 297 55 0 23911 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 100076 [startup+30.0152 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=790480/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=120412 CPUtime=29.94 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 29334 0 12 0 2963 31 0 0 25 0 1 0 156851411 123301888 29258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 30103 29258 297 55 0 28995 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 120412 [startup+40.0212 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=775824/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=135084 CPUtime=39.94 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 32991 0 12 0 3959 35 0 0 25 0 1 0 156851411 138326016 32915 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 33771 32915 297 55 0 32663 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 135084 [startup+50.0282 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=762896/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=147952 CPUtime=49.94 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 36191 0 15 0 4955 39 0 0 25 0 1 0 156851411 151502848 36114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 36988 36114 419 55 0 35880 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 147952 [startup+60.0351 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=754256/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=156532 CPUtime=59.94 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 38346 0 15 0 5952 42 0 0 25 0 1 0 156851411 160288768 38269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 39133 38269 419 55 0 38025 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 156532 [startup+70.0421 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=739664/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=171212 CPUtime=69.95 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 42001 0 15 0 6949 46 0 0 25 0 1 0 156851411 175321088 41922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 42803 41922 419 55 0 41695 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 171212 [startup+80.0491 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=722320/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=188652 CPUtime=79.95 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 46345 0 15 0 7944 51 0 0 25 0 1 0 156851411 193179648 46261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 47163 46261 419 55 0 46055 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 188652 [startup+90.0551 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=712848/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=198316 CPUtime=89.95 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 48719 0 15 0 8941 54 0 0 25 0 1 0 156851411 203075584 48634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 49579 48634 419 55 0 48471 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 198316 [startup+100.061 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=707024/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=204140 CPUtime=99.95 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 50166 0 15 0 9940 55 0 0 25 0 1 0 156851411 209039360 50080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 51035 50080 419 55 0 49927 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 204140 [startup+110.068 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=700432/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=210772 CPUtime=109.96 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 51811 0 15 0 10938 58 0 0 25 0 1 0 156851411 215830528 51723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 52693 51723 419 55 0 51585 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 210772 [startup+120.075 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=690960/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=220144 CPUtime=119.96 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 54168 0 15 0 11936 60 0 0 25 0 1 0 156851411 225427456 54079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 55036 54079 419 55 0 53928 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 220144 [startup+130.081 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=687120/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=224004 CPUtime=129.96 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 55123 0 15 0 12934 62 0 0 25 0 1 0 156851411 229380096 55033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 56001 55033 419 55 0 54893 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 224004 [startup+140.087 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=679504/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=231552 CPUtime=140 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 57021 0 15 0 13934 66 0 0 25 0 1 0 156851411 237109248 56930 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 57888 56930 419 55 0 56780 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 231552 [startup+150.126 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=675024/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=236208 CPUtime=150 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 58149 0 15 0 14933 67 0 0 25 0 1 0 156851411 241876992 58057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 59052 58057 419 55 0 57944 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 236208 [startup+160.132 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=666384/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=244784 CPUtime=160 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 60293 0 15 0 15930 70 0 0 25 0 1 0 156851411 250658816 60201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 61196 60201 419 55 0 60088 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 244784 [startup+170.138 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=659344/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=251948 CPUtime=170.01 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 62063 0 15 0 16929 72 0 0 25 0 1 0 156851411 257994752 61971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 62987 61971 419 55 0 61879 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 251948 [startup+180.144 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=656144/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=255116 CPUtime=180.01 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 62860 0 15 0 17927 74 0 0 25 0 1 0 156851411 261238784 62768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 63779 62768 419 55 0 62671 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 255116 [startup+190.15 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=651792/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=259600 CPUtime=190.01 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 63954 0 15 0 18924 77 0 0 25 0 1 0 156851411 265830400 63861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 64900 63861 419 55 0 63792 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 259600 [startup+200.156 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 /proc/meminfo: memFree=645200/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=266008 CPUtime=200.01 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 66266 0 15 0 19922 79 0 0 25 0 1 0 156851411 272392192 65491 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 66502 65491 419 55 0 65394 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 266008 [startup+210.162 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31391 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.45 Current children cumulated vsize (Kb) 737728 [startup+1771.15 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=174672/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=738792 CPUtime=1770.46 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185146 0 15 0 176786 260 0 0 25 0 1 0 156851411 756523008 182872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 184698 182872 419 55 0 183590 0 Current children cumulated CPU time (s) 1770.46 Current children cumulated vsize (Kb) 738792 [startup+1781.15 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=173584/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=739848 CPUtime=1780.45 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185428 0 15 0 177785 260 0 0 25 0 1 0 156851411 757604352 183154 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 184962 183154 419 55 0 183854 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 739848 [startup+1782.16 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=173328/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=740112 CPUtime=1781.46 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185485 0 15 0 177886 260 0 0 25 0 1 0 156851411 757874688 183211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185028 183211 419 55 0 183920 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 740112 [startup+1783.16 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=173264/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=740244 CPUtime=1782.46 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185504 0 15 0 177986 260 0 0 25 0 1 0 156851411 758009856 183230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185061 183230 419 55 0 183953 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 740244 [startup+1784.17 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=173200/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=740244 CPUtime=1783.47 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185523 0 15 0 178087 260 0 0 25 0 1 0 156851411 758009856 183249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185061 183249 419 55 0 183953 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 740244 [startup+1785.17 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=173072/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=740376 CPUtime=1784.47 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185544 0 15 0 178187 260 0 0 25 0 1 0 156851411 758145024 183270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548420 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185094 183270 419 55 0 183986 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 740376 [startup+1786.18 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=173008/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=740508 CPUtime=1785.48 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185569 0 15 0 178288 260 0 0 25 0 1 0 156851411 758280192 183295 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185127 183295 419 55 0 184019 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 740508 [startup+1787.18 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=172944/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=740508 CPUtime=1786.48 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185588 0 15 0 178388 260 0 0 25 0 1 0 156851411 758280192 183314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185127 183314 419 55 0 184019 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 740508 [startup+1788.19 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=172816/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=740640 CPUtime=1787.49 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185608 0 15 0 178488 261 0 0 25 0 1 0 156851411 758415360 183334 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185160 183334 419 55 0 184052 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 740640 [startup+1789.19 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=172752/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=740640 CPUtime=1788.5 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185627 0 15 0 178589 261 0 0 25 0 1 0 156851411 758415360 183353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185160 183353 419 55 0 184052 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 740640 [startup+1790.2 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=172624/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=740772 CPUtime=1789.5 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185659 0 15 0 178689 261 0 0 25 0 1 0 156851411 758550528 183385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185193 183385 419 55 0 184085 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 740772 [startup+1791.2 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=172240/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=741168 CPUtime=1790.51 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185748 0 15 0 178790 261 0 0 25 0 1 0 156851411 758956032 183474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185292 183474 419 55 0 184184 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 741168 [startup+1792.21 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=172112/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=741300 CPUtime=1791.51 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185788 0 15 0 178890 261 0 0 25 0 1 0 156851411 759091200 183514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185325 183514 419 55 0 184217 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 741300 [startup+1793.21 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=171984/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=741432 CPUtime=1792.51 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185818 0 15 0 178990 261 0 0 25 0 1 0 156851411 759226368 183544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185358 183544 419 55 0 184250 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 741432 [startup+1794.22 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=171856/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=741564 CPUtime=1793.52 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185858 0 15 0 179091 261 0 0 25 0 1 0 156851411 759361536 183584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185391 183584 419 55 0 184283 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 741564 [startup+1795.22 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=171600/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=741828 CPUtime=1794.52 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185913 0 15 0 179191 261 0 0 25 0 1 0 156851411 759631872 183639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185457 183639 419 55 0 184349 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 741828 [startup+1796.23 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=171472/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=741960 CPUtime=1795.53 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 185951 0 15 0 179292 261 0 0 25 0 1 0 156851411 759767040 183677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185490 183677 419 55 0 184382 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 741960 [startup+1797.23 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=171216/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=742224 CPUtime=1796.53 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 186012 0 15 0 179392 261 0 0 25 0 1 0 156851411 760037376 183738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185556 183738 419 55 0 184448 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 742224 [startup+1798.24 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=171088/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=742356 CPUtime=1797.53 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 186042 0 15 0 179492 261 0 0 25 0 1 0 156851411 760172544 183768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185589 183768 419 55 0 184481 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 742356 [startup+1799.24 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=170832/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=742620 CPUtime=1798.54 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 186100 0 15 0 179593 261 0 0 25 0 1 0 156851411 760442880 183826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185655 183826 419 55 0 184547 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 742620 [startup+1800.25 s] /proc/loadavg: 1.00 1.00 0.99 2/63 31393 /proc/meminfo: memFree=170768/2055924 swapFree=4183204/4192956 [pid=31391] ppid=31389 vsize=742752 CPUtime=1799.54 /proc/31391/stat : 31391 (bsolo) R 31389 31391 31342 0 -1 0 186126 0 15 0 179693 261 0 0 25 0 1 0 156851411 760578048 183852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31391/statm: 185688 183852 419 55 0 184580 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 742752 Child status: 10 Real time (s): 1800.89 CPU time (s): 1800.2 CPU user time (s): 1797.46 CPU system time (s): 2.73758 CPU usage (%): 99.9614 Max. virtual memory (cumulated for all children) (Kb): 742752 The end
Begin job on node6 on Fri Jul 28 15:18:20 UTC 2006 FILE ID= 50309-1154099900 PBS_JOBID= 886072 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/50309-1154099900/instance-50309-1154099900.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-50309-1154099900 -o ROOT/results/node6/solver-50309-1154099900 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/50309-1154099900/instance-50309-1154099900.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED= 848108873 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.255 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.255 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: 2055924 kB MemFree: 909088 kB Buffers: 43936 kB Cached: 1016948 kB SwapCached: 3792 kB Active: 41156 kB Inactive: 1028512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 909088 kB SwapTotal: 4192956 kB SwapFree: 4183204 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14828 kB Slab: 63204 kB Committed_AS: 636504 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Fri Jul 28 15:48:21 UTC 2006