Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -153 | 181.348 | 181.394 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-9000opt.opb |
MD5SUM | 45bb740026f369f3965355a2a9c7d86d |
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 | -193 |
Best CPU time to get the best result obtained on this benchmark | 15.9096 |
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 | 63333 |
Number of constraints which are clauses | 63333 |
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 | 364 |
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 | 364 |
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-2655744-1276686768.opb. 0.00/0.00 c Instance file HOME/instance-2655744-1276686768.opb 0.00/0.00 c File size is 2111360 bytes. 0.19/0.29 c Highest Coefficient sum: 4 0.19/0.29 c ============================[ Problem Statistics ]============================= 0.19/0.29 c | | 0.19/0.29 c | Parsing time: 0.29 s | 0.19/0.29 c | Number Variables: 2025 | 0.19/0.29 c | Number Clauses: 63333 | 0.19/0.29 c | Number Cardinality: 0 | 0.19/0.29 c | Number PB Constraints: 0 | 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2013 63345 188829 | 21111 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 364 0.39/0.40 o 364 0.39/0.40 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2013 63346 188964 | 21115 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 361 0.39/0.40 o 361 0.39/0.40 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2013 63347 189099 | 21115 0 nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 360 0.39/0.42 o 360 0.39/0.42 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 2013 63348 189234 | 21116 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 359 0.39/0.43 o 359 0.39/0.43 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2013 63349 189369 | 21116 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 358 0.39/0.44 o 358 0.39/0.44 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 1 | 2013 63350 189504 | 21116 1 134 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 357 0.39/0.45 o 357 0.39/0.45 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 1 | 2013 63351 189639 | 21117 1 134 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 356 0.39/0.46 o 356 0.39/0.46 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 1 | 2013 63352 189774 | 21117 1 134 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 355 0.39/0.47 o 355 0.39/0.47 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 1 | 2013 63353 189909 | 21117 1 134 | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 352 0.39/0.48 o 352 0.39/0.48 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 1 | 2013 63354 190044 | 21118 1 134 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 351 0.49/0.50 o 351 0.49/0.50 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 2 | 2013 63355 190179 | 21118 2 131 | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 350 0.49/0.51 o 350 0.49/0.51 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 2 | 2013 63356 190314 | 21118 2 131 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: 349 0.49/0.52 o 349 0.49/0.52 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 3 | 2013 63357 190449 | 21119 3 130 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 348 0.49/0.53 o 348 0.49/0.53 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 3 | 2013 63358 190584 | 21119 3 130 | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 347 0.49/0.54 o 347 0.49/0.54 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 3 | 2013 63359 190719 | 21119 3 130 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 346 0.49/0.55 o 346 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 | 2013 63360 190854 | 21120 4 130 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 345 0.49/0.56 o 345 0.49/0.56 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 5 | 2013 63361 190989 | 21120 5 129 | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: 344 0.49/0.57 o 344 0.49/0.57 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 6 | 2013 63362 191124 | 21120 6 129 | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 343 0.49/0.59 o 343 0.49/0.59 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 7 | 2013 63363 191259 | 21121 7 129 | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: 342 0.59/0.60 o 342 0.59/0.60 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 8 | 2013 63364 191394 | 21121 8 128 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 341 0.59/0.61 o 341 0.59/0.61 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 9 | 2013 63365 191529 | 21121 9 128 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 340 0.59/0.62 o 340 0.59/0.62 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 9 | 2013 63366 191664 | 21122 9 128 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 339 0.59/0.63 o 339 0.59/0.63 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 9 | 2013 63367 191799 | 21122 9 128 | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: 338 0.59/0.64 o 338 0.59/0.64 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 10 | 2013 63368 191934 | 21122 10 127 | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: 337 0.59/0.65 o 337 0.59/0.65 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 11 | 2013 63369 192069 | 21123 11 127 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 336 0.59/0.66 o 336 0.59/0.66 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 11 | 2013 63370 192204 | 21123 11 127 | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 335 0.59/0.67 o 335 0.59/0.67 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 11 | 2013 63371 192339 | 21123 11 127 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 334 0.59/0.69 o 334 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 | 12 | 2013 63372 192474 | 21124 12 127 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 333 0.69/0.70 o 333 0.69/0.70 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 13 | 2013 63373 192609 | 21124 13 126 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 332 0.69/0.71 o 332 0.69/0.71 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 13 | 2013 63374 192744 | 21124 13 126 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 331 0.69/0.72 o 331 0.69/0.72 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 13 | 2013 63375 192879 | 21125 13 126 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 330 0.69/0.73 o 330 0.69/0.73 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 14 | 2013 63376 193014 | 21125 14 126 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 329 0.69/0.74 o 329 0.69/0.74 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 14 | 2013 63377 193149 | 21125 14 126 | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 328 0.69/0.75 o 328 0.69/0.75 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 14 | 2013 63378 193284 | 21126 14 126 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: 327 0.69/0.76 o 327 0.69/0.76 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 14 | 2013 63379 193419 | 21126 14 126 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 326 0.69/0.77 o 326 0.69/0.77 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 15 | 2013 63380 193554 | 21126 15 126 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 325 0.69/0.79 o 325 0.69/0.79 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 16 | 2013 63381 193689 | 21127 16 125 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 324 0.79/0.80 o 324 0.79/0.80 c Elapsed CPU time: 0.744886 s Remaining CPU time: 179.255 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 16 | 2013 63382 193824 | 21127 16 125 | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 323 0.79/0.81 o 323 0.79/0.81 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 16 | 2013 63383 193959 | 21127 16 125 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: 322 0.79/0.82 o 322 0.79/0.82 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 17 | 2013 63384 194094 | 21128 17 125 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 321 0.79/0.83 o 321 0.79/0.83 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 18 | 2013 63385 194229 | 21128 18 125 | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 320 0.79/0.84 o 320 0.79/0.84 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 18 | 2013 63386 194364 | 21128 18 125 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: 319 0.79/0.85 o 319 0.79/0.85 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 18 | 2013 63387 194499 | 21129 18 125 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 318 0.79/0.86 o 318 0.79/0.86 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 19 | 2013 63388 194634 | 21129 19 124 | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 317 0.79/0.87 o 317 0.79/0.87 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 20 | 2013 63389 194769 | 21129 20 124 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 316 0.79/0.88 o 316 0.79/0.88 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 20 | 2013 63390 194904 | 21130 20 124 | 0.000 % | 0.79/0.90 c =============================================================================== 0.79/0.90 c New solution: 315 0.79/0.90 o 315 0.79/0.90 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s 0.79/0.90 c =============================================================================== 0.79/0.90 c | 20 | 2013 63391 195039 | 21130 20 124 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: 314 0.89/0.91 o 314 0.89/0.91 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 22 | 2013 63392 195174 | 21130 22 123 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 313 0.89/0.92 o 313 0.89/0.92 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 22 | 2013 63393 195309 | 21131 22 123 | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 312 0.89/0.93 o 312 0.89/0.93 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 22 | 2013 63394 195444 | 21131 22 123 | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c New solution: 311 0.89/0.94 o 311 0.89/0.94 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s 0.89/0.94 c =============================================================================== 0.89/0.94 c | 23 | 2013 63395 195579 | 21131 23 123 | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: 310 0.89/0.95 o 310 0.89/0.95 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 26 | 2013 63396 195714 | 21132 26 122 | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c New solution: 309 0.89/0.96 o 309 0.89/0.96 c Elapsed CPU time: 0.896863 s Remaining CPU time: 179.103 s 0.89/0.96 c =============================================================================== 0.89/0.96 c | 26 | 2013 63397 195849 | 21132 26 122 | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: 308 0.89/0.97 o 308 0.89/0.97 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 27 | 2013 63398 195984 | 21132 27 122 | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 307 0.89/0.98 o 307 0.89/0.98 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 27 | 2013 63399 196119 | 21133 27 122 | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c New solution: 306 0.89/0.99 o 306 0.89/0.99 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s 0.89/0.99 c =============================================================================== 0.89/0.99 c | 28 | 2013 63400 196254 | 21133 28 122 | 0.000 % | 1.00/1.01 c =============================================================================== 1.00/1.01 c New solution: 305 1.00/1.01 o 305 1.00/1.01 c Elapsed CPU time: 0.935857 s Remaining CPU time: 179.064 s 1.00/1.01 c =============================================================================== 1.00/1.01 c | 30 | 2013 63401 196389 | 21133 30 121 | 0.000 % | 1.00/1.02 c =============================================================================== 1.00/1.02 c New solution: 304 1.00/1.02 o 304 1.00/1.02 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s 1.00/1.02 c =============================================================================== 1.00/1.02 c | 30 | 2013 63402 196524 | 21134 30 121 | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c New solution: 303 1.00/1.03 o 303 1.00/1.03 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s 1.00/1.03 c =============================================================================== 1.00/1.03 c | 30 | 2013 63403 196659 | 21134 30 121 | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c New solution: 302 1.00/1.04 o 302 1.00/1.04 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s 1.00/1.04 c =============================================================================== 1.00/1.04 c | 30 | 2013 63404 196794 | 21134 30 121 | 0.000 % | 1.00/1.05 c =============================================================================== 1.00/1.05 c New solution: 301 1.00/1.05 o 301 1.00/1.05 c Elapsed CPU time: 0.972852 s Remaining CPU time: 179.027 s 1.00/1.05 c =============================================================================== 1.00/1.05 c | 30 | 2013 63405 196929 | 21135 30 121 | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: 300 1.00/1.06 o 300 1.00/1.06 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 35 | 2013 63406 197064 | 21135 35 120 | 0.000 % | 1.00/1.07 c =============================================================================== 1.00/1.07 c New solution: 299 1.00/1.07 o 299 1.00/1.07 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s 1.00/1.07 c =============================================================================== 1.00/1.07 c | 39 | 2013 63407 197199 | 21135 39 119 | 0.000 % | 1.00/1.08 c =============================================================================== 1.00/1.08 c New solution: 298 1.00/1.08 o 298 1.00/1.08 c Elapsed CPU time: 1.00485 s Remaining CPU time: 178.995 s 1.00/1.08 c =============================================================================== 1.00/1.08 c | 39 | 2013 63408 197334 | 21136 39 119 | 0.000 % | 1.00/1.09 c =============================================================================== 1.00/1.09 c New solution: 297 1.00/1.09 o 297 1.00/1.09 c Elapsed CPU time: 1.01385 s Remaining CPU time: 178.986 s 1.00/1.09 c =============================================================================== 1.00/1.09 c | 39 | 2013 63409 197469 | 21136 39 119 | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c New solution: 296 1.10/1.11 o 296 1.10/1.11 c Elapsed CPU time: 1.02484 s Remaining CPU time: 178.975 s 1.10/1.11 c =============================================================================== 1.10/1.11 c | 39 | 2013 63410 197604 | 21136 39 119 | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c New solution: 295 1.10/1.12 o 295 1.10/1.12 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s 1.10/1.12 c =============================================================================== 1.10/1.12 c | 42 | 2013 63411 197739 | 21137 42 119 | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c New solution: 294 1.10/1.13 o 294 1.10/1.13 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s 1.10/1.13 c =============================================================================== 1.10/1.13 c | 44 | 2013 63412 197874 | 21137 44 119 | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.14 c New solution: 293 1.10/1.14 o 293 1.10/1.14 c Elapsed CPU time: 1.05684 s Remaining CPU time: 178.943 s 1.10/1.14 c =============================================================================== 1.10/1.14 c | 48 | 2013 63413 198009 | 21137 48 116 | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.15 c New solution: 291 1.10/1.15 o 291 1.10/1.15 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s 1.10/1.15 c =============================================================================== 1.10/1.15 c | 54 | 2013 63414 198144 | 21138 54 115 | 0.000 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c New solution: 290 1.10/1.16 o 290 1.10/1.16 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s 1.10/1.16 c =============================================================================== 1.10/1.16 c | 57 | 2013 63415 198279 | 21138 57 115 | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c New solution: 289 1.10/1.18 o 289 1.10/1.18 c Elapsed CPU time: 1.08983 s Remaining CPU time: 178.91 s 1.10/1.18 c =============================================================================== 1.10/1.18 c | 62 | 2013 63416 198414 | 21138 62 114 | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c New solution: 288 1.10/1.19 o 288 1.10/1.19 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s 1.10/1.19 c =============================================================================== 1.10/1.19 c | 66 | 2013 63417 198549 | 21139 66 114 | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c New solution: 287 1.19/1.20 o 287 1.19/1.20 c Elapsed CPU time: 1.11583 s Remaining CPU time: 178.884 s 1.19/1.20 c =============================================================================== 1.19/1.20 c | 88 | 2013 63418 198684 | 21139 88 111 | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c New solution: 286 1.19/1.22 o 286 1.19/1.22 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s 1.19/1.22 c =============================================================================== 1.19/1.22 c | 88 | 2013 63419 198819 | 21139 88 111 | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: 285 1.19/1.23 o 285 1.19/1.23 c Elapsed CPU time: 1.13883 s Remaining CPU time: 178.861 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 88 | 2013 63420 198954 | 21140 88 111 | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c New solution: 284 1.19/1.24 o 284 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 | 90 | 2013 63421 199089 | 21140 90 111 | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c New solution: 283 1.19/1.25 o 283 1.19/1.25 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s 1.19/1.25 c =============================================================================== 1.19/1.25 c | 101 | 2013 63422 199224 | 21140 101 111 | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c New solution: 282 1.19/1.27 o 282 1.19/1.27 c Elapsed CPU time: 1.17782 s Remaining CPU time: 178.822 s 1.19/1.27 c =============================================================================== 1.19/1.27 c | 101 | 2013 63423 199359 | 21141 101 111 | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.28 c New solution: 281 1.19/1.28 o 281 1.19/1.28 c Elapsed CPU time: 1.18982 s Remaining CPU time: 178.81 s 1.19/1.28 c =============================================================================== 1.19/1.28 c | 101 | 2013 63424 199494 | 21141 101 111 | 0.000 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c New solution: 280 1.19/1.29 o 280 1.19/1.29 c Elapsed CPU time: 1.20382 s Remaining CPU time: 178.796 s 1.19/1.29 c =============================================================================== 1.19/1.29 c | 114 | 2013 63425 199629 | 21141 114 110 | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c New solution: 279 1.29/1.31 o 279 1.29/1.31 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s 1.29/1.31 c =============================================================================== 1.29/1.31 c | 152 | 2013 63426 199764 | 21142 152 108 | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c New solution: 278 1.29/1.32 o 278 1.29/1.32 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s 1.29/1.32 c =============================================================================== 1.29/1.32 c | 152 | 2013 63427 199899 | 21142 152 108 | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c New solution: 277 1.29/1.34 o 277 1.29/1.34 c Elapsed CPU time: 1.24381 s Remaining CPU time: 178.756 s 1.29/1.34 c =============================================================================== 1.29/1.34 c | 154 | 2013 63428 200034 | 21142 154 107 | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c New solution: 276 1.29/1.35 o 276 1.29/1.35 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s 1.29/1.35 c =============================================================================== 1.29/1.35 c | 172 | 2013 63429 200169 | 21143 172 107 | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c New solution: 275 1.29/1.36 o 275 1.29/1.36 c Elapsed CPU time: 1.26581 s Remaining CPU time: 178.734 s 1.29/1.36 c =============================================================================== 1.29/1.36 c | 172 | 2013 63430 200304 | 21143 172 107 | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c New solution: 274 1.29/1.38 o 274 1.29/1.38 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s 1.29/1.38 c =============================================================================== 1.29/1.38 c | 174 | 2013 63431 200439 | 21143 174 107 | 0.000 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c New solution: 273 1.29/1.39 o 273 1.29/1.39 c Elapsed CPU time: 1.2908 s Remaining CPU time: 178.709 s 1.29/1.39 c =============================================================================== 1.29/1.39 c | 175 | 2013 63432 200574 | 21144 175 107 | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.40 c New solution: 272 1.39/1.40 o 272 1.39/1.40 c Elapsed CPU time: 1.3038 s Remaining CPU time: 178.696 s 1.39/1.40 c =============================================================================== 1.39/1.40 c | 175 | 2013 63433 200709 | 21144 175 107 | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c New solution: 271 1.39/1.42 o 271 1.39/1.42 c Elapsed CPU time: 1.3188 s Remaining CPU time: 178.681 s 1.39/1.42 c =============================================================================== 1.39/1.42 c | 213 | 2013 63434 200844 | 21144 213 106 | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c New solution: 270 1.39/1.44 o 270 1.39/1.44 c Elapsed CPU time: 1.34479 s Remaining CPU time: 178.655 s 1.39/1.44 c =============================================================================== 1.39/1.44 c | 309 | 2013 63435 200979 | 21145 309 104 | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c New solution: 269 1.39/1.46 o 269 1.39/1.46 c Elapsed CPU time: 1.35679 s Remaining CPU time: 178.643 s 1.39/1.46 c =============================================================================== 1.39/1.46 c | 309 | 2013 63436 201114 | 21145 309 104 | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.48 c New solution: 268 1.39/1.48 o 268 1.39/1.48 c Elapsed CPU time: 1.38179 s Remaining CPU time: 178.618 s 1.39/1.48 c =============================================================================== 1.39/1.48 c | 370 | 2013 63437 201249 | 21145 370 103 | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c New solution: 267 1.49/1.50 o 267 1.49/1.50 c Elapsed CPU time: 1.40079 s Remaining CPU time: 178.599 s 1.49/1.50 c =============================================================================== 1.49/1.50 c | 405 | 2013 63438 201384 | 21146 405 103 | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: 266 1.49/1.52 o 266 1.49/1.52 c Elapsed CPU time: 1.41179 s Remaining CPU time: 178.588 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 405 | 2013 63439 201519 | 21146 405 103 | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c New solution: 265 1.49/1.54 o 265 1.49/1.54 c Elapsed CPU time: 1.43978 s Remaining CPU time: 178.56 s 1.49/1.54 c =============================================================================== 1.49/1.54 c | 475 | 2013 63440 201654 | 21146 475 102 | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.57 c New solution: 264 1.49/1.57 o 264 1.49/1.57 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s 1.49/1.57 c =============================================================================== 1.49/1.57 c | 517 | 2013 63441 201789 | 21147 517 101 | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c New solution: 263 1.49/1.58 o 263 1.49/1.58 c Elapsed CPU time: 1.47578 s Remaining CPU time: 178.524 s 1.49/1.58 c =============================================================================== 1.49/1.58 c | 532 | 2013 63442 201924 | 21147 532 101 | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c New solution: 262 1.49/1.59 o 262 1.49/1.59 c Elapsed CPU time: 1.48777 s Remaining CPU time: 178.512 s 1.49/1.60 c =============================================================================== 1.49/1.60 c | 534 | 2013 63443 202059 | 21147 534 101 | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.63 c New solution: 261 1.59/1.63 o 261 1.59/1.63 c Elapsed CPU time: 1.51877 s Remaining CPU time: 178.481 s 1.59/1.63 c =============================================================================== 1.59/1.63 c | 618 | 2013 63444 202194 | 21148 618 100 | 0.000 % | 1.59/1.65 c =============================================================================== 1.59/1.65 c New solution: 260 1.59/1.65 o 260 1.59/1.65 c Elapsed CPU time: 1.53877 s Remaining CPU time: 178.461 s 1.59/1.65 c =============================================================================== 1.59/1.65 c | 652 | 2013 63445 202329 | 21148 652 100 | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c New solution: 259 1.59/1.66 o 259 1.59/1.66 c Elapsed CPU time: 1.55076 s Remaining CPU time: 178.449 s 1.59/1.66 c =============================================================================== 1.59/1.66 c | 652 | 2013 63446 202464 | 21148 652 100 | 0.000 % | 1.59/1.69 c | 752 | 2013 63446 202464 | 23263 752 100 | 0.593 % | 1.59/1.69 c =============================================================================== 1.59/1.69 c New solution: 258 1.59/1.69 o 258 1.59/1.69 c Elapsed CPU time: 1.58476 s Remaining CPU time: 178.415 s 1.59/1.69 c =============================================================================== 1.59/1.69 c | 752 | 2013 63447 202599 | 21149 752 100 | 0.593 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c New solution: 257 1.69/1.71 o 257 1.69/1.71 c Elapsed CPU time: 1.59676 s Remaining CPU time: 178.403 s 1.69/1.71 c =============================================================================== 1.69/1.71 c | 752 | 2013 63448 202734 | 21149 752 100 | 0.593 % | 1.69/1.74 c =============================================================================== 1.69/1.74 c New solution: 256 1.69/1.74 o 256 1.69/1.74 c Elapsed CPU time: 1.62675 s Remaining CPU time: 178.373 s 1.69/1.74 c =============================================================================== 1.69/1.74 c | 825 | 2013 63449 202869 | 21149 825 99 | 0.593 % | 1.69/1.75 c =============================================================================== 1.69/1.75 c New solution: 255 1.69/1.75 o 255 1.69/1.75 c Elapsed CPU time: 1.63875 s Remaining CPU time: 178.361 s 1.69/1.75 c =============================================================================== 1.69/1.75 c | 826 | 2013 63450 203004 | 21150 826 99 | 0.593 % | 1.69/1.76 c =============================================================================== 1.69/1.76 c New solution: 254 1.69/1.76 o 254 1.69/1.76 c Elapsed CPU time: 1.65075 s Remaining CPU time: 178.349 s 1.69/1.76 c =============================================================================== 1.69/1.76 c | 826 | 2013 63451 203139 | 21150 826 99 | 0.593 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c New solution: 253 1.69/1.79 o 253 1.69/1.79 c Elapsed CPU time: 1.67175 s Remaining CPU time: 178.328 s 1.69/1.79 c =============================================================================== 1.69/1.79 c | 861 | 2013 63452 203274 | 21150 861 99 | 0.593 % | 1.78/1.81 c | 961 | 2013 63452 203274 | 23265 961 99 | 0.593 % | 1.78/1.85 c | 1112 | 2013 63452 203274 | 25592 1112 98 | 0.593 % | 1.78/1.88 c =============================================================================== 1.78/1.88 c New solution: 252 1.78/1.88 o 252 1.78/1.88 c Elapsed CPU time: 1.76273 s Remaining CPU time: 178.237 s 1.78/1.88 c =============================================================================== 1.78/1.88 c | 1226 | 2013 63453 203409 | 21151 1226 98 | 0.593 % | 1.78/1.90 c =============================================================================== 1.78/1.90 c New solution: 251 1.78/1.90 o 251 1.78/1.90 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s 1.78/1.90 c =============================================================================== 1.78/1.90 c | 1230 | 2013 63454 203544 | 21151 1230 98 | 0.593 % | 1.89/1.92 c | 1332 | 2013 63454 203544 | 23266 1332 98 | 0.593 % | 1.89/1.96 c | 1482 | 2013 63454 203544 | 25593 1482 97 | 0.593 % | 1.99/2.01 c | 1707 | 2013 63454 203544 | 28152 1707 97 | 0.593 % | 1.99/2.09 c =============================================================================== 1.99/2.09 c New solution: 250 1.99/2.09 o 250 1.99/2.09 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s 1.99/2.09 c =============================================================================== 1.99/2.09 c | 2011 | 2013 63455 203679 | 21151 2011 96 | 0.593 % | 2.10/2.11 c =============================================================================== 2.10/2.11 c New solution: 249 2.10/2.11 o 249 2.10/2.11 c Elapsed CPU time: 1.9857 s Remaining CPU time: 178.014 s 2.10/2.11 c =============================================================================== 2.10/2.11 c | 2012 | 2013 63456 203814 | 21152 2012 96 | 0.593 % | 2.10/2.13 c | 2112 | 2013 63456 203814 | 23267 2112 96 | 0.593 % | 2.10/2.17 c | 2262 | 2013 63456 203814 | 25593 2262 96 | 0.593 % | 2.20/2.22 c | 2487 | 2013 63456 203814 | 28153 2487 96 | 0.593 % | 2.29/2.30 c | 2825 | 2013 63456 203814 | 30968 2825 95 | 0.593 % | 2.38/2.43 c | 3332 | 2013 63456 203814 | 34065 3332 95 | 0.593 % | 2.49/2.57 c =============================================================================== 2.49/2.57 c New solution: 248 2.49/2.57 o 248 2.49/2.57 c Elapsed CPU time: 2.43863 s Remaining CPU time: 177.561 s 2.49/2.57 c =============================================================================== 2.49/2.57 c | 3791 | 2013 63457 203949 | 21152 3791 95 | 0.593 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c New solution: 247 2.49/2.58 o 247 2.49/2.58 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s 2.49/2.58 c =============================================================================== 2.49/2.58 c | 3797 | 2013 63458 204084 | 21152 3797 95 | 0.593 % | 2.59/2.60 c =============================================================================== 2.59/2.60 c New solution: 246 2.59/2.60 o 246 2.59/2.60 c Elapsed CPU time: 2.47062 s Remaining CPU time: 177.529 s 2.59/2.60 c =============================================================================== 2.59/2.60 c | 3799 | 2013 63459 204219 | 21153 3799 95 | 0.593 % | 2.59/2.63 c | 3900 | 2013 63459 204219 | 23268 3900 95 | 0.593 % | 2.59/2.66 c =============================================================================== 2.59/2.66 c New solution: 245 2.59/2.66 o 245 2.59/2.66 c Elapsed CPU time: 2.52961 s Remaining CPU time: 177.47 s 2.59/2.66 c =============================================================================== 2.59/2.66 c | 3959 | 2013 63460 204354 | 21153 3959 95 | 0.593 % | 2.59/2.69 c | 4060 | 2013 63460 204354 | 23268 4060 95 | 0.593 % | 2.69/2.73 c | 4211 | 2013 63460 204354 | 25595 4211 95 | 0.593 % | 2.69/2.79 c | 4437 | 2013 63460 204354 | 28155 4437 94 | 0.593 % | 2.79/2.89 c | 4774 | 2013 63460 204354 | 30970 4774 94 | 0.593 % | 2.99/3.04 c | 5281 | 2013 63460 204354 | 34067 5281 94 | 0.593 % | 3.09/3.18 c =============================================================================== 3.09/3.18 c New solution: 244 3.09/3.18 o 244 3.09/3.18 c Elapsed CPU time: 3.04154 s Remaining CPU time: 176.958 s 3.09/3.18 c =============================================================================== 3.09/3.18 c | 5720 | 2013 63461 204489 | 21153 5720 94 | 0.593 % | 3.09/3.19 c =============================================================================== 3.09/3.19 c New solution: 243 3.09/3.19 o 243 3.09/3.19 c Elapsed CPU time: 3.05654 s Remaining CPU time: 176.943 s 3.09/3.19 c =============================================================================== 3.09/3.19 c | 5724 | 2013 63462 204624 | 21154 5724 94 | 0.593 % | 3.19/3.21 c =============================================================================== 3.19/3.21 c New solution: 242 3.19/3.21 o 242 3.19/3.21 c Elapsed CPU time: 3.06953 s Remaining CPU time: 176.93 s 3.19/3.21 c =============================================================================== 3.19/3.21 c | 5724 | 2013 63463 204759 | 21154 5724 94 | 0.593 % | 3.19/3.24 c | 5825 | 2013 63463 204759 | 23269 5825 94 | 0.593 % | 3.19/3.26 c =============================================================================== 3.19/3.26 c New solution: 241 3.19/3.26 o 241 3.19/3.26 c Elapsed CPU time: 3.12153 s Remaining CPU time: 176.878 s 3.19/3.26 c =============================================================================== 3.19/3.26 c | 5871 | 2013 63464 204894 | 21154 5871 93 | 0.593 % | 3.19/3.30 c | 5972 | 2013 63464 204894 | 23270 5972 93 | 0.593 % | 3.30/3.36 c | 6123 | 2013 63464 204894 | 25597 6123 93 | 0.593 % | 3.39/3.43 c | 6349 | 2013 63464 204894 | 28156 6349 93 | 0.593 % | 3.49/3.53 c | 6687 | 2013 63464 204894 | 30972 6687 93 | 0.593 % | 3.59/3.60 c =============================================================================== 3.59/3.60 c New solution: 240 3.59/3.60 o 240 3.59/3.60 c Elapsed CPU time: 3.46347 s Remaining CPU time: 176.537 s 3.59/3.60 c =============================================================================== 3.59/3.60 c | 6874 | 2013 63465 205029 | 21155 6874 93 | 0.593 % | 3.59/3.62 c =============================================================================== 3.59/3.62 c New solution: 239 3.59/3.62 o 239 3.59/3.62 c Elapsed CPU time: 3.47947 s Remaining CPU time: 176.521 s 3.59/3.62 c =============================================================================== 3.59/3.62 c | 6880 | 2013 63466 205164 | 21155 6880 93 | 0.593 % | 3.59/3.65 c | 6980 | 2013 63466 205164 | 23270 6980 93 | 0.593 % | 3.69/3.70 c | 7130 | 2013 63466 205164 | 25597 7130 93 | 0.593 % | 3.69/3.74 c =============================================================================== 3.69/3.74 c New solution: 238 3.69/3.74 o 238 3.69/3.74 c Elapsed CPU time: 3.60045 s Remaining CPU time: 176.4 s 3.69/3.74 c =============================================================================== 3.69/3.74 c | 7235 | 2013 63467 205299 | 21155 7235 93 | 0.593 % | 3.69/3.77 c =============================================================================== 3.69/3.77 c New solution: 237 3.69/3.77 o 237 3.69/3.77 c Elapsed CPU time: 3.62645 s Remaining CPU time: 176.374 s 3.69/3.77 c =============================================================================== 3.69/3.77 c | 7297 | 2013 63468 205434 | 21156 7297 93 | 0.593 % | 3.79/3.80 c | 7397 | 2013 63468 205434 | 23271 7397 93 | 0.593 % | 3.79/3.84 c | 7547 | 2013 63468 205434 | 25598 7547 93 | 0.593 % | 3.89/3.92 c =============================================================================== 3.89/3.92 c New solution: 236 3.89/3.92 o 236 3.89/3.92 c Elapsed CPU time: 3.77443 s Remaining CPU time: 176.226 s 3.89/3.92 c =============================================================================== 3.89/3.92 c | 7738 | 2013 63469 205569 | 21156 7738 93 | 0.593 % | 3.89/3.94 c =============================================================================== 3.89/3.94 c New solution: 235 3.89/3.94 o 235 3.89/3.94 c Elapsed CPU time: 3.80142 s Remaining CPU time: 176.199 s 3.89/3.94 c =============================================================================== 3.89/3.94 c | 7769 | 2013 63470 205704 | 21156 7769 93 | 0.593 % | 3.89/3.96 c =============================================================================== 3.89/3.96 c New solution: 234 3.89/3.96 o 234 3.89/3.96 c Elapsed CPU time: 3.81542 s Remaining CPU time: 176.185 s 3.89/3.96 c =============================================================================== 3.89/3.96 c | 7769 | 2013 63471 205839 | 21157 7769 93 | 0.593 % | 3.89/4.00 c | 7869 | 2013 63471 205839 | 23272 7869 93 | 0.593 % | 3.99/4.05 c | 8021 | 2013 63471 205839 | 25599 8021 93 | 0.593 % | 4.09/4.14 c | 8248 | 2013 63471 205839 | 28159 8248 93 | 0.593 % | 4.19/4.28 c | 8585 | 2013 63471 205839 | 30975 8585 92 | 0.593 % | 4.40/4.48 c | 9091 | 2013 63471 205839 | 34073 9091 92 | 0.593 % | 4.69/4.76 c | 9851 | 2013 63471 205839 | 37480 9851 92 | 0.593 % | 5.19/5.23 c | 10991 | 2013 63471 205839 | 41229 10991 91 | 0.593 % | 5.89/5.92 c | 12700 | 2013 63471 205839 | 45351 12700 91 | 0.593 % | 7.09/7.12 c | 15262 | 2013 63471 205839 | 49887 15262 90 | 0.593 % | 8.99/9.04 c | 19106 | 2013 63471 205839 | 54875 19106 89 | 0.593 % | 9.09/9.18 c =============================================================================== 9.09/9.18 c New solution: 233 9.09/9.18 o 233 9.09/9.18 c Elapsed CPU time: 9.00063 s Remaining CPU time: 170.999 s 9.09/9.18 c =============================================================================== 9.09/9.18 c | 19390 | 2013 63472 205974 | 21157 19390 89 | 0.593 % | 9.19/9.24 c | 19490 | 2013 63472 205974 | 23273 19490 89 | 0.593 % | 9.29/9.33 c | 19640 | 2013 63472 205974 | 25600 19640 89 | 0.593 % | 9.39/9.45 c | 19867 | 2013 63472 205974 | 28160 19867 89 | 0.593 % | 9.59/9.61 c | 20204 | 2013 63472 205974 | 30976 20204 89 | 0.593 % | 9.80/9.80 c =============================================================================== 9.80/9.80 c New solution: 232 9.80/9.80 o 232 9.80/9.80 c Elapsed CPU time: 9.61554 s Remaining CPU time: 170.384 s 9.80/9.80 c =============================================================================== 9.80/9.80 c | 20670 | 2013 63473 206109 | 21157 20670 89 | 0.593 % | 9.80/9.84 c | 20770 | 2013 63473 206109 | 23273 20770 89 | 0.593 % | 9.80/9.90 c | 20921 | 2013 63473 206109 | 25600 20921 89 | 0.593 % | 9.99/10.03 c | 21148 | 2013 63473 206109 | 28160 21148 89 | 0.593 % | 10.19/10.26 c | 21485 | 2013 63473 206109 | 30976 21485 89 | 0.593 % | 10.49/10.57 c | 21992 | 2013 63473 206109 | 34074 21992 89 | 0.593 % | 11.00/11.02 c | 22751 | 2013 63473 206109 | 37482 22751 89 | 0.593 % | 11.69/11.72 c | 23890 | 2013 63473 206109 | 41230 23890 89 | 0.593 % | 12.89/12.98 c | 25599 | 2013 63473 206109 | 45353 25599 88 | 0.593 % | 15.09/15.17 c | 28161 | 2013 63473 206109 | 49888 28161 88 | 0.593 % | 18.69/18.73 c | 32005 | 2013 63473 206109 | 54877 32005 87 | 0.593 % | 23.78/23.86 c | 37773 | 2013 63473 206109 | 60365 37773 87 | 0.593 % | 33.48/33.51 c | 46423 | 2013 63473 206109 | 66401 46423 87 | 0.593 % | 36.58/36.61 c =============================================================================== 36.58/36.61 c New solution: 230 36.58/36.61 o 230 36.58/36.61 c Elapsed CPU time: 36.3125 s Remaining CPU time: 143.688 s 36.58/36.61 c =============================================================================== 36.58/36.61 c | 49240 | 2013 63474 206244 | 21158 49240 87 | 0.593 % | 37.58/37.60 c | 49341 | 2013 63474 206244 | 23273 11856 85 | 0.593 % | 37.58/37.66 c | 49491 | 2013 63474 206244 | 25601 12006 85 | 0.593 % | 37.68/37.79 c | 49716 | 2013 63474 206244 | 28161 12231 85 | 0.593 % | 37.88/37.92 c | 50056 | 2013 63474 206244 | 30977 12571 85 | 0.593 % | 38.08/38.16 c | 50562 | 2013 63474 206244 | 34075 13077 85 | 0.593 % | 38.58/38.63 c | 51323 | 2013 63474 206244 | 37482 13838 85 | 0.593 % | 39.19/39.28 c | 52462 | 2013 63474 206244 | 41230 14977 85 | 0.593 % | 40.28/40.31 c | 54170 | 2013 63474 206244 | 45354 16685 85 | 0.593 % | 41.79/41.88 c | 56733 | 2013 63474 206244 | 49889 19248 85 | 0.593 % | 44.48/44.50 c | 60577 | 2013 63474 206244 | 54878 23092 85 | 0.593 % | 46.68/46.75 c =============================================================================== 46.68/46.75 c New solution: 229 46.68/46.75 o 229 46.68/46.75 c Elapsed CPU time: 46.3849 s Remaining CPU time: 133.615 s 46.68/46.75 c =============================================================================== 46.68/46.75 c | 63209 | 2013 63475 206379 | 21158 25724 85 | 0.593 % | 47.08/47.15 c | 63310 | 2013 63475 206379 | 23274 11235 83 | 0.593 % | 47.19/47.22 c | 63460 | 2013 63475 206379 | 25601 11385 83 | 0.593 % | 47.29/47.33 c | 63686 | 2013 63475 206379 | 28161 11611 83 | 0.593 % | 47.48/47.51 c | 64024 | 2013 63475 206379 | 30977 11949 83 | 0.593 % | 47.68/47.79 c | 64533 | 2013 63475 206379 | 34075 12458 83 | 0.593 % | 48.08/48.14 c | 65295 | 2013 63475 206379 | 37483 13220 83 | 0.593 % | 48.78/48.80 c | 66436 | 2013 63475 206379 | 41231 14361 83 | 0.593 % | 49.58/49.67 c | 68145 | 2013 63475 206379 | 45354 16070 83 | 0.593 % | 51.08/51.18 c | 70709 | 2013 63475 206379 | 49890 18634 84 | 0.593 % | 51.18/51.25 c =============================================================================== 51.18/51.25 c New solution: 228 51.18/51.25 o 228 51.18/51.25 c Elapsed CPU time: 50.8463 s Remaining CPU time: 129.154 s 51.18/51.25 c =============================================================================== 51.18/51.25 c | 70818 | 2013 63476 206514 | 21158 18743 84 | 0.593 % | 51.18/51.26 c =============================================================================== 51.18/51.26 c New solution: 227 51.18/51.26 o 227 51.18/51.26 c Elapsed CPU time: 50.8623 s Remaining CPU time: 129.138 s 51.18/51.26 c =============================================================================== 51.18/51.26 c | 70819 | 2013 63477 206649 | 21159 18744 84 | 0.593 % | 51.28/51.32 c | 70919 | 2013 63477 206649 | 23274 18844 84 | 0.593 % | 51.38/51.41 c | 71071 | 2013 63477 206649 | 25602 18996 84 | 0.593 % | 51.48/51.54 c | 71298 | 2013 63477 206649 | 28162 19223 84 | 0.593 % | 51.68/51.71 c | 71635 | 2013 63477 206649 | 30978 19560 84 | 0.593 % | 51.87/51.95 c | 72141 | 2013 63477 206649 | 34076 20066 84 | 0.593 % | 51.98/52.00 c =============================================================================== 51.98/52.00 c New solution: 226 51.98/52.00 o 226 51.98/52.00 c Elapsed CPU time: 51.5932 s Remaining CPU time: 128.407 s 51.98/52.00 c =============================================================================== 51.98/52.00 c | 72209 | 2013 63478 206784 | 21159 20134 84 | 0.593 % | 51.98/52.06 c | 72311 | 2013 63478 206784 | 23275 20236 84 | 0.593 % | 52.08/52.13 c | 72461 | 2013 63478 206784 | 25602 20386 84 | 0.593 % | 52.18/52.26 c | 72687 | 2013 63478 206784 | 28163 20612 84 | 0.593 % | 52.38/52.45 c | 73024 | 2013 63478 206784 | 30979 20949 84 | 0.593 % | 52.68/52.76 c | 73530 | 2013 63478 206784 | 34077 21455 84 | 0.593 % | 53.17/53.25 c | 74290 | 2013 63478 206784 | 37485 22215 84 | 0.593 % | 53.98/54.00 c | 75432 | 2013 63478 206784 | 41233 23357 84 | 0.593 % | 54.88/54.93 c | 77142 | 2013 63478 206784 | 45356 25067 84 | 0.593 % | 56.08/56.13 c =============================================================================== 56.08/56.13 c New solution: 225 56.08/56.13 o 225 56.08/56.13 c Elapsed CPU time: 55.6885 s Remaining CPU time: 124.311 s 56.08/56.13 c =============================================================================== 56.08/56.13 c | 79108 | 2013 63479 206919 | 21159 27033 84 | 0.593 % | 56.67/56.72 c | 79208 | 2013 63479 206919 | 23275 11291 83 | 0.593 % | 56.77/56.80 c | 79358 | 2013 63479 206919 | 25603 11441 83 | 0.593 % | 56.87/56.93 c | 79584 | 2013 63479 206919 | 28163 11667 83 | 0.593 % | 56.97/57.08 c | 79921 | 2013 63479 206919 | 30979 12004 83 | 0.593 % | 57.28/57.33 c | 80429 | 2013 63479 206919 | 34077 12512 83 | 0.593 % | 57.68/57.71 c | 81188 | 2013 63479 206919 | 37485 13271 83 | 0.593 % | 58.18/58.27 c | 82330 | 2013 63479 206919 | 41234 14413 83 | 0.593 % | 58.98/59.07 c | 84040 | 2013 63479 206919 | 45357 16123 83 | 0.593 % | 60.28/60.33 c | 86602 | 2013 63479 206919 | 49893 18685 83 | 0.593 % | 62.58/62.63 c | 90446 | 2013 63479 206919 | 54882 22529 83 | 0.593 % | 66.48/66.50 c | 96213 | 2013 63479 206919 | 60370 28296 83 | 0.593 % | 73.58/73.64 c | 104862 | 2013 63479 206919 | 66408 36945 84 | 0.593 % | 86.06/86.18 c | 117836 | 2013 63479 206919 | 73048 49919 84 | 0.593 % | 95.46/95.56 c =============================================================================== 95.46/95.56 c New solution: 223 95.46/95.56 o 223 95.46/95.56 c Elapsed CPU time: 94.9546 s Remaining CPU time: 85.0454 s 95.46/95.56 c =============================================================================== 95.46/95.56 c | 126846 | 2013 63480 207054 | 21160 58929 84 | 0.593 % | 98.16/98.30 c | 126947 | 2013 63480 207054 | 23276 12017 82 | 0.593 % | 98.26/98.36 c | 127098 | 2013 63480 207054 | 25603 12168 82 | 0.593 % | 98.36/98.47 c | 127324 | 2013 63480 207054 | 28163 12394 83 | 0.593 % | 98.57/98.61 c | 127662 | 2013 63480 207054 | 30980 12732 83 | 0.593 % | 98.77/98.83 c | 128169 | 2013 63480 207054 | 34078 13239 83 | 0.593 % | 99.07/99.19 c | 128928 | 2013 63480 207054 | 37486 13998 83 | 0.593 % | 99.66/99.78 c | 130068 | 2013 63480 207054 | 41234 15138 83 | 0.593 % | 100.47/100.58 c | 131778 | 2013 63480 207054 | 45358 16848 83 | 0.593 % | 101.46/101.50 c =============================================================================== 101.46/101.50 c New solution: 222 101.46/101.50 o 222 101.46/101.50 c Elapsed CPU time: 100.866 s Remaining CPU time: 79.1343 s 101.46/101.50 c =============================================================================== 101.46/101.50 c | 133520 | 2013 63481 207189 | 21160 18590 83 | 0.593 % | 101.46/101.57 c | 133621 | 2013 63481 207189 | 23276 18691 83 | 0.593 % | 101.56/101.67 c | 133771 | 2013 63481 207189 | 25604 18841 83 | 0.593 % | 101.76/101.83 c | 133996 | 2013 63481 207189 | 28164 19066 83 | 0.593 % | 101.97/102.06 c | 134333 | 2013 63481 207189 | 30980 19403 83 | 0.593 % | 102.37/102.45 c | 134840 | 2013 63481 207189 | 34078 19910 83 | 0.593 % | 102.76/102.84 c | 135599 | 2013 63481 207189 | 37486 20669 83 | 0.593 % | 103.47/103.56 c | 136738 | 2013 63481 207189 | 41235 21808 83 | 0.593 % | 104.47/104.54 c | 138446 | 2013 63481 207189 | 45359 23516 83 | 0.593 % | 105.76/105.88 c | 141008 | 2013 63481 207189 | 49894 26078 83 | 0.593 % | 108.57/108.68 c | 144852 | 2013 63481 207189 | 54884 29922 83 | 0.593 % | 111.07/111.14 c =============================================================================== 111.07/111.14 c New solution: 221 111.07/111.14 o 221 111.07/111.14 c Elapsed CPU time: 110.44 s Remaining CPU time: 69.5598 s 111.07/111.14 c =============================================================================== 111.07/111.14 c | 147627 | 2013 63482 207324 | 21160 32697 83 | 0.593 % | 111.36/111.44 c | 147729 | 2013 63482 207324 | 23276 11423 81 | 0.593 % | 111.46/111.50 c | 147881 | 2013 63482 207324 | 25604 11575 81 | 0.593 % | 111.56/111.61 c | 148111 | 2013 63482 207324 | 28164 11805 81 | 0.593 % | 111.66/111.77 c | 148449 | 2013 63482 207324 | 30981 12143 81 | 0.593 % | 111.96/112.00 c | 148955 | 2013 63482 207324 | 34079 12649 82 | 0.593 % | 111.96/112.09 c =============================================================================== 111.96/112.09 c New solution: 220 111.96/112.09 o 220 111.96/112.09 c Elapsed CPU time: 111.383 s Remaining CPU time: 68.6169 s 111.96/112.09 c =============================================================================== 111.96/112.09 c | 149143 | 2013 63483 207459 | 21161 12837 82 | 0.593 % | 112.07/112.10 c =============================================================================== 112.07/112.10 c New solution: 219 112.07/112.10 o 219 112.07/112.10 c Elapsed CPU time: 111.399 s Remaining CPU time: 68.6009 s 112.07/112.10 c =============================================================================== 112.07/112.10 c | 149144 | 2013 63484 207594 | 21161 12838 82 | 0.593 % | 112.07/112.15 c | 149245 | 2013 63484 207594 | 23277 12939 82 | 0.593 % | 112.17/112.22 c | 149395 | 2013 63484 207594 | 25605 13089 82 | 0.593 % | 112.27/112.33 c | 149621 | 2013 63484 207594 | 28165 13315 82 | 0.593 % | 112.46/112.51 c | 149958 | 2013 63484 207594 | 30982 13652 82 | 0.593 % | 112.66/112.74 c | 150464 | 2013 63484 207594 | 34080 14158 81 | 0.593 % | 112.96/113.09 c | 151224 | 2013 63484 207594 | 37488 14918 81 | 0.593 % | 113.57/113.66 c | 152363 | 2013 63484 207594 | 41237 16057 81 | 0.593 % | 114.46/114.58 c | 154073 | 2013 63484 207594 | 45361 17767 81 | 0.593 % | 116.36/116.40 c | 156636 | 2013 63484 207594 | 49897 20330 81 | 0.593 % | 116.67/116.76 c =============================================================================== 116.67/116.76 c New solution: 218 116.67/116.76 o 218 116.67/116.76 c Elapsed CPU time: 116.025 s Remaining CPU time: 63.9746 s 116.67/116.76 c =============================================================================== 116.67/116.76 c | 157255 | 2013 63485 207729 | 21161 20949 81 | 0.593 % | 116.77/116.82 c | 157355 | 2013 63485 207729 | 23277 21049 81 | 0.593 % | 116.86/116.91 c =============================================================================== 116.86/116.91 c New solution: 217 116.86/116.91 o 217 116.86/116.91 c Elapsed CPU time: 116.165 s Remaining CPU time: 63.8347 s 116.86/116.91 c =============================================================================== 116.86/116.91 c | 157470 | 2013 63486 207864 | 21162 21164 81 | 0.593 % | 116.86/116.93 c =============================================================================== 116.86/116.93 c New solution: 216 116.86/116.93 o 216 116.86/116.93 c Elapsed CPU time: 116.185 s Remaining CPU time: 63.8147 s 116.86/116.93 c =============================================================================== 116.86/116.93 c | 157477 | 2013 63487 207999 | 21162 21171 81 | 0.593 % | 116.86/116.94 c =============================================================================== 116.86/116.94 c New solution: 215 116.86/116.94 o 215 116.86/116.94 c Elapsed CPU time: 116.2 s Remaining CPU time: 63.7997 s 116.86/116.94 c =============================================================================== 116.86/116.94 c | 157477 | 2013 63488 208134 | 21162 21171 81 | 0.593 % | 116.86/116.96 c =============================================================================== 116.86/116.96 c New solution: 214 116.86/116.96 o 214 116.86/116.96 c Elapsed CPU time: 116.214 s Remaining CPU time: 63.7857 s 116.86/116.96 c =============================================================================== 116.86/116.96 c | 157477 | 2013 63489 208269 | 21163 21171 81 | 0.593 % | 117.06/117.19 c | 157580 | 2013 63489 208269 | 23279 10646 80 | 0.593 % | 117.16/117.28 c | 157730 | 2013 63489 208269 | 25607 10796 80 | 0.593 % | 117.26/117.38 c | 157955 | 2013 63489 208269 | 28167 11021 80 | 0.593 % | 117.46/117.57 c | 158298 | 2013 63489 208269 | 30984 11364 80 | 0.593 % | 117.76/117.83 c | 158805 | 2013 63489 208269 | 34083 11871 80 | 0.593 % | 118.06/118.16 c | 159564 | 2013 63489 208269 | 37491 12630 80 | 0.593 % | 118.56/118.64 c =============================================================================== 118.56/118.64 c New solution: 213 118.56/118.64 o 213 118.56/118.64 c Elapsed CPU time: 117.884 s Remaining CPU time: 62.1159 s 118.56/118.64 c =============================================================================== 118.56/118.64 c | 160376 | 2013 63490 208404 | 21163 13442 79 | 0.593 % | 118.56/118.66 c =============================================================================== 118.56/118.66 c New solution: 212 118.56/118.66 o 212 118.56/118.66 c Elapsed CPU time: 117.908 s Remaining CPU time: 62.0919 s 118.56/118.66 c =============================================================================== 118.56/118.66 c | 160387 | 2013 63491 208539 | 21163 13453 79 | 0.593 % | 118.66/118.72 c | 160488 | 2013 63491 208539 | 23280 13554 79 | 0.593 % | 118.66/118.78 c | 160638 | 2013 63491 208539 | 25608 13704 79 | 0.593 % | 118.86/118.93 c | 160866 | 2013 63491 208539 | 28168 13932 79 | 0.593 % | 119.06/119.12 c | 161204 | 2013 63491 208539 | 30985 14270 79 | 0.593 % | 119.46/119.50 c | 161712 | 2013 63491 208539 | 34084 14778 79 | 0.593 % | 119.96/120.01 c | 162472 | 2013 63491 208539 | 37492 15538 79 | 0.593 % | 120.66/120.73 c | 163613 | 2013 63491 208539 | 41241 16679 79 | 0.593 % | 121.76/121.89 c | 165323 | 2013 63491 208539 | 45366 18389 79 | 0.593 % | 123.76/123.88 c | 167889 | 2013 63491 208539 | 49902 20955 79 | 0.593 % | 126.05/126.11 c | 171733 | 2013 63491 208539 | 54893 24799 79 | 0.593 % | 130.96/131.03 c | 177499 | 2013 63491 208539 | 60382 30565 78 | 0.593 % | 137.06/137.13 c | 186148 | 2013 63491 208539 | 66420 39214 78 | 0.593 % | 150.26/150.33 c | 199122 | 2013 63491 208539 | 73062 52188 78 | 0.593 % | 158.36/158.45 c =============================================================================== 158.36/158.45 c New solution: 211 158.36/158.45 o 211 158.36/158.45 c Elapsed CPU time: 157.48 s Remaining CPU time: 22.5199 s 158.36/158.45 c =============================================================================== 158.36/158.45 c | 208190 | 2013 63492 208674 | 21164 61256 78 | 0.593 % | 161.25/161.30 c | 208292 | 2013 63492 208674 | 23280 12004 77 | 0.593 % | 161.35/161.40 c | 208442 | 2013 63492 208674 | 25608 12154 77 | 0.593 % | 161.45/161.54 c | 208667 | 2013 63492 208674 | 28169 12379 77 | 0.593 % | 161.65/161.79 c | 209005 | 2013 63492 208674 | 30986 12717 77 | 0.593 % | 162.05/162.14 c | 209512 | 2013 63492 208674 | 34084 13224 77 | 0.593 % | 162.55/162.62 c | 210273 | 2013 63492 208674 | 37493 13985 77 | 0.593 % | 163.05/163.17 c | 211412 | 2013 63492 208674 | 41242 15124 77 | 0.593 % | 164.04/164.12 c | 213122 | 2013 63492 208674 | 45366 16834 77 | 0.593 % | 165.35/165.43 c | 215684 | 2013 63492 208674 | 49903 19396 77 | 0.593 % | 167.54/167.64 c | 219528 | 2013 63492 208674 | 54893 23240 77 | 0.593 % | 172.55/172.67 c | 225299 | 2013 63492 208674 | 60383 29011 77 | 0.593 % | 180.74/180.81 c | 233948 | 2013 63492 208674 | 66421 37660 77 | 0.593 % | 180.94/181.08 c There are 12 assigned variables. 12 in cost function. 181.25/181.38 c core #1 181.25/181.38 c #cores: 1 181.25/181.38 c Final Weight: 211 181.25/181.38 o 211 181.25/181.38 s OPTIMUM FOUND 181.25/181.38 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.25/181.38 c Total CPU time: 180.296 s
OK -153
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655744-1276686768/watcher-2655744-1276686768 -o /tmp/evaluation-result-2655744-1276686768/solver-2655744-1276686768 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655744-1276686768.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.95 0.97 0.99 3/106 14922 /proc/meminfo: memFree=1704732/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=4916 CPUtime=0 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 370 0 0 0 0 0 0 0 18 0 1 0 9968699 5033984 288 1992294400 134512640 135751879 4290673968 18446744073709551615 134560913 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 1229 288 144 303 0 408 0 [startup+0.085437 s] /proc/loadavg: 0.95 0.97 0.99 3/106 14922 /proc/meminfo: memFree=1704732/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=5756 CPUtime=0.07 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 713 0 0 0 7 0 0 0 20 0 1 0 9968699 5894144 631 1992294400 134512640 135751879 4290673968 18446744073709551615 134559730 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 1439 631 278 303 0 618 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5756 [startup+0.100438 s] /proc/loadavg: 0.95 0.97 0.99 3/106 14922 /proc/meminfo: memFree=1704732/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=5992 CPUtime=0.09 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 785 0 0 0 9 0 0 0 20 0 1 0 9968699 6135808 703 1992294400 134512640 135751879 4290673968 18446744073709551615 134564285 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 1498 703 305 303 0 677 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5992 [startup+0.300456 s] /proc/loadavg: 0.95 0.97 0.99 3/106 14922 /proc/meminfo: memFree=1704732/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=6788 CPUtime=0.29 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 1873 0 0 0 28 1 0 0 20 0 1 0 9968699 6950912 1242 1992294400 134512640 135751879 4290673968 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 1697 1242 143 303 0 1392 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6788 [startup+0.700494 s] /proc/loadavg: 0.95 0.97 0.99 3/106 14922 /proc/meminfo: memFree=1704732/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=7328 CPUtime=0.69 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 2001 0 0 0 65 4 0 0 21 0 1 0 9968699 7503872 1370 1992294400 134512640 135751879 4290673968 18446744073709551615 134517248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 1832 1370 146 303 0 1527 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7328 [startup+1.50057 s] /proc/loadavg: 0.96 0.97 0.99 2/107 14923 /proc/meminfo: memFree=1699640/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=7592 CPUtime=1.49 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 2045 0 0 0 139 10 0 0 23 0 1 0 9968699 7774208 1414 1992294400 134512640 135751879 4290673968 18446744073709551615 134517249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 1898 1414 146 303 0 1593 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7592 [startup+3.10072 s] /proc/loadavg: 0.96 0.97 0.99 2/107 14923 /proc/meminfo: memFree=1698648/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=9976 CPUtime=3.09 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 2656 0 0 0 296 13 0 0 25 0 1 0 9968699 10215424 2025 1992294400 134512640 135751879 4290673968 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 2494 2025 147 303 0 2189 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9976 [startup+6.30201 s] /proc/loadavg: 0.96 0.97 0.99 2/107 14923 /proc/meminfo: memFree=1693812/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=13836 CPUtime=6.29 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 3624 0 0 0 614 15 0 0 25 0 1 0 9968699 14168064 2993 1992294400 134512640 135751879 4290673968 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 3459 2993 147 303 0 3154 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13836 [startup+12.7016 s] /proc/loadavg: 0.96 0.97 0.99 2/107 14923 /proc/meminfo: memFree=1687736/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=19172 CPUtime=12.68 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 4968 0 0 0 1249 19 0 0 25 0 1 0 9968699 19632128 4337 1992294400 134512640 135751879 4290673968 18446744073709551615 134606526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 4793 4337 147 303 0 4488 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19172 [startup+25.5008 s] /proc/loadavg: 0.97 0.97 0.99 2/107 14923 /proc/meminfo: memFree=1681040/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=25716 CPUtime=25.49 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 6578 0 0 0 2524 25 0 0 25 0 1 0 9968699 26333184 5947 1992294400 134512640 135751879 4290673968 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 6429 5947 147 303 0 6124 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25716 [startup+51.1012 s] /proc/loadavg: 1.05 0.99 0.99 2/107 14923 /proc/meminfo: memFree=1667524/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=39740 CPUtime=51.08 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 10055 0 0 0 5069 39 0 0 25 0 1 0 9968699 40693760 9424 1992294400 134512640 135751879 4290673968 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 9935 9424 148 303 0 9630 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39740 [startup+102.308 s] /proc/loadavg: 1.09 1.00 1.00 2/107 14925 /proc/meminfo: memFree=1638880/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=67748 CPUtime=102.27 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 17049 0 0 0 10165 62 0 0 25 0 1 0 9968699 69373952 16418 1992294400 134512640 135751879 4290673968 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 16937 16418 148 303 0 16632 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 67748 [startup+162.3 s] /proc/loadavg: 1.10 1.02 1.00 2/107 14927 /proc/meminfo: memFree=1607756/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=99148 CPUtime=162.25 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 24866 0 0 0 16131 94 0 0 25 0 1 0 9968699 101527552 24235 1992294400 134512640 135751879 4290673968 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 24787 24235 148 303 0 24482 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 99148 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.09 1.02 1.00 2/107 14927 /proc/meminfo: memFree=1604532/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=102228 CPUtime=166.25 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 25611 0 0 0 16528 97 0 0 25 0 1 0 9968699 104681472 24980 1992294400 134512640 135751879 4290673968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 25557 24980 148 303 0 25252 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 102228 [startup+172.708 s] /proc/loadavg: 1.08 1.01 1.00 2/107 14927 /proc/meminfo: memFree=1601184/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=105396 CPUtime=172.65 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 26414 0 0 0 17165 100 0 0 25 0 1 0 9968699 107925504 25783 1992294400 134512640 135751879 4290673968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 26349 25783 148 303 0 26044 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 105396 [startup+175.902 s] /proc/loadavg: 1.08 1.01 1.00 2/107 14927 /proc/meminfo: memFree=1599820/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=106744 CPUtime=175.85 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 26750 0 0 0 17484 101 0 0 25 0 1 0 9968699 109305856 26119 1992294400 134512640 135751879 4290673968 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 26686 26119 148 303 0 26381 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 106744 [startup+179.101 s] /proc/loadavg: 1.08 1.01 1.00 2/107 14927 /proc/meminfo: memFree=1598828/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=108064 CPUtime=179.05 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 27092 0 0 0 17802 103 0 0 25 0 1 0 9968699 110657536 26461 1992294400 134512640 135751879 4290673968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 27016 26461 148 303 0 26711 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 108064 [startup+180.701 s] /proc/loadavg: 1.08 1.01 1.00 2/107 14927 /proc/meminfo: memFree=1597960/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=108724 CPUtime=180.64 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 27255 0 0 0 17961 103 0 0 25 0 1 0 9968699 111333376 26624 1992294400 134512640 135751879 4290673968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 27181 26624 148 303 0 26876 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 108724 [startup+181.101 s] /proc/loadavg: 1.08 1.01 1.00 2/107 14927 /proc/meminfo: memFree=1597960/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=110260 CPUtime=181.04 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 27615 0 0 0 18001 103 0 0 25 0 1 0 9968699 112906240 26984 1992294400 134512640 135751879 4290673968 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 27565 26985 148 303 0 27260 0 Current children cumulated CPU time (s) 181.04 Current children cumulated vsize (KiB) 110260 [startup+181.301 s] /proc/loadavg: 1.08 1.01 1.00 2/107 14927 /proc/meminfo: memFree=1597960/2059040 swapFree=4187148/4192956 [pid=14922] ppid=14920 vsize=112208 CPUtime=181.25 /proc/14922/stat : 14922 (wbo1.4b) R 14920 14922 14868 0 -1 4202496 28075 0 0 0 18021 104 0 0 25 0 1 0 9968699 114900992 27444 1992294400 134512640 135751879 4290673968 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14922/statm: 28052 27444 149 303 0 27747 0 Current children cumulated CPU time (s) 181.25 Current children cumulated vsize (KiB) 112208 Child status: 0 Real time (s): 181.394 CPU time (s): 181.348 CPU user time (s): 180.296 CPU system time (s): 1.05284 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 112208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.296 system time used= 1.05284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28076 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= 62 involuntary context switches= 124 runsolver used 0.289955 second user time and 0.892864 second system time The end
Begin job on node048 at 2010-06-16 13:12:48 IDJOB=2655744 IDBENCH=71833 IDSOLVER=1161 FILE ID=node048/2655744-1276686768 PBS_JOBID= 11172602 Free space on /tmp= 62452 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-9000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655744-1276686768/watcher-2655744-1276686768 -o /tmp/evaluation-result-2655744-1276686768/solver-2655744-1276686768 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655744-1276686768.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 45bb740026f369f3965355a2a9c7d86d RANDOM SEED=1325312840 node048.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1705260 kB Buffers: 99236 kB Cached: 134276 kB SwapCached: 280 kB Active: 101044 kB Inactive: 186264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1705260 kB SwapTotal: 4192956 kB SwapFree: 4187148 kB Dirty: 4736 kB Writeback: 0 kB AnonPages: 53532 kB Mapped: 15424 kB Slab: 44700 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183152 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= 62452 MiB End job on node048 at 2010-06-16 13:15:50