Trace number 357497

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.13 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
MD5SUM840eda79f99ca12a0c705eefe22c37b7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark144
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 144
Optimality of the best value was proved NO
Number of variables3296
Total number of constraints6384
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint1
Maximum length of a constraint33
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 numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

Launcher Data (download as text)

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