Trace number 362692

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.28 1800.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb
MD5SUM99b260f11bc3e586ce78c7adccfe4295
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables41920
Total number of constraints2137
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2097
Minimum length of a constraint1
Maximum length of a constraint371
Number of terms in the objective function 22720
Biggest coefficient in the objective function 1634
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 336608
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524548
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.69/0.74	c ...done
0.69/0.74	c #vars=41920 #constraints=2778 hasObjective=yes
1.00/1.08	c res. mode=mod
1.00/1.08	c VSIDS like heuristics
1.00/1.08	c complete search running
1.29/1.33	c restart after 401 decisions
1.29/1.38	c nbDecision=500 #constraints=2778
1.49/1.53	c restart after 801 decisions
1.59/1.64	c nbDecision=1000 #constraints=2778
1.79/1.89	c nbDecision=1500 #constraints=2778
1.89/1.94	c restart after 1601 decisions
2.10/2.15	c nbDecision=2000 #constraints=2778
2.39/2.40	c nbDecision=2500 #constraints=2778
2.59/2.65	c nbDecision=3000 #constraints=2778
2.69/2.75	c restart after 3201 decisions
2.89/2.91	c nbDecision=3500 #constraints=2778
3.09/3.17	c nbDecision=4000 #constraints=2778
3.39/3.42	c nbDecision=4500 #constraints=2778
3.59/3.67	c nbDecision=5000 #constraints=2778
3.89/3.91	c nbDecision=5500 #constraints=2778
4.09/4.15	c nbDecision=6000 #constraints=2778
4.29/4.36	c restart after 6401 decisions
4.39/4.42	c nbDecision=6500 #constraints=2778
4.59/4.68	c nbDecision=7000 #constraints=2778
4.89/4.94	c nbDecision=7500 #constraints=2778
5.09/5.19	c nbDecision=8000 #constraints=2778
5.39/5.44	c nbDecision=8500 #constraints=2778
5.59/5.69	c nbDecision=9000 #constraints=2778
5.89/5.95	c nbDecision=9500 #constraints=2778
6.19/6.21	c nbDecision=10000 #constraints=2778
6.39/6.47	c nbDecision=10500 #constraints=2780
6.69/6.73	c nbDecision=11000 #constraints=2783
6.89/6.98	c nbDecision=11500 #constraints=2783
7.19/7.22	c nbDecision=12000 #constraints=2783
7.39/7.46	c nbDecision=12500 #constraints=2783
7.59/7.60	c restart after 12801 decisions
7.69/7.73	c nbDecision=13000 #constraints=2783
7.89/7.99	c nbDecision=13500 #constraints=2783
8.19/8.24	c nbDecision=14000 #constraints=2783
8.39/8.50	c nbDecision=14500 #constraints=2783
8.69/8.75	c nbDecision=15000 #constraints=2783
8.99/9.00	c nbDecision=15500 #constraints=2783
9.19/9.26	c nbDecision=16000 #constraints=2783
9.49/9.52	c nbDecision=16500 #constraints=2783
9.69/9.78	c nbDecision=17000 #constraints=2783
9.99/10.03	c nbDecision=17500 #constraints=2783
10.19/10.28	c nbDecision=18000 #constraints=2783
10.49/10.52	c nbDecision=18500 #constraints=2783
10.69/10.76	c nbDecision=19000 #constraints=2783
10.99/11.00	c nbDecision=19500 #constraints=2783
11.19/11.24	c nbDecision=20000 #constraints=2783
11.39/11.46	c nbDecision=20500 #constraints=2783
11.59/11.68	c nbDecision=21000 #constraints=2783
11.89/11.90	c nbDecision=21500 #constraints=2783
12.09/12.13	c nbDecision=22000 #constraints=2783
12.29/12.35	c nbDecision=22500 #constraints=2783
12.49/12.57	c nbDecision=23000 #constraints=2783
12.69/12.79	c nbDecision=23500 #constraints=2783
12.99/13.01	c nbDecision=24000 #constraints=2783
13.19/13.23	c nbDecision=24500 #constraints=2783
13.39/13.44	c nbDecision=25000 #constraints=2783
13.59/13.66	c nbDecision=25500 #constraints=2783
13.69/13.70	c restart after 25601 decisions
13.89/13.94	c nbDecision=26000 #constraints=2783
14.09/14.19	c nbDecision=26500 #constraints=2783
14.39/14.44	c nbDecision=27000 #constraints=2783
14.59/14.69	c nbDecision=27500 #constraints=2783
14.89/14.94	c nbDecision=28000 #constraints=2783
15.09/15.18	c nbDecision=28500 #constraints=2783
15.39/15.43	c nbDecision=29000 #constraints=2783
15.59/15.67	c nbDecision=29500 #constraints=2783
15.89/15.92	c nbDecision=30000 #constraints=2783
16.09/16.17	c nbDecision=30500 #constraints=2783
16.39/16.41	c nbDecision=31000 #constraints=2783
16.59/16.66	c nbDecision=31500 #constraints=2783
16.89/16.90	c nbDecision=32000 #constraints=2783
17.09/17.14	c nbDecision=32500 #constraints=2783
17.29/17.37	c nbDecision=33000 #constraints=2783
17.49/17.60	c nbDecision=33500 #constraints=2783
17.79/17.83	c nbDecision=34000 #constraints=2783
17.99/18.05	c nbDecision=34500 #constraints=2783
18.19/18.28	c nbDecision=35000 #constraints=2783
18.49/18.50	c nbDecision=35500 #constraints=2783
18.69/18.72	c nbDecision=36000 #constraints=2783
18.89/18.94	c nbDecision=36500 #constraints=2783
19.09/19.16	c nbDecision=37000 #constraints=2783
19.28/19.38	c nbDecision=37500 #constraints=2783
19.58/19.60	c nbDecision=38000 #constraints=2783
19.79/19.81	c nbDecision=38500 #constraints=2783
19.98/20.02	c nbDecision=39000 #constraints=2783
20.18/20.23	c nbDecision=39500 #constraints=2783
20.38/20.43	c nbDecision=40000 #constraints=2783
20.58/20.63	c nbDecision=40500 #constraints=2783
20.79/20.83	c nbDecision=41000 #constraints=2783
20.98/21.03	c nbDecision=41500 #constraints=2783
21.18/21.29	c nbDecision=42000 #constraints=2791
21.88/21.91	c nbDecision=42500 #constraints=2953
22.99/23.10	c nbDecision=43000 #constraints=3367
23.59/23.66	c nbDecision=43500 #constraints=3461
24.09/24.19	c nbDecision=44000 #constraints=3543
24.78/24.85	c nbDecision=44500 #constraints=3683
25.38/25.45	c nbDecision=45000 #constraints=3793
25.98/26.00	c nbDecision=45500 #constraints=3869
26.48/26.53	c nbDecision=46000 #constraints=3937
27.08/27.11	c nbDecision=46500 #constraints=4023
27.59/27.66	c nbDecision=47000 #constraints=4090
28.18/28.23	c nbDecision=47500 #constraints=4168
28.68/28.76	c nbDecision=48000 #constraints=4223
29.28/29.30	c nbDecision=48500 #constraints=4282
29.78/29.84	c nbDecision=49000 #constraints=4345
30.28/30.34	c nbDecision=49500 #constraints=4383
30.88/30.90	c nbDecision=50000 #constraints=4452
31.28/31.39	c nbDecision=50500 #constraints=4474
31.88/31.99	c nbDecision=51000 #constraints=4558
32.18/32.22	c restart after 51201 decisions
32.38/32.45	c nbDecision=51500 #constraints=4590
32.68/32.71	c nbDecision=52000 #constraints=4590
32.88/32.97	c nbDecision=52500 #constraints=4590
33.18/33.21	c nbDecision=53000 #constraints=4590
33.38/33.45	c nbDecision=53500 #constraints=4590
33.68/33.71	c nbDecision=54000 #constraints=4590
33.88/33.97	c nbDecision=54500 #constraints=4590
34.18/34.23	c nbDecision=55000 #constraints=4590
34.37/34.48	c nbDecision=55500 #constraints=4590
34.67/34.73	c nbDecision=56000 #constraints=4590
34.87/34.97	c nbDecision=56500 #constraints=4590
35.18/35.21	c nbDecision=57000 #constraints=4590
35.37/35.45	c nbDecision=57500 #constraints=4590
35.57/35.68	c nbDecision=58000 #constraints=4590
35.87/35.92	c nbDecision=58500 #constraints=4590
36.07/36.15	c nbDecision=59000 #constraints=4590
36.28/36.38	c nbDecision=59500 #constraints=4590
36.57/36.62	c nbDecision=60000 #constraints=4590
36.77/36.84	c nbDecision=60500 #constraints=4590
36.97/37.07	c nbDecision=61000 #constraints=4590
37.17/37.29	c nbDecision=61500 #constraints=4590
37.47/37.51	c nbDecision=62000 #constraints=4590
37.67/37.73	c nbDecision=62500 #constraints=4590
37.87/37.95	c nbDecision=63000 #constraints=4590
38.07/38.18	c nbDecision=63500 #constraints=4590
38.38/38.40	c nbDecision=64000 #constraints=4590
38.57/38.61	c nbDecision=64500 #constraints=4590
38.77/38.82	c nbDecision=65000 #constraints=4590
38.97/39.02	c nbDecision=65500 #constraints=4590
39.17/39.22	c nbDecision=66000 #constraints=4590
39.37/39.42	c nbDecision=66500 #constraints=4590
39.58/39.66	c nbDecision=67000 #constraints=4590
39.77/39.89	c nbDecision=67500 #constraints=4590
40.37/40.41	c nbDecision=68000 #constraints=4632
40.87/40.97	c nbDecision=68500 #constraints=4696
41.47/41.57	c nbDecision=69000 #constraints=4788
42.08/42.13	c nbDecision=69500 #constraints=4849
42.68/42.70	c nbDecision=70000 #constraints=4913
43.18/43.29	c nbDecision=70500 #constraints=4986
43.78/43.88	c nbDecision=71000 #constraints=5056
44.37/44.49	c nbDecision=71500 #constraints=5125
44.98/45.05	c nbDecision=72000 #constraints=5179
45.57/45.62	c nbDecision=72500 #constraints=5235
46.08/46.16	c nbDecision=73000 #constraints=5271
46.57/46.66	c nbDecision=73500 #constraints=5302
47.07/47.16	c nbDecision=74000 #constraints=5326
47.57/47.69	c nbDecision=74500 #constraints=5350
48.17/48.25	c nbDecision=75000 #constraints=5386
48.77/48.85	c nbDecision=75500 #constraints=5429
49.28/49.39	c nbDecision=76000 #constraints=5453
49.98/50.05	c nbDecision=76500 #constraints=5540
50.48/50.56	c nbDecision=77000 #constraints=5553
51.08/51.18	c nbDecision=77500 #constraints=5630
51.58/51.68	c nbDecision=78000 #constraints=5658
52.17/52.23	c nbDecision=78500 #constraints=5698
52.78/52.81	c nbDecision=79000 #constraints=5743
53.27/53.33	c nbDecision=79500 #constraints=5779
53.78/53.85	c nbDecision=80000 #constraints=5804
54.37/54.45	c nbDecision=80500 #constraints=5854
54.87/54.94	c nbDecision=81000 #constraints=5870
55.47/55.51	c nbDecision=81500 #constraints=5917
55.97/56.09	c nbDecision=82000 #constraints=5957
56.57/56.65	c nbDecision=82500 #constraints=5993
57.07/57.15	c nbDecision=83000 #constraints=6012
57.67/57.70	c nbDecision=83500 #constraints=6044
58.28/58.31	c nbDecision=84000 #constraints=6099
58.77/58.89	c nbDecision=84500 #constraints=6144
59.28/59.37	c nbDecision=85000 #constraints=6158
59.77/59.85	c nbDecision=85500 #constraints=6164
60.37/60.41	c nbDecision=86000 #constraints=6198
60.87/60.96	c nbDecision=86500 #constraints=6241
61.57/61.61	c nbDecision=87000 #constraints=6308
62.07/62.14	c nbDecision=87500 #constraints=6334
62.57/62.70	c nbDecision=88000 #constraints=6373
63.17/63.24	c nbDecision=88500 #constraints=6404
63.77/63.87	c nbDecision=89000 #constraints=6466
64.37/64.49	c nbDecision=89500 #constraints=6511
64.96/65.04	c nbDecision=90000 #constraints=6543
65.46/65.59	c nbDecision=90500 #constraints=6574
66.06/66.16	c nbDecision=91000 #constraints=6610
66.66/66.79	c nbDecision=91500 #constraints=6656
67.26/67.33	c nbDecision=92000 #constraints=6680
68.07/68.19	c nbDecision=92500 #constraints=6793
68.77/68.81	c nbDecision=93000 #constraints=6839
69.37/69.41	c nbDecision=93500 #constraints=6883
70.17/70.27	c nbDecision=94000 #constraints=6999
70.77/70.84	c nbDecision=94500 #constraints=7026
71.37/71.43	c nbDecision=95000 #constraints=7058
71.87/71.99	c nbDecision=95500 #constraints=7089
72.47/72.59	c nbDecision=96000 #constraints=7132
73.06/73.15	c nbDecision=96500 #constraints=7156
73.57/73.66	c nbDecision=97000 #constraints=7174
74.16/74.22	c nbDecision=97500 #constraints=7195
74.77/74.84	c nbDecision=98000 #constraints=7234
75.36/75.47	c nbDecision=98500 #constraints=7281
75.96/76.05	c nbDecision=99000 #constraints=7315
76.46/76.55	c nbDecision=99500 #constraints=7324
77.06/77.14	c nbDecision=100000 #constraints=7352
77.66/77.75	c nbDecision=100500 #constraints=7389
78.26/78.35	c nbDecision=101000 #constraints=7418
78.86/78.92	c nbDecision=101500 #constraints=7440
79.36/79.49	c nbDecision=102000 #constraints=7464
79.86/79.96	c restart after 102401 decisions
80.06/80.18	c nbDecision=102500 #constraints=7492
80.36/80.43	c nbDecision=103000 #constraints=7492
80.56/80.68	c nbDecision=103500 #constraints=7492
80.86/80.93	c nbDecision=104000 #constraints=7492
81.06/81.18	c nbDecision=104500 #constraints=7492
81.36/81.44	c nbDecision=105000 #constraints=7492
81.66/81.74	c nbDecision=105500 #constraints=7492
81.96/82.01	c nbDecision=106000 #constraints=7492
82.16/82.26	c nbDecision=106500 #constraints=7492
82.46/82.51	c nbDecision=107000 #constraints=7492
82.66/82.76	c nbDecision=107500 #constraints=7492
82.96/83.00	c nbDecision=108000 #constraints=7492
83.16/83.24	c nbDecision=108500 #constraints=7492
83.36/83.48	c nbDecision=109000 #constraints=7492
83.66/83.72	c nbDecision=109500 #constraints=7492
83.86/83.95	c nbDecision=110000 #constraints=7492
84.06/84.18	c nbDecision=110500 #constraints=7492
84.36/84.41	c nbDecision=111000 #constraints=7492
84.56/84.67	c nbDecision=111500 #constraints=7492
84.86/84.90	c nbDecision=112000 #constraints=7492
85.06/85.12	c nbDecision=112500 #constraints=7492
85.26/85.34	c nbDecision=113000 #constraints=7492
85.46/85.56	c nbDecision=113500 #constraints=7492
85.66/85.78	c nbDecision=114000 #constraints=7492
85.95/86.01	c nbDecision=114500 #constraints=7492
86.15/86.27	c nbDecision=115000 #constraints=7492
86.35/86.49	c nbDecision=115500 #constraints=7492
86.65/86.70	c nbDecision=116000 #constraints=7492
86.86/86.91	c nbDecision=116500 #constraints=7492
87.05/87.11	c nbDecision=117000 #constraints=7492
87.25/87.30	c nbDecision=117500 #constraints=7492
87.45/87.55	c nbDecision=118000 #constraints=7492
87.75/87.86	c nbDecision=118500 #constraints=7492
88.15/88.29	c nbDecision=119000 #constraints=7506
88.86/88.93	c nbDecision=119500 #constraints=7563
89.56/89.68	c nbDecision=120000 #constraints=7650
90.26/90.31	c nbDecision=120500 #constraints=7701
91.06/91.11	c nbDecision=121000 #constraints=7809
91.66/91.77	c nbDecision=121500 #constraints=7867
92.45/92.56	c nbDecision=122000 #constraints=7956
93.25/93.32	c nbDecision=122500 #constraints=8039
93.95/94.04	c nbDecision=123000 #constraints=8124
94.56/94.68	c nbDecision=123500 #constraints=8173
95.26/95.39	c nbDecision=124000 #constraints=8234
96.06/96.11	c nbDecision=124500 #constraints=8298
96.76/96.86	c nbDecision=125000 #constraints=8367
97.35/97.48	c nbDecision=125500 #constraints=8410
98.05/98.16	c nbDecision=126000 #constraints=8463
98.75/98.85	c nbDecision=126500 #constraints=8508
99.45/99.51	c nbDecision=127000 #constraints=8564
100.25/100.32	c nbDecision=127500 #constraints=8646
100.96/101.05	c nbDecision=128000 #constraints=8705
101.76/101.80	c nbDecision=128500 #constraints=8769
102.26/102.39	c nbDecision=129000 #constraints=8799
102.96/103.07	c nbDecision=129500 #constraints=8838
103.66/103.76	c nbDecision=130000 #constraints=8880
104.36/104.44	c nbDecision=130500 #constraints=8919
105.05/105.13	c nbDecision=131000 #constraints=8962
105.75/105.88	c nbDecision=131500 #constraints=9014
106.56/106.67	c nbDecision=132000 #constraints=9071
107.25/107.33	c nbDecision=132500 #constraints=9116
107.95/108.06	c nbDecision=133000 #constraints=9170
108.75/108.80	c nbDecision=133500 #constraints=9225
109.45/109.57	c nbDecision=134000 #constraints=9286
110.15/110.22	c nbDecision=134500 #constraints=9316
110.96/111.00	c nbDecision=135000 #constraints=9365
111.55/111.68	c nbDecision=135500 #constraints=9391
112.25/112.37	c nbDecision=136000 #constraints=9427
112.95/113.00	c nbDecision=136500 #constraints=9447
113.75/113.82	c nbDecision=137000 #constraints=9505
114.36/114.49	c nbDecision=137500 #constraints=9543
115.15/115.21	c nbDecision=138000 #constraints=9583
115.95/116.02	c nbDecision=138500 #constraints=9637
116.65/116.77	c nbDecision=139000 #constraints=9685
117.35/117.46	c nbDecision=139500 #constraints=9720
118.45/118.57	c nbDecision=140000 #constraints=9829
119.45/119.55	c nbDecision=140500 #constraints=9920
120.25/120.38	c nbDecision=141000 #constraints=9984
121.14/121.28	c nbDecision=141500 #constraints=10061
121.95/122.03	c nbDecision=142000 #constraints=10111
122.84/122.91	c nbDecision=142500 #constraints=10163
123.74/123.86	c nbDecision=143000 #constraints=10236
124.84/124.98	c nbDecision=143500 #constraints=10349
125.74/125.84	c nbDecision=144000 #constraints=10393
126.64/126.73	c nbDecision=144500 #constraints=10453
127.34/127.45	c nbDecision=145000 #constraints=10481
128.14/128.20	c nbDecision=145500 #constraints=10509
128.74/128.81	c nbDecision=146000 #constraints=10528
129.44/129.57	c nbDecision=146500 #constraints=10554
130.35/130.48	c nbDecision=147000 #constraints=10624
131.25/131.34	c nbDecision=147500 #constraints=10674
131.95/132.06	c nbDecision=148000 #constraints=10720
132.84/132.94	c nbDecision=148500 #constraints=10772
133.64/133.73	c nbDecision=149000 #constraints=10812
134.54/134.65	c nbDecision=149500 #constraints=10875
135.24/135.32	c nbDecision=150000 #constraints=10903
135.94/136.03	c nbDecision=150500 #constraints=10926
136.64/136.75	c nbDecision=151000 #constraints=10957
137.54/137.64	c nbDecision=151500 #constraints=11006
138.44/138.54	c nbDecision=152000 #constraints=11068
139.34/139.45	c nbDecision=152500 #constraints=11120
140.14/140.24	c nbDecision=153000 #constraints=11162
140.84/140.91	c nbDecision=153500 #constraints=11193
141.85/141.98	c nbDecision=154000 #constraints=11278
142.54/142.65	c nbDecision=154500 #constraints=11299
143.34/143.46	c nbDecision=155000 #constraints=11328
144.14/144.28	c nbDecision=155500 #constraints=11363
144.94/145.08	c nbDecision=156000 #constraints=11397
145.64/145.78	c nbDecision=156500 #constraints=11424
146.54/146.65	c nbDecision=157000 #constraints=11465
147.24/147.35	c nbDecision=157500 #constraints=11489
148.14/148.23	c nbDecision=158000 #constraints=11538
148.94/149.01	c nbDecision=158500 #constraints=11570
149.64/149.73	c nbDecision=159000 #constraints=11590
150.44/150.59	c nbDecision=159500 #constraints=11628
151.43/151.54	c nbDecision=160000 #constraints=11685
152.53/152.61	c nbDecision=160500 #constraints=11751
153.33/153.45	c nbDecision=161000 #constraints=11794
154.33/154.48	c nbDecision=161500 #constraints=11868
155.23/155.31	c nbDecision=162000 #constraints=11900
156.13/156.24	c nbDecision=162500 #constraints=11940
156.73/156.88	c nbDecision=163000 #constraints=11957
157.53/157.67	c nbDecision=163500 #constraints=11981
158.64/158.71	c nbDecision=164000 #constraints=12043
159.54/159.69	c nbDecision=164500 #constraints=12099
160.54/160.62	c nbDecision=165000 #constraints=12160
161.24/161.37	c nbDecision=165500 #constraints=12193
162.13/162.25	c nbDecision=166000 #constraints=12240
163.03/163.15	c nbDecision=166500 #constraints=12282
163.74/163.89	c nbDecision=167000 #constraints=12302
164.73/164.88	c nbDecision=167500 #constraints=12348
165.53/165.66	c nbDecision=168000 #constraints=12387
166.53/166.60	c nbDecision=168500 #constraints=12424
167.53/167.68	c nbDecision=169000 #constraints=12464
168.23/168.35	c nbDecision=169500 #constraints=12479
169.03/169.13	c nbDecision=170000 #constraints=12501
169.83/169.94	c nbDecision=170500 #constraints=12521
170.73/170.84	c nbDecision=171000 #constraints=12554
171.63/171.79	c nbDecision=171500 #constraints=12577
172.53/172.63	c nbDecision=172000 #constraints=12609
173.63/173.77	c nbDecision=172500 #constraints=12658
174.52/174.68	c nbDecision=173000 #constraints=12699
175.52/175.65	c nbDecision=173500 #constraints=12734
176.53/176.60	c nbDecision=174000 #constraints=12770
177.53/177.61	c nbDecision=174500 #constraints=12807
178.53/178.61	c nbDecision=175000 #constraints=12857
179.43/179.54	c nbDecision=175500 #constraints=12902
180.53/180.65	c nbDecision=176000 #constraints=12948
181.52/181.66	c nbDecision=176500 #constraints=12982
182.62/182.70	c nbDecision=177000 #constraints=13021
183.42/183.54	c nbDecision=177500 #constraints=13054
184.32/184.47	c nbDecision=178000 #constraints=13079
185.32/185.42	c nbDecision=178500 #constraints=13118
186.12/186.26	c nbDecision=179000 #constraints=13149
187.13/187.24	c nbDecision=179500 #constraints=13177
188.13/188.25	c nbDecision=180000 #constraints=13207
189.13/189.25	c nbDecision=180500 #constraints=13241
190.02/190.12	c nbDecision=181000 #constraints=13270
191.12/191.21	c nbDecision=181500 #constraints=13316
191.92/192.07	c nbDecision=182000 #constraints=13339
193.02/193.18	c nbDecision=182500 #constraints=13390
194.12/194.21	c nbDecision=183000 #constraints=13429
194.82/194.92	c nbDecision=183500 #constraints=13443
195.72/195.84	c nbDecision=184000 #constraints=13472
196.82/196.94	c nbDecision=184500 #constraints=13523
197.92/198.06	c nbDecision=185000 #constraints=13574
198.92/199.02	c nbDecision=185500 #constraints=13624
200.72/200.80	c nbDecision=186000 #constraints=13744
201.62/201.79	c nbDecision=186500 #constraints=13779
202.72/202.82	c nbDecision=187000 #constraints=13818
204.02/204.10	c nbDecision=187500 #constraints=13884
204.92/205.03	c nbDecision=188000 #constraints=13915
205.92/206.02	c nbDecision=188500 #constraints=13947
206.82/206.97	c nbDecision=189000 #constraints=13981
208.12/208.26	c nbDecision=189500 #constraints=14034
209.02/209.19	c nbDecision=190000 #constraints=14062
210.21/210.33	c nbDecision=190500 #constraints=14106
211.12/211.29	c nbDecision=191000 #constraints=14130
212.22/212.37	c nbDecision=191500 #constraints=14171
213.22/213.36	c nbDecision=192000 #constraints=14208
214.21/214.39	c nbDecision=192500 #constraints=14241
215.61/215.70	c nbDecision=193000 #constraints=14304
217.01/217.17	c nbDecision=193500 #constraints=14385
218.01/218.16	c nbDecision=194000 #constraints=14411
218.91/219.07	c nbDecision=194500 #constraints=14435
220.12/220.26	c nbDecision=195000 #constraints=14479
221.32/221.42	c nbDecision=195500 #constraints=14526
222.31/222.48	c nbDecision=196000 #constraints=14556
223.22/223.37	c nbDecision=196500 #constraints=14578
224.32/224.49	c nbDecision=197000 #constraints=14620
225.21/225.38	c nbDecision=197500 #constraints=14640
226.41/226.58	c nbDecision=198000 #constraints=14688
227.41/227.59	c nbDecision=198500 #constraints=14717
228.61/228.71	c nbDecision=199000 #constraints=14759
229.71/229.89	c nbDecision=199500 #constraints=14798
230.81/230.91	c nbDecision=200000 #constraints=14826
232.01/232.18	c nbDecision=200500 #constraints=14896
233.10/233.27	c nbDecision=201000 #constraints=14933
234.40/234.56	c nbDecision=201500 #constraints=14990
235.20/235.38	c nbDecision=202000 #constraints=15010
236.30/236.42	c nbDecision=202500 #constraints=15050
237.61/237.73	c nbDecision=203000 #constraints=15108
238.51/238.65	c nbDecision=203500 #constraints=15136
240.20/240.37	c nbDecision=204000 #constraints=15219
241.50/241.67	c nbDecision=204500 #constraints=15275
242.70/242.84	c restart after 204801 decisions
243.70/243.83	c nbDecision=205000 #constraints=15345
243.90/244.09	c nbDecision=205500 #constraints=15345
244.20/244.35	c nbDecision=206000 #constraints=15345
244.50/244.60	c nbDecision=206500 #constraints=15345
244.70/244.85	c nbDecision=207000 #constraints=15345
245.11/245.28	c nbDecision=207500 #constraints=15345
245.40/245.55	c nbDecision=208000 #constraints=15345
245.70/245.81	c nbDecision=208500 #constraints=15345
245.90/246.07	c nbDecision=209000 #constraints=15345
246.21/246.32	c nbDecision=209500 #constraints=15345
246.40/246.57	c nbDecision=210000 #constraints=15345
246.70/246.81	c nbDecision=210500 #constraints=15345
246.90/247.06	c nbDecision=211000 #constraints=15345
247.10/247.30	c nbDecision=211500 #constraints=15345
247.41/247.54	c nbDecision=212000 #constraints=15345
247.60/247.77	c nbDecision=212500 #constraints=15345
247.90/248.00	c nbDecision=213000 #constraints=15345
248.10/248.23	c nbDecision=213500 #constraints=15345
248.30/248.49	c nbDecision=214000 #constraints=15345
248.60/248.72	c nbDecision=214500 #constraints=15345
248.80/248.94	c nbDecision=215000 #constraints=15345
249.00/249.17	c nbDecision=215500 #constraints=15345
249.20/249.39	c nbDecision=216000 #constraints=15345
249.51/249.62	c nbDecision=216500 #constraints=15345
249.80/249.98	c nbDecision=217000 #constraints=15345
250.20/250.32	c nbDecision=217500 #constraints=15345
250.40/250.54	c nbDecision=218000 #constraints=15345
250.60/250.76	c nbDecision=218500 #constraints=15345
250.80/250.97	c nbDecision=219000 #constraints=15345
251.00/251.19	c nbDecision=219500 #constraints=15345
251.20/251.39	c nbDecision=220000 #constraints=15345
251.70/251.83	c nbDecision=220500 #constraints=15345
252.20/252.33	c nbDecision=221000 #constraints=15345
253.00/253.11	c nbDecision=221500 #constraints=15375
254.00/254.16	c nbDecision=222000 #constraints=15433
254.90/255.04	c nbDecision=222500 #constraints=15466
255.60/255.75	c nbDecision=223000 #constraints=15478
256.50/256.64	c nbDecision=223500 #constraints=15507
257.30/257.42	c nbDecision=224000 #constraints=15521
258.00/258.19	c nbDecision=224500 #constraints=15527
259.00/259.14	c nbDecision=225000 #constraints=15559
259.90/260.06	c nbDecision=225500 #constraints=15583
260.90/261.00	c nbDecision=226000 #constraints=15619
261.80/261.93	c nbDecision=226500 #constraints=15646
262.60/262.78	c nbDecision=227000 #constraints=15666
263.59/263.73	c nbDecision=227500 #constraints=15700
264.39/264.57	c nbDecision=228000 #constraints=15727
265.39/265.52	c nbDecision=228500 #constraints=15739
266.10/266.26	c nbDecision=229000 #constraints=15749
266.99/267.17	c nbDecision=229500 #constraints=15775
267.99/268.18	c nbDecision=230000 #constraints=15808
269.09/269.22	c nbDecision=230500 #constraints=15826
269.99/270.14	c nbDecision=231000 #constraints=15846
270.79/270.92	c nbDecision=231500 #constraints=15864
271.59/271.74	c nbDecision=232000 #constraints=15880
272.49/272.65	c nbDecision=232500 #constraints=15894
273.50/273.69	c nbDecision=233000 #constraints=15923
274.50/274.60	c nbDecision=233500 #constraints=15940
275.40/275.53	c nbDecision=234000 #constraints=15956
276.09/276.28	c nbDecision=234500 #constraints=15977
277.00/277.18	c nbDecision=235000 #constraints=16001
277.79/277.95	c nbDecision=235500 #constraints=16007
278.59/278.76	c nbDecision=236000 #constraints=16016
279.39/279.55	c nbDecision=236500 #constraints=16032
280.40/280.52	c nbDecision=237000 #constraints=16053
281.09/281.24	c nbDecision=237500 #constraints=16060
281.99/282.15	c nbDecision=238000 #constraints=16073
282.79/282.95	c nbDecision=238500 #constraints=16082
283.60/283.70	c nbDecision=239000 #constraints=16096
284.49/284.61	c nbDecision=239500 #constraints=16115
285.39/285.54	c nbDecision=240000 #constraints=16137
286.39/286.51	c nbDecision=240500 #constraints=16152
287.29/287.42	c nbDecision=241000 #constraints=16170
288.19/288.35	c nbDecision=241500 #constraints=16189
289.09/289.28	c nbDecision=242000 #constraints=16204
290.09/290.26	c nbDecision=242500 #constraints=16232
291.09/291.23	c nbDecision=243000 #constraints=16247
291.99/292.17	c nbDecision=243500 #constraints=16257
292.89/293.00	c nbDecision=244000 #constraints=16268
293.59/293.77	c nbDecision=244500 #constraints=16280
294.49/294.66	c nbDecision=245000 #constraints=16301
295.39/295.58	c nbDecision=245500 #constraints=16324
296.28/296.44	c nbDecision=246000 #constraints=16334
297.08/297.29	c nbDecision=246500 #constraints=16353
297.89/298.02	c nbDecision=247000 #constraints=16360
298.68/298.84	c nbDecision=247500 #constraints=16374
299.58/299.78	c nbDecision=248000 #constraints=16396
300.58/300.75	c nbDecision=248500 #constraints=16425
301.48/301.64	c nbDecision=249000 #constraints=16448
302.28/302.47	c nbDecision=249500 #constraints=16463
303.18/303.39	c nbDecision=250000 #constraints=16480
304.28/304.43	c nbDecision=250500 #constraints=16498
305.08/305.28	c nbDecision=251000 #constraints=16512
305.98/306.16	c nbDecision=251500 #constraints=16533
307.08/307.27	c nbDecision=252000 #constraints=16560
308.08/308.22	c nbDecision=252500 #constraints=16588
309.18/309.35	c nbDecision=253000 #constraints=16629
310.08/310.25	c nbDecision=253500 #constraints=16644
310.98/311.15	c nbDecision=254000 #constraints=16664
311.98/312.11	c nbDecision=254500 #constraints=16690
312.68/312.85	c nbDecision=255000 #constraints=16704
313.77/313.93	c nbDecision=255500 #constraints=16738
314.57/314.73	c nbDecision=256000 #constraints=16750
315.48/315.64	c nbDecision=256500 #constraints=16764
316.27/316.45	c nbDecision=257000 #constraints=16772
317.48/317.67	c nbDecision=257500 #constraints=16793
318.48/318.68	c nbDecision=258000 #constraints=16808
319.38/319.59	c nbDecision=258500 #constraints=16830
320.38/320.55	c nbDecision=259000 #constraints=16854
321.38/321.58	c nbDecision=259500 #constraints=16873
322.38/322.53	c nbDecision=260000 #constraints=16893
323.08/323.24	c nbDecision=260500 #constraints=16908
323.97/324.16	c nbDecision=261000 #constraints=16928
324.97/325.15	c nbDecision=261500 #constraints=16948
325.87/326.04	c nbDecision=262000 #constraints=16965
326.58/326.79	c nbDecision=262500 #constraints=16973
327.57/327.71	c nbDecision=263000 #constraints=16997
328.47/328.66	c nbDecision=263500 #constraints=17016
329.27/329.45	c nbDecision=264000 #constraints=17029
330.07/330.25	c nbDecision=264500 #constraints=17035
330.97/331.15	c nbDecision=265000 #constraints=17046
331.97/332.11	c nbDecision=265500 #constraints=17060
332.77/332.98	c nbDecision=266000 #constraints=17078
333.87/334.06	c nbDecision=266500 #constraints=17108
334.77/334.94	c nbDecision=267000 #constraints=17118
335.77/335.98	c nbDecision=267500 #constraints=17134
336.67/336.86	c nbDecision=268000 #constraints=17145
337.47/337.68	c nbDecision=268500 #constraints=17157
338.37/338.57	c nbDecision=269000 #constraints=17168
339.07/339.27	c nbDecision=269500 #constraints=17179
340.27/340.43	c nbDecision=270000 #constraints=17206
340.97/341.16	c nbDecision=270500 #constraints=17211
342.07/342.22	c nbDecision=271000 #constraints=17235
343.07/343.23	c nbDecision=271500 #constraints=17262
343.97/344.18	c nbDecision=272000 #constraints=17281
344.97/345.18	c nbDecision=272500 #constraints=17298
346.07/346.23	c nbDecision=273000 #constraints=17318
346.87/347.00	c nbDecision=273500 #constraints=17324
347.87/348.10	c nbDecision=274000 #constraints=17346
348.97/349.13	c nbDecision=274500 #constraints=17365
349.76/349.93	c nbDecision=275000 #constraints=17372
350.56/350.77	c nbDecision=275500 #constraints=17383
351.46/351.60	c nbDecision=276000 #constraints=17398
352.16/352.33	c nbDecision=276500 #constraints=17408
353.16/353.35	c nbDecision=277000 #constraints=17427
353.96/354.11	c nbDecision=277500 #constraints=17441
354.86/355.06	c nbDecision=278000 #constraints=17455
355.76/355.97	c nbDecision=278500 #constraints=17469
356.56/356.78	c nbDecision=279000 #constraints=17485
357.46/357.60	c nbDecision=279500 #constraints=17493
358.36/358.54	c nbDecision=280000 #constraints=17503
359.16/359.39	c nbDecision=280500 #constraints=17512
360.16/360.40	c nbDecision=281000 #constraints=17530
361.16/361.33	c nbDecision=281500 #constraints=17544
361.96/362.16	c nbDecision=282000 #constraints=17550
362.76/362.99	c nbDecision=282500 #constraints=17557
363.75/363.96	c nbDecision=283000 #constraints=17572
364.76/364.95	c nbDecision=283500 #constraints=17588
365.56/365.73	c nbDecision=284000 #constraints=17598
366.36/366.53	c nbDecision=284500 #constraints=17618
367.36/367.59	c nbDecision=285000 #constraints=17647
368.36/368.59	c nbDecision=285500 #constraints=17667
369.26/369.44	c nbDecision=286000 #constraints=17687
370.16/370.33	c nbDecision=286500 #constraints=17703
371.16/371.32	c nbDecision=287000 #constraints=17718
372.36/372.51	c nbDecision=287500 #constraints=17743
373.26/373.48	c nbDecision=288000 #constraints=17760
374.26/374.42	c nbDecision=288500 #constraints=17778
375.05/375.27	c nbDecision=289000 #constraints=17788
376.15/376.32	c nbDecision=289500 #constraints=17803
377.65/377.83	c nbDecision=290000 #constraints=17843
378.55/378.79	c nbDecision=290500 #constraints=17858
379.55/379.73	c nbDecision=291000 #constraints=17870
380.35/380.54	c nbDecision=291500 #constraints=17878
381.25/381.43	c nbDecision=292000 #constraints=17888
381.95/382.18	c nbDecision=292500 #constraints=17894
383.05/383.27	c nbDecision=293000 #constraints=17921
384.05/384.23	c nbDecision=293500 #constraints=17931
385.05/385.22	c nbDecision=294000 #constraints=17948
385.95/386.13	c nbDecision=294500 #constraints=17962
386.95/387.20	c nbDecision=295000 #constraints=17976
387.75/387.96	c nbDecision=295500 #constraints=17985
388.75/388.92	c nbDecision=296000 #constraints=17996
389.85/390.00	c nbDecision=296500 #constraints=18028
391.04/391.25	c nbDecision=297000 #constraints=18055
392.04/392.28	c nbDecision=297500 #constraints=18073
393.04/393.27	c nbDecision=298000 #constraints=18095
394.34/394.51	c nbDecision=298500 #constraints=18123
395.24/395.46	c nbDecision=299000 #constraints=18139
396.25/396.41	c nbDecision=299500 #constraints=18153
397.35/397.52	c nbDecision=300000 #constraints=18166
398.25/398.45	c nbDecision=300500 #constraints=18176
399.05/399.21	c nbDecision=301000 #constraints=18184
400.05/400.22	c nbDecision=301500 #constraints=18208
400.95/401.16	c nbDecision=302000 #constraints=18225
401.85/402.00	c nbDecision=302500 #constraints=18238
402.95/403.18	c nbDecision=303000 #constraints=18263
404.05/404.24	c nbDecision=303500 #constraints=18289
404.95/405.15	c nbDecision=304000 #constraints=18299
406.05/406.21	c nbDecision=304500 #constraints=18318
407.14/407.33	c nbDecision=305000 #constraints=18341
408.04/408.27	c nbDecision=305500 #constraints=18353
408.95/409.18	c nbDecision=306000 #constraints=18362
409.84/410.09	c nbDecision=306500 #constraints=18374
411.04/411.22	c nbDecision=307000 #constraints=18394
412.04/412.21	c nbDecision=307500 #constraints=18408
412.74/412.94	c nbDecision=308000 #constraints=18420
413.84/414.00	c nbDecision=308500 #constraints=18438
414.84/415.05	c nbDecision=309000 #constraints=18453
415.84/416.06	c nbDecision=309500 #constraints=18470
416.94/417.16	c nbDecision=310000 #constraints=18502
418.63/418.80	c nbDecision=310500 #constraints=18550
419.43/419.69	c nbDecision=311000 #constraints=18559
420.23/420.45	c nbDecision=311500 #constraints=18567
421.33/421.53	c nbDecision=312000 #constraints=18584
422.03/422.27	c nbDecision=312500 #constraints=18591
422.93/423.20	c nbDecision=313000 #constraints=18601
423.84/424.07	c nbDecision=313500 #constraints=18611
425.14/425.30	c nbDecision=314000 #constraints=18635
425.94/426.11	c nbDecision=314500 #constraints=18641
426.74/426.99	c nbDecision=315000 #constraints=18657
427.84/428.09	c nbDecision=315500 #constraints=18679
428.64/428.81	c nbDecision=316000 #constraints=18683
429.54/429.78	c nbDecision=316500 #constraints=18698
430.54/430.78	c nbDecision=317000 #constraints=18709
431.44/431.69	c nbDecision=317500 #constraints=18715
432.54/432.75	c nbDecision=318000 #constraints=18736
433.44/433.69	c nbDecision=318500 #constraints=18746
434.63/434.80	c nbDecision=319000 #constraints=18762
435.44/435.67	c nbDecision=319500 #constraints=18771
436.44/436.68	c nbDecision=320000 #constraints=18788
437.54/437.70	c nbDecision=320500 #constraints=18802
438.63/438.87	c nbDecision=321000 #constraints=18827
439.53/439.78	c nbDecision=321500 #constraints=18839
440.53/440.72	c nbDecision=322000 #constraints=18852
441.93/442.14	c nbDecision=322500 #constraints=18876
442.83/443.06	c nbDecision=323000 #constraints=18891
443.93/444.13	c nbDecision=323500 #constraints=18912
444.83/445.07	c nbDecision=324000 #constraints=18921
445.83/446.07	c nbDecision=324500 #constraints=18936
446.82/447.09	c nbDecision=325000 #constraints=18947
448.02/448.24	c nbDecision=325500 #constraints=18971
449.02/449.29	c nbDecision=326000 #constraints=18993
450.33/450.54	c nbDecision=326500 #constraints=19018
451.33/451.55	c nbDecision=327000 #constraints=19036
452.23/452.45	c nbDecision=327500 #constraints=19049
453.33/453.51	c nbDecision=328000 #constraints=19068
454.33/454.51	c nbDecision=328500 #constraints=19082
455.33/455.51	c nbDecision=329000 #constraints=19097
456.23/456.50	c nbDecision=329500 #constraints=19112
457.22/457.47	c nbDecision=330000 #constraints=19126
458.22/458.40	c nbDecision=330500 #constraints=19135
459.22/459.45	c nbDecision=331000 #constraints=19149
460.22/460.47	c nbDecision=331500 #constraints=19175
461.22/461.41	c nbDecision=332000 #constraints=19186
462.22/462.46	c nbDecision=332500 #constraints=19211
463.12/463.35	c nbDecision=333000 #constraints=19228
464.22/464.44	c nbDecision=333500 #constraints=19252
465.42/465.64	c nbDecision=334000 #constraints=19270
466.62/466.86	c nbDecision=334500 #constraints=19295
467.42/467.69	c nbDecision=335000 #constraints=19308
468.82/469.07	c nbDecision=335500 #constraints=19334
470.02/470.27	c nbDecision=336000 #constraints=19373
471.02/471.28	c nbDecision=336500 #constraints=19384
471.92/472.14	c nbDecision=337000 #constraints=19397
472.92/473.19	c nbDecision=337500 #constraints=19420
473.83/474.10	c nbDecision=338000 #constraints=19430
474.82/475.09	c nbDecision=338500 #constraints=19438
475.82/476.02	c nbDecision=339000 #constraints=19447
476.92/477.18	c nbDecision=339500 #constraints=19463
478.02/478.28	c nbDecision=340000 #constraints=19484
479.02/479.23	c nbDecision=340500 #constraints=19497
480.22/480.45	c nbDecision=341000 #constraints=19523
481.42/481.61	c nbDecision=341500 #constraints=19539
482.12/482.35	c nbDecision=342000 #constraints=19544
482.92/483.14	c nbDecision=342500 #constraints=19551
484.02/484.24	c nbDecision=343000 #constraints=19564
485.12/485.38	c nbDecision=343500 #constraints=19581
486.02/486.24	c nbDecision=344000 #constraints=19590
487.21/487.48	c nbDecision=344500 #constraints=19612
488.51/488.71	c nbDecision=345000 #constraints=19645
489.41/489.62	c nbDecision=345500 #constraints=19652
490.42/490.68	c nbDecision=346000 #constraints=19665
492.01/492.29	c nbDecision=346500 #constraints=19702
493.11/493.39	c nbDecision=347000 #constraints=19716
494.71/494.90	c nbDecision=347500 #constraints=19759
496.61/496.85	c nbDecision=348000 #constraints=19811
498.91/499.11	c nbDecision=348500 #constraints=19911
500.41/500.67	c nbDecision=349000 #constraints=19946
501.41/501.63	c nbDecision=349500 #constraints=19958
502.71/502.94	c nbDecision=350000 #constraints=19977
503.91/504.17	c nbDecision=350500 #constraints=19992
505.01/505.26	c nbDecision=351000 #constraints=20003
505.90/506.13	c nbDecision=351500 #constraints=20019
506.91/507.19	c nbDecision=352000 #constraints=20043
508.10/508.32	c nbDecision=352500 #constraints=20055
509.11/509.34	c nbDecision=353000 #constraints=20065
510.00/510.30	c nbDecision=353500 #constraints=20076
511.10/511.35	c nbDecision=354000 #constraints=20086
511.90/512.13	c nbDecision=354500 #constraints=20097
512.80/513.08	c nbDecision=355000 #constraints=20106
514.10/514.38	c nbDecision=355500 #constraints=20128
515.01/515.21	c nbDecision=356000 #constraints=20135
516.11/516.34	c nbDecision=356500 #constraints=20148
517.41/517.63	c nbDecision=357000 #constraints=20167
518.31/518.54	c nbDecision=357500 #constraints=20180
519.51/519.71	c nbDecision=358000 #constraints=20214
520.50/520.78	c nbDecision=358500 #constraints=20225
521.60/521.90	c nbDecision=359000 #constraints=20255
522.90/523.17	c nbDecision=359500 #constraints=20280
524.00/524.21	c nbDecision=360000 #constraints=20292
525.20/525.45	c nbDecision=360500 #constraints=20312
526.00/526.22	c nbDecision=361000 #constraints=20317
527.10/527.36	c nbDecision=361500 #constraints=20337
528.30/528.56	c nbDecision=362000 #constraints=20353
529.30/529.54	c nbDecision=362500 #constraints=20370
530.40/530.67	c nbDecision=363000 #constraints=20387
531.40/531.62	c nbDecision=363500 #constraints=20398
532.50/532.70	c nbDecision=364000 #constraints=20412
533.30/533.59	c nbDecision=364500 #constraints=20434
534.60/534.88	c nbDecision=365000 #constraints=20453
535.80/536.01	c nbDecision=365500 #constraints=20483
536.50/536.73	c nbDecision=366000 #constraints=20486
537.50/537.72	c nbDecision=366500 #constraints=20495
538.70/538.91	c nbDecision=367000 #constraints=20509
539.70/539.96	c nbDecision=367500 #constraints=20519
540.80/541.00	c nbDecision=368000 #constraints=20534
541.90/542.11	c nbDecision=368500 #constraints=20550
543.10/543.30	c nbDecision=369000 #constraints=20571
544.20/544.43	c nbDecision=369500 #constraints=20591
545.29/545.55	c nbDecision=370000 #constraints=20608
546.49/546.77	c nbDecision=370500 #constraints=20623
547.49/547.77	c nbDecision=371000 #constraints=20634
548.59/548.87	c nbDecision=371500 #constraints=20647
549.69/549.93	c nbDecision=372000 #constraints=20665
550.59/550.86	c nbDecision=372500 #constraints=20678
551.69/551.91	c nbDecision=373000 #constraints=20693
552.69/552.90	c nbDecision=373500 #constraints=20703
553.69/553.96	c nbDecision=374000 #constraints=20719
554.98/555.24	c nbDecision=374500 #constraints=20738
555.98/556.24	c nbDecision=375000 #constraints=20756
557.28/557.59	c nbDecision=375500 #constraints=20792
558.49/558.71	c nbDecision=376000 #constraints=20803
559.69/559.93	c nbDecision=376500 #constraints=20817
560.58/560.87	c nbDecision=377000 #constraints=20825
561.58/561.89	c nbDecision=377500 #constraints=20843
562.58/562.89	c nbDecision=378000 #constraints=20853
563.88/564.17	c nbDecision=378500 #constraints=20872
564.98/565.23	c nbDecision=379000 #constraints=20884
565.98/566.24	c nbDecision=379500 #constraints=20895
567.28/567.58	c nbDecision=380000 #constraints=20915
568.49/568.72	c nbDecision=380500 #constraints=20934
569.49/569.77	c nbDecision=381000 #constraints=20948
570.59/570.86	c nbDecision=381500 #constraints=20962
571.98/572.25	c nbDecision=382000 #constraints=20991
573.08/573.36	c nbDecision=382500 #constraints=21008
574.58/574.90	c nbDecision=383000 #constraints=21046
575.78/576.01	c nbDecision=383500 #constraints=21056
576.88/577.12	c nbDecision=384000 #constraints=21077
577.88/578.11	c nbDecision=384500 #constraints=21088
578.98/579.20	c nbDecision=385000 #constraints=21101
579.88/580.17	c nbDecision=385500 #constraints=21111
581.07/581.36	c nbDecision=386000 #constraints=21135
582.17/582.40	c nbDecision=386500 #constraints=21150
583.17/583.48	c nbDecision=387000 #constraints=21168
584.37/584.62	c nbDecision=387500 #constraints=21185
585.27/585.54	c nbDecision=388000 #constraints=21196
586.27/586.59	c nbDecision=388500 #constraints=21209
587.57/587.82	c nbDecision=389000 #constraints=21228
588.87/589.16	c nbDecision=389500 #constraints=21247
589.67/589.98	c nbDecision=390000 #constraints=21256
590.77/591.03	c nbDecision=390500 #constraints=21266
591.77/592.05	c nbDecision=391000 #constraints=21274
592.97/593.21	c nbDecision=391500 #constraints=21285
594.07/594.38	c nbDecision=392000 #constraints=21295
595.17/595.42	c nbDecision=392500 #constraints=21310
596.17/596.46	c nbDecision=393000 #constraints=21322
597.07/597.30	c nbDecision=393500 #constraints=21329
598.17/598.46	c nbDecision=394000 #constraints=21344
599.46/599.73	c nbDecision=394500 #constraints=21372
600.56/600.85	c nbDecision=395000 #constraints=21394
601.66/601.96	c nbDecision=395500 #constraints=21405
602.66/602.99	c nbDecision=396000 #constraints=21416
604.06/604.36	c nbDecision=396500 #constraints=21434
605.16/605.49	c nbDecision=397000 #constraints=21450
606.56/606.82	c nbDecision=397500 #constraints=21466
607.56/607.85	c nbDecision=398000 #constraints=21479
608.66/608.92	c nbDecision=398500 #constraints=21488
609.56/609.87	c nbDecision=399000 #constraints=21499
610.86/611.19	c nbDecision=399500 #constraints=21525
612.26/612.51	c nbDecision=400000 #constraints=21544
613.36/613.67	c nbDecision=400500 #constraints=21560
614.56/614.85	c nbDecision=401000 #constraints=21574
615.86/616.20	c nbDecision=401500 #constraints=21604
617.26/617.50	c nbDecision=402000 #constraints=21619
618.36/618.69	c nbDecision=402500 #constraints=21634
619.55/619.80	c nbDecision=403000 #constraints=21649
620.85/621.16	c nbDecision=403500 #constraints=21669
622.15/622.48	c nbDecision=404000 #constraints=21693
623.36/623.70	c nbDecision=404500 #constraints=21713
625.35/625.60	c nbDecision=405000 #constraints=21761
626.45/626.71	c nbDecision=405500 #constraints=21772
627.45/627.74	c nbDecision=406000 #constraints=21789
628.85/629.11	c nbDecision=406500 #constraints=21804
629.65/629.93	c nbDecision=407000 #constraints=21808
630.85/631.13	c nbDecision=407500 #constraints=21821
631.95/632.27	c nbDecision=408000 #constraints=21832
633.26/633.55	c nbDecision=408500 #constraints=21849
634.16/634.41	c nbDecision=409000 #constraints=21854
635.36/635.65	c nbDecision=409500 #constraints=21867
635.46/635.75	c restart after 409601 decisions
637.16/637.43	c nbDecision=410000 #constraints=21867
637.36/637.69	c nbDecision=410500 #constraints=21867
637.66/637.94	c nbDecision=411000 #constraints=21867
637.86/638.19	c nbDecision=411500 #constraints=21867
638.16/638.44	c nbDecision=412000 #constraints=21867
638.66/638.97	c nbDecision=412500 #constraints=21867
638.96/639.24	c nbDecision=413000 #constraints=21867
639.25/639.50	c nbDecision=413500 #constraints=21867
639.45/639.75	c nbDecision=414000 #constraints=21867
639.65/639.99	c nbDecision=414500 #constraints=21867
639.96/640.24	c nbDecision=415000 #constraints=21867
640.15/640.48	c nbDecision=415500 #constraints=21867
640.45/640.72	c nbDecision=416000 #constraints=21867
640.65/640.95	c nbDecision=416500 #constraints=21867
640.85/641.19	c nbDecision=417000 #constraints=21867
641.15/641.43	c nbDecision=417500 #constraints=21867
641.35/641.65	c nbDecision=418000 #constraints=21867
641.65/641.95	c nbDecision=418500 #constraints=21867
641.85/642.17	c nbDecision=419000 #constraints=21867
642.06/642.39	c nbDecision=419500 #constraints=21867
642.35/642.62	c nbDecision=420000 #constraints=21867
642.55/642.84	c nbDecision=420500 #constraints=21867
642.75/643.06	c nbDecision=421000 #constraints=21867
643.16/643.45	c nbDecision=421500 #constraints=21867
643.65/643.96	c nbDecision=422000 #constraints=21867
643.85/644.18	c nbDecision=422500 #constraints=21867
644.15/644.41	c nbDecision=423000 #constraints=21867
644.36/644.62	c nbDecision=423500 #constraints=21867
644.55/644.84	c nbDecision=424000 #constraints=21867
644.75/645.04	c nbDecision=424500 #constraints=21867
645.15/645.49	c nbDecision=425000 #constraints=21867
645.75/646.03	c nbDecision=425500 #constraints=21867
646.35/646.69	c nbDecision=426000 #constraints=21867
648.55/648.80	c nbDecision=426500 #constraints=21930
650.25/650.56	c nbDecision=427000 #constraints=22000
652.05/652.33	c nbDecision=427500 #constraints=22053
654.04/654.35	c nbDecision=428000 #constraints=22129
655.64/655.93	c nbDecision=428500 #constraints=22167
657.94/658.28	c nbDecision=429000 #constraints=22268
659.84/660.12	c nbDecision=429500 #constraints=22335
661.44/661.78	c nbDecision=430000 #constraints=22382
663.24/663.50	c nbDecision=430500 #constraints=22434
666.04/666.37	c nbDecision=431000 #constraints=22539
667.84/668.12	c nbDecision=431500 #constraints=22582
670.44/670.71	c nbDecision=432000 #constraints=22668
672.64/672.99	c nbDecision=432500 #constraints=22745
675.63/675.98	c nbDecision=433000 #constraints=22897
679.04/679.38	c nbDecision=433500 #constraints=23050
680.24/680.56	c nbDecision=434000 #constraints=23069
681.33/681.62	c nbDecision=434500 #constraints=23083
682.43/682.71	c nbDecision=435000 #constraints=23096
683.53/683.86	c nbDecision=435500 #constraints=23124
685.03/685.30	c nbDecision=436000 #constraints=23152
686.03/686.40	c nbDecision=436500 #constraints=23160
687.03/687.30	c nbDecision=437000 #constraints=23172
687.93/688.23	c nbDecision=437500 #constraints=23178
689.03/689.39	c nbDecision=438000 #constraints=23197
690.23/690.58	c nbDecision=438500 #constraints=23223
691.42/691.71	c nbDecision=439000 #constraints=23253
692.63/692.93	c nbDecision=439500 #constraints=23271
693.52/693.80	c nbDecision=440000 #constraints=23281
694.62/694.95	c nbDecision=440500 #constraints=23305
695.93/696.22	c nbDecision=441000 #constraints=23316
697.12/697.42	c nbDecision=441500 #constraints=23332
698.12/698.43	c nbDecision=442000 #constraints=23339
699.43/699.70	c nbDecision=442500 #constraints=23364
700.43/700.77	c nbDecision=443000 #constraints=23372
701.93/702.27	c nbDecision=443500 #constraints=23403
703.03/703.39	c nbDecision=444000 #constraints=23424
704.43/704.75	c nbDecision=444500 #constraints=23449
705.42/705.77	c nbDecision=445000 #constraints=23456
706.32/706.68	c nbDecision=445500 #constraints=23463
707.42/707.78	c nbDecision=446000 #constraints=23471
708.82/709.13	c nbDecision=446500 #constraints=23495
710.22/710.58	c nbDecision=447000 #constraints=23515
711.92/712.25	c nbDecision=447500 #constraints=23553
712.92/713.26	c nbDecision=448000 #constraints=23563
714.32/714.65	c nbDecision=448500 #constraints=23598
715.62/715.98	c nbDecision=449000 #constraints=23620
716.82/717.17	c nbDecision=449500 #constraints=23630
717.92/718.21	c nbDecision=450000 #constraints=23645
719.02/719.34	c nbDecision=450500 #constraints=23663
720.51/720.85	c nbDecision=451000 #constraints=23682
721.81/722.15	c nbDecision=451500 #constraints=23698
722.91/723.22	c nbDecision=452000 #constraints=23723
724.21/724.58	c nbDecision=452500 #constraints=23747
725.31/725.60	c nbDecision=453000 #constraints=23773
726.72/727.06	c nbDecision=453500 #constraints=23799
727.92/728.24	c nbDecision=454000 #constraints=23816
729.42/729.75	c nbDecision=454500 #constraints=23863
730.91/731.23	c nbDecision=455000 #constraints=23898
732.01/732.36	c nbDecision=455500 #constraints=23910
733.51/733.81	c nbDecision=456000 #constraints=23938
734.71/735.07	c nbDecision=456500 #constraints=23968
735.61/735.92	c nbDecision=457000 #constraints=23973
736.72/737.08	c nbDecision=457500 #constraints=23998
738.01/738.31	c nbDecision=458000 #constraints=24022
738.91/739.29	c nbDecision=458500 #constraints=24028
740.01/740.37	c nbDecision=459000 #constraints=24042
741.41/741.73	c nbDecision=459500 #constraints=24068
742.41/742.73	c nbDecision=460000 #constraints=24075
743.51/743.88	c nbDecision=460500 #constraints=24090
745.10/745.41	c nbDecision=461000 #constraints=24116
746.70/747.01	c nbDecision=461500 #constraints=24160
747.50/747.87	c nbDecision=462000 #constraints=24165
748.90/749.21	c nbDecision=462500 #constraints=24179
750.10/750.40	c nbDecision=463000 #constraints=24207
751.40/751.70	c nbDecision=463500 #constraints=24219
753.40/753.75	c nbDecision=464000 #constraints=24265
754.40/754.75	c nbDecision=464500 #constraints=24271
755.50/755.81	c nbDecision=465000 #constraints=24279
756.60/756.93	c nbDecision=465500 #constraints=24298
757.60/757.99	c nbDecision=466000 #constraints=24304
758.70/759.08	c nbDecision=466500 #constraints=24318
759.70/760.08	c nbDecision=467000 #constraints=24328
760.90/761.22	c nbDecision=467500 #constraints=24341
762.11/762.42	c nbDecision=468000 #constraints=24352
763.30/763.69	c nbDecision=468500 #constraints=24366
764.50/764.89	c nbDecision=469000 #constraints=24380
765.70/766.03	c nbDecision=469500 #constraints=24402
766.70/767.08	c nbDecision=470000 #constraints=24415
767.90/768.27	c nbDecision=470500 #constraints=24426
769.40/769.74	c nbDecision=471000 #constraints=24445
770.70/771.05	c nbDecision=471500 #constraints=24480
772.00/772.31	c nbDecision=472000 #constraints=24510
773.30/773.64	c nbDecision=472500 #constraints=24525
774.40/774.80	c nbDecision=473000 #constraints=24541
775.90/776.27	c nbDecision=473500 #constraints=24570
777.19/777.57	c nbDecision=474000 #constraints=24585
778.99/779.35	c nbDecision=474500 #constraints=24620
780.60/780.94	c nbDecision=475000 #constraints=24653
781.80/782.14	c nbDecision=475500 #constraints=24668
782.89/783.23	c nbDecision=476000 #constraints=24675
783.89/784.23	c nbDecision=476500 #constraints=24682
785.39/785.76	c nbDecision=477000 #constraints=24708
786.59/786.99	c nbDecision=477500 #constraints=24718
787.59/787.98	c nbDecision=478000 #constraints=24734
788.79/789.12	c nbDecision=478500 #constraints=24752
789.69/790.01	c nbDecision=479000 #constraints=24756
790.79/791.15	c nbDecision=479500 #constraints=24763
791.79/792.16	c nbDecision=480000 #constraints=24777
793.29/793.67	c nbDecision=480500 #constraints=24801
794.38/794.77	c nbDecision=481000 #constraints=24809
795.59/795.90	c nbDecision=481500 #constraints=24815
796.78/797.15	c nbDecision=482000 #constraints=24839
798.08/798.40	c nbDecision=482500 #constraints=24859
799.29/799.66	c nbDecision=483000 #constraints=24875
800.28/800.68	c nbDecision=483500 #constraints=24881
801.78/802.18	c nbDecision=484000 #constraints=24899
803.08/803.50	c nbDecision=484500 #constraints=24915
804.58/804.91	c nbDecision=485000 #constraints=24937
805.58/805.97	c nbDecision=485500 #constraints=24948
807.08/807.46	c nbDecision=486000 #constraints=24967
808.38/808.75	c nbDecision=486500 #constraints=24983
809.39/809.71	c nbDecision=487000 #constraints=24990
810.58/810.97	c nbDecision=487500 #constraints=25014
812.08/812.40	c nbDecision=488000 #constraints=25037
813.38/813.71	c nbDecision=488500 #constraints=25057
814.38/814.79	c nbDecision=489000 #constraints=25072
815.48/815.90	c nbDecision=489500 #constraints=25081
816.88/817.26	c nbDecision=490000 #constraints=25108
817.88/818.28	c nbDecision=490500 #constraints=25114
818.98/819.38	c nbDecision=491000 #constraints=25126
820.18/820.57	c nbDecision=491500 #constraints=25136
821.58/821.97	c nbDecision=492000 #constraints=25161
822.88/823.23	c nbDecision=492500 #constraints=25179
824.78/825.15	c nbDecision=493000 #constraints=25211
826.18/826.51	c nbDecision=493500 #constraints=25240
827.37/827.74	c nbDecision=494000 #constraints=25260
828.47/828.85	c nbDecision=494500 #constraints=25268
829.47/829.89	c nbDecision=495000 #constraints=25276
830.97/831.39	c nbDecision=495500 #constraints=25298
832.17/832.55	c nbDecision=496000 #constraints=25307
833.47/833.89	c nbDecision=496500 #constraints=25325
834.57/834.93	c nbDecision=497000 #constraints=25341
836.27/836.63	c nbDecision=497500 #constraints=25364
837.57/837.94	c nbDecision=498000 #constraints=25379
839.26/839.69	c nbDecision=498500 #constraints=25411
840.56/840.94	c nbDecision=499000 #constraints=25422
841.96/842.35	c nbDecision=499500 #constraints=25442
843.27/843.62	c nbDecision=500000 #constraints=25463
844.26/844.65	c nbDecision=500500 #constraints=25470
845.96/846.37	c nbDecision=501000 #constraints=25513
847.07/847.49	c nbDecision=501500 #constraints=25529
848.47/848.85	c nbDecision=502000 #constraints=25556
849.87/850.27	c nbDecision=502500 #constraints=25575
851.26/851.60	c nbDecision=503000 #constraints=25595
852.66/853.05	c nbDecision=503500 #constraints=25616
854.27/854.68	c nbDecision=504000 #constraints=25647
855.76/856.10	c nbDecision=504500 #constraints=25667
857.66/858.04	c nbDecision=505000 #constraints=25712
858.66/859.04	c nbDecision=505500 #constraints=25717
859.76/860.17	c nbDecision=506000 #constraints=25725
860.96/861.37	c nbDecision=506500 #constraints=25734
862.16/862.51	c nbDecision=507000 #constraints=25746
863.06/863.44	c nbDecision=507500 #constraints=25752
864.27/864.64	c nbDecision=508000 #constraints=25766
865.27/865.68	c nbDecision=508500 #constraints=25771
866.66/867.04	c nbDecision=509000 #constraints=25795
867.57/867.95	c nbDecision=509500 #constraints=25801
868.96/869.33	c nbDecision=510000 #constraints=25826
870.06/870.47	c nbDecision=510500 #constraints=25837
871.16/871.58	c nbDecision=511000 #constraints=25849
872.26/872.69	c nbDecision=511500 #constraints=25859
873.46/873.85	c nbDecision=512000 #constraints=25867
874.46/874.86	c nbDecision=512500 #constraints=25881
875.76/876.15	c nbDecision=513000 #constraints=25903
876.96/877.39	c nbDecision=513500 #constraints=25920
878.46/878.83	c nbDecision=514000 #constraints=25940
879.66/880.03	c nbDecision=514500 #constraints=25954
880.55/880.97	c nbDecision=515000 #constraints=25959
881.95/882.37	c nbDecision=515500 #constraints=25991
883.05/883.44	c nbDecision=516000 #constraints=26000
884.55/884.95	c nbDecision=516500 #constraints=26018
886.26/886.63	c nbDecision=517000 #constraints=26048
887.55/887.95	c nbDecision=517500 #constraints=26066
889.05/889.44	c nbDecision=518000 #constraints=26091
890.35/890.71	c nbDecision=518500 #constraints=26112
891.65/892.08	c nbDecision=519000 #constraints=26127
892.85/893.24	c nbDecision=519500 #constraints=26142
894.34/894.74	c nbDecision=520000 #constraints=26170
895.44/895.87	c nbDecision=520500 #constraints=26177
896.74/897.19	c nbDecision=521000 #constraints=26190
898.04/898.42	c nbDecision=521500 #constraints=26210
899.45/899.85	c nbDecision=522000 #constraints=26232
900.74/901.15	c nbDecision=522500 #constraints=26249
902.14/902.55	c nbDecision=523000 #constraints=26267
903.34/903.70	c nbDecision=523500 #constraints=26282
905.25/905.64	c nbDecision=524000 #constraints=26327
906.65/907.00	c nbDecision=524500 #constraints=26370
907.75/908.15	c nbDecision=525000 #constraints=26377
908.94/909.39	c nbDecision=525500 #constraints=26393
910.04/910.46	c nbDecision=526000 #constraints=26406
911.14/911.55	c nbDecision=526500 #constraints=26413
912.34/912.74	c nbDecision=527000 #constraints=26421
913.54/914.00	c nbDecision=527500 #constraints=26430
914.84/915.22	c nbDecision=528000 #constraints=26449
915.84/916.21	c nbDecision=528500 #constraints=26454
917.24/917.62	c nbDecision=529000 #constraints=26473
918.74/919.16	c nbDecision=529500 #constraints=26489
919.64/920.04	c nbDecision=530000 #constraints=26493
920.84/921.21	c nbDecision=530500 #constraints=26503
922.14/922.55	c nbDecision=531000 #constraints=26512
923.24/923.64	c nbDecision=531500 #constraints=26519
924.54/924.90	c nbDecision=532000 #constraints=26530
925.54/925.94	c nbDecision=532500 #constraints=26537
926.94/927.32	c nbDecision=533000 #constraints=26555
928.04/928.43	c nbDecision=533500 #constraints=26569
929.33/929.79	c nbDecision=534000 #constraints=26581
930.73/931.18	c nbDecision=534500 #constraints=26596
932.13/932.56	c nbDecision=535000 #constraints=26609
933.93/934.34	c nbDecision=535500 #constraints=26633
935.53/936.00	c nbDecision=536000 #constraints=26668
937.23/937.68	c nbDecision=536500 #constraints=26702
938.43/938.89	c nbDecision=537000 #constraints=26711
939.93/940.34	c nbDecision=537500 #constraints=26727
941.23/941.69	c nbDecision=538000 #constraints=26739
942.72/943.11	c nbDecision=538500 #constraints=26751
943.52/943.99	c nbDecision=539000 #constraints=26755
944.82/945.23	c nbDecision=539500 #constraints=26763
946.42/946.81	c nbDecision=540000 #constraints=26785
947.72/948.15	c nbDecision=540500 #constraints=26797
948.92/949.38	c nbDecision=541000 #constraints=26808
950.42/950.87	c nbDecision=541500 #constraints=26829
952.42/952.80	c nbDecision=542000 #constraints=26857
953.52/953.98	c nbDecision=542500 #constraints=26864
954.92/955.31	c nbDecision=543000 #constraints=26880
956.42/956.81	c nbDecision=543500 #constraints=26902
957.72/958.10	c nbDecision=544000 #constraints=26912
958.92/959.30	c nbDecision=544500 #constraints=26923
960.42/960.87	c nbDecision=545000 #constraints=26951
961.92/962.36	c nbDecision=545500 #constraints=26976
964.22/964.61	c nbDecision=546000 #constraints=27015
965.51/965.99	c nbDecision=546500 #constraints=27027
967.01/967.40	c nbDecision=547000 #constraints=27048
968.71/969.16	c nbDecision=547500 #constraints=27074
970.61/971.00	c nbDecision=548000 #constraints=27108
972.21/972.69	c nbDecision=548500 #constraints=27134
974.11/974.59	c nbDecision=549000 #constraints=27182
976.81/977.25	c nbDecision=549500 #constraints=27258
978.01/978.49	c nbDecision=550000 #constraints=27271
979.62/980.01	c nbDecision=550500 #constraints=27292
980.72/981.19	c nbDecision=551000 #constraints=27299
981.71/982.17	c nbDecision=551500 #constraints=27305
983.02/983.44	c nbDecision=552000 #constraints=27316
984.41/984.83	c nbDecision=552500 #constraints=27329
986.21/986.69	c nbDecision=553000 #constraints=27355
987.21/987.69	c nbDecision=553500 #constraints=27360
988.31/988.79	c nbDecision=554000 #constraints=27368
989.41/989.84	c nbDecision=554500 #constraints=27373
990.71/991.19	c nbDecision=555000 #constraints=27383
992.01/992.45	c nbDecision=555500 #constraints=27407
993.21/993.66	c nbDecision=556000 #constraints=27416
994.51/995.00	c nbDecision=556500 #constraints=27431
995.90/996.35	c nbDecision=557000 #constraints=27448
997.40/997.89	c nbDecision=557500 #constraints=27462
998.71/999.17	c nbDecision=558000 #constraints=27483
1000.10/1000.60	c nbDecision=558500 #constraints=27502
1001.60/1002.08	c nbDecision=559000 #constraints=27520
1003.50/1003.95	c nbDecision=559500 #constraints=27541
1005.10/1005.56	c nbDecision=560000 #constraints=27553
1006.40/1006.82	c nbDecision=560500 #constraints=27566
1007.40/1007.82	c nbDecision=561000 #constraints=27571
1008.70/1009.16	c nbDecision=561500 #constraints=27587
1009.80/1010.28	c nbDecision=562000 #constraints=27594
1011.50/1011.92	c nbDecision=562500 #constraints=27611
1012.70/1013.16	c nbDecision=563000 #constraints=27619
1014.10/1014.52	c nbDecision=563500 #constraints=27629
1015.39/1015.84	c nbDecision=564000 #constraints=27638
1016.69/1017.13	c nbDecision=564500 #constraints=27654
1018.39/1018.84	c nbDecision=565000 #constraints=27686
1019.79/1020.24	c nbDecision=565500 #constraints=27698
1021.19/1021.67	c nbDecision=566000 #constraints=27711
1022.90/1023.36	c nbDecision=566500 #constraints=27727
1024.20/1024.60	c nbDecision=567000 #constraints=27735
1026.00/1026.44	c nbDecision=567500 #constraints=27756
1027.70/1028.17	c nbDecision=568000 #constraints=27786
1029.40/1029.83	c nbDecision=568500 #constraints=27800
1030.49/1030.99	c nbDecision=569000 #constraints=27807
1031.99/1032.47	c nbDecision=569500 #constraints=27825
1032.99/1033.40	c nbDecision=570000 #constraints=27829
1034.39/1034.80	c nbDecision=570500 #constraints=27840
1036.19/1036.65	c nbDecision=571000 #constraints=27861
1037.29/1037.78	c nbDecision=571500 #constraints=27869
1038.89/1039.33	c nbDecision=572000 #constraints=27889
1040.69/1041.18	c nbDecision=572500 #constraints=27917
1042.69/1043.17	c nbDecision=573000 #constraints=27948
1044.59/1045.03	c nbDecision=573500 #constraints=27978
1045.79/1046.26	c nbDecision=574000 #constraints=27987
1047.39/1047.83	c nbDecision=574500 #constraints=27998
1048.59/1049.04	c nbDecision=575000 #constraints=28006
1049.79/1050.29	c nbDecision=575500 #constraints=28015
1050.98/1051.44	c nbDecision=576000 #constraints=28029
1052.29/1052.73	c nbDecision=576500 #constraints=28045
1053.78/1054.28	c nbDecision=577000 #constraints=28054
1055.08/1055.57	c nbDecision=577500 #constraints=28065
1056.48/1057.00	c nbDecision=578000 #constraints=28076
1057.69/1058.20	c nbDecision=578500 #constraints=28086
1059.08/1059.53	c nbDecision=579000 #constraints=28104
1060.18/1060.65	c nbDecision=579500 #constraints=28112
1061.48/1061.92	c nbDecision=580000 #constraints=28123
1062.68/1063.19	c nbDecision=580500 #constraints=28133
1063.88/1064.33	c nbDecision=581000 #constraints=28143
1065.38/1065.87	c nbDecision=581500 #constraints=28164
1066.97/1067.45	c nbDecision=582000 #constraints=28182
1068.07/1068.52	c nbDecision=582500 #constraints=28188
1068.97/1069.40	c nbDecision=583000 #constraints=28193
1071.07/1071.58	c nbDecision=583500 #constraints=28212
1072.77/1073.20	c nbDecision=584000 #constraints=28225
1073.67/1074.18	c nbDecision=584500 #constraints=28235
1075.37/1075.86	c nbDecision=585000 #constraints=28259
1076.67/1077.17	c nbDecision=585500 #constraints=28274
1078.07/1078.57	c nbDecision=586000 #constraints=28282
1078.97/1079.47	c nbDecision=586500 #constraints=28286
1080.17/1080.70	c nbDecision=587000 #constraints=28301
1081.27/1081.70	c nbDecision=587500 #constraints=28307
1082.57/1083.01	c nbDecision=588000 #constraints=28317
1083.97/1084.50	c nbDecision=588500 #constraints=28330
1085.37/1085.84	c nbDecision=589000 #constraints=28345
1087.17/1087.65	c nbDecision=589500 #constraints=28379
1088.57/1089.04	c nbDecision=590000 #constraints=28402
1089.96/1090.40	c nbDecision=590500 #constraints=28417
1091.26/1091.70	c nbDecision=591000 #constraints=28427
1092.66/1093.14	c nbDecision=591500 #constraints=28446
1093.96/1094.45	c nbDecision=592000 #constraints=28454
1095.66/1096.10	c nbDecision=592500 #constraints=28472
1097.16/1097.65	c nbDecision=593000 #constraints=28485
1099.07/1099.51	c nbDecision=593500 #constraints=28513
1100.37/1100.87	c nbDecision=594000 #constraints=28523
1102.06/1102.50	c nbDecision=594500 #constraints=28551
1103.36/1103.88	c nbDecision=595000 #constraints=28568
1104.76/1105.29	c nbDecision=595500 #constraints=28588
1106.36/1106.88	c nbDecision=596000 #constraints=28627
1107.66/1108.18	c nbDecision=596500 #constraints=28641
1109.36/1109.81	c nbDecision=597000 #constraints=28655
1110.86/1111.35	c nbDecision=597500 #constraints=28667
1112.06/1112.50	c nbDecision=598000 #constraints=28673
1113.26/1113.73	c nbDecision=598500 #constraints=28681
1114.46/1114.95	c nbDecision=599000 #constraints=28698
1116.35/1116.86	c nbDecision=599500 #constraints=28726
1117.85/1118.36	c nbDecision=600000 #constraints=28751
1119.76/1120.21	c nbDecision=600500 #constraints=28782
1120.96/1121.43	c nbDecision=601000 #constraints=28789
1122.76/1123.26	c nbDecision=601500 #constraints=28807
1123.86/1124.34	c nbDecision=602000 #constraints=28818
1125.56/1126.04	c nbDecision=602500 #constraints=28844
1127.26/1127.73	c nbDecision=603000 #constraints=28859
1129.26/1129.72	c nbDecision=603500 #constraints=28894
1130.66/1131.10	c nbDecision=604000 #constraints=28910
1133.15/1133.65	c nbDecision=604500 #constraints=28955
1134.35/1134.81	c nbDecision=605000 #constraints=28969
1136.35/1136.83	c nbDecision=605500 #constraints=28998
1138.35/1138.81	c nbDecision=606000 #constraints=29036
1141.65/1142.15	c nbDecision=606500 #constraints=29134
1142.95/1143.48	c nbDecision=607000 #constraints=29148
1144.55/1145.09	c nbDecision=607500 #constraints=29164
1146.04/1146.59	c nbDecision=608000 #constraints=29191
1147.44/1147.91	c nbDecision=608500 #constraints=29198
1148.84/1149.32	c nbDecision=609000 #constraints=29219
1150.15/1150.68	c nbDecision=609500 #constraints=29234
1151.74/1152.21	c nbDecision=610000 #constraints=29248
1153.54/1154.04	c nbDecision=610500 #constraints=29274
1154.94/1155.47	c nbDecision=611000 #constraints=29289
1156.44/1156.97	c nbDecision=611500 #constraints=29300
1157.44/1157.93	c nbDecision=612000 #constraints=29304
1158.94/1159.41	c nbDecision=612500 #constraints=29314
1160.24/1160.73	c nbDecision=613000 #constraints=29321
1161.34/1161.88	c nbDecision=613500 #constraints=29332
1162.74/1163.26	c nbDecision=614000 #constraints=29345
1164.24/1164.74	c nbDecision=614500 #constraints=29356
1165.64/1166.15	c nbDecision=615000 #constraints=29367
1166.84/1167.37	c nbDecision=615500 #constraints=29374
1168.54/1169.09	c nbDecision=616000 #constraints=29390
1170.24/1170.71	c nbDecision=616500 #constraints=29410
1171.63/1172.18	c nbDecision=617000 #constraints=29422
1173.73/1174.29	c nbDecision=617500 #constraints=29457
1175.23/1175.74	c nbDecision=618000 #constraints=29471
1176.63/1177.13	c nbDecision=618500 #constraints=29481
1177.54/1178.08	c nbDecision=619000 #constraints=29491
1178.93/1179.43	c nbDecision=619500 #constraints=29502
1180.33/1180.87	c nbDecision=620000 #constraints=29520
1181.93/1182.47	c nbDecision=620500 #constraints=29535
1183.13/1183.67	c nbDecision=621000 #constraints=29543
1184.53/1185.03	c nbDecision=621500 #constraints=29556
1186.03/1186.57	c nbDecision=622000 #constraints=29570
1187.53/1188.07	c nbDecision=622500 #constraints=29581
1189.13/1189.69	c nbDecision=623000 #constraints=29598
1191.42/1191.94	c nbDecision=623500 #constraints=29637
1192.82/1193.34	c nbDecision=624000 #constraints=29650
1194.13/1194.66	c nbDecision=624500 #constraints=29658
1195.92/1196.40	c nbDecision=625000 #constraints=29671
1197.23/1197.79	c nbDecision=625500 #constraints=29681
1198.73/1199.22	c nbDecision=626000 #constraints=29691
1200.43/1200.94	c nbDecision=626500 #constraints=29706
1201.74/1202.21	c nbDecision=627000 #constraints=29713
1203.23/1203.71	c nbDecision=627500 #constraints=29727
1205.03/1205.59	c nbDecision=628000 #constraints=29750
1206.63/1207.13	c nbDecision=628500 #constraints=29765
1208.33/1208.85	c nbDecision=629000 #constraints=29781
1210.33/1210.81	c nbDecision=629500 #constraints=29814
1212.03/1212.52	c nbDecision=630000 #constraints=29835
1213.12/1213.65	c nbDecision=630500 #constraints=29841
1214.52/1215.04	c nbDecision=631000 #constraints=29861
1216.13/1216.60	c nbDecision=631500 #constraints=29873
1218.02/1218.58	c nbDecision=632000 #constraints=29901
1219.32/1219.86	c nbDecision=632500 #constraints=29916
1220.42/1220.90	c nbDecision=633000 #constraints=29925
1222.02/1222.55	c nbDecision=633500 #constraints=29941
1223.82/1224.33	c nbDecision=634000 #constraints=29959
1225.52/1226.08	c nbDecision=634500 #constraints=29980
1227.02/1227.52	c nbDecision=635000 #constraints=29991
1228.62/1229.19	c nbDecision=635500 #constraints=30013
1230.81/1231.33	c nbDecision=636000 #constraints=30043
1235.11/1235.64	c nbDecision=636500 #constraints=30148
1236.51/1237.05	c nbDecision=637000 #constraints=30158
1238.11/1238.66	c nbDecision=637500 #constraints=30178
1239.51/1240.07	c nbDecision=638000 #constraints=30186
1240.91/1241.47	c nbDecision=638500 #constraints=30195
1242.21/1242.76	c nbDecision=639000 #constraints=30207
1243.61/1244.16	c nbDecision=639500 #constraints=30214
1244.81/1245.32	c nbDecision=640000 #constraints=30219
1246.50/1247.02	c nbDecision=640500 #constraints=30231
1247.80/1248.32	c nbDecision=641000 #constraints=30244
1249.30/1249.86	c nbDecision=641500 #constraints=30256
1250.90/1251.44	c nbDecision=642000 #constraints=30274
1252.70/1253.22	c nbDecision=642500 #constraints=30292
1254.11/1254.68	c nbDecision=643000 #constraints=30301
1255.71/1256.21	c nbDecision=643500 #constraints=30312
1257.00/1257.52	c nbDecision=644000 #constraints=30318
1258.70/1259.26	c nbDecision=644500 #constraints=30335
1260.11/1260.65	c nbDecision=645000 #constraints=30344
1261.70/1262.20	c nbDecision=645500 #constraints=30363
1263.20/1263.72	c nbDecision=646000 #constraints=30375
1264.80/1265.35	c nbDecision=646500 #constraints=30399
1265.90/1266.50	c nbDecision=647000 #constraints=30403
1267.30/1267.87	c nbDecision=647500 #constraints=30412
1268.70/1269.25	c nbDecision=648000 #constraints=30421
1270.20/1270.70	c nbDecision=648500 #constraints=30430
1271.80/1272.36	c nbDecision=649000 #constraints=30454
1273.70/1274.28	c nbDecision=649500 #constraints=30488
1275.10/1275.69	c nbDecision=650000 #constraints=30506
1276.50/1277.01	c nbDecision=650500 #constraints=30516
1278.00/1278.58	c nbDecision=651000 #constraints=30531
1279.40/1279.94	c nbDecision=651500 #constraints=30541
1280.60/1281.18	c nbDecision=652000 #constraints=30549
1282.00/1282.55	c nbDecision=652500 #constraints=30563
1283.79/1284.38	c nbDecision=653000 #constraints=30584
1285.19/1285.77	c nbDecision=653500 #constraints=30596
1287.69/1288.20	c nbDecision=654000 #constraints=30639
1289.09/1289.62	c nbDecision=654500 #constraints=30654
1290.49/1291.00	c nbDecision=655000 #constraints=30667
1291.69/1292.22	c nbDecision=655500 #constraints=30679
1293.19/1293.78	c nbDecision=656000 #constraints=30695
1295.19/1295.71	c nbDecision=656500 #constraints=30713
1296.29/1296.87	c nbDecision=657000 #constraints=30720
1297.59/1298.10	c nbDecision=657500 #constraints=30734
1298.89/1299.42	c nbDecision=658000 #constraints=30743
1300.19/1300.78	c nbDecision=658500 #constraints=30753
1301.59/1302.12	c nbDecision=659000 #constraints=30763
1302.69/1303.26	c nbDecision=659500 #constraints=30769
1304.18/1304.75	c nbDecision=660000 #constraints=30784
1305.78/1306.30	c nbDecision=660500 #constraints=30797
1307.59/1308.12	c nbDecision=661000 #constraints=30812
1308.69/1309.21	c nbDecision=661500 #constraints=30818
1310.09/1310.60	c nbDecision=662000 #constraints=30834
1311.59/1312.13	c nbDecision=662500 #constraints=30848
1312.99/1313.56	c nbDecision=663000 #constraints=30863
1314.39/1314.99	c nbDecision=663500 #constraints=30873
1315.89/1316.43	c nbDecision=664000 #constraints=30883
1317.49/1318.06	c nbDecision=664500 #constraints=30900
1319.99/1320.56	c nbDecision=665000 #constraints=30943
1321.99/1322.55	c nbDecision=665500 #constraints=30963
1323.28/1323.85	c nbDecision=666000 #constraints=30971
1324.68/1325.23	c nbDecision=666500 #constraints=30983
1326.58/1327.16	c nbDecision=667000 #constraints=30997
1327.98/1328.55	c nbDecision=667500 #constraints=31008
1329.68/1330.20	c nbDecision=668000 #constraints=31023
1331.28/1331.83	c nbDecision=668500 #constraints=31038
1332.88/1333.43	c nbDecision=669000 #constraints=31052
1334.88/1335.41	c nbDecision=669500 #constraints=31075
1336.58/1337.13	c nbDecision=670000 #constraints=31093
1337.98/1338.51	c nbDecision=670500 #constraints=31103
1339.28/1339.87	c nbDecision=671000 #constraints=31112
1340.67/1341.29	c nbDecision=671500 #constraints=31132
1342.17/1342.72	c nbDecision=672000 #constraints=31145
1344.68/1345.24	c nbDecision=672500 #constraints=31184
1345.97/1346.50	c nbDecision=673000 #constraints=31190
1347.37/1347.92	c nbDecision=673500 #constraints=31208
1348.77/1349.39	c nbDecision=674000 #constraints=31218
1350.07/1350.68	c nbDecision=674500 #constraints=31231
1351.77/1352.32	c nbDecision=675000 #constraints=31248
1353.47/1354.03	c nbDecision=675500 #constraints=31267
1355.28/1355.82	c nbDecision=676000 #constraints=31294
1358.07/1358.65	c nbDecision=676500 #constraints=31338
1359.47/1360.09	c nbDecision=677000 #constraints=31347
1361.37/1361.96	c nbDecision=677500 #constraints=31362
1363.27/1363.80	c nbDecision=678000 #constraints=31379
1365.47/1366.06	c nbDecision=678500 #constraints=31405
1368.17/1368.71	c nbDecision=679000 #constraints=31440
1370.17/1370.71	c nbDecision=679500 #constraints=31463
1372.27/1372.89	c nbDecision=680000 #constraints=31493
1375.57/1376.12	c nbDecision=680500 #constraints=31550
1378.46/1379.09	c nbDecision=681000 #constraints=31618
1380.06/1380.69	c nbDecision=681500 #constraints=31637
1381.36/1381.95	c nbDecision=682000 #constraints=31643
1382.66/1383.23	c nbDecision=682500 #constraints=31648
1383.96/1384.58	c nbDecision=683000 #constraints=31656
1385.25/1385.86	c nbDecision=683500 #constraints=31667
1386.65/1387.20	c nbDecision=684000 #constraints=31674
1388.15/1388.72	c nbDecision=684500 #constraints=31688
1389.86/1390.44	c nbDecision=685000 #constraints=31706
1391.97/1392.58	c nbDecision=685500 #constraints=31735
1393.36/1393.96	c nbDecision=686000 #constraints=31743
1394.76/1395.33	c nbDecision=686500 #constraints=31754
1396.06/1396.62	c nbDecision=687000 #constraints=31764
1398.16/1398.73	c nbDecision=687500 #constraints=31790
1399.56/1400.10	c nbDecision=688000 #constraints=31800
1400.76/1401.35	c nbDecision=688500 #constraints=31807
1402.16/1402.78	c nbDecision=689000 #constraints=31817
1403.66/1404.24	c nbDecision=689500 #constraints=31827
1405.16/1405.78	c nbDecision=690000 #constraints=31838
1406.66/1407.26	c nbDecision=690500 #constraints=31848
1408.06/1408.65	c nbDecision=691000 #constraints=31865
1409.45/1410.03	c nbDecision=691500 #constraints=31877
1411.05/1411.65	c nbDecision=692000 #constraints=31896
1412.65/1413.20	c nbDecision=692500 #constraints=31912
1414.45/1415.06	c nbDecision=693000 #constraints=31935
1416.25/1416.82	c nbDecision=693500 #constraints=31949
1417.95/1418.57	c nbDecision=694000 #constraints=31970
1419.45/1420.09	c nbDecision=694500 #constraints=31993
1421.45/1422.07	c nbDecision=695000 #constraints=32022
1422.85/1423.42	c nbDecision=695500 #constraints=32036
1424.25/1424.80	c nbDecision=696000 #constraints=32053
1425.45/1426.02	c nbDecision=696500 #constraints=32063
1426.95/1427.56	c nbDecision=697000 #constraints=32072
1428.64/1429.22	c nbDecision=697500 #constraints=32091
1430.35/1430.93	c nbDecision=698000 #constraints=32104
1431.84/1432.44	c nbDecision=698500 #constraints=32113
1433.44/1434.01	c nbDecision=699000 #constraints=32125
1435.14/1435.75	c nbDecision=699500 #constraints=32140
1436.84/1437.49	c nbDecision=700000 #constraints=32155
1439.34/1439.97	c nbDecision=700500 #constraints=32188
1441.04/1441.69	c nbDecision=701000 #constraints=32210
1442.64/1443.23	c nbDecision=701500 #constraints=32225
1444.34/1444.98	c nbDecision=702000 #constraints=32253
1445.84/1446.44	c nbDecision=702500 #constraints=32267
1447.53/1448.18	c nbDecision=703000 #constraints=32280
1449.74/1450.32	c nbDecision=703500 #constraints=32302
1451.54/1452.14	c nbDecision=704000 #constraints=32323
1452.94/1453.55	c nbDecision=704500 #constraints=32330
1454.54/1455.12	c nbDecision=705000 #constraints=32342
1456.34/1456.96	c nbDecision=705500 #constraints=32356
1458.24/1458.84	c nbDecision=706000 #constraints=32388
1460.54/1461.11	c nbDecision=706500 #constraints=32408
1461.73/1462.38	c nbDecision=707000 #constraints=32419
1463.83/1464.41	c nbDecision=707500 #constraints=32443
1465.74/1466.35	c nbDecision=708000 #constraints=32464
1469.43/1470.08	c nbDecision=708500 #constraints=32551
1470.93/1471.53	c nbDecision=709000 #constraints=32559
1472.43/1473.09	c nbDecision=709500 #constraints=32571
1473.63/1474.30	c nbDecision=710000 #constraints=32577
1475.23/1475.87	c nbDecision=710500 #constraints=32594
1476.43/1477.03	c nbDecision=711000 #constraints=32602
1478.63/1479.22	c nbDecision=711500 #constraints=32623
1479.82/1480.48	c nbDecision=712000 #constraints=32635
1481.82/1482.49	c nbDecision=712500 #constraints=32654
1483.82/1484.40	c nbDecision=713000 #constraints=32669
1485.52/1486.14	c nbDecision=713500 #constraints=32683
1487.52/1488.10	c nbDecision=714000 #constraints=32704
1489.62/1490.22	c nbDecision=714500 #constraints=32733
1491.12/1491.74	c nbDecision=715000 #constraints=32740
1492.42/1493.03	c nbDecision=715500 #constraints=32747
1494.22/1494.84	c nbDecision=716000 #constraints=32758
1495.62/1496.29	c nbDecision=716500 #constraints=32768
1497.63/1498.29	c nbDecision=717000 #constraints=32806
1499.42/1500.01	c nbDecision=717500 #constraints=32831
1501.42/1502.07	c nbDecision=718000 #constraints=32860
1503.32/1503.92	c nbDecision=718500 #constraints=32872
1505.52/1506.14	c nbDecision=719000 #constraints=32904
1507.92/1508.58	c nbDecision=719500 #constraints=32939
1509.72/1510.31	c nbDecision=720000 #constraints=32962
1511.22/1511.85	c nbDecision=720500 #constraints=32983
1513.51/1514.19	c nbDecision=721000 #constraints=33018
1516.71/1517.35	c nbDecision=721500 #constraints=33064
1519.81/1520.40	c nbDecision=722000 #constraints=33136
1521.31/1521.95	c nbDecision=722500 #constraints=33152
1523.31/1523.95	c nbDecision=723000 #constraints=33172
1525.11/1525.71	c nbDecision=723500 #constraints=33186
1527.11/1527.80	c nbDecision=724000 #constraints=33209
1529.91/1530.54	c nbDecision=724500 #constraints=33254
1531.10/1531.77	c nbDecision=725000 #constraints=33267
1532.50/1533.20	c nbDecision=725500 #constraints=33276
1534.60/1535.27	c nbDecision=726000 #constraints=33294
1536.40/1537.05	c nbDecision=726500 #constraints=33315
1537.90/1538.58	c nbDecision=727000 #constraints=33328
1539.80/1540.42	c nbDecision=727500 #constraints=33344
1541.91/1542.53	c nbDecision=728000 #constraints=33378
1544.30/1544.94	c nbDecision=728500 #constraints=33409
1547.60/1548.23	c nbDecision=729000 #constraints=33482
1549.10/1549.71	c nbDecision=729500 #constraints=33497
1550.50/1551.10	c nbDecision=730000 #constraints=33507
1551.80/1552.50	c nbDecision=730500 #constraints=33516
1554.10/1554.71	c nbDecision=731000 #constraints=33540
1555.50/1556.14	c nbDecision=731500 #constraints=33549
1557.30/1557.94	c nbDecision=732000 #constraints=33568
1559.79/1560.41	c nbDecision=732500 #constraints=33609
1563.39/1564.00	c nbDecision=733000 #constraints=33668
1564.69/1565.33	c nbDecision=733500 #constraints=33675
1566.50/1567.13	c nbDecision=734000 #constraints=33702
1569.50/1570.19	c nbDecision=734500 #constraints=33747
1572.90/1573.51	c nbDecision=735000 #constraints=33808
1574.69/1575.30	c nbDecision=735500 #constraints=33840
1576.70/1577.40	c nbDecision=736000 #constraints=33862
1579.19/1579.80	c nbDecision=736500 #constraints=33887
1582.39/1583.03	c nbDecision=737000 #constraints=33949
1583.69/1584.35	c nbDecision=737500 #constraints=33961
1588.38/1589.08	c nbDecision=738000 #constraints=34070
1594.39/1595.01	c nbDecision=738500 #constraints=34281
1596.19/1596.85	c nbDecision=739000 #constraints=34297
1597.19/1597.89	c nbDecision=739500 #constraints=34301
1598.39/1599.02	c nbDecision=740000 #constraints=34305
1599.69/1600.37	c nbDecision=740500 #constraints=34312
1600.89/1601.59	c nbDecision=741000 #constraints=34321
1603.19/1603.83	c nbDecision=741500 #constraints=34342
1604.38/1605.01	c nbDecision=742000 #constraints=34347
1605.68/1606.34	c nbDecision=742500 #constraints=34353
1607.08/1607.72	c nbDecision=743000 #constraints=34359
1608.28/1609.00	c nbDecision=743500 #constraints=34370
1609.38/1610.02	c nbDecision=744000 #constraints=34374
1610.68/1611.33	c nbDecision=744500 #constraints=34379
1612.08/1612.70	c nbDecision=745000 #constraints=34387
1613.38/1614.09	c nbDecision=745500 #constraints=34393
1614.68/1615.34	c nbDecision=746000 #constraints=34399
1615.88/1616.55	c nbDecision=746500 #constraints=34407
1617.08/1617.75	c nbDecision=747000 #constraints=34415
1618.68/1619.38	c nbDecision=747500 #constraints=34424
1620.47/1621.11	c nbDecision=748000 #constraints=34440
1622.17/1622.85	c nbDecision=748500 #constraints=34452
1623.98/1624.63	c nbDecision=749000 #constraints=34472
1625.27/1625.99	c nbDecision=749500 #constraints=34482
1627.57/1628.26	c nbDecision=750000 #constraints=34500
1629.07/1629.73	c nbDecision=750500 #constraints=34509
1630.57/1631.24	c nbDecision=751000 #constraints=34516
1632.17/1632.88	c nbDecision=751500 #constraints=34525
1633.47/1634.12	c nbDecision=752000 #constraints=34531
1634.97/1635.63	c nbDecision=752500 #constraints=34540
1636.87/1637.51	c nbDecision=753000 #constraints=34568
1638.76/1639.44	c nbDecision=753500 #constraints=34581
1640.96/1641.63	c nbDecision=754000 #constraints=34596
1642.56/1643.23	c nbDecision=754500 #constraints=34610
1644.06/1644.78	c nbDecision=755000 #constraints=34630
1646.16/1646.84	c nbDecision=755500 #constraints=34649
1647.56/1648.29	c nbDecision=756000 #constraints=34660
1649.16/1649.86	c nbDecision=756500 #constraints=34673
1651.26/1651.92	c nbDecision=757000 #constraints=34697
1652.66/1653.36	c nbDecision=757500 #constraints=34705
1654.26/1654.98	c nbDecision=758000 #constraints=34722
1656.16/1656.86	c nbDecision=758500 #constraints=34735
1658.36/1659.02	c nbDecision=759000 #constraints=34749
1660.36/1661.04	c nbDecision=759500 #constraints=34770
1661.86/1662.59	c nbDecision=760000 #constraints=34781
1663.76/1664.46	c nbDecision=760500 #constraints=34800
1665.95/1666.65	c nbDecision=761000 #constraints=34821
1667.86/1668.56	c nbDecision=761500 #constraints=34847
1670.46/1671.12	c nbDecision=762000 #constraints=34867
1672.86/1673.50	c nbDecision=762500 #constraints=34903
1675.66/1676.31	c nbDecision=763000 #constraints=34933
1677.26/1677.93	c nbDecision=763500 #constraints=34944
1679.26/1679.96	c nbDecision=764000 #constraints=34959
1681.26/1681.96	c nbDecision=764500 #constraints=34977
1682.65/1683.33	c nbDecision=765000 #constraints=34985
1684.25/1684.98	c nbDecision=765500 #constraints=35006
1686.15/1686.80	c nbDecision=766000 #constraints=35017
1687.55/1688.22	c nbDecision=766500 #constraints=35025
1689.55/1690.28	c nbDecision=767000 #constraints=35039
1691.65/1692.33	c nbDecision=767500 #constraints=35057
1693.25/1693.96	c nbDecision=768000 #constraints=35069
1694.95/1695.69	c nbDecision=768500 #constraints=35087
1696.85/1697.56	c nbDecision=769000 #constraints=35098
1698.44/1699.16	c nbDecision=769500 #constraints=35109
1699.74/1700.47	c nbDecision=770000 #constraints=35115
1701.14/1701.85	c nbDecision=770500 #constraints=35124
1703.34/1704.02	c nbDecision=771000 #constraints=35141
1705.14/1705.85	c nbDecision=771500 #constraints=35154
1707.24/1707.93	c nbDecision=772000 #constraints=35169
1708.64/1709.34	c nbDecision=772500 #constraints=35177
1710.04/1710.70	c nbDecision=773000 #constraints=35189
1711.73/1712.50	c nbDecision=773500 #constraints=35202
1713.33/1714.10	c nbDecision=774000 #constraints=35209
1714.83/1715.53	c nbDecision=774500 #constraints=35216
1716.93/1717.63	c nbDecision=775000 #constraints=35233
1718.73/1719.45	c nbDecision=775500 #constraints=35252
1720.23/1720.99	c nbDecision=776000 #constraints=35269
1721.63/1722.32	c nbDecision=776500 #constraints=35274
1723.13/1723.85	c nbDecision=777000 #constraints=35286
1724.53/1725.28	c nbDecision=777500 #constraints=35300
1726.23/1726.98	c nbDecision=778000 #constraints=35310
1728.44/1729.12	c nbDecision=778500 #constraints=35332
1730.24/1730.93	c nbDecision=779000 #constraints=35348
1731.53/1732.25	c nbDecision=779500 #constraints=35358
1733.94/1734.65	c nbDecision=780000 #constraints=35391
1736.24/1736.92	c nbDecision=780500 #constraints=35418
1737.53/1738.28	c nbDecision=781000 #constraints=35426
1739.43/1740.18	c nbDecision=781500 #constraints=35452
1741.03/1741.72	c nbDecision=782000 #constraints=35460
1742.63/1743.38	c nbDecision=782500 #constraints=35469
1744.13/1744.86	c nbDecision=783000 #constraints=35477
1745.82/1746.50	c nbDecision=783500 #constraints=35489
1747.23/1747.93	c nbDecision=784000 #constraints=35495
1748.82/1749.51	c nbDecision=784500 #constraints=35502
1750.43/1751.20	c nbDecision=785000 #constraints=35511
1752.22/1752.93	c nbDecision=785500 #constraints=35521
1754.02/1754.79	c nbDecision=786000 #constraints=35533
1756.22/1756.90	c nbDecision=786500 #constraints=35551
1757.92/1758.66	c nbDecision=787000 #constraints=35571
1759.92/1760.61	c nbDecision=787500 #constraints=35585
1762.02/1762.73	c nbDecision=788000 #constraints=35602
1763.42/1764.13	c nbDecision=788500 #constraints=35610
1765.02/1765.73	c nbDecision=789000 #constraints=35624
1767.02/1767.73	c nbDecision=789500 #constraints=35641
1768.92/1769.67	c nbDecision=790000 #constraints=35654
1771.11/1771.80	c nbDecision=790500 #constraints=35679
1773.41/1774.18	c nbDecision=791000 #constraints=35705
1775.01/1775.78	c nbDecision=791500 #constraints=35716
1776.71/1777.47	c nbDecision=792000 #constraints=35725
1778.91/1779.61	c nbDecision=792500 #constraints=35741
1780.11/1780.86	c nbDecision=793000 #constraints=35758
1782.01/1782.71	c nbDecision=793500 #constraints=35777
1784.01/1784.75	c nbDecision=794000 #constraints=35793
1785.61/1786.38	c nbDecision=794500 #constraints=35803
1787.70/1788.47	c nbDecision=795000 #constraints=35816
1789.40/1790.19	c nbDecision=795500 #constraints=35828
1791.30/1792.03	c nbDecision=796000 #constraints=35838
1792.80/1793.50	c nbDecision=796500 #constraints=35849
1794.00/1794.71	c nbDecision=797000 #constraints=35855
1797.20/1797.95	c nbDecision=797500 #constraints=35896
1800.01/1800.70	Received signal 15
1800.20/1800.90	
1800.20/1800.90	s UNKNOWN
1800.20/1800.90	
1800.20/1800.90	c user time= 1799.6 s
1800.20/1800.90	c system time= 0.612906 s
1800.20/1800.90	c wall clock time=1800.9

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/node67/watcher-362692-1176847805 -o ROOT/results/node67/solver-362692-1176847805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362692-1176847805/instance-362692-1176847805.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.71 0.91 0.97 3/64 28794
/proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=1620 CPUtime=0
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160770007 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 405 175 126 317 0 84 0

[startup+0.0674059 s]
/proc/loadavg: 0.71 0.91 0.97 3/64 28794
/proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=2596 CPUtime=0.06
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 507 0 0 0 6 0 0 0 18 0 1 0 160770007 2658304 391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 649 391 131 317 0 328 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2596

[startup+0.101412 s]
/proc/loadavg: 0.71 0.91 0.97 3/64 28794
/proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=3128 CPUtime=0.09
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 666 0 0 0 9 0 0 0 18 0 1 0 160770007 3203072 550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 782 550 131 317 0 461 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3128

[startup+0.301448 s]
/proc/loadavg: 0.71 0.91 0.97 3/64 28794
/proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=6976 CPUtime=0.29
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 1624 0 0 0 29 0 0 0 19 0 1 0 160770007 7143424 1508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 1744 1508 131 317 0 1423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6976

[startup+0.701523 s]
/proc/loadavg: 0.71 0.91 0.97 3/64 28794
/proc/meminfo: memFree=1883112/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=15168 CPUtime=0.69
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 3657 0 0 0 68 1 0 0 22 0 1 0 160770007 15532032 3541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 3792 3541 131 317 0 3471 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15168

[startup+1.50167 s]
/proc/loadavg: 0.71 0.91 0.97 2/65 28795
/proc/meminfo: memFree=1861984/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=23152 CPUtime=1.49
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 5680 0 0 0 147 2 0 0 25 0 1 0 160770007 23707648 5564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 5788 5564 138 317 0 5467 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23152

[startup+3.10196 s]
/proc/loadavg: 0.71 0.91 0.97 2/65 28795
/proc/meminfo: memFree=1861152/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=23152 CPUtime=3.09
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 5680 0 0 0 307 2 0 0 25 0 1 0 160770007 23707648 5564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 5788 5564 138 317 0 5467 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23152

[startup+6.30155 s]
/proc/loadavg: 0.73 0.91 0.97 2/65 28795
/proc/meminfo: memFree=1861024/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=23304 CPUtime=6.29
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 5702 0 0 0 627 2 0 0 25 0 1 0 160770007 23863296 5586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 5826 5586 139 317 0 5505 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23304

[startup+12.7017 s]
/proc/loadavg: 0.76 0.91 0.97 2/65 28795
/proc/meminfo: memFree=1860960/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=23304 CPUtime=12.69
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 5702 0 0 0 1267 2 0 0 25 0 1 0 160770007 23863296 5586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 5826 5586 139 317 0 5505 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23304

[startup+25.5011 s]
/proc/loadavg: 0.81 0.92 0.97 2/65 28795
/proc/meminfo: memFree=1853792/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=30908 CPUtime=25.48
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 7629 0 0 0 2545 3 0 0 25 0 1 0 160770007 31649792 7513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 7727 7513 170 317 0 7406 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30908

[startup+51.1018 s]
/proc/loadavg: 0.87 0.92 0.97 2/65 28795
/proc/meminfo: memFree=1839456/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=45424 CPUtime=51.08
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 11257 0 0 0 5102 6 0 0 25 0 1 0 160770007 46514176 11104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 11356 11104 170 317 0 11035 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45424

[startup+102.305 s]
/proc/loadavg: 0.94 0.93 0.97 2/65 28795
/proc/meminfo: memFree=1811104/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=74016 CPUtime=102.26
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 18326 0 0 0 10215 11 0 0 25 0 1 0 160770007 75792384 18173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 18504 18173 170 317 0 18183 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 74016

[startup+162.301 s]
/proc/loadavg: 0.98 0.94 0.97 2/65 28795
/proc/meminfo: memFree=1777376/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=107732 CPUtime=162.23
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 26765 0 0 0 16208 15 0 0 25 0 1 0 160770007 110317568 26540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 26933 26540 170 317 0 26612 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 107732

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/65 28795
/proc/meminfo: memFree=1752160/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=134232 CPUtime=222.21
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 32979 0 0 0 22202 19 0 0 25 0 1 0 160770007 137453568 32754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 33558 32754 170 317 0 33237 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 134232

[startup+282.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/65 28795
/proc/meminfo: memFree=1736992/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=149316 CPUtime=282.19
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 36788 0 0 0 28197 22 0 0 25 0 1 0 160770007 152899584 36563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 37329 36563 170 317 0 37008 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 149316

[startup+342.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/65 28795
/proc/meminfo: memFree=1726176/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=159436 CPUtime=342.17
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 39439 0 0 0 34192 25 0 0 25 0 1 0 160770007 163262464 39214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 39859 39214 170 317 0 39538 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 159436

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1715872/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=169264 CPUtime=402.15
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 42028 0 0 0 40188 27 0 0 25 0 1 0 160770007 173326336 41803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 42316 41803 170 317 0 41995 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 169264

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1700192/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=191936 CPUtime=462.12
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 45919 0 0 0 46183 29 0 0 25 0 1 0 160770007 196542464 45694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 47984 45694 170 317 0 47663 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 191936

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1690464/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=201408 CPUtime=522.1
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 48435 0 0 0 52179 31 0 0 25 0 1 0 160770007 206241792 48210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 50352 48210 170 317 0 50031 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 201408

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1681568/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=209716 CPUtime=582.07
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 50703 0 0 0 58175 32 0 0 25 0 1 0 160770007 214749184 50336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 52429 50336 170 317 0 52108 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 209716

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1674592/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=216016 CPUtime=642.06
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 52441 0 0 0 64173 33 0 0 25 0 1 0 160770007 221200384 52074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 54004 52074 170 317 0 53683 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 216016


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1628768/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=259536 CPUtime=941.92
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 63860 0 0 0 94150 42 0 0 25 0 1 0 160770007 265764864 63493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 64884 63493 170 317 0 64563 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 259536

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1621536/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=266240 CPUtime=1001.9
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 65669 0 0 0 100146 44 0 0 25 0 1 0 160770007 272629760 65302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 66560 65302 170 317 0 66239 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 266240

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1615648/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=271776 CPUtime=1061.88
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 67142 0 0 0 106143 45 0 0 25 0 1 0 160770007 278298624 66775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 67944 66775 170 317 0 67623 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 271776

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1609248/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=277584 CPUtime=1121.86
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 68731 0 0 0 112139 47 0 0 25 0 1 0 160770007 284246016 68364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 69396 68364 170 317 0 69075 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 277584

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1602336/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=284072 CPUtime=1181.83
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 70466 0 0 0 118136 47 0 0 25 0 1 0 160770007 290889728 70099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 71018 70099 170 317 0 70697 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 284072

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1595680/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=290200 CPUtime=1241.81
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 72106 0 0 0 124133 48 0 0 25 0 1 0 160770007 297164800 71739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 72550 71739 170 317 0 72229 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 290200

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1584480/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=320872 CPUtime=1301.79
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 78333 0 0 0 130129 50 0 0 25 0 1 0 160770007 328572928 74501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 80218 74501 170 317 0 79897 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 320872

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1577184/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=328272 CPUtime=1361.77
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 80216 0 0 0 136125 52 0 0 25 0 1 0 160770007 336150528 76318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604263 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 82068 76318 170 317 0 81747 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 328272

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1570464/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=334300 CPUtime=1421.75
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 81893 0 0 0 142122 53 0 0 25 0 1 0 160770007 342323200 77995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 83575 77995 170 317 0 83254 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 334300

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1563872/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=340320 CPUtime=1481.72
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 83538 0 0 0 148118 54 0 0 25 0 1 0 160770007 348487680 79640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 85080 79640 170 317 0 84759 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 340320

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1556704/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=346748 CPUtime=1541.71
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 85379 0 0 0 154115 56 0 0 25 0 1 0 160770007 355069952 81448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 86687 81448 170 317 0 86366 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 346748

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1546912/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=355172 CPUtime=1601.68
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 87787 0 0 0 160110 58 0 0 25 0 1 0 160770007 363696128 83856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 88793 83856 170 317 0 88472 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 355172

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1542240/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=359228 CPUtime=1661.66
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 88990 0 0 0 166108 58 0 0 25 0 1 0 160770007 367849472 85059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 89807 85059 170 317 0 89486 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 359228

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1536928/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=363576 CPUtime=1721.63
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 90310 0 0 0 172104 59 0 0 25 0 1 0 160770007 372301824 86379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 90894 86379 170 317 0 90573 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 363576

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28795
/proc/meminfo: memFree=1532256/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=368380 CPUtime=1781.61
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 91510 0 0 0 178101 60 0 0 25 0 1 0 160770007 377221120 87579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 92095 87579 170 317 0 91774 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 368380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28797
/proc/meminfo: memFree=1528864/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=374212 CPUtime=1800.01
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 92830 0 0 0 179940 61 0 0 25 0 1 0 160770007 383193088 88371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 93553 88371 170 317 0 93232 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 374212

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28797
/proc/meminfo: memFree=1528864/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=374212 CPUtime=1800.11
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 92830 0 0 0 179950 61 0 0 25 0 1 0 160770007 383193088 88371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 93553 88371 170 317 0 93232 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 374212

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 28797
/proc/meminfo: memFree=1528864/2055920 swapFree=4178028/4192956
[pid=28794] ppid=28792 vsize=374212 CPUtime=1800.2
/proc/28794/stat : 28794 (oree) R 28792 28794 28737 0 -1 4194304 92830 0 0 0 179959 61 0 0 25 0 1 0 160770007 383193088 88371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28794/statm: 93553 88371 170 317 0 93232 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 374212

Child status: 0
Real time (s): 1800.98
CPU time (s): 1800.28
CPU user time (s): 1799.61
CPU system time (s): 0.669898
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 374212

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

runsolver used 1.21081 second user time and 3.77543 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Tue Apr 17 22:10:05 UTC 2007

IDJOB= 362692
IDBENCH= 1625
IDSOLVER= 172
FILE ID= node67/362692-1176847805

PBS_JOBID= 4590222

Free space on /tmp= 66481 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  99b260f11bc3e586ce78c7adccfe4295

RANDOM SEED= 813063480

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1883528 kB
Buffers:         19772 kB
Cached:         106032 kB
SwapCached:       9176 kB
Active:          71100 kB
Inactive:        69364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1883528 kB
SwapTotal:     4192956 kB
SwapFree:      4178028 kB
Dirty:            4276 kB
Writeback:           0 kB
Mapped:          15092 kB
Slab:            17856 kB
Committed_AS:   219508 kB
PageTables:       1452 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= 66481 MiB

End job on node67 on Tue Apr 17 22:40:08 UTC 2007