Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1383.32 | 1383.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_3.opb |
MD5SUM | 60cf9918356073587dd2c65f46896dfb |
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 | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
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 | 20 |
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) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 1244 |
Sum of products size | 2488 |
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-1875333-1245199236.opb. 0.00/0.00 c Instance file HOME/instance-1875333-1245199236.opb 0.00/0.00 c File size is 102565 bytes. 0.00/0.01 c Highest Coefficient sum: 20 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: 1444 | 0.00/0.01 c | Number Clauses: 1444 | 0.00/0.01 c | Number Cardinality: 400 | 0.00/0.01 c | Number PB Constraints: 1244 | 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.00/0.02 c core #2 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -198 0.00/0.02 c Elapsed CPU time: 0.018997 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.022996 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.026995 s Remaining CPU time: 1799.97 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.030995 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.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #7 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -193 0.00/0.04 c Elapsed CPU time: 0.038994 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.042993 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.046992 s Remaining CPU time: 1799.95 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.051992 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.055991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #12 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -188 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 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.06399 s Remaining CPU time: 1799.94 s 0.06/0.06 c core #14 0.06/0.06 c Core size: 4 Core Weight: 1 Total Weight: -186 0.06/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #15 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: -185 0.06/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #16 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: -184 0.06/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #17 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: -183 0.06/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #18 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: -182 0.06/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.06/0.09 c core #19 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: -181 0.06/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #20 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: -180 0.06/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #21 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: -179 0.06/0.09 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #22 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -178 0.09/0.10 c Elapsed CPU time: 0.101984 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.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #24 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: -176 0.09/0.11 c Elapsed CPU time: 0.109983 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.113982 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.117982 s Remaining CPU time: 1799.88 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.121981 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.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #29 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -171 0.09/0.13 c Elapsed CPU time: 0.13098 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.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #31 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: -169 0.09/0.14 c Elapsed CPU time: 0.138978 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.143978 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.147977 s Remaining CPU time: 1799.85 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.152976 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.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #36 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: -164 0.09/0.16 c Elapsed CPU time: 0.161975 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.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #38 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: -162 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 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.174973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #40 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -160 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 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.183972 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.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #43 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: -157 0.09/0.19 c Elapsed CPU time: 0.19297 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.19697 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #45 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -155 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #46 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -154 0.19/0.20 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #47 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -153 0.19/0.21 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 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.215967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #49 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -151 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #50 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -150 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #51 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -149 0.19/0.23 c Elapsed CPU time: 0.228965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #52 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -148 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 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.237963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #54 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -146 0.19/0.24 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 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.246962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #56 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -144 0.19/0.25 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #57 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -143 0.19/0.25 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #58 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -142 0.19/0.26 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #59 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -141 0.19/0.26 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #60 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: -140 0.19/0.27 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #61 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: -139 0.19/0.27 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #62 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -138 0.19/0.28 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #63 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -137 0.19/0.28 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #64 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -136 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #65 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -135 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #66 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -134 0.19/0.29 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #67 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: -133 0.29/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #68 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: -132 0.29/0.30 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #69 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -131 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #70 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -130 0.29/0.31 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #71 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -129 0.29/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #72 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -128 0.29/0.32 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #73 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: -127 0.29/0.33 c Elapsed CPU time: 0.328949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #74 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: -126 0.29/0.33 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #75 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -125 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #76 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -124 0.29/0.34 c Elapsed CPU time: 0.341948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #77 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -123 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #78 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -122 0.29/0.35 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #79 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -121 0.29/0.36 c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #80 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -120 0.29/0.36 c Elapsed CPU time: 0.360945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #81 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -119 0.29/0.36 c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #82 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -118 0.29/0.37 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #83 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -117 0.29/0.37 c Elapsed CPU time: 0.375942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #84 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -116 0.29/0.38 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #85 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -115 0.29/0.38 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #86 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: -114 0.29/0.39 c Elapsed CPU time: 0.38994 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #87 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: -113 0.29/0.39 c Elapsed CPU time: 0.39394 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #88 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: -112 0.39/0.40 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #89 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: -111 0.39/0.40 c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #90 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -110 0.39/0.41 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #91 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -109 0.39/0.41 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #92 0.39/0.42 c Core size: 4 Core Weight: 1 Total Weight: -108 0.39/0.42 c Elapsed CPU time: 0.417936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #93 0.39/0.42 c Core size: 4 Core Weight: 1 Total Weight: -107 0.39/0.42 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #94 0.39/0.43 c Core size: 9 Core Weight: 1 Total Weight: -106 0.39/0.43 c Elapsed CPU time: 0.427934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #95 0.39/0.43 c Core size: 9 Core Weight: 1 Total Weight: -105 0.39/0.43 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #96 0.39/0.44 c Core size: 9 Core Weight: 1 Total Weight: -104 0.39/0.44 c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #97 0.39/0.44 c Core size: 9 Core Weight: 1 Total Weight: -103 0.39/0.44 c Elapsed CPU time: 0.441932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #98 0.39/0.45 c Core size: 24 Core Weight: 1 Total Weight: -102 0.39/0.45 c Elapsed CPU time: 0.445932 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #99 0.39/0.45 c Core size: 19 Core Weight: 1 Total Weight: -101 0.39/0.45 c Elapsed CPU time: 0.449931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #100 0.39/0.46 c Core size: 13 Core Weight: 1 Total Weight: -100 0.39/0.46 c Elapsed CPU time: 0.45393 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #101 0.39/0.46 c Core size: 13 Core Weight: 1 Total Weight: -99 0.39/0.46 c Elapsed CPU time: 0.45793 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 | 430 3189 6670 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #102 0.39/0.47 c Core size: 30 Core Weight: 1 Total Weight: -98 0.39/0.47 c Elapsed CPU time: 0.462929 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 | 441 3190 6692 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #103 0.39/0.47 c Core size: 22 Core Weight: 1 Total Weight: -97 0.39/0.47 c Elapsed CPU time: 0.467928 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 | 449 3191 6708 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #104 0.39/0.48 c Core size: 31 Core Weight: 1 Total Weight: -96 0.39/0.48 c Elapsed CPU time: 0.472928 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 | 461 3192 6732 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #105 0.39/0.48 c Core size: 68 Core Weight: 1 Total Weight: -95 0.39/0.48 c Elapsed CPU time: 0.478927 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 | 487 3193 6784 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #106 0.39/0.49 c Core size: 20 Core Weight: 1 Total Weight: -94 0.39/0.49 c Elapsed CPU time: 0.482926 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 | 495 3194 6800 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #107 0.39/0.49 c Core size: 26 Core Weight: 1 Total Weight: -93 0.39/0.49 c Elapsed CPU time: 0.488925 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 | 505 3195 6820 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #108 0.49/0.50 c Core size: 25 Core Weight: 1 Total Weight: -92 0.49/0.50 c Elapsed CPU time: 0.492925 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 | 515 3196 6840 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #109 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: -91 0.49/0.50 c Elapsed CPU time: 0.498924 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 | 523 3197 6856 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #110 0.49/0.51 c Core size: 34 Core Weight: 1 Total Weight: -90 0.49/0.51 c Elapsed CPU time: 0.503923 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 | 536 3198 6882 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #111 0.49/0.51 c Core size: 31 Core Weight: 1 Total Weight: -89 0.49/0.51 c Elapsed CPU time: 0.508922 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 | 548 3199 6906 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #112 0.49/0.52 c Core size: 47 Core Weight: 1 Total Weight: -88 0.49/0.52 c Elapsed CPU time: 0.514921 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 | 566 3200 6942 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #113 0.49/0.52 c Core size: 35 Core Weight: 1 Total Weight: -87 0.49/0.52 c Elapsed CPU time: 0.518921 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 | 579 3201 6968 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #114 0.49/0.53 c Core size: 64 Core Weight: 1 Total Weight: -86 0.49/0.53 c Elapsed CPU time: 0.52392 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 | 603 3202 7016 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #115 0.49/0.54 c Core size: 106 Core Weight: 1 Total Weight: -85 0.49/0.54 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 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 | 641 3203 7092 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #116 0.49/0.54 c Core size: 141 Core Weight: 1 Total Weight: -84 0.49/0.54 c Elapsed CPU time: 0.535918 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 | 684 3204 7178 | 5000 0 nan | 0.000 % | 0.49/0.55 c | 100 | 684 3204 7178 | 5500 100 55 | 64.523 % | 0.49/0.57 c | 252 | 684 3204 7178 | 6050 252 61 | 64.523 % | 0.49/0.58 c | 478 | 684 3204 7178 | 6655 478 70 | 64.524 % | 0.49/0.58 c =============================================================================== 0.49/0.59 c core #117 0.49/0.59 c Core size: 299 Core Weight: 1 Total Weight: -83 0.49/0.59 c Elapsed CPU time: 0.576912 s Remaining CPU time: 1799.42 s 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 760 3205 7330 | 5000 0 nan | 0.000 % | 0.59/0.60 c | 101 | 760 3205 7330 | 5500 101 25 | 62.076 % | 0.59/0.61 c | 251 | 760 3205 7330 | 6050 251 30 | 62.076 % | 0.59/0.62 c | 476 | 746 3205 7330 | 6655 456 38 | 62.776 % | 0.59/0.64 c | 813 | 746 3205 7330 | 7320 793 36 | 62.774 % | 0.59/0.68 c | 1319 | 746 3205 7330 | 8052 1299 39 | 62.774 % | 0.69/0.75 c | 2081 | 745 3205 7330 | 8857 2055 46 | 62.825 % | 0.69/0.76 c =============================================================================== 0.69/0.77 c core #118 0.69/0.77 c Core size: 399 Core Weight: 1 Total Weight: -82 0.69/0.77 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 847 3206 7504 | 5000 0 nan | 0.000 % | 0.69/0.79 c | 100 | 847 3206 7504 | 5500 100 22 | 59.493 % | 0.69/0.79 c | 250 | 847 3206 7504 | 6050 250 23 | 59.493 % | 0.79/0.80 c | 476 | 847 3206 7504 | 6655 476 21 | 59.493 % | 0.79/0.82 c | 813 | 847 3206 7504 | 7320 813 32 | 59.493 % | 0.79/0.86 c | 1321 | 833 3206 7504 | 8052 949 25 | 60.163 % | 0.79/0.89 c =============================================================================== 0.89/0.90 c core #119 0.89/0.90 c Core size: 364 Core Weight: 1 Total Weight: -81 0.89/0.90 c Elapsed CPU time: 0.873867 s Remaining CPU time: 1799.13 s 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 924 3207 7658 | 5000 0 nan | 0.000 % | 0.89/0.91 c | 100 | 924 3207 7658 | 5500 100 122 | 57.380 % | 0.89/0.92 c | 250 | 924 3207 7658 | 6050 250 85 | 57.380 % | 0.89/0.94 c | 475 | 924 3207 7658 | 6655 475 69 | 57.380 % | 0.89/0.96 c | 812 | 924 3207 7658 | 7320 812 60 | 57.380 % | 0.89/1.00 c | 1319 | 924 3207 7658 | 8052 1319 62 | 57.380 % | 1.00/1.07 c | 2078 | 924 3207 7658 | 8857 2078 68 | 57.380 % | 1.19/1.23 c | 3217 | 924 3207 7658 | 9743 3217 84 | 57.380 % | 1.49/1.56 c | 4927 | 924 3207 7658 | 10717 4927 105 | 57.380 % | 1.99/2.03 c | 7492 | 924 3207 7658 | 11789 7492 100 | 57.380 % | 3.30/3.39 c | 11338 | 924 3207 7658 | 12968 11338 135 | 57.380 % | 4.30/4.34 c =============================================================================== 4.40/4.48 c core #120 4.40/4.48 c Core size: 657 Core Weight: 1 Total Weight: -80 4.40/4.48 c Elapsed CPU time: 4.40133 s Remaining CPU time: 1795.6 s 4.49/4.50 c ============================[ Search Statistics ]============================== 4.49/4.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.50 c =============================================================================== 4.49/4.50 c | 0 | 1041 3208 7892 | 5000 0 nan | 0.000 % | 4.49/4.51 c | 103 | 1041 3208 7892 | 5500 103 133 | 54.442 % | 4.49/4.52 c | 253 | 1041 3208 7892 | 6050 253 82 | 54.442 % | 4.49/4.54 c | 478 | 1041 3208 7892 | 6655 478 64 | 54.442 % | 4.49/4.56 c | 815 | 1041 3208 7892 | 7320 815 65 | 54.442 % | 4.59/4.60 c | 1323 | 1041 3208 7892 | 8052 1323 70 | 54.442 % | 4.59/4.68 c | 2083 | 1041 3208 7892 | 8857 2083 81 | 54.442 % | 4.78/4.85 c | 3222 | 1041 3208 7892 | 9743 3222 94 | 54.442 % | 5.19/5.22 c | 4931 | 1041 3208 7892 | 10717 4931 106 | 54.442 % | 6.28/6.33 c | 7497 | 1041 3208 7892 | 11789 7497 141 | 54.442 % | 8.49/8.57 c | 11342 | 1041 3208 7892 | 12968 11342 170 | 54.442 % | 11.99/12.05 c | 17108 | 1041 3208 7892 | 14265 9945 219 | 54.442 % | 18.59/18.64 c | 25758 | 1041 3208 7892 | 15692 10792 262 | 54.442 % | 27.48/27.58 c | 38737 | 1041 3208 7892 | 17261 15211 225 | 54.442 % | 37.17/37.24 c | 58201 | 1041 3208 7892 | 18987 16017 203 | 54.442 % | 51.48/51.57 c | 87393 | 1041 3208 7892 | 20886 14681 172 | 54.442 % | 85.06/85.19 c | 131182 | 1041 3208 7892 | 22974 13826 344 | 54.442 % | 121.75/121.84 c =============================================================================== 125.25/125.33 c core #121 125.25/125.33 c Core size: 698 Core Weight: 1 Total Weight: -79 125.25/125.33 c Elapsed CPU time: 124.422 s Remaining CPU time: 1675.58 s 125.45/125.52 c ============================[ Search Statistics ]============================== 125.45/125.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 125.45/125.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 125.45/125.52 c =============================================================================== 125.45/125.52 c | 0 | 1152 3209 8114 | 5000 0 nan | 0.000 % | 125.45/125.56 c | 100 | 1152 3209 8114 | 5500 100 110 | 51.920 % | 125.45/125.57 c | 250 | 1152 3209 8114 | 6050 250 73 | 51.920 % | 125.45/125.59 c | 475 | 1152 3209 8114 | 6655 475 53 | 51.920 % | 125.55/125.61 c | 814 | 1152 3209 8114 | 7320 814 46 | 51.920 % | 125.55/125.64 c | 1320 | 1152 3209 8114 | 8052 1320 44 | 51.920 % | 125.65/125.70 c | 2079 | 1152 3209 8114 | 8857 2079 44 | 51.920 % | 125.75/125.81 c | 3218 | 1152 3209 8114 | 9743 3218 48 | 51.920 % | 125.95/126.06 c | 4933 | 1152 3209 8114 | 10717 4933 65 | 51.920 % | 126.35/126.43 c | 7495 | 1152 3209 8114 | 11789 7495 67 | 51.920 % | 127.34/127.43 c | 11341 | 1152 3209 8114 | 12968 11341 81 | 51.920 % | 128.85/128.95 c | 17108 | 1152 3209 8114 | 14265 9894 91 | 51.920 % | 132.74/132.83 c =============================================================================== 133.14/133.22 c core #122 133.14/133.22 c Core size: 592 Core Weight: 1 Total Weight: -78 133.14/133.22 c Elapsed CPU time: 132.246 s Remaining CPU time: 1667.75 s 133.14/133.27 c ============================[ Search Statistics ]============================== 133.14/133.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 133.14/133.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 133.14/133.27 c =============================================================================== 133.14/133.27 c | 0 | 1263 3210 8336 | 5000 0 nan | 0.000 % | 133.14/133.29 c | 100 | 1263 3210 8336 | 5500 100 35 | 49.621 % | 133.24/133.30 c | 250 | 1263 3210 8336 | 6050 250 33 | 49.621 % | 133.24/133.31 c | 475 | 1263 3210 8336 | 6655 475 39 | 49.621 % | 133.24/133.34 c | 812 | 1263 3210 8336 | 7320 812 39 | 49.621 % | 133.24/133.38 c | 1319 | 1263 3210 8336 | 8052 1319 47 | 49.621 % | 133.35/133.47 c | 2078 | 1263 3210 8336 | 8857 2078 61 | 49.621 % | 133.55/133.64 c | 3217 | 1263 3210 8336 | 9743 3217 76 | 49.621 % | 133.84/133.98 c | 4926 | 1263 3210 8336 | 10717 4926 91 | 49.621 % | 134.54/134.68 c | 7488 | 1263 3210 8336 | 11789 7488 102 | 49.621 % | 136.25/136.39 c | 11332 | 1263 3210 8336 | 12968 11332 119 | 49.621 % | 138.75/138.83 c | 17101 | 1263 3210 8336 | 14265 9978 127 | 49.621 % | 143.64/143.75 c | 25752 | 1263 3210 8336 | 15692 10845 150 | 49.621 % | 154.34/154.41 c | 38730 | 1263 3210 8336 | 17261 15282 235 | 49.621 % | 164.44/164.52 c | 58191 | 1263 3210 8336 | 18987 16055 126 | 49.621 % | 178.83/178.95 c | 87386 | 1263 3210 8336 | 20886 14638 140 | 49.621 % | 206.02/206.19 c | 131178 | 1263 3210 8336 | 22974 13903 175 | 49.621 % | 251.81/252.00 c | 196863 | 1263 3210 8336 | 25272 18606 169 | 49.621 % | 309.48/309.67 c =============================================================================== 316.59/316.76 c core #123 316.59/316.76 c Core size: 869 Core Weight: 1 Total Weight: -77 316.59/316.76 c Elapsed CPU time: 314.635 s Remaining CPU time: 1485.36 s 316.88/317.05 c ============================[ Search Statistics ]============================== 316.88/317.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 316.88/317.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 316.88/317.05 c =============================================================================== 316.88/317.05 c | 0 | 1400 3211 8610 | 5000 0 nan | 0.000 % | 316.98/317.12 c | 101 | 1400 3211 8610 | 5500 101 64 | 47.050 % | 316.98/317.13 c | 251 | 1400 3211 8610 | 6050 251 43 | 47.050 % | 316.98/317.14 c | 476 | 1400 3211 8610 | 6655 476 43 | 47.050 % | 316.98/317.17 c | 813 | 1400 3211 8610 | 7320 813 52 | 47.050 % | 317.09/317.21 c | 1324 | 1400 3211 8610 | 8052 1324 53 | 47.050 % | 317.09/317.28 c | 2085 | 1400 3211 8610 | 8857 2085 58 | 47.050 % | 317.28/317.42 c | 3226 | 1400 3211 8610 | 9743 3226 69 | 47.050 % | 317.49/317.65 c | 4934 | 1400 3211 8610 | 10717 4934 81 | 47.050 % | 318.09/318.20 c | 7496 | 1400 3211 8610 | 11789 7496 96 | 47.050 % | 319.29/319.49 c | 11341 | 1400 3211 8610 | 12968 11341 123 | 47.050 % | 322.78/322.98 c | 17108 | 1400 3211 8610 | 14265 9927 191 | 47.050 % | 327.48/327.66 c | 25758 | 1400 3211 8610 | 15692 10765 155 | 47.050 % | 335.29/335.48 c | 38733 | 1400 3211 8610 | 17261 15126 190 | 47.050 % | 350.98/351.15 c | 58194 | 1400 3211 8610 | 18987 15915 231 | 47.050 % | 373.97/374.18 c | 87386 | 1400 3211 8610 | 20886 14603 261 | 47.050 % | 404.35/404.55 c | 131175 | 1400 3211 8610 | 22974 13610 202 | 47.050 % | 467.74/467.94 c | 196859 | 1400 3211 8610 | 25272 18450 288 | 47.050 % | 562.60/562.81 c | 295388 | 1400 3211 8610 | 27799 22370 184 | 47.050 % | 758.94/759.25 c | 443177 | 1400 3211 8610 | 30579 16071 392 | 47.050 % | 1066.53/1066.98 c | 664861 | 1400 3211 8610 | 33637 17169 483 | 47.050 % |
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-1875333-1245199236/watcher-1875333-1245199236 -o /tmp/evaluation-result-1875333-1245199236/solver-1875333-1245199236 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875333-1245199236.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/64 8692 /proc/meminfo: memFree=1809688/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=2780 CPUtime=0 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 187522844 2846720 234 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 695 234 125 292 0 374 0 [startup+0.0657679 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8692 /proc/meminfo: memFree=1809688/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=4204 CPUtime=0.06 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 660 0 0 0 6 0 0 0 18 0 1 0 187522844 4304896 618 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 1051 618 134 292 0 756 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4204 [startup+0.101774 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8692 /proc/meminfo: memFree=1809688/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=4912 CPUtime=0.09 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 833 0 0 0 9 0 0 0 18 0 1 0 187522844 5029888 791 1992294400 134512640 135709839 4294956240 18446744073709551615 134969950 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 1228 791 134 292 0 933 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4912 [startup+0.301804 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8692 /proc/meminfo: memFree=1809688/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=8612 CPUtime=0.29 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 1760 0 0 0 29 0 0 0 19 0 1 0 187522844 8818688 1718 1992294400 134512640 135709839 4294956240 18446744073709551615 134518508 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 2153 1718 134 292 0 1858 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8612 [startup+0.701865 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8692 /proc/meminfo: memFree=1809688/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=13476 CPUtime=0.69 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 2978 0 0 0 68 1 0 0 22 0 1 0 187522844 13799424 2936 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 3369 2936 136 292 0 3074 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13476 [startup+1.50199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1797648/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=16128 CPUtime=1.49 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 3645 0 0 0 145 4 0 0 25 0 1 0 187522844 16515072 3603 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 4032 3604 136 292 0 3737 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16128 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1793680/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=21144 CPUtime=3.09 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 4884 0 0 0 302 7 0 0 25 0 1 0 187522844 21651456 4842 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 5286 4842 136 292 0 4991 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21144 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1786640/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=25404 CPUtime=6.28 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 5962 0 0 0 619 9 0 0 25 0 1 0 187522844 26013696 5920 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 6351 5920 136 292 0 6056 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25404 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1774680/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=38044 CPUtime=12.69 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 9116 0 0 0 1255 14 0 0 25 0 1 0 187522844 38957056 9074 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 9511 9074 136 292 0 9216 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38044 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1751512/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=60684 CPUtime=25.48 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 14758 0 0 0 2527 21 0 0 25 0 1 0 187522844 62140416 14716 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 15171 14716 136 292 0 14876 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 60684 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1698072/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=114856 CPUtime=51.07 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 28302 0 0 0 5064 43 0 0 25 0 1 0 187522844 117612544 28260 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 28714 28260 136 292 0 28419 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 114856 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1596952/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=214708 CPUtime=102.26 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 53260 0 0 0 10150 76 0 0 25 0 1 0 187522844 219860992 53218 1992294400 134512640 135709839 4294956240 18446744073709551615 134600512 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 53677 53218 136 292 0 53382 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 214708 [startup+162.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 8693 /proc/meminfo: memFree=1542232/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=269636 CPUtime=162.24 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 67015 0 0 0 16115 109 0 0 25 0 1 0 187522844 276107264 66973 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 67409 66973 136 292 0 67114 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 269636 [startup+222.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 8693 /proc/meminfo: memFree=1440856/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=370268 CPUtime=222.22 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 92162 0 0 0 22067 155 0 0 25 0 1 0 187522844 379154432 92120 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 92567 92120 136 292 0 92272 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 370268 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1350296/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=461288 CPUtime=282.2 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 114875 0 0 0 28031 189 0 0 25 0 1 0 187522844 472358912 114833 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 115322 114833 136 292 0 115027 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 461288 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1290008/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=520988 CPUtime=342.17 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 129837 0 0 0 33998 219 0 0 25 0 1 0 187522844 533491712 129795 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 130247 129795 136 292 0 129952 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 520988 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1215320/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=595720 CPUtime=402.16 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 148538 0 0 0 39967 249 0 0 25 0 1 0 187522844 610017280 148496 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 148930 148496 136 292 0 148635 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 595720 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1136536/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=674112 CPUtime=462.13 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 168118 0 0 0 45936 277 0 0 25 0 1 0 187522844 690290688 168076 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 168528 168076 136 292 0 168233 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 674112 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=1049944/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=761788 CPUtime=522.11 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 190026 0 0 0 51906 305 0 0 25 0 1 0 187522844 780070912 189984 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 190447 189984 136 292 0 190152 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 761788 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8693 /proc/meminfo: memFree=962776/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=847948 CPUtime=582.1 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 211523 0 0 0 57871 339 0 0 25 0 1 0 187522844 868298752 211481 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 211987 211481 136 292 0 211692 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 847948 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=875416/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=934460 CPUtime=642.08 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 233141 0 0 0 63845 363 0 0 25 0 1 0 187522844 956887040 233099 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 233615 233099 136 292 0 233320 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 934460 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=814616/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=995604 CPUtime=702.05 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 248415 0 0 0 69820 385 0 0 25 0 1 0 187522844 1019498496 248373 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 248901 248373 136 292 0 248606 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 995604 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=743896/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1066072 CPUtime=762.04 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 265997 0 0 0 75799 405 0 0 25 0 1 0 187522844 1091657728 265955 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 266518 265955 136 292 0 266223 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 1066072 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=680216/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1130728 CPUtime=822.01 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 282174 0 0 0 81778 423 0 0 25 0 1 0 187522844 1157865472 282132 1992294400 134512640 135709839 4294956240 18446744073709551615 134573805 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 282682 282132 136 292 0 282387 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 1130728 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=589592/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1220308 CPUtime=881.99 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 304541 0 0 0 87751 448 0 0 25 0 1 0 187522844 1249595392 304499 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 305077 304499 136 292 0 304782 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 1220308 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=507032/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1303484 CPUtime=941.97 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 325325 0 0 0 93724 473 0 0 25 0 1 0 187522844 1334767616 325283 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 325871 325283 136 292 0 325576 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1303484 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=414488/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1395104 CPUtime=1001.96 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 348216 0 0 0 99694 502 0 0 25 0 1 0 187522844 1428586496 348174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 348776 348174 136 292 0 348481 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1395104 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=323160/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1487576 CPUtime=1061.94 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 371316 0 0 0 105668 526 0 0 25 0 1 0 187522844 1523277824 371274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 371894 371274 136 292 0 371599 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1487576 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=240984/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1568544 CPUtime=1121.92 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 391568 0 0 0 111643 549 0 0 25 0 1 0 187522844 1606189056 391526 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 392136 391526 136 292 0 391841 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1568544 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8695 /proc/meminfo: memFree=175128/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1635196 CPUtime=1181.9 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 408204 0 0 0 117619 571 0 0 25 0 1 0 187522844 1674440704 408162 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 408799 408162 136 292 0 408504 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1635196 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8701 /proc/meminfo: memFree=111320/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1698132 CPUtime=1241.87 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 423947 0 0 0 123593 594 0 0 25 0 1 0 187522844 1738887168 423905 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 424533 423905 136 292 0 424238 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1698132 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8701 /proc/meminfo: memFree=54232/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1754592 CPUtime=1301.86 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 438022 0 0 0 129568 618 0 0 25 0 1 0 187522844 1796702208 437980 1992294400 134512640 135709839 4294956240 18446744073709551615 134574218 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 438648 437980 136 292 0 438353 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1754592 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8701 /proc/meminfo: memFree=15384/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1819932 CPUtime=1361.83 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 454333 0 0 0 135541 642 0 0 25 0 1 0 187522844 1863610368 454291 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 454983 454291 136 292 0 454688 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1819932 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1383.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8701 /proc/meminfo: memFree=15000/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=1843292 CPUtime=1383.03 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4194304 460177 0 0 0 137652 651 0 0 25 0 1 0 187522844 1887531008 460135 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 460823 460135 136 292 0 460528 0 Current children cumulated CPU time (s) 1383.03 Current children cumulated vsize (KiB) 1843292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1383.61 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8701 /proc/meminfo: memFree=15000/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=0 CPUtime=1383.12 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4195332 460177 0 0 0 137652 660 0 0 25 0 1 0 187522844 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1383.12 Current children cumulated vsize (KiB) 0 [startup+1383.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 8702 /proc/meminfo: memFree=1265744/2055920 swapFree=4191900/4192956 [pid=8692] ppid=8690 vsize=0 CPUtime=1383.22 /proc/8692/stat : 8692 (wbo) R 8690 8692 8497 0 -1 4195332 460177 0 0 0 137652 670 0 0 25 0 1 0 187522844 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/8692/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1383.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1383.79 CPU time (s): 1383.32 CPU user time (s): 1376.53 CPU system time (s): 6.79797 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 1843292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1376.53 system time used= 6.79797 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460177 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= 2 involuntary context switches= 2066 runsolver used 1.11583 second user time and 2.84357 second system time The end
Begin job on node34 at 2009-06-17 02:40:36 IDJOB=1875333 IDBENCH=48173 IDSOLVER=698 FILE ID=node34/1875333-1245199236 PBS_JOBID= 9368338 Free space on /tmp= 66252 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_3.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-1875333-1245199236/watcher-1875333-1245199236 -o /tmp/evaluation-result-1875333-1245199236/solver-1875333-1245199236 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875333-1245199236.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb RANDOM SEED=1000494058 node34.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.263 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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1810232 kB Buffers: 49784 kB Cached: 122676 kB SwapCached: 260 kB Active: 66336 kB Inactive: 119424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1810232 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2404 kB Writeback: 0 kB Mapped: 21816 kB Slab: 45952 kB Committed_AS: 185188 kB PageTables: 1384 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-1875333-1245199236.opb Free space on /tmp at the end= 66252 MiB End job on node34 at 2009-06-17 03:03:41