Trace number 356871

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.15 1800.8

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-bienst1.opb
MD5SUM3c5a26b44a5daf16e362588a0fac7ed0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13806
Total number of constraints604
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint7
Maximum length of a constraint390
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524564
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.17	c ...done
0.09/0.17	c #vars=13806 #constraints=733 hasObjective=yes
0.19/0.20	c res. mode=mod
0.19/0.20	c VSIDS like heuristics
0.19/0.20	c complete search running
0.49/0.50	c restart after 401 decisions
0.49/0.57	c nbDecision=500 #constraints=943
0.89/0.92	c restart after 801 decisions
1.09/1.16	c nbDecision=1000 #constraints=1293
1.79/1.81	c nbDecision=1500 #constraints=1649
1.79/1.86	c restart after 1601 decisions
2.10/2.10	c nbDecision=2000 #constraints=1896
2.29/2.36	c nbDecision=2500 #constraints=2147
2.49/2.58	c nbDecision=3000 #constraints=2346
2.59/2.68	c restart after 3201 decisions
3.19/3.25	c nbDecision=3500 #constraints=2619
3.59/3.67	c nbDecision=4000 #constraints=2873
3.79/3.89	c nbDecision=4500 #constraints=3054
4.09/4.13	c nbDecision=5000 #constraints=3234
4.29/4.37	c nbDecision=5500 #constraints=3432
4.49/4.59	c nbDecision=6000 #constraints=3577
4.69/4.78	c restart after 6401 decisions
4.89/4.98	c nbDecision=6500 #constraints=3731
5.39/5.50	c nbDecision=7000 #constraints=3919
5.69/5.76	c nbDecision=7500 #constraints=4110
5.99/6.00	c nbDecision=8000 #constraints=4295
6.19/6.25	c nbDecision=8500 #constraints=4450
6.49/6.51	c nbDecision=9000 #constraints=4622
6.69/6.75	c nbDecision=9500 #constraints=4760
6.89/6.94	c nbDecision=10000 #constraints=4852
7.09/7.17	c nbDecision=10500 #constraints=4983
7.29/7.37	c nbDecision=11000 #constraints=5076
7.49/7.58	c nbDecision=11500 #constraints=5179
7.69/7.79	c nbDecision=12000 #constraints=5269
7.88/7.99	c nbDecision=12500 #constraints=5351
8.08/8.11	c restart after 12801 decisions
8.69/8.73	c nbDecision=13000 #constraints=5501
9.59/9.67	c nbDecision=13500 #constraints=5734
9.90/9.97	c nbDecision=14000 #constraints=5887
10.29/10.32	c nbDecision=14500 #constraints=6090
10.59/10.63	c nbDecision=15000 #constraints=6276
10.89/10.93	c nbDecision=15500 #constraints=6438
11.09/11.17	c nbDecision=16000 #constraints=6548
11.39/11.48	c nbDecision=16500 #constraints=6701
11.68/11.75	c nbDecision=17000 #constraints=6830
11.99/12.03	c nbDecision=17500 #constraints=6951
12.18/12.29	c nbDecision=18000 #constraints=7048
12.48/12.53	c nbDecision=18500 #constraints=7133
12.79/12.81	c nbDecision=19000 #constraints=7246
12.99/13.05	c nbDecision=19500 #constraints=7333
13.29/13.37	c nbDecision=20000 #constraints=7483
13.59/13.66	c nbDecision=20500 #constraints=7598
13.89/13.90	c nbDecision=21000 #constraints=7692
14.08/14.16	c nbDecision=21500 #constraints=7791
14.38/14.47	c nbDecision=22000 #constraints=7910
14.68/14.76	c nbDecision=22500 #constraints=8001
14.99/15.02	c nbDecision=23000 #constraints=8075
15.19/15.26	c nbDecision=23500 #constraints=8151
15.39/15.48	c nbDecision=24000 #constraints=8214
15.69/15.77	c nbDecision=24500 #constraints=8305
15.99/16.01	c nbDecision=25000 #constraints=8387
16.29/16.31	c nbDecision=25500 #constraints=8486
16.29/16.35	c restart after 25601 decisions
17.59/17.68	c nbDecision=26000 #constraints=8703
17.89/17.98	c nbDecision=26500 #constraints=8814
18.29/18.30	c nbDecision=27000 #constraints=8948
18.69/18.70	c nbDecision=27500 #constraints=9118
18.98/19.06	c nbDecision=28000 #constraints=9258
19.28/19.37	c nbDecision=28500 #constraints=9357
19.58/19.68	c nbDecision=29000 #constraints=9453
19.79/19.89	c nbDecision=29500 #constraints=9507
20.19/20.26	c nbDecision=30000 #constraints=9651
20.49/20.52	c nbDecision=30500 #constraints=9728
20.89/20.93	c nbDecision=31000 #constraints=9866
21.18/21.21	c nbDecision=31500 #constraints=9949
21.48/21.51	c nbDecision=32000 #constraints=10049
21.79/21.84	c nbDecision=32500 #constraints=10143
22.09/22.18	c nbDecision=33000 #constraints=10255
22.39/22.46	c nbDecision=33500 #constraints=10330
22.68/22.78	c nbDecision=34000 #constraints=10425
22.99/23.07	c nbDecision=34500 #constraints=10500
23.28/23.31	c nbDecision=35000 #constraints=10549
23.48/23.53	c nbDecision=35500 #constraints=10591
23.79/23.84	c nbDecision=36000 #constraints=10676
23.99/24.02	c nbDecision=36500 #constraints=10704
24.29/24.33	c nbDecision=37000 #constraints=10781
24.59/24.68	c nbDecision=37500 #constraints=10882
24.99/25.03	c nbDecision=38000 #constraints=10970
25.29/25.33	c nbDecision=38500 #constraints=11040
25.59/25.67	c nbDecision=39000 #constraints=11126
25.79/25.87	c nbDecision=39500 #constraints=11160
26.09/26.18	c nbDecision=40000 #constraints=11230
26.39/26.47	c nbDecision=40500 #constraints=11283
26.68/26.74	c nbDecision=41000 #constraints=11341
26.98/27.01	c nbDecision=41500 #constraints=11384
27.18/27.26	c nbDecision=42000 #constraints=11423
27.58/27.60	c nbDecision=42500 #constraints=11507
27.78/27.89	c nbDecision=43000 #constraints=11567
28.18/28.26	c nbDecision=43500 #constraints=11652
28.49/28.57	c nbDecision=44000 #constraints=11715
28.79/28.86	c nbDecision=44500 #constraints=11762
29.09/29.17	c nbDecision=45000 #constraints=11827
29.39/29.46	c nbDecision=45500 #constraints=11881
29.69/29.72	c nbDecision=46000 #constraints=11930
29.98/30.05	c nbDecision=46500 #constraints=11996
30.38/30.43	c nbDecision=47000 #constraints=12058
30.68/30.76	c nbDecision=47500 #constraints=12133
30.98/31.09	c nbDecision=48000 #constraints=12202
31.28/31.36	c nbDecision=48500 #constraints=12247
31.58/31.66	c nbDecision=49000 #constraints=12292
31.88/31.96	c nbDecision=49500 #constraints=12345
32.18/32.24	c nbDecision=50000 #constraints=12389
32.48/32.50	c nbDecision=50500 #constraints=12423
32.78/32.85	c nbDecision=51000 #constraints=12490
32.89/32.98	c restart after 51201 decisions
34.68/34.77	c nbDecision=51500 #constraints=12697
35.18/35.26	c nbDecision=52000 #constraints=12818
35.58/35.63	c nbDecision=52500 #constraints=12900
35.88/35.94	c nbDecision=53000 #constraints=12976
36.29/36.37	c nbDecision=53500 #constraints=13083
36.78/36.80	c nbDecision=54000 #constraints=13174
37.08/37.18	c nbDecision=54500 #constraints=13243
37.38/37.49	c nbDecision=55000 #constraints=13310
37.78/37.83	c nbDecision=55500 #constraints=13375
38.18/38.22	c nbDecision=56000 #constraints=13454
38.58/38.62	c nbDecision=56500 #constraints=13533
38.98/39.02	c nbDecision=57000 #constraints=13623
39.38/39.45	c nbDecision=57500 #constraints=13720
39.68/39.75	c nbDecision=58000 #constraints=13766
39.98/40.06	c nbDecision=58500 #constraints=13816
40.38/40.44	c nbDecision=59000 #constraints=13893
40.68/40.72	c nbDecision=59500 #constraints=13929
40.98/41.03	c nbDecision=60000 #constraints=13973
41.28/41.30	c nbDecision=60500 #constraints=13999
41.58/41.68	c nbDecision=61000 #constraints=14077
41.98/42.05	c nbDecision=61500 #constraints=14146
42.28/42.39	c nbDecision=62000 #constraints=14203
42.68/42.76	c nbDecision=62500 #constraints=14276
43.08/43.12	c nbDecision=63000 #constraints=14339
43.38/43.44	c nbDecision=63500 #constraints=14385
43.68/43.75	c nbDecision=64000 #constraints=14428
44.08/44.15	c nbDecision=64500 #constraints=14503
44.48/44.56	c nbDecision=65000 #constraints=14569
44.88/44.93	c nbDecision=65500 #constraints=14636
45.08/45.16	c nbDecision=66000 #constraints=14656
45.48/45.54	c nbDecision=66500 #constraints=14723
45.78/45.86	c nbDecision=67000 #constraints=14764
46.18/46.21	c nbDecision=67500 #constraints=14815
46.58/46.62	c nbDecision=68000 #constraints=14888
46.98/47.00	c nbDecision=68500 #constraints=14961
47.28/47.35	c nbDecision=69000 #constraints=15011
47.58/47.63	c nbDecision=69500 #constraints=15043
47.98/48.02	c nbDecision=70000 #constraints=15095
48.28/48.40	c nbDecision=70500 #constraints=15148
48.67/48.71	c nbDecision=71000 #constraints=15186
48.97/49.08	c nbDecision=71500 #constraints=15257
49.27/49.39	c nbDecision=72000 #constraints=15290
49.67/49.75	c nbDecision=72500 #constraints=15345
49.97/50.05	c nbDecision=73000 #constraints=15366
50.37/50.45	c nbDecision=73500 #constraints=15427
50.67/50.73	c nbDecision=74000 #constraints=15455
50.97/51.00	c nbDecision=74500 #constraints=15485
51.27/51.39	c nbDecision=75000 #constraints=15537
51.67/51.71	c nbDecision=75500 #constraints=15593
52.08/52.15	c nbDecision=76000 #constraints=15669
52.38/52.42	c nbDecision=76500 #constraints=15686
52.68/52.74	c nbDecision=77000 #constraints=15722
52.98/53.05	c nbDecision=77500 #constraints=15761
53.38/53.47	c nbDecision=78000 #constraints=15819
53.78/53.85	c nbDecision=78500 #constraints=15876
54.08/54.12	c nbDecision=79000 #constraints=15904
54.27/54.37	c nbDecision=79500 #constraints=15928
54.67/54.75	c nbDecision=80000 #constraints=15982
54.98/55.02	c nbDecision=80500 #constraints=16013
55.27/55.34	c nbDecision=81000 #constraints=16042
55.57/55.66	c nbDecision=81500 #constraints=16075
55.97/56.05	c nbDecision=82000 #constraints=16140
56.27/56.37	c nbDecision=82500 #constraints=16180
56.57/56.68	c nbDecision=83000 #constraints=16207
56.87/56.99	c nbDecision=83500 #constraints=16248
57.17/57.29	c nbDecision=84000 #constraints=16279
57.47/57.55	c nbDecision=84500 #constraints=16306
57.87/57.91	c nbDecision=85000 #constraints=16339
58.18/58.26	c nbDecision=85500 #constraints=16375
58.57/58.64	c nbDecision=86000 #constraints=16432
58.87/58.98	c nbDecision=86500 #constraints=16464
59.28/59.39	c nbDecision=87000 #constraints=16515
59.77/59.83	c nbDecision=87500 #constraints=16562
60.17/60.25	c nbDecision=88000 #constraints=16616
60.67/60.70	c nbDecision=88500 #constraints=16665
60.97/61.01	c nbDecision=89000 #constraints=16684
61.37/61.46	c nbDecision=89500 #constraints=16756
61.77/61.80	c nbDecision=90000 #constraints=16804
62.07/62.12	c nbDecision=90500 #constraints=16826
62.47/62.52	c nbDecision=91000 #constraints=16866
62.77/62.83	c nbDecision=91500 #constraints=16894
63.17/63.23	c nbDecision=92000 #constraints=16945
63.57/63.66	c nbDecision=92500 #constraints=17004
63.97/64.04	c nbDecision=93000 #constraints=17047
64.37/64.45	c nbDecision=93500 #constraints=17092
64.78/64.83	c nbDecision=94000 #constraints=17134
65.07/65.14	c nbDecision=94500 #constraints=17156
65.37/65.44	c nbDecision=95000 #constraints=17177
65.67/65.80	c nbDecision=95500 #constraints=17229
65.98/66.09	c nbDecision=96000 #constraints=17250
66.47/66.56	c nbDecision=96500 #constraints=17313
66.87/66.92	c nbDecision=97000 #constraints=17351
67.17/67.20	c nbDecision=97500 #constraints=17375
67.37/67.43	c nbDecision=98000 #constraints=17394
67.87/67.92	c nbDecision=98500 #constraints=17450
68.17/68.26	c nbDecision=99000 #constraints=17483
68.57/68.63	c nbDecision=99500 #constraints=17523
68.97/69.06	c nbDecision=100000 #constraints=17581
69.37/69.44	c nbDecision=100500 #constraints=17622
69.77/69.85	c nbDecision=101000 #constraints=17654
70.17/70.25	c nbDecision=101500 #constraints=17695
70.57/70.66	c nbDecision=102000 #constraints=17732
70.87/70.96	c restart after 102401 decisions
71.47/71.57	c nbDecision=102500 #constraints=17785
72.57/72.65	c nbDecision=103000 #constraints=17933
73.16/73.25	c nbDecision=103500 #constraints=18055
73.86/73.91	c nbDecision=104000 #constraints=18185
74.37/74.46	c nbDecision=104500 #constraints=18281
74.87/74.94	c nbDecision=105000 #constraints=18377
75.37/75.49	c nbDecision=105500 #constraints=18479
75.88/75.96	c nbDecision=106000 #constraints=18561
76.37/76.43	c nbDecision=106500 #constraints=18637
76.77/76.83	c nbDecision=107000 #constraints=18702
77.27/77.35	c nbDecision=107500 #constraints=18782
77.87/77.94	c nbDecision=108000 #constraints=18878
78.37/78.43	c nbDecision=108500 #constraints=18961
78.77/78.85	c nbDecision=109000 #constraints=19014
79.27/79.32	c nbDecision=109500 #constraints=19084
79.77/79.85	c nbDecision=110000 #constraints=19166
80.27/80.31	c nbDecision=110500 #constraints=19225
80.67/80.72	c nbDecision=111000 #constraints=19289
81.06/81.14	c nbDecision=111500 #constraints=19344
81.46/81.56	c nbDecision=112000 #constraints=19413
82.06/82.15	c nbDecision=112500 #constraints=19503
82.37/82.48	c nbDecision=113000 #constraints=19537
82.97/83.01	c nbDecision=113500 #constraints=19609
83.37/83.48	c nbDecision=114000 #constraints=19672
83.87/83.98	c nbDecision=114500 #constraints=19749
84.37/84.47	c nbDecision=115000 #constraints=19825
84.87/84.98	c nbDecision=115500 #constraints=19907
85.47/85.56	c nbDecision=116000 #constraints=20001
85.96/86.00	c nbDecision=116500 #constraints=20063
86.36/86.43	c nbDecision=117000 #constraints=20117
86.77/86.87	c nbDecision=117500 #constraints=20181
87.26/87.33	c nbDecision=118000 #constraints=20236
87.66/87.73	c nbDecision=118500 #constraints=20281
87.96/88.04	c nbDecision=119000 #constraints=20305
88.26/88.39	c nbDecision=119500 #constraints=20348
88.76/88.87	c nbDecision=120000 #constraints=20408
89.16/89.24	c nbDecision=120500 #constraints=20453
89.66/89.70	c nbDecision=121000 #constraints=20516
90.17/90.24	c nbDecision=121500 #constraints=20601
90.77/90.81	c nbDecision=122000 #constraints=20691
91.27/91.32	c nbDecision=122500 #constraints=20751
91.67/91.77	c nbDecision=123000 #constraints=20806
92.17/92.23	c nbDecision=123500 #constraints=20863
92.56/92.65	c nbDecision=124000 #constraints=20927
93.16/93.27	c nbDecision=124500 #constraints=21011
93.66/93.75	c nbDecision=125000 #constraints=21062
94.16/94.25	c nbDecision=125500 #constraints=21125
94.66/94.72	c nbDecision=126000 #constraints=21178
94.96/95.04	c nbDecision=126500 #constraints=21206
95.46/95.58	c nbDecision=127000 #constraints=21279
95.96/96.03	c nbDecision=127500 #constraints=21328
96.46/96.60	c nbDecision=128000 #constraints=21392
97.06/97.14	c nbDecision=128500 #constraints=21464
97.46/97.55	c nbDecision=129000 #constraints=21511
97.96/98.06	c nbDecision=129500 #constraints=21574
98.46/98.50	c nbDecision=130000 #constraints=21622
98.76/98.83	c nbDecision=130500 #constraints=21643
99.16/99.20	c nbDecision=131000 #constraints=21682
99.66/99.78	c nbDecision=131500 #constraints=21760
100.07/100.13	c nbDecision=132000 #constraints=21790
100.46/100.54	c nbDecision=132500 #constraints=21833
100.86/100.90	c nbDecision=133000 #constraints=21865
101.36/101.42	c nbDecision=133500 #constraints=21917
101.66/101.77	c nbDecision=134000 #constraints=21940
102.06/102.18	c nbDecision=134500 #constraints=21981
102.56/102.64	c nbDecision=135000 #constraints=22021
102.96/103.08	c nbDecision=135500 #constraints=22064
103.36/103.49	c nbDecision=136000 #constraints=22102
103.86/103.93	c nbDecision=136500 #constraints=22147
104.26/104.31	c nbDecision=137000 #constraints=22184
104.56/104.68	c nbDecision=137500 #constraints=22214
105.16/105.21	c nbDecision=138000 #constraints=22278
105.76/105.84	c nbDecision=138500 #constraints=22371
106.36/106.40	c nbDecision=139000 #constraints=22437
106.95/107.08	c nbDecision=139500 #constraints=22537
107.35/107.44	c nbDecision=140000 #constraints=22574
107.86/107.94	c nbDecision=140500 #constraints=22623
108.26/108.40	c nbDecision=141000 #constraints=22668
108.77/108.87	c nbDecision=141500 #constraints=22710
109.26/109.31	c nbDecision=142000 #constraints=22746
109.66/109.77	c nbDecision=142500 #constraints=22790
110.36/110.40	c nbDecision=143000 #constraints=22870
110.96/111.06	c nbDecision=143500 #constraints=22949
111.36/111.45	c nbDecision=144000 #constraints=22975
111.86/111.94	c nbDecision=144500 #constraints=23032
112.36/112.48	c nbDecision=145000 #constraints=23095
112.96/113.00	c nbDecision=145500 #constraints=23145
113.26/113.35	c nbDecision=146000 #constraints=23168
113.66/113.77	c nbDecision=146500 #constraints=23198
114.06/114.17	c nbDecision=147000 #constraints=23228
114.56/114.62	c nbDecision=147500 #constraints=23274
115.26/115.34	c nbDecision=148000 #constraints=23371
115.66/115.73	c nbDecision=148500 #constraints=23403
116.15/116.29	c nbDecision=149000 #constraints=23464
116.65/116.72	c nbDecision=149500 #constraints=23508
117.15/117.21	c nbDecision=150000 #constraints=23564
117.45/117.60	c nbDecision=150500 #constraints=23596
117.85/117.99	c nbDecision=151000 #constraints=23628
118.36/118.45	c nbDecision=151500 #constraints=23674
118.96/119.05	c nbDecision=152000 #constraints=23749
119.36/119.49	c nbDecision=152500 #constraints=23779
119.86/119.98	c nbDecision=153000 #constraints=23830
120.45/120.53	c nbDecision=153500 #constraints=23885
120.86/120.98	c nbDecision=154000 #constraints=23918
121.35/121.46	c nbDecision=154500 #constraints=23963
121.86/121.98	c nbDecision=155000 #constraints=24010
122.26/122.36	c nbDecision=155500 #constraints=24036
122.86/122.99	c nbDecision=156000 #constraints=24098
123.36/123.48	c nbDecision=156500 #constraints=24137
123.86/123.94	c nbDecision=157000 #constraints=24166
124.36/124.49	c nbDecision=157500 #constraints=24222
124.86/124.97	c nbDecision=158000 #constraints=24263
125.26/125.34	c nbDecision=158500 #constraints=24288
125.86/125.94	c nbDecision=159000 #constraints=24356
126.25/126.37	c nbDecision=159500 #constraints=24388
126.65/126.75	c nbDecision=160000 #constraints=24412
127.25/127.35	c nbDecision=160500 #constraints=24475
127.75/127.89	c nbDecision=161000 #constraints=24527
128.25/128.37	c nbDecision=161500 #constraints=24562
128.75/128.85	c nbDecision=162000 #constraints=24607
129.15/129.25	c nbDecision=162500 #constraints=24640
129.86/129.91	c nbDecision=163000 #constraints=24725
130.36/130.48	c nbDecision=163500 #constraints=24777
130.86/130.96	c nbDecision=164000 #constraints=24815
131.36/131.41	c nbDecision=164500 #constraints=24850
131.96/132.08	c nbDecision=165000 #constraints=24917
132.46/132.57	c nbDecision=165500 #constraints=24956
132.96/133.00	c nbDecision=166000 #constraints=24986
133.35/133.40	c nbDecision=166500 #constraints=25006
133.85/133.96	c nbDecision=167000 #constraints=25056
134.25/134.39	c nbDecision=167500 #constraints=25088
134.85/134.93	c nbDecision=168000 #constraints=25143
135.35/135.40	c nbDecision=168500 #constraints=25181
135.85/135.99	c nbDecision=169000 #constraints=25234
136.36/136.45	c nbDecision=169500 #constraints=25273
136.85/136.92	c nbDecision=170000 #constraints=25307
137.35/137.49	c nbDecision=170500 #constraints=25365
137.85/137.96	c nbDecision=171000 #constraints=25395
138.35/138.48	c nbDecision=171500 #constraints=25444
138.85/138.94	c nbDecision=172000 #constraints=25481
139.55/139.61	c nbDecision=172500 #constraints=25564
140.05/140.16	c nbDecision=173000 #constraints=25606
140.65/140.73	c nbDecision=173500 #constraints=25647
141.15/141.27	c nbDecision=174000 #constraints=25692
141.65/141.76	c nbDecision=174500 #constraints=25735
142.05/142.19	c nbDecision=175000 #constraints=25757
142.65/142.74	c nbDecision=175500 #constraints=25811
143.15/143.23	c nbDecision=176000 #constraints=25852
143.75/143.85	c nbDecision=176500 #constraints=25914
144.15/144.21	c nbDecision=177000 #constraints=25927
144.65/144.72	c nbDecision=177500 #constraints=25967
145.25/145.30	c nbDecision=178000 #constraints=26022
145.65/145.76	c nbDecision=178500 #constraints=26056
146.15/146.26	c nbDecision=179000 #constraints=26086
146.65/146.71	c nbDecision=179500 #constraints=26117
147.25/147.31	c nbDecision=180000 #constraints=26173
147.95/148.03	c nbDecision=180500 #constraints=26253
148.55/148.65	c nbDecision=181000 #constraints=26309
148.95/149.02	c nbDecision=181500 #constraints=26328
149.45/149.60	c nbDecision=182000 #constraints=26374
149.95/150.05	c nbDecision=182500 #constraints=26400
150.35/150.48	c nbDecision=183000 #constraints=26425
150.95/151.01	c nbDecision=183500 #constraints=26469
151.45/151.56	c nbDecision=184000 #constraints=26518
151.94/152.09	c nbDecision=184500 #constraints=26549
152.54/152.65	c nbDecision=185000 #constraints=26597
153.04/153.15	c nbDecision=185500 #constraints=26631
153.54/153.69	c nbDecision=186000 #constraints=26677
154.34/154.50	c nbDecision=186500 #constraints=26773
154.85/154.96	c nbDecision=187000 #constraints=26803
155.45/155.58	c nbDecision=187500 #constraints=26852
155.95/156.00	c nbDecision=188000 #constraints=26877
156.45/156.59	c nbDecision=188500 #constraints=26921
156.95/157.05	c nbDecision=189000 #constraints=26948
157.45/157.58	c nbDecision=189500 #constraints=26980
158.05/158.11	c nbDecision=190000 #constraints=27022
158.64/158.77	c nbDecision=190500 #constraints=27090
159.14/159.25	c nbDecision=191000 #constraints=27124
159.74/159.89	c nbDecision=191500 #constraints=27170
160.35/160.46	c nbDecision=192000 #constraints=27214
160.95/161.00	c nbDecision=192500 #constraints=27250
161.45/161.60	c nbDecision=193000 #constraints=27316
162.25/162.34	c nbDecision=193500 #constraints=27379
162.75/162.88	c nbDecision=194000 #constraints=27420
163.35/163.45	c nbDecision=194500 #constraints=27465
163.95/164.02	c nbDecision=195000 #constraints=27507
164.55/164.69	c nbDecision=195500 #constraints=27574
165.14/165.23	c nbDecision=196000 #constraints=27607
166.24/166.34	c nbDecision=196500 #constraints=27723
166.74/166.89	c nbDecision=197000 #constraints=27774
167.44/167.54	c nbDecision=197500 #constraints=27842
168.44/168.52	c nbDecision=198000 #constraints=27969
169.04/169.12	c nbDecision=198500 #constraints=28022
169.85/169.99	c nbDecision=199000 #constraints=28124
170.35/170.46	c nbDecision=199500 #constraints=28156
170.95/171.00	c nbDecision=200000 #constraints=28202
171.45/171.53	c nbDecision=200500 #constraints=28243
171.74/171.89	c nbDecision=201000 #constraints=28260
172.24/172.32	c nbDecision=201500 #constraints=28291
172.74/172.87	c nbDecision=202000 #constraints=28335
173.24/173.31	c nbDecision=202500 #constraints=28359
173.75/173.83	c nbDecision=203000 #constraints=28401
174.24/174.33	c nbDecision=203500 #constraints=28441
174.64/174.78	c nbDecision=204000 #constraints=28469
175.24/175.34	c nbDecision=204500 #constraints=28511
175.54/175.65	c restart after 204801 decisions
178.14/178.29	c nbDecision=205000 #constraints=28643
181.24/181.38	c nbDecision=205500 #constraints=28836
182.24/182.36	c nbDecision=206000 #constraints=28932
183.04/183.11	c nbDecision=206500 #constraints=28995
183.65/183.78	c nbDecision=207000 #constraints=29051
184.34/184.43	c nbDecision=207500 #constraints=29100
185.24/185.32	c nbDecision=208000 #constraints=29193
186.04/186.18	c nbDecision=208500 #constraints=29273
186.84/187.00	c nbDecision=209000 #constraints=29360
187.54/187.67	c nbDecision=209500 #constraints=29420
188.04/188.15	c nbDecision=210000 #constraints=29442
188.83/189.00	c nbDecision=210500 #constraints=29519
189.74/189.82	c nbDecision=211000 #constraints=29591
190.24/190.38	c nbDecision=211500 #constraints=29635
190.94/191.02	c nbDecision=212000 #constraints=29686
191.44/191.59	c nbDecision=212500 #constraints=29731
192.24/192.34	c nbDecision=213000 #constraints=29784
192.74/192.86	c nbDecision=213500 #constraints=29815
193.44/193.58	c nbDecision=214000 #constraints=29870
194.13/194.27	c nbDecision=214500 #constraints=29923
194.73/194.87	c nbDecision=215000 #constraints=29964
195.33/195.43	c nbDecision=215500 #constraints=29993
196.03/196.11	c nbDecision=216000 #constraints=30042
196.53/196.68	c nbDecision=216500 #constraints=30099
197.53/197.61	c nbDecision=217000 #constraints=30186
198.03/198.14	c nbDecision=217500 #constraints=30221
198.74/198.85	c nbDecision=218000 #constraints=30273
199.44/199.54	c nbDecision=218500 #constraints=30329
200.04/200.19	c nbDecision=219000 #constraints=30383
200.64/200.78	c nbDecision=219500 #constraints=30426
201.73/201.81	c nbDecision=220000 #constraints=30532
202.43/202.56	c nbDecision=220500 #constraints=30587
203.13/203.26	c nbDecision=221000 #constraints=30663
203.63/203.77	c nbDecision=221500 #constraints=30687
204.23/204.35	c nbDecision=222000 #constraints=30711
205.03/205.13	c nbDecision=222500 #constraints=30770
205.74/205.88	c nbDecision=223000 #constraints=30829
206.64/206.74	c nbDecision=223500 #constraints=30903
207.34/207.46	c nbDecision=224000 #constraints=30938
208.03/208.10	c nbDecision=224500 #constraints=30978
208.53/208.67	c nbDecision=225000 #constraints=31008
209.33/209.45	c nbDecision=225500 #constraints=31056
209.94/210.07	c nbDecision=226000 #constraints=31093
210.53/210.63	c nbDecision=226500 #constraints=31131
211.14/211.25	c nbDecision=227000 #constraints=31165
211.93/212.02	c nbDecision=227500 #constraints=31223
212.63/212.79	c nbDecision=228000 #constraints=31272
213.23/213.35	c nbDecision=228500 #constraints=31307
213.73/213.89	c nbDecision=229000 #constraints=31340
214.33/214.43	c nbDecision=229500 #constraints=31383
215.03/215.16	c nbDecision=230000 #constraints=31433
215.83/215.94	c nbDecision=230500 #constraints=31494
216.53/216.67	c nbDecision=231000 #constraints=31543
217.42/217.56	c nbDecision=231500 #constraints=31620
218.43/218.51	c nbDecision=232000 #constraints=31685
218.93/219.08	c nbDecision=232500 #constraints=31717
219.43/219.59	c nbDecision=233000 #constraints=31744
220.13/220.26	c nbDecision=233500 #constraints=31785
220.73/220.89	c nbDecision=234000 #constraints=31824
221.43/221.56	c nbDecision=234500 #constraints=31874
222.33/222.40	c nbDecision=235000 #constraints=31931
223.13/223.25	c nbDecision=235500 #constraints=31997
223.73/223.82	c nbDecision=236000 #constraints=32029
224.33/224.47	c nbDecision=236500 #constraints=32069
225.02/225.11	c nbDecision=237000 #constraints=32110
225.52/225.68	c nbDecision=237500 #constraints=32142
226.32/226.49	c nbDecision=238000 #constraints=32187
227.12/227.22	c nbDecision=238500 #constraints=32234
227.63/227.70	c nbDecision=239000 #constraints=32251
228.32/228.41	c nbDecision=239500 #constraints=32303
228.92/229.02	c nbDecision=240000 #constraints=32338
229.73/229.82	c nbDecision=240500 #constraints=32397
230.72/230.88	c nbDecision=241000 #constraints=32485
231.53/231.65	c nbDecision=241500 #constraints=32524
232.13/232.21	c nbDecision=242000 #constraints=32551
232.83/232.99	c nbDecision=242500 #constraints=32603
233.53/233.62	c nbDecision=243000 #constraints=32643
234.03/234.17	c nbDecision=243500 #constraints=32670
234.83/234.94	c nbDecision=244000 #constraints=32716
235.43/235.50	c nbDecision=244500 #constraints=32748
236.13/236.27	c nbDecision=245000 #constraints=32791
236.73/236.87	c nbDecision=245500 #constraints=32826
237.43/237.58	c nbDecision=246000 #constraints=32867
238.12/238.29	c nbDecision=246500 #constraints=32917
238.72/238.88	c nbDecision=247000 #constraints=32945
239.63/239.74	c nbDecision=247500 #constraints=33003
240.62/240.71	c nbDecision=248000 #constraints=33072
241.32/241.42	c nbDecision=248500 #constraints=33119
241.92/242.01	c nbDecision=249000 #constraints=33147
242.62/242.78	c nbDecision=249500 #constraints=33198
243.32/243.42	c nbDecision=250000 #constraints=33235
243.82/243.97	c nbDecision=250500 #constraints=33260
244.62/244.72	c nbDecision=251000 #constraints=33292
245.12/245.28	c nbDecision=251500 #constraints=33314
245.92/246.02	c nbDecision=252000 #constraints=33367
246.52/246.66	c nbDecision=252500 #constraints=33404
247.02/247.18	c nbDecision=253000 #constraints=33425
247.92/248.00	c nbDecision=253500 #constraints=33469
248.82/248.94	c nbDecision=254000 #constraints=33543
249.62/249.77	c nbDecision=254500 #constraints=33606
250.12/250.28	c nbDecision=255000 #constraints=33620
250.92/251.02	c nbDecision=255500 #constraints=33665
251.52/251.62	c nbDecision=256000 #constraints=33695
252.32/252.41	c nbDecision=256500 #constraints=33743
252.92/253.06	c nbDecision=257000 #constraints=33772
253.62/253.71	c nbDecision=257500 #constraints=33805
254.52/254.64	c nbDecision=258000 #constraints=33874
255.12/255.29	c nbDecision=258500 #constraints=33910
255.72/255.80	c nbDecision=259000 #constraints=33933
256.41/256.51	c nbDecision=259500 #constraints=33970
257.01/257.15	c nbDecision=260000 #constraints=34001
257.71/257.88	c nbDecision=260500 #constraints=34043
258.42/258.57	c nbDecision=261000 #constraints=34087
259.62/259.72	c nbDecision=261500 #constraints=34181
260.32/260.41	c nbDecision=262000 #constraints=34220
260.92/261.02	c nbDecision=262500 #constraints=34252
261.62/261.78	c nbDecision=263000 #constraints=34291
262.31/262.49	c nbDecision=263500 #constraints=34343
263.11/263.23	c nbDecision=264000 #constraints=34393
264.01/264.12	c nbDecision=264500 #constraints=34443
265.01/265.12	c nbDecision=265000 #constraints=34509
265.81/265.98	c nbDecision=265500 #constraints=34566
266.91/267.04	c nbDecision=266000 #constraints=34646
268.12/268.30	c nbDecision=266500 #constraints=34770
269.82/269.95	c nbDecision=267000 #constraints=34936
270.52/270.62	c nbDecision=267500 #constraints=34988
271.12/271.21	c nbDecision=268000 #constraints=35021
271.62/271.75	c nbDecision=268500 #constraints=35049
272.11/272.23	c nbDecision=269000 #constraints=35067
272.72/272.81	c nbDecision=269500 #constraints=35105
273.31/273.42	c nbDecision=270000 #constraints=35142
273.82/273.99	c nbDecision=270500 #constraints=35181
274.61/274.71	c nbDecision=271000 #constraints=35239
275.11/275.21	c nbDecision=271500 #constraints=35260
275.71/275.83	c nbDecision=272000 #constraints=35300
276.51/276.63	c nbDecision=272500 #constraints=35354
277.11/277.23	c nbDecision=273000 #constraints=35384
277.71/277.88	c nbDecision=273500 #constraints=35430
278.41/278.51	c nbDecision=274000 #constraints=35467
279.01/279.14	c nbDecision=274500 #constraints=35518
279.61/279.77	c nbDecision=275000 #constraints=35550
280.22/280.36	c nbDecision=275500 #constraints=35584
280.81/280.92	c nbDecision=276000 #constraints=35613
281.52/281.62	c nbDecision=276500 #constraints=35668
282.01/282.14	c nbDecision=277000 #constraints=35692
282.71/282.80	c nbDecision=277500 #constraints=35725
283.31/283.41	c nbDecision=278000 #constraints=35759
283.91/284.00	c nbDecision=278500 #constraints=35794
284.51/284.67	c nbDecision=279000 #constraints=35836
285.11/285.23	c nbDecision=279500 #constraints=35860
285.61/285.79	c nbDecision=280000 #constraints=35892
286.41/286.58	c nbDecision=280500 #constraints=35950
287.11/287.20	c nbDecision=281000 #constraints=35978
287.61/287.74	c nbDecision=281500 #constraints=36003
288.21/288.37	c nbDecision=282000 #constraints=36039
288.81/288.98	c nbDecision=282500 #constraints=36072
289.51/289.63	c nbDecision=283000 #constraints=36111
289.91/290.04	c nbDecision=283500 #constraints=36130
290.41/290.55	c nbDecision=284000 #constraints=36157
290.91/291.09	c nbDecision=284500 #constraints=36189
291.51/291.67	c nbDecision=285000 #constraints=36225
292.01/292.14	c nbDecision=285500 #constraints=36246
292.81/292.94	c nbDecision=286000 #constraints=36320
293.41/293.53	c nbDecision=286500 #constraints=36362
293.91/294.09	c nbDecision=287000 #constraints=36390
294.51/294.68	c nbDecision=287500 #constraints=36423
295.21/295.30	c nbDecision=288000 #constraints=36461
295.71/295.89	c nbDecision=288500 #constraints=36496
296.41/296.53	c nbDecision=289000 #constraints=36533
297.11/297.20	c nbDecision=289500 #constraints=36574
297.71/297.86	c nbDecision=290000 #constraints=36614
298.31/298.41	c nbDecision=290500 #constraints=36641
298.90/299.08	c nbDecision=291000 #constraints=36692
299.60/299.75	c nbDecision=291500 #constraints=36730
300.21/300.32	c nbDecision=292000 #constraints=36757
300.70/300.80	c nbDecision=292500 #constraints=36772
301.50/301.60	c nbDecision=293000 #constraints=36821
302.10/302.28	c nbDecision=293500 #constraints=36862
302.90/303.01	c nbDecision=294000 #constraints=36892
303.50/303.66	c nbDecision=294500 #constraints=36935
304.30/304.40	c nbDecision=295000 #constraints=36993
304.90/305.09	c nbDecision=295500 #constraints=37023
305.61/305.76	c nbDecision=296000 #constraints=37064
306.10/306.24	c nbDecision=296500 #constraints=37084
306.50/306.67	c nbDecision=297000 #constraints=37101
307.00/307.18	c nbDecision=297500 #constraints=37127
307.81/307.96	c nbDecision=298000 #constraints=37176
308.30/308.47	c nbDecision=298500 #constraints=37189
309.00/309.18	c nbDecision=299000 #constraints=37239
309.70/309.87	c nbDecision=299500 #constraints=37301
310.50/310.67	c nbDecision=300000 #constraints=37366
311.20/311.35	c nbDecision=300500 #constraints=37398
311.70/311.87	c nbDecision=301000 #constraints=37415
312.20/312.36	c nbDecision=301500 #constraints=37428
312.79/312.98	c nbDecision=302000 #constraints=37464
313.50/313.64	c nbDecision=302500 #constraints=37498
314.20/314.36	c nbDecision=303000 #constraints=37542
314.80/314.91	c nbDecision=303500 #constraints=37566
315.40/315.51	c nbDecision=304000 #constraints=37600
316.10/316.21	c nbDecision=304500 #constraints=37635
316.70/316.84	c nbDecision=305000 #constraints=37669
317.30/317.42	c nbDecision=305500 #constraints=37699
318.00/318.10	c nbDecision=306000 #constraints=37740
318.60/318.70	c nbDecision=306500 #constraints=37766
319.30/319.46	c nbDecision=307000 #constraints=37826
320.00/320.12	c nbDecision=307500 #constraints=37850
320.69/320.85	c nbDecision=308000 #constraints=37901
321.19/321.36	c nbDecision=308500 #constraints=37920
321.59/321.79	c nbDecision=309000 #constraints=37935
322.39/322.56	c nbDecision=309500 #constraints=37985
323.09/323.27	c nbDecision=310000 #constraints=38033
323.80/323.95	c nbDecision=310500 #constraints=38086
324.30/324.49	c nbDecision=311000 #constraints=38137
325.20/325.35	c nbDecision=311500 #constraints=38191
325.80/325.91	c nbDecision=312000 #constraints=38212
326.30/326.45	c nbDecision=312500 #constraints=38230
327.00/327.19	c nbDecision=313000 #constraints=38275
327.70/327.82	c nbDecision=313500 #constraints=38301
328.20/328.37	c nbDecision=314000 #constraints=38323
328.80/328.90	c nbDecision=314500 #constraints=38340
329.59/329.73	c nbDecision=315000 #constraints=38387
330.09/330.27	c nbDecision=315500 #constraints=38400
330.89/331.01	c nbDecision=316000 #constraints=38450
331.39/331.59	c nbDecision=316500 #constraints=38472
332.19/332.32	c nbDecision=317000 #constraints=38507
332.79/332.91	c nbDecision=317500 #constraints=38532
333.39/333.56	c nbDecision=318000 #constraints=38572
333.99/334.19	c nbDecision=318500 #constraints=38599
334.58/334.75	c nbDecision=319000 #constraints=38627
335.18/335.31	c nbDecision=319500 #constraints=38653
335.99/336.20	c nbDecision=320000 #constraints=38750
336.89/337.05	c nbDecision=320500 #constraints=38806
337.39/337.60	c nbDecision=321000 #constraints=38822
337.99/338.14	c nbDecision=321500 #constraints=38842
338.59/338.77	c nbDecision=322000 #constraints=38873
339.19/339.31	c nbDecision=322500 #constraints=38893
339.79/339.94	c nbDecision=323000 #constraints=38927
340.29/340.48	c nbDecision=323500 #constraints=38949
340.99/341.14	c nbDecision=324000 #constraints=38985
341.49/341.63	c nbDecision=324500 #constraints=38997
342.08/342.29	c nbDecision=325000 #constraints=39034
342.68/342.87	c nbDecision=325500 #constraints=39058
343.28/343.45	c nbDecision=326000 #constraints=39085
344.09/344.22	c nbDecision=326500 #constraints=39135
344.68/344.89	c nbDecision=327000 #constraints=39177
345.68/345.81	c nbDecision=327500 #constraints=39269
346.28/346.41	c nbDecision=328000 #constraints=39293
346.88/347.07	c nbDecision=328500 #constraints=39316
347.48/347.69	c nbDecision=329000 #constraints=39340
348.08/348.29	c nbDecision=329500 #constraints=39362
348.78/348.96	c nbDecision=330000 #constraints=39381
349.48/349.60	c nbDecision=330500 #constraints=39409
349.98/350.13	c nbDecision=331000 #constraints=39423
350.58/350.71	c nbDecision=331500 #constraints=39446
351.28/351.45	c nbDecision=332000 #constraints=39489
351.98/352.18	c nbDecision=332500 #constraints=39535
352.78/352.93	c nbDecision=333000 #constraints=39598
353.48/353.66	c nbDecision=333500 #constraints=39631
354.18/354.34	c nbDecision=334000 #constraints=39668
354.78/354.96	c nbDecision=334500 #constraints=39697
355.38/355.59	c nbDecision=335000 #constraints=39724
355.98/356.19	c nbDecision=335500 #constraints=39747
356.58/356.78	c nbDecision=336000 #constraints=39775
357.18/357.35	c nbDecision=336500 #constraints=39799
357.88/358.07	c nbDecision=337000 #constraints=39859
358.48/358.67	c nbDecision=337500 #constraints=39881
359.08/359.20	c nbDecision=338000 #constraints=39894
359.68/359.81	c nbDecision=338500 #constraints=39920
360.38/360.53	c nbDecision=339000 #constraints=39962
361.27/361.42	c nbDecision=339500 #constraints=40014
361.78/361.98	c nbDecision=340000 #constraints=40049
362.58/362.74	c nbDecision=340500 #constraints=40094
363.28/363.47	c nbDecision=341000 #constraints=40139
364.18/364.33	c nbDecision=341500 #constraints=40188
364.78/364.95	c nbDecision=342000 #constraints=40235
365.28/365.49	c nbDecision=342500 #constraints=40259
366.27/366.47	c nbDecision=343000 #constraints=40326
367.07/367.28	c nbDecision=343500 #constraints=40387
368.17/368.37	c nbDecision=344000 #constraints=40501
368.77/368.99	c nbDecision=344500 #constraints=40551
369.88/370.08	c nbDecision=345000 #constraints=40701
370.48/370.67	c nbDecision=345500 #constraints=40721
371.08/371.23	c nbDecision=346000 #constraints=40725
371.68/371.84	c nbDecision=346500 #constraints=40734
372.28/372.45	c nbDecision=347000 #constraints=40750
372.97/373.11	c nbDecision=347500 #constraints=40776
373.78/373.97	c nbDecision=348000 #constraints=40848
374.67/374.82	c nbDecision=348500 #constraints=40899
375.17/375.35	c nbDecision=349000 #constraints=40908
375.77/375.96	c nbDecision=349500 #constraints=40920
376.37/376.52	c nbDecision=350000 #constraints=40939
376.87/377.03	c nbDecision=350500 #constraints=40942
377.37/377.59	c nbDecision=351000 #constraints=40952
377.87/378.06	c nbDecision=351500 #constraints=40954
378.47/378.64	c nbDecision=352000 #constraints=40966
379.17/379.32	c nbDecision=352500 #constraints=40994
379.67/379.81	c nbDecision=353000 #constraints=41004
380.17/380.35	c nbDecision=353500 #constraints=41016
381.37/381.58	c nbDecision=354000 #constraints=41225
382.17/382.36	c nbDecision=354500 #constraints=41287
382.97/383.14	c nbDecision=355000 #constraints=41330
383.47/383.67	c nbDecision=355500 #constraints=41342
384.07/384.21	c nbDecision=356000 #constraints=41347
384.57/384.78	c nbDecision=356500 #constraints=41351
385.17/385.30	c nbDecision=357000 #constraints=41360
385.67/385.84	c nbDecision=357500 #constraints=41366
386.37/386.59	c nbDecision=358000 #constraints=41400
387.08/387.28	c nbDecision=358500 #constraints=41429
387.67/387.81	c nbDecision=359000 #constraints=41439
388.17/388.39	c nbDecision=359500 #constraints=41449
389.07/389.25	c nbDecision=360000 #constraints=41528
389.67/389.87	c nbDecision=360500 #constraints=41544
390.27/390.43	c nbDecision=361000 #constraints=41559
390.77/390.98	c nbDecision=361500 #constraints=41568
391.57/391.79	c nbDecision=362000 #constraints=41601
392.17/392.32	c nbDecision=362500 #constraints=41604
393.07/393.23	c nbDecision=363000 #constraints=41643
393.57/393.75	c nbDecision=363500 #constraints=41646
394.27/394.49	c nbDecision=364000 #constraints=41680
394.87/395.06	c nbDecision=364500 #constraints=41684
395.37/395.59	c nbDecision=365000 #constraints=41694
395.97/396.11	c nbDecision=365500 #constraints=41697
396.87/397.01	c nbDecision=366000 #constraints=41749
397.56/397.77	c nbDecision=366500 #constraints=41793
398.26/398.48	c nbDecision=367000 #constraints=41808
398.96/399.10	c nbDecision=367500 #constraints=41829
400.37/400.53	c nbDecision=368000 #constraints=41980
401.27/401.46	c nbDecision=368500 #constraints=42034
402.17/402.39	c nbDecision=369000 #constraints=42078
402.87/403.04	c nbDecision=369500 #constraints=42089
403.37/403.53	c nbDecision=370000 #constraints=42092
403.97/404.17	c nbDecision=370500 #constraints=42106
404.57/404.77	c nbDecision=371000 #constraints=42114
405.06/405.30	c nbDecision=371500 #constraints=42117
405.97/406.16	c nbDecision=372000 #constraints=42149
406.56/406.71	c nbDecision=372500 #constraints=42158
407.16/407.35	c nbDecision=373000 #constraints=42181
407.87/408.02	c nbDecision=373500 #constraints=42204
409.07/409.25	c nbDecision=374000 #constraints=42288
409.66/409.89	c nbDecision=374500 #constraints=42313
410.56/410.74	c nbDecision=375000 #constraints=42368
411.17/411.38	c nbDecision=375500 #constraints=42387
411.96/412.10	c nbDecision=376000 #constraints=42396
412.56/412.79	c nbDecision=376500 #constraints=42418
413.26/413.48	c nbDecision=377000 #constraints=42437
413.96/414.17	c nbDecision=377500 #constraints=42453
414.66/414.83	c nbDecision=378000 #constraints=42471
415.26/415.47	c nbDecision=378500 #constraints=42475
415.86/416.01	c nbDecision=379000 #constraints=42479
416.36/416.56	c nbDecision=379500 #constraints=42487
416.96/417.15	c nbDecision=380000 #constraints=42499
417.76/417.94	c nbDecision=380500 #constraints=42518
418.36/418.55	c nbDecision=381000 #constraints=42525
419.16/419.31	c nbDecision=381500 #constraints=42543
420.16/420.37	c nbDecision=382000 #constraints=42629
421.56/421.70	c nbDecision=382500 #constraints=42709
422.27/422.47	c nbDecision=383000 #constraints=42736
422.76/422.99	c nbDecision=383500 #constraints=42740
423.56/423.77	c nbDecision=384000 #constraints=42752
424.26/424.46	c nbDecision=384500 #constraints=42770
424.86/425.00	c nbDecision=385000 #constraints=42773
426.26/426.43	c nbDecision=385500 #constraints=42902
426.96/427.17	c nbDecision=386000 #constraints=42933
427.66/427.87	c nbDecision=386500 #constraints=42950
428.46/428.60	c nbDecision=387000 #constraints=42961
429.26/429.40	c nbDecision=387500 #constraints=42993
429.96/430.11	c nbDecision=388000 #constraints=43010
430.56/430.78	c nbDecision=388500 #constraints=43023
431.36/431.58	c nbDecision=389000 #constraints=43045
432.46/432.65	c nbDecision=389500 #constraints=43097
433.85/434.08	c nbDecision=390000 #constraints=43219
434.55/434.75	c nbDecision=390500 #constraints=43235
435.26/435.41	c nbDecision=391000 #constraints=43246
435.86/436.06	c nbDecision=391500 #constraints=43251
436.56/436.79	c nbDecision=392000 #constraints=43269
437.96/438.12	c nbDecision=392500 #constraints=43362
438.96/439.15	c nbDecision=393000 #constraints=43407
439.76/439.92	c nbDecision=393500 #constraints=43426
440.76/440.97	c nbDecision=394000 #constraints=43484
441.96/442.11	c nbDecision=394500 #constraints=43541
442.65/442.86	c nbDecision=395000 #constraints=43562
443.55/443.79	c nbDecision=395500 #constraints=43600
444.35/444.53	c nbDecision=396000 #constraints=43619
445.85/446.05	c nbDecision=396500 #constraints=43724
446.55/446.75	c nbDecision=397000 #constraints=43733
449.45/449.62	c nbDecision=397500 #constraints=43940
450.05/450.29	c nbDecision=398000 #constraints=43949
451.45/451.60	c nbDecision=398500 #constraints=44011
452.75/452.91	c nbDecision=399000 #constraints=44073
453.95/454.19	c nbDecision=399500 #constraints=44121
454.75/454.93	c nbDecision=400000 #constraints=44135
455.45/455.69	c nbDecision=400500 #constraints=44149
456.35/456.54	c nbDecision=401000 #constraints=44161
457.66/457.80	c nbDecision=401500 #constraints=44210
458.26/458.46	c nbDecision=402000 #constraints=44214
459.26/459.46	c nbDecision=402500 #constraints=44240
459.96/460.11	c nbDecision=403000 #constraints=44249
460.66/460.88	c nbDecision=403500 #constraints=44268
461.65/461.84	c nbDecision=404000 #constraints=44288
462.35/462.52	c nbDecision=404500 #constraints=44298
463.25/463.41	c nbDecision=405000 #constraints=44303
464.25/464.44	c nbDecision=405500 #constraints=44332
465.05/465.22	c nbDecision=406000 #constraints=44338
466.05/466.30	c nbDecision=406500 #constraints=44354
467.25/467.44	c nbDecision=407000 #constraints=44396
468.05/468.21	c nbDecision=407500 #constraints=44408
468.75/468.97	c nbDecision=408000 #constraints=44422
469.55/469.80	c nbDecision=408500 #constraints=44434
470.25/470.48	c nbDecision=409000 #constraints=44440
471.35/471.56	c nbDecision=409500 #constraints=44466
471.45/471.62	c restart after 409601 decisions
478.45/478.68	c nbDecision=410000 #constraints=44747
486.84/487.07	c nbDecision=410500 #constraints=45164
495.44/495.67	c nbDecision=411000 #constraints=45606
504.84/505.01	c nbDecision=411500 #constraints=46077
514.74/514.91	c nbDecision=412000 #constraints=46508
519.24/519.42	c nbDecision=412500 #constraints=46667
521.14/521.33	c nbDecision=413000 #constraints=46786
522.34/522.58	c nbDecision=413500 #constraints=46846
523.84/524.09	c nbDecision=414000 #constraints=46937
524.62/524.88	c nbDecision=414500 #constraints=46976
525.82/526.07	c nbDecision=415000 #constraints=47035
527.00/527.21	c nbDecision=415500 #constraints=47087
528.00/528.21	c nbDecision=416000 #constraints=47129
529.20/529.44	c nbDecision=416500 #constraints=47192
530.19/530.46	c nbDecision=417000 #constraints=47238
531.30/531.53	c nbDecision=417500 #constraints=47293
532.21/532.45	c nbDecision=418000 #constraints=47337
533.40/533.66	c nbDecision=418500 #constraints=47404
534.20/534.42	c nbDecision=419000 #constraints=47445
535.10/535.36	c nbDecision=419500 #constraints=47483
535.99/536.23	c nbDecision=420000 #constraints=47520
536.79/537.08	c nbDecision=420500 #constraints=47552
537.69/537.93	c nbDecision=421000 #constraints=47595
538.59/538.86	c nbDecision=421500 #constraints=47624
539.38/539.67	c nbDecision=422000 #constraints=47642
540.68/540.93	c nbDecision=422500 #constraints=47684
541.88/542.11	c nbDecision=423000 #constraints=47745
542.78/543.05	c nbDecision=423500 #constraints=47802
543.78/544.04	c nbDecision=424000 #constraints=47845
544.98/545.21	c nbDecision=424500 #constraints=47907
545.97/546.22	c nbDecision=425000 #constraints=47955
546.77/547.00	c nbDecision=425500 #constraints=47973
547.67/547.95	c nbDecision=426000 #constraints=48004
548.57/548.86	c nbDecision=426500 #constraints=48031
549.56/549.89	c nbDecision=427000 #constraints=48067
550.56/550.84	c nbDecision=427500 #constraints=48105
551.55/551.86	c nbDecision=428000 #constraints=48145
552.55/552.84	c nbDecision=428500 #constraints=48184
553.35/553.66	c nbDecision=429000 #constraints=48205
554.44/554.73	c nbDecision=429500 #constraints=48254
555.25/555.50	c nbDecision=430000 #constraints=48296
556.04/556.37	c nbDecision=430500 #constraints=48329
557.25/557.52	c nbDecision=431000 #constraints=48384
558.15/558.45	c nbDecision=431500 #constraints=48415
559.05/559.33	c nbDecision=432000 #constraints=48438
559.85/560.19	c nbDecision=432500 #constraints=48467
560.84/561.18	c nbDecision=433000 #constraints=48494
561.44/561.79	c nbDecision=433500 #constraints=48509
562.24/562.57	c nbDecision=434000 #constraints=48531
563.04/563.35	c nbDecision=434500 #constraints=48553
563.84/564.11	c nbDecision=435000 #constraints=48573
564.84/565.19	c nbDecision=435500 #constraints=48620
565.74/566.04	c nbDecision=436000 #constraints=48642
566.63/566.90	c nbDecision=436500 #constraints=48668
567.53/567.88	c nbDecision=437000 #constraints=48710
568.45/568.78	c nbDecision=437500 #constraints=48749
569.34/569.70	c nbDecision=438000 #constraints=48776
570.24/570.52	c nbDecision=438500 #constraints=48806
570.84/571.12	c nbDecision=439000 #constraints=48822
571.44/571.78	c nbDecision=439500 #constraints=48836
572.43/572.74	c nbDecision=440000 #constraints=48877
573.33/573.67	c nbDecision=440500 #constraints=48911
574.33/574.62	c nbDecision=441000 #constraints=48942
575.33/575.63	c nbDecision=441500 #constraints=48978
576.33/576.67	c nbDecision=442000 #constraints=49017
577.73/578.08	c nbDecision=442500 #constraints=49062
578.52/578.85	c nbDecision=443000 #constraints=49097
579.42/579.74	c nbDecision=443500 #constraints=49121
580.33/580.62	c nbDecision=444000 #constraints=49146
580.93/581.28	c nbDecision=444500 #constraints=49156
581.73/582.07	c nbDecision=445000 #constraints=49186
582.73/583.01	c nbDecision=445500 #constraints=49207
583.62/583.97	c nbDecision=446000 #constraints=49233
584.32/584.69	c nbDecision=446500 #constraints=49245
585.12/585.48	c nbDecision=447000 #constraints=49257
585.92/586.21	c nbDecision=447500 #constraints=49286
586.62/586.92	c nbDecision=448000 #constraints=49294
587.42/587.70	c nbDecision=448500 #constraints=49311
588.12/588.46	c nbDecision=449000 #constraints=49327
589.22/589.57	c nbDecision=449500 #constraints=49384
590.12/590.42	c nbDecision=450000 #constraints=49414
590.92/591.27	c nbDecision=450500 #constraints=49441
591.82/592.13	c nbDecision=451000 #constraints=49470
592.42/592.78	c nbDecision=451500 #constraints=49479
593.31/593.64	c nbDecision=452000 #constraints=49502
594.41/594.80	c nbDecision=452500 #constraints=49553
595.21/595.55	c nbDecision=453000 #constraints=49568
596.01/596.30	c nbDecision=453500 #constraints=49585
596.51/596.84	c nbDecision=454000 #constraints=49597
597.21/597.57	c nbDecision=454500 #constraints=49611
598.01/598.39	c nbDecision=455000 #constraints=49634
599.02/599.31	c nbDecision=455500 #constraints=49663
599.92/600.29	c nbDecision=456000 #constraints=49694
600.71/601.08	c nbDecision=456500 #constraints=49716
601.42/601.79	c nbDecision=457000 #constraints=49733
602.31/602.65	c nbDecision=457500 #constraints=49763
603.41/603.75	c nbDecision=458000 #constraints=49809
604.31/604.60	c nbDecision=458500 #constraints=49834
605.01/605.31	c nbDecision=459000 #constraints=49856
605.71/606.03	c nbDecision=459500 #constraints=49864
606.61/606.93	c nbDecision=460000 #constraints=49897
607.41/607.73	c nbDecision=460500 #constraints=49914
608.31/608.68	c nbDecision=461000 #constraints=49934
609.11/609.43	c nbDecision=461500 #constraints=49946
609.91/610.23	c nbDecision=462000 #constraints=49961
610.91/611.22	c nbDecision=462500 #constraints=49988
611.71/612.02	c nbDecision=463000 #constraints=50003
612.61/612.94	c nbDecision=463500 #constraints=50032
613.21/613.59	c nbDecision=464000 #constraints=50055
614.21/614.51	c nbDecision=464500 #constraints=50082
614.91/615.26	c nbDecision=465000 #constraints=50095
615.72/616.09	c nbDecision=465500 #constraints=50119
616.81/617.15	c nbDecision=466000 #constraints=50154
617.61/617.96	c nbDecision=466500 #constraints=50172
618.41/618.78	c nbDecision=467000 #constraints=50185
619.11/619.42	c nbDecision=467500 #constraints=50191
619.91/620.29	c nbDecision=468000 #constraints=50220
620.31/620.69	c nbDecision=468500 #constraints=50221
621.21/621.52	c nbDecision=469000 #constraints=50253
622.21/622.52	c nbDecision=469500 #constraints=50295
623.11/623.43	c nbDecision=470000 #constraints=50316
623.91/624.25	c nbDecision=470500 #constraints=50341
624.71/625.01	c nbDecision=471000 #constraints=50351
625.51/625.89	c nbDecision=471500 #constraints=50375
626.50/626.90	c nbDecision=472000 #constraints=50405
627.50/627.81	c nbDecision=472500 #constraints=50437
628.30/628.66	c nbDecision=473000 #constraints=50460
629.10/629.42	c nbDecision=473500 #constraints=50474
629.90/630.24	c nbDecision=474000 #constraints=50497
630.60/630.94	c nbDecision=474500 #constraints=50508
631.40/631.72	c nbDecision=475000 #constraints=50527
632.20/632.58	c nbDecision=475500 #constraints=50550
633.10/633.42	c nbDecision=476000 #constraints=50572
633.90/634.26	c nbDecision=476500 #constraints=50592
634.79/635.15	c nbDecision=477000 #constraints=50618
635.59/635.92	c nbDecision=477500 #constraints=50633
636.51/636.86	c nbDecision=478000 #constraints=50659
637.40/637.75	c nbDecision=478500 #constraints=50682
638.30/638.66	c nbDecision=479000 #constraints=50709
639.10/639.45	c nbDecision=479500 #constraints=50728
639.90/640.27	c nbDecision=480000 #constraints=50748
640.80/641.18	c nbDecision=480500 #constraints=50780
641.60/641.93	c nbDecision=481000 #constraints=50795
642.40/642.72	c nbDecision=481500 #constraints=50814
643.10/643.48	c nbDecision=482000 #constraints=50825
643.80/644.11	c nbDecision=482500 #constraints=50847
644.59/644.91	c nbDecision=483000 #constraints=50868
645.59/646.00	c nbDecision=483500 #constraints=50897
646.09/646.47	c nbDecision=484000 #constraints=50901
647.19/647.57	c nbDecision=484500 #constraints=50945
647.99/648.37	c nbDecision=485000 #constraints=50969
648.89/649.23	c nbDecision=485500 #constraints=50999
649.69/650.02	c nbDecision=486000 #constraints=51016
650.69/651.04	c nbDecision=486500 #constraints=51053
651.29/651.69	c nbDecision=487000 #constraints=51062
652.19/652.58	c nbDecision=487500 #constraints=51083
652.99/653.39	c nbDecision=488000 #constraints=51102
654.00/654.39	c nbDecision=488500 #constraints=51130
654.90/655.24	c nbDecision=489000 #constraints=51150
655.70/656.02	c nbDecision=489500 #constraints=51160
656.40/656.79	c nbDecision=490000 #constraints=51173
657.30/657.65	c nbDecision=490500 #constraints=51201
658.20/658.53	c nbDecision=491000 #constraints=51225
658.99/659.35	c nbDecision=491500 #constraints=51242
659.89/660.24	c nbDecision=492000 #constraints=51267
660.70/661.05	c nbDecision=492500 #constraints=51288
661.39/661.76	c nbDecision=493000 #constraints=51299
662.09/662.48	c nbDecision=493500 #constraints=51311
663.00/663.35	c nbDecision=494000 #constraints=51330
663.79/664.11	c nbDecision=494500 #constraints=51338
664.59/664.96	c nbDecision=495000 #constraints=51370
665.59/665.97	c nbDecision=495500 #constraints=51401
666.49/666.87	c nbDecision=496000 #constraints=51419
667.29/667.62	c nbDecision=496500 #constraints=51435
667.89/668.21	c nbDecision=497000 #constraints=51448
668.49/668.81	c nbDecision=497500 #constraints=51453
669.29/669.64	c nbDecision=498000 #constraints=51460
669.99/670.30	c nbDecision=498500 #constraints=51480
670.89/671.26	c nbDecision=499000 #constraints=51508
671.79/672.13	c nbDecision=499500 #constraints=51527
672.49/672.86	c nbDecision=500000 #constraints=51543
672.89/673.29	c nbDecision=500500 #constraints=51545
673.69/674.03	c nbDecision=501000 #constraints=51558
674.38/674.77	c nbDecision=501500 #constraints=51573
675.18/675.55	c nbDecision=502000 #constraints=51591
675.88/676.27	c nbDecision=502500 #constraints=51605
676.88/677.24	c nbDecision=503000 #constraints=51646
677.68/678.03	c nbDecision=503500 #constraints=51667
678.28/678.68	c nbDecision=504000 #constraints=51671
678.78/679.11	c nbDecision=504500 #constraints=51673
679.48/679.85	c nbDecision=505000 #constraints=51689
680.18/680.56	c nbDecision=505500 #constraints=51695
680.98/681.33	c nbDecision=506000 #constraints=51714
681.78/682.14	c nbDecision=506500 #constraints=51733
682.38/682.80	c nbDecision=507000 #constraints=51741
683.38/683.77	c nbDecision=507500 #constraints=51766
684.49/684.81	c nbDecision=508000 #constraints=51789
685.19/685.55	c nbDecision=508500 #constraints=51799
685.89/686.20	c nbDecision=509000 #constraints=51803
686.49/686.89	c nbDecision=509500 #constraints=51809
687.39/687.70	c nbDecision=510000 #constraints=51825
688.19/688.53	c nbDecision=510500 #constraints=51847
689.29/689.70	c nbDecision=511000 #constraints=51878
690.18/690.55	c nbDecision=511500 #constraints=51890
691.08/691.42	c nbDecision=512000 #constraints=51904
691.98/692.39	c nbDecision=512500 #constraints=51924
692.98/693.33	c nbDecision=513000 #constraints=51950
693.98/694.38	c nbDecision=513500 #constraints=51989
694.89/695.27	c nbDecision=514000 #constraints=52017
695.68/696.07	c nbDecision=514500 #constraints=52032
696.58/696.93	c nbDecision=515000 #constraints=52055
697.38/697.79	c nbDecision=515500 #constraints=52062
698.18/698.58	c nbDecision=516000 #constraints=52078
698.88/699.29	c nbDecision=516500 #constraints=52087
699.78/700.10	c nbDecision=517000 #constraints=52100
700.58/700.93	c nbDecision=517500 #constraints=52135
701.48/701.87	c nbDecision=518000 #constraints=52153
702.67/703.08	c nbDecision=518500 #constraints=52179
703.68/704.04	c nbDecision=519000 #constraints=52224
704.27/704.69	c nbDecision=519500 #constraints=52228
705.17/705.56	c nbDecision=520000 #constraints=52249
706.27/706.63	c nbDecision=520500 #constraints=52286
707.07/707.47	c nbDecision=521000 #constraints=52302
708.08/708.41	c nbDecision=521500 #constraints=52327
708.77/709.14	c nbDecision=522000 #constraints=52338
709.57/709.92	c nbDecision=522500 #constraints=52352
710.37/710.74	c nbDecision=523000 #constraints=52369
711.47/711.82	c nbDecision=523500 #constraints=52405
712.27/712.61	c nbDecision=524000 #constraints=52414
713.07/713.46	c nbDecision=524500 #constraints=52428
713.97/714.31	c nbDecision=525000 #constraints=52445
714.67/715.07	c nbDecision=525500 #constraints=52463
715.47/715.81	c nbDecision=526000 #constraints=52472
716.17/716.58	c nbDecision=526500 #constraints=52484
716.97/717.35	c nbDecision=527000 #constraints=52499
717.57/717.98	c nbDecision=527500 #constraints=52503
718.37/718.70	c nbDecision=528000 #constraints=52510
718.87/719.28	c nbDecision=528500 #constraints=52524
719.67/720.05	c nbDecision=529000 #constraints=52536
720.57/720.91	c nbDecision=529500 #constraints=52552
721.37/721.75	c nbDecision=530000 #constraints=52569
722.07/722.41	c nbDecision=530500 #constraints=52573
722.77/723.20	c nbDecision=531000 #constraints=52587
723.57/723.98	c nbDecision=531500 #constraints=52602
724.47/724.83	c nbDecision=532000 #constraints=52636
725.16/725.59	c nbDecision=532500 #constraints=52650
725.86/726.25	c nbDecision=533000 #constraints=52654
726.86/727.23	c nbDecision=533500 #constraints=52681
727.96/728.36	c nbDecision=534000 #constraints=52714
728.76/729.20	c nbDecision=534500 #constraints=52729
729.66/730.09	c nbDecision=535000 #constraints=52743
730.36/730.75	c nbDecision=535500 #constraints=52748
731.47/731.86	c nbDecision=536000 #constraints=52784
732.37/732.78	c nbDecision=536500 #constraints=52804
733.27/733.70	c nbDecision=537000 #constraints=52829
734.17/734.56	c nbDecision=537500 #constraints=52849
734.97/735.36	c nbDecision=538000 #constraints=52868
735.87/736.29	c nbDecision=538500 #constraints=52885
736.77/737.19	c nbDecision=539000 #constraints=52905
737.57/737.92	c nbDecision=539500 #constraints=52916
738.37/738.73	c nbDecision=540000 #constraints=52935
738.87/739.22	c nbDecision=540500 #constraints=52939
739.47/739.85	c nbDecision=541000 #constraints=52945
740.26/740.67	c nbDecision=541500 #constraints=52954
740.97/741.33	c nbDecision=542000 #constraints=52958
741.76/742.16	c nbDecision=542500 #constraints=52975
742.56/742.90	c nbDecision=543000 #constraints=52984
743.17/743.56	c nbDecision=543500 #constraints=52988
744.06/744.49	c nbDecision=544000 #constraints=53015
744.86/745.27	c nbDecision=544500 #constraints=53027
745.47/745.85	c nbDecision=545000 #constraints=53037
746.16/746.52	c nbDecision=545500 #constraints=53041
746.86/747.29	c nbDecision=546000 #constraints=53049
747.46/747.90	c nbDecision=546500 #constraints=53053
748.16/748.58	c nbDecision=547000 #constraints=53057
748.86/749.29	c nbDecision=547500 #constraints=53065
749.66/750.01	c nbDecision=548000 #constraints=53077
750.36/750.71	c nbDecision=548500 #constraints=53086
750.96/751.39	c nbDecision=549000 #constraints=53093
751.96/752.31	c nbDecision=549500 #constraints=53109
753.16/753.59	c nbDecision=550000 #constraints=53140
753.96/754.38	c nbDecision=550500 #constraints=53154
754.76/755.12	c nbDecision=551000 #constraints=53171
755.56/755.95	c nbDecision=551500 #constraints=53187
756.76/757.13	c nbDecision=552000 #constraints=53212
757.75/758.14	c nbDecision=552500 #constraints=53242
758.45/758.86	c nbDecision=553000 #constraints=53254
759.25/759.67	c nbDecision=553500 #constraints=53268
760.05/760.49	c nbDecision=554000 #constraints=53278
760.95/761.36	c nbDecision=554500 #constraints=53297
761.75/762.17	c nbDecision=555000 #constraints=53313
762.55/762.92	c nbDecision=555500 #constraints=53319
763.35/763.73	c nbDecision=556000 #constraints=53332
764.25/764.61	c nbDecision=556500 #constraints=53354
765.05/765.44	c nbDecision=557000 #constraints=53375
765.85/766.22	c nbDecision=557500 #constraints=53384
766.75/767.10	c nbDecision=558000 #constraints=53405
767.55/767.93	c nbDecision=558500 #constraints=53417
768.55/768.94	c nbDecision=559000 #constraints=53452
769.75/770.11	c nbDecision=559500 #constraints=53472
770.25/770.63	c nbDecision=560000 #constraints=53482
771.15/771.57	c nbDecision=560500 #constraints=53507
772.05/772.48	c nbDecision=561000 #constraints=53534
772.85/773.21	c nbDecision=561500 #constraints=53541
773.55/773.95	c nbDecision=562000 #constraints=53555
774.35/774.73	c nbDecision=562500 #constraints=53574
775.06/775.48	c nbDecision=563000 #constraints=53582
775.86/776.25	c nbDecision=563500 #constraints=53590
776.56/776.96	c nbDecision=564000 #constraints=53595
777.36/777.77	c nbDecision=564500 #constraints=53609
778.15/778.50	c nbDecision=565000 #constraints=53615
778.85/779.23	c nbDecision=565500 #constraints=53625
779.65/780.08	c nbDecision=566000 #constraints=53643
780.35/780.79	c nbDecision=566500 #constraints=53648
781.35/781.78	c nbDecision=567000 #constraints=53671
782.25/782.63	c nbDecision=567500 #constraints=53686
783.35/783.72	c nbDecision=568000 #constraints=53711
784.15/784.51	c nbDecision=568500 #constraints=53723
784.85/785.25	c nbDecision=569000 #constraints=53729
785.75/786.12	c nbDecision=569500 #constraints=53748
786.45/786.86	c nbDecision=570000 #constraints=53759
787.35/787.70	c nbDecision=570500 #constraints=53776
788.05/788.47	c nbDecision=571000 #constraints=53791
789.05/789.43	c nbDecision=571500 #constraints=53820
789.85/790.24	c nbDecision=572000 #constraints=53837
790.55/790.97	c nbDecision=572500 #constraints=53843
791.05/791.49	c nbDecision=573000 #constraints=53847
791.75/792.19	c nbDecision=573500 #constraints=53854
792.55/792.90	c nbDecision=574000 #constraints=53859
793.45/793.80	c nbDecision=574500 #constraints=53879
794.25/794.62	c nbDecision=575000 #constraints=53894
795.05/795.49	c nbDecision=575500 #constraints=53917
796.05/796.43	c nbDecision=576000 #constraints=53935
796.75/797.14	c nbDecision=576500 #constraints=53939
797.65/798.08	c nbDecision=577000 #constraints=53952
798.35/798.78	c nbDecision=577500 #constraints=53957
799.05/799.46	c nbDecision=578000 #constraints=53973
800.05/800.45	c nbDecision=578500 #constraints=53996
800.55/801.00	c nbDecision=579000 #constraints=54000
801.65/802.04	c nbDecision=579500 #constraints=54021
802.45/802.90	c nbDecision=580000 #constraints=54038
803.15/803.59	c nbDecision=580500 #constraints=54042
803.84/804.22	c nbDecision=581000 #constraints=54053
804.64/805.02	c nbDecision=581500 #constraints=54058
805.44/805.86	c nbDecision=582000 #constraints=54080
806.54/806.92	c nbDecision=582500 #constraints=54093
807.34/807.70	c nbDecision=583000 #constraints=54101
808.24/808.65	c nbDecision=583500 #constraints=54116
809.15/809.58	c nbDecision=584000 #constraints=54132
809.84/810.24	c nbDecision=584500 #constraints=54151
810.64/811.02	c nbDecision=585000 #constraints=54167
811.54/811.93	c nbDecision=585500 #constraints=54184
812.45/812.80	c nbDecision=586000 #constraints=54202
813.14/813.51	c nbDecision=586500 #constraints=54224
813.94/814.34	c nbDecision=587000 #constraints=54239
814.84/815.25	c nbDecision=587500 #constraints=54257
815.54/815.97	c nbDecision=588000 #constraints=54267
816.34/816.74	c nbDecision=588500 #constraints=54281
816.94/817.40	c nbDecision=589000 #constraints=54286
817.94/818.36	c nbDecision=589500 #constraints=54300
818.74/819.20	c nbDecision=590000 #constraints=54312
819.54/819.97	c nbDecision=590500 #constraints=54322
820.54/820.90	c nbDecision=591000 #constraints=54343
821.34/821.76	c nbDecision=591500 #constraints=54356
822.14/822.51	c nbDecision=592000 #constraints=54367
822.84/823.22	c nbDecision=592500 #constraints=54375
823.34/823.78	c nbDecision=593000 #constraints=54384
824.24/824.63	c nbDecision=593500 #constraints=54400
825.04/825.44	c nbDecision=594000 #constraints=54411
825.84/826.24	c nbDecision=594500 #constraints=54423
826.64/827.10	c nbDecision=595000 #constraints=54436
827.44/827.87	c nbDecision=595500 #constraints=54445
828.44/828.80	c nbDecision=596000 #constraints=54451
829.24/829.62	c nbDecision=596500 #constraints=54471
830.14/830.51	c nbDecision=597000 #constraints=54498
831.14/831.54	c nbDecision=597500 #constraints=54525
831.94/832.34	c nbDecision=598000 #constraints=54545
832.94/833.32	c nbDecision=598500 #constraints=54570
833.44/833.81	c nbDecision=599000 #constraints=54573
834.54/834.91	c nbDecision=599500 #constraints=54594
835.23/835.67	c nbDecision=600000 #constraints=54606
836.43/836.81	c nbDecision=600500 #constraints=54649
837.43/837.84	c nbDecision=601000 #constraints=54679
838.23/838.60	c nbDecision=601500 #constraints=54686
839.03/839.42	c nbDecision=602000 #constraints=54695
839.63/840.09	c nbDecision=602500 #constraints=54699
840.73/841.12	c nbDecision=603000 #constraints=54729
841.43/841.85	c nbDecision=603500 #constraints=54737
842.23/842.62	c nbDecision=604000 #constraints=54749
842.83/843.27	c nbDecision=604500 #constraints=54760
843.53/843.97	c nbDecision=605000 #constraints=54771
844.62/845.04	c nbDecision=605500 #constraints=54801
845.43/845.86	c nbDecision=606000 #constraints=54814
846.32/846.76	c nbDecision=606500 #constraints=54826
847.22/847.66	c nbDecision=607000 #constraints=54844
848.12/848.50	c nbDecision=607500 #constraints=54856
848.83/849.29	c nbDecision=608000 #constraints=54872
849.93/850.32	c nbDecision=608500 #constraints=54895
850.52/850.99	c nbDecision=609000 #constraints=54898
851.42/851.82	c nbDecision=609500 #constraints=54909
852.32/852.72	c nbDecision=610000 #constraints=54927
853.02/853.44	c nbDecision=610500 #constraints=54931
853.73/854.13	c nbDecision=611000 #constraints=54937
854.53/854.93	c nbDecision=611500 #constraints=54949
855.23/855.62	c nbDecision=612000 #constraints=54954
855.83/856.29	c nbDecision=612500 #constraints=54959
856.93/857.32	c nbDecision=613000 #constraints=54968
857.73/858.18	c nbDecision=613500 #constraints=54990
858.73/859.20	c nbDecision=614000 #constraints=55017
859.63/860.08	c nbDecision=614500 #constraints=55027
860.53/860.99	c nbDecision=615000 #constraints=55044
861.12/861.58	c nbDecision=615500 #constraints=55056
862.03/862.45	c nbDecision=616000 #constraints=55071
862.72/863.11	c nbDecision=616500 #constraints=55075
863.42/863.80	c nbDecision=617000 #constraints=55078
864.42/864.80	c nbDecision=617500 #constraints=55107
865.12/865.55	c nbDecision=618000 #constraints=55121
865.92/866.37	c nbDecision=618500 #constraints=55128
866.92/867.34	c nbDecision=619000 #constraints=55136
867.82/868.26	c nbDecision=619500 #constraints=55156
868.63/869.06	c nbDecision=620000 #constraints=55162
869.42/869.85	c nbDecision=620500 #constraints=55173
870.32/870.73	c nbDecision=621000 #constraints=55193
871.12/871.59	c nbDecision=621500 #constraints=55210
872.02/872.45	c nbDecision=622000 #constraints=55228
872.82/873.23	c nbDecision=622500 #constraints=55237
873.52/874.00	c nbDecision=623000 #constraints=55250
874.52/874.91	c nbDecision=623500 #constraints=55275
875.32/875.78	c nbDecision=624000 #constraints=55287
876.02/876.40	c nbDecision=624500 #constraints=55290
877.01/877.44	c nbDecision=625000 #constraints=55305
877.71/878.16	c nbDecision=625500 #constraints=55312
878.52/878.93	c nbDecision=626000 #constraints=55323
879.01/879.49	c nbDecision=626500 #constraints=55332
880.01/880.40	c nbDecision=627000 #constraints=55338
880.51/880.98	c nbDecision=627500 #constraints=55347
881.41/881.81	c nbDecision=628000 #constraints=55358
882.31/882.80	c nbDecision=628500 #constraints=55376
883.31/883.77	c nbDecision=629000 #constraints=55396
884.31/884.72	c nbDecision=629500 #constraints=55412
885.12/885.56	c nbDecision=630000 #constraints=55427
885.91/886.36	c nbDecision=630500 #constraints=55439
886.91/887.34	c nbDecision=631000 #constraints=55455
887.81/888.21	c nbDecision=631500 #constraints=55475
888.62/889.01	c nbDecision=632000 #constraints=55483
889.42/889.87	c nbDecision=632500 #constraints=55496
890.42/890.81	c nbDecision=633000 #constraints=55516
891.42/891.83	c nbDecision=633500 #constraints=55542
892.22/892.62	c nbDecision=634000 #constraints=55553
893.02/893.44	c nbDecision=634500 #constraints=55563
893.92/894.34	c nbDecision=635000 #constraints=55582
894.61/895.06	c nbDecision=635500 #constraints=55591
895.41/895.89	c nbDecision=636000 #constraints=55605
896.12/896.56	c nbDecision=636500 #constraints=55608
897.01/897.45	c nbDecision=637000 #constraints=55620
897.91/898.37	c nbDecision=637500 #constraints=55639
898.71/899.15	c nbDecision=638000 #constraints=55646
899.61/900.07	c nbDecision=638500 #constraints=55663
900.32/900.79	c nbDecision=639000 #constraints=55668
901.22/901.61	c nbDecision=639500 #constraints=55680
902.02/902.40	c nbDecision=640000 #constraints=55692
902.91/903.33	c nbDecision=640500 #constraints=55710
903.41/903.89	c nbDecision=641000 #constraints=55715
904.21/904.66	c nbDecision=641500 #constraints=55725
905.41/905.86	c nbDecision=642000 #constraints=55748
906.31/906.70	c nbDecision=642500 #constraints=55757
907.21/907.62	c nbDecision=643000 #constraints=55773
908.22/908.62	c nbDecision=643500 #constraints=55798
909.01/909.42	c nbDecision=644000 #constraints=55808
910.11/910.54	c nbDecision=644500 #constraints=55832
910.91/911.34	c nbDecision=645000 #constraints=55846
911.91/912.33	c nbDecision=645500 #constraints=55868
912.52/912.99	c nbDecision=646000 #constraints=55881
913.62/914.06	c nbDecision=646500 #constraints=55894
914.11/914.54	c nbDecision=647000 #constraints=55896
915.11/915.50	c nbDecision=647500 #constraints=55920
915.91/916.32	c nbDecision=648000 #constraints=55935
916.91/917.30	c nbDecision=648500 #constraints=55966
917.71/918.11	c nbDecision=649000 #constraints=55979
918.41/918.88	c nbDecision=649500 #constraints=55985
919.12/919.57	c nbDecision=650000 #constraints=56001
919.91/920.33	c nbDecision=650500 #constraints=56008
920.71/921.20	c nbDecision=651000 #constraints=56027
921.61/922.09	c nbDecision=651500 #constraints=56047
922.41/922.83	c nbDecision=652000 #constraints=56052
923.01/923.49	c nbDecision=652500 #constraints=56055
923.81/924.23	c nbDecision=653000 #constraints=56058
924.81/925.20	c nbDecision=653500 #constraints=56078
925.81/926.29	c nbDecision=654000 #constraints=56095
926.71/927.14	c nbDecision=654500 #constraints=56101
927.41/927.81	c nbDecision=655000 #constraints=56104
928.11/928.52	c nbDecision=655500 #constraints=56111
929.01/929.47	c nbDecision=656000 #constraints=56138
929.71/930.18	c nbDecision=656500 #constraints=56142
930.51/930.98	c nbDecision=657000 #constraints=56155
931.31/931.71	c nbDecision=657500 #constraints=56159
932.00/932.45	c nbDecision=658000 #constraints=56164
932.70/933.18	c nbDecision=658500 #constraints=56168
933.41/933.87	c nbDecision=659000 #constraints=56171
934.20/934.60	c nbDecision=659500 #constraints=56175
935.30/935.70	c nbDecision=660000 #constraints=56208
935.80/936.27	c nbDecision=660500 #constraints=56213
936.60/937.10	c nbDecision=661000 #constraints=56225
937.50/937.95	c nbDecision=661500 #constraints=56234
938.20/938.67	c nbDecision=662000 #constraints=56241
939.30/939.80	c nbDecision=662500 #constraints=56265
940.50/940.96	c nbDecision=663000 #constraints=56304
941.30/941.77	c nbDecision=663500 #constraints=56320
942.20/942.64	c nbDecision=664000 #constraints=56337
943.10/943.53	c nbDecision=664500 #constraints=56356
943.80/944.25	c nbDecision=665000 #constraints=56361
944.60/945.01	c nbDecision=665500 #constraints=56367
945.30/945.73	c nbDecision=666000 #constraints=56371
946.00/946.44	c nbDecision=666500 #constraints=56375
946.80/947.22	c nbDecision=667000 #constraints=56386
947.50/947.94	c nbDecision=667500 #constraints=56390
948.40/948.88	c nbDecision=668000 #constraints=56416
949.10/949.57	c nbDecision=668500 #constraints=56419
950.10/950.50	c nbDecision=669000 #constraints=56428
950.90/951.38	c nbDecision=669500 #constraints=56446
951.80/952.25	c nbDecision=670000 #constraints=56454
952.50/952.96	c nbDecision=670500 #constraints=56458
953.40/953.86	c nbDecision=671000 #constraints=56472
954.20/954.64	c nbDecision=671500 #constraints=56481
954.90/955.39	c nbDecision=672000 #constraints=56490
955.80/956.28	c nbDecision=672500 #constraints=56508
956.79/957.24	c nbDecision=673000 #constraints=56525
957.29/957.70	c nbDecision=673500 #constraints=56526
958.09/958.53	c nbDecision=674000 #constraints=56534
958.80/959.26	c nbDecision=674500 #constraints=56541
959.59/960.02	c nbDecision=675000 #constraints=56547
960.39/960.89	c nbDecision=675500 #constraints=56569
961.19/961.69	c nbDecision=676000 #constraints=56575
962.09/962.56	c nbDecision=676500 #constraints=56589
962.69/963.19	c nbDecision=677000 #constraints=56603
963.49/963.95	c nbDecision=677500 #constraints=56614
964.90/965.30	c nbDecision=678000 #constraints=56660
965.80/966.26	c nbDecision=678500 #constraints=56681
966.60/967.03	c nbDecision=679000 #constraints=56691
967.30/967.75	c nbDecision=679500 #constraints=56701
968.09/968.59	c nbDecision=680000 #constraints=56714
968.79/969.28	c nbDecision=680500 #constraints=56717
969.59/970.05	c nbDecision=681000 #constraints=56720
970.49/970.95	c nbDecision=681500 #constraints=56740
971.39/971.87	c nbDecision=682000 #constraints=56759
972.09/972.58	c nbDecision=682500 #constraints=56763
972.79/973.26	c nbDecision=683000 #constraints=56766
973.99/974.40	c nbDecision=683500 #constraints=56780
974.79/975.26	c nbDecision=684000 #constraints=56806
975.69/976.15	c nbDecision=684500 #constraints=56823
976.49/976.90	c nbDecision=685000 #constraints=56828
977.19/977.63	c nbDecision=685500 #constraints=56833
977.99/978.46	c nbDecision=686000 #constraints=56853
978.79/979.24	c nbDecision=686500 #constraints=56860
979.59/980.05	c nbDecision=687000 #constraints=56870
980.39/980.85	c nbDecision=687500 #constraints=56879
981.09/981.59	c nbDecision=688000 #constraints=56883
981.79/982.30	c nbDecision=688500 #constraints=56888
982.69/983.14	c nbDecision=689000 #constraints=56899
983.59/984.06	c nbDecision=689500 #constraints=56922
984.69/985.19	c nbDecision=690000 #constraints=56960
985.49/985.94	c nbDecision=690500 #constraints=56965
986.68/987.18	c nbDecision=691000 #constraints=56989
987.29/987.77	c nbDecision=691500 #constraints=57003
988.18/988.61	c nbDecision=692000 #constraints=57013
988.98/989.42	c nbDecision=692500 #constraints=57022
989.78/990.29	c nbDecision=693000 #constraints=57038
990.48/990.97	c nbDecision=693500 #constraints=57041
991.28/991.71	c nbDecision=694000 #constraints=57045
992.08/992.51	c nbDecision=694500 #constraints=57057
992.78/993.24	c nbDecision=695000 #constraints=57061
993.78/994.23	c nbDecision=695500 #constraints=57090
994.68/995.15	c nbDecision=696000 #constraints=57109
995.38/995.85	c nbDecision=696500 #constraints=57112
996.08/996.57	c nbDecision=697000 #constraints=57115
996.89/997.33	c nbDecision=697500 #constraints=57125
997.59/998.08	c nbDecision=698000 #constraints=57129
998.49/998.96	c nbDecision=698500 #constraints=57142
999.29/999.72	c nbDecision=699000 #constraints=57153
1000.09/1000.58	c nbDecision=699500 #constraints=57168
1000.88/1001.30	c nbDecision=700000 #constraints=57171
1001.69/1002.16	c nbDecision=700500 #constraints=57182
1003.08/1003.52	c nbDecision=701000 #constraints=57222
1003.89/1004.32	c nbDecision=701500 #constraints=57231
1004.78/1005.25	c nbDecision=702000 #constraints=57240
1005.78/1006.26	c nbDecision=702500 #constraints=57265
1006.48/1006.99	c nbDecision=703000 #constraints=57268
1007.19/1007.69	c nbDecision=703500 #constraints=57271
1008.08/1008.51	c nbDecision=704000 #constraints=57284
1009.29/1009.70	c nbDecision=704500 #constraints=57300
1010.18/1010.62	c nbDecision=705000 #constraints=57316
1010.68/1011.14	c nbDecision=705500 #constraints=57318
1011.48/1011.91	c nbDecision=706000 #constraints=57323
1012.48/1012.98	c nbDecision=706500 #constraints=57334
1013.28/1013.74	c nbDecision=707000 #constraints=57344
1013.78/1014.25	c nbDecision=707500 #constraints=57346
1014.88/1015.31	c nbDecision=708000 #constraints=57363
1015.38/1015.89	c nbDecision=708500 #constraints=57371
1016.68/1017.13	c nbDecision=709000 #constraints=57398
1017.58/1018.00	c nbDecision=709500 #constraints=57414
1018.28/1018.76	c nbDecision=710000 #constraints=57418
1019.08/1019.60	c nbDecision=710500 #constraints=57430
1019.68/1020.15	c nbDecision=711000 #constraints=57436
1020.47/1020.99	c nbDecision=711500 #constraints=57444
1021.38/1021.83	c nbDecision=712000 #constraints=57463
1022.07/1022.58	c nbDecision=712500 #constraints=57467
1023.07/1023.54	c nbDecision=713000 #constraints=57472
1023.97/1024.40	c nbDecision=713500 #constraints=57488
1024.78/1025.22	c nbDecision=714000 #constraints=57500
1025.67/1026.12	c nbDecision=714500 #constraints=57511
1026.57/1027.00	c nbDecision=715000 #constraints=57523
1027.37/1027.83	c nbDecision=715500 #constraints=57536
1028.07/1028.59	c nbDecision=716000 #constraints=57541
1028.97/1029.44	c nbDecision=716500 #constraints=57554
1029.67/1030.12	c nbDecision=717000 #constraints=57557
1030.67/1031.11	c nbDecision=717500 #constraints=57583
1031.07/1031.58	c nbDecision=718000 #constraints=57584
1031.87/1032.36	c nbDecision=718500 #constraints=57595
1032.77/1033.20	c nbDecision=719000 #constraints=57606
1033.57/1034.02	c nbDecision=719500 #constraints=57618
1034.37/1034.84	c nbDecision=720000 #constraints=57629
1035.37/1035.83	c nbDecision=720500 #constraints=57653
1036.47/1036.90	c nbDecision=721000 #constraints=57667
1037.37/1037.83	c nbDecision=721500 #constraints=57681
1038.07/1038.58	c nbDecision=722000 #constraints=57687
1038.98/1039.49	c nbDecision=722500 #constraints=57701
1039.77/1040.28	c nbDecision=723000 #constraints=57711
1040.47/1040.97	c nbDecision=723500 #constraints=57715
1041.47/1041.92	c nbDecision=724000 #constraints=57734
1042.47/1042.91	c nbDecision=724500 #constraints=57755
1043.87/1044.32	c nbDecision=725000 #constraints=57802
1044.97/1045.46	c nbDecision=725500 #constraints=57827
1045.87/1046.36	c nbDecision=726000 #constraints=57839
1047.07/1047.54	c nbDecision=726500 #constraints=57866
1047.97/1048.43	c nbDecision=727000 #constraints=57877
1048.87/1049.32	c nbDecision=727500 #constraints=57887
1049.77/1050.23	c nbDecision=728000 #constraints=57901
1050.67/1051.18	c nbDecision=728500 #constraints=57922
1051.67/1052.16	c nbDecision=729000 #constraints=57937
1052.57/1053.07	c nbDecision=729500 #constraints=57943
1053.37/1053.86	c nbDecision=730000 #constraints=57949
1054.47/1054.96	c nbDecision=730500 #constraints=57966
1055.57/1056.09	c nbDecision=731000 #constraints=57990
1056.36/1056.84	c nbDecision=731500 #constraints=57996
1057.26/1057.74	c nbDecision=732000 #constraints=58005
1058.06/1058.56	c nbDecision=732500 #constraints=58011
1058.96/1059.45	c nbDecision=733000 #constraints=58024
1059.97/1060.43	c nbDecision=733500 #constraints=58054
1060.76/1061.24	c nbDecision=734000 #constraints=58066
1061.86/1062.31	c nbDecision=734500 #constraints=58095
1062.76/1063.22	c nbDecision=735000 #constraints=58112
1063.56/1064.04	c nbDecision=735500 #constraints=58123
1064.46/1064.98	c nbDecision=736000 #constraints=58144
1065.26/1065.77	c nbDecision=736500 #constraints=58150
1066.16/1066.65	c nbDecision=737000 #constraints=58160
1066.96/1067.44	c nbDecision=737500 #constraints=58165
1067.76/1068.27	c nbDecision=738000 #constraints=58175
1068.67/1069.15	c nbDecision=738500 #constraints=58187
1069.56/1070.03	c nbDecision=739000 #constraints=58195
1070.36/1070.88	c nbDecision=739500 #constraints=58209
1071.16/1071.67	c nbDecision=740000 #constraints=58219
1072.06/1072.54	c nbDecision=740500 #constraints=58236
1072.96/1073.45	c nbDecision=741000 #constraints=58250
1073.86/1074.38	c nbDecision=741500 #constraints=58265
1074.76/1075.21	c nbDecision=742000 #constraints=58272
1075.56/1076.08	c nbDecision=742500 #constraints=58287
1076.46/1076.99	c nbDecision=743000 #constraints=58304
1077.26/1077.78	c nbDecision=743500 #constraints=58314
1078.06/1078.58	c nbDecision=744000 #constraints=58325
1079.36/1079.84	c nbDecision=744500 #constraints=58360
1080.15/1080.68	c nbDecision=745000 #constraints=58367
1081.05/1081.51	c nbDecision=745500 #constraints=58374
1081.75/1082.30	c nbDecision=746000 #constraints=58379
1082.96/1083.42	c nbDecision=746500 #constraints=58394
1084.06/1084.50	c nbDecision=747000 #constraints=58415
1084.95/1085.44	c nbDecision=747500 #constraints=58426
1085.85/1086.36	c nbDecision=748000 #constraints=58435
1086.45/1086.90	c nbDecision=748500 #constraints=58438
1087.66/1088.18	c nbDecision=749000 #constraints=58454
1088.46/1088.90	c nbDecision=749500 #constraints=58473
1089.36/1089.83	c nbDecision=750000 #constraints=58488
1090.46/1090.92	c nbDecision=750500 #constraints=58501
1091.26/1091.76	c nbDecision=751000 #constraints=58514
1092.16/1092.62	c nbDecision=751500 #constraints=58524
1092.96/1093.45	c nbDecision=752000 #constraints=58530
1093.76/1094.23	c nbDecision=752500 #constraints=58537
1094.56/1095.01	c nbDecision=753000 #constraints=58543
1095.36/1095.82	c nbDecision=753500 #constraints=58549
1096.26/1096.72	c nbDecision=754000 #constraints=58566
1097.05/1097.51	c nbDecision=754500 #constraints=58571
1097.85/1098.35	c nbDecision=755000 #constraints=58588
1098.65/1099.12	c nbDecision=755500 #constraints=58593
1099.55/1100.05	c nbDecision=756000 #constraints=58617
1100.55/1101.06	c nbDecision=756500 #constraints=58628
1101.65/1102.14	c nbDecision=757000 #constraints=58638
1102.25/1102.74	c nbDecision=757500 #constraints=58647
1103.45/1103.94	c nbDecision=758000 #constraints=58667
1104.25/1104.77	c nbDecision=758500 #constraints=58673
1104.95/1105.46	c nbDecision=759000 #constraints=58684
1105.65/1106.19	c nbDecision=759500 #constraints=58688
1106.65/1107.10	c nbDecision=760000 #constraints=58703
1107.55/1108.05	c nbDecision=760500 #constraints=58720
1108.35/1108.85	c nbDecision=761000 #constraints=58729
1109.45/1109.90	c nbDecision=761500 #constraints=58749
1110.04/1110.59	c nbDecision=762000 #constraints=58755
1111.05/1111.56	c nbDecision=762500 #constraints=58775
1111.85/1112.33	c nbDecision=763000 #constraints=58783
1112.55/1113.10	c nbDecision=763500 #constraints=58788
1113.65/1114.10	c nbDecision=764000 #constraints=58807
1114.55/1115.04	c nbDecision=764500 #constraints=58822
1115.15/1115.69	c nbDecision=765000 #constraints=58831
1115.96/1116.47	c nbDecision=765500 #constraints=58841
1116.75/1117.27	c nbDecision=766000 #constraints=58853
1117.75/1118.23	c nbDecision=766500 #constraints=58874
1118.65/1119.10	c nbDecision=767000 #constraints=58885
1119.45/1119.94	c nbDecision=767500 #constraints=58892
1120.15/1120.68	c nbDecision=768000 #constraints=58896
1121.15/1121.61	c nbDecision=768500 #constraints=58913
1121.85/1122.33	c nbDecision=769000 #constraints=58917
1122.65/1123.19	c nbDecision=769500 #constraints=58935
1123.65/1124.18	c nbDecision=770000 #constraints=58957
1124.25/1124.73	c nbDecision=770500 #constraints=58965
1125.04/1125.51	c nbDecision=771000 #constraints=58970
1125.74/1126.25	c nbDecision=771500 #constraints=58974
1126.64/1127.10	c nbDecision=772000 #constraints=58980
1127.44/1127.90	c nbDecision=772500 #constraints=58990
1128.34/1128.80	c nbDecision=773000 #constraints=59001
1129.04/1129.55	c nbDecision=773500 #constraints=59005
1129.84/1130.31	c nbDecision=774000 #constraints=59010
1130.84/1131.38	c nbDecision=774500 #constraints=59017
1131.84/1132.32	c nbDecision=775000 #constraints=59036
1132.55/1133.09	c nbDecision=775500 #constraints=59041
1133.54/1134.00	c nbDecision=776000 #constraints=59057
1134.24/1134.78	c nbDecision=776500 #constraints=59063
1135.14/1135.63	c nbDecision=777000 #constraints=59074
1136.14/1136.64	c nbDecision=777500 #constraints=59095
1136.94/1137.40	c nbDecision=778000 #constraints=59099
1137.74/1138.21	c nbDecision=778500 #constraints=59109
1138.54/1139.03	c nbDecision=779000 #constraints=59115
1139.33/1139.80	c nbDecision=779500 #constraints=59120
1140.14/1140.63	c nbDecision=780000 #constraints=59130
1140.93/1141.49	c nbDecision=780500 #constraints=59141
1142.03/1142.54	c nbDecision=781000 #constraints=59148
1143.03/1143.52	c nbDecision=781500 #constraints=59173
1143.83/1144.34	c nbDecision=782000 #constraints=59183
1144.73/1145.28	c nbDecision=782500 #constraints=59200
1145.64/1146.18	c nbDecision=783000 #constraints=59212
1146.44/1146.96	c nbDecision=783500 #constraints=59218
1147.34/1147.87	c nbDecision=784000 #constraints=59238
1148.24/1148.75	c nbDecision=784500 #constraints=59249
1149.54/1150.09	c nbDecision=785000 #constraints=59264
1150.54/1151.04	c nbDecision=785500 #constraints=59278
1151.34/1151.83	c nbDecision=786000 #constraints=59289
1152.24/1152.72	c nbDecision=786500 #constraints=59297
1153.04/1153.53	c nbDecision=787000 #constraints=59304
1153.83/1154.35	c nbDecision=787500 #constraints=59311
1154.83/1155.37	c nbDecision=788000 #constraints=59330
1155.73/1156.23	c nbDecision=788500 #constraints=59343
1156.53/1157.02	c nbDecision=789000 #constraints=59361
1157.63/1158.12	c nbDecision=789500 #constraints=59389
1158.43/1158.95	c nbDecision=790000 #constraints=59401
1159.33/1159.80	c nbDecision=790500 #constraints=59413
1160.04/1160.58	c nbDecision=791000 #constraints=59421
1160.93/1161.49	c nbDecision=791500 #constraints=59433
1161.73/1162.22	c nbDecision=792000 #constraints=59440
1162.63/1163.15	c nbDecision=792500 #constraints=59454
1163.43/1163.92	c nbDecision=793000 #constraints=59459
1164.13/1164.68	c nbDecision=793500 #constraints=59465
1164.93/1165.49	c nbDecision=794000 #constraints=59469
1165.83/1166.31	c nbDecision=794500 #constraints=59475
1166.63/1167.13	c nbDecision=795000 #constraints=59487
1167.33/1167.89	c nbDecision=795500 #constraints=59491
1168.23/1168.73	c nbDecision=796000 #constraints=59497
1169.13/1169.67	c nbDecision=796500 #constraints=59511
1170.03/1170.55	c nbDecision=797000 #constraints=59518
1170.93/1171.46	c nbDecision=797500 #constraints=59527
1171.83/1172.34	c nbDecision=798000 #constraints=59535
1172.83/1173.30	c nbDecision=798500 #constraints=59550
1173.93/1174.41	c nbDecision=799000 #constraints=59577
1174.72/1175.29	c nbDecision=799500 #constraints=59588
1175.62/1176.14	c nbDecision=800000 #constraints=59595
1176.53/1177.05	c nbDecision=800500 #constraints=59603
1177.42/1177.93	c nbDecision=801000 #constraints=59617
1178.32/1178.80	c nbDecision=801500 #constraints=59624
1179.12/1179.60	c nbDecision=802000 #constraints=59629
1180.22/1180.73	c nbDecision=802500 #constraints=59639
1180.83/1181.36	c nbDecision=803000 #constraints=59643
1181.93/1182.43	c nbDecision=803500 #constraints=59675
1182.72/1183.27	c nbDecision=804000 #constraints=59685
1183.73/1184.25	c nbDecision=804500 #constraints=59711
1184.63/1185.11	c nbDecision=805000 #constraints=59728
1185.63/1186.16	c nbDecision=805500 #constraints=59743
1186.43/1186.96	c nbDecision=806000 #constraints=59749
1187.22/1187.73	c nbDecision=806500 #constraints=59765
1188.32/1188.87	c nbDecision=807000 #constraints=59780
1189.22/1189.72	c nbDecision=807500 #constraints=59793
1189.92/1190.47	c nbDecision=808000 #constraints=59798
1190.83/1191.34	c nbDecision=808500 #constraints=59809
1191.83/1192.33	c nbDecision=809000 #constraints=59830
1192.62/1193.11	c nbDecision=809500 #constraints=59835
1193.12/1193.67	c nbDecision=810000 #constraints=59844
1194.22/1194.75	c nbDecision=810500 #constraints=59856
1195.02/1195.56	c nbDecision=811000 #constraints=59861
1195.82/1196.34	c nbDecision=811500 #constraints=59865
1196.62/1197.14	c nbDecision=812000 #constraints=59870
1197.42/1197.90	c nbDecision=812500 #constraints=59875
1198.22/1198.76	c nbDecision=813000 #constraints=59883
1199.22/1199.72	c nbDecision=813500 #constraints=59888
1200.02/1200.50	c nbDecision=814000 #constraints=59895
1200.92/1201.43	c nbDecision=814500 #constraints=59906
1201.82/1202.38	c nbDecision=815000 #constraints=59911
1202.62/1203.16	c nbDecision=815500 #constraints=59914
1203.52/1204.10	c nbDecision=816000 #constraints=59928
1204.42/1204.98	c nbDecision=816500 #constraints=59939
1205.32/1205.82	c nbDecision=817000 #constraints=59946
1205.91/1206.44	c nbDecision=817500 #constraints=59950
1206.91/1207.40	c nbDecision=818000 #constraints=59966
1207.61/1208.17	c nbDecision=818500 #constraints=59970
1208.42/1208.94	c nbDecision=819000 #constraints=59976
1208.81/1209.35	c restart after 819201 decisions
1217.31/1217.84	c nbDecision=819500 #constraints=60176
1233.41/1233.99	c nbDecision=820000 #constraints=60643
1249.61/1250.10	c nbDecision=820500 #constraints=61115
1267.60/1268.17	c nbDecision=821000 #constraints=61584
1287.20/1287.72	c nbDecision=821500 #constraints=62050
1305.69/1306.24	c nbDecision=822000 #constraints=62508
1325.19/1325.72	c nbDecision=822500 #constraints=62986
1348.28/1348.88	c nbDecision=823000 #constraints=63457
1376.87/1377.40	c nbDecision=823500 #constraints=63934
1404.76/1405.31	c nbDecision=824000 #constraints=64397
1411.66/1412.23	c nbDecision=824500 #constraints=64534
1413.76/1414.39	c nbDecision=825000 #constraints=64635
1416.27/1416.88	c nbDecision=825500 #constraints=64750
1418.76/1419.31	c nbDecision=826000 #constraints=64863
1420.76/1421.33	c nbDecision=826500 #constraints=64944
1422.96/1423.52	c nbDecision=827000 #constraints=65027
1424.86/1425.40	c nbDecision=827500 #constraints=65082
1426.66/1427.28	c nbDecision=828000 #constraints=65143
1429.16/1429.73	c nbDecision=828500 #constraints=65257
1431.26/1431.81	c nbDecision=829000 #constraints=65327
1432.85/1433.46	c nbDecision=829500 #constraints=65383
1434.76/1435.35	c nbDecision=830000 #constraints=65445
1437.36/1437.97	c nbDecision=830500 #constraints=65530
1438.66/1439.23	c nbDecision=831000 #constraints=65568
1440.16/1440.74	c nbDecision=831500 #constraints=65606
1441.46/1442.10	c nbDecision=832000 #constraints=65641
1443.45/1444.01	c nbDecision=832500 #constraints=65691
1444.86/1445.42	c nbDecision=833000 #constraints=65726
1446.96/1447.51	c nbDecision=833500 #constraints=65778
1448.25/1448.84	c nbDecision=834000 #constraints=65806
1449.45/1450.08	c nbDecision=834500 #constraints=65829
1451.36/1451.92	c nbDecision=835000 #constraints=65870
1452.76/1453.35	c nbDecision=835500 #constraints=65906
1453.86/1454.47	c nbDecision=836000 #constraints=65915
1455.05/1455.68	c nbDecision=836500 #constraints=65942
1456.15/1456.70	c nbDecision=837000 #constraints=65960
1457.35/1457.91	c nbDecision=837500 #constraints=65989
1458.55/1459.12	c nbDecision=838000 #constraints=66008
1459.85/1460.40	c nbDecision=838500 #constraints=66019
1460.85/1461.45	c nbDecision=839000 #constraints=66031
1462.15/1462.75	c nbDecision=839500 #constraints=66061
1463.75/1464.30	c nbDecision=840000 #constraints=66082
1465.15/1465.77	c nbDecision=840500 #constraints=66121
1466.65/1467.20	c nbDecision=841000 #constraints=66149
1468.25/1468.85	c nbDecision=841500 #constraints=66183
1469.74/1470.31	c nbDecision=842000 #constraints=66216
1470.74/1471.39	c nbDecision=842500 #constraints=66229
1472.14/1472.74	c nbDecision=843000 #constraints=66252
1473.24/1473.81	c nbDecision=843500 #constraints=66266
1474.74/1475.35	c nbDecision=844000 #constraints=66296
1476.44/1477.05	c nbDecision=844500 #constraints=66325
1478.05/1478.67	c nbDecision=845000 #constraints=66371
1479.45/1480.08	c nbDecision=845500 #constraints=66401
1480.55/1481.15	c nbDecision=846000 #constraints=66411
1482.05/1482.63	c nbDecision=846500 #constraints=66454
1483.55/1484.19	c nbDecision=847000 #constraints=66487
1484.95/1485.54	c nbDecision=847500 #constraints=66499
1486.65/1487.29	c nbDecision=848000 #constraints=66527
1488.14/1488.71	c nbDecision=848500 #constraints=66557
1489.64/1490.28	c nbDecision=849000 #constraints=66588
1490.84/1491.43	c nbDecision=849500 #constraints=66602
1492.44/1493.04	c nbDecision=850000 #constraints=66634
1494.14/1494.71	c nbDecision=850500 #constraints=66684
1495.64/1496.29	c nbDecision=851000 #constraints=66705
1496.83/1497.42	c nbDecision=851500 #constraints=66718
1498.34/1498.94	c nbDecision=852000 #constraints=66756
1499.94/1500.52	c nbDecision=852500 #constraints=66784
1501.24/1501.84	c nbDecision=853000 #constraints=66819
1502.54/1503.18	c nbDecision=853500 #constraints=66840
1504.04/1504.68	c nbDecision=854000 #constraints=66869
1506.04/1506.67	c nbDecision=854500 #constraints=66912
1507.14/1507.75	c nbDecision=855000 #constraints=66934
1508.64/1509.26	c nbDecision=855500 #constraints=66956
1510.04/1510.60	c nbDecision=856000 #constraints=66977
1511.14/1511.71	c nbDecision=856500 #constraints=66995
1512.24/1512.85	c nbDecision=857000 #constraints=67005
1513.83/1514.44	c nbDecision=857500 #constraints=67047
1515.03/1515.65	c nbDecision=858000 #constraints=67060
1516.43/1517.02	c nbDecision=858500 #constraints=67093
1517.93/1518.50	c nbDecision=859000 #constraints=67132
1519.23/1519.81	c nbDecision=859500 #constraints=67165
1520.43/1521.01	c nbDecision=860000 #constraints=67187
1521.53/1522.17	c nbDecision=860500 #constraints=67213
1523.33/1523.97	c nbDecision=861000 #constraints=67243
1525.23/1525.82	c nbDecision=861500 #constraints=67303
1526.73/1527.35	c nbDecision=862000 #constraints=67324
1528.13/1528.71	c nbDecision=862500 #constraints=67353
1529.73/1530.32	c nbDecision=863000 #constraints=67374
1531.03/1531.64	c nbDecision=863500 #constraints=67405
1532.53/1533.19	c nbDecision=864000 #constraints=67439
1533.63/1534.29	c nbDecision=864500 #constraints=67461
1535.13/1535.75	c nbDecision=865000 #constraints=67479
1536.23/1536.87	c nbDecision=865500 #constraints=67488
1537.53/1538.11	c nbDecision=866000 #constraints=67501
1538.92/1539.56	c nbDecision=866500 #constraints=67534
1540.53/1541.16	c nbDecision=867000 #constraints=67556
1542.22/1542.81	c nbDecision=867500 #constraints=67594
1543.52/1544.17	c nbDecision=868000 #constraints=67627
1545.22/1545.81	c nbDecision=868500 #constraints=67660
1546.52/1547.10	c nbDecision=869000 #constraints=67680
1547.82/1548.42	c nbDecision=869500 #constraints=67702
1548.92/1549.59	c nbDecision=870000 #constraints=67712
1550.52/1551.14	c nbDecision=870500 #constraints=67745
1551.72/1552.36	c nbDecision=871000 #constraints=67764
1552.92/1553.54	c nbDecision=871500 #constraints=67794
1554.42/1555.01	c nbDecision=872000 #constraints=67814
1555.42/1556.02	c nbDecision=872500 #constraints=67819
1557.32/1557.92	c nbDecision=873000 #constraints=67860
1558.52/1559.10	c nbDecision=873500 #constraints=67882
1559.32/1559.98	c nbDecision=874000 #constraints=67885
1560.72/1561.36	c nbDecision=874500 #constraints=67908
1562.22/1562.80	c nbDecision=875000 #constraints=67933
1563.62/1564.27	c nbDecision=875500 #constraints=67959
1565.12/1565.71	c nbDecision=876000 #constraints=67975
1566.32/1567.00	c nbDecision=876500 #constraints=68003
1567.61/1568.24	c nbDecision=877000 #constraints=68019
1568.81/1569.48	c nbDecision=877500 #constraints=68046
1570.22/1570.85	c nbDecision=878000 #constraints=68068
1571.51/1572.16	c nbDecision=878500 #constraints=68097
1572.81/1573.42	c nbDecision=879000 #constraints=68120
1574.11/1574.74	c nbDecision=879500 #constraints=68147
1575.51/1576.17	c nbDecision=880000 #constraints=68157
1576.91/1577.59	c nbDecision=880500 #constraints=68187
1578.21/1578.88	c nbDecision=881000 #constraints=68207
1579.61/1580.24	c nbDecision=881500 #constraints=68237
1580.51/1581.17	c nbDecision=882000 #constraints=68247
1581.61/1582.29	c nbDecision=882500 #constraints=68257
1582.91/1583.58	c nbDecision=883000 #constraints=68279
1584.11/1584.78	c nbDecision=883500 #constraints=68292
1585.61/1586.21	c nbDecision=884000 #constraints=68324
1587.20/1587.81	c nbDecision=884500 #constraints=68347
1588.60/1589.26	c nbDecision=885000 #constraints=68374
1590.01/1590.63	c nbDecision=885500 #constraints=68392
1591.20/1591.88	c nbDecision=886000 #constraints=68429
1592.30/1592.93	c nbDecision=886500 #constraints=68435
1593.60/1594.28	c nbDecision=887000 #constraints=68458
1595.41/1596.07	c nbDecision=887500 #constraints=68501
1596.71/1597.32	c nbDecision=888000 #constraints=68512
1598.01/1598.61	c nbDecision=888500 #constraints=68528
1599.01/1599.69	c nbDecision=889000 #constraints=68541
1600.11/1600.70	c nbDecision=889500 #constraints=68555
1601.61/1602.24	c nbDecision=890000 #constraints=68587
1603.01/1603.69	c nbDecision=890500 #constraints=68614
1604.01/1604.69	c nbDecision=891000 #constraints=68625
1605.41/1606.03	c nbDecision=891500 #constraints=68650
1607.01/1607.62	c nbDecision=892000 #constraints=68674
1608.40/1609.02	c nbDecision=892500 #constraints=68710
1610.20/1610.87	c nbDecision=893000 #constraints=68744
1611.60/1612.30	c nbDecision=893500 #constraints=68763
1612.70/1613.36	c nbDecision=894000 #constraints=68773
1614.11/1614.75	c nbDecision=894500 #constraints=68785
1615.10/1615.75	c nbDecision=895000 #constraints=68793
1616.30/1616.97	c nbDecision=895500 #constraints=68799
1617.40/1618.05	c nbDecision=896000 #constraints=68822
1619.00/1619.62	c nbDecision=896500 #constraints=68862
1620.20/1620.81	c nbDecision=897000 #constraints=68882
1621.30/1621.95	c nbDecision=897500 #constraints=68893
1623.00/1623.68	c nbDecision=898000 #constraints=68928
1624.29/1624.92	c nbDecision=898500 #constraints=68950
1625.49/1626.11	c nbDecision=899000 #constraints=68968
1627.09/1627.72	c nbDecision=899500 #constraints=68992
1628.50/1629.14	c nbDecision=900000 #constraints=69003
1630.50/1631.14	c nbDecision=900500 #constraints=69043
1631.50/1632.16	c nbDecision=901000 #constraints=69050
1632.90/1633.54	c nbDecision=901500 #constraints=69073
1634.40/1635.07	c nbDecision=902000 #constraints=69105
1635.40/1636.06	c nbDecision=902500 #constraints=69117
1636.60/1637.21	c nbDecision=903000 #constraints=69131
1637.70/1638.36	c nbDecision=903500 #constraints=69150
1639.20/1639.81	c nbDecision=904000 #constraints=69175
1640.40/1641.01	c nbDecision=904500 #constraints=69181
1641.70/1642.33	c nbDecision=905000 #constraints=69218
1642.80/1643.40	c nbDecision=905500 #constraints=69228
1643.80/1644.48	c nbDecision=906000 #constraints=69244
1644.79/1645.48	c nbDecision=906500 #constraints=69257
1646.00/1646.69	c nbDecision=907000 #constraints=69278
1647.19/1647.81	c nbDecision=907500 #constraints=69297
1649.09/1649.76	c nbDecision=908000 #constraints=69346
1650.49/1651.12	c nbDecision=908500 #constraints=69366
1652.19/1652.80	c nbDecision=909000 #constraints=69406
1653.49/1654.13	c nbDecision=909500 #constraints=69434
1654.69/1655.37	c nbDecision=910000 #constraints=69459
1656.38/1657.04	c nbDecision=910500 #constraints=69483
1657.58/1658.28	c nbDecision=911000 #constraints=69512
1658.88/1659.58	c nbDecision=911500 #constraints=69520
1660.29/1660.90	c nbDecision=912000 #constraints=69534
1661.99/1662.61	c nbDecision=912500 #constraints=69567
1663.09/1663.70	c nbDecision=913000 #constraints=69577
1664.09/1664.72	c nbDecision=913500 #constraints=69589
1665.79/1666.40	c nbDecision=914000 #constraints=69614
1667.09/1667.71	c nbDecision=914500 #constraints=69642
1668.39/1669.02	c nbDecision=915000 #constraints=69662
1670.19/1670.88	c nbDecision=915500 #constraints=69700
1671.79/1672.42	c nbDecision=916000 #constraints=69719
1673.78/1674.49	c nbDecision=916500 #constraints=69745
1675.28/1675.99	c nbDecision=917000 #constraints=69779
1676.89/1677.52	c nbDecision=917500 #constraints=69803
1678.78/1679.47	c nbDecision=918000 #constraints=69843
1680.18/1680.82	c nbDecision=918500 #constraints=69864
1681.68/1682.33	c nbDecision=919000 #constraints=69883
1682.88/1683.55	c nbDecision=919500 #constraints=69893
1684.38/1685.07	c nbDecision=920000 #constraints=69927
1685.98/1686.69	c nbDecision=920500 #constraints=69946
1687.58/1688.21	c nbDecision=921000 #constraints=69966
1689.28/1689.95	c nbDecision=921500 #constraints=70001
1690.77/1691.46	c nbDecision=922000 #constraints=70029
1692.48/1693.18	c nbDecision=922500 #constraints=70064
1693.88/1694.52	c nbDecision=923000 #constraints=70078
1694.88/1695.53	c nbDecision=923500 #constraints=70084
1696.18/1696.81	c nbDecision=924000 #constraints=70095
1697.78/1698.46	c nbDecision=924500 #constraints=70116
1699.08/1699.71	c nbDecision=925000 #constraints=70132
1700.48/1701.18	c nbDecision=925500 #constraints=70164
1701.88/1702.57	c nbDecision=926000 #constraints=70189
1703.58/1704.25	c nbDecision=926500 #constraints=70207
1704.78/1705.44	c nbDecision=927000 #constraints=70223
1706.58/1707.27	c nbDecision=927500 #constraints=70253
1707.97/1708.61	c nbDecision=928000 #constraints=70277
1709.17/1709.89	c nbDecision=928500 #constraints=70293
1710.88/1711.52	c nbDecision=929000 #constraints=70309
1712.17/1712.86	c nbDecision=929500 #constraints=70335
1713.57/1714.25	c nbDecision=930000 #constraints=70349
1714.87/1715.50	c nbDecision=930500 #constraints=70355
1715.97/1716.61	c nbDecision=931000 #constraints=70366
1717.97/1718.65	c nbDecision=931500 #constraints=70404
1719.27/1719.99	c nbDecision=932000 #constraints=70423
1720.47/1721.11	c nbDecision=932500 #constraints=70435
1722.07/1722.80	c nbDecision=933000 #constraints=70463
1723.77/1724.45	c nbDecision=933500 #constraints=70489
1725.06/1725.80	c nbDecision=934000 #constraints=70513
1726.67/1727.33	c nbDecision=934500 #constraints=70548
1727.87/1728.54	c nbDecision=935000 #constraints=70558
1729.37/1730.08	c nbDecision=935500 #constraints=70593
1730.97/1731.66	c nbDecision=936000 #constraints=70606
1732.37/1733.03	c nbDecision=936500 #constraints=70633
1733.77/1734.45	c nbDecision=937000 #constraints=70661
1735.07/1735.73	c nbDecision=937500 #constraints=70673
1736.37/1737.09	c nbDecision=938000 #constraints=70697
1738.17/1738.84	c nbDecision=938500 #constraints=70732
1739.57/1740.27	c nbDecision=939000 #constraints=70752
1740.97/1741.62	c nbDecision=939500 #constraints=70778
1742.17/1742.82	c nbDecision=940000 #constraints=70789
1743.17/1743.82	c nbDecision=940500 #constraints=70794
1744.86/1745.57	c nbDecision=941000 #constraints=70822
1746.36/1747.07	c nbDecision=941500 #constraints=70853
1747.76/1748.44	c nbDecision=942000 #constraints=70870
1749.26/1749.96	c nbDecision=942500 #constraints=70881
1750.36/1751.05	c nbDecision=943000 #constraints=70890
1751.46/1752.16	c nbDecision=943500 #constraints=70899
1752.67/1753.36	c nbDecision=944000 #constraints=70921
1754.26/1754.94	c nbDecision=944500 #constraints=70936
1755.66/1756.35	c nbDecision=945000 #constraints=70959
1757.06/1757.76	c nbDecision=945500 #constraints=70981
1758.26/1758.98	c nbDecision=946000 #constraints=71004
1759.86/1760.50	c nbDecision=946500 #constraints=71018
1760.75/1761.49	c nbDecision=947000 #constraints=71028
1762.45/1763.18	c nbDecision=947500 #constraints=71069
1763.76/1764.42	c nbDecision=948000 #constraints=71083
1764.86/1765.52	c nbDecision=948500 #constraints=71090
1766.15/1766.88	c nbDecision=949000 #constraints=71111
1767.65/1768.35	c nbDecision=949500 #constraints=71131
1768.95/1769.65	c nbDecision=950000 #constraints=71149
1770.16/1770.88	c nbDecision=950500 #constraints=71167
1771.46/1772.13	c nbDecision=951000 #constraints=71181
1772.86/1773.54	c nbDecision=951500 #constraints=71192
1774.36/1775.01	c nbDecision=952000 #constraints=71213
1776.16/1776.85	c nbDecision=952500 #constraints=71240
1777.46/1778.10	c nbDecision=953000 #constraints=71253
1779.16/1779.86	c nbDecision=953500 #constraints=71282
1780.55/1781.28	c nbDecision=954000 #constraints=71303
1782.05/1782.79	c nbDecision=954500 #constraints=71325
1783.95/1784.61	c nbDecision=955000 #constraints=71349
1785.25/1785.97	c nbDecision=955500 #constraints=71360
1786.65/1787.39	c nbDecision=956000 #constraints=71381
1787.85/1788.58	c nbDecision=956500 #constraints=71389
1789.45/1790.11	c nbDecision=957000 #constraints=71401
1790.65/1791.36	c nbDecision=957500 #constraints=71410
1792.05/1792.70	c nbDecision=958000 #constraints=71428
1793.05/1793.75	c nbDecision=958500 #constraints=71440
1794.15/1794.81	c nbDecision=959000 #constraints=71448
1795.15/1795.89	c nbDecision=959500 #constraints=71455
1796.65/1797.34	c nbDecision=960000 #constraints=71463
1798.05/1798.70	c nbDecision=960500 #constraints=71480
1799.05/1799.72	c nbDecision=961000 #constraints=71484
1800.06/1800.70	Received signal 15
1800.06/1800.71	
1800.06/1800.71	s UNKNOWN
1800.06/1800.71	
1800.06/1800.71	c user time= 1799.06 s
1800.06/1800.71	c system time= 1.01085 s
1800.06/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/node18/watcher-356871-1176846736 -o ROOT/results/node18/solver-356871-1176846736 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356871-1176846736/instance-356871-1176846736.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.91 0.95 0.96 3/77 29933
/proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=1468 CPUtime=0
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 132591035 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 367 168 131 317 0 46 0

[startup+0.0565489 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 29933
/proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=2796 CPUtime=0.05
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 512 0 0 0 5 0 0 0 18 0 1 0 132591035 2863104 494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 699 494 131 317 0 378 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2796

[startup+0.101553 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 29933
/proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=3724 CPUtime=0.09
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 747 0 0 0 9 0 0 0 18 0 1 0 132591035 3813376 729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 931 729 131 317 0 610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3724

[startup+0.301573 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 29933
/proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=7132 CPUtime=0.29
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 1619 0 0 0 29 0 0 0 19 0 1 0 132591035 7303168 1601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 1783 1601 170 317 0 1462 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7132

[startup+0.701611 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 29933
/proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=8304 CPUtime=0.69
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 1929 0 0 0 69 0 0 0 23 0 1 0 132591035 8503296 1911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 2076 1911 170 317 0 1755 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8304

[startup+1.50169 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 29934
/proc/meminfo: memFree=1832648/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=10140 CPUtime=1.49
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 2367 0 0 0 148 1 0 0 25 0 1 0 132591035 10383360 2349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 2535 2349 170 317 0 2214 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10140

[startup+3.10184 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 29934
/proc/meminfo: memFree=1829192/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=15648 CPUtime=3.09
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 3750 0 0 0 308 1 0 0 25 0 1 0 132591035 16023552 3732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 3912 3732 170 317 0 3591 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15648

[startup+6.30119 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 29934
/proc/meminfo: memFree=1818376/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=27140 CPUtime=6.29
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 6615 0 0 0 626 3 0 0 25 0 1 0 132591035 27791360 6597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 6785 6597 170 317 0 6464 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27140

[startup+12.7028 s]
/proc/loadavg: 0.93 0.95 0.96 2/78 29934
/proc/meminfo: memFree=1798864/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=43564 CPUtime=12.69
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 10745 0 0 0 1263 6 0 0 25 0 1 0 132591035 44609536 10727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134550067 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 10891 10727 170 317 0 10570 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43564

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 29934
/proc/meminfo: memFree=1775184/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=66536 CPUtime=25.49
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 16492 0 0 0 2539 10 0 0 25 0 1 0 132591035 68132864 16416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 16634 16416 170 317 0 16313 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66536

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 29934
/proc/meminfo: memFree=1748048/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=93472 CPUtime=51.07
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 23244 0 0 0 5092 15 0 0 25 0 1 0 132591035 95715328 23168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 23368 23168 170 317 0 23047 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 93472

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/78 29934
/proc/meminfo: memFree=1709200/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=132456 CPUtime=102.26
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 32987 0 0 0 10204 22 0 0 25 0 1 0 132591035 135634944 32797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 33114 32797 170 317 0 32793 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 132456

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 29934
/proc/meminfo: memFree=1675920/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=167024 CPUtime=162.25
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 41345 0 0 0 16196 29 0 0 25 0 1 0 132591035 171032576 41155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 41756 41155 170 317 0 41435 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 167024

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 29934
/proc/meminfo: memFree=1647888/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=197260 CPUtime=222.23
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 48295 0 0 0 22188 35 0 0 25 0 1 0 132591035 201994240 48105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 49315 48105 170 317 0 48994 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 197260

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 29934
/proc/meminfo: memFree=1627344/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=218036 CPUtime=282.21
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 53679 0 0 0 28181 40 0 0 25 0 1 0 132591035 223268864 53229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 54509 53229 170 317 0 54188 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 218036

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 29934
/proc/meminfo: memFree=1607504/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=237656 CPUtime=342.18
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 58591 0 0 0 34173 45 0 0 25 0 1 0 132591035 243359744 58141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 59414 58141 170 317 0 59093 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 237656

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 29934
/proc/meminfo: memFree=1584144/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=262592 CPUtime=402.17
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 64487 0 0 0 40167 50 0 0 25 0 1 0 132591035 268894208 64037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 65648 64037 170 317 0 65327 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 262592

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 29934
/proc/meminfo: memFree=1559120/2055920 swapFree=4142708/4192956
[pid=29933] ppid=29931 vsize=289300 CPUtime=462.15
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 70649 0 0 0 46161 54 0 0 25 0 1 0 132591035 296243200 70199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 72325 70199 170 317 0 72004 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 289300

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 29934
/proc/meminfo: memFree=1543888/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=304928 CPUtime=522.14
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 74517 0 0 0 52158 56 0 0 25 0 1 0 132591035 312246272 74067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 76232 74067 170 317 0 75911 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 304928

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1528056/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=319692 CPUtime=582.03
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 78285 0 0 0 58142 61 0 0 25 0 1 0 132591035 327364608 77835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 79923 77835 170 317 0 79602 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 319692

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1518096/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=329312 CPUtime=642
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 80749 0 0 0 64136 64 0 0 25 0 1 0 132591035 337215488 80299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 82328 80299 170 317 0 82007 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 329312


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1491920/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=355488 CPUtime=881.91
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 87281 0 0 0 88121 70 0 0 25 0 1 0 132591035 364019712 86831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 88872 86831 170 317 0 88551 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 355488

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1483664/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=366768 CPUtime=941.9
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 89371 0 0 0 94117 73 0 0 25 0 1 0 132591035 375570432 88921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 91692 88921 170 317 0 91371 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 366768

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1479312/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=371136 CPUtime=1001.88
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 90422 0 0 0 100113 75 0 0 25 0 1 0 132591035 380043264 89972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 92784 89972 170 317 0 92463 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 371136

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1474960/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=375432 CPUtime=1061.86
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 91552 0 0 0 106110 76 0 0 25 0 1 0 132591035 384442368 91102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 93858 91102 170 317 0 93537 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 375432

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1470672/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=379332 CPUtime=1121.85
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 92603 0 0 0 112107 78 0 0 25 0 1 0 132591035 388435968 92153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 94833 92153 170 317 0 94512 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 379332

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1467024/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=382824 CPUtime=1181.82
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 93557 0 0 0 118103 79 0 0 25 0 1 0 132591035 392011776 93107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 95706 93107 170 317 0 95385 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 382824

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1458512/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=392024 CPUtime=1241.8
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 95646 0 0 0 124099 81 0 0 25 0 1 0 132591035 401432576 95196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 98006 95196 170 317 0 97685 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 392024

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1447952/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=402784 CPUtime=1301.8
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 98256 0 0 0 130096 84 0 0 25 0 1 0 132591035 412450816 97806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 100696 97806 170 317 0 100375 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 402784

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1438608/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=412232 CPUtime=1361.78
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 100590 0 0 0 136092 86 0 0 25 0 1 0 132591035 422125568 100140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 103058 100140 170 317 0 102737 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 412232

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1430288/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=421284 CPUtime=1421.77
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 102671 0 0 0 142089 88 0 0 25 0 1 0 132591035 431394816 102221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 105321 102221 170 317 0 105000 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 421284

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1420624/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=432816 CPUtime=1481.75
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 105606 0 0 0 148084 91 0 0 25 0 1 0 132591035 443203584 104639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 108204 104639 170 317 0 107883 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 432816

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1414608/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=438520 CPUtime=1541.72
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 107114 0 0 0 154079 93 0 0 25 0 1 0 132591035 449044480 106147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 109630 106147 170 317 0 109309 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 438520

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1408528/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=444884 CPUtime=1601.71
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 108606 0 0 0 160076 95 0 0 25 0 1 0 132591035 455561216 107639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 111221 107639 170 317 0 110900 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 444884

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1403664/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=449556 CPUtime=1661.69
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 109838 0 0 0 166072 97 0 0 25 0 1 0 132591035 460345344 108871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 112389 108871 170 317 0 112068 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 449556

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1399184/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=453732 CPUtime=1721.67
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 110967 0 0 0 172069 98 0 0 25 0 1 0 132591035 464621568 110000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 113433 110000 170 317 0 113112 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 453732

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1394768/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=457888 CPUtime=1781.65
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 112052 0 0 0 178065 100 0 0 25 0 1 0 132591035 468877312 111085 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604370 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 114472 111085 170 317 0 114151 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 457888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1393680/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=458676 CPUtime=1800.06
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 112312 0 0 0 179905 101 0 0 25 0 1 0 132591035 469684224 111345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 114669 111345 170 317 0 114348 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 458676

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 30132
/proc/meminfo: memFree=1393680/2055920 swapFree=4142712/4192956
[pid=29933] ppid=29931 vsize=458676 CPUtime=1800.06
/proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 112312 0 0 0 179905 101 0 0 25 0 1 0 132591035 469684224 111345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29933/statm: 114669 111345 170 317 0 114348 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 458676

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.15
CPU user time (s): 1799.07
CPU system time (s): 1.08283
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 458676

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

runsolver used 2.20267 second user time and 4.38833 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Tue Apr 17 21:52:17 UTC 2007

IDJOB= 356871
IDBENCH= 1575
IDSOLVER= 172
FILE ID= node18/356871-1176846736

PBS_JOBID= 4590187

Free space on /tmp= 66509 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-bienst1.opb
COMMAND LINE= oree /tmp/evaluation/356871-1176846736/instance-356871-1176846736.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-356871-1176846736 -o ROOT/results/node18/solver-356871-1176846736 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356871-1176846736/instance-356871-1176846736.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  3c5a26b44a5daf16e362588a0fac7ed0

RANDOM SEED= 322407986

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1840680 kB
Buffers:         27764 kB
Cached:         128356 kB
SwapCached:      18436 kB
Active:          88716 kB
Inactive:        94280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840680 kB
SwapTotal:     4192956 kB
SwapFree:      4142708 kB
Dirty:            1864 kB
Writeback:           0 kB
Mapped:          29560 kB
Slab:            17760 kB
Committed_AS:  4325060 kB
PageTables:       1776 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= 66509 MiB

End job on node18 on Tue Apr 17 22:22:19 UTC 2007