Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -141 | 181.256 | 181.325 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb |
MD5SUM | f77d1de307b7db24bfedc4f252c9c297 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -178 |
Best CPU time to get the best result obtained on this benchmark | 14.0229 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 62994 |
Number of constraints which are clauses | 62994 |
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 | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 327 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 327 |
Number of bits of the biggest sum of numbers | 9 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655740-1276685985.opb. 0.00/0.00 c Instance file HOME/instance-2655740-1276685985.opb 0.00/0.00 c File size is 2100313 bytes. 0.19/0.27 c Highest Coefficient sum: 4 0.19/0.27 c ============================[ Problem Statistics ]============================= 0.19/0.27 c | | 0.19/0.27 c | Parsing time: 0.27 s | 0.19/0.27 c | Number Variables: 2025 | 0.19/0.27 c | Number Clauses: 62994 | 0.19/0.27 c | Number Cardinality: 0 | 0.19/0.27 c | Number PB Constraints: 0 | 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 2015 63004 187812 | 20998 0 nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 327 0.29/0.37 o 327 0.29/0.37 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 2015 63005 187947 | 21001 0 nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: 326 0.29/0.38 o 326 0.29/0.38 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2015 63006 188082 | 21002 0 nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 323 0.29/0.39 o 323 0.29/0.39 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2015 63007 188217 | 21002 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 322 0.39/0.40 o 322 0.39/0.40 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 1 | 2015 63008 188352 | 21002 1 133 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 321 0.39/0.41 o 321 0.39/0.41 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 1 | 2015 63009 188487 | 21003 1 133 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 319 0.39/0.42 o 319 0.39/0.42 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 1 | 2015 63010 188622 | 21003 1 133 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 318 0.39/0.43 o 318 0.39/0.43 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 2 | 2015 63011 188757 | 21003 2 132 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 317 0.39/0.44 o 317 0.39/0.44 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 2 | 2015 63012 188892 | 21004 2 132 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 316 0.39/0.45 o 316 0.39/0.45 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 2 | 2015 63013 189027 | 21004 2 132 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 315 0.39/0.46 o 315 0.39/0.46 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 2 | 2015 63014 189162 | 21004 2 132 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 314 0.39/0.47 o 314 0.39/0.47 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 2 | 2015 63015 189297 | 21005 2 132 | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 313 0.39/0.48 o 313 0.39/0.48 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 2 | 2015 63016 189432 | 21005 2 132 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 312 0.39/0.49 o 312 0.39/0.49 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 2 | 2015 63017 189567 | 21005 2 132 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 311 0.49/0.50 o 311 0.49/0.50 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 3 | 2015 63018 189702 | 21006 3 130 | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 310 0.49/0.51 o 310 0.49/0.51 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 3 | 2015 63019 189837 | 21006 3 130 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: 309 0.49/0.52 o 309 0.49/0.52 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 3 | 2015 63020 189972 | 21006 3 130 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 308 0.49/0.53 o 308 0.49/0.53 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 3 | 2015 63021 190107 | 21007 3 130 | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 307 0.49/0.54 o 307 0.49/0.54 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 3 | 2015 63022 190242 | 21007 3 130 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 306 0.49/0.55 o 306 0.49/0.55 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 4 | 2015 63023 190377 | 21007 4 128 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 305 0.49/0.56 o 305 0.49/0.56 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 4 | 2015 63024 190512 | 21008 4 128 | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: 304 0.49/0.57 o 304 0.49/0.57 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 4 | 2015 63025 190647 | 21008 4 128 | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 303 0.49/0.58 o 303 0.49/0.58 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 4 | 2015 63026 190782 | 21008 4 128 | 0.000 % | 0.49/0.60 c =============================================================================== 0.49/0.60 c New solution: 302 0.49/0.60 o 302 0.49/0.60 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s 0.49/0.60 c =============================================================================== 0.49/0.60 c | 5 | 2015 63027 190917 | 21009 5 128 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 301 0.59/0.61 o 301 0.59/0.61 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 5 | 2015 63028 191052 | 21009 5 128 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 300 0.59/0.62 o 300 0.59/0.62 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 5 | 2015 63029 191187 | 21009 5 128 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 299 0.59/0.63 o 299 0.59/0.63 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 5 | 2015 63030 191322 | 21010 5 128 | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: 298 0.59/0.64 o 298 0.59/0.64 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 6 | 2015 63031 191457 | 21010 6 127 | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: 297 0.59/0.65 o 297 0.59/0.65 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 6 | 2015 63032 191592 | 21010 6 127 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 296 0.59/0.66 o 296 0.59/0.66 c Elapsed CPU time: 0.619905 s Remaining CPU time: 179.38 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 6 | 2015 63033 191727 | 21011 6 127 | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 295 0.59/0.67 o 295 0.59/0.67 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 6 | 2015 63034 191862 | 21011 6 127 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: 294 0.59/0.68 o 294 0.59/0.68 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 6 | 2015 63035 191997 | 21011 6 127 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 293 0.59/0.69 o 293 0.59/0.69 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 7 | 2015 63036 192132 | 21012 7 126 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 292 0.69/0.70 o 292 0.69/0.70 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 8 | 2015 63037 192267 | 21012 8 126 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 291 0.69/0.71 o 291 0.69/0.71 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 9 | 2015 63038 192402 | 21012 9 125 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 290 0.69/0.72 o 290 0.69/0.72 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 9 | 2015 63039 192537 | 21013 9 125 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 289 0.69/0.73 o 289 0.69/0.73 c Elapsed CPU time: 0.680896 s Remaining CPU time: 179.319 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 9 | 2015 63040 192672 | 21013 9 125 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 288 0.69/0.74 o 288 0.69/0.74 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 10 | 2015 63041 192807 | 21013 10 125 | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 287 0.69/0.75 o 287 0.69/0.75 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 11 | 2015 63042 192942 | 21014 11 124 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: 286 0.69/0.76 o 286 0.69/0.76 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 11 | 2015 63043 193077 | 21014 11 124 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 285 0.69/0.77 o 285 0.69/0.77 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 12 | 2015 63044 193212 | 21014 12 124 | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 284 0.69/0.78 o 284 0.69/0.78 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 12 | 2015 63045 193347 | 21015 12 124 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 283 0.69/0.79 o 283 0.69/0.79 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 13 | 2015 63046 193482 | 21015 13 123 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 282 0.79/0.80 o 282 0.79/0.80 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 14 | 2015 63047 193617 | 21015 14 123 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 281 0.79/0.81 o 281 0.79/0.81 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 14 | 2015 63048 193752 | 21016 14 123 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: 280 0.79/0.82 o 280 0.79/0.82 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 15 | 2015 63049 193887 | 21016 15 123 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 279 0.79/0.83 o 279 0.79/0.83 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 15 | 2015 63050 194022 | 21016 15 123 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 278 0.79/0.84 o 278 0.79/0.84 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 15 | 2015 63051 194157 | 21017 15 123 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: 277 0.79/0.85 o 277 0.79/0.85 c Elapsed CPU time: 0.78788 s Remaining CPU time: 179.212 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 16 | 2015 63052 194292 | 21017 16 122 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 276 0.79/0.86 o 276 0.79/0.86 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 21 | 2015 63053 194427 | 21017 21 115 | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 275 0.79/0.87 o 275 0.79/0.87 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 21 | 2015 63054 194562 | 21018 21 115 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 274 0.79/0.88 o 274 0.79/0.88 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 21 | 2015 63055 194697 | 21018 21 115 | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: 273 0.79/0.89 o 273 0.79/0.89 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 23 | 2015 63056 194832 | 21018 23 115 | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c New solution: 272 0.89/0.90 o 272 0.89/0.90 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s 0.89/0.90 c =============================================================================== 0.89/0.90 c | 24 | 2015 63057 194967 | 21019 24 115 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: 271 0.89/0.91 o 271 0.89/0.91 c Elapsed CPU time: 0.841872 s Remaining CPU time: 179.158 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 31 | 2015 63058 195102 | 21019 31 114 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 270 0.89/0.92 o 270 0.89/0.92 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 32 | 2015 63059 195237 | 21019 32 114 | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 269 0.89/0.93 o 269 0.89/0.93 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 33 | 2015 63060 195372 | 21020 33 110 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: 268 0.89/0.94 o 268 0.89/0.94 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 34 | 2015 63061 195507 | 21020 34 110 | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: 267 0.89/0.95 o 267 0.89/0.95 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 52 | 2015 63062 195642 | 21020 52 107 | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: 266 0.89/0.95 o 266 0.89/0.95 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 61 | 2015 63063 195777 | 21021 61 106 | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: 265 0.89/0.97 o 265 0.89/0.97 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 62 | 2015 63064 195912 | 21021 62 106 | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: 264 0.89/0.97 o 264 0.89/0.97 c Elapsed CPU time: 0.900863 s Remaining CPU time: 179.099 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 68 | 2015 63065 196047 | 21021 68 103 | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 263 0.89/0.98 o 263 0.89/0.98 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 68 | 2015 63066 196182 | 21022 68 103 | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.00 c New solution: 262 0.99/1.00 o 262 0.99/1.00 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s 0.99/1.00 c =============================================================================== 0.99/1.00 c | 128 | 2015 63067 196317 | 21022 128 105 | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c New solution: 261 0.99/1.01 o 261 0.99/1.01 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s 0.99/1.01 c =============================================================================== 0.99/1.01 c | 157 | 2015 63068 196452 | 21022 157 103 | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c New solution: 260 0.99/1.02 o 260 0.99/1.02 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s 0.99/1.02 c =============================================================================== 0.99/1.02 c | 157 | 2015 63069 196587 | 21023 157 103 | 0.000 % | 0.99/1.04 c | 257 | 2015 63069 196587 | 23125 257 103 | 0.494 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c New solution: 259 0.99/1.06 o 259 0.99/1.06 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s 0.99/1.06 c =============================================================================== 0.99/1.06 c | 331 | 2015 63070 196722 | 21023 331 103 | 0.494 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c New solution: 258 0.99/1.07 o 258 0.99/1.07 c Elapsed CPU time: 0.995848 s Remaining CPU time: 179.004 s 0.99/1.07 c =============================================================================== 0.99/1.07 c | 338 | 2015 63071 196857 | 21023 338 103 | 0.494 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c New solution: 257 0.99/1.09 o 257 0.99/1.09 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s 0.99/1.09 c =============================================================================== 0.99/1.09 c | 395 | 2015 63072 196992 | 21024 395 103 | 0.494 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c New solution: 256 1.10/1.11 o 256 1.10/1.11 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s 1.10/1.11 c =============================================================================== 1.10/1.11 c | 396 | 2015 63073 197127 | 21024 396 103 | 0.494 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c New solution: 255 1.10/1.12 o 255 1.10/1.12 c Elapsed CPU time: 1.04184 s Remaining CPU time: 178.958 s 1.10/1.12 c =============================================================================== 1.10/1.12 c | 439 | 2015 63074 197262 | 21024 439 103 | 0.494 % | 1.10/1.14 c | 541 | 2015 63074 197262 | 23127 541 103 | 0.494 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c New solution: 254 1.10/1.16 o 254 1.10/1.16 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s 1.10/1.16 c =============================================================================== 1.10/1.16 c | 589 | 2015 63075 197397 | 21025 589 103 | 0.494 % | 1.10/1.17 c =============================================================================== 1.10/1.17 c New solution: 253 1.10/1.17 o 253 1.10/1.17 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s 1.10/1.17 c =============================================================================== 1.10/1.17 c | 590 | 2015 63076 197532 | 21025 590 103 | 0.494 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c New solution: 252 1.10/1.18 o 252 1.10/1.18 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s 1.10/1.18 c =============================================================================== 1.10/1.18 c | 593 | 2015 63077 197667 | 21025 593 103 | 0.494 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c New solution: 251 1.10/1.19 o 251 1.10/1.19 c Elapsed CPU time: 1.10883 s Remaining CPU time: 178.891 s 1.10/1.19 c =============================================================================== 1.10/1.19 c | 652 | 2015 63078 197802 | 21026 652 103 | 0.494 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: 250 1.19/1.21 o 250 1.19/1.21 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 733 | 2015 63079 197937 | 21026 733 103 | 0.494 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: 249 1.19/1.23 o 249 1.19/1.23 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 761 | 2015 63080 198072 | 21026 761 103 | 0.494 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c New solution: 248 1.19/1.24 o 248 1.19/1.24 c Elapsed CPU time: 1.15082 s Remaining CPU time: 178.849 s 1.19/1.24 c =============================================================================== 1.19/1.24 c | 761 | 2015 63081 198207 | 21027 761 103 | 0.494 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c New solution: 247 1.19/1.25 o 247 1.19/1.25 c Elapsed CPU time: 1.16282 s Remaining CPU time: 178.837 s 1.19/1.25 c =============================================================================== 1.19/1.25 c | 762 | 2015 63082 198342 | 21027 762 103 | 0.494 % | 1.19/1.27 c | 862 | 2015 63082 198342 | 23130 862 102 | 0.494 % | 1.29/1.30 c | 1012 | 2015 63082 198342 | 25443 1012 102 | 0.494 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c New solution: 246 1.29/1.32 o 246 1.29/1.32 c Elapsed CPU time: 1.22881 s Remaining CPU time: 178.771 s 1.29/1.32 c =============================================================================== 1.29/1.32 c | 1029 | 2015 63083 198477 | 21027 1029 102 | 0.494 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c New solution: 245 1.29/1.33 o 245 1.29/1.33 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s 1.29/1.33 c =============================================================================== 1.29/1.33 c | 1029 | 2015 63084 198612 | 21028 1029 102 | 0.494 % | 1.29/1.35 c | 1129 | 2015 63084 198612 | 23130 1129 101 | 0.494 % | 1.29/1.37 c =============================================================================== 1.29/1.37 c New solution: 244 1.29/1.37 o 244 1.29/1.37 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s 1.29/1.37 c =============================================================================== 1.29/1.37 c | 1176 | 2015 63085 198747 | 21028 1176 101 | 0.494 % | 1.29/1.39 c | 1276 | 2015 63085 198747 | 23131 1276 101 | 0.494 % | 1.39/1.42 c | 1426 | 2015 63085 198747 | 25444 1426 101 | 0.494 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c New solution: 243 1.39/1.45 o 243 1.39/1.45 c Elapsed CPU time: 1.35479 s Remaining CPU time: 178.645 s 1.39/1.45 c =============================================================================== 1.39/1.45 c | 1537 | 2015 63086 198882 | 21028 1537 100 | 0.494 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c New solution: 242 1.39/1.46 o 242 1.39/1.46 c Elapsed CPU time: 1.36579 s Remaining CPU time: 178.634 s 1.39/1.46 c =============================================================================== 1.39/1.46 c | 1537 | 2015 63087 199017 | 21029 1537 100 | 0.494 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c New solution: 241 1.39/1.47 o 241 1.39/1.47 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s 1.39/1.47 c =============================================================================== 1.39/1.47 c | 1537 | 2015 63088 199152 | 21029 1537 100 | 0.494 % | 1.39/1.49 c | 1637 | 2015 63088 199152 | 23132 1637 100 | 0.494 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: 240 1.49/1.52 o 240 1.49/1.52 c Elapsed CPU time: 1.42478 s Remaining CPU time: 178.575 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 1763 | 2015 63089 199287 | 21029 1763 100 | 0.494 % | 1.49/1.54 c | 1863 | 2015 63089 199287 | 23132 1863 100 | 0.494 % | 1.49/1.57 c | 2014 | 2015 63089 199287 | 25445 2014 99 | 0.494 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c New solution: 239 1.49/1.59 o 239 1.49/1.59 c Elapsed CPU time: 1.49877 s Remaining CPU time: 178.501 s 1.49/1.59 c =============================================================================== 1.49/1.59 c | 2105 | 2015 63090 199422 | 21030 2105 99 | 0.494 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c New solution: 238 1.59/1.61 o 238 1.59/1.61 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s 1.59/1.61 c =============================================================================== 1.59/1.61 c | 2110 | 2015 63091 199557 | 21030 2110 99 | 0.494 % | 1.59/1.63 c =============================================================================== 1.59/1.63 c New solution: 237 1.59/1.63 o 237 1.59/1.63 c Elapsed CPU time: 1.53477 s Remaining CPU time: 178.465 s 1.59/1.63 c =============================================================================== 1.59/1.63 c | 2183 | 2015 63092 199692 | 21030 2183 99 | 0.494 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c New solution: 236 1.59/1.64 o 236 1.59/1.64 c Elapsed CPU time: 1.54576 s Remaining CPU time: 178.454 s 1.59/1.64 c =============================================================================== 1.59/1.64 c | 2183 | 2015 63093 199827 | 21031 2183 99 | 0.494 % | 1.59/1.67 c | 2283 | 2015 63093 199827 | 23134 2283 99 | 0.494 % | 1.69/1.70 c =============================================================================== 1.69/1.70 c New solution: 235 1.69/1.70 o 235 1.69/1.70 c Elapsed CPU time: 1.60076 s Remaining CPU time: 178.399 s 1.69/1.70 c =============================================================================== 1.69/1.70 c | 2404 | 2015 63094 199962 | 21031 2404 99 | 0.494 % | 1.69/1.73 c | 2504 | 2015 63094 199962 | 23134 2504 98 | 0.494 % | 1.69/1.76 c | 2656 | 2015 63094 199962 | 25447 2656 98 | 0.494 % | 1.69/1.78 c =============================================================================== 1.69/1.78 c New solution: 234 1.69/1.78 o 234 1.69/1.78 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s 1.69/1.78 c =============================================================================== 1.69/1.78 c | 2692 | 2015 63095 200097 | 21031 2692 98 | 0.494 % | 1.79/1.81 c | 2792 | 2015 63095 200097 | 23134 2792 98 | 0.494 % | 1.79/1.84 c | 2942 | 2015 63095 200097 | 25448 2942 97 | 0.494 % | 1.89/1.90 c | 3170 | 2015 63095 200097 | 27993 3170 97 | 0.494 % | 1.89/1.97 c | 3508 | 2015 63095 200097 | 30792 3508 96 | 0.494 % | 1.99/2.08 c =============================================================================== 1.99/2.08 c New solution: 233 1.99/2.08 o 233 1.99/2.08 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s 1.99/2.08 c =============================================================================== 1.99/2.08 c | 3927 | 2015 63096 200232 | 21032 3927 96 | 0.494 % | 2.10/2.11 c | 4027 | 2015 63096 200232 | 23135 4027 96 | 0.494 % | 2.10/2.15 c | 4177 | 2015 63096 200232 | 25448 4177 96 | 0.494 % | 2.20/2.21 c | 4403 | 2015 63096 200232 | 27993 4403 95 | 0.494 % | 2.29/2.30 c | 4740 | 2015 63096 200232 | 30792 4740 95 | 0.494 % | 2.39/2.41 c | 5248 | 2015 63096 200232 | 33872 5248 95 | 0.494 % | 2.39/2.48 c =============================================================================== 2.39/2.48 c New solution: 232 2.39/2.48 o 232 2.39/2.48 c Elapsed CPU time: 2.36764 s Remaining CPU time: 177.632 s 2.39/2.48 c =============================================================================== 2.39/2.48 c | 5525 | 2015 63097 200367 | 21032 5525 95 | 0.494 % | 2.49/2.51 c | 5625 | 2015 63097 200367 | 23135 5625 95 | 0.494 % | 2.49/2.55 c | 5778 | 2015 63097 200367 | 25449 5778 95 | 0.494 % | 2.59/2.62 c =============================================================================== 2.59/2.62 c New solution: 231 2.59/2.62 o 231 2.59/2.62 c Elapsed CPU time: 2.50462 s Remaining CPU time: 177.495 s 2.59/2.62 c =============================================================================== 2.59/2.62 c | 5984 | 2015 63098 200502 | 21032 5984 95 | 0.494 % | 2.59/2.64 c =============================================================================== 2.59/2.64 c New solution: 230 2.59/2.64 o 230 2.59/2.64 c Elapsed CPU time: 2.52362 s Remaining CPU time: 177.476 s 2.59/2.64 c =============================================================================== 2.59/2.64 c | 6005 | 2015 63099 200637 | 21033 6005 95 | 0.494 % | 2.59/2.65 c =============================================================================== 2.59/2.65 c New solution: 229 2.59/2.65 o 229 2.59/2.65 c Elapsed CPU time: 2.53561 s Remaining CPU time: 177.464 s 2.59/2.65 c =============================================================================== 2.59/2.65 c | 6013 | 2015 63100 200772 | 21033 6013 95 | 0.494 % | 2.59/2.68 c | 6114 | 2015 63100 200772 | 23136 6114 95 | 0.494 % | 2.69/2.71 c =============================================================================== 2.69/2.71 c New solution: 228 2.69/2.71 o 228 2.69/2.71 c Elapsed CPU time: 2.58861 s Remaining CPU time: 177.411 s 2.69/2.71 c =============================================================================== 2.69/2.71 c | 6172 | 2015 63101 200907 | 21033 6172 95 | 0.494 % | 2.69/2.73 c | 6272 | 2015 63101 200907 | 23137 6272 95 | 0.494 % | 2.69/2.77 c | 6424 | 2015 63101 200907 | 25450 6424 95 | 0.494 % | 2.79/2.83 c | 6650 | 2015 63101 200907 | 27995 6650 95 | 0.494 % | 2.89/2.92 c | 6987 | 2015 63101 200907 | 30795 6987 94 | 0.494 % | 2.99/3.05 c | 7495 | 2015 63101 200907 | 33874 7495 94 | 0.494 % | 3.20/3.27 c | 8255 | 2015 63101 200907 | 37262 8255 94 | 0.494 % | 3.59/3.68 c | 9394 | 2015 63101 200907 | 40988 9394 94 | 0.494 % | 3.69/3.72 c =============================================================================== 3.69/3.72 c New solution: 227 3.69/3.72 o 227 3.69/3.72 c Elapsed CPU time: 3.58945 s Remaining CPU time: 176.411 s 3.69/3.72 c =============================================================================== 3.69/3.72 c | 9458 | 2015 63102 201042 | 21034 9458 94 | 0.494 % | 3.69/3.74 c =============================================================================== 3.69/3.74 c New solution: 226 3.69/3.74 o 226 3.69/3.74 c Elapsed CPU time: 3.61345 s Remaining CPU time: 176.387 s 3.69/3.74 c =============================================================================== 3.69/3.74 c | 9487 | 2015 63103 201177 | 21034 9487 94 | 0.494 % | 3.79/3.80 c | 9587 | 2015 63103 201177 | 23137 9587 94 | 0.494 % | 3.79/3.87 c | 9739 | 2015 63103 201177 | 25451 9739 94 | 0.494 % | 3.89/3.99 c | 9965 | 2015 63103 201177 | 27996 9965 94 | 0.494 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c New solution: 225 3.99/4.04 o 225 3.99/4.04 c Elapsed CPU time: 3.90641 s Remaining CPU time: 176.094 s 3.99/4.04 c =============================================================================== 3.99/4.04 c | 10052 | 2015 63104 201312 | 21034 10052 94 | 0.494 % | 3.99/4.07 c | 10152 | 2015 63104 201312 | 23138 10152 94 | 0.494 % | 4.09/4.16 c | 10302 | 2015 63104 201312 | 25451 10302 94 | 0.494 % | 4.19/4.29 c | 10529 | 2015 63104 201312 | 27997 10529 94 | 0.494 % | 4.30/4.32 c =============================================================================== 4.30/4.32 c New solution: 224 4.30/4.32 o 224 4.30/4.32 c Elapsed CPU time: 4.18236 s Remaining CPU time: 175.818 s 4.30/4.32 c =============================================================================== 4.30/4.32 c | 10564 | 2015 63105 201447 | 21035 10564 94 | 0.494 % | 4.30/4.36 c | 10666 | 2015 63105 201447 | 23138 10666 94 | 0.494 % | 4.30/4.40 c =============================================================================== 4.30/4.40 c New solution: 223 4.30/4.40 o 223 4.30/4.40 c Elapsed CPU time: 4.26535 s Remaining CPU time: 175.735 s 4.30/4.40 c =============================================================================== 4.30/4.40 c | 10767 | 2015 63106 201582 | 21035 10767 93 | 0.494 % | 4.40/4.41 c =============================================================================== 4.40/4.41 c New solution: 222 4.40/4.41 o 222 4.40/4.41 c Elapsed CPU time: 4.27835 s Remaining CPU time: 175.722 s 4.40/4.41 c =============================================================================== 4.40/4.41 c | 10767 | 2015 63107 201717 | 21035 10767 93 | 0.494 % | 4.40/4.45 c | 10867 | 2015 63107 201717 | 23139 10867 93 | 0.494 % | 4.49/4.51 c | 11019 | 2015 63107 201717 | 25453 11019 93 | 0.494 % | 4.49/4.59 c | 11244 | 2015 63107 201717 | 27998 11244 93 | 0.494 % | 4.69/4.77 c | 11581 | 2015 63107 201717 | 30798 11581 93 | 0.494 % | 4.89/4.96 c | 12087 | 2015 63107 201717 | 33878 12087 93 | 0.494 % | 5.29/5.30 c | 12846 | 2015 63107 201717 | 37265 12846 93 | 0.494 % | 5.89/5.97 c | 13985 | 2015 63107 201717 | 40992 13985 93 | 0.494 % | 6.89/6.92 c | 15694 | 2015 63107 201717 | 45091 15694 92 | 0.494 % | 8.70/8.76 c | 18257 | 2015 63107 201717 | 49601 18257 92 | 0.494 % | 9.89/9.91 c =============================================================================== 9.89/9.91 c New solution: 221 9.89/9.91 o 221 9.89/9.91 c Elapsed CPU time: 9.74452 s Remaining CPU time: 170.255 s 9.89/9.91 c =============================================================================== 9.89/9.91 c | 19715 | 2015 63108 201852 | 21036 19715 92 | 0.494 % | 9.89/9.95 c =============================================================================== 9.89/9.95 c New solution: 220 9.89/9.95 o 220 9.89/9.95 c Elapsed CPU time: 9.78651 s Remaining CPU time: 170.213 s 9.89/9.95 c =============================================================================== 9.89/9.95 c | 19768 | 2015 63109 201987 | 21036 19768 92 | 0.494 % | 9.98/10.05 c | 19869 | 2015 63109 201987 | 23139 19869 92 | 0.494 % | 10.18/10.23 c | 20020 | 2015 63109 201987 | 25453 20020 92 | 0.494 % | 10.39/10.40 c | 20246 | 2015 63109 201987 | 27999 20246 92 | 0.494 % | 10.69/10.75 c | 20583 | 2015 63109 201987 | 30799 20583 92 | 0.494 % | 11.19/11.21 c | 21090 | 2015 63109 201987 | 33879 21090 92 | 0.494 % | 11.79/11.83 c | 21850 | 2015 63109 201987 | 37267 21850 92 | 0.494 % | 12.68/12.73 c | 22990 | 2015 63109 201987 | 40993 22990 91 | 0.494 % | 13.89/13.97 c | 24698 | 2015 63109 201987 | 45093 24698 91 | 0.494 % | 16.79/16.88 c | 27260 | 2015 63109 201987 | 49602 27260 91 | 0.494 % | 18.09/18.12 c =============================================================================== 18.09/18.12 c New solution: 219 18.09/18.12 o 219 18.09/18.12 c Elapsed CPU time: 17.9243 s Remaining CPU time: 162.076 s 18.09/18.12 c =============================================================================== 18.09/18.12 c | 28206 | 2015 63110 202122 | 21036 28206 91 | 0.494 % | 18.38/18.43 c | 28309 | 2015 63110 202122 | 23140 11187 88 | 0.494 % | 18.48/18.51 c | 28462 | 2015 63110 202122 | 25454 11340 88 | 0.494 % | 18.59/18.62 c | 28687 | 2015 63110 202122 | 27999 11565 88 | 0.494 % | 18.78/18.88 c | 29024 | 2015 63110 202122 | 30799 11902 88 | 0.494 % | 19.19/19.23 c | 29531 | 2015 63110 202122 | 33879 12409 88 | 0.494 % | 19.29/19.35 c =============================================================================== 19.29/19.35 c New solution: 218 19.29/19.35 o 218 19.29/19.35 c Elapsed CPU time: 19.1501 s Remaining CPU time: 160.85 s 19.29/19.35 c =============================================================================== 19.29/19.35 c | 29806 | 2015 63111 202257 | 21037 12684 88 | 0.494 % | 19.29/19.37 c =============================================================================== 19.29/19.37 c New solution: 217 19.29/19.37 o 217 19.29/19.37 c Elapsed CPU time: 19.1631 s Remaining CPU time: 160.837 s 19.29/19.37 c =============================================================================== 19.29/19.37 c | 29810 | 2015 63112 202392 | 21037 12688 88 | 0.494 % | 19.29/19.38 c =============================================================================== 19.29/19.38 c New solution: 216 19.29/19.38 o 216 19.29/19.38 c Elapsed CPU time: 19.1751 s Remaining CPU time: 160.825 s 19.29/19.38 c =============================================================================== 19.29/19.38 c | 29810 | 2015 63113 202527 | 21037 12688 88 | 0.494 % | 19.38/19.42 c =============================================================================== 19.38/19.42 c New solution: 215 19.38/19.42 o 215 19.38/19.42 c Elapsed CPU time: 19.2101 s Remaining CPU time: 160.79 s 19.38/19.42 c =============================================================================== 19.38/19.42 c | 29863 | 2015 63114 202662 | 21038 12741 88 | 0.494 % | 19.38/19.48 c | 29968 | 2015 63114 202662 | 23141 12846 88 | 0.494 % | 19.48/19.55 c | 30118 | 2015 63114 202662 | 25455 12996 88 | 0.494 % | 19.58/19.60 c =============================================================================== 19.58/19.60 c New solution: 214 19.58/19.60 o 214 19.58/19.60 c Elapsed CPU time: 19.3931 s Remaining CPU time: 160.607 s 19.58/19.60 c =============================================================================== 19.58/19.60 c | 30272 | 2015 63115 202797 | 21038 13150 88 | 0.494 % | 19.58/19.64 c | 30373 | 2015 63115 202797 | 23142 13251 88 | 0.494 % | 19.58/19.65 c =============================================================================== 19.58/19.65 c New solution: 213 19.58/19.65 o 213 19.58/19.65 c Elapsed CPU time: 19.444 s Remaining CPU time: 160.556 s 19.58/19.65 c =============================================================================== 19.58/19.65 c | 30387 | 2015 63116 202932 | 21038 13265 88 | 0.494 % | 19.58/19.69 c | 30487 | 2015 63116 202932 | 23142 13365 88 | 0.494 % | 19.69/19.72 c =============================================================================== 19.69/19.72 c New solution: 212 19.69/19.72 o 212 19.69/19.72 c Elapsed CPU time: 19.507 s Remaining CPU time: 160.493 s 19.69/19.72 c =============================================================================== 19.69/19.72 c | 30534 | 2015 63117 203067 | 21039 13412 88 | 0.494 % | 19.69/19.76 c | 30638 | 2015 63117 203067 | 23142 13516 88 | 0.494 % | 19.80/19.85 c | 30788 | 2015 63117 203067 | 25457 13666 88 | 0.494 % | 19.89/19.95 c | 31014 | 2015 63117 203067 | 28002 13892 88 | 0.494 % | 19.99/20.05 c =============================================================================== 19.99/20.05 c New solution: 211 19.99/20.05 o 211 19.99/20.05 c Elapsed CPU time: 19.836 s Remaining CPU time: 160.164 s 19.99/20.05 c =============================================================================== 19.99/20.05 c | 31338 | 2015 63118 203202 | 21039 14216 88 | 0.494 % | 19.99/20.06 c =============================================================================== 19.99/20.06 c New solution: 210 19.99/20.06 o 210 19.99/20.06 c Elapsed CPU time: 19.846 s Remaining CPU time: 160.154 s 19.99/20.06 c =============================================================================== 19.99/20.06 c | 31338 | 2015 63119 203337 | 21039 14216 88 | 0.494 % | 20.08/20.11 c | 31439 | 2015 63119 203337 | 23143 14317 88 | 0.494 % | 20.08/20.20 c | 31589 | 2015 63119 203337 | 25457 14467 88 | 0.494 % | 20.28/20.30 c | 31816 | 2015 63119 203337 | 28003 14694 88 | 0.494 % | 20.39/20.43 c | 32153 | 2015 63119 203337 | 30804 15031 88 | 0.494 % | 20.59/20.65 c | 32660 | 2015 63119 203337 | 33884 15538 88 | 0.494 % | 20.90/20.96 c | 33420 | 2015 63119 203337 | 37273 16298 88 | 0.494 % | 21.48/21.56 c | 34559 | 2015 63119 203337 | 41000 17437 87 | 0.494 % | 22.58/22.64 c | 36268 | 2015 63119 203337 | 45100 19146 87 | 0.494 % | 24.69/24.78 c | 38831 | 2015 63119 203337 | 49610 21709 87 | 0.494 % | 28.18/28.26 c | 42676 | 2015 63119 203337 | 54571 25554 86 | 0.494 % | 30.98/31.04 c | 48442 | 2015 63119 203337 | 60028 31320 87 | 0.494 % | 36.18/36.22 c =============================================================================== 36.18/36.22 c New solution: 209 36.18/36.22 o 209 36.18/36.22 c Elapsed CPU time: 35.9115 s Remaining CPU time: 144.088 s 36.18/36.22 c =============================================================================== 36.18/36.22 c | 54154 | 2015 63120 203472 | 21040 37032 87 | 0.494 % | 37.28/37.35 c | 54254 | 2015 63120 203472 | 23144 11497 85 | 0.494 % | 37.39/37.45 c | 54404 | 2015 63120 203472 | 25458 11647 85 | 0.494 % | 37.48/37.57 c | 54632 | 2015 63120 203472 | 28004 11875 85 | 0.494 % | 37.68/37.70 c | 54970 | 2015 63120 203472 | 30804 12213 85 | 0.494 % | 37.68/37.79 c =============================================================================== 37.68/37.79 c New solution: 208 37.68/37.79 o 208 37.68/37.79 c Elapsed CPU time: 37.4773 s Remaining CPU time: 142.523 s 37.68/37.79 c =============================================================================== 37.68/37.79 c | 55130 | 2015 63121 203607 | 21040 12373 85 | 0.494 % | 37.78/37.81 c =============================================================================== 37.78/37.81 c New solution: 207 37.78/37.81 o 207 37.78/37.81 c Elapsed CPU time: 37.4993 s Remaining CPU time: 142.501 s 37.78/37.81 c =============================================================================== 37.78/37.81 c | 55151 | 2015 63122 203742 | 21040 12394 85 | 0.494 % | 37.78/37.83 c =============================================================================== 37.78/37.83 c New solution: 206 37.78/37.83 o 206 37.78/37.83 c Elapsed CPU time: 37.5143 s Remaining CPU time: 142.486 s 37.78/37.83 c =============================================================================== 37.78/37.83 c | 55152 | 2015 63123 203877 | 21041 12395 85 | 0.494 % | 37.78/37.87 c | 55252 | 2015 63123 203877 | 23145 12495 85 | 0.494 % | 37.88/37.94 c | 55402 | 2015 63123 203877 | 25459 12645 85 | 0.494 % | 37.98/38.07 c | 55628 | 2015 63123 203877 | 28005 12871 85 | 0.494 % | 38.18/38.28 c | 55967 | 2015 63123 203877 | 30806 13210 85 | 0.494 % | 38.57/38.65 c | 56474 | 2015 63123 203877 | 33886 13717 85 | 0.494 % | 38.98/39.03 c | 57233 | 2015 63123 203877 | 37275 14476 85 | 0.494 % | 39.58/39.62 c | 58372 | 2015 63123 203877 | 41002 15615 85 | 0.494 % | 40.78/40.86 c | 60081 | 2015 63123 203877 | 45103 17324 85 | 0.494 % | 40.88/40.90 c =============================================================================== 40.88/40.90 c New solution: 205 40.88/40.90 o 205 40.88/40.90 c Elapsed CPU time: 40.5678 s Remaining CPU time: 139.432 s 40.88/40.90 c =============================================================================== 40.88/40.90 c | 60135 | 2015 63124 204012 | 21041 17378 85 | 0.494 % | 40.88/40.92 c =============================================================================== 40.88/40.92 c New solution: 204 40.88/40.92 o 204 40.88/40.92 c Elapsed CPU time: 40.5818 s Remaining CPU time: 139.418 s 40.88/40.92 c =============================================================================== 40.88/40.92 c | 60137 | 2015 63125 204147 | 21041 17380 85 | 0.494 % | 40.88/40.97 c | 60238 | 2015 63125 204147 | 23145 17481 85 | 0.494 % | 40.97/41.05 c | 60388 | 2015 63125 204147 | 25460 17631 85 | 0.494 % | 41.17/41.23 c | 60617 | 2015 63125 204147 | 28006 17860 85 | 0.494 % | 41.37/41.49 c | 60956 | 2015 63125 204147 | 30807 18199 85 | 0.494 % | 41.79/41.87 c | 61462 | 2015 63125 204147 | 33887 18705 85 | 0.494 % | 42.28/42.35 c | 62222 | 2015 63125 204147 | 37276 19465 85 | 0.494 % | 42.98/43.07 c | 63362 | 2015 63125 204147 | 41004 20605 85 | 0.494 % | 43.78/43.83 c | 65072 | 2015 63125 204147 | 45104 22315 85 | 0.494 % | 44.98/45.05 c | 67635 | 2015 63125 204147 | 49615 24878 85 | 0.494 % | 47.37/47.48 c | 71480 | 2015 63125 204147 | 54576 28723 85 | 0.494 % | 51.77/51.84 c | 77246 | 2015 63125 204147 | 60034 34489 85 | 0.494 % | 59.67/59.72 c | 85895 | 2015 63125 204147 | 66037 43138 85 | 0.494 % | 67.17/67.28 c =============================================================================== 67.17/67.28 c New solution: 203 67.17/67.28 o 203 67.17/67.28 c Elapsed CPU time: 66.8138 s Remaining CPU time: 113.186 s 67.17/67.28 c =============================================================================== 67.17/67.28 c | 92113 | 2015 63126 204282 | 21042 49356 85 | 0.494 % | 68.18/68.22 c | 92214 | 2015 63126 204282 | 23146 11864 83 | 0.494 % | 68.18/68.28 c | 92365 | 2015 63126 204282 | 25460 12015 83 | 0.494 % | 68.27/68.38 c | 92591 | 2015 63126 204282 | 28006 12241 84 | 0.494 % | 68.47/68.56 c | 92929 | 2015 63126 204282 | 30807 12579 84 | 0.494 % | 68.77/68.86 c | 93435 | 2015 63126 204282 | 33888 13085 84 | 0.494 % | 69.27/69.31 c | 94196 | 2015 63126 204282 | 37277 13846 84 | 0.494 % | 69.77/69.88 c | 95335 | 2015 63126 204282 | 41004 14985 84 | 0.494 % | 70.67/70.78 c | 97043 | 2015 63126 204282 | 45105 16693 84 | 0.494 % | 72.37/72.48 c | 99606 | 2015 63126 204282 | 49615 19256 84 | 0.494 % | 72.77/72.80 c =============================================================================== 72.77/72.80 c New solution: 202 72.77/72.80 o 202 72.77/72.80 c Elapsed CPU time: 72.308 s Remaining CPU time: 107.692 s 72.77/72.80 c =============================================================================== 72.77/72.80 c | 100002 | 2015 63127 204417 | 21042 19652 84 | 0.494 % | 72.77/72.86 c | 100104 | 2015 63127 204417 | 23146 19754 84 | 0.494 % | 72.97/73.01 c | 100254 | 2015 63127 204417 | 25461 19904 84 | 0.494 % | 73.17/73.24 c | 100481 | 2015 63127 204417 | 28007 20131 84 | 0.494 % | 73.37/73.47 c | 100819 | 2015 63127 204417 | 30808 20469 84 | 0.494 % | 73.68/73.73 c =============================================================================== 73.68/73.73 c New solution: 201 73.68/73.73 o 201 73.68/73.73 c Elapsed CPU time: 73.2309 s Remaining CPU time: 106.769 s 73.68/73.73 c =============================================================================== 73.68/73.73 c | 101151 | 2015 63128 204552 | 21042 20801 84 | 0.494 % | 73.77/73.80 c | 101252 | 2015 63128 204552 | 23146 20902 84 | 0.494 % | 73.77/73.86 c =============================================================================== 73.77/73.86 c New solution: 200 73.77/73.86 o 200 73.77/73.86 c Elapsed CPU time: 73.3618 s Remaining CPU time: 106.638 s 73.77/73.86 c =============================================================================== 73.77/73.86 c | 101373 | 2015 63129 204687 | 21043 21023 84 | 0.494 % | 73.87/73.92 c | 101473 | 2015 63129 204687 | 23147 21123 84 | 0.494 % | 73.97/74.03 c | 101623 | 2015 63129 204687 | 25462 21273 84 | 0.494 % | 74.07/74.14 c | 101848 | 2015 63129 204687 | 28008 21498 84 | 0.494 % | 74.07/74.15 c =============================================================================== 74.07/74.15 c New solution: 199 74.07/74.15 o 199 74.07/74.15 c Elapsed CPU time: 73.6468 s Remaining CPU time: 106.353 s 74.07/74.15 c =============================================================================== 74.07/74.15 c | 101848 | 2015 63130 204822 | 21043 21498 84 | 0.494 % | 74.27/74.33 c =============================================================================== 74.27/74.33 c New solution: 198 74.27/74.33 o 198 74.27/74.33 c Elapsed CPU time: 73.8298 s Remaining CPU time: 106.17 s 74.27/74.33 c =============================================================================== 74.27/74.33 c | 101857 | 2015 63131 204957 | 21043 10758 83 | 0.494 % | 74.27/74.35 c =============================================================================== 74.27/74.35 c New solution: 197 74.27/74.35 o 197 74.27/74.35 c Elapsed CPU time: 73.8428 s Remaining CPU time: 106.157 s 74.27/74.35 c =============================================================================== 74.27/74.35 c | 101857 | 2015 63132 205092 | 21044 10758 83 | 0.494 % | 74.27/74.39 c | 101958 | 2015 63132 205092 | 23148 10859 83 | 0.494 % | 74.37/74.46 c | 102109 | 2015 63132 205092 | 25463 11010 83 | 0.494 % | 74.47/74.56 c | 102334 | 2015 63132 205092 | 28009 11235 83 | 0.494 % | 74.67/74.73 c | 102671 | 2015 63132 205092 | 30810 11572 83 | 0.494 % | 74.87/74.97 c | 103179 | 2015 63132 205092 | 33891 12080 83 | 0.494 % | 75.27/75.38 c | 103938 | 2015 63132 205092 | 37280 12839 83 | 0.494 % | 75.77/75.89 c | 105077 | 2015 63132 205092 | 41008 13978 83 | 0.494 % | 76.76/76.89 c | 106785 | 2015 63132 205092 | 45109 15686 83 | 0.494 % | 76.86/76.96 c =============================================================================== 76.86/76.96 c New solution: 196 76.86/76.96 o 196 76.86/76.96 c Elapsed CPU time: 76.4274 s Remaining CPU time: 103.573 s 76.86/76.96 c =============================================================================== 76.86/76.96 c | 106935 | 2015 63133 205227 | 21044 15836 83 | 0.494 % | 76.96/77.02 c | 107035 | 2015 63133 205227 | 23148 15936 83 | 0.494 % | 76.96/77.09 c | 107188 | 2015 63133 205227 | 25463 16089 83 | 0.494 % | 77.15/77.21 c | 107414 | 2015 63133 205227 | 28010 16315 83 | 0.494 % | 77.25/77.37 c | 107751 | 2015 63133 205227 | 30811 16652 83 | 0.494 % | 77.55/77.66 c | 108258 | 2015 63133 205227 | 33892 17159 83 | 0.494 % | 77.96/78.10 c | 109018 | 2015 63133 205227 | 37281 17919 83 | 0.494 % | 78.65/78.79 c | 110157 | 2015 63133 205227 | 41009 19058 83 | 0.494 % | 79.85/79.99 c | 111868 | 2015 63133 205227 | 45110 20769 83 | 0.494 % | 81.95/82.08 c | 114434 | 2015 63133 205227 | 49621 23335 83 | 0.494 % | 84.95/85.07 c | 118278 | 2015 63133 205227 | 54583 27179 82 | 0.494 % | 88.05/88.12 c =============================================================================== 88.05/88.12 c New solution: 195 88.05/88.12 o 195 88.05/88.12 c Elapsed CPU time: 87.5207 s Remaining CPU time: 92.4793 s 88.05/88.12 c =============================================================================== 88.05/88.12 c | 122058 | 2015 63134 205362 | 21044 30959 82 | 0.494 % | 88.35/88.42 c =============================================================================== 88.35/88.42 c New solution: 194 88.35/88.42 o 194 88.35/88.42 c Elapsed CPU time: 87.8246 s Remaining CPU time: 92.1754 s 88.35/88.42 c =============================================================================== 88.35/88.42 c | 122064 | 2015 63135 205497 | 21045 11299 79 | 0.494 % | 88.35/88.48 c | 122167 | 2015 63135 205497 | 23149 11402 79 | 0.494 % | 88.45/88.54 c | 122317 | 2015 63135 205497 | 25464 11552 79 | 0.494 % | 88.45/88.56 c =============================================================================== 88.45/88.56 c New solution: 193 88.45/88.56 o 193 88.45/88.56 c Elapsed CPU time: 87.9546 s Remaining CPU time: 92.0454 s 88.45/88.56 c =============================================================================== 88.45/88.56 c | 122324 | 2015 63136 205632 | 21045 11559 79 | 0.494 % | 88.45/88.57 c =============================================================================== 88.45/88.57 c New solution: 192 88.45/88.57 o 192 88.45/88.57 c Elapsed CPU time: 87.9686 s Remaining CPU time: 92.0314 s 88.45/88.57 c =============================================================================== 88.45/88.57 c | 122324 | 2015 63137 205767 | 21045 11559 79 | 0.494 % | 88.55/88.61 c | 122425 | 2015 63137 205767 | 23150 11660 79 | 0.494 % | 88.55/88.68 c | 122576 | 2015 63137 205767 | 25465 11811 79 | 0.494 % | 88.65/88.77 c | 122801 | 2015 63137 205767 | 28011 12036 79 | 0.494 % | 88.85/88.94 c | 123139 | 2015 63137 205767 | 30812 12374 79 | 0.494 % | 89.06/89.19 c | 123645 | 2015 63137 205767 | 33894 12880 79 | 0.494 % | 89.55/89.61 c | 124407 | 2015 63137 205767 | 37283 13642 79 | 0.494 % | 90.25/90.31 c | 125548 | 2015 63137 205767 | 41012 14783 79 | 0.494 % | 91.35/91.46 c | 127256 | 2015 63137 205767 | 45113 16491 80 | 0.494 % | 91.84/91.97 c =============================================================================== 91.84/91.97 c New solution: 191 91.84/91.97 o 191 91.84/91.97 c Elapsed CPU time: 91.3511 s Remaining CPU time: 88.6489 s 91.84/91.97 c =============================================================================== 91.84/91.97 c | 128247 | 2015 63138 205902 | 21046 17482 80 | 0.494 % | 91.94/92.04 c | 128348 | 2015 63138 205902 | 23150 17583 80 | 0.494 % | 92.05/92.15 c =============================================================================== 92.05/92.15 c New solution: 190 92.05/92.15 o 190 92.05/92.15 c Elapsed CPU time: 91.5281 s Remaining CPU time: 88.4719 s 92.05/92.15 c =============================================================================== 92.05/92.15 c | 128479 | 2015 63139 206037 | 21046 17714 80 | 0.494 % | 92.15/92.23 c | 128580 | 2015 63139 206037 | 23150 17815 80 | 0.494 % | 92.26/92.32 c | 128731 | 2015 63139 206037 | 25466 17966 80 | 0.494 % | 92.36/92.49 c | 128960 | 2015 63139 206037 | 28012 18195 80 | 0.494 % | 92.65/92.75 c | 129298 | 2015 63139 206037 | 30813 18533 80 | 0.494 % | 93.05/93.11 c | 129804 | 2015 63139 206037 | 33895 19039 80 | 0.494 % | 93.54/93.69 c | 130564 | 2015 63139 206037 | 37284 19799 80 | 0.494 % | 94.35/94.49 c | 131705 | 2015 63139 206037 | 41013 20940 79 | 0.494 % | 95.35/95.44 c | 133414 | 2015 63139 206037 | 45114 22649 79 | 0.494 % | 97.14/97.28 c | 135978 | 2015 63139 206037 | 49626 25213 79 | 0.494 % | 100.65/100.80 c | 139823 | 2015 63139 206037 | 54588 29058 79 | 0.494 % | 106.55/106.66 c | 145589 | 2015 63139 206037 | 60047 34824 79 | 0.494 % | 114.34/114.46 c | 154241 | 2015 63139 206037 | 66052 43476 79 | 0.494 % | 115.24/115.32 c =============================================================================== 115.24/115.32 c New solution: 189 115.24/115.32 o 189 115.24/115.32 c Elapsed CPU time: 114.587 s Remaining CPU time: 65.4134 s 115.24/115.32 c =============================================================================== 115.24/115.32 c | 154873 | 2015 63140 206172 | 21046 44108 79 | 0.494 % | 115.74/115.88 c | 154973 | 2015 63140 206172 | 23151 11829 77 | 0.494 % | 115.84/115.95 c | 155123 | 2015 63140 206172 | 25466 11979 77 | 0.494 % | 115.94/116.04 c | 155349 | 2015 63140 206172 | 28013 12205 77 | 0.494 % | 116.14/116.21 c | 155686 | 2015 63140 206172 | 30814 12542 77 | 0.494 % | 116.45/116.53 c | 156193 | 2015 63140 206172 | 33895 13049 77 | 0.494 % | 116.74/116.87 c | 156952 | 2015 63140 206172 | 37285 13808 77 | 0.494 % | 117.34/117.43 c =============================================================================== 117.34/117.43 c New solution: 188 117.34/117.43 o 188 117.34/117.43 c Elapsed CPU time: 116.693 s Remaining CPU time: 63.3067 s 117.34/117.43 c =============================================================================== 117.34/117.43 c | 157987 | 2015 63141 206307 | 21047 14843 77 | 0.494 % | 117.34/117.47 c =============================================================================== 117.34/117.47 c New solution: 187 117.34/117.47 o 187 117.34/117.47 c Elapsed CPU time: 116.724 s Remaining CPU time: 63.2757 s 117.34/117.47 c =============================================================================== 117.34/117.47 c | 158027 | 2015 63142 206442 | 21047 14883 77 | 0.494 % | 117.44/117.54 c | 158127 | 2015 63142 206442 | 23152 14983 77 | 0.494 % | 117.55/117.63 c | 158277 | 2015 63142 206442 | 25467 15133 77 | 0.494 % | 117.65/117.77 c | 158502 | 2015 63142 206442 | 28014 15358 77 | 0.494 % | 117.84/117.97 c | 158840 | 2015 63142 206442 | 30815 15696 77 | 0.494 % | 118.24/118.31 c | 159349 | 2015 63142 206442 | 33896 16205 77 | 0.494 % | 118.64/118.79 c | 160109 | 2015 63142 206442 | 37286 16965 77 | 0.494 % | 119.23/119.31 c | 161250 | 2015 63142 206442 | 41015 18106 77 | 0.494 % | 120.04/120.14 c | 162958 | 2015 63142 206442 | 45116 19814 78 | 0.494 % | 121.34/121.45 c | 165523 | 2015 63142 206442 | 49628 22379 78 | 0.494 % | 124.54/124.60 c | 169367 | 2015 63142 206442 | 54591 26223 77 | 0.494 % | 130.14/130.23 c | 175133 | 2015 63142 206442 | 60050 31989 77 | 0.494 % | 136.04/136.10 c | 183783 | 2015 63142 206442 | 66055 40639 78 | 0.494 % | 145.24/145.31 c | 196758 | 2015 63142 206442 | 72661 53614 78 | 0.494 % | 169.03/169.17 c | 216219 | 2015 63142 206442 | 79927 12480 74 | 0.494 % | 171.13/171.25 c =============================================================================== 171.13/171.25 c New solution: 186 171.13/171.26 o 186 171.13/171.26 c Elapsed CPU time: 170.271 s Remaining CPU time: 9.72889 s 171.13/171.26 c =============================================================================== 171.13/171.26 c | 220656 | 2015 63143 206577 | 21047 16917 74 | 0.494 % | 171.23/171.30 c | 220756 | 2015 63143 206577 | 23152 17017 74 | 0.494 % | 171.23/171.39 c | 220906 | 2015 63143 206577 | 25467 17167 74 | 0.494 % | 171.43/171.55 c | 221132 | 2015 63143 206577 | 28014 17393 75 | 0.494 % | 171.63/171.75 c | 221470 | 2015 63143 206577 | 30815 17731 75 | 0.494 % | 172.02/172.12 c | 221980 | 2015 63143 206577 | 33897 18241 75 | 0.494 % | 172.42/172.56 c | 222741 | 2015 63143 206577 | 37287 19002 75 | 0.494 % | 173.12/173.25 c | 223884 | 2015 63143 206577 | 41015 20145 75 | 0.494 % | 174.03/174.17 c | 225593 | 2015 63143 206577 | 45117 21854 75 | 0.494 % | 176.03/176.11 c | 228155 | 2015 63143 206577 | 49629 24416 75 | 0.494 % | 179.63/179.70 c | 232005 | 2015 63143 206577 | 54592 28266 75 | 0.494 % | 180.92/181.02 c There are 10 assigned variables. 10 in cost function. 181.22/181.31 c core #1 181.22/181.31 c #cores: 1 181.22/181.31 c Final Weight: 186 181.22/181.31 o 186 181.22/181.31 s OPTIMUM FOUND 181.22/181.31 v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 x9 -x10 -x11 x12 x13 x14 x15 x16 -x17 x18 -x19 x20 x21 -x22 x23 x24 x25 -x26 x27 x28 x29 -x30 -x31 x32 x33 x34 -x35 x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 x45 x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 x56 x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 x85 -x86 x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 x101 -x102 -x103 -x104 x105 x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 x176 -x177 x178 x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 x200 -x201 x202 x203 x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 x212 x213 x214 -x215 -x216 -x217 x218 -x219 x220 -x221 -x222 x223 -x224 -x225 x226 -x227 -x228 -x229 x230 x231 -x232 -x233 -x234 x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 x246 x247 x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 x271 x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 x294 -x295 x296 -x297 x298 x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 x316 -x317 -x318 -x319 x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 x633 -x634 x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 x676 -x677 -x678 -x679 -x680 x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 x826 -x827 x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 x836 -x837 x838 -x839 -x840 -x841 x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 x890 -x891 x892 -x893 x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 x918 -x919 -x920 -x921 -x922 x923 x924 -x925 x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 x1125 -x1126 -x1127 x1128 -x1129 x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 x1263 -x1264 x1265 -x1266 -x1267 x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 x1299 x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 x1409 -x1410 -x1411 -x1412 x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 x1518 x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 x1599 -x1600 x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x1740 x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 x1894 x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 181.22/181.31 c Total CPU time: 180.286 s
OK -141
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655740-1276685985/watcher-2655740-1276685985 -o /tmp/evaluation-result-2655740-1276685985/solver-2655740-1276685985 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655740-1276685985.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.98 1.04 1.00 3/105 16351 /proc/meminfo: memFree=1699832/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=5040 CPUtime=0 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 373 0 0 0 0 0 0 0 25 0 1 0 9892083 5160960 291 1992294400 134512640 135751879 4293495520 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 1260 291 145 303 0 442 0 [startup+0.069797 s] /proc/loadavg: 0.98 1.04 1.00 3/105 16351 /proc/meminfo: memFree=1699832/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=5740 CPUtime=0.06 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 664 0 0 0 6 0 0 0 25 0 1 0 9892083 5877760 582 1992294400 134512640 135751879 4293495520 18446744073709551615 134564638 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 1435 583 260 303 0 617 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5740 [startup+0.100799 s] /proc/loadavg: 0.98 1.04 1.00 3/105 16351 /proc/meminfo: memFree=1699832/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=6136 CPUtime=0.09 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 821 0 0 0 9 0 0 0 25 0 1 0 9892083 6283264 739 1992294400 134512640 135751879 4293495520 18446744073709551615 134561963 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 1534 739 318 303 0 716 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6136 [startup+0.300822 s] /proc/loadavg: 0.98 1.04 1.00 3/105 16351 /proc/meminfo: memFree=1699832/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=7064 CPUtime=0.29 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 1924 0 0 0 29 0 0 0 25 0 1 0 9892083 7233536 1296 1992294400 134512640 135751879 4293495520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 1766 1296 144 303 0 1461 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7064 [startup+0.700866 s] /proc/loadavg: 0.98 1.04 1.00 3/105 16351 /proc/meminfo: memFree=1699832/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=7328 CPUtime=0.69 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 1994 0 0 0 65 4 0 0 25 0 1 0 9892083 7503872 1366 1992294400 134512640 135751879 4293495520 18446744073709551615 134598728 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 1832 1366 146 303 0 1527 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7328 [startup+1.50096 s] /proc/loadavg: 0.98 1.04 1.00 2/106 16352 /proc/meminfo: memFree=1694740/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=8120 CPUtime=1.49 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 2180 0 0 0 140 9 0 0 25 0 1 0 9892083 8314880 1552 1992294400 134512640 135751879 4293495520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 2030 1552 147 303 0 1725 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8120 [startup+3.10114 s] /proc/loadavg: 0.98 1.04 1.00 2/106 16352 /proc/meminfo: memFree=1692756/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=11032 CPUtime=3.09 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 2915 0 0 0 297 12 0 0 25 0 1 0 9892083 11296768 2287 1992294400 134512640 135751879 4293495520 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 2758 2287 147 303 0 2453 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11032 [startup+6.3005 s] /proc/loadavg: 0.98 1.04 1.00 2/106 16352 /proc/meminfo: memFree=1688168/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=14424 CPUtime=6.29 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 3764 0 0 0 615 14 0 0 25 0 1 0 9892083 14770176 3136 1992294400 134512640 135751879 4293495520 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 3606 3136 147 303 0 3301 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14424 [startup+12.7012 s] /proc/loadavg: 0.98 1.04 1.00 2/106 16352 /proc/meminfo: memFree=1683580/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=18500 CPUtime=12.68 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 4774 0 0 0 1251 17 0 0 25 0 1 0 9892083 18944000 4146 1992294400 134512640 135751879 4293495520 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 4625 4146 147 303 0 4320 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18500 [startup+25.5007 s] /proc/loadavg: 0.99 1.04 1.00 2/106 16354 /proc/meminfo: memFree=1675644/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=26272 CPUtime=25.48 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 6682 0 0 0 2524 24 0 0 25 0 1 0 9892083 26902528 6054 1992294400 134512640 135751879 4293495520 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 6568 6054 148 303 0 6263 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26272 [startup+51.1006 s] /proc/loadavg: 0.99 1.03 1.00 2/106 16354 /proc/meminfo: memFree=1659772/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=42536 CPUtime=51.07 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 10736 0 0 0 5069 38 0 0 25 0 1 0 9892083 43556864 10108 1992294400 134512640 135751879 4293495520 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 10634 10108 148 303 0 10329 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42536 [startup+102.308 s] /proc/loadavg: 0.99 1.03 1.00 2/106 16365 /proc/meminfo: memFree=1630632/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=71180 CPUtime=102.25 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 17846 0 0 0 10163 62 0 0 25 0 1 0 9892083 72888320 17218 1992294400 134512640 135751879 4293495520 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 17795 17218 148 303 0 17490 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 71180 [startup+162.301 s] /proc/loadavg: 0.99 1.02 1.00 2/106 16365 /proc/meminfo: memFree=1601740/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=100264 CPUtime=162.23 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 25108 0 0 0 16134 89 0 0 25 0 1 0 9892083 102670336 24480 1992294400 134512640 135751879 4293495520 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 25066 24480 148 303 0 24761 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 100264 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.99 1.02 1.00 2/106 16365 /proc/meminfo: memFree=1600128/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=101616 CPUtime=166.22 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 25422 0 0 0 16533 89 0 0 25 0 1 0 9892083 104054784 24794 1992294400 134512640 135751879 4293495520 18446744073709551615 134602805 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 25404 24794 148 303 0 25099 0 Current children cumulated CPU time (s) 166.22 Current children cumulated vsize (KiB) 101616 [startup+172.708 s] /proc/loadavg: 0.99 1.02 1.00 2/106 16367 /proc/meminfo: memFree=1597400/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=104388 CPUtime=172.63 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 26117 0 0 0 17171 92 0 0 25 0 1 0 9892083 106893312 25489 1992294400 134512640 135751879 4293495520 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 26097 25489 148 303 0 25792 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 104388 [startup+175.902 s] /proc/loadavg: 0.99 1.02 1.00 2/106 16367 /proc/meminfo: memFree=1595416/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=106236 CPUtime=175.83 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 26600 0 0 0 17489 94 0 0 25 0 1 0 9892083 108785664 25972 1992294400 134512640 135751879 4293495520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 26559 25972 148 303 0 26254 0 Current children cumulated CPU time (s) 175.83 Current children cumulated vsize (KiB) 106236 [startup+179.101 s] /proc/loadavg: 0.99 1.02 1.00 2/106 16367 /proc/meminfo: memFree=1594548/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=107688 CPUtime=179.03 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 26938 0 0 0 17808 95 0 0 25 0 1 0 9892083 110272512 26310 1992294400 134512640 135751879 4293495520 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 26922 26310 148 303 0 26617 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 107688 [startup+180.701 s] /proc/loadavg: 0.99 1.02 1.00 2/106 16367 /proc/meminfo: memFree=1593432/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=108348 CPUtime=180.62 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 27120 0 0 0 17967 95 0 0 25 0 1 0 9892083 110948352 26492 1992294400 134512640 135751879 4293495520 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 27087 26492 148 303 0 26782 0 Current children cumulated CPU time (s) 180.62 Current children cumulated vsize (KiB) 108348 [startup+181.101 s] /proc/loadavg: 0.99 1.02 1.00 2/106 16367 /proc/meminfo: memFree=1593432/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=111748 CPUtime=181.02 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 27920 0 0 0 18007 95 0 0 25 0 1 0 9892083 114429952 27292 1992294400 134512640 135751879 4293495520 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 27937 27292 149 303 0 27632 0 Current children cumulated CPU time (s) 181.02 Current children cumulated vsize (KiB) 111748 [startup+181.301 s] /proc/loadavg: 0.99 1.02 1.00 2/106 16367 /proc/meminfo: memFree=1593432/2059040 swapFree=4192956/4192956 [pid=16351] ppid=16349 vsize=111748 CPUtime=181.22 /proc/16351/stat : 16351 (wbo1.4b) R 16349 16351 16162 0 -1 4202496 27920 0 0 0 18027 95 0 0 25 0 1 0 9892083 114429952 27292 1992294400 134512640 135751879 4293495520 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16351/statm: 27937 27292 149 303 0 27632 0 Current children cumulated CPU time (s) 181.22 Current children cumulated vsize (KiB) 111748 Child status: 0 Real time (s): 181.325 CPU time (s): 181.256 CPU user time (s): 180.286 CPU system time (s): 0.970852 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 111748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.286 system time used= 0.970852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27929 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= 45 involuntary context switches= 1528 runsolver used 0.296954 second user time and 0.900863 second system time The end
Begin job on node088 at 2010-06-16 12:59:45 IDJOB=2655740 IDBENCH=71829 IDSOLVER=1161 FILE ID=node088/2655740-1276685985 PBS_JOBID= 11172580 Free space on /tmp= 62560 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-1000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655740-1276685985/watcher-2655740-1276685985 -o /tmp/evaluation-result-2655740-1276685985/solver-2655740-1276685985 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655740-1276685985.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f77d1de307b7db24bfedc4f252c9c297 RANDOM SEED=1696967704 node088.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.217 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.43 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.217 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: 1700360 kB Buffers: 76364 kB Cached: 143748 kB SwapCached: 0 kB Active: 99296 kB Inactive: 180672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1700360 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4640 kB Writeback: 0 kB AnonPages: 59792 kB Mapped: 15592 kB Slab: 57092 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182196 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62560 MiB End job on node088 at 2010-06-16 13:02:47