Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1352.66 | 1353.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_4.opb |
MD5SUM | 69a7dda5c80f9dda65f29fb6eb76eed7 |
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 | -53 |
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 | -53 |
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 | 21 |
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) | 2524 |
Sum of products size (including duplicates) | 5048 |
Number of different products | 1262 |
Sum of products size | 2524 |
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-1875373-1245203504.opb. 0.00/0.00 c Instance file HOME/instance-1875373-1245203504.opb 0.00/0.00 c File size is 103979 bytes. 0.00/0.01 c Highest Coefficient sum: 21 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: 1462 | 0.00/0.01 c | Number Clauses: 1462 | 0.00/0.01 c | Number Cardinality: 400 | 0.00/0.01 c | Number PB Constraints: 1262 | 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.014997 s Remaining CPU time: 1799.99 s 0.01/0.02 c core #2 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: -198 0.01/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.01/0.02 c core #3 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: -197 0.01/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.01/0.02 c core #4 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: -196 0.01/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #5 0.01/0.03 c Core size: 4 Core Weight: 1 Total Weight: -195 0.01/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #6 0.01/0.03 c Core size: 4 Core Weight: 1 Total Weight: -194 0.01/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #7 0.01/0.03 c Core size: 4 Core Weight: 1 Total Weight: -193 0.01/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #8 0.01/0.04 c Core size: 4 Core Weight: 1 Total Weight: -192 0.01/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #9 0.01/0.04 c Core size: 4 Core Weight: 1 Total Weight: -191 0.01/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #10 0.01/0.05 c Core size: 4 Core Weight: 1 Total Weight: -190 0.01/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #11 0.01/0.05 c Core size: 4 Core Weight: 1 Total Weight: -189 0.01/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #12 0.01/0.05 c Core size: 4 Core Weight: 1 Total Weight: -188 0.01/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #13 0.01/0.06 c Core size: 4 Core Weight: 1 Total Weight: -187 0.01/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #14 0.01/0.06 c Core size: 4 Core Weight: 1 Total Weight: -186 0.01/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #15 0.01/0.07 c Core size: 4 Core Weight: 1 Total Weight: -185 0.01/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #16 0.01/0.07 c Core size: 4 Core Weight: 1 Total Weight: -184 0.01/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #17 0.01/0.07 c Core size: 4 Core Weight: 1 Total Weight: -183 0.01/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #18 0.01/0.08 c Core size: 4 Core Weight: 1 Total Weight: -182 0.01/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #19 0.01/0.08 c Core size: 4 Core Weight: 1 Total Weight: -181 0.01/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #20 0.01/0.09 c Core size: 4 Core Weight: 1 Total Weight: -180 0.01/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.01/0.09 c core #21 0.01/0.09 c Core size: 4 Core Weight: 1 Total Weight: -179 0.01/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.01/0.10 c core #22 0.01/0.10 c Core size: 4 Core Weight: 1 Total Weight: -178 0.01/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 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.101984 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.105983 s Remaining CPU time: 1799.89 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.109983 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.114982 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.118981 s Remaining CPU time: 1799.88 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.122981 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.12698 s Remaining CPU time: 1799.87 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.13098 s Remaining CPU time: 1799.87 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.135979 s Remaining CPU time: 1799.86 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.139978 s Remaining CPU time: 1799.86 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.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #34 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -166 0.09/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 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.151976 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.156976 s Remaining CPU time: 1799.84 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.160975 s Remaining CPU time: 1799.84 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.164974 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.168974 s Remaining CPU time: 1799.83 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.173973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #41 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -159 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 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.181972 s Remaining CPU time: 1799.82 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.185971 s Remaining CPU time: 1799.81 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.19097 s Remaining CPU time: 1799.81 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.19497 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.198969 s Remaining CPU time: 1799.8 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.201969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #48 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -152 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 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.210967 s Remaining CPU time: 1799.79 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.214967 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.218966 s Remaining CPU time: 1799.78 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.222966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #53 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -147 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 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.229965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #55 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -145 0.19/0.24 c Elapsed CPU time: 0.233964 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.237963 s Remaining CPU time: 1799.76 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.241963 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.245962 s Remaining CPU time: 1799.75 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.250961 s Remaining CPU time: 1799.75 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.254961 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.25996 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #62 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: -138 0.19/0.27 c Elapsed CPU time: 0.263959 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.267959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #64 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -136 0.19/0.28 c Elapsed CPU time: 0.272958 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.276957 s Remaining CPU time: 1799.72 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.281957 s Remaining CPU time: 1799.72 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.285956 s Remaining CPU time: 1799.71 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.290955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #69 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: -131 0.29/0.30 c Elapsed CPU time: 0.294955 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.298954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #71 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -129 0.29/0.31 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 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.308953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #73 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -127 0.29/0.32 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 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.316951 s Remaining CPU time: 1799.68 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.321951 s Remaining CPU time: 1799.68 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.32595 s Remaining CPU time: 1799.67 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.330949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #78 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -122 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 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.339948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #80 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -120 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 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.348946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #82 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -118 0.29/0.36 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 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.357945 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #84 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -116 0.29/0.37 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 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.366944 s Remaining CPU time: 1799.63 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.370943 s Remaining CPU time: 1799.63 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.375942 s Remaining CPU time: 1799.62 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.379942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #89 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: -111 0.29/0.39 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 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.38894 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #91 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: -109 0.39/0.40 c Elapsed CPU time: 0.39394 s Remaining CPU time: 1799.61 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.398939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #93 0.39/0.41 c Core size: 9 Core Weight: 1 Total Weight: -107 0.39/0.41 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #94 0.39/0.41 c Core size: 9 Core Weight: 1 Total Weight: -106 0.39/0.41 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #95 0.39/0.42 c Core size: 9 Core Weight: 1 Total Weight: -105 0.39/0.42 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #96 0.39/0.42 c Core size: 14 Core Weight: 1 Total Weight: -104 0.39/0.42 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #97 0.39/0.42 c Core size: 9 Core Weight: 1 Total Weight: -103 0.39/0.42 c Elapsed CPU time: 0.419936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #98 0.39/0.43 c Core size: 9 Core Weight: 1 Total Weight: -102 0.39/0.43 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #99 0.39/0.43 c Core size: 9 Core Weight: 1 Total Weight: -101 0.39/0.43 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #100 0.39/0.44 c Core size: 28 Core Weight: 1 Total Weight: -100 0.39/0.44 c Elapsed CPU time: 0.433934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #101 0.39/0.44 c Core size: 28 Core Weight: 1 Total Weight: -99 0.39/0.44 c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 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 | 438 3225 6781 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #102 0.39/0.45 c Core size: 21 Core Weight: 1 Total Weight: -98 0.39/0.45 c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 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 | 446 3226 6797 | 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.447931 s Remaining CPU time: 1799.55 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 | 456 3227 6817 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #104 0.39/0.46 c Core size: 31 Core Weight: 1 Total Weight: -96 0.39/0.46 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 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 | 468 3228 6841 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #105 0.39/0.46 c Core size: 21 Core Weight: 1 Total Weight: -95 0.39/0.46 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 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 | 476 3229 6857 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #106 0.39/0.47 c Core size: 26 Core Weight: 1 Total Weight: -94 0.39/0.47 c Elapsed CPU time: 0.461929 s Remaining CPU time: 1799.54 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 3230 6877 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #107 0.39/0.47 c Core size: 26 Core Weight: 1 Total Weight: -93 0.39/0.47 c Elapsed CPU time: 0.466929 s Remaining CPU time: 1799.53 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 | 496 3231 6897 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #108 0.39/0.48 c Core size: 16 Core Weight: 1 Total Weight: -92 0.39/0.48 c Elapsed CPU time: 0.470928 s Remaining CPU time: 1799.53 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 | 502 3232 6909 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #109 0.39/0.48 c Core size: 27 Core Weight: 1 Total Weight: -91 0.39/0.48 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 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 | 512 3233 6929 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #110 0.39/0.49 c Core size: 20 Core Weight: 1 Total Weight: -90 0.39/0.49 c Elapsed CPU time: 0.481926 s Remaining CPU time: 1799.52 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 | 520 3234 6945 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #111 0.39/0.49 c Core size: 22 Core Weight: 1 Total Weight: -89 0.39/0.49 c Elapsed CPU time: 0.486925 s Remaining CPU time: 1799.51 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 | 528 3235 6961 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #112 0.49/0.50 c Core size: 32 Core Weight: 1 Total Weight: -88 0.49/0.50 c Elapsed CPU time: 0.491925 s Remaining CPU time: 1799.51 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 | 540 3236 6985 | 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.497924 s Remaining CPU time: 1799.5 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 | 548 3237 7001 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #114 0.49/0.51 c Core size: 37 Core Weight: 1 Total Weight: -86 0.49/0.51 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 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 | 562 3238 7029 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #115 0.49/0.52 c Core size: 76 Core Weight: 1 Total Weight: -85 0.49/0.52 c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 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 | 587 3239 7079 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #116 0.49/0.52 c Core size: 92 Core Weight: 1 Total Weight: -84 0.49/0.52 c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 619 3240 7143 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #117 0.49/0.53 c Core size: 74 Core Weight: 1 Total Weight: -83 0.49/0.53 c Elapsed CPU time: 0.51992 s Remaining CPU time: 1799.48 s 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 644 3241 7193 | 5000 0 nan | 0.000 % | 0.49/0.54 c | 100 | 644 3241 7193 | 5500 100 12 | 66.212 % | 0.49/0.54 c | 250 | 644 3241 7193 | 6050 250 13 | 66.212 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #118 0.49/0.55 c Core size: 263 Core Weight: 1 Total Weight: -82 0.49/0.55 c Elapsed CPU time: 0.539917 s Remaining CPU time: 1799.46 s 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 714 3242 7333 | 5000 0 nan | 0.000 % | 0.49/0.56 c | 102 | 714 3242 7333 | 5500 102 26 | 63.866 % | 0.49/0.56 c | 255 | 714 3242 7333 | 6050 255 28 | 63.866 % | 0.49/0.58 c | 487 | 714 3242 7333 | 6655 487 29 | 63.866 % | 0.59/0.60 c | 829 | 714 3242 7333 | 7320 829 41 | 63.866 % | 0.59/0.64 c | 1338 | 714 3242 7333 | 8052 1338 51 | 63.866 % | 0.59/0.66 c =============================================================================== 0.59/0.67 c core #119 0.59/0.67 c Core size: 217 Core Weight: 1 Total Weight: -81 0.59/0.67 c Elapsed CPU time: 0.6549 s Remaining CPU time: 1799.35 s 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 765 3243 7435 | 5000 0 nan | 0.000 % | 0.59/0.68 c | 100 | 765 3243 7435 | 5500 100 26 | 62.260 % | 0.59/0.68 c | 252 | 765 3243 7435 | 6050 252 24 | 62.260 % | 0.69/0.70 c | 477 | 764 3243 7435 | 6655 475 38 | 62.309 % | 0.69/0.72 c | 814 | 763 3243 7435 | 7320 811 52 | 62.358 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #120 0.69/0.75 c Core size: 450 Core Weight: 1 Total Weight: -80 0.69/0.75 c Elapsed CPU time: 0.734888 s Remaining CPU time: 1799.27 s 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 864 3244 7633 | 5000 0 nan | 0.000 % | 0.69/0.76 c | 100 | 864 3244 7633 | 5500 100 84 | 59.360 % | 0.69/0.77 c | 250 | 864 3244 7633 | 6050 250 73 | 59.360 % | 0.69/0.78 c | 475 | 864 3244 7633 | 6655 475 48 | 59.360 % | 0.79/0.80 c | 813 | 864 3244 7633 | 7320 813 45 | 59.360 % | 0.79/0.83 c | 1319 | 864 3244 7633 | 8052 1319 41 | 59.360 % | 0.79/0.88 c | 2079 | 864 3244 7633 | 8857 2079 44 | 59.360 % | 1.00/1.03 c | 3222 | 863 3244 7633 | 9743 3218 59 | 59.407 % | 1.09/1.13 c =============================================================================== 1.09/1.15 c core #121 1.09/1.15 c Core size: 408 Core Weight: 1 Total Weight: -79 1.09/1.15 c Elapsed CPU time: 1.12783 s Remaining CPU time: 1798.87 s 1.09/1.16 c ============================[ Search Statistics ]============================== 1.09/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.16 c =============================================================================== 1.09/1.16 c | 0 | 947 3245 7799 | 5000 0 nan | 0.000 % | 1.09/1.17 c | 101 | 947 3245 7799 | 5500 101 88 | 57.130 % | 1.09/1.18 c | 252 | 947 3245 7799 | 6050 252 71 | 57.130 % | 1.09/1.19 c | 477 | 947 3245 7799 | 6655 477 60 | 57.130 % | 1.19/1.21 c | 819 | 947 3245 7799 | 7320 819 54 | 57.130 % | 1.19/1.25 c | 1325 | 947 3245 7799 | 8052 1325 65 | 57.130 % | 1.29/1.34 c | 2084 | 947 3245 7799 | 8857 2084 80 | 57.130 % | 1.49/1.55 c | 3224 | 947 3245 7799 | 9743 3224 104 | 57.130 % | 1.68/1.77 c | 4933 | 947 3245 7799 | 10717 4933 98 | 57.130 % | 2.09/2.13 c | 7495 | 947 3245 7799 | 11789 7495 94 | 57.130 % | 2.78/2.86 c | 11341 | 947 3245 7799 | 12968 11341 96 | 57.130 % | 4.40/4.45 c | 17109 | 947 3245 7799 | 14265 9925 114 | 57.130 % | 8.59/8.61 c | 25758 | 947 3245 7799 | 15692 10757 188 | 57.130 % | 13.89/13.92 c | 38732 | 947 3245 7799 | 17261 15183 142 | 57.130 % | 21.99/22.07 c | 58194 | 947 3245 7799 | 18987 15998 123 | 57.130 % | 34.17/34.23 c | 87392 | 947 3245 7799 | 20886 14669 115 | 57.130 % | 65.87/65.90 c | 131181 | 946 3245 7799 | 22974 13883 211 | 57.175 % | 68.96/69.02 c =============================================================================== 71.16/71.29 c core #122 71.16/71.29 c Core size: 818 Core Weight: 1 Total Weight: -78 71.16/71.29 c Elapsed CPU time: 70.8332 s Remaining CPU time: 1729.17 s 71.36/71.44 c ============================[ Search Statistics ]============================== 71.36/71.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 71.36/71.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 71.36/71.44 c =============================================================================== 71.36/71.44 c | 0 | 1088 3246 8081 | 5000 0 nan | 0.000 % | 71.36/71.46 c | 103 | 1088 3246 8081 | 5500 103 37 | 53.702 % | 71.36/71.48 c | 253 | 1088 3246 8081 | 6050 253 38 | 53.702 % | 71.36/71.49 c | 479 | 1088 3246 8081 | 6655 479 35 | 53.702 % | 71.47/71.50 c | 818 | 1088 3246 8081 | 7320 818 37 | 53.702 % | 71.47/71.54 c | 1326 | 1088 3246 8081 | 8052 1326 49 | 53.702 % | 71.56/71.61 c | 2088 | 1088 3246 8081 | 8857 2088 63 | 53.702 % | 71.66/71.75 c | 3227 | 1088 3246 8081 | 9743 3227 73 | 53.702 % | 71.96/72.01 c | 4936 | 1088 3246 8081 | 10717 4936 85 | 53.702 % | 72.47/72.50 c | 7500 | 1088 3246 8081 | 11789 7500 96 | 53.702 % | 73.16/73.22 c | 11345 | 1088 3246 8081 | 12968 11345 95 | 53.702 % | 74.96/75.03 c | 17111 | 1088 3246 8081 | 14265 9902 106 | 53.702 % | 77.86/77.99 c | 25763 | 1088 3246 8081 | 15692 10683 119 | 53.702 % | 83.56/83.61 c | 38738 | 1088 3246 8081 | 17261 15081 177 | 53.702 % | 96.16/96.25 c | 58199 | 1088 3246 8081 | 18987 15861 271 | 53.702 % | 110.85/110.96 c | 87391 | 1088 3246 8081 | 20886 14578 235 | 53.702 % | 136.13/136.24 c | 131183 | 1088 3246 8081 | 22974 13660 201 | 53.702 % | 194.62/194.74 c | 196870 | 1088 3246 8081 | 25272 18180 347 | 53.702 % | 271.19/271.35 c =============================================================================== 278.49/278.69 c core #123 278.49/278.69 c Core size: 856 Core Weight: 1 Total Weight: -77 278.49/278.69 c Elapsed CPU time: 277.08 s Remaining CPU time: 1522.92 s 278.88/279.00 c ============================[ Search Statistics ]============================== 278.88/279.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 278.88/279.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 278.88/279.00 c =============================================================================== 278.88/279.00 c | 0 | 1217 3247 8339 | 5000 0 nan | 0.000 % | 278.88/279.06 c | 101 | 1217 3247 8339 | 5500 101 86 | 50.908 % | 278.88/279.07 c | 251 | 1217 3247 8339 | 6050 251 60 | 50.908 % | 278.88/279.08 c | 477 | 1217 3247 8339 | 6655 477 52 | 50.908 % | 278.99/279.11 c | 814 | 1217 3247 8339 | 7320 814 54 | 50.908 % | 278.99/279.16 c | 1325 | 1217 3247 8339 | 8052 1325 61 | 50.908 % | 279.08/279.26 c | 2084 | 1217 3247 8339 | 8857 2084 81 | 50.908 % | 279.28/279.41 c | 3225 | 1217 3247 8339 | 9743 3225 97 | 50.908 % | 279.69/279.83 c | 4933 | 1217 3247 8339 | 10717 4933 115 | 50.908 % | 280.39/280.51 c | 7495 | 1217 3247 8339 | 11789 7495 118 | 50.908 % | 281.39/281.50 c | 11343 | 1217 3247 8339 | 12968 11343 125 | 50.908 % | 283.78/283.90 c | 17110 | 1217 3247 8339 | 14265 9940 150 | 50.908 % | 288.38/288.59 c | 25759 | 1217 3247 8339 | 15692 10759 185 | 50.908 % | 293.28/293.41 c | 38734 | 1217 3247 8339 | 17261 15147 124 | 50.908 % | 303.18/303.38 c | 58196 | 1217 3247 8339 | 18987 15940 178 | 50.908 % | 318.17/318.38 c | 87388 | 1217 3247 8339 | 20886 14554 117 | 50.908 % | 354.07/354.24 c | 131180 | 1217 3247 8339 | 22974 13620 240 | 50.908 % | 407.24/407.45 c | 196864 | 1217 3247 8339 | 25272 18264 326 | 50.908 % | 482.91/483.12 c | 295390 | 1217 3247 8339 | 27799 21956 189 | 50.908 % | 655.58/656.28 c | 443180 | 1217 3247 8339 | 30579 14303 343 | 50.909 % | 659.78/660.45 c =============================================================================== 674.08/674.74 c core #124 674.08/674.74 c Core size: 915 Core Weight: 1 Total Weight: -76 674.08/674.74 c Elapsed CPU time: 670.754 s Remaining CPU time: 1129.25 s 674.57/675.27 c ============================[ Search Statistics ]============================== 674.57/675.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 674.57/675.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 674.57/675.27 c =============================================================================== 674.57/675.27 c | 0 | 1356 3248 8617 | 5000 0 nan | 0.000 % | 674.68/675.33 c | 100 | 1356 3248 8617 | 5500 100 65 | 48.205 % | 674.68/675.35 c | 250 | 1356 3248 8617 | 6050 250 53 | 48.205 % | 674.68/675.40 c | 479 | 1356 3248 8617 | 6655 479 55 | 48.205 % | 674.78/675.44 c | 817 | 1356 3248 8617 | 7320 817 75 | 48.205 % | 674.87/675.50 c | 1323 | 1356 3248 8617 | 8052 1323 82 | 48.205 % | 674.97/675.65 c | 2084 | 1356 3248 8617 | 8857 2084 101 | 48.205 % | 675.27/675.97 c | 3223 | 1356 3248 8617 | 9743 3223 115 | 48.205 % | 675.67/676.40 c | 4932 | 1356 3248 8617 | 10717 4932 117 | 48.205 % | 676.67/677.31 c | 7494 | 1356 3248 8617 | 11789 7494 129 | 48.205 % | 678.67/679.38 c | 11342 | 1356 3248 8617 | 12968 11342 143 | 48.205 % | 681.96/682.68 c | 17112 | 1356 3248 8617 | 14265 9927 136 | 48.205 % | 685.47/686.12 c | 25761 | 1356 3248 8617 | 15692 10739 136 | 48.205 % | 693.47/694.17 c | 38737 | 1356 3248 8617 | 17261 15167 188 | 48.205 % | 704.86/705.58 c | 58198 | 1356 3248 8617 | 18987 15991 221 | 48.205 % | 724.95/725.67 c | 87392 | 1356 3248 8617 | 20886 14586 226 | 48.205 % | 766.13/766.83 c | 131184 | 1356 3248 8617 | 22974 13583 234 | 48.205 % | 831.11/831.88 c | 196868 | 1356 3248 8617 | 25272 18124 472 | 48.205 % | 932.68/933.47 c | 295396 | 1356 3248 8617 | 27799 20464 299 | 48.205 % | 1185.39/1186.29 c | 443191 | 1356 3248 8617 | 30579 29315 416 | 48.205 % |
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-1875373-1245203504/watcher-1875373-1245203504 -o /tmp/evaluation-result-1875373-1245203504/solver-1875373-1245203504 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875373-1245203504.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/65 17333 /proc/meminfo: memFree=1857136/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=2784 CPUtime=0 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 252 0 0 0 0 0 0 0 20 0 1 0 187949322 2850816 236 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 696 236 126 292 0 375 0 [startup+0.016994 s] /proc/loadavg: 0.99 0.98 0.99 3/65 17333 /proc/meminfo: memFree=1857136/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=3076 CPUtime=0.01 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 387 0 0 0 1 0 0 0 20 0 1 0 187949322 3149824 345 1992294400 134512640 135709839 4294956240 18446744073709551615 134571162 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 769 345 134 292 0 474 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3076 [startup+0.102008 s] /proc/loadavg: 0.99 0.98 0.99 3/65 17333 /proc/meminfo: memFree=1857136/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=5096 CPUtime=0.09 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 872 0 0 0 9 0 0 0 20 0 1 0 187949322 5218304 830 1992294400 134512640 135709839 4294956240 18446744073709551615 135167084 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 1274 830 134 292 0 979 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5096 [startup+0.301046 s] /proc/loadavg: 0.99 0.98 0.99 3/65 17333 /proc/meminfo: memFree=1857136/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=8828 CPUtime=0.29 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 1829 0 0 0 29 0 0 0 22 0 1 0 187949322 9039872 1787 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 2207 1787 134 292 0 1912 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8828 [startup+0.701121 s] /proc/loadavg: 0.99 0.98 0.99 3/65 17333 /proc/meminfo: memFree=1857136/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=14312 CPUtime=0.69 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 3161 0 0 0 68 1 0 0 25 0 1 0 187949322 14655488 3119 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 3578 3119 136 292 0 3283 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14312 [startup+1.50127 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17334 /proc/meminfo: memFree=1844456/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=15944 CPUtime=1.49 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 3598 0 0 0 146 3 0 0 25 0 1 0 187949322 16326656 3556 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 3986 3556 136 292 0 3691 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15944 [startup+3.10157 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17334 /proc/meminfo: memFree=1841128/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=21308 CPUtime=3.09 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 4928 0 0 0 303 6 0 0 25 0 1 0 187949322 21819392 4886 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 5327 4886 136 292 0 5032 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21308 [startup+6.30117 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17334 /proc/meminfo: memFree=1831984/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=29112 CPUtime=6.29 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 6877 0 0 0 622 7 0 0 25 0 1 0 187949322 29810688 6835 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 7278 6835 136 292 0 6983 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29112 [startup+12.7024 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17334 /proc/meminfo: memFree=1818736/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=41812 CPUtime=12.68 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 10054 0 0 0 1257 11 0 0 25 0 1 0 187949322 42815488 10012 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 10453 10013 136 292 0 10158 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41812 [startup+25.5017 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17334 /proc/meminfo: memFree=1793392/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=66028 CPUtime=25.48 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 16112 0 0 0 2528 20 0 0 25 0 1 0 187949322 67612672 16070 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 16507 16070 136 292 0 16212 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 66028 [startup+51.1015 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17336 /proc/meminfo: memFree=1746672/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=112816 CPUtime=51.07 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 27802 0 0 0 5073 34 0 0 25 0 1 0 187949322 115523584 27760 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 28204 27760 136 292 0 27909 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 112816 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17336 /proc/meminfo: memFree=1690608/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=168248 CPUtime=102.25 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 41667 0 0 0 10162 63 0 0 25 0 1 0 187949322 172285952 41625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 42062 41625 136 292 0 41767 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 168248 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17336 /proc/meminfo: memFree=1565744/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=293976 CPUtime=162.23 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 73074 0 0 0 16125 98 0 0 25 0 1 0 187949322 301031424 73032 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 73494 73032 136 292 0 73199 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 293976 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17336 /proc/meminfo: memFree=1450352/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=408088 CPUtime=222.2 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 101597 0 0 0 22089 131 0 0 25 0 1 0 187949322 417882112 101555 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 102022 101555 136 292 0 101727 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 408088 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17336 /proc/meminfo: memFree=1377904/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=480340 CPUtime=282.18 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 119623 0 0 0 28064 154 0 0 25 0 1 0 187949322 491868160 119581 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 120085 119581 136 292 0 119790 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 480340 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17336 /proc/meminfo: memFree=1358704/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=499744 CPUtime=342.16 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 124544 0 0 0 34034 182 0 0 25 0 1 0 187949322 511737856 124502 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 124936 124502 136 292 0 124641 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 499744 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17336 /proc/meminfo: memFree=1260208/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=598968 CPUtime=402.14 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 149328 0 0 0 39999 215 0 0 25 0 1 0 187949322 613343232 149286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 149742 149286 136 292 0 149447 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 598968 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17336 /proc/meminfo: memFree=1166064/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=691920 CPUtime=462.12 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 172538 0 0 0 45965 247 0 0 25 0 1 0 187949322 708526080 172496 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 172980 172496 136 292 0 172685 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 691920 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17336 /proc/meminfo: memFree=1059568/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=800328 CPUtime=522.1 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 199584 0 0 0 51931 279 0 0 25 0 1 0 187949322 819535872 199542 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 200082 199542 136 292 0 199787 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 800328 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 17342 /proc/meminfo: memFree=943728/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=914384 CPUtime=582.07 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 228101 0 0 0 57899 308 0 0 25 0 1 0 187949322 936329216 228059 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 228596 228059 136 292 0 228301 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 914384 [startup+642.302 s] /proc/loadavg: 1.11 1.02 1.00 2/66 17838 /proc/meminfo: memFree=844592/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=980472 CPUtime=641.68 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 244625 0 0 0 63840 328 0 0 25 0 1 0 187949322 1004003328 244583 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 245118 244583 136 292 0 244823 0 Current children cumulated CPU time (s) 641.68 Current children cumulated vsize (KiB) 980472 [startup+702.301 s] /proc/loadavg: 1.04 1.01 1.00 2/66 17838 /proc/meminfo: memFree=806064/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1018484 CPUtime=701.66 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 254259 0 0 0 69816 350 0 0 25 0 1 0 187949322 1042927616 254188 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 254621 254188 136 292 0 254326 0 Current children cumulated CPU time (s) 701.66 Current children cumulated vsize (KiB) 1018484 [startup+762.305 s] /proc/loadavg: 1.01 1.00 1.00 2/66 17838 /proc/meminfo: memFree=754800/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1069748 CPUtime=761.65 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 267048 0 0 0 75786 379 0 0 25 0 1 0 187949322 1095421952 266977 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 267437 266977 136 292 0 267142 0 Current children cumulated CPU time (s) 761.65 Current children cumulated vsize (KiB) 1069748 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=671152/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1154584 CPUtime=821.62 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 288245 0 0 0 81754 408 0 0 25 0 1 0 187949322 1182294016 288174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 288646 288174 136 292 0 288351 0 Current children cumulated CPU time (s) 821.62 Current children cumulated vsize (KiB) 1154584 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=592560/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1231852 CPUtime=881.6 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 307569 0 0 0 87729 431 0 0 25 0 1 0 187949322 1261416448 307498 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 307963 307498 136 292 0 307668 0 Current children cumulated CPU time (s) 881.6 Current children cumulated vsize (KiB) 1231852 [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=506608/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1318028 CPUtime=941.57 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 329097 0 0 0 93696 461 0 0 25 0 1 0 187949322 1349660672 329026 1992294400 134512640 135709839 4294956240 18446744073709551615 134573906 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 329507 329026 136 292 0 329212 0 Current children cumulated CPU time (s) 941.57 Current children cumulated vsize (KiB) 1318028 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=427504/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1397124 CPUtime=1001.55 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 348810 0 0 0 99673 482 0 0 25 0 1 0 187949322 1430654976 348739 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 349281 348739 136 292 0 348986 0 Current children cumulated CPU time (s) 1001.55 Current children cumulated vsize (KiB) 1397124 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=356592/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1467828 CPUtime=1061.53 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 366477 0 0 0 105650 503 0 0 25 0 1 0 187949322 1503055872 366406 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 366957 366406 136 292 0 366662 0 Current children cumulated CPU time (s) 1061.53 Current children cumulated vsize (KiB) 1467828 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=296752/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1527868 CPUtime=1121.51 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 381482 0 0 0 111630 521 0 0 25 0 1 0 187949322 1564536832 381411 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 381967 381411 136 292 0 381672 0 Current children cumulated CPU time (s) 1121.51 Current children cumulated vsize (KiB) 1527868 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=217840/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1606956 CPUtime=1181.49 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 401222 0 0 0 117607 542 0 0 25 0 1 0 187949322 1645522944 401151 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 401739 401151 136 292 0 401444 0 Current children cumulated CPU time (s) 1181.49 Current children cumulated vsize (KiB) 1606956 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=146288/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1678116 CPUtime=1241.46 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 419035 0 0 0 123587 559 0 0 25 0 1 0 187949322 1718390784 418964 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 419529 418964 136 292 0 419234 0 Current children cumulated CPU time (s) 1241.46 Current children cumulated vsize (KiB) 1678116 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=63152/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1760404 CPUtime=1301.45 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 439596 0 0 0 129559 586 0 0 25 0 1 0 187949322 1802653696 439525 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 440101 439525 136 292 0 439806 0 Current children cumulated CPU time (s) 1301.45 Current children cumulated vsize (KiB) 1760404 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1353.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=16304/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=1843200 CPUtime=1352.38 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4194304 460286 0 0 0 134624 614 0 0 25 0 1 0 187949322 1887436800 460215 1992294400 134512640 135709839 4294956240 18446744073709551615 134573754 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 460800 460215 136 292 0 460505 0 Current children cumulated CPU time (s) 1352.38 Current children cumulated vsize (KiB) 1843200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1353.41 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=16304/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=0 CPUtime=1352.48 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4195332 460286 0 0 0 134624 624 0 0 25 0 1 0 187949322 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1352.48 Current children cumulated vsize (KiB) 0 [startup+1353.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 17838 /proc/meminfo: memFree=16304/2055920 swapFree=4192812/4192956 [pid=17333] ppid=17331 vsize=0 CPUtime=1352.57 /proc/17333/stat : 17333 (wbo) R 17331 17333 16865 0 -1 4195332 460286 0 0 0 134624 633 0 0 25 0 1 0 187949322 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/17333/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1352.57 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1353.58 CPU time (s): 1352.66 CPU user time (s): 1346.25 CPU system time (s): 6.41302 CPU usage (%): 99.932 Max. virtual memory (cumulated for all children) (KiB): 1843200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1346.25 system time used= 6.41303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460286 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= 3 involuntary context switches= 2495 runsolver used 1.44178 second user time and 3.50547 second system time The end
Begin job on node81 at 2009-06-17 03:51:44 IDJOB=1875373 IDBENCH=48213 IDSOLVER=698 FILE ID=node81/1875373-1245203504 PBS_JOBID= 9368328 Free space on /tmp= 126776 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_4.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-1875373-1245203504/watcher-1875373-1245203504 -o /tmp/evaluation-result-1875373-1245203504/solver-1875373-1245203504 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875373-1245203504.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 69a7dda5c80f9dda65f29fb6eb76eed7 RANDOM SEED=938565507 node81.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.268 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.268 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: 2055920 kB MemFree: 1857680 kB Buffers: 39260 kB Cached: 87628 kB SwapCached: 0 kB Active: 47688 kB Inactive: 94124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857680 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2416 kB Writeback: 0 kB Mapped: 24644 kB Slab: 42156 kB Committed_AS: 107028 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875373-1245203504.opb Free space on /tmp at the end= 126772 MiB End job on node81 at 2009-06-17 04:14:19