Trace number 356873

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.18 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb
MD5SUM908b859aa6cb5be1c335ba1e4149146b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark87587
Best CPU time to get the best result obtained on this benchmark1802.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 240
Optimality of the best value was proved NO
Number of variables17840
Total number of constraints656
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 10640
Biggest coefficient in the objective function 3638
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 534104
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261895
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 534104
Number of bits of the biggest sum of numbers20
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.09/0.16	c ...done
0.09/0.16	c #vars=17840 #constraints=897 hasObjective=yes
0.29/0.30	c res. mode=mod
0.29/0.30	c VSIDS like heuristics
0.29/0.30	c complete search running
0.29/0.38	c restart after 401 decisions
0.29/0.39	c nbDecision=500 #constraints=897
0.39/0.45	c restart after 801 decisions
0.39/0.48	c nbDecision=1000 #constraints=897
0.49/0.57	c nbDecision=1500 #constraints=897
0.49/0.59	c restart after 1601 decisions
0.59/0.66	c nbDecision=2000 #constraints=897
0.69/0.74	c nbDecision=2500 #constraints=897
0.79/0.83	c nbDecision=3000 #constraints=897
0.79/0.86	c restart after 3201 decisions
0.89/0.92	c nbDecision=3500 #constraints=897
0.99/1.00	c nbDecision=4000 #constraints=897
0.99/1.09	c nbDecision=4500 #constraints=897
1.09/1.17	c nbDecision=5000 #constraints=897
1.19/1.25	c nbDecision=5500 #constraints=897
1.29/1.32	c nbDecision=6000 #constraints=897
1.29/1.38	c restart after 6401 decisions
1.39/1.40	c nbDecision=6500 #constraints=897
1.39/1.49	c nbDecision=7000 #constraints=897
1.49/1.57	c nbDecision=7500 #constraints=897
1.59/1.65	c nbDecision=8000 #constraints=897
1.69/1.73	c nbDecision=8500 #constraints=897
1.79/1.81	c nbDecision=9000 #constraints=897
1.79/1.88	c nbDecision=9500 #constraints=897
1.89/1.95	c nbDecision=10000 #constraints=897
1.99/2.02	c nbDecision=10500 #constraints=897
1.99/2.09	c nbDecision=11000 #constraints=897
2.09/2.15	c nbDecision=11500 #constraints=897
2.19/2.22	c nbDecision=12000 #constraints=897
2.19/2.28	c nbDecision=12500 #constraints=897
2.29/2.31	c restart after 12801 decisions
2.29/2.35	c nbDecision=13000 #constraints=897
2.39/2.44	c nbDecision=13500 #constraints=897
2.49/2.52	c nbDecision=14000 #constraints=897
2.59/2.60	c nbDecision=14500 #constraints=897
2.59/2.68	c nbDecision=15000 #constraints=897
2.69/2.76	c nbDecision=15500 #constraints=897
2.79/2.84	c nbDecision=16000 #constraints=897
2.89/2.91	c nbDecision=16500 #constraints=897
2.89/2.98	c nbDecision=17000 #constraints=897
2.99/3.05	c nbDecision=17500 #constraints=897
3.09/3.11	c nbDecision=18000 #constraints=897
3.09/3.17	c nbDecision=18500 #constraints=897
3.19/3.23	c nbDecision=19000 #constraints=897
3.19/3.29	c nbDecision=19500 #constraints=897
3.29/3.35	c nbDecision=20000 #constraints=897
3.39/3.47	c nbDecision=20500 #constraints=908
3.59/3.62	c nbDecision=21000 #constraints=933
3.69/3.71	c nbDecision=21500 #constraints=933
3.69/3.79	c nbDecision=22000 #constraints=933
3.79/3.87	c nbDecision=22500 #constraints=933
3.89/3.94	c nbDecision=23000 #constraints=933
3.99/4.01	c nbDecision=23500 #constraints=933
3.99/4.08	c nbDecision=24000 #constraints=933
4.09/4.15	c nbDecision=24500 #constraints=933
4.19/4.22	c nbDecision=25000 #constraints=933
4.19/4.28	c nbDecision=25500 #constraints=933
4.19/4.30	c restart after 25601 decisions
4.29/4.37	c nbDecision=26000 #constraints=933
4.39/4.46	c nbDecision=26500 #constraints=933
4.49/4.54	c nbDecision=27000 #constraints=933
4.59/4.63	c nbDecision=27500 #constraints=933
4.69/4.70	c nbDecision=28000 #constraints=933
4.69/4.78	c nbDecision=28500 #constraints=933
4.79/4.86	c nbDecision=29000 #constraints=933
4.89/4.93	c nbDecision=29500 #constraints=933
4.89/5.00	c nbDecision=30000 #constraints=933
4.99/5.06	c nbDecision=30500 #constraints=933
5.09/5.13	c nbDecision=31000 #constraints=933
5.09/5.19	c nbDecision=31500 #constraints=933
5.19/5.25	c nbDecision=32000 #constraints=933
5.29/5.31	c nbDecision=32500 #constraints=933
5.29/5.38	c nbDecision=33000 #constraints=933
5.49/5.56	c nbDecision=33500 #constraints=976
5.58/5.65	c nbDecision=34000 #constraints=976
5.68/5.73	c nbDecision=34500 #constraints=976
5.78/5.82	c nbDecision=35000 #constraints=976
5.88/5.90	c nbDecision=35500 #constraints=976
5.88/5.98	c nbDecision=36000 #constraints=976
5.98/6.06	c nbDecision=36500 #constraints=976
6.08/6.13	c nbDecision=37000 #constraints=976
6.18/6.20	c nbDecision=37500 #constraints=976
6.18/6.27	c nbDecision=38000 #constraints=976
6.28/6.33	c nbDecision=38500 #constraints=976
6.38/6.40	c nbDecision=39000 #constraints=976
6.38/6.46	c nbDecision=39500 #constraints=976
6.49/6.52	c nbDecision=40000 #constraints=976
6.49/6.58	c nbDecision=40500 #constraints=976
6.59/6.69	c nbDecision=41000 #constraints=986
6.79/6.82	c nbDecision=41500 #constraints=1034
6.89/6.91	c nbDecision=42000 #constraints=1034
6.99/7.00	c nbDecision=42500 #constraints=1034
6.99/7.08	c nbDecision=43000 #constraints=1034
7.09/7.16	c nbDecision=43500 #constraints=1034
7.19/7.24	c nbDecision=44000 #constraints=1034
7.29/7.32	c nbDecision=44500 #constraints=1034
7.29/7.39	c nbDecision=45000 #constraints=1034
7.39/7.46	c nbDecision=45500 #constraints=1034
7.49/7.53	c nbDecision=46000 #constraints=1034
7.49/7.59	c nbDecision=46500 #constraints=1034
7.59/7.65	c nbDecision=47000 #constraints=1034
7.69/7.71	c nbDecision=47500 #constraints=1034
7.69/7.77	c nbDecision=48000 #constraints=1034
7.79/7.83	c nbDecision=48500 #constraints=1034
7.99/8.01	c nbDecision=49000 #constraints=1069
8.09/8.13	c nbDecision=49500 #constraints=1109
8.19/8.22	c nbDecision=50000 #constraints=1109
8.29/8.30	c nbDecision=50500 #constraints=1109
8.29/8.39	c nbDecision=51000 #constraints=1109
8.39/8.42	c restart after 51201 decisions
8.39/8.48	c nbDecision=51500 #constraints=1109
8.49/8.56	c nbDecision=52000 #constraints=1109
8.59/8.65	c nbDecision=52500 #constraints=1109
8.69/8.73	c nbDecision=53000 #constraints=1109
8.79/8.81	c nbDecision=53500 #constraints=1109
8.79/8.89	c nbDecision=54000 #constraints=1109
8.89/8.96	c nbDecision=54500 #constraints=1109
8.99/9.03	c nbDecision=55000 #constraints=1109
9.09/9.10	c nbDecision=55500 #constraints=1109
9.09/9.17	c nbDecision=56000 #constraints=1109
9.19/9.24	c nbDecision=56500 #constraints=1109
9.29/9.30	c nbDecision=57000 #constraints=1109
9.29/9.36	c nbDecision=57500 #constraints=1109
9.39/9.42	c nbDecision=58000 #constraints=1109
9.39/9.48	c nbDecision=58500 #constraints=1109
9.59/9.63	c nbDecision=59000 #constraints=1126
9.69/9.72	c nbDecision=59500 #constraints=1126
9.79/9.81	c nbDecision=60000 #constraints=1126
9.79/9.89	c nbDecision=60500 #constraints=1126
9.89/9.96	c nbDecision=61000 #constraints=1126
9.99/10.04	c nbDecision=61500 #constraints=1126
10.09/10.12	c nbDecision=62000 #constraints=1126
10.09/10.19	c nbDecision=62500 #constraints=1126
10.19/10.26	c nbDecision=63000 #constraints=1126
10.29/10.33	c nbDecision=63500 #constraints=1126
10.39/10.40	c nbDecision=64000 #constraints=1126
10.39/10.46	c nbDecision=64500 #constraints=1126
10.49/10.52	c nbDecision=65000 #constraints=1126
10.49/10.58	c nbDecision=65500 #constraints=1126
10.59/10.64	c nbDecision=66000 #constraints=1126
10.69/10.74	c nbDecision=66500 #constraints=1126
10.89/10.95	c nbDecision=67000 #constraints=1205
10.99/11.03	c nbDecision=67500 #constraints=1205
11.09/11.12	c nbDecision=68000 #constraints=1205
11.19/11.21	c nbDecision=68500 #constraints=1205
11.19/11.29	c nbDecision=69000 #constraints=1205
11.29/11.37	c nbDecision=69500 #constraints=1205
11.39/11.45	c nbDecision=70000 #constraints=1205
11.49/11.52	c nbDecision=70500 #constraints=1205
11.49/11.59	c nbDecision=71000 #constraints=1205
11.59/11.66	c nbDecision=71500 #constraints=1205
11.69/11.73	c nbDecision=72000 #constraints=1205
11.69/11.79	c nbDecision=72500 #constraints=1205
11.79/11.85	c nbDecision=73000 #constraints=1205
11.89/11.91	c nbDecision=73500 #constraints=1205
11.89/11.96	c nbDecision=74000 #constraints=1205
11.99/12.10	c nbDecision=74500 #constraints=1222
12.19/12.27	c nbDecision=75000 #constraints=1266
12.29/12.36	c nbDecision=75500 #constraints=1266
12.39/12.44	c nbDecision=76000 #constraints=1266
12.49/12.53	c nbDecision=76500 #constraints=1266
12.59/12.61	c nbDecision=77000 #constraints=1266
12.59/12.69	c nbDecision=77500 #constraints=1266
12.69/12.76	c nbDecision=78000 #constraints=1266
12.79/12.84	c nbDecision=78500 #constraints=1266
12.89/12.91	c nbDecision=79000 #constraints=1266
12.89/12.98	c nbDecision=79500 #constraints=1266
12.99/13.04	c nbDecision=80000 #constraints=1266
13.09/13.10	c nbDecision=80500 #constraints=1266
13.09/13.16	c nbDecision=81000 #constraints=1266
13.19/13.22	c nbDecision=81500 #constraints=1266
13.19/13.28	c nbDecision=82000 #constraints=1266
13.39/13.45	c nbDecision=82500 #constraints=1293
13.49/13.57	c nbDecision=83000 #constraints=1323
13.59/13.65	c nbDecision=83500 #constraints=1323
13.69/13.73	c nbDecision=84000 #constraints=1323
13.79/13.80	c nbDecision=84500 #constraints=1323
13.79/13.88	c nbDecision=85000 #constraints=1323
13.89/13.96	c nbDecision=85500 #constraints=1323
13.99/14.04	c nbDecision=86000 #constraints=1323
14.09/14.11	c nbDecision=86500 #constraints=1323
14.09/14.18	c nbDecision=87000 #constraints=1323
14.19/14.25	c nbDecision=87500 #constraints=1323
14.29/14.31	c nbDecision=88000 #constraints=1323
14.29/14.38	c nbDecision=88500 #constraints=1323
14.39/14.44	c nbDecision=89000 #constraints=1323
14.39/14.50	c nbDecision=89500 #constraints=1323
14.49/14.57	c nbDecision=90000 #constraints=1323
14.69/14.77	c nbDecision=90500 #constraints=1382
15.08/15.12	c nbDecision=91000 #constraints=1639
15.28/15.30	c nbDecision=91500 #constraints=1705
15.59/15.61	c nbDecision=92000 #constraints=1924
15.68/15.78	c nbDecision=92500 #constraints=1986
15.78/15.85	c nbDecision=93000 #constraints=1986
15.88/15.92	c nbDecision=93500 #constraints=1986
15.88/15.98	c nbDecision=94000 #constraints=1986
15.98/16.04	c nbDecision=94500 #constraints=1986
16.08/16.10	c nbDecision=95000 #constraints=1986
16.08/16.16	c nbDecision=95500 #constraints=1986
16.18/16.25	c nbDecision=96000 #constraints=1986
16.48/16.52	c nbDecision=96500 #constraints=2118
16.78/16.83	c nbDecision=97000 #constraints=2295
17.29/17.34	c nbDecision=97500 #constraints=2434
17.59/17.66	c nbDecision=98000 #constraints=2604
17.88/17.91	c nbDecision=98500 #constraints=2720
18.18/18.23	c nbDecision=99000 #constraints=2863
18.48/18.54	c nbDecision=99500 #constraints=3048
18.78/18.86	c nbDecision=100000 #constraints=3218
19.08/19.14	c nbDecision=100500 #constraints=3332
19.38/19.49	c nbDecision=101000 #constraints=3392
19.88/19.96	c nbDecision=101500 #constraints=3550
20.08/20.19	c nbDecision=102000 #constraints=3597
20.38/20.41	c restart after 102401 decisions
20.38/20.48	c nbDecision=102500 #constraints=3684
20.48/20.59	c nbDecision=103000 #constraints=3684
20.58/20.67	c nbDecision=103500 #constraints=3684
20.68/20.76	c nbDecision=104000 #constraints=3684
20.79/20.84	c nbDecision=104500 #constraints=3684
20.89/20.94	c nbDecision=105000 #constraints=3684
20.98/21.02	c nbDecision=105500 #constraints=3684
20.98/21.09	c nbDecision=106000 #constraints=3684
21.08/21.17	c nbDecision=106500 #constraints=3684
21.18/21.25	c nbDecision=107000 #constraints=3684
21.28/21.31	c nbDecision=107500 #constraints=3684
21.28/21.38	c nbDecision=108000 #constraints=3684
21.38/21.44	c nbDecision=108500 #constraints=3684
21.38/21.50	c nbDecision=109000 #constraints=3684
21.48/21.55	c nbDecision=109500 #constraints=3684
21.58/21.68	c nbDecision=110000 #constraints=3695
21.99/22.04	c nbDecision=110500 #constraints=3844
22.18/22.27	c nbDecision=111000 #constraints=3887
22.48/22.59	c nbDecision=111500 #constraints=4023
22.68/22.77	c nbDecision=112000 #constraints=4063
22.88/22.99	c nbDecision=112500 #constraints=4133
23.38/23.44	c nbDecision=113000 #constraints=4254
23.58/23.64	c nbDecision=113500 #constraints=4293
23.88/23.96	c nbDecision=114000 #constraints=4416
24.08/24.18	c nbDecision=114500 #constraints=4467
24.48/24.54	c nbDecision=115000 #constraints=4530
24.98/25.01	c nbDecision=115500 #constraints=4631
25.08/25.17	c nbDecision=116000 #constraints=4645
25.38/25.44	c nbDecision=116500 #constraints=4694
25.68/25.72	c nbDecision=117000 #constraints=4783
25.88/25.91	c nbDecision=117500 #constraints=4812
26.29/26.36	c nbDecision=118000 #constraints=4923
26.48/26.59	c nbDecision=118500 #constraints=4970
26.88/26.92	c nbDecision=119000 #constraints=5031
27.18/27.26	c nbDecision=119500 #constraints=5120
27.48/27.51	c nbDecision=120000 #constraints=5177
27.78/27.88	c nbDecision=120500 #constraints=5310
28.08/28.10	c nbDecision=121000 #constraints=5344
28.38/28.44	c nbDecision=121500 #constraints=5470
28.67/28.74	c nbDecision=122000 #constraints=5554
29.08/29.15	c nbDecision=122500 #constraints=5647
29.48/29.52	c nbDecision=123000 #constraints=5743
29.68/29.71	c nbDecision=123500 #constraints=5763
29.98/30.01	c nbDecision=124000 #constraints=5844
30.28/30.33	c nbDecision=124500 #constraints=5915
30.48/30.52	c nbDecision=125000 #constraints=5951
30.78/30.80	c nbDecision=125500 #constraints=6021
30.98/31.01	c nbDecision=126000 #constraints=6048
31.27/31.36	c nbDecision=126500 #constraints=6157
31.57/31.62	c nbDecision=127000 #constraints=6210
31.78/31.89	c nbDecision=127500 #constraints=6286
32.18/32.26	c nbDecision=128000 #constraints=6404
32.38/32.48	c nbDecision=128500 #constraints=6427
32.58/32.69	c nbDecision=129000 #constraints=6467
32.98/33.05	c nbDecision=129500 #constraints=6571
33.17/33.25	c nbDecision=130000 #constraints=6602
33.47/33.59	c nbDecision=130500 #constraints=6679
33.77/33.87	c nbDecision=131000 #constraints=6736
34.18/34.20	c nbDecision=131500 #constraints=6821
34.48/34.53	c nbDecision=132000 #constraints=6897
34.78/34.86	c nbDecision=132500 #constraints=6919
35.08/35.12	c nbDecision=133000 #constraints=6956
35.38/35.50	c nbDecision=133500 #constraints=7049
35.68/35.71	c nbDecision=134000 #constraints=7070
35.98/36.00	c nbDecision=134500 #constraints=7130
36.28/36.36	c nbDecision=135000 #constraints=7212
36.47/36.54	c nbDecision=135500 #constraints=7232
36.67/36.72	c nbDecision=136000 #constraints=7251
36.87/36.94	c nbDecision=136500 #constraints=7284
37.17/37.26	c nbDecision=137000 #constraints=7344
37.38/37.47	c nbDecision=137500 #constraints=7371
37.78/37.86	c nbDecision=138000 #constraints=7435
38.08/38.15	c nbDecision=138500 #constraints=7498
38.38/38.49	c nbDecision=139000 #constraints=7528
38.78/38.80	c nbDecision=139500 #constraints=7594
38.88/38.99	c nbDecision=140000 #constraints=7617
39.28/39.40	c nbDecision=140500 #constraints=7685
39.58/39.63	c nbDecision=141000 #constraints=7721
39.87/39.94	c nbDecision=141500 #constraints=7779
40.17/40.23	c nbDecision=142000 #constraints=7829
40.47/40.59	c nbDecision=142500 #constraints=7889
40.68/40.77	c nbDecision=143000 #constraints=7901
40.87/40.99	c nbDecision=143500 #constraints=7935
41.27/41.36	c nbDecision=144000 #constraints=8017
41.47/41.53	c nbDecision=144500 #constraints=8029
41.68/41.72	c nbDecision=145000 #constraints=8052
42.08/42.11	c nbDecision=145500 #constraints=8091
42.28/42.38	c nbDecision=146000 #constraints=8143
42.78/42.85	c nbDecision=146500 #constraints=8201
43.08/43.15	c nbDecision=147000 #constraints=8255
43.28/43.31	c nbDecision=147500 #constraints=8262
43.48/43.54	c nbDecision=148000 #constraints=8287
43.98/44.01	c nbDecision=148500 #constraints=8369
44.18/44.20	c nbDecision=149000 #constraints=8386
44.58/44.62	c nbDecision=149500 #constraints=8467
44.77/44.86	c nbDecision=150000 #constraints=8491
44.98/45.09	c nbDecision=150500 #constraints=8527
45.17/45.29	c nbDecision=151000 #constraints=8545
45.47/45.57	c nbDecision=151500 #constraints=8586
45.77/45.81	c nbDecision=152000 #constraints=8615
45.97/46.06	c nbDecision=152500 #constraints=8641
46.37/46.44	c nbDecision=153000 #constraints=8714
46.57/46.69	c nbDecision=153500 #constraints=8750
46.87/46.92	c nbDecision=154000 #constraints=8767
47.18/47.22	c nbDecision=154500 #constraints=8811
47.58/47.61	c nbDecision=155000 #constraints=8887
47.68/47.76	c nbDecision=155500 #constraints=8891
47.97/48.08	c nbDecision=156000 #constraints=8947
48.47/48.50	c nbDecision=156500 #constraints=9039
48.57/48.66	c nbDecision=157000 #constraints=9047
48.98/49.05	c nbDecision=157500 #constraints=9099
49.18/49.26	c nbDecision=158000 #constraints=9123
49.58/49.60	c nbDecision=158500 #constraints=9152
49.88/49.96	c nbDecision=159000 #constraints=9214
50.08/50.17	c nbDecision=159500 #constraints=9233
50.27/50.35	c nbDecision=160000 #constraints=9237
50.58/50.69	c nbDecision=160500 #constraints=9311
50.87/50.96	c nbDecision=161000 #constraints=9348
51.27/51.31	c nbDecision=161500 #constraints=9415
51.67/51.76	c nbDecision=162000 #constraints=9515
52.07/52.13	c nbDecision=162500 #constraints=9566
52.37/52.49	c nbDecision=163000 #constraints=9625
52.67/52.73	c nbDecision=163500 #constraints=9648
52.87/52.95	c nbDecision=164000 #constraints=9660
53.17/53.28	c nbDecision=164500 #constraints=9714
53.47/53.53	c nbDecision=165000 #constraints=9743
53.78/53.90	c nbDecision=165500 #constraints=9778
54.27/54.37	c nbDecision=166000 #constraints=9865
54.57/54.66	c nbDecision=166500 #constraints=9900
54.77/54.88	c nbDecision=167000 #constraints=9921
55.37/55.40	c nbDecision=167500 #constraints=9999
55.57/55.65	c nbDecision=168000 #constraints=10027
55.87/55.90	c nbDecision=168500 #constraints=10054
56.07/56.19	c nbDecision=169000 #constraints=10101
56.37/56.42	c nbDecision=169500 #constraints=10117
56.77/56.83	c nbDecision=170000 #constraints=10172
57.07/57.19	c nbDecision=170500 #constraints=10232
57.27/57.39	c nbDecision=171000 #constraints=10245
57.67/57.75	c nbDecision=171500 #constraints=10308
57.97/58.03	c nbDecision=172000 #constraints=10353
58.28/58.31	c nbDecision=172500 #constraints=10392
58.57/58.65	c nbDecision=173000 #constraints=10442
58.77/58.88	c nbDecision=173500 #constraints=10465
59.07/59.18	c nbDecision=174000 #constraints=10502
59.47/59.51	c nbDecision=174500 #constraints=10548
59.57/59.69	c nbDecision=175000 #constraints=10558
59.97/60.01	c nbDecision=175500 #constraints=10604
60.27/60.35	c nbDecision=176000 #constraints=10653
60.47/60.54	c nbDecision=176500 #constraints=10664
60.77/60.83	c nbDecision=177000 #constraints=10707
61.17/61.20	c nbDecision=177500 #constraints=10754
61.27/61.35	c nbDecision=178000 #constraints=10756
61.57/61.66	c nbDecision=178500 #constraints=10793
62.07/62.14	c nbDecision=179000 #constraints=10849
62.27/62.36	c nbDecision=179500 #constraints=10872
62.58/62.67	c nbDecision=180000 #constraints=10898
62.97/63.01	c nbDecision=180500 #constraints=10950
63.17/63.20	c nbDecision=181000 #constraints=10963
63.47/63.58	c nbDecision=181500 #constraints=10989
63.77/63.84	c nbDecision=182000 #constraints=11018
64.07/64.11	c nbDecision=182500 #constraints=11057
64.27/64.31	c nbDecision=183000 #constraints=11065
64.47/64.56	c nbDecision=183500 #constraints=11083
64.77/64.88	c nbDecision=184000 #constraints=11126
64.97/65.09	c nbDecision=184500 #constraints=11137
65.47/65.58	c nbDecision=185000 #constraints=11201
65.77/65.90	c nbDecision=185500 #constraints=11239
66.07/66.14	c nbDecision=186000 #constraints=11250
66.36/66.45	c nbDecision=186500 #constraints=11297
66.77/66.89	c nbDecision=187000 #constraints=11376
66.98/67.09	c nbDecision=187500 #constraints=11391
67.37/67.41	c nbDecision=188000 #constraints=11436
67.57/67.67	c nbDecision=188500 #constraints=11456
67.87/67.90	c nbDecision=189000 #constraints=11477
68.27/68.31	c nbDecision=189500 #constraints=11511
68.57/68.67	c nbDecision=190000 #constraints=11557
68.77/68.86	c nbDecision=190500 #constraints=11569
69.28/69.36	c nbDecision=191000 #constraints=11626
69.67/69.73	c nbDecision=191500 #constraints=11659
70.07/70.10	c nbDecision=192000 #constraints=11707
70.17/70.25	c nbDecision=192500 #constraints=11710
70.37/70.49	c nbDecision=193000 #constraints=11727
70.67/70.77	c nbDecision=193500 #constraints=11767
70.97/71.01	c nbDecision=194000 #constraints=11781
71.17/71.29	c nbDecision=194500 #constraints=11811
71.47/71.55	c nbDecision=195000 #constraints=11831
71.77/71.83	c nbDecision=195500 #constraints=11859
72.17/72.21	c nbDecision=196000 #constraints=11910
72.47/72.51	c nbDecision=196500 #constraints=11956
72.67/72.71	c nbDecision=197000 #constraints=11960
72.97/73.07	c nbDecision=197500 #constraints=11998
73.27/73.37	c nbDecision=198000 #constraints=12026
73.47/73.57	c nbDecision=198500 #constraints=12039
73.86/73.93	c nbDecision=199000 #constraints=12087
74.26/74.32	c nbDecision=199500 #constraints=12148
74.46/74.51	c nbDecision=200000 #constraints=12159
74.67/74.80	c nbDecision=200500 #constraints=12193
75.06/75.13	c nbDecision=201000 #constraints=12232
75.26/75.31	c nbDecision=201500 #constraints=12240
75.56/75.69	c nbDecision=202000 #constraints=12308
75.87/75.98	c nbDecision=202500 #constraints=12344
76.26/76.32	c nbDecision=203000 #constraints=12368
76.46/76.58	c nbDecision=203500 #constraints=12390
76.86/76.92	c nbDecision=204000 #constraints=12432
77.06/77.11	c nbDecision=204500 #constraints=12434
77.27/77.38	c restart after 204801 decisions
77.67/77.78	c nbDecision=205000 #constraints=12472
77.87/77.93	c nbDecision=205500 #constraints=12472
77.97/78.03	c nbDecision=206000 #constraints=12472
78.07/78.12	c nbDecision=206500 #constraints=12472
78.17/78.25	c nbDecision=207000 #constraints=12472
78.37/78.42	c nbDecision=207500 #constraints=12472
78.47/78.53	c nbDecision=208000 #constraints=12472
78.57/78.63	c nbDecision=208500 #constraints=12472
78.67/78.76	c nbDecision=209000 #constraints=12472
78.77/78.87	c nbDecision=209500 #constraints=12472
78.87/78.94	c nbDecision=210000 #constraints=12472
78.97/79.00	c nbDecision=210500 #constraints=12472
78.97/79.06	c nbDecision=211000 #constraints=12472
79.07/79.12	c nbDecision=211500 #constraints=12472
79.07/79.18	c nbDecision=212000 #constraints=12472
79.27/79.31	c nbDecision=212500 #constraints=12472
79.67/79.72	c nbDecision=213000 #constraints=12537
79.87/79.98	c nbDecision=213500 #constraints=12554
80.17/80.26	c nbDecision=214000 #constraints=12579
80.47/80.55	c nbDecision=214500 #constraints=12606
80.86/80.90	c nbDecision=215000 #constraints=12641
81.06/81.13	c nbDecision=215500 #constraints=12654
81.37/81.49	c nbDecision=216000 #constraints=12692
81.76/81.85	c nbDecision=216500 #constraints=12739
81.96/82.06	c nbDecision=217000 #constraints=12747
82.37/82.50	c nbDecision=217500 #constraints=12806
82.76/82.84	c nbDecision=218000 #constraints=12847
82.96/83.09	c nbDecision=218500 #constraints=12862
83.26/83.32	c nbDecision=219000 #constraints=12871
83.46/83.59	c nbDecision=219500 #constraints=12899
83.87/83.97	c nbDecision=220000 #constraints=12917
84.27/84.37	c nbDecision=220500 #constraints=12973
84.57/84.63	c nbDecision=221000 #constraints=12997
84.86/84.91	c nbDecision=221500 #constraints=13019
85.16/85.24	c nbDecision=222000 #constraints=13041
85.56/85.60	c nbDecision=222500 #constraints=13071
85.67/85.77	c nbDecision=223000 #constraints=13076
85.96/86.09	c nbDecision=223500 #constraints=13103
86.36/86.45	c nbDecision=224000 #constraints=13152
86.57/86.67	c nbDecision=224500 #constraints=13161
86.87/86.97	c nbDecision=225000 #constraints=13187
87.17/87.27	c nbDecision=225500 #constraints=13213
87.47/87.57	c nbDecision=226000 #constraints=13241
87.76/87.86	c nbDecision=226500 #constraints=13272
88.06/88.12	c nbDecision=227000 #constraints=13285
88.36/88.41	c nbDecision=227500 #constraints=13314
88.56/88.69	c nbDecision=228000 #constraints=13342
88.96/89.07	c nbDecision=228500 #constraints=13389
89.16/89.27	c nbDecision=229000 #constraints=13398
89.46/89.54	c nbDecision=229500 #constraints=13421
89.76/89.84	c nbDecision=230000 #constraints=13449
90.06/90.19	c nbDecision=230500 #constraints=13490
90.36/90.40	c nbDecision=231000 #constraints=13497
90.66/90.71	c nbDecision=231500 #constraints=13517
90.96/91.05	c nbDecision=232000 #constraints=13565
91.16/91.30	c nbDecision=232500 #constraints=13576
91.56/91.62	c nbDecision=233000 #constraints=13606
91.96/92.00	c nbDecision=233500 #constraints=13648
92.16/92.26	c nbDecision=234000 #constraints=13673
92.56/92.60	c nbDecision=234500 #constraints=13707
92.96/93.09	c nbDecision=235000 #constraints=13751
93.37/93.44	c nbDecision=235500 #constraints=13788
93.56/93.64	c nbDecision=236000 #constraints=13799
93.86/93.91	c nbDecision=236500 #constraints=13813
94.16/94.29	c nbDecision=237000 #constraints=13846
94.36/94.44	c nbDecision=237500 #constraints=13846
94.66/94.71	c nbDecision=238000 #constraints=13867
94.96/95.03	c nbDecision=238500 #constraints=13894
95.16/95.21	c nbDecision=239000 #constraints=13899
95.46/95.54	c nbDecision=239500 #constraints=13932
95.96/96.00	c nbDecision=240000 #constraints=13981
96.16/96.24	c nbDecision=240500 #constraints=13999
96.46/96.56	c nbDecision=241000 #constraints=14033
96.76/96.86	c nbDecision=241500 #constraints=14055
96.96/97.06	c nbDecision=242000 #constraints=14064
97.26/97.39	c nbDecision=242500 #constraints=14085
97.66/97.78	c nbDecision=243000 #constraints=14128
97.86/97.97	c nbDecision=243500 #constraints=14136
98.16/98.21	c nbDecision=244000 #constraints=14146
98.46/98.58	c nbDecision=244500 #constraints=14181
98.66/98.79	c nbDecision=245000 #constraints=14192
98.86/99.00	c nbDecision=245500 #constraints=14194
99.26/99.36	c nbDecision=246000 #constraints=14236
99.56/99.62	c nbDecision=246500 #constraints=14254
99.85/99.99	c nbDecision=247000 #constraints=14269
100.15/100.26	c nbDecision=247500 #constraints=14282
100.55/100.67	c nbDecision=248000 #constraints=14323
100.75/100.85	c nbDecision=248500 #constraints=14332
101.17/101.22	c nbDecision=249000 #constraints=14358
101.46/101.58	c nbDecision=249500 #constraints=14391
101.76/101.85	c nbDecision=250000 #constraints=14414
102.06/102.11	c nbDecision=250500 #constraints=14427
102.66/102.74	c nbDecision=251000 #constraints=14520
103.16/103.29	c nbDecision=251500 #constraints=14574
103.86/103.92	c nbDecision=252000 #constraints=14642
104.46/104.57	c nbDecision=252500 #constraints=14714
104.66/104.76	c nbDecision=253000 #constraints=14720
104.86/105.00	c nbDecision=253500 #constraints=14729
105.26/105.35	c nbDecision=254000 #constraints=14760
105.56/105.63	c nbDecision=254500 #constraints=14785
105.86/105.92	c nbDecision=255000 #constraints=14809
106.26/106.37	c nbDecision=255500 #constraints=14851
106.46/106.54	c nbDecision=256000 #constraints=14851
106.75/106.84	c nbDecision=256500 #constraints=14883
107.25/107.31	c nbDecision=257000 #constraints=14949
107.45/107.59	c nbDecision=257500 #constraints=14967
107.76/107.85	c nbDecision=258000 #constraints=14983
108.15/108.22	c nbDecision=258500 #constraints=15028
108.35/108.44	c nbDecision=259000 #constraints=15038
108.65/108.76	c nbDecision=259500 #constraints=15067
109.05/109.13	c nbDecision=260000 #constraints=15096
109.25/109.35	c nbDecision=260500 #constraints=15107
109.55/109.62	c nbDecision=261000 #constraints=15127
109.86/109.99	c nbDecision=261500 #constraints=15153
110.16/110.29	c nbDecision=262000 #constraints=15182
110.56/110.63	c nbDecision=262500 #constraints=15207
110.96/111.05	c nbDecision=263000 #constraints=15248
111.36/111.46	c nbDecision=263500 #constraints=15299
111.66/111.75	c nbDecision=264000 #constraints=15315
111.96/112.07	c nbDecision=264500 #constraints=15341
112.26/112.35	c nbDecision=265000 #constraints=15349
112.46/112.57	c nbDecision=265500 #constraints=15362
112.86/112.95	c nbDecision=266000 #constraints=15400
113.26/113.38	c nbDecision=266500 #constraints=15443
113.56/113.66	c nbDecision=267000 #constraints=15465
113.86/113.97	c nbDecision=267500 #constraints=15488
114.26/114.33	c nbDecision=268000 #constraints=15517
114.46/114.59	c nbDecision=268500 #constraints=15526
114.76/114.87	c nbDecision=269000 #constraints=15547
115.06/115.19	c nbDecision=269500 #constraints=15561
115.36/115.49	c nbDecision=270000 #constraints=15576
115.56/115.69	c nbDecision=270500 #constraints=15583
115.96/116.02	c nbDecision=271000 #constraints=15614
116.16/116.30	c nbDecision=271500 #constraints=15621
116.46/116.58	c nbDecision=272000 #constraints=15635
117.15/117.22	c nbDecision=272500 #constraints=15694
117.56/117.66	c nbDecision=273000 #constraints=15735
117.85/117.93	c nbDecision=273500 #constraints=15754
118.25/118.32	c nbDecision=274000 #constraints=15797
118.66/118.78	c nbDecision=274500 #constraints=15827
118.86/118.95	c nbDecision=275000 #constraints=15830
119.16/119.24	c nbDecision=275500 #constraints=15846
119.56/119.60	c nbDecision=276000 #constraints=15878
119.86/119.91	c nbDecision=276500 #constraints=15906
120.16/120.20	c nbDecision=277000 #constraints=15925
120.56/120.60	c nbDecision=277500 #constraints=15970
120.86/120.93	c nbDecision=278000 #constraints=15990
121.15/121.21	c nbDecision=278500 #constraints=16013
121.65/121.70	c nbDecision=279000 #constraints=16063
121.96/122.05	c nbDecision=279500 #constraints=16088
122.15/122.28	c nbDecision=280000 #constraints=16099
122.45/122.57	c nbDecision=280500 #constraints=16120
122.85/122.97	c nbDecision=281000 #constraints=16166
123.25/123.32	c nbDecision=281500 #constraints=16201
123.55/123.69	c nbDecision=282000 #constraints=16220
123.95/124.04	c nbDecision=282500 #constraints=16243
124.26/124.39	c nbDecision=283000 #constraints=16266
124.55/124.62	c nbDecision=283500 #constraints=16280
124.95/125.03	c nbDecision=284000 #constraints=16305
125.35/125.48	c nbDecision=284500 #constraints=16347
125.65/125.73	c nbDecision=285000 #constraints=16362
125.95/126.02	c nbDecision=285500 #constraints=16377
126.25/126.39	c nbDecision=286000 #constraints=16402
126.56/126.68	c nbDecision=286500 #constraints=16424
126.95/127.07	c nbDecision=287000 #constraints=16460
127.35/127.45	c nbDecision=287500 #constraints=16489
127.56/127.68	c nbDecision=288000 #constraints=16502
128.05/128.11	c nbDecision=288500 #constraints=16531
128.45/128.58	c nbDecision=289000 #constraints=16577
128.75/128.89	c nbDecision=289500 #constraints=16593
129.05/129.18	c nbDecision=290000 #constraints=16608
129.45/129.58	c nbDecision=290500 #constraints=16647
129.76/129.86	c nbDecision=291000 #constraints=16652
129.96/130.09	c nbDecision=291500 #constraints=16661
130.26/130.39	c nbDecision=292000 #constraints=16677
130.65/130.73	c nbDecision=292500 #constraints=16698
130.95/131.02	c nbDecision=293000 #constraints=16709
131.15/131.21	c nbDecision=293500 #constraints=16713
131.45/131.51	c nbDecision=294000 #constraints=16729
131.65/131.80	c nbDecision=294500 #constraints=16736
131.95/132.06	c nbDecision=295000 #constraints=16754
132.25/132.31	c nbDecision=295500 #constraints=16761
132.65/132.71	c nbDecision=296000 #constraints=16797
132.95/133.05	c nbDecision=296500 #constraints=16817
133.15/133.22	c nbDecision=297000 #constraints=16819
133.45/133.54	c nbDecision=297500 #constraints=16835
133.85/133.95	c nbDecision=298000 #constraints=16857
134.15/134.29	c nbDecision=298500 #constraints=16888
134.45/134.54	c nbDecision=299000 #constraints=16893
134.75/134.86	c nbDecision=299500 #constraints=16916
135.26/135.32	c nbDecision=300000 #constraints=16958
135.45/135.58	c nbDecision=300500 #constraints=16974
135.75/135.90	c nbDecision=301000 #constraints=16995
136.05/136.19	c nbDecision=301500 #constraints=17004
136.45/136.55	c nbDecision=302000 #constraints=17036
136.75/136.82	c nbDecision=302500 #constraints=17046
137.15/137.23	c nbDecision=303000 #constraints=17079
137.46/137.56	c nbDecision=303500 #constraints=17111
137.75/137.82	c nbDecision=304000 #constraints=17125
138.15/138.25	c nbDecision=304500 #constraints=17157
138.45/138.53	c nbDecision=305000 #constraints=17161
138.75/138.82	c nbDecision=305500 #constraints=17184
139.15/139.21	c nbDecision=306000 #constraints=17206
139.55/139.66	c nbDecision=306500 #constraints=17245
139.85/139.93	c nbDecision=307000 #constraints=17260
140.45/140.51	c nbDecision=307500 #constraints=17291
141.04/141.10	c nbDecision=308000 #constraints=17361
141.24/141.30	c nbDecision=308500 #constraints=17369
141.54/141.63	c nbDecision=309000 #constraints=17386
141.94/142.03	c nbDecision=309500 #constraints=17416
142.14/142.28	c nbDecision=310000 #constraints=17431
142.44/142.54	c nbDecision=310500 #constraints=17438
142.74/142.87	c nbDecision=311000 #constraints=17463
143.14/143.24	c nbDecision=311500 #constraints=17489
143.35/143.44	c nbDecision=312000 #constraints=17495
143.65/143.72	c nbDecision=312500 #constraints=17505
143.96/144.10	c nbDecision=313000 #constraints=17535
144.25/144.35	c nbDecision=313500 #constraints=17548
144.55/144.63	c nbDecision=314000 #constraints=17565
144.85/144.92	c nbDecision=314500 #constraints=17570
145.05/145.19	c nbDecision=315000 #constraints=17579
145.35/145.41	c nbDecision=315500 #constraints=17581
145.55/145.68	c nbDecision=316000 #constraints=17588
145.85/145.99	c nbDecision=316500 #constraints=17596
146.15/146.29	c nbDecision=317000 #constraints=17608
146.55/146.61	c nbDecision=317500 #constraints=17622
146.85/146.90	c nbDecision=318000 #constraints=17637
147.25/147.30	c nbDecision=318500 #constraints=17669
147.35/147.49	c nbDecision=319000 #constraints=17673
147.75/147.86	c nbDecision=319500 #constraints=17681
148.15/148.28	c nbDecision=320000 #constraints=17718
148.65/148.70	c nbDecision=320500 #constraints=17753
148.94/149.05	c nbDecision=321000 #constraints=17779
149.24/149.37	c nbDecision=321500 #constraints=17789
149.64/149.70	c nbDecision=322000 #constraints=17810
149.84/149.93	c nbDecision=322500 #constraints=17812
150.14/150.28	c nbDecision=323000 #constraints=17837
150.55/150.63	c nbDecision=323500 #constraints=17852
150.74/150.89	c nbDecision=324000 #constraints=17869
151.05/151.17	c nbDecision=324500 #constraints=17877
151.45/151.51	c nbDecision=325000 #constraints=17898
151.85/151.92	c nbDecision=325500 #constraints=17941
152.15/152.22	c nbDecision=326000 #constraints=17954
152.45/152.50	c nbDecision=326500 #constraints=17962
152.75/152.81	c nbDecision=327000 #constraints=17971
152.85/153.00	c nbDecision=327500 #constraints=17971
153.15/153.23	c nbDecision=328000 #constraints=17972
153.45/153.54	c nbDecision=328500 #constraints=17982
153.85/153.93	c nbDecision=329000 #constraints=18018
154.05/154.18	c nbDecision=329500 #constraints=18028
154.45/154.55	c nbDecision=330000 #constraints=18052
154.75/154.88	c nbDecision=330500 #constraints=18074
155.15/155.23	c nbDecision=331000 #constraints=18097
155.55/155.68	c nbDecision=331500 #constraints=18128
155.95/156.09	c nbDecision=332000 #constraints=18163
156.54/156.61	c nbDecision=332500 #constraints=18204
156.94/157.01	c nbDecision=333000 #constraints=18219
157.34/157.42	c nbDecision=333500 #constraints=18243
157.54/157.66	c nbDecision=334000 #constraints=18255
157.84/157.92	c nbDecision=334500 #constraints=18260
158.14/158.27	c nbDecision=335000 #constraints=18284
158.54/158.67	c nbDecision=335500 #constraints=18306
158.84/158.94	c nbDecision=336000 #constraints=18311
159.24/159.34	c nbDecision=336500 #constraints=18346
159.54/159.65	c nbDecision=337000 #constraints=18363
159.84/159.96	c nbDecision=337500 #constraints=18379
160.34/160.40	c nbDecision=338000 #constraints=18406
160.75/160.84	c nbDecision=338500 #constraints=18437
160.95/161.01	c nbDecision=339000 #constraints=18440
161.35/161.42	c nbDecision=339500 #constraints=18461
161.85/161.90	c nbDecision=340000 #constraints=18485
162.15/162.25	c nbDecision=340500 #constraints=18514
162.54/162.63	c nbDecision=341000 #constraints=18540
162.94/163.03	c nbDecision=341500 #constraints=18572
163.34/163.41	c nbDecision=342000 #constraints=18600
163.54/163.67	c nbDecision=342500 #constraints=18606
164.04/164.18	c nbDecision=343000 #constraints=18630
164.44/164.54	c nbDecision=343500 #constraints=18645
164.74/164.81	c nbDecision=344000 #constraints=18660
164.95/165.07	c nbDecision=344500 #constraints=18668
165.34/165.49	c nbDecision=345000 #constraints=18694
165.64/165.75	c nbDecision=345500 #constraints=18703
166.04/166.10	c nbDecision=346000 #constraints=18723
166.34/166.49	c nbDecision=346500 #constraints=18735
166.84/166.92	c nbDecision=347000 #constraints=18774
167.04/167.15	c nbDecision=347500 #constraints=18779
167.34/167.43	c nbDecision=348000 #constraints=18792
167.64/167.75	c nbDecision=348500 #constraints=18803
167.94/168.08	c nbDecision=349000 #constraints=18812
168.14/168.26	c nbDecision=349500 #constraints=18817
168.54/168.66	c nbDecision=350000 #constraints=18847
168.84/168.98	c nbDecision=350500 #constraints=18854
169.14/169.25	c nbDecision=351000 #constraints=18868
169.44/169.56	c nbDecision=351500 #constraints=18874
169.95/170.01	c nbDecision=352000 #constraints=18899
170.35/170.46	c nbDecision=352500 #constraints=18928
170.74/170.89	c nbDecision=353000 #constraints=18963
170.94/171.09	c nbDecision=353500 #constraints=18963
171.34/171.43	c nbDecision=354000 #constraints=18981
171.74/171.83	c nbDecision=354500 #constraints=18995
172.04/172.16	c nbDecision=355000 #constraints=19007
172.34/172.45	c nbDecision=355500 #constraints=19023
172.74/172.88	c nbDecision=356000 #constraints=19054
173.24/173.30	c nbDecision=356500 #constraints=19076
173.54/173.62	c nbDecision=357000 #constraints=19085
173.75/173.84	c nbDecision=357500 #constraints=19093
174.14/174.24	c nbDecision=358000 #constraints=19116
174.44/174.57	c nbDecision=358500 #constraints=19127
174.84/174.94	c nbDecision=359000 #constraints=19147
175.24/175.30	c nbDecision=359500 #constraints=19169
175.44/175.56	c nbDecision=360000 #constraints=19178
175.74/175.87	c nbDecision=360500 #constraints=19187
176.34/176.41	c nbDecision=361000 #constraints=19220
176.54/176.62	c nbDecision=361500 #constraints=19224
176.74/176.89	c nbDecision=362000 #constraints=19231
177.24/177.33	c nbDecision=362500 #constraints=19262
177.64/177.76	c nbDecision=363000 #constraints=19304
177.93/178.02	c nbDecision=363500 #constraints=19310
178.23/178.36	c nbDecision=364000 #constraints=19333
178.53/178.66	c nbDecision=364500 #constraints=19335
178.83/178.97	c nbDecision=365000 #constraints=19352
179.14/179.24	c nbDecision=365500 #constraints=19363
179.53/179.68	c nbDecision=366000 #constraints=19401
180.03/180.17	c nbDecision=366500 #constraints=19429
180.44/180.54	c nbDecision=367000 #constraints=19449
180.84/180.91	c nbDecision=367500 #constraints=19463
181.14/181.27	c nbDecision=368000 #constraints=19490
181.54/181.68	c nbDecision=368500 #constraints=19510
181.94/182.09	c nbDecision=369000 #constraints=19536
182.34/182.42	c nbDecision=369500 #constraints=19561
182.64/182.75	c nbDecision=370000 #constraints=19575
183.04/183.18	c nbDecision=370500 #constraints=19611
183.54/183.62	c nbDecision=371000 #constraints=19641
183.73/183.87	c nbDecision=371500 #constraints=19650
184.03/184.18	c nbDecision=372000 #constraints=19661
184.53/184.64	c nbDecision=372500 #constraints=19698
184.83/184.96	c nbDecision=373000 #constraints=19709
185.03/185.16	c nbDecision=373500 #constraints=19715
185.43/185.54	c nbDecision=374000 #constraints=19737
185.93/186.09	c nbDecision=374500 #constraints=19780
186.33/186.49	c nbDecision=375000 #constraints=19804
186.63/186.72	c nbDecision=375500 #constraints=19808
186.84/186.95	c nbDecision=376000 #constraints=19809
187.23/187.38	c nbDecision=376500 #constraints=19825
187.63/187.74	c nbDecision=377000 #constraints=19841
187.94/188.00	c nbDecision=377500 #constraints=19855
188.23/188.36	c nbDecision=378000 #constraints=19877
188.63/188.74	c nbDecision=378500 #constraints=19891
188.83/188.92	c nbDecision=379000 #constraints=19893
189.14/189.23	c nbDecision=379500 #constraints=19900
189.64/189.74	c nbDecision=380000 #constraints=19930
189.84/189.99	c nbDecision=380500 #constraints=19943
190.44/190.53	c nbDecision=381000 #constraints=19971
191.13/191.21	c nbDecision=381500 #constraints=20018
191.43/191.52	c nbDecision=382000 #constraints=20037
191.73/191.81	c nbDecision=382500 #constraints=20046
192.03/192.14	c nbDecision=383000 #constraints=20061
192.53/192.66	c nbDecision=383500 #constraints=20084
192.73/192.82	c nbDecision=384000 #constraints=20084
193.23/193.37	c nbDecision=384500 #constraints=20121
193.63/193.70	c nbDecision=385000 #constraints=20133
194.03/194.16	c nbDecision=385500 #constraints=20156
194.33/194.47	c nbDecision=386000 #constraints=20161
194.73/194.83	c nbDecision=386500 #constraints=20176
195.03/195.12	c nbDecision=387000 #constraints=20189
195.43/195.52	c nbDecision=387500 #constraints=20206
195.83/195.94	c nbDecision=388000 #constraints=20229
196.23/196.30	c nbDecision=388500 #constraints=20244
196.43/196.50	c nbDecision=389000 #constraints=20251
196.93/197.01	c nbDecision=389500 #constraints=20285
197.64/197.74	c nbDecision=390000 #constraints=20330
198.54/198.62	c nbDecision=390500 #constraints=20387
199.33/199.45	c nbDecision=391000 #constraints=20441
199.93/200.05	c nbDecision=391500 #constraints=20464
200.53/200.64	c nbDecision=392000 #constraints=20495
200.73/200.87	c nbDecision=392500 #constraints=20502
201.14/201.26	c nbDecision=393000 #constraints=20513
201.73/201.82	c nbDecision=393500 #constraints=20565
202.03/202.11	c nbDecision=394000 #constraints=20575
202.43/202.54	c nbDecision=394500 #constraints=20606
202.83/202.99	c nbDecision=395000 #constraints=20638
203.13/203.23	c nbDecision=395500 #constraints=20648
203.53/203.63	c nbDecision=396000 #constraints=20679
203.83/203.98	c nbDecision=396500 #constraints=20692
204.43/204.54	c nbDecision=397000 #constraints=20720
204.73/204.80	c nbDecision=397500 #constraints=20731
205.03/205.12	c nbDecision=398000 #constraints=20739
205.53/205.64	c nbDecision=398500 #constraints=20762
206.03/206.11	c nbDecision=399000 #constraints=20786
206.23/206.33	c nbDecision=399500 #constraints=20793
206.83/206.98	c nbDecision=400000 #constraints=20835
207.63/207.78	c nbDecision=400500 #constraints=20881
208.63/208.72	c nbDecision=401000 #constraints=20944
209.13/209.25	c nbDecision=401500 #constraints=20976
209.53/209.67	c nbDecision=402000 #constraints=20989
209.73/209.90	c nbDecision=402500 #constraints=20989
210.13/210.27	c nbDecision=403000 #constraints=21007
210.53/210.65	c nbDecision=403500 #constraints=21031
210.93/211.05	c nbDecision=404000 #constraints=21046
211.23/211.38	c nbDecision=404500 #constraints=21065
211.53/211.67	c nbDecision=405000 #constraints=21071
212.03/212.11	c nbDecision=405500 #constraints=21098
212.53/212.60	c nbDecision=406000 #constraints=21129
212.73/212.89	c nbDecision=406500 #constraints=21138
213.13/213.25	c nbDecision=407000 #constraints=21154
213.63/213.70	c nbDecision=407500 #constraints=21177
213.83/213.90	c nbDecision=408000 #constraints=21183
214.23/214.35	c nbDecision=408500 #constraints=21219
214.63/214.78	c nbDecision=409000 #constraints=21234
215.03/215.12	c nbDecision=409500 #constraints=21251
215.13/215.24	c restart after 409601 decisions
216.13/216.23	c nbDecision=410000 #constraints=21253
216.23/216.36	c nbDecision=410500 #constraints=21253
216.33/216.46	c nbDecision=411000 #constraints=21253
216.43/216.56	c nbDecision=411500 #constraints=21253
216.73/216.87	c nbDecision=412000 #constraints=21253
216.93/217.08	c nbDecision=412500 #constraints=21253
217.03/217.19	c nbDecision=413000 #constraints=21253
217.23/217.37	c nbDecision=413500 #constraints=21253
217.42/217.58	c nbDecision=414000 #constraints=21253
217.63/217.71	c nbDecision=414500 #constraints=21253
217.63/217.80	c nbDecision=415000 #constraints=21253
217.73/217.86	c nbDecision=415500 #constraints=21253
217.82/217.92	c nbDecision=416000 #constraints=21253
217.82/217.98	c nbDecision=416500 #constraints=21253
217.92/218.06	c nbDecision=417000 #constraints=21253
218.32/218.41	c nbDecision=417500 #constraints=21265
218.62/218.73	c nbDecision=418000 #constraints=21281
219.12/219.24	c nbDecision=418500 #constraints=21319
219.32/219.47	c nbDecision=419000 #constraints=21328
219.83/219.91	c nbDecision=419500 #constraints=21360
220.63/220.70	c nbDecision=420000 #constraints=21415
221.13/221.20	c nbDecision=420500 #constraints=21444
221.63/221.71	c nbDecision=421000 #constraints=21478
222.23/222.37	c nbDecision=421500 #constraints=21532
222.83/222.99	c nbDecision=422000 #constraints=21571
223.23/223.39	c nbDecision=422500 #constraints=21588
224.03/224.14	c nbDecision=423000 #constraints=21648
224.63/224.70	c nbDecision=423500 #constraints=21685
225.22/225.39	c nbDecision=424000 #constraints=21731
225.92/226.00	c nbDecision=424500 #constraints=21766
226.62/226.70	c nbDecision=425000 #constraints=21815
227.12/227.23	c nbDecision=425500 #constraints=21851
227.82/227.95	c nbDecision=426000 #constraints=21914
228.12/228.27	c nbDecision=426500 #constraints=21926
228.93/229.06	c nbDecision=427000 #constraints=21983
229.43/229.59	c nbDecision=427500 #constraints=22012
230.03/230.17	c nbDecision=428000 #constraints=22045
230.73/230.83	c nbDecision=428500 #constraints=22083
231.33/231.42	c nbDecision=429000 #constraints=22119
232.03/232.14	c nbDecision=429500 #constraints=22182
232.53/232.66	c nbDecision=430000 #constraints=22212
233.03/233.18	c nbDecision=430500 #constraints=22239
233.53/233.67	c nbDecision=431000 #constraints=22262
233.93/234.03	c nbDecision=431500 #constraints=22284
234.23/234.35	c nbDecision=432000 #constraints=22294
234.72/234.83	c nbDecision=432500 #constraints=22316
235.12/235.22	c nbDecision=433000 #constraints=22324
235.42/235.50	c nbDecision=433500 #constraints=22337
235.82/235.98	c nbDecision=434000 #constraints=22376
236.43/236.58	c nbDecision=434500 #constraints=22406
236.82/236.92	c nbDecision=435000 #constraints=22427
237.32/237.41	c nbDecision=435500 #constraints=22455
237.72/237.85	c nbDecision=436000 #constraints=22475
238.12/238.25	c nbDecision=436500 #constraints=22503
238.72/238.82	c nbDecision=437000 #constraints=22548
239.12/239.20	c nbDecision=437500 #constraints=22564
239.62/239.76	c nbDecision=438000 #constraints=22594
240.02/240.15	c nbDecision=438500 #constraints=22604
240.42/240.51	c nbDecision=439000 #constraints=22623
240.72/240.84	c nbDecision=439500 #constraints=22635
241.12/241.30	c nbDecision=440000 #constraints=22653
241.72/241.83	c nbDecision=440500 #constraints=22681
242.02/242.13	c nbDecision=441000 #constraints=22699
242.62/242.76	c nbDecision=441500 #constraints=22731
243.12/243.24	c nbDecision=442000 #constraints=22747
243.82/243.93	c nbDecision=442500 #constraints=22782
244.53/244.69	c nbDecision=443000 #constraints=22819
245.03/245.11	c nbDecision=443500 #constraints=22836
245.43/245.59	c nbDecision=444000 #constraints=22856
245.83/245.94	c nbDecision=444500 #constraints=22878
246.42/246.56	c nbDecision=445000 #constraints=22923
247.12/247.27	c nbDecision=445500 #constraints=22967
247.43/247.60	c nbDecision=446000 #constraints=22975
247.92/248.04	c nbDecision=446500 #constraints=22990
248.53/248.64	c nbDecision=447000 #constraints=23011
249.02/249.10	c nbDecision=447500 #constraints=23035
249.53/249.64	c nbDecision=448000 #constraints=23059
250.12/250.24	c nbDecision=448500 #constraints=23105
250.32/250.42	c nbDecision=449000 #constraints=23105
250.92/251.01	c nbDecision=449500 #constraints=23139
251.52/251.67	c nbDecision=450000 #constraints=23174
252.02/252.15	c nbDecision=450500 #constraints=23193
252.42/252.54	c nbDecision=451000 #constraints=23208
253.02/253.12	c nbDecision=451500 #constraints=23240
253.62/253.70	c nbDecision=452000 #constraints=23279
254.02/254.13	c nbDecision=452500 #constraints=23299
254.41/254.57	c nbDecision=453000 #constraints=23316
255.02/255.19	c nbDecision=453500 #constraints=23352
255.72/255.87	c nbDecision=454000 #constraints=23394
256.23/256.32	c nbDecision=454500 #constraints=23412
256.62/256.73	c nbDecision=455000 #constraints=23431
257.12/257.28	c nbDecision=455500 #constraints=23454
257.72/257.89	c nbDecision=456000 #constraints=23498
258.42/258.55	c nbDecision=456500 #constraints=23531
258.62/258.79	c nbDecision=457000 #constraints=23534
259.12/259.20	c nbDecision=457500 #constraints=23557
259.52/259.67	c nbDecision=458000 #constraints=23582
260.02/260.14	c nbDecision=458500 #constraints=23598
260.32/260.41	c nbDecision=459000 #constraints=23609
260.82/260.92	c nbDecision=459500 #constraints=23627
261.22/261.37	c nbDecision=460000 #constraints=23645
261.72/261.80	c nbDecision=460500 #constraints=23657
261.92/262.03	c nbDecision=461000 #constraints=23663
262.41/262.51	c nbDecision=461500 #constraints=23692
262.91/263.04	c nbDecision=462000 #constraints=23719
263.11/263.30	c nbDecision=462500 #constraints=23729
263.51/263.67	c nbDecision=463000 #constraints=23740
264.01/264.18	c nbDecision=463500 #constraints=23765
264.51/264.64	c nbDecision=464000 #constraints=23783
264.71/264.82	c nbDecision=464500 #constraints=23785
265.02/265.19	c nbDecision=465000 #constraints=23799
265.51/265.64	c nbDecision=465500 #constraints=23818
266.41/266.54	c nbDecision=466000 #constraints=23857
267.31/267.41	c nbDecision=466500 #constraints=23923
268.21/268.35	c nbDecision=467000 #constraints=23988
269.22/269.31	c nbDecision=467500 #constraints=24057
270.12/270.21	c nbDecision=468000 #constraints=24111
271.02/271.11	c nbDecision=468500 #constraints=24178
271.92/272.00	c nbDecision=469000 #constraints=24241
273.01/273.13	c nbDecision=469500 #constraints=24304
274.11/274.28	c nbDecision=470000 #constraints=24378
275.01/275.18	c nbDecision=470500 #constraints=24425
275.92/276.03	c nbDecision=471000 #constraints=24477
276.81/276.96	c nbDecision=471500 #constraints=24534
277.82/277.92	c nbDecision=472000 #constraints=24582
278.72/278.80	c nbDecision=472500 #constraints=24627
279.51/279.61	c nbDecision=473000 #constraints=24668
280.51/280.67	c nbDecision=473500 #constraints=24730
281.51/281.67	c nbDecision=474000 #constraints=24802
282.41/282.52	c nbDecision=474500 #constraints=24839
283.41/283.51	c nbDecision=475000 #constraints=24894
284.41/284.55	c nbDecision=475500 #constraints=24957
285.51/285.61	c nbDecision=476000 #constraints=25025
286.41/286.55	c nbDecision=476500 #constraints=25076
287.41/287.51	c nbDecision=477000 #constraints=25132
288.31/288.41	c nbDecision=477500 #constraints=25173
289.31/289.41	c nbDecision=478000 #constraints=25210
290.01/290.18	c nbDecision=478500 #constraints=25239
290.81/290.92	c nbDecision=479000 #constraints=25265
291.71/291.87	c nbDecision=479500 #constraints=25313
292.81/292.91	c nbDecision=480000 #constraints=25370
293.70/293.86	c nbDecision=480500 #constraints=25414
294.80/294.93	c nbDecision=481000 #constraints=25474
295.90/296.00	c nbDecision=481500 #constraints=25524
296.70/296.81	c nbDecision=482000 #constraints=25551
297.50/297.67	c nbDecision=482500 #constraints=25577
298.30/298.48	c nbDecision=483000 #constraints=25606
299.31/299.46	c nbDecision=483500 #constraints=25669
300.11/300.24	c nbDecision=484000 #constraints=25697
300.81/300.99	c nbDecision=484500 #constraints=25724
301.81/301.99	c nbDecision=485000 #constraints=25774
302.71/302.85	c nbDecision=485500 #constraints=25814
303.51/303.64	c nbDecision=486000 #constraints=25847
304.51/304.62	c nbDecision=486500 #constraints=25885
305.50/305.65	c nbDecision=487000 #constraints=25931
306.60/306.76	c nbDecision=487500 #constraints=25982
307.60/307.70	c nbDecision=488000 #constraints=26031
308.40/308.57	c nbDecision=488500 #constraints=26063
309.41/309.51	c nbDecision=489000 #constraints=26104
310.21/310.35	c nbDecision=489500 #constraints=26135
311.11/311.21	c nbDecision=490000 #constraints=26160
311.91/312.08	c nbDecision=490500 #constraints=26210
313.00/313.18	c nbDecision=491000 #constraints=26266
313.90/314.03	c nbDecision=491500 #constraints=26297
314.70/314.84	c nbDecision=492000 #constraints=26331
315.70/315.86	c nbDecision=492500 #constraints=26360
316.61/316.79	c nbDecision=493000 #constraints=26417
317.60/317.71	c nbDecision=493500 #constraints=26447
318.50/318.66	c nbDecision=494000 #constraints=26487
319.40/319.52	c nbDecision=494500 #constraints=26516
320.30/320.43	c nbDecision=495000 #constraints=26539
321.20/321.32	c nbDecision=495500 #constraints=26576
322.00/322.18	c nbDecision=496000 #constraints=26620
323.10/323.24	c nbDecision=496500 #constraints=26666
323.90/324.08	c nbDecision=497000 #constraints=26699
324.90/325.07	c nbDecision=497500 #constraints=26745
325.80/325.98	c nbDecision=498000 #constraints=26771
326.61/326.79	c nbDecision=498500 #constraints=26809
327.50/327.65	c nbDecision=499000 #constraints=26836
328.40/328.55	c nbDecision=499500 #constraints=26862
329.40/329.56	c nbDecision=500000 #constraints=26893
330.30/330.42	c nbDecision=500500 #constraints=26917
331.10/331.24	c nbDecision=501000 #constraints=26940
332.20/332.31	c nbDecision=501500 #constraints=26978
333.20/333.37	c nbDecision=502000 #constraints=27019
334.30/334.41	c nbDecision=502500 #constraints=27050
335.30/335.41	c nbDecision=503000 #constraints=27082
336.09/336.20	c nbDecision=503500 #constraints=27106
336.90/337.07	c nbDecision=504000 #constraints=27150
337.90/338.09	c nbDecision=504500 #constraints=27187
339.00/339.10	c nbDecision=505000 #constraints=27251
340.00/340.12	c nbDecision=505500 #constraints=27296
340.90/341.05	c nbDecision=506000 #constraints=27331
341.80/341.99	c nbDecision=506500 #constraints=27369
342.79/342.91	c nbDecision=507000 #constraints=27393
343.79/343.93	c nbDecision=507500 #constraints=27442
344.69/344.80	c nbDecision=508000 #constraints=27463
345.99/346.11	c nbDecision=508500 #constraints=27544
346.89/347.07	c nbDecision=509000 #constraints=27579
348.09/348.23	c nbDecision=509500 #constraints=27619
349.09/349.23	c nbDecision=510000 #constraints=27652
349.49/349.69	c nbDecision=510500 #constraints=27656
349.89/350.03	c nbDecision=511000 #constraints=27664
350.59/350.79	c nbDecision=511500 #constraints=27698
350.79/350.99	c nbDecision=512000 #constraints=27700
351.29/351.47	c nbDecision=512500 #constraints=27714
351.79/351.99	c nbDecision=513000 #constraints=27735
352.59/352.74	c nbDecision=513500 #constraints=27771
352.89/353.00	c nbDecision=514000 #constraints=27780
353.29/353.46	c nbDecision=514500 #constraints=27791
353.70/353.89	c nbDecision=515000 #constraints=27796
354.30/354.43	c nbDecision=515500 #constraints=27830
354.60/354.76	c nbDecision=516000 #constraints=27833
355.00/355.18	c nbDecision=516500 #constraints=27840
355.50/355.67	c nbDecision=517000 #constraints=27853
355.89/356.03	c nbDecision=517500 #constraints=27866
356.59/356.76	c nbDecision=518000 #constraints=27899
357.19/357.32	c nbDecision=518500 #constraints=27922
357.79/357.91	c nbDecision=519000 #constraints=27945
357.99/358.18	c nbDecision=519500 #constraints=27954
358.59/358.78	c nbDecision=520000 #constraints=27978
359.09/359.26	c nbDecision=520500 #constraints=27993
359.79/359.94	c nbDecision=521000 #constraints=28030
360.29/360.44	c nbDecision=521500 #constraints=28046
360.69/360.83	c nbDecision=522000 #constraints=28050
361.19/361.39	c nbDecision=522500 #constraints=28072
361.49/361.62	c nbDecision=523000 #constraints=28072
362.19/362.34	c nbDecision=523500 #constraints=28095
362.39/362.59	c nbDecision=524000 #constraints=28102
362.89/363.08	c nbDecision=524500 #constraints=28118
363.49/363.66	c nbDecision=525000 #constraints=28140
363.89/364.00	c nbDecision=525500 #constraints=28157
364.78/364.91	c nbDecision=526000 #constraints=28211
365.58/365.71	c nbDecision=526500 #constraints=28245
365.98/366.13	c nbDecision=527000 #constraints=28257
366.48/366.69	c nbDecision=527500 #constraints=28273
367.20/367.37	c nbDecision=528000 #constraints=28304
367.49/367.69	c nbDecision=528500 #constraints=28314
368.09/368.26	c nbDecision=529000 #constraints=28337
368.59/368.76	c nbDecision=529500 #constraints=28350
369.19/369.32	c nbDecision=530000 #constraints=28367
369.39/369.55	c nbDecision=530500 #constraints=28373
369.79/369.95	c nbDecision=531000 #constraints=28375
370.39/370.54	c nbDecision=531500 #constraints=28399
371.19/371.37	c nbDecision=532000 #constraints=28435
371.89/372.01	c nbDecision=532500 #constraints=28450
372.29/372.43	c nbDecision=533000 #constraints=28460
372.79/372.92	c nbDecision=533500 #constraints=28477
373.29/373.44	c nbDecision=534000 #constraints=28491
373.49/373.67	c nbDecision=534500 #constraints=28497
374.19/374.34	c nbDecision=535000 #constraints=28525
374.69/374.80	c nbDecision=535500 #constraints=28539
374.89/375.07	c nbDecision=536000 #constraints=28539
375.58/375.72	c nbDecision=536500 #constraints=28556
376.09/376.22	c nbDecision=537000 #constraints=28570
376.48/376.67	c nbDecision=537500 #constraints=28578
377.19/377.33	c nbDecision=538000 #constraints=28598
377.98/378.19	c nbDecision=538500 #constraints=28644
378.29/378.43	c nbDecision=539000 #constraints=28647
378.68/378.82	c nbDecision=539500 #constraints=28652
379.29/379.49	c nbDecision=540000 #constraints=28692
379.59/379.72	c nbDecision=540500 #constraints=28693
380.09/380.23	c nbDecision=541000 #constraints=28711
380.59/380.77	c nbDecision=541500 #constraints=28726
381.09/381.29	c nbDecision=542000 #constraints=28743
381.39/381.55	c nbDecision=542500 #constraints=28750
381.99/382.15	c nbDecision=543000 #constraints=28766
382.39/382.59	c nbDecision=543500 #constraints=28775
382.89/383.03	c nbDecision=544000 #constraints=28779
383.79/383.96	c nbDecision=544500 #constraints=28825
384.29/384.49	c nbDecision=545000 #constraints=28848
384.89/385.03	c nbDecision=545500 #constraints=28861
385.09/385.29	c nbDecision=546000 #constraints=28861
385.49/385.65	c nbDecision=546500 #constraints=28865
386.18/386.33	c nbDecision=547000 #constraints=28882
386.78/386.90	c nbDecision=547500 #constraints=28904
387.88/388.06	c nbDecision=548000 #constraints=28956
388.48/388.69	c nbDecision=548500 #constraints=28968
389.19/389.32	c nbDecision=549000 #constraints=28998
389.88/390.01	c nbDecision=549500 #constraints=29029
390.58/390.71	c nbDecision=550000 #constraints=29052
390.78/390.93	c nbDecision=550500 #constraints=29055
391.48/391.62	c nbDecision=551000 #constraints=29078
392.18/392.33	c nbDecision=551500 #constraints=29096
392.88/393.10	c nbDecision=552000 #constraints=29136
393.28/393.46	c nbDecision=552500 #constraints=29140
393.68/393.88	c nbDecision=553000 #constraints=29146
394.18/394.33	c nbDecision=553500 #constraints=29164
394.58/394.74	c nbDecision=554000 #constraints=29174
395.08/395.24	c nbDecision=554500 #constraints=29194
395.58/395.78	c nbDecision=555000 #constraints=29211
396.08/396.28	c nbDecision=555500 #constraints=29220
396.58/396.74	c nbDecision=556000 #constraints=29232
396.99/397.12	c nbDecision=556500 #constraints=29243
397.38/397.51	c nbDecision=557000 #constraints=29251
397.88/398.09	c nbDecision=557500 #constraints=29283
398.58/398.71	c nbDecision=558000 #constraints=29301
398.88/399.04	c nbDecision=558500 #constraints=29314
399.68/399.80	c nbDecision=559000 #constraints=29336
400.38/400.52	c nbDecision=559500 #constraints=29358
400.68/400.81	c nbDecision=560000 #constraints=29367
401.08/401.28	c nbDecision=560500 #constraints=29380
401.88/402.07	c nbDecision=561000 #constraints=29428
402.39/402.57	c nbDecision=561500 #constraints=29438
402.88/403.01	c nbDecision=562000 #constraints=29456
403.59/403.70	c nbDecision=562500 #constraints=29477
403.98/404.19	c nbDecision=563000 #constraints=29502
404.88/405.01	c nbDecision=563500 #constraints=29535
405.38/405.57	c nbDecision=564000 #constraints=29552
406.08/406.20	c nbDecision=564500 #constraints=29577
406.78/406.96	c nbDecision=565000 #constraints=29621
407.48/407.61	c nbDecision=565500 #constraints=29647
407.78/408.00	c nbDecision=566000 #constraints=29656
408.57/408.70	c nbDecision=566500 #constraints=29692
409.17/409.38	c nbDecision=567000 #constraints=29716
410.08/410.21	c nbDecision=567500 #constraints=29750
410.47/410.68	c nbDecision=568000 #constraints=29762
411.37/411.51	c nbDecision=568500 #constraints=29787
411.87/412.07	c nbDecision=569000 #constraints=29802
412.38/412.53	c nbDecision=569500 #constraints=29807
412.87/413.07	c nbDecision=570000 #constraints=29816
413.38/413.56	c nbDecision=570500 #constraints=29830
413.97/414.12	c nbDecision=571000 #constraints=29846
414.67/414.81	c nbDecision=571500 #constraints=29861
415.37/415.59	c nbDecision=572000 #constraints=29885
415.97/416.13	c nbDecision=572500 #constraints=29896
416.48/416.61	c nbDecision=573000 #constraints=29920
416.88/417.03	c nbDecision=573500 #constraints=29933
417.38/417.52	c nbDecision=574000 #constraints=29941
417.88/418.03	c nbDecision=574500 #constraints=29946
418.48/418.69	c nbDecision=575000 #constraints=29958
419.18/419.31	c nbDecision=575500 #constraints=29971
419.68/419.82	c nbDecision=576000 #constraints=29986
420.18/420.38	c nbDecision=576500 #constraints=30004
420.88/421.06	c nbDecision=577000 #constraints=30031
421.67/421.83	c nbDecision=577500 #constraints=30056
422.18/422.31	c nbDecision=578000 #constraints=30066
422.57/422.78	c nbDecision=578500 #constraints=30071
423.17/423.34	c nbDecision=579000 #constraints=30089
423.67/423.89	c nbDecision=579500 #constraints=30095
424.17/424.33	c nbDecision=580000 #constraints=30106
424.67/424.88	c nbDecision=580500 #constraints=30126
425.37/425.50	c nbDecision=581000 #constraints=30145
425.67/425.82	c nbDecision=581500 #constraints=30159
426.27/426.41	c nbDecision=582000 #constraints=30177
426.67/426.87	c nbDecision=582500 #constraints=30183
427.17/427.30	c nbDecision=583000 #constraints=30195
427.57/427.79	c nbDecision=583500 #constraints=30214
428.07/428.23	c nbDecision=584000 #constraints=30225
428.47/428.62	c nbDecision=584500 #constraints=30236
428.87/429.03	c nbDecision=585000 #constraints=30246
429.27/429.50	c nbDecision=585500 #constraints=30255
429.77/429.97	c nbDecision=586000 #constraints=30262
430.17/430.30	c nbDecision=586500 #constraints=30265
430.68/430.83	c nbDecision=587000 #constraints=30284
431.17/431.37	c nbDecision=587500 #constraints=30299
431.97/432.18	c nbDecision=588000 #constraints=30337
432.27/432.43	c nbDecision=588500 #constraints=30341
432.97/433.16	c nbDecision=589000 #constraints=30379
433.87/434.07	c nbDecision=589500 #constraints=30409
434.47/434.66	c nbDecision=590000 #constraints=30438
435.57/435.76	c nbDecision=590500 #constraints=30494
436.07/436.26	c nbDecision=591000 #constraints=30503
436.87/437.06	c nbDecision=591500 #constraints=30530
437.96/438.17	c nbDecision=592000 #constraints=30592
438.76/438.94	c nbDecision=592500 #constraints=30624
439.37/439.57	c nbDecision=593000 #constraints=30637
439.95/440.19	c nbDecision=593500 #constraints=30652
440.95/441.10	c nbDecision=594000 #constraints=30688
441.74/441.91	c nbDecision=594500 #constraints=30719
442.24/442.47	c nbDecision=595000 #constraints=30729
442.74/442.97	c nbDecision=595500 #constraints=30735
443.74/443.93	c nbDecision=596000 #constraints=30785
444.54/444.72	c nbDecision=596500 #constraints=30802
444.84/445.07	c nbDecision=597000 #constraints=30813
445.44/445.65	c nbDecision=597500 #constraints=30836
446.23/446.45	c nbDecision=598000 #constraints=30865
446.83/447.05	c nbDecision=598500 #constraints=30887
447.63/447.86	c nbDecision=599000 #constraints=30909
448.23/448.43	c nbDecision=599500 #constraints=30931
448.73/448.96	c nbDecision=600000 #constraints=30943
449.33/449.52	c nbDecision=600500 #constraints=30952
449.94/450.11	c nbDecision=601000 #constraints=30966
450.54/450.70	c nbDecision=601500 #constraints=30988
451.04/451.21	c nbDecision=602000 #constraints=30997
451.73/451.96	c nbDecision=602500 #constraints=31019
452.22/452.47	c nbDecision=603000 #constraints=31033
452.72/452.95	c nbDecision=603500 #constraints=31056
453.42/453.62	c nbDecision=604000 #constraints=31077
453.82/454.04	c nbDecision=604500 #constraints=31084
454.32/454.55	c nbDecision=605000 #constraints=31095
455.22/455.48	c nbDecision=605500 #constraints=31135
456.81/457.02	c nbDecision=606000 #constraints=31198
457.41/457.62	c nbDecision=606500 #constraints=31206
458.11/458.35	c nbDecision=607000 #constraints=31225
458.71/458.90	c nbDecision=607500 #constraints=31232
459.61/459.83	c nbDecision=608000 #constraints=31271
460.31/460.57	c nbDecision=608500 #constraints=31290
461.00/461.26	c nbDecision=609000 #constraints=31298
461.70/461.99	c nbDecision=609500 #constraints=31316
462.60/462.86	c nbDecision=610000 #constraints=31349
463.40/463.66	c nbDecision=610500 #constraints=31376
463.99/464.21	c nbDecision=611000 #constraints=31393
464.49/464.74	c nbDecision=611500 #constraints=31404
465.09/465.32	c nbDecision=612000 #constraints=31417
465.79/466.07	c nbDecision=612500 #constraints=31456
466.39/466.65	c nbDecision=613000 #constraints=31475
467.08/467.37	c nbDecision=613500 #constraints=31499
467.38/467.69	c nbDecision=614000 #constraints=31505
468.18/468.42	c nbDecision=614500 #constraints=31515
468.68/468.99	c nbDecision=615000 #constraints=31526
469.48/469.72	c nbDecision=615500 #constraints=31554
470.28/470.54	c nbDecision=616000 #constraints=31586
470.68/470.94	c nbDecision=616500 #constraints=31594
471.08/471.37	c nbDecision=617000 #constraints=31603
471.58/471.90	c nbDecision=617500 #constraints=31616
472.47/472.74	c nbDecision=618000 #constraints=31661
472.68/473.00	c nbDecision=618500 #constraints=31667
473.47/473.72	c nbDecision=619000 #constraints=31684
473.97/474.29	c nbDecision=619500 #constraints=31697
474.27/474.58	c nbDecision=620000 #constraints=31703
474.77/475.05	c nbDecision=620500 #constraints=31708
475.37/475.60	c nbDecision=621000 #constraints=31720
475.77/476.09	c nbDecision=621500 #constraints=31733
476.27/476.55	c nbDecision=622000 #constraints=31742
476.87/477.12	c nbDecision=622500 #constraints=31760
477.47/477.74	c nbDecision=623000 #constraints=31779
477.67/477.98	c nbDecision=623500 #constraints=31781
478.37/478.60	c nbDecision=624000 #constraints=31808
478.98/479.27	c nbDecision=624500 #constraints=31833
480.27/480.57	c nbDecision=625000 #constraints=31896
481.87/482.10	c nbDecision=625500 #constraints=31969
483.17/483.42	c nbDecision=626000 #constraints=32021
484.27/484.54	c nbDecision=626500 #constraints=32053
485.76/486.08	c nbDecision=627000 #constraints=32106
486.66/486.96	c nbDecision=627500 #constraints=32121
487.26/487.56	c nbDecision=628000 #constraints=32145
487.86/488.14	c nbDecision=628500 #constraints=32152
488.46/488.73	c nbDecision=629000 #constraints=32169
489.46/489.71	c nbDecision=629500 #constraints=32200
489.96/490.22	c nbDecision=630000 #constraints=32214
490.95/491.25	c nbDecision=630500 #constraints=32254
491.64/491.98	c nbDecision=631000 #constraints=32276
492.46/492.74	c nbDecision=631500 #constraints=32306
493.45/493.79	c nbDecision=632000 #constraints=32344
494.35/494.62	c nbDecision=632500 #constraints=32368
494.95/495.22	c nbDecision=633000 #constraints=32381
495.95/496.21	c nbDecision=633500 #constraints=32420
496.65/496.98	c nbDecision=634000 #constraints=32441
497.05/497.39	c nbDecision=634500 #constraints=32445
497.65/497.94	c nbDecision=635000 #constraints=32454
498.25/498.53	c nbDecision=635500 #constraints=32472
498.55/498.85	c nbDecision=636000 #constraints=32472
499.35/499.69	c nbDecision=636500 #constraints=32497
499.85/500.15	c nbDecision=637000 #constraints=32506
500.35/500.64	c nbDecision=637500 #constraints=32511
501.05/501.33	c nbDecision=638000 #constraints=32526
501.25/501.59	c nbDecision=638500 #constraints=32532
501.85/502.10	c nbDecision=639000 #constraints=32546
502.45/502.76	c nbDecision=639500 #constraints=32564
502.75/503.07	c nbDecision=640000 #constraints=32568
503.45/503.70	c nbDecision=640500 #constraints=32584
504.05/504.35	c nbDecision=641000 #constraints=32607
504.85/505.12	c nbDecision=641500 #constraints=32635
505.75/506.01	c nbDecision=642000 #constraints=32655
506.25/506.59	c nbDecision=642500 #constraints=32663
507.04/507.38	c nbDecision=643000 #constraints=32685
507.64/507.92	c nbDecision=643500 #constraints=32693
508.24/508.54	c nbDecision=644000 #constraints=32723
509.14/509.44	c nbDecision=644500 #constraints=32748
509.94/510.29	c nbDecision=645000 #constraints=32780
510.54/510.83	c nbDecision=645500 #constraints=32789
511.04/511.39	c nbDecision=646000 #constraints=32797
511.84/512.10	c nbDecision=646500 #constraints=32820
512.44/512.70	c nbDecision=647000 #constraints=32838
513.24/513.54	c nbDecision=647500 #constraints=32860
513.54/513.86	c nbDecision=648000 #constraints=32864
513.94/514.29	c nbDecision=648500 #constraints=32868
514.44/514.75	c nbDecision=649000 #constraints=32872
514.84/515.13	c nbDecision=649500 #constraints=32879
515.34/515.65	c nbDecision=650000 #constraints=32888
515.84/516.14	c nbDecision=650500 #constraints=32896
516.64/516.91	c nbDecision=651000 #constraints=32917
517.14/517.48	c nbDecision=651500 #constraints=32942
518.25/518.59	c nbDecision=652000 #constraints=32984
518.85/519.20	c nbDecision=652500 #constraints=33002
519.64/519.95	c nbDecision=653000 #constraints=33024
520.14/520.47	c nbDecision=653500 #constraints=33029
520.44/520.70	c nbDecision=654000 #constraints=33030
521.05/521.35	c nbDecision=654500 #constraints=33054
521.64/521.90	c nbDecision=655000 #constraints=33063
522.15/522.49	c nbDecision=655500 #constraints=33091
522.74/523.01	c nbDecision=656000 #constraints=33106
523.14/523.45	c nbDecision=656500 #constraints=33108
523.74/524.00	c nbDecision=657000 #constraints=33116
524.24/524.55	c nbDecision=657500 #constraints=33127
524.84/525.12	c nbDecision=658000 #constraints=33135
525.34/525.67	c nbDecision=658500 #constraints=33146
525.74/526.01	c nbDecision=659000 #constraints=33150
527.64/527.92	c nbDecision=659500 #constraints=33237
529.44/529.71	c nbDecision=660000 #constraints=33307
530.73/531.09	c nbDecision=660500 #constraints=33349
532.14/532.46	c nbDecision=661000 #constraints=33396
533.83/534.11	c nbDecision=661500 #constraints=33447
535.03/535.38	c nbDecision=662000 #constraints=33487
536.13/536.48	c nbDecision=662500 #constraints=33515
536.93/537.20	c nbDecision=663000 #constraints=33530
537.54/537.87	c nbDecision=663500 #constraints=33555
538.13/538.42	c nbDecision=664000 #constraints=33576
538.43/538.79	c nbDecision=664500 #constraints=33578
539.24/539.52	c nbDecision=665000 #constraints=33590
539.94/540.26	c nbDecision=665500 #constraints=33605
540.54/540.84	c nbDecision=666000 #constraints=33632
540.94/541.28	c nbDecision=666500 #constraints=33641
541.54/541.87	c nbDecision=667000 #constraints=33656
541.94/542.30	c nbDecision=667500 #constraints=33664
542.34/542.67	c nbDecision=668000 #constraints=33666
543.14/543.42	c nbDecision=668500 #constraints=33680
543.53/543.89	c nbDecision=669000 #constraints=33682
543.93/544.23	c nbDecision=669500 #constraints=33682
544.73/545.05	c nbDecision=670000 #constraints=33708
545.63/545.97	c nbDecision=670500 #constraints=33749
546.53/546.81	c nbDecision=671000 #constraints=33775
547.43/547.72	c nbDecision=671500 #constraints=33796
548.43/548.75	c nbDecision=672000 #constraints=33828
549.13/549.47	c nbDecision=672500 #constraints=33851
550.03/550.32	c nbDecision=673000 #constraints=33880
550.43/550.79	c nbDecision=673500 #constraints=33882
551.13/551.47	c nbDecision=674000 #constraints=33899
552.43/552.79	c nbDecision=674500 #constraints=33938
554.04/554.40	c nbDecision=675000 #constraints=33984
554.64/554.92	c nbDecision=675500 #constraints=33988
555.54/555.87	c nbDecision=676000 #constraints=34026
556.24/556.52	c nbDecision=676500 #constraints=34049
557.04/557.34	c nbDecision=677000 #constraints=34074
558.03/558.35	c nbDecision=677500 #constraints=34105
558.83/559.11	c nbDecision=678000 #constraints=34119
559.54/559.85	c nbDecision=678500 #constraints=34133
560.43/560.77	c nbDecision=679000 #constraints=34172
561.03/561.37	c nbDecision=679500 #constraints=34180
562.03/562.37	c nbDecision=680000 #constraints=34208
562.63/562.95	c nbDecision=680500 #constraints=34218
562.83/563.16	c nbDecision=681000 #constraints=34218
563.43/563.77	c nbDecision=681500 #constraints=34231
564.13/564.40	c nbDecision=682000 #constraints=34242
564.63/564.91	c nbDecision=682500 #constraints=34260
565.13/565.42	c nbDecision=683000 #constraints=34270
565.73/566.02	c nbDecision=683500 #constraints=34278
566.33/566.65	c nbDecision=684000 #constraints=34295
567.13/567.42	c nbDecision=684500 #constraints=34322
567.33/567.69	c nbDecision=685000 #constraints=34322
568.33/568.66	c nbDecision=685500 #constraints=34340
569.23/569.58	c nbDecision=686000 #constraints=34377
570.13/570.41	c nbDecision=686500 #constraints=34394
570.93/571.27	c nbDecision=687000 #constraints=34419
571.53/571.85	c nbDecision=687500 #constraints=34434
572.33/572.66	c nbDecision=688000 #constraints=34454
572.53/572.88	c nbDecision=688500 #constraints=34454
573.33/573.69	c nbDecision=689000 #constraints=34487
574.03/574.39	c nbDecision=689500 #constraints=34505
574.43/574.78	c nbDecision=690000 #constraints=34510
575.03/575.34	c nbDecision=690500 #constraints=34523
575.63/575.90	c nbDecision=691000 #constraints=34535
576.23/576.53	c nbDecision=691500 #constraints=34549
577.13/577.42	c nbDecision=692000 #constraints=34582
577.73/578.03	c nbDecision=692500 #constraints=34596
578.63/578.90	c nbDecision=693000 #constraints=34625
579.93/580.26	c nbDecision=693500 #constraints=34674
580.62/580.93	c nbDecision=694000 #constraints=34687
581.53/581.85	c nbDecision=694500 #constraints=34704
582.32/582.67	c nbDecision=695000 #constraints=34721
582.92/583.24	c nbDecision=695500 #constraints=34731
583.33/583.61	c nbDecision=696000 #constraints=34745
583.83/584.12	c nbDecision=696500 #constraints=34748
585.12/585.40	c nbDecision=697000 #constraints=34798
585.72/586.05	c nbDecision=697500 #constraints=34811
586.22/586.58	c nbDecision=698000 #constraints=34813
586.82/587.16	c nbDecision=698500 #constraints=34820
587.52/587.80	c nbDecision=699000 #constraints=34836
587.82/588.18	c nbDecision=699500 #constraints=34840
588.82/589.15	c nbDecision=700000 #constraints=34859
589.32/589.68	c nbDecision=700500 #constraints=34868
590.52/590.87	c nbDecision=701000 #constraints=34922
591.12/591.48	c nbDecision=701500 #constraints=34937
591.52/591.87	c nbDecision=702000 #constraints=34941
592.92/593.20	c nbDecision=702500 #constraints=34988
593.82/594.11	c nbDecision=703000 #constraints=35021
594.12/594.48	c nbDecision=703500 #constraints=35021
594.52/594.88	c nbDecision=704000 #constraints=35024
595.42/595.73	c nbDecision=704500 #constraints=35036
596.12/596.46	c nbDecision=705000 #constraints=35060
597.02/597.34	c nbDecision=705500 #constraints=35077
597.62/597.98	c nbDecision=706000 #constraints=35093
598.22/598.58	c nbDecision=706500 #constraints=35100
598.72/599.03	c nbDecision=707000 #constraints=35117
599.32/599.66	c nbDecision=707500 #constraints=35136
600.13/600.41	c nbDecision=708000 #constraints=35155
601.62/601.95	c nbDecision=708500 #constraints=35200
602.72/603.03	c nbDecision=709000 #constraints=35229
603.72/604.06	c nbDecision=709500 #constraints=35258
605.32/605.61	c nbDecision=710000 #constraints=35309
606.32/606.68	c nbDecision=710500 #constraints=35324
607.62/608.00	c nbDecision=711000 #constraints=35350
609.42/609.78	c nbDecision=711500 #constraints=35412
611.42/611.78	c nbDecision=712000 #constraints=35462
613.11/613.42	c nbDecision=712500 #constraints=35497
614.62/614.91	c nbDecision=713000 #constraints=35537
615.72/616.06	c nbDecision=713500 #constraints=35563
617.32/617.60	c nbDecision=714000 #constraints=35594
619.21/619.52	c nbDecision=714500 #constraints=35645
620.61/620.97	c nbDecision=715000 #constraints=35675
622.51/622.86	c nbDecision=715500 #constraints=35719
623.91/624.23	c nbDecision=716000 #constraints=35754
625.01/625.39	c nbDecision=716500 #constraints=35765
626.72/627.07	c nbDecision=717000 #constraints=35808
628.32/628.62	c nbDecision=717500 #constraints=35850
629.71/630.03	c nbDecision=718000 #constraints=35883
631.91/632.27	c nbDecision=718500 #constraints=35941
633.31/633.61	c nbDecision=719000 #constraints=35963
635.01/635.32	c nbDecision=719500 #constraints=35997
636.51/636.84	c nbDecision=720000 #constraints=36032
637.91/638.26	c nbDecision=720500 #constraints=36069
638.90/639.29	c nbDecision=721000 #constraints=36083
640.00/640.36	c nbDecision=721500 #constraints=36100
641.40/641.72	c nbDecision=722000 #constraints=36125
643.22/643.60	c nbDecision=722500 #constraints=36172
644.91/645.27	c nbDecision=723000 #constraints=36206
646.42/646.76	c nbDecision=723500 #constraints=36247
647.91/648.23	c nbDecision=724000 #constraints=36282
649.11/649.49	c nbDecision=724500 #constraints=36310
650.51/650.87	c nbDecision=725000 #constraints=36339
652.10/652.43	c nbDecision=725500 #constraints=36381
653.50/653.87	c nbDecision=726000 #constraints=36413
654.70/655.02	c nbDecision=726500 #constraints=36427
656.41/656.72	c nbDecision=727000 #constraints=36464
657.60/657.99	c nbDecision=727500 #constraints=36488
659.20/659.56	c nbDecision=728000 #constraints=36516
660.50/660.89	c nbDecision=728500 #constraints=36540
661.70/662.04	c nbDecision=729000 #constraints=36562
663.10/663.41	c nbDecision=729500 #constraints=36591
664.60/664.96	c nbDecision=730000 #constraints=36623
665.70/666.07	c nbDecision=730500 #constraints=36660
667.10/667.47	c nbDecision=731000 #constraints=36684
669.00/669.37	c nbDecision=731500 #constraints=36726
670.30/670.67	c nbDecision=732000 #constraints=36753
672.10/672.49	c nbDecision=732500 #constraints=36794
673.70/674.02	c nbDecision=733000 #constraints=36828
675.10/675.48	c nbDecision=733500 #constraints=36861
676.40/676.78	c nbDecision=734000 #constraints=36892
677.60/677.96	c nbDecision=734500 #constraints=36910
678.70/679.05	c nbDecision=735000 #constraints=36920
680.20/680.54	c nbDecision=735500 #constraints=36942
682.09/682.43	c nbDecision=736000 #constraints=36986
683.59/683.93	c nbDecision=736500 #constraints=37026
684.80/685.10	c nbDecision=737000 #constraints=37075
686.60/686.99	c nbDecision=737500 #constraints=37103
688.10/688.42	c nbDecision=738000 #constraints=37135
689.50/689.84	c nbDecision=738500 #constraints=37162
690.70/691.04	c nbDecision=739000 #constraints=37189
691.90/692.26	c nbDecision=739500 #constraints=37216
693.20/693.57	c nbDecision=740000 #constraints=37254
694.90/695.23	c nbDecision=740500 #constraints=37280
696.00/696.32	c nbDecision=741000 #constraints=37315
697.39/697.74	c nbDecision=741500 #constraints=37351
698.49/698.87	c nbDecision=742000 #constraints=37371
699.89/700.23	c nbDecision=742500 #constraints=37390
701.29/701.70	c nbDecision=743000 #constraints=37428
702.59/702.90	c nbDecision=743500 #constraints=37441
703.59/703.98	c nbDecision=744000 #constraints=37458
705.19/705.51	c nbDecision=744500 #constraints=37483
706.69/707.08	c nbDecision=745000 #constraints=37517
708.10/708.49	c nbDecision=745500 #constraints=37563
709.59/709.90	c nbDecision=746000 #constraints=37583
711.09/711.47	c nbDecision=746500 #constraints=37614
712.99/713.38	c nbDecision=747000 #constraints=37647
714.49/714.83	c nbDecision=747500 #constraints=37681
715.99/716.34	c nbDecision=748000 #constraints=37706
717.19/717.60	c nbDecision=748500 #constraints=37728
719.09/719.46	c nbDecision=749000 #constraints=37785
720.49/720.84	c nbDecision=749500 #constraints=37803
721.88/722.30	c nbDecision=750000 #constraints=37840
723.28/723.65	c nbDecision=750500 #constraints=37883
724.68/725.05	c nbDecision=751000 #constraints=37905
726.39/726.71	c nbDecision=751500 #constraints=37937
727.79/728.18	c nbDecision=752000 #constraints=37969
729.28/729.61	c nbDecision=752500 #constraints=37992
730.58/730.93	c nbDecision=753000 #constraints=38016
731.68/732.01	c nbDecision=753500 #constraints=38031
733.28/733.68	c nbDecision=754000 #constraints=38062
734.78/735.18	c nbDecision=754500 #constraints=38094
736.08/736.40	c nbDecision=755000 #constraints=38125
737.58/737.97	c nbDecision=755500 #constraints=38148
738.98/739.40	c nbDecision=756000 #constraints=38176
740.48/740.83	c nbDecision=756500 #constraints=38202
741.68/742.04	c nbDecision=757000 #constraints=38219
742.78/743.10	c nbDecision=757500 #constraints=38239
744.18/744.60	c nbDecision=758000 #constraints=38270
745.28/745.70	c nbDecision=758500 #constraints=38279
746.78/747.16	c nbDecision=759000 #constraints=38311
748.38/748.73	c nbDecision=759500 #constraints=38343
750.28/750.65	c nbDecision=760000 #constraints=38386
751.68/752.04	c nbDecision=760500 #constraints=38408
752.67/753.09	c nbDecision=761000 #constraints=38421
753.87/754.24	c nbDecision=761500 #constraints=38441
755.17/755.53	c nbDecision=762000 #constraints=38459
756.17/756.59	c nbDecision=762500 #constraints=38477
758.37/758.76	c nbDecision=763000 #constraints=38522
759.78/760.13	c nbDecision=763500 #constraints=38556
761.17/761.56	c nbDecision=764000 #constraints=38582
762.67/763.04	c nbDecision=764500 #constraints=38616
764.27/764.65	c nbDecision=765000 #constraints=38650
765.37/765.77	c nbDecision=765500 #constraints=38667
766.88/767.26	c nbDecision=766000 #constraints=38694
768.58/768.99	c nbDecision=766500 #constraints=38734
769.97/770.30	c nbDecision=767000 #constraints=38751
771.37/771.76	c nbDecision=767500 #constraints=38771
772.67/773.10	c nbDecision=768000 #constraints=38791
774.17/774.58	c nbDecision=768500 #constraints=38820
775.77/776.15	c nbDecision=769000 #constraints=38859
777.67/778.04	c nbDecision=769500 #constraints=38901
778.96/779.36	c nbDecision=770000 #constraints=38925
780.36/780.77	c nbDecision=770500 #constraints=38953
781.86/782.30	c nbDecision=771000 #constraints=38973
783.36/783.78	c nbDecision=771500 #constraints=38999
784.57/784.99	c nbDecision=772000 #constraints=39020
785.97/786.35	c nbDecision=772500 #constraints=39036
787.27/787.61	c nbDecision=773000 #constraints=39063
788.67/789.09	c nbDecision=773500 #constraints=39104
790.36/790.80	c nbDecision=774000 #constraints=39142
791.57/791.91	c nbDecision=774500 #constraints=39162
793.06/793.44	c nbDecision=775000 #constraints=39201
794.66/795.04	c nbDecision=775500 #constraints=39231
796.16/796.52	c nbDecision=776000 #constraints=39257
797.36/797.72	c nbDecision=776500 #constraints=39275
798.76/799.15	c nbDecision=777000 #constraints=39304
800.06/800.42	c nbDecision=777500 #constraints=39322
801.26/801.63	c nbDecision=778000 #constraints=39331
802.86/803.22	c nbDecision=778500 #constraints=39358
803.76/804.18	c nbDecision=779000 #constraints=39362
805.16/805.51	c nbDecision=779500 #constraints=39373
807.16/807.51	c nbDecision=780000 #constraints=39417
808.76/809.13	c nbDecision=780500 #constraints=39445
810.06/810.42	c nbDecision=781000 #constraints=39481
811.36/811.79	c nbDecision=781500 #constraints=39505
812.76/813.12	c nbDecision=782000 #constraints=39520
813.96/814.31	c nbDecision=782500 #constraints=39535
816.06/816.40	c nbDecision=783000 #constraints=39596
817.96/818.38	c nbDecision=783500 #constraints=39636
819.86/820.21	c nbDecision=784000 #constraints=39659
821.46/821.83	c nbDecision=784500 #constraints=39690
822.86/823.29	c nbDecision=785000 #constraints=39720
824.75/825.17	c nbDecision=785500 #constraints=39747
826.76/827.10	c nbDecision=786000 #constraints=39786
828.25/828.69	c nbDecision=786500 #constraints=39820
830.35/830.70	c nbDecision=787000 #constraints=39861
831.65/832.01	c nbDecision=787500 #constraints=39871
832.75/833.16	c nbDecision=788000 #constraints=39899
834.05/834.47	c nbDecision=788500 #constraints=39913
835.75/836.18	c nbDecision=789000 #constraints=39953
837.15/837.51	c nbDecision=789500 #constraints=39968
838.25/838.61	c nbDecision=790000 #constraints=39981
839.66/840.00	c nbDecision=790500 #constraints=39999
840.85/841.21	c nbDecision=791000 #constraints=40012
842.55/842.93	c nbDecision=791500 #constraints=40048
844.36/844.76	c nbDecision=792000 #constraints=40095
845.65/846.04	c nbDecision=792500 #constraints=40110
847.25/847.68	c nbDecision=793000 #constraints=40146
849.15/849.56	c nbDecision=793500 #constraints=40181
850.55/850.95	c nbDecision=794000 #constraints=40205
852.25/852.64	c nbDecision=794500 #constraints=40241
854.05/854.48	c nbDecision=795000 #constraints=40274
855.94/856.36	c nbDecision=795500 #constraints=40314
857.65/858.05	c nbDecision=796000 #constraints=40334
858.94/859.36	c nbDecision=796500 #constraints=40349
860.84/861.27	c nbDecision=797000 #constraints=40386
862.44/862.89	c nbDecision=797500 #constraints=40419
864.04/864.42	c nbDecision=798000 #constraints=40457
865.25/865.63	c nbDecision=798500 #constraints=40474
866.65/867.08	c nbDecision=799000 #constraints=40494
868.14/868.51	c nbDecision=799500 #constraints=40508
869.54/869.98	c nbDecision=800000 #constraints=40523
871.24/871.62	c nbDecision=800500 #constraints=40551
872.54/872.93	c nbDecision=801000 #constraints=40571
873.94/874.37	c nbDecision=801500 #constraints=40609
875.04/875.43	c nbDecision=802000 #constraints=40626
877.04/877.47	c nbDecision=802500 #constraints=40665
878.64/879.01	c nbDecision=803000 #constraints=40684
879.74/880.11	c nbDecision=803500 #constraints=40697
881.34/881.74	c nbDecision=804000 #constraints=40718
882.64/883.01	c nbDecision=804500 #constraints=40727
883.84/884.20	c nbDecision=805000 #constraints=40744
885.74/886.18	c nbDecision=805500 #constraints=40777
887.04/887.44	c nbDecision=806000 #constraints=40797
888.34/888.78	c nbDecision=806500 #constraints=40811
890.24/890.60	c nbDecision=807000 #constraints=40859
891.53/891.97	c nbDecision=807500 #constraints=40875
893.33/893.77	c nbDecision=808000 #constraints=40913
894.73/895.12	c nbDecision=808500 #constraints=40925
896.04/896.44	c nbDecision=809000 #constraints=40943
897.64/898.07	c nbDecision=809500 #constraints=40977
899.14/899.51	c nbDecision=810000 #constraints=40993
900.44/900.83	c nbDecision=810500 #constraints=41019
901.74/902.12	c nbDecision=811000 #constraints=41044
903.63/904.04	c nbDecision=811500 #constraints=41086
904.63/905.02	c nbDecision=812000 #constraints=41097
905.73/906.16	c nbDecision=812500 #constraints=41104
907.33/907.78	c nbDecision=813000 #constraints=41128
909.23/909.65	c nbDecision=813500 #constraints=41154
911.03/911.40	c nbDecision=814000 #constraints=41195
912.93/913.31	c nbDecision=814500 #constraints=41232
914.73/915.18	c nbDecision=815000 #constraints=41266
916.43/916.80	c nbDecision=815500 #constraints=41287
917.73/918.13	c nbDecision=816000 #constraints=41315
919.62/920.02	c nbDecision=816500 #constraints=41343
920.92/921.38	c nbDecision=817000 #constraints=41373
922.43/922.90	c nbDecision=817500 #constraints=41405
924.33/924.73	c nbDecision=818000 #constraints=41438
926.03/926.46	c nbDecision=818500 #constraints=41459
927.83/928.24	c nbDecision=819000 #constraints=41483
928.32/928.76	c restart after 819201 decisions
931.52/931.98	c nbDecision=819500 #constraints=41498
931.82/932.30	c nbDecision=820000 #constraints=41498
932.12/932.54	c nbDecision=820500 #constraints=41498
932.43/932.84	c nbDecision=821000 #constraints=41498
933.02/933.40	c nbDecision=821500 #constraints=41498
933.43/933.86	c nbDecision=822000 #constraints=41498
933.82/934.26	c nbDecision=822500 #constraints=41498
934.22/934.66	c nbDecision=823000 #constraints=41498
934.72/935.16	c nbDecision=823500 #constraints=41498
935.12/935.50	c nbDecision=824000 #constraints=41498
935.32/935.76	c nbDecision=824500 #constraints=41498
935.42/935.82	c nbDecision=825000 #constraints=41498
935.42/935.88	c nbDecision=825500 #constraints=41498
935.52/935.94	c nbDecision=826000 #constraints=41498
935.73/936.14	c nbDecision=826500 #constraints=41502
936.02/936.47	c nbDecision=827000 #constraints=41507
937.22/937.62	c nbDecision=827500 #constraints=41538
938.52/938.98	c nbDecision=828000 #constraints=41568
939.52/939.95	c nbDecision=828500 #constraints=41580
939.82/940.29	c nbDecision=829000 #constraints=41580
941.32/941.71	c nbDecision=829500 #constraints=41602
942.32/942.76	c nbDecision=830000 #constraints=41628
942.82/943.25	c nbDecision=830500 #constraints=41635
943.62/944.03	c nbDecision=831000 #constraints=41646
944.43/944.90	c nbDecision=831500 #constraints=41661
945.33/945.77	c nbDecision=832000 #constraints=41679
946.73/947.11	c nbDecision=832500 #constraints=41695
946.92/947.38	c nbDecision=833000 #constraints=41697
948.12/948.50	c nbDecision=833500 #constraints=41712
948.92/949.38	c nbDecision=834000 #constraints=41728
949.32/949.78	c nbDecision=834500 #constraints=41730
950.22/950.68	c nbDecision=835000 #constraints=41747
951.32/951.75	c nbDecision=835500 #constraints=41770
952.12/952.58	c nbDecision=836000 #constraints=41785
952.52/952.98	c nbDecision=836500 #constraints=41790
953.62/954.06	c nbDecision=837000 #constraints=41814
954.22/954.61	c nbDecision=837500 #constraints=41817
955.12/955.53	c nbDecision=838000 #constraints=41834
956.02/956.44	c nbDecision=838500 #constraints=41858
956.42/956.88	c nbDecision=839000 #constraints=41864
957.01/957.45	c nbDecision=839500 #constraints=41869
957.91/958.33	c nbDecision=840000 #constraints=41882
958.72/959.15	c nbDecision=840500 #constraints=41892
959.11/959.59	c nbDecision=841000 #constraints=41897
960.61/961.04	c nbDecision=841500 #constraints=41930
961.42/961.89	c nbDecision=842000 #constraints=41947
962.02/962.48	c nbDecision=842500 #constraints=41960
963.72/964.12	c nbDecision=843000 #constraints=41995
964.22/964.60	c nbDecision=843500 #constraints=42005
965.02/965.44	c nbDecision=844000 #constraints=42029
965.72/966.19	c nbDecision=844500 #constraints=42039
966.32/966.72	c nbDecision=845000 #constraints=42044
967.92/968.31	c nbDecision=845500 #constraints=42081
968.32/968.72	c nbDecision=846000 #constraints=42083
969.52/969.91	c nbDecision=846500 #constraints=42110
970.62/971.05	c nbDecision=847000 #constraints=42129
971.42/971.87	c nbDecision=847500 #constraints=42138
972.72/973.13	c nbDecision=848000 #constraints=42172
973.52/973.97	c nbDecision=848500 #constraints=42181
974.31/974.77	c nbDecision=849000 #constraints=42191
975.51/975.94	c nbDecision=849500 #constraints=42219
976.51/976.91	c nbDecision=850000 #constraints=42240
977.21/977.63	c nbDecision=850500 #constraints=42244
978.01/978.45	c nbDecision=851000 #constraints=42258
979.31/979.79	c nbDecision=851500 #constraints=42294
980.11/980.56	c nbDecision=852000 #constraints=42303
981.11/981.57	c nbDecision=852500 #constraints=42324
981.61/982.04	c nbDecision=853000 #constraints=42332
982.51/982.95	c nbDecision=853500 #constraints=42355
983.40/983.80	c nbDecision=854000 #constraints=42374
984.41/984.88	c nbDecision=854500 #constraints=42399
985.81/986.22	c nbDecision=855000 #constraints=42411
986.01/986.45	c nbDecision=855500 #constraints=42411
986.91/987.33	c nbDecision=856000 #constraints=42422
987.71/988.19	c nbDecision=856500 #constraints=42442
988.71/989.12	c nbDecision=857000 #constraints=42460
989.01/989.40	c nbDecision=857500 #constraints=42463
989.91/990.36	c nbDecision=858000 #constraints=42473
991.21/991.63	c nbDecision=858500 #constraints=42484
992.21/992.69	c nbDecision=859000 #constraints=42511
992.81/993.29	c nbDecision=859500 #constraints=42524
993.51/993.97	c nbDecision=860000 #constraints=42535
994.40/994.80	c nbDecision=860500 #constraints=42552
995.30/995.78	c nbDecision=861000 #constraints=42565
996.00/996.47	c nbDecision=861500 #constraints=42567
996.80/997.21	c nbDecision=862000 #constraints=42573
997.31/997.75	c nbDecision=862500 #constraints=42586
998.10/998.57	c nbDecision=863000 #constraints=42604
999.20/999.61	c nbDecision=863500 #constraints=42631
1000.60/1001.06	c nbDecision=864000 #constraints=42682
1001.60/1002.04	c nbDecision=864500 #constraints=42707
1002.50/1002.98	c nbDecision=865000 #constraints=42723
1003.01/1003.47	c nbDecision=865500 #constraints=42730
1003.81/1004.23	c nbDecision=866000 #constraints=42743
1004.61/1005.05	c nbDecision=866500 #constraints=42753
1005.11/1005.53	c nbDecision=867000 #constraints=42758
1005.71/1006.18	c nbDecision=867500 #constraints=42765
1006.70/1007.17	c nbDecision=868000 #constraints=42782
1007.50/1007.90	c nbDecision=868500 #constraints=42783
1009.00/1009.43	c nbDecision=869000 #constraints=42804
1009.20/1009.68	c nbDecision=869500 #constraints=42804
1010.20/1010.64	c nbDecision=870000 #constraints=42817
1011.30/1011.76	c nbDecision=870500 #constraints=42838
1011.90/1012.34	c nbDecision=871000 #constraints=42844
1012.90/1013.38	c nbDecision=871500 #constraints=42869
1014.10/1014.57	c nbDecision=872000 #constraints=42894
1014.50/1014.91	c nbDecision=872500 #constraints=42895
1015.40/1015.83	c nbDecision=873000 #constraints=42924
1016.50/1016.91	c nbDecision=873500 #constraints=42946
1017.20/1017.67	c nbDecision=874000 #constraints=42976
1018.50/1018.97	c nbDecision=874500 #constraints=42997
1019.50/1019.90	c nbDecision=875000 #constraints=43021
1020.00/1020.43	c nbDecision=875500 #constraints=43029
1020.59/1021.09	c nbDecision=876000 #constraints=43038
1021.79/1022.25	c nbDecision=876500 #constraints=43073
1022.69/1023.19	c nbDecision=877000 #constraints=43091
1023.79/1024.27	c nbDecision=877500 #constraints=43105
1024.49/1024.97	c nbDecision=878000 #constraints=43107
1025.49/1025.91	c nbDecision=878500 #constraints=43119
1025.69/1026.16	c nbDecision=879000 #constraints=43119
1026.69/1027.17	c nbDecision=879500 #constraints=43141
1027.79/1028.20	c nbDecision=880000 #constraints=43167
1028.49/1028.92	c nbDecision=880500 #constraints=43185
1029.10/1029.51	c nbDecision=881000 #constraints=43192
1029.89/1030.38	c nbDecision=881500 #constraints=43212
1030.79/1031.24	c nbDecision=882000 #constraints=43220
1031.19/1031.67	c nbDecision=882500 #constraints=43220
1031.89/1032.33	c nbDecision=883000 #constraints=43230
1032.79/1033.24	c nbDecision=883500 #constraints=43246
1033.49/1033.96	c nbDecision=884000 #constraints=43249
1034.19/1034.65	c nbDecision=884500 #constraints=43252
1035.29/1035.70	c nbDecision=885000 #constraints=43272
1036.09/1036.50	c nbDecision=885500 #constraints=43283
1037.19/1037.65	c nbDecision=886000 #constraints=43300
1037.89/1038.34	c nbDecision=886500 #constraints=43307
1038.90/1039.34	c nbDecision=887000 #constraints=43330
1039.20/1039.62	c nbDecision=887500 #constraints=43330
1040.60/1041.09	c nbDecision=888000 #constraints=43343
1041.59/1042.03	c nbDecision=888500 #constraints=43361
1041.89/1042.36	c nbDecision=889000 #constraints=43361
1042.69/1043.13	c nbDecision=889500 #constraints=43376
1043.59/1044.02	c nbDecision=890000 #constraints=43400
1044.39/1044.87	c nbDecision=890500 #constraints=43420
1045.59/1046.03	c nbDecision=891000 #constraints=43448
1046.29/1046.74	c nbDecision=891500 #constraints=43451
1047.09/1047.53	c nbDecision=892000 #constraints=43465
1047.69/1048.18	c nbDecision=892500 #constraints=43469
1048.69/1049.16	c nbDecision=893000 #constraints=43496
1049.79/1050.28	c nbDecision=893500 #constraints=43510
1050.49/1050.96	c nbDecision=894000 #constraints=43514
1051.89/1052.38	c nbDecision=894500 #constraints=43543
1053.89/1054.35	c nbDecision=895000 #constraints=43577
1055.88/1056.32	c nbDecision=895500 #constraints=43601
1057.48/1057.99	c nbDecision=896000 #constraints=43620
1059.39/1059.83	c nbDecision=896500 #constraints=43644
1060.99/1061.40	c nbDecision=897000 #constraints=43665
1062.49/1062.96	c nbDecision=897500 #constraints=43696
1063.98/1064.40	c nbDecision=898000 #constraints=43722
1065.49/1065.91	c nbDecision=898500 #constraints=43748
1066.88/1067.33	c nbDecision=899000 #constraints=43778
1068.28/1068.70	c nbDecision=899500 #constraints=43797
1069.48/1069.94	c nbDecision=900000 #constraints=43810
1070.89/1071.36	c nbDecision=900500 #constraints=43839
1072.38/1072.83	c nbDecision=901000 #constraints=43850
1074.08/1074.51	c nbDecision=901500 #constraints=43870
1075.38/1075.84	c nbDecision=902000 #constraints=43903
1076.98/1077.45	c nbDecision=902500 #constraints=43928
1078.38/1078.82	c nbDecision=903000 #constraints=43950
1079.97/1080.46	c nbDecision=903500 #constraints=43968
1081.58/1082.05	c nbDecision=904000 #constraints=44003
1083.38/1083.82	c nbDecision=904500 #constraints=44021
1084.98/1085.46	c nbDecision=905000 #constraints=44047
1086.88/1087.31	c nbDecision=905500 #constraints=44082
1088.37/1088.81	c nbDecision=906000 #constraints=44099
1089.68/1090.15	c nbDecision=906500 #constraints=44132
1090.97/1091.47	c nbDecision=907000 #constraints=44151
1092.98/1093.45	c nbDecision=907500 #constraints=44175
1093.58/1094.07	c nbDecision=908000 #constraints=44181
1094.28/1094.74	c nbDecision=908500 #constraints=44185
1094.98/1095.48	c nbDecision=909000 #constraints=44190
1095.48/1095.94	c nbDecision=909500 #constraints=44199
1096.48/1096.91	c nbDecision=910000 #constraints=44216
1097.88/1098.33	c nbDecision=910500 #constraints=44253
1098.87/1099.30	c nbDecision=911000 #constraints=44274
1099.77/1100.26	c nbDecision=911500 #constraints=44286
1100.27/1100.74	c nbDecision=912000 #constraints=44298
1101.17/1101.61	c nbDecision=912500 #constraints=44314
1102.17/1102.63	c nbDecision=913000 #constraints=44339
1102.47/1102.99	c nbDecision=913500 #constraints=44339
1103.27/1103.75	c nbDecision=914000 #constraints=44353
1104.37/1104.82	c nbDecision=914500 #constraints=44382
1104.98/1105.46	c nbDecision=915000 #constraints=44401
1106.47/1106.96	c nbDecision=915500 #constraints=44423
1107.27/1107.72	c nbDecision=916000 #constraints=44426
1107.87/1108.38	c nbDecision=916500 #constraints=44445
1110.67/1111.14	c nbDecision=917000 #constraints=44508
1112.37/1112.87	c nbDecision=917500 #constraints=44544
1114.77/1115.21	c nbDecision=918000 #constraints=44596
1116.66/1117.12	c nbDecision=918500 #constraints=44632
1118.17/1118.63	c nbDecision=919000 #constraints=44661
1119.97/1120.42	c nbDecision=919500 #constraints=44697
1121.27/1121.74	c nbDecision=920000 #constraints=44723
1123.07/1123.51	c nbDecision=920500 #constraints=44755
1124.27/1124.72	c nbDecision=921000 #constraints=44768
1125.77/1126.27	c nbDecision=921500 #constraints=44787
1127.17/1127.60	c nbDecision=922000 #constraints=44814
1128.57/1129.00	c nbDecision=922500 #constraints=44837
1130.37/1130.83	c nbDecision=923000 #constraints=44874
1132.27/1132.73	c nbDecision=923500 #constraints=44903
1133.57/1134.02	c nbDecision=924000 #constraints=44931
1135.26/1135.77	c nbDecision=924500 #constraints=44975
1137.36/1137.87	c nbDecision=925000 #constraints=45018
1138.76/1139.27	c nbDecision=925500 #constraints=45044
1140.67/1141.12	c nbDecision=926000 #constraints=45074
1142.77/1143.25	c nbDecision=926500 #constraints=45125
1144.27/1144.80	c nbDecision=927000 #constraints=45153
1145.96/1146.46	c nbDecision=927500 #constraints=45186
1147.36/1147.82	c nbDecision=928000 #constraints=45200
1149.26/1149.77	c nbDecision=928500 #constraints=45226
1151.06/1151.50	c nbDecision=929000 #constraints=45264
1152.66/1153.14	c nbDecision=929500 #constraints=45281
1154.26/1154.76	c nbDecision=930000 #constraints=45314
1156.06/1156.53	c nbDecision=930500 #constraints=45356
1157.66/1158.11	c nbDecision=931000 #constraints=45375
1158.26/1158.79	c nbDecision=931500 #constraints=45381
1159.06/1159.58	c nbDecision=932000 #constraints=45388
1160.16/1160.60	c nbDecision=932500 #constraints=45403
1160.46/1160.96	c nbDecision=933000 #constraints=45411
1161.36/1161.86	c nbDecision=933500 #constraints=45421
1162.66/1163.15	c nbDecision=934000 #constraints=45445
1163.65/1164.12	c nbDecision=934500 #constraints=45468
1164.15/1164.67	c nbDecision=935000 #constraints=45480
1164.85/1165.30	c nbDecision=935500 #constraints=45486
1165.75/1166.20	c nbDecision=936000 #constraints=45498
1167.15/1167.63	c nbDecision=936500 #constraints=45522
1169.46/1169.98	c nbDecision=937000 #constraints=45581
1172.86/1173.35	c nbDecision=937500 #constraints=45638
1175.46/1175.95	c nbDecision=938000 #constraints=45695
1176.95/1177.40	c nbDecision=938500 #constraints=45714
1178.55/1179.05	c nbDecision=939000 #constraints=45730
1180.05/1180.50	c nbDecision=939500 #constraints=45751
1181.65/1182.18	c nbDecision=940000 #constraints=45784
1183.05/1183.51	c nbDecision=940500 #constraints=45798
1186.35/1186.86	c nbDecision=941000 #constraints=45850
1189.25/1189.79	c nbDecision=941500 #constraints=45891
1191.64/1192.17	c nbDecision=942000 #constraints=45920
1193.54/1194.04	c nbDecision=942500 #constraints=45948
1194.64/1195.18	c nbDecision=943000 #constraints=45967
1196.14/1196.62	c nbDecision=943500 #constraints=45986
1197.54/1198.06	c nbDecision=944000 #constraints=45998
1198.94/1199.42	c nbDecision=944500 #constraints=46030
1200.44/1200.93	c nbDecision=945000 #constraints=46057
1201.75/1202.29	c nbDecision=945500 #constraints=46081
1204.15/1204.64	c nbDecision=946000 #constraints=46114
1206.25/1206.73	c nbDecision=946500 #constraints=46149
1208.54/1209.05	c nbDecision=947000 #constraints=46190
1211.04/1211.54	c nbDecision=947500 #constraints=46226
1212.85/1213.35	c nbDecision=948000 #constraints=46255
1215.34/1215.89	c nbDecision=948500 #constraints=46291
1217.64/1218.19	c nbDecision=949000 #constraints=46345
1219.04/1219.56	c nbDecision=949500 #constraints=46368
1221.24/1221.77	c nbDecision=950000 #constraints=46391
1222.74/1223.24	c nbDecision=950500 #constraints=46407
1224.54/1225.00	c nbDecision=951000 #constraints=46440
1226.34/1226.81	c nbDecision=951500 #constraints=46471
1229.04/1229.54	c nbDecision=952000 #constraints=46509
1230.94/1231.40	c nbDecision=952500 #constraints=46531
1232.74/1233.28	c nbDecision=953000 #constraints=46556
1234.44/1234.91	c nbDecision=953500 #constraints=46576
1236.34/1236.83	c nbDecision=954000 #constraints=46593
1238.33/1238.85	c nbDecision=954500 #constraints=46615
1240.13/1240.61	c nbDecision=955000 #constraints=46637
1242.33/1242.80	c nbDecision=955500 #constraints=46664
1243.63/1244.13	c nbDecision=956000 #constraints=46688
1245.53/1246.02	c nbDecision=956500 #constraints=46711
1246.83/1247.36	c nbDecision=957000 #constraints=46720
1248.53/1249.06	c nbDecision=957500 #constraints=46742
1250.33/1250.80	c nbDecision=958000 #constraints=46767
1252.13/1252.68	c nbDecision=958500 #constraints=46792
1253.83/1254.32	c nbDecision=959000 #constraints=46804
1255.64/1256.19	c nbDecision=959500 #constraints=46830
1257.43/1257.96	c nbDecision=960000 #constraints=46861
1259.23/1259.76	c nbDecision=960500 #constraints=46886
1261.03/1261.52	c nbDecision=961000 #constraints=46916
1262.63/1263.18	c nbDecision=961500 #constraints=46941
1263.82/1264.34	c nbDecision=962000 #constraints=46947
1265.32/1265.86	c nbDecision=962500 #constraints=46961
1267.62/1268.14	c nbDecision=963000 #constraints=46994
1269.42/1269.96	c nbDecision=963500 #constraints=47027
1271.12/1271.66	c nbDecision=964000 #constraints=47053
1273.22/1273.79	c nbDecision=964500 #constraints=47103
1274.62/1275.20	c nbDecision=965000 #constraints=47120
1276.42/1276.92	c nbDecision=965500 #constraints=47136
1277.62/1278.13	c nbDecision=966000 #constraints=47145
1279.12/1279.65	c nbDecision=966500 #constraints=47158
1280.52/1281.00	c nbDecision=967000 #constraints=47170
1281.82/1282.39	c nbDecision=967500 #constraints=47189
1283.52/1284.06	c nbDecision=968000 #constraints=47209
1285.03/1285.58	c nbDecision=968500 #constraints=47221
1287.13/1287.65	c nbDecision=969000 #constraints=47243
1288.93/1289.45	c nbDecision=969500 #constraints=47266
1290.42/1290.99	c nbDecision=970000 #constraints=47291
1292.12/1292.61	c nbDecision=970500 #constraints=47304
1293.42/1293.98	c nbDecision=971000 #constraints=47316
1293.92/1294.42	c nbDecision=971500 #constraints=47321
1295.32/1295.86	c nbDecision=972000 #constraints=47338
1296.22/1296.73	c nbDecision=972500 #constraints=47343
1296.72/1297.27	c nbDecision=973000 #constraints=47352
1297.82/1298.32	c nbDecision=973500 #constraints=47377
1299.32/1299.80	c nbDecision=974000 #constraints=47394
1300.12/1300.69	c nbDecision=974500 #constraints=47404
1300.72/1301.28	c nbDecision=975000 #constraints=47414
1301.42/1301.93	c nbDecision=975500 #constraints=47420
1302.42/1302.98	c nbDecision=976000 #constraints=47438
1302.92/1303.50	c nbDecision=976500 #constraints=47443
1304.51/1305.06	c nbDecision=977000 #constraints=47464
1305.01/1305.57	c nbDecision=977500 #constraints=47473
1306.01/1306.53	c nbDecision=978000 #constraints=47488
1306.91/1307.48	c nbDecision=978500 #constraints=47497
1307.61/1308.12	c nbDecision=979000 #constraints=47505
1309.01/1309.54	c nbDecision=979500 #constraints=47522
1309.41/1309.96	c nbDecision=980000 #constraints=47522
1310.91/1311.49	c nbDecision=980500 #constraints=47540
1311.31/1311.83	c nbDecision=981000 #constraints=47543
1312.51/1313.09	c nbDecision=981500 #constraints=47568
1313.51/1314.04	c nbDecision=982000 #constraints=47589
1314.91/1315.50	c nbDecision=982500 #constraints=47605
1315.51/1316.09	c nbDecision=983000 #constraints=47616
1317.22/1317.72	c nbDecision=983500 #constraints=47637
1317.42/1317.96	c nbDecision=984000 #constraints=47637
1318.52/1319.01	c nbDecision=984500 #constraints=47654
1319.61/1320.10	c nbDecision=985000 #constraints=47674
1320.41/1320.96	c nbDecision=985500 #constraints=47704
1321.11/1321.65	c nbDecision=986000 #constraints=47710
1322.01/1322.57	c nbDecision=986500 #constraints=47715
1322.82/1323.36	c nbDecision=987000 #constraints=47716
1324.41/1324.99	c nbDecision=987500 #constraints=47732
1324.81/1325.39	c nbDecision=988000 #constraints=47734
1325.91/1326.45	c nbDecision=988500 #constraints=47763
1326.71/1327.27	c nbDecision=989000 #constraints=47767
1327.91/1328.43	c nbDecision=989500 #constraints=47789
1328.31/1328.81	c nbDecision=990000 #constraints=47790
1329.01/1329.52	c nbDecision=990500 #constraints=47794
1330.11/1330.69	c nbDecision=991000 #constraints=47819
1330.81/1331.33	c nbDecision=991500 #constraints=47831
1331.51/1332.08	c nbDecision=992000 #constraints=47839
1332.51/1333.09	c nbDecision=992500 #constraints=47854
1334.01/1334.57	c nbDecision=993000 #constraints=47890
1335.00/1335.57	c nbDecision=993500 #constraints=47907
1336.01/1336.58	c nbDecision=994000 #constraints=47921
1337.70/1338.24	c nbDecision=994500 #constraints=47959
1338.50/1339.08	c nbDecision=995000 #constraints=47964
1339.50/1340.00	c nbDecision=995500 #constraints=47978
1340.80/1341.37	c nbDecision=996000 #constraints=48000
1341.80/1342.36	c nbDecision=996500 #constraints=48015
1342.40/1342.98	c nbDecision=997000 #constraints=48022
1343.30/1343.83	c nbDecision=997500 #constraints=48038
1344.40/1344.98	c nbDecision=998000 #constraints=48053
1346.30/1346.81	c nbDecision=998500 #constraints=48091
1346.60/1347.16	c nbDecision=999000 #constraints=48094
1347.70/1348.23	c nbDecision=999500 #constraints=48107
1348.50/1349.04	c nbDecision=1000000 #constraints=48110
1349.70/1350.22	c nbDecision=1000500 #constraints=48131
1350.50/1351.03	c nbDecision=1001000 #constraints=48140
1351.50/1352.07	c nbDecision=1001500 #constraints=48155
1351.80/1352.34	c nbDecision=1002000 #constraints=48157
1352.70/1353.22	c nbDecision=1002500 #constraints=48169
1353.61/1354.18	c nbDecision=1003000 #constraints=48186
1354.20/1354.70	c nbDecision=1003500 #constraints=48190
1354.90/1355.44	c nbDecision=1004000 #constraints=48200
1355.90/1356.48	c nbDecision=1004500 #constraints=48221
1356.70/1357.27	c nbDecision=1005000 #constraints=48224
1357.80/1358.38	c nbDecision=1005500 #constraints=48241
1358.10/1358.62	c nbDecision=1006000 #constraints=48241
1359.70/1360.26	c nbDecision=1006500 #constraints=48269
1360.70/1361.25	c nbDecision=1007000 #constraints=48278
1361.90/1362.42	c nbDecision=1007500 #constraints=48303
1362.80/1363.40	c nbDecision=1008000 #constraints=48316
1363.20/1363.79	c nbDecision=1008500 #constraints=48323
1364.10/1364.61	c nbDecision=1009000 #constraints=48330
1365.19/1365.75	c nbDecision=1009500 #constraints=48353
1365.49/1366.06	c nbDecision=1010000 #constraints=48358
1366.70/1367.20	c nbDecision=1010500 #constraints=48376
1367.59/1368.14	c nbDecision=1011000 #constraints=48389
1368.09/1368.68	c nbDecision=1011500 #constraints=48394
1368.79/1369.37	c nbDecision=1012000 #constraints=48402
1369.79/1370.38	c nbDecision=1012500 #constraints=48428
1370.99/1371.50	c nbDecision=1013000 #constraints=48449
1371.49/1372.07	c nbDecision=1013500 #constraints=48460
1372.29/1372.83	c nbDecision=1014000 #constraints=48471
1373.19/1373.76	c nbDecision=1014500 #constraints=48482
1373.79/1374.34	c nbDecision=1015000 #constraints=48489
1374.80/1375.32	c nbDecision=1015500 #constraints=48516
1375.89/1376.44	c nbDecision=1016000 #constraints=48540
1376.79/1377.35	c nbDecision=1016500 #constraints=48547
1378.60/1379.14	c nbDecision=1017000 #constraints=48574
1379.00/1379.57	c nbDecision=1017500 #constraints=48585
1380.19/1380.72	c nbDecision=1018000 #constraints=48610
1381.10/1381.62	c nbDecision=1018500 #constraints=48617
1381.79/1382.36	c nbDecision=1019000 #constraints=48626
1384.49/1385.04	c nbDecision=1019500 #constraints=48674
1385.89/1386.44	c nbDecision=1020000 #constraints=48689
1387.69/1388.28	c nbDecision=1020500 #constraints=48722
1390.19/1390.72	c nbDecision=1021000 #constraints=48751
1393.38/1393.94	c nbDecision=1021500 #constraints=48786
1396.28/1396.90	c nbDecision=1022000 #constraints=48825
1398.99/1399.56	c nbDecision=1022500 #constraints=48872
1401.09/1401.69	c nbDecision=1023000 #constraints=48906
1402.79/1403.36	c nbDecision=1023500 #constraints=48918
1404.48/1405.03	c nbDecision=1024000 #constraints=48942
1405.98/1406.59	c nbDecision=1024500 #constraints=48961
1408.49/1409.06	c nbDecision=1025000 #constraints=48991
1410.38/1410.90	c nbDecision=1025500 #constraints=49007
1412.08/1412.64	c nbDecision=1026000 #constraints=49026
1413.58/1414.10	c nbDecision=1026500 #constraints=49042
1415.28/1415.82	c nbDecision=1027000 #constraints=49054
1417.98/1418.57	c nbDecision=1027500 #constraints=49081
1418.68/1419.26	c nbDecision=1028000 #constraints=49087
1419.58/1420.12	c nbDecision=1028500 #constraints=49095
1420.98/1421.56	c nbDecision=1029000 #constraints=49121
1421.48/1422.01	c nbDecision=1029500 #constraints=49127
1422.78/1423.35	c nbDecision=1030000 #constraints=49153
1424.37/1424.97	c nbDecision=1030500 #constraints=49175
1424.87/1425.44	c nbDecision=1031000 #constraints=49190
1425.87/1426.49	c nbDecision=1031500 #constraints=49201
1426.97/1427.57	c nbDecision=1032000 #constraints=49219
1428.58/1429.17	c nbDecision=1032500 #constraints=49246
1429.58/1430.17	c nbDecision=1033000 #constraints=49255
1430.38/1430.93	c nbDecision=1033500 #constraints=49272
1431.18/1431.75	c nbDecision=1034000 #constraints=49281
1432.68/1433.27	c nbDecision=1034500 #constraints=49312
1433.78/1434.35	c nbDecision=1035000 #constraints=49328
1435.37/1435.99	c nbDecision=1035500 #constraints=49364
1436.57/1437.14	c nbDecision=1036000 #constraints=49376
1436.77/1437.37	c nbDecision=1036500 #constraints=49376
1438.28/1438.86	c nbDecision=1037000 #constraints=49408
1439.67/1440.22	c nbDecision=1037500 #constraints=49428
1440.38/1440.91	c nbDecision=1038000 #constraints=49431
1441.67/1442.23	c nbDecision=1038500 #constraints=49468
1442.77/1443.34	c nbDecision=1039000 #constraints=49482
1443.17/1443.78	c nbDecision=1039500 #constraints=49484
1444.07/1444.68	c nbDecision=1040000 #constraints=49503
1445.17/1445.73	c nbDecision=1040500 #constraints=49527
1445.77/1446.35	c nbDecision=1041000 #constraints=49539
1447.27/1447.87	c nbDecision=1041500 #constraints=49569
1447.97/1448.58	c nbDecision=1042000 #constraints=49572
1449.47/1450.00	c nbDecision=1042500 #constraints=49588
1450.97/1451.57	c nbDecision=1043000 #constraints=49605
1452.17/1452.73	c nbDecision=1043500 #constraints=49622
1452.67/1453.20	c nbDecision=1044000 #constraints=49623
1453.47/1454.10	c nbDecision=1044500 #constraints=49634
1454.67/1455.29	c nbDecision=1045000 #constraints=49649
1455.96/1456.58	c nbDecision=1045500 #constraints=49671
1457.16/1457.70	c nbDecision=1046000 #constraints=49695
1457.66/1458.22	c nbDecision=1046500 #constraints=49704
1458.46/1459.09	c nbDecision=1047000 #constraints=49720
1459.66/1460.20	c nbDecision=1047500 #constraints=49737
1460.66/1461.28	c nbDecision=1048000 #constraints=49753
1461.06/1461.65	c nbDecision=1048500 #constraints=49753
1462.47/1463.04	c nbDecision=1049000 #constraints=49769
1463.07/1463.68	c nbDecision=1049500 #constraints=49771
1464.27/1464.83	c nbDecision=1050000 #constraints=49783
1466.37/1466.98	c nbDecision=1050500 #constraints=49818
1467.07/1467.67	c nbDecision=1051000 #constraints=49828
1468.16/1468.71	c nbDecision=1051500 #constraints=49848
1468.97/1469.58	c nbDecision=1052000 #constraints=49854
1469.96/1470.53	c nbDecision=1052500 #constraints=49860
1470.26/1470.86	c nbDecision=1053000 #constraints=49866
1471.46/1472.04	c nbDecision=1053500 #constraints=49888
1472.66/1473.24	c nbDecision=1054000 #constraints=49907
1473.76/1474.31	c nbDecision=1054500 #constraints=49925
1475.57/1476.16	c nbDecision=1055000 #constraints=49953
1476.36/1476.96	c nbDecision=1055500 #constraints=49959
1477.76/1478.37	c nbDecision=1056000 #constraints=49983
1478.56/1479.15	c nbDecision=1056500 #constraints=49985
1479.66/1480.29	c nbDecision=1057000 #constraints=50005
1480.96/1481.50	c nbDecision=1057500 #constraints=50018
1481.86/1482.49	c nbDecision=1058000 #constraints=50032
1482.46/1483.08	c nbDecision=1058500 #constraints=50040
1483.66/1484.24	c nbDecision=1059000 #constraints=50065
1485.06/1485.65	c nbDecision=1059500 #constraints=50097
1486.66/1487.23	c nbDecision=1060000 #constraints=50118
1487.35/1487.94	c nbDecision=1060500 #constraints=50127
1488.76/1489.39	c nbDecision=1061000 #constraints=50150
1489.75/1490.31	c nbDecision=1061500 #constraints=50154
1490.86/1491.42	c nbDecision=1062000 #constraints=50182
1491.26/1491.86	c nbDecision=1062500 #constraints=50185
1492.26/1492.83	c nbDecision=1063000 #constraints=50198
1493.66/1494.23	c nbDecision=1063500 #constraints=50219
1494.46/1495.08	c nbDecision=1064000 #constraints=50225
1495.46/1496.02	c nbDecision=1064500 #constraints=50231
1496.36/1496.93	c nbDecision=1065000 #constraints=50257
1497.06/1497.60	c nbDecision=1065500 #constraints=50261
1498.26/1498.84	c nbDecision=1066000 #constraints=50281
1499.36/1499.97	c nbDecision=1066500 #constraints=50291
1499.95/1500.54	c nbDecision=1067000 #constraints=50300
1501.95/1502.52	c nbDecision=1067500 #constraints=50329
1502.25/1502.80	c nbDecision=1068000 #constraints=50330
1503.45/1504.00	c nbDecision=1068500 #constraints=50346
1504.75/1505.31	c nbDecision=1069000 #constraints=50363
1505.45/1506.07	c nbDecision=1069500 #constraints=50370
1507.15/1507.75	c nbDecision=1070000 #constraints=50393
1507.85/1508.44	c nbDecision=1070500 #constraints=50395
1508.85/1509.40	c nbDecision=1071000 #constraints=50413
1509.85/1510.45	c nbDecision=1071500 #constraints=50427
1510.35/1510.92	c nbDecision=1072000 #constraints=50428
1511.75/1512.40	c nbDecision=1072500 #constraints=50445
1512.84/1513.48	c nbDecision=1073000 #constraints=50462
1513.34/1513.98	c nbDecision=1073500 #constraints=50462
1515.64/1516.24	c nbDecision=1074000 #constraints=50500
1515.84/1516.49	c nbDecision=1074500 #constraints=50500
1517.45/1518.01	c nbDecision=1075000 #constraints=50520
1518.14/1518.74	c nbDecision=1075500 #constraints=50526
1519.24/1519.83	c nbDecision=1076000 #constraints=50539
1520.84/1521.45	c nbDecision=1076500 #constraints=50559
1521.64/1522.22	c nbDecision=1077000 #constraints=50565
1522.54/1523.15	c nbDecision=1077500 #constraints=50568
1523.95/1524.56	c nbDecision=1078000 #constraints=50592
1524.64/1525.28	c nbDecision=1078500 #constraints=50594
1525.95/1526.55	c nbDecision=1079000 #constraints=50613
1526.95/1527.56	c nbDecision=1079500 #constraints=50627
1528.35/1528.98	c nbDecision=1080000 #constraints=50648
1529.34/1529.96	c nbDecision=1080500 #constraints=50660
1529.74/1530.36	c nbDecision=1081000 #constraints=50661
1531.24/1531.88	c nbDecision=1081500 #constraints=50679
1531.94/1532.50	c nbDecision=1082000 #constraints=50681
1533.14/1533.74	c nbDecision=1082500 #constraints=50704
1534.24/1534.84	c nbDecision=1083000 #constraints=50719
1535.14/1535.76	c nbDecision=1083500 #constraints=50722
1535.44/1536.06	c nbDecision=1084000 #constraints=50725
1537.14/1537.74	c nbDecision=1084500 #constraints=50758
1538.04/1538.60	c nbDecision=1085000 #constraints=50760
1539.04/1539.64	c nbDecision=1085500 #constraints=50771
1540.14/1540.75	c nbDecision=1086000 #constraints=50795
1541.24/1541.90	c nbDecision=1086500 #constraints=50813
1543.03/1543.69	c nbDecision=1087000 #constraints=50837
1544.03/1544.60	c nbDecision=1087500 #constraints=50841
1544.94/1545.54	c nbDecision=1088000 #constraints=50855
1545.83/1546.40	c nbDecision=1088500 #constraints=50867
1547.14/1547.75	c nbDecision=1089000 #constraints=50889
1548.94/1549.52	c nbDecision=1089500 #constraints=50919
1550.04/1550.66	c nbDecision=1090000 #constraints=50926
1550.54/1551.16	c nbDecision=1090500 #constraints=50931
1552.64/1553.24	c nbDecision=1091000 #constraints=50962
1552.84/1553.49	c nbDecision=1091500 #constraints=50962
1553.74/1554.34	c nbDecision=1092000 #constraints=50967
1555.24/1555.89	c nbDecision=1092500 #constraints=50998
1555.74/1556.35	c nbDecision=1093000 #constraints=51003
1556.54/1557.13	c nbDecision=1093500 #constraints=51012
1557.44/1558.00	c nbDecision=1094000 #constraints=51018
1558.34/1558.97	c nbDecision=1094500 #constraints=51024
1559.74/1560.36	c nbDecision=1095000 #constraints=51049
1560.53/1561.12	c nbDecision=1095500 #constraints=51056
1561.93/1562.51	c nbDecision=1096000 #constraints=51069
1562.63/1563.20	c nbDecision=1096500 #constraints=51072
1563.63/1564.26	c nbDecision=1097000 #constraints=51085
1564.93/1565.58	c nbDecision=1097500 #constraints=51107
1565.43/1566.05	c nbDecision=1098000 #constraints=51111
1566.63/1567.29	c nbDecision=1098500 #constraints=51130
1567.83/1568.49	c nbDecision=1099000 #constraints=51150
1568.53/1569.16	c nbDecision=1099500 #constraints=51156
1569.53/1570.17	c nbDecision=1100000 #constraints=51168
1570.53/1571.18	c nbDecision=1100500 #constraints=51176
1571.93/1572.55	c nbDecision=1101000 #constraints=51192
1572.73/1573.33	c nbDecision=1101500 #constraints=51208
1573.72/1574.31	c nbDecision=1102000 #constraints=51217
1575.32/1575.94	c nbDecision=1102500 #constraints=51249
1575.92/1576.50	c nbDecision=1103000 #constraints=51259
1576.73/1577.36	c nbDecision=1103500 #constraints=51268
1577.62/1578.25	c nbDecision=1104000 #constraints=51276
1579.12/1579.78	c nbDecision=1104500 #constraints=51297
1579.92/1580.54	c nbDecision=1105000 #constraints=51300
1580.92/1581.55	c nbDecision=1105500 #constraints=51314
1581.82/1582.48	c nbDecision=1106000 #constraints=51317
1582.42/1583.06	c nbDecision=1106500 #constraints=51329
1583.42/1584.03	c nbDecision=1107000 #constraints=51346
1585.02/1585.66	c nbDecision=1107500 #constraints=51375
1586.02/1586.69	c nbDecision=1108000 #constraints=51389
1587.43/1588.05	c nbDecision=1108500 #constraints=51407
1588.43/1589.02	c nbDecision=1109000 #constraints=51415
1588.93/1589.54	c nbDecision=1109500 #constraints=51418
1589.83/1590.45	c nbDecision=1110000 #constraints=51431
1591.13/1591.71	c nbDecision=1110500 #constraints=51440
1592.83/1593.47	c nbDecision=1111000 #constraints=51456
1594.62/1595.26	c nbDecision=1111500 #constraints=51475
1596.42/1597.09	c nbDecision=1112000 #constraints=51507
1598.12/1598.77	c nbDecision=1112500 #constraints=51529
1599.82/1600.40	c nbDecision=1113000 #constraints=51561
1601.52/1602.18	c nbDecision=1113500 #constraints=51586
1602.82/1603.43	c nbDecision=1114000 #constraints=51593
1604.32/1604.95	c nbDecision=1114500 #constraints=51607
1606.22/1606.84	c nbDecision=1115000 #constraints=51625
1608.12/1608.76	c nbDecision=1115500 #constraints=51654
1609.62/1610.28	c nbDecision=1116000 #constraints=51673
1611.31/1611.94	c nbDecision=1116500 #constraints=51691
1612.21/1612.84	c nbDecision=1117000 #constraints=51702
1613.12/1613.71	c nbDecision=1117500 #constraints=51706
1613.81/1614.49	c nbDecision=1118000 #constraints=51707
1614.31/1614.95	c nbDecision=1118500 #constraints=51707
1615.11/1615.70	c nbDecision=1119000 #constraints=51714
1616.32/1616.92	c nbDecision=1119500 #constraints=51733
1617.31/1617.94	c nbDecision=1120000 #constraints=51742
1618.61/1619.27	c nbDecision=1120500 #constraints=51756
1619.61/1620.24	c nbDecision=1121000 #constraints=51770
1620.91/1621.52	c nbDecision=1121500 #constraints=51785
1621.81/1622.49	c nbDecision=1122000 #constraints=51794
1623.71/1624.35	c nbDecision=1122500 #constraints=51821
1625.01/1625.65	c nbDecision=1123000 #constraints=51844
1625.91/1626.57	c nbDecision=1123500 #constraints=51859
1626.81/1627.41	c nbDecision=1124000 #constraints=51869
1628.41/1629.04	c nbDecision=1124500 #constraints=51891
1629.11/1629.75	c nbDecision=1125000 #constraints=51895
1630.21/1630.83	c nbDecision=1125500 #constraints=51911
1631.11/1631.79	c nbDecision=1126000 #constraints=51917
1631.61/1632.28	c nbDecision=1126500 #constraints=51923
1632.70/1633.38	c nbDecision=1127000 #constraints=51942
1634.11/1634.75	c nbDecision=1127500 #constraints=51961
1635.81/1636.43	c nbDecision=1128000 #constraints=51991
1636.71/1637.33	c nbDecision=1128500 #constraints=51993
1637.22/1637.88	c nbDecision=1129000 #constraints=51995
1638.32/1638.93	c nbDecision=1129500 #constraints=52015
1639.41/1640.03	c nbDecision=1130000 #constraints=52021
1641.41/1642.00	c nbDecision=1130500 #constraints=52046
1641.91/1642.55	c nbDecision=1131000 #constraints=52057
1642.81/1643.45	c nbDecision=1131500 #constraints=52066
1643.71/1644.33	c nbDecision=1132000 #constraints=52070
1644.80/1645.50	c nbDecision=1132500 #constraints=52078
1645.30/1646.00	c nbDecision=1133000 #constraints=52080
1647.00/1647.66	c nbDecision=1133500 #constraints=52100
1647.90/1648.56	c nbDecision=1134000 #constraints=52103
1648.60/1649.29	c nbDecision=1134500 #constraints=52115
1650.80/1651.42	c nbDecision=1135000 #constraints=52147
1651.00/1651.69	c nbDecision=1135500 #constraints=52147
1653.00/1653.62	c nbDecision=1136000 #constraints=52164
1653.40/1654.06	c nbDecision=1136500 #constraints=52168
1654.70/1655.39	c nbDecision=1137000 #constraints=52184
1655.50/1656.12	c nbDecision=1137500 #constraints=52188
1656.40/1657.08	c nbDecision=1138000 #constraints=52197
1657.61/1658.28	c nbDecision=1138500 #constraints=52214
1659.21/1659.86	c nbDecision=1139000 #constraints=52226
1660.20/1660.85	c nbDecision=1139500 #constraints=52234
1661.30/1661.98	c nbDecision=1140000 #constraints=52247
1661.60/1662.27	c nbDecision=1140500 #constraints=52249
1662.61/1663.27	c nbDecision=1141000 #constraints=52261
1663.40/1664.05	c nbDecision=1141500 #constraints=52262
1664.00/1664.65	c nbDecision=1142000 #constraints=52267
1664.60/1665.28	c nbDecision=1142500 #constraints=52271
1665.50/1666.18	c nbDecision=1143000 #constraints=52279
1666.80/1667.47	c nbDecision=1143500 #constraints=52292
1667.70/1668.31	c nbDecision=1144000 #constraints=52295
1668.60/1669.28	c nbDecision=1144500 #constraints=52304
1669.00/1669.67	c nbDecision=1145000 #constraints=52304
1669.80/1670.44	c nbDecision=1145500 #constraints=52310
1670.60/1671.29	c nbDecision=1146000 #constraints=52313
1672.10/1672.75	c nbDecision=1146500 #constraints=52331
1672.90/1673.54	c nbDecision=1147000 #constraints=52334
1674.00/1674.60	c nbDecision=1147500 #constraints=52352
1674.90/1675.54	c nbDecision=1148000 #constraints=52367
1676.40/1677.08	c nbDecision=1148500 #constraints=52386
1677.39/1678.03	c nbDecision=1149000 #constraints=52401
1678.39/1679.07	c nbDecision=1149500 #constraints=52407
1680.10/1680.78	c nbDecision=1150000 #constraints=52424
1680.99/1681.67	c nbDecision=1150500 #constraints=52430
1682.19/1682.84	c nbDecision=1151000 #constraints=52447
1683.50/1684.18	c nbDecision=1151500 #constraints=52460
1684.39/1685.04	c nbDecision=1152000 #constraints=52470
1685.29/1685.98	c nbDecision=1152500 #constraints=52476
1686.29/1686.90	c nbDecision=1153000 #constraints=52484
1686.89/1687.52	c nbDecision=1153500 #constraints=52496
1687.59/1688.27	c nbDecision=1154000 #constraints=52503
1688.89/1689.56	c nbDecision=1154500 #constraints=52533
1689.99/1690.67	c nbDecision=1155000 #constraints=52544
1690.29/1690.94	c nbDecision=1155500 #constraints=52544
1691.69/1692.30	c nbDecision=1156000 #constraints=52564
1692.88/1693.59	c nbDecision=1156500 #constraints=52581
1693.88/1694.53	c nbDecision=1157000 #constraints=52591
1694.28/1694.96	c nbDecision=1157500 #constraints=52592
1695.09/1695.70	c nbDecision=1158000 #constraints=52596
1696.08/1696.72	c nbDecision=1158500 #constraints=52609
1697.28/1697.90	c nbDecision=1159000 #constraints=52624
1697.69/1698.39	c nbDecision=1159500 #constraints=52630
1698.58/1699.20	c nbDecision=1160000 #constraints=52638
1699.48/1700.12	c nbDecision=1160500 #constraints=52645
1699.99/1700.66	c nbDecision=1161000 #constraints=52652
1700.88/1701.54	c nbDecision=1161500 #constraints=52660
1701.68/1702.39	c nbDecision=1162000 #constraints=52662
1702.98/1703.62	c nbDecision=1162500 #constraints=52675
1704.08/1704.74	c nbDecision=1163000 #constraints=52693
1705.09/1705.73	c nbDecision=1163500 #constraints=52702
1705.99/1706.69	c nbDecision=1164000 #constraints=52709
1706.39/1707.09	c nbDecision=1164500 #constraints=52718
1707.29/1707.98	c nbDecision=1165000 #constraints=52722
1708.39/1709.09	c nbDecision=1165500 #constraints=52740
1709.39/1710.09	c nbDecision=1166000 #constraints=52751
1709.69/1710.40	c nbDecision=1166500 #constraints=52754
1710.69/1711.32	c nbDecision=1167000 #constraints=52761
1712.19/1712.88	c nbDecision=1167500 #constraints=52778
1713.19/1713.89	c nbDecision=1168000 #constraints=52789
1714.48/1715.12	c nbDecision=1168500 #constraints=52803
1715.78/1716.45	c nbDecision=1169000 #constraints=52820
1716.28/1716.91	c nbDecision=1169500 #constraints=52820
1718.18/1718.87	c nbDecision=1170000 #constraints=52852
1718.48/1719.16	c nbDecision=1170500 #constraints=52853
1720.78/1721.43	c nbDecision=1171000 #constraints=52895
1723.68/1724.31	c nbDecision=1171500 #constraints=52954
1726.98/1727.64	c nbDecision=1172000 #constraints=53015
1729.68/1730.37	c nbDecision=1172500 #constraints=53055
1731.57/1732.23	c nbDecision=1173000 #constraints=53067
1733.38/1734.06	c nbDecision=1173500 #constraints=53099
1736.18/1736.84	c nbDecision=1174000 #constraints=53135
1738.68/1739.39	c nbDecision=1174500 #constraints=53177
1740.97/1741.65	c nbDecision=1175000 #constraints=53210
1743.27/1743.94	c nbDecision=1175500 #constraints=53232
1745.67/1746.36	c nbDecision=1176000 #constraints=53260
1748.17/1748.86	c nbDecision=1176500 #constraints=53300
1751.47/1752.11	c nbDecision=1177000 #constraints=53350
1753.27/1753.90	c nbDecision=1177500 #constraints=53364
1755.98/1756.61	c nbDecision=1178000 #constraints=53404
1758.18/1758.82	c nbDecision=1178500 #constraints=53438
1760.97/1761.64	c nbDecision=1179000 #constraints=53474
1762.68/1763.33	c nbDecision=1179500 #constraints=53487
1764.57/1765.23	c nbDecision=1180000 #constraints=53505
1767.57/1768.22	c nbDecision=1180500 #constraints=53538
1770.17/1770.87	c nbDecision=1181000 #constraints=53559
1772.36/1773.07	c nbDecision=1181500 #constraints=53581
1774.77/1775.46	c nbDecision=1182000 #constraints=53596
1777.46/1778.19	c nbDecision=1182500 #constraints=53643
1779.56/1780.22	c nbDecision=1183000 #constraints=53665
1781.66/1782.36	c nbDecision=1183500 #constraints=53686
1784.47/1785.20	c nbDecision=1184000 #constraints=53722
1786.87/1787.53	c nbDecision=1184500 #constraints=53759
1789.57/1790.26	c nbDecision=1185000 #constraints=53788
1792.36/1793.03	c nbDecision=1185500 #constraints=53832
1794.96/1795.69	c nbDecision=1186000 #constraints=53855
1797.46/1798.12	c nbDecision=1186500 #constraints=53876
1799.46/1800.13	c nbDecision=1187000 #constraints=53902
1800.07/1800.71	Received signal 15
1800.07/1800.71	
1800.07/1800.71	s UNKNOWN
1800.07/1800.71	
1800.07/1800.71	c user time= 1798.98 s
1800.07/1800.71	c system time= 1.09383 s
1800.07/1800.71	c wall clock time=1800.71

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/node41/watcher-356873-1176846824 -o ROOT/results/node41/solver-356873-1176846824 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356873-1176846824/instance-356873-1176846824.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 2/77 4799
/proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=1620 CPUtime=0
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132594296 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 405 175 126 317 0 84 0

[startup+0.0836691 s]
/proc/loadavg: 0.78 0.95 0.98 2/77 4799
/proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=3488 CPUtime=0.08
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 685 0 0 0 8 0 0 0 18 0 1 0 132594296 3571712 634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 872 634 131 317 0 551 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3488

[startup+0.101673 s]
/proc/loadavg: 0.78 0.95 0.98 2/77 4799
/proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=3884 CPUtime=0.09
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 797 0 0 0 9 0 0 0 18 0 1 0 132594296 3977216 746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 971 746 131 317 0 650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.30169 s]
/proc/loadavg: 0.78 0.95 0.98 2/77 4799
/proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=7428 CPUtime=0.29
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1700 0 0 0 29 0 0 0 19 0 1 0 132594296 7606272 1649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 1857 1649 137 317 0 1536 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7428

[startup+0.701724 s]
/proc/loadavg: 0.78 0.95 0.98 2/77 4799
/proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=7560 CPUtime=0.69
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1715 0 0 0 69 0 0 0 23 0 1 0 132594296 7741440 1664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 1890 1664 138 317 0 1569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7560

[startup+1.50279 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 4800
/proc/meminfo: memFree=1742344/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=7560 CPUtime=1.49
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1718 0 0 0 149 0 0 0 25 0 1 0 132594296 7741440 1667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 1890 1667 138 317 0 1569 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7560

[startup+3.10193 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 4800
/proc/meminfo: memFree=1742152/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=7560 CPUtime=3.09
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1722 0 0 0 309 0 0 0 25 0 1 0 132594296 7741440 1671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 1890 1671 138 317 0 1569 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7560

[startup+6.30121 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 4800
/proc/meminfo: memFree=1741704/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=8368 CPUtime=6.28
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1912 0 0 0 628 0 0 0 25 0 1 0 132594296 8568832 1861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 2092 1861 139 317 0 1771 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8368

[startup+12.7018 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 4800
/proc/meminfo: memFree=1739848/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=10208 CPUtime=12.69
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 2365 0 0 0 1268 1 0 0 25 0 1 0 132594296 10452992 2314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 2552 2314 139 317 0 2231 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10208

[startup+25.5019 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 4800
/proc/meminfo: memFree=1711880/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=38036 CPUtime=25.48
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 9320 0 0 0 2543 5 0 0 25 0 1 0 132594296 38948864 9269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 9509 9269 139 317 0 9188 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38036

[startup+51.1011 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 4800
/proc/meminfo: memFree=1671432/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=78944 CPUtime=51.07
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 19575 0 0 0 5094 13 0 0 25 0 1 0 132594296 80838656 19480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 19736 19480 139 317 0 19415 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78944

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 4800
/proc/meminfo: memFree=1626184/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=123748 CPUtime=102.26
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 30818 0 0 0 10204 22 0 0 25 0 1 0 132594296 126717952 30637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 30937 30637 170 317 0 30616 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 123748

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 4800
/proc/meminfo: memFree=1590024/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=160116 CPUtime=162.25
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 39916 0 0 0 16196 29 0 0 25 0 1 0 132594296 163958784 39735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 40029 39735 170 317 0 39708 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 160116

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4800
/proc/meminfo: memFree=1559304/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=191288 CPUtime=222.23
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 47501 0 0 0 22188 35 0 0 25 0 1 0 132594296 195878912 47320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 47822 47320 170 317 0 47501 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 191288

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4800
/proc/meminfo: memFree=1526536/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=225292 CPUtime=282.21
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 56030 0 0 0 28181 40 0 0 25 0 1 0 132594296 230699008 55679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 56323 55679 170 317 0 56002 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 225292

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4800
/proc/meminfo: memFree=1495688/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=256804 CPUtime=342.2
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 63557 0 0 0 34175 45 0 0 25 0 1 0 132594296 262967296 63206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 64201 63206 170 317 0 63880 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 256804

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4800
/proc/meminfo: memFree=1475400/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=276944 CPUtime=402.18
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 68714 0 0 0 40169 49 0 0 25 0 1 0 132594296 283590656 68363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 69236 68363 170 317 0 68915 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 276944

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 4938
/proc/meminfo: memFree=1451392/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=299340 CPUtime=462.1
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 74277 0 0 0 46156 54 0 0 25 0 1 0 132594296 306524160 73926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 74835 73926 170 317 0 74514 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 299340

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4998
/proc/meminfo: memFree=1430920/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=322796 CPUtime=522.04
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 79757 0 0 0 52147 57 0 0 25 0 1 0 132594296 330543104 79373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 80699 79373 170 317 0 80378 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 322796

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4998
/proc/meminfo: memFree=1411208/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=342036 CPUtime=582.02
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 84644 0 0 0 58141 61 0 0 25 0 1 0 132594296 350244864 84260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 85509 84260 170 317 0 85188 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 342036

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4998
/proc/meminfo: memFree=1391752/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=362196 CPUtime=642.01
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 89460 0 0 0 64137 64 0 0 25 0 1 0 132594296 370888704 89076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 90549 89076 170 317 0 90228 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 362196


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4998
/proc/meminfo: memFree=1327176/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=429848 CPUtime=881.94
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 105547 0 0 0 88118 76 0 0 25 0 1 0 132594296 440164352 105163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 107462 105163 170 317 0 107141 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 429848

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4998
/proc/meminfo: memFree=1315528/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=442672 CPUtime=941.92
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 108661 0 0 0 94114 78 0 0 25 0 1 0 132594296 453296128 108277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 110668 108277 170 317 0 110347 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 442672

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4998
/proc/meminfo: memFree=1303304/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=454112 CPUtime=1001.9
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 111512 0 0 0 100109 81 0 0 25 0 1 0 132594296 465010688 111128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 113528 111128 170 317 0 113207 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 454112

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4998
/proc/meminfo: memFree=1292232/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=464936 CPUtime=1061.89
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 114297 0 0 0 106105 84 0 0 25 0 1 0 132594296 476094464 113913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 116234 113913 170 317 0 115913 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 464936

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4998
/proc/meminfo: memFree=1279688/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=477552 CPUtime=1121.87
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 117425 0 0 0 112100 87 0 0 25 0 1 0 132594296 489013248 117041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 119388 117041 170 317 0 119067 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 477552

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4998
/proc/meminfo: memFree=1264904/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=493872 CPUtime=1181.85
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 121128 0 0 0 118096 89 0 0 25 0 1 0 132594296 505724928 120744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 123468 120744 170 317 0 123147 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 493872

[startup+1242.3 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 4998
/proc/meminfo: memFree=1248584/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=515740 CPUtime=1241.83
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 125159 0 0 0 124092 91 0 0 25 0 1 0 132594296 528117760 124775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 128935 124775 170 317 0 128614 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 515740

[startup+1302.3 s]
/proc/loadavg: 1.05 1.00 0.99 2/78 4998
/proc/meminfo: memFree=1238728/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=526040 CPUtime=1301.82
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 127600 0 0 0 130089 93 0 0 25 0 1 0 132594296 538664960 127216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 131510 127216 170 317 0 131189 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 526040

[startup+1362.3 s]
/proc/loadavg: 1.02 1.00 0.99 2/78 4998
/proc/meminfo: memFree=1230728/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=533660 CPUtime=1361.8
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 129606 0 0 0 136085 95 0 0 25 0 1 0 132594296 546467840 129222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 133415 129222 170 317 0 133094 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 533660

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 4998
/proc/meminfo: memFree=1221192/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=542948 CPUtime=1421.78
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 131968 0 0 0 142081 97 0 0 25 0 1 0 132594296 555978752 131584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 135737 131584 170 317 0 135416 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 542948

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 4998
/proc/meminfo: memFree=1212616/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=551980 CPUtime=1481.76
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 134471 0 0 0 148077 99 0 0 25 0 1 0 132594296 565227520 133748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 137995 133748 170 317 0 137674 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 551980

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 4998
/proc/meminfo: memFree=1205256/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=558828 CPUtime=1541.74
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 136319 0 0 0 154073 101 0 0 25 0 1 0 132594296 572239872 135596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 139707 135596 170 317 0 139386 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 558828

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 4998
/proc/meminfo: memFree=1197704/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=566256 CPUtime=1601.72
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 138232 0 0 0 160069 103 0 0 25 0 1 0 132594296 579846144 137509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 141564 137509 170 317 0 141243 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 566256

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 4998
/proc/meminfo: memFree=1190984/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=572200 CPUtime=1661.7
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 139883 0 0 0 166065 105 0 0 25 0 1 0 132594296 585932800 139160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 143050 139160 170 317 0 142729 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 572200

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 4998
/proc/meminfo: memFree=1184904/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=578304 CPUtime=1721.68
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 141444 0 0 0 172062 106 0 0 25 0 1 0 132594296 592183296 140721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 144576 140721 170 317 0 144255 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 578304

[startup+1782.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 4998
/proc/meminfo: memFree=1174536/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=588828 CPUtime=1781.66
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 143979 0 0 0 178058 108 0 0 25 0 1 0 132594296 602959872 143256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 147207 143256 170 317 0 146886 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 588828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 4998
/proc/meminfo: memFree=1171528/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=591336 CPUtime=1800.07
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 144717 0 0 0 179898 109 0 0 25 0 1 0 132594296 605528064 143994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 147834 143994 170 317 0 147513 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 591336

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

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

[startup+1800.81 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 4998
/proc/meminfo: memFree=1171528/2055920 swapFree=4184436/4192956
[pid=4799] ppid=4797 vsize=0 CPUtime=1800.16
/proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194308 144733 0 0 0 179899 117 0 0 25 0 1 0 132594296 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4799/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.18
CPU user time (s): 1799
CPU system time (s): 1.18582
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 591336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.18582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144733
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= 30595

runsolver used 2.15867 second user time and 4.48932 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Tue Apr 17 21:53:44 UTC 2007

IDJOB= 356873
IDBENCH= 1578
IDSOLVER= 172
FILE ID= node41/356873-1176846824

PBS_JOBID= 4590196

Free space on /tmp= 66498 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb
COMMAND LINE= oree /tmp/evaluation/356873-1176846824/instance-356873-1176846824.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-356873-1176846824 -o ROOT/results/node41/solver-356873-1176846824 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356873-1176846824/instance-356873-1176846824.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  908b859aa6cb5be1c335ba1e4149146b

RANDOM SEED= 881005192

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1748904 kB
Buffers:         26132 kB
Cached:          94376 kB
SwapCached:       2980 kB
Active:          72180 kB
Inactive:       181960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748904 kB
SwapTotal:     4192956 kB
SwapFree:      4184436 kB
Dirty:            2096 kB
Writeback:           0 kB
Mapped:         148136 kB
Slab:            38160 kB
Committed_AS:  2558728 kB
PageTables:       2008 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= 66498 MiB

End job on node41 on Tue Apr 17 22:23:47 UTC 2007