Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1441.49 | 1442.17 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_2.opb |
MD5SUM | 5255c8da63867fe6fe080ca048384827 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -48 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2492 |
Sum of products size (including duplicates) | 4984 |
Number of different products | 1246 |
Sum of products size | 2492 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875345-1245200499.opb. 0.00/0.00 c Instance file HOME/instance-1875345-1245200499.opb 0.00/0.00 c File size is 102705 bytes. 0.00/0.01 c Highest Coefficient sum: 19 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: 1446 | 0.00/0.01 c | Number Clauses: 1446 | 0.00/0.01 c | Number Cardinality: 400 | 0.00/0.01 c | Number PB Constraints: 1246 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -199 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -198 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -197 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #4 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -196 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #5 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -195 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #6 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -194 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #7 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -193 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #8 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -192 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #9 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -191 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #10 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -190 0.00/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #11 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -189 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #12 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -188 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #13 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -187 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #14 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -186 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #15 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: -185 0.00/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.07/0.07 c core #16 0.07/0.07 c Core size: 4 Core Weight: 1 Total Weight: -184 0.07/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.07/0.08 c core #17 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -183 0.07/0.08 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.07/0.08 c core #18 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -182 0.07/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #19 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: -181 0.07/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.07/0.09 c core #20 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: -180 0.07/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #21 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: -179 0.07/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.07/0.10 c core #22 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: -178 0.07/0.10 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #23 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -177 0.09/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #24 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -176 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #25 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: -175 0.09/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #26 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: -174 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #27 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -173 0.09/0.12 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #28 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -172 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #29 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -171 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #30 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -170 0.09/0.13 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #31 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -169 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #32 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: -168 0.09/0.14 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #33 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: -167 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #34 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: -166 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #35 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -165 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #36 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -164 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #37 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: -163 0.09/0.16 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #38 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: -162 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #39 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: -161 0.09/0.17 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #40 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: -160 0.09/0.17 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #41 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: -159 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #42 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -158 0.09/0.18 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #43 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -157 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #44 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: -156 0.09/0.19 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #45 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: -155 0.09/0.19 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #46 0.09/0.20 c Core size: 4 Core Weight: 1 Total Weight: -154 0.09/0.20 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #47 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -153 0.19/0.20 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #48 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -152 0.19/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #49 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -151 0.19/0.21 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #50 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -150 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #51 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -149 0.19/0.22 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #52 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -148 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #53 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -147 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #54 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -146 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #55 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -145 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #56 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -144 0.19/0.24 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #57 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -143 0.19/0.24 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #58 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -142 0.19/0.25 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #59 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -141 0.19/0.25 c Elapsed CPU time: 0.243962 s Remaining CPU time: 1799.76 s 0.19/0.26 c core #60 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -140 0.19/0.26 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #61 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -139 0.19/0.26 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #62 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -138 0.19/0.26 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #63 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: -137 0.19/0.27 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #64 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: -136 0.19/0.27 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #65 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -135 0.19/0.28 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #66 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -134 0.19/0.28 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #67 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -133 0.19/0.29 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #68 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -132 0.19/0.29 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #69 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -131 0.19/0.29 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #70 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: -130 0.29/0.30 c Elapsed CPU time: 0.290955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #71 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: -129 0.29/0.30 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #72 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -128 0.29/0.31 c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #73 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -127 0.29/0.31 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #74 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -126 0.29/0.32 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #75 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -125 0.29/0.32 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #76 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: -124 0.29/0.33 c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #77 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: -123 0.29/0.33 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #78 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: -122 0.29/0.33 c Elapsed CPU time: 0.32495 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #79 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -121 0.29/0.34 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #80 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -120 0.29/0.34 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #81 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -119 0.29/0.35 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #82 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -118 0.29/0.35 c Elapsed CPU time: 0.341948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #83 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -117 0.29/0.36 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #84 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -116 0.29/0.36 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #85 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -115 0.29/0.37 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #86 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -114 0.29/0.37 c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #87 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -113 0.29/0.38 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #88 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -112 0.29/0.38 c Elapsed CPU time: 0.367944 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #89 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -111 0.29/0.38 c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #90 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: -110 0.29/0.39 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #91 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: -109 0.29/0.39 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #92 0.39/0.40 c Core size: 9 Core Weight: 1 Total Weight: -108 0.39/0.40 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #93 0.39/0.40 c Core size: 9 Core Weight: 1 Total Weight: -107 0.39/0.40 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #94 0.39/0.41 c Core size: 8 Core Weight: 1 Total Weight: -106 0.39/0.41 c Elapsed CPU time: 0.39394 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #95 0.39/0.41 c Core size: 9 Core Weight: 1 Total Weight: -105 0.39/0.41 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #96 0.39/0.42 c Core size: 9 Core Weight: 1 Total Weight: -104 0.39/0.42 c Elapsed CPU time: 0.402938 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #97 0.39/0.42 c Core size: 14 Core Weight: 1 Total Weight: -103 0.39/0.42 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #98 0.39/0.43 c Core size: 14 Core Weight: 1 Total Weight: -102 0.39/0.43 c Elapsed CPU time: 0.411937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #99 0.39/0.43 c Core size: 24 Core Weight: 1 Total Weight: -101 0.39/0.43 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.44 c core #100 0.39/0.44 c Core size: 19 Core Weight: 1 Total Weight: -100 0.39/0.44 c Elapsed CPU time: 0.419936 s Remaining CPU time: 1799.58 s 0.39/0.44 c core #101 0.39/0.44 c Core size: 13 Core Weight: 1 Total Weight: -99 0.39/0.44 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 436 3193 6618 | 5000 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #102 0.39/0.44 c Core size: 22 Core Weight: 1 Total Weight: -98 0.39/0.44 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 444 3194 6634 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #103 0.39/0.45 c Core size: 27 Core Weight: 1 Total Weight: -97 0.39/0.45 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 454 3195 6654 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #104 0.39/0.45 c Core size: 20 Core Weight: 1 Total Weight: -96 0.39/0.45 c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 462 3196 6670 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #105 0.39/0.46 c Core size: 27 Core Weight: 1 Total Weight: -95 0.39/0.46 c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 s 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 472 3197 6690 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #106 0.39/0.46 c Core size: 36 Core Weight: 1 Total Weight: -94 0.39/0.46 c Elapsed CPU time: 0.445932 s Remaining CPU time: 1799.55 s 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 486 3198 6718 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #107 0.39/0.47 c Core size: 61 Core Weight: 1 Total Weight: -93 0.39/0.47 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 510 3199 6766 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #108 0.39/0.47 c Core size: 20 Core Weight: 1 Total Weight: -92 0.39/0.47 c Elapsed CPU time: 0.45493 s Remaining CPU time: 1799.55 s 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 518 3200 6782 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #109 0.39/0.48 c Core size: 15 Core Weight: 1 Total Weight: -91 0.39/0.48 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 524 3201 6794 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #110 0.39/0.48 c Core size: 31 Core Weight: 1 Total Weight: -90 0.39/0.48 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 536 3202 6818 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #111 0.39/0.49 c Core size: 21 Core Weight: 1 Total Weight: -89 0.39/0.49 c Elapsed CPU time: 0.470928 s Remaining CPU time: 1799.53 s 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 544 3203 6834 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #112 0.39/0.49 c Core size: 36 Core Weight: 1 Total Weight: -88 0.39/0.49 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 558 3204 6862 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #113 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: -87 0.49/0.50 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 566 3205 6878 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #114 0.49/0.50 c Core size: 42 Core Weight: 1 Total Weight: -86 0.49/0.50 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 582 3206 6910 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #115 0.49/0.51 c Core size: 87 Core Weight: 1 Total Weight: -85 0.49/0.51 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 612 3207 6970 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #116 0.49/0.52 c Core size: 215 Core Weight: 1 Total Weight: -84 0.49/0.52 c Elapsed CPU time: 0.498924 s Remaining CPU time: 1799.5 s 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 679 3208 7104 | 5000 0 nan | 0.000 % | 0.49/0.53 c | 101 | 679 3208 7104 | 5500 101 18 | 64.727 % | 0.49/0.53 c | 251 | 679 3208 7104 | 6050 251 24 | 64.728 % | 0.49/0.53 c =============================================================================== 0.49/0.54 c core #117 0.49/0.54 c Core size: 190 Core Weight: 1 Total Weight: -83 0.49/0.54 c Elapsed CPU time: 0.516921 s Remaining CPU time: 1799.48 s 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 731 3209 7208 | 5000 0 nan | 0.000 % | 0.49/0.55 c | 100 | 731 3209 7208 | 5500 100 54 | 63.025 % | 0.49/0.55 c | 253 | 731 3209 7208 | 6050 253 50 | 63.025 % | 0.49/0.57 c | 482 | 731 3209 7208 | 6655 482 55 | 63.025 % | 0.49/0.59 c | 820 | 731 3209 7208 | 7320 820 53 | 63.025 % | 0.59/0.64 c | 1326 | 731 3209 7208 | 8052 1326 57 | 63.025 % | 0.69/0.71 c | 2085 | 731 3209 7208 | 8857 2085 67 | 63.025 % | 0.69/0.78 c =============================================================================== 0.79/0.80 c core #118 0.79/0.80 c Core size: 352 Core Weight: 1 Total Weight: -82 0.79/0.80 c Elapsed CPU time: 0.777881 s Remaining CPU time: 1799.22 s 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 809 3210 7364 | 5000 0 nan | 0.000 % | 0.79/0.81 c | 102 | 799 3210 7364 | 5500 102 11 | 61.411 % | 0.79/0.82 c | 256 | 791 3210 7364 | 6050 243 28 | 61.557 % | 0.79/0.83 c | 481 | 758 3210 7364 | 6655 447 41 | 63.114 % | 0.79/0.86 c | 818 | 755 3210 7364 | 7320 784 44 | 63.260 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #119 0.79/0.88 c Core size: 205 Core Weight: 1 Total Weight: -81 0.79/0.88 c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 868 3211 7482 | 5000 0 nan | 0.000 % | 0.79/0.90 c | 100 | 868 3211 7482 | 5500 100 50 | 58.940 % | 0.89/0.90 c | 250 | 868 3211 7482 | 6050 250 49 | 58.940 % | 0.89/0.91 c | 477 | 868 3211 7482 | 6655 477 44 | 58.940 % | 0.89/0.93 c | 814 | 868 3211 7482 | 7320 814 39 | 58.940 % | 0.89/0.97 c | 1320 | 868 3211 7482 | 8052 1320 48 | 58.940 % | 1.00/1.03 c | 2079 | 868 3211 7482 | 8857 2079 53 | 58.940 % | 1.10/1.19 c | 3219 | 868 3211 7482 | 9743 3219 70 | 58.940 % | 1.19/1.24 c =============================================================================== 1.19/1.26 c core #120 1.19/1.26 c Core size: 466 Core Weight: 1 Total Weight: -80 1.19/1.26 c Elapsed CPU time: 1.23281 s Remaining CPU time: 1798.77 s 1.19/1.27 c ============================[ Search Statistics ]============================== 1.19/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.27 c =============================================================================== 1.19/1.27 c | 0 | 971 3212 7688 | 5000 0 nan | 0.000 % | 1.19/1.28 c | 100 | 971 3212 7688 | 5500 100 87 | 56.202 % | 1.19/1.29 c | 250 | 971 3212 7688 | 6050 250 56 | 56.202 % | 1.29/1.30 c | 475 | 971 3212 7688 | 6655 475 61 | 56.202 % | 1.29/1.32 c | 813 | 971 3212 7688 | 7320 813 60 | 56.202 % | 1.29/1.35 c | 1321 | 971 3212 7688 | 8052 1321 53 | 56.202 % | 1.39/1.44 c | 2080 | 971 3212 7688 | 8857 2080 70 | 56.202 % | 1.59/1.64 c | 3219 | 971 3212 7688 | 9743 3219 105 | 56.202 % | 1.79/1.83 c | 4929 | 971 3212 7688 | 10717 4929 91 | 56.202 % | 2.29/2.33 c | 7492 | 971 3212 7688 | 11789 7492 106 | 56.202 % | 3.09/3.11 c | 11336 | 971 3212 7688 | 12968 11336 107 | 56.202 % | 4.89/4.92 c =============================================================================== 5.09/5.11 c core #121 5.09/5.11 c Core size: 650 Core Weight: 1 Total Weight: -79 5.09/5.11 c Elapsed CPU time: 5.01424 s Remaining CPU time: 1794.99 s 5.09/5.14 c ============================[ Search Statistics ]============================== 5.09/5.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.09/5.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.09/5.14 c =============================================================================== 5.09/5.14 c | 0 | 1098 3213 7942 | 5000 0 nan | 0.000 % | 5.09/5.14 c | 101 | 1098 3213 7942 | 5500 101 40 | 53.157 % | 5.09/5.15 c | 253 | 1098 3213 7942 | 6050 253 36 | 53.157 % | 5.09/5.16 c | 480 | 1098 3213 7942 | 6655 480 37 | 53.157 % | 5.09/5.19 c | 817 | 1098 3213 7942 | 7320 817 45 | 53.157 % | 5.19/5.22 c | 1323 | 1098 3213 7942 | 8052 1323 49 | 53.157 % | 5.19/5.28 c | 2086 | 1098 3213 7942 | 8857 2086 50 | 53.157 % | 5.29/5.37 c | 3226 | 1098 3213 7942 | 9743 3226 49 | 53.157 % | 5.49/5.58 c | 4934 | 1098 3213 7942 | 10717 4934 61 | 53.157 % | 5.89/5.99 c | 7496 | 1098 3213 7942 | 11789 7496 72 | 53.157 % | 6.78/6.86 c | 11342 | 1098 3213 7942 | 12968 11342 93 | 53.157 % | 8.79/8.82 c | 17111 | 1098 3213 7942 | 14265 9939 127 | 53.157 % | 11.78/11.86 c =============================================================================== 12.09/12.13 c core #122 12.09/12.13 c Core size: 496 Core Weight: 1 Total Weight: -78 12.09/12.13 c Elapsed CPU time: 11.9452 s Remaining CPU time: 1788.05 s 12.09/12.16 c ============================[ Search Statistics ]============================== 12.09/12.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.16 c =============================================================================== 12.09/12.16 c | 0 | 1188 3214 8122 | 5000 0 nan | 0.000 % | 12.09/12.17 c | 101 | 1188 3214 8122 | 5500 101 42 | 51.191 % | 12.09/12.17 c | 252 | 1188 3214 8122 | 6050 252 33 | 51.191 % | 12.09/12.19 c | 477 | 1188 3214 8122 | 6655 477 49 | 51.191 % | 12.19/12.21 c | 814 | 1188 3214 8122 | 7320 814 55 | 51.191 % | 12.19/12.26 c | 1320 | 1188 3214 8122 | 8052 1320 54 | 51.191 % | 12.29/12.33 c | 2079 | 1188 3214 8122 | 8857 2079 59 | 51.191 % | 12.39/12.48 c | 3221 | 1188 3214 8122 | 9743 3221 76 | 51.191 % | 12.69/12.75 c | 4934 | 1188 3214 8122 | 10717 4934 91 | 51.191 % | 13.29/13.37 c | 7496 | 1188 3214 8122 | 11789 7496 112 | 51.191 % | 14.38/14.44 c | 11342 | 1188 3214 8122 | 12968 11342 118 | 51.191 % | 16.58/16.61 c | 17110 | 1188 3214 8122 | 14265 9938 136 | 51.191 % | 19.78/19.89 c | 25762 | 1188 3214 8122 | 15692 10784 133 | 51.191 % | 24.68/24.71 c | 38743 | 1188 3214 8122 | 17261 15229 134 | 51.191 % | 37.07/37.13 c | 58208 | 1188 3214 8122 | 18987 16094 182 | 51.191 % | 65.16/65.27 c | 87404 | 1188 3214 8122 | 20886 14641 284 | 51.191 % | 98.95/99.04 c | 131198 | 1188 3214 8122 | 22974 13793 237 | 51.191 % | 150.62/150.75 c | 196884 | 1188 3214 8122 | 25272 18349 200 | 51.191 % | 226.58/226.79 c | 295410 | 1188 3214 8122 | 27799 22916 269 | 51.191 % | 315.35/315.56 c =============================================================================== 320.74/320.98 c core #123 320.74/320.98 c Core size: 587 Core Weight: 1 Total Weight: -77 320.74/320.98 c Elapsed CPU time: 319.097 s Remaining CPU time: 1480.9 s 321.14/321.36 c ============================[ Search Statistics ]============================== 321.14/321.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 321.14/321.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 321.14/321.36 c =============================================================================== 321.14/321.36 c | 0 | 1288 3215 8322 | 5000 0 nan | 0.000 % | 321.24/321.44 c | 102 | 1288 3215 8322 | 5500 102 141 | 49.171 % | 321.24/321.45 c | 257 | 1288 3215 8322 | 6050 257 86 | 49.171 % | 321.24/321.46 c | 485 | 1288 3215 8322 | 6655 485 63 | 49.171 % | 321.24/321.48 c | 825 | 1288 3215 8322 | 7320 825 63 | 49.171 % | 321.34/321.53 c | 1333 | 1288 3215 8322 | 8052 1333 77 | 49.171 % | 321.34/321.59 c | 2092 | 1288 3215 8322 | 8857 2092 70 | 49.171 % | 321.44/321.69 c | 3231 | 1288 3215 8322 | 9743 3231 66 | 49.171 % | 321.74/321.90 c | 4942 | 1288 3215 8322 | 10717 4942 73 | 49.171 % | 322.34/322.51 c | 7507 | 1288 3215 8322 | 11789 7507 97 | 49.171 % | 323.34/323.51 c | 11351 | 1288 3215 8322 | 12968 11351 100 | 49.171 % | 325.24/325.46 c | 17118 | 1288 3215 8322 | 14265 9970 112 | 49.171 % | 328.74/328.90 c | 25767 | 1288 3215 8322 | 15692 10806 132 | 49.171 % | 336.83/337.08 c | 38744 | 1288 3215 8322 | 17261 15273 191 | 49.171 % | 349.83/350.08 c | 58210 | 1288 3215 8322 | 18987 16136 251 | 49.171 % | 375.72/375.94 c | 87402 | 1288 3215 8322 | 20886 14853 254 | 49.171 % | 409.80/410.00 c | 131195 | 1288 3215 8322 | 22974 14101 175 | 49.171 % | 449.48/449.78 c | 196881 | 1288 3215 8322 | 25272 18878 168 | 49.171 % | 528.55/528.82 c | 295407 | 1288 3215 8322 | 27799 20235 127 | 49.171 % | 652.39/652.72 c | 443199 | 1288 3215 8322 | 30579 17604 155 | 49.171 % | 984.74/985.29 c | 664883 | 1288 3215 8322 | 33637 16957 370 | 49.171 % | 1293.48/1294.13 c | 997408 | 1288 3215 8322 | 37001 34048 212 | 49.171 % |
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-1875345-1245200499/watcher-1875345-1245200499 -o /tmp/evaluation-result-1875345-1245200499/solver-1875345-1245200499 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875345-1245200499.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.00 1.00 1.00 3/65 2691 /proc/meminfo: memFree=1811512/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=2784 CPUtime=0 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 187648234 2850816 235 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 696 235 126 292 0 375 0 [startup+0.075908 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2691 /proc/meminfo: memFree=1811512/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=4388 CPUtime=0.07 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 719 0 0 0 7 0 0 0 18 0 1 0 187648234 4493312 677 1992294400 134512640 135709839 4294956240 18446744073709551615 135162228 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 1097 677 134 292 0 802 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4388 [startup+0.101912 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2691 /proc/meminfo: memFree=1811512/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=4960 CPUtime=0.09 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 850 0 0 0 9 0 0 0 18 0 1 0 187648234 5079040 808 1992294400 134512640 135709839 4294956240 18446744073709551615 134530599 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 1240 808 134 292 0 945 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4960 [startup+0.301949 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2691 /proc/meminfo: memFree=1811512/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=8788 CPUtime=0.29 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 1808 0 0 0 28 1 0 0 19 0 1 0 187648234 8998912 1766 1992294400 134512640 135709839 4294956240 18446744073709551615 134530673 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 2197 1766 134 292 0 1902 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8788 [startup+0.702023 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2691 /proc/meminfo: memFree=1811512/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=13736 CPUtime=0.69 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 3028 0 0 0 67 2 0 0 18 0 1 0 187648234 14065664 2986 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 3434 2986 136 292 0 3139 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13736 [startup+1.50117 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1799088/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=16036 CPUtime=1.49 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 3602 0 0 0 145 4 0 0 25 0 1 0 187648234 16420864 3560 1992294400 134512640 135709839 4294956240 18446744073709551615 134574285 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 4009 3560 136 292 0 3714 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16036 [startup+3.10246 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1795440/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=21468 CPUtime=3.09 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 4981 0 0 0 302 7 0 0 25 0 1 0 187648234 21983232 4939 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 5367 4939 136 292 0 5072 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21468 [startup+6.30105 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1785976/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=27492 CPUtime=6.29 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 6483 0 0 0 617 12 0 0 25 0 1 0 187648234 28151808 6441 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 6873 6441 136 292 0 6578 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27492 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1773496/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=40524 CPUtime=12.69 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 9723 0 0 0 1249 20 0 0 25 0 1 0 187648234 41496576 9681 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 10131 9681 136 292 0 9836 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40524 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1749752/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=64228 CPUtime=25.48 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 15658 0 0 0 2518 30 0 0 25 0 1 0 187648234 65769472 15616 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 16057 15616 136 292 0 15762 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64228 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1713400/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=101052 CPUtime=51.07 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 24840 0 0 0 5063 44 0 0 25 0 1 0 187648234 103477248 24798 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 25263 24798 136 292 0 24968 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 101052 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1630968/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=182576 CPUtime=102.24 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 45197 0 0 0 10155 69 0 0 25 0 1 0 187648234 186957824 45155 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 45644 45155 136 292 0 45349 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 182576 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1539640/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=274956 CPUtime=162.21 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 68289 0 0 0 16120 101 0 0 25 0 1 0 187648234 281554944 68247 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 68739 68247 136 292 0 68444 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 274956 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1443960/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=369520 CPUtime=222.18 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 91879 0 0 0 22083 135 0 0 25 0 1 0 187648234 378388480 91837 1992294400 134512640 135709839 4294956240 18446744073709551615 134574172 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 92380 91837 136 292 0 92085 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 369520 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1365624/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=448184 CPUtime=282.16 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 111550 0 0 0 28055 161 0 0 25 0 1 0 187648234 458940416 111508 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 112046 111508 136 292 0 111751 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 448184 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1327416/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=485192 CPUtime=342.13 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 120952 0 0 0 34029 184 0 0 25 0 1 0 187648234 496836608 120881 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 121298 120881 136 292 0 121003 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 485192 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1271096/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=542232 CPUtime=402.11 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 135165 0 0 0 40001 210 0 0 25 0 1 0 187648234 555245568 135094 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 135558 135094 136 292 0 135263 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 542232 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1211640/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=601068 CPUtime=462.08 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 149865 0 0 0 45964 244 0 0 25 0 1 0 187648234 615493632 149794 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 150267 149794 136 292 0 149972 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 601068 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1142328/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=670644 CPUtime=522.05 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 167269 0 0 0 51933 272 0 0 25 0 1 0 187648234 686739456 167198 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 167661 167198 136 292 0 167366 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 670644 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=1050168/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=762840 CPUtime=582.03 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 190276 0 0 0 57894 309 0 0 25 0 1 0 187648234 781148160 190205 1992294400 134512640 135709839 4294956240 18446744073709551615 134573796 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 190710 190205 136 292 0 190415 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 762840 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=989624/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=822496 CPUtime=642 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 205190 0 0 0 63865 335 0 0 25 0 1 0 187648234 842235904 205119 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 205624 205119 136 292 0 205329 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 822496 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=929400/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=883032 CPUtime=701.96 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 220285 0 0 0 69840 356 0 0 25 0 1 0 187648234 904224768 220214 1992294400 134512640 135709839 4294956240 18446744073709551615 134568263 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 220758 220214 136 292 0 220463 0 Current children cumulated CPU time (s) 701.96 Current children cumulated vsize (KiB) 883032 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=856184/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=955932 CPUtime=761.94 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 238473 0 0 0 75816 378 0 0 25 0 1 0 187648234 978874368 238402 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 238983 238402 136 292 0 238688 0 Current children cumulated CPU time (s) 761.94 Current children cumulated vsize (KiB) 955932 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=770872/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1041696 CPUtime=821.91 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 259912 0 0 0 81785 406 0 0 25 0 1 0 187648234 1066696704 259841 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 260424 259841 136 292 0 260129 0 Current children cumulated CPU time (s) 821.91 Current children cumulated vsize (KiB) 1041696 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=699960/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1111940 CPUtime=881.89 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 277472 0 0 0 87762 427 0 0 25 0 1 0 187648234 1138626560 277401 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 277985 277401 136 292 0 277690 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 1111940 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=638456/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1174232 CPUtime=941.86 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 293013 0 0 0 93744 442 0 0 25 0 1 0 187648234 1202413568 292942 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 293558 292942 136 292 0 293263 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 1174232 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=573816/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1238256 CPUtime=1001.83 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 309005 0 0 0 99720 463 0 0 25 0 1 0 187648234 1267974144 308934 1992294400 134512640 135709839 4294956240 18446744073709551615 134573931 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 309564 308934 136 292 0 309269 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 1238256 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=492664/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1319996 CPUtime=1061.8 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 329437 0 0 0 105685 495 0 0 25 0 1 0 187648234 1351675904 329366 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 329999 329366 136 292 0 329704 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 1319996 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=425208/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1386876 CPUtime=1121.78 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 346127 0 0 0 111654 524 0 0 25 0 1 0 187648234 1420161024 346056 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 346719 346057 136 292 0 346424 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 1386876 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=335800/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1477044 CPUtime=1181.76 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 368686 0 0 0 117623 553 0 0 25 0 1 0 187648234 1512493056 368615 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 369261 368615 136 292 0 368966 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 1477044 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=244600/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1567028 CPUtime=1241.71 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 391158 0 0 0 123588 583 0 0 25 0 1 0 187648234 1604636672 391087 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 391757 391087 136 292 0 391462 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 1567028 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=142328/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1668404 CPUtime=1301.69 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 416513 0 0 0 129553 616 0 0 25 0 1 0 187648234 1708445696 416442 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 417101 416442 136 292 0 416806 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 1668404 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=61944/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1749412 CPUtime=1361.65 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 436750 0 0 0 135521 644 0 0 25 0 1 0 187648234 1791397888 436679 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 437353 436679 136 292 0 437058 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 1749412 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=16312/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1817744 CPUtime=1421.63 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 453823 0 0 0 141496 667 0 0 25 0 1 0 187648234 1861369856 453752 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 454436 453752 136 292 0 454141 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 1817744 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1441.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2692 /proc/meminfo: memFree=15544/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=1843220 CPUtime=1441.22 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4194304 460203 0 0 0 143449 673 0 0 25 0 1 0 187648234 1887457280 460132 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 460805 460132 136 292 0 460510 0 Current children cumulated CPU time (s) 1441.22 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+1442.01 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2693 /proc/meminfo: memFree=708016/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=0 CPUtime=1441.33 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4195332 460203 0 0 0 143449 684 0 0 25 0 1 0 187648234 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1441.33 Current children cumulated vsize (KiB) 0 [startup+1442.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2693 /proc/meminfo: memFree=708016/2055924 swapFree=4179404/4192956 [pid=2691] ppid=2689 vsize=0 CPUtime=1441.42 /proc/2691/stat : 2691 (wbo) R 2689 2691 2422 0 -1 4195332 460203 0 0 0 143449 693 0 0 25 0 1 0 187648234 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/2691/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1441.42 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1442.17 CPU time (s): 1441.49 CPU user time (s): 1434.49 CPU system time (s): 6.99894 CPU usage (%): 99.9534 Max. virtual memory (cumulated for all children) (KiB): 1843220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1434.49 system time used= 6.99894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460203 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= 4 involuntary context switches= 5433 runsolver used 1.66675 second user time and 3.20351 second system time The end
Begin job on node83 at 2009-06-17 03:01:39 IDJOB=1875345 IDBENCH=48185 IDSOLVER=698 FILE ID=node83/1875345-1245200499 PBS_JOBID= 9368332 Free space on /tmp= 66508 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_2.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875345-1245200499/watcher-1875345-1245200499 -o /tmp/evaluation-result-1875345-1245200499/solver-1875345-1245200499 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875345-1245200499.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5255c8da63867fe6fe080ca048384827 RANDOM SEED=2116944530 node83.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1812056 kB Buffers: 42812 kB Cached: 131656 kB SwapCached: 7704 kB Active: 61916 kB Inactive: 121700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1812056 kB SwapTotal: 4192956 kB SwapFree: 4179404 kB Dirty: 2404 kB Writeback: 0 kB Mapped: 14956 kB Slab: 46204 kB Committed_AS: 81300 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875345-1245200499.opb Free space on /tmp at the end= 66504 MiB End job on node83 at 2009-06-17 03:25:43