Trace number 362930

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.11 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb
MD5SUMf3194c704d6cb84122c01530d022722f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.875865
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables35070
Total number of constraints488
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints488
Minimum length of a constraint30
Maximum length of a constraint1110
Number of terms in the objective function 24750
Biggest coefficient in the objective function 20760
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 545888
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 545888
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.29/0.38	c ...done
0.29/0.38	c #vars=35070 #constraints=873 hasObjective=yes
0.59/0.63	c res. mode=mod
0.59/0.63	c VSIDS like heuristics
0.59/0.63	c complete search running
0.89/0.94	c restart after 401 decisions
1.00/1.03	c nbDecision=500 #constraints=873
1.19/1.21	c restart after 801 decisions
1.29/1.36	c nbDecision=1000 #constraints=873
1.59/1.68	c nbDecision=1500 #constraints=930
1.69/1.75	c restart after 1601 decisions
1.99/2.02	c nbDecision=2000 #constraints=937
2.29/2.35	c nbDecision=2500 #constraints=1004
2.59/2.65	c nbDecision=3000 #constraints=1030
2.69/2.76	c restart after 3201 decisions
2.89/2.98	c nbDecision=3500 #constraints=1030
3.29/3.30	c nbDecision=4000 #constraints=1093
3.59/3.65	c nbDecision=4500 #constraints=1146
4.09/4.12	c nbDecision=5000 #constraints=1220
4.39/4.48	c nbDecision=5500 #constraints=1335
4.79/4.84	c nbDecision=6000 #constraints=1424
4.99/5.07	c restart after 6401 decisions
5.09/5.17	c nbDecision=6500 #constraints=1441
5.39/5.47	c nbDecision=7000 #constraints=1441
5.89/5.93	c nbDecision=7500 #constraints=1537
6.19/6.26	c nbDecision=8000 #constraints=1556
6.60/6.69	c nbDecision=8500 #constraints=1674
6.99/7.01	c nbDecision=9000 #constraints=1700
7.19/7.29	c nbDecision=9500 #constraints=1701
7.59/7.69	c nbDecision=10000 #constraints=1795
7.99/8.03	c nbDecision=10500 #constraints=1876
8.29/8.34	c nbDecision=11000 #constraints=1895
8.69/8.73	c nbDecision=11500 #constraints=1950
8.99/9.07	c nbDecision=12000 #constraints=2015
9.39/9.40	c nbDecision=12500 #constraints=2054
9.59/9.66	c restart after 12801 decisions
9.79/9.82	c nbDecision=13000 #constraints=2088
10.08/10.16	c nbDecision=13500 #constraints=2134
10.48/10.50	c nbDecision=14000 #constraints=2158
10.79/10.88	c nbDecision=14500 #constraints=2189
11.19/11.22	c nbDecision=15000 #constraints=2246
11.49/11.56	c nbDecision=15500 #constraints=2292
11.89/11.90	c nbDecision=16000 #constraints=2321
12.29/12.36	c nbDecision=16500 #constraints=2410
12.59/12.68	c nbDecision=17000 #constraints=2437
13.19/13.22	c nbDecision=17500 #constraints=2554
13.49/13.59	c nbDecision=18000 #constraints=2606
13.79/13.86	c nbDecision=18500 #constraints=2606
14.19/14.26	c nbDecision=19000 #constraints=2684
14.59/14.62	c nbDecision=19500 #constraints=2720
14.89/14.98	c nbDecision=20000 #constraints=2746
15.29/15.32	c nbDecision=20500 #constraints=2818
15.69/15.72	c nbDecision=21000 #constraints=2947
15.99/16.06	c nbDecision=21500 #constraints=3016
16.39/16.43	c nbDecision=22000 #constraints=3102
16.79/16.80	c nbDecision=22500 #constraints=3205
17.09/17.17	c nbDecision=23000 #constraints=3294
17.49/17.56	c nbDecision=23500 #constraints=3399
17.78/17.85	c nbDecision=24000 #constraints=3399
18.18/18.23	c nbDecision=24500 #constraints=3436
18.59/18.66	c nbDecision=25000 #constraints=3548
18.88/18.95	c nbDecision=25500 #constraints=3548
19.08/19.12	c restart after 25601 decisions
19.38/19.41	c nbDecision=26000 #constraints=3581
19.79/19.83	c nbDecision=26500 #constraints=3637
20.08/20.12	c nbDecision=27000 #constraints=3638
20.48/20.54	c nbDecision=27500 #constraints=3678
20.79/20.88	c nbDecision=28000 #constraints=3690
21.08/21.17	c nbDecision=28500 #constraints=3690
21.58/21.69	c nbDecision=29000 #constraints=3789
21.98/22.05	c nbDecision=29500 #constraints=3852
22.38/22.44	c nbDecision=30000 #constraints=3976
22.68/22.77	c nbDecision=30500 #constraints=3990
23.09/23.20	c nbDecision=31000 #constraints=4032
23.49/23.57	c nbDecision=31500 #constraints=4119
23.89/23.95	c nbDecision=32000 #constraints=4167
24.29/24.31	c nbDecision=32500 #constraints=4184
24.59/24.69	c nbDecision=33000 #constraints=4256
24.99/25.06	c nbDecision=33500 #constraints=4308
25.39/25.41	c nbDecision=34000 #constraints=4326
25.78/25.82	c nbDecision=34500 #constraints=4387
26.08/26.17	c nbDecision=35000 #constraints=4419
26.58/26.62	c nbDecision=35500 #constraints=4469
26.98/27.02	c nbDecision=36000 #constraints=4577
27.38/27.40	c nbDecision=36500 #constraints=4614
27.68/27.79	c nbDecision=37000 #constraints=4641
28.08/28.18	c nbDecision=37500 #constraints=4718
28.59/28.64	c nbDecision=38000 #constraints=4818
28.99/29.03	c nbDecision=38500 #constraints=4844
29.39/29.44	c nbDecision=39000 #constraints=4912
29.78/29.85	c nbDecision=39500 #constraints=4964
30.08/30.15	c nbDecision=40000 #constraints=4966
30.58/30.62	c nbDecision=40500 #constraints=5048
30.98/31.01	c nbDecision=41000 #constraints=5096
31.28/31.31	c nbDecision=41500 #constraints=5096
31.58/31.63	c nbDecision=42000 #constraints=5108
31.99/32.03	c nbDecision=42500 #constraints=5163
32.38/32.43	c nbDecision=43000 #constraints=5190
32.78/32.83	c nbDecision=43500 #constraints=5254
33.18/33.22	c nbDecision=44000 #constraints=5300
33.48/33.58	c nbDecision=44500 #constraints=5323
33.88/34.00	c nbDecision=45000 #constraints=5381
34.18/34.29	c nbDecision=45500 #constraints=5383
34.58/34.65	c nbDecision=46000 #constraints=5400
35.08/35.11	c nbDecision=46500 #constraints=5480
35.38/35.48	c nbDecision=47000 #constraints=5509
35.78/35.85	c nbDecision=47500 #constraints=5525
36.28/36.38	c nbDecision=48000 #constraints=5632
36.58/36.65	c nbDecision=48500 #constraints=5632
36.98/37.09	c nbDecision=49000 #constraints=5662
37.48/37.57	c nbDecision=49500 #constraints=5755
37.78/37.87	c nbDecision=50000 #constraints=5755
38.28/38.30	c nbDecision=50500 #constraints=5805
38.68/38.76	c nbDecision=51000 #constraints=5869
38.78/38.87	c restart after 51201 decisions
39.08/39.11	c nbDecision=51500 #constraints=5869
39.38/39.49	c nbDecision=52000 #constraints=5890
39.68/39.80	c nbDecision=52500 #constraints=5891
40.18/40.20	c nbDecision=53000 #constraints=5917
40.59/40.64	c nbDecision=53500 #constraints=5941
40.88/40.92	c nbDecision=54000 #constraints=5941
41.38/41.47	c nbDecision=54500 #constraints=6013
41.78/41.86	c nbDecision=55000 #constraints=6101
42.18/42.25	c nbDecision=55500 #constraints=6137
42.58/42.68	c nbDecision=56000 #constraints=6169
43.08/43.12	c nbDecision=56500 #constraints=6192
43.38/43.43	c nbDecision=57000 #constraints=6192
43.88/43.98	c nbDecision=57500 #constraints=6268
44.38/44.46	c nbDecision=58000 #constraints=6333
44.68/44.75	c nbDecision=58500 #constraints=6333
45.09/45.15	c nbDecision=59000 #constraints=6361
45.48/45.55	c nbDecision=59500 #constraints=6427
45.88/45.95	c nbDecision=60000 #constraints=6460
46.38/46.42	c nbDecision=60500 #constraints=6503
46.88/46.96	c nbDecision=61000 #constraints=6588
47.28/47.31	c nbDecision=61500 #constraints=6609
47.78/47.84	c nbDecision=62000 #constraints=6666
48.28/48.34	c nbDecision=62500 #constraints=6738
48.58/48.64	c nbDecision=63000 #constraints=6738
48.98/49.00	c nbDecision=63500 #constraints=6755
49.38/49.43	c nbDecision=64000 #constraints=6806
49.77/49.80	c nbDecision=64500 #constraints=6818
50.17/50.28	c nbDecision=65000 #constraints=6893
50.58/50.69	c nbDecision=65500 #constraints=6921
51.07/51.15	c nbDecision=66000 #constraints=6955
51.47/51.55	c nbDecision=66500 #constraints=7002
51.87/51.93	c nbDecision=67000 #constraints=7015
52.18/52.26	c nbDecision=67500 #constraints=7020
52.58/52.69	c nbDecision=68000 #constraints=7070
53.18/53.22	c nbDecision=68500 #constraints=7119
53.58/53.62	c nbDecision=69000 #constraints=7133
53.98/54.00	c nbDecision=69500 #constraints=7162
54.38/54.44	c nbDecision=70000 #constraints=7194
54.68/54.79	c nbDecision=70500 #constraints=7198
55.08/55.18	c nbDecision=71000 #constraints=7228
55.68/55.70	c nbDecision=71500 #constraints=7270
55.98/56.10	c nbDecision=72000 #constraints=7288
56.48/56.50	c nbDecision=72500 #constraints=7333
56.97/57.04	c nbDecision=73000 #constraints=7430
57.37/57.42	c nbDecision=73500 #constraints=7443
57.77/57.86	c nbDecision=74000 #constraints=7495
58.18/58.29	c nbDecision=74500 #constraints=7528
58.57/58.63	c nbDecision=75000 #constraints=7528
59.08/59.12	c nbDecision=75500 #constraints=7607
59.38/59.47	c nbDecision=76000 #constraints=7608
59.78/59.88	c nbDecision=76500 #constraints=7624
60.48/60.51	c nbDecision=77000 #constraints=7699
60.78/60.88	c nbDecision=77500 #constraints=7720
61.18/61.27	c nbDecision=78000 #constraints=7730
61.58/61.62	c nbDecision=78500 #constraints=7745
61.98/62.02	c nbDecision=79000 #constraints=7752
62.38/62.48	c nbDecision=79500 #constraints=7780
62.78/62.87	c nbDecision=80000 #constraints=7807
63.18/63.26	c nbDecision=80500 #constraints=7814
63.58/63.63	c nbDecision=81000 #constraints=7821
63.98/64.02	c nbDecision=81500 #constraints=7863
64.37/64.49	c nbDecision=82000 #constraints=7886
65.07/65.13	c nbDecision=82500 #constraints=7947
65.57/65.64	c nbDecision=83000 #constraints=7993
65.87/65.95	c nbDecision=83500 #constraints=8002
66.37/66.43	c nbDecision=84000 #constraints=8033
66.77/66.88	c nbDecision=84500 #constraints=8066
67.17/67.20	c nbDecision=85000 #constraints=8066
67.68/67.72	c nbDecision=85500 #constraints=8113
68.18/68.23	c nbDecision=86000 #constraints=8167
68.48/68.53	c nbDecision=86500 #constraints=8167
68.98/69.02	c nbDecision=87000 #constraints=8203
69.38/69.48	c nbDecision=87500 #constraints=8231
69.68/69.79	c nbDecision=88000 #constraints=8231
70.17/70.25	c nbDecision=88500 #constraints=8265
70.67/70.74	c nbDecision=89000 #constraints=8304
70.97/71.05	c nbDecision=89500 #constraints=8304
71.38/71.47	c nbDecision=90000 #constraints=8324
71.87/71.90	c nbDecision=90500 #constraints=8333
72.17/72.21	c nbDecision=91000 #constraints=8333
72.57/72.68	c nbDecision=91500 #constraints=8369
73.07/73.14	c nbDecision=92000 #constraints=8409
73.37/73.46	c nbDecision=92500 #constraints=8409
73.77/73.89	c nbDecision=93000 #constraints=8436
74.27/74.31	c nbDecision=93500 #constraints=8440
74.57/74.63	c nbDecision=94000 #constraints=8440
74.97/75.06	c nbDecision=94500 #constraints=8474
75.48/75.58	c nbDecision=95000 #constraints=8513
75.88/75.91	c nbDecision=95500 #constraints=8515
76.27/76.31	c nbDecision=96000 #constraints=8531
76.67/76.76	c nbDecision=96500 #constraints=8552
77.07/77.18	c nbDecision=97000 #constraints=8573
77.57/77.63	c nbDecision=97500 #constraints=8618
78.07/78.17	c nbDecision=98000 #constraints=8676
78.47/78.52	c nbDecision=98500 #constraints=8679
78.87/78.93	c nbDecision=99000 #constraints=8711
79.37/79.42	c nbDecision=99500 #constraints=8749
79.77/79.85	c nbDecision=100000 #constraints=8768
80.27/80.30	c nbDecision=100500 #constraints=8811
80.67/80.78	c nbDecision=101000 #constraints=8839
81.07/81.17	c nbDecision=101500 #constraints=8850
81.57/81.62	c nbDecision=102000 #constraints=8890
81.87/81.98	c restart after 102401 decisions
82.07/82.13	c nbDecision=102500 #constraints=8896
82.38/82.42	c nbDecision=103000 #constraints=8896
82.87/82.96	c nbDecision=103500 #constraints=8934
83.17/83.28	c nbDecision=104000 #constraints=8934
83.77/83.83	c nbDecision=104500 #constraints=9015
84.37/84.44	c nbDecision=105000 #constraints=9099
84.68/84.77	c nbDecision=105500 #constraints=9099
85.17/85.29	c nbDecision=106000 #constraints=9160
85.67/85.71	c nbDecision=106500 #constraints=9165
85.97/86.05	c nbDecision=107000 #constraints=9165
86.57/86.60	c nbDecision=107500 #constraints=9235
87.27/87.31	c nbDecision=108000 #constraints=9327
87.57/87.63	c nbDecision=108500 #constraints=9327
87.97/88.08	c nbDecision=109000 #constraints=9364
88.77/88.84	c nbDecision=109500 #constraints=9443
89.07/89.15	c nbDecision=110000 #constraints=9443
89.47/89.57	c nbDecision=110500 #constraints=9462
90.17/90.24	c nbDecision=111000 #constraints=9589
90.77/90.88	c nbDecision=111500 #constraints=9656
91.28/91.35	c nbDecision=112000 #constraints=9681
91.77/91.82	c nbDecision=112500 #constraints=9718
92.28/92.40	c nbDecision=113000 #constraints=9755
92.77/92.83	c nbDecision=113500 #constraints=9773
93.17/93.27	c nbDecision=114000 #constraints=9802
93.77/93.85	c nbDecision=114500 #constraints=9852
94.17/94.25	c nbDecision=115000 #constraints=9864
94.67/94.78	c nbDecision=115500 #constraints=9923
95.27/95.33	c nbDecision=116000 #constraints=9955
95.67/95.72	c nbDecision=116500 #constraints=9967
96.16/96.23	c nbDecision=117000 #constraints=10009
96.67/96.76	c nbDecision=117500 #constraints=10028
97.06/97.16	c nbDecision=118000 #constraints=10040
97.57/97.66	c nbDecision=118500 #constraints=10083
98.17/98.21	c nbDecision=119000 #constraints=10125
98.47/98.57	c nbDecision=119500 #constraints=10129
98.97/99.02	c nbDecision=120000 #constraints=10158
99.57/99.65	c nbDecision=120500 #constraints=10201
99.97/100.04	c nbDecision=121000 #constraints=10211
100.47/100.54	c nbDecision=121500 #constraints=10249
101.07/101.13	c nbDecision=122000 #constraints=10292
101.47/101.56	c nbDecision=122500 #constraints=10307
101.97/102.02	c nbDecision=123000 #constraints=10333
102.37/102.49	c nbDecision=123500 #constraints=10342
102.77/102.86	c nbDecision=124000 #constraints=10342
103.47/103.51	c nbDecision=124500 #constraints=10386
103.77/103.81	c nbDecision=125000 #constraints=10387
104.26/104.36	c nbDecision=125500 #constraints=10422
104.96/105.01	c nbDecision=126000 #constraints=10483
105.26/105.38	c nbDecision=126500 #constraints=10496
105.86/105.93	c nbDecision=127000 #constraints=10532
106.36/106.41	c nbDecision=127500 #constraints=10571
106.76/106.90	c nbDecision=128000 #constraints=10585
107.36/107.41	c nbDecision=128500 #constraints=10615
107.86/107.91	c nbDecision=129000 #constraints=10654
108.36/108.47	c nbDecision=129500 #constraints=10675
108.87/108.98	c nbDecision=130000 #constraints=10707
109.36/109.46	c nbDecision=130500 #constraints=10748
109.96/110.07	c nbDecision=131000 #constraints=10790
110.47/110.52	c nbDecision=131500 #constraints=10809
110.87/110.97	c nbDecision=132000 #constraints=10835
111.47/111.53	c nbDecision=132500 #constraints=10867
111.77/111.88	c nbDecision=133000 #constraints=10867
112.27/112.33	c nbDecision=133500 #constraints=10885
112.87/112.93	c nbDecision=134000 #constraints=10917
113.27/113.32	c nbDecision=134500 #constraints=10927
113.67/113.76	c nbDecision=135000 #constraints=10949
114.27/114.32	c nbDecision=135500 #constraints=10970
114.67/114.70	c nbDecision=136000 #constraints=10978
115.16/115.24	c nbDecision=136500 #constraints=11024
115.66/115.77	c nbDecision=137000 #constraints=11043
116.06/116.17	c nbDecision=137500 #constraints=11055
116.57/116.62	c nbDecision=138000 #constraints=11081
117.06/117.19	c nbDecision=138500 #constraints=11099
117.57/117.64	c nbDecision=139000 #constraints=11119
118.16/118.29	c nbDecision=139500 #constraints=11193
118.86/118.94	c nbDecision=140000 #constraints=11237
119.26/119.39	c nbDecision=140500 #constraints=11253
119.76/119.86	c nbDecision=141000 #constraints=11279
120.26/120.33	c nbDecision=141500 #constraints=11294
120.76/120.82	c nbDecision=142000 #constraints=11308
121.36/121.43	c nbDecision=142500 #constraints=11393
122.07/122.12	c nbDecision=143000 #constraints=11507
122.66/122.73	c nbDecision=143500 #constraints=11582
123.26/123.38	c nbDecision=144000 #constraints=11630
123.56/123.66	c nbDecision=144500 #constraints=11630
124.06/124.13	c nbDecision=145000 #constraints=11641
124.56/124.68	c nbDecision=145500 #constraints=11709
125.75/125.83	c nbDecision=146000 #constraints=11944
127.36/127.49	c nbDecision=146500 #constraints=12273
129.46/129.50	c nbDecision=147000 #constraints=12587
131.56/131.66	c nbDecision=147500 #constraints=12886
133.26/133.35	c nbDecision=148000 #constraints=13055
134.75/134.81	c nbDecision=148500 #constraints=13168
135.05/135.13	c nbDecision=149000 #constraints=13168
135.45/135.56	c nbDecision=149500 #constraints=13180
136.75/136.85	c nbDecision=150000 #constraints=13273
138.06/138.14	c nbDecision=150500 #constraints=13335
139.36/139.46	c nbDecision=151000 #constraints=13389
139.66/139.79	c nbDecision=151500 #constraints=13389
140.26/140.37	c nbDecision=152000 #constraints=13424
141.86/141.99	c nbDecision=152500 #constraints=13561
145.96/146.07	c nbDecision=153000 #constraints=13876
149.65/149.72	c nbDecision=153500 #constraints=14161
153.86/153.91	c nbDecision=154000 #constraints=14459
157.95/158.00	c nbDecision=154500 #constraints=14752
161.45/161.53	c nbDecision=155000 #constraints=14947
161.75/161.89	c nbDecision=155500 #constraints=14950
162.35/162.49	c nbDecision=156000 #constraints=15001
165.35/165.49	c nbDecision=156500 #constraints=15185
169.55/169.68	c nbDecision=157000 #constraints=15413
174.55/174.66	c nbDecision=157500 #constraints=15701
174.86/174.98	c nbDecision=158000 #constraints=15701
175.45/175.50	c nbDecision=158500 #constraints=15722
177.35/177.49	c nbDecision=159000 #constraints=15816
183.94/184.09	c nbDecision=159500 #constraints=16116
189.95/190.02	c nbDecision=160000 #constraints=16379
197.85/197.94	c nbDecision=160500 #constraints=16764
203.04/203.11	c nbDecision=161000 #constraints=16935
210.64/210.71	c nbDecision=161500 #constraints=17274
219.34/219.42	c nbDecision=162000 #constraints=17617
225.33/225.43	c nbDecision=162500 #constraints=17804
225.63/225.77	c nbDecision=163000 #constraints=17813
226.13/226.28	c nbDecision=163500 #constraints=17826
227.83/227.92	c nbDecision=164000 #constraints=17891
232.13/232.26	c nbDecision=164500 #constraints=17972
236.14/236.28	c nbDecision=165000 #constraints=18028
237.83/237.91	c nbDecision=165500 #constraints=18043
238.23/238.32	c nbDecision=166000 #constraints=18049
238.73/238.84	c nbDecision=166500 #constraints=18069
248.03/248.11	c nbDecision=167000 #constraints=18400
257.83/257.92	c nbDecision=167500 #constraints=18705
268.22/268.35	c nbDecision=168000 #constraints=19026
277.42/277.54	c nbDecision=168500 #constraints=19310
286.52/286.67	c nbDecision=169000 #constraints=19561
294.01/294.18	c nbDecision=169500 #constraints=19732
300.01/300.15	c nbDecision=170000 #constraints=19814
306.41/306.55	c nbDecision=170500 #constraints=19915
311.72/311.82	c nbDecision=171000 #constraints=19974
315.92/316.10	c nbDecision=171500 #constraints=20014
316.31/316.43	c nbDecision=172000 #constraints=20014
316.81/316.91	c nbDecision=172500 #constraints=20030
322.01/322.14	c nbDecision=173000 #constraints=20169
334.21/334.36	c nbDecision=173500 #constraints=20427
346.50/346.65	c nbDecision=174000 #constraints=20756
352.70/352.83	c nbDecision=174500 #constraints=20862
353.00/353.17	c nbDecision=175000 #constraints=20862
353.61/353.79	c nbDecision=175500 #constraints=20902
359.51/359.63	c nbDecision=176000 #constraints=21037
367.50/367.69	c nbDecision=176500 #constraints=21162
374.80/374.98	c nbDecision=177000 #constraints=21261
383.50/383.69	c nbDecision=177500 #constraints=21409
391.40/391.52	c nbDecision=178000 #constraints=21519
398.89/399.03	c nbDecision=178500 #constraints=21626
406.49/406.61	c nbDecision=179000 #constraints=21725
414.60/414.76	c nbDecision=179500 #constraints=21842
422.49/422.61	c nbDecision=180000 #constraints=21950
429.48/429.65	c nbDecision=180500 #constraints=22034
431.09/431.22	c nbDecision=181000 #constraints=22051
431.48/431.65	c nbDecision=181500 #constraints=22060
432.28/432.45	c nbDecision=182000 #constraints=22125
436.78/436.97	c nbDecision=182500 #constraints=22204
437.18/437.32	c nbDecision=183000 #constraints=22204
437.78/437.95	c nbDecision=183500 #constraints=22246
441.99/442.18	c nbDecision=184000 #constraints=22318
442.48/442.61	c nbDecision=184500 #constraints=22328
442.98/443.16	c nbDecision=185000 #constraints=22352
446.68/446.88	c nbDecision=185500 #constraints=22408
447.08/447.22	c nbDecision=186000 #constraints=22408
447.68/447.86	c nbDecision=186500 #constraints=22445
452.08/452.29	c nbDecision=187000 #constraints=22522
452.48/452.64	c nbDecision=187500 #constraints=22531
453.28/453.40	c nbDecision=188000 #constraints=22578
455.67/455.80	c nbDecision=188500 #constraints=22637
456.57/456.70	c nbDecision=189000 #constraints=22651
457.07/457.21	c nbDecision=189500 #constraints=22658
460.37/460.55	c nbDecision=190000 #constraints=22734
464.18/464.31	c nbDecision=190500 #constraints=22819
464.58/464.76	c nbDecision=191000 #constraints=22831
465.08/465.23	c nbDecision=191500 #constraints=22838
468.58/468.76	c nbDecision=192000 #constraints=22920
469.08/469.20	c nbDecision=192500 #constraints=22931
469.78/469.94	c nbDecision=193000 #constraints=22981
474.57/474.77	c nbDecision=193500 #constraints=23064
474.98/475.10	c nbDecision=194000 #constraints=23064
475.47/475.69	c nbDecision=194500 #constraints=23092
479.47/479.61	c nbDecision=195000 #constraints=23151
479.77/479.94	c nbDecision=195500 #constraints=23151
480.37/480.50	c nbDecision=196000 #constraints=23171
482.07/482.26	c nbDecision=196500 #constraints=23211
482.57/482.73	c nbDecision=197000 #constraints=23223
483.27/483.49	c nbDecision=197500 #constraints=23275
484.97/485.17	c nbDecision=198000 #constraints=23294
485.37/485.57	c nbDecision=198500 #constraints=23297
486.57/486.71	c nbDecision=199000 #constraints=23317
492.57/492.79	c nbDecision=199500 #constraints=23422
492.96/493.14	c nbDecision=200000 #constraints=23422
493.56/493.78	c nbDecision=200500 #constraints=23452
506.87/507.03	c nbDecision=201000 #constraints=23772
527.76/527.91	c nbDecision=201500 #constraints=24254
548.95/549.12	c nbDecision=202000 #constraints=24712
570.35/570.58	c nbDecision=202500 #constraints=25146
594.04/594.29	c nbDecision=203000 #constraints=25546
622.23/622.45	c nbDecision=203500 #constraints=25972
648.62/648.87	c nbDecision=204000 #constraints=26378
678.02/678.20	c nbDecision=204500 #constraints=26811
693.02/693.24	c restart after 204801 decisions
694.92/695.16	c nbDecision=205000 #constraints=27049
695.82/696.03	c nbDecision=205500 #constraints=27110
698.02/698.28	c nbDecision=206000 #constraints=27133
698.42/698.63	c nbDecision=206500 #constraints=27133
699.22/699.47	c nbDecision=207000 #constraints=27193
702.32/702.52	c nbDecision=207500 #constraints=27205
702.62/702.89	c nbDecision=208000 #constraints=27205
703.32/703.59	c nbDecision=208500 #constraints=27249
706.72/706.97	c nbDecision=209000 #constraints=27283
707.12/707.31	c nbDecision=209500 #constraints=27283
709.52/709.73	c nbDecision=210000 #constraints=27336
713.21/713.46	c nbDecision=210500 #constraints=27368
713.91/714.11	c nbDecision=211000 #constraints=27398
714.61/714.80	c nbDecision=211500 #constraints=27431
718.71/718.97	c nbDecision=212000 #constraints=27489
719.21/719.40	c nbDecision=212500 #constraints=27496
720.11/720.32	c nbDecision=213000 #constraints=27548
727.00/727.24	c nbDecision=213500 #constraints=27634
727.30/727.52	c nbDecision=214000 #constraints=27634
728.10/728.30	c nbDecision=214500 #constraints=27669
732.50/732.78	c nbDecision=215000 #constraints=27778
738.21/738.46	c nbDecision=215500 #constraints=27853
738.91/739.17	c nbDecision=216000 #constraints=27882
743.71/743.99	c nbDecision=216500 #constraints=27970
752.21/752.49	c nbDecision=217000 #constraints=28035
752.80/753.09	c nbDecision=217500 #constraints=28057
754.31/754.53	c nbDecision=218000 #constraints=28113
755.10/755.30	c nbDecision=218500 #constraints=28123
755.90/756.13	c nbDecision=219000 #constraints=28163
758.00/758.29	c nbDecision=219500 #constraints=28198
758.40/758.63	c nbDecision=220000 #constraints=28198
759.00/759.28	c nbDecision=220500 #constraints=28224
760.70/760.92	c nbDecision=221000 #constraints=28252
761.00/761.28	c nbDecision=221500 #constraints=28252
761.70/761.93	c nbDecision=222000 #constraints=28281
763.50/763.79	c nbDecision=222500 #constraints=28319
763.90/764.17	c nbDecision=223000 #constraints=28319
765.59/765.84	c nbDecision=223500 #constraints=28365
765.89/766.14	c nbDecision=224000 #constraints=28365
766.50/766.73	c nbDecision=224500 #constraints=28377
768.09/768.30	c nbDecision=225000 #constraints=28423
768.39/768.64	c nbDecision=225500 #constraints=28423
769.09/769.36	c nbDecision=226000 #constraints=28456
770.29/770.53	c nbDecision=226500 #constraints=28498
770.69/770.98	c nbDecision=227000 #constraints=28508
771.29/771.56	c nbDecision=227500 #constraints=28530
772.39/772.61	c nbDecision=228000 #constraints=28555
772.79/773.09	c nbDecision=228500 #constraints=28565
773.50/773.78	c nbDecision=229000 #constraints=28600
774.90/775.10	c nbDecision=229500 #constraints=28605
775.40/775.60	c nbDecision=230000 #constraints=28617
776.20/776.40	c nbDecision=230500 #constraints=28664
777.20/777.43	c nbDecision=231000 #constraints=28668
777.80/778.06	c nbDecision=231500 #constraints=28690
779.30/779.56	c nbDecision=232000 #constraints=28744
779.60/779.85	c nbDecision=232500 #constraints=28744
780.40/780.62	c nbDecision=233000 #constraints=28778
782.40/782.61	c nbDecision=233500 #constraints=28812
782.70/782.97	c nbDecision=234000 #constraints=28812
783.20/783.40	c nbDecision=234500 #constraints=28812
784.29/784.52	c nbDecision=235000 #constraints=28833
784.70/784.99	c nbDecision=235500 #constraints=28841
785.49/785.75	c nbDecision=236000 #constraints=28878
786.79/787.05	c nbDecision=236500 #constraints=28890
787.40/787.63	c nbDecision=237000 #constraints=28899
788.89/789.19	c nbDecision=237500 #constraints=28939
789.29/789.53	c nbDecision=238000 #constraints=28939
789.99/790.21	c nbDecision=238500 #constraints=28971
790.79/791.06	c nbDecision=239000 #constraints=28994
791.19/791.45	c nbDecision=239500 #constraints=28994
792.89/793.12	c nbDecision=240000 #constraints=29033
793.19/793.40	c nbDecision=240500 #constraints=29033
793.79/794.07	c nbDecision=241000 #constraints=29051
794.99/795.28	c nbDecision=241500 #constraints=29088
795.39/795.62	c nbDecision=242000 #constraints=29088
795.89/796.19	c nbDecision=242500 #constraints=29103
797.19/797.40	c nbDecision=243000 #constraints=29123
797.49/797.79	c nbDecision=243500 #constraints=29123
798.99/799.21	c nbDecision=244000 #constraints=29157
799.29/799.53	c nbDecision=244500 #constraints=29158
799.89/800.18	c nbDecision=245000 #constraints=29176
801.59/801.88	c nbDecision=245500 #constraints=29210
801.89/802.16	c nbDecision=246000 #constraints=29210
802.39/802.67	c nbDecision=246500 #constraints=29211
803.79/804.03	c nbDecision=247000 #constraints=29228
804.09/804.38	c nbDecision=247500 #constraints=29228
804.79/805.10	c nbDecision=248000 #constraints=29262
805.99/806.27	c nbDecision=248500 #constraints=29271
806.48/806.79	c nbDecision=249000 #constraints=29285
807.38/807.63	c nbDecision=249500 #constraints=29330
808.79/809.07	c nbDecision=250000 #constraints=29347
809.39/809.69	c nbDecision=250500 #constraints=29369
810.59/810.83	c nbDecision=251000 #constraints=29397
810.89/811.12	c nbDecision=251500 #constraints=29397
811.49/811.80	c nbDecision=252000 #constraints=29417
812.49/812.70	c nbDecision=252500 #constraints=29429
812.79/813.04	c nbDecision=253000 #constraints=29429
813.48/813.70	c nbDecision=253500 #constraints=29452
815.18/815.40	c nbDecision=254000 #constraints=29486
815.48/815.75	c nbDecision=254500 #constraints=29486
816.08/816.36	c nbDecision=255000 #constraints=29506
817.28/817.58	c nbDecision=255500 #constraints=29524
817.78/818.08	c nbDecision=256000 #constraints=29535
818.58/818.84	c nbDecision=256500 #constraints=29575
819.78/820.05	c nbDecision=257000 #constraints=29585
820.28/820.52	c nbDecision=257500 #constraints=29589
821.78/822.00	c nbDecision=258000 #constraints=29632
821.98/822.29	c nbDecision=258500 #constraints=29632
822.68/822.91	c nbDecision=259000 #constraints=29643
823.68/823.96	c nbDecision=259500 #constraints=29665
824.08/824.30	c nbDecision=260000 #constraints=29665
824.68/824.98	c nbDecision=260500 #constraints=29684
825.89/826.14	c nbDecision=261000 #constraints=29712
826.29/826.52	c nbDecision=261500 #constraints=29712
826.99/827.29	c nbDecision=262000 #constraints=29748
828.59/828.80	c nbDecision=262500 #constraints=29775
828.99/829.29	c nbDecision=263000 #constraints=29783
830.19/830.49	c nbDecision=263500 #constraints=29816
830.48/830.79	c nbDecision=264000 #constraints=29816
831.18/831.45	c nbDecision=264500 #constraints=29833
832.68/832.99	c nbDecision=265000 #constraints=29869
833.08/833.33	c nbDecision=265500 #constraints=29869
833.68/833.95	c nbDecision=266000 #constraints=29887
835.08/835.37	c nbDecision=266500 #constraints=29905
835.69/835.95	c nbDecision=267000 #constraints=29923
836.48/836.76	c nbDecision=267500 #constraints=29966
837.48/837.71	c nbDecision=268000 #constraints=29969
837.98/838.25	c nbDecision=268500 #constraints=29971
839.28/839.55	c nbDecision=269000 #constraints=29987
839.58/839.89	c nbDecision=269500 #constraints=29987
840.38/840.67	c nbDecision=270000 #constraints=30022
841.48/841.79	c nbDecision=270500 #constraints=30053
842.08/842.31	c nbDecision=271000 #constraints=30068
842.98/843.26	c nbDecision=271500 #constraints=30116
844.08/844.36	c nbDecision=272000 #constraints=30146
844.58/844.85	c nbDecision=272500 #constraints=30157
845.27/845.55	c nbDecision=273000 #constraints=30187
846.17/846.49	c nbDecision=273500 #constraints=30191
846.78/847.06	c nbDecision=274000 #constraints=30206
848.89/849.11	c nbDecision=274500 #constraints=30274
849.08/849.39	c nbDecision=275000 #constraints=30274
849.88/850.16	c nbDecision=275500 #constraints=30301
850.68/850.97	c nbDecision=276000 #constraints=30309
851.08/851.31	c nbDecision=276500 #constraints=30309
851.68/851.97	c nbDecision=277000 #constraints=30330
852.78/853.01	c nbDecision=277500 #constraints=30350
853.28/853.59	c nbDecision=278000 #constraints=30371
853.98/854.22	c nbDecision=278500 #constraints=30383
855.38/855.68	c nbDecision=279000 #constraints=30405
855.88/856.15	c nbDecision=279500 #constraints=30405
857.37/857.66	c nbDecision=280000 #constraints=30468
857.68/857.99	c nbDecision=280500 #constraints=30468
858.37/858.63	c nbDecision=281000 #constraints=30486
859.47/859.70	c nbDecision=281500 #constraints=30494
859.77/860.07	c nbDecision=282000 #constraints=30494
860.57/860.86	c nbDecision=282500 #constraints=30528
861.57/861.86	c nbDecision=283000 #constraints=30548
861.97/862.27	c nbDecision=283500 #constraints=30548
863.67/863.97	c nbDecision=284000 #constraints=30567
863.97/864.26	c nbDecision=284500 #constraints=30567
864.57/864.89	c nbDecision=285000 #constraints=30578
865.67/865.94	c nbDecision=285500 #constraints=30596
866.17/866.42	c nbDecision=286000 #constraints=30607
866.67/866.99	c nbDecision=286500 #constraints=30616
867.97/868.26	c nbDecision=287000 #constraints=30637
868.47/868.79	c nbDecision=287500 #constraints=30648
870.17/870.45	c nbDecision=288000 #constraints=30692
870.47/870.73	c nbDecision=288500 #constraints=30692
871.27/871.55	c nbDecision=289000 #constraints=30722
872.27/872.58	c nbDecision=289500 #constraints=30743
872.77/873.07	c nbDecision=290000 #constraints=30755
873.57/873.80	c nbDecision=290500 #constraints=30782
874.67/874.98	c nbDecision=291000 #constraints=30793
875.38/875.62	c nbDecision=291500 #constraints=30815
876.07/876.38	c nbDecision=292000 #constraints=30843
877.37/877.68	c nbDecision=292500 #constraints=30850
877.97/878.26	c nbDecision=293000 #constraints=30859
880.07/880.36	c nbDecision=293500 #constraints=30887
880.37/880.64	c nbDecision=294000 #constraints=30887
880.97/881.28	c nbDecision=294500 #constraints=30899
882.47/882.75	c nbDecision=295000 #constraints=30914
882.87/883.11	c nbDecision=295500 #constraints=30914
883.37/883.68	c nbDecision=296000 #constraints=30925
884.77/885.01	c nbDecision=296500 #constraints=30930
885.37/885.63	c nbDecision=297000 #constraints=30953
885.97/886.22	c nbDecision=297500 #constraints=30965
886.97/887.27	c nbDecision=298000 #constraints=30979
887.38/887.68	c nbDecision=298500 #constraints=30979
888.27/888.54	c nbDecision=299000 #constraints=31022
890.27/890.57	c nbDecision=299500 #constraints=31036
890.77/891.09	c nbDecision=300000 #constraints=31043
892.67/892.98	c nbDecision=300500 #constraints=31066
893.07/893.31	c nbDecision=301000 #constraints=31066
893.77/894.06	c nbDecision=301500 #constraints=31090
895.67/895.99	c nbDecision=302000 #constraints=31111
896.07/896.35	c nbDecision=302500 #constraints=31111
896.67/896.91	c nbDecision=303000 #constraints=31123
898.17/898.45	c nbDecision=303500 #constraints=31132
898.87/899.11	c nbDecision=304000 #constraints=31155
899.77/900.00	c nbDecision=304500 #constraints=31198
900.87/901.13	c nbDecision=305000 #constraints=31202
901.57/901.82	c nbDecision=305500 #constraints=31223
902.87/903.17	c nbDecision=306000 #constraints=31267
903.16/903.45	c nbDecision=306500 #constraints=31267
904.06/904.31	c nbDecision=307000 #constraints=31297
905.56/905.86	c nbDecision=307500 #constraints=31319
905.96/906.22	c nbDecision=308000 #constraints=31319
906.66/906.94	c nbDecision=308500 #constraints=31344
908.37/908.61	c nbDecision=309000 #constraints=31369
908.86/909.17	c nbDecision=309500 #constraints=31385
909.76/910.08	c nbDecision=310000 #constraints=31430
911.16/911.46	c nbDecision=310500 #constraints=31446
911.66/911.95	c nbDecision=311000 #constraints=31452
913.06/913.33	c nbDecision=311500 #constraints=31479
913.36/913.68	c nbDecision=312000 #constraints=31479
914.16/914.46	c nbDecision=312500 #constraints=31507
915.75/916.08	c nbDecision=313000 #constraints=31531
916.25/916.59	c nbDecision=313500 #constraints=31542
916.96/917.29	c nbDecision=314000 #constraints=31567
918.56/918.85	c nbDecision=314500 #constraints=31573
918.96/919.28	c nbDecision=315000 #constraints=31573
920.66/920.99	c nbDecision=315500 #constraints=31594
921.06/921.35	c nbDecision=316000 #constraints=31594
921.76/922.09	c nbDecision=316500 #constraints=31620
923.06/923.32	c nbDecision=317000 #constraints=31638
923.46/923.78	c nbDecision=317500 #constraints=31647
924.26/924.57	c nbDecision=318000 #constraints=31676
925.56/925.86	c nbDecision=318500 #constraints=31692
925.96/926.25	c nbDecision=319000 #constraints=31692
926.66/926.90	c nbDecision=319500 #constraints=31704
927.96/928.28	c nbDecision=320000 #constraints=31715
928.75/929.01	c nbDecision=320500 #constraints=31733
929.95/930.26	c nbDecision=321000 #constraints=31743
930.36/930.61	c nbDecision=321500 #constraints=31743
931.36/931.60	c nbDecision=322000 #constraints=31793
933.25/933.56	c nbDecision=322500 #constraints=31812
933.66/933.93	c nbDecision=323000 #constraints=31812
934.25/934.58	c nbDecision=323500 #constraints=31825
935.55/935.85	c nbDecision=324000 #constraints=31829
936.25/936.57	c nbDecision=324500 #constraints=31848
937.46/937.75	c nbDecision=325000 #constraints=31882
937.86/938.11	c nbDecision=325500 #constraints=31882
938.56/938.88	c nbDecision=326000 #constraints=31908
940.16/940.48	c nbDecision=326500 #constraints=31916
940.56/940.87	c nbDecision=327000 #constraints=31916
941.26/941.52	c nbDecision=327500 #constraints=31925
942.86/943.13	c nbDecision=328000 #constraints=31937
943.26/943.57	c nbDecision=328500 #constraints=31937
944.96/945.27	c nbDecision=329000 #constraints=31972
945.26/945.57	c nbDecision=329500 #constraints=31972
946.15/946.48	c nbDecision=330000 #constraints=32003
948.25/948.52	c nbDecision=330500 #constraints=32024
948.55/948.88	c nbDecision=331000 #constraints=32024
949.15/949.47	c nbDecision=331500 #constraints=32034
950.85/951.14	c nbDecision=332000 #constraints=32073
951.26/951.51	c nbDecision=332500 #constraints=32073
951.85/952.14	c nbDecision=333000 #constraints=32084
952.85/953.13	c nbDecision=333500 #constraints=32095
953.36/953.61	c nbDecision=334000 #constraints=32098
955.65/955.93	c nbDecision=334500 #constraints=32172
955.95/956.21	c nbDecision=335000 #constraints=32172
956.85/957.14	c nbDecision=335500 #constraints=32207
958.55/958.82	c nbDecision=336000 #constraints=32225
958.95/959.20	c nbDecision=336500 #constraints=32225
959.55/959.82	c nbDecision=337000 #constraints=32241
961.35/961.61	c nbDecision=337500 #constraints=32258
961.95/962.23	c nbDecision=338000 #constraints=32277
963.55/963.87	c nbDecision=338500 #constraints=32313
963.85/964.16	c nbDecision=339000 #constraints=32313
964.65/964.96	c nbDecision=339500 #constraints=32334
966.55/966.84	c nbDecision=340000 #constraints=32352
966.94/967.21	c nbDecision=340500 #constraints=32352
967.54/967.86	c nbDecision=341000 #constraints=32371
968.64/968.91	c nbDecision=341500 #constraints=32383
969.04/969.35	c nbDecision=342000 #constraints=32383
972.45/972.70	c nbDecision=342500 #constraints=32408
972.65/972.98	c nbDecision=343000 #constraints=32408
973.45/973.72	c nbDecision=343500 #constraints=32424
975.35/975.68	c nbDecision=344000 #constraints=32454
975.75/976.05	c nbDecision=344500 #constraints=32454
976.35/976.69	c nbDecision=345000 #constraints=32470
977.55/977.88	c nbDecision=345500 #constraints=32481
977.95/978.30	c nbDecision=346000 #constraints=32481
978.65/978.98	c nbDecision=346500 #constraints=32498
981.75/982.03	c nbDecision=347000 #constraints=32536
982.34/982.61	c nbDecision=347500 #constraints=32546
983.54/983.88	c nbDecision=348000 #constraints=32573
983.94/984.22	c nbDecision=348500 #constraints=32573
984.64/984.91	c nbDecision=349000 #constraints=32589
986.04/986.36	c nbDecision=349500 #constraints=32611
986.45/986.72	c nbDecision=350000 #constraints=32611
986.94/987.24	c nbDecision=350500 #constraints=32611
988.44/988.74	c nbDecision=351000 #constraints=32638
988.94/989.24	c nbDecision=351500 #constraints=32648
989.64/989.98	c nbDecision=352000 #constraints=32668
990.84/991.13	c nbDecision=352500 #constraints=32680
991.54/991.82	c nbDecision=353000 #constraints=32691
993.24/993.59	c nbDecision=353500 #constraints=32716
993.64/993.94	c nbDecision=354000 #constraints=32716
994.34/994.60	c nbDecision=354500 #constraints=32732
995.34/995.63	c nbDecision=355000 #constraints=32740
995.74/996.01	c nbDecision=355500 #constraints=32740
996.35/996.64	c nbDecision=356000 #constraints=32749
997.45/997.72	c nbDecision=356500 #constraints=32752
998.04/998.30	c nbDecision=357000 #constraints=32758
1000.24/1000.59	c nbDecision=357500 #constraints=32783
1000.65/1000.95	c nbDecision=358000 #constraints=32783
1001.44/1001.73	c nbDecision=358500 #constraints=32807
1003.14/1003.46	c nbDecision=359000 #constraints=32817
1003.54/1003.83	c nbDecision=359500 #constraints=32817
1004.34/1004.62	c nbDecision=360000 #constraints=32846
1006.04/1006.31	c nbDecision=360500 #constraints=32866
1006.44/1006.75	c nbDecision=361000 #constraints=32866
1007.24/1007.55	c nbDecision=361500 #constraints=32887
1008.24/1008.56	c nbDecision=362000 #constraints=32889
1008.84/1009.17	c nbDecision=362500 #constraints=32902
1011.64/1011.93	c nbDecision=363000 #constraints=32937
1011.94/1012.20	c nbDecision=363500 #constraints=32937
1012.74/1013.01	c nbDecision=364000 #constraints=32956
1014.13/1014.49	c nbDecision=364500 #constraints=32977
1014.53/1014.85	c nbDecision=365000 #constraints=32977
1015.33/1015.69	c nbDecision=365500 #constraints=33011
1016.93/1017.24	c nbDecision=366000 #constraints=33042
1017.33/1017.63	c nbDecision=366500 #constraints=33042
1017.93/1018.25	c nbDecision=367000 #constraints=33057
1019.33/1019.62	c nbDecision=367500 #constraints=33061
1019.73/1020.05	c nbDecision=368000 #constraints=33061
1021.83/1022.13	c nbDecision=368500 #constraints=33086
1022.13/1022.41	c nbDecision=369000 #constraints=33086
1022.84/1023.20	c nbDecision=369500 #constraints=33104
1024.44/1024.70	c nbDecision=370000 #constraints=33113
1024.84/1025.12	c nbDecision=370500 #constraints=33116
1025.74/1026.05	c nbDecision=371000 #constraints=33148
1028.33/1028.62	c nbDecision=371500 #constraints=33164
1028.83/1029.10	c nbDecision=372000 #constraints=33165
1030.53/1030.88	c nbDecision=372500 #constraints=33192
1030.83/1031.19	c nbDecision=373000 #constraints=33192
1031.44/1031.74	c nbDecision=373500 #constraints=33192
1032.83/1033.11	c nbDecision=374000 #constraints=33212
1033.13/1033.48	c nbDecision=374500 #constraints=33212
1033.83/1034.10	c nbDecision=375000 #constraints=33221
1035.73/1036.03	c nbDecision=375500 #constraints=33242
1036.23/1036.59	c nbDecision=376000 #constraints=33253
1037.73/1038.03	c nbDecision=376500 #constraints=33286
1038.03/1038.39	c nbDecision=377000 #constraints=33294
1038.83/1039.12	c nbDecision=377500 #constraints=33306
1041.03/1041.32	c nbDecision=378000 #constraints=33330
1041.33/1041.68	c nbDecision=378500 #constraints=33330
1042.03/1042.30	c nbDecision=379000 #constraints=33337
1043.63/1043.92	c nbDecision=379500 #constraints=33370
1044.03/1044.30	c nbDecision=380000 #constraints=33370
1044.53/1044.83	c nbDecision=380500 #constraints=33372
1046.52/1046.84	c nbDecision=381000 #constraints=33392
1047.02/1047.38	c nbDecision=381500 #constraints=33402
1047.72/1048.09	c nbDecision=382000 #constraints=33418
1050.23/1050.55	c nbDecision=382500 #constraints=33428
1050.92/1051.28	c nbDecision=383000 #constraints=33443
1053.62/1053.94	c nbDecision=383500 #constraints=33467
1054.02/1054.30	c nbDecision=384000 #constraints=33467
1054.72/1055.05	c nbDecision=384500 #constraints=33484
1055.92/1056.27	c nbDecision=385000 #constraints=33523
1056.32/1056.67	c nbDecision=385500 #constraints=33523
1057.12/1057.40	c nbDecision=386000 #constraints=33536
1058.12/1058.43	c nbDecision=386500 #constraints=33547
1058.72/1059.07	c nbDecision=387000 #constraints=33559
1061.12/1061.42	c nbDecision=387500 #constraints=33575
1061.42/1061.79	c nbDecision=388000 #constraints=33575
1062.22/1062.52	c nbDecision=388500 #constraints=33595
1063.62/1063.98	c nbDecision=389000 #constraints=33610
1064.02/1064.36	c nbDecision=389500 #constraints=33610
1064.72/1065.09	c nbDecision=390000 #constraints=33620
1065.83/1066.14	c nbDecision=390500 #constraints=33640
1066.52/1066.86	c nbDecision=391000 #constraints=33651
1067.73/1068.06	c nbDecision=391500 #constraints=33671
1068.12/1068.42	c nbDecision=392000 #constraints=33671
1068.62/1068.95	c nbDecision=392500 #constraints=33672
1069.93/1070.23	c nbDecision=393000 #constraints=33676
1070.32/1070.63	c nbDecision=393500 #constraints=33676
1071.03/1071.31	c nbDecision=394000 #constraints=33687
1072.02/1072.38	c nbDecision=394500 #constraints=33699
1072.72/1073.06	c nbDecision=395000 #constraints=33719
1074.02/1074.33	c nbDecision=395500 #constraints=33742
1074.32/1074.69	c nbDecision=396000 #constraints=33742
1075.12/1075.46	c nbDecision=396500 #constraints=33766
1076.52/1076.89	c nbDecision=397000 #constraints=33790
1076.92/1077.28	c nbDecision=397500 #constraints=33790
1077.82/1078.16	c nbDecision=398000 #constraints=33812
1079.82/1080.12	c nbDecision=398500 #constraints=33822
1080.32/1080.65	c nbDecision=399000 #constraints=33824
1082.92/1083.21	c nbDecision=399500 #constraints=33851
1083.32/1083.63	c nbDecision=400000 #constraints=33858
1083.92/1084.30	c nbDecision=400500 #constraints=33871
1086.71/1087.06	c nbDecision=401000 #constraints=33907
1087.11/1087.46	c nbDecision=401500 #constraints=33907
1087.81/1088.11	c nbDecision=402000 #constraints=33921
1089.01/1089.32	c nbDecision=402500 #constraints=33944
1089.41/1089.75	c nbDecision=403000 #constraints=33944
1090.11/1090.48	c nbDecision=403500 #constraints=33960
1091.81/1092.19	c nbDecision=404000 #constraints=33975
1092.51/1092.85	c nbDecision=404500 #constraints=33982
1095.32/1095.68	c nbDecision=405000 #constraints=34006
1095.71/1096.04	c nbDecision=405500 #constraints=34006
1096.42/1096.80	c nbDecision=406000 #constraints=34028
1098.71/1099.05	c nbDecision=406500 #constraints=34064
1099.21/1099.57	c nbDecision=407000 #constraints=34074
1100.21/1100.57	c nbDecision=407500 #constraints=34111
1101.41/1101.72	c nbDecision=408000 #constraints=34124
1101.91/1102.28	c nbDecision=408500 #constraints=34131
1103.62/1103.95	c nbDecision=409000 #constraints=34158
1104.02/1104.32	c nbDecision=409500 #constraints=34158
1104.02/1104.39	c restart after 409601 decisions
1105.92/1106.27	c nbDecision=410000 #constraints=34158
1108.71/1109.09	c nbDecision=410500 #constraints=34200
1109.01/1109.38	c nbDecision=411000 #constraints=34200
1109.81/1110.15	c nbDecision=411500 #constraints=34218
1114.11/1114.46	c nbDecision=412000 #constraints=34241
1114.51/1114.85	c nbDecision=412500 #constraints=34241
1115.11/1115.46	c nbDecision=413000 #constraints=34252
1125.60/1125.93	c nbDecision=413500 #constraints=34327
1126.01/1126.36	c nbDecision=414000 #constraints=34329
1126.80/1127.17	c nbDecision=414500 #constraints=34355
1128.11/1128.50	c nbDecision=415000 #constraints=34379
1128.61/1128.93	c nbDecision=415500 #constraints=34379
1129.71/1130.04	c nbDecision=416000 #constraints=34438
1134.01/1134.36	c nbDecision=416500 #constraints=34476
1134.61/1134.93	c nbDecision=417000 #constraints=34487
1135.41/1135.71	c nbDecision=417500 #constraints=34507
1139.40/1139.74	c nbDecision=418000 #constraints=34520
1139.80/1140.17	c nbDecision=418500 #constraints=34520
1140.60/1140.97	c nbDecision=419000 #constraints=34538
1141.80/1142.11	c nbDecision=419500 #constraints=34546
1142.30/1142.60	c nbDecision=420000 #constraints=34546
1144.10/1144.43	c nbDecision=420500 #constraints=34594
1144.40/1144.78	c nbDecision=421000 #constraints=34594
1145.30/1145.67	c nbDecision=421500 #constraints=34625
1147.70/1148.06	c nbDecision=422000 #constraints=34647
1148.10/1148.43	c nbDecision=422500 #constraints=34647
1148.80/1149.13	c nbDecision=423000 #constraints=34666
1149.80/1150.16	c nbDecision=423500 #constraints=34683
1150.20/1150.56	c nbDecision=424000 #constraints=34683
1151.00/1151.37	c nbDecision=424500 #constraints=34701
1151.70/1152.02	c nbDecision=425000 #constraints=34702
1152.29/1152.67	c nbDecision=425500 #constraints=34710
1153.89/1154.21	c nbDecision=426000 #constraints=34738
1154.19/1154.58	c nbDecision=426500 #constraints=34738
1154.99/1155.39	c nbDecision=427000 #constraints=34765
1156.19/1156.50	c nbDecision=427500 #constraints=34775
1156.49/1156.89	c nbDecision=428000 #constraints=34775
1157.49/1157.84	c nbDecision=428500 #constraints=34816
1164.09/1164.41	c nbDecision=429000 #constraints=34859
1164.69/1165.03	c nbDecision=429500 #constraints=34877
1165.39/1165.71	c nbDecision=430000 #constraints=34890
1166.89/1167.24	c nbDecision=430500 #constraints=34899
1167.29/1167.65	c nbDecision=431000 #constraints=34899
1168.29/1168.66	c nbDecision=431500 #constraints=34939
1171.00/1171.30	c nbDecision=432000 #constraints=34981
1171.40/1171.75	c nbDecision=432500 #constraints=34981
1175.09/1175.48	c nbDecision=433000 #constraints=35006
1175.50/1175.88	c nbDecision=433500 #constraints=35008
1176.09/1176.41	c nbDecision=434000 #constraints=35008
1178.69/1179.08	c nbDecision=434500 #constraints=35067
1179.19/1179.52	c nbDecision=435000 #constraints=35081
1179.99/1180.31	c nbDecision=435500 #constraints=35094
1182.19/1182.53	c nbDecision=436000 #constraints=35120
1182.59/1182.96	c nbDecision=436500 #constraints=35123
1183.39/1183.78	c nbDecision=437000 #constraints=35149
1185.28/1185.66	c nbDecision=437500 #constraints=35174
1185.68/1186.05	c nbDecision=438000 #constraints=35174
1186.49/1186.86	c nbDecision=438500 #constraints=35203
1188.88/1189.29	c nbDecision=439000 #constraints=35233
1189.38/1189.72	c nbDecision=439500 #constraints=35233
1191.08/1191.46	c nbDecision=440000 #constraints=35273
1191.98/1192.31	c nbDecision=440500 #constraints=35283
1192.58/1192.99	c nbDecision=441000 #constraints=35288
1193.98/1194.33	c nbDecision=441500 #constraints=35303
1194.38/1194.70	c nbDecision=442000 #constraints=35303
1195.18/1195.52	c nbDecision=442500 #constraints=35326
1196.78/1197.14	c nbDecision=443000 #constraints=35357
1197.28/1197.60	c nbDecision=443500 #constraints=35359
1197.87/1198.25	c nbDecision=444000 #constraints=35365
1198.87/1199.28	c nbDecision=444500 #constraints=35372
1199.69/1200.06	c nbDecision=445000 #constraints=35392
1201.58/1201.92	c nbDecision=445500 #constraints=35435
1201.89/1202.28	c nbDecision=446000 #constraints=35435
1202.58/1202.93	c nbDecision=446500 #constraints=35442
1203.88/1204.22	c nbDecision=447000 #constraints=35454
1204.28/1204.68	c nbDecision=447500 #constraints=35459
1205.18/1205.57	c nbDecision=448000 #constraints=35490
1206.58/1206.95	c nbDecision=448500 #constraints=35495
1207.28/1207.64	c nbDecision=449000 #constraints=35512
1208.98/1209.32	c nbDecision=449500 #constraints=35527
1209.28/1209.69	c nbDecision=450000 #constraints=35527
1210.18/1210.57	c nbDecision=450500 #constraints=35555
1211.37/1211.77	c nbDecision=451000 #constraints=35565
1211.78/1212.20	c nbDecision=451500 #constraints=35567
1212.57/1213.00	c nbDecision=452000 #constraints=35591
1213.77/1214.18	c nbDecision=452500 #constraints=35606
1214.37/1214.75	c nbDecision=453000 #constraints=35614
1215.87/1216.25	c nbDecision=453500 #constraints=35639
1216.18/1216.54	c nbDecision=454000 #constraints=35640
1217.07/1217.42	c nbDecision=454500 #constraints=35662
1218.37/1218.75	c nbDecision=455000 #constraints=35685
1218.77/1219.12	c nbDecision=455500 #constraints=35685
1219.47/1219.84	c nbDecision=456000 #constraints=35703
1220.57/1220.95	c nbDecision=456500 #constraints=35707
1221.07/1221.47	c nbDecision=457000 #constraints=35712
1223.08/1223.43	c nbDecision=457500 #constraints=35752
1223.38/1223.71	c nbDecision=458000 #constraints=35752
1224.38/1224.71	c nbDecision=458500 #constraints=35783
1225.78/1226.12	c nbDecision=459000 #constraints=35794
1226.08/1226.49	c nbDecision=459500 #constraints=35794
1227.08/1227.42	c nbDecision=460000 #constraints=35825
1228.97/1229.34	c nbDecision=460500 #constraints=35862
1229.57/1229.90	c nbDecision=461000 #constraints=35875
1230.17/1230.52	c nbDecision=461500 #constraints=35880
1231.27/1231.68	c nbDecision=462000 #constraints=35892
1232.07/1232.45	c nbDecision=462500 #constraints=35918
1233.67/1234.01	c nbDecision=463000 #constraints=35937
1233.97/1234.32	c nbDecision=463500 #constraints=35937
1234.77/1235.12	c nbDecision=464000 #constraints=35952
1236.27/1236.69	c nbDecision=464500 #constraints=35974
1236.67/1237.08	c nbDecision=465000 #constraints=35974
1237.47/1237.84	c nbDecision=465500 #constraints=35997
1239.07/1239.46	c nbDecision=466000 #constraints=36015
1239.57/1239.99	c nbDecision=466500 #constraints=36023
1241.17/1241.58	c nbDecision=467000 #constraints=36033
1241.47/1241.88	c nbDecision=467500 #constraints=36034
1242.26/1242.65	c nbDecision=468000 #constraints=36044
1244.26/1244.70	c nbDecision=468500 #constraints=36081
1244.66/1245.07	c nbDecision=469000 #constraints=36081
1245.46/1245.89	c nbDecision=469500 #constraints=36103
1247.16/1247.58	c nbDecision=470000 #constraints=36123
1247.66/1248.07	c nbDecision=470500 #constraints=36129
1248.36/1248.73	c nbDecision=471000 #constraints=36139
1249.46/1249.84	c nbDecision=471500 #constraints=36141
1249.86/1250.30	c nbDecision=472000 #constraints=36141
1250.76/1251.10	c nbDecision=472500 #constraints=36161
1252.06/1252.46	c nbDecision=473000 #constraints=36181
1252.77/1253.12	c nbDecision=473500 #constraints=36188
1254.07/1254.43	c nbDecision=474000 #constraints=36200
1254.47/1254.80	c nbDecision=474500 #constraints=36200
1255.17/1255.55	c nbDecision=475000 #constraints=36216
1256.47/1256.82	c nbDecision=475500 #constraints=36231
1256.87/1257.22	c nbDecision=476000 #constraints=36231
1257.47/1257.82	c nbDecision=476500 #constraints=36235
1259.47/1259.80	c nbDecision=477000 #constraints=36260
1259.96/1260.34	c nbDecision=477500 #constraints=36267
1260.86/1261.23	c nbDecision=478000 #constraints=36288
1262.47/1262.86	c nbDecision=478500 #constraints=36311
1263.06/1263.43	c nbDecision=479000 #constraints=36311
1264.86/1265.20	c nbDecision=479500 #constraints=36338
1265.16/1265.57	c nbDecision=480000 #constraints=36338
1266.26/1266.65	c nbDecision=480500 #constraints=36380
1267.66/1268.04	c nbDecision=481000 #constraints=36395
1268.06/1268.49	c nbDecision=481500 #constraints=36395
1270.06/1270.41	c nbDecision=482000 #constraints=36431
1270.36/1270.78	c nbDecision=482500 #constraints=36431
1271.16/1271.51	c nbDecision=483000 #constraints=36446
1272.86/1273.24	c nbDecision=483500 #constraints=36469
1273.26/1273.67	c nbDecision=484000 #constraints=36471
1274.26/1274.64	c nbDecision=484500 #constraints=36505
1275.46/1275.85	c nbDecision=485000 #constraints=36508
1276.06/1276.41	c nbDecision=485500 #constraints=36511
1277.76/1278.19	c nbDecision=486000 #constraints=36543
1278.16/1278.54	c nbDecision=486500 #constraints=36543
1278.86/1279.28	c nbDecision=487000 #constraints=36558
1280.16/1280.56	c nbDecision=487500 #constraints=36572
1280.56/1280.98	c nbDecision=488000 #constraints=36574
1281.16/1281.55	c nbDecision=488500 #constraints=36574
1282.76/1283.19	c nbDecision=489000 #constraints=36594
1283.26/1283.65	c nbDecision=489500 #constraints=36594
1283.95/1284.33	c nbDecision=490000 #constraints=36602
1284.95/1285.38	c nbDecision=490500 #constraints=36604
1285.75/1286.19	c nbDecision=491000 #constraints=36626
1287.45/1287.80	c nbDecision=491500 #constraints=36647
1287.66/1288.09	c nbDecision=492000 #constraints=36647
1288.55/1288.91	c nbDecision=492500 #constraints=36661
1289.86/1290.25	c nbDecision=493000 #constraints=36670
1290.25/1290.64	c nbDecision=493500 #constraints=36670
1290.85/1291.29	c nbDecision=494000 #constraints=36680
1292.05/1292.44	c nbDecision=494500 #constraints=36683
1292.65/1293.03	c nbDecision=495000 #constraints=36692
1294.05/1294.41	c nbDecision=495500 #constraints=36703
1294.35/1294.78	c nbDecision=496000 #constraints=36703
1295.15/1295.53	c nbDecision=496500 #constraints=36718
1296.65/1297.04	c nbDecision=497000 #constraints=36751
1297.05/1297.43	c nbDecision=497500 #constraints=36751
1297.95/1298.33	c nbDecision=498000 #constraints=36781
1299.05/1299.50	c nbDecision=498500 #constraints=36783
1299.55/1299.99	c nbDecision=499000 #constraints=36783
1300.95/1301.34	c nbDecision=499500 #constraints=36792
1301.35/1301.72	c nbDecision=500000 #constraints=36792
1302.15/1302.58	c nbDecision=500500 #constraints=36816
1303.55/1303.96	c nbDecision=501000 #constraints=36830
1303.95/1304.38	c nbDecision=501500 #constraints=36830
1304.75/1305.14	c nbDecision=502000 #constraints=36844
1306.24/1306.69	c nbDecision=502500 #constraints=36856
1306.75/1307.18	c nbDecision=503000 #constraints=36856
1308.14/1308.52	c nbDecision=503500 #constraints=36858
1308.44/1308.89	c nbDecision=504000 #constraints=36858
1309.34/1309.78	c nbDecision=504500 #constraints=36883
1310.64/1311.06	c nbDecision=505000 #constraints=36890
1311.14/1311.51	c nbDecision=505500 #constraints=36890
1312.54/1312.99	c nbDecision=506000 #constraints=36902
1312.84/1313.28	c nbDecision=506500 #constraints=36902
1313.74/1314.10	c nbDecision=507000 #constraints=36917
1315.14/1315.51	c nbDecision=507500 #constraints=36938
1315.44/1315.88	c nbDecision=508000 #constraints=36938
1316.34/1316.72	c nbDecision=508500 #constraints=36961
1317.44/1317.85	c nbDecision=509000 #constraints=36965
1317.83/1318.27	c nbDecision=509500 #constraints=36965
1318.73/1319.19	c nbDecision=510000 #constraints=36990
1320.33/1320.71	c nbDecision=510500 #constraints=36995
1320.93/1321.38	c nbDecision=511000 #constraints=37004
1322.94/1323.34	c nbDecision=511500 #constraints=37022
1323.33/1323.71	c nbDecision=512000 #constraints=37022
1324.04/1324.48	c nbDecision=512500 #constraints=37037
1325.84/1326.27	c nbDecision=513000 #constraints=37068
1326.25/1326.66	c nbDecision=513500 #constraints=37068
1327.14/1327.55	c nbDecision=514000 #constraints=37096
1328.35/1328.72	c nbDecision=514500 #constraints=37105
1329.04/1329.41	c nbDecision=515000 #constraints=37127
1329.94/1330.34	c nbDecision=515500 #constraints=37155
1331.24/1331.60	c nbDecision=516000 #constraints=37159
1331.84/1332.26	c nbDecision=516500 #constraints=37167
1333.54/1333.99	c nbDecision=517000 #constraints=37197
1333.94/1334.36	c nbDecision=517500 #constraints=37197
1334.64/1335.08	c nbDecision=518000 #constraints=37208
1335.84/1336.26	c nbDecision=518500 #constraints=37210
1336.24/1336.68	c nbDecision=519000 #constraints=37210
1337.93/1338.36	c nbDecision=519500 #constraints=37234
1338.24/1338.67	c nbDecision=520000 #constraints=37234
1339.03/1339.50	c nbDecision=520500 #constraints=37246
1340.83/1341.26	c nbDecision=521000 #constraints=37269
1341.23/1341.67	c nbDecision=521500 #constraints=37269
1341.83/1342.25	c nbDecision=522000 #constraints=37270
1343.13/1343.55	c nbDecision=522500 #constraints=37275
1343.63/1344.01	c nbDecision=523000 #constraints=37275
1344.33/1344.75	c nbDecision=523500 #constraints=37285
1345.53/1345.96	c nbDecision=524000 #constraints=37288
1346.13/1346.57	c nbDecision=524500 #constraints=37294
1347.93/1348.38	c nbDecision=525000 #constraints=37301
1348.33/1348.76	c nbDecision=525500 #constraints=37301
1349.13/1349.51	c nbDecision=526000 #constraints=37316
1351.03/1351.45	c nbDecision=526500 #constraints=37344
1351.43/1351.85	c nbDecision=527000 #constraints=37344
1352.34/1352.74	c nbDecision=527500 #constraints=37369
1354.13/1354.60	c nbDecision=528000 #constraints=37379
1354.63/1355.06	c nbDecision=528500 #constraints=37379
1356.94/1357.36	c nbDecision=529000 #constraints=37418
1357.33/1357.77	c nbDecision=529500 #constraints=37422
1357.93/1358.40	c nbDecision=530000 #constraints=37425
1359.53/1359.91	c nbDecision=530500 #constraints=37429
1359.93/1360.31	c nbDecision=531000 #constraints=37429
1360.73/1361.18	c nbDecision=531500 #constraints=37452
1362.43/1362.83	c nbDecision=532000 #constraints=37477
1363.03/1363.48	c nbDecision=532500 #constraints=37491
1364.82/1365.21	c nbDecision=533000 #constraints=37518
1365.12/1365.51	c nbDecision=533500 #constraints=37518
1365.83/1366.21	c nbDecision=534000 #constraints=37519
1367.52/1367.91	c nbDecision=534500 #constraints=37556
1367.82/1368.30	c nbDecision=535000 #constraints=37556
1368.82/1369.23	c nbDecision=535500 #constraints=37587
1370.42/1370.80	c nbDecision=536000 #constraints=37608
1371.02/1371.42	c nbDecision=536500 #constraints=37617
1372.53/1372.92	c nbDecision=537000 #constraints=37634
1372.83/1373.23	c nbDecision=537500 #constraints=37634
1373.63/1374.08	c nbDecision=538000 #constraints=37651
1375.13/1375.51	c nbDecision=538500 #constraints=37661
1375.53/1375.92	c nbDecision=539000 #constraints=37661
1376.23/1376.68	c nbDecision=539500 #constraints=37669
1377.42/1377.86	c nbDecision=540000 #constraints=37687
1378.12/1378.51	c nbDecision=540500 #constraints=37692
1379.52/1379.91	c nbDecision=541000 #constraints=37697
1379.82/1380.29	c nbDecision=541500 #constraints=37697
1380.42/1380.90	c nbDecision=542000 #constraints=37699
1381.72/1382.17	c nbDecision=542500 #constraints=37715
1382.52/1382.90	c nbDecision=543000 #constraints=37736
1384.22/1384.62	c nbDecision=543500 #constraints=37752
1384.53/1384.92	c nbDecision=544000 #constraints=37752
1385.52/1385.91	c nbDecision=544500 #constraints=37774
1386.92/1387.32	c nbDecision=545000 #constraints=37782
1387.32/1387.73	c nbDecision=545500 #constraints=37782
1387.92/1388.39	c nbDecision=546000 #constraints=37789
1389.62/1390.03	c nbDecision=546500 #constraints=37802
1390.02/1390.49	c nbDecision=547000 #constraints=37802
1392.12/1392.58	c nbDecision=547500 #constraints=37830
1392.42/1392.89	c nbDecision=548000 #constraints=37830
1393.22/1393.62	c nbDecision=548500 #constraints=37836
1394.72/1395.11	c nbDecision=549000 #constraints=37861
1395.12/1395.51	c nbDecision=549500 #constraints=37861
1395.81/1396.22	c nbDecision=550000 #constraints=37872
1397.21/1397.60	c nbDecision=550500 #constraints=37878
1397.81/1398.22	c nbDecision=551000 #constraints=37893
1398.72/1399.16	c nbDecision=551500 #constraints=37913
1399.82/1400.26	c nbDecision=552000 #constraints=37916
1400.51/1400.94	c nbDecision=552500 #constraints=37928
1402.02/1402.40	c nbDecision=553000 #constraints=37933
1402.31/1402.78	c nbDecision=553500 #constraints=37933
1403.22/1403.70	c nbDecision=554000 #constraints=37956
1404.51/1404.94	c nbDecision=554500 #constraints=37958
1404.91/1405.37	c nbDecision=555000 #constraints=37958
1405.71/1406.13	c nbDecision=555500 #constraints=37965
1407.61/1408.02	c nbDecision=556000 #constraints=37993
1408.31/1408.71	c nbDecision=556500 #constraints=37997
1410.21/1410.63	c nbDecision=557000 #constraints=38017
1410.61/1411.02	c nbDecision=557500 #constraints=38017
1411.31/1411.70	c nbDecision=558000 #constraints=38026
1412.62/1413.02	c nbDecision=558500 #constraints=38036
1413.12/1413.60	c nbDecision=559000 #constraints=38045
1415.32/1415.77	c nbDecision=559500 #constraints=38079
1415.61/1416.07	c nbDecision=560000 #constraints=38079
1416.42/1416.89	c nbDecision=560500 #constraints=38088
1417.82/1418.28	c nbDecision=561000 #constraints=38092
1418.21/1418.68	c nbDecision=561500 #constraints=38092
1419.01/1419.49	c nbDecision=562000 #constraints=38111
1420.51/1420.95	c nbDecision=562500 #constraints=38120
1421.11/1421.51	c nbDecision=563000 #constraints=38127
1421.82/1422.21	c nbDecision=563500 #constraints=38133
1422.92/1423.31	c nbDecision=564000 #constraints=38138
1423.71/1424.15	c nbDecision=564500 #constraints=38149
1425.51/1425.90	c nbDecision=565000 #constraints=38186
1425.81/1426.28	c nbDecision=565500 #constraints=38186
1426.61/1427.00	c nbDecision=566000 #constraints=38195
1427.91/1428.32	c nbDecision=566500 #constraints=38206
1428.41/1428.86	c nbDecision=567000 #constraints=38215
1429.51/1429.94	c nbDecision=567500 #constraints=38249
1430.71/1431.17	c nbDecision=568000 #constraints=38261
1431.31/1431.73	c nbDecision=568500 #constraints=38261
1432.91/1433.31	c nbDecision=569000 #constraints=38281
1433.20/1433.69	c nbDecision=569500 #constraints=38281
1433.91/1434.37	c nbDecision=570000 #constraints=38287
1435.40/1435.85	c nbDecision=570500 #constraints=38299
1436.00/1436.43	c nbDecision=571000 #constraints=38308
1437.80/1438.28	c nbDecision=571500 #constraints=38336
1438.10/1438.57	c nbDecision=572000 #constraints=38336
1438.90/1439.39	c nbDecision=572500 #constraints=38346
1440.80/1441.27	c nbDecision=573000 #constraints=38359
1441.20/1441.66	c nbDecision=573500 #constraints=38359
1441.90/1442.40	c nbDecision=574000 #constraints=38364
1443.11/1443.56	c nbDecision=574500 #constraints=38366
1443.91/1444.35	c nbDecision=575000 #constraints=38375
1445.41/1445.84	c nbDecision=575500 #constraints=38386
1445.81/1446.23	c nbDecision=576000 #constraints=38386
1446.41/1446.85	c nbDecision=576500 #constraints=38387
1447.90/1448.38	c nbDecision=577000 #constraints=38412
1448.60/1449.05	c nbDecision=577500 #constraints=38432
1449.41/1449.81	c nbDecision=578000 #constraints=38442
1450.80/1451.26	c nbDecision=578500 #constraints=38446
1451.61/1452.02	c nbDecision=579000 #constraints=38464
1453.10/1453.57	c nbDecision=579500 #constraints=38472
1453.50/1453.96	c nbDecision=580000 #constraints=38472
1454.40/1454.82	c nbDecision=580500 #constraints=38497
1455.70/1456.11	c nbDecision=581000 #constraints=38505
1456.20/1456.65	c nbDecision=581500 #constraints=38510
1457.00/1457.40	c nbDecision=582000 #constraints=38514
1458.20/1458.69	c nbDecision=582500 #constraints=38526
1459.00/1459.43	c nbDecision=583000 #constraints=38528
1460.50/1460.94	c nbDecision=583500 #constraints=38533
1461.00/1461.45	c nbDecision=584000 #constraints=38541
1461.80/1462.29	c nbDecision=584500 #constraints=38558
1463.30/1463.71	c nbDecision=585000 #constraints=38578
1463.80/1464.21	c nbDecision=585500 #constraints=38578
1465.60/1466.03	c nbDecision=586000 #constraints=38609
1466.00/1466.42	c nbDecision=586500 #constraints=38609
1466.70/1467.11	c nbDecision=587000 #constraints=38614
1468.00/1468.44	c nbDecision=587500 #constraints=38623
1468.50/1468.90	c nbDecision=588000 #constraints=38623
1469.99/1470.40	c nbDecision=588500 #constraints=38626
1470.30/1470.72	c nbDecision=589000 #constraints=38626
1470.99/1471.43	c nbDecision=589500 #constraints=38627
1472.79/1473.20	c nbDecision=590000 #constraints=38652
1473.19/1473.63	c nbDecision=590500 #constraints=38652
1473.99/1474.46	c nbDecision=591000 #constraints=38660
1475.40/1475.80	c nbDecision=591500 #constraints=38676
1476.30/1476.76	c nbDecision=592000 #constraints=38698
1478.10/1478.52	c nbDecision=592500 #constraints=38735
1478.50/1478.92	c nbDecision=593000 #constraints=38735
1479.30/1479.70	c nbDecision=593500 #constraints=38750
1481.00/1481.47	c nbDecision=594000 #constraints=38762
1481.50/1481.95	c nbDecision=594500 #constraints=38762
1483.40/1483.88	c nbDecision=595000 #constraints=38783
1483.70/1484.19	c nbDecision=595500 #constraints=38783
1484.70/1485.12	c nbDecision=596000 #constraints=38803
1486.20/1486.65	c nbDecision=596500 #constraints=38810
1486.60/1487.04	c nbDecision=597000 #constraints=38810
1487.39/1487.87	c nbDecision=597500 #constraints=38826
1488.79/1489.29	c nbDecision=598000 #constraints=38829
1489.29/1489.72	c nbDecision=598500 #constraints=38829
1490.00/1490.45	c nbDecision=599000 #constraints=38841
1491.29/1491.74	c nbDecision=599500 #constraints=38847
1491.99/1492.49	c nbDecision=600000 #constraints=38860
1493.59/1494.04	c nbDecision=600500 #constraints=38875
1493.99/1494.42	c nbDecision=601000 #constraints=38875
1494.59/1495.04	c nbDecision=601500 #constraints=38877
1496.09/1496.54	c nbDecision=602000 #constraints=38890
1496.49/1496.97	c nbDecision=602500 #constraints=38890
1497.39/1497.82	c nbDecision=603000 #constraints=38904
1499.49/1499.98	c nbDecision=603500 #constraints=38926
1500.29/1500.77	c nbDecision=604000 #constraints=38934
1502.69/1503.13	c nbDecision=604500 #constraints=38963
1503.09/1503.52	c nbDecision=605000 #constraints=38963
1503.79/1504.28	c nbDecision=605500 #constraints=38975
1505.19/1505.66	c nbDecision=606000 #constraints=38978
1505.69/1506.14	c nbDecision=606500 #constraints=38978
1507.48/1507.97	c nbDecision=607000 #constraints=39009
1507.78/1508.28	c nbDecision=607500 #constraints=39009
1508.58/1509.08	c nbDecision=608000 #constraints=39016
1510.59/1511.09	c nbDecision=608500 #constraints=39040
1511.09/1511.57	c nbDecision=609000 #constraints=39045
1511.89/1512.30	c nbDecision=609500 #constraints=39053
1513.09/1513.57	c nbDecision=610000 #constraints=39056
1513.59/1514.05	c nbDecision=610500 #constraints=39056
1516.99/1517.48	c nbDecision=611000 #constraints=39099
1517.29/1517.77	c nbDecision=611500 #constraints=39099
1517.99/1518.48	c nbDecision=612000 #constraints=39099
1519.69/1520.19	c nbDecision=612500 #constraints=39116
1520.19/1520.61	c nbDecision=613000 #constraints=39116
1521.18/1521.61	c nbDecision=613500 #constraints=39137
1522.58/1523.06	c nbDecision=614000 #constraints=39147
1523.58/1524.03	c nbDecision=614500 #constraints=39167
1525.08/1525.50	c nbDecision=615000 #constraints=39171
1525.38/1525.89	c nbDecision=615500 #constraints=39171
1526.18/1526.69	c nbDecision=616000 #constraints=39181
1527.58/1528.05	c nbDecision=616500 #constraints=39184
1528.38/1528.85	c nbDecision=617000 #constraints=39194
1530.77/1531.26	c nbDecision=617500 #constraints=39226
1531.17/1531.64	c nbDecision=618000 #constraints=39226
1531.96/1532.50	c nbDecision=618500 #constraints=39241
1533.46/1533.94	c nbDecision=619000 #constraints=39256
1533.96/1534.47	c nbDecision=619500 #constraints=39263
1534.76/1535.22	c nbDecision=620000 #constraints=39266
1536.06/1536.51	c nbDecision=620500 #constraints=39269
1536.66/1537.13	c nbDecision=621000 #constraints=39274
1538.16/1538.66	c nbDecision=621500 #constraints=39284
1538.46/1538.96	c nbDecision=622000 #constraints=39284
1539.46/1539.90	c nbDecision=622500 #constraints=39300
1541.45/1541.91	c nbDecision=623000 #constraints=39321
1541.85/1542.30	c nbDecision=623500 #constraints=39321
1542.85/1543.38	c nbDecision=624000 #constraints=39356
1544.64/1545.14	c nbDecision=624500 #constraints=39378
1545.04/1545.57	c nbDecision=625000 #constraints=39378
1545.83/1546.39	c nbDecision=625500 #constraints=39395
1547.33/1547.84	c nbDecision=626000 #constraints=39401
1547.83/1548.37	c nbDecision=626500 #constraints=39401
1549.73/1550.21	c nbDecision=627000 #constraints=39422
1550.13/1550.60	c nbDecision=627500 #constraints=39422
1550.82/1551.38	c nbDecision=628000 #constraints=39436
1552.62/1553.17	c nbDecision=628500 #constraints=39468
1553.01/1553.59	c nbDecision=629000 #constraints=39468
1553.82/1554.31	c nbDecision=629500 #constraints=39479
1555.41/1555.91	c nbDecision=630000 #constraints=39485
1556.01/1556.57	c nbDecision=630500 #constraints=39498
1558.00/1558.54	c nbDecision=631000 #constraints=39535
1558.30/1558.82	c nbDecision=631500 #constraints=39535
1559.20/1559.75	c nbDecision=632000 #constraints=39548
1560.50/1561.08	c nbDecision=632500 #constraints=39550
1561.00/1561.50	c nbDecision=633000 #constraints=39550
1561.80/1562.39	c nbDecision=633500 #constraints=39570
1563.40/1563.91	c nbDecision=634000 #constraints=39578
1563.99/1564.50	c nbDecision=634500 #constraints=39587
1565.90/1566.46	c nbDecision=635000 #constraints=39614
1566.19/1566.75	c nbDecision=635500 #constraints=39614
1567.09/1567.60	c nbDecision=636000 #constraints=39621
1568.59/1569.12	c nbDecision=636500 #constraints=39629
1568.99/1569.52	c nbDecision=637000 #constraints=39629
1569.69/1570.25	c nbDecision=637500 #constraints=39639
1571.19/1571.78	c nbDecision=638000 #constraints=39652
1571.89/1572.44	c nbDecision=638500 #constraints=39666
1573.89/1574.41	c nbDecision=639000 #constraints=39697
1574.19/1574.72	c nbDecision=639500 #constraints=39697
1574.89/1575.47	c nbDecision=640000 #constraints=39699
1576.68/1577.23	c nbDecision=640500 #constraints=39718
1577.08/1577.63	c nbDecision=641000 #constraints=39718
1578.08/1578.68	c nbDecision=641500 #constraints=39750
1579.58/1580.18	c nbDecision=642000 #constraints=39753
1580.09/1580.67	c nbDecision=642500 #constraints=39753
1581.08/1581.60	c nbDecision=643000 #constraints=39774
1582.17/1582.70	c nbDecision=643500 #constraints=39778
1582.77/1583.36	c nbDecision=644000 #constraints=39778
1584.48/1585.00	c nbDecision=644500 #constraints=39786
1584.77/1585.39	c nbDecision=645000 #constraints=39786
1585.68/1586.27	c nbDecision=645500 #constraints=39804
1587.47/1588.05	c nbDecision=646000 #constraints=39821
1587.97/1588.60	c nbDecision=646500 #constraints=39830
1589.17/1589.71	c nbDecision=647000 #constraints=39865
1590.47/1591.05	c nbDecision=647500 #constraints=39882
1591.17/1591.73	c nbDecision=648000 #constraints=39887
1592.87/1593.41	c nbDecision=648500 #constraints=39898
1593.17/1593.80	c nbDecision=649000 #constraints=39898
1593.97/1594.55	c nbDecision=649500 #constraints=39906
1595.37/1595.98	c nbDecision=650000 #constraints=39916
1595.87/1596.40	c nbDecision=650500 #constraints=39916
1596.47/1597.09	c nbDecision=651000 #constraints=39920
1597.77/1598.35	c nbDecision=651500 #constraints=39922
1598.27/1598.85	c nbDecision=652000 #constraints=39922
1600.36/1600.92	c nbDecision=652500 #constraints=39953
1600.66/1601.26	c nbDecision=653000 #constraints=39953
1601.66/1602.27	c nbDecision=653500 #constraints=39976
1603.27/1603.83	c nbDecision=654000 #constraints=40001
1603.66/1604.23	c nbDecision=654500 #constraints=40001
1604.66/1605.25	c nbDecision=655000 #constraints=40031
1606.16/1606.75	c nbDecision=655500 #constraints=40042
1606.86/1607.40	c nbDecision=656000 #constraints=40049
1608.76/1609.31	c nbDecision=656500 #constraints=40069
1609.16/1609.70	c nbDecision=657000 #constraints=40069
1609.76/1610.40	c nbDecision=657500 #constraints=40074
1611.16/1611.78	c nbDecision=658000 #constraints=40085
1611.66/1612.23	c nbDecision=658500 #constraints=40085
1612.46/1613.05	c nbDecision=659000 #constraints=40088
1613.96/1614.57	c nbDecision=659500 #constraints=40103
1614.76/1615.38	c nbDecision=660000 #constraints=40109
1616.26/1616.86	c nbDecision=660500 #constraints=40114
1616.66/1617.25	c nbDecision=661000 #constraints=40114
1617.36/1617.97	c nbDecision=661500 #constraints=40117
1619.06/1619.65	c nbDecision=662000 #constraints=40137
1619.46/1620.08	c nbDecision=662500 #constraints=40137
1620.26/1620.90	c nbDecision=663000 #constraints=40144
1621.76/1622.32	c nbDecision=663500 #constraints=40148
1622.36/1623.00	c nbDecision=664000 #constraints=40151
1624.76/1625.33	c nbDecision=664500 #constraints=40186
1625.17/1625.72	c nbDecision=665000 #constraints=40186
1626.06/1626.61	c nbDecision=665500 #constraints=40206
1627.56/1628.16	c nbDecision=666000 #constraints=40221
1627.96/1628.59	c nbDecision=666500 #constraints=40221
1628.76/1629.36	c nbDecision=667000 #constraints=40232
1630.67/1631.23	c nbDecision=667500 #constraints=40248
1631.16/1631.73	c nbDecision=668000 #constraints=40248
1633.26/1633.89	c nbDecision=668500 #constraints=40262
1633.66/1634.21	c nbDecision=669000 #constraints=40262
1634.46/1635.09	c nbDecision=669500 #constraints=40275
1636.16/1636.75	c nbDecision=670000 #constraints=40292
1636.56/1637.17	c nbDecision=670500 #constraints=40292
1637.46/1638.01	c nbDecision=671000 #constraints=40304
1638.96/1639.59	c nbDecision=671500 #constraints=40313
1639.46/1640.09	c nbDecision=672000 #constraints=40313
1641.56/1642.16	c nbDecision=672500 #constraints=40329
1641.86/1642.45	c nbDecision=673000 #constraints=40329
1642.66/1643.25	c nbDecision=673500 #constraints=40333
1645.06/1645.64	c nbDecision=674000 #constraints=40361
1645.45/1646.05	c nbDecision=674500 #constraints=40361
1646.06/1646.69	c nbDecision=675000 #constraints=40361
1647.95/1648.55	c nbDecision=675500 #constraints=40387
1648.75/1649.36	c nbDecision=676000 #constraints=40414
1649.75/1650.39	c nbDecision=676500 #constraints=40436
1651.35/1651.93	c nbDecision=677000 #constraints=40454
1652.05/1652.69	c nbDecision=677500 #constraints=40462
1653.85/1654.42	c nbDecision=678000 #constraints=40477
1654.25/1654.81	c nbDecision=678500 #constraints=40477
1655.05/1655.62	c nbDecision=679000 #constraints=40489
1656.55/1657.13	c nbDecision=679500 #constraints=40492
1656.95/1657.58	c nbDecision=680000 #constraints=40492
1657.75/1658.38	c nbDecision=680500 #constraints=40502
1659.45/1660.08	c nbDecision=681000 #constraints=40519
1660.25/1660.80	c nbDecision=681500 #constraints=40529
1661.85/1662.43	c nbDecision=682000 #constraints=40542
1662.25/1662.81	c nbDecision=682500 #constraints=40542
1662.95/1663.57	c nbDecision=683000 #constraints=40549
1664.45/1665.01	c nbDecision=683500 #constraints=40571
1664.85/1665.45	c nbDecision=684000 #constraints=40571
1665.65/1666.27	c nbDecision=684500 #constraints=40578
1667.14/1667.70	c nbDecision=685000 #constraints=40593
1668.16/1668.72	c nbDecision=685500 #constraints=40611
1669.65/1670.29	c nbDecision=686000 #constraints=40638
1670.05/1670.68	c nbDecision=686500 #constraints=40638
1670.75/1671.33	c nbDecision=687000 #constraints=40638
1672.05/1672.69	c nbDecision=687500 #constraints=40643
1672.75/1673.30	c nbDecision=688000 #constraints=40650
1674.55/1675.15	c nbDecision=688500 #constraints=40681
1674.85/1675.43	c nbDecision=689000 #constraints=40681
1675.75/1676.32	c nbDecision=689500 #constraints=40691
1677.55/1678.17	c nbDecision=690000 #constraints=40729
1677.95/1678.56	c nbDecision=690500 #constraints=40729
1678.95/1679.51	c nbDecision=691000 #constraints=40751
1680.35/1680.91	c nbDecision=691500 #constraints=40759
1681.15/1681.71	c nbDecision=692000 #constraints=40786
1681.95/1682.54	c nbDecision=692500 #constraints=40795
1683.75/1684.34	c nbDecision=693000 #constraints=40805
1684.35/1684.98	c nbDecision=693500 #constraints=40812
1686.54/1687.11	c nbDecision=694000 #constraints=40837
1686.85/1687.46	c nbDecision=694500 #constraints=40837
1687.64/1688.28	c nbDecision=695000 #constraints=40846
1689.24/1689.83	c nbDecision=695500 #constraints=40866
1689.64/1690.25	c nbDecision=696000 #constraints=40866
1690.54/1691.16	c nbDecision=696500 #constraints=40880
1691.74/1692.38	c nbDecision=697000 #constraints=40882
1692.44/1693.08	c nbDecision=697500 #constraints=40891
1694.55/1695.15	c nbDecision=698000 #constraints=40917
1694.94/1695.50	c nbDecision=698500 #constraints=40917
1695.54/1696.18	c nbDecision=699000 #constraints=40917
1697.04/1697.67	c nbDecision=699500 #constraints=40926
1697.54/1698.18	c nbDecision=700000 #constraints=40926
1699.84/1700.41	c nbDecision=700500 #constraints=40950
1700.04/1700.69	c nbDecision=701000 #constraints=40950
1701.24/1701.89	c nbDecision=701500 #constraints=40984
1702.74/1703.40	c nbDecision=702000 #constraints=40999
1703.34/1703.94	c nbDecision=702500 #constraints=41008
1704.04/1704.67	c nbDecision=703000 #constraints=41011
1705.33/1705.99	c nbDecision=703500 #constraints=41018
1705.93/1706.54	c nbDecision=704000 #constraints=41018
1708.03/1708.67	c nbDecision=704500 #constraints=41036
1708.44/1709.06	c nbDecision=705000 #constraints=41036
1709.24/1709.90	c nbDecision=705500 #constraints=41047
1711.24/1711.87	c nbDecision=706000 #constraints=41070
1711.74/1712.31	c nbDecision=706500 #constraints=41070
1712.54/1713.17	c nbDecision=707000 #constraints=41077
1714.04/1714.65	c nbDecision=707500 #constraints=41092
1714.84/1715.42	c nbDecision=708000 #constraints=41097
1716.54/1717.13	c nbDecision=708500 #constraints=41116
1716.94/1717.53	c nbDecision=709000 #constraints=41116
1717.74/1718.34	c nbDecision=709500 #constraints=41130
1719.44/1720.00	c nbDecision=710000 #constraints=41136
1720.04/1720.65	c nbDecision=710500 #constraints=41143
1722.04/1722.62	c nbDecision=711000 #constraints=41168
1722.34/1722.91	c nbDecision=711500 #constraints=41168
1723.04/1723.66	c nbDecision=712000 #constraints=41168
1724.64/1725.24	c nbDecision=712500 #constraints=41189
1725.13/1725.74	c nbDecision=713000 #constraints=41195
1726.04/1726.66	c nbDecision=713500 #constraints=41205
1727.63/1728.29	c nbDecision=714000 #constraints=41214
1728.23/1728.83	c nbDecision=714500 #constraints=41214
1730.43/1731.06	c nbDecision=715000 #constraints=41240
1730.84/1731.44	c nbDecision=715500 #constraints=41240
1731.53/1732.10	c nbDecision=716000 #constraints=41240
1733.23/1733.86	c nbDecision=716500 #constraints=41254
1733.63/1734.29	c nbDecision=717000 #constraints=41254
1735.73/1736.38	c nbDecision=717500 #constraints=41271
1736.03/1736.67	c nbDecision=718000 #constraints=41271
1736.93/1737.57	c nbDecision=718500 #constraints=41281
1738.83/1739.43	c nbDecision=719000 #constraints=41309
1739.23/1739.83	c nbDecision=719500 #constraints=41309
1739.93/1740.56	c nbDecision=720000 #constraints=41313
1741.53/1742.15	c nbDecision=720500 #constraints=41324
1742.03/1742.60	c nbDecision=721000 #constraints=41325
1742.94/1743.51	c nbDecision=721500 #constraints=41337
1744.13/1744.71	c nbDecision=722000 #constraints=41340
1744.73/1745.31	c nbDecision=722500 #constraints=41341
1746.63/1747.27	c nbDecision=723000 #constraints=41365
1747.03/1747.66	c nbDecision=723500 #constraints=41365
1748.13/1748.72	c nbDecision=724000 #constraints=41391
1749.53/1750.18	c nbDecision=724500 #constraints=41401
1750.03/1750.64	c nbDecision=725000 #constraints=41401
1751.83/1752.49	c nbDecision=725500 #constraints=41411
1752.13/1752.79	c nbDecision=726000 #constraints=41411
1752.83/1753.49	c nbDecision=726500 #constraints=41411
1754.43/1755.09	c nbDecision=727000 #constraints=41415
1754.82/1755.48	c nbDecision=727500 #constraints=41415
1755.72/1756.31	c nbDecision=728000 #constraints=41429
1757.32/1757.95	c nbDecision=728500 #constraints=41444
1757.72/1758.37	c nbDecision=729000 #constraints=41444
1758.62/1759.24	c nbDecision=729500 #constraints=41462
1760.22/1760.84	c nbDecision=730000 #constraints=41472
1760.72/1761.35	c nbDecision=730500 #constraints=41473
1763.02/1763.68	c nbDecision=731000 #constraints=41497
1763.32/1763.99	c nbDecision=731500 #constraints=41497
1764.12/1764.76	c nbDecision=732000 #constraints=41497
1765.93/1766.59	c nbDecision=732500 #constraints=41509
1766.52/1767.15	c nbDecision=733000 #constraints=41520
1767.22/1767.81	c nbDecision=733500 #constraints=41520
1768.62/1769.20	c nbDecision=734000 #constraints=41524
1769.02/1769.69	c nbDecision=734500 #constraints=41524
1770.92/1771.51	c nbDecision=735000 #constraints=41531
1771.22/1771.82	c nbDecision=735500 #constraints=41531
1771.92/1772.60	c nbDecision=736000 #constraints=41531
1774.32/1774.92	c nbDecision=736500 #constraints=41560
1774.72/1775.32	c nbDecision=737000 #constraints=41560
1775.62/1776.20	c nbDecision=737500 #constraints=41579
1777.22/1777.89	c nbDecision=738000 #constraints=41600
1777.72/1778.34	c nbDecision=738500 #constraints=41600
1778.52/1779.11	c nbDecision=739000 #constraints=41603
1780.02/1780.63	c nbDecision=739500 #constraints=41607
1780.62/1781.23	c nbDecision=740000 #constraints=41613
1782.82/1783.44	c nbDecision=740500 #constraints=41628
1783.22/1783.84	c nbDecision=741000 #constraints=41628
1783.92/1784.50	c nbDecision=741500 #constraints=41628
1785.52/1786.13	c nbDecision=742000 #constraints=41638
1785.92/1786.59	c nbDecision=742500 #constraints=41638
1786.83/1787.44	c nbDecision=743000 #constraints=41646
1788.03/1788.67	c nbDecision=743500 #constraints=41648
1788.72/1789.34	c nbDecision=744000 #constraints=41648
1790.72/1791.31	c nbDecision=744500 #constraints=41668
1791.12/1791.71	c nbDecision=745000 #constraints=41668
1791.92/1792.59	c nbDecision=745500 #constraints=41683
1793.42/1794.09	c nbDecision=746000 #constraints=41697
1794.12/1794.72	c nbDecision=746500 #constraints=41707
1794.82/1795.48	c nbDecision=747000 #constraints=41707
1796.62/1797.22	c nbDecision=747500 #constraints=41714
1797.42/1798.02	c nbDecision=748000 #constraints=41721
1799.62/1800.21	c nbDecision=748500 #constraints=41750
1800.02/1800.60	c nbDecision=749000 #constraints=41750
1800.03/1800.60	Received signal 15
1800.03/1800.61	
1800.03/1800.61	s UNKNOWN
1800.03/1800.61	
1800.03/1800.61	c user time= 1799.21 s
1800.03/1800.61	c system time= 0.822874 s
1800.03/1800.61	c wall clock time=1800.61

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/node12/watcher-362930-1176849332 -o ROOT/results/node12/solver-362930-1176849332 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362930-1176849332/instance-362930-1176849332.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.98 2/77 29444
/proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=1620 CPUtime=0
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 160970614 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 405 174 126 317 0 84 0

[startup+0.0105159 s]
/proc/loadavg: 0.91 0.95 0.98 2/77 29444
/proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=1752 CPUtime=0
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 229 0 0 0 0 0 0 0 18 0 1 0 160970614 1794048 211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 438 211 126 317 0 117 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1752

[startup+0.101524 s]
/proc/loadavg: 0.91 0.95 0.98 2/77 29444
/proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=3132 CPUtime=0.09
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 676 0 0 0 9 0 0 0 18 0 1 0 160970614 3207168 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 783 560 131 317 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3132

[startup+0.301544 s]
/proc/loadavg: 0.91 0.95 0.98 2/77 29444
/proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=8056 CPUtime=0.29
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 1774 0 0 0 29 0 0 0 19 0 1 0 160970614 8249344 1658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531254 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 2014 1658 131 317 0 1693 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8056

[startup+0.701584 s]
/proc/loadavg: 0.91 0.95 0.98 2/77 29444
/proc/meminfo: memFree=1616568/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=14948 CPUtime=0.69
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 3395 0 0 0 68 1 0 0 23 0 1 0 160970614 15306752 3279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 3737 3279 138 317 0 3416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14948

[startup+1.50167 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 29445
/proc/meminfo: memFree=1603952/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=14948 CPUtime=1.49
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 3396 0 0 0 148 1 0 0 25 0 1 0 160970614 15306752 3280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 3737 3280 138 317 0 3416 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14948

[startup+3.10182 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 29445
/proc/meminfo: memFree=1603696/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=15344 CPUtime=3.09
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 3509 0 0 0 308 1 0 0 25 0 1 0 160970614 15712256 3393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 3836 3393 139 317 0 3515 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15344

[startup+6.30214 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 29445
/proc/meminfo: memFree=1599920/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=20224 CPUtime=6.29
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 4730 0 0 0 628 1 0 0 25 0 1 0 160970614 20709376 4614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 5056 4614 139 317 0 4735 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20224

[startup+12.7018 s]
/proc/loadavg: 0.93 0.96 0.98 2/78 29445
/proc/meminfo: memFree=1591216/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=28108 CPUtime=12.69
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 6724 0 0 0 1266 3 0 0 25 0 1 0 160970614 28782592 6608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 7027 6608 170 317 0 6706 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28108

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 29445
/proc/meminfo: memFree=1576048/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=43168 CPUtime=25.49
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 10460 0 0 0 2544 5 0 0 25 0 1 0 160970614 44204032 10344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 10792 10344 170 317 0 10471 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43168

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 29445
/proc/meminfo: memFree=1554544/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=64744 CPUtime=51.07
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 15887 0 0 0 5099 8 0 0 25 0 1 0 160970614 66297856 15728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 16186 15728 170 317 0 15865 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64744

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 29445
/proc/meminfo: memFree=1526448/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=93128 CPUtime=102.27
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 22746 0 0 0 10212 15 0 0 25 0 1 0 160970614 95363072 22587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 23282 22587 170 317 0 22961 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93128

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1480880/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=141008 CPUtime=162.25
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 34219 0 0 0 16203 22 0 0 25 0 1 0 160970614 144392192 33974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 35252 33974 170 317 0 34931 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 141008

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1453168/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=167388 CPUtime=222.23
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 41098 0 0 0 22195 28 0 0 25 0 1 0 160970614 171405312 40853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 41847 40853 170 317 0 41526 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 167388

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1434352/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=191332 CPUtime=282.22
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 45842 0 0 0 28191 31 0 0 25 0 1 0 160970614 195923968 45597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 47833 45597 170 317 0 47512 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 191332

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1422448/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=204212 CPUtime=342.21
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 48790 0 0 0 34187 34 0 0 25 0 1 0 160970614 209113088 48545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 51053 48545 170 317 0 50732 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 204212

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1413744/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=212572 CPUtime=402.19
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 50955 0 0 0 40183 36 0 0 25 0 1 0 160970614 217673728 50710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 53143 50710 170 317 0 52822 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 212572

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1405232/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=220580 CPUtime=462.17
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 53063 0 0 0 46179 38 0 0 25 0 1 0 160970614 225873920 52818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 55145 52818 170 317 0 54824 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 220580

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1394032/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=230844 CPUtime=522.16
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 55891 0 0 0 52175 41 0 0 25 0 1 0 160970614 236384256 55646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 57711 55646 170 317 0 57390 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 230844

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1382960/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=241280 CPUtime=582.15
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 58802 0 0 0 58171 44 0 0 25 0 1 0 160970614 247070720 58387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 60320 58387 170 317 0 59999 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 241280

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1374256/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=248924 CPUtime=642.13
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 60954 0 0 0 64167 46 0 0 25 0 1 0 160970614 254898176 60539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 62231 60539 170 317 0 61910 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 248924


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1346224/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=279128 CPUtime=822.08
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 68499 0 0 0 82157 51 0 0 25 0 1 0 160970614 285827072 67523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563467 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 69782 67523 170 317 0 69461 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 279128

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1335728/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=290208 CPUtime=882.07
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 71296 0 0 0 88153 54 0 0 25 0 1 0 160970614 297172992 70155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 72552 70155 170 317 0 72231 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 290208

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1326704/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=302588 CPUtime=942.06
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 74101 0 0 0 94150 56 0 0 25 0 1 0 160970614 309850112 72399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 75647 72399 170 317 0 75326 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 302588

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1319408/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=311616 CPUtime=1002.04
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 75991 0 0 0 100146 58 0 0 25 0 1 0 160970614 319094784 74223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 77904 74223 170 317 0 77583 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 311616

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1313712/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=317120 CPUtime=1062.02
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 77407 0 0 0 106143 59 0 0 25 0 1 0 160970614 324730880 75639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 79280 75639 170 317 0 78959 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 317120

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1308784/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=322424 CPUtime=1122
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 78733 0 0 0 112139 61 0 0 25 0 1 0 160970614 330162176 76866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 80606 76866 170 317 0 80285 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 322424

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1302896/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=328592 CPUtime=1181.99
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 80278 0 0 0 118136 63 0 0 25 0 1 0 160970614 336478208 78378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 82148 78378 170 317 0 81827 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 328592

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29445
/proc/meminfo: memFree=1293744/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=337352 CPUtime=1241.97
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 82508 0 0 0 124132 65 0 0 25 0 1 0 160970614 345448448 80608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 84338 80608 170 317 0 84017 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 337352

[startup+1302.3 s]
/proc/loadavg: 1.05 0.99 0.98 2/78 29445
/proc/meminfo: memFree=1288880/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=343120 CPUtime=1301.95
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 83843 0 0 0 130129 66 0 0 25 0 1 0 160970614 351354880 81811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 85780 81811 170 317 0 85459 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 343120

[startup+1362.3 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 29445
/proc/meminfo: memFree=1284272/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=350068 CPUtime=1361.93
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 85442 0 0 0 136125 68 0 0 25 0 1 0 160970614 358469632 82948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 87517 82948 170 317 0 87196 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 350068

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29445
/proc/meminfo: memFree=1279024/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=355108 CPUtime=1421.92
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 86782 0 0 0 142122 70 0 0 25 0 1 0 160970614 363630592 84255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 88777 84255 170 317 0 88456 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 355108

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29445
/proc/meminfo: memFree=1273648/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=363872 CPUtime=1481.9
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 88781 0 0 0 148118 72 0 0 25 0 1 0 160970614 372604928 85594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 90968 85594 170 317 0 90647 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 363872

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/84 29527
/proc/meminfo: memFree=1267072/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=369088 CPUtime=1541.85
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 90133 0 0 0 154109 76 0 0 25 0 1 0 160970614 377946112 86946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 92272 86946 170 317 0 91951 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 369088

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29643
/proc/meminfo: memFree=1263792/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=373784 CPUtime=1601.76
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 91335 0 0 0 160098 78 0 0 25 0 1 0 160970614 382754816 88082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 93446 88082 170 317 0 93125 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 373784

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29643
/proc/meminfo: memFree=1259696/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=377384 CPUtime=1661.75
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 92322 0 0 0 166096 79 0 0 25 0 1 0 160970614 386441216 89069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 94346 89069 170 317 0 94025 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 377384

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29643
/proc/meminfo: memFree=1255600/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=381540 CPUtime=1721.74
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 93373 0 0 0 172093 81 0 0 25 0 1 0 160970614 390696960 90120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 95385 90120 170 317 0 95064 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 381540

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29643
/proc/meminfo: memFree=1252656/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=384640 CPUtime=1781.72
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 94130 0 0 0 178090 82 0 0 25 0 1 0 160970614 393871360 90877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 96160 90877 170 317 0 95839 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 384640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29643
/proc/meminfo: memFree=1251824/2055920 swapFree=4154608/4192956
[pid=29444] ppid=29442 vsize=385308 CPUtime=1800.03
/proc/29444/stat : 29444 (oree) R 29442 29444 29342 0 -1 4194304 94295 0 0 0 179921 82 0 0 25 0 1 0 160970614 394555392 91042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29444/statm: 96327 91042 170 317 0 96006 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 385308

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

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

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.11
CPU user time (s): 1799.22
CPU system time (s): 0.887865
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 385308

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

runsolver used 2.18267 second user time and 4.43832 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue Apr 17 22:35:32 UTC 2007

IDJOB= 362930
IDBENCH= 1686
IDSOLVER= 172
FILE ID= node12/362930-1176849332

PBS_JOBID= 4590214

Free space on /tmp= 66101 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb
COMMAND LINE= oree /tmp/evaluation/362930-1176849332/instance-362930-1176849332.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-362930-1176849332 -o ROOT/results/node12/solver-362930-1176849332 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362930-1176849332/instance-362930-1176849332.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  f3194c704d6cb84122c01530d022722f

RANDOM SEED= 288667453

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1617040 kB
Buffers:         38608 kB
Cached:         303848 kB
SwapCached:      17536 kB
Active:          40036 kB
Inactive:       331436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617040 kB
SwapTotal:     4192956 kB
SwapFree:      4154608 kB
Dirty:            2612 kB
Writeback:           0 kB
Mapped:          29984 kB
Slab:            52972 kB
Committed_AS:  4268488 kB
PageTables:       1792 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= 66101 MiB

End job on node12 on Tue Apr 17 23:05:35 UTC 2007