Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_2.opb |
MD5SUM | f4b87658792e85afbf63fc13ada788f7 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 97.1632 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 21 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1260 |
Sum of products size (including duplicates) | 2520 |
Number of different products | 1260 |
Sum of products size | 2520 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702343-1278548066.opb. 0.00/0.00 c Instance file HOME/instance-2702343-1278548066.opb 0.00/0.00 c File size is 89792 bytes. 0.00/0.01 c Highest Coefficient sum: 22 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1360 | 0.00/0.01 c | Number Clauses: 1360 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 1260 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1360 2620 8920 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 99 0.00/0.02 o 99 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1360 2621 9020 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 98 0.00/0.02 o 98 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1360 2622 9120 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 59 0.00/0.02 o 59 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1360 2623 9220 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 58 0.00/0.02 o 58 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1360 2624 9320 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 57 0.00/0.02 o 57 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1360 2625 9420 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 56 0.00/0.02 o 56 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1360 2626 9520 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 55 0.00/0.02 o 55 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1360 2627 9620 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 54 0.00/0.03 o 54 0.00/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1360 2628 9720 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 40 0.00/0.03 o 40 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1360 2629 9820 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 28 0.00/0.03 o 28 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1360 2630 9920 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 27 0.00/0.03 o 27 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1360 2631 10020 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 26 0.00/0.03 o 26 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 1 | 1360 2632 10120 | 5000 1 37 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 17 0.00/0.03 o 17 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 1 | 1360 2633 10220 | 5000 1 37 | 0.000 % | 0.00/0.04 c | 104 | 1360 2633 10220 | 5500 104 51 | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 16 0.00/0.05 o 16 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 192 | 1360 2634 10320 | 5000 192 52 | 0.000 % | 0.00/0.06 c | 293 | 1360 2634 10320 | 5500 293 53 | 0.001 % | 0.00/0.08 c | 444 | 1360 2634 10320 | 6050 444 52 | 0.001 % | 0.09/0.10 c | 669 | 1360 2634 10320 | 6655 669 53 | 0.001 % | 0.09/0.13 c | 1006 | 1360 2634 10320 | 7320 1006 53 | 0.001 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 15 0.09/0.15 o 15 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 1190 | 1360 2635 10420 | 5000 1190 53 | 0.001 % | 0.09/0.16 c | 1291 | 1360 2635 10420 | 5500 1291 53 | 0.001 % | 0.09/0.18 c | 1441 | 1360 2635 10420 | 6050 1441 53 | 0.001 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 14 0.19/0.20 o 14 0.19/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 1632 | 1360 2636 10520 | 5000 1632 53 | 0.001 % | 0.19/0.21 c | 1732 | 1360 2636 10520 | 5500 1732 52 | 0.001 % | 0.19/0.23 c | 1882 | 1360 2636 10520 | 6050 1882 52 | 0.001 % | 0.19/0.25 c | 2110 | 1360 2636 10520 | 6655 2110 52 | 0.001 % | 0.19/0.29 c | 2448 | 1360 2636 10520 | 7320 2448 51 | 0.001 % | 0.29/0.36 c | 2954 | 1360 2636 10520 | 8052 2954 51 | 0.001 % | 0.39/0.45 c | 3714 | 1360 2636 10520 | 8857 3714 49 | 0.001 % | 0.59/0.60 c | 4854 | 1360 2636 10520 | 9743 4854 54 | 0.001 % | 0.79/0.81 c | 6562 | 1360 2636 10520 | 10717 6562 54 | 0.001 % | 1.19/1.23 c | 9127 | 1360 2636 10520 | 11789 9127 51 | 0.001 % | 1.79/1.85 c | 12971 | 1360 2636 10520 | 12968 6584 48 | 0.001 % | 2.69/2.72 c | 18737 | 1360 2636 10520 | 14265 12350 51 | 0.001 % | 4.29/4.32 c | 27386 | 1360 2636 10520 | 15692 13444 52 | 0.001 % | 6.69/6.76 c | 40363 | 1360 2636 10520 | 17261 9783 54 | 0.001 % | 10.90/10.90 c | 59825 | 1360 2636 10520 | 18987 11086 61 | 0.001 % | 11.09/11.11 c =============================================================================== 11.09/11.11 c New solution: 13 11.09/11.11 o 13 11.09/11.11 c Elapsed CPU time: 10.9323 s Remaining CPU time: 169.068 s 11.09/11.11 c =============================================================================== 11.09/11.11 c | 61050 | 1360 2637 10620 | 5000 12311 61 | 0.001 % | 11.09/11.18 c | 61150 | 1360 2637 10620 | 5500 3178 53 | 0.001 % | 11.09/11.20 c | 61300 | 1360 2637 10620 | 6050 3328 53 | 0.001 % | 11.18/11.23 c | 61525 | 1360 2637 10620 | 6655 3553 53 | 0.001 % | 11.18/11.27 c | 61864 | 1360 2637 10620 | 7320 3892 52 | 0.001 % | 11.29/11.34 c | 62371 | 1360 2637 10620 | 8052 4399 52 | 0.001 % | 11.39/11.45 c | 63131 | 1360 2637 10620 | 8857 5159 51 | 0.001 % | 11.59/11.60 c | 64270 | 1360 2637 10620 | 9743 6298 51 | 0.001 % | 11.79/11.84 c | 65979 | 1360 2637 10620 | 10717 8007 50 | 0.001 % | 12.19/12.23 c | 68541 | 1360 2637 10620 | 11789 10569 50 | 0.001 % | 12.29/12.30 c =============================================================================== 12.29/12.30 c New solution: 12 12.29/12.30 o 12 12.29/12.30 c Elapsed CPU time: 12.0942 s Remaining CPU time: 167.906 s 12.29/12.30 c =============================================================================== 12.29/12.30 c | 69029 | 1360 2638 10720 | 5000 11057 49 | 0.001 % | 12.29/12.34 c | 69130 | 1360 2638 10720 | 5500 2866 49 | 0.001 % | 12.29/12.36 c | 69281 | 1360 2638 10720 | 6050 3017 48 | 0.001 % | 12.29/12.39 c | 69507 | 1360 2638 10720 | 6655 3243 48 | 0.000 % | 12.38/12.43 c | 69845 | 1360 2638 10720 | 7320 3581 48 | 0.001 % | 12.49/12.50 c | 70352 | 1360 2638 10720 | 8052 4088 46 | 0.001 % | 12.59/12.62 c | 71111 | 1360 2638 10720 | 8857 4847 46 | 0.001 % | 12.69/12.79 c | 72252 | 1360 2638 10720 | 9743 5988 47 | 0.001 % | 12.99/13.09 c | 73961 | 1360 2638 10720 | 10717 7697 46 | 0.001 % | 13.49/13.55 c | 76523 | 1360 2638 10720 | 11789 10259 46 | 0.001 % | 14.19/14.23 c | 80368 | 1360 2638 10720 | 12968 7812 46 | 0.001 % | 15.19/15.26 c | 86134 | 1360 2638 10720 | 14265 13578 45 | 0.001 % | 16.88/16.91 c | 94784 | 1360 2638 10720 | 15692 14665 47 | 0.000 % | 19.59/19.63 c | 107759 | 1360 2638 10720 | 17261 11107 52 | 0.001 % | 23.79/23.88 c | 127220 | 1360 2638 10720 | 18987 12489 59 | 0.001 % | 30.98/31.05 c | 156413 | 1360 2638 10720 | 20886 11917 53 | 0.001 % | 41.38/41.42 c | 200203 | 1360 2638 10720 | 22974 11986 53 | 0.001 % | 58.37/58.42 c | 265887 | 1360 2638 10720 | 25272 14311 48 | 0.001 % | 88.47/88.58 c | 364413 | 1360 2638 10720 | 27799 24925 57 | 0.001 % | 134.25/134.33 c | 512203 | 1360 2638 10720 | 30579 19467 50 | 0.001 % | 182.14/182.22 c There are 0 assigned variables. 0 in cost function. 182.84/182.94 c core #1 182.84/182.94 c 182.84/182.94 c 182.84/182.94 c Core size: 22 Core Weight: 1 Total Weight: 1 182.84/182.94 c 182.84/182.94 c 182.84/182.94 c core #2 182.84/182.94 c 182.84/182.94 c 182.84/182.94 c Core size: 26 Core Weight: 1 Total Weight: 2 182.84/182.94 c 182.84/182.94 c 182.84/182.94 c core #3 182.84/182.94 c 182.84/182.94 c 182.84/182.94 c Core size: 24 Core Weight: 1 Total Weight: 3 182.84/182.94 c 182.84/182.94 c 182.84/182.94 c core #4 182.84/182.94 c 182.84/182.94 c 182.84/182.94 c Core size: 148 Core Weight: 1 Total Weight: 4 182.84/182.94 c 182.84/182.94 c 182.84/182.94 c ============================[ Search Statistics ]============================== 182.84/182.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.94 c =============================================================================== 182.84/182.94 c | 0 | 1213 2742 10122 | 5000 0 nan | 0.000 % | 182.84/182.96 c =============================================================================== 182.84/182.97 c core #5 182.84/182.97 c 182.84/182.97 c 182.84/182.97 c Core size: 115 Core Weight: 1 Total Weight: 5 182.84/182.97 c 182.84/182.97 c 182.84/182.97 c ============================[ Search Statistics ]============================== 182.84/182.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.97 c =============================================================================== 182.84/182.97 c | 0 | 1487 2743 10834 | 5000 0 nan | 0.000 % | 182.94/183.00 c | 104 | 1487 2743 10834 | 5500 104 42 | 3.128 % | 182.94/183.04 c | 255 | 1487 2743 10834 | 6050 255 56 | 3.127 % | 182.94/183.09 c | 485 | 1487 2743 10834 | 6655 485 54 | 3.127 % | 183.04/183.19 c | 823 | 1487 2743 10834 | 7320 823 53 | 3.127 % | 183.24/183.32 c | 1331 | 1487 2743 10834 | 8052 1331 50 | 3.128 % | 183.43/183.55 c | 2090 | 1460 2743 10834 | 8857 1096 43 | 5.928 % | 183.43/183.58 c =============================================================================== 183.54/183.61 c core #6 183.54/183.61 c 183.54/183.61 c 183.54/183.61 c Core size: 119 Core Weight: 1 Total Weight: 6 183.54/183.61 c 183.54/183.61 c 183.54/183.61 c ============================[ Search Statistics ]============================== 183.54/183.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.61 c =============================================================================== 183.54/183.61 c | 0 | 1634 2744 11368 | 5000 0 nan | 0.000 % | 183.54/183.64 c | 104 | 1634 2744 11368 | 5500 104 61 | 0.001 % | 183.54/183.67 c | 254 | 1634 2744 11368 | 6050 254 83 | 0.000 % | 183.64/183.73 c | 479 | 1634 2744 11368 | 6655 479 89 | 0.000 % | 183.73/183.82 c | 817 | 1634 2744 11368 | 7320 817 111 | 0.000 % | 183.83/183.97 c | 1324 | 1634 2744 11368 | 8052 1324 123 | 0.000 % | 184.13/184.26 c | 2083 | 1634 2744 11368 | 8857 2083 123 | 0.000 % | 184.54/184.69 c | 3223 | 1634 2744 11368 | 9743 3223 114 | 0.000 % | 185.54/185.63 c | 4937 | 1634 2744 11368 | 10717 4937 109 | 0.000 % | 187.03/187.17 c | 7500 | 1634 2744 11368 | 11789 7500 103 | 0.000 % | 189.44/189.58 c | 11350 | 1634 2744 11368 | 12968 11350 107 | 0.000 % | 193.73/193.88 c | 17116 | 1634 2744 11368 | 14265 10494 110 | 0.000 % | 200.53/200.63 c | 25770 | 1634 2744 11368 | 15692 11909 108 | 0.000 % | 210.53/210.61 c | 38747 | 1634 2744 11368 | 17261 8912 96 | 0.000 % | 223.81/223.92 c | 58209 | 1634 2744 11368 | 18987 10818 104 | 0.000 % | 233.31/233.40 c =============================================================================== 234.61/234.72 c core #7 234.61/234.72 c 234.61/234.72 c 234.61/234.72 c Core size: 150 Core Weight: 1 Total Weight: 7 234.61/234.72 c 234.61/234.72 c 234.61/234.72 c ============================[ Search Statistics ]============================== 234.61/234.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.61/234.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.61/234.72 c =============================================================================== 234.61/234.72 c | 0 | 1734 2745 11568 | 5000 0 nan | 0.000 % | 234.61/234.78 c | 101 | 1734 2745 11568 | 5500 101 87 | 0.001 % | 234.71/234.80 c | 251 | 1734 2745 11568 | 6050 251 68 | 0.000 % | 234.71/234.84 c | 478 | 1734 2745 11568 | 6655 478 60 | 0.000 % | 234.81/234.92 c | 819 | 1734 2745 11568 | 7320 819 68 | 0.000 % | 234.92/235.04 c | 1328 | 1734 2745 11568 | 8052 1328 82 | 0.000 % | 235.12/235.26 c | 2089 | 1734 2745 11568 | 8857 2089 104 | 0.000 % | 235.51/235.63 c | 3230 | 1734 2745 11568 | 9743 3230 110 | 0.000 % | 236.32/236.50 c | 4940 | 1734 2745 11568 | 10717 4940 132 | 0.000 % | 237.81/237.90 c | 7504 | 1734 2745 11568 | 11789 7504 143 | 0.000 % | 240.32/240.49 c | 11349 | 1734 2745 11568 | 12968 11349 154 | 0.000 % | 244.01/244.17 c | 17116 | 1734 2745 11568 | 14265 10469 149 | 0.000 % | 251.71/251.81 c | 25775 | 1734 2745 11568 | 15692 11841 168 | 0.000 % | 264.80/264.98 c | 38750 | 1734 2745 11568 | 17261 8693 162 | 0.000 % | 284.30/284.47 c | 58220 | 1734 2745 11568 | 18987 10415 152 | 0.000 % | 308.59/308.72 c | 87412 | 1734 2745 11568 | 20886 10514 125 | 0.000 % | 344.08/344.25 c | 131202 | 1734 2745 11568 | 22974 11909 118 | 0.000 % | 408.55/408.70 c | 196890 | 1734 2745 11568 | 25272 19136 138 | 0.000 % | 510.42/510.67 c | 295420 | 1734 2745 11568 | 27799 13733 164 | 0.000 % | 698.65/698.98 c | 443211 | 1734 2745 11568 | 30579 16102 161 | 0.000 % | 1061.64/1062.01 c | 664894 | 1734 2745 11568 | 33637 17093 181 | 0.000 % | 1631.47/1632.05 c | 997419 | 1734 2745 11568 | 37001 16306 162 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702343-1278548066/watcher-2702343-1278548066 -o /tmp/evaluation-result-2702343-1278548066/solver-2702343-1278548066 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702343-1278548066.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.82 3/106 28117 /proc/meminfo: memFree=1681312/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=2832 CPUtime=0 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 325 0 0 0 0 0 0 0 18 0 1 0 23012799 2899968 243 1992294400 134512640 135752675 4287340160 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 708 243 140 303 0 381 0 [startup+0.0831811 s] /proc/loadavg: 0.99 0.97 0.82 3/106 28117 /proc/meminfo: memFree=1681312/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=3164 CPUtime=0.07 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 477 0 0 0 7 0 0 0 21 0 1 0 23012799 3239936 359 1992294400 134512640 135752675 4287340160 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 791 359 145 303 0 486 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3164 [startup+0.101183 s] /proc/loadavg: 0.99 0.97 0.82 3/106 28117 /proc/meminfo: memFree=1681312/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=3296 CPUtime=0.09 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 492 0 0 0 9 0 0 0 21 0 1 0 23012799 3375104 374 1992294400 134512640 135752675 4287340160 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 824 374 145 303 0 519 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3296 [startup+0.301205 s] /proc/loadavg: 0.99 0.97 0.82 3/106 28117 /proc/meminfo: memFree=1681312/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=3824 CPUtime=0.29 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 646 0 0 0 28 1 0 0 21 0 1 0 23012799 3915776 528 1992294400 134512640 135752675 4287340160 18446744073709551615 134605519 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 956 528 145 303 0 651 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3824 [startup+0.701249 s] /proc/loadavg: 0.99 0.97 0.82 3/106 28117 /proc/meminfo: memFree=1681312/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=5008 CPUtime=0.69 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 918 0 0 0 67 2 0 0 22 0 1 0 23012799 5128192 800 1992294400 134512640 135752675 4287340160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 1252 800 145 303 0 947 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5008 [startup+1.50134 s] /proc/loadavg: 0.99 0.97 0.82 2/107 28118 /proc/meminfo: memFree=1678328/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=6596 CPUtime=1.49 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 1332 0 0 0 146 3 0 0 25 0 1 0 23012799 6754304 1214 1992294400 134512640 135752675 4287340160 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 1649 1214 145 303 0 1344 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6596 [startup+3.10151 s] /proc/loadavg: 0.99 0.97 0.82 2/107 28118 /proc/meminfo: memFree=1675724/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=9896 CPUtime=3.09 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 2143 0 0 0 304 5 0 0 25 0 1 0 23012799 10133504 2025 1992294400 134512640 135752675 4287340160 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 2474 2025 145 303 0 2169 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9896 [startup+6.30087 s] /proc/loadavg: 0.99 0.97 0.82 2/107 28118 /proc/meminfo: memFree=1669532/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=15540 CPUtime=6.29 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 3553 0 0 0 619 10 0 0 25 0 1 0 23012799 15912960 3435 1992294400 134512640 135752675 4287340160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 3885 3435 145 303 0 3580 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15540 [startup+12.7016 s] /proc/loadavg: 0.99 0.97 0.82 2/107 28118 /proc/meminfo: memFree=1658124/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=26628 CPUtime=12.69 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 6344 0 0 0 1248 21 0 0 18 0 1 0 23012799 27267072 6226 1992294400 134512640 135752675 4287340160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 6657 6226 145 303 0 6352 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26628 [startup+25.501 s] /proc/loadavg: 0.99 0.97 0.82 2/107 28118 /proc/meminfo: memFree=1637168/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=46700 CPUtime=25.49 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 11345 0 0 0 2507 42 0 0 25 0 1 0 23012799 47820800 11227 1992294400 134512640 135752675 4287340160 18446744073709551615 134650420 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 11675 11227 145 303 0 11370 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46700 [startup+51.1008 s] /proc/loadavg: 0.99 0.97 0.83 2/107 28120 /proc/meminfo: memFree=1604308/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=79696 CPUtime=51.08 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 19604 0 0 0 5033 75 0 0 25 0 1 0 23012799 81608704 19486 1992294400 134512640 135752675 4287340160 18446744073709551615 134605486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 19924 19486 145 303 0 19619 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 79696 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.83 2/107 28120 /proc/meminfo: memFree=1546648/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=136868 CPUtime=102.27 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 33866 0 0 0 10097 130 0 0 25 0 1 0 23012799 140152832 33748 1992294400 134512640 135752675 4287340160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 34217 33748 145 303 0 33912 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 136868 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.84 2/107 28122 /proc/meminfo: memFree=1485392/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=198480 CPUtime=162.24 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 49244 0 0 0 16029 195 0 0 25 0 1 0 23012799 203243520 49126 1992294400 134512640 135752675 4287340160 18446744073709551615 134605400 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 49620 49126 145 303 0 49315 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 198480 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.84 2/107 28124 /proc/meminfo: memFree=1447200/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=235904 CPUtime=222.22 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 58693 0 0 0 21982 240 0 0 25 0 1 0 23012799 241565696 58544 1992294400 134512640 135752675 4287340160 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 58976 58544 146 303 0 58671 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 235904 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.85 2/107 28126 /proc/meminfo: memFree=1406280/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=277116 CPUtime=282.2 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 68981 0 0 0 27948 272 0 0 25 0 1 0 23012799 283766784 68832 1992294400 134512640 135752675 4287340160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 69279 68832 146 303 0 68974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 277116 [startup+342.301 s] /proc/loadavg: 1.07 0.99 0.86 2/107 28129 /proc/meminfo: memFree=1360524/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=321916 CPUtime=342.18 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 80166 0 0 0 33912 306 0 0 25 0 1 0 23012799 329641984 80017 1992294400 134512640 135752675 4287340160 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 80479 80017 146 303 0 80174 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 321916 [startup+402.301 s] /proc/loadavg: 1.02 0.99 0.87 2/107 28131 /proc/meminfo: memFree=1318984/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=363824 CPUtime=402.16 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 90611 0 0 0 39878 338 0 0 25 0 1 0 23012799 372555776 90462 1992294400 134512640 135752675 4287340160 18446744073709551615 134603081 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 90956 90462 146 303 0 90651 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 363824 [startup+462.301 s] /proc/loadavg: 1.01 0.99 0.87 2/107 28133 /proc/meminfo: memFree=1277444/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=404900 CPUtime=462.13 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 100894 0 0 0 45841 372 0 0 25 0 1 0 23012799 414617600 100745 1992294400 134512640 135752675 4287340160 18446744073709551615 134616097 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 101225 100745 146 303 0 100920 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 404900 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.88 2/107 28135 /proc/meminfo: memFree=1236276/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=446312 CPUtime=522.11 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 111229 0 0 0 51804 407 0 0 25 0 1 0 23012799 457023488 111080 1992294400 134512640 135752675 4287340160 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 111578 111080 146 303 0 111273 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 446312 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.88 2/107 28137 /proc/meminfo: memFree=1200564/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=482304 CPUtime=582.1 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 120209 0 0 0 57776 434 0 0 25 0 1 0 23012799 493879296 120060 1992294400 134512640 135752675 4287340160 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 120576 120060 146 303 0 120271 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 482304 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.89 2/107 28137 /proc/meminfo: memFree=1162744/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=519784 CPUtime=642.08 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 129567 0 0 0 63746 462 0 0 25 0 1 0 23012799 532258816 129418 1992294400 134512640 135752675 4287340160 18446744073709551615 134611960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 129946 129418 146 303 0 129641 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 519784 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28145 /proc/meminfo: memFree=1037876/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=644556 CPUtime=882 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 160677 0 0 0 87643 557 0 0 25 0 1 0 23012799 660025344 160528 1992294400 134512640 135752675 4287340160 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 161139 160528 146 303 0 160834 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 644556 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28145 /proc/meminfo: memFree=1007248/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=675996 CPUtime=941.97 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 168541 0 0 0 93618 579 0 0 25 0 1 0 23012799 692219904 168392 1992294400 134512640 135752675 4287340160 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 168999 168392 146 303 0 168694 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 675996 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28147 /proc/meminfo: memFree=972528/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=709992 CPUtime=1001.95 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 177019 0 0 0 99590 605 0 0 25 0 1 0 23012799 727031808 176870 1992294400 134512640 135752675 4287340160 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 177498 176870 146 303 0 177193 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 709992 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28149 /proc/meminfo: memFree=944504/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=738272 CPUtime=1061.94 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 184063 0 0 0 105568 626 0 0 25 0 1 0 23012799 755990528 183914 1992294400 134512640 135752675 4287340160 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 184568 183914 146 303 0 184263 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 738272 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28151 /proc/meminfo: memFree=912388/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=770016 CPUtime=1121.92 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 192005 0 0 0 111546 646 0 0 25 0 1 0 23012799 788496384 191856 1992294400 134512640 135752675 4287340160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 192504 191856 146 303 0 192199 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 770016 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28153 /proc/meminfo: memFree=881264/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=801220 CPUtime=1181.91 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 199788 0 0 0 117523 668 0 0 25 0 1 0 23012799 820449280 199639 1992294400 134512640 135752675 4287340160 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 200305 199639 146 303 0 200000 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 801220 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28153 /proc/meminfo: memFree=847412/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=834888 CPUtime=1241.88 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 208209 0 0 0 123498 690 0 0 25 0 1 0 23012799 854925312 208060 1992294400 134512640 135752675 4287340160 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 208722 208060 146 303 0 208417 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 834888 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28155 /proc/meminfo: memFree=818148/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=863580 CPUtime=1301.88 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 215381 0 0 0 129476 712 0 0 25 0 1 0 23012799 884305920 215232 1992294400 134512640 135752675 4287340160 18446744073709551615 134516979 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 215895 215232 146 303 0 215590 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 863580 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28157 /proc/meminfo: memFree=783428/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=898552 CPUtime=1361.85 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 224109 0 0 0 135448 737 0 0 25 0 1 0 23012799 920117248 223960 1992294400 134512640 135752675 4287340160 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 224638 223960 146 303 0 224333 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 898552 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28159 /proc/meminfo: memFree=747220/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=934580 CPUtime=1421.83 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 233082 0 0 0 141420 763 0 0 25 0 1 0 23012799 957009920 232933 1992294400 134512640 135752675 4287340160 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 233645 232933 146 303 0 233340 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 934580 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28161 /proc/meminfo: memFree=712872/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=969164 CPUtime=1481.81 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 241691 0 0 0 147392 789 0 0 25 0 1 0 23012799 992423936 241542 1992294400 134512640 135752675 4287340160 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 242291 241542 146 303 0 241986 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 969164 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28161 /proc/meminfo: memFree=678524/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=1003360 CPUtime=1541.8 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 250204 0 0 0 153369 811 0 0 25 0 1 0 23012799 1027440640 250055 1992294400 134512640 135752675 4287340160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 250840 250055 146 303 0 250535 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1003360 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28163 /proc/meminfo: memFree=654220/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=1028324 CPUtime=1601.78 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 256379 0 0 0 159348 830 0 0 25 0 1 0 23012799 1053003776 256230 1992294400 134512640 135752675 4287340160 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 257081 256230 146 303 0 256776 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1028324 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28165 /proc/meminfo: memFree=617764/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=1064176 CPUtime=1661.76 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 265343 0 0 0 165318 858 0 0 25 0 1 0 23012799 1089716224 265194 1992294400 134512640 135752675 4287340160 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 266044 265194 146 303 0 265739 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1064176 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28167 /proc/meminfo: memFree=582176/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=1100176 CPUtime=1721.75 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 274336 0 0 0 171293 882 0 0 25 0 1 0 23012799 1126580224 274187 1992294400 134512640 135752675 4287340160 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 275044 274187 146 303 0 274739 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1100176 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28169 /proc/meminfo: memFree=546464/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=1135580 CPUtime=1781.72 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 283176 0 0 0 177267 905 0 0 25 0 1 0 23012799 1162833920 283027 1992294400 134512640 135752675 4287340160 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 283895 283027 146 303 0 283590 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1135580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28169 /proc/meminfo: memFree=536048/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=1145624 CPUtime=1800.04 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4202496 285700 0 0 0 179092 912 0 0 25 0 1 0 23012799 1173118976 285551 1992294400 134512640 135752675 4287340160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28117/statm: 286406 285551 146 303 0 286101 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1145624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28169 /proc/meminfo: memFree=536048/2059040 swapFree=4149284/4192956 [pid=28117] ppid=28115 vsize=0 CPUtime=1800.14 /proc/28117/stat : 28117 (wbo1.4b) R 28115 28117 27824 0 -1 4203524 285700 0 0 0 179092 922 0 0 25 0 1 0 23012799 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28117/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.15 CPU user time (s): 1790.92 CPU system time (s): 9.2286 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 1145624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.92 system time used= 9.2286 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285700 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 2131 runsolver used 2.79257 second user time and 8.69468 second system time The end
Begin job on node059 at 2010-07-08 02:14:26 IDJOB=2702343 IDBENCH=48106 IDSOLVER=1190 FILE ID=node059/2702343-1278548066 PBS_JOBID= 11239484 Free space on /tmp= 62544 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702343-1278548066/watcher-2702343-1278548066 -o /tmp/evaluation-result-2702343-1278548066/solver-2702343-1278548066 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702343-1278548066.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7 RANDOM SEED=1146071029 node059.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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 physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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 physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1682344 kB Buffers: 48224 kB Cached: 204592 kB SwapCached: 20404 kB Active: 132816 kB Inactive: 156700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1682344 kB SwapTotal: 4192956 kB SwapFree: 4149284 kB Dirty: 2620 kB Writeback: 0 kB AnonPages: 17876 kB Mapped: 12304 kB Slab: 65228 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181948 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702343-1278548066.opb Free space on /tmp at the end= 62544 MiB End job on node059 at 2010-07-08 02:44:29