Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1499.9 | 1500.37 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb |
MD5SUM | 4a444f89cff56050e88660d23e3d8694 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 47 |
Best CPU time to get the best result obtained on this benchmark | 1.2808 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 47 |
Optimality of the best value was proved | NO |
Number of variables | 607 |
Total number of constraints | 1022 |
Number of constraints which are clauses | 1022 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 607 |
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 | 607 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 607 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680658-1277453512.opb. 0.00/0.00 c Instance file HOME/instance-2680658-1277453512.opb 0.00/0.00 c File size is 75788 bytes. 0.00/0.01 c Highest Coefficient sum: 33 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 607 | 0.00/0.01 c | Number Clauses: 1022 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 607 1022 8200 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 82 0.00/0.01 o 82 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 1 | 607 1023 8807 | 5000 1 16 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 79 0.00/0.01 o 79 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 2 | 607 1024 9414 | 5000 2 14 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 73 0.00/0.01 o 73 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 4 | 607 1025 10021 | 5000 4 14 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 72 0.00/0.01 o 72 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 7 | 607 1026 10628 | 5000 7 12 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 70 0.00/0.01 o 70 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 9 | 607 1027 11235 | 5000 9 12 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 64 0.00/0.02 o 64 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 | 13 | 607 1028 11842 | 5000 13 12 | 0.000 % | 0.00/0.02 c | 114 | 607 1028 11842 | 5500 114 72 | 0.000 % | 0.00/0.04 c | 265 | 607 1028 11842 | 6050 265 79 | 0.000 % | 0.00/0.06 c | 491 | 607 1028 11842 | 6655 491 78 | 0.000 % | 0.07/0.08 c | 828 | 607 1028 11842 | 7320 828 76 | 0.000 % | 0.09/0.13 c | 1334 | 607 1028 11842 | 8052 1334 77 | 0.000 % | 0.19/0.20 c | 2093 | 607 1028 11842 | 8857 2093 78 | 0.000 % | 0.29/0.30 c | 3233 | 607 1028 11842 | 9743 3233 78 | 0.000 % | 0.39/0.47 c | 4941 | 607 1028 11842 | 10717 4941 78 | 0.000 % | 0.69/0.76 c | 7503 | 607 1028 11842 | 11789 7503 78 | 0.000 % | 1.10/1.14 c | 11347 | 607 1028 11842 | 12968 11347 79 | 0.000 % | 1.69/1.78 c | 17113 | 607 1028 11842 | 14265 10373 79 | 0.000 % | 2.99/3.00 c | 25763 | 607 1028 11842 | 15692 11633 80 | 0.000 % | 4.69/4.74 c | 38738 | 607 1028 11842 | 17261 8410 81 | 0.000 % | 7.39/7.46 c | 58199 | 607 1028 11842 | 18987 10125 78 | 0.000 % | 11.69/11.78 c | 87392 | 607 1028 11842 | 20886 10028 78 | 0.000 % | 19.69/19.75 c | 131182 | 607 1028 11842 | 22974 10947 82 | 0.000 % | 30.79/30.81 c | 196867 | 607 1028 11842 | 25272 14480 78 | 0.000 % | 47.29/47.36 c | 295394 | 607 1028 11842 | 27799 23859 82 | 0.000 % | 80.46/80.58 c | 443183 | 607 1028 11842 | 30579 15572 80 | 0.000 % | 123.66/123.79 c | 664867 | 607 1028 11842 | 33637 16926 79 | 0.000 % | 182.64/182.78 c There are 0 assigned variables. 0 in cost function. 183.84/183.93 c core #1 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 1 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #2 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 2 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #3 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 3 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #4 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 4 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #5 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 21 Core Weight: 1 Total Weight: 5 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #6 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 6 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #7 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 7 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #8 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 8 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #9 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 9 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #10 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 10 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #11 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 11 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #12 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 12 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #13 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 13 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #14 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 15 Core Weight: 1 Total Weight: 14 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #15 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 9 Core Weight: 1 Total Weight: 15 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #16 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 9 Core Weight: 1 Total Weight: 16 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #17 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 5 Core Weight: 1 Total Weight: 17 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #18 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 9 Core Weight: 1 Total Weight: 18 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #19 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 31 Core Weight: 1 Total Weight: 19 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #20 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 26 Core Weight: 1 Total Weight: 20 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #21 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 10 Core Weight: 1 Total Weight: 21 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #22 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 40 Core Weight: 1 Total Weight: 22 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #23 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 29 Core Weight: 1 Total Weight: 23 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #24 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 29 Core Weight: 1 Total Weight: 24 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c core #25 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 39 Core Weight: 1 Total Weight: 25 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c ============================[ Search Statistics ]============================== 183.84/183.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.93 c =============================================================================== 183.84/183.93 c | 0 | 770 1660 10191 | 5000 0 nan | 0.000 % | 183.84/183.93 c =============================================================================== 183.84/183.93 c core #26 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c Core size: 40 Core Weight: 1 Total Weight: 26 183.84/183.93 c 183.84/183.93 c 183.84/183.93 c ============================[ Search Statistics ]============================== 183.84/183.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.93 c =============================================================================== 183.84/183.93 c | 0 | 830 1661 10556 | 5000 0 nan | 0.000 % | 183.84/183.94 c =============================================================================== 183.84/183.94 c core #27 183.84/183.94 c 183.84/183.94 c 183.84/183.94 c Core size: 47 Core Weight: 1 Total Weight: 27 183.84/183.94 c 183.84/183.94 c 183.84/183.94 c ============================[ Search Statistics ]============================== 183.84/183.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.94 c =============================================================================== 183.84/183.94 c | 0 | 900 1662 10992 | 5000 0 nan | 0.000 % | 183.84/183.94 c =============================================================================== 183.84/183.95 c core #28 183.84/183.95 c 183.84/183.95 c 183.84/183.95 c Core size: 53 Core Weight: 1 Total Weight: 28 183.84/183.95 c 183.84/183.95 c 183.84/183.95 c ============================[ Search Statistics ]============================== 183.84/183.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.95 c =============================================================================== 183.84/183.95 c | 0 | 963 1663 11311 | 5000 0 nan | 0.000 % | 183.84/183.96 c | 101 | 963 1663 11311 | 5500 101 20 | 15.229 % | 183.84/183.96 c | 252 | 963 1663 11311 | 6050 252 19 | 15.229 % | 183.84/183.97 c =============================================================================== 183.84/183.97 c core #29 183.84/183.97 c 183.84/183.97 c 183.84/183.97 c Core size: 125 Core Weight: 1 Total Weight: 29 183.84/183.97 c 183.84/183.97 c 183.84/183.97 c ============================[ Search Statistics ]============================== 183.84/183.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.97 c =============================================================================== 183.84/183.97 c | 0 | 1109 1664 11880 | 5000 0 nan | 0.000 % | 183.84/183.98 c | 101 | 1109 1664 11880 | 5500 101 34 | 11.844 % | 183.84/183.99 c | 254 | 1109 1664 11880 | 6050 254 42 | 11.844 % | 183.94/184.01 c | 479 | 1109 1664 11880 | 6655 479 45 | 11.844 % | 183.94/184.05 c | 817 | 1109 1664 11880 | 7320 817 41 | 11.844 % | 183.94/184.09 c | 1323 | 1109 1664 11880 | 8052 1323 43 | 11.844 % | 184.04/184.16 c | 2083 | 1109 1664 11880 | 8857 2083 43 | 11.844 % | 184.04/184.19 c =============================================================================== 184.13/184.20 c core #30 184.13/184.20 c 184.13/184.20 c 184.13/184.20 c Core size: 52 Core Weight: 1 Total Weight: 30 184.13/184.20 c 184.13/184.20 c 184.13/184.20 c ============================[ Search Statistics ]============================== 184.13/184.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.20 c =============================================================================== 184.13/184.20 c | 0 | 1163 1665 12155 | 5000 0 nan | 0.000 % | 184.13/184.21 c | 103 | 1163 1665 12155 | 5500 103 26 | 10.332 % | 184.13/184.21 c | 255 | 1163 1665 12155 | 6050 255 25 | 10.332 % | 184.13/184.23 c | 481 | 1163 1665 12155 | 6655 481 29 | 10.332 % | 184.13/184.26 c | 818 | 1163 1665 12155 | 7320 818 33 | 10.332 % | 184.24/184.31 c | 1324 | 1163 1665 12155 | 8052 1324 34 | 10.332 % | 184.24/184.37 c | 2083 | 1163 1665 12155 | 8857 2083 35 | 10.332 % | 184.24/184.38 c =============================================================================== 184.24/184.38 c core #31 184.24/184.38 c 184.24/184.38 c 184.24/184.38 c Core size: 47 Core Weight: 1 Total Weight: 31 184.24/184.38 c 184.24/184.38 c 184.24/184.38 c ============================[ Search Statistics ]============================== 184.24/184.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.38 c =============================================================================== 184.24/184.38 c | 0 | 1216 1666 12452 | 5000 0 nan | 0.000 % | 184.24/184.39 c | 100 | 1216 1666 12452 | 5500 100 37 | 8.640 % | 184.34/184.41 c | 250 | 1216 1666 12452 | 6050 250 33 | 8.640 % | 184.34/184.42 c | 476 | 1216 1666 12452 | 6655 476 32 | 8.640 % | 184.34/184.45 c | 814 | 1216 1666 12452 | 7320 814 35 | 8.640 % | 184.44/184.50 c | 1321 | 1216 1666 12452 | 8052 1321 32 | 8.640 % | 184.44/184.59 c | 2081 | 1216 1666 12452 | 8857 2081 33 | 8.640 % | 184.65/184.73 c | 3220 | 1215 1666 12452 | 9743 1493 24 | 8.715 % | 184.65/184.75 c =============================================================================== 184.65/184.78 c core #32 184.65/184.78 c 184.65/184.78 c 184.65/184.78 c Core size: 90 Core Weight: 1 Total Weight: 32 184.65/184.78 c 184.65/184.78 c 184.65/184.78 c ============================[ Search Statistics ]============================== 184.65/184.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.78 c =============================================================================== 184.65/184.78 c | 0 | 1307 1667 12672 | 5000 0 nan | 0.000 % | 184.65/184.80 c | 100 | 1307 1667 12672 | 5500 100 58 | 7.828 % | 184.74/184.81 c | 253 | 1307 1667 12672 | 6050 253 45 | 7.828 % | 184.74/184.83 c | 480 | 1307 1667 12672 | 6655 480 54 | 7.828 % | 184.74/184.86 c | 817 | 1307 1667 12672 | 7320 817 57 | 7.828 % | 184.84/184.92 c | 1323 | 1307 1667 12672 | 8052 1323 66 | 7.828 % | 184.94/185.03 c | 2082 | 1307 1667 12672 | 8857 2082 62 | 7.828 % | 185.13/185.22 c | 3224 | 1307 1667 12672 | 9743 3224 61 | 7.828 % | 185.34/185.48 c | 4938 | 1307 1667 12672 | 10717 4938 59 | 7.828 % | 185.84/185.93 c | 7502 | 1307 1667 12672 | 11789 7502 59 | 7.828 % | 186.23/186.37 c =============================================================================== 186.23/186.39 c core #33 186.23/186.39 c 186.23/186.39 c 186.23/186.39 c Core size: 64 Core Weight: 1 Total Weight: 33 186.23/186.39 c 186.23/186.39 c 186.23/186.39 c ============================[ Search Statistics ]============================== 186.23/186.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.39 c =============================================================================== 186.23/186.39 c | 0 | 1384 1668 12993 | 5000 0 nan | 0.000 % | 186.33/186.40 c | 100 | 1384 1668 12993 | 5500 100 66 | 6.487 % | 186.33/186.41 c | 250 | 1384 1668 12993 | 6050 250 55 | 6.487 % | 186.33/186.43 c | 476 | 1384 1668 12993 | 6655 476 58 | 6.487 % | 186.33/186.47 c | 813 | 1384 1668 12993 | 7320 813 64 | 6.487 % | 186.44/186.53 c | 1321 | 1384 1668 12993 | 8052 1321 68 | 6.487 % | 186.53/186.64 c | 2082 | 1384 1668 12993 | 8857 2082 73 | 6.487 % | 186.73/186.81 c | 3224 | 1384 1668 12993 | 9743 3224 71 | 6.487 % | 186.95/187.09 c | 4934 | 1384 1668 12993 | 10717 4934 75 | 6.487 % | 187.63/187.72 c | 7496 | 1384 1668 12993 | 11789 7496 81 | 6.487 % | 188.64/188.73 c | 11340 | 1384 1668 12993 | 12968 11340 79 | 6.487 % | 190.53/190.63 c | 17107 | 1384 1668 12993 | 14265 10517 77 | 6.487 % | 192.94/193.02 c | 25757 | 1384 1668 12993 | 15692 11928 65 | 6.487 % | 196.73/196.84 c | 38731 | 1384 1668 12993 | 17261 9061 70 | 6.487 % | 200.93/201.05 c =============================================================================== 201.73/201.86 c core #34 201.73/201.86 c 201.73/201.86 c 201.73/201.86 c Core size: 143 Core Weight: 1 Total Weight: 34 201.73/201.86 c 201.73/201.86 c 201.73/201.86 c ============================[ Search Statistics ]============================== 201.73/201.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.73/201.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.73/201.86 c =============================================================================== 201.73/201.86 c | 0 | 1524 1669 13273 | 5000 0 nan | 0.000 % | 201.73/201.89 c | 103 | 1524 1669 13273 | 5500 103 73 | 5.926 % | 201.83/201.90 c | 254 | 1524 1669 13273 | 6050 254 65 | 5.926 % | 201.83/201.92 c | 480 | 1524 1669 13273 | 6655 480 65 | 5.926 % | 201.83/201.95 c | 818 | 1524 1669 13273 | 7320 818 64 | 5.926 % | 201.93/202.01 c | 1325 | 1524 1669 13273 | 8052 1325 66 | 5.926 % | 202.03/202.13 c | 2092 | 1524 1669 13273 | 8857 2092 69 | 5.926 % | 202.13/202.30 c | 3237 | 1524 1669 13273 | 9743 3237 73 | 5.926 % | 202.43/202.56 c | 4946 | 1524 1669 13273 | 10717 4946 72 | 5.926 % | 202.93/203.05 c | 7510 | 1524 1669 13273 | 11789 7510 73 | 5.926 % | 203.93/204.09 c | 11355 | 1524 1669 13273 | 12968 11355 81 | 5.926 % | 205.54/205.65 c | 17121 | 1524 1669 13273 | 14265 10471 98 | 5.926 % | 208.33/208.43 c | 25775 | 1524 1669 13273 | 15692 11838 104 | 5.926 % | 208.33/208.48 c =============================================================================== 208.43/208.52 c core #35 208.43/208.52 c 208.43/208.52 c 208.43/208.52 c Core size: 68 Core Weight: 1 Total Weight: 35 208.43/208.52 c 208.43/208.52 c 208.43/208.52 c ============================[ Search Statistics ]============================== 208.43/208.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.43/208.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.43/208.52 c =============================================================================== 208.43/208.52 c | 0 | 1593 1670 13462 | 5000 0 nan | 0.000 % | 208.43/208.54 c | 100 | 1593 1670 13462 | 5500 100 38 | 5.404 % | 208.43/208.55 c | 250 | 1593 1670 13462 | 6050 250 51 | 5.404 % | 208.43/208.56 c | 475 | 1593 1670 13462 | 6655 475 63 | 5.404 % | 208.52/208.60 c | 813 | 1593 1670 13462 | 7320 813 72 | 5.404 % | 208.52/208.68 c | 1319 | 1593 1670 13462 | 8052 1319 88 | 5.404 % | 208.63/208.76 c | 2078 | 1593 1670 13462 | 8857 2078 88 | 5.404 % | 208.83/208.92 c | 3219 | 1593 1670 13462 | 9743 3219 83 | 5.404 % | 209.03/209.18 c | 4927 | 1593 1670 13462 | 10717 4927 89 | 5.404 % | 209.42/209.59 c | 7492 | 1593 1670 13462 | 11789 7492 89 | 5.404 % | 210.33/210.46 c | 11339 | 1593 1670 13462 | 12968 11339 107 | 5.404 % | 212.02/212.18 c | 17109 | 1593 1670 13462 | 14265 10481 129 | 5.404 % | 215.12/215.29 c | 25760 | 1593 1670 13462 | 15692 11849 117 | 5.404 % | 220.62/220.77 c | 38738 | 1593 1670 13462 | 17261 8789 125 | 5.404 % | 222.62/222.72 c =============================================================================== 222.62/222.78 c core #36 222.62/222.78 c 222.62/222.78 c 222.62/222.78 c Core size: 46 Core Weight: 1 Total Weight: 36 222.62/222.78 c 222.62/222.78 c 222.62/222.78 c ============================[ Search Statistics ]============================== 222.62/222.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.62/222.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.62/222.78 c =============================================================================== 222.62/222.78 c | 0 | 1661 1671 13875 | 5000 0 nan | 0.000 % | 222.72/222.80 c | 102 | 1661 1671 13875 | 5500 102 75 | 3.877 % | 222.72/222.81 c | 254 | 1661 1671 13875 | 6050 254 65 | 3.877 % | 222.72/222.83 c | 480 | 1661 1671 13875 | 6655 480 63 | 3.877 % | 222.72/222.86 c | 817 | 1661 1671 13875 | 7320 817 64 | 3.877 % | 222.82/222.91 c | 1323 | 1661 1671 13875 | 8052 1323 64 | 3.877 % | 222.92/223.00 c | 2083 | 1661 1671 13875 | 8857 2083 73 | 3.877 % | 223.03/223.18 c | 3224 | 1661 1671 13875 | 9743 3224 77 | 3.877 % | 223.42/223.59 c | 4934 | 1661 1671 13875 | 10717 4934 78 | 3.877 % | 224.33/224.47 c | 7496 | 1661 1671 13875 | 11789 7496 81 | 3.877 % | 225.82/225.93 c | 11343 | 1661 1671 13875 | 12968 11343 83 | 3.877 % | 227.63/227.79 c | 17112 | 1661 1671 13875 | 14265 10581 84 | 3.877 % | 229.73/229.81 c =============================================================================== 229.73/229.85 c core #37 229.73/229.85 c 229.73/229.85 c 229.73/229.85 c Core size: 81 Core Weight: 1 Total Weight: 37 229.73/229.85 c 229.73/229.85 c 229.73/229.85 c ============================[ Search Statistics ]============================== 229.73/229.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.73/229.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.73/229.85 c =============================================================================== 229.73/229.85 c | 0 | 1745 1672 14139 | 5000 0 nan | 0.000 % | 229.73/229.87 c | 103 | 1745 1672 14139 | 5500 103 48 | 3.217 % | 229.73/229.88 c | 254 | 1745 1672 14139 | 6050 254 75 | 3.217 % | 229.73/229.90 c | 479 | 1745 1672 14139 | 6655 479 89 | 3.217 % | 229.83/229.94 c | 818 | 1745 1672 14139 | 7320 818 89 | 3.217 % | 229.92/230.00 c | 1324 | 1745 1672 14139 | 8052 1324 87 | 3.217 % | 229.92/230.09 c | 2083 | 1745 1672 14139 | 8857 2083 89 | 3.217 % | 230.12/230.23 c | 3225 | 1745 1672 14139 | 9743 3225 88 | 3.217 % | 230.32/230.50 c | 4933 | 1745 1672 14139 | 10717 4933 85 | 3.217 % | 230.93/231.08 c | 7495 | 1745 1672 14139 | 11789 7495 85 | 3.217 % | 231.92/232.03 c | 11340 | 1745 1672 14139 | 12968 11340 83 | 3.217 % | 233.62/233.71 c | 17106 | 1745 1672 14139 | 14265 10497 87 | 3.217 % | 236.02/236.12 c =============================================================================== 236.02/236.16 c core #38 236.02/236.16 c 236.02/236.16 c 236.02/236.16 c Core size: 72 Core Weight: 1 Total Weight: 38 236.02/236.16 c 236.02/236.16 c 236.02/236.16 c ============================[ Search Statistics ]============================== 236.02/236.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.02/236.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.02/236.16 c =============================================================================== 236.02/236.16 c | 0 | 1824 1673 14426 | 5000 0 nan | 0.000 % | 236.02/236.18 c | 100 | 1824 1673 14426 | 5500 100 39 | 2.512 % | 236.02/236.19 c | 250 | 1824 1673 14426 | 6050 250 41 | 2.512 % | 236.12/236.22 c | 475 | 1824 1673 14426 | 6655 475 52 | 2.512 % | 236.12/236.25 c | 812 | 1824 1673 14426 | 7320 812 61 | 2.512 % | 236.22/236.30 c | 1322 | 1824 1673 14426 | 8052 1322 65 | 2.512 % | 236.22/236.38 c | 2083 | 1824 1673 14426 | 8857 2083 67 | 2.512 % | 236.33/236.49 c | 3222 | 1824 1673 14426 | 9743 3222 64 | 2.512 % | 236.51/236.61 c | 4931 | 1824 1673 14426 | 10717 4931 51 | 2.512 % | 236.72/236.87 c | 7496 | 1823 1673 14426 | 11789 5137 47 | 2.566 % | 236.72/236.88 c =============================================================================== 236.82/236.95 c core #39 236.82/236.95 c 236.82/236.95 c 236.82/236.95 c Core size: 115 Core Weight: 1 Total Weight: 39 236.82/236.95 c 236.82/236.95 c 236.82/236.95 c ============================[ Search Statistics ]============================== 236.82/236.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.82/236.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.82/236.95 c =============================================================================== 236.82/236.95 c | 0 | 1942 1674 14694 | 5000 0 nan | 0.000 % | 236.82/236.96 c | 101 | 1942 1674 14694 | 5500 101 96 | 2.216 % | 236.82/236.97 c | 251 | 1942 1674 14694 | 6050 251 80 | 2.216 % | 236.82/236.99 c | 476 | 1942 1674 14694 | 6655 476 69 | 2.216 % | 236.92/237.02 c | 814 | 1942 1674 14694 | 7320 814 68 | 2.216 % | 236.92/237.07 c | 1321 | 1942 1674 14694 | 8052 1321 67 | 2.216 % | 237.02/237.17 c | 2082 | 1942 1674 14694 | 8857 2082 73 | 2.216 % | 237.22/237.34 c | 3223 | 1942 1674 14694 | 9743 3223 78 | 2.216 % | 237.53/237.68 c | 4933 | 1942 1674 14694 | 10717 4933 82 | 2.216 % | 238.21/238.39 c | 7496 | 1942 1674 14694 | 11789 7496 84 | 2.216 % | 239.42/239.56 c | 11340 | 1942 1674 14694 | 12968 11340 86 | 2.216 % | 240.72/240.86 c | 17108 | 1942 1674 14694 | 14265 10509 85 | 2.216 % | 242.72/242.88 c | 25759 | 1942 1674 14694 | 15692 11937 79 | 2.216 % | 246.33/246.40 c | 38734 | 1942 1674 14694 | 17261 8691 130 | 2.216 % | 253.11/253.29 c | 58195 | 1920 1674 14694 | 18987 10722 126 | 3.323 % | 266.21/266.38 c | 87387 | 1920 1674 14694 | 20886 11092 106 | 3.323 % | 271.52/271.70 c =============================================================================== 271.71/271.80 c core #40 271.71/271.80 c 271.71/271.80 c 271.71/271.80 c Core size: 74 Core Weight: 1 Total Weight: 40 271.71/271.80 c 271.71/271.80 c 271.71/271.80 c ============================[ Search Statistics ]============================== 271.71/271.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 271.71/271.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 271.71/271.80 c =============================================================================== 271.71/271.80 c | 0 | 2043 1675 15188 | 5000 0 nan | 0.000 % | 271.71/271.84 c | 100 | 2043 1675 15188 | 5500 100 96 | 0.632 % | 271.71/271.85 c | 250 | 2043 1675 15188 | 6050 250 68 | 0.632 % | 271.71/271.88 c | 477 | 2043 1675 15188 | 6655 477 83 | 0.632 % | 271.81/271.92 c | 823 | 2043 1675 15188 | 7320 823 104 | 0.632 % | 271.81/271.96 c | 1329 | 2043 1675 15188 | 8052 1329 84 | 0.632 % | 271.91/272.03 c | 2088 | 2043 1675 15188 | 8857 2088 72 | 0.632 % | 272.01/272.11 c | 3229 | 2043 1675 15188 | 9743 3229 64 | 0.632 % | 272.11/272.28 c | 4940 | 2043 1675 15188 | 10717 4940 64 | 0.632 % | 272.41/272.57 c | 7503 | 2043 1675 15188 | 11789 7503 64 | 0.632 % | 273.01/273.15 c | 11349 | 2043 1675 15188 | 12968 11349 63 | 0.632 % | 274.40/274.50 c | 17115 | 2043 1675 15188 | 14265 10562 70 | 0.632 % | 276.51/276.67 c | 25764 | 2043 1675 15188 | 15692 12056 67 | 0.632 % | 279.70/279.89 c | 38738 | 2043 1675 15188 | 17261 9184 67 | 0.632 % | 284.81/284.91 c | 58202 | 2043 1675 15188 | 18987 11294 70 | 0.632 % | 292.80/292.94 c | 87397 | 2042 1675 15188 | 20886 10374 78 | 0.681 % | 294.71/294.88 c =============================================================================== 296.30/296.49 c core #41 296.30/296.49 c 296.30/296.49 c 296.30/296.49 c Core size: 134 Core Weight: 1 Total Weight: 41 296.30/296.49 c 296.30/296.49 c 296.30/296.49 c ============================[ Search Statistics ]============================== 296.30/296.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 296.30/296.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 296.30/296.49 c =============================================================================== 296.30/296.49 c | 0 | 2178 1676 15490 | 5000 0 nan | 0.000 % | 296.40/296.54 c | 100 | 2178 1676 15490 | 5500 100 97 | 0.457 % | 296.40/296.55 c | 250 | 2178 1676 15490 | 6050 250 93 | 0.457 % | 296.40/296.56 c | 475 | 2178 1676 15490 | 6655 475 74 | 0.457 % | 296.40/296.59 c | 814 | 2178 1676 15490 | 7320 814 67 | 0.457 % | 296.50/296.64 c | 1320 | 2178 1676 15490 | 8052 1320 69 | 0.457 % | 296.60/296.74 c | 2080 | 2178 1676 15490 | 8857 2080 67 | 0.457 % | 296.70/296.90 c | 3219 | 2178 1676 15490 | 9743 3219 71 | 0.457 % | 297.00/297.16 c | 4929 | 2178 1676 15490 | 10717 4929 75 | 0.457 % | 297.60/297.70 c | 7492 | 2178 1676 15490 | 11789 7492 78 | 0.457 % | 298.40/298.59 c | 11336 | 2178 1676 15490 | 12968 11336 77 | 0.457 % | 300.00/300.15 c | 17103 | 2178 1676 15490 | 14265 10505 76 | 0.457 % | 302.50/302.60 c | 25752 | 2178 1676 15490 | 15692 11958 79 | 0.457 % | 305.80/305.90 c | 38726 | 2177 1676 15490 | 17261 8691 93 | 0.503 % | 311.50/311.67 c | 58189 | 2177 1676 15490 | 18987 10718 120 | 0.503 % | 315.50/315.70 c =============================================================================== 315.69/315.81 c core #42 315.69/315.81 c 315.69/315.81 c 315.69/315.81 c Core size: 104 Core Weight: 1 Total Weight: 42 315.69/315.81 c 315.69/315.81 c 315.69/315.81 c ============================[ Search Statistics ]============================== 315.69/315.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 315.69/315.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 315.69/315.81 c =============================================================================== 315.69/315.81 c | 0 | 2280 1677 15719 | 5000 0 nan | 0.000 % | 315.69/315.84 c | 100 | 2280 1677 15719 | 5500 100 78 | 0.306 % | 315.69/315.85 c | 253 | 2280 1677 15719 | 6050 253 62 | 0.306 % | 315.69/315.86 c | 478 | 2280 1677 15719 | 6655 478 57 | 0.306 % | 315.69/315.89 c | 819 | 2280 1677 15719 | 7320 819 57 | 0.306 % | 315.79/315.93 c | 1325 | 2280 1677 15719 | 8052 1325 55 | 0.306 % | 315.90/316.01 c | 2085 | 2280 1677 15719 | 8857 2085 63 | 0.306 % | 315.99/316.15 c | 3224 | 2280 1677 15719 | 9743 3224 65 | 0.306 % | 316.29/316.43 c | 4932 | 2280 1677 15719 | 10717 4932 68 | 0.306 % | 316.70/316.85 c | 7494 | 2280 1677 15719 | 11789 7494 85 | 0.306 % | 317.49/317.63 c | 11338 | 2280 1677 15719 | 12968 11338 89 | 0.306 % | 319.29/319.40 c | 17104 | 2280 1677 15719 | 14265 10504 112 | 0.306 % | 321.59/321.74 c | 25759 | 2280 1677 15719 | 15692 11927 121 | 0.306 % | 325.80/325.91 c | 38733 | 2280 1677 15719 | 17261 8979 115 | 0.306 % | 328.99/329.13 c | 58198 | 2280 1677 15719 | 18987 10308 63 | 0.306 % | 329.99/330.11 c =============================================================================== 330.29/330.40 c core #43 330.29/330.40 c 330.29/330.40 c 330.29/330.40 c Core size: 164 Core Weight: 1 Total Weight: 43 330.29/330.40 c 330.29/330.40 c 330.29/330.40 c ============================[ Search Statistics ]============================== 330.29/330.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 330.29/330.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 330.29/330.40 c =============================================================================== 330.29/330.40 c | 0 | 2442 1678 16043 | 5000 0 nan | 0.000 % | 330.29/330.43 c | 102 | 2442 1678 16043 | 5500 102 75 | 0.286 % | 330.29/330.44 c | 252 | 2442 1678 16043 | 6050 252 54 | 0.286 % | 330.29/330.45 c | 479 | 2442 1678 16043 | 6655 479 47 | 0.286 % | 330.29/330.48 c | 816 | 2442 1678 16043 | 7320 816 55 | 0.286 % | 330.39/330.52 c | 1323 | 2442 1678 16043 | 8052 1323 54 | 0.286 % | 330.39/330.59 c | 2082 | 2442 1678 16043 | 8857 2082 70 | 0.286 % | 330.59/330.71 c | 3222 | 2442 1678 16043 | 9743 3222 64 | 0.286 % | 330.79/330.92 c | 4930 | 2442 1678 16043 | 10717 4930 73 | 0.286 % | 331.09/331.24 c | 7492 | 2442 1678 16043 | 11789 7492 70 | 0.286 % | 331.79/331.90 c | 11336 | 2442 1678 16043 | 12968 11336 77 | 0.286 % | 332.49/332.66 c | 17105 | 2442 1678 16043 | 14265 10224 87 | 0.286 % | 333.99/334.16 c | 25754 | 2442 1678 16043 | 15692 11606 99 | 0.286 % | 337.08/337.25 c | 38731 | 2442 1678 16043 | 17261 8350 109 | 0.286 % | 339.99/340.12 c | 58197 | 2442 1678 16043 | 18987 10179 46 | 0.286 % | 351.79/351.94 c | 87389 | 2442 1678 16043 | 20886 10649 112 | 0.286 % | 367.78/367.92 c =============================================================================== 367.88/368.08 c core #44 367.88/368.08 c 367.88/368.08 c 367.88/368.08 c Core size: 89 Core Weight: 1 Total Weight: 44 367.88/368.08 c 367.88/368.08 c 367.88/368.08 c ============================[ Search Statistics ]============================== 367.88/368.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 367.88/368.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 367.88/368.08 c =============================================================================== 367.88/368.08 c | 0 | 2533 1679 16262 | 5000 0 nan | 0.000 % | 367.98/368.13 c | 102 | 2533 1679 16262 | 5500 102 105 | 0.118 % | 367.98/368.14 c | 252 | 2533 1679 16262 | 6050 252 78 | 0.118 % | 367.98/368.16 c | 477 | 2533 1679 16262 | 6655 477 62 | 0.118 % | 368.08/368.20 c | 814 | 2533 1679 16262 | 7320 814 62 | 0.118 % | 368.08/368.24 c | 1320 | 2533 1679 16262 | 8052 1320 68 | 0.118 % | 368.08/368.28 c | 2080 | 2533 1679 16262 | 8857 2080 53 | 0.118 % | 368.18/368.38 c | 3223 | 2533 1679 16262 | 9743 3223 44 | 0.118 % | 368.39/368.54 c | 4933 | 2533 1679 16262 | 10717 4933 38 | 0.118 % | 368.68/368.85 c | 7498 | 2533 1679 16262 | 11789 7498 42 | 0.118 % | 369.18/369.35 c | 11343 | 2533 1679 16262 | 12968 11343 41 | 0.118 % | 370.07/370.26 c | 17113 | 2533 1679 16262 | 14265 10398 59 | 0.118 % | 372.88/373.03 c | 25762 | 2533 1679 16262 | 15692 11830 112 | 0.118 % | 378.78/378.94 c | 38736 | 2533 1679 16262 | 17261 8877 119 | 0.118 % | 385.68/385.84 c | 58198 | 2533 1679 16262 | 18987 10850 147 | 0.118 % | 397.87/398.04 c | 87393 | 2533 1679 16262 | 20886 11085 93 | 0.118 % | 417.07/417.20 c | 131184 | 2533 1679 16262 | 22974 12019 179 | 0.118 % | 431.76/431.99 c | 196871 | 2533 1679 16262 | 25272 18301 54 | 0.118 % | 461.55/461.76 c | 295397 | 2533 1679 16262 | 27799 19640 98 | 0.118 % | 531.03/531.22 c | 443188 | 2532 1679 16262 | 30579 17381 92 | 0.158 % | 635.70/635.91 c | 664871 | 2531 1679 16262 | 33637 15046 130 | 0.197 % | 839.93/840.20 c | 997398 | 2531 1679 16262 | 37001 19160 119 | 0.197 % | 1030.67/1031.03 c =============================================================================== 1042.26/1042.61 c core #45 1042.26/1042.61 c 1042.26/1042.61 c 1042.26/1042.61 c Core size: 343 Core Weight: 1 Total Weight: 45 1042.26/1042.61 c 1042.26/1042.61 c 1042.26/1042.61 c ============================[ Search Statistics ]============================== 1042.26/1042.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1042.26/1042.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1042.26/1042.61 c =============================================================================== 1042.26/1042.61 c | 0 | 2872 1680 16953 | 5000 0 nan | 0.000 % | 1042.38/1042.77 c | 101 | 2872 1680 16953 | 5500 101 64 | 0.070 % | 1042.48/1042.88 c | 252 | 2872 1680 16953 | 6050 252 78 | 0.070 % | 1042.57/1042.96 c | 477 | 2872 1680 16953 | 6655 477 107 | 0.070 % | 1042.67/1043.01 c | 817 | 2872 1680 16953 | 7320 817 117 | 0.070 % | 1042.67/1043.06 c | 1326 | 2872 1680 16953 | 8052 1326 121 | 0.070 % | 1042.77/1043.18 c | 2085 | 2872 1680 16953 | 8857 2085 135 | 0.070 % | 1042.97/1043.38 c | 3225 | 2872 1680 16953 | 9743 3225 142 | 0.070 % | 1043.36/1043.77 c | 4934 | 2872 1680 16953 | 10717 4934 140 | 0.070 % | 1043.77/1044.15 c | 7496 | 2872 1680 16953 | 11789 7496 128 | 0.070 % | 1044.37/1044.79 c | 11341 | 2872 1680 16953 | 12968 11341 116 | 0.070 % | 1045.47/1045.85 c | 17110 | 2872 1680 16953 | 14265 10222 104 | 0.070 % | 1047.27/1047.61 c | 25759 | 2872 1680 16953 | 15692 11403 105 | 0.070 % | 1052.16/1052.56 c | 38734 | 2872 1680 16953 | 17261 8480 157 | 0.070 % | 1057.96/1058.33 c | 58196 | 2872 1680 16953 | 18987 9464 94 | 0.070 % | 1064.76/1065.18 c | 87388 | 2872 1680 16953 | 20886 19428 96 | 0.070 % | 1082.65/1083.02 c | 131180 | 2872 1680 16953 | 22974 20372 80 | 0.070 % | 1105.06/1105.41 c | 196864 | 2872 1680 16953 | 25272 13565 73 | 0.070 % | 1165.33/1165.80 c | 295393 | 2872 1680 16953 | 27799 19446 117 | 0.070 % | 1273.49/1273.98 c | 443185 | 2872 1680 16953 | 30579 19999 161 | 0.070 % | 1393.66/1394.16 c | 664871 | 2872 1680 16953 | 33637 22835 149 | 0.070 % |
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-2680658-1277453512/watcher-2680658-1277453512 -o /tmp/evaluation-result-2680658-1277453512/solver-2680658-1277453512 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680658-1277453512.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: 1.08 1.07 0.88 3/105 28288 /proc/meminfo: memFree=1694292/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=2656 CPUtime=0 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 291 0 0 0 0 0 0 0 25 0 1 0 86645056 2719744 210 1992294400 134512640 135752675 4289748736 18446744073709551615 135225908 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 664 210 141 303 0 340 0 [startup+0.07434 s] /proc/loadavg: 1.08 1.07 0.88 3/105 28288 /proc/meminfo: memFree=1694292/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=3104 CPUtime=0.07 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 431 0 0 0 7 0 0 0 25 0 1 0 86645056 3178496 331 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 776 331 145 303 0 471 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3104 [startup+0.101344 s] /proc/loadavg: 1.08 1.07 0.88 3/105 28288 /proc/meminfo: memFree=1694292/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=3232 CPUtime=0.09 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 467 0 0 0 9 0 0 0 25 0 1 0 86645056 3309568 367 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 808 367 145 303 0 503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3232 [startup+0.301366 s] /proc/loadavg: 1.08 1.07 0.88 3/105 28288 /proc/meminfo: memFree=1694292/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=4140 CPUtime=0.29 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 711 0 0 0 29 0 0 0 25 0 1 0 86645056 4239360 611 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 1035 611 145 303 0 730 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4140 [startup+0.701411 s] /proc/loadavg: 1.08 1.07 0.88 3/105 28288 /proc/meminfo: memFree=1694292/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=5824 CPUtime=0.69 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 1126 0 0 0 67 2 0 0 25 0 1 0 86645056 5963776 1026 1992294400 134512640 135752675 4289748736 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 1456 1026 145 303 0 1151 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5824 [startup+1.5005 s] /proc/loadavg: 1.07 1.07 0.88 2/106 28289 /proc/meminfo: memFree=1689324/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=9176 CPUtime=1.49 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 1965 0 0 0 145 4 0 0 25 0 1 0 86645056 9396224 1865 1992294400 134512640 135752675 4289748736 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 2294 1865 145 303 0 1989 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9176 [startup+3.10068 s] /proc/loadavg: 1.07 1.07 0.88 2/106 28289 /proc/meminfo: memFree=1684860/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=14620 CPUtime=3.09 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 3310 0 0 0 302 7 0 0 25 0 1 0 86645056 14970880 3210 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 3655 3211 145 303 0 3350 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14620 [startup+6.30105 s] /proc/loadavg: 1.07 1.07 0.88 2/106 28289 /proc/meminfo: memFree=1673700/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=25212 CPUtime=6.29 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 5969 0 0 0 615 14 0 0 25 0 1 0 86645056 25817088 5869 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 6303 5869 145 303 0 5998 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25212 [startup+12.7008 s] /proc/loadavg: 1.06 1.06 0.89 2/106 28289 /proc/meminfo: memFree=1654604/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=43852 CPUtime=12.69 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 10615 0 0 0 1243 26 0 0 25 0 1 0 86645056 44904448 10515 1992294400 134512640 135752675 4289748736 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 10963 10515 145 303 0 10658 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43852 [startup+25.5012 s] /proc/loadavg: 1.13 1.08 0.89 2/106 28291 /proc/meminfo: memFree=1622488/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=74424 CPUtime=25.49 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 18233 0 0 0 2501 48 0 0 25 0 1 0 86645056 76210176 18133 1992294400 134512640 135752675 4289748736 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 18606 18133 145 303 0 18301 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 74424 [startup+51.1011 s] /proc/loadavg: 1.08 1.07 0.89 2/106 28291 /proc/meminfo: memFree=1556644/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=140168 CPUtime=51.08 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 34666 0 0 0 5019 89 0 0 25 0 1 0 86645056 143532032 34566 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 35042 34566 145 303 0 34737 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 140168 [startup+102.309 s] /proc/loadavg: 1.08 1.07 0.90 2/106 28293 /proc/meminfo: memFree=1454220/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=241588 CPUtime=102.27 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 59980 0 0 0 10069 158 0 0 25 0 1 0 86645056 247386112 59880 1992294400 134512640 135752675 4289748736 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 60397 59880 145 303 0 60092 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 241588 [startup+162.302 s] /proc/loadavg: 1.08 1.07 0.91 2/106 28293 /proc/meminfo: memFree=1342248/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=354784 CPUtime=162.24 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 88251 0 0 0 15979 245 0 0 25 0 1 0 86645056 363298816 88151 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 88696 88151 145 303 0 88391 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 354784 [startup+222.301 s] /proc/loadavg: 1.07 1.07 0.92 2/106 28295 /proc/meminfo: memFree=1271072/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=424340 CPUtime=222.22 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 105786 0 0 0 21890 332 0 0 25 0 1 0 86645056 434524160 105652 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 106085 105652 146 303 0 105780 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 424340 [startup+282.301 s] /proc/loadavg: 1.07 1.07 0.92 2/106 28297 /proc/meminfo: memFree=1213536/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=482104 CPUtime=282.21 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 120208 0 0 0 27810 411 0 0 25 0 1 0 86645056 493674496 120074 1992294400 134512640 135752675 4289748736 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 120526 120074 146 303 0 120221 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 482104 [startup+342.301 s] /proc/loadavg: 1.06 1.07 0.93 2/106 28299 /proc/meminfo: memFree=1130456/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=564640 CPUtime=342.19 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 140845 0 0 0 33713 506 0 0 25 0 1 0 86645056 578191360 140711 1992294400 134512640 135752675 4289748736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 141160 140711 146 303 0 140855 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 564640 [startup+402.302 s] /proc/loadavg: 1.06 1.06 0.93 2/106 28301 /proc/meminfo: memFree=1056056/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=640308 CPUtime=402.17 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 159759 0 0 0 39634 583 0 0 25 0 1 0 86645056 655675392 159625 1992294400 134512640 135752675 4289748736 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 160077 159625 146 303 0 159772 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 640308 [startup+462.302 s] /proc/loadavg: 1.13 1.08 0.95 2/106 28301 /proc/meminfo: memFree=959212/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=736196 CPUtime=462.15 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 183676 0 0 0 45551 664 0 0 25 0 1 0 86645056 753864704 183542 1992294400 134512640 135752675 4289748736 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 184049 183542 146 303 0 183744 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 736196 [startup+522.301 s] /proc/loadavg: 1.12 1.08 0.95 2/106 28303 /proc/meminfo: memFree=887540/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=808036 CPUtime=522.12 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 201600 0 0 0 51489 723 0 0 25 0 1 0 86645056 827428864 201466 1992294400 134512640 135752675 4289748736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 202009 201466 146 303 0 201704 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 808036 [startup+582.301 s] /proc/loadavg: 1.11 1.08 0.96 2/106 28305 /proc/meminfo: memFree=814504/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=880892 CPUtime=582.11 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 219747 0 0 0 57424 787 0 0 25 0 1 0 86645056 902033408 219613 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 220223 219613 146 303 0 219918 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 880892 [startup+642.302 s] /proc/loadavg: 1.10 1.08 0.96 2/106 28307 /proc/meminfo: memFree=749776/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=944900 CPUtime=642.1 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 235669 0 0 0 63375 835 0 0 25 0 1 0 86645056 967577600 235535 1992294400 134512640 135752675 4289748736 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 236225 235535 146 303 0 235920 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 944900 [startup+702.302 s] /proc/loadavg: 1.15 1.09 0.97 2/106 28309 /proc/meminfo: memFree=683808/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1011836 CPUtime=702.07 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 252367 0 0 0 69320 887 0 0 25 0 1 0 86645056 1036120064 252233 1992294400 134512640 135752675 4289748736 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 252959 252233 146 303 0 252654 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 1011836 [startup+762.309 s] /proc/loadavg: 1.11 1.09 0.98 2/106 28309 /proc/meminfo: memFree=616104/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1078524 CPUtime=762.06 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 269028 0 0 0 75268 938 0 0 25 0 1 0 86645056 1104408576 268894 1992294400 134512640 135752675 4289748736 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 269631 268894 146 303 0 269326 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 1078524 [startup+822.301 s] /proc/loadavg: 1.09 1.08 0.98 2/106 28311 /proc/meminfo: memFree=556460/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1138864 CPUtime=822.04 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 284073 0 0 0 81222 982 0 0 25 0 1 0 86645056 1166196736 283939 1992294400 134512640 135752675 4289748736 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 284716 283939 146 303 0 284411 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 1138864 [startup+882.301 s] /proc/loadavg: 1.07 1.08 0.99 2/106 28313 /proc/meminfo: memFree=484168/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1210568 CPUtime=882.02 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 301993 0 0 0 87165 1037 0 0 25 0 1 0 86645056 1239621632 301859 1992294400 134512640 135752675 4289748736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 302642 301859 146 303 0 302337 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1210568 [startup+942.302 s] /proc/loadavg: 1.07 1.08 0.99 2/106 28315 /proc/meminfo: memFree=409396/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1285956 CPUtime=942 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 320802 0 0 0 93104 1096 0 0 25 0 1 0 86645056 1316818944 320668 1992294400 134512640 135752675 4289748736 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 321489 320668 146 303 0 321184 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 1285956 [startup+1002.3 s] /proc/loadavg: 1.06 1.08 1.00 2/106 28317 /proc/meminfo: memFree=339460/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1355272 CPUtime=1001.98 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 338108 0 0 0 99052 1146 0 0 25 0 1 0 86645056 1387798528 337974 1992294400 134512640 135752675 4289748736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 338818 337974 146 303 0 338513 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 1355272 [startup+1062.3 s] /proc/loadavg: 1.06 1.08 1.00 2/106 28317 /proc/meminfo: memFree=293332/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1400016 CPUtime=1061.96 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 349545 0 0 0 104998 1198 0 0 25 0 1 0 86645056 1433616384 349411 1992294400 134512640 135752675 4289748736 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 350004 349411 146 303 0 349699 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1400016 [startup+1122.3 s] /proc/loadavg: 1.13 1.09 1.01 2/106 28319 /proc/meminfo: memFree=260596/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1432404 CPUtime=1121.94 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 357765 0 0 0 110938 1256 0 0 25 0 1 0 86645056 1466781696 357631 1992294400 134512640 135752675 4289748736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 358101 357631 146 303 0 357796 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1432404 [startup+1182.3 s] /proc/loadavg: 1.17 1.10 1.01 2/106 28321 /proc/meminfo: memFree=207524/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1485852 CPUtime=1181.93 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 371084 0 0 0 116893 1300 0 0 25 0 1 0 86645056 1521512448 370950 1992294400 134512640 135752675 4289748736 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 371463 370950 146 303 0 371158 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1485852 [startup+1242.3 s] /proc/loadavg: 1.18 1.11 1.02 2/106 28326 /proc/meminfo: memFree=159536/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1533160 CPUtime=1241.9 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 382885 0 0 0 122854 1336 0 0 25 0 1 0 86645056 1569955840 382751 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 383290 382751 146 303 0 382985 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1533160 [startup+1302.3 s] /proc/loadavg: 1.18 1.12 1.02 3/106 28328 /proc/meminfo: memFree=80052/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1612100 CPUtime=1301.89 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 402583 0 0 0 128792 1397 0 0 25 0 1 0 86645056 1650790400 402449 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 403025 402449 146 303 0 402720 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1612100 [startup+1362.3 s] /proc/loadavg: 1.17 1.13 1.02 2/106 28328 /proc/meminfo: memFree=9316/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1684856 CPUtime=1361.87 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 420761 0 0 0 134740 1447 0 0 25 0 1 0 86645056 1725292544 420627 1992294400 134512640 135752675 4289748736 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 421214 420627 146 303 0 420909 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1684856 [startup+1422.31 s] /proc/loadavg: 1.06 1.10 1.02 2/106 28330 /proc/meminfo: memFree=9792/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1763916 CPUtime=1421.86 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 440519 0 0 0 140675 1511 0 0 25 0 1 0 86645056 1806249984 440385 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 440979 440385 146 303 0 440674 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1763916 [startup+1482.3 s] /proc/loadavg: 1.02 1.08 1.01 2/106 28332 /proc/meminfo: memFree=10288/2059040 swapFree=4140380/4192956 [pid=28288] ppid=28286 vsize=1825660 CPUtime=1481.83 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 455908 0 0 0 146627 1556 0 0 25 0 1 0 86645056 1869475840 455774 1992294400 134512640 135752675 4289748736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 456415 455774 146 303 0 456110 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1825660 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1500.2 s] /proc/loadavg: 1.02 1.08 1.01 2/106 28332 /proc/meminfo: memFree=10388/2059040 swapFree=4140316/4192956 [pid=28288] ppid=28286 vsize=1843220 CPUtime=1499.74 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4202496 460280 0 0 0 148406 1568 0 0 25 0 1 0 86645056 1887457280 460146 1992294400 134512640 135752675 4289748736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28288/statm: 460805 460146 146 303 0 460500 0 Current children cumulated CPU time (s) 1499.74 Current children cumulated vsize (KiB) 1843220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1500.31 s] /proc/loadavg: 1.02 1.08 1.01 2/107 28333 /proc/meminfo: memFree=1180932/2059040 swapFree=4140316/4192956 [pid=28288] ppid=28286 vsize=0 CPUtime=1499.84 /proc/28288/stat : 28288 (wbo1.4b) R 28286 28288 28151 0 -1 4203524 460280 0 0 0 148406 1578 0 0 25 0 1 0 86645056 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28288/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1499.84 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1500.37 CPU time (s): 1499.9 CPU user time (s): 1484.06 CPU system time (s): 15.8436 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1843220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1484.06 system time used= 15.8436 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460280 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= 12 involuntary context switches= 1841 runsolver used 2.84657 second user time and 6.73498 second system time The end
Begin job on node085 at 2010-06-25 10:11:52 IDJOB=2680658 IDBENCH=2053 IDSOLVER=1190 FILE ID=node085/2680658-1277453512 PBS_JOBID= 11188105 Free space on /tmp= 121676 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680658-1277453512/watcher-2680658-1277453512 -o /tmp/evaluation-result-2680658-1277453512/solver-2680658-1277453512 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680658-1277453512.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED=2083987929 node085.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.221 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.44 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.221 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 : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1694820 kB Buffers: 95196 kB Cached: 176588 kB SwapCached: 5328 kB Active: 131256 kB Inactive: 153560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1694820 kB SwapTotal: 4192956 kB SwapFree: 4140380 kB Dirty: 2784 kB Writeback: 0 kB AnonPages: 11704 kB Mapped: 11980 kB Slab: 57684 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182240 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121672 MiB End job on node085 at 2010-06-25 10:36:55