Trace number 357500

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.06 1800.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
MD5SUMd262db503fd284bdfe2b43790fda8490
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark91
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 91
Optimality of the best value was proved NO
Number of variables1807
Total number of constraints3444
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3443
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 66
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 193
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 1320
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.22	c ...done
0.19/0.22	c #vars=1807 #constraints=3445 hasObjective=yes
0.19/0.27	c res. mode=mod
0.19/0.27	c VSIDS like heuristics
0.19/0.27	c complete search running
0.29/0.30	c restart after 401 decisions
0.29/0.32	c nbDecision=500 #constraints=3445
0.29/0.34	c restart after 801 decisions
0.29/0.37	c nbDecision=1000 #constraints=3445
0.29/0.40	c nbDecision=1500 #constraints=3445
0.39/0.40	c restart after 1601 decisions
0.39/0.44	c nbDecision=2000 #constraints=3445
0.39/0.47	c nbDecision=2500 #constraints=3445
0.39/0.49	c nbDecision=3000 #constraints=3446
0.39/0.50	c restart after 3201 decisions
0.49/0.53	c nbDecision=3500 #constraints=3447
0.49/0.56	c nbDecision=4000 #constraints=3447
0.49/0.58	c nbDecision=4500 #constraints=3448
0.59/0.60	c nbDecision=5000 #constraints=3448
0.59/0.64	c nbDecision=5500 #constraints=3449
0.59/0.66	c nbDecision=6000 #constraints=3449
0.59/0.69	c restart after 6401 decisions
0.69/0.70	c nbDecision=6500 #constraints=3450
0.69/0.74	c nbDecision=7000 #constraints=3450
0.69/0.76	c nbDecision=7500 #constraints=3450
0.69/0.79	c nbDecision=8000 #constraints=3451
0.79/0.81	c nbDecision=8500 #constraints=3451
0.79/0.84	c nbDecision=9000 #constraints=3452
0.79/0.87	c nbDecision=9500 #constraints=3452
0.79/0.89	c nbDecision=10000 #constraints=3453
0.89/0.92	c nbDecision=10500 #constraints=3453
0.89/0.94	c nbDecision=11000 #constraints=3454
0.89/0.97	c nbDecision=11500 #constraints=3454
0.89/1.00	c nbDecision=12000 #constraints=3455
0.99/1.02	c nbDecision=12500 #constraints=3455
0.99/1.04	c restart after 12801 decisions
0.99/1.06	c nbDecision=13000 #constraints=3455
0.99/1.09	c nbDecision=13500 #constraints=3455
1.09/1.11	c nbDecision=14000 #constraints=3455
1.09/1.15	c nbDecision=14500 #constraints=3456
1.09/1.17	c nbDecision=15000 #constraints=3456
1.19/1.20	c nbDecision=15500 #constraints=3457
1.19/1.22	c nbDecision=16000 #constraints=3457
1.19/1.25	c nbDecision=16500 #constraints=3458
1.19/1.27	c nbDecision=17000 #constraints=3459
1.29/1.30	c nbDecision=17500 #constraints=3459
1.29/1.32	c nbDecision=18000 #constraints=3460
1.29/1.34	c nbDecision=18500 #constraints=3460
1.29/1.37	c nbDecision=19000 #constraints=3461
1.29/1.38	c nbDecision=19500 #constraints=3462
1.39/1.40	c nbDecision=20000 #constraints=3463
1.39/1.44	c nbDecision=20500 #constraints=3464
1.39/1.47	c nbDecision=21000 #constraints=3464
1.49/1.50	c nbDecision=21500 #constraints=3465
1.49/1.53	c nbDecision=22000 #constraints=3465
1.49/1.55	c nbDecision=22500 #constraints=3466
1.49/1.58	c nbDecision=23000 #constraints=3466
1.59/1.61	c nbDecision=23500 #constraints=3466
1.59/1.64	c nbDecision=24000 #constraints=3467
1.59/1.67	c nbDecision=24500 #constraints=3467
1.69/1.70	c nbDecision=25000 #constraints=3468
1.69/1.73	c nbDecision=25500 #constraints=3468
1.69/1.73	c restart after 25601 decisions
1.69/1.77	c nbDecision=26000 #constraints=3468
1.79/1.80	c nbDecision=26500 #constraints=3468
1.79/1.83	c nbDecision=27000 #constraints=3469
1.79/1.86	c nbDecision=27500 #constraints=3469
1.79/1.89	c nbDecision=28000 #constraints=3470
1.89/1.92	c nbDecision=28500 #constraints=3470
1.89/1.94	c nbDecision=29000 #constraints=3470
1.89/1.98	c nbDecision=29500 #constraints=3471
1.99/2.00	c nbDecision=30000 #constraints=3471
1.99/2.03	c nbDecision=30500 #constraints=3472
1.99/2.06	c nbDecision=31000 #constraints=3472
1.99/2.08	c nbDecision=31500 #constraints=3472
2.09/2.12	c nbDecision=32000 #constraints=3473
2.09/2.14	c nbDecision=32500 #constraints=3473
2.09/2.17	c nbDecision=33000 #constraints=3474
2.09/2.20	c nbDecision=33500 #constraints=3474
2.19/2.22	c nbDecision=34000 #constraints=3475
2.19/2.25	c nbDecision=34500 #constraints=3475
2.19/2.28	c nbDecision=35000 #constraints=3476
2.29/2.30	c nbDecision=35500 #constraints=3476
2.29/2.33	c nbDecision=36000 #constraints=3477
2.29/2.35	c nbDecision=36500 #constraints=3477
2.29/2.38	c nbDecision=37000 #constraints=3478
2.39/2.41	c nbDecision=37500 #constraints=3478
2.39/2.43	c nbDecision=38000 #constraints=3479
2.39/2.46	c nbDecision=38500 #constraints=3479
2.39/2.48	c nbDecision=39000 #constraints=3480
2.49/2.51	c nbDecision=39500 #constraints=3480
2.49/2.53	c nbDecision=40000 #constraints=3481
2.49/2.56	c nbDecision=40500 #constraints=3481
2.49/2.59	c nbDecision=41000 #constraints=3482
2.59/2.61	c nbDecision=41500 #constraints=3482
2.59/2.64	c nbDecision=42000 #constraints=3483
2.59/2.67	c nbDecision=42500 #constraints=3484
2.69/2.70	c nbDecision=43000 #constraints=3485
2.69/2.72	c nbDecision=43500 #constraints=3485
2.69/2.76	c nbDecision=44000 #constraints=3487
2.69/2.78	c nbDecision=44500 #constraints=3488
2.79/2.82	c nbDecision=45000 #constraints=3489
2.79/2.84	c nbDecision=45500 #constraints=3489
2.79/2.87	c nbDecision=46000 #constraints=3490
2.89/2.90	c nbDecision=46500 #constraints=3490
2.89/2.92	c nbDecision=47000 #constraints=3490
2.89/2.96	c nbDecision=47500 #constraints=3491
2.89/2.98	c nbDecision=48000 #constraints=3491
2.99/3.01	c nbDecision=48500 #constraints=3492
2.99/3.04	c nbDecision=49000 #constraints=3492
2.99/3.07	c nbDecision=49500 #constraints=3493
3.09/3.10	c nbDecision=50000 #constraints=3493
3.09/3.12	c nbDecision=50500 #constraints=3493
3.09/3.16	c nbDecision=51000 #constraints=3494
3.09/3.17	c restart after 51201 decisions
3.19/3.20	c nbDecision=51500 #constraints=3494
3.19/3.23	c nbDecision=52000 #constraints=3494
3.19/3.26	c nbDecision=52500 #constraints=3495
3.19/3.29	c nbDecision=53000 #constraints=3495
3.29/3.31	c nbDecision=53500 #constraints=3495
3.29/3.35	c nbDecision=54000 #constraints=3496
3.29/3.37	c nbDecision=54500 #constraints=3496
3.39/3.40	c nbDecision=55000 #constraints=3497
3.39/3.43	c nbDecision=55500 #constraints=3497
3.39/3.45	c nbDecision=56000 #constraints=3497
3.39/3.49	c nbDecision=56500 #constraints=3498
3.49/3.51	c nbDecision=57000 #constraints=3498
3.49/3.55	c nbDecision=57500 #constraints=3499
3.49/3.58	c nbDecision=58000 #constraints=3499
3.59/3.61	c nbDecision=58500 #constraints=3501
3.59/3.64	c nbDecision=59000 #constraints=3501
3.59/3.66	c nbDecision=59500 #constraints=3502
3.59/3.69	c nbDecision=60000 #constraints=3502
3.69/3.71	c nbDecision=60500 #constraints=3502
3.69/3.75	c nbDecision=61000 #constraints=3503
3.69/3.77	c nbDecision=61500 #constraints=3503
3.79/3.80	c nbDecision=62000 #constraints=3504
3.79/3.82	c nbDecision=62500 #constraints=3504
4.19/4.24	c nbDecision=63000 #constraints=3544
4.69/4.75	c nbDecision=63500 #constraints=3588
4.79/4.80	c nbDecision=64000 #constraints=3590
4.79/4.82	c nbDecision=64500 #constraints=3590
4.79/4.88	c nbDecision=65000 #constraints=3593
4.89/4.91	c nbDecision=65500 #constraints=3593
4.89/4.93	c nbDecision=66000 #constraints=3594
4.89/4.96	c nbDecision=66500 #constraints=3594
4.89/4.99	c nbDecision=67000 #constraints=3595
4.99/5.01	c nbDecision=67500 #constraints=3595
4.99/5.03	c nbDecision=68000 #constraints=3595
4.99/5.07	c nbDecision=68500 #constraints=3596
4.99/5.09	c nbDecision=69000 #constraints=3596
5.09/5.12	c nbDecision=69500 #constraints=3597
5.09/5.14	c nbDecision=70000 #constraints=3597
5.09/5.17	c nbDecision=70500 #constraints=3599
5.19/5.20	c nbDecision=71000 #constraints=3599
5.19/5.23	c nbDecision=71500 #constraints=3600
5.19/5.26	c nbDecision=72000 #constraints=3600
5.19/5.28	c nbDecision=72500 #constraints=3600
5.29/5.31	c nbDecision=73000 #constraints=3601
5.29/5.33	c nbDecision=73500 #constraints=3601
5.29/5.36	c nbDecision=74000 #constraints=3602
5.29/5.39	c nbDecision=74500 #constraints=3602
5.39/5.42	c nbDecision=75000 #constraints=3603
5.39/5.44	c nbDecision=75500 #constraints=3603
5.39/5.49	c nbDecision=76000 #constraints=3606
5.49/5.58	c nbDecision=76500 #constraints=3617
5.59/5.61	c nbDecision=77000 #constraints=3617
5.59/5.63	c nbDecision=77500 #constraints=3618
5.59/5.66	c nbDecision=78000 #constraints=3618
5.59/5.68	c nbDecision=78500 #constraints=3618
5.69/5.72	c nbDecision=79000 #constraints=3619
5.69/5.74	c nbDecision=79500 #constraints=3619
5.69/5.78	c nbDecision=80000 #constraints=3622
5.79/5.81	c nbDecision=80500 #constraints=3622
5.79/5.83	c nbDecision=81000 #constraints=3623
5.79/5.86	c nbDecision=81500 #constraints=3623
5.79/5.88	c nbDecision=82000 #constraints=3623
5.89/5.93	c nbDecision=82500 #constraints=3627
5.89/5.95	c nbDecision=83000 #constraints=3627
5.89/5.99	c nbDecision=83500 #constraints=3628
5.99/6.02	c nbDecision=84000 #constraints=3629
5.99/6.04	c nbDecision=84500 #constraints=3629
5.99/6.07	c nbDecision=85000 #constraints=3630
5.99/6.09	c nbDecision=85500 #constraints=3630
6.09/6.12	c nbDecision=86000 #constraints=3631
6.09/6.14	c nbDecision=86500 #constraints=3631
6.09/6.18	c nbDecision=87000 #constraints=3632
6.19/6.20	c nbDecision=87500 #constraints=3633
6.19/6.23	c nbDecision=88000 #constraints=3634
6.19/6.26	c nbDecision=88500 #constraints=3635
6.19/6.27	c nbDecision=89000 #constraints=3635
6.29/6.31	c nbDecision=89500 #constraints=3636
6.29/6.33	c nbDecision=90000 #constraints=3637
6.29/6.35	c nbDecision=90500 #constraints=3637
6.29/6.39	c nbDecision=91000 #constraints=3639
6.39/6.41	c nbDecision=91500 #constraints=3640
6.39/6.44	c nbDecision=92000 #constraints=3640
6.39/6.46	c nbDecision=92500 #constraints=3641
6.39/6.49	c nbDecision=93000 #constraints=3641
6.49/6.51	c nbDecision=93500 #constraints=3641
6.49/6.54	c nbDecision=94000 #constraints=3642
6.49/6.56	c nbDecision=94500 #constraints=3642
6.59/6.61	c nbDecision=95000 #constraints=3645
6.59/6.64	c nbDecision=95500 #constraints=3645
6.59/6.67	c nbDecision=96000 #constraints=3646
6.59/6.69	c nbDecision=96500 #constraints=3646
6.68/6.73	c nbDecision=97000 #constraints=3648
6.68/6.76	c nbDecision=97500 #constraints=3648
6.78/6.84	c nbDecision=98000 #constraints=3655
6.88/6.91	c nbDecision=98500 #constraints=3660
6.88/6.93	c nbDecision=99000 #constraints=3660
6.88/6.98	c nbDecision=99500 #constraints=3664
6.98/7.00	c nbDecision=100000 #constraints=3664
6.98/7.03	c nbDecision=100500 #constraints=3665
6.98/7.06	c nbDecision=101000 #constraints=3665
7.08/7.10	c nbDecision=101500 #constraints=3667
7.08/7.13	c nbDecision=102000 #constraints=3667
7.08/7.14	c restart after 102401 decisions
7.08/7.16	c nbDecision=102500 #constraints=3667
7.08/7.19	c nbDecision=103000 #constraints=3667
7.18/7.21	c nbDecision=103500 #constraints=3667
7.18/7.26	c nbDecision=104000 #constraints=3669
7.18/7.28	c nbDecision=104500 #constraints=3669
7.28/7.32	c nbDecision=105000 #constraints=3671
7.28/7.34	c nbDecision=105500 #constraints=3671
7.38/7.40	c nbDecision=106000 #constraints=3677
7.38/7.45	c nbDecision=106500 #constraints=3681
7.38/7.47	c nbDecision=107000 #constraints=3681
7.48/7.50	c nbDecision=107500 #constraints=3682
7.48/7.52	c nbDecision=108000 #constraints=3682
7.48/7.55	c nbDecision=108500 #constraints=3683
7.48/7.59	c nbDecision=109000 #constraints=3684
7.59/7.61	c nbDecision=109500 #constraints=3685
7.59/7.64	c nbDecision=110000 #constraints=3686
7.59/7.68	c nbDecision=110500 #constraints=3688
7.69/7.71	c nbDecision=111000 #constraints=3689
7.78/7.82	c nbDecision=111500 #constraints=3700
7.78/7.86	c nbDecision=112000 #constraints=3702
7.78/7.88	c nbDecision=112500 #constraints=3702
7.88/7.90	c nbDecision=113000 #constraints=3703
7.88/7.92	c nbDecision=113500 #constraints=3703
7.88/7.98	c nbDecision=114000 #constraints=3708
7.98/8.00	c nbDecision=114500 #constraints=3708
7.98/8.04	c nbDecision=115000 #constraints=3711
7.98/8.06	c nbDecision=115500 #constraints=3711
8.08/8.10	c nbDecision=116000 #constraints=3714
8.08/8.12	c nbDecision=116500 #constraints=3714
8.08/8.15	c nbDecision=117000 #constraints=3715
8.08/8.19	c nbDecision=117500 #constraints=3718
8.18/8.21	c nbDecision=118000 #constraints=3718
8.18/8.25	c nbDecision=118500 #constraints=3720
8.18/8.27	c nbDecision=119000 #constraints=3720
8.28/8.34	c nbDecision=119500 #constraints=3727
8.38/8.42	c nbDecision=120000 #constraints=3734
8.38/8.44	c nbDecision=120500 #constraints=3735
8.38/8.48	c nbDecision=121000 #constraints=3737
8.48/8.52	c nbDecision=121500 #constraints=3741
8.48/8.55	c nbDecision=122000 #constraints=3742
8.48/8.56	c nbDecision=122500 #constraints=3743
8.48/8.58	c nbDecision=123000 #constraints=3744
8.58/8.60	c nbDecision=123500 #constraints=3745
8.58/8.63	c nbDecision=124000 #constraints=3747
8.58/8.65	c nbDecision=124500 #constraints=3748
8.58/8.67	c nbDecision=125000 #constraints=3748
8.69/8.71	c nbDecision=125500 #constraints=3751
8.69/8.75	c nbDecision=126000 #constraints=3756
8.79/8.80	c nbDecision=126500 #constraints=3761
8.79/8.83	c nbDecision=127000 #constraints=3764
8.79/8.87	c nbDecision=127500 #constraints=3768
8.88/8.93	c nbDecision=128000 #constraints=3776
8.88/8.98	c nbDecision=128500 #constraints=3782
8.98/9.04	c nbDecision=129000 #constraints=3789
9.08/9.11	c nbDecision=129500 #constraints=3797
9.08/9.18	c nbDecision=130000 #constraints=3805
9.28/9.39	c nbDecision=130500 #constraints=3825
9.48/9.53	c nbDecision=131000 #constraints=3844
9.58/9.61	c nbDecision=131500 #constraints=3851
9.58/9.64	c nbDecision=132000 #constraints=3855
9.68/9.78	c nbDecision=132500 #constraints=3871
9.79/9.89	c nbDecision=133000 #constraints=3888
9.89/9.93	c nbDecision=133500 #constraints=3893
9.89/9.95	c nbDecision=134000 #constraints=3896
9.98/10.04	c nbDecision=134500 #constraints=3909
9.98/10.09	c nbDecision=135000 #constraints=3916
10.08/10.17	c nbDecision=135500 #constraints=3924
10.18/10.23	c nbDecision=136000 #constraints=3928
10.18/10.26	c nbDecision=136500 #constraints=3928
10.18/10.28	c nbDecision=137000 #constraints=3928
10.38/10.46	c nbDecision=137500 #constraints=3945
10.48/10.57	c nbDecision=138000 #constraints=3953
10.58/10.60	c nbDecision=138500 #constraints=3953
10.58/10.63	c nbDecision=139000 #constraints=3954
10.58/10.66	c nbDecision=139500 #constraints=3954
10.58/10.68	c nbDecision=140000 #constraints=3954
10.68/10.70	c nbDecision=140500 #constraints=3955
10.68/10.73	c nbDecision=141000 #constraints=3957
10.68/10.75	c nbDecision=141500 #constraints=3958
10.68/10.76	c nbDecision=142000 #constraints=3959
10.68/10.80	c nbDecision=142500 #constraints=3961
10.78/10.82	c nbDecision=143000 #constraints=3961
10.78/10.85	c nbDecision=143500 #constraints=3962
10.78/10.88	c nbDecision=144000 #constraints=3962
10.78/10.90	c nbDecision=144500 #constraints=3962
10.89/10.93	c nbDecision=145000 #constraints=3963
10.89/10.96	c nbDecision=145500 #constraints=3963
10.89/10.98	c nbDecision=146000 #constraints=3964
10.99/11.01	c nbDecision=146500 #constraints=3964
10.99/11.03	c nbDecision=147000 #constraints=3965
10.99/11.07	c nbDecision=147500 #constraints=3965
10.99/11.09	c nbDecision=148000 #constraints=3965
11.08/11.12	c nbDecision=148500 #constraints=3966
11.08/11.15	c nbDecision=149000 #constraints=3966
11.08/11.17	c nbDecision=149500 #constraints=3967
11.18/11.20	c nbDecision=150000 #constraints=3967
11.18/11.22	c nbDecision=150500 #constraints=3967
11.18/11.25	c nbDecision=151000 #constraints=3968
11.18/11.28	c nbDecision=151500 #constraints=3968
11.28/11.30	c nbDecision=152000 #constraints=3969
11.28/11.32	c nbDecision=152500 #constraints=3970
11.28/11.35	c nbDecision=153000 #constraints=3970
11.28/11.37	c nbDecision=153500 #constraints=3970
11.38/11.41	c nbDecision=154000 #constraints=3972
11.38/11.43	c nbDecision=154500 #constraints=3972
11.48/11.56	c nbDecision=155000 #constraints=3982
11.48/11.59	c nbDecision=155500 #constraints=3982
11.58/11.62	c nbDecision=156000 #constraints=3985
11.58/11.69	c nbDecision=156500 #constraints=3990
11.68/11.71	c nbDecision=157000 #constraints=3990
11.68/11.75	c nbDecision=157500 #constraints=3991
11.68/11.78	c nbDecision=158000 #constraints=3991
11.78/11.80	c nbDecision=158500 #constraints=3993
11.88/11.97	c nbDecision=159000 #constraints=4006
12.09/12.12	c nbDecision=159500 #constraints=4020
12.09/12.15	c nbDecision=160000 #constraints=4020
12.09/12.17	c nbDecision=160500 #constraints=4020
12.09/12.19	c nbDecision=161000 #constraints=4022
12.18/12.25	c nbDecision=161500 #constraints=4024
12.18/12.27	c nbDecision=162000 #constraints=4024
12.28/12.30	c nbDecision=162500 #constraints=4025
12.28/12.33	c nbDecision=163000 #constraints=4025
12.28/12.35	c nbDecision=163500 #constraints=4026
12.28/12.38	c nbDecision=164000 #constraints=4026
12.38/12.40	c nbDecision=164500 #constraints=4026
12.49/12.51	c nbDecision=165000 #constraints=4039
12.49/12.56	c nbDecision=165500 #constraints=4044
12.59/12.63	c nbDecision=166000 #constraints=4053
12.59/12.70	c nbDecision=166500 #constraints=4056
12.69/12.72	c nbDecision=167000 #constraints=4056
12.69/12.76	c nbDecision=167500 #constraints=4058
12.69/12.79	c nbDecision=168000 #constraints=4058
12.79/12.81	c nbDecision=168500 #constraints=4059
12.79/12.84	c nbDecision=169000 #constraints=4059
12.79/12.86	c nbDecision=169500 #constraints=4060
12.79/12.89	c nbDecision=170000 #constraints=4060
12.89/12.91	c nbDecision=170500 #constraints=4060
12.89/12.94	c nbDecision=171000 #constraints=4061
12.89/12.96	c nbDecision=171500 #constraints=4061
12.89/12.99	c nbDecision=172000 #constraints=4062
12.99/13.02	c nbDecision=172500 #constraints=4067
12.99/13.05	c nbDecision=173000 #constraints=4067
12.99/13.09	c nbDecision=173500 #constraints=4070
13.09/13.11	c nbDecision=174000 #constraints=4070
13.09/13.14	c nbDecision=174500 #constraints=4072
13.09/13.15	c nbDecision=175000 #constraints=4072
13.09/13.19	c nbDecision=175500 #constraints=4073
13.19/13.21	c nbDecision=176000 #constraints=4075
13.19/13.25	c nbDecision=176500 #constraints=4077
13.19/13.27	c nbDecision=177000 #constraints=4077
13.29/13.31	c nbDecision=177500 #constraints=4082
13.29/13.33	c nbDecision=178000 #constraints=4082
13.29/13.37	c nbDecision=178500 #constraints=4086
13.39/13.40	c nbDecision=179000 #constraints=4086
13.39/13.41	c nbDecision=179500 #constraints=4086
13.39/13.46	c nbDecision=180000 #constraints=4090
13.39/13.48	c nbDecision=180500 #constraints=4090
13.49/13.51	c nbDecision=181000 #constraints=4091
13.49/13.54	c nbDecision=181500 #constraints=4091
13.49/13.57	c nbDecision=182000 #constraints=4094
13.49/13.60	c nbDecision=182500 #constraints=4094
13.59/13.61	c nbDecision=183000 #constraints=4094
13.59/13.65	c nbDecision=183500 #constraints=4095
13.59/13.66	c nbDecision=184000 #constraints=4095
13.59/13.69	c nbDecision=184500 #constraints=4096
13.69/13.72	c nbDecision=185000 #constraints=4097
13.69/13.74	c nbDecision=185500 #constraints=4097
13.69/13.77	c nbDecision=186000 #constraints=4098
13.69/13.79	c nbDecision=186500 #constraints=4098
13.79/13.82	c nbDecision=187000 #constraints=4103
13.79/13.85	c nbDecision=187500 #constraints=4103
13.79/13.88	c nbDecision=188000 #constraints=4104
13.88/13.91	c nbDecision=188500 #constraints=4104
13.88/13.93	c nbDecision=189000 #constraints=4104
13.88/13.96	c nbDecision=189500 #constraints=4105
13.88/13.98	c nbDecision=190000 #constraints=4105
13.98/14.03	c nbDecision=190500 #constraints=4115
13.98/14.05	c nbDecision=191000 #constraints=4115
13.98/14.09	c nbDecision=191500 #constraints=4116
14.08/14.11	c nbDecision=192000 #constraints=4116
14.08/14.14	c nbDecision=192500 #constraints=4118
14.08/14.17	c nbDecision=193000 #constraints=4118
14.08/14.18	c nbDecision=193500 #constraints=4118
14.19/14.22	c nbDecision=194000 #constraints=4119
14.19/14.24	c nbDecision=194500 #constraints=4119
14.19/14.26	c nbDecision=195000 #constraints=4120
14.19/14.28	c nbDecision=195500 #constraints=4120
14.29/14.31	c nbDecision=196000 #constraints=4121
14.29/14.34	c nbDecision=196500 #constraints=4121
14.29/14.37	c nbDecision=197000 #constraints=4123
14.29/14.39	c nbDecision=197500 #constraints=4123
14.38/14.42	c nbDecision=198000 #constraints=4124
14.38/14.44	c nbDecision=198500 #constraints=4124
14.38/14.47	c nbDecision=199000 #constraints=4125
14.38/14.49	c nbDecision=199500 #constraints=4125
14.48/14.51	c nbDecision=200000 #constraints=4125
14.48/14.54	c nbDecision=200500 #constraints=4126
14.48/14.56	c nbDecision=201000 #constraints=4126
14.48/14.59	c nbDecision=201500 #constraints=4127
14.58/14.61	c nbDecision=202000 #constraints=4127
14.58/14.65	c nbDecision=202500 #constraints=4134
14.58/14.68	c nbDecision=203000 #constraints=4137
14.68/14.70	c nbDecision=203500 #constraints=4137
14.78/14.82	c nbDecision=204000 #constraints=4149
14.78/14.87	c nbDecision=204500 #constraints=4155
14.78/14.89	c restart after 204801 decisions
14.88/14.92	c nbDecision=205000 #constraints=4158
14.88/14.95	c nbDecision=205500 #constraints=4158
14.88/14.96	c nbDecision=206000 #constraints=4158
14.98/15.00	c nbDecision=206500 #constraints=4161
15.08/15.11	c nbDecision=207000 #constraints=4173
15.08/15.18	c nbDecision=207500 #constraints=4182
15.18/15.25	c nbDecision=208000 #constraints=4189
15.29/15.36	c nbDecision=208500 #constraints=4199
15.39/15.43	c nbDecision=209000 #constraints=4208
15.48/15.50	c nbDecision=209500 #constraints=4217
15.58/15.63	c nbDecision=210000 #constraints=4233
15.68/15.74	c nbDecision=210500 #constraints=4247
15.78/15.85	c nbDecision=211000 #constraints=4258
15.98/16.01	c nbDecision=211500 #constraints=4278
16.08/16.11	c nbDecision=212000 #constraints=4291
16.18/16.27	c nbDecision=212500 #constraints=4310
16.38/16.41	c nbDecision=213000 #constraints=4329
16.48/16.58	c nbDecision=213500 #constraints=4354
16.58/16.67	c nbDecision=214000 #constraints=4369
16.78/16.83	c nbDecision=214500 #constraints=4387
16.88/16.98	c nbDecision=215000 #constraints=4403
17.18/17.29	c nbDecision=215500 #constraints=4438
17.28/17.32	c nbDecision=216000 #constraints=4441
17.38/17.42	c nbDecision=216500 #constraints=4454
17.48/17.51	c nbDecision=217000 #constraints=4462
17.48/17.52	c nbDecision=217500 #constraints=4462
17.48/17.60	c nbDecision=218000 #constraints=4473
17.58/17.62	c nbDecision=218500 #constraints=4473
17.58/17.67	c nbDecision=219000 #constraints=4474
17.58/17.69	c nbDecision=219500 #constraints=4474
17.68/17.71	c nbDecision=220000 #constraints=4474
17.68/17.77	c nbDecision=220500 #constraints=4484
17.78/17.81	c nbDecision=221000 #constraints=4489
17.88/17.93	c nbDecision=221500 #constraints=4502
17.98/18.04	c nbDecision=222000 #constraints=4513
18.18/18.25	c nbDecision=222500 #constraints=4534
18.38/18.42	c nbDecision=223000 #constraints=4551
18.48/18.57	c nbDecision=223500 #constraints=4569
18.58/18.62	c nbDecision=224000 #constraints=4576
18.58/18.66	c nbDecision=224500 #constraints=4581
18.78/18.82	c nbDecision=225000 #constraints=4596
18.88/18.90	c nbDecision=225500 #constraints=4606
18.88/18.96	c nbDecision=226000 #constraints=4613
18.98/19.02	c nbDecision=226500 #constraints=4619
19.08/19.12	c nbDecision=227000 #constraints=4628
19.18/19.20	c nbDecision=227500 #constraints=4638
19.28/19.32	c nbDecision=228000 #constraints=4650
19.38/19.49	c nbDecision=228500 #constraints=4661
19.58/19.65	c nbDecision=229000 #constraints=4673
19.78/19.83	c nbDecision=229500 #constraints=4685
19.97/20.02	c nbDecision=230000 #constraints=4700
20.07/20.16	c nbDecision=230500 #constraints=4712
20.27/20.34	c nbDecision=231000 #constraints=4724
20.47/20.52	c nbDecision=231500 #constraints=4740
20.68/20.72	c nbDecision=232000 #constraints=4756
20.78/20.87	c nbDecision=232500 #constraints=4768
20.97/21.04	c nbDecision=233000 #constraints=4781
21.07/21.16	c nbDecision=233500 #constraints=4789
21.27/21.36	c nbDecision=234000 #constraints=4804
21.57/21.65	c nbDecision=234500 #constraints=4826
21.88/21.98	c nbDecision=235000 #constraints=4850
22.07/22.17	c nbDecision=235500 #constraints=4871
22.37/22.40	c nbDecision=236000 #constraints=4887
22.57/22.61	c nbDecision=236500 #constraints=4901
22.67/22.79	c nbDecision=237000 #constraints=4916
22.98/23.04	c nbDecision=237500 #constraints=4934
23.27/23.30	c nbDecision=238000 #constraints=4951
23.37/23.45	c nbDecision=238500 #constraints=4967
23.47/23.51	c nbDecision=239000 #constraints=4975
23.57/23.63	c nbDecision=239500 #constraints=4986
23.67/23.73	c nbDecision=240000 #constraints=4999
23.67/23.79	c nbDecision=240500 #constraints=5009
23.77/23.89	c nbDecision=241000 #constraints=5018
23.97/24.05	c nbDecision=241500 #constraints=5031
24.08/24.16	c nbDecision=242000 #constraints=5045
24.18/24.21	c nbDecision=242500 #constraints=5053
24.27/24.38	c nbDecision=243000 #constraints=5066
24.47/24.54	c nbDecision=243500 #constraints=5078
24.67/24.73	c nbDecision=244000 #constraints=5092
24.77/24.87	c nbDecision=244500 #constraints=5102
24.97/25.09	c nbDecision=245000 #constraints=5120
25.28/25.33	c nbDecision=245500 #constraints=5142
25.47/25.53	c nbDecision=246000 #constraints=5155
25.67/25.72	c nbDecision=246500 #constraints=5166
25.77/25.86	c nbDecision=247000 #constraints=5174
26.07/26.19	c nbDecision=247500 #constraints=5198
26.17/26.29	c nbDecision=248000 #constraints=5211
26.38/26.42	c nbDecision=248500 #constraints=5225
26.47/26.54	c nbDecision=249000 #constraints=5233
26.57/26.66	c nbDecision=249500 #constraints=5241
26.77/26.86	c nbDecision=250000 #constraints=5256
26.87/26.98	c nbDecision=250500 #constraints=5266
27.17/27.25	c nbDecision=251000 #constraints=5286
27.27/27.32	c nbDecision=251500 #constraints=5290
27.27/27.35	c nbDecision=252000 #constraints=5292
27.38/27.48	c nbDecision=252500 #constraints=5304
27.57/27.63	c nbDecision=253000 #constraints=5316
27.67/27.72	c nbDecision=253500 #constraints=5322
27.67/27.74	c nbDecision=254000 #constraints=5322
27.77/27.80	c nbDecision=254500 #constraints=5325
27.87/27.94	c nbDecision=255000 #constraints=5337
27.97/28.07	c nbDecision=255500 #constraints=5350
28.17/28.24	c nbDecision=256000 #constraints=5365
28.37/28.41	c nbDecision=256500 #constraints=5380
28.47/28.54	c nbDecision=257000 #constraints=5389
28.67/28.70	c nbDecision=257500 #constraints=5401
28.67/28.77	c nbDecision=258000 #constraints=5406
28.77/28.85	c nbDecision=258500 #constraints=5413
28.87/28.93	c nbDecision=259000 #constraints=5419
28.97/29.08	c nbDecision=259500 #constraints=5432
29.17/29.26	c nbDecision=260000 #constraints=5446
29.27/29.35	c nbDecision=260500 #constraints=5453
29.37/29.40	c nbDecision=261000 #constraints=5457
29.47/29.50	c nbDecision=261500 #constraints=5464
29.58/29.64	c nbDecision=262000 #constraints=5474
29.68/29.70	c nbDecision=262500 #constraints=5479
29.78/29.80	c nbDecision=263000 #constraints=5486
29.88/29.93	c nbDecision=263500 #constraints=5495
29.98/30.06	c nbDecision=264000 #constraints=5504
30.08/30.18	c nbDecision=264500 #constraints=5513
30.18/30.26	c nbDecision=265000 #constraints=5520
30.28/30.34	c nbDecision=265500 #constraints=5525
30.38/30.44	c nbDecision=266000 #constraints=5533
30.48/30.52	c nbDecision=266500 #constraints=5541
30.68/30.72	c nbDecision=267000 #constraints=5559
30.88/30.94	c nbDecision=267500 #constraints=5577
30.98/31.09	c nbDecision=268000 #constraints=5587
31.08/31.18	c nbDecision=268500 #constraints=5591
31.18/31.20	c nbDecision=269000 #constraints=5591
31.18/31.29	c nbDecision=269500 #constraints=5600
31.38/31.49	c nbDecision=270000 #constraints=5617
31.68/31.72	c nbDecision=270500 #constraints=5635
31.88/31.95	c nbDecision=271000 #constraints=5652
32.08/32.19	c nbDecision=271500 #constraints=5673
32.38/32.42	c nbDecision=272000 #constraints=5689
32.58/32.65	c nbDecision=272500 #constraints=5707
32.78/32.86	c nbDecision=273000 #constraints=5725
32.98/33.03	c nbDecision=273500 #constraints=5742
33.18/33.24	c nbDecision=274000 #constraints=5760
33.38/33.49	c nbDecision=274500 #constraints=5779
33.68/33.78	c nbDecision=275000 #constraints=5803
33.88/33.97	c nbDecision=275500 #constraints=5817
34.08/34.18	c nbDecision=276000 #constraints=5833
34.28/34.33	c nbDecision=276500 #constraints=5843
34.37/34.42	c nbDecision=277000 #constraints=5850
34.57/34.69	c nbDecision=277500 #constraints=5869
34.87/34.96	c nbDecision=278000 #constraints=5885
35.18/35.27	c nbDecision=278500 #constraints=5904
35.47/35.56	c nbDecision=279000 #constraints=5922
35.77/35.84	c nbDecision=279500 #constraints=5939
36.18/36.25	c nbDecision=280000 #constraints=5964
36.37/36.44	c nbDecision=280500 #constraints=5975
36.47/36.57	c nbDecision=281000 #constraints=5984
36.87/36.94	c nbDecision=281500 #constraints=6006
37.07/37.10	c nbDecision=282000 #constraints=6020
37.17/37.27	c nbDecision=282500 #constraints=6036
37.28/37.36	c nbDecision=283000 #constraints=6044
37.47/37.52	c nbDecision=283500 #constraints=6055
37.77/37.82	c nbDecision=284000 #constraints=6072
37.97/38.03	c nbDecision=284500 #constraints=6090
38.07/38.11	c nbDecision=285000 #constraints=6096
38.27/38.37	c nbDecision=285500 #constraints=6112
38.57/38.66	c nbDecision=286000 #constraints=6129
38.97/39.02	c nbDecision=286500 #constraints=6150
39.17/39.25	c nbDecision=287000 #constraints=6163
39.37/39.50	c nbDecision=287500 #constraints=6177
39.77/39.88	c nbDecision=288000 #constraints=6199
40.17/40.28	c nbDecision=288500 #constraints=6222
40.67/40.73	c nbDecision=289000 #constraints=6248
41.07/41.14	c nbDecision=289500 #constraints=6276
41.47/41.58	c nbDecision=290000 #constraints=6304
41.77/41.81	c nbDecision=290500 #constraints=6318
42.07/42.14	c nbDecision=291000 #constraints=6337
42.37/42.45	c nbDecision=291500 #constraints=6355
42.67/42.74	c nbDecision=292000 #constraints=6372
42.97/43.08	c nbDecision=292500 #constraints=6392
43.37/43.48	c nbDecision=293000 #constraints=6418
43.77/43.85	c nbDecision=293500 #constraints=6444
44.27/44.30	c nbDecision=294000 #constraints=6472
44.67/44.70	c nbDecision=294500 #constraints=6495
44.97/45.07	c nbDecision=295000 #constraints=6517
45.37/45.47	c nbDecision=295500 #constraints=6540
45.77/45.81	c nbDecision=296000 #constraints=6560
46.07/46.17	c nbDecision=296500 #constraints=6582
46.66/46.72	c nbDecision=297000 #constraints=6618
47.06/47.12	c nbDecision=297500 #constraints=6642
47.56/47.68	c nbDecision=298000 #constraints=6676
47.96/48.07	c nbDecision=298500 #constraints=6699
48.16/48.30	c nbDecision=299000 #constraints=6713
48.66/48.72	c nbDecision=299500 #constraints=6736
49.16/49.20	c nbDecision=300000 #constraints=6761
49.56/49.69	c nbDecision=300500 #constraints=6787
50.06/50.16	c nbDecision=301000 #constraints=6815
50.56/50.63	c nbDecision=301500 #constraints=6841
50.76/50.87	c nbDecision=302000 #constraints=6855
51.06/51.12	c nbDecision=302500 #constraints=6869
51.46/51.51	c nbDecision=303000 #constraints=6890
51.86/51.96	c nbDecision=303500 #constraints=6914
52.26/52.33	c nbDecision=304000 #constraints=6934
52.66/52.72	c nbDecision=304500 #constraints=6958
53.06/53.12	c nbDecision=305000 #constraints=6981
53.46/53.58	c nbDecision=305500 #constraints=7005
53.86/53.94	c nbDecision=306000 #constraints=7027
54.37/54.45	c nbDecision=306500 #constraints=7055
54.57/54.69	c nbDecision=307000 #constraints=7067
54.77/54.88	c nbDecision=307500 #constraints=7077
54.97/55.09	c nbDecision=308000 #constraints=7089
55.27/55.30	c nbDecision=308500 #constraints=7102
55.47/55.56	c nbDecision=309000 #constraints=7118
55.77/55.82	c nbDecision=309500 #constraints=7134
55.87/55.95	c nbDecision=310000 #constraints=7142
56.17/56.21	c nbDecision=310500 #constraints=7155
56.27/56.34	c nbDecision=311000 #constraints=7161
56.47/56.53	c nbDecision=311500 #constraints=7172
56.57/56.66	c nbDecision=312000 #constraints=7179
56.66/56.76	c nbDecision=312500 #constraints=7186
56.96/57.03	c nbDecision=313000 #constraints=7203
57.16/57.28	c nbDecision=313500 #constraints=7217
57.46/57.60	c nbDecision=314000 #constraints=7233
57.76/57.82	c nbDecision=314500 #constraints=7245
57.96/58.01	c nbDecision=315000 #constraints=7257
58.16/58.28	c nbDecision=315500 #constraints=7270
58.36/58.49	c nbDecision=316000 #constraints=7282
58.56/58.66	c nbDecision=316500 #constraints=7292
58.76/58.84	c nbDecision=317000 #constraints=7302
59.06/59.15	c nbDecision=317500 #constraints=7317
59.46/59.51	c nbDecision=318000 #constraints=7336
59.66/59.75	c nbDecision=318500 #constraints=7349
59.86/59.93	c nbDecision=319000 #constraints=7358
60.16/60.23	c nbDecision=319500 #constraints=7373
60.36/60.42	c nbDecision=320000 #constraints=7384
60.56/60.61	c nbDecision=320500 #constraints=7395
60.86/60.97	c nbDecision=321000 #constraints=7413
61.06/61.16	c nbDecision=321500 #constraints=7424
61.36/61.46	c nbDecision=322000 #constraints=7441
61.86/61.91	c nbDecision=322500 #constraints=7466
62.16/62.20	c nbDecision=323000 #constraints=7481
62.36/62.48	c nbDecision=323500 #constraints=7499
62.76/62.86	c nbDecision=324000 #constraints=7522
63.05/63.14	c nbDecision=324500 #constraints=7540
63.25/63.36	c nbDecision=325000 #constraints=7556
63.45/63.50	c nbDecision=325500 #constraints=7565
63.66/63.74	c nbDecision=326000 #constraints=7578
63.95/64.02	c nbDecision=326500 #constraints=7596
64.35/64.41	c nbDecision=327000 #constraints=7619
64.55/64.62	c nbDecision=327500 #constraints=7628
64.65/64.79	c nbDecision=328000 #constraints=7637
64.86/64.99	c nbDecision=328500 #constraints=7647
65.15/65.27	c nbDecision=329000 #constraints=7662
65.45/65.50	c nbDecision=329500 #constraints=7675
65.75/65.86	c nbDecision=330000 #constraints=7694
66.15/66.20	c nbDecision=330500 #constraints=7712
66.45/66.54	c nbDecision=331000 #constraints=7731
66.75/66.89	c nbDecision=331500 #constraints=7749
67.25/67.32	c nbDecision=332000 #constraints=7772
67.65/67.77	c nbDecision=332500 #constraints=7796
67.85/67.96	c nbDecision=333000 #constraints=7807
67.95/68.06	c nbDecision=333500 #constraints=7814
68.05/68.18	c nbDecision=334000 #constraints=7822
68.25/68.37	c nbDecision=334500 #constraints=7831
68.75/68.82	c nbDecision=335000 #constraints=7854
69.05/69.15	c nbDecision=335500 #constraints=7871
69.15/69.30	c nbDecision=336000 #constraints=7878
69.25/69.38	c nbDecision=336500 #constraints=7881
69.35/69.40	c nbDecision=337000 #constraints=7881
69.45/69.56	c nbDecision=337500 #constraints=7888
69.95/70.06	c nbDecision=338000 #constraints=7917
70.15/70.29	c nbDecision=338500 #constraints=7928
70.35/70.47	c nbDecision=339000 #constraints=7938
70.75/70.83	c nbDecision=339500 #constraints=7959
71.15/71.25	c nbDecision=340000 #constraints=7984
71.45/71.59	c nbDecision=340500 #constraints=8003
71.75/71.89	c nbDecision=341000 #constraints=8018
72.05/72.18	c nbDecision=341500 #constraints=8035
72.45/72.55	c nbDecision=342000 #constraints=8059
72.74/72.87	c nbDecision=342500 #constraints=8077
72.84/72.99	c nbDecision=343000 #constraints=8082
73.14/73.26	c nbDecision=343500 #constraints=8094
73.75/73.81	c nbDecision=344000 #constraints=8126
74.35/74.44	c nbDecision=344500 #constraints=8160
74.95/75.00	c nbDecision=345000 #constraints=8188
75.35/75.42	c nbDecision=345500 #constraints=8208
75.85/75.98	c nbDecision=346000 #constraints=8239
76.25/76.33	c nbDecision=346500 #constraints=8255
76.55/76.61	c nbDecision=347000 #constraints=8272
77.05/77.18	c nbDecision=347500 #constraints=8301
77.45/77.54	c nbDecision=348000 #constraints=8319
77.75/77.82	c nbDecision=348500 #constraints=8333
78.05/78.11	c nbDecision=349000 #constraints=8348
78.35/78.40	c nbDecision=349500 #constraints=8363
78.55/78.65	c nbDecision=350000 #constraints=8374
78.75/78.87	c nbDecision=350500 #constraints=8385
79.15/79.21	c nbDecision=351000 #constraints=8406
79.35/79.40	c nbDecision=351500 #constraints=8415
79.55/79.61	c nbDecision=352000 #constraints=8428
79.85/79.95	c nbDecision=352500 #constraints=8443
80.05/80.15	c nbDecision=353000 #constraints=8453
80.35/80.49	c nbDecision=353500 #constraints=8469
80.64/80.79	c nbDecision=354000 #constraints=8486
80.94/81.01	c nbDecision=354500 #constraints=8501
81.14/81.26	c nbDecision=355000 #constraints=8519
81.44/81.55	c nbDecision=355500 #constraints=8534
81.84/81.93	c nbDecision=356000 #constraints=8554
82.14/82.22	c nbDecision=356500 #constraints=8572
82.45/82.51	c nbDecision=357000 #constraints=8588
82.64/82.79	c nbDecision=357500 #constraints=8603
82.94/83.01	c nbDecision=358000 #constraints=8615
83.14/83.26	c nbDecision=358500 #constraints=8629
83.34/83.46	c nbDecision=359000 #constraints=8640
83.64/83.79	c nbDecision=359500 #constraints=8657
83.84/83.96	c nbDecision=360000 #constraints=8670
84.04/84.14	c nbDecision=360500 #constraints=8681
84.24/84.37	c nbDecision=361000 #constraints=8696
84.64/84.75	c nbDecision=361500 #constraints=8715
84.84/84.98	c nbDecision=362000 #constraints=8727
85.24/85.31	c nbDecision=362500 #constraints=8741
85.54/85.69	c nbDecision=363000 #constraints=8759
86.04/86.16	c nbDecision=363500 #constraints=8783
86.54/86.63	c nbDecision=364000 #constraints=8805
86.94/87.05	c nbDecision=364500 #constraints=8824
87.34/87.47	c nbDecision=365000 #constraints=8843
87.74/87.86	c nbDecision=365500 #constraints=8861
88.14/88.25	c nbDecision=366000 #constraints=8879
88.64/88.78	c nbDecision=366500 #constraints=8906
89.04/89.18	c nbDecision=367000 #constraints=8923
89.54/89.62	c nbDecision=367500 #constraints=8941
89.84/89.93	c nbDecision=368000 #constraints=8954
90.34/90.44	c nbDecision=368500 #constraints=8980
90.64/90.75	c nbDecision=369000 #constraints=8995
90.94/91.06	c nbDecision=369500 #constraints=9009
91.34/91.42	c nbDecision=370000 #constraints=9029
91.64/91.75	c nbDecision=370500 #constraints=9046
92.24/92.35	c nbDecision=371000 #constraints=9074
92.83/92.93	c nbDecision=371500 #constraints=9104
93.35/93.44	c nbDecision=372000 #constraints=9139
93.64/93.74	c nbDecision=372500 #constraints=9158
94.24/94.33	c nbDecision=373000 #constraints=9190
94.74/94.87	c nbDecision=373500 #constraints=9217
95.24/95.35	c nbDecision=374000 #constraints=9239
95.55/95.69	c nbDecision=374500 #constraints=9255
95.94/96.06	c nbDecision=375000 #constraints=9272
96.24/96.37	c nbDecision=375500 #constraints=9286
96.64/96.73	c nbDecision=376000 #constraints=9304
97.04/97.11	c nbDecision=376500 #constraints=9325
97.44/97.50	c nbDecision=377000 #constraints=9344
97.74/97.90	c nbDecision=377500 #constraints=9366
98.04/98.18	c nbDecision=378000 #constraints=9379
98.44/98.55	c nbDecision=378500 #constraints=9395
98.74/98.86	c nbDecision=379000 #constraints=9409
99.14/99.21	c nbDecision=379500 #constraints=9427
99.34/99.43	c nbDecision=380000 #constraints=9438
99.84/99.97	c nbDecision=380500 #constraints=9462
100.34/100.43	c nbDecision=381000 #constraints=9489
100.64/100.77	c nbDecision=381500 #constraints=9506
101.04/101.15	c nbDecision=382000 #constraints=9523
101.43/101.50	c nbDecision=382500 #constraints=9537
101.73/101.81	c nbDecision=383000 #constraints=9551
101.94/102.06	c nbDecision=383500 #constraints=9562
102.43/102.58	c nbDecision=384000 #constraints=9587
102.83/102.90	c nbDecision=384500 #constraints=9601
103.24/103.36	c nbDecision=385000 #constraints=9624
103.63/103.70	c nbDecision=385500 #constraints=9639
103.93/104.08	c nbDecision=386000 #constraints=9657
104.34/104.40	c nbDecision=386500 #constraints=9671
104.63/104.80	c nbDecision=387000 #constraints=9689
104.93/105.08	c nbDecision=387500 #constraints=9702
105.33/105.40	c nbDecision=388000 #constraints=9716
105.63/105.70	c nbDecision=388500 #constraints=9729
105.93/106.04	c nbDecision=389000 #constraints=9744
106.23/106.38	c nbDecision=389500 #constraints=9762
106.63/106.72	c nbDecision=390000 #constraints=9780
106.83/106.96	c nbDecision=390500 #constraints=9792
107.13/107.29	c nbDecision=391000 #constraints=9806
107.43/107.53	c nbDecision=391500 #constraints=9819
107.83/107.92	c nbDecision=392000 #constraints=9842
108.23/108.35	c nbDecision=392500 #constraints=9863
108.53/108.67	c nbDecision=393000 #constraints=9880
108.83/108.94	c nbDecision=393500 #constraints=9894
109.13/109.30	c nbDecision=394000 #constraints=9914
109.63/109.73	c nbDecision=394500 #constraints=9938
109.93/110.06	c nbDecision=395000 #constraints=9955
110.22/110.38	c nbDecision=395500 #constraints=9973
110.62/110.79	c nbDecision=396000 #constraints=9992
111.03/111.12	c nbDecision=396500 #constraints=10007
111.42/111.53	c nbDecision=397000 #constraints=10029
111.82/111.94	c nbDecision=397500 #constraints=10051
112.22/112.39	c nbDecision=398000 #constraints=10073
112.62/112.76	c nbDecision=398500 #constraints=10092
112.92/113.09	c nbDecision=399000 #constraints=10110
113.32/113.42	c nbDecision=399500 #constraints=10125
113.62/113.79	c nbDecision=400000 #constraints=10142
114.12/114.23	c nbDecision=400500 #constraints=10161
114.33/114.47	c nbDecision=401000 #constraints=10171
114.62/114.76	c nbDecision=401500 #constraints=10186
115.12/115.21	c nbDecision=402000 #constraints=10211
115.62/115.73	c nbDecision=402500 #constraints=10239
115.92/116.05	c nbDecision=403000 #constraints=10253
116.22/116.38	c nbDecision=403500 #constraints=10268
116.72/116.81	c nbDecision=404000 #constraints=10294
117.12/117.29	c nbDecision=404500 #constraints=10317
117.62/117.75	c nbDecision=405000 #constraints=10339
118.02/118.14	c nbDecision=405500 #constraints=10357
118.42/118.53	c nbDecision=406000 #constraints=10374
118.82/118.91	c nbDecision=406500 #constraints=10390
119.32/119.49	c nbDecision=407000 #constraints=10419
119.82/119.98	c nbDecision=407500 #constraints=10441
120.22/120.39	c nbDecision=408000 #constraints=10458
120.72/120.80	c nbDecision=408500 #constraints=10479
120.92/121.05	c nbDecision=409000 #constraints=10492
121.32/121.47	c nbDecision=409500 #constraints=10511
121.42/121.55	c restart after 409601 decisions
121.63/121.77	c nbDecision=410000 #constraints=10514
121.73/121.80	c nbDecision=410500 #constraints=10514
121.93/122.09	c nbDecision=411000 #constraints=10526
122.22/122.36	c nbDecision=411500 #constraints=10536
122.62/122.70	c nbDecision=412000 #constraints=10550
122.62/122.73	c nbDecision=412500 #constraints=10550
122.72/122.87	c nbDecision=413000 #constraints=10555
123.22/123.31	c nbDecision=413500 #constraints=10572
123.42/123.58	c nbDecision=414000 #constraints=10581
123.62/123.72	c nbDecision=414500 #constraints=10585
123.82/123.91	c nbDecision=415000 #constraints=10591
123.82/123.94	c nbDecision=415500 #constraints=10591
123.92/124.09	c nbDecision=416000 #constraints=10596
124.72/124.82	c nbDecision=416500 #constraints=10622
125.32/125.42	c nbDecision=417000 #constraints=10647
125.62/125.78	c nbDecision=417500 #constraints=10664
126.12/126.23	c nbDecision=418000 #constraints=10682
126.42/126.56	c nbDecision=418500 #constraints=10697
126.82/126.96	c nbDecision=419000 #constraints=10715
127.32/127.42	c nbDecision=419500 #constraints=10735
127.72/127.83	c nbDecision=420000 #constraints=10757
128.02/128.11	c nbDecision=420500 #constraints=10767
128.02/128.13	c nbDecision=421000 #constraints=10767
128.32/128.42	c nbDecision=421500 #constraints=10779
128.52/128.69	c nbDecision=422000 #constraints=10792
129.02/129.10	c nbDecision=422500 #constraints=10815
129.32/129.46	c nbDecision=423000 #constraints=10829
129.62/129.77	c nbDecision=423500 #constraints=10842
130.22/130.30	c nbDecision=424000 #constraints=10864
130.32/130.49	c nbDecision=424500 #constraints=10871
130.62/130.78	c nbDecision=425000 #constraints=10883
131.02/131.12	c nbDecision=425500 #constraints=10897
131.42/131.57	c nbDecision=426000 #constraints=10916
131.61/131.75	c nbDecision=426500 #constraints=10923
132.01/132.13	c nbDecision=427000 #constraints=10938
132.31/132.44	c nbDecision=427500 #constraints=10950
132.61/132.79	c nbDecision=428000 #constraints=10965
133.02/133.10	c nbDecision=428500 #constraints=10979
133.21/133.39	c nbDecision=429000 #constraints=10989
133.81/133.90	c nbDecision=429500 #constraints=11008
134.01/134.16	c nbDecision=430000 #constraints=11019
134.31/134.43	c nbDecision=430500 #constraints=11029
134.61/134.79	c nbDecision=431000 #constraints=11042
134.91/135.06	c nbDecision=431500 #constraints=11052
135.21/135.37	c nbDecision=432000 #constraints=11065
135.51/135.63	c nbDecision=432500 #constraints=11074
135.81/135.92	c nbDecision=433000 #constraints=11085
136.11/136.22	c nbDecision=433500 #constraints=11096
136.41/136.56	c nbDecision=434000 #constraints=11106
136.61/136.77	c nbDecision=434500 #constraints=11113
137.01/137.10	c nbDecision=435000 #constraints=11124
137.31/137.44	c nbDecision=435500 #constraints=11136
137.71/137.86	c nbDecision=436000 #constraints=11149
138.01/138.13	c nbDecision=436500 #constraints=11159
138.31/138.45	c nbDecision=437000 #constraints=11174
138.61/138.71	c nbDecision=437500 #constraints=11185
138.81/138.98	c nbDecision=438000 #constraints=11196
139.11/139.28	c nbDecision=438500 #constraints=11207
139.41/139.55	c nbDecision=439000 #constraints=11217
139.81/139.90	c nbDecision=439500 #constraints=11233
139.91/140.06	c nbDecision=440000 #constraints=11240
140.21/140.30	c nbDecision=440500 #constraints=11252
140.41/140.56	c nbDecision=441000 #constraints=11264
140.81/140.92	c nbDecision=441500 #constraints=11280
141.11/141.28	c nbDecision=442000 #constraints=11295
141.41/141.53	c nbDecision=442500 #constraints=11308
141.61/141.79	c nbDecision=443000 #constraints=11323
142.01/142.12	c nbDecision=443500 #constraints=11338
142.31/142.47	c nbDecision=444000 #constraints=11354
142.71/142.85	c nbDecision=444500 #constraints=11371
143.11/143.29	c nbDecision=445000 #constraints=11389
143.51/143.61	c nbDecision=445500 #constraints=11401
143.91/144.05	c nbDecision=446000 #constraints=11419
144.41/144.51	c nbDecision=446500 #constraints=11438
144.71/144.89	c nbDecision=447000 #constraints=11456
145.21/145.39	c nbDecision=447500 #constraints=11478
145.81/145.99	c nbDecision=448000 #constraints=11501
146.11/146.28	c nbDecision=448500 #constraints=11511
146.71/146.81	c nbDecision=449000 #constraints=11531
147.21/147.37	c nbDecision=449500 #constraints=11552
147.61/147.73	c nbDecision=450000 #constraints=11565
147.91/148.09	c nbDecision=450500 #constraints=11578
148.41/148.58	c nbDecision=451000 #constraints=11596
148.91/149.08	c nbDecision=451500 #constraints=11614
149.31/149.48	c nbDecision=452000 #constraints=11628
149.81/149.96	c nbDecision=452500 #constraints=11645
150.31/150.49	c nbDecision=453000 #constraints=11663
150.91/151.05	c nbDecision=453500 #constraints=11685
151.40/151.51	c nbDecision=454000 #constraints=11701
151.80/151.96	c nbDecision=454500 #constraints=11718
152.30/152.43	c nbDecision=455000 #constraints=11733
152.71/152.89	c nbDecision=455500 #constraints=11746
152.81/152.93	c nbDecision=456000 #constraints=11746
152.90/153.03	c nbDecision=456500 #constraints=11747
152.90/153.08	c nbDecision=457000 #constraints=11747
153.00/153.10	c nbDecision=457500 #constraints=11747
153.10/153.26	c nbDecision=458000 #constraints=11753
153.50/153.63	c nbDecision=458500 #constraints=11777
153.70/153.86	c nbDecision=459000 #constraints=11787
154.20/154.31	c nbDecision=459500 #constraints=11808
154.60/154.73	c nbDecision=460000 #constraints=11826
155.01/155.12	c nbDecision=460500 #constraints=11840
155.50/155.60	c nbDecision=461000 #constraints=11862
155.70/155.87	c nbDecision=461500 #constraints=11874
156.20/156.38	c nbDecision=462000 #constraints=11891
156.60/156.77	c nbDecision=462500 #constraints=11904
157.11/157.24	c nbDecision=463000 #constraints=11920
157.60/157.72	c nbDecision=463500 #constraints=11940
158.00/158.19	c nbDecision=464000 #constraints=11957
158.40/158.51	c nbDecision=464500 #constraints=11974
158.70/158.88	c nbDecision=465000 #constraints=11990
159.00/159.18	c nbDecision=465500 #constraints=11999
159.40/159.55	c nbDecision=466000 #constraints=12014
159.70/159.88	c nbDecision=466500 #constraints=12027
160.10/160.23	c nbDecision=467000 #constraints=12040
160.30/160.43	c nbDecision=467500 #constraints=12049
160.60/160.72	c nbDecision=468000 #constraints=12061
160.80/160.92	c nbDecision=468500 #constraints=12069
161.10/161.29	c nbDecision=469000 #constraints=12083
161.40/161.51	c nbDecision=469500 #constraints=12091
161.70/161.82	c nbDecision=470000 #constraints=12100
162.00/162.18	c nbDecision=470500 #constraints=12113
162.30/162.41	c nbDecision=471000 #constraints=12121
162.50/162.68	c nbDecision=471500 #constraints=12130
163.10/163.26	c nbDecision=472000 #constraints=12148
163.70/163.84	c nbDecision=472500 #constraints=12167
164.20/164.39	c nbDecision=473000 #constraints=12186
164.50/164.60	c nbDecision=473500 #constraints=12194
164.69/164.87	c nbDecision=474000 #constraints=12204
164.99/165.19	c nbDecision=474500 #constraints=12217
165.49/165.61	c nbDecision=475000 #constraints=12237
165.90/166.02	c nbDecision=475500 #constraints=12256
166.19/166.39	c nbDecision=476000 #constraints=12269
166.49/166.64	c nbDecision=476500 #constraints=12277
166.89/167.02	c nbDecision=477000 #constraints=12292
167.39/167.52	c nbDecision=477500 #constraints=12313
167.89/168.00	c nbDecision=478000 #constraints=12334
168.10/168.23	c nbDecision=478500 #constraints=12342
168.69/168.80	c nbDecision=479000 #constraints=12365
169.09/169.22	c nbDecision=479500 #constraints=12380
169.39/169.51	c nbDecision=480000 #constraints=12388
169.69/169.87	c nbDecision=480500 #constraints=12399
170.19/170.31	c nbDecision=481000 #constraints=12414
170.69/170.84	c nbDecision=481500 #constraints=12433
171.09/171.22	c nbDecision=482000 #constraints=12447
171.49/171.69	c nbDecision=482500 #constraints=12464
171.89/172.08	c nbDecision=483000 #constraints=12476
172.39/172.50	c nbDecision=483500 #constraints=12492
172.69/172.83	c nbDecision=484000 #constraints=12504
172.89/173.09	c nbDecision=484500 #constraints=12513
173.29/173.48	c nbDecision=485000 #constraints=12528
173.79/173.96	c nbDecision=485500 #constraints=12547
174.19/174.38	c nbDecision=486000 #constraints=12561
174.59/174.70	c nbDecision=486500 #constraints=12572
175.09/175.22	c nbDecision=487000 #constraints=12591
175.19/175.39	c nbDecision=487500 #constraints=12596
175.59/175.77	c nbDecision=488000 #constraints=12611
175.99/176.18	c nbDecision=488500 #constraints=12626
176.39/176.54	c nbDecision=489000 #constraints=12641
176.89/177.07	c nbDecision=489500 #constraints=12662
177.29/177.45	c nbDecision=490000 #constraints=12679
177.59/177.75	c nbDecision=490500 #constraints=12690
178.09/178.21	c nbDecision=491000 #constraints=12707
178.58/178.74	c nbDecision=491500 #constraints=12727
178.98/179.17	c nbDecision=492000 #constraints=12743
179.48/179.63	c nbDecision=492500 #constraints=12765
179.98/180.10	c nbDecision=493000 #constraints=12783
180.28/180.45	c nbDecision=493500 #constraints=12796
180.68/180.85	c nbDecision=494000 #constraints=12812
180.97/181.17	c nbDecision=494500 #constraints=12822
181.26/181.43	c nbDecision=495000 #constraints=12832
181.66/181.82	c nbDecision=495500 #constraints=12848
182.06/182.23	c nbDecision=496000 #constraints=12865
182.55/182.70	c nbDecision=496500 #constraints=12884
183.05/183.25	c nbDecision=497000 #constraints=12904
183.46/183.61	c nbDecision=497500 #constraints=12917
183.65/183.89	c nbDecision=498000 #constraints=12927
184.16/184.30	c nbDecision=498500 #constraints=12943
184.46/184.64	c nbDecision=499000 #constraints=12956
184.76/184.97	c nbDecision=499500 #constraints=12969
185.16/185.35	c nbDecision=500000 #constraints=12985
185.66/185.87	c nbDecision=500500 #constraints=13003
186.15/186.35	c nbDecision=501000 #constraints=13019
186.65/186.88	c nbDecision=501500 #constraints=13037
186.95/187.20	c nbDecision=502000 #constraints=13048
187.25/187.44	c nbDecision=502500 #constraints=13055
187.55/187.70	c nbDecision=503000 #constraints=13064
187.85/188.09	c nbDecision=503500 #constraints=13076
188.25/188.41	c nbDecision=504000 #constraints=13091
188.75/188.90	c nbDecision=504500 #constraints=13109
189.15/189.33	c nbDecision=505000 #constraints=13125
189.55/189.72	c nbDecision=505500 #constraints=13140
189.95/190.14	c nbDecision=506000 #constraints=13155
190.24/190.45	c nbDecision=506500 #constraints=13168
190.74/190.92	c nbDecision=507000 #constraints=13187
191.04/191.23	c nbDecision=507500 #constraints=13197
191.44/191.66	c nbDecision=508000 #constraints=13211
191.94/192.12	c nbDecision=508500 #constraints=13227
192.35/192.51	c nbDecision=509000 #constraints=13240
192.74/192.93	c nbDecision=509500 #constraints=13254
193.13/193.30	c nbDecision=510000 #constraints=13266
193.52/193.77	c nbDecision=510500 #constraints=13282
194.12/194.35	c nbDecision=511000 #constraints=13302
194.53/194.72	c nbDecision=511500 #constraints=13314
194.92/195.14	c nbDecision=512000 #constraints=13326
195.22/195.47	c nbDecision=512500 #constraints=13336
195.72/195.92	c nbDecision=513000 #constraints=13353
196.32/196.51	c nbDecision=513500 #constraints=13373
196.62/196.88	c nbDecision=514000 #constraints=13387
197.02/197.25	c nbDecision=514500 #constraints=13400
197.42/197.63	c nbDecision=515000 #constraints=13414
197.62/197.86	c nbDecision=515500 #constraints=13423
198.22/198.42	c nbDecision=516000 #constraints=13442
198.52/198.76	c nbDecision=516500 #constraints=13452
199.21/199.48	c nbDecision=517000 #constraints=13478
199.81/200.10	c nbDecision=517500 #constraints=13496
200.11/200.36	c nbDecision=518000 #constraints=13504
200.51/200.79	c nbDecision=518500 #constraints=13518
201.02/201.26	c nbDecision=519000 #constraints=13536
201.41/201.66	c nbDecision=519500 #constraints=13549
201.81/202.02	c nbDecision=520000 #constraints=13560
202.30/202.55	c nbDecision=520500 #constraints=13576
202.80/203.04	c nbDecision=521000 #constraints=13591
203.31/203.50	c nbDecision=521500 #constraints=13606
203.70/203.97	c nbDecision=522000 #constraints=13620
204.10/204.33	c nbDecision=522500 #constraints=13632
204.41/204.61	c nbDecision=523000 #constraints=13640
204.80/205.04	c nbDecision=523500 #constraints=13654
205.29/205.53	c nbDecision=524000 #constraints=13668
205.59/205.87	c nbDecision=524500 #constraints=13677
205.89/206.19	c nbDecision=525000 #constraints=13687
206.39/206.64	c nbDecision=525500 #constraints=13700
206.99/207.22	c nbDecision=526000 #constraints=13719
207.60/207.82	c nbDecision=526500 #constraints=13739
208.00/208.24	c nbDecision=527000 #constraints=13751
208.60/208.81	c nbDecision=527500 #constraints=13766
209.10/209.38	c nbDecision=528000 #constraints=13782
209.80/210.03	c nbDecision=528500 #constraints=13802
210.09/210.35	c nbDecision=529000 #constraints=13813
210.49/210.79	c nbDecision=529500 #constraints=13827
211.00/211.23	c nbDecision=530000 #constraints=13843
211.39/211.61	c nbDecision=530500 #constraints=13856
211.69/211.99	c nbDecision=531000 #constraints=13871
212.00/212.24	c nbDecision=531500 #constraints=13878
212.49/212.70	c nbDecision=532000 #constraints=13895
212.79/213.08	c nbDecision=532500 #constraints=13907
213.20/213.48	c nbDecision=533000 #constraints=13921
213.69/213.92	c nbDecision=533500 #constraints=13934
214.29/214.52	c nbDecision=534000 #constraints=13954
214.89/215.14	c nbDecision=534500 #constraints=13978
215.49/215.73	c nbDecision=535000 #constraints=13999
216.19/216.49	c nbDecision=535500 #constraints=14019
216.78/217.08	c nbDecision=536000 #constraints=14040
217.28/217.55	c nbDecision=536500 #constraints=14057
217.59/217.86	c nbDecision=537000 #constraints=14067
217.78/218.04	c nbDecision=537500 #constraints=14074
218.08/218.38	c nbDecision=538000 #constraints=14088
218.58/218.89	c nbDecision=538500 #constraints=14106
219.08/219.34	c nbDecision=539000 #constraints=14121
219.88/220.11	c nbDecision=539500 #constraints=14145
220.58/220.83	c nbDecision=540000 #constraints=14168
221.08/221.34	c nbDecision=540500 #constraints=14186
221.68/221.99	c nbDecision=541000 #constraints=14205
222.38/222.62	c nbDecision=541500 #constraints=14222
223.08/223.31	c nbDecision=542000 #constraints=14243
223.47/223.73	c nbDecision=542500 #constraints=14254
223.97/224.23	c nbDecision=543000 #constraints=14270
224.47/224.73	c nbDecision=543500 #constraints=14285
224.97/225.27	c nbDecision=544000 #constraints=14303
225.87/226.13	c nbDecision=544500 #constraints=14324
226.37/226.64	c nbDecision=545000 #constraints=14335
226.86/227.12	c nbDecision=545500 #constraints=14346
227.37/227.61	c nbDecision=546000 #constraints=14358
227.76/228.03	c nbDecision=546500 #constraints=14368
228.26/228.51	c nbDecision=547000 #constraints=14379
228.87/229.18	c nbDecision=547500 #constraints=14395
229.57/229.88	c nbDecision=548000 #constraints=14415
230.06/230.37	c nbDecision=548500 #constraints=14432
230.66/230.96	c nbDecision=549000 #constraints=14457
231.16/231.42	c nbDecision=549500 #constraints=14470
231.56/231.80	c nbDecision=550000 #constraints=14484
232.05/232.32	c nbDecision=550500 #constraints=14500
232.45/232.77	c nbDecision=551000 #constraints=14513
232.95/233.24	c nbDecision=551500 #constraints=14525
233.55/233.80	c nbDecision=552000 #constraints=14539
234.06/234.34	c nbDecision=552500 #constraints=14553
234.66/234.95	c nbDecision=553000 #constraints=14571
235.06/235.35	c nbDecision=553500 #constraints=14582
235.46/235.78	c nbDecision=554000 #constraints=14595
236.06/236.34	c nbDecision=554500 #constraints=14611
236.56/236.88	c nbDecision=555000 #constraints=14628
237.16/237.46	c nbDecision=555500 #constraints=14645
237.56/237.87	c nbDecision=556000 #constraints=14655
238.15/238.45	c nbDecision=556500 #constraints=14671
238.55/238.88	c nbDecision=557000 #constraints=14687
239.25/239.54	c nbDecision=557500 #constraints=14707
239.75/240.07	c nbDecision=558000 #constraints=14722
240.15/240.45	c nbDecision=558500 #constraints=14733
240.66/240.94	c nbDecision=559000 #constraints=14747
241.05/241.39	c nbDecision=559500 #constraints=14758
241.45/241.76	c nbDecision=560000 #constraints=14768
241.85/242.14	c nbDecision=560500 #constraints=14781
242.25/242.55	c nbDecision=561000 #constraints=14796
242.55/242.83	c nbDecision=561500 #constraints=14808
242.95/243.21	c nbDecision=562000 #constraints=14819
243.25/243.59	c nbDecision=562500 #constraints=14830
243.75/244.06	c nbDecision=563000 #constraints=14842
244.05/244.33	c nbDecision=563500 #constraints=14848
244.35/244.66	c nbDecision=564000 #constraints=14856
244.55/244.88	c nbDecision=564500 #constraints=14863
244.95/245.20	c nbDecision=565000 #constraints=14874
245.15/245.42	c nbDecision=565500 #constraints=14882
245.55/245.82	c nbDecision=566000 #constraints=14892
245.85/246.16	c nbDecision=566500 #constraints=14901
246.15/246.46	c nbDecision=567000 #constraints=14909
246.65/246.95	c nbDecision=567500 #constraints=14924
247.15/247.45	c nbDecision=568000 #constraints=14939
247.65/247.99	c nbDecision=568500 #constraints=14953
248.15/248.49	c nbDecision=569000 #constraints=14967
248.54/248.82	c nbDecision=569500 #constraints=14977
248.84/249.11	c nbDecision=570000 #constraints=14985
249.24/249.57	c nbDecision=570500 #constraints=14997
249.84/250.12	c nbDecision=571000 #constraints=15012
250.34/250.62	c nbDecision=571500 #constraints=15026
250.64/250.97	c nbDecision=572000 #constraints=15035
251.04/251.33	c nbDecision=572500 #constraints=15043
251.44/251.77	c nbDecision=573000 #constraints=15055
251.84/252.13	c nbDecision=573500 #constraints=15065
252.14/252.40	c nbDecision=574000 #constraints=15071
252.64/252.92	c nbDecision=574500 #constraints=15084
253.34/253.60	c nbDecision=575000 #constraints=15099
253.74/254.10	c nbDecision=575500 #constraints=15116
254.34/254.61	c nbDecision=576000 #constraints=15129
254.84/255.19	c nbDecision=576500 #constraints=15143
255.44/255.74	c nbDecision=577000 #constraints=15159
256.14/256.41	c nbDecision=577500 #constraints=15178
256.64/256.94	c nbDecision=578000 #constraints=15191
257.14/257.43	c nbDecision=578500 #constraints=15204
257.94/258.22	c nbDecision=579000 #constraints=15224
258.53/258.84	c nbDecision=579500 #constraints=15243
258.93/259.21	c nbDecision=580000 #constraints=15254
259.43/259.78	c nbDecision=580500 #constraints=15272
260.13/260.44	c nbDecision=581000 #constraints=15292
260.83/261.16	c nbDecision=581500 #constraints=15315
261.33/261.60	c nbDecision=582000 #constraints=15329
261.93/262.25	c nbDecision=582500 #constraints=15350
262.33/262.66	c nbDecision=583000 #constraints=15360
263.03/263.30	c nbDecision=583500 #constraints=15377
263.43/263.75	c nbDecision=584000 #constraints=15389
264.03/264.35	c nbDecision=584500 #constraints=15408
264.83/265.12	c nbDecision=585000 #constraints=15429
265.33/265.64	c nbDecision=585500 #constraints=15443
265.83/266.11	c nbDecision=586000 #constraints=15454
266.23/266.59	c nbDecision=586500 #constraints=15466
266.83/267.12	c nbDecision=587000 #constraints=15481
267.23/267.50	c nbDecision=587500 #constraints=15492
267.83/268.18	c nbDecision=588000 #constraints=15509
268.53/268.85	c nbDecision=588500 #constraints=15530
269.03/269.36	c nbDecision=589000 #constraints=15544
269.73/270.00	c nbDecision=589500 #constraints=15563
270.33/270.67	c nbDecision=590000 #constraints=15579
271.23/271.57	c nbDecision=590500 #constraints=15603
271.93/272.21	c nbDecision=591000 #constraints=15619
272.33/272.65	c nbDecision=591500 #constraints=15630
272.83/273.13	c nbDecision=592000 #constraints=15641
273.33/273.62	c nbDecision=592500 #constraints=15653
274.13/274.42	c nbDecision=593000 #constraints=15673
274.73/275.09	c nbDecision=593500 #constraints=15693
275.33/275.66	c nbDecision=594000 #constraints=15710
275.93/276.29	c nbDecision=594500 #constraints=15729
276.42/276.75	c nbDecision=595000 #constraints=15744
276.93/277.23	c nbDecision=595500 #constraints=15759
277.42/277.71	c nbDecision=596000 #constraints=15773
277.82/278.12	c nbDecision=596500 #constraints=15788
278.03/278.39	c nbDecision=597000 #constraints=15795
278.62/278.95	c nbDecision=597500 #constraints=15808
279.22/279.56	c nbDecision=598000 #constraints=15822
279.72/280.02	c nbDecision=598500 #constraints=15836
280.52/280.85	c nbDecision=599000 #constraints=15857
281.03/281.33	c nbDecision=599500 #constraints=15871
281.83/282.11	c nbDecision=600000 #constraints=15893
282.23/282.56	c nbDecision=600500 #constraints=15907
282.83/283.16	c nbDecision=601000 #constraints=15926
283.33/283.66	c nbDecision=601500 #constraints=15943
283.93/284.20	c nbDecision=602000 #constraints=15960
284.23/284.50	c nbDecision=602500 #constraints=15973
284.63/284.93	c nbDecision=603000 #constraints=15989
285.03/285.38	c nbDecision=603500 #constraints=16004
285.43/285.77	c nbDecision=604000 #constraints=16021
285.83/286.17	c nbDecision=604500 #constraints=16035
286.53/286.82	c nbDecision=605000 #constraints=16053
286.83/287.15	c nbDecision=605500 #constraints=16061
287.13/287.49	c nbDecision=606000 #constraints=16070
287.53/287.89	c nbDecision=606500 #constraints=16083
288.12/288.44	c nbDecision=607000 #constraints=16101
288.52/288.87	c nbDecision=607500 #constraints=16114
289.03/289.31	c nbDecision=608000 #constraints=16127
289.32/289.68	c nbDecision=608500 #constraints=16138
289.82/290.11	c nbDecision=609000 #constraints=16151
290.22/290.52	c nbDecision=609500 #constraints=16163
290.72/291.00	c nbDecision=610000 #constraints=16180
291.13/291.45	c nbDecision=610500 #constraints=16195
291.72/292.07	c nbDecision=611000 #constraints=16222
292.23/292.51	c nbDecision=611500 #constraints=16237
292.62/292.95	c nbDecision=612000 #constraints=16252
293.22/293.53	c nbDecision=612500 #constraints=16271
293.62/293.98	c nbDecision=613000 #constraints=16286
294.12/294.47	c nbDecision=613500 #constraints=16301
294.52/294.84	c nbDecision=614000 #constraints=16313
294.92/295.26	c nbDecision=614500 #constraints=16327
295.32/295.63	c nbDecision=615000 #constraints=16340
295.82/296.14	c nbDecision=615500 #constraints=16355
296.32/296.67	c nbDecision=616000 #constraints=16371
296.82/297.11	c nbDecision=616500 #constraints=16386
297.11/297.49	c nbDecision=617000 #constraints=16399
297.61/297.91	c nbDecision=617500 #constraints=16414
298.01/298.31	c nbDecision=618000 #constraints=16429
298.31/298.63	c nbDecision=618500 #constraints=16439
298.82/299.10	c nbDecision=619000 #constraints=16452
299.11/299.48	c nbDecision=619500 #constraints=16463
299.61/299.91	c nbDecision=620000 #constraints=16478
300.02/300.32	c nbDecision=620500 #constraints=16492
300.41/300.75	c nbDecision=621000 #constraints=16507
300.81/301.18	c nbDecision=621500 #constraints=16521
301.31/301.61	c nbDecision=622000 #constraints=16534
301.61/301.97	c nbDecision=622500 #constraints=16545
302.51/302.89	c nbDecision=623000 #constraints=16567
303.01/303.37	c nbDecision=623500 #constraints=16586
303.51/303.82	c nbDecision=624000 #constraints=16602
304.01/304.30	c nbDecision=624500 #constraints=16616
304.51/304.84	c nbDecision=625000 #constraints=16633
304.91/305.20	c nbDecision=625500 #constraints=16645
305.31/305.62	c nbDecision=626000 #constraints=16659
305.71/306.04	c nbDecision=626500 #constraints=16671
306.21/306.55	c nbDecision=627000 #constraints=16687
306.61/306.98	c nbDecision=627500 #constraints=16701
307.01/307.34	c nbDecision=628000 #constraints=16711
307.41/307.70	c nbDecision=628500 #constraints=16724
307.91/308.29	c nbDecision=629000 #constraints=16741
308.51/308.85	c nbDecision=629500 #constraints=16756
309.11/309.42	c nbDecision=630000 #constraints=16774
309.51/309.85	c nbDecision=630500 #constraints=16787
310.01/310.38	c nbDecision=631000 #constraints=16802
310.41/310.77	c nbDecision=631500 #constraints=16815
310.91/311.25	c nbDecision=632000 #constraints=16830
311.41/311.79	c nbDecision=632500 #constraints=16844
311.81/312.14	c nbDecision=633000 #constraints=16853
312.40/312.73	c nbDecision=633500 #constraints=16868
313.00/313.34	c nbDecision=634000 #constraints=16886
313.50/313.81	c nbDecision=634500 #constraints=16900
313.90/314.23	c nbDecision=635000 #constraints=16912
314.50/314.90	c nbDecision=635500 #constraints=16930
315.00/315.35	c nbDecision=636000 #constraints=16942
315.51/315.81	c nbDecision=636500 #constraints=16955
316.01/316.31	c nbDecision=637000 #constraints=16970
316.42/316.72	c nbDecision=637500 #constraints=16979
316.81/317.14	c nbDecision=638000 #constraints=16991
317.21/317.55	c nbDecision=638500 #constraints=17002
317.71/318.01	c nbDecision=639000 #constraints=17014
318.41/318.74	c nbDecision=639500 #constraints=17037
319.41/319.78	c nbDecision=640000 #constraints=17065
320.01/320.39	c nbDecision=640500 #constraints=17085
320.11/320.42	c nbDecision=641000 #constraints=17085
320.51/320.87	c nbDecision=641500 #constraints=17099
321.01/321.32	c nbDecision=642000 #constraints=17116
321.41/321.71	c nbDecision=642500 #constraints=17128
321.81/322.15	c nbDecision=643000 #constraints=17146
322.21/322.54	c nbDecision=643500 #constraints=17157
323.01/323.35	c nbDecision=644000 #constraints=17181
323.51/323.83	c nbDecision=644500 #constraints=17192
323.91/324.21	c nbDecision=645000 #constraints=17204
324.61/324.91	c nbDecision=645500 #constraints=17223
325.21/325.57	c nbDecision=646000 #constraints=17243
325.71/326.01	c nbDecision=646500 #constraints=17256
326.21/326.59	c nbDecision=647000 #constraints=17273
326.81/327.10	c nbDecision=647500 #constraints=17287
327.41/327.76	c nbDecision=648000 #constraints=17306
328.11/328.40	c nbDecision=648500 #constraints=17325
328.41/328.73	c nbDecision=649000 #constraints=17335
328.91/329.23	c nbDecision=649500 #constraints=17351
329.40/329.70	c nbDecision=650000 #constraints=17364
329.90/330.21	c nbDecision=650500 #constraints=17382
330.50/330.80	c nbDecision=651000 #constraints=17402
331.00/331.35	c nbDecision=651500 #constraints=17419
331.60/331.91	c nbDecision=652000 #constraints=17435
332.10/332.47	c nbDecision=652500 #constraints=17453
332.91/333.23	c nbDecision=653000 #constraints=17476
333.60/333.98	c nbDecision=653500 #constraints=17497
334.20/334.55	c nbDecision=654000 #constraints=17514
334.90/335.29	c nbDecision=654500 #constraints=17539
335.50/335.88	c nbDecision=655000 #constraints=17557
336.31/336.62	c nbDecision=655500 #constraints=17579
336.90/337.27	c nbDecision=656000 #constraints=17599
337.80/338.17	c nbDecision=656500 #constraints=17625
338.60/338.92	c nbDecision=657000 #constraints=17646
339.40/339.80	c nbDecision=657500 #constraints=17672
340.10/340.43	c nbDecision=658000 #constraints=17687
340.90/341.28	c nbDecision=658500 #constraints=17713
341.80/342.12	c nbDecision=659000 #constraints=17744
342.20/342.54	c nbDecision=659500 #constraints=17757
342.60/342.97	c nbDecision=660000 #constraints=17770
343.10/343.46	c nbDecision=660500 #constraints=17786
343.80/344.16	c nbDecision=661000 #constraints=17806
344.30/344.61	c nbDecision=661500 #constraints=17817
344.90/345.25	c nbDecision=662000 #constraints=17837
345.40/345.77	c nbDecision=662500 #constraints=17854
346.10/346.46	c nbDecision=663000 #constraints=17874
346.50/346.85	c nbDecision=663500 #constraints=17885
347.50/347.80	c nbDecision=664000 #constraints=17913
348.00/348.35	c nbDecision=664500 #constraints=17927
348.60/348.99	c nbDecision=665000 #constraints=17944
348.80/349.19	c nbDecision=665500 #constraints=17947
349.19/349.58	c nbDecision=666000 #constraints=17956
349.89/350.28	c nbDecision=666500 #constraints=17976
350.39/350.79	c nbDecision=667000 #constraints=17989
351.19/351.59	c nbDecision=667500 #constraints=18011
352.09/352.43	c nbDecision=668000 #constraints=18036
352.70/353.06	c nbDecision=668500 #constraints=18055
353.39/353.76	c nbDecision=669000 #constraints=18075
354.29/354.69	c nbDecision=669500 #constraints=18100
354.90/355.28	c nbDecision=670000 #constraints=18116
355.69/356.00	c nbDecision=670500 #constraints=18133
356.19/356.54	c nbDecision=671000 #constraints=18146
356.79/357.14	c nbDecision=671500 #constraints=18162
357.39/357.77	c nbDecision=672000 #constraints=18179
357.99/358.36	c nbDecision=672500 #constraints=18196
358.49/358.87	c nbDecision=673000 #constraints=18210
359.19/359.52	c nbDecision=673500 #constraints=18226
359.69/360.01	c nbDecision=674000 #constraints=18237
360.09/360.48	c nbDecision=674500 #constraints=18246
360.59/360.92	c nbDecision=675000 #constraints=18256
360.99/361.31	c nbDecision=675500 #constraints=18265
361.49/361.85	c nbDecision=676000 #constraints=18277
362.08/362.46	c nbDecision=676500 #constraints=18293
362.48/362.80	c nbDecision=677000 #constraints=18302
362.79/363.19	c nbDecision=677500 #constraints=18311
363.49/363.88	c nbDecision=678000 #constraints=18328
363.89/364.25	c nbDecision=678500 #constraints=18337
364.39/364.78	c nbDecision=679000 #constraints=18350
365.09/365.43	c nbDecision=679500 #constraints=18363
365.39/365.78	c nbDecision=680000 #constraints=18370
366.19/366.55	c nbDecision=680500 #constraints=18387
366.79/367.12	c nbDecision=681000 #constraints=18400
367.39/367.74	c nbDecision=681500 #constraints=18413
367.89/368.24	c nbDecision=682000 #constraints=18425
368.79/369.13	c nbDecision=682500 #constraints=18444
369.59/369.93	c nbDecision=683000 #constraints=18463
370.39/370.75	c nbDecision=683500 #constraints=18482
370.89/371.28	c nbDecision=684000 #constraints=18493
371.29/371.65	c nbDecision=684500 #constraints=18500
371.79/372.17	c nbDecision=685000 #constraints=18512
372.29/372.65	c nbDecision=685500 #constraints=18522
372.89/373.21	c nbDecision=686000 #constraints=18536
373.29/373.63	c nbDecision=686500 #constraints=18545
373.69/374.07	c nbDecision=687000 #constraints=18555
374.29/374.63	c nbDecision=687500 #constraints=18567
374.69/375.04	c nbDecision=688000 #constraints=18576
375.09/375.43	c nbDecision=688500 #constraints=18584
375.59/375.90	c nbDecision=689000 #constraints=18594
375.99/376.34	c nbDecision=689500 #constraints=18606
376.68/377.10	c nbDecision=690000 #constraints=18623
377.28/377.61	c nbDecision=690500 #constraints=18633
377.88/378.24	c nbDecision=691000 #constraints=18646
378.48/378.82	c nbDecision=691500 #constraints=18658
378.98/379.36	c nbDecision=692000 #constraints=18670
379.68/380.04	c nbDecision=692500 #constraints=18687
380.38/380.71	c nbDecision=693000 #constraints=18702
381.08/381.40	c nbDecision=693500 #constraints=18717
381.58/381.96	c nbDecision=694000 #constraints=18732
382.18/382.52	c nbDecision=694500 #constraints=18747
382.58/382.97	c nbDecision=695000 #constraints=18757
382.88/383.27	c nbDecision=695500 #constraints=18766
383.28/383.61	c nbDecision=696000 #constraints=18776
383.58/383.97	c nbDecision=696500 #constraints=18785
384.28/384.64	c nbDecision=697000 #constraints=18802
384.98/385.38	c nbDecision=697500 #constraints=18821
385.68/386.02	c nbDecision=698000 #constraints=18836
386.28/386.65	c nbDecision=698500 #constraints=18851
386.68/387.01	c nbDecision=699000 #constraints=18859
387.08/387.45	c nbDecision=699500 #constraints=18870
387.68/388.09	c nbDecision=700000 #constraints=18887
388.38/388.80	c nbDecision=700500 #constraints=18902
388.87/389.28	c nbDecision=701000 #constraints=18915
389.47/389.83	c nbDecision=701500 #constraints=18931
389.77/390.19	c nbDecision=702000 #constraints=18940
390.37/390.79	c nbDecision=702500 #constraints=18953
390.97/391.31	c nbDecision=703000 #constraints=18966
391.48/391.83	c nbDecision=703500 #constraints=18979
391.97/392.31	c nbDecision=704000 #constraints=18993
392.57/392.91	c nbDecision=704500 #constraints=19011
393.07/393.48	c nbDecision=705000 #constraints=19029
393.77/394.16	c nbDecision=705500 #constraints=19049
394.27/394.65	c nbDecision=706000 #constraints=19060
394.87/395.22	c nbDecision=706500 #constraints=19072
395.37/395.76	c nbDecision=707000 #constraints=19085
395.77/396.18	c nbDecision=707500 #constraints=19093
396.37/396.74	c nbDecision=708000 #constraints=19106
396.97/397.32	c nbDecision=708500 #constraints=19120
397.47/397.82	c nbDecision=709000 #constraints=19133
398.27/398.61	c nbDecision=709500 #constraints=19150
398.77/399.16	c nbDecision=710000 #constraints=19165
399.27/399.63	c nbDecision=710500 #constraints=19180
399.87/400.26	c nbDecision=711000 #constraints=19198
400.57/400.97	c nbDecision=711500 #constraints=19215
401.17/401.57	c nbDecision=712000 #constraints=19229
401.57/401.91	c nbDecision=712500 #constraints=19237
402.07/402.49	c nbDecision=713000 #constraints=19249
402.67/403.10	c nbDecision=713500 #constraints=19264
403.07/403.46	c nbDecision=714000 #constraints=19275
403.57/403.96	c nbDecision=714500 #constraints=19290
404.07/404.40	c nbDecision=715000 #constraints=19301
404.56/404.95	c nbDecision=715500 #constraints=19317
405.07/405.43	c nbDecision=716000 #constraints=19329
405.67/406.07	c nbDecision=716500 #constraints=19345
406.07/406.42	c nbDecision=717000 #constraints=19354
406.47/406.90	c nbDecision=717500 #constraints=19366
407.07/407.43	c nbDecision=718000 #constraints=19378
407.57/407.99	c nbDecision=718500 #constraints=19391
408.27/408.62	c nbDecision=719000 #constraints=19409
408.67/409.00	c nbDecision=719500 #constraints=19419
409.17/409.51	c nbDecision=720000 #constraints=19431
409.57/409.93	c nbDecision=720500 #constraints=19440
410.07/410.40	c nbDecision=721000 #constraints=19451
410.57/411.00	c nbDecision=721500 #constraints=19465
411.07/411.41	c nbDecision=722000 #constraints=19475
411.77/412.16	c nbDecision=722500 #constraints=19495
412.27/412.60	c nbDecision=723000 #constraints=19506
412.67/413.09	c nbDecision=723500 #constraints=19519
413.27/413.64	c nbDecision=724000 #constraints=19533
413.67/414.06	c nbDecision=724500 #constraints=19543
414.37/414.78	c nbDecision=725000 #constraints=19561
415.07/415.46	c nbDecision=725500 #constraints=19581
415.47/415.89	c nbDecision=726000 #constraints=19591
416.07/416.40	c nbDecision=726500 #constraints=19605
416.57/416.96	c nbDecision=727000 #constraints=19623
417.36/417.75	c nbDecision=727500 #constraints=19642
418.16/418.54	c nbDecision=728000 #constraints=19662
418.77/419.16	c nbDecision=728500 #constraints=19676
419.46/419.83	c nbDecision=729000 #constraints=19696
419.96/420.35	c nbDecision=729500 #constraints=19711
420.66/421.00	c nbDecision=730000 #constraints=19728
421.16/421.53	c nbDecision=730500 #constraints=19742
422.06/422.45	c nbDecision=731000 #constraints=19767
422.66/423.09	c nbDecision=731500 #constraints=19783
423.26/423.63	c nbDecision=732000 #constraints=19796
423.76/424.17	c nbDecision=732500 #constraints=19810
424.26/424.61	c nbDecision=733000 #constraints=19824
425.06/425.41	c nbDecision=733500 #constraints=19846
425.56/425.91	c nbDecision=734000 #constraints=19858
426.36/426.79	c nbDecision=734500 #constraints=19881
426.86/427.29	c nbDecision=735000 #constraints=19894
427.56/427.97	c nbDecision=735500 #constraints=19913
428.46/428.87	c nbDecision=736000 #constraints=19933
429.06/429.45	c nbDecision=736500 #constraints=19948
429.96/430.30	c nbDecision=737000 #constraints=19969
430.76/431.19	c nbDecision=737500 #constraints=19993
431.16/431.53	c nbDecision=738000 #constraints=20001
432.16/432.50	c nbDecision=738500 #constraints=20029
432.75/433.12	c nbDecision=739000 #constraints=20043
433.35/433.77	c nbDecision=739500 #constraints=20059
434.06/434.46	c nbDecision=740000 #constraints=20074
434.65/435.07	c nbDecision=740500 #constraints=20089
435.45/435.87	c nbDecision=741000 #constraints=20110
436.26/436.65	c nbDecision=741500 #constraints=20126
437.05/437.44	c nbDecision=742000 #constraints=20145
437.85/438.24	c nbDecision=742500 #constraints=20163
438.35/438.76	c nbDecision=743000 #constraints=20176
439.05/439.40	c nbDecision=743500 #constraints=20194
439.65/440.09	c nbDecision=744000 #constraints=20209
440.25/440.63	c nbDecision=744500 #constraints=20223
441.05/441.43	c nbDecision=745000 #constraints=20244
441.65/442.07	c nbDecision=745500 #constraints=20261
442.55/442.93	c nbDecision=746000 #constraints=20287
442.95/443.35	c nbDecision=746500 #constraints=20300
443.55/443.90	c nbDecision=747000 #constraints=20312
444.15/444.57	c nbDecision=747500 #constraints=20328
444.55/444.98	c nbDecision=748000 #constraints=20338
445.75/446.10	c nbDecision=748500 #constraints=20361
446.15/446.53	c nbDecision=749000 #constraints=20371
446.55/446.96	c nbDecision=749500 #constraints=20381
447.55/447.91	c nbDecision=750000 #constraints=20402
448.25/448.68	c nbDecision=750500 #constraints=20419
449.05/449.40	c nbDecision=751000 #constraints=20435
449.85/450.22	c nbDecision=751500 #constraints=20449
450.45/450.80	c nbDecision=752000 #constraints=20462
450.85/451.26	c nbDecision=752500 #constraints=20471
451.66/452.04	c nbDecision=753000 #constraints=20486
452.15/452.59	c nbDecision=753500 #constraints=20499
452.86/453.23	c nbDecision=754000 #constraints=20513
453.85/454.26	c nbDecision=754500 #constraints=20533
454.65/455.06	c nbDecision=755000 #constraints=20549
455.15/455.57	c nbDecision=755500 #constraints=20560
455.75/456.19	c nbDecision=756000 #constraints=20573
456.45/456.85	c nbDecision=756500 #constraints=20585
457.25/457.62	c nbDecision=757000 #constraints=20600
457.75/458.12	c nbDecision=757500 #constraints=20610
458.45/458.83	c nbDecision=758000 #constraints=20624
459.25/459.63	c nbDecision=758500 #constraints=20640
459.74/460.19	c nbDecision=759000 #constraints=20654
460.24/460.64	c nbDecision=759500 #constraints=20664
460.94/461.33	c nbDecision=760000 #constraints=20682
461.44/461.88	c nbDecision=760500 #constraints=20692
462.04/462.47	c nbDecision=761000 #constraints=20705
462.75/463.16	c nbDecision=761500 #constraints=20721
463.24/463.68	c nbDecision=762000 #constraints=20732
463.94/464.31	c nbDecision=762500 #constraints=20744
464.54/464.92	c nbDecision=763000 #constraints=20757
465.14/465.54	c nbDecision=763500 #constraints=20772
465.64/466.09	c nbDecision=764000 #constraints=20784
466.14/466.57	c nbDecision=764500 #constraints=20795
466.64/467.03	c nbDecision=765000 #constraints=20806
467.24/467.63	c nbDecision=765500 #constraints=20820
467.84/468.23	c nbDecision=766000 #constraints=20833
468.34/468.79	c nbDecision=766500 #constraints=20846
469.24/469.62	c nbDecision=767000 #constraints=20866
469.94/470.34	c nbDecision=767500 #constraints=20881
470.64/471.09	c nbDecision=768000 #constraints=20897
471.14/471.53	c nbDecision=768500 #constraints=20906
471.84/472.28	c nbDecision=769000 #constraints=20922
472.54/473.00	c nbDecision=769500 #constraints=20938
473.24/473.62	c nbDecision=770000 #constraints=20955
473.84/474.29	c nbDecision=770500 #constraints=20971
474.84/475.27	c nbDecision=771000 #constraints=20990
475.63/476.00	c nbDecision=771500 #constraints=21005
476.33/476.70	c nbDecision=772000 #constraints=21019
476.83/477.30	c nbDecision=772500 #constraints=21032
477.63/478.02	c nbDecision=773000 #constraints=21046
478.43/478.80	c nbDecision=773500 #constraints=21060
478.93/479.33	c nbDecision=774000 #constraints=21072
479.83/480.27	c nbDecision=774500 #constraints=21093
480.23/480.66	c nbDecision=775000 #constraints=21103
481.13/481.54	c nbDecision=775500 #constraints=21120
481.63/482.01	c nbDecision=776000 #constraints=21131
482.03/482.45	c nbDecision=776500 #constraints=21142
482.73/483.18	c nbDecision=777000 #constraints=21158
483.33/483.79	c nbDecision=777500 #constraints=21170
484.03/484.47	c nbDecision=778000 #constraints=21186
484.83/485.20	c nbDecision=778500 #constraints=21201
485.43/485.81	c nbDecision=779000 #constraints=21214
486.23/486.65	c nbDecision=779500 #constraints=21230
487.24/487.63	c nbDecision=780000 #constraints=21248
488.34/488.73	c nbDecision=780500 #constraints=21270
489.34/489.70	c nbDecision=781000 #constraints=21286
489.94/490.35	c nbDecision=781500 #constraints=21298
490.84/491.28	c nbDecision=782000 #constraints=21316
491.43/491.84	c nbDecision=782500 #constraints=21327
491.93/492.39	c nbDecision=783000 #constraints=21339
493.03/493.42	c nbDecision=783500 #constraints=21359
493.63/494.00	c nbDecision=784000 #constraints=21372
494.23/494.63	c nbDecision=784500 #constraints=21386
494.83/495.22	c nbDecision=785000 #constraints=21399
495.53/495.99	c nbDecision=785500 #constraints=21413
496.03/496.47	c nbDecision=786000 #constraints=21424
496.73/497.11	c nbDecision=786500 #constraints=21437
497.43/497.82	c nbDecision=787000 #constraints=21452
498.23/498.60	c nbDecision=787500 #constraints=21471
498.83/499.25	c nbDecision=788000 #constraints=21483
499.23/499.66	c nbDecision=788500 #constraints=21488
500.03/500.46	c nbDecision=789000 #constraints=21506
500.63/501.08	c nbDecision=789500 #constraints=21522
501.23/501.60	c nbDecision=790000 #constraints=21536
502.12/502.51	c nbDecision=790500 #constraints=21554
502.72/503.15	c nbDecision=791000 #constraints=21568
503.43/503.85	c nbDecision=791500 #constraints=21582
504.32/504.76	c nbDecision=792000 #constraints=21600
505.02/505.44	c nbDecision=792500 #constraints=21615
505.82/506.25	c nbDecision=793000 #constraints=21631
506.42/506.88	c nbDecision=793500 #constraints=21643
507.12/507.54	c nbDecision=794000 #constraints=21655
507.72/508.16	c nbDecision=794500 #constraints=21667
508.12/508.60	c nbDecision=795000 #constraints=21675
508.92/509.31	c nbDecision=795500 #constraints=21689
509.52/509.98	c nbDecision=796000 #constraints=21702
510.12/510.51	c nbDecision=796500 #constraints=21713
510.82/511.25	c nbDecision=797000 #constraints=21726
511.72/512.11	c nbDecision=797500 #constraints=21743
512.52/512.90	c nbDecision=798000 #constraints=21757
512.92/513.35	c nbDecision=798500 #constraints=21765
513.62/514.06	c nbDecision=799000 #constraints=21781
514.12/514.54	c nbDecision=799500 #constraints=21790
514.82/515.28	c nbDecision=800000 #constraints=21804
515.82/516.25	c nbDecision=800500 #constraints=21822
516.52/516.98	c nbDecision=801000 #constraints=21840
517.12/517.55	c nbDecision=801500 #constraints=21853
517.82/518.29	c nbDecision=802000 #constraints=21866
519.12/519.57	c nbDecision=802500 #constraints=21890
520.41/520.82	c nbDecision=803000 #constraints=21916
521.61/522.00	c nbDecision=803500 #constraints=21941
522.21/522.69	c nbDecision=804000 #constraints=21955
523.12/523.54	c nbDecision=804500 #constraints=21975
523.71/524.19	c nbDecision=805000 #constraints=21988
524.32/524.79	c nbDecision=805500 #constraints=22000
524.91/525.30	c nbDecision=806000 #constraints=22009
525.51/525.90	c nbDecision=806500 #constraints=22021
526.42/526.85	c nbDecision=807000 #constraints=22043
527.41/527.89	c nbDecision=807500 #constraints=22064
528.21/528.60	c nbDecision=808000 #constraints=22079
529.61/530.02	c nbDecision=808500 #constraints=22107
530.61/531.07	c nbDecision=809000 #constraints=22129
531.41/531.81	c nbDecision=809500 #constraints=22147
531.81/532.28	c nbDecision=810000 #constraints=22157
532.51/532.93	c nbDecision=810500 #constraints=22171
533.41/533.85	c nbDecision=811000 #constraints=22189
534.41/534.86	c nbDecision=811500 #constraints=22209
535.31/535.70	c nbDecision=812000 #constraints=22227
535.91/536.39	c nbDecision=812500 #constraints=22242
536.51/536.98	c nbDecision=813000 #constraints=22255
537.21/537.63	c nbDecision=813500 #constraints=22270
537.91/538.33	c nbDecision=814000 #constraints=22284
538.81/539.27	c nbDecision=814500 #constraints=22307
539.81/540.23	c nbDecision=815000 #constraints=22327
540.71/541.13	c nbDecision=815500 #constraints=22343
541.71/542.19	c nbDecision=816000 #constraints=22364
542.51/542.98	c nbDecision=816500 #constraints=22379
543.31/543.77	c nbDecision=817000 #constraints=22396
544.71/545.15	c nbDecision=817500 #constraints=22421
545.41/545.85	c nbDecision=818000 #constraints=22434
546.41/546.89	c nbDecision=818500 #constraints=22455
548.10/548.51	c nbDecision=819000 #constraints=22484
549.10/549.53	c restart after 819201 decisions
549.70/550.10	c nbDecision=819500 #constraints=22505
549.70/550.15	c nbDecision=820000 #constraints=22505
550.00/550.49	c nbDecision=820500 #constraints=22509
550.80/551.26	c nbDecision=821000 #constraints=22527
551.81/552.24	c nbDecision=821500 #constraints=22547
552.70/553.13	c nbDecision=822000 #constraints=22566
553.60/554.06	c nbDecision=822500 #constraints=22587
555.20/555.63	c nbDecision=823000 #constraints=22623
556.00/556.48	c nbDecision=823500 #constraints=22641
556.80/557.23	c nbDecision=824000 #constraints=22658
557.60/558.09	c nbDecision=824500 #constraints=22677
558.41/558.89	c nbDecision=825000 #constraints=22693
559.60/560.04	c nbDecision=825500 #constraints=22722
560.30/560.76	c nbDecision=826000 #constraints=22736
560.90/561.36	c nbDecision=826500 #constraints=22748
561.50/561.99	c nbDecision=827000 #constraints=22760
562.20/562.67	c nbDecision=827500 #constraints=22774
562.80/563.27	c nbDecision=828000 #constraints=22783
563.50/563.95	c nbDecision=828500 #constraints=22799
564.20/564.69	c nbDecision=829000 #constraints=22814
565.10/565.59	c nbDecision=829500 #constraints=22832
565.90/566.30	c nbDecision=830000 #constraints=22844
566.60/567.09	c nbDecision=830500 #constraints=22860
567.50/567.95	c nbDecision=831000 #constraints=22873
568.20/568.60	c nbDecision=831500 #constraints=22885
569.00/569.42	c nbDecision=832000 #constraints=22899
569.80/570.21	c nbDecision=832500 #constraints=22915
570.40/570.81	c nbDecision=833000 #constraints=22926
571.09/571.58	c nbDecision=833500 #constraints=22941
571.89/572.35	c nbDecision=834000 #constraints=22953
572.79/573.29	c nbDecision=834500 #constraints=22970
573.70/574.14	c nbDecision=835000 #constraints=22988
574.69/575.17	c nbDecision=835500 #constraints=23007
575.09/575.56	c nbDecision=836000 #constraints=23014
576.00/576.43	c nbDecision=836500 #constraints=23031
576.39/576.86	c nbDecision=837000 #constraints=23039
577.39/577.83	c nbDecision=837500 #constraints=23063
578.10/578.58	c nbDecision=838000 #constraints=23080
578.79/579.21	c nbDecision=838500 #constraints=23096
579.49/579.94	c nbDecision=839000 #constraints=23112
580.29/580.72	c nbDecision=839500 #constraints=23131
581.09/581.56	c nbDecision=840000 #constraints=23151
581.79/582.20	c nbDecision=840500 #constraints=23164
582.59/583.02	c nbDecision=841000 #constraints=23182
583.39/583.85	c nbDecision=841500 #constraints=23200
584.19/584.63	c nbDecision=842000 #constraints=23217
584.79/585.29	c nbDecision=842500 #constraints=23231
585.69/586.19	c nbDecision=843000 #constraints=23252
586.29/586.78	c nbDecision=843500 #constraints=23265
587.09/587.52	c nbDecision=844000 #constraints=23280
587.69/588.15	c nbDecision=844500 #constraints=23293
587.79/588.21	c nbDecision=845000 #constraints=23293
589.09/589.60	c nbDecision=845500 #constraints=23311
589.78/590.26	c nbDecision=846000 #constraints=23326
590.58/591.06	c nbDecision=846500 #constraints=23343
591.78/592.21	c nbDecision=847000 #constraints=23366
592.39/592.88	c nbDecision=847500 #constraints=23382
593.38/593.80	c nbDecision=848000 #constraints=23399
593.88/594.37	c nbDecision=848500 #constraints=23410
594.69/595.14	c nbDecision=849000 #constraints=23422
595.28/595.77	c nbDecision=849500 #constraints=23433
595.38/595.82	c nbDecision=850000 #constraints=23433
597.09/597.55	c nbDecision=850500 #constraints=23462
598.00/598.43	c nbDecision=851000 #constraints=23477
599.39/599.83	c nbDecision=851500 #constraints=23500
600.59/601.01	c nbDecision=852000 #constraints=23521
601.79/602.24	c nbDecision=852500 #constraints=23538
602.69/603.17	c nbDecision=853000 #constraints=23553
603.79/604.21	c nbDecision=853500 #constraints=23567
604.99/605.46	c nbDecision=854000 #constraints=23589
606.29/606.72	c nbDecision=854500 #constraints=23611
607.09/607.51	c nbDecision=855000 #constraints=23628
607.59/608.08	c nbDecision=855500 #constraints=23640
608.18/608.61	c nbDecision=856000 #constraints=23651
608.78/609.27	c nbDecision=856500 #constraints=23665
609.49/609.93	c nbDecision=857000 #constraints=23678
610.18/610.66	c nbDecision=857500 #constraints=23694
610.98/611.49	c nbDecision=858000 #constraints=23709
612.19/612.60	c nbDecision=858500 #constraints=23731
613.18/613.64	c nbDecision=859000 #constraints=23751
614.28/614.75	c nbDecision=859500 #constraints=23772
615.28/615.74	c nbDecision=860000 #constraints=23793
616.18/616.68	c nbDecision=860500 #constraints=23812
616.98/617.50	c nbDecision=861000 #constraints=23828
618.08/618.57	c nbDecision=861500 #constraints=23849
618.98/619.48	c nbDecision=862000 #constraints=23867
619.78/620.28	c nbDecision=862500 #constraints=23881
620.78/621.20	c nbDecision=863000 #constraints=23901
621.68/622.18	c nbDecision=863500 #constraints=23923
622.28/622.78	c nbDecision=864000 #constraints=23936
623.38/623.83	c nbDecision=864500 #constraints=23956
624.28/624.79	c nbDecision=865000 #constraints=23974
625.17/625.65	c nbDecision=865500 #constraints=23989
626.77/627.20	c nbDecision=866000 #constraints=24018
627.27/627.79	c nbDecision=866500 #constraints=24028
628.27/628.70	c nbDecision=867000 #constraints=24046
629.07/629.52	c nbDecision=867500 #constraints=24059
629.78/630.27	c nbDecision=868000 #constraints=24072
630.77/631.28	c nbDecision=868500 #constraints=24088
631.67/632.19	c nbDecision=869000 #constraints=24102
632.47/632.97	c nbDecision=869500 #constraints=24118
633.17/633.67	c nbDecision=870000 #constraints=24130
634.57/635.02	c nbDecision=870500 #constraints=24153
635.47/635.92	c nbDecision=871000 #constraints=24170
636.37/636.83	c nbDecision=871500 #constraints=24186
637.27/637.71	c nbDecision=872000 #constraints=24202
638.37/638.85	c nbDecision=872500 #constraints=24223
639.47/639.92	c nbDecision=873000 #constraints=24242
640.27/640.78	c nbDecision=873500 #constraints=24257
641.07/641.55	c nbDecision=874000 #constraints=24269
641.97/642.47	c nbDecision=874500 #constraints=24286
642.67/643.17	c nbDecision=875000 #constraints=24303
643.57/644.05	c nbDecision=875500 #constraints=24317
644.07/644.59	c nbDecision=876000 #constraints=24326
645.36/645.80	c nbDecision=876500 #constraints=24349
646.16/646.69	c nbDecision=877000 #constraints=24363
647.26/647.71	c nbDecision=877500 #constraints=24380
648.47/648.94	c nbDecision=878000 #constraints=24400
649.16/649.67	c nbDecision=878500 #constraints=24413
650.06/650.52	c nbDecision=879000 #constraints=24430
650.86/651.32	c nbDecision=879500 #constraints=24444
651.56/652.02	c nbDecision=880000 #constraints=24456
652.66/653.12	c nbDecision=880500 #constraints=24476
653.26/653.79	c nbDecision=881000 #constraints=24488
654.06/654.56	c nbDecision=881500 #constraints=24502
655.26/655.70	c nbDecision=882000 #constraints=24522
655.76/656.30	c nbDecision=882500 #constraints=24534
656.46/656.90	c nbDecision=883000 #constraints=24548
657.16/657.66	c nbDecision=883500 #constraints=24563
657.96/658.44	c nbDecision=884000 #constraints=24580
659.16/659.60	c nbDecision=884500 #constraints=24601
659.76/660.26	c nbDecision=885000 #constraints=24612
660.56/661.07	c nbDecision=885500 #constraints=24628
661.26/661.71	c nbDecision=886000 #constraints=24637
662.26/662.73	c nbDecision=886500 #constraints=24656
663.06/663.57	c nbDecision=887000 #constraints=24673
663.86/664.30	c nbDecision=887500 #constraints=24687
664.65/665.11	c nbDecision=888000 #constraints=24700
665.55/666.09	c nbDecision=888500 #constraints=24719
666.35/666.86	c nbDecision=889000 #constraints=24734
667.16/667.68	c nbDecision=889500 #constraints=24751
667.95/668.47	c nbDecision=890000 #constraints=24766
669.25/669.75	c nbDecision=890500 #constraints=24791
670.35/670.86	c nbDecision=891000 #constraints=24817
671.15/671.66	c nbDecision=891500 #constraints=24834
672.25/672.77	c nbDecision=892000 #constraints=24856
673.15/673.68	c nbDecision=892500 #constraints=24874
674.15/674.68	c nbDecision=893000 #constraints=24894
675.15/675.69	c nbDecision=893500 #constraints=24916
676.25/676.78	c nbDecision=894000 #constraints=24941
677.15/677.62	c nbDecision=894500 #constraints=24956
677.95/678.48	c nbDecision=895000 #constraints=24974
678.95/679.41	c nbDecision=895500 #constraints=24993
679.75/680.21	c nbDecision=896000 #constraints=25008
680.56/681.00	c nbDecision=896500 #constraints=25025
681.46/681.92	c nbDecision=897000 #constraints=25044
682.45/682.96	c nbDecision=897500 #constraints=25065
683.66/684.11	c nbDecision=898000 #constraints=25089
684.65/685.13	c nbDecision=898500 #constraints=25106
685.75/686.23	c nbDecision=899000 #constraints=25127
686.65/687.17	c nbDecision=899500 #constraints=25144
687.65/688.18	c nbDecision=900000 #constraints=25164
688.65/689.11	c nbDecision=900500 #constraints=25183
689.45/689.97	c nbDecision=901000 #constraints=25203
690.35/690.89	c nbDecision=901500 #constraints=25224
691.45/691.95	c nbDecision=902000 #constraints=25246
692.55/693.01	c nbDecision=902500 #constraints=25267
693.55/694.08	c nbDecision=903000 #constraints=25287
694.45/694.91	c nbDecision=903500 #constraints=25303
694.95/695.46	c nbDecision=904000 #constraints=25313
696.55/697.02	c nbDecision=904500 #constraints=25341
697.74/698.27	c nbDecision=905000 #constraints=25363
699.34/699.83	c nbDecision=905500 #constraints=25395
700.54/701.02	c nbDecision=906000 #constraints=25418
702.04/702.59	c nbDecision=906500 #constraints=25451
703.14/703.62	c nbDecision=907000 #constraints=25473
704.44/704.95	c nbDecision=907500 #constraints=25500
705.54/706.09	c nbDecision=908000 #constraints=25528
706.54/707.03	c nbDecision=908500 #constraints=25547
707.34/707.84	c nbDecision=909000 #constraints=25562
708.24/708.79	c nbDecision=909500 #constraints=25579
709.54/710.04	c nbDecision=910000 #constraints=25605
710.74/711.23	c nbDecision=910500 #constraints=25628
711.44/711.93	c nbDecision=911000 #constraints=25640
712.44/712.99	c nbDecision=911500 #constraints=25661
713.54/714.02	c nbDecision=912000 #constraints=25680
714.54/715.04	c nbDecision=912500 #constraints=25702
715.74/716.26	c nbDecision=913000 #constraints=25729
716.64/717.16	c nbDecision=913500 #constraints=25747
717.93/718.45	c nbDecision=914000 #constraints=25773
718.94/719.47	c nbDecision=914500 #constraints=25793
719.94/720.48	c nbDecision=915000 #constraints=25814
720.73/721.29	c nbDecision=915500 #constraints=25831
721.63/722.16	c nbDecision=916000 #constraints=25846
722.14/722.67	c nbDecision=916500 #constraints=25855
723.24/723.75	c nbDecision=917000 #constraints=25880
724.34/724.84	c nbDecision=917500 #constraints=25902
725.44/725.99	c nbDecision=918000 #constraints=25924
726.74/727.23	c nbDecision=918500 #constraints=25950
727.64/728.13	c nbDecision=919000 #constraints=25967
728.64/729.11	c nbDecision=919500 #constraints=25989
729.24/729.79	c nbDecision=920000 #constraints=26000
730.14/730.65	c nbDecision=920500 #constraints=26014
731.44/731.90	c nbDecision=921000 #constraints=26036
732.33/732.85	c nbDecision=921500 #constraints=26053
733.33/733.88	c nbDecision=922000 #constraints=26072
734.83/735.33	c nbDecision=922500 #constraints=26098
736.03/736.57	c nbDecision=923000 #constraints=26121
737.23/737.78	c nbDecision=923500 #constraints=26143
738.83/739.34	c nbDecision=924000 #constraints=26169
739.63/740.11	c nbDecision=924500 #constraints=26183
740.13/740.66	c nbDecision=925000 #constraints=26195
740.73/741.26	c nbDecision=925500 #constraints=26205
741.43/741.95	c nbDecision=926000 #constraints=26215
741.43/741.98	c nbDecision=926500 #constraints=26215
741.63/742.20	c nbDecision=927000 #constraints=26216
741.73/742.27	c nbDecision=927500 #constraints=26216
742.33/742.86	c nbDecision=928000 #constraints=26226
742.93/743.46	c nbDecision=928500 #constraints=26238
743.53/744.03	c nbDecision=929000 #constraints=26245
744.13/744.62	c nbDecision=929500 #constraints=26254
744.53/745.10	c nbDecision=930000 #constraints=26261
745.43/745.90	c nbDecision=930500 #constraints=26274
746.03/746.59	c nbDecision=931000 #constraints=26290
746.53/747.06	c nbDecision=931500 #constraints=26300
747.03/747.59	c nbDecision=932000 #constraints=26307
747.53/748.08	c nbDecision=932500 #constraints=26319
748.03/748.57	c nbDecision=933000 #constraints=26326
748.63/749.12	c nbDecision=933500 #constraints=26335
749.22/749.77	c nbDecision=934000 #constraints=26347
750.02/750.50	c nbDecision=934500 #constraints=26361
750.52/751.01	c nbDecision=935000 #constraints=26371
750.92/751.45	c nbDecision=935500 #constraints=26378
751.52/752.01	c nbDecision=936000 #constraints=26391
751.83/752.31	c nbDecision=936500 #constraints=26397
752.22/752.77	c nbDecision=937000 #constraints=26404
752.93/753.40	c nbDecision=937500 #constraints=26418
753.52/754.07	c nbDecision=938000 #constraints=26434
753.92/754.44	c nbDecision=938500 #constraints=26443
754.42/754.94	c nbDecision=939000 #constraints=26456
754.92/755.47	c nbDecision=939500 #constraints=26469
755.72/756.28	c nbDecision=940000 #constraints=26494
756.42/756.91	c nbDecision=940500 #constraints=26509
756.82/757.31	c nbDecision=941000 #constraints=26519
757.32/757.81	c nbDecision=941500 #constraints=26530
759.23/759.74	c nbDecision=942000 #constraints=26560
760.63/761.16	c nbDecision=942500 #constraints=26584
762.62/763.13	c nbDecision=943000 #constraints=26622
764.42/764.95	c nbDecision=943500 #constraints=26649
766.23/766.75	c nbDecision=944000 #constraints=26678
767.92/768.41	c nbDecision=944500 #constraints=26705
768.52/769.00	c nbDecision=945000 #constraints=26716
769.22/769.70	c nbDecision=945500 #constraints=26730
770.22/770.70	c nbDecision=946000 #constraints=26746
771.72/772.24	c nbDecision=946500 #constraints=26770
772.72/773.27	c nbDecision=947000 #constraints=26787
774.12/774.65	c nbDecision=947500 #constraints=26809
775.42/775.95	c nbDecision=948000 #constraints=26828
776.61/777.18	c nbDecision=948500 #constraints=26847
777.91/778.41	c nbDecision=949000 #constraints=26867
778.91/779.40	c nbDecision=949500 #constraints=26882
780.31/780.85	c nbDecision=950000 #constraints=26905
781.31/781.86	c nbDecision=950500 #constraints=26917
782.51/783.05	c nbDecision=951000 #constraints=26938
783.31/783.85	c nbDecision=951500 #constraints=26957
784.71/785.25	c nbDecision=952000 #constraints=26980
786.01/786.57	c nbDecision=952500 #constraints=27000
787.81/788.37	c nbDecision=953000 #constraints=27032
789.31/789.89	c nbDecision=953500 #constraints=27058
790.50/791.08	c nbDecision=954000 #constraints=27080
792.20/792.77	c nbDecision=954500 #constraints=27114
794.00/794.58	c nbDecision=955000 #constraints=27146
795.91/796.49	c nbDecision=955500 #constraints=27180
797.01/797.55	c nbDecision=956000 #constraints=27200
798.20/798.75	c nbDecision=956500 #constraints=27219
799.70/800.25	c nbDecision=957000 #constraints=27241
800.81/801.33	c nbDecision=957500 #constraints=27261
801.91/802.47	c nbDecision=958000 #constraints=27279
803.21/803.78	c nbDecision=958500 #constraints=27302
805.01/805.54	c nbDecision=959000 #constraints=27330
806.41/806.94	c nbDecision=959500 #constraints=27356
807.81/808.40	c nbDecision=960000 #constraints=27385
809.31/809.80	c nbDecision=960500 #constraints=27411
810.91/811.40	c nbDecision=961000 #constraints=27438
812.51/813.04	c nbDecision=961500 #constraints=27467
813.91/814.45	c nbDecision=962000 #constraints=27489
815.61/816.13	c nbDecision=962500 #constraints=27517
817.40/817.99	c nbDecision=963000 #constraints=27552
819.01/819.56	c nbDecision=963500 #constraints=27573
820.11/820.68	c nbDecision=964000 #constraints=27592
820.80/821.30	c nbDecision=964500 #constraints=27603
821.90/822.45	c nbDecision=965000 #constraints=27627
823.30/823.88	c nbDecision=965500 #constraints=27653
824.30/824.85	c nbDecision=966000 #constraints=27668
825.20/825.71	c nbDecision=966500 #constraints=27680
825.90/826.41	c nbDecision=967000 #constraints=27695
826.80/827.35	c nbDecision=967500 #constraints=27716
827.70/828.26	c nbDecision=968000 #constraints=27738
829.00/829.53	c nbDecision=968500 #constraints=27760
830.10/830.65	c nbDecision=969000 #constraints=27778
830.60/831.12	c nbDecision=969500 #constraints=27785
832.00/832.51	c nbDecision=970000 #constraints=27803
833.20/833.79	c nbDecision=970500 #constraints=27826
834.30/834.90	c nbDecision=971000 #constraints=27843
835.40/835.93	c nbDecision=971500 #constraints=27860
836.29/836.84	c nbDecision=972000 #constraints=27877
836.79/837.33	c nbDecision=972500 #constraints=27885
838.39/838.99	c nbDecision=973000 #constraints=27908
839.99/840.59	c nbDecision=973500 #constraints=27936
841.09/841.67	c nbDecision=974000 #constraints=27955
842.09/842.65	c nbDecision=974500 #constraints=27976
842.99/843.50	c nbDecision=975000 #constraints=27998
843.79/844.38	c nbDecision=975500 #constraints=28014
845.89/846.41	c nbDecision=976000 #constraints=28052
847.19/847.75	c nbDecision=976500 #constraints=28077
848.49/849.06	c nbDecision=977000 #constraints=28105
850.29/850.88	c nbDecision=977500 #constraints=28139
850.80/851.31	c nbDecision=978000 #constraints=28144
852.09/852.65	c nbDecision=978500 #constraints=28165
853.69/854.27	c nbDecision=979000 #constraints=28191
854.69/855.26	c nbDecision=979500 #constraints=28201
855.89/856.43	c nbDecision=980000 #constraints=28219
856.39/856.98	c nbDecision=980500 #constraints=28227
857.69/858.23	c nbDecision=981000 #constraints=28250
858.49/859.04	c nbDecision=981500 #constraints=28267
859.29/859.80	c nbDecision=982000 #constraints=28283
859.99/860.57	c nbDecision=982500 #constraints=28297
860.89/861.47	c nbDecision=983000 #constraints=28315
861.59/862.16	c nbDecision=983500 #constraints=28329
862.28/862.89	c nbDecision=984000 #constraints=28344
863.18/863.74	c nbDecision=984500 #constraints=28365
864.18/864.79	c nbDecision=985000 #constraints=28388
865.09/865.67	c nbDecision=985500 #constraints=28406
865.88/866.45	c nbDecision=986000 #constraints=28421
866.48/867.07	c nbDecision=986500 #constraints=28432
867.39/867.91	c nbDecision=987000 #constraints=28450
868.08/868.61	c nbDecision=987500 #constraints=28465
868.78/869.39	c nbDecision=988000 #constraints=28480
869.38/870.00	c nbDecision=988500 #constraints=28492
870.38/870.95	c nbDecision=989000 #constraints=28510
871.38/871.92	c nbDecision=989500 #constraints=28531
872.18/872.75	c nbDecision=990000 #constraints=28549
873.18/873.79	c nbDecision=990500 #constraints=28576
874.28/874.84	c nbDecision=991000 #constraints=28601
875.18/875.77	c nbDecision=991500 #constraints=28624
876.08/876.67	c nbDecision=992000 #constraints=28646
876.88/877.43	c nbDecision=992500 #constraints=28661
877.38/877.95	c nbDecision=993000 #constraints=28672
878.98/879.53	c nbDecision=993500 #constraints=28700
879.98/880.53	c nbDecision=994000 #constraints=28716
881.18/881.76	c nbDecision=994500 #constraints=28741
882.17/882.75	c nbDecision=995000 #constraints=28761
883.17/883.71	c nbDecision=995500 #constraints=28781
884.37/884.95	c nbDecision=996000 #constraints=28802
885.17/885.71	c nbDecision=996500 #constraints=28818
886.17/886.75	c nbDecision=997000 #constraints=28839
886.87/887.47	c nbDecision=997500 #constraints=28851
888.28/888.85	c nbDecision=998000 #constraints=28874
889.67/890.20	c nbDecision=998500 #constraints=28895
890.67/891.29	c nbDecision=999000 #constraints=28918
891.77/892.33	c nbDecision=999500 #constraints=28937
893.27/893.83	c nbDecision=1000000 #constraints=28959
894.77/895.33	c nbDecision=1000500 #constraints=28979
895.97/896.55	c nbDecision=1001000 #constraints=29002
897.17/897.76	c nbDecision=1001500 #constraints=29020
898.87/899.42	c nbDecision=1002000 #constraints=29046
900.06/900.63	c nbDecision=1002500 #constraints=29067
901.37/901.92	c nbDecision=1003000 #constraints=29092
902.47/903.08	c nbDecision=1003500 #constraints=29115
903.26/903.81	c nbDecision=1004000 #constraints=29130
904.26/904.84	c nbDecision=1004500 #constraints=29144
905.46/906.05	c nbDecision=1005000 #constraints=29161
906.36/906.92	c nbDecision=1005500 #constraints=29175
907.66/908.28	c nbDecision=1006000 #constraints=29196
908.56/909.16	c nbDecision=1006500 #constraints=29209
909.66/910.22	c nbDecision=1007000 #constraints=29224
910.46/911.01	c nbDecision=1007500 #constraints=29236
911.46/912.06	c nbDecision=1008000 #constraints=29252
912.36/912.98	c nbDecision=1008500 #constraints=29267
914.06/914.66	c nbDecision=1009000 #constraints=29290
915.06/915.69	c nbDecision=1009500 #constraints=29307
916.36/916.91	c nbDecision=1010000 #constraints=29324
917.56/918.15	c nbDecision=1010500 #constraints=29344
918.86/919.48	c nbDecision=1011000 #constraints=29364
920.56/921.12	c nbDecision=1011500 #constraints=29384
921.86/922.43	c nbDecision=1012000 #constraints=29404
923.26/923.83	c nbDecision=1012500 #constraints=29424
923.96/924.57	c nbDecision=1013000 #constraints=29447
924.46/925.01	c nbDecision=1013500 #constraints=29457
924.46/925.06	c nbDecision=1014000 #constraints=29457
925.86/926.43	c nbDecision=1014500 #constraints=29481
926.86/927.42	c nbDecision=1015000 #constraints=29498
928.06/928.62	c nbDecision=1015500 #constraints=29522
928.96/929.56	c nbDecision=1016000 #constraints=29538
929.85/930.49	c nbDecision=1016500 #constraints=29554
930.95/931.56	c nbDecision=1017000 #constraints=29574
931.85/932.49	c nbDecision=1017500 #constraints=29595
932.55/933.14	c nbDecision=1018000 #constraints=29610
933.26/933.88	c nbDecision=1018500 #constraints=29628
933.85/934.49	c nbDecision=1019000 #constraints=29643
934.95/935.55	c nbDecision=1019500 #constraints=29672
935.65/936.22	c nbDecision=1020000 #constraints=29691
936.25/936.85	c nbDecision=1020500 #constraints=29706
936.75/937.33	c nbDecision=1021000 #constraints=29719
937.35/937.94	c nbDecision=1021500 #constraints=29734
937.65/938.28	c nbDecision=1022000 #constraints=29742
938.55/939.16	c nbDecision=1022500 #constraints=29763
939.15/939.72	c nbDecision=1023000 #constraints=29778
939.95/940.55	c nbDecision=1023500 #constraints=29800
940.75/941.36	c nbDecision=1024000 #constraints=29818
941.24/941.84	c nbDecision=1024500 #constraints=29831
941.84/942.42	c nbDecision=1025000 #constraints=29846
942.24/942.88	c nbDecision=1025500 #constraints=29856
942.94/943.51	c nbDecision=1026000 #constraints=29869
943.54/944.12	c nbDecision=1026500 #constraints=29883
944.25/944.88	c nbDecision=1027000 #constraints=29902
944.95/945.58	c nbDecision=1027500 #constraints=29917
945.55/946.15	c nbDecision=1028000 #constraints=29930
946.35/946.93	c nbDecision=1028500 #constraints=29949
947.15/947.71	c nbDecision=1029000 #constraints=29971
947.75/948.39	c nbDecision=1029500 #constraints=29988
948.45/949.09	c nbDecision=1030000 #constraints=30003
949.25/949.80	c nbDecision=1030500 #constraints=30018
949.75/950.39	c nbDecision=1031000 #constraints=30027
950.65/951.20	c nbDecision=1031500 #constraints=30040
951.35/951.99	c nbDecision=1032000 #constraints=30052
952.25/952.80	c nbDecision=1032500 #constraints=30067
952.95/953.53	c nbDecision=1033000 #constraints=30080
953.55/954.10	c nbDecision=1033500 #constraints=30087
954.45/955.08	c nbDecision=1034000 #constraints=30106
955.45/956.07	c nbDecision=1034500 #constraints=30127
956.25/956.86	c nbDecision=1035000 #constraints=30141
956.84/957.47	c nbDecision=1035500 #constraints=30150
957.64/958.26	c nbDecision=1036000 #constraints=30164
959.14/959.78	c nbDecision=1036500 #constraints=30185
959.54/960.19	c nbDecision=1037000 #constraints=30189
960.04/960.69	c nbDecision=1037500 #constraints=30193
960.14/960.75	c nbDecision=1038000 #constraints=30193
960.94/961.58	c nbDecision=1038500 #constraints=30205
961.64/962.27	c nbDecision=1039000 #constraints=30216
962.54/963.19	c nbDecision=1039500 #constraints=30231
963.34/963.91	c nbDecision=1040000 #constraints=30240
964.44/965.08	c nbDecision=1040500 #constraints=30257
965.34/965.99	c nbDecision=1041000 #constraints=30276
966.04/966.62	c nbDecision=1041500 #constraints=30285
967.04/967.66	c nbDecision=1042000 #constraints=30298
968.04/968.70	c nbDecision=1042500 #constraints=30311
968.84/969.45	c nbDecision=1043000 #constraints=30322
969.84/970.40	c nbDecision=1043500 #constraints=30337
971.14/971.73	c nbDecision=1044000 #constraints=30359
971.94/972.57	c nbDecision=1044500 #constraints=30373
972.74/973.39	c nbDecision=1045000 #constraints=30387
973.64/974.24	c nbDecision=1045500 #constraints=30404
974.54/975.18	c nbDecision=1046000 #constraints=30420
975.94/976.52	c nbDecision=1046500 #constraints=30442
977.13/977.70	c nbDecision=1047000 #constraints=30461
978.53/979.11	c nbDecision=1047500 #constraints=30486
979.73/980.30	c nbDecision=1048000 #constraints=30508
980.83/981.45	c nbDecision=1048500 #constraints=30528
981.73/982.39	c nbDecision=1049000 #constraints=30544
982.53/983.14	c nbDecision=1049500 #constraints=30558
983.43/984.09	c nbDecision=1050000 #constraints=30575
984.63/985.22	c nbDecision=1050500 #constraints=30598
985.53/986.10	c nbDecision=1051000 #constraints=30611
986.43/987.00	c nbDecision=1051500 #constraints=30627
987.63/988.25	c nbDecision=1052000 #constraints=30654
988.93/989.50	c nbDecision=1052500 #constraints=30678
989.63/990.29	c nbDecision=1053000 #constraints=30691
990.83/991.41	c nbDecision=1053500 #constraints=30712
991.43/992.05	c nbDecision=1054000 #constraints=30720
992.23/992.86	c nbDecision=1054500 #constraints=30731
993.93/994.51	c nbDecision=1055000 #constraints=30754
995.03/995.60	c nbDecision=1055500 #constraints=30768
995.03/995.65	c nbDecision=1056000 #constraints=30768
995.82/996.41	c nbDecision=1056500 #constraints=30785
996.62/997.26	c nbDecision=1057000 #constraints=30804
997.62/998.25	c nbDecision=1057500 #constraints=30823
998.42/999.07	c nbDecision=1058000 #constraints=30840
999.42/1000.06	c nbDecision=1058500 #constraints=30857
1000.44/1001.09	c nbDecision=1059000 #constraints=30876
1001.83/1002.40	c nbDecision=1059500 #constraints=30896
1003.33/1003.96	c nbDecision=1060000 #constraints=30922
1004.83/1005.44	c nbDecision=1060500 #constraints=30944
1006.23/1006.84	c nbDecision=1061000 #constraints=30967
1006.83/1007.45	c nbDecision=1061500 #constraints=30979
1007.53/1008.12	c nbDecision=1062000 #constraints=30997
1008.23/1008.82	c nbDecision=1062500 #constraints=31015
1008.83/1009.49	c nbDecision=1063000 #constraints=31034
1009.63/1010.25	c nbDecision=1063500 #constraints=31055
1010.23/1010.82	c nbDecision=1064000 #constraints=31071
1011.03/1011.65	c nbDecision=1064500 #constraints=31093
1012.23/1012.87	c nbDecision=1065000 #constraints=31125
1013.53/1014.13	c nbDecision=1065500 #constraints=31150
1014.52/1015.14	c nbDecision=1066000 #constraints=31171
1015.62/1016.30	c nbDecision=1066500 #constraints=31190
1016.72/1017.40	c nbDecision=1067000 #constraints=31209
1018.02/1018.63	c nbDecision=1067500 #constraints=31230
1019.12/1019.79	c nbDecision=1068000 #constraints=31248
1019.92/1020.56	c nbDecision=1068500 #constraints=31266
1020.92/1021.52	c nbDecision=1069000 #constraints=31285
1022.32/1022.97	c nbDecision=1069500 #constraints=31313
1023.62/1024.24	c nbDecision=1070000 #constraints=31336
1024.82/1025.49	c nbDecision=1070500 #constraints=31361
1026.12/1026.73	c nbDecision=1071000 #constraints=31380
1027.02/1027.62	c nbDecision=1071500 #constraints=31397
1027.62/1028.26	c nbDecision=1072000 #constraints=31406
1027.92/1028.53	c nbDecision=1072500 #constraints=31408
1028.22/1028.83	c nbDecision=1073000 #constraints=31410
1028.52/1029.14	c nbDecision=1073500 #constraints=31413
1029.32/1029.95	c nbDecision=1074000 #constraints=31423
1029.52/1030.12	c nbDecision=1074500 #constraints=31424
1029.72/1030.39	c nbDecision=1075000 #constraints=31426
1030.02/1030.70	c nbDecision=1075500 #constraints=31428
1030.32/1030.96	c nbDecision=1076000 #constraints=31429
1031.51/1032.15	c nbDecision=1076500 #constraints=31447
1032.11/1032.80	c nbDecision=1077000 #constraints=31456
1032.61/1033.27	c nbDecision=1077500 #constraints=31464
1033.01/1033.67	c nbDecision=1078000 #constraints=31470
1033.32/1033.99	c nbDecision=1078500 #constraints=31475
1034.61/1035.22	c nbDecision=1079000 #constraints=31492
1034.71/1035.32	c nbDecision=1079500 #constraints=31492
1034.71/1035.37	c nbDecision=1080000 #constraints=31492
1035.91/1036.53	c nbDecision=1080500 #constraints=31512
1036.91/1037.59	c nbDecision=1081000 #constraints=31531
1037.91/1038.53	c nbDecision=1081500 #constraints=31547
1039.11/1039.71	c nbDecision=1082000 #constraints=31566
1040.01/1040.65	c nbDecision=1082500 #constraints=31580
1041.41/1042.02	c nbDecision=1083000 #constraints=31599
1042.30/1042.96	c nbDecision=1083500 #constraints=31617
1043.31/1043.97	c nbDecision=1084000 #constraints=31634
1044.60/1045.26	c nbDecision=1084500 #constraints=31651
1045.51/1046.13	c nbDecision=1085000 #constraints=31669
1046.51/1047.18	c nbDecision=1085500 #constraints=31687
1047.20/1047.84	c nbDecision=1086000 #constraints=31699
1047.90/1048.58	c nbDecision=1086500 #constraints=31712
1049.20/1049.86	c nbDecision=1087000 #constraints=31736
1050.40/1051.08	c nbDecision=1087500 #constraints=31756
1051.70/1052.31	c nbDecision=1088000 #constraints=31774
1052.30/1052.94	c nbDecision=1088500 #constraints=31786
1052.90/1053.52	c nbDecision=1089000 #constraints=31798
1053.40/1054.09	c nbDecision=1089500 #constraints=31809
1054.50/1055.13	c nbDecision=1090000 #constraints=31829
1055.30/1055.95	c nbDecision=1090500 #constraints=31845
1056.31/1056.94	c nbDecision=1091000 #constraints=31866
1057.21/1057.84	c nbDecision=1091500 #constraints=31886
1058.41/1059.09	c nbDecision=1092000 #constraints=31915
1059.50/1060.12	c nbDecision=1092500 #constraints=31936
1060.50/1061.12	c nbDecision=1093000 #constraints=31956
1062.01/1062.63	c nbDecision=1093500 #constraints=31984
1063.60/1064.28	c nbDecision=1094000 #constraints=32007
1064.80/1065.44	c nbDecision=1094500 #constraints=32024
1065.90/1066.56	c nbDecision=1095000 #constraints=32042
1066.70/1067.31	c nbDecision=1095500 #constraints=32053
1067.51/1068.12	c nbDecision=1096000 #constraints=32069
1068.30/1068.99	c nbDecision=1096500 #constraints=32086
1069.20/1069.89	c nbDecision=1097000 #constraints=32100
1070.30/1070.93	c nbDecision=1097500 #constraints=32116
1070.90/1071.59	c nbDecision=1098000 #constraints=32128
1071.90/1072.57	c nbDecision=1098500 #constraints=32141
1072.40/1073.07	c nbDecision=1099000 #constraints=32150
1073.00/1073.68	c nbDecision=1099500 #constraints=32165
1073.80/1074.48	c nbDecision=1100000 #constraints=32180
1074.50/1075.14	c nbDecision=1100500 #constraints=32194
1075.40/1076.00	c nbDecision=1101000 #constraints=32211
1076.20/1076.90	c nbDecision=1101500 #constraints=32225
1077.80/1078.48	c nbDecision=1102000 #constraints=32246
1078.90/1079.56	c nbDecision=1102500 #constraints=32261
1080.29/1080.90	c nbDecision=1103000 #constraints=32278
1080.89/1081.59	c nbDecision=1103500 #constraints=32296
1081.90/1082.52	c nbDecision=1104000 #constraints=32313
1082.90/1083.52	c nbDecision=1104500 #constraints=32330
1084.19/1084.89	c nbDecision=1105000 #constraints=32353
1085.29/1085.95	c nbDecision=1105500 #constraints=32368
1086.20/1086.88	c nbDecision=1106000 #constraints=32391
1088.49/1089.14	c nbDecision=1106500 #constraints=32428
1090.29/1090.95	c nbDecision=1107000 #constraints=32461
1091.89/1092.52	c nbDecision=1107500 #constraints=32486
1093.49/1094.11	c nbDecision=1108000 #constraints=32505
1094.49/1095.11	c nbDecision=1108500 #constraints=32518
1095.99/1096.66	c nbDecision=1109000 #constraints=32549
1096.58/1097.29	c nbDecision=1109500 #constraints=32563
1098.19/1098.82	c nbDecision=1110000 #constraints=32586
1099.18/1099.80	c nbDecision=1110500 #constraints=32604
1099.98/1100.65	c nbDecision=1111000 #constraints=32618
1100.49/1101.13	c nbDecision=1111500 #constraints=32633
1100.98/1101.68	c nbDecision=1112000 #constraints=32644
1101.08/1101.74	c nbDecision=1112500 #constraints=32644
1101.38/1102.07	c nbDecision=1113000 #constraints=32652
1101.88/1102.57	c nbDecision=1113500 #constraints=32660
1102.18/1102.83	c nbDecision=1114000 #constraints=32662
1102.98/1103.61	c nbDecision=1114500 #constraints=32677
1103.69/1104.37	c nbDecision=1115000 #constraints=32695
1104.48/1105.19	c nbDecision=1115500 #constraints=32712
1105.28/1105.95	c nbDecision=1116000 #constraints=32729
1105.98/1106.64	c nbDecision=1116500 #constraints=32740
1106.88/1107.51	c nbDecision=1117000 #constraints=32757
1107.78/1108.44	c nbDecision=1117500 #constraints=32771
1108.38/1109.00	c nbDecision=1118000 #constraints=32784
1108.88/1109.51	c nbDecision=1118500 #constraints=32795
1109.48/1110.17	c nbDecision=1119000 #constraints=32809
1109.98/1110.64	c nbDecision=1119500 #constraints=32820
1110.38/1111.09	c nbDecision=1120000 #constraints=32825
1110.88/1111.57	c nbDecision=1120500 #constraints=32831
1111.18/1111.88	c nbDecision=1121000 #constraints=32838
1111.78/1112.42	c nbDecision=1121500 #constraints=32849
1112.08/1112.73	c nbDecision=1122000 #constraints=32851
1112.08/1112.78	c nbDecision=1122500 #constraints=32851
1112.68/1113.36	c nbDecision=1123000 #constraints=32857
1113.38/1114.06	c nbDecision=1123500 #constraints=32866
1114.48/1115.15	c nbDecision=1124000 #constraints=32884
1115.28/1115.92	c nbDecision=1124500 #constraints=32900
1115.98/1116.69	c nbDecision=1125000 #constraints=32918
1116.78/1117.45	c nbDecision=1125500 #constraints=32934
1117.48/1118.18	c nbDecision=1126000 #constraints=32950
1118.98/1119.60	c nbDecision=1126500 #constraints=32980
1120.48/1121.18	c nbDecision=1127000 #constraints=33002
1121.88/1122.58	c nbDecision=1127500 #constraints=33017
1122.68/1123.38	c nbDecision=1128000 #constraints=33027
1123.98/1124.64	c nbDecision=1128500 #constraints=33044
1125.08/1125.74	c nbDecision=1129000 #constraints=33060
1125.98/1126.65	c nbDecision=1129500 #constraints=33072
1127.38/1128.03	c nbDecision=1130000 #constraints=33094
1128.18/1128.82	c nbDecision=1130500 #constraints=33105
1128.98/1129.65	c nbDecision=1131000 #constraints=33116
1129.38/1130.02	c nbDecision=1131500 #constraints=33122
1129.88/1130.59	c nbDecision=1132000 #constraints=33133
1130.58/1131.25	c nbDecision=1132500 #constraints=33145
1131.28/1131.97	c nbDecision=1133000 #constraints=33156
1132.28/1132.92	c nbDecision=1133500 #constraints=33169
1132.98/1133.60	c nbDecision=1134000 #constraints=33176
1134.08/1134.75	c nbDecision=1134500 #constraints=33198
1135.28/1136.00	c nbDecision=1135000 #constraints=33219
1136.08/1136.78	c nbDecision=1135500 #constraints=33233
1136.97/1137.60	c nbDecision=1136000 #constraints=33247
1137.47/1138.17	c nbDecision=1136500 #constraints=33256
1138.37/1139.05	c nbDecision=1137000 #constraints=33274
1139.17/1139.81	c nbDecision=1137500 #constraints=33297
1139.98/1140.64	c nbDecision=1138000 #constraints=33318
1140.77/1141.41	c nbDecision=1138500 #constraints=33336
1141.47/1142.13	c nbDecision=1139000 #constraints=33353
1143.07/1143.77	c nbDecision=1139500 #constraints=33395
1143.67/1144.36	c nbDecision=1140000 #constraints=33403
1144.87/1145.53	c nbDecision=1140500 #constraints=33424
1145.37/1146.07	c nbDecision=1141000 #constraints=33433
1146.17/1146.86	c nbDecision=1141500 #constraints=33445
1147.27/1147.91	c nbDecision=1142000 #constraints=33466
1148.07/1148.75	c nbDecision=1142500 #constraints=33479
1149.07/1149.74	c nbDecision=1143000 #constraints=33494
1149.97/1150.63	c nbDecision=1143500 #constraints=33511
1150.47/1151.14	c nbDecision=1144000 #constraints=33519
1151.47/1152.14	c nbDecision=1144500 #constraints=33539
1152.47/1153.19	c nbDecision=1145000 #constraints=33555
1153.57/1154.22	c nbDecision=1145500 #constraints=33573
1154.67/1155.30	c nbDecision=1146000 #constraints=33590
1155.57/1156.22	c nbDecision=1146500 #constraints=33603
1156.27/1156.94	c nbDecision=1147000 #constraints=33614
1156.97/1157.65	c nbDecision=1147500 #constraints=33623
1157.87/1158.50	c nbDecision=1148000 #constraints=33638
1158.56/1159.26	c nbDecision=1148500 #constraints=33654
1159.96/1160.62	c nbDecision=1149000 #constraints=33672
1160.56/1161.23	c nbDecision=1149500 #constraints=33685
1161.26/1161.94	c nbDecision=1150000 #constraints=33703
1162.16/1162.86	c nbDecision=1150500 #constraints=33725
1163.16/1163.87	c nbDecision=1151000 #constraints=33753
1164.06/1164.77	c nbDecision=1151500 #constraints=33776
1165.46/1166.12	c nbDecision=1152000 #constraints=33803
1166.26/1167.00	c nbDecision=1152500 #constraints=33821
1167.07/1167.76	c nbDecision=1153000 #constraints=33836
1168.67/1169.33	c nbDecision=1153500 #constraints=33871
1170.17/1170.81	c nbDecision=1154000 #constraints=33894
1171.17/1171.80	c nbDecision=1154500 #constraints=33909
1172.06/1172.75	c nbDecision=1155000 #constraints=33926
1174.17/1174.84	c nbDecision=1155500 #constraints=33953
1176.46/1177.14	c nbDecision=1156000 #constraints=33982
1179.36/1180.03	c nbDecision=1156500 #constraints=34028
1179.96/1180.65	c nbDecision=1157000 #constraints=34043
1180.96/1181.61	c nbDecision=1157500 #constraints=34051
1181.66/1182.38	c nbDecision=1158000 #constraints=34060
1182.86/1183.56	c nbDecision=1158500 #constraints=34078
1183.86/1184.53	c nbDecision=1159000 #constraints=34091
1184.66/1185.37	c nbDecision=1159500 #constraints=34103
1185.36/1186.03	c nbDecision=1160000 #constraints=34112
1186.26/1186.97	c nbDecision=1160500 #constraints=34126
1187.15/1187.88	c nbDecision=1161000 #constraints=34135
1188.46/1189.18	c nbDecision=1161500 #constraints=34153
1189.85/1190.50	c nbDecision=1162000 #constraints=34173
1192.15/1192.85	c nbDecision=1162500 #constraints=34210
1192.86/1193.55	c nbDecision=1163000 #constraints=34220
1193.75/1194.43	c nbDecision=1163500 #constraints=34233
1194.65/1195.39	c nbDecision=1164000 #constraints=34250
1195.25/1195.95	c nbDecision=1164500 #constraints=34256
1195.35/1196.01	c nbDecision=1165000 #constraints=34256
1196.65/1197.32	c nbDecision=1165500 #constraints=34273
1198.15/1198.86	c nbDecision=1166000 #constraints=34292
1199.75/1200.49	c nbDecision=1166500 #constraints=34317
1200.95/1201.65	c nbDecision=1167000 #constraints=34329
1201.45/1202.14	c nbDecision=1167500 #constraints=34339
1202.45/1203.17	c nbDecision=1168000 #constraints=34351
1203.55/1204.28	c nbDecision=1168500 #constraints=34364
1203.65/1204.37	c nbDecision=1169000 #constraints=34364
1204.15/1204.87	c nbDecision=1169500 #constraints=34369
1204.95/1205.66	c nbDecision=1170000 #constraints=34379
1205.54/1206.27	c nbDecision=1170500 #constraints=34385
1207.24/1207.93	c nbDecision=1171000 #constraints=34407
1208.75/1209.45	c nbDecision=1171500 #constraints=34427
1209.64/1210.36	c nbDecision=1172000 #constraints=34442
1210.94/1211.60	c nbDecision=1172500 #constraints=34457
1211.74/1212.46	c nbDecision=1173000 #constraints=34469
1212.44/1213.10	c nbDecision=1173500 #constraints=34480
1213.34/1214.03	c nbDecision=1174000 #constraints=34491
1214.44/1215.10	c nbDecision=1174500 #constraints=34505
1215.34/1216.04	c nbDecision=1175000 #constraints=34518
1216.84/1217.53	c nbDecision=1175500 #constraints=34539
1217.74/1218.40	c nbDecision=1176000 #constraints=34554
1219.54/1220.24	c nbDecision=1176500 #constraints=34585
1221.24/1221.94	c nbDecision=1177000 #constraints=34616
1223.14/1223.84	c nbDecision=1177500 #constraints=34644
1223.24/1223.92	c nbDecision=1178000 #constraints=34644
1223.44/1224.10	c nbDecision=1178500 #constraints=34645
1223.94/1224.63	c nbDecision=1179000 #constraints=34655
1224.54/1225.27	c nbDecision=1179500 #constraints=34670
1225.24/1225.95	c nbDecision=1180000 #constraints=34684
1226.24/1226.90	c nbDecision=1180500 #constraints=34695
1227.84/1228.51	c nbDecision=1181000 #constraints=34721
1228.54/1229.28	c nbDecision=1181500 #constraints=34728
1230.33/1231.03	c nbDecision=1182000 #constraints=34748
1232.44/1233.13	c nbDecision=1182500 #constraints=34782
1233.44/1234.15	c nbDecision=1183000 #constraints=34795
1234.83/1235.58	c nbDecision=1183500 #constraints=34814
1236.24/1236.93	c nbDecision=1184000 #constraints=34827
1237.14/1237.85	c nbDecision=1184500 #constraints=34843
1237.84/1238.54	c nbDecision=1185000 #constraints=34854
1238.94/1239.64	c nbDecision=1185500 #constraints=34875
1239.54/1240.28	c nbDecision=1186000 #constraints=34880
1239.94/1240.62	c nbDecision=1186500 #constraints=34882
1240.34/1241.03	c nbDecision=1187000 #constraints=34884
1240.44/1241.10	c nbDecision=1187500 #constraints=34884
1240.54/1241.29	c nbDecision=1188000 #constraints=34885
1240.94/1241.69	c nbDecision=1188500 #constraints=34887
1241.04/1241.78	c nbDecision=1189000 #constraints=34887
1241.64/1242.39	c nbDecision=1189500 #constraints=34897
1241.94/1242.69	c nbDecision=1190000 #constraints=34898
1242.04/1242.74	c nbDecision=1190500 #constraints=34898
1242.64/1243.38	c nbDecision=1191000 #constraints=34909
1243.24/1243.94	c nbDecision=1191500 #constraints=34921
1244.33/1245.01	c nbDecision=1192000 #constraints=34939
1245.33/1246.02	c nbDecision=1192500 #constraints=34950
1246.23/1246.94	c nbDecision=1193000 #constraints=34963
1247.33/1248.06	c nbDecision=1193500 #constraints=34978
1247.84/1248.58	c nbDecision=1194000 #constraints=34988
1248.63/1249.31	c nbDecision=1194500 #constraints=35003
1249.13/1249.89	c nbDecision=1195000 #constraints=35012
1249.83/1250.57	c nbDecision=1195500 #constraints=35024
1250.83/1251.51	c nbDecision=1196000 #constraints=35041
1251.33/1252.06	c nbDecision=1196500 #constraints=35050
1252.63/1253.33	c nbDecision=1197000 #constraints=35069
1253.63/1254.39	c nbDecision=1197500 #constraints=35086
1254.43/1255.12	c nbDecision=1198000 #constraints=35096
1255.33/1256.04	c nbDecision=1198500 #constraints=35110
1255.83/1256.57	c nbDecision=1199000 #constraints=35120
1256.43/1257.17	c nbDecision=1199500 #constraints=35133
1257.32/1258.06	c nbDecision=1200000 #constraints=35148
1258.02/1258.75	c nbDecision=1200500 #constraints=35158
1258.83/1259.55	c nbDecision=1201000 #constraints=35172
1259.22/1259.96	c nbDecision=1201500 #constraints=35180
1260.32/1261.03	c nbDecision=1202000 #constraints=35196
1260.62/1261.36	c nbDecision=1202500 #constraints=35198
1261.42/1262.15	c nbDecision=1203000 #constraints=35208
1262.32/1263.04	c nbDecision=1203500 #constraints=35224
1263.22/1263.99	c nbDecision=1204000 #constraints=35241
1263.92/1264.66	c nbDecision=1204500 #constraints=35254
1264.62/1265.34	c nbDecision=1205000 #constraints=35271
1265.22/1265.99	c nbDecision=1205500 #constraints=35283
1266.02/1266.77	c nbDecision=1206000 #constraints=35297
1266.62/1267.36	c nbDecision=1206500 #constraints=35308
1267.52/1268.24	c nbDecision=1207000 #constraints=35317
1267.62/1268.31	c nbDecision=1207500 #constraints=35317
1268.42/1269.10	c nbDecision=1208000 #constraints=35329
1269.32/1270.08	c nbDecision=1208500 #constraints=35345
1272.02/1272.76	c nbDecision=1209000 #constraints=35380
1274.32/1275.02	c nbDecision=1209500 #constraints=35412
1275.92/1276.61	c nbDecision=1210000 #constraints=35436
1277.81/1278.58	c nbDecision=1210500 #constraints=35466
1278.91/1279.68	c nbDecision=1211000 #constraints=35482
1279.91/1280.69	c nbDecision=1211500 #constraints=35497
1281.01/1281.76	c nbDecision=1212000 #constraints=35508
1282.41/1283.11	c nbDecision=1212500 #constraints=35530
1283.41/1284.11	c nbDecision=1213000 #constraints=35541
1284.12/1284.80	c nbDecision=1213500 #constraints=35552
1284.82/1285.53	c nbDecision=1214000 #constraints=35566
1285.52/1286.23	c nbDecision=1214500 #constraints=35581
1286.32/1287.01	c nbDecision=1215000 #constraints=35593
1287.02/1287.77	c nbDecision=1215500 #constraints=35609
1287.52/1288.28	c nbDecision=1216000 #constraints=35621
1288.32/1289.08	c nbDecision=1216500 #constraints=35637
1289.42/1290.16	c nbDecision=1217000 #constraints=35660
1290.32/1291.06	c nbDecision=1217500 #constraints=35669
1290.42/1291.15	c nbDecision=1218000 #constraints=35669
1290.52/1291.29	c nbDecision=1218500 #constraints=35669
1291.82/1292.56	c nbDecision=1219000 #constraints=35684
1293.02/1293.76	c nbDecision=1219500 #constraints=35701
1293.71/1294.47	c nbDecision=1220000 #constraints=35715
1294.61/1295.32	c nbDecision=1220500 #constraints=35730
1295.51/1296.29	c nbDecision=1221000 #constraints=35746
1296.31/1297.08	c nbDecision=1221500 #constraints=35757
1298.01/1298.70	c nbDecision=1222000 #constraints=35776
1299.31/1300.01	c nbDecision=1222500 #constraints=35794
1299.31/1300.07	c nbDecision=1223000 #constraints=35794
1300.31/1301.03	c nbDecision=1223500 #constraints=35808
1301.31/1302.04	c nbDecision=1224000 #constraints=35825
1303.11/1303.80	c nbDecision=1224500 #constraints=35857
1303.81/1304.53	c nbDecision=1225000 #constraints=35866
1303.91/1304.67	c nbDecision=1225500 #constraints=35866
1304.50/1305.26	c nbDecision=1226000 #constraints=35875
1305.30/1306.08	c nbDecision=1226500 #constraints=35891
1305.60/1306.38	c nbDecision=1227000 #constraints=35892
1307.30/1308.09	c nbDecision=1227500 #constraints=35917
1308.40/1309.19	c nbDecision=1228000 #constraints=35936
1310.10/1310.82	c nbDecision=1228500 #constraints=35966
1311.80/1312.52	c nbDecision=1229000 #constraints=35994
1312.70/1313.46	c nbDecision=1229500 #constraints=36007
1313.90/1314.69	c nbDecision=1230000 #constraints=36026
1315.10/1315.80	c nbDecision=1230500 #constraints=36038
1315.90/1316.60	c nbDecision=1231000 #constraints=36048
1316.00/1316.74	c nbDecision=1231500 #constraints=36049
1316.40/1317.18	c nbDecision=1232000 #constraints=36054
1317.40/1318.10	c nbDecision=1232500 #constraints=36067
1317.80/1318.57	c nbDecision=1233000 #constraints=36072
1319.00/1319.76	c nbDecision=1233500 #constraints=36088
1319.40/1320.18	c nbDecision=1234000 #constraints=36092
1319.70/1320.49	c nbDecision=1234500 #constraints=36093
1319.80/1320.57	c nbDecision=1235000 #constraints=36093
1320.10/1320.88	c nbDecision=1235500 #constraints=36094
1320.20/1320.99	c nbDecision=1236000 #constraints=36094
1320.40/1321.18	c nbDecision=1236500 #constraints=36095
1320.70/1321.47	c nbDecision=1237000 #constraints=36096
1320.80/1321.56	c nbDecision=1237500 #constraints=36096
1321.60/1322.39	c nbDecision=1238000 #constraints=36109
1322.40/1323.13	c nbDecision=1238500 #constraints=36122
1322.90/1323.67	c nbDecision=1239000 #constraints=36134
1323.40/1324.18	c nbDecision=1239500 #constraints=36145
1324.10/1324.86	c nbDecision=1240000 #constraints=36152
1324.20/1324.97	c nbDecision=1240500 #constraints=36152
1324.90/1325.60	c nbDecision=1241000 #constraints=36159
1325.10/1325.83	c nbDecision=1241500 #constraints=36164
1326.10/1326.81	c nbDecision=1242000 #constraints=36176
1327.30/1328.04	c nbDecision=1242500 #constraints=36193
1328.20/1328.95	c nbDecision=1243000 #constraints=36203
1328.30/1329.03	c nbDecision=1243500 #constraints=36203
1328.80/1329.57	c nbDecision=1244000 #constraints=36213
1329.70/1330.42	c nbDecision=1244500 #constraints=36222
1329.70/1330.49	c nbDecision=1245000 #constraints=36222
1330.60/1331.34	c nbDecision=1245500 #constraints=36230
1331.30/1332.04	c nbDecision=1246000 #constraints=36235
1332.20/1332.96	c nbDecision=1246500 #constraints=36247
1333.10/1333.82	c nbDecision=1247000 #constraints=36263
1334.30/1335.06	c nbDecision=1247500 #constraints=36284
1335.60/1336.38	c nbDecision=1248000 #constraints=36309
1337.30/1338.03	c nbDecision=1248500 #constraints=36350
1339.00/1339.71	c nbDecision=1249000 #constraints=36382
1339.70/1340.48	c nbDecision=1249500 #constraints=36397
1340.60/1341.36	c nbDecision=1250000 #constraints=36410
1340.70/1341.48	c nbDecision=1250500 #constraints=36410
1341.30/1342.04	c nbDecision=1251000 #constraints=36416
1342.40/1343.18	c nbDecision=1251500 #constraints=36437
1343.40/1344.19	c nbDecision=1252000 #constraints=36453
1343.99/1344.79	c nbDecision=1252500 #constraints=36462
1345.09/1345.83	c nbDecision=1253000 #constraints=36479
1345.70/1346.48	c nbDecision=1253500 #constraints=36491
1346.49/1347.24	c nbDecision=1254000 #constraints=36502
1347.19/1347.92	c nbDecision=1254500 #constraints=36515
1347.99/1348.73	c nbDecision=1255000 #constraints=36531
1348.79/1349.50	c nbDecision=1255500 #constraints=36544
1349.89/1350.67	c nbDecision=1256000 #constraints=36564
1350.59/1351.37	c nbDecision=1256500 #constraints=36576
1351.49/1352.24	c nbDecision=1257000 #constraints=36590
1352.49/1353.21	c nbDecision=1257500 #constraints=36603
1353.49/1354.28	c nbDecision=1258000 #constraints=36618
1354.19/1354.98	c nbDecision=1258500 #constraints=36629
1354.89/1355.61	c nbDecision=1259000 #constraints=36643
1355.89/1356.60	c nbDecision=1259500 #constraints=36658
1356.79/1357.53	c nbDecision=1260000 #constraints=36672
1357.99/1358.76	c nbDecision=1260500 #constraints=36691
1358.29/1359.09	c nbDecision=1261000 #constraints=36699
1358.79/1359.53	c nbDecision=1261500 #constraints=36710
1360.38/1361.11	c nbDecision=1262000 #constraints=36733
1361.48/1362.28	c nbDecision=1262500 #constraints=36752
1362.48/1363.27	c nbDecision=1263000 #constraints=36769
1363.38/1364.17	c nbDecision=1263500 #constraints=36783
1364.38/1365.12	c nbDecision=1264000 #constraints=36800
1365.18/1365.90	c nbDecision=1264500 #constraints=36814
1365.78/1366.53	c nbDecision=1265000 #constraints=36823
1365.88/1366.65	c nbDecision=1265500 #constraints=36823
1366.48/1367.22	c nbDecision=1266000 #constraints=36830
1367.88/1368.64	c nbDecision=1266500 #constraints=36855
1369.08/1369.82	c nbDecision=1267000 #constraints=36875
1370.08/1370.83	c nbDecision=1267500 #constraints=36894
1370.98/1371.72	c nbDecision=1268000 #constraints=36908
1371.98/1372.71	c nbDecision=1268500 #constraints=36927
1372.88/1373.62	c nbDecision=1269000 #constraints=36942
1373.48/1374.30	c nbDecision=1269500 #constraints=36953
1374.38/1375.14	c nbDecision=1270000 #constraints=36967
1375.08/1375.83	c nbDecision=1270500 #constraints=36979
1375.78/1376.56	c nbDecision=1271000 #constraints=36991
1376.39/1377.19	c nbDecision=1271500 #constraints=36999
1377.28/1378.00	c nbDecision=1272000 #constraints=37013
1377.98/1378.73	c nbDecision=1272500 #constraints=37025
1379.28/1380.07	c nbDecision=1273000 #constraints=37046
1380.48/1381.28	c nbDecision=1273500 #constraints=37064
1381.68/1382.47	c nbDecision=1274000 #constraints=37081
1383.48/1384.25	c nbDecision=1274500 #constraints=37107
1384.48/1385.20	c nbDecision=1275000 #constraints=37121
1385.08/1385.84	c nbDecision=1275500 #constraints=37132
1387.08/1387.87	c nbDecision=1276000 #constraints=37162
1389.27/1390.05	c nbDecision=1276500 #constraints=37203
1390.57/1391.38	c nbDecision=1277000 #constraints=37220
1392.07/1392.89	c nbDecision=1277500 #constraints=37244
1393.87/1394.62	c nbDecision=1278000 #constraints=37266
1395.18/1395.95	c nbDecision=1278500 #constraints=37285
1396.18/1396.97	c nbDecision=1279000 #constraints=37303
1397.17/1397.98	c nbDecision=1279500 #constraints=37317
1398.27/1399.08	c nbDecision=1280000 #constraints=37336
1399.67/1400.43	c nbDecision=1280500 #constraints=37351
1400.67/1401.43	c nbDecision=1281000 #constraints=37363
1401.37/1402.17	c nbDecision=1281500 #constraints=37375
1402.17/1402.95	c nbDecision=1282000 #constraints=37390
1402.67/1403.49	c nbDecision=1282500 #constraints=37399
1403.37/1404.17	c nbDecision=1283000 #constraints=37411
1403.97/1404.79	c nbDecision=1283500 #constraints=37421
1405.47/1406.25	c nbDecision=1284000 #constraints=37444
1406.57/1407.39	c nbDecision=1284500 #constraints=37458
1407.77/1408.56	c nbDecision=1285000 #constraints=37476
1408.87/1409.63	c nbDecision=1285500 #constraints=37489
1410.27/1411.09	c nbDecision=1286000 #constraints=37508
1411.97/1412.78	c nbDecision=1286500 #constraints=37528
1413.07/1413.85	c nbDecision=1287000 #constraints=37540
1414.27/1415.05	c nbDecision=1287500 #constraints=37558
1415.37/1416.11	c nbDecision=1288000 #constraints=37573
1416.17/1416.91	c nbDecision=1288500 #constraints=37586
1417.17/1417.92	c nbDecision=1289000 #constraints=37599
1417.97/1418.77	c nbDecision=1289500 #constraints=37611
1418.87/1419.66	c nbDecision=1290000 #constraints=37628
1419.77/1420.52	c nbDecision=1290500 #constraints=37639
1421.07/1421.84	c nbDecision=1291000 #constraints=37655
1422.36/1423.16	c nbDecision=1291500 #constraints=37671
1423.77/1424.54	c nbDecision=1292000 #constraints=37692
1424.87/1425.65	c nbDecision=1292500 #constraints=37705
1426.16/1426.98	c nbDecision=1293000 #constraints=37721
1427.16/1427.91	c nbDecision=1293500 #constraints=37732
1427.46/1428.26	c nbDecision=1294000 #constraints=37736
1428.66/1429.44	c nbDecision=1294500 #constraints=37751
1429.56/1430.38	c nbDecision=1295000 #constraints=37773
1430.86/1431.62	c nbDecision=1295500 #constraints=37791
1431.06/1431.86	c nbDecision=1296000 #constraints=37792
1431.16/1431.93	c nbDecision=1296500 #constraints=37792
1432.06/1432.84	c nbDecision=1297000 #constraints=37802
1432.66/1433.41	c nbDecision=1297500 #constraints=37811
1433.16/1433.93	c nbDecision=1298000 #constraints=37823
1433.86/1434.68	c nbDecision=1298500 #constraints=37838
1434.66/1435.42	c nbDecision=1299000 #constraints=37850
1435.46/1436.23	c nbDecision=1299500 #constraints=37861
1436.26/1437.07	c nbDecision=1300000 #constraints=37872
1437.66/1438.44	c nbDecision=1300500 #constraints=37890
1438.55/1439.39	c nbDecision=1301000 #constraints=37904
1439.55/1440.32	c nbDecision=1301500 #constraints=37918
1440.55/1441.35	c nbDecision=1302000 #constraints=37934
1441.55/1442.35	c nbDecision=1302500 #constraints=37949
1442.36/1443.18	c nbDecision=1303000 #constraints=37967
1443.15/1443.92	c nbDecision=1303500 #constraints=37976
1443.75/1444.53	c nbDecision=1304000 #constraints=37986
1444.85/1445.60	c nbDecision=1304500 #constraints=38002
1445.65/1446.49	c nbDecision=1305000 #constraints=38015
1446.35/1447.19	c nbDecision=1305500 #constraints=38026
1447.15/1447.95	c nbDecision=1306000 #constraints=38043
1447.85/1448.62	c nbDecision=1306500 #constraints=38056
1448.55/1449.36	c nbDecision=1307000 #constraints=38072
1449.25/1450.00	c nbDecision=1307500 #constraints=38089
1450.25/1451.05	c nbDecision=1308000 #constraints=38107
1451.35/1452.14	c nbDecision=1308500 #constraints=38128
1452.25/1453.04	c nbDecision=1309000 #constraints=38143
1453.85/1454.66	c nbDecision=1309500 #constraints=38165
1454.65/1455.48	c nbDecision=1310000 #constraints=38184
1455.45/1456.25	c nbDecision=1310500 #constraints=38201
1456.05/1456.87	c nbDecision=1311000 #constraints=38214
1456.75/1457.58	c nbDecision=1311500 #constraints=38225
1457.35/1458.19	c nbDecision=1312000 #constraints=38235
1458.14/1458.92	c nbDecision=1312500 #constraints=38247
1458.95/1459.75	c nbDecision=1313000 #constraints=38263
1459.85/1460.61	c nbDecision=1313500 #constraints=38275
1460.45/1461.24	c nbDecision=1314000 #constraints=38286
1461.15/1461.95	c nbDecision=1314500 #constraints=38298
1462.26/1463.03	c nbDecision=1315000 #constraints=38318
1463.25/1464.03	c nbDecision=1315500 #constraints=38333
1463.65/1464.49	c nbDecision=1316000 #constraints=38339
1464.25/1465.09	c nbDecision=1316500 #constraints=38350
1465.45/1466.28	c nbDecision=1317000 #constraints=38363
1466.45/1467.23	c nbDecision=1317500 #constraints=38373
1466.75/1467.56	c nbDecision=1318000 #constraints=38376
1467.25/1468.03	c nbDecision=1318500 #constraints=38383
1467.95/1468.77	c nbDecision=1319000 #constraints=38394
1469.05/1469.80	c nbDecision=1319500 #constraints=38412
1469.75/1470.51	c nbDecision=1320000 #constraints=38424
1470.35/1471.10	c nbDecision=1320500 #constraints=38435
1471.05/1471.88	c nbDecision=1321000 #constraints=38451
1471.95/1472.79	c nbDecision=1321500 #constraints=38467
1472.75/1473.50	c nbDecision=1322000 #constraints=38481
1473.35/1474.12	c nbDecision=1322500 #constraints=38494
1474.05/1474.86	c nbDecision=1323000 #constraints=38505
1475.05/1475.87	c nbDecision=1323500 #constraints=38527
1475.85/1476.62	c nbDecision=1324000 #constraints=38540
1476.45/1477.21	c nbDecision=1324500 #constraints=38553
1477.34/1478.15	c nbDecision=1325000 #constraints=38570
1478.04/1478.85	c nbDecision=1325500 #constraints=38585
1478.75/1479.57	c nbDecision=1326000 #constraints=38600
1479.44/1480.24	c nbDecision=1326500 #constraints=38613
1480.14/1480.91	c nbDecision=1327000 #constraints=38626
1480.64/1481.49	c nbDecision=1327500 #constraints=38638
1481.34/1482.13	c nbDecision=1328000 #constraints=38655
1481.95/1482.74	c nbDecision=1328500 #constraints=38664
1482.54/1483.36	c nbDecision=1329000 #constraints=38674
1483.34/1484.16	c nbDecision=1329500 #constraints=38687
1484.04/1484.85	c nbDecision=1330000 #constraints=38697
1484.74/1485.55	c nbDecision=1330500 #constraints=38709
1485.84/1486.63	c nbDecision=1331000 #constraints=38728
1486.84/1487.68	c nbDecision=1331500 #constraints=38745
1487.64/1488.46	c nbDecision=1332000 #constraints=38761
1488.44/1489.23	c nbDecision=1332500 #constraints=38773
1489.04/1489.86	c nbDecision=1333000 #constraints=38786
1489.94/1490.75	c nbDecision=1333500 #constraints=38802
1490.84/1491.69	c nbDecision=1334000 #constraints=38819
1491.94/1492.79	c nbDecision=1334500 #constraints=38839
1492.94/1493.79	c nbDecision=1335000 #constraints=38859
1493.94/1494.74	c nbDecision=1335500 #constraints=38878
1494.93/1495.70	c nbDecision=1336000 #constraints=38898
1495.83/1496.63	c nbDecision=1336500 #constraints=38918
1496.43/1497.23	c nbDecision=1337000 #constraints=38935
1497.34/1498.14	c nbDecision=1337500 #constraints=38950
1498.23/1499.01	c nbDecision=1338000 #constraints=38963
1498.93/1499.75	c nbDecision=1338500 #constraints=38978
1499.54/1500.40	c nbDecision=1339000 #constraints=38996
1500.13/1500.98	c nbDecision=1339500 #constraints=39012
1500.93/1501.75	c nbDecision=1340000 #constraints=39029
1501.63/1502.45	c nbDecision=1340500 #constraints=39041
1502.23/1503.09	c nbDecision=1341000 #constraints=39051
1503.33/1504.12	c nbDecision=1341500 #constraints=39072
1504.43/1505.20	c nbDecision=1342000 #constraints=39092
1505.43/1506.24	c nbDecision=1342500 #constraints=39112
1506.33/1507.10	c nbDecision=1343000 #constraints=39128
1507.33/1508.12	c nbDecision=1343500 #constraints=39149
1508.33/1509.12	c nbDecision=1344000 #constraints=39167
1509.62/1510.44	c nbDecision=1344500 #constraints=39192
1511.02/1511.81	c nbDecision=1345000 #constraints=39215
1511.42/1512.25	c nbDecision=1345500 #constraints=39220
1512.42/1513.28	c nbDecision=1346000 #constraints=39234
1513.72/1514.58	c nbDecision=1346500 #constraints=39250
1515.03/1515.90	c nbDecision=1347000 #constraints=39267
1516.52/1517.37	c nbDecision=1347500 #constraints=39286
1518.23/1519.09	c nbDecision=1348000 #constraints=39309
1519.03/1519.86	c nbDecision=1348500 #constraints=39324
1519.93/1520.71	c nbDecision=1349000 #constraints=39338
1520.93/1521.73	c nbDecision=1349500 #constraints=39353
1521.93/1522.73	c nbDecision=1350000 #constraints=39370
1522.92/1523.77	c nbDecision=1350500 #constraints=39385
1523.73/1524.58	c nbDecision=1351000 #constraints=39399
1524.62/1525.49	c nbDecision=1351500 #constraints=39415
1525.52/1526.35	c nbDecision=1352000 #constraints=39431
1526.52/1527.32	c nbDecision=1352500 #constraints=39450
1527.22/1528.05	c nbDecision=1353000 #constraints=39464
1528.32/1529.13	c nbDecision=1353500 #constraints=39484
1529.32/1530.11	c nbDecision=1354000 #constraints=39504
1530.02/1530.80	c nbDecision=1354500 #constraints=39516
1530.62/1531.40	c nbDecision=1355000 #constraints=39527
1531.62/1532.46	c nbDecision=1355500 #constraints=39547
1532.52/1533.34	c nbDecision=1356000 #constraints=39562
1533.32/1534.19	c nbDecision=1356500 #constraints=39576
1534.02/1534.88	c nbDecision=1357000 #constraints=39587
1535.02/1535.81	c nbDecision=1357500 #constraints=39603
1535.82/1536.64	c nbDecision=1358000 #constraints=39620
1536.62/1537.46	c nbDecision=1358500 #constraints=39632
1537.72/1538.54	c nbDecision=1359000 #constraints=39652
1538.51/1539.31	c nbDecision=1359500 #constraints=39665
1539.31/1540.16	c nbDecision=1360000 #constraints=39682
1540.01/1540.80	c nbDecision=1360500 #constraints=39690
1540.32/1541.17	c nbDecision=1361000 #constraints=39693
1541.32/1542.16	c nbDecision=1361500 #constraints=39705
1542.91/1543.70	c nbDecision=1362000 #constraints=39726
1544.21/1545.05	c nbDecision=1362500 #constraints=39745
1545.21/1546.05	c nbDecision=1363000 #constraints=39760
1546.71/1547.57	c nbDecision=1363500 #constraints=39780
1548.11/1548.92	c nbDecision=1364000 #constraints=39800
1549.70/1550.58	c nbDecision=1364500 #constraints=39825
1551.10/1551.90	c nbDecision=1365000 #constraints=39846
1552.32/1553.18	c nbDecision=1365500 #constraints=39868
1553.52/1554.38	c nbDecision=1366000 #constraints=39886
1554.81/1555.68	c nbDecision=1366500 #constraints=39903
1556.11/1556.93	c nbDecision=1367000 #constraints=39922
1557.31/1558.15	c nbDecision=1367500 #constraints=39937
1558.51/1559.39	c nbDecision=1368000 #constraints=39956
1559.51/1560.36	c nbDecision=1368500 #constraints=39973
1560.51/1561.31	c nbDecision=1369000 #constraints=39993
1561.51/1562.31	c nbDecision=1369500 #constraints=40014
1562.51/1563.34	c nbDecision=1370000 #constraints=40033
1563.51/1564.33	c nbDecision=1370500 #constraints=40051
1564.31/1565.18	c nbDecision=1371000 #constraints=40065
1565.11/1565.92	c nbDecision=1371500 #constraints=40079
1566.20/1567.05	c nbDecision=1372000 #constraints=40100
1567.20/1568.02	c nbDecision=1372500 #constraints=40118
1568.40/1569.25	c nbDecision=1373000 #constraints=40140
1569.50/1570.32	c nbDecision=1373500 #constraints=40158
1570.40/1571.28	c nbDecision=1374000 #constraints=40173
1571.40/1572.23	c nbDecision=1374500 #constraints=40188
1572.50/1573.33	c nbDecision=1375000 #constraints=40204
1573.31/1574.17	c nbDecision=1375500 #constraints=40216
1574.10/1574.90	c nbDecision=1376000 #constraints=40226
1574.90/1575.72	c nbDecision=1376500 #constraints=40240
1575.90/1576.73	c nbDecision=1377000 #constraints=40259
1576.80/1577.68	c nbDecision=1377500 #constraints=40276
1577.60/1578.48	c nbDecision=1378000 #constraints=40289
1578.40/1579.22	c nbDecision=1378500 #constraints=40301
1579.40/1580.24	c nbDecision=1379000 #constraints=40315
1580.50/1581.37	c nbDecision=1379500 #constraints=40332
1581.40/1582.22	c nbDecision=1380000 #constraints=40345
1582.10/1582.97	c nbDecision=1380500 #constraints=40359
1582.80/1583.69	c nbDecision=1381000 #constraints=40374
1583.50/1584.38	c nbDecision=1381500 #constraints=40389
1584.40/1585.24	c nbDecision=1382000 #constraints=40408
1585.19/1586.05	c nbDecision=1382500 #constraints=40422
1586.59/1587.49	c nbDecision=1383000 #constraints=40446
1587.79/1588.67	c nbDecision=1383500 #constraints=40471
1588.70/1589.53	c nbDecision=1384000 #constraints=40486
1589.59/1590.42	c nbDecision=1384500 #constraints=40504
1590.59/1591.43	c nbDecision=1385000 #constraints=40516
1591.90/1592.78	c nbDecision=1385500 #constraints=40536
1593.29/1594.11	c nbDecision=1386000 #constraints=40560
1594.39/1595.20	c nbDecision=1386500 #constraints=40580
1595.39/1596.23	c nbDecision=1387000 #constraints=40601
1596.49/1597.33	c nbDecision=1387500 #constraints=40624
1597.69/1598.52	c nbDecision=1388000 #constraints=40649
1598.49/1599.36	c nbDecision=1388500 #constraints=40667
1599.49/1600.35	c nbDecision=1389000 #constraints=40684
1600.49/1601.39	c nbDecision=1389500 #constraints=40699
1601.39/1602.30	c nbDecision=1390000 #constraints=40715
1602.39/1603.22	c nbDecision=1390500 #constraints=40734
1603.29/1604.18	c nbDecision=1391000 #constraints=40747
1604.29/1605.19	c nbDecision=1391500 #constraints=40765
1605.10/1605.99	c nbDecision=1392000 #constraints=40781
1606.09/1606.94	c nbDecision=1392500 #constraints=40800
1606.99/1607.89	c nbDecision=1393000 #constraints=40818
1607.89/1608.74	c nbDecision=1393500 #constraints=40832
1608.39/1609.27	c nbDecision=1394000 #constraints=40839
1610.19/1611.01	c nbDecision=1394500 #constraints=40861
1610.89/1611.76	c nbDecision=1395000 #constraints=40874
1611.89/1612.77	c nbDecision=1395500 #constraints=40891
1612.99/1613.87	c nbDecision=1396000 #constraints=40908
1614.19/1615.09	c nbDecision=1396500 #constraints=40930
1615.19/1616.08	c nbDecision=1397000 #constraints=40950
1616.09/1616.93	c nbDecision=1397500 #constraints=40966
1616.68/1617.59	c nbDecision=1398000 #constraints=40980
1617.78/1618.69	c nbDecision=1398500 #constraints=41002
1618.88/1619.72	c nbDecision=1399000 #constraints=41019
1619.78/1620.67	c nbDecision=1399500 #constraints=41035
1621.08/1621.90	c nbDecision=1400000 #constraints=41056
1621.98/1622.80	c nbDecision=1400500 #constraints=41072
1623.38/1624.30	c nbDecision=1401000 #constraints=41099
1624.08/1624.94	c nbDecision=1401500 #constraints=41111
1625.38/1626.24	c nbDecision=1402000 #constraints=41135
1626.58/1627.42	c nbDecision=1402500 #constraints=41154
1627.98/1628.83	c nbDecision=1403000 #constraints=41178
1629.28/1630.19	c nbDecision=1403500 #constraints=41199
1630.57/1631.49	c nbDecision=1404000 #constraints=41221
1632.17/1633.08	c nbDecision=1404500 #constraints=41248
1633.78/1634.66	c nbDecision=1405000 #constraints=41276
1635.37/1636.22	c nbDecision=1405500 #constraints=41298
1636.77/1637.69	c nbDecision=1406000 #constraints=41325
1637.57/1638.43	c nbDecision=1406500 #constraints=41339
1638.67/1639.58	c nbDecision=1407000 #constraints=41363
1639.87/1640.71	c nbDecision=1407500 #constraints=41386
1640.58/1641.48	c nbDecision=1408000 #constraints=41398
1641.78/1642.66	c nbDecision=1408500 #constraints=41420
1642.98/1643.85	c nbDecision=1409000 #constraints=41439
1644.08/1644.90	c nbDecision=1409500 #constraints=41459
1644.78/1645.62	c nbDecision=1410000 #constraints=41471
1645.58/1646.44	c nbDecision=1410500 #constraints=41485
1646.58/1647.40	c nbDecision=1411000 #constraints=41502
1647.28/1648.18	c nbDecision=1411500 #constraints=41512
1648.28/1649.13	c nbDecision=1412000 #constraints=41525
1649.18/1650.06	c nbDecision=1412500 #constraints=41541
1649.97/1650.89	c nbDecision=1413000 #constraints=41554
1651.07/1651.92	c nbDecision=1413500 #constraints=41570
1652.27/1653.12	c nbDecision=1414000 #constraints=41590
1653.37/1654.25	c nbDecision=1414500 #constraints=41613
1654.47/1655.34	c nbDecision=1415000 #constraints=41631
1655.78/1656.67	c nbDecision=1415500 #constraints=41651
1657.77/1658.65	c nbDecision=1416000 #constraints=41678
1659.97/1660.82	c nbDecision=1416500 #constraints=41705
1661.47/1662.33	c nbDecision=1417000 #constraints=41729
1662.57/1663.46	c nbDecision=1417500 #constraints=41746
1663.47/1664.30	c nbDecision=1418000 #constraints=41758
1665.16/1666.04	c nbDecision=1418500 #constraints=41782
1666.16/1667.01	c nbDecision=1419000 #constraints=41796
1667.26/1668.19	c nbDecision=1419500 #constraints=41814
1668.87/1669.71	c nbDecision=1420000 #constraints=41841
1670.07/1670.92	c nbDecision=1420500 #constraints=41859
1671.17/1672.04	c nbDecision=1421000 #constraints=41878
1672.26/1673.19	c nbDecision=1421500 #constraints=41898
1673.16/1674.01	c nbDecision=1422000 #constraints=41912
1674.26/1675.16	c nbDecision=1422500 #constraints=41930
1675.36/1676.26	c nbDecision=1423000 #constraints=41951
1676.56/1677.44	c nbDecision=1423500 #constraints=41970
1677.46/1678.31	c nbDecision=1424000 #constraints=41987
1678.46/1679.33	c nbDecision=1424500 #constraints=42006
1679.26/1680.19	c nbDecision=1425000 #constraints=42021
1680.35/1681.30	c nbDecision=1425500 #constraints=42040
1681.65/1682.52	c nbDecision=1426000 #constraints=42064
1682.95/1683.80	c nbDecision=1426500 #constraints=42090
1683.95/1684.80	c nbDecision=1427000 #constraints=42109
1685.05/1685.97	c nbDecision=1427500 #constraints=42133
1686.55/1687.44	c nbDecision=1428000 #constraints=42159
1687.85/1688.74	c nbDecision=1428500 #constraints=42184
1689.15/1690.03	c nbDecision=1429000 #constraints=42209
1690.16/1691.09	c nbDecision=1429500 #constraints=42229
1691.55/1692.41	c nbDecision=1430000 #constraints=42254
1692.85/1693.73	c nbDecision=1430500 #constraints=42274
1694.16/1695.01	c nbDecision=1431000 #constraints=42293
1695.75/1696.63	c nbDecision=1431500 #constraints=42319
1696.75/1697.67	c nbDecision=1432000 #constraints=42341
1698.25/1699.16	c nbDecision=1432500 #constraints=42364
1699.75/1700.61	c nbDecision=1433000 #constraints=42389
1701.35/1702.22	c nbDecision=1433500 #constraints=42414
1702.75/1703.64	c nbDecision=1434000 #constraints=42434
1703.95/1704.81	c nbDecision=1434500 #constraints=42452
1705.25/1706.10	c nbDecision=1435000 #constraints=42472
1706.95/1707.87	c nbDecision=1435500 #constraints=42503
1708.34/1709.25	c nbDecision=1436000 #constraints=42525
1709.74/1710.68	c nbDecision=1436500 #constraints=42548
1711.34/1712.26	c nbDecision=1437000 #constraints=42571
1712.84/1713.71	c nbDecision=1437500 #constraints=42589
1714.24/1715.19	c nbDecision=1438000 #constraints=42612
1715.44/1716.36	c nbDecision=1438500 #constraints=42632
1717.24/1718.10	c nbDecision=1439000 #constraints=42656
1718.54/1719.46	c nbDecision=1439500 #constraints=42673
1720.14/1721.10	c nbDecision=1440000 #constraints=42695
1721.64/1722.53	c nbDecision=1440500 #constraints=42717
1723.03/1723.93	c nbDecision=1441000 #constraints=42733
1724.03/1724.98	c nbDecision=1441500 #constraints=42748
1725.13/1726.06	c nbDecision=1442000 #constraints=42767
1727.03/1727.92	c nbDecision=1442500 #constraints=42800
1728.73/1729.61	c nbDecision=1443000 #constraints=42831
1730.13/1731.04	c nbDecision=1443500 #constraints=42853
1732.23/1733.16	c nbDecision=1444000 #constraints=42879
1733.73/1734.69	c nbDecision=1444500 #constraints=42896
1735.13/1736.09	c nbDecision=1445000 #constraints=42913
1737.14/1738.07	c nbDecision=1445500 #constraints=42942
1739.34/1740.21	c nbDecision=1446000 #constraints=42972
1741.93/1742.87	c nbDecision=1446500 #constraints=43009
1745.03/1745.92	c nbDecision=1447000 #constraints=43049
1746.83/1747.71	c nbDecision=1447500 #constraints=43074
1748.73/1749.63	c nbDecision=1448000 #constraints=43099
1750.83/1751.79	c nbDecision=1448500 #constraints=43125
1752.33/1753.21	c nbDecision=1449000 #constraints=43148
1753.83/1754.79	c nbDecision=1449500 #constraints=43172
1754.73/1755.65	c nbDecision=1450000 #constraints=43188
1755.73/1756.69	c nbDecision=1450500 #constraints=43207
1756.63/1757.55	c nbDecision=1451000 #constraints=43224
1757.93/1758.87	c nbDecision=1451500 #constraints=43246
1759.33/1760.23	c nbDecision=1452000 #constraints=43266
1760.42/1761.32	c nbDecision=1452500 #constraints=43286
1761.33/1762.20	c nbDecision=1453000 #constraints=43295
1763.62/1764.57	c nbDecision=1453500 #constraints=43321
1765.22/1766.19	c nbDecision=1454000 #constraints=43344
1766.92/1767.88	c nbDecision=1454500 #constraints=43373
1768.52/1769.43	c nbDecision=1455000 #constraints=43397
1770.92/1771.88	c nbDecision=1455500 #constraints=43432
1772.72/1773.64	c nbDecision=1456000 #constraints=43457
1773.92/1774.82	c nbDecision=1456500 #constraints=43474
1775.72/1776.64	c nbDecision=1457000 #constraints=43496
1777.72/1778.65	c nbDecision=1457500 #constraints=43524
1779.81/1780.78	c nbDecision=1458000 #constraints=43553
1781.91/1782.88	c nbDecision=1458500 #constraints=43581
1784.01/1784.91	c nbDecision=1459000 #constraints=43605
1786.11/1787.04	c nbDecision=1459500 #constraints=43625
1788.01/1788.92	c nbDecision=1460000 #constraints=43648
1789.51/1790.48	c nbDecision=1460500 #constraints=43674
1790.01/1790.97	c nbDecision=1461000 #constraints=43680
1791.61/1792.51	c nbDecision=1461500 #constraints=43710
1792.61/1793.59	c nbDecision=1462000 #constraints=43727
1794.01/1794.92	c nbDecision=1462500 #constraints=43748
1795.11/1796.07	c nbDecision=1463000 #constraints=43768
1796.60/1797.59	c nbDecision=1463500 #constraints=43795
1797.80/1798.72	c nbDecision=1464000 #constraints=43808
1799.20/1800.11	c nbDecision=1464500 #constraints=43831
1800.01/1800.90	Received signal 15
1800.01/1800.91	
1800.01/1800.91	s UNKNOWN
1800.01/1800.91	
1800.01/1800.91	c user time= 1799.6 s
1800.01/1800.91	c system time= 0.429934 s
1800.01/1800.91	c wall clock time=1800.92

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/node3/watcher-357500-1177001883 -o ROOT/results/node3/solver-357500-1177001883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357500-1177001883/instance-357500-1177001883.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 15651
/proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=1468 CPUtime=0
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 176226052 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 367 163 131 317 0 46 0

[startup+0.0584049 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 15651
/proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=2392 CPUtime=0.05
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 408 0 0 0 5 0 0 0 18 0 1 0 176226052 2449408 390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 598 390 131 317 0 277 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2392

[startup+0.102409 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 15651
/proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=3184 CPUtime=0.1
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 592 0 0 0 10 0 0 0 18 0 1 0 176226052 3260416 574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 796 575 131 317 0 475 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3184

[startup+0.301442 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 15651
/proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=6444 CPUtime=0.29
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1430 0 0 0 29 0 0 0 19 0 1 0 176226052 6598656 1412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 1611 1412 138 317 0 1290 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6444

[startup+0.701506 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 15651
/proc/meminfo: memFree=1655904/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=6768 CPUtime=0.69
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1479 0 0 0 69 0 0 0 23 0 1 0 176226052 6930432 1461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 1692 1461 139 317 0 1371 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6768

[startup+1.50164 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 15652
/proc/meminfo: memFree=1650584/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=6768 CPUtime=1.49
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1479 0 0 0 149 0 0 0 25 0 1 0 176226052 6930432 1461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 1692 1461 139 317 0 1371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6768

[startup+3.1019 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 15652
/proc/meminfo: memFree=1650392/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=6768 CPUtime=3.09
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1479 0 0 0 309 0 0 0 25 0 1 0 176226052 6930432 1461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 1692 1461 139 317 0 1371 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6768

[startup+6.30141 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 15652
/proc/meminfo: memFree=1650328/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=6768 CPUtime=6.29
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1487 0 0 0 629 0 0 0 25 0 1 0 176226052 6930432 1469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384537 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 1692 1469 139 317 0 1371 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6768

[startup+12.7015 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 15652
/proc/meminfo: memFree=1649880/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=7164 CPUtime=12.69
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 1602 0 0 0 1268 1 0 0 25 0 1 0 176226052 7335936 1584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 1791 1584 139 317 0 1470 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7164

[startup+25.5015 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 15652
/proc/meminfo: memFree=1648024/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=9156 CPUtime=25.47
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 2102 0 0 0 2546 1 0 0 25 0 1 0 176226052 9375744 2084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 2289 2084 170 317 0 1968 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 9156

[startup+51.1017 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 15652
/proc/meminfo: memFree=1644696/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=12240 CPUtime=51.06
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 2910 0 0 0 5104 2 0 0 25 0 1 0 176226052 12533760 2845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 3060 2845 170 317 0 2739 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 12240

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 15652
/proc/meminfo: memFree=1640024/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=17272 CPUtime=102.24
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 4128 0 0 0 10219 5 0 0 25 0 1 0 176226052 17686528 4063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 4318 4063 170 317 0 3997 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 17272

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 15652
/proc/meminfo: memFree=1635032/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=22492 CPUtime=162.2
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 5356 0 0 0 16213 7 0 0 25 0 1 0 176226052 23031808 5291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 5623 5291 170 317 0 5302 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 22492

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 15824
/proc/meminfo: memFree=1629416/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=27068 CPUtime=222.08
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 6504 0 0 0 22198 10 0 0 25 0 1 0 176226052 27717632 6346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 6767 6346 170 317 0 6446 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 27068

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 15850
/proc/meminfo: memFree=1627288/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=30400 CPUtime=282.03
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 7323 0 0 0 28191 12 0 0 25 0 1 0 176226052 31129600 7165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 7600 7165 170 317 0 7279 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 30400

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 15850
/proc/meminfo: memFree=1624024/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=34056 CPUtime=342
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 8171 0 0 0 34187 13 0 0 25 0 1 0 176226052 34873344 8013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 8514 8013 170 317 0 8193 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 34056

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 15850
/proc/meminfo: memFree=1621208/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=36672 CPUtime=401.97
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 8866 0 0 0 40183 14 0 0 25 0 1 0 176226052 37552128 8708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 9168 8708 170 317 0 8847 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 36672

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 15850
/proc/meminfo: memFree=1618328/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=40428 CPUtime=461.94
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 9806 0 0 0 46178 16 0 0 25 0 1 0 176226052 41398272 9417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 10107 9417 170 317 0 9786 0
Current children cumulated CPU time (s) 461.94
Current children cumulated vsize (KiB) 40428

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 15850
/proc/meminfo: memFree=1615768/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=43304 CPUtime=521.91
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 10518 0 0 0 52174 17 0 0 25 0 1 0 176226052 44343296 10063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 10826 10063 170 317 0 10505 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 43304

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 15850
/proc/meminfo: memFree=1613208/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=45968 CPUtime=581.89
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 11164 0 0 0 58171 18 0 0 25 0 1 0 176226052 47071232 10709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 11492 10709 170 317 0 11171 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 45968

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 15850
/proc/meminfo: memFree=1610712/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=48192 CPUtime=641.87
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 11796 0 0 0 64168 19 0 0 25 0 1 0 176226052 49348608 11308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 12048 11308 170 317 0 11727 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 48192


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

[startup+882.302 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 15850
/proc/meminfo: memFree=1601688/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=57836 CPUtime=881.77
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 14416 0 0 0 88153 24 0 0 25 0 1 0 176226052 59224064 13579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 14459 13579 170 317 0 14138 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 57836

[startup+942.301 s]
/proc/loadavg: 1.12 1.02 1.00 2/78 15850
/proc/meminfo: memFree=1599640/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=59932 CPUtime=941.74
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 14974 0 0 0 94149 25 0 0 25 0 1 0 176226052 61370368 14104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 14983 14104 170 317 0 14662 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 59932

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 15850
/proc/meminfo: memFree=1597720/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=61784 CPUtime=1001.73
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 15452 0 0 0 100146 27 0 0 25 0 1 0 176226052 63266816 14582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 15446 14582 170 317 0 15125 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 61784

[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1595608/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=63880 CPUtime=1061.7
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 15979 0 0 0 106142 28 0 0 25 0 1 0 176226052 65413120 15109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 15970 15109 170 317 0 15649 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 63880

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1593624/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=66120 CPUtime=1121.68
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 16558 0 0 0 112139 29 0 0 25 0 1 0 176226052 67706880 15589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 16530 15589 170 317 0 16209 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 66120

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1591640/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=68076 CPUtime=1181.66
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 17109 0 0 0 118136 30 0 0 25 0 1 0 176226052 69709824 16074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 17019 16074 170 317 0 16698 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 68076

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1590168/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=69396 CPUtime=1241.64
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 17471 0 0 0 124133 31 0 0 25 0 1 0 176226052 71061504 16436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 17349 16436 170 317 0 17028 0
Current children cumulated CPU time (s) 1241.64
Current children cumulated vsize (KiB) 69396

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1588504/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=72748 CPUtime=1301.61
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 18284 0 0 0 130129 32 0 0 25 0 1 0 176226052 74493952 16859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 18187 16859 170 317 0 17866 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 72748

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1586968/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=74036 CPUtime=1361.58
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 18668 0 0 0 136125 33 0 0 25 0 1 0 176226052 75812864 17243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 18509 17244 170 317 0 18188 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 74036

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1585048/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=75992 CPUtime=1421.57
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 19182 0 0 0 142122 35 0 0 25 0 1 0 176226052 77815808 17724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 18998 17724 170 317 0 18677 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 75992

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1583000/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=79020 CPUtime=1481.54
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 19961 0 0 0 148118 36 0 0 25 0 1 0 176226052 80916480 18243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 19755 18243 170 317 0 19434 0
Current children cumulated CPU time (s) 1481.54
Current children cumulated vsize (KiB) 79020

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1580760/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=81492 CPUtime=1541.51
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 20634 0 0 0 154114 37 0 0 25 0 1 0 176226052 83447808 18786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604187 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 20373 18786 170 317 0 20052 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 81492

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1578648/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=83436 CPUtime=1601.49
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 21198 0 0 0 160110 39 0 0 25 0 1 0 176226052 85438464 19317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 20859 19317 170 317 0 20538 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 83436

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1576472/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=85668 CPUtime=1661.47
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 21798 0 0 0 166107 40 0 0 25 0 1 0 176226052 87724032 19851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 21417 19851 170 317 0 21096 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 85668

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1574360/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=87480 CPUtime=1721.44
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 22334 0 0 0 172103 41 0 0 25 0 1 0 176226052 89579520 20387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 21870 20387 170 317 0 21549 0
Current children cumulated CPU time (s) 1721.44
Current children cumulated vsize (KiB) 87480

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1572568/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=89188 CPUtime=1781.41
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 22792 0 0 0 178099 42 0 0 25 0 1 0 176226052 91328512 20845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 22297 20845 170 317 0 21976 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (KiB) 89188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1571928/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=89852 CPUtime=1800.01
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 22966 0 0 0 179959 42 0 0 25 0 1 0 176226052 92008448 20986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 22463 20986 170 317 0 22142 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 89852

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15850
/proc/meminfo: memFree=1571928/2055920 swapFree=4140688/4192956
[pid=15651] ppid=15649 vsize=89852 CPUtime=1800.01
/proc/15651/stat : 15651 (oree) R 15649 15651 15594 0 -1 4194304 22966 0 0 0 179959 42 0 0 25 0 1 0 176226052 92008448 20986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15651/statm: 22463 20986 170 317 0 22142 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 89852

Child status: 0
Real time (s): 1800.94
CPU time (s): 1800.06
CPU user time (s): 1799.61
CPU system time (s): 0.444932
CPU usage (%): 99.9509
Max. virtual memory (cumulated for all children) (KiB): 89852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.444932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 40038

runsolver used 2.17567 second user time and 4.48932 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Thu Apr 19 16:58:03 UTC 2007

IDJOB= 357500
IDBENCH= 2946
IDSOLVER= 172
FILE ID= node3/357500-1177001883

PBS_JOBID= 4630518

Free space on /tmp= 66357 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d262db503fd284bdfe2b43790fda8490

RANDOM SEED= 679909938

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1656312 kB
Buffers:         37172 kB
Cached:         296764 kB
SwapCached:      15176 kB
Active:          53416 kB
Inactive:       303252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1656312 kB
SwapTotal:     4192956 kB
SwapFree:      4140688 kB
Dirty:            2192 kB
Writeback:           0 kB
Mapped:          29728 kB
Slab:            28504 kB
Committed_AS:  5298520 kB
PageTables:       1780 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= 66357 MiB

End job on node3 on Thu Apr 19 17:28:06 UTC 2007