Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb |
MD5SUM | 840eda79f99ca12a0c705eefe22c37b7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 144 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 144 |
Optimality of the best value was proved | NO |
Number of variables | 3296 |
Total number of constraints | 6384 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6383 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 91 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 218 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 286 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1475 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.39/0.46 c ...done 0.39/0.46 c #vars=3296 #constraints=6385 hasObjective=yes 0.49/0.56 c res. mode=mod 0.49/0.56 c VSIDS like heuristics 0.49/0.56 c complete search running 0.59/0.62 c restart after 401 decisions 0.59/0.66 c nbDecision=500 #constraints=6385 0.69/0.70 c restart after 801 decisions 0.69/0.75 c nbDecision=1000 #constraints=6385 0.79/0.82 c nbDecision=1500 #constraints=6385 0.79/0.83 c restart after 1601 decisions 0.89/0.90 c nbDecision=2000 #constraints=6385 0.89/0.96 c nbDecision=2500 #constraints=6385 1.00/1.01 c nbDecision=3000 #constraints=6385 1.00/1.03 c restart after 3201 decisions 1.00/1.09 c nbDecision=3500 #constraints=6385 1.10/1.15 c nbDecision=4000 #constraints=6385 1.19/1.20 c nbDecision=4500 #constraints=6385 1.19/1.24 c nbDecision=5000 #constraints=6385 1.19/1.27 c nbDecision=5500 #constraints=6385 1.29/1.33 c nbDecision=6000 #constraints=6386 1.29/1.37 c restart after 6401 decisions 1.39/1.41 c nbDecision=6500 #constraints=6386 1.39/1.47 c nbDecision=7000 #constraints=6386 1.49/1.52 c nbDecision=7500 #constraints=6386 1.49/1.57 c nbDecision=8000 #constraints=6386 1.59/1.60 c nbDecision=8500 #constraints=6386 1.59/1.64 c nbDecision=9000 #constraints=6387 1.59/1.68 c nbDecision=9500 #constraints=6387 1.69/1.71 c nbDecision=10000 #constraints=6388 1.69/1.74 c nbDecision=10500 #constraints=6388 1.79/1.80 c nbDecision=11000 #constraints=6389 1.79/1.85 c nbDecision=11500 #constraints=6389 1.79/1.89 c nbDecision=12000 #constraints=6389 1.89/1.92 c nbDecision=12500 #constraints=6389 1.89/1.96 c restart after 12801 decisions 1.99/2.01 c nbDecision=13000 #constraints=6390 1.99/2.07 c nbDecision=13500 #constraints=6390 2.09/2.13 c nbDecision=14000 #constraints=6390 2.09/2.17 c nbDecision=14500 #constraints=6390 2.09/2.20 c nbDecision=15000 #constraints=6390 2.19/2.26 c nbDecision=15500 #constraints=6391 2.29/2.31 c nbDecision=16000 #constraints=6391 2.29/2.36 c nbDecision=16500 #constraints=6391 2.29/2.39 c nbDecision=17000 #constraints=6391 2.39/2.44 c nbDecision=17500 #constraints=6392 2.39/2.49 c nbDecision=18000 #constraints=6392 2.49/2.53 c nbDecision=18500 #constraints=6392 2.49/2.56 c nbDecision=19000 #constraints=6392 2.59/2.62 c nbDecision=19500 #constraints=6393 2.59/2.68 c nbDecision=20000 #constraints=6393 2.69/2.72 c nbDecision=20500 #constraints=6393 2.69/2.76 c nbDecision=21000 #constraints=6393 2.79/2.80 c nbDecision=21500 #constraints=6394 2.79/2.86 c nbDecision=22000 #constraints=6394 2.89/2.90 c nbDecision=22500 #constraints=6394 2.89/2.93 c nbDecision=23000 #constraints=6394 2.89/2.98 c nbDecision=23500 #constraints=6395 2.99/3.04 c nbDecision=24000 #constraints=6395 2.99/3.09 c nbDecision=24500 #constraints=6395 3.09/3.12 c nbDecision=25000 #constraints=6395 3.09/3.17 c nbDecision=25500 #constraints=6396 3.09/3.18 c restart after 25601 decisions 3.19/3.26 c nbDecision=26000 #constraints=6396 3.29/3.31 c nbDecision=26500 #constraints=6396 3.29/3.36 c nbDecision=27000 #constraints=6396 3.39/3.40 c nbDecision=27500 #constraints=6396 3.39/3.44 c nbDecision=28000 #constraints=6397 3.39/3.50 c nbDecision=28500 #constraints=6397 3.49/3.54 c nbDecision=29000 #constraints=6397 3.49/3.58 c nbDecision=29500 #constraints=6397 3.59/3.61 c nbDecision=30000 #constraints=6397 3.59/3.68 c nbDecision=30500 #constraints=6398 3.69/3.73 c nbDecision=31000 #constraints=6398 3.69/3.77 c nbDecision=31500 #constraints=6398 3.69/3.79 c nbDecision=32000 #constraints=6398 3.79/3.85 c nbDecision=32500 #constraints=6399 3.79/3.89 c nbDecision=33000 #constraints=6399 3.89/3.92 c nbDecision=33500 #constraints=6399 3.89/3.98 c nbDecision=34000 #constraints=6400 3.99/4.02 c nbDecision=34500 #constraints=6400 3.99/4.05 c nbDecision=35000 #constraints=6400 3.99/4.10 c nbDecision=35500 #constraints=6401 4.09/4.13 c nbDecision=36000 #constraints=6401 4.09/4.17 c nbDecision=36500 #constraints=6402 4.19/4.20 c nbDecision=37000 #constraints=6402 4.19/4.24 c nbDecision=37500 #constraints=6403 4.29/4.31 c nbDecision=38000 #constraints=6403 4.29/4.36 c nbDecision=38500 #constraints=6403 4.39/4.40 c nbDecision=39000 #constraints=6403 4.39/4.43 c nbDecision=39500 #constraints=6403 4.39/4.47 c nbDecision=40000 #constraints=6404 4.49/4.51 c nbDecision=40500 #constraints=6405 4.49/4.58 c nbDecision=41000 #constraints=6405 4.59/4.63 c nbDecision=41500 #constraints=6405 4.59/4.67 c nbDecision=42000 #constraints=6405 4.69/4.70 c nbDecision=42500 #constraints=6405 4.69/4.74 c nbDecision=43000 #constraints=6406 4.69/4.78 c nbDecision=43500 #constraints=6407 4.79/4.84 c nbDecision=44000 #constraints=6407 4.79/4.89 c nbDecision=44500 #constraints=6407 4.89/4.93 c nbDecision=45000 #constraints=6407 4.89/4.96 c nbDecision=45500 #constraints=6407 4.99/5.02 c nbDecision=46000 #constraints=6408 4.99/5.08 c nbDecision=46500 #constraints=6408 5.09/5.13 c nbDecision=47000 #constraints=6408 5.09/5.16 c nbDecision=47500 #constraints=6408 5.19/5.20 c nbDecision=48000 #constraints=6409 5.19/5.26 c nbDecision=48500 #constraints=6409 5.29/5.32 c nbDecision=49000 #constraints=6409 5.29/5.36 c nbDecision=49500 #constraints=6409 5.29/5.39 c nbDecision=50000 #constraints=6409 5.39/5.45 c nbDecision=50500 #constraints=6410 5.49/5.51 c nbDecision=51000 #constraints=6410 5.49/5.53 c restart after 51201 decisions 5.49/5.60 c nbDecision=51500 #constraints=6410 5.59/5.66 c nbDecision=52000 #constraints=6410 5.69/5.71 c nbDecision=52500 #constraints=6410 5.69/5.74 c nbDecision=53000 #constraints=6410 5.69/5.77 c nbDecision=53500 #constraints=6410 5.79/5.84 c nbDecision=54000 #constraints=6411 5.79/5.89 c nbDecision=54500 #constraints=6411 5.89/5.94 c nbDecision=55000 #constraints=6411 5.89/5.97 c nbDecision=55500 #constraints=6411 5.99/6.02 c nbDecision=56000 #constraints=6412 5.99/6.08 c nbDecision=56500 #constraints=6412 6.09/6.13 c nbDecision=57000 #constraints=6412 6.09/6.16 c nbDecision=57500 #constraints=6412 6.09/6.19 c nbDecision=58000 #constraints=6412 6.19/6.26 c nbDecision=58500 #constraints=6413 6.29/6.31 c nbDecision=59000 #constraints=6413 6.29/6.35 c nbDecision=59500 #constraints=6413 6.29/6.39 c nbDecision=60000 #constraints=6413 6.39/6.44 c nbDecision=60500 #constraints=6414 6.39/6.49 c nbDecision=61000 #constraints=6414 6.49/6.54 c nbDecision=61500 #constraints=6414 6.49/6.57 c nbDecision=62000 #constraints=6414 6.59/6.62 c nbDecision=62500 #constraints=6415 6.59/6.67 c nbDecision=63000 #constraints=6415 6.69/6.72 c nbDecision=63500 #constraints=6415 6.69/6.76 c nbDecision=64000 #constraints=6415 6.69/6.80 c nbDecision=64500 #constraints=6416 6.79/6.85 c nbDecision=65000 #constraints=6416 6.89/6.90 c nbDecision=65500 #constraints=6416 6.89/6.94 c nbDecision=66000 #constraints=6416 6.89/6.98 c nbDecision=66500 #constraints=6417 6.99/7.03 c nbDecision=67000 #constraints=6417 6.99/7.08 c nbDecision=67500 #constraints=6417 7.09/7.12 c nbDecision=68000 #constraints=6417 7.09/7.15 c nbDecision=68500 #constraints=6417 7.19/7.21 c nbDecision=69000 #constraints=6418 7.19/7.26 c nbDecision=69500 #constraints=6418 7.19/7.29 c nbDecision=70000 #constraints=6418 7.29/7.34 c nbDecision=70500 #constraints=6419 7.29/7.39 c nbDecision=71000 #constraints=6419 7.39/7.44 c nbDecision=71500 #constraints=6419 7.39/7.48 c nbDecision=72000 #constraints=6419 7.48/7.53 c nbDecision=72500 #constraints=6420 7.48/7.58 c nbDecision=73000 #constraints=6420 7.59/7.63 c nbDecision=73500 #constraints=6420 7.59/7.66 c nbDecision=74000 #constraints=6420 7.69/7.71 c nbDecision=74500 #constraints=6421 7.69/7.76 c nbDecision=75000 #constraints=6421 7.78/7.80 c nbDecision=75500 #constraints=6421 7.78/7.83 c nbDecision=76000 #constraints=6421 7.88/7.90 c nbDecision=76500 #constraints=6422 7.88/7.94 c nbDecision=77000 #constraints=6422 7.88/7.97 c nbDecision=77500 #constraints=6422 7.98/8.04 c nbDecision=78000 #constraints=6423 7.98/8.08 c nbDecision=78500 #constraints=6423 8.08/8.11 c nbDecision=79000 #constraints=6423 8.08/8.18 c nbDecision=79500 #constraints=6424 8.18/8.22 c nbDecision=80000 #constraints=6424 8.18/8.26 c nbDecision=80500 #constraints=6424 8.18/8.29 c nbDecision=81000 #constraints=6425 8.28/8.33 c nbDecision=81500 #constraints=6425 8.28/8.37 c nbDecision=82000 #constraints=6426 8.38/8.40 c nbDecision=82500 #constraints=6426 8.38/8.43 c nbDecision=83000 #constraints=6426 8.38/8.47 c nbDecision=83500 #constraints=6427 8.48/8.50 c nbDecision=84000 #constraints=6428 8.48/8.54 c nbDecision=84500 #constraints=6429 8.48/8.57 c nbDecision=85000 #constraints=6429 8.58/8.60 c nbDecision=85500 #constraints=6429 8.58/8.68 c nbDecision=86000 #constraints=6430 8.69/8.74 c nbDecision=86500 #constraints=6430 8.69/8.78 c nbDecision=87000 #constraints=6430 8.79/8.82 c nbDecision=87500 #constraints=6430 8.79/8.87 c nbDecision=88000 #constraints=6431 8.88/8.93 c nbDecision=88500 #constraints=6431 8.88/8.98 c nbDecision=89000 #constraints=6431 8.98/9.02 c nbDecision=89500 #constraints=6431 8.98/9.05 c nbDecision=90000 #constraints=6431 9.08/9.12 c nbDecision=90500 #constraints=6432 9.08/9.18 c nbDecision=91000 #constraints=6432 9.18/9.23 c nbDecision=91500 #constraints=6432 9.18/9.26 c nbDecision=92000 #constraints=6432 9.18/9.29 c nbDecision=92500 #constraints=6432 9.28/9.36 c nbDecision=93000 #constraints=6433 9.38/9.42 c nbDecision=93500 #constraints=6433 9.38/9.46 c nbDecision=94000 #constraints=6433 9.48/9.50 c nbDecision=94500 #constraints=6433 9.48/9.55 c nbDecision=95000 #constraints=6434 9.58/9.61 c nbDecision=95500 #constraints=6434 9.58/9.66 c nbDecision=96000 #constraints=6434 9.68/9.70 c nbDecision=96500 #constraints=6434 9.68/9.74 c nbDecision=97000 #constraints=6434 9.68/9.77 c nbDecision=97500 #constraints=6435 9.79/9.82 c nbDecision=98000 #constraints=6436 9.79/9.88 c nbDecision=98500 #constraints=6436 9.89/9.93 c nbDecision=99000 #constraints=6436 9.89/9.97 c nbDecision=99500 #constraints=6436 9.98/10.01 c nbDecision=100000 #constraints=6436 9.98/10.08 c nbDecision=100500 #constraints=6439 10.08/10.14 c nbDecision=101000 #constraints=6439 10.08/10.19 c nbDecision=101500 #constraints=6439 10.18/10.23 c nbDecision=102000 #constraints=6439 10.18/10.25 c restart after 102401 decisions 10.18/10.29 c nbDecision=102500 #constraints=6439 10.28/10.36 c nbDecision=103000 #constraints=6439 10.38/10.41 c nbDecision=103500 #constraints=6439 10.38/10.45 c nbDecision=104000 #constraints=6439 10.38/10.49 c nbDecision=104500 #constraints=6439 10.48/10.54 c nbDecision=105000 #constraints=6440 10.58/10.60 c nbDecision=105500 #constraints=6440 10.58/10.65 c nbDecision=106000 #constraints=6440 10.58/10.69 c nbDecision=106500 #constraints=6440 10.68/10.72 c nbDecision=107000 #constraints=6440 10.68/10.78 c nbDecision=107500 #constraints=6441 10.78/10.84 c nbDecision=108000 #constraints=6441 10.78/10.88 c nbDecision=108500 #constraints=6441 10.89/10.92 c nbDecision=109000 #constraints=6441 10.89/10.96 c nbDecision=109500 #constraints=6442 10.99/11.02 c nbDecision=110000 #constraints=6442 10.99/11.07 c nbDecision=110500 #constraints=6442 11.08/11.12 c nbDecision=111000 #constraints=6442 11.08/11.15 c nbDecision=111500 #constraints=6442 11.18/11.20 c nbDecision=112000 #constraints=6443 11.18/11.26 c nbDecision=112500 #constraints=6443 11.28/11.31 c nbDecision=113000 #constraints=6443 11.28/11.35 c nbDecision=113500 #constraints=6443 11.28/11.38 c nbDecision=114000 #constraints=6443 11.38/11.45 c nbDecision=114500 #constraints=6444 11.48/11.50 c nbDecision=115000 #constraints=6444 11.48/11.54 c nbDecision=115500 #constraints=6444 11.48/11.58 c nbDecision=116000 #constraints=6444 11.58/11.62 c nbDecision=116500 #constraints=6445 11.58/11.69 c nbDecision=117000 #constraints=6445 11.68/11.74 c nbDecision=117500 #constraints=6445 11.68/11.78 c nbDecision=118000 #constraints=6445 11.78/11.81 c nbDecision=118500 #constraints=6445 11.78/11.87 c nbDecision=119000 #constraints=6446 11.88/11.92 c nbDecision=119500 #constraints=6446 11.88/11.97 c nbDecision=120000 #constraints=6446 11.99/12.01 c nbDecision=120500 #constraints=6446 11.99/12.06 c nbDecision=121000 #constraints=6448 12.09/12.12 c nbDecision=121500 #constraints=6448 12.09/12.17 c nbDecision=122000 #constraints=6448 12.18/12.21 c nbDecision=122500 #constraints=6448 12.18/12.24 c nbDecision=123000 #constraints=6448 12.28/12.32 c nbDecision=123500 #constraints=6449 12.28/12.37 c nbDecision=124000 #constraints=6449 12.38/12.42 c nbDecision=124500 #constraints=6449 12.38/12.45 c nbDecision=125000 #constraints=6449 12.48/12.51 c nbDecision=125500 #constraints=6450 12.48/12.57 c nbDecision=126000 #constraints=6450 12.58/12.61 c nbDecision=126500 #constraints=6450 12.58/12.65 c nbDecision=127000 #constraints=6450 12.68/12.73 c nbDecision=127500 #constraints=6452 12.68/12.79 c nbDecision=128000 #constraints=6452 12.78/12.84 c nbDecision=128500 #constraints=6452 12.78/12.88 c nbDecision=129000 #constraints=6452 12.88/12.91 c nbDecision=129500 #constraints=6452 12.88/12.97 c nbDecision=130000 #constraints=6453 12.98/13.03 c nbDecision=130500 #constraints=6453 12.98/13.07 c nbDecision=131000 #constraints=6453 13.09/13.10 c nbDecision=131500 #constraints=6453 13.09/13.17 c nbDecision=132000 #constraints=6454 13.19/13.22 c nbDecision=132500 #constraints=6454 13.19/13.26 c nbDecision=133000 #constraints=6454 13.19/13.29 c nbDecision=133500 #constraints=6454 13.28/13.35 c nbDecision=134000 #constraints=6455 13.38/13.41 c nbDecision=134500 #constraints=6455 13.38/13.45 c nbDecision=135000 #constraints=6455 13.38/13.49 c nbDecision=135500 #constraints=6455 13.48/13.54 c nbDecision=136000 #constraints=6456 13.48/13.60 c nbDecision=136500 #constraints=6456 13.58/13.64 c nbDecision=137000 #constraints=6456 13.58/13.68 c nbDecision=137500 #constraints=6456 13.68/13.74 c nbDecision=138000 #constraints=6457 13.68/13.79 c nbDecision=138500 #constraints=6457 13.78/13.83 c nbDecision=139000 #constraints=6457 13.78/13.86 c nbDecision=139500 #constraints=6457 13.88/13.93 c nbDecision=140000 #constraints=6458 13.88/13.98 c nbDecision=140500 #constraints=6458 13.98/14.02 c nbDecision=141000 #constraints=6458 13.98/14.05 c nbDecision=141500 #constraints=6458 14.08/14.12 c nbDecision=142000 #constraints=6459 14.08/14.17 c nbDecision=142500 #constraints=6459 14.19/14.21 c nbDecision=143000 #constraints=6459 14.19/14.23 c nbDecision=143500 #constraints=6459 14.29/14.31 c nbDecision=144000 #constraints=6460 14.29/14.35 c nbDecision=144500 #constraints=6460 14.29/14.38 c nbDecision=145000 #constraints=6460 14.38/14.46 c nbDecision=145500 #constraints=6461 14.38/14.50 c nbDecision=146000 #constraints=6461 14.48/14.53 c nbDecision=146500 #constraints=6461 14.48/14.59 c nbDecision=147000 #constraints=6462 14.58/14.64 c nbDecision=147500 #constraints=6462 14.58/14.68 c nbDecision=148000 #constraints=6462 14.68/14.72 c nbDecision=148500 #constraints=6463 14.68/14.76 c nbDecision=149000 #constraints=6463 14.68/14.79 c nbDecision=149500 #constraints=6463 14.78/14.83 c nbDecision=150000 #constraints=6464 14.78/14.87 c nbDecision=150500 #constraints=6464 14.88/14.93 c nbDecision=151000 #constraints=6466 14.88/14.97 c nbDecision=151500 #constraints=6467 14.98/15.01 c nbDecision=152000 #constraints=6467 14.98/15.04 c nbDecision=152500 #constraints=6467 14.98/15.09 c nbDecision=153000 #constraints=6468 15.08/15.13 c nbDecision=153500 #constraints=6468 15.08/15.16 c nbDecision=154000 #constraints=6468 15.18/15.22 c nbDecision=154500 #constraints=6469 15.18/15.25 c nbDecision=155000 #constraints=6469 15.29/15.31 c nbDecision=155500 #constraints=6470 15.29/15.37 c nbDecision=156000 #constraints=6470 15.39/15.42 c nbDecision=156500 #constraints=6470 15.39/15.46 c nbDecision=157000 #constraints=6470 15.39/15.49 c nbDecision=157500 #constraints=6470 15.48/15.53 c nbDecision=158000 #constraints=6471 15.48/15.57 c nbDecision=158500 #constraints=6472 15.58/15.69 c nbDecision=159000 #constraints=6483 15.68/15.75 c nbDecision=159500 #constraints=6483 15.78/15.80 c nbDecision=160000 #constraints=6483 15.78/15.84 c nbDecision=160500 #constraints=6483 15.78/15.88 c nbDecision=161000 #constraints=6483 15.88/15.97 c nbDecision=161500 #constraints=6487 15.98/16.03 c nbDecision=162000 #constraints=6487 15.98/16.08 c nbDecision=162500 #constraints=6487 16.08/16.12 c nbDecision=163000 #constraints=6487 16.08/16.15 c nbDecision=163500 #constraints=6487 16.08/16.19 c nbDecision=164000 #constraints=6488 16.18/16.25 c nbDecision=164500 #constraints=6489 16.28/16.31 c nbDecision=165000 #constraints=6489 16.28/16.36 c nbDecision=165500 #constraints=6489 16.28/16.39 c nbDecision=166000 #constraints=6489 16.39/16.42 c nbDecision=166500 #constraints=6489 16.78/16.81 c nbDecision=167000 #constraints=6508 16.78/16.84 c nbDecision=167500 #constraints=6508 16.88/16.91 c nbDecision=168000 #constraints=6510 16.88/16.94 c nbDecision=168500 #constraints=6510 16.98/17.00 c nbDecision=169000 #constraints=6512 16.98/17.04 c nbDecision=169500 #constraints=6512 16.98/17.07 c nbDecision=170000 #constraints=6512 17.08/17.12 c nbDecision=170500 #constraints=6514 17.08/17.18 c nbDecision=171000 #constraints=6515 17.18/17.24 c nbDecision=171500 #constraints=6515 17.18/17.29 c nbDecision=172000 #constraints=6515 17.28/17.33 c nbDecision=172500 #constraints=6515 17.28/17.36 c nbDecision=173000 #constraints=6515 17.38/17.43 c nbDecision=173500 #constraints=6516 17.38/17.49 c nbDecision=174000 #constraints=6516 17.49/17.53 c nbDecision=174500 #constraints=6516 17.49/17.57 c nbDecision=175000 #constraints=6516 17.59/17.62 c nbDecision=175500 #constraints=6518 17.59/17.65 c nbDecision=176000 #constraints=6518 17.59/17.70 c nbDecision=176500 #constraints=6519 17.78/17.81 c nbDecision=177000 #constraints=6523 17.78/17.87 c nbDecision=177500 #constraints=6523 17.88/17.92 c nbDecision=178000 #constraints=6523 17.88/17.95 c nbDecision=178500 #constraints=6523 17.88/17.98 c nbDecision=179000 #constraints=6523 17.98/18.06 c nbDecision=179500 #constraints=6524 18.08/18.11 c nbDecision=180000 #constraints=6524 18.08/18.16 c nbDecision=180500 #constraints=6524 18.08/18.19 c nbDecision=181000 #constraints=6524 18.18/18.27 c nbDecision=181500 #constraints=6526 18.28/18.33 c nbDecision=182000 #constraints=6526 18.28/18.39 c nbDecision=182500 #constraints=6526 18.38/18.43 c nbDecision=183000 #constraints=6526 18.38/18.46 c nbDecision=183500 #constraints=6526 18.48/18.54 c nbDecision=184000 #constraints=6529 18.59/18.60 c nbDecision=184500 #constraints=6529 18.59/18.65 c nbDecision=185000 #constraints=6529 18.59/18.68 c nbDecision=185500 #constraints=6529 18.69/18.71 c nbDecision=186000 #constraints=6529 18.69/18.78 c nbDecision=186500 #constraints=6530 18.78/18.83 c nbDecision=187000 #constraints=6530 18.78/18.88 c nbDecision=187500 #constraints=6530 18.88/18.91 c nbDecision=188000 #constraints=6530 18.98/19.01 c nbDecision=188500 #constraints=6534 18.98/19.05 c nbDecision=189000 #constraints=6534 18.98/19.09 c nbDecision=189500 #constraints=6534 19.08/19.12 c nbDecision=190000 #constraints=6534 19.18/19.21 c nbDecision=190500 #constraints=6536 19.18/19.26 c nbDecision=191000 #constraints=6536 19.28/19.31 c nbDecision=191500 #constraints=6536 19.28/19.34 c nbDecision=192000 #constraints=6536 19.28/19.39 c nbDecision=192500 #constraints=6537 19.38/19.46 c nbDecision=193000 #constraints=6537 19.48/19.51 c nbDecision=193500 #constraints=6537 19.48/19.55 c nbDecision=194000 #constraints=6537 19.48/19.58 c nbDecision=194500 #constraints=6537 19.58/19.64 c nbDecision=195000 #constraints=6538 19.58/19.70 c nbDecision=195500 #constraints=6538 19.69/19.75 c nbDecision=196000 #constraints=6538 19.69/19.78 c nbDecision=196500 #constraints=6538 19.79/19.83 c nbDecision=197000 #constraints=6539 19.88/19.90 c nbDecision=197500 #constraints=6540 19.88/19.96 c nbDecision=198000 #constraints=6540 19.98/20.00 c nbDecision=198500 #constraints=6540 19.98/20.03 c nbDecision=199000 #constraints=6540 19.98/20.09 c nbDecision=199500 #constraints=6541 20.09/20.15 c nbDecision=200000 #constraints=6541 20.19/20.20 c nbDecision=200500 #constraints=6541 20.19/20.24 c nbDecision=201000 #constraints=6541 20.19/20.27 c nbDecision=201500 #constraints=6541 20.29/20.35 c nbDecision=202000 #constraints=6543 20.39/20.40 c nbDecision=202500 #constraints=6543 20.39/20.45 c nbDecision=203000 #constraints=6543 20.39/20.49 c nbDecision=203500 #constraints=6543 20.49/20.53 c nbDecision=204000 #constraints=6544 20.49/20.59 c nbDecision=204500 #constraints=6544 20.59/20.63 c restart after 204801 decisions 20.59/20.68 c nbDecision=205000 #constraints=6544 20.69/20.74 c nbDecision=205500 #constraints=6544 20.69/20.79 c nbDecision=206000 #constraints=6544 20.79/20.83 c nbDecision=206500 #constraints=6544 20.79/20.86 c nbDecision=207000 #constraints=6544 20.89/20.94 c nbDecision=207500 #constraints=6546 20.89/21.00 c nbDecision=208000 #constraints=6546 20.99/21.04 c nbDecision=208500 #constraints=6546 20.99/21.08 c nbDecision=209000 #constraints=6546 21.09/21.11 c nbDecision=209500 #constraints=6546 21.09/21.19 c nbDecision=210000 #constraints=6547 21.19/21.24 c nbDecision=210500 #constraints=6547 21.19/21.28 c nbDecision=211000 #constraints=6547 21.29/21.31 c nbDecision=211500 #constraints=6547 21.39/21.40 c nbDecision=212000 #constraints=6551 21.39/21.46 c nbDecision=212500 #constraints=6551 21.49/21.51 c nbDecision=213000 #constraints=6551 21.49/21.55 c nbDecision=213500 #constraints=6551 21.49/21.58 c nbDecision=214000 #constraints=6551 21.59/21.65 c nbDecision=214500 #constraints=6553 21.69/21.71 c nbDecision=215000 #constraints=6553 21.69/21.75 c nbDecision=215500 #constraints=6553 21.69/21.79 c nbDecision=216000 #constraints=6553 22.09/22.14 c nbDecision=216500 #constraints=6573 22.09/22.19 c nbDecision=217000 #constraints=6574 22.19/22.22 c nbDecision=217500 #constraints=6574 22.19/22.29 c nbDecision=218000 #constraints=6575 22.29/22.34 c nbDecision=218500 #constraints=6575 22.29/22.39 c nbDecision=219000 #constraints=6575 22.39/22.43 c nbDecision=219500 #constraints=6575 22.39/22.45 c nbDecision=220000 #constraints=6575 22.49/22.52 c nbDecision=220500 #constraints=6576 22.49/22.55 c nbDecision=221000 #constraints=6576 22.58/22.67 c nbDecision=221500 #constraints=6581 22.68/22.70 c nbDecision=222000 #constraints=6581 22.68/22.75 c nbDecision=222500 #constraints=6582 22.68/22.79 c nbDecision=223000 #constraints=6582 22.78/22.82 c nbDecision=223500 #constraints=6582 22.78/22.89 c nbDecision=224000 #constraints=6585 22.88/22.95 c nbDecision=224500 #constraints=6586 22.99/23.01 c nbDecision=225000 #constraints=6586 22.99/23.06 c nbDecision=225500 #constraints=6586 22.99/23.10 c nbDecision=226000 #constraints=6586 23.09/23.12 c nbDecision=226500 #constraints=6586 23.09/23.17 c nbDecision=227000 #constraints=6587 23.18/23.23 c nbDecision=227500 #constraints=6588 23.18/23.28 c nbDecision=228000 #constraints=6589 23.28/23.30 c nbDecision=228500 #constraints=6589 23.38/23.42 c nbDecision=229000 #constraints=6592 23.38/23.47 c nbDecision=229500 #constraints=6592 23.48/23.52 c nbDecision=230000 #constraints=6592 23.48/23.55 c nbDecision=230500 #constraints=6592 23.58/23.60 c nbDecision=231000 #constraints=6593 23.58/23.66 c nbDecision=231500 #constraints=6593 23.68/23.71 c nbDecision=232000 #constraints=6593 23.68/23.75 c nbDecision=232500 #constraints=6593 23.68/23.78 c nbDecision=233000 #constraints=6593 23.78/23.85 c nbDecision=233500 #constraints=6594 23.88/23.90 c nbDecision=234000 #constraints=6594 23.88/23.95 c nbDecision=234500 #constraints=6594 23.88/23.98 c nbDecision=235000 #constraints=6594 23.98/24.02 c nbDecision=235500 #constraints=6594 24.09/24.11 c nbDecision=236000 #constraints=6597 24.09/24.16 c nbDecision=236500 #constraints=6597 24.19/24.20 c nbDecision=237000 #constraints=6597 24.19/24.23 c nbDecision=237500 #constraints=6597 24.19/24.29 c nbDecision=238000 #constraints=6598 24.29/24.35 c nbDecision=238500 #constraints=6598 24.29/24.40 c nbDecision=239000 #constraints=6598 24.39/24.44 c nbDecision=239500 #constraints=6598 24.39/24.46 c nbDecision=240000 #constraints=6598 24.49/24.53 c nbDecision=240500 #constraints=6599 24.49/24.59 c nbDecision=241000 #constraints=6599 24.58/24.63 c nbDecision=241500 #constraints=6599 24.58/24.67 c nbDecision=242000 #constraints=6599 24.68/24.72 c nbDecision=242500 #constraints=6600 24.68/24.78 c nbDecision=243000 #constraints=6600 24.78/24.83 c nbDecision=243500 #constraints=6600 24.78/24.87 c nbDecision=244000 #constraints=6600 24.88/24.90 c nbDecision=244500 #constraints=6600 24.88/24.96 c nbDecision=245000 #constraints=6601 24.98/25.02 c nbDecision=245500 #constraints=6601 24.98/25.06 c nbDecision=246000 #constraints=6601 25.08/25.10 c nbDecision=246500 #constraints=6601 25.08/25.13 c nbDecision=247000 #constraints=6601 25.19/25.26 c nbDecision=247500 #constraints=6606 25.29/25.31 c nbDecision=248000 #constraints=6606 25.29/25.35 c nbDecision=248500 #constraints=6606 25.29/25.39 c nbDecision=249000 #constraints=6606 25.38/25.44 c nbDecision=249500 #constraints=6607 25.48/25.50 c nbDecision=250000 #constraints=6607 25.48/25.55 c nbDecision=250500 #constraints=6607 25.48/25.58 c nbDecision=251000 #constraints=6607 25.58/25.61 c nbDecision=251500 #constraints=6607 25.58/25.69 c nbDecision=252000 #constraints=6608 25.68/25.75 c nbDecision=252500 #constraints=6608 25.68/25.79 c nbDecision=253000 #constraints=6608 25.78/25.83 c nbDecision=253500 #constraints=6608 25.78/25.89 c nbDecision=254000 #constraints=6610 25.88/25.95 c nbDecision=254500 #constraints=6610 25.98/26.00 c nbDecision=255000 #constraints=6610 25.98/26.04 c nbDecision=255500 #constraints=6610 25.98/26.06 c nbDecision=256000 #constraints=6610 26.08/26.14 c nbDecision=256500 #constraints=6611 26.08/26.19 c nbDecision=257000 #constraints=6611 26.18/26.23 c nbDecision=257500 #constraints=6611 26.18/26.27 c nbDecision=258000 #constraints=6611 26.28/26.31 c nbDecision=258500 #constraints=6612 26.28/26.37 c nbDecision=259000 #constraints=6612 26.38/26.42 c nbDecision=259500 #constraints=6612 26.38/26.46 c nbDecision=260000 #constraints=6612 26.38/26.49 c nbDecision=260500 #constraints=6612 26.48/26.58 c nbDecision=261000 #constraints=6616 26.58/26.64 c nbDecision=261500 #constraints=6616 26.58/26.68 c nbDecision=262000 #constraints=6616 26.68/26.72 c nbDecision=262500 #constraints=6616 26.68/26.76 c nbDecision=263000 #constraints=6617 26.78/26.82 c nbDecision=263500 #constraints=6617 26.78/26.87 c nbDecision=264000 #constraints=6617 26.88/26.91 c nbDecision=264500 #constraints=6617 26.88/26.95 c nbDecision=265000 #constraints=6617 26.98/27.03 c nbDecision=265500 #constraints=6620 26.98/27.09 c nbDecision=266000 #constraints=6620 27.08/27.13 c nbDecision=266500 #constraints=6620 27.08/27.17 c nbDecision=267000 #constraints=6620 27.18/27.20 c nbDecision=267500 #constraints=6620 27.18/27.27 c nbDecision=268000 #constraints=6621 27.28/27.32 c nbDecision=268500 #constraints=6621 27.28/27.37 c nbDecision=269000 #constraints=6621 27.28/27.40 c nbDecision=269500 #constraints=6621 27.48/27.55 c nbDecision=270000 #constraints=6630 27.58/27.61 c nbDecision=270500 #constraints=6631 27.58/27.63 c nbDecision=271000 #constraints=6631 27.68/27.70 c nbDecision=271500 #constraints=6633 27.68/27.74 c nbDecision=272000 #constraints=6633 27.68/27.79 c nbDecision=272500 #constraints=6635 27.78/27.83 c nbDecision=273000 #constraints=6635 27.78/27.85 c nbDecision=273500 #constraints=6635 27.88/27.91 c nbDecision=274000 #constraints=6636 27.88/27.94 c nbDecision=274500 #constraints=6636 27.98/28.01 c nbDecision=275000 #constraints=6637 27.98/28.06 c nbDecision=275500 #constraints=6637 28.08/28.11 c nbDecision=276000 #constraints=6637 28.08/28.15 c nbDecision=276500 #constraints=6637 28.08/28.18 c nbDecision=277000 #constraints=6637 28.18/28.23 c nbDecision=277500 #constraints=6638 28.18/28.28 c nbDecision=278000 #constraints=6639 28.28/28.31 c nbDecision=278500 #constraints=6639 28.28/28.39 c nbDecision=279000 #constraints=6640 28.38/28.44 c nbDecision=279500 #constraints=6640 28.38/28.48 c nbDecision=280000 #constraints=6640 28.48/28.51 c nbDecision=280500 #constraints=6640 28.58/28.61 c nbDecision=281000 #constraints=6644 28.58/28.64 c nbDecision=281500 #constraints=6644 28.68/28.75 c nbDecision=282000 #constraints=6655 28.88/28.92 c nbDecision=282500 #constraints=6668 28.98/29.05 c nbDecision=283000 #constraints=6678 29.08/29.14 c nbDecision=283500 #constraints=6685 29.18/29.22 c nbDecision=284000 #constraints=6693 29.28/29.31 c nbDecision=284500 #constraints=6699 29.48/29.50 c nbDecision=285000 #constraints=6708 29.48/29.59 c nbDecision=285500 #constraints=6713 29.58/29.68 c nbDecision=286000 #constraints=6719 29.68/29.78 c nbDecision=286500 #constraints=6725 29.78/29.86 c nbDecision=287000 #constraints=6729 29.88/29.92 c nbDecision=287500 #constraints=6734 29.98/30.03 c nbDecision=288000 #constraints=6741 30.08/30.11 c nbDecision=288500 #constraints=6745 30.18/30.20 c nbDecision=289000 #constraints=6749 30.18/30.28 c nbDecision=289500 #constraints=6753 30.28/30.35 c nbDecision=290000 #constraints=6757 30.38/30.42 c nbDecision=290500 #constraints=6760 30.38/30.49 c nbDecision=291000 #constraints=6764 30.48/30.55 c nbDecision=291500 #constraints=6768 30.48/30.59 c nbDecision=292000 #constraints=6771 30.59/30.65 c nbDecision=292500 #constraints=6775 30.69/30.73 c nbDecision=293000 #constraints=6778 30.79/30.82 c nbDecision=293500 #constraints=6781 30.89/30.90 c nbDecision=294000 #constraints=6784 30.89/30.96 c nbDecision=294500 #constraints=6786 30.98/31.02 c nbDecision=295000 #constraints=6789 30.98/31.09 c nbDecision=295500 #constraints=6792 31.08/31.15 c nbDecision=296000 #constraints=6795 31.18/31.21 c nbDecision=296500 #constraints=6798 31.18/31.27 c nbDecision=297000 #constraints=6801 31.28/31.33 c nbDecision=297500 #constraints=6804 31.28/31.38 c nbDecision=298000 #constraints=6807 31.38/31.42 c nbDecision=298500 #constraints=6807 31.38/31.45 c nbDecision=299000 #constraints=6807 31.38/31.49 c nbDecision=299500 #constraints=6808 31.48/31.53 c nbDecision=300000 #constraints=6808 31.48/31.56 c nbDecision=300500 #constraints=6808 31.58/31.60 c nbDecision=301000 #constraints=6809 31.58/31.63 c nbDecision=301500 #constraints=6809 31.58/31.69 c nbDecision=302000 #constraints=6811 31.68/31.73 c nbDecision=302500 #constraints=6811 31.68/31.76 c nbDecision=303000 #constraints=6811 31.68/31.80 c nbDecision=303500 #constraints=6812 31.79/31.84 c nbDecision=304000 #constraints=6812 31.79/31.86 c nbDecision=304500 #constraints=6812 31.89/31.91 c nbDecision=305000 #constraints=6814 31.89/31.95 c nbDecision=305500 #constraints=6814 31.89/31.98 c nbDecision=306000 #constraints=6814 31.98/32.02 c nbDecision=306500 #constraints=6816 31.98/32.06 c nbDecision=307000 #constraints=6816 31.98/32.08 c nbDecision=307500 #constraints=6816 32.08/32.13 c nbDecision=308000 #constraints=6817 32.08/32.16 c nbDecision=308500 #constraints=6817 32.08/32.19 c nbDecision=309000 #constraints=6817 32.18/32.24 c nbDecision=309500 #constraints=6818 32.18/32.27 c nbDecision=310000 #constraints=6818 32.28/32.31 c nbDecision=310500 #constraints=6819 32.28/32.35 c nbDecision=311000 #constraints=6819 32.28/32.38 c nbDecision=311500 #constraints=6819 32.38/32.42 c nbDecision=312000 #constraints=6820 32.38/32.47 c nbDecision=312500 #constraints=6821 32.48/32.50 c nbDecision=313000 #constraints=6821 32.48/32.56 c nbDecision=313500 #constraints=6823 32.58/32.60 c nbDecision=314000 #constraints=6824 32.58/32.63 c nbDecision=314500 #constraints=6824 32.58/32.66 c nbDecision=315000 #constraints=6824 32.68/32.71 c nbDecision=315500 #constraints=6825 32.68/32.74 c nbDecision=316000 #constraints=6825 32.68/32.77 c nbDecision=316500 #constraints=6826 32.78/32.81 c nbDecision=317000 #constraints=6826 32.78/32.84 c nbDecision=317500 #constraints=6826 32.89/32.91 c nbDecision=318000 #constraints=6827 32.89/32.97 c nbDecision=318500 #constraints=6827 32.99/33.01 c nbDecision=319000 #constraints=6827 32.99/33.05 c nbDecision=319500 #constraints=6827 32.99/33.08 c nbDecision=320000 #constraints=6827 33.08/33.13 c nbDecision=320500 #constraints=6828 33.08/33.16 c nbDecision=321000 #constraints=6828 33.08/33.19 c nbDecision=321500 #constraints=6828 33.18/33.24 c nbDecision=322000 #constraints=6829 33.18/33.27 c nbDecision=322500 #constraints=6829 33.28/33.34 c nbDecision=323000 #constraints=6830 33.28/33.39 c nbDecision=323500 #constraints=6830 33.38/33.44 c nbDecision=324000 #constraints=6830 33.38/33.47 c nbDecision=324500 #constraints=6830 33.48/33.51 c nbDecision=325000 #constraints=6831 33.48/33.57 c nbDecision=325500 #constraints=6831 33.58/33.62 c nbDecision=326000 #constraints=6831 33.58/33.66 c nbDecision=326500 #constraints=6831 33.58/33.69 c nbDecision=327000 #constraints=6831 33.68/33.73 c nbDecision=327500 #constraints=6832 33.68/33.78 c nbDecision=328000 #constraints=6834 33.78/33.82 c nbDecision=328500 #constraints=6834 33.78/33.85 c nbDecision=329000 #constraints=6834 33.88/33.91 c nbDecision=329500 #constraints=6836 33.88/33.95 c nbDecision=330000 #constraints=6836 33.88/33.98 c nbDecision=330500 #constraints=6836 33.98/34.03 c nbDecision=331000 #constraints=6837 33.98/34.06 c nbDecision=331500 #constraints=6837 34.08/34.10 c nbDecision=332000 #constraints=6838 34.08/34.15 c nbDecision=332500 #constraints=6839 34.08/34.18 c nbDecision=333000 #constraints=6839 34.18/34.21 c nbDecision=333500 #constraints=6839 34.18/34.26 c nbDecision=334000 #constraints=6841 34.28/34.32 c nbDecision=334500 #constraints=6844 34.28/34.37 c nbDecision=335000 #constraints=6844 34.38/34.40 c nbDecision=335500 #constraints=6844 34.38/34.46 c nbDecision=336000 #constraints=6845 34.48/34.52 c nbDecision=336500 #constraints=6845 34.48/34.56 c nbDecision=337000 #constraints=6845 34.58/34.60 c nbDecision=337500 #constraints=6845 34.58/34.63 c nbDecision=338000 #constraints=6845 34.58/34.68 c nbDecision=338500 #constraints=6847 34.78/34.80 c nbDecision=339000 #constraints=6852 34.78/34.84 c nbDecision=339500 #constraints=6854 34.78/34.89 c nbDecision=340000 #constraints=6857 34.88/34.93 c nbDecision=340500 #constraints=6859 34.88/34.99 c nbDecision=341000 #constraints=6862 34.98/35.04 c nbDecision=341500 #constraints=6865 34.98/35.08 c nbDecision=342000 #constraints=6867 35.08/35.13 c nbDecision=342500 #constraints=6870 35.08/35.18 c nbDecision=343000 #constraints=6871 35.18/35.21 c nbDecision=343500 #constraints=6871 35.18/35.24 c nbDecision=344000 #constraints=6872 35.18/35.28 c nbDecision=344500 #constraints=6872 35.28/35.31 c nbDecision=345000 #constraints=6872 35.28/35.38 c nbDecision=345500 #constraints=6873 35.38/35.43 c nbDecision=346000 #constraints=6873 35.38/35.48 c nbDecision=346500 #constraints=6873 35.48/35.51 c nbDecision=347000 #constraints=6873 35.48/35.54 c nbDecision=347500 #constraints=6873 35.48/35.58 c nbDecision=348000 #constraints=6875 35.58/35.61 c nbDecision=348500 #constraints=6875 35.58/35.65 c nbDecision=349000 #constraints=6875 35.58/35.69 c nbDecision=349500 #constraints=6876 35.68/35.72 c nbDecision=350000 #constraints=6876 35.68/35.75 c nbDecision=350500 #constraints=6876 35.78/35.81 c nbDecision=351000 #constraints=6878 35.78/35.85 c nbDecision=351500 #constraints=6878 35.78/35.87 c nbDecision=352000 #constraints=6878 35.88/35.94 c nbDecision=352500 #constraints=6881 35.88/35.98 c nbDecision=353000 #constraints=6882 36.18/36.24 c nbDecision=353500 #constraints=6894 36.18/36.30 c nbDecision=354000 #constraints=6894 36.28/36.35 c nbDecision=354500 #constraints=6894 36.28/36.39 c nbDecision=355000 #constraints=6894 36.38/36.42 c nbDecision=355500 #constraints=6894 36.38/36.46 c nbDecision=356000 #constraints=6895 36.48/36.50 c nbDecision=356500 #constraints=6897 36.48/36.55 c nbDecision=357000 #constraints=6899 36.48/36.60 c nbDecision=357500 #constraints=6901 36.58/36.63 c nbDecision=358000 #constraints=6901 36.58/36.66 c nbDecision=358500 #constraints=6903 36.58/36.69 c nbDecision=359000 #constraints=6903 36.68/36.73 c nbDecision=359500 #constraints=6904 36.68/36.75 c nbDecision=360000 #constraints=6904 36.68/36.79 c nbDecision=360500 #constraints=6905 36.78/36.82 c nbDecision=361000 #constraints=6905 36.78/36.86 c nbDecision=361500 #constraints=6906 36.88/36.91 c nbDecision=362000 #constraints=6907 36.88/36.96 c nbDecision=362500 #constraints=6907 36.88/37.00 c nbDecision=363000 #constraints=6907 36.98/37.02 c nbDecision=363500 #constraints=6907 36.98/37.06 c nbDecision=364000 #constraints=6908 36.98/37.09 c nbDecision=364500 #constraints=6908 37.08/37.13 c nbDecision=365000 #constraints=6909 37.08/37.16 c nbDecision=365500 #constraints=6909 37.08/37.19 c nbDecision=366000 #constraints=6910 37.18/37.22 c nbDecision=366500 #constraints=6910 37.18/37.26 c nbDecision=367000 #constraints=6911 37.28/37.32 c nbDecision=367500 #constraints=6912 37.28/37.37 c nbDecision=368000 #constraints=6912 37.38/37.42 c nbDecision=368500 #constraints=6912 37.38/37.46 c nbDecision=369000 #constraints=6912 37.38/37.49 c nbDecision=369500 #constraints=6912 37.48/37.53 c nbDecision=370000 #constraints=6913 37.48/37.56 c nbDecision=370500 #constraints=6913 37.48/37.59 c nbDecision=371000 #constraints=6914 37.58/37.62 c nbDecision=371500 #constraints=6914 37.58/37.65 c nbDecision=372000 #constraints=6916 37.68/37.70 c nbDecision=372500 #constraints=6918 37.68/37.74 c nbDecision=373000 #constraints=6919 37.68/37.76 c nbDecision=373500 #constraints=6919 37.78/37.80 c nbDecision=374000 #constraints=6920 37.78/37.85 c nbDecision=374500 #constraints=6922 37.78/37.87 c nbDecision=375000 #constraints=6922 37.98/38.09 c nbDecision=375500 #constraints=6943 38.08/38.12 c nbDecision=376000 #constraints=6943 38.08/38.18 c nbDecision=376500 #constraints=6946 38.18/38.24 c nbDecision=377000 #constraints=6948 38.28/38.31 c nbDecision=377500 #constraints=6948 38.28/38.36 c nbDecision=378000 #constraints=6948 38.28/38.40 c nbDecision=378500 #constraints=6948 38.38/38.43 c nbDecision=379000 #constraints=6948 38.48/38.51 c nbDecision=379500 #constraints=6955 38.48/38.60 c nbDecision=380000 #constraints=6961 38.58/38.64 c nbDecision=380500 #constraints=6962 38.58/38.67 c nbDecision=381000 #constraints=6963 38.68/38.70 c nbDecision=381500 #constraints=6963 38.68/38.75 c nbDecision=382000 #constraints=6965 38.68/38.79 c nbDecision=382500 #constraints=6967 38.78/38.83 c nbDecision=383000 #constraints=6968 38.78/38.85 c nbDecision=383500 #constraints=6968 38.78/38.89 c nbDecision=384000 #constraints=6969 38.88/38.93 c nbDecision=384500 #constraints=6970 38.88/38.95 c nbDecision=385000 #constraints=6970 38.88/38.99 c nbDecision=385500 #constraints=6971 38.98/39.02 c nbDecision=386000 #constraints=6971 38.98/39.09 c nbDecision=386500 #constraints=6973 39.08/39.15 c nbDecision=387000 #constraints=6973 39.08/39.20 c nbDecision=387500 #constraints=6973 39.18/39.23 c nbDecision=388000 #constraints=6973 39.18/39.26 c nbDecision=388500 #constraints=6973 39.28/39.34 c nbDecision=389000 #constraints=6974 39.28/39.39 c nbDecision=389500 #constraints=6974 39.38/39.44 c nbDecision=390000 #constraints=6974 39.38/39.46 c nbDecision=390500 #constraints=6974 39.38/39.50 c nbDecision=391000 #constraints=6975 39.48/39.53 c nbDecision=391500 #constraints=6976 39.48/39.56 c nbDecision=392000 #constraints=6976 39.58/39.61 c nbDecision=392500 #constraints=6977 39.58/39.66 c nbDecision=393000 #constraints=6978 39.68/39.71 c nbDecision=393500 #constraints=6981 39.68/39.78 c nbDecision=394000 #constraints=6985 39.78/39.81 c nbDecision=394500 #constraints=6985 39.78/39.86 c nbDecision=395000 #constraints=6988 39.88/39.95 c nbDecision=395500 #constraints=6994 39.98/40.03 c nbDecision=396000 #constraints=6997 39.98/40.07 c nbDecision=396500 #constraints=6999 40.17/40.22 c nbDecision=397000 #constraints=7009 40.17/40.30 c nbDecision=397500 #constraints=7017 40.27/40.32 c nbDecision=398000 #constraints=7020 40.37/40.44 c nbDecision=398500 #constraints=7023 40.47/40.50 c nbDecision=399000 #constraints=7023 40.47/40.54 c nbDecision=399500 #constraints=7023 40.47/40.57 c nbDecision=400000 #constraints=7023 40.68/40.72 c nbDecision=400500 #constraints=7032 40.68/40.77 c nbDecision=401000 #constraints=7034 40.77/40.82 c nbDecision=401500 #constraints=7037 40.87/40.92 c nbDecision=402000 #constraints=7041 40.97/41.03 c nbDecision=402500 #constraints=7047 40.97/41.09 c nbDecision=403000 #constraints=7050 41.07/41.18 c nbDecision=403500 #constraints=7055 41.27/41.30 c nbDecision=404000 #constraints=7063 41.27/41.38 c nbDecision=404500 #constraints=7066 41.47/41.51 c nbDecision=405000 #constraints=7069 41.47/41.56 c nbDecision=405500 #constraints=7069 41.57/41.61 c nbDecision=406000 #constraints=7069 41.57/41.64 c nbDecision=406500 #constraints=7069 41.57/41.68 c nbDecision=407000 #constraints=7070 41.68/41.74 c nbDecision=407500 #constraints=7070 41.68/41.78 c nbDecision=408000 #constraints=7070 41.78/41.82 c nbDecision=408500 #constraints=7070 41.78/41.85 c nbDecision=409000 #constraints=7070 41.87/41.93 c nbDecision=409500 #constraints=7072 41.87/41.94 c restart after 409601 decisions 41.97/42.03 c nbDecision=410000 #constraints=7072 41.97/42.08 c nbDecision=410500 #constraints=7072 42.07/42.13 c nbDecision=411000 #constraints=7072 42.07/42.16 c nbDecision=411500 #constraints=7072 42.17/42.20 c nbDecision=412000 #constraints=7073 42.27/42.33 c nbDecision=412500 #constraints=7082 42.27/42.39 c nbDecision=413000 #constraints=7082 42.37/42.43 c nbDecision=413500 #constraints=7082 42.37/42.46 c nbDecision=414000 #constraints=7082 42.47/42.51 c nbDecision=414500 #constraints=7083 42.47/42.57 c nbDecision=415000 #constraints=7083 42.57/42.62 c nbDecision=415500 #constraints=7083 42.57/42.66 c nbDecision=416000 #constraints=7083 42.57/42.68 c nbDecision=416500 #constraints=7083 42.67/42.79 c nbDecision=417000 #constraints=7087 42.78/42.85 c nbDecision=417500 #constraints=7087 42.78/42.89 c nbDecision=418000 #constraints=7087 42.88/42.93 c nbDecision=418500 #constraints=7087 42.88/42.97 c nbDecision=419000 #constraints=7089 42.97/43.08 c nbDecision=419500 #constraints=7093 43.07/43.13 c nbDecision=420000 #constraints=7093 43.07/43.17 c nbDecision=420500 #constraints=7093 43.17/43.20 c nbDecision=421000 #constraints=7093 43.27/43.32 c nbDecision=421500 #constraints=7100 43.37/43.42 c nbDecision=422000 #constraints=7110 43.37/43.49 c nbDecision=422500 #constraints=7116 43.47/43.57 c nbDecision=423000 #constraints=7123 43.57/43.62 c nbDecision=423500 #constraints=7127 43.57/43.68 c nbDecision=424000 #constraints=7133 43.67/43.73 c nbDecision=424500 #constraints=7137 43.67/43.78 c nbDecision=425000 #constraints=7141 43.77/43.83 c nbDecision=425500 #constraints=7142 43.77/43.85 c nbDecision=426000 #constraints=7142 43.77/43.89 c nbDecision=426500 #constraints=7143 43.87/43.92 c nbDecision=427000 #constraints=7145 43.87/43.96 c nbDecision=427500 #constraints=7148 43.97/44.00 c nbDecision=428000 #constraints=7151 43.97/44.06 c nbDecision=428500 #constraints=7155 44.07/44.10 c nbDecision=429000 #constraints=7158 44.07/44.15 c nbDecision=429500 #constraints=7160 44.07/44.17 c nbDecision=430000 #constraints=7160 44.17/44.23 c nbDecision=430500 #constraints=7164 44.17/44.25 c nbDecision=431000 #constraints=7164 44.27/44.32 c nbDecision=431500 #constraints=7165 44.27/44.37 c nbDecision=432000 #constraints=7165 44.37/44.41 c nbDecision=432500 #constraints=7165 44.37/44.44 c nbDecision=433000 #constraints=7165 44.47/44.55 c nbDecision=433500 #constraints=7177 44.47/44.58 c nbDecision=434000 #constraints=7179 44.57/44.63 c nbDecision=434500 #constraints=7182 44.57/44.66 c nbDecision=435000 #constraints=7183 44.57/44.69 c nbDecision=435500 #constraints=7183 44.67/44.79 c nbDecision=436000 #constraints=7191 44.77/44.88 c nbDecision=436500 #constraints=7198 44.97/45.04 c nbDecision=437000 #constraints=7208 45.07/45.15 c nbDecision=437500 #constraints=7216 45.27/45.30 c nbDecision=438000 #constraints=7228 45.27/45.40 c nbDecision=438500 #constraints=7236 45.47/45.50 c nbDecision=439000 #constraints=7242 45.47/45.55 c nbDecision=439500 #constraints=7244 45.57/45.61 c nbDecision=440000 #constraints=7248 45.67/45.71 c nbDecision=440500 #constraints=7256 45.67/45.75 c nbDecision=441000 #constraints=7260 45.77/45.81 c nbDecision=441500 #constraints=7264 45.77/45.88 c nbDecision=442000 #constraints=7270 45.87/45.93 c nbDecision=442500 #constraints=7274 45.97/46.03 c nbDecision=443000 #constraints=7283 46.07/46.11 c nbDecision=443500 #constraints=7289 46.17/46.20 c nbDecision=444000 #constraints=7297 46.26/46.32 c nbDecision=444500 #constraints=7306 46.36/46.41 c nbDecision=445000 #constraints=7312 46.46/46.51 c nbDecision=445500 #constraints=7318 46.56/46.60 c nbDecision=446000 #constraints=7325 46.56/46.70 c nbDecision=446500 #constraints=7331 46.66/46.77 c nbDecision=447000 #constraints=7336 46.76/46.87 c nbDecision=447500 #constraints=7343 46.86/46.97 c nbDecision=448000 #constraints=7349 46.96/47.04 c nbDecision=448500 #constraints=7354 47.17/47.21 c nbDecision=449000 #constraints=7360 47.27/47.31 c nbDecision=449500 #constraints=7366 47.27/47.39 c nbDecision=450000 #constraints=7373 47.36/47.47 c nbDecision=450500 #constraints=7380 47.46/47.56 c nbDecision=451000 #constraints=7388 47.56/47.65 c nbDecision=451500 #constraints=7396 47.66/47.73 c nbDecision=452000 #constraints=7403 47.76/47.86 c nbDecision=452500 #constraints=7412 47.86/47.95 c nbDecision=453000 #constraints=7419 47.86/47.99 c nbDecision=453500 #constraints=7422 47.96/48.07 c nbDecision=454000 #constraints=7428 48.06/48.14 c nbDecision=454500 #constraints=7433 48.27/48.35 c nbDecision=455000 #constraints=7443 48.56/48.64 c nbDecision=455500 #constraints=7453 48.76/48.84 c nbDecision=456000 #constraints=7460 48.96/49.02 c nbDecision=456500 #constraints=7466 49.26/49.30 c nbDecision=457000 #constraints=7480 49.47/49.55 c nbDecision=457500 #constraints=7490 49.66/49.71 c nbDecision=458000 #constraints=7496 49.76/49.89 c nbDecision=458500 #constraints=7503 50.06/50.13 c nbDecision=459000 #constraints=7512 50.26/50.36 c nbDecision=459500 #constraints=7521 50.36/50.48 c nbDecision=460000 #constraints=7526 50.66/50.70 c nbDecision=460500 #constraints=7535 50.76/50.84 c nbDecision=461000 #constraints=7540 50.96/51.01 c nbDecision=461500 #constraints=7549 51.06/51.14 c nbDecision=462000 #constraints=7557 51.16/51.27 c nbDecision=462500 #constraints=7565 51.26/51.39 c nbDecision=463000 #constraints=7569 51.46/51.54 c nbDecision=463500 #constraints=7575 51.57/51.69 c nbDecision=464000 #constraints=7582 51.67/51.77 c nbDecision=464500 #constraints=7587 51.86/51.92 c nbDecision=465000 #constraints=7594 51.96/52.05 c nbDecision=465500 #constraints=7599 52.16/52.20 c nbDecision=466000 #constraints=7606 52.26/52.33 c nbDecision=466500 #constraints=7612 52.36/52.46 c nbDecision=467000 #constraints=7619 52.86/52.94 c nbDecision=467500 #constraints=7641 53.06/53.18 c nbDecision=468000 #constraints=7652 53.26/53.37 c nbDecision=468500 #constraints=7660 53.46/53.59 c nbDecision=469000 #constraints=7669 53.76/53.83 c nbDecision=469500 #constraints=7679 53.86/53.99 c nbDecision=470000 #constraints=7687 54.06/54.13 c nbDecision=470500 #constraints=7693 54.26/54.30 c nbDecision=471000 #constraints=7700 54.36/54.42 c nbDecision=471500 #constraints=7706 54.66/54.76 c nbDecision=472000 #constraints=7729 54.86/54.97 c nbDecision=472500 #constraints=7742 55.06/55.11 c nbDecision=473000 #constraints=7751 55.16/55.26 c nbDecision=473500 #constraints=7761 55.26/55.38 c nbDecision=474000 #constraints=7768 55.36/55.48 c nbDecision=474500 #constraints=7774 55.56/55.60 c nbDecision=475000 #constraints=7782 55.66/55.77 c nbDecision=475500 #constraints=7790 55.76/55.87 c nbDecision=476000 #constraints=7796 55.86/56.00 c nbDecision=476500 #constraints=7802 56.36/56.41 c nbDecision=477000 #constraints=7830 56.86/56.96 c nbDecision=477500 #constraints=7855 57.16/57.28 c nbDecision=478000 #constraints=7870 57.56/57.60 c nbDecision=478500 #constraints=7884 57.86/57.97 c nbDecision=479000 #constraints=7899 58.06/58.13 c nbDecision=479500 #constraints=7906 58.26/58.39 c nbDecision=480000 #constraints=7915 58.56/58.62 c nbDecision=480500 #constraints=7924 58.56/58.68 c nbDecision=481000 #constraints=7928 58.66/58.72 c nbDecision=481500 #constraints=7931 58.66/58.78 c nbDecision=482000 #constraints=7935 58.76/58.85 c nbDecision=482500 #constraints=7941 58.86/58.99 c nbDecision=483000 #constraints=7951 59.06/59.16 c nbDecision=483500 #constraints=7958 59.16/59.22 c nbDecision=484000 #constraints=7958 59.16/59.27 c nbDecision=484500 #constraints=7958 59.26/59.31 c nbDecision=485000 #constraints=7958 59.26/59.34 c nbDecision=485500 #constraints=7958 59.66/59.77 c nbDecision=486000 #constraints=7980 60.06/60.11 c nbDecision=486500 #constraints=7998 60.36/60.42 c nbDecision=487000 #constraints=8018 60.56/60.63 c nbDecision=487500 #constraints=8030 60.76/60.83 c nbDecision=488000 #constraints=8043 60.96/61.00 c nbDecision=488500 #constraints=8054 61.06/61.16 c nbDecision=489000 #constraints=8064 61.16/61.28 c nbDecision=489500 #constraints=8074 61.46/61.54 c nbDecision=490000 #constraints=8088 61.56/61.68 c nbDecision=490500 #constraints=8098 61.86/61.90 c nbDecision=491000 #constraints=8110 61.96/62.10 c nbDecision=491500 #constraints=8121 62.26/62.33 c nbDecision=492000 #constraints=8133 62.26/62.37 c nbDecision=492500 #constraints=8133 62.36/62.40 c nbDecision=493000 #constraints=8133 62.36/62.45 c nbDecision=493500 #constraints=8134 62.46/62.50 c nbDecision=494000 #constraints=8134 62.46/62.54 c nbDecision=494500 #constraints=8134 62.46/62.57 c nbDecision=495000 #constraints=8134 62.66/62.72 c nbDecision=495500 #constraints=8145 62.86/62.95 c nbDecision=496000 #constraints=8161 63.06/63.10 c nbDecision=496500 #constraints=8174 63.16/63.22 c nbDecision=497000 #constraints=8183 63.56/63.61 c nbDecision=497500 #constraints=8205 63.86/63.91 c nbDecision=498000 #constraints=8223 64.06/64.11 c nbDecision=498500 #constraints=8238 64.25/64.31 c nbDecision=499000 #constraints=8249 64.35/64.43 c nbDecision=499500 #constraints=8256 64.55/64.60 c nbDecision=500000 #constraints=8267 64.66/64.77 c nbDecision=500500 #constraints=8278 64.77/64.90 c nbDecision=501000 #constraints=8287 64.96/65.03 c nbDecision=501500 #constraints=8295 65.06/65.14 c nbDecision=502000 #constraints=8303 65.26/65.32 c nbDecision=502500 #constraints=8313 65.36/65.48 c nbDecision=503000 #constraints=8322 65.56/65.64 c nbDecision=503500 #constraints=8332 65.66/65.75 c nbDecision=504000 #constraints=8339 65.76/65.87 c nbDecision=504500 #constraints=8345 65.87/65.99 c nbDecision=505000 #constraints=8351 65.96/66.09 c nbDecision=505500 #constraints=8356 66.16/66.21 c nbDecision=506000 #constraints=8362 66.16/66.28 c nbDecision=506500 #constraints=8367 66.36/66.44 c nbDecision=507000 #constraints=8375 66.46/66.55 c nbDecision=507500 #constraints=8380 66.66/66.78 c nbDecision=508000 #constraints=8394 66.86/66.96 c nbDecision=508500 #constraints=8405 67.06/67.14 c nbDecision=509000 #constraints=8413 67.26/67.33 c nbDecision=509500 #constraints=8423 67.46/67.53 c nbDecision=510000 #constraints=8433 67.66/67.74 c nbDecision=510500 #constraints=8444 67.86/67.93 c nbDecision=511000 #constraints=8454 67.96/68.09 c nbDecision=511500 #constraints=8462 68.16/68.26 c nbDecision=512000 #constraints=8469 68.26/68.30 c nbDecision=512500 #constraints=8469 68.26/68.33 c nbDecision=513000 #constraints=8469 68.26/68.38 c nbDecision=513500 #constraints=8471 68.36/68.44 c nbDecision=514000 #constraints=8471 68.36/68.48 c nbDecision=514500 #constraints=8471 68.46/68.51 c nbDecision=515000 #constraints=8471 68.46/68.59 c nbDecision=515500 #constraints=8475 68.56/68.64 c nbDecision=516000 #constraints=8475 68.56/68.68 c nbDecision=516500 #constraints=8475 68.66/68.71 c nbDecision=517000 #constraints=8475 69.06/69.17 c nbDecision=517500 #constraints=8505 69.36/69.48 c nbDecision=518000 #constraints=8523 69.56/69.67 c nbDecision=518500 #constraints=8535 69.76/69.83 c nbDecision=519000 #constraints=8544 69.86/69.98 c nbDecision=519500 #constraints=8552 70.06/70.14 c nbDecision=520000 #constraints=8560 70.06/70.19 c nbDecision=520500 #constraints=8560 70.16/70.22 c nbDecision=521000 #constraints=8560 70.26/70.33 c nbDecision=521500 #constraints=8562 70.26/70.38 c nbDecision=522000 #constraints=8562 70.36/70.42 c nbDecision=522500 #constraints=8562 70.46/70.51 c nbDecision=523000 #constraints=8565 70.76/70.81 c nbDecision=523500 #constraints=8581 70.96/71.07 c nbDecision=524000 #constraints=8594 71.06/71.18 c nbDecision=524500 #constraints=8601 71.26/71.30 c nbDecision=525000 #constraints=8608 71.36/71.45 c nbDecision=525500 #constraints=8615 71.46/71.56 c nbDecision=526000 #constraints=8619 71.56/71.65 c nbDecision=526500 #constraints=8625 71.66/71.75 c nbDecision=527000 #constraints=8630 71.76/71.84 c nbDecision=527500 #constraints=8635 71.86/71.92 c nbDecision=528000 #constraints=8640 72.06/72.11 c nbDecision=528500 #constraints=8649 72.15/72.28 c nbDecision=529000 #constraints=8658 72.35/72.42 c nbDecision=529500 #constraints=8665 72.46/72.60 c nbDecision=530000 #constraints=8672 72.75/72.81 c nbDecision=530500 #constraints=8683 72.75/72.86 c nbDecision=531000 #constraints=8683 72.75/72.89 c nbDecision=531500 #constraints=8683 72.85/72.92 c nbDecision=532000 #constraints=8683 72.95/73.06 c nbDecision=532500 #constraints=8688 73.05/73.17 c nbDecision=533000 #constraints=8694 73.25/73.34 c nbDecision=533500 #constraints=8705 73.45/73.56 c nbDecision=534000 #constraints=8720 73.66/73.73 c nbDecision=534500 #constraints=8730 73.75/73.84 c nbDecision=535000 #constraints=8738 73.85/73.94 c nbDecision=535500 #constraints=8743 73.95/74.08 c nbDecision=536000 #constraints=8752 74.05/74.19 c nbDecision=536500 #constraints=8759 74.35/74.44 c nbDecision=537000 #constraints=8771 74.66/74.71 c nbDecision=537500 #constraints=8789 74.85/74.92 c nbDecision=538000 #constraints=8801 74.95/75.03 c nbDecision=538500 #constraints=8811 75.05/75.18 c nbDecision=539000 #constraints=8819 75.25/75.31 c nbDecision=539500 #constraints=8825 75.25/75.34 c nbDecision=540000 #constraints=8825 75.35/75.49 c nbDecision=540500 #constraints=8831 75.55/75.66 c nbDecision=541000 #constraints=8839 75.65/75.75 c nbDecision=541500 #constraints=8842 75.65/75.79 c nbDecision=542000 #constraints=8842 75.76/75.81 c nbDecision=542500 #constraints=8842 75.76/75.88 c nbDecision=543000 #constraints=8843 75.85/75.93 c nbDecision=543500 #constraints=8843 75.85/75.96 c nbDecision=544000 #constraints=8843 75.95/76.03 c nbDecision=544500 #constraints=8845 75.95/76.09 c nbDecision=545000 #constraints=8845 76.05/76.13 c nbDecision=545500 #constraints=8845 76.05/76.17 c nbDecision=546000 #constraints=8845 76.05/76.19 c nbDecision=546500 #constraints=8845 76.35/76.48 c nbDecision=547000 #constraints=8861 76.45/76.53 c nbDecision=547500 #constraints=8861 76.45/76.56 c nbDecision=548000 #constraints=8861 76.55/76.63 c nbDecision=548500 #constraints=8863 77.05/77.12 c nbDecision=549000 #constraints=8894 77.25/77.32 c nbDecision=549500 #constraints=8906 77.35/77.46 c nbDecision=550000 #constraints=8913 77.45/77.51 c nbDecision=550500 #constraints=8913 77.45/77.55 c nbDecision=551000 #constraints=8913 77.45/77.58 c nbDecision=551500 #constraints=8913 77.85/77.97 c nbDecision=552000 #constraints=8932 78.05/78.15 c nbDecision=552500 #constraints=8941 78.15/78.20 c nbDecision=553000 #constraints=8941 78.15/78.23 c nbDecision=553500 #constraints=8941 78.15/78.26 c nbDecision=554000 #constraints=8941 78.65/78.79 c nbDecision=554500 #constraints=8967 78.95/79.02 c nbDecision=555000 #constraints=8982 78.95/79.07 c nbDecision=555500 #constraints=8982 79.05/79.11 c nbDecision=556000 #constraints=8982 79.05/79.14 c nbDecision=556500 #constraints=8982 79.15/79.20 c nbDecision=557000 #constraints=8983 79.15/79.25 c nbDecision=557500 #constraints=8983 79.15/79.29 c nbDecision=558000 #constraints=8983 79.25/79.32 c nbDecision=558500 #constraints=8983 79.35/79.46 c nbDecision=559000 #constraints=8990 79.45/79.52 c nbDecision=559500 #constraints=8996 79.45/79.58 c nbDecision=560000 #constraints=9002 79.55/79.64 c nbDecision=560500 #constraints=9008 79.65/79.70 c nbDecision=561000 #constraints=9013 79.65/79.77 c nbDecision=561500 #constraints=9019 79.75/79.84 c nbDecision=562000 #constraints=9021 79.75/79.88 c nbDecision=562500 #constraints=9021 79.85/79.90 c nbDecision=563000 #constraints=9021 79.85/79.96 c nbDecision=563500 #constraints=9022 79.95/80.01 c nbDecision=564000 #constraints=9022 79.95/80.05 c nbDecision=564500 #constraints=9022 79.95/80.08 c nbDecision=565000 #constraints=9022 80.25/80.38 c nbDecision=565500 #constraints=9037 80.45/80.58 c nbDecision=566000 #constraints=9053 80.65/80.73 c nbDecision=566500 #constraints=9065 80.65/80.77 c nbDecision=567000 #constraints=9065 80.75/80.81 c nbDecision=567500 #constraints=9065 80.75/80.84 c nbDecision=568000 #constraints=9065 81.45/81.50 c nbDecision=568500 #constraints=9089 81.65/81.79 c nbDecision=569000 #constraints=9100 81.75/81.84 c nbDecision=569500 #constraints=9100 81.75/81.88 c nbDecision=570000 #constraints=9100 81.85/81.91 c nbDecision=570500 #constraints=9100 81.95/82.05 c nbDecision=571000 #constraints=9108 81.95/82.10 c nbDecision=571500 #constraints=9108 82.05/82.13 c nbDecision=572000 #constraints=9108 82.05/82.16 c nbDecision=572500 #constraints=9108 82.24/82.33 c nbDecision=573000 #constraints=9123 82.35/82.46 c nbDecision=573500 #constraints=9133 82.54/82.65 c nbDecision=574000 #constraints=9145 82.84/82.97 c nbDecision=574500 #constraints=9162 83.04/83.18 c nbDecision=575000 #constraints=9171 83.14/83.24 c nbDecision=575500 #constraints=9171 83.14/83.28 c nbDecision=576000 #constraints=9171 83.24/83.31 c nbDecision=576500 #constraints=9171 83.34/83.48 c nbDecision=577000 #constraints=9179 83.45/83.53 c nbDecision=577500 #constraints=9179 83.45/83.58 c nbDecision=578000 #constraints=9179 83.55/83.61 c nbDecision=578500 #constraints=9179 83.64/83.75 c nbDecision=579000 #constraints=9183 84.24/84.33 c nbDecision=579500 #constraints=9215 84.65/84.72 c nbDecision=580000 #constraints=9233 84.84/84.99 c nbDecision=580500 #constraints=9245 85.24/85.30 c nbDecision=581000 #constraints=9258 85.34/85.43 c nbDecision=581500 #constraints=9265 85.34/85.46 c nbDecision=582000 #constraints=9265 85.44/85.52 c nbDecision=582500 #constraints=9266 85.54/85.63 c nbDecision=583000 #constraints=9272 85.54/85.66 c nbDecision=583500 #constraints=9272 85.64/85.77 c nbDecision=584000 #constraints=9277 85.64/85.80 c nbDecision=584500 #constraints=9277 85.74/85.85 c nbDecision=585000 #constraints=9278 86.24/86.31 c nbDecision=585500 #constraints=9298 86.74/86.86 c nbDecision=586000 #constraints=9319 87.14/87.29 c nbDecision=586500 #constraints=9334 87.44/87.59 c nbDecision=587000 #constraints=9344 87.74/87.88 c nbDecision=587500 #constraints=9358 87.94/88.01 c nbDecision=588000 #constraints=9365 88.04/88.12 c nbDecision=588500 #constraints=9370 88.04/88.14 c nbDecision=589000 #constraints=9370 88.14/88.20 c nbDecision=589500 #constraints=9371 88.14/88.24 c nbDecision=590000 #constraints=9371 88.14/88.30 c nbDecision=590500 #constraints=9372 88.24/88.34 c nbDecision=591000 #constraints=9373 88.34/88.40 c nbDecision=591500 #constraints=9375 88.44/88.54 c nbDecision=592000 #constraints=9385 88.44/88.59 c nbDecision=592500 #constraints=9386 88.74/88.89 c nbDecision=593000 #constraints=9404 88.94/89.04 c nbDecision=593500 #constraints=9422 89.04/89.14 c nbDecision=594000 #constraints=9433 89.14/89.24 c nbDecision=594500 #constraints=9443 89.34/89.41 c nbDecision=595000 #constraints=9453 89.44/89.53 c nbDecision=595500 #constraints=9461 89.54/89.61 c nbDecision=596000 #constraints=9469 89.54/89.68 c nbDecision=596500 #constraints=9475 89.64/89.80 c nbDecision=597000 #constraints=9484 89.84/89.97 c nbDecision=597500 #constraints=9497 89.94/90.07 c nbDecision=598000 #constraints=9503 90.14/90.23 c nbDecision=598500 #constraints=9520 90.24/90.39 c nbDecision=599000 #constraints=9536 90.44/90.52 c nbDecision=599500 #constraints=9549 90.54/90.62 c nbDecision=600000 #constraints=9559 90.64/90.72 c nbDecision=600500 #constraints=9568 90.74/90.83 c nbDecision=601000 #constraints=9577 90.84/91.00 c nbDecision=601500 #constraints=9584 90.94/91.07 c nbDecision=602000 #constraints=9591 91.04/91.15 c nbDecision=602500 #constraints=9598 91.14/91.23 c nbDecision=603000 #constraints=9604 91.24/91.34 c nbDecision=603500 #constraints=9612 91.34/91.50 c nbDecision=604000 #constraints=9620 91.54/91.65 c nbDecision=604500 #constraints=9631 91.64/91.76 c nbDecision=605000 #constraints=9638 91.74/91.88 c nbDecision=605500 #constraints=9646 91.94/92.02 c nbDecision=606000 #constraints=9655 92.04/92.16 c nbDecision=606500 #constraints=9663 92.25/92.33 c nbDecision=607000 #constraints=9672 92.35/92.43 c nbDecision=607500 #constraints=9678 92.74/92.90 c nbDecision=608000 #constraints=9706 93.04/93.16 c nbDecision=608500 #constraints=9724 93.14/93.29 c nbDecision=609000 #constraints=9732 93.35/93.47 c nbDecision=609500 #constraints=9742 93.45/93.57 c nbDecision=610000 #constraints=9749 93.54/93.66 c nbDecision=610500 #constraints=9755 93.64/93.77 c nbDecision=611000 #constraints=9762 93.74/93.88 c nbDecision=611500 #constraints=9769 93.94/94.04 c nbDecision=612000 #constraints=9783 94.04/94.17 c nbDecision=612500 #constraints=9793 94.14/94.28 c nbDecision=613000 #constraints=9800 94.34/94.48 c nbDecision=613500 #constraints=9814 94.55/94.64 c nbDecision=614000 #constraints=9828 94.64/94.77 c nbDecision=614500 #constraints=9839 95.44/95.59 c nbDecision=615000 #constraints=9873 96.14/96.28 c nbDecision=615500 #constraints=9900 96.44/96.57 c nbDecision=616000 #constraints=9921 96.54/96.67 c nbDecision=616500 #constraints=9929 96.65/96.77 c nbDecision=617000 #constraints=9935 96.74/96.88 c nbDecision=617500 #constraints=9942 96.94/97.01 c nbDecision=618000 #constraints=9950 97.04/97.16 c nbDecision=618500 #constraints=9959 97.24/97.31 c nbDecision=619000 #constraints=9969 97.34/97.46 c nbDecision=619500 #constraints=9981 97.54/97.61 c nbDecision=620000 #constraints=9991 97.64/97.74 c nbDecision=620500 #constraints=9999 97.74/97.90 c nbDecision=621000 #constraints=10009 98.14/98.28 c nbDecision=621500 #constraints=10022 98.54/98.69 c nbDecision=622000 #constraints=10036 98.84/98.95 c nbDecision=622500 #constraints=10047 99.04/99.11 c nbDecision=623000 #constraints=10056 99.84/99.96 c nbDecision=623500 #constraints=10088 99.94/100.08 c nbDecision=624000 #constraints=10097 100.04/100.19 c nbDecision=624500 #constraints=10106 100.14/100.29 c nbDecision=625000 #constraints=10114 100.64/100.73 c nbDecision=625500 #constraints=10140 100.84/100.98 c nbDecision=626000 #constraints=10157 101.04/101.12 c nbDecision=626500 #constraints=10166 101.14/101.27 c nbDecision=627000 #constraints=10175 101.24/101.39 c nbDecision=627500 #constraints=10183 101.44/101.55 c nbDecision=628000 #constraints=10193 101.64/101.71 c nbDecision=628500 #constraints=10203 101.74/101.83 c nbDecision=629000 #constraints=10211 101.93/102.02 c nbDecision=629500 #constraints=10223 102.03/102.15 c nbDecision=630000 #constraints=10231 102.14/102.28 c nbDecision=630500 #constraints=10239 102.33/102.44 c nbDecision=631000 #constraints=10249 102.43/102.57 c nbDecision=631500 #constraints=10257 102.63/102.75 c nbDecision=632000 #constraints=10268 102.83/102.94 c nbDecision=632500 #constraints=10280 103.13/103.23 c nbDecision=633000 #constraints=10293 104.23/104.30 c nbDecision=633500 #constraints=10327 105.03/105.15 c nbDecision=634000 #constraints=10353 105.23/105.37 c nbDecision=634500 #constraints=10363 105.33/105.42 c nbDecision=635000 #constraints=10363 105.33/105.45 c nbDecision=635500 #constraints=10363 105.33/105.48 c nbDecision=636000 #constraints=10363 105.93/106.05 c nbDecision=636500 #constraints=10384 106.33/106.49 c nbDecision=637000 #constraints=10399 106.73/106.82 c nbDecision=637500 #constraints=10411 106.83/106.96 c nbDecision=638000 #constraints=10415 106.93/107.00 c nbDecision=638500 #constraints=10415 106.93/107.03 c nbDecision=639000 #constraints=10415 107.43/107.59 c nbDecision=639500 #constraints=10437 108.33/108.42 c nbDecision=640000 #constraints=10468 108.33/108.47 c nbDecision=640500 #constraints=10468 108.43/108.52 c nbDecision=641000 #constraints=10468 108.43/108.55 c nbDecision=641500 #constraints=10468 108.53/108.68 c nbDecision=642000 #constraints=10472 108.73/108.85 c nbDecision=642500 #constraints=10481 108.93/109.08 c nbDecision=643000 #constraints=10490 109.23/109.30 c nbDecision=643500 #constraints=10499 109.33/109.45 c nbDecision=644000 #constraints=10506 109.53/109.62 c nbDecision=644500 #constraints=10513 109.73/109.81 c nbDecision=645000 #constraints=10521 109.93/110.07 c nbDecision=645500 #constraints=10532 110.13/110.28 c nbDecision=646000 #constraints=10540 110.43/110.50 c nbDecision=646500 #constraints=10548 110.63/110.76 c nbDecision=647000 #constraints=10558 110.83/110.95 c nbDecision=647500 #constraints=10566 111.13/111.20 c nbDecision=648000 #constraints=10576 111.33/111.46 c nbDecision=648500 #constraints=10588 111.63/111.72 c nbDecision=649000 #constraints=10598 112.03/112.14 c nbDecision=649500 #constraints=10613 112.52/112.65 c nbDecision=650000 #constraints=10631 112.82/112.95 c nbDecision=650500 #constraints=10641 113.42/113.54 c nbDecision=651000 #constraints=10671 113.82/113.96 c nbDecision=651500 #constraints=10688 114.62/114.79 c nbDecision=652000 #constraints=10715 115.22/115.31 c nbDecision=652500 #constraints=10736 115.62/115.79 c nbDecision=653000 #constraints=10757 116.02/116.11 c nbDecision=653500 #constraints=10775 116.32/116.41 c nbDecision=654000 #constraints=10788 116.42/116.57 c nbDecision=654500 #constraints=10797 116.82/116.93 c nbDecision=655000 #constraints=10817 117.12/117.24 c nbDecision=655500 #constraints=10829 117.42/117.57 c nbDecision=656000 #constraints=10854 118.33/118.43 c nbDecision=656500 #constraints=10883 119.03/119.15 c nbDecision=657000 #constraints=10902 119.53/119.62 c nbDecision=657500 #constraints=10920 120.03/120.16 c nbDecision=658000 #constraints=10937 120.63/120.73 c nbDecision=658500 #constraints=10952 121.03/121.17 c nbDecision=659000 #constraints=10968 121.43/121.51 c nbDecision=659500 #constraints=10984 121.83/121.99 c nbDecision=660000 #constraints=11001 122.12/122.26 c nbDecision=660500 #constraints=11016 122.52/122.62 c nbDecision=661000 #constraints=11030 123.03/123.12 c nbDecision=661500 #constraints=11050 123.32/123.40 c nbDecision=662000 #constraints=11062 123.32/123.49 c nbDecision=662500 #constraints=11065 123.42/123.52 c nbDecision=663000 #constraints=11065 123.42/123.58 c nbDecision=663500 #constraints=11066 123.52/123.61 c nbDecision=664000 #constraints=11066 123.72/123.82 c nbDecision=664500 #constraints=11077 123.72/123.88 c nbDecision=665000 #constraints=11078 124.02/124.17 c nbDecision=665500 #constraints=11088 124.23/124.38 c nbDecision=666000 #constraints=11096 124.32/124.42 c nbDecision=666500 #constraints=11096 124.62/124.72 c nbDecision=667000 #constraints=11106 124.62/124.77 c nbDecision=667500 #constraints=11106 124.72/124.81 c nbDecision=668000 #constraints=11106 124.72/124.84 c nbDecision=668500 #constraints=11106 125.02/125.11 c nbDecision=669000 #constraints=11123 125.42/125.52 c nbDecision=669500 #constraints=11147 125.72/125.82 c nbDecision=670000 #constraints=11162 125.72/125.87 c nbDecision=670500 #constraints=11163 125.92/126.05 c nbDecision=671000 #constraints=11173 126.22/126.36 c nbDecision=671500 #constraints=11191 126.62/126.71 c nbDecision=672000 #constraints=11208 126.62/126.74 c nbDecision=672500 #constraints=11208 126.62/126.78 c nbDecision=673000 #constraints=11208 127.22/127.31 c nbDecision=673500 #constraints=11241 127.62/127.73 c nbDecision=674000 #constraints=11263 127.62/127.76 c nbDecision=674500 #constraints=11263 127.72/127.87 c nbDecision=675000 #constraints=11267 128.32/128.41 c nbDecision=675500 #constraints=11291 128.72/128.80 c nbDecision=676000 #constraints=11306 129.12/129.27 c nbDecision=676500 #constraints=11328 129.52/129.68 c nbDecision=677000 #constraints=11349 130.02/130.15 c nbDecision=677500 #constraints=11370 130.92/131.03 c nbDecision=678000 #constraints=11407 130.92/131.09 c nbDecision=678500 #constraints=11407 131.02/131.13 c nbDecision=679000 #constraints=11407 131.02/131.16 c nbDecision=679500 #constraints=11407 131.32/131.41 c nbDecision=680000 #constraints=11416 131.82/131.90 c nbDecision=680500 #constraints=11442 132.22/132.36 c nbDecision=681000 #constraints=11465 132.52/132.64 c nbDecision=681500 #constraints=11478 132.82/132.91 c nbDecision=682000 #constraints=11490 133.02/133.18 c nbDecision=682500 #constraints=11503 133.32/133.49 c nbDecision=683000 #constraints=11517 133.82/134.00 c nbDecision=683500 #constraints=11541 134.12/134.22 c nbDecision=684000 #constraints=11548 134.12/134.27 c nbDecision=684500 #constraints=11548 134.22/134.30 c nbDecision=685000 #constraints=11548 134.22/134.38 c nbDecision=685500 #constraints=11551 134.72/134.83 c nbDecision=686000 #constraints=11573 135.32/135.46 c nbDecision=686500 #constraints=11597 135.72/135.88 c nbDecision=687000 #constraints=11617 136.12/136.29 c nbDecision=687500 #constraints=11639 136.52/136.67 c nbDecision=688000 #constraints=11663 137.22/137.30 c nbDecision=688500 #constraints=11684 137.72/137.82 c nbDecision=689000 #constraints=11700 138.11/138.28 c nbDecision=689500 #constraints=11720 138.71/138.85 c nbDecision=690000 #constraints=11738 139.31/139.43 c nbDecision=690500 #constraints=11761 140.21/140.36 c nbDecision=691000 #constraints=11783 140.91/141.09 c nbDecision=691500 #constraints=11810 141.82/141.95 c nbDecision=692000 #constraints=11837 142.21/142.35 c nbDecision=692500 #constraints=11864 142.41/142.57 c nbDecision=693000 #constraints=11879 142.61/142.79 c nbDecision=693500 #constraints=11890 142.92/143.09 c nbDecision=694000 #constraints=11905 143.21/143.39 c nbDecision=694500 #constraints=11922 143.51/143.62 c nbDecision=695000 #constraints=11934 143.92/144.07 c nbDecision=695500 #constraints=11963 144.21/144.35 c nbDecision=696000 #constraints=11976 144.41/144.60 c nbDecision=696500 #constraints=11988 144.81/144.97 c nbDecision=697000 #constraints=12011 145.11/145.21 c nbDecision=697500 #constraints=12022 145.51/145.70 c nbDecision=698000 #constraints=12047 146.01/146.13 c nbDecision=698500 #constraints=12073 146.41/146.51 c nbDecision=699000 #constraints=12093 146.81/146.99 c nbDecision=699500 #constraints=12117 147.21/147.40 c nbDecision=700000 #constraints=12141 147.61/147.75 c nbDecision=700500 #constraints=12158 148.01/148.12 c nbDecision=701000 #constraints=12177 148.21/148.39 c nbDecision=701500 #constraints=12191 148.61/148.72 c nbDecision=702000 #constraints=12208 148.91/149.03 c nbDecision=702500 #constraints=12223 149.31/149.40 c nbDecision=703000 #constraints=12240 149.81/149.91 c nbDecision=703500 #constraints=12266 150.41/150.54 c nbDecision=704000 #constraints=12295 151.11/151.24 c nbDecision=704500 #constraints=12333 151.81/151.96 c nbDecision=705000 #constraints=12366 152.41/152.57 c nbDecision=705500 #constraints=12394 153.41/153.59 c nbDecision=706000 #constraints=12432 153.91/154.00 c nbDecision=706500 #constraints=12447 154.31/154.44 c nbDecision=707000 #constraints=12464 154.71/154.83 c nbDecision=707500 #constraints=12481 155.71/155.87 c nbDecision=708000 #constraints=12511 156.31/156.48 c nbDecision=708500 #constraints=12536 156.71/156.88 c nbDecision=709000 #constraints=12549 156.81/156.93 c nbDecision=709500 #constraints=12549 156.81/156.98 c nbDecision=710000 #constraints=12549 156.91/157.01 c nbDecision=710500 #constraints=12549 157.11/157.24 c nbDecision=711000 #constraints=12554 157.71/157.85 c nbDecision=711500 #constraints=12575 158.41/158.57 c nbDecision=712000 #constraints=12610 159.11/159.23 c nbDecision=712500 #constraints=12637 159.42/159.57 c nbDecision=713000 #constraints=12653 160.11/160.27 c nbDecision=713500 #constraints=12686 160.61/160.72 c nbDecision=714000 #constraints=12707 161.11/161.26 c nbDecision=714500 #constraints=12725 161.21/161.32 c nbDecision=715000 #constraints=12725 161.21/161.37 c nbDecision=715500 #constraints=12725 161.21/161.40 c nbDecision=716000 #constraints=12725 161.62/161.71 c nbDecision=716500 #constraints=12739 162.21/162.35 c nbDecision=717000 #constraints=12768 163.01/163.10 c nbDecision=717500 #constraints=12805 163.31/163.48 c nbDecision=718000 #constraints=12823 163.82/163.92 c nbDecision=718500 #constraints=12850 164.61/164.78 c nbDecision=719000 #constraints=12880 165.41/165.56 c nbDecision=719500 #constraints=12902 165.91/166.09 c nbDecision=720000 #constraints=12916 166.51/166.66 c nbDecision=720500 #constraints=12931 167.01/167.12 c nbDecision=721000 #constraints=12943 167.41/167.55 c nbDecision=721500 #constraints=12954 167.81/167.90 c nbDecision=722000 #constraints=12963 168.21/168.34 c nbDecision=722500 #constraints=12978 168.51/168.64 c nbDecision=723000 #constraints=12988 168.91/169.08 c nbDecision=723500 #constraints=13002 169.41/169.50 c nbDecision=724000 #constraints=13018 169.61/169.73 c nbDecision=724500 #constraints=13027 169.91/170.10 c nbDecision=725000 #constraints=13042 170.31/170.44 c nbDecision=725500 #constraints=13053 170.71/170.80 c nbDecision=726000 #constraints=13065 171.21/171.37 c nbDecision=726500 #constraints=13082 171.61/171.71 c nbDecision=727000 #constraints=13094 172.51/172.68 c nbDecision=727500 #constraints=13137 173.50/173.64 c nbDecision=728000 #constraints=13189 174.30/174.44 c nbDecision=728500 #constraints=13234 174.71/174.81 c nbDecision=729000 #constraints=13256 175.00/175.12 c nbDecision=729500 #constraints=13272 175.70/175.90 c nbDecision=730000 #constraints=13305 176.40/176.54 c nbDecision=730500 #constraints=13333 176.91/177.04 c nbDecision=731000 #constraints=13355 177.60/177.75 c nbDecision=731500 #constraints=13388 178.11/178.20 c nbDecision=732000 #constraints=13408 178.40/178.59 c nbDecision=732500 #constraints=13426 178.80/178.93 c nbDecision=733000 #constraints=13439 179.30/179.45 c nbDecision=733500 #constraints=13463 179.80/179.93 c nbDecision=734000 #constraints=13483 180.40/180.57 c nbDecision=734500 #constraints=13509 181.30/181.47 c nbDecision=735000 #constraints=13554 181.80/181.99 c nbDecision=735500 #constraints=13581 182.20/182.31 c nbDecision=736000 #constraints=13596 182.40/182.56 c nbDecision=736500 #constraints=13607 183.50/183.63 c nbDecision=737000 #constraints=13647 183.90/184.02 c nbDecision=737500 #constraints=13665 184.30/184.43 c nbDecision=738000 #constraints=13684 184.90/185.09 c nbDecision=738500 #constraints=13708 185.80/185.90 c nbDecision=739000 #constraints=13735 186.40/186.57 c nbDecision=739500 #constraints=13754 187.00/187.11 c nbDecision=740000 #constraints=13773 187.70/187.83 c nbDecision=740500 #constraints=13792 188.50/188.63 c nbDecision=741000 #constraints=13813 188.90/189.07 c nbDecision=741500 #constraints=13827 189.39/189.54 c nbDecision=742000 #constraints=13842 189.89/190.01 c nbDecision=742500 #constraints=13856 191.09/191.27 c nbDecision=743000 #constraints=13902 191.20/191.33 c nbDecision=743500 #constraints=13902 191.20/191.37 c nbDecision=744000 #constraints=13902 191.30/191.40 c nbDecision=744500 #constraints=13902 192.40/192.51 c nbDecision=745000 #constraints=13932 192.59/192.72 c nbDecision=745500 #constraints=13938 192.59/192.78 c nbDecision=746000 #constraints=13938 192.69/192.81 c nbDecision=746500 #constraints=13938 192.69/192.84 c nbDecision=747000 #constraints=13938 193.40/193.56 c nbDecision=747500 #constraints=13967 193.69/193.89 c nbDecision=748000 #constraints=13982 193.99/194.18 c nbDecision=748500 #constraints=13993 194.29/194.44 c nbDecision=749000 #constraints=14005 194.49/194.65 c nbDecision=749500 #constraints=14013 194.69/194.82 c nbDecision=750000 #constraints=14020 194.79/194.99 c nbDecision=750500 #constraints=14027 194.99/195.16 c nbDecision=751000 #constraints=14034 195.29/195.42 c nbDecision=751500 #constraints=14048 195.49/195.63 c nbDecision=752000 #constraints=14057 195.69/195.87 c nbDecision=752500 #constraints=14068 195.99/196.16 c nbDecision=753000 #constraints=14079 197.29/197.40 c nbDecision=753500 #constraints=14118 198.79/198.93 c nbDecision=754000 #constraints=14161 199.59/199.75 c nbDecision=754500 #constraints=14185 200.19/200.38 c nbDecision=755000 #constraints=14202 200.79/200.95 c nbDecision=755500 #constraints=14219 201.50/201.61 c nbDecision=756000 #constraints=14248 201.70/201.87 c nbDecision=756500 #constraints=14252 201.80/201.92 c nbDecision=757000 #constraints=14252 201.80/201.96 c nbDecision=757500 #constraints=14252 201.80/201.99 c nbDecision=758000 #constraints=14252 202.30/202.42 c nbDecision=758500 #constraints=14265 202.30/202.48 c nbDecision=759000 #constraints=14265 202.40/202.53 c nbDecision=759500 #constraints=14265 202.40/202.56 c nbDecision=760000 #constraints=14265 202.60/202.74 c nbDecision=760500 #constraints=14271 203.70/203.81 c nbDecision=761000 #constraints=14327 204.59/204.71 c nbDecision=761500 #constraints=14362 205.19/205.34 c nbDecision=762000 #constraints=14392 205.60/205.74 c nbDecision=762500 #constraints=14408 206.29/206.43 c nbDecision=763000 #constraints=14437 206.89/207.05 c nbDecision=763500 #constraints=14468 207.80/207.91 c nbDecision=764000 #constraints=14511 208.39/208.53 c nbDecision=764500 #constraints=14533 209.09/209.29 c nbDecision=765000 #constraints=14562 209.69/209.82 c nbDecision=765500 #constraints=14582 210.00/210.18 c nbDecision=766000 #constraints=14596 210.89/211.02 c nbDecision=766500 #constraints=14618 211.49/211.65 c nbDecision=767000 #constraints=14637 212.09/212.30 c nbDecision=767500 #constraints=14654 213.19/213.34 c nbDecision=768000 #constraints=14691 213.89/214.03 c nbDecision=768500 #constraints=14713 214.29/214.42 c nbDecision=769000 #constraints=14726 214.59/214.76 c nbDecision=769500 #constraints=14734 214.89/215.06 c nbDecision=770000 #constraints=14746 215.59/215.74 c nbDecision=770500 #constraints=14776 216.09/216.24 c nbDecision=771000 #constraints=14791 216.39/216.59 c nbDecision=771500 #constraints=14801 216.79/216.98 c nbDecision=772000 #constraints=14816 217.09/217.28 c nbDecision=772500 #constraints=14826 217.79/217.93 c nbDecision=773000 #constraints=14848 218.79/218.97 c nbDecision=773500 #constraints=14878 219.39/219.52 c nbDecision=774000 #constraints=14892 220.09/220.28 c nbDecision=774500 #constraints=14912 220.59/220.72 c nbDecision=775000 #constraints=14927 220.99/221.13 c nbDecision=775500 #constraints=14942 221.39/221.54 c nbDecision=776000 #constraints=14954 221.59/221.79 c nbDecision=776500 #constraints=14964 222.28/222.40 c nbDecision=777000 #constraints=14992 222.68/222.81 c nbDecision=777500 #constraints=15009 222.98/223.12 c nbDecision=778000 #constraints=15019 223.28/223.43 c nbDecision=778500 #constraints=15029 224.08/224.25 c nbDecision=779000 #constraints=15055 224.68/224.82 c nbDecision=779500 #constraints=15071 225.38/225.53 c nbDecision=780000 #constraints=15091 225.79/225.93 c nbDecision=780500 #constraints=15101 226.59/226.71 c nbDecision=781000 #constraints=15132 227.19/227.30 c nbDecision=781500 #constraints=15153 227.89/228.03 c nbDecision=782000 #constraints=15179 228.79/228.99 c nbDecision=782500 #constraints=15209 229.29/229.44 c nbDecision=783000 #constraints=15221 229.79/229.94 c nbDecision=783500 #constraints=15232 230.89/231.04 c nbDecision=784000 #constraints=15261 231.99/232.12 c nbDecision=784500 #constraints=15290 232.59/232.74 c nbDecision=785000 #constraints=15313 233.19/233.33 c nbDecision=785500 #constraints=15339 233.98/234.14 c nbDecision=786000 #constraints=15364 234.98/235.12 c nbDecision=786500 #constraints=15388 235.48/235.63 c nbDecision=787000 #constraints=15401 235.98/236.10 c nbDecision=787500 #constraints=15411 236.29/236.40 c nbDecision=788000 #constraints=15420 236.58/236.77 c nbDecision=788500 #constraints=15431 236.98/237.12 c nbDecision=789000 #constraints=15439 237.28/237.42 c nbDecision=789500 #constraints=15449 237.88/238.05 c nbDecision=790000 #constraints=15471 238.28/238.40 c nbDecision=790500 #constraints=15483 238.78/238.93 c nbDecision=791000 #constraints=15497 239.08/239.28 c nbDecision=791500 #constraints=15506 239.59/239.73 c nbDecision=792000 #constraints=15519 239.78/239.94 c nbDecision=792500 #constraints=15526 239.98/240.11 c nbDecision=793000 #constraints=15533 240.18/240.38 c nbDecision=793500 #constraints=15540 240.28/240.44 c nbDecision=794000 #constraints=15540 240.28/240.49 c nbDecision=794500 #constraints=15540 240.38/240.52 c nbDecision=795000 #constraints=15540 240.48/240.63 c nbDecision=795500 #constraints=15542 240.69/240.84 c nbDecision=796000 #constraints=15546 240.69/240.89 c nbDecision=796500 #constraints=15546 240.79/240.93 c nbDecision=797000 #constraints=15546 240.79/240.96 c nbDecision=797500 #constraints=15546 240.98/241.12 c nbDecision=798000 #constraints=15548 240.98/241.17 c nbDecision=798500 #constraints=15548 241.08/241.21 c nbDecision=799000 #constraints=15548 241.08/241.24 c nbDecision=799500 #constraints=15548 241.48/241.68 c nbDecision=800000 #constraints=15561 241.58/241.75 c nbDecision=800500 #constraints=15561 241.58/241.79 c nbDecision=801000 #constraints=15561 241.68/241.83 c nbDecision=801500 #constraints=15561 241.68/241.85 c nbDecision=802000 #constraints=15561 241.98/242.12 c nbDecision=802500 #constraints=15566 241.98/242.17 c nbDecision=803000 #constraints=15566 242.08/242.21 c nbDecision=803500 #constraints=15566 242.08/242.23 c nbDecision=804000 #constraints=15566 242.48/242.65 c nbDecision=804500 #constraints=15579 242.58/242.71 c nbDecision=805000 #constraints=15579 242.58/242.75 c nbDecision=805500 #constraints=15579 242.58/242.78 c nbDecision=806000 #constraints=15579 242.68/242.86 c nbDecision=806500 #constraints=15580 242.78/242.92 c nbDecision=807000 #constraints=15580 242.78/242.97 c nbDecision=807500 #constraints=15580 242.88/243.00 c nbDecision=808000 #constraints=15580 243.08/243.20 c nbDecision=808500 #constraints=15584 243.18/243.33 c nbDecision=809000 #constraints=15586 243.18/243.38 c nbDecision=809500 #constraints=15586 243.28/243.41 c nbDecision=810000 #constraints=15586 243.28/243.44 c nbDecision=810500 #constraints=15586 243.48/243.62 c nbDecision=811000 #constraints=15589 243.48/243.67 c nbDecision=811500 #constraints=15589 243.58/243.71 c nbDecision=812000 #constraints=15589 243.58/243.74 c nbDecision=812500 #constraints=15589 243.98/244.16 c nbDecision=813000 #constraints=15600 244.38/244.52 c nbDecision=813500 #constraints=15609 244.38/244.57 c nbDecision=814000 #constraints=15609 244.48/244.61 c nbDecision=814500 #constraints=15609 244.48/244.64 c nbDecision=815000 #constraints=15609 244.58/244.76 c nbDecision=815500 #constraints=15610 244.68/244.81 c nbDecision=816000 #constraints=15610 244.68/244.86 c nbDecision=816500 #constraints=15610 244.68/244.89 c nbDecision=817000 #constraints=15610 244.88/245.05 c nbDecision=817500 #constraints=15613 244.98/245.12 c nbDecision=818000 #constraints=15613 244.98/245.16 c nbDecision=818500 #constraints=15613 244.98/245.20 c nbDecision=819000 #constraints=15613 245.08/245.21 c restart after 819201 decisions 245.28/245.46 c nbDecision=819500 #constraints=15613 245.38/245.53 c nbDecision=820000 #constraints=15613 245.38/245.58 c nbDecision=820500 #constraints=15613 245.48/245.62 c nbDecision=821000 #constraints=15613 245.48/245.65 c nbDecision=821500 #constraints=15613 246.48/246.66 c nbDecision=822000 #constraints=15655 246.98/247.11 c nbDecision=822500 #constraints=15678 247.28/247.40 c nbDecision=823000 #constraints=15689 247.58/247.70 c nbDecision=823500 #constraints=15700 247.78/247.99 c nbDecision=824000 #constraints=15710 248.18/248.39 c nbDecision=824500 #constraints=15722 248.68/248.80 c nbDecision=825000 #constraints=15732 248.78/248.95 c nbDecision=825500 #constraints=15734 248.88/249.00 c nbDecision=826000 #constraints=15734 248.88/249.04 c nbDecision=826500 #constraints=15734 248.88/249.06 c nbDecision=827000 #constraints=15734 249.18/249.31 c nbDecision=827500 #constraints=15739 249.18/249.37 c nbDecision=828000 #constraints=15739 249.28/249.41 c nbDecision=828500 #constraints=15739 249.28/249.43 c nbDecision=829000 #constraints=15739 249.58/249.75 c nbDecision=829500 #constraints=15750 249.67/249.82 c nbDecision=830000 #constraints=15751 249.77/249.90 c nbDecision=830500 #constraints=15752 249.77/249.94 c nbDecision=831000 #constraints=15752 249.77/249.97 c nbDecision=831500 #constraints=15752 249.87/250.05 c nbDecision=832000 #constraints=15753 250.07/250.25 c nbDecision=832500 #constraints=15758 250.58/250.74 c nbDecision=833000 #constraints=15775 250.58/250.76 c nbDecision=833500 #constraints=15775 250.77/250.93 c nbDecision=834000 #constraints=15779 251.17/251.30 c nbDecision=834500 #constraints=15790 251.37/251.59 c nbDecision=835000 #constraints=15801 251.68/251.84 c nbDecision=835500 #constraints=15811 251.87/252.07 c nbDecision=836000 #constraints=15819 252.37/252.59 c nbDecision=836500 #constraints=15842 252.78/252.93 c nbDecision=837000 #constraints=15853 252.88/253.00 c nbDecision=837500 #constraints=15854 252.88/253.08 c nbDecision=838000 #constraints=15855 253.27/253.44 c nbDecision=838500 #constraints=15867 253.57/253.75 c nbDecision=839000 #constraints=15877 253.98/254.12 c nbDecision=839500 #constraints=15888 253.98/254.16 c nbDecision=840000 #constraints=15888 253.98/254.18 c nbDecision=840500 #constraints=15888 254.17/254.30 c nbDecision=841000 #constraints=15890 254.17/254.33 c nbDecision=841500 #constraints=15890 254.27/254.49 c nbDecision=842000 #constraints=15894 254.47/254.68 c nbDecision=842500 #constraints=15902 254.87/255.07 c nbDecision=843000 #constraints=15914 255.27/255.44 c nbDecision=843500 #constraints=15927 255.57/255.79 c nbDecision=844000 #constraints=15939 256.17/256.37 c nbDecision=844500 #constraints=15956 256.37/256.59 c nbDecision=845000 #constraints=15964 256.77/256.92 c nbDecision=845500 #constraints=15975 257.27/257.41 c nbDecision=846000 #constraints=15996 257.37/257.52 c nbDecision=846500 #constraints=15999 257.47/257.64 c nbDecision=847000 #constraints=16003 257.87/258.05 c nbDecision=847500 #constraints=16016 258.37/258.50 c nbDecision=848000 #constraints=16036 258.77/258.94 c nbDecision=848500 #constraints=16054 259.37/259.51 c nbDecision=849000 #constraints=16073 259.97/260.15 c nbDecision=849500 #constraints=16096 260.37/260.55 c nbDecision=850000 #constraints=16110 261.07/261.25 c nbDecision=850500 #constraints=16133 261.67/261.84 c nbDecision=851000 #constraints=16153 262.27/262.43 c nbDecision=851500 #constraints=16174 262.68/262.83 c nbDecision=852000 #constraints=16185 263.57/263.73 c nbDecision=852500 #constraints=16213 264.37/264.56 c nbDecision=853000 #constraints=16235 265.67/265.86 c nbDecision=853500 #constraints=16269 266.17/266.35 c nbDecision=854000 #constraints=16285 266.67/266.85 c nbDecision=854500 #constraints=16299 266.97/267.16 c nbDecision=855000 #constraints=16308 267.37/267.56 c nbDecision=855500 #constraints=16317 267.97/268.17 c nbDecision=856000 #constraints=16337 268.77/268.97 c nbDecision=856500 #constraints=16367 269.17/269.39 c nbDecision=857000 #constraints=16384 269.57/269.73 c nbDecision=857500 #constraints=16398 269.97/270.10 c nbDecision=858000 #constraints=16412 270.27/270.44 c nbDecision=858500 #constraints=16425 270.77/270.92 c nbDecision=859000 #constraints=16444 270.97/271.18 c nbDecision=859500 #constraints=16454 271.37/271.50 c nbDecision=860000 #constraints=16464 271.57/271.78 c nbDecision=860500 #constraints=16473 271.87/272.01 c nbDecision=861000 #constraints=16483 272.57/272.80 c nbDecision=861500 #constraints=16513 273.17/273.32 c nbDecision=862000 #constraints=16534 273.67/273.84 c nbDecision=862500 #constraints=16555 274.07/274.21 c nbDecision=863000 #constraints=16567 274.37/274.51 c nbDecision=863500 #constraints=16575 274.67/274.80 c nbDecision=864000 #constraints=16584 274.87/275.02 c nbDecision=864500 #constraints=16593 275.07/275.25 c nbDecision=865000 #constraints=16602 275.37/275.53 c nbDecision=865500 #constraints=16612 275.57/275.79 c nbDecision=866000 #constraints=16622 275.97/276.11 c nbDecision=866500 #constraints=16634 276.56/276.74 c nbDecision=867000 #constraints=16656 277.46/277.65 c nbDecision=867500 #constraints=16692 278.17/278.31 c nbDecision=868000 #constraints=16721 278.56/278.72 c nbDecision=868500 #constraints=16745 278.86/279.02 c nbDecision=869000 #constraints=16758 279.86/280.00 c nbDecision=869500 #constraints=16791 280.66/280.83 c nbDecision=870000 #constraints=16822 281.26/281.44 c nbDecision=870500 #constraints=16846 281.86/282.03 c nbDecision=871000 #constraints=16871 282.36/282.57 c nbDecision=871500 #constraints=16888 282.86/283.07 c nbDecision=872000 #constraints=16903 283.56/283.80 c nbDecision=872500 #constraints=16926 284.36/284.57 c nbDecision=873000 #constraints=16949 284.96/285.11 c nbDecision=873500 #constraints=16970 285.36/285.56 c nbDecision=874000 #constraints=16987 286.06/286.23 c nbDecision=874500 #constraints=17008 286.66/286.87 c nbDecision=875000 #constraints=17029 287.26/287.41 c nbDecision=875500 #constraints=17046 287.66/287.88 c nbDecision=876000 #constraints=17061 288.26/288.46 c nbDecision=876500 #constraints=17078 288.66/288.85 c nbDecision=877000 #constraints=17089 288.96/289.20 c nbDecision=877500 #constraints=17100 289.26/289.49 c nbDecision=878000 #constraints=17109 289.66/289.81 c nbDecision=878500 #constraints=17119 289.96/290.16 c nbDecision=879000 #constraints=17130 290.26/290.45 c nbDecision=879500 #constraints=17143 290.76/290.92 c nbDecision=880000 #constraints=17160 291.36/291.51 c nbDecision=880500 #constraints=17178 291.76/291.95 c nbDecision=881000 #constraints=17194 292.26/292.49 c nbDecision=881500 #constraints=17210 292.66/292.84 c nbDecision=882000 #constraints=17220 292.95/293.20 c nbDecision=882500 #constraints=17232 293.25/293.48 c nbDecision=883000 #constraints=17241 293.66/293.84 c nbDecision=883500 #constraints=17252 294.06/294.21 c nbDecision=884000 #constraints=17263 294.36/294.51 c nbDecision=884500 #constraints=17273 294.76/294.96 c nbDecision=885000 #constraints=17288 295.16/295.33 c nbDecision=885500 #constraints=17299 295.56/295.70 c nbDecision=886000 #constraints=17311 296.16/296.32 c nbDecision=886500 #constraints=17333 296.56/296.76 c nbDecision=887000 #constraints=17346 296.96/297.18 c nbDecision=887500 #constraints=17357 297.26/297.44 c nbDecision=888000 #constraints=17364 297.66/297.83 c nbDecision=888500 #constraints=17378 297.97/298.17 c nbDecision=889000 #constraints=17390 298.36/298.54 c nbDecision=889500 #constraints=17404 298.76/298.95 c nbDecision=890000 #constraints=17416 299.16/299.32 c nbDecision=890500 #constraints=17429 299.56/299.71 c nbDecision=891000 #constraints=17441 299.86/300.05 c nbDecision=891500 #constraints=17452 300.26/300.40 c nbDecision=892000 #constraints=17464 300.66/300.81 c nbDecision=892500 #constraints=17477 301.66/301.87 c nbDecision=893000 #constraints=17511 302.16/302.36 c nbDecision=893500 #constraints=17524 302.66/302.88 c nbDecision=894000 #constraints=17541 303.26/303.42 c nbDecision=894500 #constraints=17561 303.76/303.93 c nbDecision=895000 #constraints=17586 304.06/304.29 c nbDecision=895500 #constraints=17604 304.46/304.66 c nbDecision=896000 #constraints=17614 305.16/305.34 c nbDecision=896500 #constraints=17637 305.56/305.71 c nbDecision=897000 #constraints=17648 306.06/306.23 c nbDecision=897500 #constraints=17662 306.56/306.80 c nbDecision=898000 #constraints=17678 307.06/307.22 c nbDecision=898500 #constraints=17694 307.76/307.99 c nbDecision=899000 #constraints=17715 309.06/309.29 c nbDecision=899500 #constraints=17760 309.65/309.84 c nbDecision=900000 #constraints=17781 310.06/310.27 c nbDecision=900500 #constraints=17796 310.65/310.83 c nbDecision=901000 #constraints=17812 311.35/311.55 c nbDecision=901500 #constraints=17832 312.05/312.22 c nbDecision=902000 #constraints=17849 312.55/312.71 c nbDecision=902500 #constraints=17861 313.05/313.27 c nbDecision=903000 #constraints=17882 313.65/313.82 c nbDecision=903500 #constraints=17899 314.05/314.27 c nbDecision=904000 #constraints=17914 314.55/314.73 c nbDecision=904500 #constraints=17924 315.35/315.57 c nbDecision=905000 #constraints=17948 316.05/316.24 c nbDecision=905500 #constraints=17964 316.85/317.09 c nbDecision=906000 #constraints=17995 317.35/317.55 c nbDecision=906500 #constraints=18013 317.85/318.00 c nbDecision=907000 #constraints=18027 318.25/318.47 c nbDecision=907500 #constraints=18039 318.65/318.82 c nbDecision=908000 #constraints=18051 318.95/319.15 c nbDecision=908500 #constraints=18061 319.35/319.56 c nbDecision=909000 #constraints=18077 319.65/319.88 c nbDecision=909500 #constraints=18089 320.65/320.80 c nbDecision=910000 #constraints=18116 321.55/321.77 c nbDecision=910500 #constraints=18139 321.95/322.12 c nbDecision=911000 #constraints=18152 322.25/322.43 c nbDecision=911500 #constraints=18164 322.64/322.85 c nbDecision=912000 #constraints=18180 323.04/323.22 c nbDecision=912500 #constraints=18192 323.34/323.52 c nbDecision=913000 #constraints=18204 323.64/323.85 c nbDecision=913500 #constraints=18214 323.84/324.07 c nbDecision=914000 #constraints=18224 325.24/325.42 c nbDecision=914500 #constraints=18256 326.04/326.21 c nbDecision=915000 #constraints=18275 326.74/326.91 c nbDecision=915500 #constraints=18289 327.55/327.74 c nbDecision=916000 #constraints=18311 327.84/328.07 c nbDecision=916500 #constraints=18321 328.04/328.29 c nbDecision=917000 #constraints=18329 328.34/328.57 c nbDecision=917500 #constraints=18339 328.54/328.80 c nbDecision=918000 #constraints=18348 328.94/329.11 c nbDecision=918500 #constraints=18361 329.14/329.33 c nbDecision=919000 #constraints=18371 329.44/329.62 c nbDecision=919500 #constraints=18380 329.64/329.86 c nbDecision=920000 #constraints=18390 330.54/330.71 c nbDecision=920500 #constraints=18412 331.24/331.43 c nbDecision=921000 #constraints=18432 331.94/332.13 c nbDecision=921500 #constraints=18451 332.64/332.87 c nbDecision=922000 #constraints=18469 333.14/333.30 c nbDecision=922500 #constraints=18482 333.64/333.85 c nbDecision=923000 #constraints=18496 334.14/334.40 c nbDecision=923500 #constraints=18510 334.44/334.65 c nbDecision=924000 #constraints=18519 334.74/334.95 c nbDecision=924500 #constraints=18531 335.04/335.22 c nbDecision=925000 #constraints=18542 335.34/335.53 c nbDecision=925500 #constraints=18554 335.54/335.72 c nbDecision=926000 #constraints=18561 335.74/335.97 c nbDecision=926500 #constraints=18570 336.04/336.27 c nbDecision=927000 #constraints=18581 336.34/336.59 c nbDecision=927500 #constraints=18593 336.74/336.92 c nbDecision=928000 #constraints=18607 337.14/337.36 c nbDecision=928500 #constraints=18622 337.44/337.63 c nbDecision=929000 #constraints=18632 337.84/338.01 c nbDecision=929500 #constraints=18647 338.14/338.37 c nbDecision=930000 #constraints=18660 338.54/338.76 c nbDecision=930500 #constraints=18674 338.94/339.12 c nbDecision=931000 #constraints=18686 339.34/339.50 c nbDecision=931500 #constraints=18700 339.64/339.85 c nbDecision=932000 #constraints=18714 340.04/340.23 c nbDecision=932500 #constraints=18729 340.84/341.09 c nbDecision=933000 #constraints=18753 341.84/342.03 c nbDecision=933500 #constraints=18784 342.44/342.61 c nbDecision=934000 #constraints=18801 343.04/343.20 c nbDecision=934500 #constraints=18819 343.64/343.80 c nbDecision=935000 #constraints=18837 344.05/344.21 c nbDecision=935500 #constraints=18849 344.54/344.75 c nbDecision=936000 #constraints=18865 345.25/345.41 c nbDecision=936500 #constraints=18889 346.04/346.25 c nbDecision=937000 #constraints=18919 346.34/346.55 c nbDecision=937500 #constraints=18930 346.84/347.06 c nbDecision=938000 #constraints=18949 347.54/347.77 c nbDecision=938500 #constraints=18969 348.44/348.70 c nbDecision=939000 #constraints=19001 348.74/348.91 c nbDecision=939500 #constraints=19009 348.94/349.13 c nbDecision=940000 #constraints=19020 349.34/349.52 c nbDecision=940500 #constraints=19031 349.74/349.94 c nbDecision=941000 #constraints=19042 350.14/350.34 c nbDecision=941500 #constraints=19054 350.94/351.10 c nbDecision=942000 #constraints=19075 351.54/351.77 c nbDecision=942500 #constraints=19092 352.04/352.20 c nbDecision=943000 #constraints=19112 352.24/352.44 c nbDecision=943500 #constraints=19125 352.84/353.05 c nbDecision=944000 #constraints=19143 353.34/353.54 c nbDecision=944500 #constraints=19158 354.24/354.42 c nbDecision=945000 #constraints=19185 354.54/354.74 c nbDecision=945500 #constraints=19196 355.24/355.44 c nbDecision=946000 #constraints=19219 355.84/356.09 c nbDecision=946500 #constraints=19237 356.54/356.80 c nbDecision=947000 #constraints=19260 357.04/357.24 c nbDecision=947500 #constraints=19275 357.54/357.76 c nbDecision=948000 #constraints=19294 358.14/358.30 c nbDecision=948500 #constraints=19309 358.84/359.03 c nbDecision=949000 #constraints=19329 359.24/359.50 c nbDecision=949500 #constraints=19341 359.93/360.14 c nbDecision=950000 #constraints=19359 360.83/361.09 c nbDecision=950500 #constraints=19384 361.53/361.78 c nbDecision=951000 #constraints=19403 362.53/362.74 c nbDecision=951500 #constraints=19428 363.33/363.58 c nbDecision=952000 #constraints=19451 364.03/364.27 c nbDecision=952500 #constraints=19469 365.10/365.30 c nbDecision=953000 #constraints=19496 366.01/366.29 c nbDecision=953500 #constraints=19522 366.80/367.01 c nbDecision=954000 #constraints=19542 367.30/367.58 c nbDecision=954500 #constraints=19560 367.90/368.14 c nbDecision=955000 #constraints=19576 368.50/368.73 c nbDecision=955500 #constraints=19594 368.90/369.14 c nbDecision=956000 #constraints=19605 368.90/369.18 c nbDecision=956500 #constraints=19605 369.00/369.21 c nbDecision=957000 #constraints=19605 369.10/369.36 c nbDecision=957500 #constraints=19606 369.20/369.42 c nbDecision=958000 #constraints=19606 369.20/369.45 c nbDecision=958500 #constraints=19606 369.20/369.48 c nbDecision=959000 #constraints=19606 370.19/370.42 c nbDecision=959500 #constraints=19640 370.59/370.86 c nbDecision=960000 #constraints=19655 371.19/371.40 c nbDecision=960500 #constraints=19674 371.50/371.78 c nbDecision=961000 #constraints=19689 372.49/372.76 c nbDecision=961500 #constraints=19728 373.19/373.48 c nbDecision=962000 #constraints=19755 373.69/373.94 c nbDecision=962500 #constraints=19776 374.19/374.47 c nbDecision=963000 #constraints=19790 374.69/374.97 c nbDecision=963500 #constraints=19802 375.09/375.38 c nbDecision=964000 #constraints=19815 375.48/375.74 c nbDecision=964500 #constraints=19826 375.99/376.23 c nbDecision=965000 #constraints=19838 376.27/376.54 c nbDecision=965500 #constraints=19844 376.57/376.87 c nbDecision=966000 #constraints=19850 376.98/377.28 c nbDecision=966500 #constraints=19861 377.37/377.65 c nbDecision=967000 #constraints=19872 377.77/378.03 c nbDecision=967500 #constraints=19882 378.08/378.31 c nbDecision=968000 #constraints=19889 378.37/378.64 c nbDecision=968500 #constraints=19898 378.67/378.97 c nbDecision=969000 #constraints=19909 379.07/379.33 c nbDecision=969500 #constraints=19923 379.47/379.76 c nbDecision=970000 #constraints=19940 379.76/380.02 c nbDecision=970500 #constraints=19950 380.06/380.38 c nbDecision=971000 #constraints=19961 380.46/380.75 c nbDecision=971500 #constraints=19971 380.66/380.99 c nbDecision=972000 #constraints=19978 380.96/381.26 c nbDecision=972500 #constraints=19989 381.47/381.73 c nbDecision=973000 #constraints=20004 381.86/382.17 c nbDecision=973500 #constraints=20017 382.16/382.48 c nbDecision=974000 #constraints=20025 382.57/382.85 c nbDecision=974500 #constraints=20036 382.86/383.18 c nbDecision=975000 #constraints=20049 383.26/383.53 c nbDecision=975500 #constraints=20061 383.67/383.97 c nbDecision=976000 #constraints=20075 384.16/384.45 c nbDecision=976500 #constraints=20089 384.76/385.02 c nbDecision=977000 #constraints=20108 385.25/385.55 c nbDecision=977500 #constraints=20123 385.65/385.94 c nbDecision=978000 #constraints=20135 386.15/386.42 c nbDecision=978500 #constraints=20149 386.45/386.70 c nbDecision=979000 #constraints=20158 386.95/387.21 c nbDecision=979500 #constraints=20174 387.25/387.53 c nbDecision=980000 #constraints=20186 387.65/387.93 c nbDecision=980500 #constraints=20199 388.34/388.68 c nbDecision=981000 #constraints=20224 388.84/389.10 c nbDecision=981500 #constraints=20238 389.35/389.69 c nbDecision=982000 #constraints=20257 389.65/389.99 c nbDecision=982500 #constraints=20268 390.15/390.43 c nbDecision=983000 #constraints=20287 390.45/390.77 c nbDecision=983500 #constraints=20300 390.75/391.06 c nbDecision=984000 #constraints=20311 391.24/391.55 c nbDecision=984500 #constraints=20322 391.84/392.11 c nbDecision=985000 #constraints=20337 392.44/392.73 c nbDecision=985500 #constraints=20355 393.14/393.48 c nbDecision=986000 #constraints=20374 393.74/394.04 c nbDecision=986500 #constraints=20392 394.14/394.42 c nbDecision=987000 #constraints=20406 394.44/394.74 c nbDecision=987500 #constraints=20414 395.04/395.33 c nbDecision=988000 #constraints=20430 395.44/395.75 c nbDecision=988500 #constraints=20445 395.84/396.11 c nbDecision=989000 #constraints=20459 396.14/396.41 c nbDecision=989500 #constraints=20470 396.44/396.74 c nbDecision=990000 #constraints=20483 397.04/397.31 c nbDecision=990500 #constraints=20497 397.53/397.81 c nbDecision=991000 #constraints=20507 398.03/398.36 c nbDecision=991500 #constraints=20522 398.43/398.72 c nbDecision=992000 #constraints=20534 399.04/399.30 c nbDecision=992500 #constraints=20553 399.53/399.86 c nbDecision=993000 #constraints=20569 400.23/400.55 c nbDecision=993500 #constraints=20590 400.73/401.03 c nbDecision=994000 #constraints=20604 401.63/401.92 c nbDecision=994500 #constraints=20627 402.03/402.30 c nbDecision=995000 #constraints=20638 402.43/402.72 c nbDecision=995500 #constraints=20650 402.93/403.29 c nbDecision=996000 #constraints=20664 403.33/403.66 c nbDecision=996500 #constraints=20677 403.73/404.03 c nbDecision=997000 #constraints=20690 404.03/404.38 c nbDecision=997500 #constraints=20702 404.73/405.06 c nbDecision=998000 #constraints=20720 405.53/405.87 c nbDecision=998500 #constraints=20742 405.93/406.24 c nbDecision=999000 #constraints=20753 406.73/407.02 c nbDecision=999500 #constraints=20774 407.33/407.67 c nbDecision=1000000 #constraints=20793 408.13/408.44 c nbDecision=1000500 #constraints=20814 408.53/408.88 c nbDecision=1001000 #constraints=20828 409.13/409.42 c nbDecision=1001500 #constraints=20846 409.42/409.77 c nbDecision=1002000 #constraints=20859 409.72/410.06 c nbDecision=1002500 #constraints=20870 410.22/410.57 c nbDecision=1003000 #constraints=20885 410.82/411.17 c nbDecision=1003500 #constraints=20904 411.42/411.77 c nbDecision=1004000 #constraints=20920 412.42/412.72 c nbDecision=1004500 #constraints=20942 412.92/413.26 c nbDecision=1005000 #constraints=20956 413.42/413.71 c nbDecision=1005500 #constraints=20968 413.82/414.16 c nbDecision=1006000 #constraints=20983 414.22/414.55 c nbDecision=1006500 #constraints=20995 414.52/414.89 c nbDecision=1007000 #constraints=21007 415.02/415.37 c nbDecision=1007500 #constraints=21021 415.41/415.75 c nbDecision=1008000 #constraints=21036 415.90/416.26 c nbDecision=1008500 #constraints=21051 416.40/416.76 c nbDecision=1009000 #constraints=21067 416.80/417.16 c nbDecision=1009500 #constraints=21081 417.20/417.56 c nbDecision=1010000 #constraints=21095 417.61/417.91 c nbDecision=1010500 #constraints=21109 418.00/418.35 c nbDecision=1011000 #constraints=21125 418.50/418.83 c nbDecision=1011500 #constraints=21140 418.90/419.28 c nbDecision=1012000 #constraints=21157 419.30/419.69 c nbDecision=1012500 #constraints=21173 420.20/420.53 c nbDecision=1013000 #constraints=21196 420.80/421.14 c nbDecision=1013500 #constraints=21212 421.10/421.49 c nbDecision=1014000 #constraints=21224 421.80/422.12 c nbDecision=1014500 #constraints=21241 422.20/422.50 c nbDecision=1015000 #constraints=21253 422.70/423.01 c nbDecision=1015500 #constraints=21270 423.20/423.50 c nbDecision=1016000 #constraints=21290 423.60/423.99 c nbDecision=1016500 #constraints=21308 424.30/424.62 c nbDecision=1017000 #constraints=21326 424.90/425.21 c nbDecision=1017500 #constraints=21342 425.40/425.72 c nbDecision=1018000 #constraints=21360 425.80/426.16 c nbDecision=1018500 #constraints=21376 426.40/426.76 c nbDecision=1019000 #constraints=21396 426.90/427.30 c nbDecision=1019500 #constraints=21414 427.50/427.83 c nbDecision=1020000 #constraints=21431 428.09/428.45 c nbDecision=1020500 #constraints=21445 428.70/429.04 c nbDecision=1021000 #constraints=21459 429.19/429.51 c nbDecision=1021500 #constraints=21474 429.70/430.10 c nbDecision=1022000 #constraints=21492 430.19/430.55 c nbDecision=1022500 #constraints=21508 430.69/431.00 c nbDecision=1023000 #constraints=21524 431.29/431.68 c nbDecision=1023500 #constraints=21543 432.00/432.33 c nbDecision=1024000 #constraints=21559 432.39/432.74 c nbDecision=1024500 #constraints=21570 432.89/433.22 c nbDecision=1025000 #constraints=21585 433.49/433.84 c nbDecision=1025500 #constraints=21600 434.20/434.55 c nbDecision=1026000 #constraints=21619 434.80/435.16 c nbDecision=1026500 #constraints=21636 435.40/435.72 c nbDecision=1027000 #constraints=21652 436.60/436.93 c nbDecision=1027500 #constraints=21708 437.10/437.41 c nbDecision=1028000 #constraints=21728 437.50/437.82 c nbDecision=1028500 #constraints=21746 438.10/438.48 c nbDecision=1029000 #constraints=21764 438.60/438.90 c nbDecision=1029500 #constraints=21777 438.90/439.22 c nbDecision=1030000 #constraints=21788 439.20/439.56 c nbDecision=1030500 #constraints=21802 439.70/440.02 c nbDecision=1031000 #constraints=21815 440.50/440.86 c nbDecision=1031500 #constraints=21836 440.80/441.19 c nbDecision=1032000 #constraints=21848 441.20/441.60 c nbDecision=1032500 #constraints=21861 441.70/442.04 c nbDecision=1033000 #constraints=21874 442.10/442.45 c nbDecision=1033500 #constraints=21887 442.50/442.86 c nbDecision=1034000 #constraints=21898 442.80/443.18 c nbDecision=1034500 #constraints=21908 443.40/443.76 c nbDecision=1035000 #constraints=21927 443.90/444.23 c nbDecision=1035500 #constraints=21939 445.00/445.30 c nbDecision=1036000 #constraints=21970 445.69/446.03 c nbDecision=1036500 #constraints=21998 446.20/446.53 c nbDecision=1037000 #constraints=22013 446.59/446.91 c nbDecision=1037500 #constraints=22025 446.89/447.27 c nbDecision=1038000 #constraints=22037 448.40/448.76 c nbDecision=1038500 #constraints=22076 449.89/450.20 c nbDecision=1039000 #constraints=22136 450.49/450.81 c nbDecision=1039500 #constraints=22160 450.99/451.34 c nbDecision=1040000 #constraints=22178 451.59/451.98 c nbDecision=1040500 #constraints=22198 452.69/453.03 c nbDecision=1041000 #constraints=22224 453.29/453.63 c nbDecision=1041500 #constraints=22240 453.79/454.10 c nbDecision=1042000 #constraints=22250 454.29/454.64 c nbDecision=1042500 #constraints=22268 454.79/455.13 c nbDecision=1043000 #constraints=22282 455.29/455.60 c nbDecision=1043500 #constraints=22296 455.89/456.28 c nbDecision=1044000 #constraints=22313 456.39/456.77 c nbDecision=1044500 #constraints=22326 456.99/457.31 c nbDecision=1045000 #constraints=22341 457.49/457.82 c nbDecision=1045500 #constraints=22356 457.89/458.25 c nbDecision=1046000 #constraints=22370 458.39/458.77 c nbDecision=1046500 #constraints=22385 458.89/459.22 c nbDecision=1047000 #constraints=22400 459.29/459.68 c nbDecision=1047500 #constraints=22414 459.89/460.27 c nbDecision=1048000 #constraints=22433 460.49/460.81 c nbDecision=1048500 #constraints=22449 460.99/461.36 c nbDecision=1049000 #constraints=22466 461.39/461.75 c nbDecision=1049500 #constraints=22476 461.89/462.25 c nbDecision=1050000 #constraints=22487 462.89/463.25 c nbDecision=1050500 #constraints=22514 463.49/463.80 c nbDecision=1051000 #constraints=22531 463.80/464.15 c nbDecision=1051500 #constraints=22546 464.29/464.69 c nbDecision=1052000 #constraints=22560 464.79/465.15 c nbDecision=1052500 #constraints=22569 464.90/465.21 c nbDecision=1053000 #constraints=22569 464.90/465.25 c nbDecision=1053500 #constraints=22569 464.90/465.28 c nbDecision=1054000 #constraints=22569 466.29/466.67 c nbDecision=1054500 #constraints=22598 467.09/467.49 c nbDecision=1055000 #constraints=22614 467.69/468.04 c nbDecision=1055500 #constraints=22627 467.99/468.38 c nbDecision=1056000 #constraints=22633 469.09/469.46 c nbDecision=1056500 #constraints=22654 469.69/470.01 c nbDecision=1057000 #constraints=22667 470.19/470.52 c nbDecision=1057500 #constraints=22678 470.39/470.80 c nbDecision=1058000 #constraints=22683 470.49/470.82 c nbDecision=1058500 #constraints=22683 470.99/471.38 c nbDecision=1059000 #constraints=22692 471.59/471.94 c nbDecision=1059500 #constraints=22703 472.59/472.90 c nbDecision=1060000 #constraints=22722 473.39/473.77 c nbDecision=1060500 #constraints=22738 473.89/474.27 c nbDecision=1061000 #constraints=22747 474.79/475.16 c nbDecision=1061500 #constraints=22764 475.49/475.85 c nbDecision=1062000 #constraints=22779 476.39/476.70 c nbDecision=1062500 #constraints=22795 476.99/477.31 c nbDecision=1063000 #constraints=22807 477.69/478.02 c nbDecision=1063500 #constraints=22820 478.19/478.54 c nbDecision=1064000 #constraints=22828 478.69/479.08 c nbDecision=1064500 #constraints=22838 482.18/482.58 c nbDecision=1065000 #constraints=22884 484.48/484.82 c nbDecision=1065500 #constraints=22926 485.48/485.85 c nbDecision=1066000 #constraints=22947 486.08/486.47 c nbDecision=1066500 #constraints=22962 486.48/486.89 c nbDecision=1067000 #constraints=22973 487.28/487.63 c nbDecision=1067500 #constraints=22988 487.98/488.32 c nbDecision=1068000 #constraints=23001 488.98/489.36 c nbDecision=1068500 #constraints=23026 490.28/490.61 c nbDecision=1069000 #constraints=23051 490.98/491.31 c nbDecision=1069500 #constraints=23064 492.68/493.01 c nbDecision=1070000 #constraints=23103 493.58/493.99 c nbDecision=1070500 #constraints=23125 497.58/497.92 c nbDecision=1071000 #constraints=23174 499.48/499.81 c nbDecision=1071500 #constraints=23199 501.28/501.68 c nbDecision=1072000 #constraints=23221 502.08/502.41 c nbDecision=1072500 #constraints=23240 504.58/504.92 c nbDecision=1073000 #constraints=23295 507.57/507.96 c nbDecision=1073500 #constraints=23378 509.27/509.64 c nbDecision=1074000 #constraints=23414 510.07/510.47 c nbDecision=1074500 #constraints=23432 510.57/510.98 c nbDecision=1075000 #constraints=23445 511.27/511.69 c nbDecision=1075500 #constraints=23460 511.97/512.39 c nbDecision=1076000 #constraints=23480 512.47/512.83 c nbDecision=1076500 #constraints=23492 512.77/513.20 c nbDecision=1077000 #constraints=23503 513.37/513.70 c nbDecision=1077500 #constraints=23519 514.37/514.74 c nbDecision=1078000 #constraints=23544 515.37/515.70 c nbDecision=1078500 #constraints=23567 515.87/516.23 c nbDecision=1079000 #constraints=23580 516.57/516.97 c nbDecision=1079500 #constraints=23598 517.67/518.01 c nbDecision=1080000 #constraints=23630 518.37/518.71 c nbDecision=1080500 #constraints=23645 518.97/519.36 c nbDecision=1081000 #constraints=23662 520.27/520.61 c nbDecision=1081500 #constraints=23691 521.07/521.47 c nbDecision=1082000 #constraints=23714 521.97/522.31 c nbDecision=1082500 #constraints=23734 523.28/523.60 c nbDecision=1083000 #constraints=23769 524.28/524.60 c nbDecision=1083500 #constraints=23791 525.57/525.90 c nbDecision=1084000 #constraints=23819 526.17/526.54 c nbDecision=1084500 #constraints=23833 526.87/527.20 c nbDecision=1085000 #constraints=23846 527.87/528.28 c nbDecision=1085500 #constraints=23869 528.87/529.26 c nbDecision=1086000 #constraints=23889 529.67/530.07 c nbDecision=1086500 #constraints=23907 530.47/530.81 c nbDecision=1087000 #constraints=23922 530.97/531.33 c nbDecision=1087500 #constraints=23935 531.97/532.40 c nbDecision=1088000 #constraints=23955 533.87/534.26 c nbDecision=1088500 #constraints=23990 535.37/535.73 c nbDecision=1089000 #constraints=24014 535.37/535.79 c nbDecision=1089500 #constraints=24014 535.47/535.83 c nbDecision=1090000 #constraints=24014 535.47/535.86 c nbDecision=1090500 #constraints=24014 537.27/537.63 c nbDecision=1091000 #constraints=24048 539.26/539.65 c nbDecision=1091500 #constraints=24091 540.96/541.36 c nbDecision=1092000 #constraints=24126 541.97/542.37 c nbDecision=1092500 #constraints=24148 542.76/543.19 c nbDecision=1093000 #constraints=24167 543.66/544.00 c nbDecision=1093500 #constraints=24183 543.76/544.12 c nbDecision=1094000 #constraints=24184 543.76/544.19 c nbDecision=1094500 #constraints=24184 543.86/544.22 c nbDecision=1095000 #constraints=24184 543.86/544.25 c nbDecision=1095500 #constraints=24184 545.56/545.93 c nbDecision=1096000 #constraints=24223 546.36/546.77 c nbDecision=1096500 #constraints=24245 547.16/547.59 c nbDecision=1097000 #constraints=24266 548.36/548.75 c nbDecision=1097500 #constraints=24296 550.46/550.82 c nbDecision=1098000 #constraints=24339 551.46/551.86 c nbDecision=1098500 #constraints=24366 553.36/553.73 c nbDecision=1099000 #constraints=24404 554.66/555.07 c nbDecision=1099500 #constraints=24440 555.96/556.31 c nbDecision=1100000 #constraints=24464 556.56/556.97 c nbDecision=1100500 #constraints=24479 557.36/557.78 c nbDecision=1101000 #constraints=24497 558.15/558.58 c nbDecision=1101500 #constraints=24515 559.65/560.01 c nbDecision=1102000 #constraints=24543 560.76/561.19 c nbDecision=1102500 #constraints=24572 562.36/562.74 c nbDecision=1103000 #constraints=24614 564.46/564.82 c nbDecision=1103500 #constraints=24664 566.26/566.69 c nbDecision=1104000 #constraints=24699 568.16/568.51 c nbDecision=1104500 #constraints=24734 570.06/570.40 c nbDecision=1105000 #constraints=24770 571.26/571.61 c nbDecision=1105500 #constraints=24795 573.56/573.99 c nbDecision=1106000 #constraints=24840 574.96/575.33 c nbDecision=1106500 #constraints=24865 575.76/576.15 c nbDecision=1107000 #constraints=24879 576.56/576.98 c nbDecision=1107500 #constraints=24893 577.36/577.78 c nbDecision=1108000 #constraints=24907 578.85/579.23 c nbDecision=1108500 #constraints=24931 580.25/580.69 c nbDecision=1109000 #constraints=24954 581.25/581.63 c nbDecision=1109500 #constraints=24971 582.45/582.84 c nbDecision=1110000 #constraints=24994 583.25/583.64 c nbDecision=1110500 #constraints=25008 584.15/584.58 c nbDecision=1111000 #constraints=25025 585.86/586.25 c nbDecision=1111500 #constraints=25051 586.85/587.23 c nbDecision=1112000 #constraints=25073 588.25/588.70 c nbDecision=1112500 #constraints=25095 589.35/589.73 c nbDecision=1113000 #constraints=25111 590.95/591.36 c nbDecision=1113500 #constraints=25146 591.75/592.18 c nbDecision=1114000 #constraints=25161 592.45/592.88 c nbDecision=1114500 #constraints=25175 594.85/595.22 c nbDecision=1115000 #constraints=25221 595.55/595.99 c nbDecision=1115500 #constraints=25242 596.85/597.21 c nbDecision=1116000 #constraints=25266 599.05/599.41 c nbDecision=1116500 #constraints=25302 600.65/601.09 c nbDecision=1117000 #constraints=25339 601.44/601.88 c nbDecision=1117500 #constraints=25353 602.24/602.63 c nbDecision=1118000 #constraints=25366 603.04/603.45 c nbDecision=1118500 #constraints=25379 604.14/604.54 c nbDecision=1119000 #constraints=25397 605.04/605.40 c nbDecision=1119500 #constraints=25411 606.04/606.45 c nbDecision=1120000 #constraints=25430 607.44/607.83 c nbDecision=1120500 #constraints=25459 609.35/609.73 c nbDecision=1121000 #constraints=25490 611.05/611.47 c nbDecision=1121500 #constraints=25516 612.55/612.91 c nbDecision=1122000 #constraints=25539 613.65/614.08 c nbDecision=1122500 #constraints=25559 615.15/615.53 c nbDecision=1123000 #constraints=25583 616.85/617.27 c nbDecision=1123500 #constraints=25608 618.05/618.42 c nbDecision=1124000 #constraints=25626 619.74/620.19 c nbDecision=1124500 #constraints=25652 621.15/621.59 c nbDecision=1125000 #constraints=25675 623.64/624.02 c nbDecision=1125500 #constraints=25728 627.24/627.67 c nbDecision=1126000 #constraints=25782 629.44/629.85 c nbDecision=1126500 #constraints=25810 631.84/632.29 c nbDecision=1127000 #constraints=25841 633.64/634.08 c nbDecision=1127500 #constraints=25868 634.74/635.18 c nbDecision=1128000 #constraints=25882 636.64/637.04 c nbDecision=1128500 #constraints=25906 637.84/638.26 c nbDecision=1129000 #constraints=25923 639.44/639.87 c nbDecision=1129500 #constraints=25943 641.34/641.78 c nbDecision=1130000 #constraints=25973 641.74/642.17 c nbDecision=1130500 #constraints=25976 641.84/642.24 c nbDecision=1131000 #constraints=25976 641.84/642.28 c nbDecision=1131500 #constraints=25976 641.94/642.31 c nbDecision=1132000 #constraints=25976 642.04/642.47 c nbDecision=1132500 #constraints=25977 642.14/642.55 c nbDecision=1133000 #constraints=25977 642.14/642.60 c nbDecision=1133500 #constraints=25977 642.24/642.63 c nbDecision=1134000 #constraints=25977 642.94/643.38 c nbDecision=1134500 #constraints=25991 644.74/645.13 c nbDecision=1135000 #constraints=26025 646.34/646.78 c nbDecision=1135500 #constraints=26050 647.44/647.90 c nbDecision=1136000 #constraints=26069 648.33/648.70 c nbDecision=1136500 #constraints=26082 649.64/650.07 c nbDecision=1137000 #constraints=26103 650.53/650.94 c nbDecision=1137500 #constraints=26118 651.33/651.71 c nbDecision=1138000 #constraints=26132 652.13/652.53 c nbDecision=1138500 #constraints=26146 653.33/653.75 c nbDecision=1139000 #constraints=26164 654.43/654.81 c nbDecision=1139500 #constraints=26182 655.63/656.04 c nbDecision=1140000 #constraints=26201 657.23/657.63 c nbDecision=1140500 #constraints=26225 658.63/659.00 c nbDecision=1141000 #constraints=26245 660.13/660.54 c nbDecision=1141500 #constraints=26274 661.13/661.53 c nbDecision=1142000 #constraints=26293 662.33/662.78 c nbDecision=1142500 #constraints=26314 663.83/664.23 c nbDecision=1143000 #constraints=26337 665.83/666.20 c nbDecision=1143500 #constraints=26365 667.12/667.57 c nbDecision=1144000 #constraints=26382 668.72/669.19 c nbDecision=1144500 #constraints=26409 672.32/672.79 c nbDecision=1145000 #constraints=26461 674.42/674.83 c nbDecision=1145500 #constraints=26492 676.13/676.50 c nbDecision=1146000 #constraints=26519 677.72/678.13 c nbDecision=1146500 #constraints=26541 678.92/679.38 c nbDecision=1147000 #constraints=26563 681.12/681.58 c nbDecision=1147500 #constraints=26597 683.53/683.93 c nbDecision=1148000 #constraints=26627 684.93/685.38 c nbDecision=1148500 #constraints=26648 687.13/687.56 c nbDecision=1149000 #constraints=26677 689.43/689.80 c nbDecision=1149500 #constraints=26711 691.73/692.11 c nbDecision=1150000 #constraints=26753 693.13/693.53 c nbDecision=1150500 #constraints=26778 694.03/694.49 c nbDecision=1151000 #constraints=26793 695.03/695.48 c nbDecision=1151500 #constraints=26808 696.03/696.47 c nbDecision=1152000 #constraints=26825 697.32/697.74 c nbDecision=1152500 #constraints=26848 698.92/699.30 c nbDecision=1153000 #constraints=26877 699.62/700.06 c nbDecision=1153500 #constraints=26889 700.82/701.27 c nbDecision=1154000 #constraints=26908 701.82/702.29 c nbDecision=1154500 #constraints=26927 704.62/705.07 c nbDecision=1155000 #constraints=26969 706.02/706.45 c nbDecision=1155500 #constraints=26987 707.52/707.94 c nbDecision=1156000 #constraints=27009 709.12/709.59 c nbDecision=1156500 #constraints=27038 710.72/711.17 c nbDecision=1157000 #constraints=27063 712.02/712.48 c nbDecision=1157500 #constraints=27085 713.62/714.08 c nbDecision=1158000 #constraints=27113 715.32/715.76 c nbDecision=1158500 #constraints=27150 716.92/717.34 c nbDecision=1159000 #constraints=27180 718.22/718.63 c nbDecision=1159500 #constraints=27206 719.51/719.99 c nbDecision=1160000 #constraints=27236 721.81/722.28 c nbDecision=1160500 #constraints=27273 724.31/724.75 c nbDecision=1161000 #constraints=27310 726.62/727.09 c nbDecision=1161500 #constraints=27349 729.21/729.64 c nbDecision=1162000 #constraints=27391 731.21/731.68 c nbDecision=1162500 #constraints=27431 733.31/733.75 c nbDecision=1163000 #constraints=27460 734.51/734.97 c nbDecision=1163500 #constraints=27486 735.81/736.29 c nbDecision=1164000 #constraints=27508 738.11/738.51 c nbDecision=1164500 #constraints=27542 739.51/739.99 c nbDecision=1165000 #constraints=27574 741.11/741.59 c nbDecision=1165500 #constraints=27595 742.61/743.07 c nbDecision=1166000 #constraints=27617 743.51/743.95 c nbDecision=1166500 #constraints=27630 745.11/745.52 c nbDecision=1167000 #constraints=27653 747.11/747.54 c nbDecision=1167500 #constraints=27682 748.41/748.86 c nbDecision=1168000 #constraints=27702 749.51/749.91 c nbDecision=1168500 #constraints=27725 750.71/751.17 c nbDecision=1169000 #constraints=27742 752.61/753.04 c nbDecision=1169500 #constraints=27767 754.41/754.81 c nbDecision=1170000 #constraints=27789 755.51/755.94 c nbDecision=1170500 #constraints=27809 756.41/756.81 c nbDecision=1171000 #constraints=27827 758.21/758.68 c nbDecision=1171500 #constraints=27852 759.31/759.73 c nbDecision=1172000 #constraints=27866 760.51/760.90 c nbDecision=1172500 #constraints=27884 761.31/761.70 c nbDecision=1173000 #constraints=27899 762.51/762.91 c nbDecision=1173500 #constraints=27917 764.01/764.42 c nbDecision=1174000 #constraints=27942 765.51/765.91 c nbDecision=1174500 #constraints=27967 767.21/767.61 c nbDecision=1175000 #constraints=27996 768.41/768.87 c nbDecision=1175500 #constraints=28015 770.20/770.66 c nbDecision=1176000 #constraints=28041 771.71/772.10 c nbDecision=1176500 #constraints=28063 774.20/774.68 c nbDecision=1177000 #constraints=28100 776.00/776.42 c nbDecision=1177500 #constraints=28122 778.20/778.64 c nbDecision=1178000 #constraints=28152 780.20/780.67 c nbDecision=1178500 #constraints=28179 781.30/781.77 c nbDecision=1179000 #constraints=28198 782.81/783.27 c nbDecision=1179500 #constraints=28222 785.90/786.30 c nbDecision=1180000 #constraints=28266 788.10/788.54 c nbDecision=1180500 #constraints=28302 790.00/790.49 c nbDecision=1181000 #constraints=28331 791.70/792.16 c nbDecision=1181500 #constraints=28362 793.80/794.21 c nbDecision=1182000 #constraints=28396 795.20/795.61 c nbDecision=1182500 #constraints=28421 797.00/797.47 c nbDecision=1183000 #constraints=28452 800.00/800.49 c nbDecision=1183500 #constraints=28504 802.30/802.73 c nbDecision=1184000 #constraints=28537 804.19/804.66 c nbDecision=1184500 #constraints=28568 806.09/806.56 c nbDecision=1185000 #constraints=28599 808.59/809.02 c nbDecision=1185500 #constraints=28637 811.79/812.24 c nbDecision=1186000 #constraints=28687 813.60/814.09 c nbDecision=1186500 #constraints=28714 815.19/815.68 c nbDecision=1187000 #constraints=28742 816.29/816.77 c nbDecision=1187500 #constraints=28760 817.59/818.01 c nbDecision=1188000 #constraints=28781 819.19/819.69 c nbDecision=1188500 #constraints=28815 820.99/821.42 c nbDecision=1189000 #constraints=28848 822.29/822.71 c nbDecision=1189500 #constraints=28871 822.98/823.43 c nbDecision=1190000 #constraints=28888 824.08/824.56 c nbDecision=1190500 #constraints=28911 825.28/825.72 c nbDecision=1191000 #constraints=28936 826.29/826.78 c nbDecision=1191500 #constraints=28957 827.09/827.58 c nbDecision=1192000 #constraints=28971 828.19/828.65 c nbDecision=1192500 #constraints=28991 831.49/831.91 c nbDecision=1193000 #constraints=29054 833.49/833.95 c nbDecision=1193500 #constraints=29091 834.69/835.17 c nbDecision=1194000 #constraints=29113 835.99/836.47 c nbDecision=1194500 #constraints=29132 837.38/837.83 c nbDecision=1195000 #constraints=29157 838.89/839.37 c nbDecision=1195500 #constraints=29183 840.99/841.45 c nbDecision=1196000 #constraints=29217 842.38/842.86 c nbDecision=1196500 #constraints=29237 843.88/844.39 c nbDecision=1197000 #constraints=29265 845.68/846.10 c nbDecision=1197500 #constraints=29296 848.68/849.13 c nbDecision=1198000 #constraints=29348 851.58/852.04 c nbDecision=1198500 #constraints=29389 854.18/854.61 c nbDecision=1199000 #constraints=29426 855.68/856.12 c nbDecision=1199500 #constraints=29446 857.58/858.05 c nbDecision=1200000 #constraints=29475 860.97/861.44 c nbDecision=1200500 #constraints=29527 865.28/865.71 c nbDecision=1201000 #constraints=29594 867.27/867.72 c nbDecision=1201500 #constraints=29625 869.28/869.78 c nbDecision=1202000 #constraints=29665 874.28/874.73 c nbDecision=1202500 #constraints=29730 877.28/877.70 c nbDecision=1203000 #constraints=29764 881.27/881.74 c nbDecision=1203500 #constraints=29820 882.67/883.12 c nbDecision=1204000 #constraints=29840 884.07/884.50 c nbDecision=1204500 #constraints=29861 887.67/888.12 c nbDecision=1205000 #constraints=29908 891.27/891.79 c nbDecision=1205500 #constraints=29960 892.87/893.39 c nbDecision=1206000 #constraints=29982 896.57/897.04 c nbDecision=1206500 #constraints=30033 900.67/901.11 c nbDecision=1207000 #constraints=30097 903.27/903.76 c nbDecision=1207500 #constraints=30147 904.46/904.92 c nbDecision=1208000 #constraints=30172 905.27/905.77 c nbDecision=1208500 #constraints=30185 905.97/906.44 c nbDecision=1209000 #constraints=30192 908.17/908.66 c nbDecision=1209500 #constraints=30221 910.46/910.93 c nbDecision=1210000 #constraints=30252 913.36/913.83 c nbDecision=1210500 #constraints=30289 914.96/915.43 c nbDecision=1211000 #constraints=30312 917.56/918.01 c nbDecision=1211500 #constraints=30345 920.16/920.69 c nbDecision=1212000 #constraints=30375 922.06/922.53 c nbDecision=1212500 #constraints=30397 923.86/924.33 c nbDecision=1213000 #constraints=30419 928.06/928.52 c nbDecision=1213500 #constraints=30473 930.06/930.57 c nbDecision=1214000 #constraints=30501 932.55/933.02 c nbDecision=1214500 #constraints=30532 935.26/935.72 c nbDecision=1215000 #constraints=30570 938.66/939.16 c nbDecision=1215500 #constraints=30615 941.46/941.90 c nbDecision=1216000 #constraints=30650 944.06/944.60 c nbDecision=1216500 #constraints=30686 945.56/946.04 c nbDecision=1217000 #constraints=30705 947.56/948.03 c nbDecision=1217500 #constraints=30732 949.96/950.45 c nbDecision=1218000 #constraints=30768 951.76/952.22 c nbDecision=1218500 #constraints=30791 953.56/954.02 c nbDecision=1219000 #constraints=30815 955.16/955.62 c nbDecision=1219500 #constraints=30835 957.66/958.12 c nbDecision=1220000 #constraints=30875 958.45/958.90 c nbDecision=1220500 #constraints=30891 960.35/960.80 c nbDecision=1221000 #constraints=30929 961.85/962.30 c nbDecision=1221500 #constraints=30954 962.85/963.30 c nbDecision=1222000 #constraints=30971 963.75/964.28 c nbDecision=1222500 #constraints=30990 964.65/965.13 c nbDecision=1223000 #constraints=31006 965.45/965.99 c nbDecision=1223500 #constraints=31026 966.55/967.09 c nbDecision=1224000 #constraints=31048 967.65/968.18 c nbDecision=1224500 #constraints=31070 968.65/969.16 c nbDecision=1225000 #constraints=31091 969.85/970.38 c nbDecision=1225500 #constraints=31114 970.95/971.42 c nbDecision=1226000 #constraints=31135 974.75/975.26 c nbDecision=1226500 #constraints=31198 976.45/976.99 c nbDecision=1227000 #constraints=31224 978.95/979.41 c nbDecision=1227500 #constraints=31264 979.85/980.36 c nbDecision=1228000 #constraints=31285 982.05/982.55 c nbDecision=1228500 #constraints=31324 983.14/983.64 c nbDecision=1229000 #constraints=31348 985.24/985.76 c nbDecision=1229500 #constraints=31378 986.74/987.27 c nbDecision=1230000 #constraints=31404 988.24/988.77 c nbDecision=1230500 #constraints=31427 990.94/991.41 c nbDecision=1231000 #constraints=31461 993.34/993.86 c nbDecision=1231500 #constraints=31488 997.74/998.24 c nbDecision=1232000 #constraints=31557 1000.64/1001.15 c nbDecision=1232500 #constraints=31604 1002.64/1003.18 c nbDecision=1233000 #constraints=31633 1005.24/1005.70 c nbDecision=1233500 #constraints=31664 1007.34/1007.87 c nbDecision=1234000 #constraints=31691 1008.94/1009.40 c nbDecision=1234500 #constraints=31715 1010.54/1011.03 c nbDecision=1235000 #constraints=31733 1010.64/1011.10 c nbDecision=1235500 #constraints=31733 1010.64/1011.16 c nbDecision=1236000 #constraints=31733 1010.64/1011.19 c nbDecision=1236500 #constraints=31733 1013.64/1014.10 c nbDecision=1237000 #constraints=31777 1016.34/1016.89 c nbDecision=1237500 #constraints=31821 1018.24/1018.79 c nbDecision=1238000 #constraints=31857 1019.54/1020.07 c nbDecision=1238500 #constraints=31883 1021.84/1022.37 c nbDecision=1239000 #constraints=31921 1023.84/1024.40 c nbDecision=1239500 #constraints=31949 1025.84/1026.37 c nbDecision=1240000 #constraints=31979 1027.83/1028.37 c nbDecision=1240500 #constraints=32006 1030.03/1030.58 c nbDecision=1241000 #constraints=32035 1034.54/1035.04 c nbDecision=1241500 #constraints=32104 1037.13/1037.66 c nbDecision=1242000 #constraints=32141 1040.53/1041.03 c nbDecision=1242500 #constraints=32186 1043.53/1044.00 c nbDecision=1243000 #constraints=32232 1044.93/1045.47 c nbDecision=1243500 #constraints=32257 1046.23/1046.78 c nbDecision=1244000 #constraints=32274 1046.33/1046.87 c nbDecision=1244500 #constraints=32274 1046.43/1046.94 c nbDecision=1245000 #constraints=32274 1046.43/1046.98 c nbDecision=1245500 #constraints=32274 1046.53/1047.01 c nbDecision=1246000 #constraints=32274 1051.03/1051.55 c nbDecision=1246500 #constraints=32342 1053.02/1053.54 c nbDecision=1247000 #constraints=32370 1056.02/1056.56 c nbDecision=1247500 #constraints=32407 1057.92/1058.47 c nbDecision=1248000 #constraints=32432 1062.43/1062.99 c nbDecision=1248500 #constraints=32491 1066.53/1067.09 c nbDecision=1249000 #constraints=32540 1070.13/1070.60 c nbDecision=1249500 #constraints=32576 1073.33/1073.83 c nbDecision=1250000 #constraints=32607 1077.83/1078.37 c nbDecision=1250500 #constraints=32666 1080.62/1081.12 c nbDecision=1251000 #constraints=32699 1085.32/1085.88 c nbDecision=1251500 #constraints=32764 1090.22/1090.75 c nbDecision=1252000 #constraints=32809 1093.92/1094.42 c nbDecision=1252500 #constraints=32840 1096.92/1097.46 c nbDecision=1253000 #constraints=32870 1102.02/1102.51 c nbDecision=1253500 #constraints=32922 1104.32/1104.80 c nbDecision=1254000 #constraints=32943 1106.32/1106.88 c nbDecision=1254500 #constraints=32963 1110.01/1110.58 c nbDecision=1255000 #constraints=33016 1111.81/1112.33 c nbDecision=1255500 #constraints=33055 1112.91/1113.44 c nbDecision=1256000 #constraints=33079 1113.82/1114.37 c nbDecision=1256500 #constraints=33098 1117.31/1117.82 c nbDecision=1257000 #constraints=33149 1121.11/1121.60 c nbDecision=1257500 #constraints=33202 1123.91/1124.49 c nbDecision=1258000 #constraints=33243 1127.71/1128.25 c nbDecision=1258500 #constraints=33293 1129.91/1130.42 c nbDecision=1259000 #constraints=33326 1132.10/1132.68 c nbDecision=1259500 #constraints=33361 1134.00/1134.54 c nbDecision=1260000 #constraints=33389 1135.81/1136.38 c nbDecision=1260500 #constraints=33419 1138.30/1138.89 c nbDecision=1261000 #constraints=33454 1141.21/1141.79 c nbDecision=1261500 #constraints=33498 1143.51/1144.01 c nbDecision=1262000 #constraints=33529 1145.50/1146.01 c nbDecision=1262500 #constraints=33556 1148.60/1149.14 c nbDecision=1263000 #constraints=33597 1150.10/1150.64 c nbDecision=1263500 #constraints=33618 1152.80/1153.33 c nbDecision=1264000 #constraints=33653 1154.90/1155.47 c nbDecision=1264500 #constraints=33682 1157.60/1158.12 c nbDecision=1265000 #constraints=33724 1160.00/1160.55 c nbDecision=1265500 #constraints=33753 1161.40/1161.96 c nbDecision=1266000 #constraints=33769 1163.70/1164.26 c nbDecision=1266500 #constraints=33797 1167.80/1168.33 c nbDecision=1267000 #constraints=33850 1171.00/1171.52 c nbDecision=1267500 #constraints=33894 1176.10/1176.60 c nbDecision=1268000 #constraints=33963 1179.50/1180.03 c nbDecision=1268500 #constraints=34001 1181.79/1182.37 c nbDecision=1269000 #constraints=34040 1184.59/1185.16 c nbDecision=1269500 #constraints=34075 1186.40/1186.97 c nbDecision=1270000 #constraints=34102 1188.29/1188.87 c nbDecision=1270500 #constraints=34132 1190.89/1191.49 c nbDecision=1271000 #constraints=34163 1193.19/1193.74 c nbDecision=1271500 #constraints=34196 1195.89/1196.42 c nbDecision=1272000 #constraints=34235 1199.49/1200.07 c nbDecision=1272500 #constraints=34278 1204.08/1204.66 c nbDecision=1273000 #constraints=34340 1206.98/1207.58 c nbDecision=1273500 #constraints=34388 1210.18/1210.79 c nbDecision=1274000 #constraints=34428 1212.58/1213.10 c nbDecision=1274500 #constraints=34458 1215.08/1215.68 c nbDecision=1275000 #constraints=34495 1216.29/1216.83 c nbDecision=1275500 #constraints=34517 1218.09/1218.69 c nbDecision=1276000 #constraints=34547 1219.49/1220.08 c nbDecision=1276500 #constraints=34570 1220.89/1221.41 c nbDecision=1277000 #constraints=34597 1223.09/1223.68 c nbDecision=1277500 #constraints=34633 1225.58/1226.13 c nbDecision=1278000 #constraints=34671 1227.09/1227.63 c nbDecision=1278500 #constraints=34696 1228.98/1229.54 c nbDecision=1279000 #constraints=34720 1231.88/1232.49 c nbDecision=1279500 #constraints=34757 1235.28/1235.87 c nbDecision=1280000 #constraints=34807 1238.48/1239.10 c nbDecision=1280500 #constraints=34855 1241.18/1241.78 c nbDecision=1281000 #constraints=34898 1243.48/1244.09 c nbDecision=1281500 #constraints=34941 1247.18/1247.76 c nbDecision=1282000 #constraints=34999 1248.87/1249.50 c nbDecision=1282500 #constraints=35028 1251.18/1251.78 c nbDecision=1283000 #constraints=35062 1254.58/1255.12 c nbDecision=1283500 #constraints=35106 1255.87/1256.47 c nbDecision=1284000 #constraints=35123 1257.67/1258.27 c nbDecision=1284500 #constraints=35157 1259.17/1259.75 c nbDecision=1285000 #constraints=35183 1260.87/1261.49 c nbDecision=1285500 #constraints=35211 1262.77/1263.34 c nbDecision=1286000 #constraints=35240 1265.48/1266.03 c nbDecision=1286500 #constraints=35277 1267.68/1268.22 c nbDecision=1287000 #constraints=35309 1270.07/1270.65 c nbDecision=1287500 #constraints=35343 1273.18/1273.80 c nbDecision=1288000 #constraints=35392 1275.57/1276.17 c nbDecision=1288500 #constraints=35429 1280.07/1280.65 c nbDecision=1289000 #constraints=35491 1281.67/1282.26 c nbDecision=1289500 #constraints=35518 1283.67/1284.26 c nbDecision=1290000 #constraints=35550 1285.27/1285.85 c nbDecision=1290500 #constraints=35579 1287.07/1287.60 c nbDecision=1291000 #constraints=35606 1288.47/1289.03 c nbDecision=1291500 #constraints=35632 1291.46/1292.09 c nbDecision=1292000 #constraints=35672 1293.76/1294.36 c nbDecision=1292500 #constraints=35704 1295.27/1295.80 c nbDecision=1293000 #constraints=35726 1296.76/1297.32 c nbDecision=1293500 #constraints=35748 1297.96/1298.54 c nbDecision=1294000 #constraints=35768 1299.36/1299.96 c nbDecision=1294500 #constraints=35794 1300.76/1301.32 c nbDecision=1295000 #constraints=35818 1302.56/1303.15 c nbDecision=1295500 #constraints=35846 1304.96/1305.56 c nbDecision=1296000 #constraints=35875 1307.36/1307.98 c nbDecision=1296500 #constraints=35906 1310.16/1310.76 c nbDecision=1297000 #constraints=35943 1313.36/1313.97 c nbDecision=1297500 #constraints=35984 1315.76/1316.39 c nbDecision=1298000 #constraints=36015 1317.85/1318.49 c nbDecision=1298500 #constraints=36042 1319.75/1320.31 c nbDecision=1299000 #constraints=36069 1321.95/1322.52 c nbDecision=1299500 #constraints=36100 1325.05/1325.67 c nbDecision=1300000 #constraints=36140 1327.45/1328.05 c nbDecision=1300500 #constraints=36170 1330.85/1331.48 c nbDecision=1301000 #constraints=36211 1334.75/1335.36 c nbDecision=1301500 #constraints=36254 1336.95/1337.50 c nbDecision=1302000 #constraints=36283 1340.25/1340.81 c nbDecision=1302500 #constraints=36325 1343.15/1343.73 c nbDecision=1303000 #constraints=36360 1346.25/1346.83 c nbDecision=1303500 #constraints=36400 1349.06/1349.64 c nbDecision=1304000 #constraints=36437 1352.95/1353.52 c nbDecision=1304500 #constraints=36484 1355.85/1356.49 c nbDecision=1305000 #constraints=36525 1357.55/1358.12 c nbDecision=1305500 #constraints=36550 1360.35/1360.96 c nbDecision=1306000 #constraints=36594 1362.65/1363.30 c nbDecision=1306500 #constraints=36635 1364.45/1365.00 c nbDecision=1307000 #constraints=36663 1366.94/1367.52 c nbDecision=1307500 #constraints=36706 1369.44/1370.05 c nbDecision=1308000 #constraints=36741 1371.64/1372.23 c nbDecision=1308500 #constraints=36776 1373.94/1374.52 c nbDecision=1309000 #constraints=36804 1376.14/1376.73 c nbDecision=1309500 #constraints=36836 1378.54/1379.17 c nbDecision=1310000 #constraints=36872 1380.34/1380.98 c nbDecision=1310500 #constraints=36894 1382.54/1383.10 c nbDecision=1311000 #constraints=36920 1385.24/1385.88 c nbDecision=1311500 #constraints=36957 1388.44/1389.01 c nbDecision=1312000 #constraints=37006 1391.54/1392.15 c nbDecision=1312500 #constraints=37051 1394.54/1395.12 c nbDecision=1313000 #constraints=37090 1396.83/1397.41 c nbDecision=1313500 #constraints=37127 1399.03/1399.67 c nbDecision=1314000 #constraints=37161 1404.23/1404.83 c nbDecision=1314500 #constraints=37218 1408.44/1409.03 c nbDecision=1315000 #constraints=37270 1413.74/1414.38 c nbDecision=1315500 #constraints=37331 1420.83/1421.48 c nbDecision=1316000 #constraints=37415 1428.93/1429.55 c nbDecision=1316500 #constraints=37519 1436.33/1436.91 c nbDecision=1317000 #constraints=37595 1442.12/1442.74 c nbDecision=1317500 #constraints=37673 1446.42/1447.08 c nbDecision=1318000 #constraints=37734 1451.22/1451.89 c nbDecision=1318500 #constraints=37801 1456.02/1456.69 c nbDecision=1319000 #constraints=37865 1460.62/1461.27 c nbDecision=1319500 #constraints=37929 1463.52/1464.16 c nbDecision=1320000 #constraints=37970 1467.22/1467.88 c nbDecision=1320500 #constraints=38027 1471.72/1472.37 c nbDecision=1321000 #constraints=38088 1475.82/1476.49 c nbDecision=1321500 #constraints=38149 1480.52/1481.14 c nbDecision=1322000 #constraints=38217 1483.71/1484.36 c nbDecision=1322500 #constraints=38262 1486.81/1487.42 c nbDecision=1323000 #constraints=38305 1490.91/1491.54 c nbDecision=1323500 #constraints=38368 1494.91/1495.58 c nbDecision=1324000 #constraints=38423 1499.71/1500.38 c nbDecision=1324500 #constraints=38486 1503.11/1503.71 c nbDecision=1325000 #constraints=38529 1508.20/1508.86 c nbDecision=1325500 #constraints=38600 1512.30/1512.92 c nbDecision=1326000 #constraints=38653 1515.80/1516.42 c nbDecision=1326500 #constraints=38700 1521.11/1521.72 c nbDecision=1327000 #constraints=38759 1524.51/1525.18 c nbDecision=1327500 #constraints=38815 1527.60/1528.27 c nbDecision=1328000 #constraints=38853 1530.40/1531.02 c nbDecision=1328500 #constraints=38892 1533.00/1533.61 c nbDecision=1329000 #constraints=38919 1534.80/1535.45 c nbDecision=1329500 #constraints=38938 1536.80/1537.41 c nbDecision=1330000 #constraints=38958 1539.90/1540.53 c nbDecision=1330500 #constraints=38992 1542.90/1543.56 c nbDecision=1331000 #constraints=39026 1546.40/1547.01 c nbDecision=1331500 #constraints=39071 1550.20/1550.87 c nbDecision=1332000 #constraints=39114 1554.39/1555.03 c nbDecision=1332500 #constraints=39156 1557.69/1558.38 c nbDecision=1333000 #constraints=39192 1560.69/1561.36 c nbDecision=1333500 #constraints=39224 1563.29/1563.96 c nbDecision=1334000 #constraints=39250 1565.99/1566.69 c nbDecision=1334500 #constraints=39277 1568.59/1569.24 c nbDecision=1335000 #constraints=39308 1570.69/1571.35 c nbDecision=1335500 #constraints=39336 1572.89/1573.54 c nbDecision=1336000 #constraints=39362 1577.09/1577.76 c nbDecision=1336500 #constraints=39407 1581.78/1582.48 c nbDecision=1337000 #constraints=39459 1585.28/1585.91 c nbDecision=1337500 #constraints=39493 1587.59/1588.27 c nbDecision=1338000 #constraints=39517 1590.79/1591.45 c nbDecision=1338500 #constraints=39550 1593.29/1593.90 c nbDecision=1339000 #constraints=39573 1595.29/1595.93 c nbDecision=1339500 #constraints=39591 1600.49/1601.16 c nbDecision=1340000 #constraints=39651 1604.59/1605.28 c nbDecision=1340500 #constraints=39702 1608.59/1609.23 c nbDecision=1341000 #constraints=39738 1612.28/1612.96 c nbDecision=1341500 #constraints=39775 1615.88/1616.52 c nbDecision=1342000 #constraints=39813 1619.08/1619.70 c nbDecision=1342500 #constraints=39844 1622.08/1622.71 c nbDecision=1343000 #constraints=39883 1625.88/1626.54 c nbDecision=1343500 #constraints=39936 1629.18/1629.81 c nbDecision=1344000 #constraints=39978 1634.87/1635.53 c nbDecision=1344500 #constraints=40039 1638.67/1639.36 c nbDecision=1345000 #constraints=40087 1641.68/1642.34 c nbDecision=1345500 #constraints=40115 1645.47/1646.11 c nbDecision=1346000 #constraints=40154 1651.27/1651.90 c nbDecision=1346500 #constraints=40222 1656.37/1657.03 c nbDecision=1347000 #constraints=40286 1660.97/1661.61 c nbDecision=1347500 #constraints=40349 1665.17/1665.82 c nbDecision=1348000 #constraints=40400 1668.77/1669.46 c nbDecision=1348500 #constraints=40442 1673.27/1673.94 c nbDecision=1349000 #constraints=40505 1677.27/1677.95 c nbDecision=1349500 #constraints=40559 1681.27/1681.95 c nbDecision=1350000 #constraints=40613 1685.46/1686.13 c nbDecision=1350500 #constraints=40661 1685.46/1686.20 c nbDecision=1351000 #constraints=40661 1685.57/1686.24 c nbDecision=1351500 #constraints=40661 1685.57/1686.28 c nbDecision=1352000 #constraints=40661 1689.66/1690.35 c nbDecision=1352500 #constraints=40713 1691.96/1692.68 c nbDecision=1353000 #constraints=40739 1695.16/1695.89 c nbDecision=1353500 #constraints=40777 1699.36/1700.07 c nbDecision=1354000 #constraints=40833 1702.36/1703.04 c nbDecision=1354500 #constraints=40877 1704.66/1705.37 c nbDecision=1355000 #constraints=40912 1707.76/1708.46 c nbDecision=1355500 #constraints=40948 1711.45/1712.18 c nbDecision=1356000 #constraints=40993 1715.95/1716.68 c nbDecision=1356500 #constraints=41050 1718.66/1719.38 c nbDecision=1357000 #constraints=41087 1721.35/1722.00 c nbDecision=1357500 #constraints=41119 1725.25/1725.96 c nbDecision=1358000 #constraints=41168 1728.05/1728.77 c nbDecision=1358500 #constraints=41204 1730.15/1730.81 c nbDecision=1359000 #constraints=41244 1731.55/1732.28 c nbDecision=1359500 #constraints=41268 1733.95/1734.66 c nbDecision=1360000 #constraints=41294 1735.95/1736.68 c nbDecision=1360500 #constraints=41313 1737.95/1738.61 c nbDecision=1361000 #constraints=41331 1739.45/1740.12 c nbDecision=1361500 #constraints=41345 1740.75/1741.44 c nbDecision=1362000 #constraints=41359 1742.14/1742.85 c nbDecision=1362500 #constraints=41374 1743.85/1744.56 c nbDecision=1363000 #constraints=41391 1746.34/1747.05 c nbDecision=1363500 #constraints=41420 1748.54/1749.25 c nbDecision=1364000 #constraints=41449 1750.45/1751.16 c nbDecision=1364500 #constraints=41473 1753.05/1753.73 c nbDecision=1365000 #constraints=41506 1755.25/1755.94 c nbDecision=1365500 #constraints=41533 1757.25/1757.91 c nbDecision=1366000 #constraints=41560 1759.55/1760.24 c nbDecision=1366500 #constraints=41592 1761.45/1762.17 c nbDecision=1367000 #constraints=41616 1763.04/1763.73 c nbDecision=1367500 #constraints=41635 1764.44/1765.18 c nbDecision=1368000 #constraints=41653 1767.14/1767.87 c nbDecision=1368500 #constraints=41689 1772.14/1772.90 c nbDecision=1369000 #constraints=41748 1778.64/1779.35 c nbDecision=1369500 #constraints=41821 1784.73/1785.42 c nbDecision=1370000 #constraints=41894 1790.04/1790.78 c nbDecision=1370500 #constraints=41968 1793.83/1794.54 c nbDecision=1371000 #constraints=42007 1797.33/1798.02 c nbDecision=1371500 #constraints=42043 1800.04/1800.70 Received signal 15 1800.04/1800.76 1800.04/1800.76 s UNKNOWN 1800.04/1800.76 1800.04/1800.76 c user time= 1799.74 s 1800.04/1800.76 c system time= 0.367944 s 1800.04/1800.76 c wall clock time=1800.77
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-357497-1177001700 -o ROOT/results/node26/solver-357497-1177001700 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357497-1177001700/instance-357497-1177001700.opb mod 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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.98 3/77 28713 /proc/meminfo: memFree=1722840/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=1468 CPUtime=0 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 148086822 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 367 163 131 317 0 46 0 [startup+0.0843361 s] /proc/loadavg: 0.85 0.97 0.98 3/77 28713 /proc/meminfo: memFree=1722840/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=2920 CPUtime=0.08 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 535 0 0 0 8 0 0 0 18 0 1 0 148086822 2990080 517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 730 517 131 317 0 409 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2920 [startup+0.101338 s] /proc/loadavg: 0.85 0.97 0.98 3/77 28713 /proc/meminfo: memFree=1722840/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=3184 CPUtime=0.09 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 611 0 0 0 9 0 0 0 18 0 1 0 148086822 3260416 593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 796 593 131 317 0 475 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3184 [startup+0.301355 s] /proc/loadavg: 0.85 0.97 0.98 3/77 28713 /proc/meminfo: memFree=1722840/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=6880 CPUtime=0.29 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 1535 0 0 0 28 1 0 0 20 0 1 0 148086822 7045120 1517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 1720 1517 131 317 0 1399 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6880 [startup+0.701393 s] /proc/loadavg: 0.85 0.97 0.98 3/77 28713 /proc/meminfo: memFree=1722840/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=12380 CPUtime=0.69 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 2912 0 0 0 68 1 0 0 24 0 1 0 148086822 12677120 2894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 3095 2894 138 317 0 2774 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12380 [startup+1.50147 s] /proc/loadavg: 0.85 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1711696/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=12688 CPUtime=1.49 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 2987 0 0 0 148 1 0 0 25 0 1 0 148086822 12992512 2925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 3172 2925 139 317 0 2851 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12688 [startup+3.10161 s] /proc/loadavg: 0.87 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1711120/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=12688 CPUtime=3.09 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 2987 0 0 0 308 1 0 0 25 0 1 0 148086822 12992512 2925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 3172 2925 139 317 0 2851 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12688 [startup+6.30191 s] /proc/loadavg: 0.87 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1711128/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=12688 CPUtime=6.29 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 2987 0 0 0 628 1 0 0 25 0 1 0 148086822 12992512 2925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 3172 2925 139 317 0 2851 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12688 [startup+12.7015 s] /proc/loadavg: 0.89 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1711152/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=12688 CPUtime=12.68 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 2988 0 0 0 1267 1 0 0 25 0 1 0 148086822 12992512 2926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 3172 2926 139 317 0 2851 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12688 [startup+25.5017 s] /proc/loadavg: 0.90 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1711152/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=12688 CPUtime=25.48 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 2992 0 0 0 2546 2 0 0 25 0 1 0 148086822 12992512 2930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 3172 2930 139 317 0 2851 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12688 [startup+51.1011 s] /proc/loadavg: 0.93 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1710320/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=13764 CPUtime=51.06 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 3291 0 0 0 5103 3 0 0 25 0 1 0 148086822 14094336 3229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 3441 3229 170 317 0 3120 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 13764 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1706096/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=18120 CPUtime=102.24 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 4337 0 0 0 10219 5 0 0 25 0 1 0 148086822 18554880 4275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 4530 4275 170 317 0 4209 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 18120 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1701360/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=22880 CPUtime=162.21 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 5539 0 0 0 16214 7 0 0 25 0 1 0 148086822 23429120 5391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 5720 5391 170 317 0 5399 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 22880 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1697328/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=27240 CPUtime=222.18 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 6585 0 0 0 22210 8 0 0 25 0 1 0 148086822 27893760 6437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 6810 6437 170 317 0 6489 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 27240 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1694192/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=30664 CPUtime=282.16 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 7392 0 0 0 28206 10 0 0 25 0 1 0 148086822 31399936 7244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 7666 7244 170 317 0 7345 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 30664 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28714 /proc/meminfo: memFree=1691120/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=33564 CPUtime=342.14 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 8115 0 0 0 34203 11 0 0 25 0 1 0 148086822 34369536 7967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 8391 7967 170 317 0 8070 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 33564 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/84 28884 /proc/meminfo: memFree=1686904/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=36572 CPUtime=402.03 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 8874 0 0 0 40189 14 0 0 25 0 1 0 148086822 37449728 8726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 9143 8726 170 317 0 8822 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 36572 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28912 /proc/meminfo: memFree=1684392/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=41032 CPUtime=461.99 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 9898 0 0 0 46183 16 0 0 25 0 1 0 148086822 42016768 9618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 10258 9618 170 317 0 9937 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 41032 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28912 /proc/meminfo: memFree=1682152/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=43112 CPUtime=521.97 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 10447 0 0 0 52180 17 0 0 25 0 1 0 148086822 44146688 10167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 10778 10167 170 317 0 10457 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 43112 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28912 /proc/meminfo: memFree=1678952/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=47132 CPUtime=581.95 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 11482 0 0 0 58177 18 0 0 25 0 1 0 148086822 48263168 10965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 11783 10965 170 317 0 11462 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 47132 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 28912 /proc/meminfo: memFree=1677352/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=48748 CPUtime=641.94 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 11926 0 0 0 64175 19 0 0 25 0 1 0 148086822 49917952 11376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 12187 11376 170 317 0 11866 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 48748 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.04 0.99 0.99 2/78 28912 /proc/meminfo: memFree=1669040/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=56824 CPUtime=881.87 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 14092 0 0 0 88164 23 0 0 25 0 1 0 148086822 58187776 13410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 14206 13410 170 317 0 13885 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 56824 [startup+942.302 s] /proc/loadavg: 1.06 1.00 0.99 2/78 28912 /proc/meminfo: memFree=1667184/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=58932 CPUtime=941.86 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 14604 0 0 0 94162 24 0 0 25 0 1 0 148086822 60346368 13856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 14733 13856 170 317 0 14412 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 58932 [startup+1002.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 28912 /proc/meminfo: memFree=1665072/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=61276 CPUtime=1001.84 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 15214 0 0 0 100160 24 0 0 25 0 1 0 148086822 62746624 14367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 15319 14367 170 317 0 14998 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 61276 [startup+1062.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 28912 /proc/meminfo: memFree=1663152/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=62976 CPUtime=1061.83 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 15675 0 0 0 106157 26 0 0 25 0 1 0 148086822 64487424 14828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 15744 14828 170 317 0 15423 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 62976 [startup+1122.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 28912 /proc/meminfo: memFree=1661616/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=64596 CPUtime=1121.81 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 16103 0 0 0 112155 26 0 0 25 0 1 0 148086822 66146304 15223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563959 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 16149 15223 170 317 0 15828 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 64596 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 28912 /proc/meminfo: memFree=1659760/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=66456 CPUtime=1181.79 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 16590 0 0 0 118152 27 0 0 25 0 1 0 148086822 68050944 15677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 16614 15677 170 317 0 16293 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 66456 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 28912 /proc/meminfo: memFree=1658032/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=68332 CPUtime=1241.78 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 17105 0 0 0 124150 28 0 0 25 0 1 0 148086822 69971968 16126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 17083 16126 170 317 0 16762 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 68332 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1655920/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=70192 CPUtime=1301.76 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 17612 0 0 0 130147 29 0 0 25 0 1 0 148086822 71876608 16633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 17548 16633 170 317 0 17227 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 70192 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1654064/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=72120 CPUtime=1361.75 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 18076 0 0 0 136145 30 0 0 25 0 1 0 148086822 73850880 17097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 18030 17097 170 317 0 17709 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 72120 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1652208/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=73824 CPUtime=1421.74 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 18548 0 0 0 142143 31 0 0 25 0 1 0 148086822 75595776 17569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 18456 17569 170 317 0 18135 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 73824 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1650416/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=75588 CPUtime=1481.71 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 19000 0 0 0 148139 32 0 0 25 0 1 0 148086822 77402112 18021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 18897 18021 170 317 0 18576 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 75588 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1648688/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=79064 CPUtime=1541.7 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 19861 0 0 0 154137 33 0 0 25 0 1 0 148086822 80961536 18459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 19766 18459 170 317 0 19445 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 79064 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1647280/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=80492 CPUtime=1601.69 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 20237 0 0 0 160135 34 0 0 25 0 1 0 148086822 82423808 18802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 20123 18802 170 317 0 19802 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 80492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1645680/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=81936 CPUtime=1661.67 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 20660 0 0 0 166132 35 0 0 25 0 1 0 148086822 83902464 19192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 20484 19192 170 317 0 20163 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 81936 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1644144/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=83396 CPUtime=1721.65 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 21049 0 0 0 172130 35 0 0 25 0 1 0 148086822 85397504 19581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 20849 19581 170 317 0 20528 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 83396 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1642416/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=85720 CPUtime=1781.64 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 21610 0 0 0 178128 36 0 0 25 0 1 0 148086822 87777280 19947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 21430 19947 170 317 0 21109 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 85720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1642224/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=85980 CPUtime=1800.04 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 21701 0 0 0 179968 36 0 0 25 0 1 0 148086822 88043520 20038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 21495 20038 170 317 0 21174 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 85980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28912 /proc/meminfo: memFree=1642224/2055920 swapFree=4170240/4192956 [pid=28713] ppid=28711 vsize=85980 CPUtime=1800.04 /proc/28713/stat : 28713 (oree) R 28711 28713 28614 0 -1 4194304 21701 0 0 0 179968 36 0 0 25 0 1 0 148086822 88043520 20038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28713/statm: 21495 20038 170 317 0 21174 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 85980 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.13 CPU user time (s): 1799.75 CPU system time (s): 0.381941 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 85980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.75 system time used= 0.381941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21717 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= 8 involuntary context switches= 40337 runsolver used 2.18167 second user time and 4.45932 second system time The end
Begin job on node26 on Thu Apr 19 16:55:00 UTC 2007 IDJOB= 357497 IDBENCH= 2942 IDSOLVER= 172 FILE ID= node26/357497-1177001700 PBS_JOBID= 4630514 Free space on /tmp= 66434 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb COMMAND LINE= oree /tmp/evaluation/357497-1177001700/instance-357497-1177001700.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-357497-1177001700 -o ROOT/results/node26/solver-357497-1177001700 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357497-1177001700/instance-357497-1177001700.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 840eda79f99ca12a0c705eefe22c37b7 RANDOM SEED= 173582772 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1723184 kB Buffers: 34016 kB Cached: 212008 kB SwapCached: 3128 kB Active: 166432 kB Inactive: 102284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1723184 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 2944 kB Writeback: 0 kB Mapped: 30240 kB Slab: 49576 kB Committed_AS: 1028948 kB PageTables: 1716 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66434 MiB End job on node26 on Thu Apr 19 17:25:03 UTC 2007