Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.19 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-10teams.opb |
MD5SUM | 6db31fd4066996ff4f309d723fc2c237 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 904 |
Best CPU time to get the best result obtained on this benchmark | 50.2634 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 904 |
Optimality of the best value was proved | YES |
Number of variables | 1800 |
Total number of constraints | 215 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 215 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 72 |
Number of terms in the objective function | 1800 |
Biggest coefficient in the objective function | 86 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 41700 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 86 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 41700 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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-1875697-1245134524.opb. 0.00/0.00 c Instance file HOME/instance-1875697-1245134524.opb 0.00/0.00 c File size is 108800 bytes. 0.00/0.01 c Highest Coefficient sum: 74 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: 1800 | 0.00/0.01 c | Number Clauses: 1920 | 0.00/0.01 c | Number Cardinality: 220 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 41 Core Weight: 11 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 41 Core Weight: 13 Total Weight: 24 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 41 Core Weight: 15 Total Weight: 39 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: 41 Core Weight: 17 Total Weight: 56 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #5 0.00/0.03 c Core size: 41 Core Weight: 19 Total Weight: 75 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #6 0.00/0.03 c Core size: 41 Core Weight: 3 Total Weight: 78 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #7 0.00/0.03 c Core size: 41 Core Weight: 5 Total Weight: 83 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #8 0.00/0.04 c Core size: 81 Core Weight: 1 Total Weight: 84 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #9 0.00/0.04 c Core size: 41 Core Weight: 7 Total Weight: 91 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #10 0.00/0.04 c Core size: 41 Core Weight: 9 Total Weight: 100 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #11 0.00/0.05 c Core size: 81 Core Weight: 1 Total Weight: 101 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #12 0.00/0.05 c Core size: 41 Core Weight: 11 Total Weight: 112 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.05/0.05 c core #13 0.05/0.05 c Core size: 41 Core Weight: 13 Total Weight: 125 0.05/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.05/0.06 c core #14 0.05/0.06 c Core size: 81 Core Weight: 1 Total Weight: 126 0.05/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.05/0.06 c core #15 0.05/0.06 c Core size: 41 Core Weight: 15 Total Weight: 141 0.05/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.05/0.06 c core #16 0.05/0.06 c Core size: 41 Core Weight: 17 Total Weight: 158 0.05/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.05/0.07 c core #17 0.05/0.07 c Core size: 81 Core Weight: 1 Total Weight: 159 0.05/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.05/0.07 c core #18 0.05/0.07 c Core size: 41 Core Weight: 5 Total Weight: 164 0.05/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.05/0.08 c core #19 0.05/0.08 c Core size: 41 Core Weight: 7 Total Weight: 171 0.05/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.05/0.08 c core #20 0.05/0.08 c Core size: 41 Core Weight: 9 Total Weight: 180 0.05/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.05/0.08 c core #21 0.05/0.08 c Core size: 41 Core Weight: 11 Total Weight: 191 0.05/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.05/0.09 c core #22 0.05/0.09 c Core size: 41 Core Weight: 13 Total Weight: 204 0.05/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.05/0.09 c core #23 0.05/0.09 c Core size: 41 Core Weight: 15 Total Weight: 219 0.05/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.05/0.10 c core #24 0.05/0.10 c Core size: 41 Core Weight: 3 Total Weight: 222 0.05/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #25 0.09/0.10 c Core size: 41 Core Weight: 5 Total Weight: 227 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #26 0.09/0.10 c Core size: 41 Core Weight: 7 Total Weight: 234 0.09/0.10 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #27 0.09/0.11 c Core size: 121 Core Weight: 1 Total Weight: 235 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #28 0.09/0.11 c Core size: 41 Core Weight: 9 Total Weight: 244 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #29 0.09/0.12 c Core size: 41 Core Weight: 11 Total Weight: 255 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #30 0.09/0.12 c Core size: 237 Core Weight: 1 Total Weight: 256 0.09/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #31 0.09/0.13 c Core size: 41 Core Weight: 13 Total Weight: 269 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #32 0.09/0.13 c Core size: 41 Core Weight: 5 Total Weight: 274 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #33 0.09/0.14 c Core size: 41 Core Weight: 7 Total Weight: 281 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #34 0.09/0.14 c Core size: 41 Core Weight: 9 Total Weight: 290 0.09/0.14 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #35 0.09/0.15 c Core size: 41 Core Weight: 11 Total Weight: 301 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #36 0.09/0.15 c Core size: 41 Core Weight: 3 Total Weight: 304 0.09/0.15 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #37 0.09/0.16 c Core size: 41 Core Weight: 5 Total Weight: 309 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #38 0.09/0.16 c Core size: 41 Core Weight: 7 Total Weight: 316 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: 41 Core Weight: 9 Total Weight: 325 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #40 0.09/0.17 c Core size: 41 Core Weight: 5 Total Weight: 330 0.09/0.17 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #41 0.09/0.18 c Core size: 41 Core Weight: 7 Total Weight: 337 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #42 0.09/0.18 c Core size: 41 Core Weight: 3 Total Weight: 340 0.09/0.18 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #43 0.09/0.19 c Core size: 41 Core Weight: 5 Total Weight: 345 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #44 0.09/0.20 c Core size: 46 Core Weight: 1 Total Weight: 346 0.09/0.20 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: 90 Core Weight: 1 Total Weight: 347 0.19/0.20 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #46 0.19/0.21 c Core size: 46 Core Weight: 2 Total Weight: 349 0.19/0.21 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #47 0.19/0.21 c Core size: 90 Core Weight: 1 Total Weight: 350 0.19/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #48 0.19/0.22 c Core size: 46 Core Weight: 3 Total Weight: 353 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #49 0.19/0.23 c Core size: 91 Core Weight: 1 Total Weight: 354 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #50 0.19/0.23 c Core size: 46 Core Weight: 4 Total Weight: 358 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #51 0.19/0.24 c Core size: 89 Core Weight: 1 Total Weight: 359 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #52 0.19/0.24 c Core size: 46 Core Weight: 5 Total Weight: 364 0.19/0.24 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #53 0.19/0.25 c Core size: 91 Core Weight: 1 Total Weight: 365 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #54 0.19/0.26 c Core size: 46 Core Weight: 6 Total Weight: 371 0.19/0.26 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #55 0.19/0.26 c Core size: 91 Core Weight: 1 Total Weight: 372 0.19/0.26 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #56 0.19/0.27 c Core size: 241 Core Weight: 1 Total Weight: 373 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #57 0.19/0.28 c Core size: 161 Core Weight: 1 Total Weight: 374 0.19/0.28 c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #58 0.19/0.28 c Core size: 79 Core Weight: 1 Total Weight: 375 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #59 0.19/0.29 c Core size: 46 Core Weight: 1 Total Weight: 376 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #60 0.29/0.30 c Core size: 91 Core Weight: 1 Total Weight: 377 0.29/0.30 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #61 0.29/0.31 c Core size: 46 Core Weight: 3 Total Weight: 380 0.29/0.31 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #62 0.29/0.31 c Core size: 46 Core Weight: 3 Total Weight: 383 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #63 0.29/0.32 c Core size: 85 Core Weight: 1 Total Weight: 384 0.29/0.32 c Elapsed CPU time: 0.318951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #64 0.29/0.33 c Core size: 46 Core Weight: 5 Total Weight: 389 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #65 0.29/0.34 c Core size: 90 Core Weight: 1 Total Weight: 390 0.29/0.34 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #66 0.29/0.34 c Core size: 90 Core Weight: 1 Total Weight: 391 0.29/0.34 c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #67 0.29/0.35 c Core size: 90 Core Weight: 1 Total Weight: 392 0.29/0.35 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #68 0.29/0.36 c Core size: 89 Core Weight: 1 Total Weight: 393 0.29/0.36 c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #69 0.29/0.37 c Core size: 90 Core Weight: 1 Total Weight: 394 0.29/0.37 c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #70 0.29/0.37 c Core size: 89 Core Weight: 1 Total Weight: 395 0.29/0.37 c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #71 0.29/0.38 c Core size: 201 Core Weight: 1 Total Weight: 396 0.29/0.38 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #72 0.29/0.39 c Core size: 46 Core Weight: 1 Total Weight: 397 0.29/0.39 c Elapsed CPU time: 0.38994 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #73 0.39/0.40 c Core size: 46 Core Weight: 2 Total Weight: 399 0.39/0.40 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #74 0.39/0.41 c Core size: 91 Core Weight: 1 Total Weight: 400 0.39/0.41 c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #75 0.39/0.42 c Core size: 46 Core Weight: 3 Total Weight: 403 0.39/0.42 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #76 0.39/0.43 c Core size: 177 Core Weight: 1 Total Weight: 404 0.39/0.43 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.44 c core #77 0.39/0.44 c Core size: 46 Core Weight: 4 Total Weight: 408 0.39/0.44 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #78 0.39/0.45 c Core size: 129 Core Weight: 1 Total Weight: 409 0.39/0.45 c Elapsed CPU time: 0.441932 s Remaining CPU time: 1799.56 s 0.39/0.46 c core #79 0.39/0.46 c Core size: 46 Core Weight: 5 Total Weight: 414 0.39/0.46 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #80 0.39/0.46 c Core size: 130 Core Weight: 1 Total Weight: 415 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #81 0.39/0.47 c Core size: 46 Core Weight: 6 Total Weight: 421 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #82 0.39/0.48 c Core size: 127 Core Weight: 1 Total Weight: 422 0.39/0.48 c Elapsed CPU time: 0.478927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #83 0.39/0.49 c Core size: 121 Core Weight: 1 Total Weight: 423 0.39/0.49 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #84 0.49/0.50 c Core size: 121 Core Weight: 1 Total Weight: 424 0.49/0.50 c Elapsed CPU time: 0.497924 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #85 0.49/0.51 c Core size: 84 Core Weight: 1 Total Weight: 425 0.49/0.51 c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #86 0.49/0.52 c Core size: 83 Core Weight: 1 Total Weight: 426 0.49/0.52 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #87 0.49/0.53 c Core size: 90 Core Weight: 1 Total Weight: 427 0.49/0.53 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #88 0.49/0.54 c Core size: 46 Core Weight: 3 Total Weight: 430 0.49/0.54 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #89 0.49/0.55 c Core size: 90 Core Weight: 1 Total Weight: 431 0.49/0.55 c Elapsed CPU time: 0.547916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #90 0.49/0.56 c Core size: 46 Core Weight: 4 Total Weight: 435 0.49/0.56 c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #91 0.49/0.57 c Core size: 89 Core Weight: 1 Total Weight: 436 0.49/0.57 c Elapsed CPU time: 0.568913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #92 0.49/0.58 c Core size: 46 Core Weight: 6 Total Weight: 442 0.49/0.58 c Elapsed CPU time: 0.578911 s Remaining CPU time: 1799.42 s 0.49/0.60 c core #93 0.49/0.60 c Core size: 80 Core Weight: 1 Total Weight: 443 0.49/0.60 c Elapsed CPU time: 0.58991 s Remaining CPU time: 1799.41 s 0.59/0.61 c core #94 0.59/0.61 c Core size: 134 Core Weight: 1 Total Weight: 444 0.59/0.61 c Elapsed CPU time: 0.599908 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #95 0.59/0.62 c Core size: 90 Core Weight: 1 Total Weight: 445 0.59/0.62 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #96 0.59/0.63 c Core size: 89 Core Weight: 1 Total Weight: 446 0.59/0.63 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #97 0.59/0.64 c Core size: 90 Core Weight: 1 Total Weight: 447 0.59/0.64 c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s 0.59/0.65 c core #98 0.59/0.65 c Core size: 89 Core Weight: 1 Total Weight: 448 0.59/0.65 c Elapsed CPU time: 0.643902 s Remaining CPU time: 1799.36 s 0.59/0.66 c core #99 0.59/0.66 c Core size: 80 Core Weight: 1 Total Weight: 449 0.59/0.66 c Elapsed CPU time: 0.6559 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #100 0.59/0.67 c Core size: 46 Core Weight: 2 Total Weight: 451 0.59/0.67 c Elapsed CPU time: 0.666898 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #101 0.59/0.69 c Core size: 46 Core Weight: 2 Total Weight: 453 0.59/0.69 c Elapsed CPU time: 0.678896 s Remaining CPU time: 1799.32 s 0.69/0.70 c core #102 0.69/0.70 c Core size: 85 Core Weight: 1 Total Weight: 454 0.69/0.70 c Elapsed CPU time: 0.689895 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #103 0.69/0.71 c Core size: 46 Core Weight: 1 Total Weight: 455 0.69/0.71 c Elapsed CPU time: 0.701893 s Remaining CPU time: 1799.3 s 0.69/0.72 c core #104 0.69/0.72 c Core size: 84 Core Weight: 1 Total Weight: 456 0.69/0.72 c Elapsed CPU time: 0.711891 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #105 0.69/0.73 c Core size: 46 Core Weight: 2 Total Weight: 458 0.69/0.73 c Elapsed CPU time: 0.723889 s Remaining CPU time: 1799.28 s 0.69/0.75 c core #106 0.69/0.75 c Core size: 85 Core Weight: 1 Total Weight: 459 0.69/0.75 c Elapsed CPU time: 0.735888 s Remaining CPU time: 1799.26 s 0.69/0.76 c core #107 0.69/0.76 c Core size: 46 Core Weight: 3 Total Weight: 462 0.69/0.76 c Elapsed CPU time: 0.747886 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #108 0.69/0.77 c Core size: 86 Core Weight: 1 Total Weight: 463 0.69/0.77 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.69/0.78 c core #109 0.69/0.78 c Core size: 46 Core Weight: 2 Total Weight: 465 0.69/0.78 c Elapsed CPU time: 0.770882 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #110 0.69/0.79 c Core size: 84 Core Weight: 1 Total Weight: 466 0.69/0.79 c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s 0.79/0.81 c core #111 0.79/0.81 c Core size: 46 Core Weight: 3 Total Weight: 469 0.79/0.81 c Elapsed CPU time: 0.793879 s Remaining CPU time: 1799.21 s 0.79/0.82 c core #112 0.79/0.82 c Core size: 86 Core Weight: 1 Total Weight: 470 0.79/0.82 c Elapsed CPU time: 0.805877 s Remaining CPU time: 1799.19 s 0.79/0.83 c core #113 0.79/0.83 c Core size: 46 Core Weight: 1 Total Weight: 471 0.79/0.83 c Elapsed CPU time: 0.817875 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #114 0.79/0.84 c Core size: 46 Core Weight: 1 Total Weight: 472 0.79/0.84 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.79/0.86 c core #115 0.79/0.86 c Core size: 91 Core Weight: 1 Total Weight: 473 0.79/0.86 c Elapsed CPU time: 0.841872 s Remaining CPU time: 1799.16 s 0.79/0.87 c core #116 0.79/0.87 c Core size: 46 Core Weight: 3 Total Weight: 476 0.79/0.87 c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s 0.79/0.88 c core #117 0.79/0.88 c Core size: 90 Core Weight: 1 Total Weight: 477 0.79/0.88 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #118 0.79/0.89 c Core size: 46 Core Weight: 4 Total Weight: 481 0.79/0.89 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.89/0.91 c core #119 0.89/0.91 c Core size: 89 Core Weight: 1 Total Weight: 482 0.89/0.91 c Elapsed CPU time: 0.891864 s Remaining CPU time: 1799.11 s 0.89/0.92 c core #120 0.89/0.92 c Core size: 46 Core Weight: 5 Total Weight: 487 0.89/0.92 c Elapsed CPU time: 0.904862 s Remaining CPU time: 1799.1 s 0.89/0.93 c core #121 0.89/0.93 c Core size: 89 Core Weight: 1 Total Weight: 488 0.89/0.93 c Elapsed CPU time: 0.91786 s Remaining CPU time: 1799.08 s 0.89/0.95 c core #122 0.89/0.95 c Core size: 46 Core Weight: 6 Total Weight: 494 0.89/0.95 c Elapsed CPU time: 0.929858 s Remaining CPU time: 1799.07 s 0.89/0.96 c core #123 0.89/0.96 c Core size: 87 Core Weight: 1 Total Weight: 495 0.89/0.96 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.89/0.97 c core #124 0.89/0.97 c Core size: 46 Core Weight: 6 Total Weight: 501 0.89/0.97 c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s 0.89/0.99 c core #125 0.89/0.99 c Core size: 90 Core Weight: 1 Total Weight: 502 0.89/0.99 c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s 0.89/1.00 c core #126 0.89/1.00 c Core size: 183 Core Weight: 1 Total Weight: 503 0.89/1.00 c Elapsed CPU time: 0.98085 s Remaining CPU time: 1799.02 s 1.00/1.01 c core #127 1.00/1.01 c Core size: 45 Core Weight: 1 Total Weight: 504 1.00/1.01 c Elapsed CPU time: 0.994848 s Remaining CPU time: 1799.01 s 1.00/1.03 c core #128 1.00/1.03 c Core size: 44 Core Weight: 1 Total Weight: 505 1.00/1.03 c Elapsed CPU time: 1.00785 s Remaining CPU time: 1798.99 s 1.00/1.04 c core #129 1.00/1.04 c Core size: 43 Core Weight: 1 Total Weight: 506 1.00/1.04 c Elapsed CPU time: 1.02284 s Remaining CPU time: 1798.98 s 1.00/1.06 c core #130 1.00/1.06 c Core size: 42 Core Weight: 3 Total Weight: 509 1.00/1.06 c Elapsed CPU time: 1.03584 s Remaining CPU time: 1798.96 s 1.00/1.07 c core #131 1.00/1.07 c Core size: 45 Core Weight: 1 Total Weight: 510 1.00/1.07 c Elapsed CPU time: 1.04984 s Remaining CPU time: 1798.95 s 1.00/1.09 c core #132 1.00/1.09 c Core size: 44 Core Weight: 1 Total Weight: 511 1.00/1.09 c Elapsed CPU time: 1.06384 s Remaining CPU time: 1798.94 s 1.00/1.10 c core #133 1.00/1.10 c Core size: 45 Core Weight: 1 Total Weight: 512 1.00/1.10 c Elapsed CPU time: 1.07784 s Remaining CPU time: 1798.92 s 1.09/1.12 c core #134 1.09/1.12 c Core size: 44 Core Weight: 1 Total Weight: 513 1.09/1.12 c Elapsed CPU time: 1.09283 s Remaining CPU time: 1798.91 s 1.09/1.13 c core #135 1.09/1.13 c Core size: 43 Core Weight: 1 Total Weight: 514 1.09/1.13 c Elapsed CPU time: 1.10683 s Remaining CPU time: 1798.89 s 1.09/1.14 c core #136 1.09/1.14 c Core size: 42 Core Weight: 12 Total Weight: 526 1.09/1.14 c Elapsed CPU time: 1.12083 s Remaining CPU time: 1798.88 s 1.09/1.16 c core #137 1.09/1.16 c Core size: 45 Core Weight: 1 Total Weight: 527 1.09/1.16 c Elapsed CPU time: 1.13583 s Remaining CPU time: 1798.86 s 1.09/1.18 c core #138 1.09/1.18 c Core size: 44 Core Weight: 1 Total Weight: 528 1.09/1.18 c Elapsed CPU time: 1.15082 s Remaining CPU time: 1798.85 s 1.09/1.19 c core #139 1.09/1.19 c Core size: 43 Core Weight: 1 Total Weight: 529 1.09/1.19 c Elapsed CPU time: 1.16582 s Remaining CPU time: 1798.83 s 1.19/1.21 c core #140 1.19/1.21 c Core size: 42 Core Weight: 10 Total Weight: 539 1.19/1.21 c Elapsed CPU time: 1.18082 s Remaining CPU time: 1798.82 s 1.19/1.22 c core #141 1.19/1.22 c Core size: 45 Core Weight: 1 Total Weight: 540 1.19/1.22 c Elapsed CPU time: 1.19482 s Remaining CPU time: 1798.81 s 1.19/1.24 c core #142 1.19/1.24 c Core size: 44 Core Weight: 1 Total Weight: 541 1.19/1.24 c Elapsed CPU time: 1.20982 s Remaining CPU time: 1798.79 s 1.19/1.25 c core #143 1.19/1.25 c Core size: 43 Core Weight: 1 Total Weight: 542 1.19/1.25 c Elapsed CPU time: 1.22381 s Remaining CPU time: 1798.78 s 1.19/1.27 c core #144 1.19/1.27 c Core size: 42 Core Weight: 8 Total Weight: 550 1.19/1.27 c Elapsed CPU time: 1.23881 s Remaining CPU time: 1798.76 s 1.19/1.28 c core #145 1.19/1.28 c Core size: 45 Core Weight: 1 Total Weight: 551 1.19/1.28 c Elapsed CPU time: 1.25481 s Remaining CPU time: 1798.75 s 1.19/1.30 c core #146 1.19/1.30 c Core size: 44 Core Weight: 1 Total Weight: 552 1.19/1.30 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.28/1.31 c core #147 1.28/1.31 c Core size: 43 Core Weight: 1 Total Weight: 553 1.28/1.31 c Elapsed CPU time: 1.2838 s Remaining CPU time: 1798.72 s 1.28/1.33 c core #148 1.28/1.33 c Core size: 42 Core Weight: 5 Total Weight: 558 1.28/1.33 c Elapsed CPU time: 1.2988 s Remaining CPU time: 1798.7 s 1.28/1.34 c core #149 1.28/1.34 c Core size: 123 Core Weight: 1 Total Weight: 559 1.28/1.34 c Elapsed CPU time: 1.3138 s Remaining CPU time: 1798.69 s 1.28/1.36 c core #150 1.28/1.36 c Core size: 122 Core Weight: 1 Total Weight: 560 1.28/1.36 c Elapsed CPU time: 1.3288 s Remaining CPU time: 1798.67 s 1.28/1.37 c core #151 1.28/1.37 c Core size: 41 Core Weight: 3 Total Weight: 563 1.28/1.37 c Elapsed CPU time: 1.3438 s Remaining CPU time: 1798.66 s 1.28/1.39 c core #152 1.28/1.39 c Core size: 41 Core Weight: 9 Total Weight: 572 1.28/1.39 c Elapsed CPU time: 1.35879 s Remaining CPU time: 1798.64 s 1.38/1.41 c ============================[ Search Statistics ]============================== 1.38/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.41 c =============================================================================== 1.38/1.41 c | 0 | 10083 11777 27039 | 5000 0 nan | 0.000 % | 1.38/1.41 c =============================================================================== 1.38/1.41 c core #153 1.38/1.41 c Core size: 129 Core Weight: 1 Total Weight: 573 1.38/1.41 c Elapsed CPU time: 1.37679 s Remaining CPU time: 1798.62 s 1.38/1.43 c Learning 2 hard constraints 1.38/1.43 c ============================[ Search Statistics ]============================== 1.38/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.43 c =============================================================================== 1.38/1.43 c | 0 | 10212 11898 27334 | 5000 0 nan | 0.000 % | 1.38/1.43 c =============================================================================== 1.38/1.43 c core #154 1.38/1.43 c Core size: 128 Core Weight: 1 Total Weight: 574 1.38/1.43 c Elapsed CPU time: 1.39679 s Remaining CPU time: 1798.6 s 1.38/1.45 c Learning 4 hard constraints 1.38/1.45 c ============================[ Search Statistics ]============================== 1.38/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.45 c =============================================================================== 1.38/1.45 c | 0 | 10338 12018 27822 | 5000 0 nan | 0.000 % | 1.38/1.45 c =============================================================================== 1.38/1.45 c core #155 1.38/1.45 c Core size: 132 Core Weight: 1 Total Weight: 575 1.38/1.45 c Elapsed CPU time: 1.41678 s Remaining CPU time: 1798.58 s 1.38/1.47 c Learning 5 hard constraints 1.38/1.47 c ============================[ Search Statistics ]============================== 1.38/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.47 c =============================================================================== 1.38/1.47 c | 0 | 10465 12142 28310 | 5000 0 nan | 0.000 % | 1.38/1.47 c =============================================================================== 1.38/1.47 c core #156 1.38/1.47 c Core size: 126 Core Weight: 1 Total Weight: 576 1.38/1.47 c Elapsed CPU time: 1.43578 s Remaining CPU time: 1798.56 s 1.38/1.49 c Learning 2 hard constraints 1.38/1.49 c ============================[ Search Statistics ]============================== 1.38/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.49 c =============================================================================== 1.38/1.49 c | 0 | 10592 12251 28783 | 5000 0 nan | 0.000 % | 1.38/1.49 c =============================================================================== 1.38/1.49 c core #157 1.38/1.49 c Core size: 88 Core Weight: 1 Total Weight: 577 1.38/1.49 c Elapsed CPU time: 1.45478 s Remaining CPU time: 1798.55 s 1.48/1.51 c Learning 1 hard constraints 1.48/1.51 c ============================[ Search Statistics ]============================== 1.48/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.51 c =============================================================================== 1.48/1.51 c | 0 | 10678 12333 29018 | 5000 0 nan | 0.000 % | 1.48/1.51 c =============================================================================== 1.48/1.51 c core #158 1.48/1.51 c Core size: 85 Core Weight: 1 Total Weight: 578 1.48/1.51 c Elapsed CPU time: 1.47378 s Remaining CPU time: 1798.53 s 1.48/1.53 c Learning 2 hard constraints 1.48/1.53 c ============================[ Search Statistics ]============================== 1.48/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.53 c =============================================================================== 1.48/1.53 c | 0 | 10761 12411 29289 | 5000 0 nan | 0.000 % | 1.48/1.53 c =============================================================================== 1.48/1.53 c core #159 1.48/1.53 c Core size: 117 Core Weight: 1 Total Weight: 579 1.48/1.53 c Elapsed CPU time: 1.49477 s Remaining CPU time: 1798.51 s 1.48/1.55 c Learning 3 hard constraints 1.48/1.55 c ============================[ Search Statistics ]============================== 1.48/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.56 c =============================================================================== 1.48/1.56 c | 0 | 10873 12521 29771 | 5000 0 nan | 0.000 % | 1.48/1.56 c =============================================================================== 1.48/1.56 c core #160 1.48/1.56 c Core size: 83 Core Weight: 1 Total Weight: 580 1.48/1.56 c Elapsed CPU time: 1.51577 s Remaining CPU time: 1798.48 s 1.48/1.58 c Learning 8 hard constraints 1.48/1.58 c ============================[ Search Statistics ]============================== 1.48/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.58 c =============================================================================== 1.48/1.58 c | 0 | 10955 12607 30194 | 5000 0 nan | 0.000 % | 1.48/1.58 c =============================================================================== 1.48/1.58 c core #161 1.48/1.58 c Core size: 209 Core Weight: 1 Total Weight: 581 1.48/1.58 c Elapsed CPU time: 1.53777 s Remaining CPU time: 1798.46 s 1.58/1.60 c Learning 2 hard constraints 1.58/1.60 c ============================[ Search Statistics ]============================== 1.58/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.60 c =============================================================================== 1.58/1.60 c | 0 | 11157 12771 30987 | 5000 0 nan | 0.000 % | 1.58/1.60 c =============================================================================== 1.58/1.60 c core #162 1.58/1.60 c Core size: 84 Core Weight: 1 Total Weight: 582 1.58/1.60 c Elapsed CPU time: 1.56076 s Remaining CPU time: 1798.44 s 1.58/1.62 c Learning 3 hard constraints 1.58/1.62 c ============================[ Search Statistics ]============================== 1.58/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.62 c =============================================================================== 1.58/1.62 c | 0 | 11237 12852 31171 | 5000 0 nan | 0.000 % | 1.58/1.62 c =============================================================================== 1.58/1.62 c core #163 1.58/1.62 c Core size: 83 Core Weight: 1 Total Weight: 583 1.58/1.62 c Elapsed CPU time: 1.58176 s Remaining CPU time: 1798.42 s 1.58/1.65 c Learning 1 hard constraints 1.58/1.65 c ============================[ Search Statistics ]============================== 1.58/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.65 c =============================================================================== 1.58/1.65 c | 0 | 11315 12928 31351 | 5000 0 nan | 0.000 % | 1.58/1.65 c =============================================================================== 1.58/1.65 c core #164 1.58/1.65 c Core size: 78 Core Weight: 1 Total Weight: 584 1.58/1.65 c Elapsed CPU time: 1.60276 s Remaining CPU time: 1798.4 s 1.58/1.67 c Learning 1 hard constraints 1.58/1.67 c ============================[ Search Statistics ]============================== 1.58/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.67 c =============================================================================== 1.58/1.67 c | 0 | 11389 13002 31445 | 5000 0 nan | 0.000 % | 1.58/1.67 c =============================================================================== 1.58/1.67 c core #165 1.58/1.67 c Core size: 77 Core Weight: 1 Total Weight: 585 1.58/1.67 c Elapsed CPU time: 1.62475 s Remaining CPU time: 1798.38 s 1.58/1.69 c Learning 1 hard constraints 1.58/1.69 c ============================[ Search Statistics ]============================== 1.58/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.69 c =============================================================================== 1.58/1.69 c | 0 | 11464 13074 31670 | 5000 0 nan | 0.000 % | 1.58/1.69 c =============================================================================== 1.58/1.69 c core #166 1.58/1.69 c Core size: 115 Core Weight: 1 Total Weight: 586 1.58/1.69 c Elapsed CPU time: 1.64775 s Remaining CPU time: 1798.35 s 1.68/1.71 c Learning 1 hard constraints 1.68/1.71 c ============================[ Search Statistics ]============================== 1.68/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.71 c =============================================================================== 1.68/1.71 c | 0 | 11574 13179 31925 | 5000 0 nan | 0.000 % | 1.68/1.72 c =============================================================================== 1.68/1.72 c core #167 1.68/1.72 c Core size: 183 Core Weight: 1 Total Weight: 587 1.68/1.72 c Elapsed CPU time: 1.67075 s Remaining CPU time: 1798.33 s 1.68/1.74 c Learning 2 hard constraints 1.68/1.74 c ============================[ Search Statistics ]============================== 1.68/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.74 c =============================================================================== 1.68/1.74 c | 0 | 11754 13351 32500 | 5000 0 nan | 0.000 % | 1.68/1.74 c =============================================================================== 1.68/1.74 c core #168 1.68/1.74 c Core size: 78 Core Weight: 1 Total Weight: 588 1.68/1.74 c Elapsed CPU time: 1.69274 s Remaining CPU time: 1798.31 s 1.68/1.76 c Learning 3 hard constraints 1.68/1.76 c ============================[ Search Statistics ]============================== 1.68/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.76 c =============================================================================== 1.68/1.76 c | 0 | 11830 13427 32849 | 5000 0 nan | 0.000 % | 1.68/1.76 c =============================================================================== 1.68/1.76 c core #169 1.68/1.76 c Core size: 77 Core Weight: 1 Total Weight: 589 1.68/1.76 c Elapsed CPU time: 1.71474 s Remaining CPU time: 1798.29 s 1.68/1.79 c Learning 2 hard constraints 1.68/1.79 c ============================[ Search Statistics ]============================== 1.68/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.79 c =============================================================================== 1.68/1.79 c | 0 | 11906 13498 33234 | 5000 0 nan | 0.000 % | 1.68/1.79 c =============================================================================== 1.68/1.79 c core #170 1.68/1.79 c Core size: 77 Core Weight: 1 Total Weight: 590 1.68/1.79 c Elapsed CPU time: 1.73673 s Remaining CPU time: 1798.26 s 1.77/1.81 c Learning 7 hard constraints 1.77/1.81 c ============================[ Search Statistics ]============================== 1.77/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.77/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.77/1.81 c =============================================================================== 1.77/1.81 c | 0 | 11979 13578 33700 | 5000 0 nan | 0.000 % | 1.77/1.81 c =============================================================================== 1.77/1.81 c core #171 1.77/1.81 c Core size: 79 Core Weight: 1 Total Weight: 591 1.77/1.81 c Elapsed CPU time: 1.75973 s Remaining CPU time: 1798.24 s 1.77/1.83 c Learning 1 hard constraints 1.77/1.83 c ============================[ Search Statistics ]============================== 1.77/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.77/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.77/1.83 c =============================================================================== 1.77/1.83 c | 0 | 12052 13651 33869 | 5000 0 nan | 0.000 % | 1.77/1.84 c =============================================================================== 1.77/1.84 c core #172 1.77/1.84 c Core size: 75 Core Weight: 1 Total Weight: 592 1.77/1.84 c Elapsed CPU time: 1.78373 s Remaining CPU time: 1798.22 s 1.77/1.86 c Learning 1 hard constraints 1.77/1.86 c ============================[ Search Statistics ]============================== 1.77/1.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.77/1.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.77/1.86 c =============================================================================== 1.77/1.86 c | 0 | 12123 13723 33956 | 5000 0 nan | 0.000 % | 1.77/1.86 c =============================================================================== 1.77/1.86 c core #173 1.77/1.86 c Core size: 75 Core Weight: 1 Total Weight: 593 1.77/1.86 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.77/1.88 c Learning 1 hard constraints 1.77/1.88 c ============================[ Search Statistics ]============================== 1.77/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.77/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.77/1.88 c =============================================================================== 1.77/1.88 c | 0 | 12197 13793 34197 | 5000 0 nan | 0.000 % | 1.77/1.88 c =============================================================================== 1.77/1.88 c core #174 1.77/1.88 c Core size: 150 Core Weight: 1 Total Weight: 594 1.77/1.88 c Elapsed CPU time: 1.82872 s Remaining CPU time: 1798.17 s 1.87/1.91 c Learning 1 hard constraints 1.87/1.91 c ============================[ Search Statistics ]============================== 1.87/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.87/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.87/1.91 c =============================================================================== 1.87/1.91 c | 0 | 12339 13924 34534 | 5000 0 nan | 0.000 % | 1.87/1.91 c =============================================================================== 1.87/1.91 c core #175 1.87/1.91 c Core size: 248 Core Weight: 1 Total Weight: 595 1.87/1.91 c Elapsed CPU time: 1.85372 s Remaining CPU time: 1798.15 s 1.87/1.94 c Learning 2 hard constraints 1.87/1.94 c ============================[ Search Statistics ]============================== 1.87/1.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.87/1.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.87/1.94 c =============================================================================== 1.87/1.94 c | 0 | 12587 14137 35211 | 5000 0 nan | 0.000 % | 1.87/1.95 c =============================================================================== 1.87/1.95 c core #176 1.87/1.95 c Core size: 327 Core Weight: 1 Total Weight: 596 1.87/1.95 c Elapsed CPU time: 1.88671 s Remaining CPU time: 1798.11 s 1.87/1.97 c Learning 6 hard constraints 1.87/1.97 c ============================[ Search Statistics ]============================== 1.87/1.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.87/1.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.87/1.97 c =============================================================================== 1.87/1.97 c | 0 | 12902 14394 36406 | 5000 0 nan | 0.000 % | 1.87/1.98 c =============================================================================== 1.87/1.99 c core #177 1.87/1.99 c Core size: 444 Core Weight: 1 Total Weight: 597 1.87/1.99 c Elapsed CPU time: 1.92371 s Remaining CPU time: 1798.08 s 1.97/2.01 c Learning 11 hard constraints 1.97/2.01 c ============================[ Search Statistics ]============================== 1.97/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.97/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.97/2.01 c =============================================================================== 1.97/2.01 c | 0 | 13333 14722 38238 | 5000 0 nan | 0.000 % | 1.97/2.03 c =============================================================================== 1.97/2.03 c core #178 1.97/2.03 c Core size: 356 Core Weight: 1 Total Weight: 598 1.97/2.03 c Elapsed CPU time: 1.9627 s Remaining CPU time: 1798.04 s 1.97/2.05 c Learning 2 hard constraints 1.97/2.05 c ============================[ Search Statistics ]============================== 1.97/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.97/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.97/2.05 c =============================================================================== 1.97/2.05 c | 0 | 13651 14985 39085 | 5000 0 nan | 0.000 % | 1.97/2.07 c =============================================================================== 1.97/2.07 c core #179 1.97/2.07 c Core size: 342 Core Weight: 1 Total Weight: 599 1.97/2.07 c Elapsed CPU time: 2.00469 s Remaining CPU time: 1798 s 1.97/2.10 c Learning 34 hard constraints 1.97/2.10 c ============================[ Search Statistics ]============================== 1.97/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.97/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.97/2.10 c =============================================================================== 1.97/2.10 c | 0 | 13973 15266 41982 | 5088 0 nan | 0.000 % | 2.07/2.12 c =============================================================================== 2.07/2.12 c core #180 2.07/2.12 c Core size: 500 Core Weight: 1 Total Weight: 600 2.07/2.12 c Elapsed CPU time: 2.04769 s Remaining CPU time: 1797.95 s 2.07/2.15 c Learning 18 hard constraints 2.07/2.15 c ============================[ Search Statistics ]============================== 2.07/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.07/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.07/2.15 c =============================================================================== 2.07/2.15 c | 0 | 14405 15615 44318 | 5205 0 nan | 0.000 % | 2.07/2.17 c =============================================================================== 2.07/2.17 c core #181 2.07/2.17 c Core size: 579 Core Weight: 1 Total Weight: 601 2.07/2.17 c Elapsed CPU time: 2.09468 s Remaining CPU time: 1797.91 s 2.07/2.20 c Learning 19 hard constraints 2.07/2.20 c ============================[ Search Statistics ]============================== 2.07/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.07/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.07/2.20 c =============================================================================== 2.07/2.20 c | 0 | 14923 15995 47012 | 5331 0 nan | 0.000 % | 2.17/2.23 c =============================================================================== 2.17/2.23 c core #182 2.17/2.23 c Core size: 691 Core Weight: 1 Total Weight: 602 2.17/2.23 c Elapsed CPU time: 2.14867 s Remaining CPU time: 1797.85 s 2.17/2.26 c Learning 9 hard constraints 2.17/2.26 c ============================[ Search Statistics ]============================== 2.17/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.17/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.17/2.26 c =============================================================================== 2.17/2.26 c | 0 | 15536 16420 49139 | 5473 0 nan | 0.000 % | 2.17/2.26 c =============================================================================== 2.17/2.26 c core #183 2.17/2.26 c Core size: 77 Core Weight: 1 Total Weight: 603 2.17/2.26 c Elapsed CPU time: 2.18067 s Remaining CPU time: 1797.82 s 2.17/2.29 c Learning 6 hard constraints 2.17/2.29 c core #184 2.17/2.29 c Core size: 76 Core Weight: 1 Total Weight: 604 2.17/2.29 c Elapsed CPU time: 2.20866 s Remaining CPU time: 1797.79 s 2.27/2.32 c core #185 2.27/2.32 c Core size: 75 Core Weight: 1 Total Weight: 605 2.27/2.32 c Elapsed CPU time: 2.23866 s Remaining CPU time: 1797.76 s 2.27/2.35 c core #186 2.27/2.35 c Core size: 74 Core Weight: 3 Total Weight: 608 2.27/2.35 c Elapsed CPU time: 2.26765 s Remaining CPU time: 1797.73 s 2.27/2.38 c ============================[ Search Statistics ]============================== 2.27/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.27/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.27/2.38 c =============================================================================== 2.27/2.38 c | 0 | 15826 16711 49966 | 5570 0 nan | 0.000 % | 2.27/2.38 c =============================================================================== 2.27/2.39 c core #187 2.27/2.39 c Core size: 286 Core Weight: 1 Total Weight: 609 2.27/2.39 c Elapsed CPU time: 2.30365 s Remaining CPU time: 1797.7 s 2.37/2.41 c Learning 1 hard constraints 2.37/2.41 c ============================[ Search Statistics ]============================== 2.37/2.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.37/2.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.37/2.41 c =============================================================================== 2.37/2.41 c | 0 | 16104 16911 50645 | 5637 0 nan | 0.000 % | 2.37/2.44 c =============================================================================== 2.37/2.44 c core #188 2.37/2.44 c Core size: 402 Core Weight: 1 Total Weight: 610 2.37/2.44 c Elapsed CPU time: 2.35464 s Remaining CPU time: 1797.65 s 2.37/2.47 c Learning 4 hard constraints 2.37/2.47 c ============================[ Search Statistics ]============================== 2.37/2.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.37/2.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.37/2.47 c =============================================================================== 2.37/2.47 c | 0 | 16478 17156 51887 | 5718 0 nan | 0.000 % | 2.47/2.54 c | 106 | 16477 17156 51887 | 6290 105 278 | 7.360 % | 2.47/2.56 c =============================================================================== 2.47/2.56 c core #189 2.47/2.56 c Core size: 79 Core Weight: 1 Total Weight: 611 2.47/2.56 c Elapsed CPU time: 2.47262 s Remaining CPU time: 1797.53 s 2.47/2.59 c Learning 3 hard constraints 2.47/2.59 c ============================[ Search Statistics ]============================== 2.47/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.47/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.47/2.59 c =============================================================================== 2.47/2.59 c | 0 | 16558 17232 52184 | 5744 0 nan | 0.000 % | 2.47/2.59 c =============================================================================== 2.47/2.59 c core #190 2.47/2.59 c Core size: 80 Core Weight: 1 Total Weight: 612 2.47/2.59 c Elapsed CPU time: 2.50562 s Remaining CPU time: 1797.49 s 2.56/2.62 c Learning 4 hard constraints 2.56/2.62 c ============================[ Search Statistics ]============================== 2.56/2.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.56/2.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.56/2.62 c =============================================================================== 2.56/2.62 c | 0 | 16635 17311 52464 | 5770 0 nan | 0.000 % | 2.56/2.62 c =============================================================================== 2.56/2.62 c core #191 2.56/2.62 c Core size: 78 Core Weight: 1 Total Weight: 613 2.56/2.62 c Elapsed CPU time: 2.53761 s Remaining CPU time: 1797.46 s 2.56/2.65 c Learning 2 hard constraints 2.56/2.65 c ============================[ Search Statistics ]============================== 2.56/2.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.56/2.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.56/2.65 c =============================================================================== 2.56/2.65 c | 0 | 16712 17385 52753 | 5795 0 nan | 0.000 % | 2.56/2.66 c =============================================================================== 2.56/2.66 c core #192 2.56/2.66 c Core size: 77 Core Weight: 1 Total Weight: 614 2.56/2.66 c Elapsed CPU time: 2.57161 s Remaining CPU time: 1797.43 s 2.56/2.69 c Learning 6 hard constraints 2.56/2.69 c ============================[ Search Statistics ]============================== 2.56/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.56/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.56/2.69 c =============================================================================== 2.56/2.69 c | 0 | 16785 17462 53175 | 5820 0 nan | 0.000 % | 2.56/2.69 c =============================================================================== 2.56/2.69 c core #193 2.56/2.69 c Core size: 76 Core Weight: 1 Total Weight: 615 2.56/2.69 c Elapsed CPU time: 2.6026 s Remaining CPU time: 1797.4 s 2.66/2.72 c Learning 1 hard constraints 2.66/2.72 c ============================[ Search Statistics ]============================== 2.66/2.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.66/2.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.66/2.72 c =============================================================================== 2.66/2.72 c | 0 | 16858 17531 53414 | 5843 0 nan | 0.000 % | 2.66/2.73 c =============================================================================== 2.66/2.73 c core #194 2.66/2.73 c Core size: 263 Core Weight: 1 Total Weight: 616 2.66/2.73 c Elapsed CPU time: 2.6376 s Remaining CPU time: 1797.36 s 2.66/2.76 c Learning 3 hard constraints 2.66/2.76 c ============================[ Search Statistics ]============================== 2.66/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.66/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.66/2.76 c =============================================================================== 2.66/2.76 c | 0 | 17120 17724 54446 | 5908 0 nan | 0.000 % | 2.66/2.79 c =============================================================================== 2.66/2.79 c core #195 2.66/2.79 c Core size: 443 Core Weight: 1 Total Weight: 617 2.66/2.79 c Elapsed CPU time: 2.69559 s Remaining CPU time: 1797.3 s 2.76/2.82 c Learning 6 hard constraints 2.76/2.82 c ============================[ Search Statistics ]============================== 2.76/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.76/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.76/2.82 c =============================================================================== 2.76/2.82 c | 0 | 17559 17989 56169 | 5996 0 nan | 0.000 % | 2.76/2.84 c =============================================================================== 2.76/2.84 c core #196 2.76/2.84 c Core size: 538 Core Weight: 1 Total Weight: 618 2.76/2.84 c Elapsed CPU time: 2.74258 s Remaining CPU time: 1797.26 s 2.76/2.87 c Learning 8 hard constraints 2.76/2.87 c ============================[ Search Statistics ]============================== 2.76/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.76/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.76/2.87 c =============================================================================== 2.76/2.87 c | 0 | 18081 18360 58255 | 6120 0 nan | 0.000 % | 2.76/2.89 c =============================================================================== 2.76/2.89 c core #197 2.76/2.89 c Core size: 642 Core Weight: 1 Total Weight: 619 2.76/2.89 c Elapsed CPU time: 2.79957 s Remaining CPU time: 1797.2 s 2.86/2.93 c ============================[ Search Statistics ]============================== 2.86/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.86/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.86/2.93 c =============================================================================== 2.86/2.93 c | 0 | 18721 18686 60314 | 6228 0 nan | 0.000 % | 2.86/2.94 c =============================================================================== 2.86/2.94 c core #198 2.86/2.94 c Core size: 295 Core Weight: 1 Total Weight: 620 2.86/2.94 c Elapsed CPU time: 2.84557 s Remaining CPU time: 1797.15 s 2.86/2.98 c Learning 1 hard constraints 2.86/2.98 c ============================[ Search Statistics ]============================== 2.86/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.86/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.86/2.98 c =============================================================================== 2.86/2.98 c | 0 | 19007 18893 61015 | 6297 0 nan | 0.000 % | 2.95/3.00 c =============================================================================== 2.95/3.00 c core #199 2.95/3.00 c Core size: 397 Core Weight: 1 Total Weight: 621 2.95/3.00 c Elapsed CPU time: 2.90556 s Remaining CPU time: 1797.09 s 2.95/3.04 c Learning 28 hard constraints 2.95/3.04 c ============================[ Search Statistics ]============================== 2.95/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.95/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.95/3.04 c =============================================================================== 2.95/3.04 c | 0 | 19394 19210 63527 | 6403 0 nan | 0.000 % | 3.06/3.10 c | 100 | 19383 19210 63527 | 7043 90 82 | 5.504 % | 3.06/3.17 c =============================================================================== 3.06/3.17 c core #200 3.06/3.17 c Core size: 1617 Core Weight: 1 Total Weight: 622 3.06/3.17 c Elapsed CPU time: 3.06553 s Remaining CPU time: 1796.93 s 3.16/3.21 c Learning 27 hard constraints 3.16/3.21 c ============================[ Search Statistics ]============================== 3.16/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.16/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.16/3.21 c =============================================================================== 3.16/3.21 c | 0 | 20936 19840 68992 | 6613 0 nan | 0.000 % | 3.16/3.26 c | 100 | 20932 19840 68992 | 7274 99 82 | 4.798 % | 3.16/3.28 c =============================================================================== 3.16/3.28 c core #201 3.16/3.28 c Core size: 772 Core Weight: 1 Total Weight: 623 3.16/3.28 c Elapsed CPU time: 3.17452 s Remaining CPU time: 1796.83 s 3.27/3.32 c Learning 15 hard constraints 3.27/3.32 c ============================[ Search Statistics ]============================== 3.27/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.32 c =============================================================================== 3.27/3.32 c | 0 | 21708 20206 71887 | 6735 0 nan | 0.000 % | 3.27/3.38 c =============================================================================== 3.27/3.38 c core #202 3.27/3.38 c Core size: 75 Core Weight: 1 Total Weight: 624 3.27/3.38 c Elapsed CPU time: 3.2695 s Remaining CPU time: 1796.73 s 3.35/3.43 c Learning 28 hard constraints 3.35/3.43 c ============================[ Search Statistics ]============================== 3.35/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.35/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.35/3.43 c =============================================================================== 3.35/3.43 c | 0 | 21782 20305 73398 | 6768 0 nan | 0.000 % | 3.35/3.43 c =============================================================================== 3.35/3.43 c core #203 3.35/3.43 c Core size: 76 Core Weight: 1 Total Weight: 625 3.35/3.43 c Elapsed CPU time: 3.3135 s Remaining CPU time: 1796.69 s 3.35/3.47 c Learning 2 hard constraints 3.35/3.47 c ============================[ Search Statistics ]============================== 3.35/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.35/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.35/3.47 c =============================================================================== 3.35/3.47 c | 0 | 21854 20376 73637 | 6792 0 nan | 0.000 % | 3.35/3.48 c =============================================================================== 3.35/3.48 c core #204 3.35/3.48 c Core size: 151 Core Weight: 1 Total Weight: 626 3.35/3.48 c Elapsed CPU time: 3.35749 s Remaining CPU time: 1796.64 s 3.46/3.52 c Learning 1 hard constraints 3.46/3.52 c ============================[ Search Statistics ]============================== 3.46/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.46/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.46/3.52 c =============================================================================== 3.46/3.52 c | 0 | 22002 20512 73909 | 6837 0 nan | 0.000 % | 3.46/3.53 c =============================================================================== 3.46/3.53 c core #205 3.46/3.53 c Core size: 144 Core Weight: 1 Total Weight: 627 3.46/3.53 c Elapsed CPU time: 3.40448 s Remaining CPU time: 1796.6 s 3.46/3.57 c Learning 7 hard constraints 3.46/3.57 c ============================[ Search Statistics ]============================== 3.46/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.46/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.46/3.57 c =============================================================================== 3.46/3.57 c | 0 | 22144 20648 74608 | 6882 0 nan | 0.000 % | 3.46/3.57 c =============================================================================== 3.46/3.58 c core #206 3.46/3.58 c Core size: 155 Core Weight: 1 Total Weight: 628 3.46/3.58 c Elapsed CPU time: 3.45147 s Remaining CPU time: 1796.55 s 3.56/3.62 c Learning 1 hard constraints 3.56/3.62 c ============================[ Search Statistics ]============================== 3.56/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.56/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.56/3.62 c =============================================================================== 3.56/3.62 c | 0 | 22296 20771 75046 | 6923 0 nan | 0.000 % | 3.56/3.63 c =============================================================================== 3.56/3.63 c core #207 3.56/3.63 c Core size: 248 Core Weight: 1 Total Weight: 629 3.56/3.63 c Elapsed CPU time: 3.50647 s Remaining CPU time: 1796.49 s 3.56/3.68 c Learning 3 hard constraints 3.56/3.68 c ============================[ Search Statistics ]============================== 3.56/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.56/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.56/3.68 c =============================================================================== 3.56/3.68 c | 0 | 22546 20918 76284 | 6972 0 nan | 0.000 % | 3.65/3.71 c =============================================================================== 3.65/3.71 c core #208 3.65/3.71 c Core size: 522 Core Weight: 1 Total Weight: 630 3.65/3.71 c Elapsed CPU time: 3.57646 s Remaining CPU time: 1796.42 s 3.65/3.76 c Learning 2 hard constraints 3.65/3.76 c ============================[ Search Statistics ]============================== 3.65/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.76 c =============================================================================== 3.65/3.76 c | 0 | 23060 21145 78051 | 7048 0 nan | 0.000 % | 3.76/3.81 c | 100 | 23059 21145 78051 | 7753 95 149 | 3.817 % | 3.76/3.84 c =============================================================================== 3.76/3.84 c core #209 3.76/3.84 c Core size: 544 Core Weight: 1 Total Weight: 631 3.76/3.84 c Elapsed CPU time: 3.70244 s Remaining CPU time: 1796.3 s 3.76/3.88 c Learning 26 hard constraints 3.76/3.88 c ============================[ Search Statistics ]============================== 3.76/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.76/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.76/3.89 c =============================================================================== 3.76/3.89 c | 0 | 23571 21377 81269 | 7125 0 nan | 0.000 % | 3.85/3.93 c | 100 | 23571 21377 81269 | 7838 100 157 | 3.623 % | 3.95/4.00 c =============================================================================== 3.95/4.00 c core #210 3.95/4.00 c Core size: 611 Core Weight: 1 Total Weight: 632 3.95/4.00 c Elapsed CPU time: 3.85841 s Remaining CPU time: 1796.14 s 3.95/4.05 c Learning 8 hard constraints 3.95/4.05 c ============================[ Search Statistics ]============================== 3.95/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.95/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.95/4.05 c =============================================================================== 3.95/4.05 c | 0 | 24136 21602 83530 | 7200 0 nan | 0.000 % | 3.95/4.09 c | 100 | 24136 21602 83530 | 7920 100 166 | 3.452 % | 4.05/4.16 c | 252 | 24134 21602 83530 | 8712 246 129 | 3.460 % | 4.15/4.29 c =============================================================================== 4.15/4.29 c core #211 4.15/4.29 c Core size: 1157 Core Weight: 1 Total Weight: 633 4.15/4.29 c Elapsed CPU time: 4.13637 s Remaining CPU time: 1795.86 s 4.25/4.34 c Learning 36 hard constraints 4.25/4.34 c ============================[ Search Statistics ]============================== 4.25/4.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.25/4.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.25/4.34 c =============================================================================== 4.25/4.34 c | 0 | 25231 22011 89190 | 7337 0 nan | 0.000 % | 4.25/4.40 c | 100 | 25231 22011 89190 | 8070 100 198 | 3.118 % | 4.35/4.48 c | 250 | 25226 22011 89190 | 8877 242 160 | 3.137 % | 4.46/4.59 c =============================================================================== 4.46/4.59 c core #212 4.46/4.59 c Core size: 913 Core Weight: 1 Total Weight: 634 4.46/4.59 c Elapsed CPU time: 4.43333 s Remaining CPU time: 1795.57 s 4.55/4.64 c Learning 58 hard constraints 4.55/4.64 c ============================[ Search Statistics ]============================== 4.55/4.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.55/4.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.55/4.64 c =============================================================================== 4.55/4.64 c | 0 | 26122 22362 95411 | 7454 0 nan | 0.000 % | 4.55/4.70 c | 108 | 26122 22362 95411 | 8199 108 180 | 2.813 % | 4.75/4.80 c | 260 | 26118 22362 95411 | 9019 256 145 | 2.828 % | 4.85/4.95 c | 487 | 26116 22362 95411 | 9921 474 162 | 2.835 % | 4.94/5.06 c =============================================================================== 4.94/5.06 c core #213 4.94/5.06 c Core size: 1366 Core Weight: 1 Total Weight: 635 4.94/5.06 c Elapsed CPU time: 4.89626 s Remaining CPU time: 1795.1 s 5.05/5.12 c Learning 84 hard constraints 5.05/5.12 c ============================[ Search Statistics ]============================== 5.05/5.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.05/5.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.05/5.12 c =============================================================================== 5.05/5.12 c | 0 | 27379 22727 104438 | 7575 0 nan | 0.000 % | 5.05/5.14 c =============================================================================== 5.05/5.14 c core #214 5.05/5.14 c Core size: 197 Core Weight: 1 Total Weight: 636 5.05/5.14 c Elapsed CPU time: 4.96225 s Remaining CPU time: 1795.04 s 5.05/5.19 c Learning 8 hard constraints 5.05/5.19 c ============================[ Search Statistics ]============================== 5.05/5.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.05/5.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.05/5.19 c =============================================================================== 5.05/5.19 c | 0 | 27575 22850 105651 | 7616 0 nan | 0.000 % | 5.14/5.25 c =============================================================================== 5.14/5.25 c core #215 5.14/5.25 c Core size: 820 Core Weight: 1 Total Weight: 637 5.14/5.25 c Elapsed CPU time: 5.07223 s Remaining CPU time: 1794.93 s 5.25/5.31 c Learning 7 hard constraints 5.25/5.31 c ============================[ Search Statistics ]============================== 5.25/5.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.25/5.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.25/5.31 c =============================================================================== 5.25/5.31 c | 0 | 28360 23115 108715 | 7705 0 nan | 0.000 % | 5.25/5.38 c | 101 | 28355 23115 108715 | 8475 100 78 | 2.308 % | 5.35/5.41 c =============================================================================== 5.35/5.41 c core #216 5.35/5.41 c Core size: 816 Core Weight: 1 Total Weight: 638 5.35/5.41 c Elapsed CPU time: 5.22221 s Remaining CPU time: 1794.78 s 5.35/5.47 c Learning 27 hard constraints 5.35/5.47 c ============================[ Search Statistics ]============================== 5.35/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.35/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.35/5.47 c =============================================================================== 5.35/5.47 c | 0 | 29121 23381 112385 | 7793 0 nan | 0.000 % | 5.45/5.56 c | 100 | 29121 23381 112385 | 8573 100 136 | 2.127 % | 5.55/5.65 c | 250 | 29119 23381 112385 | 9430 243 106 | 2.134 % | 5.65/5.78 c =============================================================================== 5.65/5.78 c core #217 5.65/5.78 c Core size: 1011 Core Weight: 1 Total Weight: 639 5.65/5.78 c Elapsed CPU time: 5.58915 s Remaining CPU time: 1794.41 s 5.74/5.85 c Learning 31 hard constraints 5.74/5.85 c ============================[ Search Statistics ]============================== 5.74/5.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.74/5.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.74/5.85 c =============================================================================== 5.74/5.85 c | 0 | 30057 23628 116564 | 7876 0 nan | 0.000 % | 5.84/5.91 c | 102 | 30057 23628 116564 | 8663 102 228 | 1.976 % | 5.84/6.00 c | 252 | 30057 23628 116564 | 9529 252 172 | 1.976 % | 6.05/6.17 c | 477 | 30054 23628 116564 | 10482 476 130 | 1.986 % | 6.15/6.27 c =============================================================================== 6.15/6.28 c core #218 6.15/6.28 c Core size: 1647 Core Weight: 1 Total Weight: 640 6.15/6.28 c Elapsed CPU time: 6.07108 s Remaining CPU time: 1793.93 s 6.24/6.34 c Learning 77 hard constraints 6.24/6.34 c ============================[ Search Statistics ]============================== 6.24/6.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.24/6.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.24/6.34 c =============================================================================== 6.24/6.34 c | 0 | 31585 23974 125573 | 7991 0 nan | 0.000 % | 6.35/6.45 c | 101 | 31585 23974 125573 | 8790 101 210 | 1.751 % | 6.45/6.56 c | 254 | 31585 23974 125573 | 9669 254 161 | 1.751 % | 6.65/6.75 c | 479 | 31585 23974 125573 | 10636 479 109 | 1.751 % | 6.94/7.02 c | 817 | 31578 23974 125573 | 11700 812 113 | 1.773 % | 7.34/7.49 c | 1325 | 31575 23974 125573 | 12870 1303 133 | 1.782 % | 7.55/7.65 c =============================================================================== 7.55/7.66 c core #219 7.55/7.66 c Core size: 1526 Core Weight: 1 Total Weight: 641 7.55/7.66 c Elapsed CPU time: 7.43587 s Remaining CPU time: 1792.56 s 7.65/7.73 c Learning 139 hard constraints 7.65/7.73 c ============================[ Search Statistics ]============================== 7.65/7.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.65/7.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.65/7.73 c =============================================================================== 7.65/7.73 c | 0 | 32985 24327 138432 | 8109 0 nan | 0.000 % | 7.74/7.84 c | 103 | 32985 24327 138432 | 8919 103 225 | 1.584 % | 7.84/7.94 c | 256 | 32985 24327 138432 | 9811 256 153 | 1.587 % | 7.94/8.08 c | 481 | 32984 24327 138432 | 10793 478 127 | 1.587 % | 8.14/8.23 c | 818 | 32984 24327 138432 | 11872 815 138 | 1.587 % | 8.44/8.51 c | 1324 | 32984 24327 138432 | 13059 1321 143 | 1.587 % | 8.94/9.02 c | 2084 | 32982 24327 138432 | 14365 2080 137 | 1.593 % | 9.04/9.11 c =============================================================================== 9.04/9.12 c core #220 9.04/9.12 c Core size: 2311 Core Weight: 1 Total Weight: 642 9.04/9.12 c Elapsed CPU time: 8.86965 s Remaining CPU time: 1791.13 s 9.04/9.19 c Learning 355 hard constraints 9.04/9.19 c ============================[ Search Statistics ]============================== 9.04/9.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.04/9.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.04/9.19 c =============================================================================== 9.04/9.19 c | 0 | 35108 24956 169716 | 8318 0 nan | 0.000 % | 9.24/9.33 c | 100 | 35108 24956 169716 | 9150 100 208 | 1.404 % | 9.34/9.44 c | 250 | 35108 24956 169716 | 10065 250 140 | 1.404 % | 9.54/9.65 c | 475 | 35108 24956 169716 | 11072 475 109 | 1.404 % | 9.74/9.86 c | 813 | 35108 24956 169716 | 12179 813 108 | 1.404 % | 10.04/10.18 c | 1319 | 35108 24956 169716 | 13397 1319 114 | 1.404 % | 10.53/10.66 c | 2078 | 35108 24956 169716 | 14737 2078 126 | 1.404 % | 11.24/11.38 c | 3217 | 35108 24956 169716 | 16210 3217 153 | 1.404 % | 12.64/12.76 c | 4926 | 35108 24956 169716 | 17831 4926 173 | 1.404 % | 14.94/15.02 c | 7489 | 35107 24956 169716 | 19614 7487 187 | 1.407 % | 20.04/20.15 c | 11335 | 35107 24956 169716 | 21576 11333 213 | 1.407 % | 26.04/26.16 c =============================================================================== 26.24/26.31 c core #221 26.24/26.31 c Core size: 6560 Core Weight: 1 Total Weight: 643 26.24/26.31 c Elapsed CPU time: 25.9651 s Remaining CPU time: 1774.03 s 26.34/26.43 c Learning 1071 hard constraints 26.34/26.43 c ============================[ Search Statistics ]============================== 26.34/26.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.34/26.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.34/26.43 c =============================================================================== 26.34/26.43 c | 0 | 41170 26409 250338 | 8803 0 nan | 0.000 % | 26.43/26.57 c | 102 | 41170 26409 250338 | 9683 102 285 | 1.079 % | 26.63/26.75 c | 252 | 41170 26409 250338 | 10651 252 183 | 1.079 % | 26.93/27.02 c | 477 | 41170 26409 250338 | 11716 477 130 | 1.079 % | 27.24/27.38 c | 815 | 41170 26409 250338 | 12888 815 114 | 1.079 % | 27.73/27.82 c | 1321 | 41170 26409 250338 | 14177 1321 102 | 1.079 % | 28.33/28.46 c | 2080 | 41170 26409 250338 | 15595 2080 104 | 1.079 % | 29.43/29.56 c | 3220 | 41169 26409 250338 | 17154 3218 98 | 1.081 % | 31.13/31.23 c | 4928 | 41169 26409 250338 | 18870 4926 114 | 1.081 % | 33.23/33.39 c | 7495 | 41166 26409 250338 | 20757 7477 121 | 1.088 % | 36.03/36.19 c =============================================================================== 36.13/36.26 c core #222 36.13/36.26 c Core size: 3452 Core Weight: 1 Total Weight: 644 36.13/36.26 c Elapsed CPU time: 35.8535 s Remaining CPU time: 1764.15 s 36.23/36.37 c Learning 391 hard constraints 36.23/36.37 c ============================[ Search Statistics ]============================== 36.23/36.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.23/36.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.23/36.37 c =============================================================================== 36.23/36.37 c | 0 | 44341 27109 290288 | 9036 0 nan | 0.000 % | 36.43/36.52 c | 100 | 44341 27109 290288 | 9939 100 196 | 0.934 % | 36.63/36.74 c | 251 | 44341 27109 290288 | 10933 251 124 | 0.934 % | 37.13/37.20 c | 476 | 44341 27109 290288 | 12027 476 119 | 0.934 % | 37.43/37.50 c | 813 | 44341 27109 290288 | 13230 813 139 | 0.934 % | 37.93/38.09 c | 1319 | 44341 27109 290288 | 14553 1319 146 | 0.934 % | 39.02/39.11 c | 2078 | 44340 27109 290288 | 16008 2075 122 | 0.936 % | 40.43/40.56 c | 3220 | 44340 27109 290288 | 17609 3217 115 | 0.936 % | 42.93/43.01 c | 4928 | 44340 27109 290288 | 19370 4925 125 | 0.936 % | 45.93/46.10 c | 7491 | 44340 27109 290288 | 21307 7488 130 | 0.936 % | 51.42/51.55 c | 11335 | 44340 27109 290288 | 23437 11332 152 | 0.936 % | 63.02/63.15 c | 17102 | 44339 27109 290288 | 25781 17098 182 | 0.938 % | 76.81/76.93 c | 25751 | 44336 27109 290288 | 28359 25720 166 | 0.945 % | 98.21/98.35 c | 38725 | 44334 27109 290288 | 31195 22026 120 | 0.950 % | 131.39/131.51 c | 58186 | 44334 27109 290288 | 34315 23355 159 | 0.950 % | 190.97/191.13 c | 87380 | 44332 27109 290288 | 37747 32879 201 | 0.954 % | 226.36/226.52 c =============================================================================== 227.87/228.03 c core #223 227.87/228.03 c Core size: 8954 Core Weight: 1 Total Weight: 645 227.87/228.03 c Elapsed CPU time: 226.899 s Remaining CPU time: 1573.1 s 228.06/228.26 c Learning 293 hard constraints 228.06/228.26 c ============================[ Search Statistics ]============================== 228.06/228.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.06/228.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.06/228.26 c =============================================================================== 228.06/228.26 c | 0 | 52350 27878 328552 | 9292 0 nan | 0.000 % | 228.26/228.46 c | 102 | 52350 27878 328552 | 10221 102 414 | 0.721 % | 228.46/228.62 c | 252 | 52350 27878 328552 | 11244 252 299 | 0.721 % | 228.87/229.07 c | 479 | 52350 27878 328552 | 12368 479 193 | 0.721 % | 229.67/229.88 c | 816 | 52350 27878 328552 | 13605 816 169 | 0.721 % | 230.87/231.03 c | 1322 | 52350 27878 328552 | 14965 1322 134 | 0.721 % | 232.36/232.59 c | 2081 | 52350 27878 328552 | 16462 2081 114 | 0.721 % | 234.95/235.17 c | 3220 | 52350 27878 328552 | 18108 3220 108 | 0.721 % | 238.86/239.03 c | 4928 | 52350 27878 328552 | 19919 4928 98 | 0.721 % | 244.46/244.61 c | 7490 | 52350 27878 328552 | 21911 7490 102 | 0.721 % | 254.35/254.54 c | 11336 | 52350 27878 328552 | 24102 11336 127 | 0.721 % | 268.55/268.73 c | 17104 | 52350 27878 328552 | 26513 17104 156 | 0.721 % | 292.64/292.89 c | 25753 | 52350 27878 328552 | 29164 25753 149 | 0.721 % | 314.13/314.34 c | 38729 | 52350 27878 328552 | 32080 20080 118 | 0.721 % | 362.41/362.62 c | 58191 | 52350 27878 328552 | 35288 18284 136 | 0.721 % | 459.59/459.80 c | 87383 | 52350 27878 328552 | 38817 23655 142 | 0.721 % | 569.35/569.66 c | 131172 | 52349 27878 328552 | 42699 40150 146 | 0.723 % | 747.79/748.16 c | 196856 | 52349 27878 328552 | 46969 17719 140 | 0.723 % | 966.02/966.46 c | 295383 | 52347 27878 328552 | 51666 19502 132 | 0.726 % | 1364.09/1364.69 c | 443172 | 52344 27878 328552 | 56833 21502 235 | 0.732 % |
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-1875697-1245134524/watcher-1875697-1245134524 -o /tmp/evaluation-result-1875697-1245134524/solver-1875697-1245134524 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875697-1245134524.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 32004 /proc/meminfo: memFree=1624532/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=2960 CPUtime=0 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181049665 3031040 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 740 248 125 292 0 418 0 [startup+0.0546739 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32004 /proc/meminfo: memFree=1624532/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=3928 CPUtime=0.05 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 595 0 0 0 5 0 0 0 18 0 1 0 181049665 4022272 552 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 982 552 134 292 0 687 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3928 [startup+0.101683 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32004 /proc/meminfo: memFree=1624532/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=4808 CPUtime=0.09 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 812 0 0 0 9 0 0 0 18 0 1 0 181049665 4923392 769 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 1202 769 134 292 0 907 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4808 [startup+0.301716 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32004 /proc/meminfo: memFree=1624532/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=8080 CPUtime=0.29 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 1777 0 0 0 29 0 0 0 19 0 1 0 181049665 8273920 1562 1992294400 134512640 135709839 4294956240 18446744073709551615 134530607 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 2020 1562 134 292 0 1725 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8080 [startup+0.701785 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32004 /proc/meminfo: memFree=1624532/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=14424 CPUtime=0.69 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 3654 0 0 0 68 1 0 0 22 0 1 0 181049665 14770176 3153 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 3606 3153 134 292 0 3311 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14424 [startup+1.50192 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1608140/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=27992 CPUtime=1.48 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 7522 0 0 0 145 3 0 0 25 0 1 0 181049665 28663808 6515 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 6998 6515 135 292 0 6703 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27992 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1587788/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=51932 CPUtime=3.06 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 13962 0 0 0 299 7 0 0 25 0 1 0 181049665 53178368 12423 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 12983 12423 136 292 0 12688 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 51932 [startup+6.30174 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1562764/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=68132 CPUtime=6.24 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 24268 0 0 0 608 16 0 0 25 0 1 0 181049665 69767168 16369 1992294400 134512640 135709839 4294956240 18446744073709551615 135183276 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 17033 16369 136 292 0 16738 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 68132 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1555404/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=71156 CPUtime=12.64 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 26726 0 0 0 1242 22 0 0 25 0 1 0 181049665 72863744 17225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 17789 17225 136 292 0 17494 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 71156 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1543628/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=83436 CPUtime=25.43 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 29801 0 0 0 2515 28 0 0 25 0 1 0 181049665 85438464 20300 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 20859 20300 136 292 0 20564 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 83436 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1535884/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=90564 CPUtime=51.02 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 32498 0 0 0 5061 41 0 0 25 0 1 0 181049665 92737536 22091 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 22641 22091 136 292 0 22346 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 90564 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1518156/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=108216 CPUtime=102.2 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 36990 0 0 0 10160 60 0 0 25 0 1 0 181049665 110813184 26583 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 27054 26583 136 292 0 26759 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 108216 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1485452/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=141104 CPUtime=162.18 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 45233 0 0 0 16138 80 0 0 25 0 1 0 181049665 144490496 34826 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 35276 34826 136 292 0 34981 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 141104 [startup+222.301 s] /proc/loadavg: 1.05 1.01 1.00 2/65 32005 /proc/meminfo: memFree=1453836/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=172468 CPUtime=222.17 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 53051 0 0 0 22118 99 0 0 25 0 1 0 181049665 176607232 42644 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 43117 42644 136 292 0 42822 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 172468 [startup+282.302 s] /proc/loadavg: 1.06 1.02 1.00 2/65 32005 /proc/meminfo: memFree=1441740/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=185024 CPUtime=282.14 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 56514 0 0 0 28102 112 0 0 25 0 1 0 181049665 189464576 45581 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 46256 45581 136 292 0 45961 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 185024 [startup+342.302 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32005 /proc/meminfo: memFree=1430284/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=196580 CPUtime=342.13 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 59397 0 0 0 34086 127 0 0 25 0 1 0 181049665 201297920 48464 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 49145 48464 136 292 0 48850 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 196580 [startup+402.301 s] /proc/loadavg: 1.01 1.01 1.00 2/65 32005 /proc/meminfo: memFree=1413452/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=213636 CPUtime=402.11 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 63678 0 0 0 40073 138 0 0 25 0 1 0 181049665 218763264 52745 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 53409 52745 136 292 0 53114 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 213636 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 32005 /proc/meminfo: memFree=1397772/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=228988 CPUtime=462.08 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 67515 0 0 0 46058 150 0 0 25 0 1 0 181049665 234483712 56582 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 57247 56582 136 292 0 56952 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 228988 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1375564/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=251432 CPUtime=522.07 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 73108 0 0 0 52040 167 0 0 25 0 1 0 181049665 257466368 62175 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 62858 62175 136 292 0 62563 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 251432 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32005 /proc/meminfo: memFree=1355916/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=270880 CPUtime=582.05 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 77973 0 0 0 58021 184 0 0 25 0 1 0 181049665 277381120 67040 1992294400 134512640 135709839 4294956240 18446744073709551615 134573706 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 67720 67040 136 292 0 67425 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 270880 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32007 /proc/meminfo: memFree=1331532/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=294920 CPUtime=642.03 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 83960 0 0 0 64005 198 0 0 25 0 1 0 181049665 301998080 73027 1992294400 134512640 135709839 4294956240 18446744073709551615 134572782 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 73730 73027 136 292 0 73435 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 294920 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32007 /proc/meminfo: memFree=1234188/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=392036 CPUtime=881.95 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 108240 0 0 0 87933 262 0 0 25 0 1 0 181049665 401444864 97307 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 98009 97307 136 292 0 97714 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 392036 [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32007 /proc/meminfo: memFree=1202188/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=424172 CPUtime=941.93 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 116272 0 0 0 93916 277 0 0 25 0 1 0 181049665 434352128 105339 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 106043 105339 136 292 0 105748 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 424172 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32007 /proc/meminfo: memFree=1178380/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=447708 CPUtime=1001.91 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 122164 0 0 0 99899 292 0 0 25 0 1 0 181049665 458452992 111231 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 111927 111231 136 292 0 111632 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 447708 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32007 /proc/meminfo: memFree=1152076/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=474372 CPUtime=1061.89 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 128819 0 0 0 105883 306 0 0 25 0 1 0 181049665 485756928 117886 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 118593 117886 136 292 0 118298 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 474372 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32007 /proc/meminfo: memFree=1125772/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=500268 CPUtime=1121.87 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 135303 0 0 0 111866 321 0 0 25 0 1 0 181049665 512274432 124370 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 125067 124370 136 292 0 124772 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 500268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=1098316/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=527904 CPUtime=1181.84 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 142222 0 0 0 117851 333 0 0 25 0 1 0 181049665 540573696 131289 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 131976 131289 136 292 0 131681 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 527904 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=1071500/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=554572 CPUtime=1241.82 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 148864 0 0 0 123833 349 0 0 25 0 1 0 181049665 567881728 137931 1992294400 134512640 135709839 4294956240 18446744073709551615 134577290 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 138643 137931 136 292 0 138348 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 554572 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=1039500/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=586200 CPUtime=1301.81 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 156779 0 0 0 129815 366 0 0 25 0 1 0 181049665 600268800 145846 1992294400 134512640 135709839 4294956240 18446744073709551615 134572336 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 146550 145846 136 292 0 146255 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 586200 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=1008652/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=617524 CPUtime=1361.79 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 164611 0 0 0 135797 382 0 0 25 0 1 0 181049665 632344576 153678 1992294400 134512640 135709839 4294956240 18446744073709551615 134574253 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 154381 153678 136 292 0 154086 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 617524 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=978700/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=646960 CPUtime=1421.78 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 171952 0 0 0 141780 398 0 0 25 0 1 0 181049665 662487040 161019 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 161740 161019 136 292 0 161445 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 646960 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=950924/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=675112 CPUtime=1481.75 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 178995 0 0 0 147764 411 0 0 25 0 1 0 181049665 691314688 168062 1992294400 134512640 135709839 4294956240 18446744073709551615 134579092 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 168778 168062 136 292 0 168483 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 675112 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=917580/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=708124 CPUtime=1541.73 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 187241 0 0 0 153747 426 0 0 25 0 1 0 181049665 725118976 176308 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 177031 176308 136 292 0 176736 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 708124 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=888012/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=737692 CPUtime=1601.71 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 194637 0 0 0 159730 441 0 0 25 0 1 0 181049665 755396608 183704 1992294400 134512640 135709839 4294956240 18446744073709551615 134573867 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 184423 183704 136 292 0 184128 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 737692 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=857548/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=767928 CPUtime=1661.69 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 202193 0 0 0 165714 455 0 0 25 0 1 0 181049665 786358272 191260 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 191982 191260 136 292 0 191687 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 767928 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=829964/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=795784 CPUtime=1721.67 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 209168 0 0 0 171697 470 0 0 25 0 1 0 181049665 814882816 198235 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 198946 198235 136 292 0 198651 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 795784 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=797580/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=827620 CPUtime=1781.65 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 217134 0 0 0 177681 484 0 0 25 0 1 0 181049665 847482880 206201 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 206905 206201 136 292 0 206610 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 827620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=789132/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=835936 CPUtime=1800.06 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4194304 219198 0 0 0 179517 489 0 0 25 0 1 0 181049665 855998464 208265 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 208984 208265 136 292 0 208689 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 835936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32013 /proc/meminfo: memFree=789132/2055920 swapFree=4181368/4192956 [pid=32004] ppid=32002 vsize=0 CPUtime=1800.16 /proc/32004/stat : 32004 (wbo) R 32002 32004 31664 0 -1 4195332 219198 0 0 0 179517 499 0 0 25 0 1 0 181049665 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/32004/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.84 CPU time (s): 1800.19 CPU user time (s): 1795.17 CPU system time (s): 5.02324 CPU usage (%): 99.9642 Max. virtual memory (cumulated for all children) (KiB): 835936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.17 system time used= 5.02324 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 219198 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= 4147 runsolver used 1.18582 second user time and 3.88241 second system time The end
Begin job on node43 at 2009-06-16 08:42:05 IDJOB=1875697 IDBENCH=1872 IDSOLVER=698 FILE ID=node43/1875697-1245134524 PBS_JOBID= 9363711 Free space on /tmp= 66192 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.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-1875697-1245134524/watcher-1875697-1245134524 -o /tmp/evaluation-result-1875697-1245134524/solver-1875697-1245134524 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875697-1245134524.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED=529769854 node43.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.281 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.281 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: 1624948 kB Buffers: 40736 kB Cached: 323628 kB SwapCached: 5352 kB Active: 26600 kB Inactive: 345604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1624948 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 2484 kB Writeback: 0 kB Mapped: 13568 kB Slab: 44596 kB Committed_AS: 167756 kB PageTables: 1448 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-1875697-1245134524.opb Free space on /tmp at the end= 66192 MiB End job on node43 at 2009-06-16 09:12:07