Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1423 | 1423.37 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e2.opb |
MD5SUM | f7c5bacdcc30466dd8339bd5adcf7c5b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 235 |
Best CPU time to get the best result obtained on this benchmark | 324.637 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 235 |
Optimality of the best value was proved | YES |
Number of variables | 534 |
Total number of constraints | 3013 |
Number of constraints which are clauses | 3013 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 534 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 534 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 534 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680667-1277454666.opb. 0.00/0.00 c Instance file HOME/instance-2680667-1277454666.opb 0.00/0.00 c File size is 125296 bytes. 0.00/0.02 c Highest Coefficient sum: 33 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 534 | 0.00/0.02 c | Number Clauses: 3013 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 534 3013 12801 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 262 0.00/0.03 o 262 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 21 | 534 3014 13335 | 5000 21 51 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 259 0.00/0.03 o 259 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 45 | 534 3015 13869 | 5000 45 52 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 247 0.00/0.04 o 247 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 124 | 534 3016 14403 | 5000 124 57 | 0.000 % | 0.00/0.05 c | 224 | 534 3016 14403 | 5500 224 47 | 0.000 % | 0.00/0.06 c | 377 | 534 3016 14403 | 6050 377 102 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 239 0.00/0.07 o 239 0.00/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 379 | 534 3017 14937 | 5000 379 101 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 238 0.00/0.07 o 238 0.00/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 381 | 534 3018 15471 | 5000 381 101 | 0.000 % | 0.00/0.08 c | 482 | 534 3018 15471 | 5500 482 136 | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: 237 0.00/0.09 o 237 0.00/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 532 | 534 3019 16005 | 5000 532 145 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 235 0.09/0.11 o 235 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 628 | 534 3020 16539 | 5000 628 153 | 0.000 % | 0.09/0.13 c | 734 | 534 3020 16539 | 5500 734 148 | 0.000 % | 0.09/0.15 c | 893 | 534 3020 16539 | 6050 893 170 | 0.000 % | 0.09/0.19 c | 1121 | 534 3020 16539 | 6655 1121 189 | 0.010 % | 0.19/0.25 c | 1465 | 534 3020 16539 | 7320 1465 206 | 0.013 % | 0.29/0.35 c | 1980 | 534 3020 16539 | 8052 1980 223 | 0.023 % | 0.39/0.46 c | 2739 | 534 3020 16539 | 8857 2739 236 | 0.023 % | 0.59/0.63 c | 3878 | 534 3020 16539 | 9743 3878 244 | 0.009 % | 0.79/0.88 c | 5586 | 534 3020 16539 | 10717 5586 253 | 0.009 % | 1.29/1.35 c | 8148 | 534 3020 16539 | 11789 8148 258 | 0.023 % | 2.10/2.12 c | 11998 | 534 3020 16539 | 12968 11998 261 | 0.007 % | 3.19/3.26 c | 17766 | 534 3020 16539 | 14265 11037 270 | 0.017 % | 5.19/5.28 c | 26415 | 534 3020 16539 | 15692 12307 269 | 0.013 % | 8.89/8.97 c | 39391 | 534 3020 16539 | 17261 9099 272 | 0.008 % | 12.68/12.72 c | 58852 | 534 3020 16539 | 18987 10804 265 | 0.000 % | 19.79/19.86 c | 88051 | 534 3020 16539 | 20886 10764 266 | 0.013 % | 31.89/31.99 c | 131841 | 534 3020 16539 | 22974 11831 269 | 0.008 % | 49.68/49.73 c | 197530 | 534 3020 16539 | 25272 14266 268 | 0.007 % | 78.47/78.55 c | 296056 | 534 3020 16539 | 27799 23916 267 | 0.008 % | 120.05/120.13 c | 443847 | 534 3020 16539 | 30579 16191 266 | 0.007 % | 182.24/182.33 c | 665531 | 534 3020 16539 | 33637 17938 260 | 0.009 % | 182.64/182.71 c There are 0 assigned variables. 0 in cost function. 183.65/183.79 c core #1 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 1 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #2 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 2 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #3 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 3 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #4 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 4 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #5 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 5 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #6 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 6 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #7 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 7 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #8 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 8 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #9 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 9 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #10 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 10 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #11 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 11 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #12 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 12 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #13 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 13 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #14 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 14 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #15 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 15 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #16 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 16 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #17 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 17 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #18 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 18 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #19 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 19 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #20 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 20 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #21 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 21 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #22 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 22 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #23 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 23 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #24 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 24 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #25 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 25 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #26 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 26 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #27 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 27 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #28 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 28 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #29 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 29 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #30 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 30 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #31 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 31 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #32 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 32 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #33 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 33 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #34 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 34 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #35 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 35 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #36 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 36 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #37 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 37 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #38 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 38 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #39 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 39 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #40 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 40 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #41 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 41 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #42 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 42 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #43 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 43 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #44 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 44 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #45 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 45 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #46 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 46 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #47 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 47 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #48 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 48 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #49 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 49 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #50 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 50 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #51 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 51 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #52 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 52 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #53 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 53 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #54 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 54 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #55 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 55 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #56 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 56 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #57 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 57 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #58 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 58 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #59 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 59 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #60 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 60 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c core #61 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 3 Core Weight: 1 Total Weight: 61 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #62 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 62 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #63 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 63 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #64 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 64 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #65 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 65 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #66 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 66 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #67 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 67 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #68 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 68 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #69 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 69 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #70 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 70 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #71 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 71 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #72 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 72 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #73 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 73 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #74 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 74 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #75 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 75 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #76 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 76 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #77 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 77 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #78 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 78 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #79 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 79 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #80 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 80 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #81 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 81 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #82 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 82 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #83 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 83 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #84 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 84 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #85 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 85 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #86 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 86 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #87 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 87 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #88 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 88 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #89 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 89 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #90 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 90 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #91 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 91 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #92 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 92 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #93 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 93 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #94 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 94 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #95 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 95 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #96 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 3 Core Weight: 1 Total Weight: 96 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #97 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 33 Core Weight: 1 Total Weight: 97 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #98 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 33 Core Weight: 1 Total Weight: 98 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #99 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 33 Core Weight: 1 Total Weight: 99 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #100 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 100 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #101 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 101 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #102 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 102 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #103 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 103 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #104 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 104 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #105 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 105 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #106 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 106 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #107 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 107 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #108 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 108 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #109 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 109 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #110 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 110 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #111 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 111 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #112 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 112 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #113 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 113 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #114 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 114 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #115 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 115 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #116 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 116 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #117 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 117 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #118 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 118 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #119 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 119 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #120 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c Core size: 4 Core Weight: 1 Total Weight: 120 184.04/184.14 c 184.04/184.14 c 184.04/184.14 c core #121 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 4 Core Weight: 1 Total Weight: 121 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #122 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 4 Core Weight: 1 Total Weight: 122 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #123 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 4 Core Weight: 1 Total Weight: 123 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #124 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 4 Core Weight: 1 Total Weight: 124 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #125 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 49 Core Weight: 1 Total Weight: 125 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #126 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 66 Core Weight: 1 Total Weight: 126 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #127 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 68 Core Weight: 1 Total Weight: 127 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #128 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 67 Core Weight: 1 Total Weight: 128 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #129 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 49 Core Weight: 1 Total Weight: 129 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #130 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 66 Core Weight: 1 Total Weight: 130 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #131 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 68 Core Weight: 1 Total Weight: 131 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #132 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 67 Core Weight: 1 Total Weight: 132 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #133 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 49 Core Weight: 1 Total Weight: 133 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #134 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 66 Core Weight: 1 Total Weight: 134 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c core #135 184.14/184.27 c 184.14/184.27 c 184.14/184.27 c Core size: 68 Core Weight: 1 Total Weight: 135 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #136 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 67 Core Weight: 1 Total Weight: 136 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c core #137 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c Core size: 208 Core Weight: 1 Total Weight: 137 184.14/184.28 c 184.14/184.28 c 184.14/184.28 c ============================[ Search Statistics ]============================== 184.14/184.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.28 c =============================================================================== 184.14/184.28 c | 0 | 1068 3692 18143 | 5000 0 nan | 0.000 % | 184.14/184.28 c =============================================================================== 184.14/184.29 c core #138 184.14/184.29 c 184.14/184.29 c 184.14/184.29 c Core size: 10 Core Weight: 1 Total Weight: 138 184.14/184.29 c 184.14/184.29 c 184.14/184.29 c ============================[ Search Statistics ]============================== 184.14/184.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.29 c =============================================================================== 184.14/184.29 c | 0 | 1074 3693 18155 | 5000 0 nan | 0.000 % | 184.14/184.29 c =============================================================================== 184.24/184.30 c core #139 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 14 Core Weight: 1 Total Weight: 139 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c ============================[ Search Statistics ]============================== 184.24/184.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.30 c =============================================================================== 184.24/184.30 c | 0 | 1082 3694 18171 | 5000 0 nan | 0.000 % | 184.24/184.30 c =============================================================================== 184.24/184.31 c core #140 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 76 Core Weight: 1 Total Weight: 140 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c ============================[ Search Statistics ]============================== 184.24/184.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.31 c =============================================================================== 184.24/184.31 c | 0 | 1094 3695 18195 | 5000 0 nan | 0.000 % | 184.24/184.32 c =============================================================================== 184.24/184.33 c core #141 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 20 Core Weight: 1 Total Weight: 141 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c ============================[ Search Statistics ]============================== 184.24/184.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.33 c =============================================================================== 184.24/184.33 c | 0 | 1106 3696 18219 | 5000 0 nan | 0.000 % | 184.24/184.33 c =============================================================================== 184.24/184.34 c core #142 184.24/184.34 c 184.24/184.34 c 184.24/184.34 c Core size: 14 Core Weight: 1 Total Weight: 142 184.24/184.34 c 184.24/184.34 c 184.24/184.34 c ============================[ Search Statistics ]============================== 184.24/184.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.34 c =============================================================================== 184.24/184.34 c | 0 | 1115 3697 18237 | 5000 0 nan | 0.000 % | 184.24/184.35 c =============================================================================== 184.24/184.36 c core #143 184.24/184.36 c 184.24/184.36 c 184.24/184.36 c Core size: 52 Core Weight: 1 Total Weight: 143 184.24/184.36 c 184.24/184.36 c 184.24/184.36 c ============================[ Search Statistics ]============================== 184.24/184.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.36 c =============================================================================== 184.24/184.36 c | 0 | 1154 3698 18315 | 5000 0 nan | 0.000 % | 184.24/184.37 c =============================================================================== 184.24/184.38 c core #144 184.24/184.38 c 184.24/184.38 c 184.24/184.38 c Core size: 12 Core Weight: 1 Total Weight: 144 184.24/184.38 c 184.24/184.38 c 184.24/184.38 c ============================[ Search Statistics ]============================== 184.24/184.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.38 c =============================================================================== 184.24/184.38 c | 0 | 1161 3699 18329 | 5000 0 nan | 0.000 % | 184.24/184.38 c =============================================================================== 184.24/184.39 c core #145 184.24/184.39 c 184.24/184.39 c 184.24/184.39 c Core size: 10 Core Weight: 1 Total Weight: 145 184.24/184.39 c 184.24/184.39 c 184.24/184.39 c ============================[ Search Statistics ]============================== 184.24/184.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.39 c =============================================================================== 184.24/184.39 c | 0 | 1167 3700 18341 | 5000 0 nan | 0.000 % | 184.34/184.40 c =============================================================================== 184.34/184.41 c core #146 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 10 Core Weight: 1 Total Weight: 146 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c ============================[ Search Statistics ]============================== 184.34/184.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.41 c =============================================================================== 184.34/184.41 c | 0 | 1173 3701 18353 | 5000 0 nan | 0.000 % | 184.34/184.42 c =============================================================================== 184.34/184.43 c core #147 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 20 Core Weight: 1 Total Weight: 147 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c ============================[ Search Statistics ]============================== 184.34/184.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.43 c =============================================================================== 184.34/184.43 c | 0 | 1188 3702 18383 | 5000 0 nan | 0.000 % | 184.34/184.44 c =============================================================================== 184.34/184.45 c core #148 184.34/184.45 c 184.34/184.45 c 184.34/184.45 c Core size: 14 Core Weight: 1 Total Weight: 148 184.34/184.45 c 184.34/184.45 c 184.34/184.45 c ============================[ Search Statistics ]============================== 184.34/184.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.45 c =============================================================================== 184.34/184.45 c | 0 | 1196 3703 18399 | 5000 0 nan | 0.000 % | 184.34/184.46 c =============================================================================== 184.34/184.47 c core #149 184.34/184.47 c 184.34/184.47 c 184.34/184.47 c Core size: 74 Core Weight: 1 Total Weight: 149 184.34/184.47 c 184.34/184.47 c 184.34/184.47 c ============================[ Search Statistics ]============================== 184.34/184.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.47 c =============================================================================== 184.34/184.47 c | 0 | 1209 3704 18425 | 5000 0 nan | 0.000 % | 184.34/184.47 c =============================================================================== 184.34/184.48 c core #150 184.34/184.48 c 184.34/184.48 c 184.34/184.48 c Core size: 16 Core Weight: 1 Total Weight: 150 184.34/184.48 c 184.34/184.48 c 184.34/184.48 c ============================[ Search Statistics ]============================== 184.34/184.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.48 c =============================================================================== 184.34/184.48 c | 0 | 1218 3705 18443 | 5000 0 nan | 0.000 % | 184.34/184.49 c =============================================================================== 184.44/184.50 c core #151 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c Core size: 11 Core Weight: 1 Total Weight: 151 184.44/184.50 c 184.44/184.50 c 184.44/184.50 c ============================[ Search Statistics ]============================== 184.44/184.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.50 c =============================================================================== 184.44/184.50 c | 0 | 1227 3706 18461 | 5000 0 nan | 0.000 % | 184.44/184.50 c =============================================================================== 184.44/184.51 c core #152 184.44/184.51 c 184.44/184.51 c 184.44/184.51 c Core size: 16 Core Weight: 1 Total Weight: 152 184.44/184.51 c 184.44/184.51 c 184.44/184.51 c ============================[ Search Statistics ]============================== 184.44/184.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.51 c =============================================================================== 184.44/184.51 c | 0 | 1236 3707 18479 | 5000 0 nan | 0.000 % | 184.44/184.52 c =============================================================================== 184.44/184.53 c core #153 184.44/184.53 c 184.44/184.53 c 184.44/184.53 c Core size: 17 Core Weight: 1 Total Weight: 153 184.44/184.53 c 184.44/184.53 c 184.44/184.53 c ============================[ Search Statistics ]============================== 184.44/184.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.53 c =============================================================================== 184.44/184.53 c | 0 | 1248 3708 18503 | 5000 0 nan | 0.000 % | 184.44/184.54 c =============================================================================== 184.44/184.55 c core #154 184.44/184.55 c 184.44/184.55 c 184.44/184.55 c Core size: 36 Core Weight: 1 Total Weight: 154 184.44/184.55 c 184.44/184.55 c 184.44/184.55 c ============================[ Search Statistics ]============================== 184.44/184.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.55 c =============================================================================== 184.44/184.55 c | 0 | 1262 3709 18531 | 5000 0 nan | 0.000 % | 184.44/184.56 c =============================================================================== 184.44/184.57 c core #155 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 125 Core Weight: 1 Total Weight: 155 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c ============================[ Search Statistics ]============================== 184.44/184.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.57 c =============================================================================== 184.44/184.57 c | 0 | 1270 3710 18547 | 5000 0 nan | 0.000 % | 184.44/184.58 c =============================================================================== 184.44/184.59 c core #156 184.44/184.59 c 184.44/184.59 c 184.44/184.59 c Core size: 29 Core Weight: 1 Total Weight: 156 184.44/184.59 c 184.44/184.59 c 184.44/184.59 c ============================[ Search Statistics ]============================== 184.44/184.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.59 c =============================================================================== 184.44/184.59 c | 0 | 1278 3711 18563 | 5000 0 nan | 0.000 % | 184.44/184.60 c =============================================================================== 184.54/184.61 c core #157 184.54/184.61 c 184.54/184.61 c 184.54/184.61 c Core size: 140 Core Weight: 1 Total Weight: 157 184.54/184.61 c 184.54/184.61 c 184.54/184.61 c ============================[ Search Statistics ]============================== 184.54/184.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.61 c =============================================================================== 184.54/184.61 c | 0 | 1300 3712 18607 | 5000 0 nan | 0.000 % | 184.54/184.62 c =============================================================================== 184.54/184.63 c core #158 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 151 Core Weight: 1 Total Weight: 158 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c ============================[ Search Statistics ]============================== 184.54/184.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.63 c =============================================================================== 184.54/184.63 c | 0 | 1324 3713 18655 | 5000 0 nan | 0.000 % | 184.54/184.64 c =============================================================================== 184.54/184.65 c core #159 184.54/184.65 c 184.54/184.65 c 184.54/184.65 c Core size: 137 Core Weight: 1 Total Weight: 159 184.54/184.65 c 184.54/184.65 c 184.54/184.65 c ============================[ Search Statistics ]============================== 184.54/184.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.65 c =============================================================================== 184.54/184.65 c | 0 | 1342 3714 18691 | 5000 0 nan | 0.000 % | 184.54/184.66 c =============================================================================== 184.54/184.67 c core #160 184.54/184.67 c 184.54/184.67 c 184.54/184.67 c Core size: 122 Core Weight: 1 Total Weight: 160 184.54/184.67 c 184.54/184.67 c 184.54/184.67 c ============================[ Search Statistics ]============================== 184.54/184.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.67 c =============================================================================== 184.54/184.67 c | 0 | 1352 3715 18711 | 5000 0 nan | 0.000 % | 184.54/184.68 c =============================================================================== 184.54/184.69 c core #161 184.54/184.69 c 184.54/184.69 c 184.54/184.69 c Core size: 145 Core Weight: 1 Total Weight: 161 184.54/184.69 c 184.54/184.69 c 184.54/184.69 c ============================[ Search Statistics ]============================== 184.54/184.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.69 c =============================================================================== 184.54/184.69 c | 0 | 1366 3716 18739 | 5000 0 nan | 0.000 % | 184.65/184.70 c =============================================================================== 184.65/184.71 c core #162 184.65/184.71 c 184.65/184.71 c 184.65/184.71 c Core size: 137 Core Weight: 1 Total Weight: 162 184.65/184.71 c 184.65/184.71 c 184.65/184.71 c ============================[ Search Statistics ]============================== 184.65/184.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.71 c =============================================================================== 184.65/184.71 c | 0 | 1382 3717 18771 | 5000 0 nan | 0.000 % | 184.65/184.73 c | 101 | 1372 3717 18771 | 5500 101 27 | 0.941 % | 184.65/184.73 c =============================================================================== 184.65/184.75 c core #163 184.65/184.75 c 184.65/184.75 c 184.65/184.75 c Core size: 98 Core Weight: 1 Total Weight: 163 184.65/184.75 c 184.65/184.75 c 184.65/184.75 c ============================[ Search Statistics ]============================== 184.65/184.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.75 c =============================================================================== 184.65/184.75 c | 0 | 1469 3718 18945 | 5000 0 nan | 0.000 % | 184.65/184.76 c | 101 | 1469 3718 18945 | 5500 101 13 | 0.001 % | 184.65/184.78 c | 252 | 1469 3718 18945 | 6050 252 26 | 0.003 % | 184.74/184.81 c | 478 | 1464 3718 18945 | 6655 477 27 | 0.613 % | 184.74/184.82 c =============================================================================== 184.74/184.83 c core #164 184.74/184.83 c 184.74/184.83 c 184.74/184.83 c Core size: 137 Core Weight: 1 Total Weight: 164 184.74/184.83 c 184.74/184.83 c 184.74/184.83 c ============================[ Search Statistics ]============================== 184.74/184.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.83 c =============================================================================== 184.74/184.83 c | 0 | 1570 3719 19147 | 5000 0 nan | 0.000 % | 184.74/184.85 c | 101 | 1556 3719 19147 | 5500 101 24 | 1.146 % | 184.74/184.85 c =============================================================================== 184.74/184.86 c core #165 184.74/184.86 c 184.74/184.86 c 184.74/184.86 c Core size: 99 Core Weight: 1 Total Weight: 165 184.74/184.86 c 184.74/184.86 c 184.74/184.86 c ============================[ Search Statistics ]============================== 184.74/184.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.86 c =============================================================================== 184.74/184.86 c | 0 | 1656 3720 19319 | 5000 0 nan | 0.000 % | 184.74/184.89 c | 100 | 1656 3720 19319 | 5500 100 39 | 0.001 % | 184.85/184.93 c | 250 | 1656 3720 19319 | 6050 250 43 | 0.000 % | 184.85/184.98 c | 476 | 1656 3720 19319 | 6655 476 46 | 0.000 % | 184.94/185.08 c | 813 | 1656 3720 19319 | 7320 813 50 | 0.000 % | 185.14/185.23 c | 1319 | 1650 3720 19319 | 8052 1315 49 | 0.362 % | 185.14/185.25 c =============================================================================== 185.14/185.27 c core #166 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 200 Core Weight: 1 Total Weight: 166 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c ============================[ Search Statistics ]============================== 185.14/185.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.27 c =============================================================================== 185.14/185.27 c | 0 | 1706 3722 19422 | 5000 0 nan | 0.000 % | 185.24/185.30 c | 101 | 1706 3722 19422 | 5500 101 52 | 0.003 % | 185.24/185.33 c | 251 | 1706 3722 19422 | 6050 251 40 | 0.000 % | 185.24/185.35 c =============================================================================== 185.24/185.36 c core #167 185.24/185.36 c 185.24/185.36 c 185.24/185.36 c Core size: 155 Core Weight: 1 Total Weight: 167 185.24/185.36 c 185.24/185.36 c 185.24/185.36 c ============================[ Search Statistics ]============================== 185.24/185.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.36 c =============================================================================== 185.24/185.36 c | 0 | 1717 3723 19444 | 5000 0 nan | 0.000 % | 185.24/185.39 c | 100 | 1717 3723 19444 | 5500 100 40 | 0.001 % | 185.34/185.41 c | 251 | 1717 3723 19444 | 6050 251 43 | 0.000 % | 185.34/185.46 c | 476 | 1717 3723 19444 | 6655 476 44 | 0.000 % | 185.44/185.50 c =============================================================================== 185.44/185.52 c core #168 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c Core size: 121 Core Weight: 1 Total Weight: 168 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c ============================[ Search Statistics ]============================== 185.44/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.52 c =============================================================================== 185.44/185.52 c | 0 | 1738 3724 19486 | 5000 0 nan | 0.000 % | 185.44/185.55 c | 108 | 1738 3724 19486 | 5500 108 83 | 0.001 % | 185.44/185.58 c | 258 | 1738 3724 19486 | 6050 258 107 | 0.000 % | 185.54/185.64 c | 483 | 1736 3724 19486 | 6655 481 76 | 0.115 % | 185.54/185.65 c =============================================================================== 185.54/185.66 c core #169 185.54/185.66 c 185.54/185.66 c 185.54/185.66 c Core size: 45 Core Weight: 1 Total Weight: 169 185.54/185.66 c 185.54/185.66 c 185.54/185.66 c ============================[ Search Statistics ]============================== 185.54/185.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.66 c =============================================================================== 185.54/185.66 c | 0 | 1764 3727 19543 | 5000 0 nan | 0.000 % | 185.54/185.69 c | 106 | 1764 3727 19543 | 5500 106 48 | 0.001 % | 185.64/185.72 c | 258 | 1764 3727 19543 | 6050 258 49 | 0.000 % | 185.64/185.77 c | 484 | 1764 3727 19543 | 6655 484 53 | 0.000 % | 185.75/185.87 c | 822 | 1764 3727 19543 | 7320 822 56 | 0.000 % | 185.94/186.04 c | 1328 | 1764 3727 19543 | 8052 1328 57 | 0.000 % | 186.24/186.30 c | 2087 | 1760 3727 19543 | 8857 2082 57 | 0.340 % | 186.34/186.43 c =============================================================================== 186.34/186.45 c core #170 186.34/186.45 c 186.34/186.45 c 186.34/186.45 c Core size: 53 Core Weight: 1 Total Weight: 170 186.34/186.45 c 186.34/186.45 c 186.34/186.45 c ============================[ Search Statistics ]============================== 186.34/186.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.45 c =============================================================================== 186.34/186.45 c | 0 | 1792 3730 19605 | 5000 0 nan | 0.000 % | 186.34/186.48 c | 101 | 1792 3730 19605 | 5500 101 42 | 0.001 % | 186.44/186.52 c | 255 | 1792 3730 19605 | 6050 255 45 | 0.000 % | 186.44/186.57 c | 483 | 1792 3730 19605 | 6655 483 46 | 0.000 % | 186.54/186.65 c | 821 | 1789 3730 19605 | 7320 606 43 | 0.223 % | 186.54/186.69 c =============================================================================== 186.64/186.70 c core #171 186.64/186.70 c 186.64/186.70 c 186.64/186.70 c Core size: 384 Core Weight: 1 Total Weight: 171 186.64/186.70 c 186.64/186.70 c 186.64/186.70 c ============================[ Search Statistics ]============================== 186.64/186.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.64/186.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.64/186.70 c =============================================================================== 186.64/186.70 c | 0 | 1804 3733 19635 | 5000 0 nan | 0.000 % | 186.64/186.73 c | 100 | 1804 3733 19635 | 5500 100 42 | 0.001 % | 186.64/186.77 c | 250 | 1804 3733 19635 | 6050 250 45 | 0.000 % | 186.75/186.84 c | 476 | 1804 3733 19635 | 6655 476 52 | 0.000 % | 186.85/186.92 c | 822 | 1802 3733 19635 | 7320 818 50 | 0.112 % | 186.95/187.02 c | 1328 | 1802 3733 19635 | 8052 1324 76 | 0.111 % | 187.14/187.20 c | 2087 | 1802 3733 19635 | 8857 2083 69 | 0.111 % | 187.14/187.24 c =============================================================================== 187.14/187.27 c core #172 187.14/187.27 c 187.14/187.27 c 187.14/187.27 c Core size: 45 Core Weight: 1 Total Weight: 172 187.14/187.27 c 187.14/187.27 c 187.14/187.27 c ============================[ Search Statistics ]============================== 187.14/187.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.14/187.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.14/187.27 c =============================================================================== 187.14/187.27 c | 0 | 1830 3734 19687 | 5000 0 nan | 0.000 % | 187.14/187.29 c | 104 | 1830 3734 19687 | 5500 104 93 | 0.001 % | 187.24/187.32 c | 254 | 1830 3734 19687 | 6050 254 88 | 0.000 % | 187.24/187.37 c | 484 | 1830 3734 19687 | 6655 484 83 | 0.000 % | 187.35/187.45 c | 823 | 1830 3734 19687 | 7320 823 80 | 0.000 % | 187.44/187.59 c | 1332 | 1830 3734 19687 | 8052 1332 68 | 0.000 % | 187.74/187.85 c | 2091 | 1830 3734 19687 | 8857 2091 72 | 0.000 % | 188.25/188.32 c | 3230 | 1830 3734 19687 | 9743 3230 69 | 0.000 % | 189.05/189.14 c | 4941 | 1830 3734 19687 | 10717 4941 69 | 0.000 % | 189.75/189.82 c | 7504 | 1830 3734 19687 | 11789 7504 78 | 0.000 % | 190.64/190.78 c | 11350 | 1830 3734 19687 | 12968 11350 84 | 0.002 % | 192.04/192.19 c | 17120 | 1830 3734 19687 | 14265 10355 134 | 0.002 % | 192.84/192.97 c =============================================================================== 192.94/193.02 c core #173 192.94/193.02 c 192.94/193.02 c 192.94/193.02 c Core size: 433 Core Weight: 1 Total Weight: 173 192.94/193.02 c 192.94/193.02 c 192.94/193.02 c ============================[ Search Statistics ]============================== 192.94/193.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.94/193.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.94/193.02 c =============================================================================== 192.94/193.02 c | 0 | 1862 3736 19753 | 5000 0 nan | 0.000 % | 192.94/193.05 c | 100 | 1862 3736 19753 | 5500 100 41 | 0.001 % | 192.94/193.08 c | 250 | 1862 3736 19753 | 6050 250 53 | 0.000 % | 193.04/193.11 c | 477 | 1862 3736 19753 | 6655 477 58 | 0.000 % | 193.04/193.18 c | 815 | 1862 3736 19753 | 7320 815 59 | 0.000 % | 193.14/193.29 c | 1321 | 1862 3736 19753 | 8052 1321 60 | 0.000 % | 193.34/193.49 c | 2080 | 1862 3736 19753 | 8857 2080 60 | 0.000 % | 193.64/193.71 c | 3220 | 1862 3736 19753 | 9743 3220 72 | 0.000 % | 194.04/194.11 c | 4928 | 1860 3736 19753 | 10717 4842 80 | 0.109 % | 194.74/194.81 c | 7497 | 1860 3736 19753 | 11789 7411 86 | 0.107 % | 195.54/195.60 c | 11343 | 1856 3736 19753 | 12968 11257 85 | 0.328 % | 196.44/196.56 c =============================================================================== 196.54/196.61 c core #174 196.54/196.61 c 196.54/196.61 c 196.54/196.61 c Core size: 153 Core Weight: 1 Total Weight: 174 196.54/196.61 c 196.54/196.61 c 196.54/196.61 c ============================[ Search Statistics ]============================== 196.54/196.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.54/196.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.54/196.61 c =============================================================================== 196.54/196.61 c | 0 | 1889 3743 19821 | 5000 0 nan | 0.000 % | 196.54/196.64 c | 102 | 1889 3743 19821 | 5500 102 38 | 0.001 % | 196.54/196.66 c | 252 | 1889 3743 19821 | 6050 252 49 | 0.000 % | 196.64/196.72 c | 477 | 1889 3743 19821 | 6655 477 54 | 0.000 % | 196.74/196.81 c | 814 | 1889 3743 19821 | 7320 814 57 | 0.000 % | 196.84/196.95 c | 1324 | 1889 3743 19821 | 8052 1324 55 | 0.000 % | 197.04/197.16 c | 2083 | 1889 3743 19821 | 8857 2083 58 | 0.000 % | 197.44/197.57 c | 3222 | 1889 3743 19821 | 9743 3222 60 | 0.000 % | 198.14/198.29 c | 4930 | 1889 3743 19821 | 10717 4930 61 | 0.000 % | 198.74/198.81 c | 7492 | 1889 3743 19821 | 11789 7492 90 | 0.000 % | 199.54/199.62 c | 11336 | 1889 3743 19821 | 12968 11336 105 | 0.001 % | 200.94/201.04 c | 17103 | 1889 3743 19821 | 14265 10361 127 | 0.002 % | 203.24/203.37 c | 25754 | 1889 3743 19821 | 15692 11612 120 | 0.001 % | 207.63/207.74 c | 38734 | 1889 3743 19821 | 17261 8389 117 | 0.000 % | 213.13/213.21 c | 58205 | 1889 3743 19821 | 18987 10084 91 | 0.002 % | 224.13/224.22 c | 87397 | 1889 3743 19821 | 20886 10080 131 | 0.002 % | 240.33/240.40 c | 131187 | 1889 3743 19821 | 22974 11213 115 | 0.000 % | 262.22/262.39 c | 196874 | 1889 3743 19821 | 25272 13612 97 | 0.000 % | 299.61/299.71 c | 295400 | 1889 3743 19821 | 27799 22800 109 | 0.001 % | 355.20/355.32 c | 443190 | 1889 3743 19821 | 30579 14592 160 | 0.001 % | 448.28/448.47 c | 664875 | 1889 3743 19821 | 33637 17754 80 | 0.001 % | 491.96/492.15 c =============================================================================== 492.67/492.88 c core #175 492.67/492.88 c 492.67/492.88 c 492.67/492.88 c Core size: 139 Core Weight: 1 Total Weight: 175 492.67/492.88 c 492.67/492.88 c 492.67/492.88 c ============================[ Search Statistics ]============================== 492.67/492.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 492.67/492.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 492.67/492.88 c =============================================================================== 492.67/492.88 c | 0 | 1917 3749 19889 | 5000 0 nan | 0.000 % | 492.87/493.01 c | 100 | 1917 3749 19889 | 5500 100 37 | 0.001 % | 492.87/493.03 c | 250 | 1917 3749 19889 | 6050 250 77 | 0.000 % | 492.87/493.07 c | 478 | 1917 3749 19889 | 6655 478 82 | 0.000 % | 492.96/493.13 c | 816 | 1917 3749 19889 | 7320 816 69 | 0.002 % | 493.06/493.23 c | 1323 | 1917 3749 19889 | 8052 1323 63 | 0.000 % | 493.16/493.39 c | 2089 | 1915 3749 19889 | 8857 2083 68 | 0.114 % | 493.46/493.65 c | 3231 | 1894 3749 19889 | 9743 3225 69 | 1.365 % | 493.77/493.98 c | 4942 | 1894 3749 19889 | 10717 4936 73 | 1.364 % | 494.36/494.50 c | 7506 | 1894 3749 19889 | 11789 7500 77 | 1.364 % | 495.16/495.31 c | 11358 | 1891 3749 19889 | 12968 9998 80 | 1.360 % | 496.36/496.56 c | 17124 | 1891 3749 19889 | 14265 9024 82 | 1.359 % | 498.36/498.55 c | 25775 | 1891 3749 19889 | 15692 10286 79 | 1.360 % | 501.56/501.70 c | 38749 | 1891 3749 19889 | 17261 15156 77 | 1.359 % | 506.26/506.46 c | 58210 | 1891 3749 19889 | 18987 16829 75 | 1.363 % | 513.86/514.07 c | 87402 | 1891 3749 19889 | 20886 16763 75 | 1.362 % | 526.46/526.60 c | 131192 | 1891 3749 19889 | 22974 17736 76 | 1.359 % | 547.45/547.68 c | 196877 | 1891 3749 19889 | 25272 20001 74 | 1.363 % | 580.55/580.74 c | 295403 | 1891 3749 19889 | 27799 14348 107 | 1.358 % | 628.72/628.98 c | 443192 | 1889 3749 19889 | 30579 23345 82 | 1.461 % | 713.11/713.30 c | 664877 | 1889 3749 19889 | 33637 24818 70 | 1.461 % | 866.96/867.29 c | 997405 | 1889 3749 19889 | 37001 12687 97 | 1.461 % | 1060.12/1060.47 c | 1496193 | 1889 3749 19889 | 40701 11929 63 | 1.471 % |
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-2680667-1277454666/watcher-2680667-1277454666 -o /tmp/evaluation-result-2680667-1277454666/solver-2680667-1277454666 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680667-1277454666.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.90 3/105 26522 /proc/meminfo: memFree=1850940/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=2700 CPUtime=0 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 284 0 0 0 0 0 0 0 25 0 1 0 86760756 2764800 202 1992294400 134512640 135752675 4288305600 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 675 202 139 303 0 339 0 [startup+0.0974681 s] /proc/loadavg: 0.91 0.95 0.90 3/105 26522 /proc/meminfo: memFree=1850940/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=3228 CPUtime=0.09 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 490 0 0 0 9 0 0 0 18 0 1 0 86760756 3305472 377 1992294400 134512640 135752675 4288305600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 807 377 145 303 0 502 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3228 [startup+0.101468 s] /proc/loadavg: 0.91 0.95 0.90 3/105 26522 /proc/meminfo: memFree=1850940/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=3228 CPUtime=0.09 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 494 0 0 0 9 0 0 0 18 0 1 0 86760756 3305472 381 1992294400 134512640 135752675 4288305600 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 807 381 145 303 0 502 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3228 [startup+0.301489 s] /proc/loadavg: 0.91 0.95 0.90 3/105 26522 /proc/meminfo: memFree=1850940/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=4508 CPUtime=0.29 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 820 0 0 0 29 0 0 0 18 0 1 0 86760756 4616192 707 1992294400 134512640 135752675 4288305600 18446744073709551615 134638032 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 1127 707 145 303 0 822 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4508 [startup+0.701532 s] /proc/loadavg: 0.91 0.95 0.90 3/105 26522 /proc/meminfo: memFree=1850940/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=7712 CPUtime=0.69 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 1613 0 0 0 68 1 0 0 18 0 1 0 86760756 7897088 1500 1992294400 134512640 135752675 4288305600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 1928 1500 145 303 0 1623 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7712 [startup+1.50162 s] /proc/loadavg: 0.91 0.95 0.90 2/106 26523 /proc/meminfo: memFree=1843120/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=13240 CPUtime=1.49 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 2999 0 0 0 145 4 0 0 19 0 1 0 86760756 13557760 2886 1992294400 134512640 135752675 4288305600 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 3310 2886 145 303 0 3005 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13240 [startup+3.10079 s] /proc/loadavg: 0.91 0.95 0.90 2/106 26523 /proc/meminfo: memFree=1836052/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=22944 CPUtime=3.09 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 5399 0 0 0 302 7 0 0 25 0 1 0 86760756 23494656 5286 1992294400 134512640 135752675 4288305600 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 5736 5286 145 303 0 5431 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22944 [startup+6.30113 s] /proc/loadavg: 0.92 0.95 0.90 2/106 26523 /proc/meminfo: memFree=1817948/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=39260 CPUtime=6.29 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 9485 0 0 0 617 12 0 0 25 0 1 0 86760756 40202240 9372 1992294400 134512640 135752675 4288305600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 9815 9372 145 303 0 9510 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39260 [startup+12.7008 s] /proc/loadavg: 0.93 0.95 0.90 2/106 26523 /proc/meminfo: memFree=1783848/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=72460 CPUtime=12.68 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 17775 0 0 0 1245 23 0 0 25 0 1 0 86760756 74199040 17662 1992294400 134512640 135752675 4288305600 18446744073709551615 134518720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 18115 17662 145 303 0 17810 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 72460 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.91 2/106 26523 /proc/meminfo: memFree=1721104/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=132984 CPUtime=25.49 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 32917 0 0 0 2506 43 0 0 25 0 1 0 86760756 136175616 32804 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 33246 32804 145 303 0 32941 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 132984 [startup+51.1009 s] /proc/loadavg: 1.04 0.98 0.91 3/107 26528 /proc/meminfo: memFree=1542636/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=242784 CPUtime=51.08 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 60352 0 0 0 5028 80 0 0 25 0 1 0 86760756 248610816 60239 1992294400 134512640 135752675 4288305600 18446744073709551615 134640140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 60696 60239 145 303 0 60391 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 242784 [startup+102.308 s] /proc/loadavg: 1.02 0.98 0.91 2/106 26528 /proc/meminfo: memFree=1358508/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=450564 CPUtime=102.27 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 112274 0 0 0 10074 153 0 0 25 0 1 0 86760756 461377536 112161 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 112641 112161 145 303 0 112336 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 450564 [startup+162.302 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26530 /proc/meminfo: memFree=1114972/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=695920 CPUtime=162.25 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 173589 0 0 0 15987 238 0 0 25 0 1 0 86760756 712622080 173476 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 173980 173477 145 303 0 173675 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 695920 [startup+222.301 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26532 /proc/meminfo: memFree=1003124/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=805136 CPUtime=222.23 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 200962 0 0 0 21921 302 0 0 25 0 1 0 86760756 824459264 200818 1992294400 134512640 135752675 4288305600 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 201284 200818 146 303 0 200979 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 805136 [startup+282.301 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26534 /proc/meminfo: memFree=931700/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=876976 CPUtime=282.21 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 218905 0 0 0 27864 357 0 0 25 0 1 0 86760756 898023424 218761 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 219244 218761 146 303 0 218939 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 876976 [startup+342.302 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26534 /proc/meminfo: memFree=837088/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=971208 CPUtime=342.2 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 242441 0 0 0 33804 416 0 0 25 0 1 0 86760756 994516992 242297 1992294400 134512640 135752675 4288305600 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 242802 242297 146 303 0 242497 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 971208 [startup+402.301 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26536 /proc/meminfo: memFree=777320/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1030868 CPUtime=402.19 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 257331 0 0 0 39746 473 0 0 25 0 1 0 86760756 1055608832 257187 1992294400 134512640 135752675 4288305600 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 257717 257187 146 303 0 257412 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1030868 [startup+462.302 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26538 /proc/meminfo: memFree=722512/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1085332 CPUtime=462.17 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 270951 0 0 0 45691 526 0 0 25 0 1 0 86760756 1111379968 270807 1992294400 134512640 135752675 4288305600 18446744073709551615 134607026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 271333 270807 146 303 0 271028 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1085332 [startup+522.301 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26540 /proc/meminfo: memFree=668820/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1139604 CPUtime=522.15 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 284593 0 0 0 51632 583 0 0 25 0 1 0 86760756 1166954496 284449 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 284901 284449 146 303 0 284596 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1139604 [startup+582.301 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26542 /proc/meminfo: memFree=596032/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1211788 CPUtime=582.14 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 302606 0 0 0 57573 641 0 0 25 0 1 0 86760756 1240870912 302462 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 302947 302462 146 303 0 302642 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1211788 [startup+642.302 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26542 /proc/meminfo: memFree=534528/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1272636 CPUtime=642.14 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 317772 0 0 0 63517 697 0 0 25 0 1 0 86760756 1303179264 317628 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 318159 317628 146 303 0 317854 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1272636 [startup+702.301 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26544 /proc/meminfo: memFree=487036/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1320616 CPUtime=702.11 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 329731 0 0 0 69455 756 0 0 25 0 1 0 86760756 1352310784 329587 1992294400 134512640 135752675 4288305600 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 330154 329587 146 303 0 329849 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1320616 [startup+762.308 s] /proc/loadavg: 1.00 0.98 0.91 2/106 26546 /proc/meminfo: memFree=431980/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1375304 CPUtime=762.1 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 343364 0 0 0 75400 810 0 0 25 0 1 0 86760756 1408311296 343220 1992294400 134512640 135752675 4288305600 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 343826 343220 146 303 0 343521 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1375304 [startup+822.302 s] /proc/loadavg: 1.05 0.99 0.92 2/106 26548 /proc/meminfo: memFree=379404/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1428136 CPUtime=822.08 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 356573 0 0 0 81349 859 0 0 25 0 1 0 86760756 1462411264 356429 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 357034 356429 146 303 0 356729 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1428136 [startup+882.301 s] /proc/loadavg: 1.02 0.99 0.92 2/106 26550 /proc/meminfo: memFree=328192/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1479056 CPUtime=882.06 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 369253 0 0 0 87299 907 0 0 25 0 1 0 86760756 1514553344 369109 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 369764 369109 146 303 0 369459 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1479056 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26550 /proc/meminfo: memFree=287768/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1520292 CPUtime=942.04 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 379529 0 0 0 93247 957 0 0 25 0 1 0 86760756 1556779008 379385 1992294400 134512640 135752675 4288305600 18446744073709551615 135203200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 380073 379385 146 303 0 379768 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1520292 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26552 /proc/meminfo: memFree=243748/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1563704 CPUtime=1002.03 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 390375 0 0 0 99196 1007 0 0 25 0 1 0 86760756 1601232896 390231 1992294400 134512640 135752675 4288305600 18446744073709551615 134639507 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 390926 390231 146 303 0 390621 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1563704 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26554 /proc/meminfo: memFree=192908/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1615264 CPUtime=1062.01 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 403281 0 0 0 105143 1058 0 0 25 0 1 0 86760756 1654030336 403137 1992294400 134512640 135752675 4288305600 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 403816 403137 146 303 0 403511 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1615264 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26556 /proc/meminfo: memFree=156452/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1650564 CPUtime=1122 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 412081 0 0 0 111105 1095 0 0 25 0 1 0 86760756 1690177536 411937 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 412641 411937 146 303 0 412336 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1650564 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26558 /proc/meminfo: memFree=122724/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1684952 CPUtime=1181.99 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 420657 0 0 0 117066 1133 0 0 25 0 1 0 86760756 1725390848 420513 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 421238 420513 146 303 0 420933 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1684952 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26558 /proc/meminfo: memFree=78208/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1728788 CPUtime=1241.97 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 431625 0 0 0 123018 1179 0 0 25 0 1 0 86760756 1770278912 431481 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 432197 431481 146 303 0 431892 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1728788 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26560 /proc/meminfo: memFree=38404/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1768048 CPUtime=1301.96 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 441431 0 0 0 128973 1223 0 0 25 0 1 0 86760756 1810481152 441287 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 442012 441287 146 303 0 441707 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1768048 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26562 /proc/meminfo: memFree=10856/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1803808 CPUtime=1361.94 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 450396 0 0 0 134932 1262 0 0 25 0 1 0 86760756 1847099392 450252 1992294400 134512640 135752675 4288305600 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 450952 450252 146 303 0 450647 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1803808 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26564 /proc/meminfo: memFree=10276/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1842704 CPUtime=1421.93 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 460107 0 0 0 140892 1301 0 0 25 0 1 0 86760756 1886928896 459963 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 460676 459963 146 303 0 460371 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1842704 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1423.2 s] /proc/loadavg: 1.00 0.99 0.92 2/106 26564 /proc/meminfo: memFree=9780/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=1843232 CPUtime=1422.83 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4202496 460224 0 0 0 140982 1301 0 0 25 0 1 0 86760756 1887469568 460080 1992294400 134512640 135752675 4288305600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26522/statm: 460808 460080 146 303 0 460503 0 Current children cumulated CPU time (s) 1422.83 Current children cumulated vsize (KiB) 1843232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1423.31 s] /proc/loadavg: 1.00 0.99 0.92 2/107 26565 /proc/meminfo: memFree=1102212/2059040 swapFree=4140332/4192956 [pid=26522] ppid=26520 vsize=0 CPUtime=1422.94 /proc/26522/stat : 26522 (wbo1.4b) R 26520 26522 26352 0 -1 4203524 460224 0 0 0 140982 1312 0 0 25 0 1 0 86760756 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26522/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422.94 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1423.37 CPU time (s): 1423 CPU user time (s): 1409.82 CPU system time (s): 13.183 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1843232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1409.82 system time used= 13.183 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460224 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= 23 involuntary context switches= 1072 runsolver used 2.31065 second user time and 6.79497 second system time The end
Begin job on node081 at 2010-06-25 10:31:06 IDJOB=2680667 IDBENCH=2201 IDSOLVER=1190 FILE ID=node081/2680667-1277454666 PBS_JOBID= 11188109 Free space on /tmp= 121788 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680667-1277454666/watcher-2680667-1277454666 -o /tmp/evaluation-result-2680667-1277454666/solver-2680667-1277454666 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680667-1277454666.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7c5bacdcc30466dd8339bd5adcf7c5b RANDOM SEED=2083987929 node081.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1852188 kB Buffers: 47880 kB Cached: 58808 kB SwapCached: 4908 kB Active: 17712 kB Inactive: 101592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1852188 kB SwapTotal: 4192956 kB SwapFree: 4140332 kB Dirty: 2776 kB Writeback: 0 kB AnonPages: 11684 kB Mapped: 12212 kB Slab: 65664 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181744 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121784 MiB End job on node081 at 2010-06-25 10:54:52