Trace number 357439

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.07 1801.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
MD5SUMfe9b3ae0ed0deb400897e8cf071ce6eb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark95
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 95
Optimality of the best value was proved NO
Number of variables1812
Total number of constraints3443
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3443
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1307
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.19/0.23	c ...done
0.19/0.23	c #vars=1812 #constraints=3444 hasObjective=yes
0.19/0.28	c res. mode=mod
0.19/0.28	c VSIDS like heuristics
0.19/0.28	c complete search running
0.29/0.31	c restart after 401 decisions
0.29/0.33	c nbDecision=500 #constraints=3444
0.29/0.35	c restart after 801 decisions
0.29/0.37	c nbDecision=1000 #constraints=3444
0.39/0.40	c nbDecision=1500 #constraints=3444
0.39/0.41	c restart after 1601 decisions
0.39/0.44	c nbDecision=2000 #constraints=3444
0.39/0.47	c nbDecision=2500 #constraints=3444
0.49/0.51	c nbDecision=3000 #constraints=3445
0.49/0.53	c restart after 3201 decisions
0.49/0.58	c nbDecision=3500 #constraints=3447
0.59/0.61	c nbDecision=4000 #constraints=3447
0.59/0.65	c nbDecision=4500 #constraints=3447
0.59/0.68	c nbDecision=5000 #constraints=3450
0.69/0.70	c nbDecision=5500 #constraints=3453
0.69/0.72	c nbDecision=6000 #constraints=3455
0.69/0.74	c restart after 6401 decisions
0.69/0.78	c nbDecision=6500 #constraints=3457
0.79/0.81	c nbDecision=7000 #constraints=3457
0.79/0.83	c nbDecision=7500 #constraints=3457
0.79/0.87	c nbDecision=8000 #constraints=3458
0.79/0.90	c nbDecision=8500 #constraints=3460
0.89/0.91	c nbDecision=9000 #constraints=3461
0.89/0.93	c nbDecision=9500 #constraints=3463
0.89/0.95	c nbDecision=10000 #constraints=3465
0.99/1.02	c nbDecision=10500 #constraints=3470
0.99/1.07	c nbDecision=11000 #constraints=3478
0.99/1.09	c nbDecision=11500 #constraints=3482
1.09/1.11	c nbDecision=12000 #constraints=3484
1.09/1.13	c nbDecision=12500 #constraints=3487
1.09/1.14	c restart after 12801 decisions
1.09/1.19	c nbDecision=13000 #constraints=3488
1.19/1.21	c nbDecision=13500 #constraints=3488
1.19/1.23	c nbDecision=14000 #constraints=3488
1.19/1.27	c nbDecision=14500 #constraints=3489
1.19/1.28	c nbDecision=15000 #constraints=3491
1.29/1.34	c nbDecision=15500 #constraints=3497
1.29/1.36	c nbDecision=16000 #constraints=3499
1.39/1.40	c nbDecision=16500 #constraints=3503
1.39/1.45	c nbDecision=17000 #constraints=3507
1.39/1.49	c nbDecision=17500 #constraints=3511
1.49/1.54	c nbDecision=18000 #constraints=3516
1.49/1.57	c nbDecision=18500 #constraints=3522
1.59/1.62	c nbDecision=19000 #constraints=3527
1.59/1.67	c nbDecision=19500 #constraints=3533
1.69/1.70	c nbDecision=20000 #constraints=3539
1.69/1.74	c nbDecision=20500 #constraints=3544
1.69/1.77	c nbDecision=21000 #constraints=3549
1.79/1.81	c nbDecision=21500 #constraints=3556
1.79/1.88	c nbDecision=22000 #constraints=3565
1.89/1.94	c nbDecision=22500 #constraints=3574
1.99/2.00	c nbDecision=23000 #constraints=3581
1.99/2.07	c nbDecision=23500 #constraints=3590
2.09/2.11	c nbDecision=24000 #constraints=3595
2.09/2.12	c nbDecision=24500 #constraints=3597
2.09/2.16	c nbDecision=25000 #constraints=3604
2.09/2.20	c nbDecision=25500 #constraints=3609
2.19/2.20	c restart after 25601 decisions
2.19/2.26	c nbDecision=26000 #constraints=3609
2.19/2.28	c nbDecision=26500 #constraints=3609
2.29/2.32	c nbDecision=27000 #constraints=3609
2.29/2.33	c nbDecision=27500 #constraints=3611
2.29/2.34	c nbDecision=28000 #constraints=3613
2.29/2.37	c nbDecision=28500 #constraints=3616
2.29/2.39	c nbDecision=29000 #constraints=3618
2.39/2.44	c nbDecision=29500 #constraints=3623
2.39/2.49	c nbDecision=30000 #constraints=3631
2.49/2.53	c nbDecision=30500 #constraints=3637
2.49/2.56	c nbDecision=31000 #constraints=3641
2.49/2.60	c nbDecision=31500 #constraints=3647
2.59/2.65	c nbDecision=32000 #constraints=3652
2.69/2.71	c nbDecision=32500 #constraints=3658
2.69/2.75	c nbDecision=33000 #constraints=3662
2.79/2.82	c nbDecision=33500 #constraints=3670
2.79/2.89	c nbDecision=34000 #constraints=3676
2.89/2.96	c nbDecision=34500 #constraints=3684
2.99/3.03	c nbDecision=35000 #constraints=3691
3.09/3.14	c nbDecision=35500 #constraints=3701
3.19/3.22	c nbDecision=36000 #constraints=3708
3.29/3.30	c nbDecision=36500 #constraints=3716
3.29/3.40	c nbDecision=37000 #constraints=3725
3.39/3.47	c nbDecision=37500 #constraints=3732
3.48/3.56	c nbDecision=38000 #constraints=3739
3.58/3.63	c nbDecision=38500 #constraints=3745
3.68/3.70	c nbDecision=39000 #constraints=3751
3.68/3.74	c nbDecision=39500 #constraints=3756
3.78/3.82	c nbDecision=40000 #constraints=3764
3.78/3.90	c nbDecision=40500 #constraints=3771
3.89/3.97	c nbDecision=41000 #constraints=3777
3.99/4.07	c nbDecision=41500 #constraints=3785
4.09/4.14	c nbDecision=42000 #constraints=3791
4.19/4.23	c nbDecision=42500 #constraints=3800
4.29/4.31	c nbDecision=43000 #constraints=3807
4.29/4.37	c nbDecision=43500 #constraints=3812
4.40/4.44	c nbDecision=44000 #constraints=3818
4.50/4.55	c nbDecision=44500 #constraints=3827
4.50/4.58	c nbDecision=45000 #constraints=3830
4.59/4.66	c nbDecision=45500 #constraints=3836
4.69/4.72	c nbDecision=46000 #constraints=3841
4.69/4.78	c nbDecision=46500 #constraints=3847
4.79/4.82	c nbDecision=47000 #constraints=3851
4.79/4.84	c nbDecision=47500 #constraints=3853
4.79/4.88	c nbDecision=48000 #constraints=3857
4.89/4.93	c nbDecision=48500 #constraints=3862
4.99/5.00	c nbDecision=49000 #constraints=3869
4.99/5.09	c nbDecision=49500 #constraints=3877
5.09/5.14	c nbDecision=50000 #constraints=3881
5.19/5.24	c nbDecision=50500 #constraints=3891
5.19/5.29	c nbDecision=51000 #constraints=3898
5.29/5.31	c restart after 51201 decisions
5.29/5.37	c nbDecision=51500 #constraints=3900
5.29/5.40	c nbDecision=52000 #constraints=3900
5.39/5.44	c nbDecision=52500 #constraints=3900
5.39/5.48	c nbDecision=53000 #constraints=3903
5.49/5.54	c nbDecision=53500 #constraints=3909
5.59/5.67	c nbDecision=54000 #constraints=3922
5.69/5.78	c nbDecision=54500 #constraints=3933
5.89/5.91	c nbDecision=55000 #constraints=3948
5.89/5.98	c nbDecision=55500 #constraints=3956
5.99/6.05	c nbDecision=56000 #constraints=3963
6.09/6.12	c nbDecision=56500 #constraints=3971
6.09/6.17	c nbDecision=57000 #constraints=3976
6.19/6.25	c nbDecision=57500 #constraints=3983
6.29/6.31	c nbDecision=58000 #constraints=3988
6.29/6.39	c nbDecision=58500 #constraints=3995
6.39/6.44	c nbDecision=59000 #constraints=4002
6.49/6.50	c nbDecision=59500 #constraints=4009
6.49/6.56	c nbDecision=60000 #constraints=4013
6.59/6.64	c nbDecision=60500 #constraints=4020
6.59/6.68	c nbDecision=61000 #constraints=4025
6.69/6.73	c nbDecision=61500 #constraints=4031
6.69/6.78	c nbDecision=62000 #constraints=4037
6.79/6.85	c nbDecision=62500 #constraints=4043
6.89/6.94	c nbDecision=63000 #constraints=4051
6.99/7.04	c nbDecision=63500 #constraints=4059
7.09/7.11	c nbDecision=64000 #constraints=4065
7.19/7.22	c nbDecision=64500 #constraints=4075
7.19/7.27	c nbDecision=65000 #constraints=4079
7.29/7.37	c nbDecision=65500 #constraints=4087
7.39/7.45	c nbDecision=66000 #constraints=4094
7.49/7.56	c nbDecision=66500 #constraints=4104
7.59/7.68	c nbDecision=67000 #constraints=4114
7.69/7.75	c nbDecision=67500 #constraints=4122
7.69/7.80	c nbDecision=68000 #constraints=4126
7.79/7.84	c nbDecision=68500 #constraints=4130
7.79/7.88	c nbDecision=69000 #constraints=4134
7.88/7.95	c nbDecision=69500 #constraints=4141
7.98/8.01	c nbDecision=70000 #constraints=4147
7.98/8.05	c nbDecision=70500 #constraints=4152
7.98/8.09	c nbDecision=71000 #constraints=4158
8.08/8.14	c nbDecision=71500 #constraints=4162
8.08/8.19	c nbDecision=72000 #constraints=4166
8.18/8.22	c nbDecision=72500 #constraints=4169
8.18/8.26	c nbDecision=73000 #constraints=4172
8.28/8.36	c nbDecision=73500 #constraints=4180
8.38/8.42	c nbDecision=74000 #constraints=4191
8.38/8.49	c nbDecision=74500 #constraints=4200
8.48/8.56	c nbDecision=75000 #constraints=4208
8.58/8.64	c nbDecision=75500 #constraints=4215
8.68/8.73	c nbDecision=76000 #constraints=4226
8.79/8.85	c nbDecision=76500 #constraints=4239
8.89/8.97	c nbDecision=77000 #constraints=4252
8.98/9.05	c nbDecision=77500 #constraints=4260
8.98/9.09	c nbDecision=78000 #constraints=4266
9.08/9.16	c nbDecision=78500 #constraints=4271
9.18/9.20	c nbDecision=79000 #constraints=4276
9.18/9.27	c nbDecision=79500 #constraints=4283
9.28/9.36	c nbDecision=80000 #constraints=4291
9.38/9.45	c nbDecision=80500 #constraints=4298
9.38/9.49	c nbDecision=81000 #constraints=4303
9.48/9.51	c nbDecision=81500 #constraints=4305
9.48/9.59	c nbDecision=82000 #constraints=4311
9.58/9.63	c nbDecision=82500 #constraints=4314
9.68/9.72	c nbDecision=83000 #constraints=4323
9.68/9.78	c nbDecision=83500 #constraints=4328
9.78/9.84	c nbDecision=84000 #constraints=4333
9.88/9.92	c nbDecision=84500 #constraints=4342
9.88/9.95	c nbDecision=85000 #constraints=4347
9.98/10.04	c nbDecision=85500 #constraints=4356
10.08/10.12	c nbDecision=86000 #constraints=4364
10.08/10.19	c nbDecision=86500 #constraints=4371
10.18/10.26	c nbDecision=87000 #constraints=4377
10.28/10.33	c nbDecision=87500 #constraints=4384
10.28/10.39	c nbDecision=88000 #constraints=4388
10.38/10.46	c nbDecision=88500 #constraints=4394
10.48/10.54	c nbDecision=89000 #constraints=4402
10.48/10.59	c nbDecision=89500 #constraints=4406
10.58/10.66	c nbDecision=90000 #constraints=4412
10.68/10.73	c nbDecision=90500 #constraints=4418
10.68/10.79	c nbDecision=91000 #constraints=4427
10.78/10.83	c nbDecision=91500 #constraints=4432
10.88/10.90	c nbDecision=92000 #constraints=4437
10.88/10.95	c nbDecision=92500 #constraints=4443
10.98/11.02	c nbDecision=93000 #constraints=4449
10.98/11.09	c nbDecision=93500 #constraints=4455
11.08/11.17	c nbDecision=94000 #constraints=4462
11.18/11.23	c nbDecision=94500 #constraints=4467
11.18/11.26	c nbDecision=95000 #constraints=4469
11.28/11.32	c nbDecision=95500 #constraints=4473
11.28/11.39	c nbDecision=96000 #constraints=4480
11.38/11.43	c nbDecision=96500 #constraints=4485
11.38/11.45	c nbDecision=97000 #constraints=4488
11.38/11.49	c nbDecision=97500 #constraints=4491
11.48/11.59	c nbDecision=98000 #constraints=4498
11.58/11.67	c nbDecision=98500 #constraints=4504
11.68/11.75	c nbDecision=99000 #constraints=4510
11.78/11.81	c nbDecision=99500 #constraints=4514
11.78/11.90	c nbDecision=100000 #constraints=4520
11.88/11.97	c nbDecision=100500 #constraints=4527
11.98/12.04	c nbDecision=101000 #constraints=4534
12.08/12.15	c nbDecision=101500 #constraints=4547
12.18/12.23	c nbDecision=102000 #constraints=4556
12.18/12.29	c restart after 102401 decisions
12.28/12.35	c nbDecision=102500 #constraints=4562
12.28/12.38	c nbDecision=103000 #constraints=4562
12.38/12.40	c nbDecision=103500 #constraints=4562
12.38/12.49	c nbDecision=104000 #constraints=4566
12.48/12.59	c nbDecision=104500 #constraints=4574
12.68/12.70	c nbDecision=105000 #constraints=4584
12.78/12.81	c nbDecision=105500 #constraints=4593
12.88/12.90	c nbDecision=106000 #constraints=4603
12.88/12.99	c nbDecision=106500 #constraints=4610
12.98/13.09	c nbDecision=107000 #constraints=4618
13.18/13.21	c nbDecision=107500 #constraints=4629
13.18/13.27	c nbDecision=108000 #constraints=4634
13.28/13.35	c nbDecision=108500 #constraints=4642
13.38/13.41	c nbDecision=109000 #constraints=4647
13.38/13.48	c nbDecision=109500 #constraints=4654
13.48/13.55	c nbDecision=110000 #constraints=4660
13.57/13.62	c nbDecision=110500 #constraints=4667
13.57/13.65	c nbDecision=111000 #constraints=4670
13.57/13.68	c nbDecision=111500 #constraints=4674
13.67/13.74	c nbDecision=112000 #constraints=4679
13.77/13.80	c nbDecision=112500 #constraints=4686
13.77/13.86	c nbDecision=113000 #constraints=4692
13.87/13.94	c nbDecision=113500 #constraints=4705
13.97/14.06	c nbDecision=114000 #constraints=4715
14.07/14.11	c nbDecision=114500 #constraints=4721
14.07/14.15	c nbDecision=115000 #constraints=4724
14.07/14.19	c nbDecision=115500 #constraints=4727
14.17/14.22	c nbDecision=116000 #constraints=4729
14.17/14.27	c nbDecision=116500 #constraints=4732
14.17/14.30	c nbDecision=117000 #constraints=4734
14.28/14.38	c nbDecision=117500 #constraints=4739
14.38/14.45	c nbDecision=118000 #constraints=4746
14.47/14.52	c nbDecision=118500 #constraints=4752
14.47/14.59	c nbDecision=119000 #constraints=4757
14.57/14.68	c nbDecision=119500 #constraints=4766
14.67/14.78	c nbDecision=120000 #constraints=4773
14.77/14.85	c nbDecision=120500 #constraints=4778
14.87/14.91	c nbDecision=121000 #constraints=4782
14.87/14.97	c nbDecision=121500 #constraints=4786
14.97/15.03	c nbDecision=122000 #constraints=4793
14.97/15.07	c nbDecision=122500 #constraints=4798
14.97/15.09	c nbDecision=123000 #constraints=4802
15.07/15.11	c nbDecision=123500 #constraints=4806
15.07/15.13	c nbDecision=124000 #constraints=4809
15.07/15.17	c nbDecision=124500 #constraints=4815
15.17/15.23	c nbDecision=125000 #constraints=4821
15.27/15.34	c nbDecision=125500 #constraints=4830
15.38/15.44	c nbDecision=126000 #constraints=4840
15.48/15.51	c nbDecision=126500 #constraints=4846
15.48/15.58	c nbDecision=127000 #constraints=4854
15.58/15.61	c nbDecision=127500 #constraints=4859
15.68/15.74	c nbDecision=128000 #constraints=4871
15.68/15.79	c nbDecision=128500 #constraints=4877
15.88/15.93	c nbDecision=129000 #constraints=4887
15.98/16.02	c nbDecision=129500 #constraints=4894
16.18/16.20	c nbDecision=130000 #constraints=4909
16.28/16.31	c nbDecision=130500 #constraints=4918
16.28/16.36	c nbDecision=131000 #constraints=4921
16.38/16.41	c nbDecision=131500 #constraints=4924
16.38/16.46	c nbDecision=132000 #constraints=4927
16.48/16.51	c nbDecision=132500 #constraints=4930
16.48/16.58	c nbDecision=133000 #constraints=4934
16.58/16.60	c nbDecision=133500 #constraints=4938
16.58/16.67	c nbDecision=134000 #constraints=4944
16.68/16.76	c nbDecision=134500 #constraints=4950
16.78/16.84	c nbDecision=135000 #constraints=4955
16.78/16.89	c nbDecision=135500 #constraints=4958
16.88/16.95	c nbDecision=136000 #constraints=4962
16.98/17.01	c nbDecision=136500 #constraints=4967
16.98/17.06	c nbDecision=137000 #constraints=4970
17.18/17.20	c nbDecision=137500 #constraints=4981
17.28/17.30	c nbDecision=138000 #constraints=4990
17.28/17.39	c nbDecision=138500 #constraints=4998
17.38/17.44	c nbDecision=139000 #constraints=5003
17.38/17.49	c nbDecision=139500 #constraints=5007
17.48/17.54	c nbDecision=140000 #constraints=5010
17.48/17.59	c nbDecision=140500 #constraints=5013
17.58/17.62	c nbDecision=141000 #constraints=5016
17.58/17.69	c nbDecision=141500 #constraints=5022
17.78/17.81	c nbDecision=142000 #constraints=5032
17.88/17.93	c nbDecision=142500 #constraints=5042
17.88/17.99	c nbDecision=143000 #constraints=5048
17.98/18.04	c nbDecision=143500 #constraints=5052
17.98/18.09	c nbDecision=144000 #constraints=5056
18.08/18.16	c nbDecision=144500 #constraints=5061
18.18/18.23	c nbDecision=145000 #constraints=5066
18.18/18.29	c nbDecision=145500 #constraints=5071
18.28/18.35	c nbDecision=146000 #constraints=5077
18.38/18.44	c nbDecision=146500 #constraints=5084
18.47/18.56	c nbDecision=147000 #constraints=5095
18.57/18.66	c nbDecision=147500 #constraints=5104
18.68/18.72	c nbDecision=148000 #constraints=5108
18.78/18.86	c nbDecision=148500 #constraints=5119
18.97/19.00	c nbDecision=149000 #constraints=5130
18.97/19.08	c nbDecision=149500 #constraints=5136
19.07/19.13	c nbDecision=150000 #constraints=5139
19.27/19.38	c nbDecision=150500 #constraints=5159
19.37/19.45	c nbDecision=151000 #constraints=5166
19.47/19.53	c nbDecision=151500 #constraints=5173
19.57/19.61	c nbDecision=152000 #constraints=5180
19.57/19.69	c nbDecision=152500 #constraints=5185
19.67/19.74	c nbDecision=153000 #constraints=5188
19.77/19.84	c nbDecision=153500 #constraints=5194
19.87/19.91	c nbDecision=154000 #constraints=5199
19.87/19.95	c nbDecision=154500 #constraints=5203
19.97/20.02	c nbDecision=155000 #constraints=5209
20.07/20.11	c nbDecision=155500 #constraints=5216
20.17/20.20	c nbDecision=156000 #constraints=5222
20.37/20.41	c nbDecision=156500 #constraints=5235
20.77/20.85	c nbDecision=157000 #constraints=5259
20.87/20.92	c nbDecision=157500 #constraints=5263
20.87/20.98	c nbDecision=158000 #constraints=5268
20.97/21.04	c nbDecision=158500 #constraints=5273
21.07/21.12	c nbDecision=159000 #constraints=5279
21.17/21.22	c nbDecision=159500 #constraints=5285
21.27/21.31	c nbDecision=160000 #constraints=5291
21.27/21.40	c nbDecision=160500 #constraints=5298
21.37/21.48	c nbDecision=161000 #constraints=5304
21.47/21.56	c nbDecision=161500 #constraints=5310
21.56/21.66	c nbDecision=162000 #constraints=5317
21.66/21.76	c nbDecision=162500 #constraints=5325
21.76/21.87	c nbDecision=163000 #constraints=5333
21.86/21.95	c nbDecision=163500 #constraints=5339
21.97/22.08	c nbDecision=164000 #constraints=5347
22.07/22.18	c nbDecision=164500 #constraints=5353
22.16/22.27	c nbDecision=165000 #constraints=5359
22.26/22.35	c nbDecision=165500 #constraints=5365
22.36/22.44	c nbDecision=166000 #constraints=5373
22.46/22.53	c nbDecision=166500 #constraints=5379
22.66/22.72	c nbDecision=167000 #constraints=5394
22.66/22.79	c nbDecision=167500 #constraints=5402
22.76/22.86	c nbDecision=168000 #constraints=5407
22.86/22.93	c nbDecision=168500 #constraints=5412
22.96/23.05	c nbDecision=169000 #constraints=5420
23.07/23.17	c nbDecision=169500 #constraints=5428
23.17/23.25	c nbDecision=170000 #constraints=5432
23.26/23.33	c nbDecision=170500 #constraints=5439
23.36/23.47	c nbDecision=171000 #constraints=5451
23.46/23.55	c nbDecision=171500 #constraints=5457
23.56/23.67	c nbDecision=172000 #constraints=5466
23.66/23.76	c nbDecision=172500 #constraints=5477
23.86/23.92	c nbDecision=173000 #constraints=5488
23.86/23.99	c nbDecision=173500 #constraints=5494
24.06/24.15	c nbDecision=174000 #constraints=5503
24.17/24.25	c nbDecision=174500 #constraints=5511
24.27/24.35	c nbDecision=175000 #constraints=5517
24.36/24.44	c nbDecision=175500 #constraints=5524
24.46/24.50	c nbDecision=176000 #constraints=5530
24.56/24.63	c nbDecision=176500 #constraints=5539
24.76/24.82	c nbDecision=177000 #constraints=5555
24.86/24.95	c nbDecision=177500 #constraints=5562
25.06/25.10	c nbDecision=178000 #constraints=5572
25.16/25.22	c nbDecision=178500 #constraints=5581
25.37/25.42	c nbDecision=179000 #constraints=5597
25.46/25.55	c nbDecision=179500 #constraints=5605
25.66/25.75	c nbDecision=180000 #constraints=5619
25.76/25.85	c nbDecision=180500 #constraints=5625
25.86/25.94	c nbDecision=181000 #constraints=5631
25.96/26.10	c nbDecision=181500 #constraints=5641
26.16/26.26	c nbDecision=182000 #constraints=5652
26.37/26.41	c nbDecision=182500 #constraints=5662
26.47/26.53	c nbDecision=183000 #constraints=5670
26.56/26.67	c nbDecision=183500 #constraints=5679
26.76/26.82	c nbDecision=184000 #constraints=5688
26.86/26.91	c nbDecision=184500 #constraints=5694
26.96/27.04	c nbDecision=185000 #constraints=5703
27.06/27.19	c nbDecision=185500 #constraints=5715
27.16/27.23	c nbDecision=186000 #constraints=5719
27.16/27.27	c nbDecision=186500 #constraints=5722
27.26/27.33	c nbDecision=187000 #constraints=5727
27.36/27.42	c nbDecision=187500 #constraints=5733
27.46/27.55	c nbDecision=188000 #constraints=5743
27.56/27.65	c nbDecision=188500 #constraints=5749
27.66/27.77	c nbDecision=189000 #constraints=5757
27.76/27.88	c nbDecision=189500 #constraints=5765
27.86/27.93	c nbDecision=190000 #constraints=5768
27.96/28.02	c nbDecision=190500 #constraints=5774
28.16/28.23	c nbDecision=191000 #constraints=5789
28.36/28.43	c nbDecision=191500 #constraints=5802
28.46/28.59	c nbDecision=192000 #constraints=5813
28.66/28.78	c nbDecision=192500 #constraints=5825
28.85/28.90	c nbDecision=193000 #constraints=5832
28.95/29.01	c nbDecision=193500 #constraints=5839
29.05/29.14	c nbDecision=194000 #constraints=5848
29.15/29.26	c nbDecision=194500 #constraints=5859
29.35/29.41	c nbDecision=195000 #constraints=5874
29.55/29.66	c nbDecision=195500 #constraints=5893
29.76/29.83	c nbDecision=196000 #constraints=5904
29.85/29.95	c nbDecision=196500 #constraints=5913
29.95/30.06	c nbDecision=197000 #constraints=5920
30.05/30.11	c nbDecision=197500 #constraints=5924
30.05/30.20	c nbDecision=198000 #constraints=5930
30.26/30.31	c nbDecision=198500 #constraints=5938
30.36/30.42	c nbDecision=199000 #constraints=5946
30.46/30.59	c nbDecision=199500 #constraints=5959
30.55/30.67	c nbDecision=200000 #constraints=5965
30.65/30.77	c nbDecision=200500 #constraints=5969
30.76/30.86	c nbDecision=201000 #constraints=5974
30.86/30.97	c nbDecision=201500 #constraints=5982
30.95/31.06	c nbDecision=202000 #constraints=5988
31.05/31.19	c nbDecision=202500 #constraints=5997
31.15/31.29	c nbDecision=203000 #constraints=6003
31.25/31.38	c nbDecision=203500 #constraints=6008
31.35/31.46	c nbDecision=204000 #constraints=6013
31.55/31.63	c nbDecision=204500 #constraints=6024
31.65/31.72	c restart after 204801 decisions
31.75/31.83	c nbDecision=205000 #constraints=6031
31.75/31.86	c nbDecision=205500 #constraints=6031
31.75/31.88	c nbDecision=206000 #constraints=6031
31.96/32.04	c nbDecision=206500 #constraints=6037
32.05/32.16	c nbDecision=207000 #constraints=6043
32.25/32.34	c nbDecision=207500 #constraints=6056
32.45/32.52	c nbDecision=208000 #constraints=6067
32.56/32.64	c nbDecision=208500 #constraints=6075
32.66/32.77	c nbDecision=209000 #constraints=6085
32.76/32.88	c nbDecision=209500 #constraints=6095
32.86/32.94	c nbDecision=210000 #constraints=6101
32.96/33.06	c nbDecision=210500 #constraints=6110
33.06/33.18	c nbDecision=211000 #constraints=6117
33.16/33.25	c nbDecision=211500 #constraints=6120
33.36/33.47	c nbDecision=212000 #constraints=6138
33.56/33.60	c nbDecision=212500 #constraints=6154
33.56/33.65	c nbDecision=213000 #constraints=6161
33.65/33.73	c nbDecision=213500 #constraints=6173
33.65/33.79	c nbDecision=214000 #constraints=6180
33.75/33.82	c nbDecision=214500 #constraints=6184
33.75/33.88	c nbDecision=215000 #constraints=6189
33.95/34.07	c nbDecision=215500 #constraints=6204
34.25/34.30	c nbDecision=216000 #constraints=6223
34.25/34.39	c nbDecision=216500 #constraints=6231
34.35/34.46	c nbDecision=217000 #constraints=6238
34.45/34.53	c nbDecision=217500 #constraints=6244
34.55/34.66	c nbDecision=218000 #constraints=6252
34.85/34.96	c nbDecision=218500 #constraints=6271
35.15/35.22	c nbDecision=219000 #constraints=6289
35.26/35.32	c nbDecision=219500 #constraints=6295
35.35/35.41	c nbDecision=220000 #constraints=6300
35.45/35.53	c nbDecision=220500 #constraints=6308
35.45/35.58	c nbDecision=221000 #constraints=6311
35.55/35.66	c nbDecision=221500 #constraints=6316
35.65/35.74	c nbDecision=222000 #constraints=6321
35.75/35.89	c nbDecision=222500 #constraints=6330
35.85/36.00	c nbDecision=223000 #constraints=6337
36.05/36.12	c nbDecision=223500 #constraints=6344
36.15/36.26	c nbDecision=224000 #constraints=6354
36.25/36.34	c nbDecision=224500 #constraints=6359
36.35/36.47	c nbDecision=225000 #constraints=6366
36.45/36.58	c nbDecision=225500 #constraints=6372
36.65/36.73	c nbDecision=226000 #constraints=6381
36.75/36.82	c nbDecision=226500 #constraints=6387
36.85/36.90	c nbDecision=227000 #constraints=6393
36.95/37.01	c nbDecision=227500 #constraints=6399
37.05/37.15	c nbDecision=228000 #constraints=6408
37.15/37.24	c nbDecision=228500 #constraints=6413
37.25/37.34	c nbDecision=229000 #constraints=6420
37.35/37.44	c nbDecision=229500 #constraints=6425
37.55/37.63	c nbDecision=230000 #constraints=6437
37.65/37.76	c nbDecision=230500 #constraints=6445
37.85/37.93	c nbDecision=231000 #constraints=6455
37.95/38.06	c nbDecision=231500 #constraints=6464
38.05/38.17	c nbDecision=232000 #constraints=6470
38.15/38.27	c nbDecision=232500 #constraints=6476
38.25/38.38	c nbDecision=233000 #constraints=6483
38.35/38.49	c nbDecision=233500 #constraints=6492
38.55/38.62	c nbDecision=234000 #constraints=6501
38.65/38.71	c nbDecision=234500 #constraints=6508
38.85/38.99	c nbDecision=235000 #constraints=6527
39.04/39.12	c nbDecision=235500 #constraints=6535
39.24/39.33	c nbDecision=236000 #constraints=6548
39.34/39.43	c nbDecision=236500 #constraints=6555
39.44/39.56	c nbDecision=237000 #constraints=6564
39.74/39.83	c nbDecision=237500 #constraints=6583
39.84/39.99	c nbDecision=238000 #constraints=6599
39.94/40.09	c nbDecision=238500 #constraints=6609
40.04/40.19	c nbDecision=239000 #constraints=6622
40.14/40.25	c nbDecision=239500 #constraints=6629
40.24/40.32	c nbDecision=240000 #constraints=6636
40.34/40.40	c nbDecision=240500 #constraints=6642
40.44/40.55	c nbDecision=241000 #constraints=6651
40.54/40.67	c nbDecision=241500 #constraints=6659
40.65/40.77	c nbDecision=242000 #constraints=6666
40.84/40.92	c nbDecision=242500 #constraints=6676
41.04/41.16	c nbDecision=243000 #constraints=6691
41.34/41.46	c nbDecision=243500 #constraints=6713
41.44/41.53	c nbDecision=244000 #constraints=6718
41.64/41.72	c nbDecision=244500 #constraints=6729
41.85/41.93	c nbDecision=245000 #constraints=6739
41.94/42.04	c nbDecision=245500 #constraints=6746
42.04/42.11	c nbDecision=246000 #constraints=6750
42.14/42.22	c nbDecision=246500 #constraints=6758
42.14/42.28	c nbDecision=247000 #constraints=6762
42.34/42.41	c nbDecision=247500 #constraints=6771
42.44/42.52	c nbDecision=248000 #constraints=6778
42.54/42.61	c nbDecision=248500 #constraints=6784
42.74/42.88	c nbDecision=249000 #constraints=6805
42.84/42.93	c nbDecision=249500 #constraints=6811
42.84/42.99	c nbDecision=250000 #constraints=6816
43.04/43.10	c nbDecision=250500 #constraints=6823
43.14/43.23	c nbDecision=251000 #constraints=6832
43.64/43.71	c nbDecision=251500 #constraints=6857
43.84/43.95	c nbDecision=252000 #constraints=6873
43.94/44.02	c nbDecision=252500 #constraints=6879
44.04/44.10	c nbDecision=253000 #constraints=6885
44.04/44.17	c nbDecision=253500 #constraints=6891
44.24/44.37	c nbDecision=254000 #constraints=6907
44.34/44.45	c nbDecision=254500 #constraints=6914
44.44/44.55	c nbDecision=255000 #constraints=6922
44.54/44.66	c nbDecision=255500 #constraints=6929
44.64/44.78	c nbDecision=256000 #constraints=6938
44.74/44.86	c nbDecision=256500 #constraints=6943
44.84/44.92	c nbDecision=257000 #constraints=6947
44.94/45.05	c nbDecision=257500 #constraints=6956
45.04/45.14	c nbDecision=258000 #constraints=6961
45.24/45.31	c nbDecision=258500 #constraints=6971
45.34/45.42	c nbDecision=259000 #constraints=6979
45.44/45.60	c nbDecision=259500 #constraints=6989
45.64/45.73	c nbDecision=260000 #constraints=6995
45.74/45.84	c nbDecision=260500 #constraints=7002
45.84/45.95	c nbDecision=261000 #constraints=7009
45.94/46.02	c nbDecision=261500 #constraints=7013
46.14/46.24	c nbDecision=262000 #constraints=7026
46.54/46.64	c nbDecision=262500 #constraints=7048
46.74/46.82	c nbDecision=263000 #constraints=7060
47.04/47.13	c nbDecision=263500 #constraints=7076
47.54/47.64	c nbDecision=264000 #constraints=7104
48.04/48.18	c nbDecision=264500 #constraints=7132
48.73/48.83	c nbDecision=265000 #constraints=7163
49.23/49.31	c nbDecision=265500 #constraints=7186
49.63/49.79	c nbDecision=266000 #constraints=7210
50.03/50.11	c nbDecision=266500 #constraints=7230
50.13/50.21	c nbDecision=267000 #constraints=7237
50.23/50.38	c nbDecision=267500 #constraints=7249
50.43/50.54	c nbDecision=268000 #constraints=7259
50.54/50.64	c nbDecision=268500 #constraints=7264
50.64/50.73	c nbDecision=269000 #constraints=7269
50.64/50.78	c nbDecision=269500 #constraints=7273
50.84/50.91	c nbDecision=270000 #constraints=7281
50.94/51.08	c nbDecision=270500 #constraints=7291
51.14/51.24	c nbDecision=271000 #constraints=7301
51.24/51.36	c nbDecision=271500 #constraints=7307
51.34/51.47	c nbDecision=272000 #constraints=7313
51.54/51.62	c nbDecision=272500 #constraints=7323
51.65/51.74	c nbDecision=273000 #constraints=7330
51.75/51.85	c nbDecision=273500 #constraints=7336
51.84/51.97	c nbDecision=274000 #constraints=7344
52.04/52.13	c nbDecision=274500 #constraints=7354
52.14/52.21	c nbDecision=275000 #constraints=7358
52.44/52.58	c nbDecision=275500 #constraints=7379
53.04/53.17	c nbDecision=276000 #constraints=7409
53.64/53.74	c nbDecision=276500 #constraints=7438
54.14/54.22	c nbDecision=277000 #constraints=7463
54.24/54.32	c nbDecision=277500 #constraints=7468
54.34/54.42	c nbDecision=278000 #constraints=7473
54.44/54.59	c nbDecision=278500 #constraints=7483
54.64/54.80	c nbDecision=279000 #constraints=7495
54.84/54.94	c nbDecision=279500 #constraints=7504
54.94/55.04	c nbDecision=280000 #constraints=7509
55.14/55.26	c nbDecision=280500 #constraints=7522
55.24/55.38	c nbDecision=281000 #constraints=7528
55.34/55.49	c nbDecision=281500 #constraints=7534
55.54/55.60	c nbDecision=282000 #constraints=7541
55.54/55.70	c nbDecision=282500 #constraints=7546
55.64/55.80	c nbDecision=283000 #constraints=7551
55.74/55.89	c nbDecision=283500 #constraints=7555
55.94/56.02	c nbDecision=284000 #constraints=7562
56.04/56.14	c nbDecision=284500 #constraints=7569
56.24/56.30	c nbDecision=285000 #constraints=7579
56.34/56.47	c nbDecision=285500 #constraints=7589
56.44/56.56	c nbDecision=286000 #constraints=7594
56.64/56.70	c nbDecision=286500 #constraints=7601
57.14/57.29	c nbDecision=287000 #constraints=7630
57.64/57.75	c nbDecision=287500 #constraints=7653
58.24/58.39	c nbDecision=288000 #constraints=7681
58.44/58.50	c nbDecision=288500 #constraints=7687
58.44/58.58	c nbDecision=289000 #constraints=7693
58.54/58.67	c nbDecision=289500 #constraints=7698
58.64/58.73	c nbDecision=290000 #constraints=7702
59.13/59.22	c nbDecision=290500 #constraints=7725
59.63/59.78	c nbDecision=291000 #constraints=7754
59.93/60.04	c nbDecision=291500 #constraints=7770
60.03/60.12	c nbDecision=292000 #constraints=7774
60.13/60.21	c nbDecision=292500 #constraints=7779
60.44/60.53	c nbDecision=293000 #constraints=7799
61.13/61.22	c nbDecision=293500 #constraints=7833
61.73/61.85	c nbDecision=294000 #constraints=7865
62.43/62.52	c nbDecision=294500 #constraints=7896
62.83/62.96	c nbDecision=295000 #constraints=7918
63.23/63.34	c nbDecision=295500 #constraints=7940
63.93/64.02	c nbDecision=296000 #constraints=7969
64.43/64.57	c nbDecision=296500 #constraints=7996
65.02/65.13	c nbDecision=297000 #constraints=8021
65.52/65.67	c nbDecision=297500 #constraints=8047
66.11/66.26	c nbDecision=298000 #constraints=8074
66.71/66.88	c nbDecision=298500 #constraints=8099
67.41/67.57	c nbDecision=299000 #constraints=8125
68.31/68.43	c nbDecision=299500 #constraints=8159
68.91/69.07	c nbDecision=300000 #constraints=8185
69.31/69.48	c nbDecision=300500 #constraints=8208
70.12/70.20	c nbDecision=301000 #constraints=8239
70.22/70.39	c nbDecision=301500 #constraints=8252
70.32/70.44	c nbDecision=302000 #constraints=8257
70.62/70.79	c nbDecision=302500 #constraints=8274
71.12/71.25	c nbDecision=303000 #constraints=8295
71.22/71.37	c nbDecision=303500 #constraints=8305
71.62/71.78	c nbDecision=304000 #constraints=8323
71.82/71.94	c nbDecision=304500 #constraints=8332
72.22/72.31	c nbDecision=305000 #constraints=8350
72.62/72.79	c nbDecision=305500 #constraints=8370
73.32/73.41	c nbDecision=306000 #constraints=8397
74.02/74.18	c nbDecision=306500 #constraints=8428
74.82/74.96	c nbDecision=307000 #constraints=8457
75.82/75.95	c nbDecision=307500 #constraints=8494
76.71/76.89	c nbDecision=308000 #constraints=8531
77.61/77.75	c nbDecision=308500 #constraints=8561
78.51/78.60	c nbDecision=309000 #constraints=8596
79.22/79.37	c nbDecision=309500 #constraints=8627
80.01/80.17	c nbDecision=310000 #constraints=8657
80.71/80.84	c nbDecision=310500 #constraints=8683
81.41/81.52	c nbDecision=311000 #constraints=8710
81.81/81.91	c nbDecision=311500 #constraints=8725
82.21/82.30	c nbDecision=312000 #constraints=8738
82.71/82.85	c nbDecision=312500 #constraints=8758
83.61/83.70	c nbDecision=313000 #constraints=8791
84.41/84.53	c nbDecision=313500 #constraints=8824
85.31/85.41	c nbDecision=314000 #constraints=8857
86.00/86.11	c nbDecision=314500 #constraints=8885
86.60/86.77	c nbDecision=315000 #constraints=8909
87.50/87.64	c nbDecision=315500 #constraints=8939
88.40/88.51	c nbDecision=316000 #constraints=8969
89.20/89.32	c nbDecision=316500 #constraints=8997
89.80/89.96	c nbDecision=317000 #constraints=9024
90.70/90.90	c nbDecision=317500 #constraints=9061
91.70/91.84	c nbDecision=318000 #constraints=9093
92.40/92.52	c nbDecision=318500 #constraints=9117
93.01/93.13	c nbDecision=319000 #constraints=9142
93.71/93.84	c nbDecision=319500 #constraints=9173
94.51/94.62	c nbDecision=320000 #constraints=9206
94.91/95.07	c nbDecision=320500 #constraints=9225
95.61/95.72	c nbDecision=321000 #constraints=9253
96.31/96.45	c nbDecision=321500 #constraints=9280
97.20/97.36	c nbDecision=322000 #constraints=9318
97.91/98.07	c nbDecision=322500 #constraints=9345
98.40/98.53	c nbDecision=323000 #constraints=9365
98.50/98.69	c nbDecision=323500 #constraints=9370
98.70/98.87	c nbDecision=324000 #constraints=9379
98.80/98.97	c nbDecision=324500 #constraints=9382
98.91/99.09	c nbDecision=325000 #constraints=9388
99.01/99.18	c nbDecision=325500 #constraints=9393
99.20/99.34	c nbDecision=326000 #constraints=9402
99.40/99.58	c nbDecision=326500 #constraints=9415
99.60/99.72	c nbDecision=327000 #constraints=9420
99.70/99.89	c nbDecision=327500 #constraints=9427
99.80/99.98	c nbDecision=328000 #constraints=9430
100.00/100.15	c nbDecision=328500 #constraints=9439
100.20/100.31	c nbDecision=329000 #constraints=9447
100.30/100.45	c nbDecision=329500 #constraints=9453
100.40/100.56	c nbDecision=330000 #constraints=9460
100.60/100.71	c nbDecision=330500 #constraints=9469
100.80/100.99	c nbDecision=331000 #constraints=9482
101.10/101.21	c nbDecision=331500 #constraints=9491
101.30/101.42	c nbDecision=332000 #constraints=9500
101.50/101.61	c nbDecision=332500 #constraints=9510
101.70/101.84	c nbDecision=333000 #constraints=9520
101.90/102.03	c nbDecision=333500 #constraints=9532
102.10/102.20	c nbDecision=334000 #constraints=9541
102.10/102.29	c nbDecision=334500 #constraints=9545
102.30/102.46	c nbDecision=335000 #constraints=9555
102.50/102.66	c nbDecision=335500 #constraints=9564
102.70/102.81	c nbDecision=336000 #constraints=9572
102.80/102.92	c nbDecision=336500 #constraints=9578
102.90/103.07	c nbDecision=337000 #constraints=9586
103.10/103.21	c nbDecision=337500 #constraints=9594
103.20/103.39	c nbDecision=338000 #constraints=9604
103.30/103.50	c nbDecision=338500 #constraints=9609
103.50/103.61	c nbDecision=339000 #constraints=9617
103.50/103.69	c nbDecision=339500 #constraints=9622
103.60/103.76	c nbDecision=340000 #constraints=9627
103.80/103.90	c nbDecision=340500 #constraints=9635
103.90/104.02	c nbDecision=341000 #constraints=9641
103.90/104.08	c nbDecision=341500 #constraints=9646
104.00/104.18	c nbDecision=342000 #constraints=9650
104.20/104.33	c nbDecision=342500 #constraints=9656
104.30/104.45	c nbDecision=343000 #constraints=9662
104.50/104.61	c nbDecision=343500 #constraints=9670
104.60/104.78	c nbDecision=344000 #constraints=9679
104.80/104.90	c nbDecision=344500 #constraints=9685
104.90/105.09	c nbDecision=345000 #constraints=9695
105.10/105.22	c nbDecision=345500 #constraints=9701
105.20/105.38	c nbDecision=346000 #constraints=9709
105.40/105.55	c nbDecision=346500 #constraints=9721
105.60/105.73	c nbDecision=347000 #constraints=9730
105.80/105.99	c nbDecision=347500 #constraints=9742
106.19/106.31	c nbDecision=348000 #constraints=9757
106.39/106.55	c nbDecision=348500 #constraints=9768
106.70/106.85	c nbDecision=349000 #constraints=9782
106.89/107.06	c nbDecision=349500 #constraints=9792
107.09/107.27	c nbDecision=350000 #constraints=9802
107.29/107.43	c nbDecision=350500 #constraints=9809
107.49/107.60	c nbDecision=351000 #constraints=9817
107.70/107.86	c nbDecision=351500 #constraints=9828
107.89/108.07	c nbDecision=352000 #constraints=9838
108.19/108.33	c nbDecision=352500 #constraints=9850
108.29/108.44	c nbDecision=353000 #constraints=9857
108.39/108.59	c nbDecision=353500 #constraints=9864
108.59/108.78	c nbDecision=354000 #constraints=9873
108.69/108.87	c nbDecision=354500 #constraints=9876
108.89/109.07	c nbDecision=355000 #constraints=9887
108.99/109.18	c nbDecision=355500 #constraints=9893
109.09/109.23	c nbDecision=356000 #constraints=9896
109.39/109.59	c nbDecision=356500 #constraints=9912
109.59/109.70	c nbDecision=357000 #constraints=9917
109.89/110.05	c nbDecision=357500 #constraints=9932
110.28/110.42	c nbDecision=358000 #constraints=9948
110.48/110.67	c nbDecision=358500 #constraints=9958
110.58/110.78	c nbDecision=359000 #constraints=9963
110.78/110.99	c nbDecision=359500 #constraints=9971
111.18/111.36	c nbDecision=360000 #constraints=9986
111.58/111.72	c nbDecision=360500 #constraints=10001
111.88/112.07	c nbDecision=361000 #constraints=10017
112.18/112.36	c nbDecision=361500 #constraints=10031
112.47/112.65	c nbDecision=362000 #constraints=10044
112.67/112.81	c nbDecision=362500 #constraints=10051
112.87/113.00	c nbDecision=363000 #constraints=10058
112.97/113.18	c nbDecision=363500 #constraints=10065
113.17/113.37	c nbDecision=364000 #constraints=10075
113.27/113.48	c nbDecision=364500 #constraints=10082
113.47/113.63	c nbDecision=365000 #constraints=10088
113.57/113.77	c nbDecision=365500 #constraints=10094
113.88/114.05	c nbDecision=366000 #constraints=10107
114.08/114.21	c nbDecision=366500 #constraints=10114
114.18/114.37	c nbDecision=367000 #constraints=10123
114.38/114.52	c nbDecision=367500 #constraints=10130
114.58/114.79	c nbDecision=368000 #constraints=10142
114.88/115.05	c nbDecision=368500 #constraints=10153
115.18/115.39	c nbDecision=369000 #constraints=10166
115.58/115.74	c nbDecision=369500 #constraints=10179
115.98/116.10	c nbDecision=370000 #constraints=10194
116.28/116.41	c nbDecision=370500 #constraints=10207
116.58/116.71	c nbDecision=371000 #constraints=10220
116.88/117.04	c nbDecision=371500 #constraints=10236
116.98/117.19	c nbDecision=372000 #constraints=10243
117.38/117.52	c nbDecision=372500 #constraints=10259
117.48/117.68	c nbDecision=373000 #constraints=10267
117.68/117.87	c nbDecision=373500 #constraints=10278
117.88/118.09	c nbDecision=374000 #constraints=10286
118.17/118.30	c nbDecision=374500 #constraints=10299
118.27/118.44	c nbDecision=375000 #constraints=10306
118.37/118.51	c nbDecision=375500 #constraints=10310
118.47/118.63	c nbDecision=376000 #constraints=10318
118.57/118.76	c nbDecision=376500 #constraints=10324
118.68/118.90	c nbDecision=377000 #constraints=10330
118.87/119.06	c nbDecision=377500 #constraints=10337
119.17/119.35	c nbDecision=378000 #constraints=10349
119.37/119.57	c nbDecision=378500 #constraints=10358
119.67/119.81	c nbDecision=379000 #constraints=10369
119.88/120.04	c nbDecision=379500 #constraints=10378
119.97/120.20	c nbDecision=380000 #constraints=10384
120.27/120.41	c nbDecision=380500 #constraints=10394
120.37/120.56	c nbDecision=381000 #constraints=10400
120.47/120.67	c nbDecision=381500 #constraints=10404
120.77/120.92	c nbDecision=382000 #constraints=10414
120.88/121.08	c nbDecision=382500 #constraints=10420
121.27/121.46	c nbDecision=383000 #constraints=10436
121.57/121.74	c nbDecision=383500 #constraints=10447
121.98/122.17	c nbDecision=384000 #constraints=10463
122.17/122.39	c nbDecision=384500 #constraints=10471
122.47/122.60	c nbDecision=385000 #constraints=10478
122.67/122.88	c nbDecision=385500 #constraints=10492
122.87/123.03	c nbDecision=386000 #constraints=10497
123.08/123.22	c nbDecision=386500 #constraints=10505
123.27/123.41	c nbDecision=387000 #constraints=10513
123.47/123.62	c nbDecision=387500 #constraints=10522
123.67/123.84	c nbDecision=388000 #constraints=10532
123.87/124.09	c nbDecision=388500 #constraints=10543
124.07/124.28	c nbDecision=389000 #constraints=10550
124.17/124.39	c nbDecision=389500 #constraints=10556
124.37/124.56	c nbDecision=390000 #constraints=10562
124.57/124.72	c nbDecision=390500 #constraints=10570
124.77/124.90	c nbDecision=391000 #constraints=10576
124.87/125.04	c nbDecision=391500 #constraints=10583
125.07/125.20	c nbDecision=392000 #constraints=10590
125.17/125.35	c nbDecision=392500 #constraints=10597
125.37/125.50	c nbDecision=393000 #constraints=10605
125.47/125.67	c nbDecision=393500 #constraints=10611
125.67/125.80	c nbDecision=394000 #constraints=10618
125.77/125.99	c nbDecision=394500 #constraints=10627
125.97/126.16	c nbDecision=395000 #constraints=10634
126.17/126.36	c nbDecision=395500 #constraints=10644
126.37/126.60	c nbDecision=396000 #constraints=10654
126.57/126.77	c nbDecision=396500 #constraints=10661
126.77/126.95	c nbDecision=397000 #constraints=10669
126.87/127.10	c nbDecision=397500 #constraints=10675
127.06/127.26	c nbDecision=398000 #constraints=10682
127.36/127.59	c nbDecision=398500 #constraints=10697
127.57/127.75	c nbDecision=399000 #constraints=10704
127.66/127.89	c nbDecision=399500 #constraints=10710
127.86/128.06	c nbDecision=400000 #constraints=10718
128.06/128.20	c nbDecision=400500 #constraints=10724
128.26/128.44	c nbDecision=401000 #constraints=10735
128.46/128.63	c nbDecision=401500 #constraints=10742
128.57/128.79	c nbDecision=402000 #constraints=10749
128.76/128.98	c nbDecision=402500 #constraints=10756
128.96/129.15	c nbDecision=403000 #constraints=10762
129.16/129.36	c nbDecision=403500 #constraints=10770
129.36/129.50	c nbDecision=404000 #constraints=10776
129.46/129.60	c nbDecision=404500 #constraints=10780
129.56/129.70	c nbDecision=405000 #constraints=10784
129.67/129.84	c nbDecision=405500 #constraints=10791
129.77/129.92	c nbDecision=406000 #constraints=10795
129.96/130.13	c nbDecision=406500 #constraints=10803
130.06/130.24	c nbDecision=407000 #constraints=10807
130.36/130.57	c nbDecision=407500 #constraints=10819
130.56/130.74	c nbDecision=408000 #constraints=10826
130.77/130.98	c nbDecision=408500 #constraints=10837
130.96/131.17	c nbDecision=409000 #constraints=10845
131.26/131.50	c nbDecision=409500 #constraints=10860
131.36/131.54	c restart after 409601 decisions
131.66/131.85	c nbDecision=410000 #constraints=10862
131.66/131.88	c nbDecision=410500 #constraints=10862
131.97/132.14	c nbDecision=411000 #constraints=10864
132.16/132.34	c nbDecision=411500 #constraints=10873
132.46/132.66	c nbDecision=412000 #constraints=10887
132.56/132.80	c nbDecision=412500 #constraints=10894
132.86/133.02	c nbDecision=413000 #constraints=10906
132.96/133.18	c nbDecision=413500 #constraints=10914
133.16/133.37	c nbDecision=414000 #constraints=10922
133.66/133.88	c nbDecision=414500 #constraints=10943
133.86/134.08	c nbDecision=415000 #constraints=10951
134.06/134.27	c nbDecision=415500 #constraints=10961
134.36/134.52	c nbDecision=416000 #constraints=10972
134.46/134.69	c nbDecision=416500 #constraints=10981
134.76/134.90	c nbDecision=417000 #constraints=10992
134.86/135.08	c nbDecision=417500 #constraints=11001
135.06/135.26	c nbDecision=418000 #constraints=11010
135.26/135.42	c nbDecision=418500 #constraints=11019
135.36/135.59	c nbDecision=419000 #constraints=11029
135.56/135.75	c nbDecision=419500 #constraints=11036
135.76/135.96	c nbDecision=420000 #constraints=11046
135.96/136.14	c nbDecision=420500 #constraints=11053
136.06/136.28	c nbDecision=421000 #constraints=11059
136.26/136.46	c nbDecision=421500 #constraints=11067
136.46/136.67	c nbDecision=422000 #constraints=11076
136.66/136.86	c nbDecision=422500 #constraints=11084
136.86/137.06	c nbDecision=423000 #constraints=11093
137.06/137.28	c nbDecision=423500 #constraints=11101
137.26/137.40	c nbDecision=424000 #constraints=11107
137.46/137.67	c nbDecision=424500 #constraints=11119
137.66/137.87	c nbDecision=425000 #constraints=11127
137.86/138.06	c nbDecision=425500 #constraints=11135
138.06/138.21	c nbDecision=426000 #constraints=11141
138.16/138.37	c nbDecision=426500 #constraints=11148
138.36/138.51	c nbDecision=427000 #constraints=11155
138.56/138.79	c nbDecision=427500 #constraints=11165
138.75/138.98	c nbDecision=428000 #constraints=11173
139.05/139.26	c nbDecision=428500 #constraints=11185
139.25/139.42	c nbDecision=429000 #constraints=11191
139.45/139.69	c nbDecision=429500 #constraints=11204
139.66/139.82	c nbDecision=430000 #constraints=11210
139.85/140.04	c nbDecision=430500 #constraints=11220
140.05/140.25	c nbDecision=431000 #constraints=11228
140.35/140.56	c nbDecision=431500 #constraints=11237
140.95/141.17	c nbDecision=432000 #constraints=11256
141.45/141.61	c nbDecision=432500 #constraints=11271
141.55/141.76	c nbDecision=433000 #constraints=11278
141.76/141.96	c nbDecision=433500 #constraints=11287
141.96/142.12	c nbDecision=434000 #constraints=11294
142.06/142.28	c nbDecision=434500 #constraints=11302
142.15/142.40	c nbDecision=435000 #constraints=11307
142.35/142.57	c nbDecision=435500 #constraints=11315
142.55/142.74	c nbDecision=436000 #constraints=11323
142.65/142.83	c nbDecision=436500 #constraints=11327
142.86/143.02	c nbDecision=437000 #constraints=11336
142.96/143.11	c nbDecision=437500 #constraints=11341
143.05/143.22	c nbDecision=438000 #constraints=11348
143.15/143.31	c nbDecision=438500 #constraints=11356
143.25/143.40	c nbDecision=439000 #constraints=11361
143.85/144.10	c nbDecision=439500 #constraints=11382
144.15/144.35	c nbDecision=440000 #constraints=11389
144.45/144.66	c nbDecision=440500 #constraints=11401
144.65/144.88	c nbDecision=441000 #constraints=11409
144.95/145.20	c nbDecision=441500 #constraints=11423
145.35/145.56	c nbDecision=442000 #constraints=11437
145.75/145.90	c nbDecision=442500 #constraints=11448
145.95/146.11	c nbDecision=443000 #constraints=11458
146.35/146.51	c nbDecision=443500 #constraints=11470
146.45/146.66	c nbDecision=444000 #constraints=11476
146.55/146.77	c nbDecision=444500 #constraints=11480
146.75/146.99	c nbDecision=445000 #constraints=11489
147.05/147.22	c nbDecision=445500 #constraints=11499
147.36/147.54	c nbDecision=446000 #constraints=11513
147.45/147.65	c nbDecision=446500 #constraints=11517
147.75/147.98	c nbDecision=447000 #constraints=11530
147.95/148.18	c nbDecision=447500 #constraints=11541
148.15/148.36	c nbDecision=448000 #constraints=11550
148.46/148.62	c nbDecision=448500 #constraints=11560
148.55/148.80	c nbDecision=449000 #constraints=11566
148.75/148.99	c nbDecision=449500 #constraints=11574
148.95/149.19	c nbDecision=450000 #constraints=11582
149.25/149.43	c nbDecision=450500 #constraints=11593
149.46/149.60	c nbDecision=451000 #constraints=11601
149.75/149.97	c nbDecision=451500 #constraints=11617
150.15/150.30	c nbDecision=452000 #constraints=11629
150.55/150.71	c nbDecision=452500 #constraints=11644
150.75/150.99	c nbDecision=453000 #constraints=11652
151.05/151.25	c nbDecision=453500 #constraints=11662
151.45/151.61	c nbDecision=454000 #constraints=11675
152.05/152.21	c nbDecision=454500 #constraints=11692
152.26/152.40	c nbDecision=455000 #constraints=11700
152.46/152.60	c nbDecision=455500 #constraints=11711
152.66/152.81	c nbDecision=456000 #constraints=11719
152.86/153.05	c nbDecision=456500 #constraints=11731
153.16/153.32	c nbDecision=457000 #constraints=11742
153.46/153.60	c nbDecision=457500 #constraints=11757
153.76/153.90	c nbDecision=458000 #constraints=11771
153.96/154.12	c nbDecision=458500 #constraints=11782
154.16/154.38	c nbDecision=459000 #constraints=11793
154.46/154.67	c nbDecision=459500 #constraints=11804
154.86/155.03	c nbDecision=460000 #constraints=11818
155.15/155.37	c nbDecision=460500 #constraints=11830
155.35/155.58	c nbDecision=461000 #constraints=11836
155.75/155.94	c nbDecision=461500 #constraints=11848
155.95/156.17	c nbDecision=462000 #constraints=11858
156.25/156.48	c nbDecision=462500 #constraints=11871
156.65/156.81	c nbDecision=463000 #constraints=11884
156.85/157.02	c nbDecision=463500 #constraints=11893
157.05/157.30	c nbDecision=464000 #constraints=11907
157.44/157.62	c nbDecision=464500 #constraints=11924
157.64/157.87	c nbDecision=465000 #constraints=11935
157.94/158.12	c nbDecision=465500 #constraints=11946
158.24/158.42	c nbDecision=466000 #constraints=11955
158.34/158.59	c nbDecision=466500 #constraints=11962
158.54/158.74	c nbDecision=467000 #constraints=11970
159.14/159.35	c nbDecision=467500 #constraints=11985
159.34/159.52	c nbDecision=468000 #constraints=11991
159.64/159.83	c nbDecision=468500 #constraints=12006
159.74/159.97	c nbDecision=469000 #constraints=12015
160.04/160.24	c nbDecision=469500 #constraints=12028
160.24/160.48	c nbDecision=470000 #constraints=12041
160.54/160.78	c nbDecision=470500 #constraints=12055
160.84/161.08	c nbDecision=471000 #constraints=12069
161.34/161.56	c nbDecision=471500 #constraints=12093
161.54/161.73	c nbDecision=472000 #constraints=12101
161.84/162.05	c nbDecision=472500 #constraints=12119
162.24/162.42	c nbDecision=473000 #constraints=12135
162.34/162.58	c nbDecision=473500 #constraints=12143
162.64/162.88	c nbDecision=474000 #constraints=12158
162.83/163.08	c nbDecision=474500 #constraints=12167
163.03/163.23	c nbDecision=475000 #constraints=12175
163.33/163.55	c nbDecision=475500 #constraints=12193
163.53/163.78	c nbDecision=476000 #constraints=12206
163.74/163.98	c nbDecision=476500 #constraints=12216
164.13/164.31	c nbDecision=477000 #constraints=12231
164.43/164.63	c nbDecision=477500 #constraints=12246
164.73/164.99	c nbDecision=478000 #constraints=12260
165.13/165.33	c nbDecision=478500 #constraints=12274
165.53/165.74	c nbDecision=479000 #constraints=12291
165.63/165.87	c nbDecision=479500 #constraints=12299
165.73/165.96	c nbDecision=480000 #constraints=12305
166.04/166.21	c nbDecision=480500 #constraints=12318
166.13/166.38	c nbDecision=481000 #constraints=12327
166.33/166.54	c nbDecision=481500 #constraints=12337
166.53/166.70	c nbDecision=482000 #constraints=12348
166.63/166.83	c nbDecision=482500 #constraints=12356
166.84/167.09	c nbDecision=483000 #constraints=12369
167.14/167.38	c nbDecision=483500 #constraints=12382
167.34/167.51	c nbDecision=484000 #constraints=12389
167.44/167.63	c nbDecision=484500 #constraints=12395
167.84/168.07	c nbDecision=485000 #constraints=12412
168.04/168.24	c nbDecision=485500 #constraints=12421
168.14/168.36	c nbDecision=486000 #constraints=12427
168.34/168.57	c nbDecision=486500 #constraints=12436
168.54/168.71	c nbDecision=487000 #constraints=12444
168.64/168.82	c nbDecision=487500 #constraints=12450
168.84/169.00	c nbDecision=488000 #constraints=12458
168.94/169.15	c nbDecision=488500 #constraints=12467
169.04/169.25	c nbDecision=489000 #constraints=12472
169.24/169.45	c nbDecision=489500 #constraints=12480
169.44/169.62	c nbDecision=490000 #constraints=12489
169.54/169.79	c nbDecision=490500 #constraints=12500
169.74/169.94	c nbDecision=491000 #constraints=12510
170.24/170.45	c nbDecision=491500 #constraints=12527
170.64/170.81	c nbDecision=492000 #constraints=12542
170.94/171.15	c nbDecision=492500 #constraints=12554
171.23/171.49	c nbDecision=493000 #constraints=12566
171.73/171.93	c nbDecision=493500 #constraints=12582
172.43/172.61	c nbDecision=494000 #constraints=12607
173.43/173.67	c nbDecision=494500 #constraints=12637
174.13/174.32	c nbDecision=495000 #constraints=12656
174.53/174.71	c nbDecision=495500 #constraints=12666
174.74/174.90	c nbDecision=496000 #constraints=12679
174.84/175.09	c nbDecision=496500 #constraints=12689
175.13/175.34	c nbDecision=497000 #constraints=12703
175.33/175.55	c nbDecision=497500 #constraints=12711
175.53/175.73	c nbDecision=498000 #constraints=12720
175.84/176.01	c nbDecision=498500 #constraints=12734
176.03/176.23	c nbDecision=499000 #constraints=12742
176.33/176.53	c nbDecision=499500 #constraints=12754
176.53/176.75	c nbDecision=500000 #constraints=12763
176.73/176.96	c nbDecision=500500 #constraints=12771
177.13/177.30	c nbDecision=501000 #constraints=12784
177.33/177.55	c nbDecision=501500 #constraints=12794
177.83/178.02	c nbDecision=502000 #constraints=12810
178.63/178.84	c nbDecision=502500 #constraints=12830
179.03/179.27	c nbDecision=503000 #constraints=12841
179.33/179.52	c nbDecision=503500 #constraints=12849
179.63/179.85	c nbDecision=504000 #constraints=12859
179.83/180.07	c nbDecision=504500 #constraints=12870
180.13/180.32	c nbDecision=505000 #constraints=12881
180.33/180.55	c nbDecision=505500 #constraints=12896
180.63/180.83	c nbDecision=506000 #constraints=12908
180.83/181.03	c nbDecision=506500 #constraints=12915
181.13/181.32	c nbDecision=507000 #constraints=12928
181.33/181.52	c nbDecision=507500 #constraints=12938
181.53/181.78	c nbDecision=508000 #constraints=12950
181.73/181.97	c nbDecision=508500 #constraints=12958
182.13/182.30	c nbDecision=509000 #constraints=12974
182.33/182.53	c nbDecision=509500 #constraints=12984
182.53/182.73	c nbDecision=510000 #constraints=12994
182.72/182.99	c nbDecision=510500 #constraints=13005
183.02/183.21	c nbDecision=511000 #constraints=13014
183.22/183.44	c nbDecision=511500 #constraints=13023
183.42/183.67	c nbDecision=512000 #constraints=13032
183.63/183.89	c nbDecision=512500 #constraints=13043
183.92/184.11	c nbDecision=513000 #constraints=13054
184.12/184.39	c nbDecision=513500 #constraints=13066
184.42/184.64	c nbDecision=514000 #constraints=13075
184.63/184.86	c nbDecision=514500 #constraints=13086
185.02/185.29	c nbDecision=515000 #constraints=13100
185.22/185.41	c nbDecision=515500 #constraints=13105
185.32/185.59	c nbDecision=516000 #constraints=13111
185.52/185.77	c nbDecision=516500 #constraints=13118
185.82/186.07	c nbDecision=517000 #constraints=13128
186.02/186.23	c nbDecision=517500 #constraints=13134
186.22/186.46	c nbDecision=518000 #constraints=13141
186.52/186.79	c nbDecision=518500 #constraints=13148
187.12/187.38	c nbDecision=519000 #constraints=13166
187.52/187.74	c nbDecision=519500 #constraints=13177
187.82/188.07	c nbDecision=520000 #constraints=13189
188.12/188.37	c nbDecision=520500 #constraints=13198
188.42/188.66	c nbDecision=521000 #constraints=13210
188.82/189.00	c nbDecision=521500 #constraints=13225
189.22/189.44	c nbDecision=522000 #constraints=13239
189.52/189.76	c nbDecision=522500 #constraints=13254
189.82/190.06	c nbDecision=523000 #constraints=13266
190.02/190.25	c nbDecision=523500 #constraints=13274
190.32/190.52	c nbDecision=524000 #constraints=13286
190.62/190.87	c nbDecision=524500 #constraints=13299
190.92/191.18	c nbDecision=525000 #constraints=13313
191.12/191.40	c nbDecision=525500 #constraints=13324
191.52/191.79	c nbDecision=526000 #constraints=13337
191.92/192.18	c nbDecision=526500 #constraints=13349
192.42/192.64	c nbDecision=527000 #constraints=13362
192.62/192.86	c nbDecision=527500 #constraints=13370
193.22/193.42	c nbDecision=528000 #constraints=13387
193.42/193.68	c nbDecision=528500 #constraints=13397
193.62/193.83	c nbDecision=529000 #constraints=13404
193.82/194.00	c nbDecision=529500 #constraints=13410
194.02/194.26	c nbDecision=530000 #constraints=13421
194.52/194.75	c nbDecision=530500 #constraints=13437
194.82/195.08	c nbDecision=531000 #constraints=13448
195.31/195.50	c nbDecision=531500 #constraints=13465
195.62/195.88	c nbDecision=532000 #constraints=13478
195.91/196.20	c nbDecision=532500 #constraints=13489
196.51/196.75	c nbDecision=533000 #constraints=13505
197.01/197.21	c nbDecision=533500 #constraints=13517
197.51/197.74	c nbDecision=534000 #constraints=13535
197.91/198.16	c nbDecision=534500 #constraints=13547
198.11/198.38	c nbDecision=535000 #constraints=13555
198.61/198.83	c nbDecision=535500 #constraints=13569
199.11/199.34	c nbDecision=536000 #constraints=13583
199.61/199.83	c nbDecision=536500 #constraints=13599
200.11/200.33	c nbDecision=537000 #constraints=13615
200.50/200.71	c nbDecision=537500 #constraints=13630
201.01/201.28	c nbDecision=538000 #constraints=13649
201.71/201.91	c nbDecision=538500 #constraints=13666
202.41/202.64	c nbDecision=539000 #constraints=13685
203.11/203.40	c nbDecision=539500 #constraints=13704
204.00/204.22	c nbDecision=540000 #constraints=13725
204.80/205.03	c nbDecision=540500 #constraints=13746
205.40/205.66	c nbDecision=541000 #constraints=13762
206.40/206.63	c nbDecision=541500 #constraints=13787
207.20/207.45	c nbDecision=542000 #constraints=13808
208.10/208.39	c nbDecision=542500 #constraints=13834
208.90/209.17	c nbDecision=543000 #constraints=13855
209.29/209.51	c nbDecision=543500 #constraints=13865
209.79/210.10	c nbDecision=544000 #constraints=13885
210.39/210.64	c nbDecision=544500 #constraints=13899
210.89/211.13	c nbDecision=545000 #constraints=13913
211.19/211.45	c nbDecision=545500 #constraints=13920
211.79/212.01	c nbDecision=546000 #constraints=13939
212.39/212.61	c nbDecision=546500 #constraints=13955
212.79/213.07	c nbDecision=547000 #constraints=13968
213.49/213.71	c nbDecision=547500 #constraints=13987
213.99/214.25	c nbDecision=548000 #constraints=14005
214.79/215.02	c nbDecision=548500 #constraints=14026
215.39/215.63	c nbDecision=549000 #constraints=14043
215.90/216.13	c nbDecision=549500 #constraints=14060
216.60/216.86	c nbDecision=550000 #constraints=14082
217.30/217.52	c nbDecision=550500 #constraints=14100
218.20/218.45	c nbDecision=551000 #constraints=14125
219.00/219.25	c nbDecision=551500 #constraints=14148
219.70/219.95	c nbDecision=552000 #constraints=14174
220.30/220.59	c nbDecision=552500 #constraints=14193
220.70/220.95	c nbDecision=553000 #constraints=14206
221.30/221.58	c nbDecision=553500 #constraints=14222
221.80/222.04	c nbDecision=554000 #constraints=14234
222.30/222.55	c nbDecision=554500 #constraints=14246
222.90/223.10	c nbDecision=555000 #constraints=14259
223.40/223.66	c nbDecision=555500 #constraints=14272
223.90/224.10	c nbDecision=556000 #constraints=14282
224.40/224.63	c nbDecision=556500 #constraints=14295
225.30/225.55	c nbDecision=557000 #constraints=14318
226.10/226.39	c nbDecision=557500 #constraints=14339
226.79/227.03	c nbDecision=558000 #constraints=14355
227.39/227.64	c nbDecision=558500 #constraints=14370
228.20/228.47	c nbDecision=559000 #constraints=14390
229.19/229.49	c nbDecision=559500 #constraints=14415
230.09/230.36	c nbDecision=560000 #constraints=14438
230.80/231.05	c nbDecision=560500 #constraints=14455
231.49/231.76	c nbDecision=561000 #constraints=14475
232.19/232.44	c nbDecision=561500 #constraints=14493
232.69/232.97	c nbDecision=562000 #constraints=14508
233.29/233.59	c nbDecision=562500 #constraints=14525
234.20/234.42	c nbDecision=563000 #constraints=14547
234.89/235.12	c nbDecision=563500 #constraints=14566
235.69/235.94	c nbDecision=564000 #constraints=14592
236.19/236.45	c nbDecision=564500 #constraints=14605
236.69/236.96	c nbDecision=565000 #constraints=14624
237.19/237.47	c nbDecision=565500 #constraints=14638
237.99/238.25	c nbDecision=566000 #constraints=14659
238.59/238.87	c nbDecision=566500 #constraints=14677
239.38/239.64	c nbDecision=567000 #constraints=14697
240.08/240.36	c nbDecision=567500 #constraints=14721
240.98/241.23	c nbDecision=568000 #constraints=14744
241.68/241.90	c nbDecision=568500 #constraints=14765
242.38/242.64	c nbDecision=569000 #constraints=14786
243.38/243.63	c nbDecision=569500 #constraints=14813
244.58/244.82	c nbDecision=570000 #constraints=14841
245.67/245.95	c nbDecision=570500 #constraints=14871
247.57/247.83	c nbDecision=571000 #constraints=14911
248.37/248.68	c nbDecision=571500 #constraints=14931
248.77/249.08	c nbDecision=572000 #constraints=14942
249.57/249.89	c nbDecision=572500 #constraints=14965
250.06/250.33	c nbDecision=573000 #constraints=14977
250.36/250.60	c nbDecision=573500 #constraints=14984
250.56/250.87	c nbDecision=574000 #constraints=14993
250.86/251.19	c nbDecision=574500 #constraints=15003
251.26/251.54	c nbDecision=575000 #constraints=15013
251.66/251.98	c nbDecision=575500 #constraints=15028
252.16/252.43	c nbDecision=576000 #constraints=15041
252.46/252.75	c nbDecision=576500 #constraints=15049
252.86/253.12	c nbDecision=577000 #constraints=15060
253.26/253.59	c nbDecision=577500 #constraints=15074
253.76/254.04	c nbDecision=578000 #constraints=15089
254.06/254.39	c nbDecision=578500 #constraints=15100
254.66/254.90	c nbDecision=579000 #constraints=15116
254.96/255.26	c nbDecision=579500 #constraints=15125
255.27/255.51	c nbDecision=580000 #constraints=15136
255.76/256.00	c nbDecision=580500 #constraints=15151
256.36/256.64	c nbDecision=581000 #constraints=15174
256.86/257.17	c nbDecision=581500 #constraints=15190
257.46/257.73	c nbDecision=582000 #constraints=15208
257.96/258.22	c nbDecision=582500 #constraints=15223
258.46/258.73	c nbDecision=583000 #constraints=15238
259.16/259.40	c nbDecision=583500 #constraints=15261
259.66/259.93	c nbDecision=584000 #constraints=15275
260.36/260.61	c nbDecision=584500 #constraints=15298
260.96/261.28	c nbDecision=585000 #constraints=15326
261.66/261.98	c nbDecision=585500 #constraints=15353
262.56/262.82	c nbDecision=586000 #constraints=15379
263.26/263.59	c nbDecision=586500 #constraints=15404
264.16/264.46	c nbDecision=587000 #constraints=15428
266.06/266.39	c nbDecision=587500 #constraints=15465
266.75/267.10	c nbDecision=588000 #constraints=15487
267.55/267.88	c nbDecision=588500 #constraints=15509
268.45/268.77	c nbDecision=589000 #constraints=15535
269.05/269.33	c nbDecision=589500 #constraints=15557
269.85/270.14	c nbDecision=590000 #constraints=15580
270.65/270.96	c nbDecision=590500 #constraints=15601
271.45/271.78	c nbDecision=591000 #constraints=15620
272.95/273.23	c nbDecision=591500 #constraints=15645
273.35/273.63	c nbDecision=592000 #constraints=15659
273.85/274.14	c nbDecision=592500 #constraints=15676
274.15/274.45	c nbDecision=593000 #constraints=15687
274.65/274.92	c nbDecision=593500 #constraints=15705
274.95/275.25	c nbDecision=594000 #constraints=15714
275.15/275.43	c nbDecision=594500 #constraints=15720
275.35/275.66	c nbDecision=595000 #constraints=15729
275.75/276.06	c nbDecision=595500 #constraints=15744
276.15/276.45	c nbDecision=596000 #constraints=15758
276.55/276.83	c nbDecision=596500 #constraints=15770
276.96/277.22	c nbDecision=597000 #constraints=15783
277.35/277.66	c nbDecision=597500 #constraints=15796
277.65/277.95	c nbDecision=598000 #constraints=15805
277.95/278.22	c nbDecision=598500 #constraints=15812
278.16/278.48	c nbDecision=599000 #constraints=15821
278.45/278.76	c nbDecision=599500 #constraints=15828
278.85/279.10	c nbDecision=600000 #constraints=15838
279.16/279.48	c nbDecision=600500 #constraints=15848
279.55/279.86	c nbDecision=601000 #constraints=15859
279.75/280.06	c nbDecision=601500 #constraints=15864
279.95/280.28	c nbDecision=602000 #constraints=15871
280.36/280.62	c nbDecision=602500 #constraints=15882
280.85/281.10	c nbDecision=603000 #constraints=15896
281.25/281.56	c nbDecision=603500 #constraints=15909
281.75/282.06	c nbDecision=604000 #constraints=15925
282.05/282.33	c nbDecision=604500 #constraints=15932
282.25/282.52	c nbDecision=605000 #constraints=15938
282.75/283.01	c nbDecision=605500 #constraints=15956
283.05/283.34	c nbDecision=606000 #constraints=15966
283.45/283.79	c nbDecision=606500 #constraints=15983
283.85/284.18	c nbDecision=607000 #constraints=15998
284.05/284.39	c nbDecision=607500 #constraints=16008
284.45/284.74	c nbDecision=608000 #constraints=16020
284.95/285.23	c nbDecision=608500 #constraints=16035
285.45/285.71	c nbDecision=609000 #constraints=16047
285.75/286.02	c nbDecision=609500 #constraints=16056
285.95/286.22	c nbDecision=610000 #constraints=16065
286.05/286.40	c nbDecision=610500 #constraints=16072
286.35/286.69	c nbDecision=611000 #constraints=16080
286.65/286.90	c nbDecision=611500 #constraints=16087
286.95/287.22	c nbDecision=612000 #constraints=16096
287.14/287.44	c nbDecision=612500 #constraints=16104
287.34/287.66	c nbDecision=613000 #constraints=16111
287.64/287.97	c nbDecision=613500 #constraints=16118
287.84/288.15	c nbDecision=614000 #constraints=16124
288.14/288.42	c nbDecision=614500 #constraints=16132
288.44/288.78	c nbDecision=615000 #constraints=16145
288.64/288.94	c nbDecision=615500 #constraints=16153
288.84/289.11	c nbDecision=616000 #constraints=16161
289.24/289.55	c nbDecision=616500 #constraints=16178
289.84/290.19	c nbDecision=617000 #constraints=16199
290.14/290.44	c nbDecision=617500 #constraints=16207
290.34/290.66	c nbDecision=618000 #constraints=16214
290.54/290.87	c nbDecision=618500 #constraints=16219
291.24/291.52	c nbDecision=619000 #constraints=16236
292.03/292.35	c nbDecision=619500 #constraints=16257
292.83/293.12	c nbDecision=620000 #constraints=16277
293.83/294.11	c nbDecision=620500 #constraints=16310
294.54/294.86	c nbDecision=621000 #constraints=16333
296.13/296.47	c nbDecision=621500 #constraints=16369
297.13/297.46	c nbDecision=622000 #constraints=16399
297.83/298.18	c nbDecision=622500 #constraints=16419
298.43/298.72	c nbDecision=623000 #constraints=16437
299.03/299.33	c nbDecision=623500 #constraints=16457
299.63/299.94	c nbDecision=624000 #constraints=16476
300.53/300.81	c nbDecision=624500 #constraints=16500
301.33/301.65	c nbDecision=625000 #constraints=16525
302.03/302.33	c nbDecision=625500 #constraints=16547
302.82/303.16	c nbDecision=626000 #constraints=16577
303.72/304.06	c nbDecision=626500 #constraints=16603
304.53/304.84	c nbDecision=627000 #constraints=16625
305.42/305.76	c nbDecision=627500 #constraints=16649
306.63/306.92	c nbDecision=628000 #constraints=16677
307.42/307.78	c nbDecision=628500 #constraints=16697
308.22/308.59	c nbDecision=629000 #constraints=16717
308.93/309.27	c nbDecision=629500 #constraints=16735
310.12/310.45	c nbDecision=630000 #constraints=16760
311.02/311.36	c nbDecision=630500 #constraints=16783
312.02/312.37	c nbDecision=631000 #constraints=16813
313.02/313.36	c nbDecision=631500 #constraints=16842
314.12/314.43	c nbDecision=632000 #constraints=16863
315.42/315.71	c nbDecision=632500 #constraints=16896
316.12/316.41	c nbDecision=633000 #constraints=16920
317.11/317.42	c nbDecision=633500 #constraints=16953
318.01/318.32	c nbDecision=634000 #constraints=16990
319.21/319.59	c nbDecision=634500 #constraints=17028
320.01/320.36	c nbDecision=635000 #constraints=17052
321.02/321.35	c nbDecision=635500 #constraints=17085
321.61/321.95	c nbDecision=636000 #constraints=17101
322.52/322.83	c nbDecision=636500 #constraints=17127
322.92/323.24	c nbDecision=637000 #constraints=17142
323.22/323.54	c nbDecision=637500 #constraints=17152
323.92/324.27	c nbDecision=638000 #constraints=17175
324.72/325.08	c nbDecision=638500 #constraints=17199
326.12/326.47	c nbDecision=639000 #constraints=17235
327.22/327.54	c nbDecision=639500 #constraints=17264
328.32/328.62	c nbDecision=640000 #constraints=17298
328.92/329.26	c nbDecision=640500 #constraints=17318
329.51/329.87	c nbDecision=641000 #constraints=17339
330.31/330.66	c nbDecision=641500 #constraints=17364
331.61/331.97	c nbDecision=642000 #constraints=17397
333.02/333.32	c nbDecision=642500 #constraints=17425
334.81/335.11	c nbDecision=643000 #constraints=17459
336.41/336.79	c nbDecision=643500 #constraints=17496
337.20/337.53	c nbDecision=644000 #constraints=17515
338.20/338.53	c nbDecision=644500 #constraints=17541
339.10/339.49	c nbDecision=645000 #constraints=17565
340.20/340.56	c nbDecision=645500 #constraints=17591
340.90/341.24	c nbDecision=646000 #constraints=17609
341.60/341.95	c nbDecision=646500 #constraints=17629
342.30/342.69	c nbDecision=647000 #constraints=17650
343.30/343.70	c nbDecision=647500 #constraints=17673
344.10/344.50	c nbDecision=648000 #constraints=17693
345.10/345.44	c nbDecision=648500 #constraints=17716
346.89/347.25	c nbDecision=649000 #constraints=17753
348.19/348.54	c nbDecision=649500 #constraints=17779
349.50/349.85	c nbDecision=650000 #constraints=17806
350.70/351.09	c nbDecision=650500 #constraints=17831
351.99/352.36	c nbDecision=651000 #constraints=17860
353.19/353.50	c nbDecision=651500 #constraints=17887
353.89/354.24	c nbDecision=652000 #constraints=17904
354.79/355.10	c nbDecision=652500 #constraints=17928
355.59/355.99	c nbDecision=653000 #constraints=17951
356.69/357.04	c nbDecision=653500 #constraints=17974
357.79/358.11	c nbDecision=654000 #constraints=17997
359.09/359.49	c nbDecision=654500 #constraints=18026
360.09/360.46	c nbDecision=655000 #constraints=18049
361.48/361.86	c nbDecision=655500 #constraints=18078
362.28/362.67	c nbDecision=656000 #constraints=18099
363.28/363.62	c nbDecision=656500 #constraints=18122
363.98/364.35	c nbDecision=657000 #constraints=18142
364.89/365.21	c nbDecision=657500 #constraints=18168
365.88/366.29	c nbDecision=658000 #constraints=18195
367.18/367.54	c nbDecision=658500 #constraints=18224
368.08/368.41	c nbDecision=659000 #constraints=18245
368.78/369.16	c nbDecision=659500 #constraints=18265
370.08/370.42	c nbDecision=660000 #constraints=18294
370.98/371.37	c nbDecision=660500 #constraints=18320
371.98/372.37	c nbDecision=661000 #constraints=18345
373.38/373.71	c nbDecision=661500 #constraints=18378
375.39/375.73	c nbDecision=662000 #constraints=18423
377.09/377.43	c nbDecision=662500 #constraints=18458
379.58/379.90	c nbDecision=663000 #constraints=18505
382.67/383.06	c nbDecision=663500 #constraints=18552
383.97/384.33	c nbDecision=664000 #constraints=18575
384.97/385.32	c nbDecision=664500 #constraints=18595
385.88/386.28	c nbDecision=665000 #constraints=18616
386.88/387.30	c nbDecision=665500 #constraints=18639
387.77/388.13	c nbDecision=666000 #constraints=18658
388.36/388.77	c nbDecision=666500 #constraints=18675
388.86/389.22	c nbDecision=667000 #constraints=18685
389.56/389.90	c nbDecision=667500 #constraints=18703
390.56/390.92	c nbDecision=668000 #constraints=18730
391.56/392.00	c nbDecision=668500 #constraints=18753
392.66/393.06	c nbDecision=669000 #constraints=18775
393.76/394.17	c nbDecision=669500 #constraints=18796
395.06/395.40	c nbDecision=670000 #constraints=18817
395.86/396.24	c nbDecision=670500 #constraints=18840
396.96/397.39	c nbDecision=671000 #constraints=18872
397.86/398.30	c nbDecision=671500 #constraints=18900
398.16/398.51	c nbDecision=672000 #constraints=18913
398.86/399.23	c nbDecision=672500 #constraints=18932
399.56/399.97	c nbDecision=673000 #constraints=18953
400.56/400.94	c nbDecision=673500 #constraints=18979
400.76/401.12	c nbDecision=674000 #constraints=18989
401.06/401.40	c nbDecision=674500 #constraints=19001
401.75/402.13	c nbDecision=675000 #constraints=19024
402.85/403.26	c nbDecision=675500 #constraints=19053
403.65/404.04	c nbDecision=676000 #constraints=19075
404.65/405.07	c nbDecision=676500 #constraints=19101
405.75/406.18	c nbDecision=677000 #constraints=19123
406.66/407.08	c nbDecision=677500 #constraints=19143
407.45/407.83	c nbDecision=678000 #constraints=19158
408.15/408.56	c nbDecision=678500 #constraints=19175
408.75/409.17	c nbDecision=679000 #constraints=19192
409.65/410.03	c nbDecision=679500 #constraints=19213
410.65/411.09	c nbDecision=680000 #constraints=19233
412.05/412.44	c nbDecision=680500 #constraints=19258
412.75/413.20	c nbDecision=681000 #constraints=19273
413.05/413.45	c nbDecision=681500 #constraints=19284
413.75/414.10	c nbDecision=682000 #constraints=19299
414.65/415.01	c nbDecision=682500 #constraints=19324
415.45/415.89	c nbDecision=683000 #constraints=19344
416.25/416.69	c nbDecision=683500 #constraints=19360
417.35/417.71	c nbDecision=684000 #constraints=19388
418.14/418.50	c nbDecision=684500 #constraints=19401
418.94/419.33	c nbDecision=685000 #constraints=19424
419.64/420.05	c nbDecision=685500 #constraints=19442
420.35/420.73	c nbDecision=686000 #constraints=19460
421.06/421.46	c nbDecision=686500 #constraints=19483
421.95/422.34	c nbDecision=687000 #constraints=19509
422.85/423.25	c nbDecision=687500 #constraints=19535
423.05/423.40	c nbDecision=688000 #constraints=19542
423.15/423.54	c nbDecision=688500 #constraints=19550
424.05/424.44	c nbDecision=689000 #constraints=19573
425.14/425.58	c nbDecision=689500 #constraints=19597
425.74/426.14	c nbDecision=690000 #constraints=19614
426.45/426.85	c nbDecision=690500 #constraints=19634
427.74/428.14	c nbDecision=691000 #constraints=19663
428.54/428.96	c nbDecision=691500 #constraints=19685
429.74/430.17	c nbDecision=692000 #constraints=19712
431.14/431.51	c nbDecision=692500 #constraints=19741
431.94/432.35	c nbDecision=693000 #constraints=19762
432.84/433.20	c nbDecision=693500 #constraints=19782
434.14/434.51	c nbDecision=694000 #constraints=19812
435.24/435.68	c nbDecision=694500 #constraints=19837
436.13/436.58	c nbDecision=695000 #constraints=19855
437.43/437.83	c nbDecision=695500 #constraints=19880
439.23/439.60	c nbDecision=696000 #constraints=19912
440.03/440.42	c nbDecision=696500 #constraints=19923
441.03/441.40	c nbDecision=697000 #constraints=19940
442.03/442.47	c nbDecision=697500 #constraints=19957
442.63/443.09	c nbDecision=698000 #constraints=19971
443.42/443.82	c nbDecision=698500 #constraints=19986
444.52/444.97	c nbDecision=699000 #constraints=20008
445.52/445.99	c nbDecision=699500 #constraints=20026
446.92/447.34	c nbDecision=700000 #constraints=20047
449.22/449.64	c nbDecision=700500 #constraints=20084
449.82/450.24	c nbDecision=701000 #constraints=20097
450.42/450.82	c nbDecision=701500 #constraints=20112
451.02/451.41	c nbDecision=702000 #constraints=20126
451.62/452.06	c nbDecision=702500 #constraints=20142
452.42/452.80	c nbDecision=703000 #constraints=20156
453.12/453.51	c nbDecision=703500 #constraints=20173
453.62/454.09	c nbDecision=704000 #constraints=20188
454.32/454.76	c nbDecision=704500 #constraints=20200
455.12/455.54	c nbDecision=705000 #constraints=20213
455.62/456.08	c nbDecision=705500 #constraints=20221
455.91/456.32	c nbDecision=706000 #constraints=20229
456.12/456.57	c nbDecision=706500 #constraints=20236
456.52/456.92	c nbDecision=707000 #constraints=20245
456.72/457.17	c nbDecision=707500 #constraints=20252
457.01/457.49	c nbDecision=708000 #constraints=20260
457.42/457.85	c nbDecision=708500 #constraints=20266
457.72/458.15	c nbDecision=709000 #constraints=20276
458.02/458.49	c nbDecision=709500 #constraints=20288
458.33/458.79	c nbDecision=710000 #constraints=20299
458.72/459.10	c nbDecision=710500 #constraints=20310
458.92/459.34	c nbDecision=711000 #constraints=20318
459.22/459.67	c nbDecision=711500 #constraints=20330
459.62/460.05	c nbDecision=712000 #constraints=20344
459.92/460.37	c nbDecision=712500 #constraints=20355
460.32/460.71	c nbDecision=713000 #constraints=20367
460.63/461.03	c nbDecision=713500 #constraints=20378
460.92/461.39	c nbDecision=714000 #constraints=20391
461.32/461.71	c nbDecision=714500 #constraints=20402
461.63/462.06	c nbDecision=715000 #constraints=20415
462.12/462.53	c nbDecision=715500 #constraints=20432
462.52/462.90	c nbDecision=716000 #constraints=20446
462.82/463.26	c nbDecision=716500 #constraints=20460
463.22/463.62	c nbDecision=717000 #constraints=20472
463.52/463.98	c nbDecision=717500 #constraints=20486
463.92/464.33	c nbDecision=718000 #constraints=20499
464.22/464.70	c nbDecision=718500 #constraints=20513
464.62/465.07	c nbDecision=719000 #constraints=20527
464.92/465.38	c nbDecision=719500 #constraints=20538
465.52/465.91	c nbDecision=720000 #constraints=20551
465.82/466.20	c nbDecision=720500 #constraints=20558
466.02/466.45	c nbDecision=721000 #constraints=20565
466.32/466.74	c nbDecision=721500 #constraints=20575
466.61/467.03	c nbDecision=722000 #constraints=20585
466.92/467.32	c nbDecision=722500 #constraints=20595
467.22/467.61	c nbDecision=723000 #constraints=20605
467.51/467.90	c nbDecision=723500 #constraints=20613
467.81/468.25	c nbDecision=724000 #constraints=20625
468.11/468.54	c nbDecision=724500 #constraints=20635
468.41/468.88	c nbDecision=725000 #constraints=20641
468.71/469.18	c nbDecision=725500 #constraints=20650
469.01/469.47	c nbDecision=726000 #constraints=20657
469.41/469.82	c nbDecision=726500 #constraints=20665
469.71/470.16	c nbDecision=727000 #constraints=20677
470.01/470.43	c nbDecision=727500 #constraints=20685
470.61/471.02	c nbDecision=728000 #constraints=20694
470.91/471.34	c nbDecision=728500 #constraints=20703
471.11/471.54	c nbDecision=729000 #constraints=20710
471.41/471.80	c nbDecision=729500 #constraints=20719
471.51/471.99	c nbDecision=730000 #constraints=20726
471.91/472.33	c nbDecision=730500 #constraints=20735
472.11/472.56	c nbDecision=731000 #constraints=20742
472.51/472.96	c nbDecision=731500 #constraints=20753
472.81/473.28	c nbDecision=732000 #constraints=20761
473.11/473.56	c nbDecision=732500 #constraints=20768
473.41/473.87	c nbDecision=733000 #constraints=20778
473.81/474.28	c nbDecision=733500 #constraints=20792
474.30/474.70	c nbDecision=734000 #constraints=20803
474.60/475.02	c nbDecision=734500 #constraints=20814
475.00/475.42	c nbDecision=735000 #constraints=20825
475.30/475.79	c nbDecision=735500 #constraints=20835
475.70/476.11	c nbDecision=736000 #constraints=20843
476.01/476.43	c nbDecision=736500 #constraints=20850
476.30/476.73	c nbDecision=737000 #constraints=20860
476.50/477.00	c nbDecision=737500 #constraints=20869
476.90/477.31	c nbDecision=738000 #constraints=20879
477.20/477.60	c nbDecision=738500 #constraints=20888
477.50/477.92	c nbDecision=739000 #constraints=20897
477.90/478.35	c nbDecision=739500 #constraints=20908
478.21/478.66	c nbDecision=740000 #constraints=20916
478.70/479.12	c nbDecision=740500 #constraints=20927
479.00/479.43	c nbDecision=741000 #constraints=20934
479.59/480.07	c nbDecision=741500 #constraints=20950
480.09/480.56	c nbDecision=742000 #constraints=20964
480.49/480.93	c nbDecision=742500 #constraints=20974
480.79/481.27	c nbDecision=743000 #constraints=20985
481.09/481.58	c nbDecision=743500 #constraints=20995
481.50/481.96	c nbDecision=744000 #constraints=21007
481.89/482.31	c nbDecision=744500 #constraints=21018
482.19/482.62	c nbDecision=745000 #constraints=21026
482.49/482.97	c nbDecision=745500 #constraints=21036
482.79/483.29	c nbDecision=746000 #constraints=21045
483.20/483.67	c nbDecision=746500 #constraints=21057
483.70/484.12	c nbDecision=747000 #constraints=21071
484.10/484.56	c nbDecision=747500 #constraints=21085
484.50/484.92	c nbDecision=748000 #constraints=21098
484.90/485.37	c nbDecision=748500 #constraints=21111
485.30/485.76	c nbDecision=749000 #constraints=21123
485.90/486.31	c nbDecision=749500 #constraints=21138
486.20/486.70	c nbDecision=750000 #constraints=21148
486.70/487.16	c nbDecision=750500 #constraints=21160
487.10/487.53	c nbDecision=751000 #constraints=21171
487.39/487.88	c nbDecision=751500 #constraints=21181
487.89/488.32	c nbDecision=752000 #constraints=21195
488.29/488.70	c nbDecision=752500 #constraints=21206
488.59/489.02	c nbDecision=753000 #constraints=21215
488.99/489.49	c nbDecision=753500 #constraints=21227
489.39/489.85	c nbDecision=754000 #constraints=21238
489.69/490.14	c nbDecision=754500 #constraints=21247
490.09/490.57	c nbDecision=755000 #constraints=21260
490.49/490.94	c nbDecision=755500 #constraints=21272
490.69/491.19	c nbDecision=756000 #constraints=21277
491.19/491.62	c nbDecision=756500 #constraints=21289
491.59/492.04	c nbDecision=757000 #constraints=21299
492.09/492.57	c nbDecision=757500 #constraints=21313
492.40/492.87	c nbDecision=758000 #constraints=21322
492.89/493.38	c nbDecision=758500 #constraints=21335
493.29/493.75	c nbDecision=759000 #constraints=21347
493.79/494.20	c nbDecision=759500 #constraints=21362
494.19/494.60	c nbDecision=760000 #constraints=21373
494.49/494.97	c nbDecision=760500 #constraints=21384
495.09/495.50	c nbDecision=761000 #constraints=21400
495.39/495.83	c nbDecision=761500 #constraints=21408
495.69/496.16	c nbDecision=762000 #constraints=21418
496.19/496.64	c nbDecision=762500 #constraints=21434
496.59/497.01	c nbDecision=763000 #constraints=21446
496.99/497.46	c nbDecision=763500 #constraints=21459
497.49/497.96	c nbDecision=764000 #constraints=21474
498.09/498.51	c nbDecision=764500 #constraints=21486
498.39/498.82	c nbDecision=765000 #constraints=21494
498.69/499.13	c nbDecision=765500 #constraints=21504
498.99/499.48	c nbDecision=766000 #constraints=21516
499.29/499.77	c nbDecision=766500 #constraints=21524
499.59/500.07	c nbDecision=767000 #constraints=21534
499.89/500.36	c nbDecision=767500 #constraints=21544
500.19/500.69	c nbDecision=768000 #constraints=21554
500.49/500.96	c nbDecision=768500 #constraints=21562
500.79/501.24	c nbDecision=769000 #constraints=21568
501.39/501.89	c nbDecision=769500 #constraints=21580
501.79/502.23	c nbDecision=770000 #constraints=21585
502.19/502.60	c nbDecision=770500 #constraints=21591
502.39/502.85	c nbDecision=771000 #constraints=21597
502.89/503.31	c nbDecision=771500 #constraints=21608
503.08/503.53	c nbDecision=772000 #constraints=21613
503.68/504.12	c nbDecision=772500 #constraints=21627
503.98/504.48	c nbDecision=773000 #constraints=21635
504.38/504.87	c nbDecision=773500 #constraints=21642
504.88/505.39	c nbDecision=774000 #constraints=21656
505.38/505.88	c nbDecision=774500 #constraints=21667
505.69/506.13	c nbDecision=775000 #constraints=21674
505.88/506.35	c nbDecision=775500 #constraints=21680
506.18/506.62	c nbDecision=776000 #constraints=21686
506.38/506.86	c nbDecision=776500 #constraints=21691
506.79/507.28	c nbDecision=777000 #constraints=21697
507.08/507.58	c nbDecision=777500 #constraints=21705
507.58/508.00	c nbDecision=778000 #constraints=21715
507.79/508.25	c nbDecision=778500 #constraints=21720
508.08/508.51	c nbDecision=779000 #constraints=21727
508.58/509.03	c nbDecision=779500 #constraints=21737
508.78/509.29	c nbDecision=780000 #constraints=21743
509.18/509.66	c nbDecision=780500 #constraints=21751
509.58/510.07	c nbDecision=781000 #constraints=21761
509.78/510.27	c nbDecision=781500 #constraints=21766
510.18/510.61	c nbDecision=782000 #constraints=21772
510.38/510.88	c nbDecision=782500 #constraints=21780
510.68/511.15	c nbDecision=783000 #constraints=21786
510.98/511.43	c nbDecision=783500 #constraints=21794
511.28/511.75	c nbDecision=784000 #constraints=21800
511.68/512.13	c nbDecision=784500 #constraints=21807
511.88/512.38	c nbDecision=785000 #constraints=21812
512.28/512.77	c nbDecision=785500 #constraints=21821
512.58/513.10	c nbDecision=786000 #constraints=21827
512.98/513.44	c nbDecision=786500 #constraints=21835
513.28/513.77	c nbDecision=787000 #constraints=21842
513.88/514.30	c nbDecision=787500 #constraints=21855
514.07/514.57	c nbDecision=788000 #constraints=21860
514.57/515.07	c nbDecision=788500 #constraints=21869
515.07/515.53	c nbDecision=789000 #constraints=21879
515.37/515.86	c nbDecision=789500 #constraints=21885
515.77/516.20	c nbDecision=790000 #constraints=21893
515.97/516.46	c nbDecision=790500 #constraints=21899
516.17/516.68	c nbDecision=791000 #constraints=21904
516.57/517.10	c nbDecision=791500 #constraints=21911
516.97/517.42	c nbDecision=792000 #constraints=21917
517.17/517.69	c nbDecision=792500 #constraints=21921
517.87/518.31	c nbDecision=793000 #constraints=21934
518.27/518.76	c nbDecision=793500 #constraints=21945
518.77/519.20	c nbDecision=794000 #constraints=21956
519.07/519.50	c nbDecision=794500 #constraints=21963
519.47/519.94	c nbDecision=795000 #constraints=21970
519.88/520.35	c nbDecision=795500 #constraints=21977
520.27/520.79	c nbDecision=796000 #constraints=21985
520.67/521.10	c nbDecision=796500 #constraints=21995
520.98/521.41	c nbDecision=797000 #constraints=22005
521.37/521.87	c nbDecision=797500 #constraints=22016
521.67/522.18	c nbDecision=798000 #constraints=22026
522.27/522.70	c nbDecision=798500 #constraints=22037
522.47/522.97	c nbDecision=799000 #constraints=22043
522.77/523.22	c nbDecision=799500 #constraints=22049
523.18/523.69	c nbDecision=800000 #constraints=22060
523.47/523.96	c nbDecision=800500 #constraints=22067
523.77/524.23	c nbDecision=801000 #constraints=22073
524.17/524.68	c nbDecision=801500 #constraints=22082
524.67/525.17	c nbDecision=802000 #constraints=22091
525.17/525.61	c nbDecision=802500 #constraints=22102
525.37/525.89	c nbDecision=803000 #constraints=22108
525.86/526.30	c nbDecision=803500 #constraints=22117
526.16/526.63	c nbDecision=804000 #constraints=22124
526.57/527.04	c nbDecision=804500 #constraints=22130
526.96/527.41	c nbDecision=805000 #constraints=22138
527.36/527.85	c nbDecision=805500 #constraints=22146
527.86/528.39	c nbDecision=806000 #constraints=22156
528.26/528.74	c nbDecision=806500 #constraints=22162
528.56/529.04	c nbDecision=807000 #constraints=22169
528.96/529.40	c nbDecision=807500 #constraints=22177
529.66/530.14	c nbDecision=808000 #constraints=22191
530.16/530.69	c nbDecision=808500 #constraints=22206
530.66/531.17	c nbDecision=809000 #constraints=22218
531.26/531.72	c nbDecision=809500 #constraints=22231
531.66/532.12	c nbDecision=810000 #constraints=22239
532.26/532.77	c nbDecision=810500 #constraints=22254
532.76/533.24	c nbDecision=811000 #constraints=22266
533.26/533.78	c nbDecision=811500 #constraints=22277
533.66/534.16	c nbDecision=812000 #constraints=22285
534.26/534.72	c nbDecision=812500 #constraints=22302
534.75/535.26	c nbDecision=813000 #constraints=22315
535.36/535.81	c nbDecision=813500 #constraints=22331
535.95/536.43	c nbDecision=814000 #constraints=22345
536.55/537.02	c nbDecision=814500 #constraints=22359
536.95/537.40	c nbDecision=815000 #constraints=22366
537.25/537.76	c nbDecision=815500 #constraints=22375
537.75/538.29	c nbDecision=816000 #constraints=22385
538.15/538.63	c nbDecision=816500 #constraints=22393
538.75/539.26	c nbDecision=817000 #constraints=22406
539.25/539.77	c nbDecision=817500 #constraints=22420
539.66/540.10	c nbDecision=818000 #constraints=22426
540.45/540.93	c nbDecision=818500 #constraints=22445
541.15/541.61	c nbDecision=819000 #constraints=22463
541.45/541.94	c restart after 819201 decisions
542.25/542.75	c nbDecision=819500 #constraints=22471
542.35/542.87	c nbDecision=820000 #constraints=22471
542.85/543.33	c nbDecision=820500 #constraints=22471
543.55/544.02	c nbDecision=821000 #constraints=22486
544.05/544.57	c nbDecision=821500 #constraints=22497
544.65/545.11	c nbDecision=822000 #constraints=22510
545.35/545.80	c nbDecision=822500 #constraints=22525
545.85/546.32	c nbDecision=823000 #constraints=22538
546.65/547.12	c nbDecision=823500 #constraints=22554
547.45/547.99	c nbDecision=824000 #constraints=22574
547.95/548.45	c nbDecision=824500 #constraints=22581
548.65/549.16	c nbDecision=825000 #constraints=22597
549.34/549.89	c nbDecision=825500 #constraints=22613
550.04/550.57	c nbDecision=826000 #constraints=22625
550.34/550.82	c nbDecision=826500 #constraints=22634
550.75/551.23	c nbDecision=827000 #constraints=22641
550.94/551.46	c nbDecision=827500 #constraints=22645
551.54/552.09	c nbDecision=828000 #constraints=22660
552.44/552.91	c nbDecision=828500 #constraints=22676
553.64/554.17	c nbDecision=829000 #constraints=22701
554.85/555.36	c nbDecision=829500 #constraints=22724
555.45/555.92	c nbDecision=830000 #constraints=22734
556.25/556.76	c nbDecision=830500 #constraints=22752
557.35/557.87	c nbDecision=831000 #constraints=22773
558.45/558.99	c nbDecision=831500 #constraints=22796
559.35/559.87	c nbDecision=832000 #constraints=22814
560.44/560.91	c nbDecision=832500 #constraints=22836
561.44/562.00	c nbDecision=833000 #constraints=22857
562.44/562.99	c nbDecision=833500 #constraints=22876
563.24/563.71	c nbDecision=834000 #constraints=22890
563.54/564.04	c nbDecision=834500 #constraints=22898
563.95/564.49	c nbDecision=835000 #constraints=22907
564.34/564.83	c nbDecision=835500 #constraints=22915
564.64/565.13	c nbDecision=836000 #constraints=22925
565.05/565.55	c nbDecision=836500 #constraints=22934
565.44/565.93	c nbDecision=837000 #constraints=22944
565.74/566.26	c nbDecision=837500 #constraints=22953
566.14/566.68	c nbDecision=838000 #constraints=22964
566.54/567.05	c nbDecision=838500 #constraints=22973
566.84/567.36	c nbDecision=839000 #constraints=22982
567.14/567.68	c nbDecision=839500 #constraints=22991
568.04/568.51	c nbDecision=840000 #constraints=23007
568.54/569.02	c nbDecision=840500 #constraints=23025
568.74/569.25	c nbDecision=841000 #constraints=23030
569.24/569.79	c nbDecision=841500 #constraints=23045
569.64/570.14	c nbDecision=842000 #constraints=23054
570.24/570.71	c nbDecision=842500 #constraints=23070
570.74/571.29	c nbDecision=843000 #constraints=23087
571.13/571.70	c nbDecision=843500 #constraints=23099
571.73/572.28	c nbDecision=844000 #constraints=23114
572.23/572.76	c nbDecision=844500 #constraints=23127
572.63/573.12	c nbDecision=845000 #constraints=23137
573.23/573.74	c nbDecision=845500 #constraints=23155
573.73/574.21	c nbDecision=846000 #constraints=23170
574.03/574.59	c nbDecision=846500 #constraints=23181
574.73/575.28	c nbDecision=847000 #constraints=23201
575.33/575.85	c nbDecision=847500 #constraints=23213
575.83/576.34	c nbDecision=848000 #constraints=23222
576.33/576.80	c nbDecision=848500 #constraints=23230
576.83/577.38	c nbDecision=849000 #constraints=23251
577.23/577.76	c nbDecision=849500 #constraints=23264
577.53/578.01	c nbDecision=850000 #constraints=23274
577.82/578.36	c nbDecision=850500 #constraints=23285
578.33/578.89	c nbDecision=851000 #constraints=23299
578.82/579.30	c nbDecision=851500 #constraints=23312
579.02/579.54	c nbDecision=852000 #constraints=23317
579.52/580.03	c nbDecision=852500 #constraints=23331
580.02/580.60	c nbDecision=853000 #constraints=23346
580.52/581.07	c nbDecision=853500 #constraints=23359
581.02/581.54	c nbDecision=854000 #constraints=23373
581.62/582.14	c nbDecision=854500 #constraints=23388
582.22/582.79	c nbDecision=855000 #constraints=23403
582.92/583.44	c nbDecision=855500 #constraints=23421
583.32/583.84	c nbDecision=856000 #constraints=23431
583.82/584.38	c nbDecision=856500 #constraints=23443
584.52/585.05	c nbDecision=857000 #constraints=23457
585.12/585.64	c nbDecision=857500 #constraints=23471
585.82/586.32	c nbDecision=858000 #constraints=23484
586.42/586.99	c nbDecision=858500 #constraints=23499
587.12/587.62	c nbDecision=859000 #constraints=23514
587.72/588.26	c nbDecision=859500 #constraints=23529
588.32/588.86	c nbDecision=860000 #constraints=23544
589.12/589.68	c nbDecision=860500 #constraints=23564
589.72/590.26	c nbDecision=861000 #constraints=23582
590.22/590.78	c nbDecision=861500 #constraints=23598
590.82/591.35	c nbDecision=862000 #constraints=23613
591.32/591.87	c nbDecision=862500 #constraints=23628
591.92/592.48	c nbDecision=863000 #constraints=23645
592.82/593.30	c nbDecision=863500 #constraints=23664
593.53/594.01	c nbDecision=864000 #constraints=23680
594.12/594.68	c nbDecision=864500 #constraints=23696
594.82/595.30	c nbDecision=865000 #constraints=23713
595.42/595.99	c nbDecision=865500 #constraints=23731
595.83/596.37	c nbDecision=866000 #constraints=23744
596.42/596.90	c nbDecision=866500 #constraints=23761
597.12/597.62	c nbDecision=867000 #constraints=23777
597.62/598.13	c nbDecision=867500 #constraints=23785
598.22/598.79	c nbDecision=868000 #constraints=23800
599.02/599.56	c nbDecision=868500 #constraints=23818
599.72/600.20	c nbDecision=869000 #constraints=23836
600.32/600.84	c nbDecision=869500 #constraints=23852
601.12/601.61	c nbDecision=870000 #constraints=23871
601.72/602.23	c nbDecision=870500 #constraints=23883
602.22/602.80	c nbDecision=871000 #constraints=23898
602.82/603.36	c nbDecision=871500 #constraints=23912
603.42/603.99	c nbDecision=872000 #constraints=23929
604.41/604.94	c nbDecision=872500 #constraints=23956
605.11/605.64	c nbDecision=873000 #constraints=23978
605.61/606.12	c nbDecision=873500 #constraints=23996
606.21/606.73	c nbDecision=874000 #constraints=24016
606.81/607.31	c nbDecision=874500 #constraints=24030
607.11/607.68	c nbDecision=875000 #constraints=24041
607.71/608.22	c nbDecision=875500 #constraints=24060
608.10/608.67	c nbDecision=876000 #constraints=24075
608.70/609.23	c nbDecision=876500 #constraints=24094
609.30/609.87	c nbDecision=877000 #constraints=24111
610.11/610.64	c nbDecision=877500 #constraints=24125
610.60/611.13	c nbDecision=878000 #constraints=24134
611.11/611.66	c nbDecision=878500 #constraints=24145
611.50/612.01	c nbDecision=879000 #constraints=24155
611.80/612.34	c nbDecision=879500 #constraints=24161
612.10/612.68	c nbDecision=880000 #constraints=24169
612.70/613.24	c nbDecision=880500 #constraints=24181
613.10/613.64	c nbDecision=881000 #constraints=24189
613.41/613.92	c nbDecision=881500 #constraints=24195
613.90/614.49	c nbDecision=882000 #constraints=24206
614.50/615.03	c nbDecision=882500 #constraints=24218
615.10/615.64	c nbDecision=883000 #constraints=24234
615.50/616.07	c nbDecision=883500 #constraints=24247
616.00/616.51	c nbDecision=884000 #constraints=24257
616.30/616.84	c nbDecision=884500 #constraints=24262
617.20/617.75	c nbDecision=885000 #constraints=24281
617.80/618.38	c nbDecision=885500 #constraints=24293
618.69/619.24	c nbDecision=886000 #constraints=24312
619.09/619.67	c nbDecision=886500 #constraints=24322
619.59/620.11	c nbDecision=887000 #constraints=24334
619.79/620.40	c nbDecision=887500 #constraints=24342
620.19/620.76	c nbDecision=888000 #constraints=24352
620.59/621.13	c nbDecision=888500 #constraints=24364
621.19/621.79	c nbDecision=889000 #constraints=24381
621.69/622.27	c nbDecision=889500 #constraints=24395
622.09/622.64	c nbDecision=890000 #constraints=24403
622.69/623.25	c nbDecision=890500 #constraints=24420
623.29/623.88	c nbDecision=891000 #constraints=24437
623.89/624.49	c nbDecision=891500 #constraints=24452
624.39/624.99	c nbDecision=892000 #constraints=24466
625.09/625.64	c nbDecision=892500 #constraints=24481
625.79/626.32	c nbDecision=893000 #constraints=24500
626.19/626.78	c nbDecision=893500 #constraints=24514
627.09/627.60	c nbDecision=894000 #constraints=24531
627.49/628.07	c nbDecision=894500 #constraints=24545
628.09/628.60	c nbDecision=895000 #constraints=24560
628.49/629.04	c nbDecision=895500 #constraints=24571
628.99/629.59	c nbDecision=896000 #constraints=24586
629.89/630.45	c nbDecision=896500 #constraints=24605
630.99/631.52	c nbDecision=897000 #constraints=24631
631.58/632.15	c nbDecision=897500 #constraints=24642
632.18/632.79	c nbDecision=898000 #constraints=24657
632.88/633.42	c nbDecision=898500 #constraints=24674
633.38/633.91	c nbDecision=899000 #constraints=24683
633.78/634.33	c nbDecision=899500 #constraints=24689
634.19/634.78	c nbDecision=900000 #constraints=24699
634.88/635.40	c nbDecision=900500 #constraints=24713
635.38/635.98	c nbDecision=901000 #constraints=24728
635.88/636.43	c nbDecision=901500 #constraints=24744
636.48/637.01	c nbDecision=902000 #constraints=24755
636.98/637.58	c nbDecision=902500 #constraints=24768
637.48/638.10	c nbDecision=903000 #constraints=24783
637.98/638.58	c nbDecision=903500 #constraints=24798
638.48/639.03	c nbDecision=904000 #constraints=24811
639.08/639.61	c nbDecision=904500 #constraints=24827
639.68/640.30	c nbDecision=905000 #constraints=24842
640.37/640.95	c nbDecision=905500 #constraints=24856
640.67/641.29	c nbDecision=906000 #constraints=24863
641.27/641.89	c nbDecision=906500 #constraints=24876
641.77/642.39	c nbDecision=907000 #constraints=24890
642.28/642.87	c nbDecision=907500 #constraints=24916
642.88/643.41	c nbDecision=908000 #constraints=24942
643.68/644.21	c nbDecision=908500 #constraints=24959
644.28/644.82	c nbDecision=909000 #constraints=24971
644.88/645.44	c nbDecision=909500 #constraints=24995
645.58/646.11	c nbDecision=910000 #constraints=25009
646.38/646.92	c nbDecision=910500 #constraints=25021
646.98/647.56	c nbDecision=911000 #constraints=25030
647.68/648.25	c nbDecision=911500 #constraints=25041
648.38/648.98	c nbDecision=912000 #constraints=25053
649.28/649.84	c nbDecision=912500 #constraints=25065
650.07/650.66	c nbDecision=913000 #constraints=25077
650.87/651.41	c nbDecision=913500 #constraints=25087
651.37/651.90	c nbDecision=914000 #constraints=25096
651.97/652.51	c nbDecision=914500 #constraints=25110
652.67/653.23	c nbDecision=915000 #constraints=25123
653.07/653.68	c nbDecision=915500 #constraints=25133
653.57/654.19	c nbDecision=916000 #constraints=25148
654.27/654.85	c nbDecision=916500 #constraints=25167
654.87/655.43	c nbDecision=917000 #constraints=25179
655.46/656.03	c nbDecision=917500 #constraints=25195
655.96/656.59	c nbDecision=918000 #constraints=25213
656.66/657.25	c nbDecision=918500 #constraints=25228
657.16/657.79	c nbDecision=919000 #constraints=25240
657.86/658.40	c nbDecision=919500 #constraints=25255
658.47/659.05	c nbDecision=920000 #constraints=25269
659.06/659.63	c nbDecision=920500 #constraints=25284
659.67/660.28	c nbDecision=921000 #constraints=25300
660.27/660.85	c nbDecision=921500 #constraints=25315
661.17/661.76	c nbDecision=922000 #constraints=25334
661.97/662.54	c nbDecision=922500 #constraints=25349
662.77/663.37	c nbDecision=923000 #constraints=25370
663.97/664.53	c nbDecision=923500 #constraints=25389
664.86/665.42	c nbDecision=924000 #constraints=25409
665.36/665.98	c nbDecision=924500 #constraints=25422
666.46/667.05	c nbDecision=925000 #constraints=25445
667.16/667.73	c nbDecision=925500 #constraints=25460
667.86/668.41	c nbDecision=926000 #constraints=25473
668.36/668.96	c nbDecision=926500 #constraints=25484
668.96/669.58	c nbDecision=927000 #constraints=25497
669.66/670.25	c nbDecision=927500 #constraints=25511
670.16/670.77	c nbDecision=928000 #constraints=25522
670.76/671.32	c nbDecision=928500 #constraints=25533
671.26/671.81	c nbDecision=929000 #constraints=25545
671.76/672.35	c nbDecision=929500 #constraints=25558
672.36/672.97	c nbDecision=930000 #constraints=25570
673.06/673.69	c nbDecision=930500 #constraints=25584
673.76/674.34	c nbDecision=931000 #constraints=25600
674.36/674.90	c nbDecision=931500 #constraints=25615
674.96/675.52	c nbDecision=932000 #constraints=25634
675.56/676.15	c nbDecision=932500 #constraints=25653
676.35/676.96	c nbDecision=933000 #constraints=25677
677.06/677.64	c nbDecision=933500 #constraints=25701
677.55/678.12	c nbDecision=934000 #constraints=25713
678.15/678.72	c nbDecision=934500 #constraints=25726
678.75/679.33	c nbDecision=935000 #constraints=25738
679.25/679.83	c nbDecision=935500 #constraints=25750
679.95/680.50	c nbDecision=936000 #constraints=25761
680.35/680.96	c nbDecision=936500 #constraints=25767
680.65/681.26	c nbDecision=937000 #constraints=25774
681.15/681.72	c nbDecision=937500 #constraints=25783
681.55/682.15	c nbDecision=938000 #constraints=25793
682.05/682.66	c nbDecision=938500 #constraints=25803
682.85/683.47	c nbDecision=939000 #constraints=25816
683.45/684.04	c nbDecision=939500 #constraints=25825
683.75/684.34	c nbDecision=940000 #constraints=25831
684.45/685.01	c nbDecision=940500 #constraints=25844
685.05/685.61	c nbDecision=941000 #constraints=25854
685.35/685.95	c nbDecision=941500 #constraints=25858
685.75/686.33	c nbDecision=942000 #constraints=25864
686.05/686.69	c nbDecision=942500 #constraints=25872
686.45/687.06	c nbDecision=943000 #constraints=25881
687.05/687.67	c nbDecision=943500 #constraints=25892
687.45/688.05	c nbDecision=944000 #constraints=25902
687.85/688.43	c nbDecision=944500 #constraints=25911
688.25/688.88	c nbDecision=945000 #constraints=25919
688.75/689.33	c nbDecision=945500 #constraints=25925
689.05/689.68	c nbDecision=946000 #constraints=25933
689.45/690.06	c nbDecision=946500 #constraints=25941
689.95/690.56	c nbDecision=947000 #constraints=25952
690.45/691.06	c nbDecision=947500 #constraints=25959
690.85/691.41	c nbDecision=948000 #constraints=25965
691.65/692.23	c nbDecision=948500 #constraints=25975
692.15/692.70	c nbDecision=949000 #constraints=25980
692.45/693.00	c nbDecision=949500 #constraints=25985
692.75/693.38	c nbDecision=950000 #constraints=25990
693.15/693.70	c nbDecision=950500 #constraints=25994
693.35/693.91	c nbDecision=951000 #constraints=25997
694.04/694.67	c nbDecision=951500 #constraints=26010
694.64/695.27	c nbDecision=952000 #constraints=26018
695.04/695.70	c nbDecision=952500 #constraints=26024
695.44/696.04	c nbDecision=953000 #constraints=26029
695.63/696.28	c nbDecision=953500 #constraints=26033
696.03/696.64	c nbDecision=954000 #constraints=26037
696.23/696.85	c nbDecision=954500 #constraints=26040
696.94/697.57	c nbDecision=955000 #constraints=26056
697.43/698.01	c nbDecision=955500 #constraints=26066
697.83/698.50	c nbDecision=956000 #constraints=26074
698.23/698.84	c nbDecision=956500 #constraints=26078
698.63/699.28	c nbDecision=957000 #constraints=26085
699.14/699.79	c nbDecision=957500 #constraints=26095
700.14/700.74	c nbDecision=958000 #constraints=26114
700.53/701.10	c nbDecision=958500 #constraints=26122
701.03/701.68	c nbDecision=959000 #constraints=26131
701.93/702.59	c nbDecision=959500 #constraints=26149
702.43/703.04	c nbDecision=960000 #constraints=26158
702.93/703.56	c nbDecision=960500 #constraints=26168
703.43/704.05	c nbDecision=961000 #constraints=26177
703.93/704.52	c nbDecision=961500 #constraints=26187
704.43/705.08	c nbDecision=962000 #constraints=26197
704.93/705.58	c nbDecision=962500 #constraints=26207
705.43/706.09	c nbDecision=963000 #constraints=26217
706.13/706.71	c nbDecision=963500 #constraints=26230
706.63/707.28	c nbDecision=964000 #constraints=26243
707.03/707.67	c nbDecision=964500 #constraints=26251
707.63/708.27	c nbDecision=965000 #constraints=26264
708.33/708.94	c nbDecision=965500 #constraints=26274
708.73/709.36	c nbDecision=966000 #constraints=26284
709.22/709.89	c nbDecision=966500 #constraints=26297
710.12/710.74	c nbDecision=967000 #constraints=26314
710.62/711.22	c nbDecision=967500 #constraints=26324
711.02/711.70	c nbDecision=968000 #constraints=26337
711.72/712.37	c nbDecision=968500 #constraints=26350
712.12/712.78	c nbDecision=969000 #constraints=26359
712.41/713.09	c nbDecision=969500 #constraints=26365
713.11/713.71	c nbDecision=970000 #constraints=26376
713.71/714.33	c nbDecision=970500 #constraints=26388
714.11/714.76	c nbDecision=971000 #constraints=26396
714.61/715.23	c nbDecision=971500 #constraints=26404
715.01/715.67	c nbDecision=972000 #constraints=26413
715.52/716.11	c nbDecision=972500 #constraints=26420
716.01/716.64	c nbDecision=973000 #constraints=26432
716.31/716.99	c nbDecision=973500 #constraints=26440
716.81/717.41	c nbDecision=974000 #constraints=26452
717.11/717.75	c nbDecision=974500 #constraints=26461
717.51/718.19	c nbDecision=975000 #constraints=26470
717.91/718.57	c nbDecision=975500 #constraints=26479
718.31/718.99	c nbDecision=976000 #constraints=26487
718.81/719.45	c nbDecision=976500 #constraints=26497
719.21/719.85	c nbDecision=977000 #constraints=26504
719.71/720.35	c nbDecision=977500 #constraints=26513
720.21/720.80	c nbDecision=978000 #constraints=26521
720.61/721.23	c nbDecision=978500 #constraints=26528
721.11/721.71	c nbDecision=979000 #constraints=26537
721.51/722.19	c nbDecision=979500 #constraints=26544
722.11/722.72	c nbDecision=980000 #constraints=26554
722.41/723.08	c nbDecision=980500 #constraints=26560
722.81/723.42	c nbDecision=981000 #constraints=26568
723.11/723.79	c nbDecision=981500 #constraints=26578
723.61/724.28	c nbDecision=982000 #constraints=26586
724.21/724.87	c nbDecision=982500 #constraints=26600
724.71/725.30	c nbDecision=983000 #constraints=26608
724.91/725.58	c nbDecision=983500 #constraints=26614
725.51/726.13	c nbDecision=984000 #constraints=26622
726.01/726.61	c nbDecision=984500 #constraints=26631
726.41/727.01	c nbDecision=985000 #constraints=26638
726.91/727.59	c nbDecision=985500 #constraints=26649
727.21/727.88	c nbDecision=986000 #constraints=26655
727.81/728.45	c nbDecision=986500 #constraints=26664
728.31/728.97	c nbDecision=987000 #constraints=26674
728.61/729.23	c nbDecision=987500 #constraints=26680
729.01/729.61	c nbDecision=988000 #constraints=26689
729.41/730.07	c nbDecision=988500 #constraints=26697
729.81/730.44	c nbDecision=989000 #constraints=26710
730.21/730.87	c nbDecision=989500 #constraints=26723
730.61/731.30	c nbDecision=990000 #constraints=26732
731.10/731.71	c nbDecision=990500 #constraints=26746
731.50/732.18	c nbDecision=991000 #constraints=26756
732.11/732.71	c nbDecision=991500 #constraints=26767
732.70/733.30	c nbDecision=992000 #constraints=26776
733.30/733.92	c nbDecision=992500 #constraints=26786
733.60/734.29	c nbDecision=993000 #constraints=26792
734.31/734.94	c nbDecision=993500 #constraints=26801
734.60/735.28	c nbDecision=994000 #constraints=26807
735.41/736.09	c nbDecision=994500 #constraints=26820
735.90/736.59	c nbDecision=995000 #constraints=26830
736.41/737.08	c nbDecision=995500 #constraints=26839
736.80/737.44	c nbDecision=996000 #constraints=26848
737.30/737.99	c nbDecision=996500 #constraints=26858
737.70/738.36	c nbDecision=997000 #constraints=26865
738.10/738.77	c nbDecision=997500 #constraints=26873
738.50/739.16	c nbDecision=998000 #constraints=26880
738.80/739.47	c nbDecision=998500 #constraints=26886
739.20/739.87	c nbDecision=999000 #constraints=26892
739.70/740.32	c nbDecision=999500 #constraints=26900
740.29/740.91	c nbDecision=1000000 #constraints=26909
740.80/741.43	c nbDecision=1000500 #constraints=26918
741.19/741.82	c nbDecision=1001000 #constraints=26925
741.39/742.08	c nbDecision=1001500 #constraints=26929
741.90/742.56	c nbDecision=1002000 #constraints=26936
742.49/743.13	c nbDecision=1002500 #constraints=26944
743.00/743.68	c nbDecision=1003000 #constraints=26960
743.49/744.17	c nbDecision=1003500 #constraints=26970
743.99/744.60	c nbDecision=1004000 #constraints=26977
744.79/745.48	c nbDecision=1004500 #constraints=26994
745.09/745.76	c nbDecision=1005000 #constraints=27000
745.79/746.40	c nbDecision=1005500 #constraints=27015
746.30/746.96	c nbDecision=1006000 #constraints=27028
746.69/747.37	c nbDecision=1006500 #constraints=27036
747.39/748.05	c nbDecision=1007000 #constraints=27049
747.69/748.40	c nbDecision=1007500 #constraints=27057
748.09/748.77	c nbDecision=1008000 #constraints=27063
748.99/749.64	c nbDecision=1008500 #constraints=27077
749.59/750.21	c nbDecision=1009000 #constraints=27090
749.99/750.66	c nbDecision=1009500 #constraints=27099
750.59/751.26	c nbDecision=1010000 #constraints=27112
751.09/751.73	c nbDecision=1010500 #constraints=27123
751.59/752.22	c nbDecision=1011000 #constraints=27133
752.09/752.72	c nbDecision=1011500 #constraints=27144
752.59/753.22	c nbDecision=1012000 #constraints=27155
752.99/753.68	c nbDecision=1012500 #constraints=27165
753.49/754.11	c nbDecision=1013000 #constraints=27174
753.99/754.66	c nbDecision=1013500 #constraints=27184
754.49/755.16	c nbDecision=1014000 #constraints=27193
755.08/755.75	c nbDecision=1014500 #constraints=27206
755.58/756.27	c nbDecision=1015000 #constraints=27213
756.18/756.88	c nbDecision=1015500 #constraints=27227
756.78/757.49	c nbDecision=1016000 #constraints=27238
757.38/758.06	c nbDecision=1016500 #constraints=27248
758.08/758.75	c nbDecision=1017000 #constraints=27263
758.68/759.32	c nbDecision=1017500 #constraints=27274
759.28/759.93	c nbDecision=1018000 #constraints=27284
759.98/760.65	c nbDecision=1018500 #constraints=27297
760.48/761.11	c nbDecision=1019000 #constraints=27305
760.88/761.59	c nbDecision=1019500 #constraints=27314
761.38/762.07	c nbDecision=1020000 #constraints=27322
762.08/762.79	c nbDecision=1020500 #constraints=27332
762.58/763.26	c nbDecision=1021000 #constraints=27339
763.08/763.74	c nbDecision=1021500 #constraints=27346
763.47/764.17	c nbDecision=1022000 #constraints=27354
763.88/764.55	c nbDecision=1022500 #constraints=27362
764.37/765.09	c nbDecision=1023000 #constraints=27373
764.87/765.57	c nbDecision=1023500 #constraints=27382
765.57/766.24	c nbDecision=1024000 #constraints=27393
766.18/766.83	c nbDecision=1024500 #constraints=27403
766.47/767.20	c nbDecision=1025000 #constraints=27410
766.97/767.64	c nbDecision=1025500 #constraints=27418
767.27/767.98	c nbDecision=1026000 #constraints=27426
767.98/768.61	c nbDecision=1026500 #constraints=27438
768.58/769.24	c nbDecision=1027000 #constraints=27452
768.98/769.61	c nbDecision=1027500 #constraints=27462
769.38/770.04	c nbDecision=1028000 #constraints=27474
769.78/770.41	c nbDecision=1028500 #constraints=27484
770.18/770.82	c nbDecision=1029000 #constraints=27494
770.48/771.18	c nbDecision=1029500 #constraints=27504
771.18/771.86	c nbDecision=1030000 #constraints=27520
772.08/772.70	c nbDecision=1030500 #constraints=27540
772.68/773.35	c nbDecision=1031000 #constraints=27556
773.28/773.93	c nbDecision=1031500 #constraints=27568
773.78/774.42	c nbDecision=1032000 #constraints=27580
774.38/775.08	c nbDecision=1032500 #constraints=27595
774.77/775.47	c nbDecision=1033000 #constraints=27606
775.17/775.85	c nbDecision=1033500 #constraints=27615
775.57/776.24	c nbDecision=1034000 #constraints=27624
775.87/776.59	c nbDecision=1034500 #constraints=27634
776.37/777.03	c nbDecision=1035000 #constraints=27645
776.87/777.59	c nbDecision=1035500 #constraints=27658
777.27/777.91	c nbDecision=1036000 #constraints=27667
777.67/778.34	c nbDecision=1036500 #constraints=27677
777.97/778.70	c nbDecision=1037000 #constraints=27687
778.47/779.10	c nbDecision=1037500 #constraints=27699
778.77/779.42	c nbDecision=1038000 #constraints=27707
779.37/780.06	c nbDecision=1038500 #constraints=27720
780.07/780.78	c nbDecision=1039000 #constraints=27738
780.67/781.31	c nbDecision=1039500 #constraints=27751
781.17/781.83	c nbDecision=1040000 #constraints=27763
781.87/782.51	c nbDecision=1040500 #constraints=27780
782.47/783.13	c nbDecision=1041000 #constraints=27792
782.97/783.67	c nbDecision=1041500 #constraints=27805
783.47/784.16	c nbDecision=1042000 #constraints=27812
784.56/785.24	c nbDecision=1042500 #constraints=27831
785.06/785.71	c nbDecision=1043000 #constraints=27841
785.46/786.19	c nbDecision=1043500 #constraints=27850
786.16/786.83	c nbDecision=1044000 #constraints=27860
786.66/787.35	c nbDecision=1044500 #constraints=27869
787.16/787.81	c nbDecision=1045000 #constraints=27879
787.66/788.35	c nbDecision=1045500 #constraints=27892
788.06/788.73	c nbDecision=1046000 #constraints=27900
788.76/789.41	c nbDecision=1046500 #constraints=27915
789.16/789.85	c nbDecision=1047000 #constraints=27925
789.56/790.25	c nbDecision=1047500 #constraints=27930
790.26/790.94	c nbDecision=1048000 #constraints=27944
790.76/791.45	c nbDecision=1048500 #constraints=27958
791.16/791.85	c nbDecision=1049000 #constraints=27970
791.76/792.48	c nbDecision=1049500 #constraints=27989
792.26/792.94	c nbDecision=1050000 #constraints=28001
792.86/793.50	c nbDecision=1050500 #constraints=28016
793.36/794.10	c nbDecision=1051000 #constraints=28032
793.75/794.43	c nbDecision=1051500 #constraints=28043
794.05/794.73	c nbDecision=1052000 #constraints=28051
794.25/794.96	c nbDecision=1052500 #constraints=28058
794.66/795.36	c nbDecision=1053000 #constraints=28068
795.05/795.73	c nbDecision=1053500 #constraints=28081
795.45/796.16	c nbDecision=1054000 #constraints=28095
795.95/796.63	c nbDecision=1054500 #constraints=28111
796.25/796.99	c nbDecision=1055000 #constraints=28122
796.75/797.46	c nbDecision=1055500 #constraints=28140
797.25/797.95	c nbDecision=1056000 #constraints=28158
797.75/798.42	c nbDecision=1056500 #constraints=28176
798.15/798.90	c nbDecision=1057000 #constraints=28195
798.65/799.35	c nbDecision=1057500 #constraints=28213
799.15/799.81	c nbDecision=1058000 #constraints=28230
799.55/800.23	c nbDecision=1058500 #constraints=28243
800.05/800.70	c nbDecision=1059000 #constraints=28261
800.45/801.12	c nbDecision=1059500 #constraints=28277
800.85/801.54	c nbDecision=1060000 #constraints=28286
801.65/802.31	c nbDecision=1060500 #constraints=28304
802.14/802.80	c nbDecision=1061000 #constraints=28318
802.34/803.09	c nbDecision=1061500 #constraints=28326
802.94/803.62	c nbDecision=1062000 #constraints=28340
803.34/804.03	c nbDecision=1062500 #constraints=28350
804.04/804.74	c nbDecision=1063000 #constraints=28361
804.64/805.34	c nbDecision=1063500 #constraints=28372
805.34/806.09	c nbDecision=1064000 #constraints=28386
805.94/806.63	c nbDecision=1064500 #constraints=28390
806.44/807.12	c nbDecision=1065000 #constraints=28395
806.74/807.44	c nbDecision=1065500 #constraints=28397
807.34/808.05	c nbDecision=1066000 #constraints=28403
807.74/808.50	c nbDecision=1066500 #constraints=28409
808.24/808.99	c nbDecision=1067000 #constraints=28415
808.74/809.46	c nbDecision=1067500 #constraints=28420
809.14/809.82	c nbDecision=1068000 #constraints=28424
809.64/810.37	c nbDecision=1068500 #constraints=28433
810.14/810.86	c nbDecision=1069000 #constraints=28439
810.53/811.23	c nbDecision=1069500 #constraints=28444
811.33/812.05	c nbDecision=1070000 #constraints=28458
812.24/812.93	c nbDecision=1070500 #constraints=28476
812.83/813.54	c nbDecision=1071000 #constraints=28484
813.34/814.06	c nbDecision=1071500 #constraints=28488
813.83/814.55	c nbDecision=1072000 #constraints=28496
814.33/815.06	c nbDecision=1072500 #constraints=28508
814.63/815.38	c nbDecision=1073000 #constraints=28514
815.03/815.71	c nbDecision=1073500 #constraints=28523
815.83/816.52	c nbDecision=1074000 #constraints=28535
816.33/817.01	c nbDecision=1074500 #constraints=28548
816.93/817.61	c nbDecision=1075000 #constraints=28559
817.33/818.01	c nbDecision=1075500 #constraints=28569
817.73/818.45	c nbDecision=1076000 #constraints=28575
818.23/818.98	c nbDecision=1076500 #constraints=28583
818.63/819.31	c nbDecision=1077000 #constraints=28593
819.13/819.85	c nbDecision=1077500 #constraints=28604
819.73/820.47	c nbDecision=1078000 #constraints=28617
820.13/820.87	c nbDecision=1078500 #constraints=28623
820.53/821.29	c nbDecision=1079000 #constraints=28631
821.13/821.81	c nbDecision=1079500 #constraints=28638
821.73/822.47	c nbDecision=1080000 #constraints=28650
822.44/823.13	c nbDecision=1080500 #constraints=28663
822.84/823.55	c nbDecision=1081000 #constraints=28673
823.24/824.00	c nbDecision=1081500 #constraints=28681
823.94/824.64	c nbDecision=1082000 #constraints=28692
824.54/825.21	c nbDecision=1082500 #constraints=28702
825.24/825.92	c nbDecision=1083000 #constraints=28713
825.73/826.49	c nbDecision=1083500 #constraints=28726
826.33/827.00	c nbDecision=1084000 #constraints=28735
826.73/827.48	c nbDecision=1084500 #constraints=28744
827.34/828.10	c nbDecision=1085000 #constraints=28754
827.74/828.47	c nbDecision=1085500 #constraints=28762
828.63/829.37	c nbDecision=1086000 #constraints=28775
829.13/829.85	c nbDecision=1086500 #constraints=28782
829.73/830.46	c nbDecision=1087000 #constraints=28794
830.43/831.12	c nbDecision=1087500 #constraints=28808
831.03/831.72	c nbDecision=1088000 #constraints=28818
831.52/832.29	c nbDecision=1088500 #constraints=28829
832.52/833.26	c nbDecision=1089000 #constraints=28849
832.92/833.61	c nbDecision=1089500 #constraints=28858
833.52/834.22	c nbDecision=1090000 #constraints=28872
834.52/835.21	c nbDecision=1090500 #constraints=28890
835.12/835.82	c nbDecision=1091000 #constraints=28902
835.52/836.25	c nbDecision=1091500 #constraints=28912
835.82/836.59	c nbDecision=1092000 #constraints=28919
836.32/837.10	c nbDecision=1092500 #constraints=28929
837.12/837.80	c nbDecision=1093000 #constraints=28942
837.52/838.24	c nbDecision=1093500 #constraints=28948
837.92/838.67	c nbDecision=1094000 #constraints=28953
838.62/839.37	c nbDecision=1094500 #constraints=28967
839.22/839.98	c nbDecision=1095000 #constraints=28981
839.62/840.36	c nbDecision=1095500 #constraints=28988
840.32/841.07	c nbDecision=1096000 #constraints=29003
840.92/841.68	c nbDecision=1096500 #constraints=29015
841.22/841.93	c nbDecision=1097000 #constraints=29021
841.72/842.48	c nbDecision=1097500 #constraints=29031
842.22/842.90	c nbDecision=1098000 #constraints=29040
842.72/843.47	c nbDecision=1098500 #constraints=29051
843.52/844.29	c nbDecision=1099000 #constraints=29066
844.12/844.83	c nbDecision=1099500 #constraints=29077
844.52/845.27	c nbDecision=1100000 #constraints=29086
844.92/845.67	c nbDecision=1100500 #constraints=29095
845.62/846.31	c nbDecision=1101000 #constraints=29110
845.91/846.70	c nbDecision=1101500 #constraints=29119
846.42/847.16	c nbDecision=1102000 #constraints=29128
847.21/847.97	c nbDecision=1102500 #constraints=29141
847.81/848.53	c nbDecision=1103000 #constraints=29150
848.11/848.90	c nbDecision=1103500 #constraints=29156
848.61/849.38	c nbDecision=1104000 #constraints=29167
849.41/850.14	c nbDecision=1104500 #constraints=29182
849.91/850.62	c nbDecision=1105000 #constraints=29194
850.31/851.09	c nbDecision=1105500 #constraints=29204
850.91/851.68	c nbDecision=1106000 #constraints=29217
851.41/852.12	c nbDecision=1106500 #constraints=29227
851.81/852.59	c nbDecision=1107000 #constraints=29237
852.71/853.44	c nbDecision=1107500 #constraints=29254
853.11/853.86	c nbDecision=1108000 #constraints=29262
853.61/854.34	c nbDecision=1108500 #constraints=29269
854.21/854.95	c nbDecision=1109000 #constraints=29281
854.71/855.43	c nbDecision=1109500 #constraints=29293
855.00/855.73	c nbDecision=1110000 #constraints=29300
855.60/856.35	c nbDecision=1110500 #constraints=29310
856.21/856.93	c nbDecision=1111000 #constraints=29321
856.60/857.32	c nbDecision=1111500 #constraints=29329
857.00/857.78	c nbDecision=1112000 #constraints=29337
857.50/858.21	c nbDecision=1112500 #constraints=29344
858.00/858.78	c nbDecision=1113000 #constraints=29350
858.30/859.09	c nbDecision=1113500 #constraints=29357
858.90/859.62	c nbDecision=1114000 #constraints=29365
859.30/860.05	c nbDecision=1114500 #constraints=29375
859.90/860.69	c nbDecision=1115000 #constraints=29386
860.40/861.19	c nbDecision=1115500 #constraints=29399
861.00/861.76	c nbDecision=1116000 #constraints=29408
861.50/862.23	c nbDecision=1116500 #constraints=29418
861.90/862.65	c nbDecision=1117000 #constraints=29429
862.30/863.02	c nbDecision=1117500 #constraints=29437
862.81/863.55	c nbDecision=1118000 #constraints=29450
863.30/864.03	c nbDecision=1118500 #constraints=29462
863.90/864.62	c nbDecision=1119000 #constraints=29474
864.30/865.08	c nbDecision=1119500 #constraints=29481
864.70/865.43	c nbDecision=1120000 #constraints=29490
865.20/865.98	c nbDecision=1120500 #constraints=29500
865.70/866.47	c nbDecision=1121000 #constraints=29510
866.30/867.04	c nbDecision=1121500 #constraints=29520
866.80/867.51	c nbDecision=1122000 #constraints=29527
867.10/867.84	c nbDecision=1122500 #constraints=29532
867.40/868.11	c nbDecision=1123000 #constraints=29535
868.00/868.76	c nbDecision=1123500 #constraints=29544
868.30/869.07	c nbDecision=1124000 #constraints=29550
868.70/869.45	c nbDecision=1124500 #constraints=29558
869.11/869.84	c nbDecision=1125000 #constraints=29562
869.71/870.40	c nbDecision=1125500 #constraints=29568
870.11/870.81	c nbDecision=1126000 #constraints=29576
870.61/871.31	c nbDecision=1126500 #constraints=29586
871.61/872.36	c nbDecision=1127000 #constraints=29607
872.01/872.78	c nbDecision=1127500 #constraints=29616
872.50/873.22	c nbDecision=1128000 #constraints=29623
873.01/873.78	c nbDecision=1128500 #constraints=29634
873.40/874.15	c nbDecision=1129000 #constraints=29641
874.00/874.76	c nbDecision=1129500 #constraints=29650
874.70/875.48	c nbDecision=1130000 #constraints=29662
875.19/875.90	c nbDecision=1130500 #constraints=29671
875.59/876.33	c nbDecision=1131000 #constraints=29679
875.89/876.68	c nbDecision=1131500 #constraints=29685
876.69/877.43	c nbDecision=1132000 #constraints=29698
877.20/877.96	c nbDecision=1132500 #constraints=29709
877.99/878.75	c nbDecision=1133000 #constraints=29726
878.39/879.11	c nbDecision=1133500 #constraints=29733
878.89/879.67	c nbDecision=1134000 #constraints=29742
879.59/880.31	c nbDecision=1134500 #constraints=29754
880.09/880.89	c nbDecision=1135000 #constraints=29765
880.79/881.54	c nbDecision=1135500 #constraints=29779
881.49/882.25	c nbDecision=1136000 #constraints=29793
882.09/882.87	c nbDecision=1136500 #constraints=29804
882.59/883.39	c nbDecision=1137000 #constraints=29812
883.29/884.07	c nbDecision=1137500 #constraints=29825
883.69/884.43	c nbDecision=1138000 #constraints=29832
884.39/885.17	c nbDecision=1138500 #constraints=29846
884.99/885.74	c nbDecision=1139000 #constraints=29852
885.69/886.48	c nbDecision=1139500 #constraints=29862
886.19/886.93	c nbDecision=1140000 #constraints=29871
886.89/887.70	c nbDecision=1140500 #constraints=29883
887.39/888.13	c nbDecision=1141000 #constraints=29890
887.79/888.51	c nbDecision=1141500 #constraints=29894
888.48/889.27	c nbDecision=1142000 #constraints=29904
888.78/889.60	c nbDecision=1142500 #constraints=29910
889.48/890.20	c nbDecision=1143000 #constraints=29921
889.78/890.55	c nbDecision=1143500 #constraints=29928
890.18/890.93	c nbDecision=1144000 #constraints=29934
890.68/891.44	c nbDecision=1144500 #constraints=29943
891.18/891.95	c nbDecision=1145000 #constraints=29952
891.68/892.41	c nbDecision=1145500 #constraints=29959
892.38/893.20	c nbDecision=1146000 #constraints=29971
892.98/893.72	c nbDecision=1146500 #constraints=29982
893.48/894.26	c nbDecision=1147000 #constraints=29994
893.97/894.70	c nbDecision=1147500 #constraints=30003
894.47/895.27	c nbDecision=1148000 #constraints=30013
894.97/895.78	c nbDecision=1148500 #constraints=30023
895.57/896.35	c nbDecision=1149000 #constraints=30031
896.17/896.92	c nbDecision=1149500 #constraints=30046
896.77/897.52	c nbDecision=1150000 #constraints=30056
897.37/898.11	c nbDecision=1150500 #constraints=30068
897.87/898.69	c nbDecision=1151000 #constraints=30077
898.37/899.16	c nbDecision=1151500 #constraints=30082
898.67/899.47	c nbDecision=1152000 #constraints=30087
898.97/899.79	c nbDecision=1152500 #constraints=30093
899.67/900.42	c nbDecision=1153000 #constraints=30100
900.07/900.87	c nbDecision=1153500 #constraints=30105
900.47/901.23	c nbDecision=1154000 #constraints=30109
900.77/901.54	c nbDecision=1154500 #constraints=30115
901.47/902.27	c nbDecision=1155000 #constraints=30125
901.97/902.74	c nbDecision=1155500 #constraints=30132
902.27/903.09	c nbDecision=1156000 #constraints=30136
902.97/903.72	c nbDecision=1156500 #constraints=30146
903.47/904.25	c nbDecision=1157000 #constraints=30154
903.87/904.68	c nbDecision=1157500 #constraints=30163
904.57/905.38	c nbDecision=1158000 #constraints=30176
905.47/906.28	c nbDecision=1158500 #constraints=30190
905.87/906.69	c nbDecision=1159000 #constraints=30197
906.37/907.14	c nbDecision=1159500 #constraints=30204
906.97/907.74	c nbDecision=1160000 #constraints=30215
907.57/908.39	c nbDecision=1160500 #constraints=30225
908.17/908.94	c nbDecision=1161000 #constraints=30236
908.67/909.41	c nbDecision=1161500 #constraints=30244
909.27/910.02	c nbDecision=1162000 #constraints=30254
910.07/910.89	c nbDecision=1162500 #constraints=30267
910.37/911.17	c nbDecision=1163000 #constraints=30272
911.07/911.85	c nbDecision=1163500 #constraints=30282
911.96/912.77	c nbDecision=1164000 #constraints=30296
912.46/913.28	c nbDecision=1164500 #constraints=30306
912.86/913.69	c nbDecision=1165000 #constraints=30314
913.57/914.38	c nbDecision=1165500 #constraints=30325
914.36/915.15	c nbDecision=1166000 #constraints=30339
914.96/915.73	c nbDecision=1166500 #constraints=30350
915.57/916.36	c nbDecision=1167000 #constraints=30364
916.46/917.22	c nbDecision=1167500 #constraints=30377
917.16/917.92	c nbDecision=1168000 #constraints=30387
917.87/918.64	c nbDecision=1168500 #constraints=30402
918.76/919.52	c nbDecision=1169000 #constraints=30418
919.46/920.29	c nbDecision=1169500 #constraints=30432
919.86/920.65	c nbDecision=1170000 #constraints=30440
920.35/921.18	c nbDecision=1170500 #constraints=30449
921.25/922.10	c nbDecision=1171000 #constraints=30464
921.95/922.74	c nbDecision=1171500 #constraints=30475
922.35/923.18	c nbDecision=1172000 #constraints=30483
922.95/923.77	c nbDecision=1172500 #constraints=30495
923.65/924.44	c nbDecision=1173000 #constraints=30508
924.15/924.93	c nbDecision=1173500 #constraints=30517
924.85/925.66	c nbDecision=1174000 #constraints=30531
925.35/926.10	c nbDecision=1174500 #constraints=30543
925.85/926.64	c nbDecision=1175000 #constraints=30552
926.25/927.09	c nbDecision=1175500 #constraints=30561
926.95/927.72	c nbDecision=1176000 #constraints=30572
927.35/928.13	c nbDecision=1176500 #constraints=30580
928.05/928.88	c nbDecision=1177000 #constraints=30592
928.65/929.44	c nbDecision=1177500 #constraints=30603
929.15/929.99	c nbDecision=1178000 #constraints=30614
929.65/930.42	c nbDecision=1178500 #constraints=30621
930.25/931.08	c nbDecision=1179000 #constraints=30632
930.75/931.51	c nbDecision=1179500 #constraints=30639
931.45/932.20	c nbDecision=1180000 #constraints=30652
931.95/932.70	c nbDecision=1180500 #constraints=30660
932.35/933.10	c nbDecision=1181000 #constraints=30667
932.85/933.66	c nbDecision=1181500 #constraints=30677
933.25/934.06	c nbDecision=1182000 #constraints=30683
933.95/934.78	c nbDecision=1182500 #constraints=30697
934.45/935.24	c nbDecision=1183000 #constraints=30706
934.94/935.72	c nbDecision=1183500 #constraints=30714
935.64/936.45	c nbDecision=1184000 #constraints=30724
936.34/937.14	c nbDecision=1184500 #constraints=30736
936.74/937.55	c nbDecision=1185000 #constraints=30745
937.65/938.44	c nbDecision=1185500 #constraints=30758
938.24/939.08	c nbDecision=1186000 #constraints=30766
938.94/939.79	c nbDecision=1186500 #constraints=30776
939.34/940.15	c nbDecision=1187000 #constraints=30784
939.74/940.58	c nbDecision=1187500 #constraints=30792
940.14/940.98	c nbDecision=1188000 #constraints=30800
940.64/941.49	c nbDecision=1188500 #constraints=30810
941.03/941.85	c nbDecision=1189000 #constraints=30816
941.43/942.26	c nbDecision=1189500 #constraints=30824
941.83/942.61	c nbDecision=1190000 #constraints=30830
942.73/943.53	c nbDecision=1190500 #constraints=30845
943.04/943.89	c nbDecision=1191000 #constraints=30852
943.74/944.51	c nbDecision=1191500 #constraints=30863
944.24/945.07	c nbDecision=1192000 #constraints=30875
944.93/945.70	c nbDecision=1192500 #constraints=30887
945.73/946.55	c nbDecision=1193000 #constraints=30901
946.13/946.92	c nbDecision=1193500 #constraints=30910
946.53/947.33	c nbDecision=1194000 #constraints=30919
946.93/947.76	c nbDecision=1194500 #constraints=30928
947.73/948.53	c nbDecision=1195000 #constraints=30939
948.13/948.98	c nbDecision=1195500 #constraints=30946
948.64/949.41	c nbDecision=1196000 #constraints=30956
949.33/950.18	c nbDecision=1196500 #constraints=30966
949.74/950.53	c nbDecision=1197000 #constraints=30974
950.33/951.19	c nbDecision=1197500 #constraints=30986
950.83/951.64	c nbDecision=1198000 #constraints=30994
951.73/952.56	c nbDecision=1198500 #constraints=31008
952.23/953.01	c nbDecision=1199000 #constraints=31014
952.53/953.33	c nbDecision=1199500 #constraints=31018
952.83/953.69	c nbDecision=1200000 #constraints=31024
953.43/954.21	c nbDecision=1200500 #constraints=31033
953.83/954.66	c nbDecision=1201000 #constraints=31039
954.53/955.36	c nbDecision=1201500 #constraints=31049
955.33/956.16	c nbDecision=1202000 #constraints=31062
955.93/956.70	c nbDecision=1202500 #constraints=31071
956.23/957.03	c nbDecision=1203000 #constraints=31077
956.63/957.46	c nbDecision=1203500 #constraints=31087
957.13/957.90	c nbDecision=1204000 #constraints=31095
957.53/958.39	c nbDecision=1204500 #constraints=31103
957.93/958.79	c nbDecision=1205000 #constraints=31112
958.82/959.63	c nbDecision=1205500 #constraints=31122
959.53/960.30	c nbDecision=1206000 #constraints=31132
959.92/960.74	c nbDecision=1206500 #constraints=31140
960.63/961.48	c nbDecision=1207000 #constraints=31153
961.32/962.19	c nbDecision=1207500 #constraints=31170
961.73/962.58	c nbDecision=1208000 #constraints=31179
962.32/963.15	c nbDecision=1208500 #constraints=31189
962.93/963.77	c nbDecision=1209000 #constraints=31199
963.42/964.24	c nbDecision=1209500 #constraints=31209
964.02/964.82	c nbDecision=1210000 #constraints=31221
964.42/965.21	c nbDecision=1210500 #constraints=31230
964.72/965.57	c nbDecision=1211000 #constraints=31237
965.12/965.91	c nbDecision=1211500 #constraints=31244
965.42/966.27	c nbDecision=1212000 #constraints=31251
966.12/966.95	c nbDecision=1212500 #constraints=31265
966.62/967.41	c nbDecision=1213000 #constraints=31273
966.92/967.77	c nbDecision=1213500 #constraints=31278
967.71/968.55	c nbDecision=1214000 #constraints=31290
968.11/968.98	c nbDecision=1214500 #constraints=31297
968.81/969.61	c nbDecision=1215000 #constraints=31309
969.32/970.15	c nbDecision=1215500 #constraints=31321
969.62/970.49	c nbDecision=1216000 #constraints=31326
970.32/971.15	c nbDecision=1216500 #constraints=31339
970.72/971.50	c nbDecision=1217000 #constraints=31344
971.42/972.27	c nbDecision=1217500 #constraints=31358
971.92/972.79	c nbDecision=1218000 #constraints=31367
972.73/973.58	c nbDecision=1218500 #constraints=31381
973.42/974.20	c nbDecision=1219000 #constraints=31395
974.02/974.83	c nbDecision=1219500 #constraints=31408
974.42/975.26	c nbDecision=1220000 #constraints=31416
975.02/975.86	c nbDecision=1220500 #constraints=31427
975.52/976.31	c nbDecision=1221000 #constraints=31435
976.02/976.81	c nbDecision=1221500 #constraints=31445
976.62/977.43	c nbDecision=1222000 #constraints=31456
977.02/977.88	c nbDecision=1222500 #constraints=31465
977.52/978.40	c nbDecision=1223000 #constraints=31475
978.42/979.27	c nbDecision=1223500 #constraints=31495
978.82/979.68	c nbDecision=1224000 #constraints=31504
979.42/980.23	c nbDecision=1224500 #constraints=31512
979.92/980.77	c nbDecision=1225000 #constraints=31522
980.42/981.26	c nbDecision=1225500 #constraints=31532
980.81/981.69	c nbDecision=1226000 #constraints=31539
981.81/982.60	c nbDecision=1226500 #constraints=31551
982.21/983.07	c nbDecision=1227000 #constraints=31561
982.72/983.58	c nbDecision=1227500 #constraints=31568
983.21/984.02	c nbDecision=1228000 #constraints=31575
983.51/984.38	c nbDecision=1228500 #constraints=31579
984.41/985.27	c nbDecision=1229000 #constraints=31600
984.91/985.78	c nbDecision=1229500 #constraints=31611
985.31/986.12	c nbDecision=1230000 #constraints=31617
985.71/986.54	c nbDecision=1230500 #constraints=31626
986.21/987.03	c nbDecision=1231000 #constraints=31636
987.01/987.82	c nbDecision=1231500 #constraints=31651
987.31/988.16	c nbDecision=1232000 #constraints=31658
987.80/988.67	c nbDecision=1232500 #constraints=31666
988.40/989.20	c nbDecision=1233000 #constraints=31676
988.80/989.62	c nbDecision=1233500 #constraints=31685
989.31/990.12	c nbDecision=1234000 #constraints=31694
989.80/990.61	c nbDecision=1234500 #constraints=31706
990.20/991.10	c nbDecision=1235000 #constraints=31719
990.80/991.65	c nbDecision=1235500 #constraints=31733
991.30/992.14	c nbDecision=1236000 #constraints=31745
991.90/992.74	c nbDecision=1236500 #constraints=31761
992.30/993.14	c nbDecision=1237000 #constraints=31771
992.90/993.70	c nbDecision=1237500 #constraints=31787
993.40/994.26	c nbDecision=1238000 #constraints=31798
994.00/994.88	c nbDecision=1238500 #constraints=31811
994.60/995.50	c nbDecision=1239000 #constraints=31825
995.10/995.97	c nbDecision=1239500 #constraints=31836
995.70/996.58	c nbDecision=1240000 #constraints=31849
996.40/997.25	c nbDecision=1240500 #constraints=31865
997.20/998.03	c nbDecision=1241000 #constraints=31883
997.80/998.65	c nbDecision=1241500 #constraints=31900
998.30/999.13	c nbDecision=1242000 #constraints=31911
999.29/1000.10	c nbDecision=1242500 #constraints=31929
999.80/1000.68	c nbDecision=1243000 #constraints=31942
1000.39/1001.28	c nbDecision=1243500 #constraints=31959
1001.09/1001.99	c nbDecision=1244000 #constraints=31972
1001.59/1002.41	c nbDecision=1244500 #constraints=31981
1002.09/1002.91	c nbDecision=1245000 #constraints=31988
1002.50/1003.34	c nbDecision=1245500 #constraints=31998
1002.89/1003.78	c nbDecision=1246000 #constraints=32007
1003.50/1004.35	c nbDecision=1246500 #constraints=32013
1003.99/1004.84	c nbDecision=1247000 #constraints=32018
1004.39/1005.27	c nbDecision=1247500 #constraints=32023
1004.99/1005.89	c nbDecision=1248000 #constraints=32035
1005.59/1006.48	c nbDecision=1248500 #constraints=32045
1006.49/1007.35	c nbDecision=1249000 #constraints=32060
1007.09/1007.92	c nbDecision=1249500 #constraints=32070
1007.49/1008.34	c nbDecision=1250000 #constraints=32077
1007.79/1008.68	c nbDecision=1250500 #constraints=32083
1008.29/1009.15	c nbDecision=1251000 #constraints=32091
1008.69/1009.57	c nbDecision=1251500 #constraints=32099
1009.58/1010.40	c nbDecision=1252000 #constraints=32111
1009.98/1010.87	c nbDecision=1252500 #constraints=32120
1010.48/1011.35	c nbDecision=1253000 #constraints=32129
1011.09/1011.99	c nbDecision=1253500 #constraints=32140
1011.59/1012.45	c nbDecision=1254000 #constraints=32148
1012.09/1012.96	c nbDecision=1254500 #constraints=32155
1012.59/1013.40	c nbDecision=1255000 #constraints=32163
1013.09/1013.92	c nbDecision=1255500 #constraints=32174
1013.49/1014.35	c nbDecision=1256000 #constraints=32179
1014.49/1015.33	c nbDecision=1256500 #constraints=32195
1015.09/1015.99	c nbDecision=1257000 #constraints=32208
1015.89/1016.71	c nbDecision=1257500 #constraints=32221
1016.49/1017.38	c nbDecision=1258000 #constraints=32237
1017.29/1018.19	c nbDecision=1258500 #constraints=32252
1017.89/1018.73	c nbDecision=1259000 #constraints=32262
1018.29/1019.19	c nbDecision=1259500 #constraints=32270
1018.99/1019.82	c nbDecision=1260000 #constraints=32279
1019.59/1020.41	c nbDecision=1260500 #constraints=32291
1019.99/1020.84	c nbDecision=1261000 #constraints=32300
1020.89/1021.75	c nbDecision=1261500 #constraints=32315
1021.79/1022.64	c nbDecision=1262000 #constraints=32336
1022.19/1023.09	c nbDecision=1262500 #constraints=32348
1022.78/1023.65	c nbDecision=1263000 #constraints=32360
1023.48/1024.31	c nbDecision=1263500 #constraints=32372
1023.88/1024.78	c nbDecision=1264000 #constraints=32383
1024.58/1025.41	c nbDecision=1264500 #constraints=32393
1025.28/1026.14	c nbDecision=1265000 #constraints=32405
1025.78/1026.61	c nbDecision=1265500 #constraints=32415
1026.28/1027.11	c nbDecision=1266000 #constraints=32426
1026.69/1027.55	c nbDecision=1266500 #constraints=32436
1027.38/1028.26	c nbDecision=1267000 #constraints=32452
1027.88/1028.75	c nbDecision=1267500 #constraints=32464
1028.38/1029.28	c nbDecision=1268000 #constraints=32477
1029.08/1029.93	c nbDecision=1268500 #constraints=32493
1029.58/1030.41	c nbDecision=1269000 #constraints=32502
1030.68/1031.58	c nbDecision=1269500 #constraints=32521
1031.27/1032.10	c nbDecision=1270000 #constraints=32530
1031.67/1032.50	c nbDecision=1270500 #constraints=32536
1032.18/1033.06	c nbDecision=1271000 #constraints=32548
1032.77/1033.67	c nbDecision=1271500 #constraints=32563
1033.37/1034.24	c nbDecision=1272000 #constraints=32577
1034.07/1034.94	c nbDecision=1272500 #constraints=32592
1034.67/1035.54	c nbDecision=1273000 #constraints=32606
1035.47/1036.35	c nbDecision=1273500 #constraints=32618
1035.87/1036.78	c nbDecision=1274000 #constraints=32625
1036.47/1037.34	c nbDecision=1274500 #constraints=32634
1037.07/1038.00	c nbDecision=1275000 #constraints=32646
1037.87/1038.76	c nbDecision=1275500 #constraints=32657
1038.37/1039.27	c nbDecision=1276000 #constraints=32664
1039.17/1040.04	c nbDecision=1276500 #constraints=32679
1039.57/1040.47	c nbDecision=1277000 #constraints=32689
1040.27/1041.19	c nbDecision=1277500 #constraints=32708
1040.97/1041.88	c nbDecision=1278000 #constraints=32723
1041.57/1042.43	c nbDecision=1278500 #constraints=32735
1042.37/1043.27	c nbDecision=1279000 #constraints=32753
1043.07/1043.95	c nbDecision=1279500 #constraints=32767
1043.67/1044.52	c nbDecision=1280000 #constraints=32777
1044.17/1045.05	c nbDecision=1280500 #constraints=32789
1044.67/1045.55	c nbDecision=1281000 #constraints=32799
1045.27/1046.19	c nbDecision=1281500 #constraints=32813
1046.06/1046.97	c nbDecision=1282000 #constraints=32826
1046.86/1047.74	c nbDecision=1282500 #constraints=32839
1047.57/1048.46	c nbDecision=1283000 #constraints=32856
1048.26/1049.12	c nbDecision=1283500 #constraints=32866
1048.67/1049.57	c nbDecision=1284000 #constraints=32874
1048.96/1049.89	c nbDecision=1284500 #constraints=32880
1049.77/1050.69	c nbDecision=1285000 #constraints=32892
1050.26/1051.18	c nbDecision=1285500 #constraints=32900
1051.16/1052.03	c nbDecision=1286000 #constraints=32916
1051.76/1052.61	c nbDecision=1286500 #constraints=32927
1052.26/1053.10	c nbDecision=1287000 #constraints=32933
1052.76/1053.68	c nbDecision=1287500 #constraints=32942
1053.36/1054.20	c nbDecision=1288000 #constraints=32949
1054.16/1055.07	c nbDecision=1288500 #constraints=32966
1054.65/1055.55	c nbDecision=1289000 #constraints=32975
1055.85/1056.71	c nbDecision=1289500 #constraints=32994
1056.65/1057.53	c nbDecision=1290000 #constraints=33008
1056.95/1057.89	c nbDecision=1290500 #constraints=33017
1057.65/1058.52	c nbDecision=1291000 #constraints=33030
1058.05/1058.99	c nbDecision=1291500 #constraints=33041
1058.65/1059.53	c nbDecision=1292000 #constraints=33051
1059.25/1060.13	c nbDecision=1292500 #constraints=33067
1059.66/1060.58	c nbDecision=1293000 #constraints=33078
1060.45/1061.34	c nbDecision=1293500 #constraints=33099
1060.95/1061.82	c nbDecision=1294000 #constraints=33107
1061.45/1062.32	c nbDecision=1294500 #constraints=33116
1061.86/1062.76	c nbDecision=1295000 #constraints=33124
1062.65/1063.55	c nbDecision=1295500 #constraints=33142
1063.05/1063.98	c nbDecision=1296000 #constraints=33150
1063.85/1064.76	c nbDecision=1296500 #constraints=33166
1064.45/1065.34	c nbDecision=1297000 #constraints=33180
1064.95/1065.82	c nbDecision=1297500 #constraints=33188
1065.45/1066.31	c nbDecision=1298000 #constraints=33200
1065.95/1066.90	c nbDecision=1298500 #constraints=33213
1066.75/1067.61	c nbDecision=1299000 #constraints=33228
1067.45/1068.36	c nbDecision=1299500 #constraints=33247
1068.35/1069.22	c nbDecision=1300000 #constraints=33266
1069.15/1070.07	c nbDecision=1300500 #constraints=33284
1069.85/1070.70	c nbDecision=1301000 #constraints=33300
1070.35/1071.23	c nbDecision=1301500 #constraints=33312
1070.75/1071.69	c nbDecision=1302000 #constraints=33322
1071.35/1072.28	c nbDecision=1302500 #constraints=33336
1071.85/1072.75	c nbDecision=1303000 #constraints=33346
1072.35/1073.27	c nbDecision=1303500 #constraints=33355
1072.85/1073.78	c nbDecision=1304000 #constraints=33366
1073.54/1074.41	c nbDecision=1304500 #constraints=33381
1074.14/1075.07	c nbDecision=1305000 #constraints=33397
1074.95/1075.89	c nbDecision=1305500 #constraints=33414
1075.44/1076.38	c nbDecision=1306000 #constraints=33423
1075.95/1076.88	c nbDecision=1306500 #constraints=33434
1077.15/1078.01	c nbDecision=1307000 #constraints=33455
1078.25/1079.11	c nbDecision=1307500 #constraints=33471
1078.94/1079.80	c nbDecision=1308000 #constraints=33483
1079.84/1080.70	c nbDecision=1308500 #constraints=33505
1080.64/1081.52	c nbDecision=1309000 #constraints=33528
1081.34/1082.20	c nbDecision=1309500 #constraints=33546
1082.24/1083.10	c nbDecision=1310000 #constraints=33564
1082.84/1083.72	c nbDecision=1310500 #constraints=33579
1083.54/1084.50	c nbDecision=1311000 #constraints=33593
1084.04/1084.93	c nbDecision=1311500 #constraints=33600
1084.54/1085.41	c nbDecision=1312000 #constraints=33609
1085.44/1086.33	c nbDecision=1312500 #constraints=33626
1085.84/1086.76	c nbDecision=1313000 #constraints=33632
1086.94/1087.89	c nbDecision=1313500 #constraints=33651
1087.84/1088.73	c nbDecision=1314000 #constraints=33669
1088.64/1089.56	c nbDecision=1314500 #constraints=33689
1089.14/1090.04	c nbDecision=1315000 #constraints=33699
1089.64/1090.58	c nbDecision=1315500 #constraints=33711
1090.34/1091.26	c nbDecision=1316000 #constraints=33721
1090.94/1091.81	c nbDecision=1316500 #constraints=33734
1091.64/1092.58	c nbDecision=1317000 #constraints=33749
1092.94/1093.89	c nbDecision=1317500 #constraints=33773
1093.64/1094.55	c nbDecision=1318000 #constraints=33785
1094.14/1095.01	c nbDecision=1318500 #constraints=33796
1094.44/1095.32	c nbDecision=1319000 #constraints=33801
1095.24/1096.11	c nbDecision=1319500 #constraints=33817
1096.04/1096.90	c nbDecision=1320000 #constraints=33830
1096.74/1097.62	c nbDecision=1320500 #constraints=33845
1097.64/1098.56	c nbDecision=1321000 #constraints=33862
1098.64/1099.58	c nbDecision=1321500 #constraints=33874
1099.43/1100.31	c nbDecision=1322000 #constraints=33888
1100.23/1101.14	c nbDecision=1322500 #constraints=33903
1100.93/1101.86	c nbDecision=1323000 #constraints=33915
1101.63/1102.60	c nbDecision=1323500 #constraints=33929
1102.13/1103.02	c nbDecision=1324000 #constraints=33938
1102.73/1103.69	c nbDecision=1324500 #constraints=33953
1103.23/1104.18	c nbDecision=1325000 #constraints=33962
1104.03/1104.90	c nbDecision=1325500 #constraints=33976
1104.43/1105.30	c nbDecision=1326000 #constraints=33982
1105.23/1106.10	c nbDecision=1326500 #constraints=33994
1105.73/1106.70	c nbDecision=1327000 #constraints=34006
1106.43/1107.32	c nbDecision=1327500 #constraints=34016
1107.12/1108.05	c nbDecision=1328000 #constraints=34031
1107.72/1108.68	c nbDecision=1328500 #constraints=34044
1108.82/1109.71	c nbDecision=1329000 #constraints=34064
1109.52/1110.40	c nbDecision=1329500 #constraints=34078
1110.42/1111.35	c nbDecision=1330000 #constraints=34099
1111.12/1112.04	c nbDecision=1330500 #constraints=34115
1111.82/1112.79	c nbDecision=1331000 #constraints=34132
1112.42/1113.30	c nbDecision=1331500 #constraints=34143
1113.22/1114.14	c nbDecision=1332000 #constraints=34162
1114.12/1115.05	c nbDecision=1332500 #constraints=34182
1115.32/1116.27	c nbDecision=1333000 #constraints=34206
1116.12/1117.03	c nbDecision=1333500 #constraints=34220
1116.92/1117.89	c nbDecision=1334000 #constraints=34236
1117.82/1118.77	c nbDecision=1334500 #constraints=34251
1118.42/1119.35	c nbDecision=1335000 #constraints=34261
1119.32/1120.25	c nbDecision=1335500 #constraints=34279
1120.02/1120.95	c nbDecision=1336000 #constraints=34291
1120.52/1121.48	c nbDecision=1336500 #constraints=34305
1120.92/1121.89	c nbDecision=1337000 #constraints=34313
1121.62/1122.56	c nbDecision=1337500 #constraints=34325
1122.11/1123.09	c nbDecision=1338000 #constraints=34337
1122.71/1123.64	c nbDecision=1338500 #constraints=34352
1123.71/1124.60	c nbDecision=1339000 #constraints=34366
1124.11/1125.07	c nbDecision=1339500 #constraints=34375
1124.61/1125.53	c nbDecision=1340000 #constraints=34383
1125.11/1126.04	c nbDecision=1340500 #constraints=34394
1125.61/1126.58	c nbDecision=1341000 #constraints=34403
1126.11/1127.05	c nbDecision=1341500 #constraints=34412
1126.51/1127.48	c nbDecision=1342000 #constraints=34420
1127.21/1128.14	c nbDecision=1342500 #constraints=34434
1127.81/1128.72	c nbDecision=1343000 #constraints=34441
1128.60/1129.55	c nbDecision=1343500 #constraints=34454
1129.20/1130.16	c nbDecision=1344000 #constraints=34468
1129.80/1130.78	c nbDecision=1344500 #constraints=34485
1130.40/1131.30	c nbDecision=1345000 #constraints=34497
1130.90/1131.87	c nbDecision=1345500 #constraints=34513
1131.50/1132.43	c nbDecision=1346000 #constraints=34529
1132.00/1132.96	c nbDecision=1346500 #constraints=34544
1132.50/1133.44	c nbDecision=1347000 #constraints=34556
1133.00/1133.94	c nbDecision=1347500 #constraints=34569
1133.50/1134.46	c nbDecision=1348000 #constraints=34580
1134.20/1135.10	c nbDecision=1348500 #constraints=34600
1134.70/1135.60	c nbDecision=1349000 #constraints=34611
1135.10/1136.07	c nbDecision=1349500 #constraints=34623
1135.70/1136.65	c nbDecision=1350000 #constraints=34636
1136.20/1137.19	c nbDecision=1350500 #constraints=34651
1136.70/1137.68	c nbDecision=1351000 #constraints=34663
1137.10/1138.04	c nbDecision=1351500 #constraints=34671
1137.61/1138.59	c nbDecision=1352000 #constraints=34679
1138.10/1139.03	c nbDecision=1352500 #constraints=34690
1138.50/1139.46	c nbDecision=1353000 #constraints=34700
1139.00/1140.00	c nbDecision=1353500 #constraints=34712
1139.60/1140.55	c nbDecision=1354000 #constraints=34725
1140.30/1141.28	c nbDecision=1354500 #constraints=34743
1141.50/1142.40	c nbDecision=1355000 #constraints=34764
1142.01/1143.00	c nbDecision=1355500 #constraints=34774
1142.60/1143.58	c nbDecision=1356000 #constraints=34783
1143.30/1144.22	c nbDecision=1356500 #constraints=34794
1144.10/1145.03	c nbDecision=1357000 #constraints=34805
1144.59/1145.58	c nbDecision=1357500 #constraints=34815
1145.19/1146.15	c nbDecision=1358000 #constraints=34826
1145.79/1146.73	c nbDecision=1358500 #constraints=34838
1146.39/1147.33	c nbDecision=1359000 #constraints=34847
1147.39/1148.30	c nbDecision=1359500 #constraints=34863
1147.89/1148.86	c nbDecision=1360000 #constraints=34877
1148.59/1149.59	c nbDecision=1360500 #constraints=34893
1149.29/1150.23	c nbDecision=1361000 #constraints=34907
1149.79/1150.79	c nbDecision=1361500 #constraints=34916
1150.09/1151.08	c nbDecision=1362000 #constraints=34921
1151.49/1152.42	c nbDecision=1362500 #constraints=34938
1152.19/1153.10	c nbDecision=1363000 #constraints=34952
1152.59/1153.58	c nbDecision=1363500 #constraints=34961
1152.99/1153.95	c nbDecision=1364000 #constraints=34969
1153.69/1154.68	c nbDecision=1364500 #constraints=34983
1154.29/1155.27	c nbDecision=1365000 #constraints=34993
1154.69/1155.67	c nbDecision=1365500 #constraints=34999
1155.19/1156.17	c nbDecision=1366000 #constraints=35008
1155.59/1156.52	c nbDecision=1366500 #constraints=35016
1156.09/1157.02	c nbDecision=1367000 #constraints=35026
1156.79/1157.73	c nbDecision=1367500 #constraints=35037
1157.59/1158.52	c nbDecision=1368000 #constraints=35050
1158.38/1159.31	c nbDecision=1368500 #constraints=35059
1158.98/1159.99	c nbDecision=1369000 #constraints=35072
1159.48/1160.43	c nbDecision=1369500 #constraints=35079
1160.38/1161.31	c nbDecision=1370000 #constraints=35095
1160.98/1161.97	c nbDecision=1370500 #constraints=35107
1161.38/1162.36	c nbDecision=1371000 #constraints=35114
1162.48/1163.43	c nbDecision=1371500 #constraints=35128
1162.99/1163.99	c nbDecision=1372000 #constraints=35136
1163.68/1164.61	c nbDecision=1372500 #constraints=35147
1164.28/1165.21	c nbDecision=1373000 #constraints=35157
1164.68/1165.69	c nbDecision=1373500 #constraints=35163
1165.38/1166.31	c nbDecision=1374000 #constraints=35174
1166.38/1167.31	c nbDecision=1374500 #constraints=35193
1166.88/1167.83	c nbDecision=1375000 #constraints=35201
1167.29/1168.28	c nbDecision=1375500 #constraints=35208
1168.18/1169.11	c nbDecision=1376000 #constraints=35221
1168.88/1169.82	c nbDecision=1376500 #constraints=35228
1169.38/1170.31	c nbDecision=1377000 #constraints=35234
1169.77/1170.71	c nbDecision=1377500 #constraints=35238
1170.27/1171.22	c nbDecision=1378000 #constraints=35244
1170.77/1171.73	c nbDecision=1378500 #constraints=35252
1171.17/1172.11	c nbDecision=1379000 #constraints=35257
1171.57/1172.53	c nbDecision=1379500 #constraints=35265
1172.47/1173.45	c nbDecision=1380000 #constraints=35278
1172.88/1173.81	c nbDecision=1380500 #constraints=35283
1173.37/1174.36	c nbDecision=1381000 #constraints=35291
1174.47/1175.45	c nbDecision=1381500 #constraints=35304
1175.08/1176.01	c nbDecision=1382000 #constraints=35312
1175.47/1176.42	c nbDecision=1382500 #constraints=35318
1176.57/1177.59	c nbDecision=1383000 #constraints=35329
1177.28/1178.22	c nbDecision=1383500 #constraints=35336
1177.68/1178.62	c nbDecision=1384000 #constraints=35341
1178.28/1179.29	c nbDecision=1384500 #constraints=35353
1178.98/1179.94	c nbDecision=1385000 #constraints=35363
1179.68/1180.61	c nbDecision=1385500 #constraints=35375
1180.28/1181.27	c nbDecision=1386000 #constraints=35385
1180.88/1181.83	c nbDecision=1386500 #constraints=35396
1181.38/1182.33	c nbDecision=1387000 #constraints=35404
1181.88/1182.90	c nbDecision=1387500 #constraints=35413
1182.38/1183.35	c nbDecision=1388000 #constraints=35421
1182.88/1183.87	c nbDecision=1388500 #constraints=35429
1183.28/1184.22	c nbDecision=1389000 #constraints=35435
1183.98/1184.90	c nbDecision=1389500 #constraints=35445
1184.38/1185.31	c nbDecision=1390000 #constraints=35451
1184.88/1185.85	c nbDecision=1390500 #constraints=35461
1185.28/1186.21	c nbDecision=1391000 #constraints=35468
1185.68/1186.60	c nbDecision=1391500 #constraints=35474
1186.28/1187.26	c nbDecision=1392000 #constraints=35486
1187.08/1188.03	c nbDecision=1392500 #constraints=35500
1187.68/1188.60	c nbDecision=1393000 #constraints=35510
1188.37/1189.38	c nbDecision=1393500 #constraints=35519
1189.07/1190.00	c nbDecision=1394000 #constraints=35523
1189.57/1190.52	c nbDecision=1394500 #constraints=35531
1191.07/1192.00	c nbDecision=1395000 #constraints=35553
1192.07/1193.00	c nbDecision=1395500 #constraints=35565
1192.77/1193.72	c nbDecision=1396000 #constraints=35575
1193.36/1194.31	c nbDecision=1396500 #constraints=35584
1193.96/1194.97	c nbDecision=1397000 #constraints=35592
1194.36/1195.36	c nbDecision=1397500 #constraints=35598
1195.56/1196.59	c nbDecision=1398000 #constraints=35615
1196.46/1197.45	c nbDecision=1398500 #constraints=35631
1196.97/1197.95	c nbDecision=1399000 #constraints=35641
1197.56/1198.59	c nbDecision=1399500 #constraints=35651
1198.07/1199.05	c nbDecision=1400000 #constraints=35657
1198.76/1199.75	c nbDecision=1400500 #constraints=35668
1199.17/1200.19	c nbDecision=1401000 #constraints=35676
1199.76/1200.79	c nbDecision=1401500 #constraints=35688
1200.56/1201.57	c nbDecision=1402000 #constraints=35701
1201.06/1202.07	c nbDecision=1402500 #constraints=35713
1201.76/1202.74	c nbDecision=1403000 #constraints=35725
1202.47/1203.46	c nbDecision=1403500 #constraints=35738
1202.96/1203.97	c nbDecision=1404000 #constraints=35747
1203.67/1204.69	c nbDecision=1404500 #constraints=35760
1204.36/1205.33	c nbDecision=1405000 #constraints=35773
1204.86/1205.82	c nbDecision=1405500 #constraints=35781
1205.96/1206.94	c nbDecision=1406000 #constraints=35796
1206.46/1207.46	c nbDecision=1406500 #constraints=35803
1207.06/1208.02	c nbDecision=1407000 #constraints=35811
1207.46/1208.48	c nbDecision=1407500 #constraints=35821
1208.06/1209.01	c nbDecision=1408000 #constraints=35830
1208.46/1209.46	c nbDecision=1408500 #constraints=35840
1208.96/1209.96	c nbDecision=1409000 #constraints=35848
1209.56/1210.51	c nbDecision=1409500 #constraints=35860
1210.56/1211.52	c nbDecision=1410000 #constraints=35874
1210.95/1211.93	c nbDecision=1410500 #constraints=35880
1211.45/1212.47	c nbDecision=1411000 #constraints=35888
1212.05/1213.03	c nbDecision=1411500 #constraints=35894
1212.86/1213.85	c nbDecision=1412000 #constraints=35906
1213.65/1214.63	c nbDecision=1412500 #constraints=35916
1214.25/1215.21	c nbDecision=1413000 #constraints=35922
1214.65/1215.70	c nbDecision=1413500 #constraints=35931
1215.15/1216.19	c nbDecision=1414000 #constraints=35942
1216.45/1217.43	c nbDecision=1414500 #constraints=35961
1217.05/1218.09	c nbDecision=1415000 #constraints=35973
1217.54/1218.58	c nbDecision=1415500 #constraints=35983
1217.95/1218.99	c nbDecision=1416000 #constraints=35991
1218.84/1219.82	c nbDecision=1416500 #constraints=36003
1219.34/1220.31	c nbDecision=1417000 #constraints=36012
1219.94/1220.93	c nbDecision=1417500 #constraints=36022
1220.34/1221.39	c nbDecision=1418000 #constraints=36031
1221.34/1222.32	c nbDecision=1418500 #constraints=36046
1222.04/1223.06	c nbDecision=1419000 #constraints=36059
1222.74/1223.78	c nbDecision=1419500 #constraints=36071
1223.35/1224.33	c nbDecision=1420000 #constraints=36080
1223.94/1224.96	c nbDecision=1420500 #constraints=36094
1224.64/1225.66	c nbDecision=1421000 #constraints=36105
1225.74/1226.77	c nbDecision=1421500 #constraints=36119
1226.44/1227.43	c nbDecision=1422000 #constraints=36128
1226.95/1227.92	c nbDecision=1422500 #constraints=36136
1227.35/1228.39	c nbDecision=1423000 #constraints=36143
1228.15/1229.10	c nbDecision=1423500 #constraints=36151
1228.65/1229.65	c nbDecision=1424000 #constraints=36158
1229.15/1230.12	c nbDecision=1424500 #constraints=36165
1229.95/1230.95	c nbDecision=1425000 #constraints=36177
1230.75/1231.71	c nbDecision=1425500 #constraints=36186
1231.25/1232.23	c nbDecision=1426000 #constraints=36190
1231.95/1232.90	c nbDecision=1426500 #constraints=36198
1232.65/1233.64	c nbDecision=1427000 #constraints=36209
1233.15/1234.10	c nbDecision=1427500 #constraints=36215
1233.54/1234.57	c nbDecision=1428000 #constraints=36220
1234.14/1235.15	c nbDecision=1428500 #constraints=36231
1234.64/1235.68	c nbDecision=1429000 #constraints=36243
1235.24/1236.25	c nbDecision=1429500 #constraints=36251
1236.13/1237.15	c nbDecision=1430000 #constraints=36266
1236.54/1237.60	c nbDecision=1430500 #constraints=36272
1237.23/1238.29	c nbDecision=1431000 #constraints=36283
1238.03/1239.00	c nbDecision=1431500 #constraints=36293
1238.43/1239.45	c nbDecision=1432000 #constraints=36299
1239.23/1240.23	c nbDecision=1432500 #constraints=36311
1239.73/1240.79	c nbDecision=1433000 #constraints=36318
1240.33/1241.30	c nbDecision=1433500 #constraints=36324
1241.04/1242.00	c nbDecision=1434000 #constraints=36338
1241.43/1242.46	c nbDecision=1434500 #constraints=36345
1242.14/1243.13	c nbDecision=1435000 #constraints=36358
1242.63/1243.63	c nbDecision=1435500 #constraints=36367
1243.33/1244.32	c nbDecision=1436000 #constraints=36377
1244.03/1245.06	c nbDecision=1436500 #constraints=36387
1244.53/1245.55	c nbDecision=1437000 #constraints=36392
1245.33/1246.36	c nbDecision=1437500 #constraints=36403
1246.13/1247.15	c nbDecision=1438000 #constraints=36414
1246.63/1247.67	c nbDecision=1438500 #constraints=36421
1247.13/1248.18	c nbDecision=1439000 #constraints=36427
1247.63/1248.62	c nbDecision=1439500 #constraints=36435
1248.63/1249.68	c nbDecision=1440000 #constraints=36449
1249.43/1250.49	c nbDecision=1440500 #constraints=36460
1250.23/1251.26	c nbDecision=1441000 #constraints=36470
1250.83/1251.82	c nbDecision=1441500 #constraints=36478
1251.43/1252.43	c nbDecision=1442000 #constraints=36489
1251.93/1253.00	c nbDecision=1442500 #constraints=36499
1252.72/1253.73	c nbDecision=1443000 #constraints=36507
1253.22/1254.29	c nbDecision=1443500 #constraints=36515
1254.23/1255.24	c nbDecision=1444000 #constraints=36530
1254.82/1255.80	c nbDecision=1444500 #constraints=36542
1255.12/1256.12	c nbDecision=1445000 #constraints=36548
1255.52/1256.53	c nbDecision=1445500 #constraints=36556
1256.33/1257.35	c nbDecision=1446000 #constraints=36570
1257.02/1258.08	c nbDecision=1446500 #constraints=36589
1257.43/1258.44	c nbDecision=1447000 #constraints=36598
1257.82/1258.81	c nbDecision=1447500 #constraints=36605
1258.53/1259.52	c nbDecision=1448000 #constraints=36617
1259.02/1260.06	c nbDecision=1448500 #constraints=36627
1259.52/1260.51	c nbDecision=1449000 #constraints=36634
1259.92/1260.93	c nbDecision=1449500 #constraints=36640
1260.92/1261.94	c nbDecision=1450000 #constraints=36659
1261.42/1262.42	c nbDecision=1450500 #constraints=36668
1261.92/1262.98	c nbDecision=1451000 #constraints=36679
1262.52/1263.53	c nbDecision=1451500 #constraints=36689
1263.31/1264.32	c nbDecision=1452000 #constraints=36697
1263.82/1264.87	c nbDecision=1452500 #constraints=36703
1264.31/1265.37	c nbDecision=1453000 #constraints=36711
1264.81/1265.83	c nbDecision=1453500 #constraints=36716
1265.31/1266.38	c nbDecision=1454000 #constraints=36720
1265.91/1266.95	c nbDecision=1454500 #constraints=36725
1266.41/1267.49	c nbDecision=1455000 #constraints=36731
1267.11/1268.15	c nbDecision=1455500 #constraints=36740
1267.81/1268.85	c nbDecision=1456000 #constraints=36750
1268.31/1269.33	c nbDecision=1456500 #constraints=36756
1268.91/1269.97	c nbDecision=1457000 #constraints=36767
1269.52/1270.56	c nbDecision=1457500 #constraints=36778
1270.81/1271.80	c nbDecision=1458000 #constraints=36797
1271.31/1272.34	c nbDecision=1458500 #constraints=36803
1271.82/1272.83	c nbDecision=1459000 #constraints=36809
1272.51/1273.51	c nbDecision=1459500 #constraints=36820
1273.31/1274.35	c nbDecision=1460000 #constraints=36830
1274.41/1275.42	c nbDecision=1460500 #constraints=36845
1275.21/1276.28	c nbDecision=1461000 #constraints=36859
1275.91/1276.96	c nbDecision=1461500 #constraints=36867
1277.01/1278.03	c nbDecision=1462000 #constraints=36882
1277.61/1278.61	c nbDecision=1462500 #constraints=36889
1278.11/1279.11	c nbDecision=1463000 #constraints=36897
1278.71/1279.74	c nbDecision=1463500 #constraints=36904
1279.51/1280.55	c nbDecision=1464000 #constraints=36917
1280.00/1281.06	c nbDecision=1464500 #constraints=36925
1280.50/1281.56	c nbDecision=1465000 #constraints=36934
1281.10/1282.16	c nbDecision=1465500 #constraints=36947
1281.90/1282.95	c nbDecision=1466000 #constraints=36958
1282.60/1283.68	c nbDecision=1466500 #constraints=36970
1283.10/1284.10	c nbDecision=1467000 #constraints=36975
1283.60/1284.64	c nbDecision=1467500 #constraints=36982
1284.50/1285.51	c nbDecision=1468000 #constraints=36996
1285.00/1286.09	c nbDecision=1468500 #constraints=37002
1285.60/1286.64	c nbDecision=1469000 #constraints=37010
1287.10/1288.20	c nbDecision=1469500 #constraints=37033
1287.70/1288.79	c nbDecision=1470000 #constraints=37041
1288.10/1289.18	c nbDecision=1470500 #constraints=37047
1288.60/1289.63	c nbDecision=1471000 #constraints=37053
1289.50/1290.58	c nbDecision=1471500 #constraints=37070
1290.09/1291.19	c nbDecision=1472000 #constraints=37077
1290.59/1291.66	c nbDecision=1472500 #constraints=37084
1291.09/1292.12	c nbDecision=1473000 #constraints=37091
1291.79/1292.86	c nbDecision=1473500 #constraints=37100
1292.39/1293.42	c nbDecision=1474000 #constraints=37108
1293.39/1294.42	c nbDecision=1474500 #constraints=37124
1293.99/1295.01	c nbDecision=1475000 #constraints=37136
1294.59/1295.61	c nbDecision=1475500 #constraints=37147
1295.59/1296.60	c nbDecision=1476000 #constraints=37161
1297.00/1298.08	c nbDecision=1476500 #constraints=37183
1297.59/1298.61	c nbDecision=1477000 #constraints=37192
1298.20/1299.22	c nbDecision=1477500 #constraints=37203
1298.89/1299.94	c nbDecision=1478000 #constraints=37212
1299.69/1300.73	c nbDecision=1478500 #constraints=37220
1300.79/1301.81	c nbDecision=1479000 #constraints=37236
1301.29/1302.34	c nbDecision=1479500 #constraints=37244
1301.99/1303.09	c nbDecision=1480000 #constraints=37253
1302.79/1303.87	c nbDecision=1480500 #constraints=37266
1303.39/1304.49	c nbDecision=1481000 #constraints=37274
1304.69/1305.74	c nbDecision=1481500 #constraints=37294
1305.39/1306.48	c nbDecision=1482000 #constraints=37303
1305.89/1306.92	c nbDecision=1482500 #constraints=37309
1307.08/1308.14	c nbDecision=1483000 #constraints=37327
1307.69/1308.75	c nbDecision=1483500 #constraints=37335
1308.39/1309.44	c nbDecision=1484000 #constraints=37344
1309.59/1310.67	c nbDecision=1484500 #constraints=37362
1310.59/1311.62	c nbDecision=1485000 #constraints=37378
1311.09/1312.19	c nbDecision=1485500 #constraints=37388
1311.79/1312.86	c nbDecision=1486000 #constraints=37401
1312.29/1313.38	c nbDecision=1486500 #constraints=37409
1312.79/1313.83	c nbDecision=1487000 #constraints=37417
1313.19/1314.28	c nbDecision=1487500 #constraints=37427
1313.79/1314.85	c nbDecision=1488000 #constraints=37438
1314.19/1315.21	c nbDecision=1488500 #constraints=37443
1314.49/1315.57	c nbDecision=1489000 #constraints=37447
1315.29/1316.39	c nbDecision=1489500 #constraints=37459
1316.19/1317.28	c nbDecision=1490000 #constraints=37470
1316.79/1317.86	c nbDecision=1490500 #constraints=37478
1317.29/1318.36	c nbDecision=1491000 #constraints=37486
1318.09/1319.13	c nbDecision=1491500 #constraints=37499
1318.79/1319.83	c nbDecision=1492000 #constraints=37512
1319.19/1320.28	c nbDecision=1492500 #constraints=37518
1319.89/1320.99	c nbDecision=1493000 #constraints=37532
1320.39/1321.46	c nbDecision=1493500 #constraints=37540
1320.99/1322.02	c nbDecision=1494000 #constraints=37551
1321.58/1322.66	c nbDecision=1494500 #constraints=37560
1322.08/1323.11	c nbDecision=1495000 #constraints=37567
1322.68/1323.71	c nbDecision=1495500 #constraints=37580
1323.08/1324.14	c nbDecision=1496000 #constraints=37587
1323.49/1324.56	c nbDecision=1496500 #constraints=37594
1324.18/1325.22	c nbDecision=1497000 #constraints=37608
1324.68/1325.70	c nbDecision=1497500 #constraints=37616
1325.28/1326.31	c nbDecision=1498000 #constraints=37629
1325.58/1326.67	c nbDecision=1498500 #constraints=37634
1326.28/1327.30	c nbDecision=1499000 #constraints=37643
1326.88/1327.91	c nbDecision=1499500 #constraints=37651
1327.38/1328.40	c nbDecision=1500000 #constraints=37657
1327.78/1328.85	c nbDecision=1500500 #constraints=37663
1328.98/1330.03	c nbDecision=1501000 #constraints=37685
1329.58/1330.62	c nbDecision=1501500 #constraints=37695
1329.98/1331.05	c nbDecision=1502000 #constraints=37703
1330.57/1331.69	c nbDecision=1502500 #constraints=37715
1331.08/1332.14	c nbDecision=1503000 #constraints=37724
1331.77/1332.88	c nbDecision=1503500 #constraints=37734
1332.77/1333.85	c nbDecision=1504000 #constraints=37749
1333.67/1334.77	c nbDecision=1504500 #constraints=37762
1334.27/1335.35	c nbDecision=1505000 #constraints=37772
1334.87/1335.96	c nbDecision=1505500 #constraints=37785
1335.48/1336.55	c nbDecision=1506000 #constraints=37797
1335.97/1337.10	c nbDecision=1506500 #constraints=37806
1336.67/1337.72	c nbDecision=1507000 #constraints=37818
1337.17/1338.23	c nbDecision=1507500 #constraints=37827
1337.67/1338.74	c nbDecision=1508000 #constraints=37835
1338.37/1339.44	c nbDecision=1508500 #constraints=37848
1338.97/1340.03	c nbDecision=1509000 #constraints=37859
1339.67/1340.80	c nbDecision=1509500 #constraints=37871
1340.37/1341.47	c nbDecision=1510000 #constraints=37887
1341.07/1342.19	c nbDecision=1510500 #constraints=37905
1341.66/1342.74	c nbDecision=1511000 #constraints=37916
1342.07/1343.11	c nbDecision=1511500 #constraints=37922
1343.06/1344.18	c nbDecision=1512000 #constraints=37936
1343.76/1344.85	c nbDecision=1512500 #constraints=37946
1344.46/1345.53	c nbDecision=1513000 #constraints=37958
1344.96/1346.05	c nbDecision=1513500 #constraints=37967
1345.47/1346.56	c nbDecision=1514000 #constraints=37975
1345.86/1346.98	c nbDecision=1514500 #constraints=37982
1346.96/1348.07	c nbDecision=1515000 #constraints=38001
1347.57/1348.60	c nbDecision=1515500 #constraints=38010
1348.36/1349.47	c nbDecision=1516000 #constraints=38020
1348.86/1349.94	c nbDecision=1516500 #constraints=38027
1349.56/1350.70	c nbDecision=1517000 #constraints=38041
1350.16/1351.24	c nbDecision=1517500 #constraints=38050
1350.66/1351.76	c nbDecision=1518000 #constraints=38057
1351.66/1352.78	c nbDecision=1518500 #constraints=38075
1352.26/1353.34	c nbDecision=1519000 #constraints=38084
1352.96/1354.01	c nbDecision=1519500 #constraints=38094
1354.16/1355.25	c nbDecision=1520000 #constraints=38115
1354.65/1355.77	c nbDecision=1520500 #constraints=38124
1355.15/1356.21	c nbDecision=1521000 #constraints=38131
1355.55/1356.68	c nbDecision=1521500 #constraints=38138
1356.55/1357.65	c nbDecision=1522000 #constraints=38156
1357.05/1358.16	c nbDecision=1522500 #constraints=38164
1357.95/1359.00	c nbDecision=1523000 #constraints=38179
1358.45/1359.50	c nbDecision=1523500 #constraints=38191
1358.95/1360.05	c nbDecision=1524000 #constraints=38201
1359.45/1360.57	c nbDecision=1524500 #constraints=38212
1360.15/1361.24	c nbDecision=1525000 #constraints=38223
1361.15/1362.26	c nbDecision=1525500 #constraints=38243
1361.75/1362.87	c nbDecision=1526000 #constraints=38254
1362.55/1363.64	c nbDecision=1526500 #constraints=38270
1363.45/1364.57	c nbDecision=1527000 #constraints=38290
1364.05/1365.18	c nbDecision=1527500 #constraints=38304
1364.85/1365.95	c nbDecision=1528000 #constraints=38316
1365.65/1366.79	c nbDecision=1528500 #constraints=38328
1366.45/1367.54	c nbDecision=1529000 #constraints=38340
1367.05/1368.20	c nbDecision=1529500 #constraints=38351
1367.75/1368.82	c nbDecision=1530000 #constraints=38362
1368.25/1369.32	c nbDecision=1530500 #constraints=38370
1368.64/1369.76	c nbDecision=1531000 #constraints=38377
1369.14/1370.26	c nbDecision=1531500 #constraints=38387
1369.94/1371.00	c nbDecision=1532000 #constraints=38401
1370.54/1371.65	c nbDecision=1532500 #constraints=38411
1371.24/1372.31	c nbDecision=1533000 #constraints=38418
1371.85/1372.93	c nbDecision=1533500 #constraints=38429
1372.64/1373.70	c nbDecision=1534000 #constraints=38445
1373.04/1374.19	c nbDecision=1534500 #constraints=38455
1374.14/1375.27	c nbDecision=1535000 #constraints=38475
1374.84/1375.95	c nbDecision=1535500 #constraints=38486
1375.44/1376.54	c nbDecision=1536000 #constraints=38497
1376.14/1377.22	c nbDecision=1536500 #constraints=38508
1377.04/1378.10	c nbDecision=1537000 #constraints=38524
1377.64/1378.73	c nbDecision=1537500 #constraints=38535
1378.24/1379.38	c nbDecision=1538000 #constraints=38546
1378.74/1379.90	c nbDecision=1538500 #constraints=38554
1379.24/1380.39	c nbDecision=1539000 #constraints=38562
1379.74/1380.87	c nbDecision=1539500 #constraints=38571
1380.54/1381.64	c nbDecision=1540000 #constraints=38584
1380.94/1382.09	c nbDecision=1540500 #constraints=38591
1381.54/1382.63	c nbDecision=1541000 #constraints=38600
1382.04/1383.16	c nbDecision=1541500 #constraints=38609
1382.54/1383.61	c nbDecision=1542000 #constraints=38617
1383.54/1384.60	c nbDecision=1542500 #constraints=38630
1384.14/1385.20	c nbDecision=1543000 #constraints=38640
1384.84/1385.92	c nbDecision=1543500 #constraints=38650
1385.64/1386.75	c nbDecision=1544000 #constraints=38664
1386.64/1387.77	c nbDecision=1544500 #constraints=38679
1387.64/1388.71	c nbDecision=1545000 #constraints=38693
1388.83/1389.93	c nbDecision=1545500 #constraints=38712
1389.63/1390.78	c nbDecision=1546000 #constraints=38728
1390.44/1391.51	c nbDecision=1546500 #constraints=38739
1391.54/1392.62	c nbDecision=1547000 #constraints=38757
1392.13/1393.25	c nbDecision=1547500 #constraints=38767
1393.43/1394.58	c nbDecision=1548000 #constraints=38783
1394.43/1395.55	c nbDecision=1548500 #constraints=38798
1395.23/1396.30	c nbDecision=1549000 #constraints=38813
1395.73/1396.82	c nbDecision=1549500 #constraints=38824
1396.23/1397.39	c nbDecision=1550000 #constraints=38833
1396.93/1398.03	c nbDecision=1550500 #constraints=38846
1397.33/1398.49	c nbDecision=1551000 #constraints=38854
1398.03/1399.12	c nbDecision=1551500 #constraints=38866
1398.43/1399.59	c nbDecision=1552000 #constraints=38876
1399.13/1400.28	c nbDecision=1552500 #constraints=38883
1399.92/1401.00	c nbDecision=1553000 #constraints=38897
1400.52/1401.69	c nbDecision=1553500 #constraints=38906
1401.62/1402.75	c nbDecision=1554000 #constraints=38924
1402.22/1403.35	c nbDecision=1554500 #constraints=38937
1402.62/1403.72	c nbDecision=1555000 #constraints=38944
1403.32/1404.46	c nbDecision=1555500 #constraints=38955
1404.02/1405.14	c nbDecision=1556000 #constraints=38968
1404.82/1405.99	c nbDecision=1556500 #constraints=38982
1405.32/1406.47	c nbDecision=1557000 #constraints=38989
1405.82/1406.94	c nbDecision=1557500 #constraints=38998
1406.52/1407.64	c nbDecision=1558000 #constraints=39008
1407.12/1408.26	c nbDecision=1558500 #constraints=39017
1407.72/1408.80	c nbDecision=1559000 #constraints=39026
1408.52/1409.64	c nbDecision=1559500 #constraints=39042
1409.12/1410.23	c nbDecision=1560000 #constraints=39054
1409.72/1410.82	c nbDecision=1560500 #constraints=39064
1410.22/1411.35	c nbDecision=1561000 #constraints=39074
1410.72/1411.89	c nbDecision=1561500 #constraints=39084
1411.32/1412.47	c nbDecision=1562000 #constraints=39096
1412.72/1413.83	c nbDecision=1562500 #constraints=39115
1413.42/1414.55	c nbDecision=1563000 #constraints=39129
1414.11/1415.26	c nbDecision=1563500 #constraints=39141
1414.61/1415.75	c nbDecision=1564000 #constraints=39154
1415.31/1416.49	c nbDecision=1564500 #constraints=39168
1416.71/1417.89	c nbDecision=1565000 #constraints=39191
1417.91/1419.04	c nbDecision=1565500 #constraints=39207
1418.81/1419.97	c nbDecision=1566000 #constraints=39223
1419.61/1420.74	c nbDecision=1566500 #constraints=39234
1420.01/1421.11	c nbDecision=1567000 #constraints=39242
1420.80/1421.97	c nbDecision=1567500 #constraints=39259
1421.70/1422.86	c nbDecision=1568000 #constraints=39277
1422.41/1423.51	c nbDecision=1568500 #constraints=39286
1423.00/1424.10	c nbDecision=1569000 #constraints=39294
1423.41/1424.51	c nbDecision=1569500 #constraints=39299
1423.90/1425.05	c nbDecision=1570000 #constraints=39305
1424.30/1425.43	c nbDecision=1570500 #constraints=39310
1425.30/1426.45	c nbDecision=1571000 #constraints=39322
1425.90/1427.06	c nbDecision=1571500 #constraints=39331
1426.60/1427.72	c nbDecision=1572000 #constraints=39341
1427.10/1428.21	c nbDecision=1572500 #constraints=39346
1428.20/1429.30	c nbDecision=1573000 #constraints=39357
1428.80/1429.95	c nbDecision=1573500 #constraints=39366
1429.30/1430.46	c nbDecision=1574000 #constraints=39373
1429.90/1431.09	c nbDecision=1574500 #constraints=39381
1430.70/1431.88	c nbDecision=1575000 #constraints=39395
1431.21/1432.33	c nbDecision=1575500 #constraints=39401
1432.40/1433.52	c nbDecision=1576000 #constraints=39418
1432.90/1434.06	c nbDecision=1576500 #constraints=39427
1433.60/1434.77	c nbDecision=1577000 #constraints=39442
1434.40/1435.54	c nbDecision=1577500 #constraints=39459
1434.80/1435.99	c nbDecision=1578000 #constraints=39467
1435.40/1436.56	c nbDecision=1578500 #constraints=39477
1435.90/1437.09	c nbDecision=1579000 #constraints=39488
1436.40/1437.58	c nbDecision=1579500 #constraints=39497
1437.40/1438.59	c nbDecision=1580000 #constraints=39512
1438.00/1439.19	c nbDecision=1580500 #constraints=39518
1438.50/1439.63	c nbDecision=1581000 #constraints=39527
1439.10/1440.21	c nbDecision=1581500 #constraints=39537
1439.70/1440.83	c nbDecision=1582000 #constraints=39549
1440.20/1441.30	c nbDecision=1582500 #constraints=39558
1441.00/1442.12	c nbDecision=1583000 #constraints=39575
1441.70/1442.82	c nbDecision=1583500 #constraints=39586
1442.10/1443.29	c nbDecision=1584000 #constraints=39594
1442.80/1443.97	c nbDecision=1584500 #constraints=39608
1443.40/1444.58	c nbDecision=1585000 #constraints=39618
1443.90/1445.05	c nbDecision=1585500 #constraints=39627
1444.89/1446.00	c nbDecision=1586000 #constraints=39639
1445.29/1446.43	c nbDecision=1586500 #constraints=39644
1445.69/1446.88	c nbDecision=1587000 #constraints=39649
1446.09/1447.22	c nbDecision=1587500 #constraints=39654
1447.19/1448.36	c nbDecision=1588000 #constraints=39669
1447.78/1448.96	c nbDecision=1588500 #constraints=39677
1448.28/1449.49	c nbDecision=1589000 #constraints=39687
1448.88/1450.03	c nbDecision=1589500 #constraints=39693
1449.68/1450.87	c nbDecision=1590000 #constraints=39706
1450.18/1451.36	c nbDecision=1590500 #constraints=39715
1451.48/1452.60	c nbDecision=1591000 #constraints=39738
1451.88/1453.10	c nbDecision=1591500 #constraints=39747
1452.58/1453.74	c nbDecision=1592000 #constraints=39758
1453.38/1454.52	c nbDecision=1592500 #constraints=39771
1454.08/1455.24	c nbDecision=1593000 #constraints=39785
1454.68/1455.84	c nbDecision=1593500 #constraints=39794
1455.58/1456.70	c nbDecision=1594000 #constraints=39811
1456.38/1457.57	c nbDecision=1594500 #constraints=39830
1456.88/1458.08	c nbDecision=1595000 #constraints=39842
1457.68/1458.87	c nbDecision=1595500 #constraints=39858
1458.48/1459.60	c nbDecision=1596000 #constraints=39873
1458.97/1460.12	c nbDecision=1596500 #constraints=39880
1459.57/1460.80	c nbDecision=1597000 #constraints=39894
1460.27/1461.49	c nbDecision=1597500 #constraints=39907
1460.97/1462.16	c nbDecision=1598000 #constraints=39918
1461.77/1462.95	c nbDecision=1598500 #constraints=39932
1462.57/1463.71	c nbDecision=1599000 #constraints=39948
1462.97/1464.13	c nbDecision=1599500 #constraints=39956
1463.77/1464.94	c nbDecision=1600000 #constraints=39971
1464.27/1465.47	c nbDecision=1600500 #constraints=39980
1464.87/1466.00	c nbDecision=1601000 #constraints=39988
1465.67/1466.81	c nbDecision=1601500 #constraints=40001
1466.07/1467.29	c nbDecision=1602000 #constraints=40009
1466.98/1468.19	c nbDecision=1602500 #constraints=40030
1467.57/1468.76	c nbDecision=1603000 #constraints=40040
1468.37/1469.59	c nbDecision=1603500 #constraints=40059
1469.17/1470.32	c nbDecision=1604000 #constraints=40072
1469.77/1470.97	c nbDecision=1604500 #constraints=40082
1470.68/1471.84	c nbDecision=1605000 #constraints=40102
1471.17/1472.30	c nbDecision=1605500 #constraints=40110
1472.27/1473.41	c nbDecision=1606000 #constraints=40126
1473.07/1474.28	c nbDecision=1606500 #constraints=40142
1473.57/1474.72	c nbDecision=1607000 #constraints=40149
1474.17/1475.39	c nbDecision=1607500 #constraints=40161
1474.67/1475.84	c nbDecision=1608000 #constraints=40167
1476.07/1477.20	c nbDecision=1608500 #constraints=40189
1476.77/1477.98	c nbDecision=1609000 #constraints=40204
1477.87/1479.00	c nbDecision=1609500 #constraints=40225
1478.37/1479.52	c nbDecision=1610000 #constraints=40234
1478.87/1480.02	c nbDecision=1610500 #constraints=40241
1479.37/1480.51	c nbDecision=1611000 #constraints=40247
1479.97/1481.20	c nbDecision=1611500 #constraints=40258
1480.87/1482.07	c nbDecision=1612000 #constraints=40274
1481.67/1482.87	c nbDecision=1612500 #constraints=40285
1482.26/1483.49	c nbDecision=1613000 #constraints=40295
1482.96/1484.14	c nbDecision=1613500 #constraints=40305
1483.66/1484.87	c nbDecision=1614000 #constraints=40318
1484.36/1485.59	c nbDecision=1614500 #constraints=40330
1485.16/1486.34	c nbDecision=1615000 #constraints=40341
1485.86/1487.06	c nbDecision=1615500 #constraints=40352
1486.96/1488.14	c nbDecision=1616000 #constraints=40369
1487.46/1488.61	c nbDecision=1616500 #constraints=40375
1488.06/1489.28	c nbDecision=1617000 #constraints=40386
1488.86/1490.02	c nbDecision=1617500 #constraints=40400
1489.26/1490.44	c nbDecision=1618000 #constraints=40407
1489.86/1491.07	c nbDecision=1618500 #constraints=40422
1490.36/1491.54	c nbDecision=1619000 #constraints=40430
1491.15/1492.37	c nbDecision=1619500 #constraints=40448
1491.66/1492.89	c nbDecision=1620000 #constraints=40456
1492.35/1493.55	c nbDecision=1620500 #constraints=40471
1492.95/1494.15	c nbDecision=1621000 #constraints=40484
1493.35/1494.54	c nbDecision=1621500 #constraints=40490
1494.45/1495.65	c nbDecision=1622000 #constraints=40506
1495.35/1496.57	c nbDecision=1622500 #constraints=40520
1496.05/1497.28	c nbDecision=1623000 #constraints=40532
1496.55/1497.79	c nbDecision=1623500 #constraints=40539
1497.65/1498.86	c nbDecision=1624000 #constraints=40560
1498.15/1499.35	c nbDecision=1624500 #constraints=40569
1498.65/1499.82	c nbDecision=1625000 #constraints=40578
1499.05/1500.24	c nbDecision=1625500 #constraints=40585
1499.75/1500.93	c nbDecision=1626000 #constraints=40597
1500.15/1501.36	c nbDecision=1626500 #constraints=40605
1500.85/1502.04	c nbDecision=1627000 #constraints=40620
1501.45/1502.64	c nbDecision=1627500 #constraints=40631
1501.95/1503.17	c nbDecision=1628000 #constraints=40638
1502.65/1503.88	c nbDecision=1628500 #constraints=40651
1503.34/1504.56	c nbDecision=1629000 #constraints=40663
1503.94/1505.16	c nbDecision=1629500 #constraints=40673
1504.64/1505.82	c nbDecision=1630000 #constraints=40684
1505.14/1506.33	c nbDecision=1630500 #constraints=40698
1505.64/1506.83	c nbDecision=1631000 #constraints=40706
1506.04/1507.23	c nbDecision=1631500 #constraints=40713
1506.54/1507.79	c nbDecision=1632000 #constraints=40721
1507.24/1508.47	c nbDecision=1632500 #constraints=40737
1507.74/1508.93	c nbDecision=1633000 #constraints=40747
1508.34/1509.53	c nbDecision=1633500 #constraints=40760
1508.94/1510.13	c nbDecision=1634000 #constraints=40773
1509.44/1510.67	c nbDecision=1634500 #constraints=40780
1509.94/1511.17	c nbDecision=1635000 #constraints=40790
1510.34/1511.53	c nbDecision=1635500 #constraints=40796
1511.04/1512.22	c nbDecision=1636000 #constraints=40809
1511.74/1512.91	c nbDecision=1636500 #constraints=40825
1512.94/1514.12	c nbDecision=1637000 #constraints=40839
1513.54/1514.80	c nbDecision=1637500 #constraints=40851
1514.03/1515.26	c nbDecision=1638000 #constraints=40859
1514.53/1515.73	c restart after 1638401 decisions
1515.93/1517.17	c nbDecision=1638500 #constraints=40865
1516.13/1517.37	c nbDecision=1639000 #constraints=40865
1516.23/1517.50	c nbDecision=1639500 #constraints=40865
1517.53/1518.71	c nbDecision=1640000 #constraints=40871
1517.94/1519.16	c nbDecision=1640500 #constraints=40879
1518.53/1519.70	c nbDecision=1641000 #constraints=40888
1519.23/1520.48	c nbDecision=1641500 #constraints=40900
1519.93/1521.18	c nbDecision=1642000 #constraints=40912
1520.63/1521.84	c nbDecision=1642500 #constraints=40924
1521.13/1522.35	c nbDecision=1643000 #constraints=40934
1521.63/1522.88	c nbDecision=1643500 #constraints=40942
1522.23/1523.46	c nbDecision=1644000 #constraints=40952
1523.03/1524.29	c nbDecision=1644500 #constraints=40967
1523.83/1525.03	c nbDecision=1645000 #constraints=40978
1524.63/1525.86	c nbDecision=1645500 #constraints=40986
1525.43/1526.64	c nbDecision=1646000 #constraints=40997
1525.93/1527.12	c nbDecision=1646500 #constraints=41005
1526.73/1527.95	c nbDecision=1647000 #constraints=41015
1527.13/1528.39	c nbDecision=1647500 #constraints=41024
1527.83/1529.02	c nbDecision=1648000 #constraints=41034
1528.73/1529.97	c nbDecision=1648500 #constraints=41050
1529.53/1530.73	c nbDecision=1649000 #constraints=41063
1530.33/1531.59	c nbDecision=1649500 #constraints=41077
1530.93/1532.14	c nbDecision=1650000 #constraints=41084
1531.63/1532.84	c nbDecision=1650500 #constraints=41095
1532.33/1533.55	c nbDecision=1651000 #constraints=41106
1533.02/1534.27	c nbDecision=1651500 #constraints=41118
1534.02/1535.20	c nbDecision=1652000 #constraints=41131
1534.72/1535.95	c nbDecision=1652500 #constraints=41146
1535.53/1536.76	c nbDecision=1653000 #constraints=41163
1535.92/1537.18	c nbDecision=1653500 #constraints=41171
1536.52/1537.76	c nbDecision=1654000 #constraints=41180
1537.22/1538.42	c nbDecision=1654500 #constraints=41192
1537.72/1538.94	c nbDecision=1655000 #constraints=41200
1538.82/1540.04	c nbDecision=1655500 #constraints=41223
1539.71/1540.93	c nbDecision=1656000 #constraints=41241
1540.41/1541.68	c nbDecision=1656500 #constraints=41257
1541.13/1542.35	c nbDecision=1657000 #constraints=41268
1542.32/1543.55	c nbDecision=1657500 #constraints=41288
1543.22/1544.44	c nbDecision=1658000 #constraints=41305
1544.12/1545.35	c nbDecision=1658500 #constraints=41320
1544.92/1546.18	c nbDecision=1659000 #constraints=41335
1545.62/1546.89	c nbDecision=1659500 #constraints=41347
1546.52/1547.76	c nbDecision=1660000 #constraints=41366
1547.42/1548.65	c nbDecision=1660500 #constraints=41378
1548.02/1549.29	c nbDecision=1661000 #constraints=41387
1548.82/1550.02	c nbDecision=1661500 #constraints=41397
1549.41/1550.65	c nbDecision=1662000 #constraints=41408
1550.61/1551.89	c nbDecision=1662500 #constraints=41422
1551.41/1552.60	c nbDecision=1663000 #constraints=41434
1551.91/1553.15	c nbDecision=1663500 #constraints=41441
1552.61/1553.89	c nbDecision=1664000 #constraints=41449
1553.41/1554.61	c nbDecision=1664500 #constraints=41456
1553.91/1555.11	c nbDecision=1665000 #constraints=41462
1554.61/1555.88	c nbDecision=1665500 #constraints=41475
1555.41/1556.67	c nbDecision=1666000 #constraints=41485
1556.31/1557.59	c nbDecision=1666500 #constraints=41498
1556.91/1558.17	c nbDecision=1667000 #constraints=41506
1557.61/1558.85	c nbDecision=1667500 #constraints=41520
1558.41/1559.62	c nbDecision=1668000 #constraints=41532
1559.11/1560.31	c nbDecision=1668500 #constraints=41544
1560.10/1561.31	c nbDecision=1669000 #constraints=41564
1560.81/1562.10	c nbDecision=1669500 #constraints=41576
1561.30/1562.56	c nbDecision=1670000 #constraints=41582
1562.01/1563.24	c nbDecision=1670500 #constraints=41592
1562.80/1564.01	c nbDecision=1671000 #constraints=41605
1563.50/1564.70	c nbDecision=1671500 #constraints=41617
1564.21/1565.44	c nbDecision=1672000 #constraints=41631
1564.90/1566.18	c nbDecision=1672500 #constraints=41640
1565.50/1566.78	c nbDecision=1673000 #constraints=41646
1566.10/1567.38	c nbDecision=1673500 #constraints=41652
1566.80/1568.06	c nbDecision=1674000 #constraints=41661
1568.00/1569.26	c nbDecision=1674500 #constraints=41679
1568.90/1570.11	c nbDecision=1675000 #constraints=41695
1569.50/1570.78	c nbDecision=1675500 #constraints=41706
1570.20/1571.46	c nbDecision=1676000 #constraints=41717
1570.80/1572.07	c nbDecision=1676500 #constraints=41728
1572.10/1573.37	c nbDecision=1677000 #constraints=41751
1572.70/1573.97	c nbDecision=1677500 #constraints=41761
1573.59/1574.85	c nbDecision=1678000 #constraints=41771
1574.39/1575.67	c nbDecision=1678500 #constraints=41785
1575.10/1576.32	c nbDecision=1679000 #constraints=41794
1575.69/1576.94	c nbDecision=1679500 #constraints=41805
1576.20/1577.41	c nbDecision=1680000 #constraints=41813
1576.79/1578.06	c nbDecision=1680500 #constraints=41821
1577.30/1578.56	c nbDecision=1681000 #constraints=41827
1577.99/1579.27	c nbDecision=1681500 #constraints=41842
1578.69/1579.90	c nbDecision=1682000 #constraints=41854
1579.49/1580.74	c nbDecision=1682500 #constraints=41867
1580.09/1581.30	c nbDecision=1683000 #constraints=41878
1580.89/1582.11	c nbDecision=1683500 #constraints=41891
1581.69/1582.91	c nbDecision=1684000 #constraints=41905
1582.19/1583.48	c nbDecision=1684500 #constraints=41914
1583.08/1584.32	c nbDecision=1685000 #constraints=41926
1583.78/1585.10	c nbDecision=1685500 #constraints=41941
1584.38/1585.69	c nbDecision=1686000 #constraints=41953
1585.49/1586.70	c nbDecision=1686500 #constraints=41967
1586.09/1587.33	c nbDecision=1687000 #constraints=41977
1586.79/1588.08	c nbDecision=1687500 #constraints=41989
1587.89/1589.11	c nbDecision=1688000 #constraints=42009
1588.39/1589.64	c nbDecision=1688500 #constraints=42017
1589.29/1590.60	c nbDecision=1689000 #constraints=42027
1590.19/1591.42	c nbDecision=1689500 #constraints=42038
1590.59/1591.86	c nbDecision=1690000 #constraints=42044
1591.08/1592.32	c nbDecision=1690500 #constraints=42048
1592.18/1593.41	c nbDecision=1691000 #constraints=42062
1592.88/1594.11	c nbDecision=1691500 #constraints=42073
1593.48/1594.77	c nbDecision=1692000 #constraints=42084
1593.98/1595.27	c nbDecision=1692500 #constraints=42091
1594.78/1596.07	c nbDecision=1693000 #constraints=42104
1595.28/1596.55	c nbDecision=1693500 #constraints=42111
1595.88/1597.13	c nbDecision=1694000 #constraints=42118
1596.48/1597.71	c nbDecision=1694500 #constraints=42124
1597.18/1598.49	c nbDecision=1695000 #constraints=42133
1598.07/1599.39	c nbDecision=1695500 #constraints=42148
1598.68/1599.92	c nbDecision=1696000 #constraints=42157
1599.57/1600.80	c nbDecision=1696500 #constraints=42177
1600.07/1601.36	c nbDecision=1697000 #constraints=42185
1600.97/1602.25	c nbDecision=1697500 #constraints=42201
1601.58/1602.87	c nbDecision=1698000 #constraints=42213
1602.07/1603.35	c nbDecision=1698500 #constraints=42219
1603.17/1604.40	c nbDecision=1699000 #constraints=42235
1603.47/1604.79	c nbDecision=1699500 #constraints=42242
1604.27/1605.58	c nbDecision=1700000 #constraints=42255
1604.97/1606.23	c nbDecision=1700500 #constraints=42266
1605.67/1606.97	c nbDecision=1701000 #constraints=42278
1606.57/1607.80	c nbDecision=1701500 #constraints=42291
1607.27/1608.51	c nbDecision=1702000 #constraints=42304
1607.77/1609.09	c nbDecision=1702500 #constraints=42312
1608.47/1609.76	c nbDecision=1703000 #constraints=42324
1609.27/1610.59	c nbDecision=1703500 #constraints=42341
1610.37/1611.61	c nbDecision=1704000 #constraints=42358
1611.07/1612.33	c nbDecision=1704500 #constraints=42373
1611.97/1613.29	c nbDecision=1705000 #constraints=42389
1612.77/1614.06	c nbDecision=1705500 #constraints=42402
1613.67/1614.95	c nbDecision=1706000 #constraints=42418
1614.37/1615.66	c nbDecision=1706500 #constraints=42430
1615.07/1616.34	c nbDecision=1707000 #constraints=42442
1615.87/1617.16	c nbDecision=1707500 #constraints=42457
1616.57/1617.89	c nbDecision=1708000 #constraints=42471
1617.37/1618.60	c nbDecision=1708500 #constraints=42483
1618.17/1619.44	c nbDecision=1709000 #constraints=42495
1618.97/1620.29	c nbDecision=1709500 #constraints=42513
1620.07/1621.33	c nbDecision=1710000 #constraints=42530
1620.97/1622.20	c nbDecision=1710500 #constraints=42541
1621.67/1622.95	c nbDecision=1711000 #constraints=42555
1622.86/1624.11	c nbDecision=1711500 #constraints=42576
1623.47/1624.79	c nbDecision=1712000 #constraints=42588
1624.67/1625.99	c nbDecision=1712500 #constraints=42604
1625.56/1626.81	c nbDecision=1713000 #constraints=42613
1626.36/1627.68	c nbDecision=1713500 #constraints=42628
1627.46/1628.72	c nbDecision=1714000 #constraints=42647
1628.66/1629.95	c nbDecision=1714500 #constraints=42666
1629.55/1630.83	c nbDecision=1715000 #constraints=42675
1630.25/1631.52	c nbDecision=1715500 #constraints=42682
1630.95/1632.20	c nbDecision=1716000 #constraints=42691
1631.55/1632.88	c nbDecision=1716500 #constraints=42701
1632.55/1633.82	c nbDecision=1717000 #constraints=42715
1633.65/1634.90	c nbDecision=1717500 #constraints=42727
1634.35/1635.60	c nbDecision=1718000 #constraints=42735
1635.25/1636.59	c nbDecision=1718500 #constraints=42751
1635.95/1637.28	c nbDecision=1719000 #constraints=42762
1636.95/1638.29	c nbDecision=1719500 #constraints=42776
1637.85/1639.11	c nbDecision=1720000 #constraints=42789
1638.65/1639.97	c nbDecision=1720500 #constraints=42806
1639.64/1640.94	c nbDecision=1721000 #constraints=42819
1640.54/1641.82	c nbDecision=1721500 #constraints=42834
1642.04/1643.35	c nbDecision=1722000 #constraints=42857
1642.94/1644.20	c nbDecision=1722500 #constraints=42871
1643.34/1644.69	c nbDecision=1723000 #constraints=42878
1644.24/1645.56	c nbDecision=1723500 #constraints=42891
1645.04/1646.34	c nbDecision=1724000 #constraints=42902
1646.04/1647.31	c nbDecision=1724500 #constraints=42915
1646.64/1647.99	c nbDecision=1725000 #constraints=42924
1647.74/1649.05	c nbDecision=1725500 #constraints=42937
1648.24/1649.53	c nbDecision=1726000 #constraints=42945
1649.04/1650.37	c nbDecision=1726500 #constraints=42957
1649.94/1651.23	c nbDecision=1727000 #constraints=42972
1650.64/1651.94	c nbDecision=1727500 #constraints=42983
1651.34/1652.68	c nbDecision=1728000 #constraints=42993
1651.94/1653.23	c nbDecision=1728500 #constraints=43000
1652.94/1654.26	c nbDecision=1729000 #constraints=43014
1653.74/1655.00	c nbDecision=1729500 #constraints=43027
1654.44/1655.76	c nbDecision=1730000 #constraints=43039
1655.04/1656.35	c nbDecision=1730500 #constraints=43047
1655.93/1657.27	c nbDecision=1731000 #constraints=43060
1656.83/1658.15	c nbDecision=1731500 #constraints=43074
1657.54/1658.82	c nbDecision=1732000 #constraints=43084
1658.33/1659.66	c nbDecision=1732500 #constraints=43097
1659.03/1660.30	c nbDecision=1733000 #constraints=43109
1659.84/1661.13	c nbDecision=1733500 #constraints=43120
1660.33/1661.63	c nbDecision=1734000 #constraints=43127
1661.33/1662.64	c nbDecision=1734500 #constraints=43139
1661.94/1663.26	c nbDecision=1735000 #constraints=43146
1662.53/1663.84	c nbDecision=1735500 #constraints=43156
1663.04/1664.39	c nbDecision=1736000 #constraints=43163
1663.93/1665.21	c nbDecision=1736500 #constraints=43174
1664.43/1665.73	c nbDecision=1737000 #constraints=43181
1665.43/1666.71	c nbDecision=1737500 #constraints=43195
1666.13/1667.48	c nbDecision=1738000 #constraints=43207
1667.23/1668.55	c nbDecision=1738500 #constraints=43222
1667.83/1669.14	c nbDecision=1739000 #constraints=43231
1668.73/1670.01	c nbDecision=1739500 #constraints=43246
1669.33/1670.62	c nbDecision=1740000 #constraints=43255
1670.23/1671.56	c nbDecision=1740500 #constraints=43270
1671.03/1672.33	c nbDecision=1741000 #constraints=43282
1671.73/1673.04	c nbDecision=1741500 #constraints=43291
1672.23/1673.53	c nbDecision=1742000 #constraints=43298
1673.23/1674.53	c nbDecision=1742500 #constraints=43315
1673.93/1675.24	c nbDecision=1743000 #constraints=43324
1674.63/1675.93	c nbDecision=1743500 #constraints=43334
1675.62/1676.91	c nbDecision=1744000 #constraints=43351
1676.32/1677.67	c nbDecision=1744500 #constraints=43364
1677.02/1678.32	c nbDecision=1745000 #constraints=43375
1677.62/1678.92	c nbDecision=1745500 #constraints=43385
1678.22/1679.58	c nbDecision=1746000 #constraints=43398
1679.02/1680.37	c nbDecision=1746500 #constraints=43413
1679.92/1681.28	c nbDecision=1747000 #constraints=43431
1680.52/1681.82	c nbDecision=1747500 #constraints=43439
1681.42/1682.70	c nbDecision=1748000 #constraints=43451
1682.22/1683.51	c nbDecision=1748500 #constraints=43463
1683.42/1684.70	c nbDecision=1749000 #constraints=43482
1684.41/1685.70	c nbDecision=1749500 #constraints=43500
1685.11/1686.49	c nbDecision=1750000 #constraints=43516
1685.61/1686.99	c nbDecision=1750500 #constraints=43523
1686.51/1687.86	c nbDecision=1751000 #constraints=43539
1687.31/1688.64	c nbDecision=1751500 #constraints=43555
1687.91/1689.26	c nbDecision=1752000 #constraints=43566
1688.71/1690.03	c nbDecision=1752500 #constraints=43581
1689.41/1690.71	c nbDecision=1753000 #constraints=43593
1690.31/1691.61	c nbDecision=1753500 #constraints=43610
1690.90/1692.23	c nbDecision=1754000 #constraints=43622
1691.30/1692.69	c nbDecision=1754500 #constraints=43629
1691.80/1693.17	c nbDecision=1755000 #constraints=43638
1692.90/1694.22	c nbDecision=1755500 #constraints=43651
1694.10/1695.44	c nbDecision=1756000 #constraints=43670
1694.80/1696.12	c nbDecision=1756500 #constraints=43679
1695.60/1696.92	c nbDecision=1757000 #constraints=43692
1696.60/1697.91	c nbDecision=1757500 #constraints=43708
1697.30/1698.64	c nbDecision=1758000 #constraints=43719
1698.10/1699.46	c nbDecision=1758500 #constraints=43733
1699.00/1700.31	c nbDecision=1759000 #constraints=43748
1699.60/1700.97	c nbDecision=1759500 #constraints=43758
1700.40/1701.74	c nbDecision=1760000 #constraints=43766
1700.90/1702.28	c nbDecision=1760500 #constraints=43772
1701.80/1703.11	c nbDecision=1761000 #constraints=43785
1702.60/1703.97	c nbDecision=1761500 #constraints=43801
1703.60/1704.90	c nbDecision=1762000 #constraints=43817
1704.20/1705.51	c nbDecision=1762500 #constraints=43826
1704.90/1706.29	c nbDecision=1763000 #constraints=43836
1705.70/1707.01	c nbDecision=1763500 #constraints=43843
1706.50/1707.87	c nbDecision=1764000 #constraints=43857
1707.40/1708.72	c nbDecision=1764500 #constraints=43871
1708.20/1709.54	c nbDecision=1765000 #constraints=43885
1709.00/1710.32	c nbDecision=1765500 #constraints=43895
1709.70/1711.01	c nbDecision=1766000 #constraints=43904
1710.40/1711.76	c nbDecision=1766500 #constraints=43914
1711.79/1713.14	c nbDecision=1767000 #constraints=43930
1712.89/1714.22	c nbDecision=1767500 #constraints=43943
1713.49/1714.85	c nbDecision=1768000 #constraints=43949
1714.09/1715.41	c nbDecision=1768500 #constraints=43954
1714.80/1716.14	c nbDecision=1769000 #constraints=43965
1715.39/1716.79	c nbDecision=1769500 #constraints=43975
1716.29/1717.60	c nbDecision=1770000 #constraints=43985
1717.19/1718.60	c nbDecision=1770500 #constraints=43998
1717.79/1719.11	c nbDecision=1771000 #constraints=44003
1718.59/1719.94	c nbDecision=1771500 #constraints=44014
1719.39/1720.78	c nbDecision=1772000 #constraints=44026
1719.99/1721.35	c nbDecision=1772500 #constraints=44033
1720.99/1722.36	c nbDecision=1773000 #constraints=44052
1721.68/1723.04	c nbDecision=1773500 #constraints=44060
1722.49/1723.89	c nbDecision=1774000 #constraints=44072
1723.08/1724.40	c nbDecision=1774500 #constraints=44078
1723.98/1725.33	c nbDecision=1775000 #constraints=44093
1724.68/1726.06	c nbDecision=1775500 #constraints=44103
1725.38/1726.79	c nbDecision=1776000 #constraints=44114
1725.98/1727.34	c nbDecision=1776500 #constraints=44123
1726.58/1727.98	c nbDecision=1777000 #constraints=44133
1727.28/1728.62	c nbDecision=1777500 #constraints=44142
1727.88/1729.25	c nbDecision=1778000 #constraints=44151
1728.58/1729.94	c nbDecision=1778500 #constraints=44161
1729.27/1730.68	c nbDecision=1779000 #constraints=44173
1729.98/1731.40	c nbDecision=1779500 #constraints=44184
1730.68/1732.05	c nbDecision=1780000 #constraints=44194
1731.48/1732.88	c nbDecision=1780500 #constraints=44208
1732.18/1733.57	c nbDecision=1781000 #constraints=44219
1732.98/1734.33	c nbDecision=1781500 #constraints=44231
1733.58/1734.91	c nbDecision=1782000 #constraints=44239
1734.28/1735.60	c nbDecision=1782500 #constraints=44250
1734.78/1736.16	c nbDecision=1783000 #constraints=44258
1735.48/1736.88	c nbDecision=1783500 #constraints=44270
1736.18/1737.57	c nbDecision=1784000 #constraints=44281
1736.97/1738.33	c nbDecision=1784500 #constraints=44294
1737.67/1739.02	c nbDecision=1785000 #constraints=44305
1738.37/1739.76	c nbDecision=1785500 #constraints=44317
1739.07/1740.46	c nbDecision=1786000 #constraints=44324
1739.77/1741.11	c nbDecision=1786500 #constraints=44331
1740.17/1741.54	c nbDecision=1787000 #constraints=44335
1740.67/1742.02	c nbDecision=1787500 #constraints=44343
1741.07/1742.47	c nbDecision=1788000 #constraints=44352
1742.17/1743.52	c nbDecision=1788500 #constraints=44369
1743.07/1744.42	c nbDecision=1789000 #constraints=44388
1743.67/1745.05	c nbDecision=1789500 #constraints=44397
1744.27/1745.68	c nbDecision=1790000 #constraints=44408
1744.87/1746.25	c nbDecision=1790500 #constraints=44416
1745.47/1746.88	c nbDecision=1791000 #constraints=44426
1746.27/1747.69	c nbDecision=1791500 #constraints=44438
1747.27/1748.70	c nbDecision=1792000 #constraints=44454
1748.27/1749.63	c nbDecision=1792500 #constraints=44474
1748.97/1750.37	c nbDecision=1793000 #constraints=44485
1749.57/1750.99	c nbDecision=1793500 #constraints=44493
1750.16/1751.58	c nbDecision=1794000 #constraints=44500
1750.97/1752.36	c nbDecision=1794500 #constraints=44510
1751.66/1753.06	c nbDecision=1795000 #constraints=44520
1752.36/1753.79	c nbDecision=1795500 #constraints=44532
1753.17/1754.55	c nbDecision=1796000 #constraints=44544
1753.86/1755.24	c nbDecision=1796500 #constraints=44554
1754.46/1755.87	c nbDecision=1797000 #constraints=44563
1755.37/1756.73	c nbDecision=1797500 #constraints=44579
1756.06/1757.44	c nbDecision=1798000 #constraints=44590
1756.86/1758.20	c nbDecision=1798500 #constraints=44602
1757.46/1758.83	c nbDecision=1799000 #constraints=44609
1758.06/1759.44	c nbDecision=1799500 #constraints=44617
1758.66/1760.03	c nbDecision=1800000 #constraints=44625
1759.16/1760.59	c nbDecision=1800500 #constraints=44633
1760.46/1761.83	c nbDecision=1801000 #constraints=44656
1761.26/1762.60	c nbDecision=1801500 #constraints=44671
1761.86/1763.20	c nbDecision=1802000 #constraints=44682
1762.65/1764.07	c nbDecision=1802500 #constraints=44698
1763.45/1764.85	c nbDecision=1803000 #constraints=44714
1764.26/1765.65	c nbDecision=1803500 #constraints=44726
1765.26/1766.63	c nbDecision=1804000 #constraints=44744
1765.85/1767.23	c nbDecision=1804500 #constraints=44756
1766.74/1768.17	c nbDecision=1805000 #constraints=44777
1767.45/1768.86	c nbDecision=1805500 #constraints=44789
1768.14/1769.50	c nbDecision=1806000 #constraints=44802
1768.84/1770.25	c nbDecision=1806500 #constraints=44815
1769.75/1771.18	c nbDecision=1807000 #constraints=44831
1770.54/1771.96	c nbDecision=1807500 #constraints=44845
1771.04/1772.48	c nbDecision=1808000 #constraints=44854
1771.64/1773.10	c nbDecision=1808500 #constraints=44862
1772.95/1774.34	c nbDecision=1809000 #constraints=44884
1773.74/1775.11	c nbDecision=1809500 #constraints=44898
1774.33/1775.77	c nbDecision=1810000 #constraints=44909
1775.24/1776.69	c nbDecision=1810500 #constraints=44925
1775.84/1777.29	c nbDecision=1811000 #constraints=44936
1776.74/1778.16	c nbDecision=1811500 #constraints=44952
1777.54/1778.99	c nbDecision=1812000 #constraints=44969
1778.54/1779.93	c nbDecision=1812500 #constraints=44989
1779.24/1780.67	c nbDecision=1813000 #constraints=45002
1780.14/1781.58	c nbDecision=1813500 #constraints=45020
1781.04/1782.43	c nbDecision=1814000 #constraints=45035
1782.04/1783.48	c nbDecision=1814500 #constraints=45054
1783.14/1784.59	c nbDecision=1815000 #constraints=45076
1783.94/1785.33	c nbDecision=1815500 #constraints=45088
1784.64/1786.08	c nbDecision=1816000 #constraints=45102
1785.44/1786.82	c nbDecision=1816500 #constraints=45116
1786.94/1788.36	c nbDecision=1817000 #constraints=45147
1787.94/1789.32	c nbDecision=1817500 #constraints=45163
1789.03/1790.42	c nbDecision=1818000 #constraints=45181
1790.03/1791.41	c nbDecision=1818500 #constraints=45197
1791.23/1792.62	c nbDecision=1819000 #constraints=45218
1792.13/1793.51	c nbDecision=1819500 #constraints=45233
1792.74/1794.20	c nbDecision=1820000 #constraints=45245
1794.23/1795.67	c nbDecision=1820500 #constraints=45273
1795.43/1796.86	c nbDecision=1821000 #constraints=45293
1796.13/1797.58	c nbDecision=1821500 #constraints=45302
1797.33/1798.71	c nbDecision=1822000 #constraints=45326
1798.83/1800.24	c nbDecision=1822500 #constraints=45355
1799.93/1801.38	c nbDecision=1823000 #constraints=45374
1800.03/1801.40	Received signal 15
1800.03/1801.40	
1800.03/1801.40	s UNKNOWN
1800.03/1801.40	
1800.03/1801.40	c user time= 1799.65 s
1800.03/1801.40	c system time= 0.395939 s
1800.03/1801.40	c wall clock time=1801.41

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/node25/watcher-357439-1176998940 -o ROOT/results/node25/solver-357439-1176998940 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357439-1176998940/instance-357439-1176998940.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: 1.01 1.00 1.00 3/64 30699
/proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=1468 CPUtime=0
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 179 0 0 0 0 0 0 0 19 0 1 0 147811082 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 367 162 131 317 0 46 0

[startup+0.103377 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30699
/proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=3580 CPUtime=0.09
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 720 0 0 0 9 0 0 0 20 0 1 0 147811082 3665920 702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 895 703 131 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.201394 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30699
/proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=5692 CPUtime=0.19
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1244 0 0 0 19 0 0 0 20 0 1 0 147811082 5828608 1226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 1423 1226 131 317 0 1102 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5692

[startup+0.30141 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30699
/proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=7512 CPUtime=0.29
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1712 0 0 0 29 0 0 0 21 0 1 0 147811082 7692288 1694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 1878 1694 138 317 0 1557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7512

[startup+0.701479 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30699
/proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=7836 CPUtime=0.69
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1759 0 0 0 69 0 0 0 25 0 1 0 147811082 8024064 1741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 1959 1741 139 317 0 1638 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7836

[startup+1.50162 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1827288/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=7964 CPUtime=1.49
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1784 0 0 0 149 0 0 0 25 0 1 0 147811082 8155136 1766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 1991 1766 139 317 0 1670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7964

[startup+3.10189 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1826904/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=8352 CPUtime=3.09
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1881 0 0 0 309 0 0 0 25 0 1 0 147811082 8552448 1863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710932 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 2088 1863 139 317 0 1767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8352

[startup+6.30143 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1826136/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=9012 CPUtime=6.29
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 2058 0 0 0 628 1 0 0 25 0 1 0 147811082 9228288 2040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 2253 2040 139 317 0 1932 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9012

[startup+12.7015 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1824424/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=10748 CPUtime=12.68
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 2463 0 0 0 1267 1 0 0 25 0 1 0 147811082 11005952 2445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 2687 2445 139 317 0 2366 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10748

[startup+25.5017 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1821544/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=13696 CPUtime=25.46
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 3216 0 0 0 2544 2 0 0 25 0 1 0 147811082 14024704 3198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563357 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 3424 3198 170 317 0 3103 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 13696

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1816488/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=19448 CPUtime=51.04
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 4555 0 0 0 5100 4 0 0 25 0 1 0 147811082 19914752 4490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 4862 4490 170 317 0 4541 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 19448

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1809320/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=26208 CPUtime=102.2
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 6262 0 0 0 10214 6 0 0 25 0 1 0 147811082 26836992 6197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 6552 6197 170 317 0 6231 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 26208

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1800296/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=36064 CPUtime=162.14
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 8519 0 0 0 16206 8 0 0 25 0 1 0 147811082 36929536 8454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 9016 8454 170 317 0 8695 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 36064

[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1791912/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=45032 CPUtime=222.1
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 10700 0 0 0 22199 11 0 0 25 0 1 0 147811082 46112768 10542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 11258 10542 170 317 0 10937 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 45032

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1784808/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=52276 CPUtime=282.05
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 12468 0 0 0 28192 13 0 0 25 0 1 0 147811082 53530624 12310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 13069 12310 170 317 0 12748 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 52276

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1777832/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=59076 CPUtime=342
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 14204 0 0 0 34186 14 0 0 25 0 1 0 147811082 60493824 14046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 14769 14046 170 317 0 14448 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 59076

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1772008/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=64548 CPUtime=401.95
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 15679 0 0 0 40180 15 0 0 25 0 1 0 147811082 66097152 15521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 16137 15521 170 317 0 15816 0
Current children cumulated CPU time (s) 401.95
Current children cumulated vsize (KiB) 64548

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1766696/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=72368 CPUtime=461.92
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 17525 0 0 0 46175 17 0 0 25 0 1 0 147811082 74104832 16806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 18092 16806 170 317 0 17771 0
Current children cumulated CPU time (s) 461.92
Current children cumulated vsize (KiB) 72368

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1761128/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=77920 CPUtime=521.87
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 18989 0 0 0 52168 19 0 0 25 0 1 0 147811082 79790080 18204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 19480 18204 170 317 0 19159 0
Current children cumulated CPU time (s) 521.87
Current children cumulated vsize (KiB) 77920

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1755880/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=84016 CPUtime=581.82
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 20563 0 0 0 58162 20 0 0 25 0 1 0 147811082 86032384 19514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 21004 19514 170 317 0 20683 0
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (KiB) 84016

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1750056/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=90188 CPUtime=641.77
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 22219 0 0 0 64156 21 0 0 25 0 1 0 147811082 92352512 20972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 22547 20972 170 317 0 22226 0
Current children cumulated CPU time (s) 641.77
Current children cumulated vsize (KiB) 90188


################
# More data... #
################

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1733352/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=106880 CPUtime=881.59
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 26781 0 0 0 88132 27 0 0 25 0 1 0 147811082 109445120 25119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 26720 25119 170 317 0 26399 0
Current children cumulated CPU time (s) 881.59
Current children cumulated vsize (KiB) 106880

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1730280/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=109648 CPUtime=941.53
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 27543 0 0 0 94126 27 0 0 25 0 1 0 147811082 112279552 25881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604470 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 27412 25881 170 317 0 27091 0
Current children cumulated CPU time (s) 941.53
Current children cumulated vsize (KiB) 109648

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1726824/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=112620 CPUtime=1001.49
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 28400 0 0 0 100121 28 0 0 25 0 1 0 147811082 115322880 26738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 28155 26738 170 317 0 27834 0
Current children cumulated CPU time (s) 1001.49
Current children cumulated vsize (KiB) 112620

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1723496/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=115896 CPUtime=1061.45
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 29299 0 0 0 106116 29 0 0 25 0 1 0 147811082 118677504 27571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 28974 27571 170 317 0 28653 0
Current children cumulated CPU time (s) 1061.45
Current children cumulated vsize (KiB) 115896

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1719656/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=119316 CPUtime=1121.42
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 30296 0 0 0 112112 30 0 0 25 0 1 0 147811082 122179584 28535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 29829 28535 170 317 0 29508 0
Current children cumulated CPU time (s) 1121.42
Current children cumulated vsize (KiB) 119316

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1716520/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=121944 CPUtime=1181.38
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 31074 0 0 0 118107 31 0 0 25 0 1 0 147811082 124870656 29313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 30486 29313 170 317 0 30165 0
Current children cumulated CPU time (s) 1181.38
Current children cumulated vsize (KiB) 121944

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1713768/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=128188 CPUtime=1241.33
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 32723 0 0 0 124101 32 0 0 25 0 1 0 147811082 131264512 29987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 32047 29987 170 317 0 31726 0
Current children cumulated CPU time (s) 1241.33
Current children cumulated vsize (KiB) 128188

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1711272/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=132972 CPUtime=1301.29
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 33999 0 0 0 130097 32 0 0 25 0 1 0 147811082 136163328 30613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 33243 30613 170 317 0 32922 0
Current children cumulated CPU time (s) 1301.29
Current children cumulated vsize (KiB) 132972

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1708008/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=136240 CPUtime=1361.25
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 34903 0 0 0 136092 33 0 0 25 0 1 0 147811082 139509760 31419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 34060 31419 170 317 0 33739 0
Current children cumulated CPU time (s) 1361.25
Current children cumulated vsize (KiB) 136240

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1704744/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=139284 CPUtime=1421.21
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 35775 0 0 0 142087 34 0 0 25 0 1 0 147811082 142626816 32225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 34821 32225 170 317 0 34500 0
Current children cumulated CPU time (s) 1421.21
Current children cumulated vsize (KiB) 139284

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1701736/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=142168 CPUtime=1481.17
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 36602 0 0 0 148082 35 0 0 25 0 1 0 147811082 145580032 32987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 35542 32987 170 317 0 35221 0
Current children cumulated CPU time (s) 1481.17
Current children cumulated vsize (KiB) 142168

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1698792/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=144944 CPUtime=1541.13
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 37392 0 0 0 154077 36 0 0 25 0 1 0 147811082 148422656 33712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 36236 33712 170 317 0 35915 0
Current children cumulated CPU time (s) 1541.13
Current children cumulated vsize (KiB) 144944

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1695720/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=149492 CPUtime=1601.07
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 38652 0 0 0 160070 37 0 0 25 0 1 0 147811082 153079808 34452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712586 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 37373 34452 170 317 0 37052 0
Current children cumulated CPU time (s) 1601.07
Current children cumulated vsize (KiB) 149492

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1692904/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=152372 CPUtime=1661.03
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 39446 0 0 0 166066 37 0 0 25 0 1 0 147811082 156028928 35181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 38093 35181 170 317 0 37772 0
Current children cumulated CPU time (s) 1661.03
Current children cumulated vsize (KiB) 152372

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30700
/proc/meminfo: memFree=1690536/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=154520 CPUtime=1720.99
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 40053 0 0 0 172062 37 0 0 25 0 1 0 147811082 158228480 35788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30699/statm: 38630 35788 170 317 0 38309 0
Current children cumulated CPU time (s) 1720.99
Current children cumulated vsize (KiB) 154520

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30702
/proc/meminfo: memFree=1687656/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=157156 CPUtime=1780.94
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 40829 0 0 0 178055 39 0 0 25 0 1 0 147811082 160927744 36499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 39289 36499 170 317 0 38968 0
Current children cumulated CPU time (s) 1780.94
Current children cumulated vsize (KiB) 157156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30702
/proc/meminfo: memFree=1686440/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=158076 CPUtime=1800.03
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 41108 0 0 0 179964 39 0 0 25 0 1 0 147811082 161869824 36778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 39519 36778 170 317 0 39198 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 158076

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30702
/proc/meminfo: memFree=1686440/2055920 swapFree=4182972/4192956
[pid=30699] ppid=30697 vsize=158076 CPUtime=1800.03
/proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 41108 0 0 0 179964 39 0 0 25 0 1 0 147811082 161869824 36778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/30699/statm: 39519 36778 170 317 0 39198 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 158076

Child status: 0
Real time (s): 1801.44
CPU time (s): 1800.07
CPU user time (s): 1799.66
CPU system time (s): 0.418936
CPU usage (%): 99.9242
Max. virtual memory (cumulated for all children) (KiB): 158076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.418936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41124
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= 7
involuntary context switches= 8494

runsolver used 1.89771 second user time and 4.85426 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Thu Apr 19 16:09:00 UTC 2007

IDJOB= 357439
IDBENCH= 2636
IDSOLVER= 172
FILE ID= node25/357439-1176998940

PBS_JOBID= 4630482

Free space on /tmp= 66367 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb
COMMAND LINE= oree /tmp/evaluation/357439-1176998940/instance-357439-1176998940.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-357439-1176998940 -o ROOT/results/node25/solver-357439-1176998940 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357439-1176998940/instance-357439-1176998940.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  fe9b3ae0ed0deb400897e8cf071ce6eb

RANDOM SEED= 469557391

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1834232 kB
Buffers:         27368 kB
Cached:         147516 kB
SwapCached:       3684 kB
Active:          76380 kB
Inactive:       107824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834232 kB
SwapTotal:     4192956 kB
SwapFree:      4182972 kB
Dirty:            2084 kB
Writeback:           0 kB
Mapped:          15336 kB
Slab:            23560 kB
Committed_AS:  2175692 kB
PageTables:       1472 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= 66367 MiB

End job on node25 on Thu Apr 19 16:39:04 UTC 2007