Trace number 357250

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.08 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos12.opb
MD5SUMedd986756231058ab35f21017ebd98b6
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25600
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25600
Optimality of the best value was proved NO
Number of variables22960
Total number of constraints8611
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8611
Minimum length of a constraint11
Maximum length of a constraint840
Number of terms in the objective function 13440
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 481036336704
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 481036336704
Number of bits of the biggest sum of numbers39
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.79	c ...done
0.69/0.79	c #vars=22960 #constraints=9187 hasObjective=yes
0.89/0.93	c res. mode=mod
0.89/0.93	c VSIDS like heuristics
0.89/0.93	c complete search running
1.09/1.14	c restart after 401 decisions
1.19/1.20	c nbDecision=500 #constraints=9187
1.29/1.33	c restart after 801 decisions
1.39/1.44	c nbDecision=1000 #constraints=9187
1.59/1.64	c nbDecision=1500 #constraints=9187
1.59/1.68	c restart after 1601 decisions
1.79/1.87	c nbDecision=2000 #constraints=9187
1.99/2.05	c nbDecision=2500 #constraints=9187
2.09/2.20	c nbDecision=3000 #constraints=9187
2.19/2.24	c restart after 3201 decisions
2.38/2.40	c nbDecision=3500 #constraints=9187
2.48/2.59	c nbDecision=4000 #constraints=9187
2.69/2.74	c nbDecision=4500 #constraints=9187
2.79/2.86	c nbDecision=5000 #constraints=9187
2.99/3.02	c nbDecision=5500 #constraints=9200
3.09/3.15	c nbDecision=6000 #constraints=9204
3.20/3.25	c restart after 6401 decisions
3.30/3.33	c nbDecision=6500 #constraints=9206
3.49/3.54	c nbDecision=7000 #constraints=9206
3.69/3.71	c nbDecision=7500 #constraints=9206
3.79/3.84	c nbDecision=8000 #constraints=9206
3.89/3.95	c nbDecision=8500 #constraints=9207
4.09/4.13	c nbDecision=9000 #constraints=9227
4.19/4.29	c nbDecision=9500 #constraints=9241
4.40/4.43	c nbDecision=10000 #constraints=9249
4.49/4.56	c nbDecision=10500 #constraints=9252
4.59/4.69	c nbDecision=11000 #constraints=9254
4.79/4.82	c nbDecision=11500 #constraints=9257
4.89/4.96	c nbDecision=12000 #constraints=9261
4.99/5.07	c nbDecision=12500 #constraints=9261
5.09/5.15	c restart after 12801 decisions
5.19/5.27	c nbDecision=13000 #constraints=9263
5.39/5.47	c nbDecision=13500 #constraints=9263
5.59/5.63	c nbDecision=14000 #constraints=9263
5.69/5.75	c nbDecision=14500 #constraints=9263
5.79/5.87	c nbDecision=15000 #constraints=9264
5.99/6.02	c nbDecision=15500 #constraints=9274
6.09/6.19	c nbDecision=16000 #constraints=9287
6.29/6.36	c nbDecision=16500 #constraints=9305
6.49/6.55	c nbDecision=17000 #constraints=9332
6.68/6.73	c nbDecision=17500 #constraints=9349
6.78/6.87	c nbDecision=18000 #constraints=9354
6.98/7.01	c nbDecision=18500 #constraints=9361
7.08/7.17	c nbDecision=19000 #constraints=9373
7.28/7.32	c nbDecision=19500 #constraints=9380
7.38/7.46	c nbDecision=20000 #constraints=9388
7.48/7.60	c nbDecision=20500 #constraints=9394
7.69/7.73	c nbDecision=21000 #constraints=9397
7.78/7.89	c nbDecision=21500 #constraints=9409
7.98/8.03	c nbDecision=22000 #constraints=9412
8.08/8.17	c nbDecision=22500 #constraints=9420
8.28/8.35	c nbDecision=23000 #constraints=9437
8.38/8.49	c nbDecision=23500 #constraints=9440
8.58/8.62	c nbDecision=24000 #constraints=9446
8.68/8.76	c nbDecision=24500 #constraints=9451
8.78/8.89	c nbDecision=25000 #constraints=9454
8.98/9.02	c nbDecision=25500 #constraints=9457
8.98/9.04	c restart after 25601 decisions
9.18/9.25	c nbDecision=26000 #constraints=9457
9.38/9.43	c nbDecision=26500 #constraints=9457
9.48/9.57	c nbDecision=27000 #constraints=9457
9.58/9.69	c nbDecision=27500 #constraints=9457
9.78/9.82	c nbDecision=28000 #constraints=9459
9.88/9.96	c nbDecision=28500 #constraints=9462
10.08/10.14	c nbDecision=29000 #constraints=9488
10.28/10.34	c nbDecision=29500 #constraints=9520
10.48/10.52	c nbDecision=30000 #constraints=9539
10.69/10.75	c nbDecision=30500 #constraints=9580
10.99/11.04	c nbDecision=31000 #constraints=9633
11.19/11.24	c nbDecision=31500 #constraints=9665
11.39/11.41	c nbDecision=32000 #constraints=9682
11.59/11.65	c nbDecision=32500 #constraints=9716
11.79/11.83	c nbDecision=33000 #constraints=9735
11.89/11.96	c nbDecision=33500 #constraints=9741
11.99/12.09	c nbDecision=34000 #constraints=9744
12.19/12.21	c nbDecision=34500 #constraints=9748
12.38/12.40	c nbDecision=35000 #constraints=9768
12.48/12.56	c nbDecision=35500 #constraints=9779
12.79/12.82	c nbDecision=36000 #constraints=9804
12.98/13.04	c nbDecision=36500 #constraints=9815
13.19/13.28	c nbDecision=37000 #constraints=9843
13.58/13.64	c nbDecision=37500 #constraints=9879
14.08/14.12	c nbDecision=38000 #constraints=9945
14.28/14.32	c nbDecision=38500 #constraints=9953
14.38/14.49	c nbDecision=39000 #constraints=9958
14.68/14.77	c nbDecision=39500 #constraints=9986
15.08/15.11	c nbDecision=40000 #constraints=10007
15.28/15.31	c nbDecision=40500 #constraints=10016
15.48/15.58	c nbDecision=41000 #constraints=10042
15.88/15.95	c nbDecision=41500 #constraints=10079
16.08/16.13	c nbDecision=42000 #constraints=10084
16.28/16.35	c nbDecision=42500 #constraints=10116
16.48/16.59	c nbDecision=43000 #constraints=10150
16.78/16.82	c nbDecision=43500 #constraints=10182
16.98/17.02	c nbDecision=44000 #constraints=10205
17.18/17.21	c nbDecision=44500 #constraints=10225
17.28/17.35	c nbDecision=45000 #constraints=10234
17.48/17.54	c nbDecision=45500 #constraints=10244
17.68/17.70	c nbDecision=46000 #constraints=10253
17.78/17.88	c nbDecision=46500 #constraints=10276
17.98/18.03	c nbDecision=47000 #constraints=10284
18.18/18.26	c nbDecision=47500 #constraints=10307
18.38/18.45	c nbDecision=48000 #constraints=10321
18.78/18.83	c nbDecision=48500 #constraints=10354
19.08/19.10	c nbDecision=49000 #constraints=10374
19.28/19.37	c nbDecision=49500 #constraints=10410
19.58/19.66	c nbDecision=50000 #constraints=10450
19.88/19.96	c nbDecision=50500 #constraints=10491
20.18/20.21	c nbDecision=51000 #constraints=10521
20.28/20.31	c restart after 51201 decisions
20.38/20.49	c nbDecision=51500 #constraints=10534
20.58/20.69	c nbDecision=52000 #constraints=10534
20.78/20.84	c nbDecision=52500 #constraints=10534
20.88/20.96	c nbDecision=53000 #constraints=10534
21.08/21.12	c nbDecision=53500 #constraints=10538
21.28/21.35	c nbDecision=54000 #constraints=10546
21.48/21.55	c nbDecision=54500 #constraints=10552
21.88/21.91	c nbDecision=55000 #constraints=10570
22.08/22.14	c nbDecision=55500 #constraints=10578
22.28/22.39	c nbDecision=56000 #constraints=10588
22.57/22.64	c nbDecision=56500 #constraints=10597
22.88/22.98	c nbDecision=57000 #constraints=10613
23.17/23.24	c nbDecision=57500 #constraints=10635
23.57/23.61	c nbDecision=58000 #constraints=10656
23.77/23.89	c nbDecision=58500 #constraints=10668
24.08/24.13	c nbDecision=59000 #constraints=10676
24.47/24.50	c nbDecision=59500 #constraints=10696
24.67/24.70	c nbDecision=60000 #constraints=10702
25.08/25.17	c nbDecision=60500 #constraints=10737
25.38/25.43	c nbDecision=61000 #constraints=10747
25.68/25.71	c nbDecision=61500 #constraints=10758
25.88/25.98	c nbDecision=62000 #constraints=10768
26.29/26.34	c nbDecision=62500 #constraints=10802
26.58/26.64	c nbDecision=63000 #constraints=10816
26.78/26.82	c nbDecision=63500 #constraints=10827
27.08/27.20	c nbDecision=64000 #constraints=10875
27.28/27.36	c nbDecision=64500 #constraints=10888
27.48/27.54	c nbDecision=65000 #constraints=10906
27.78/27.88	c nbDecision=65500 #constraints=10932
27.98/28.09	c nbDecision=66000 #constraints=10957
28.18/28.23	c nbDecision=66500 #constraints=10965
28.38/28.47	c nbDecision=67000 #constraints=10988
28.58/28.65	c nbDecision=67500 #constraints=10998
28.98/29.07	c nbDecision=68000 #constraints=11035
29.28/29.31	c nbDecision=68500 #constraints=11057
29.48/29.57	c nbDecision=69000 #constraints=11069
30.38/30.45	c nbDecision=69500 #constraints=11167
30.87/30.94	c nbDecision=70000 #constraints=11211
31.07/31.19	c nbDecision=70500 #constraints=11224
31.67/31.71	c nbDecision=71000 #constraints=11250
31.97/32.01	c nbDecision=71500 #constraints=11261
32.17/32.28	c nbDecision=72000 #constraints=11271
32.37/32.45	c nbDecision=72500 #constraints=11274
32.57/32.68	c nbDecision=73000 #constraints=11283
32.98/33.05	c nbDecision=73500 #constraints=11307
33.57/33.64	c nbDecision=74000 #constraints=11382
33.77/33.88	c nbDecision=74500 #constraints=11410
34.37/34.44	c nbDecision=75000 #constraints=11470
34.57/34.60	c nbDecision=75500 #constraints=11482
34.67/34.73	c nbDecision=76000 #constraints=11485
34.77/34.85	c nbDecision=76500 #constraints=11488
35.37/35.47	c nbDecision=77000 #constraints=11527
35.57/35.65	c nbDecision=77500 #constraints=11539
35.67/35.77	c nbDecision=78000 #constraints=11542
35.87/35.93	c nbDecision=78500 #constraints=11552
36.37/36.49	c nbDecision=79000 #constraints=11602
36.77/36.82	c nbDecision=79500 #constraints=11629
37.07/37.16	c nbDecision=80000 #constraints=11673
37.37/37.42	c nbDecision=80500 #constraints=11695
37.77/37.83	c nbDecision=81000 #constraints=11713
38.47/38.53	c nbDecision=81500 #constraints=11744
39.27/39.30	c nbDecision=82000 #constraints=11778
40.27/40.34	c nbDecision=82500 #constraints=11827
40.57/40.64	c nbDecision=83000 #constraints=11834
41.57/41.62	c nbDecision=83500 #constraints=11893
41.77/41.81	c nbDecision=84000 #constraints=11914
41.97/42.04	c nbDecision=84500 #constraints=11931
42.67/42.78	c nbDecision=85000 #constraints=11975
42.97/43.06	c nbDecision=85500 #constraints=11999
43.37/43.41	c nbDecision=86000 #constraints=12027
43.87/43.98	c nbDecision=86500 #constraints=12052
44.27/44.33	c nbDecision=87000 #constraints=12063
44.57/44.66	c nbDecision=87500 #constraints=12071
45.27/45.36	c nbDecision=88000 #constraints=12099
45.47/45.59	c nbDecision=88500 #constraints=12103
45.67/45.74	c nbDecision=89000 #constraints=12106
45.97/46.07	c nbDecision=89500 #constraints=12124
46.36/46.47	c nbDecision=90000 #constraints=12135
46.56/46.69	c nbDecision=90500 #constraints=12148
46.86/46.98	c nbDecision=91000 #constraints=12176
47.17/47.25	c nbDecision=91500 #constraints=12204
47.36/47.42	c nbDecision=92000 #constraints=12210
47.56/47.69	c nbDecision=92500 #constraints=12239
47.86/47.94	c nbDecision=93000 #constraints=12260
48.16/48.24	c nbDecision=93500 #constraints=12292
48.36/48.42	c nbDecision=94000 #constraints=12304
48.56/48.62	c nbDecision=94500 #constraints=12316
48.77/48.87	c nbDecision=95000 #constraints=12335
49.27/49.35	c nbDecision=95500 #constraints=12356
49.57/49.66	c nbDecision=96000 #constraints=12365
50.27/50.34	c nbDecision=96500 #constraints=12391
50.67/50.72	c nbDecision=97000 #constraints=12403
51.17/51.26	c nbDecision=97500 #constraints=12448
52.87/52.94	c nbDecision=98000 #constraints=12550
53.17/53.21	c nbDecision=98500 #constraints=12568
54.17/54.27	c nbDecision=99000 #constraints=12619
54.47/54.51	c nbDecision=99500 #constraints=12624
54.77/54.86	c nbDecision=100000 #constraints=12633
55.27/55.36	c nbDecision=100500 #constraints=12648
56.27/56.31	c nbDecision=101000 #constraints=12690
56.87/56.98	c nbDecision=101500 #constraints=12713
57.07/57.19	c nbDecision=102000 #constraints=12723
57.17/57.29	c restart after 102401 decisions
57.37/57.40	c nbDecision=102500 #constraints=12726
57.57/57.62	c nbDecision=103000 #constraints=12726
57.67/57.78	c nbDecision=103500 #constraints=12726
57.87/57.93	c nbDecision=104000 #constraints=12726
57.97/58.06	c nbDecision=104500 #constraints=12726
58.27/58.38	c nbDecision=105000 #constraints=12746
58.57/58.61	c nbDecision=105500 #constraints=12757
59.16/59.26	c nbDecision=106000 #constraints=12798
59.56/59.64	c nbDecision=106500 #constraints=12807
60.06/60.13	c nbDecision=107000 #constraints=12858
60.47/60.58	c nbDecision=107500 #constraints=12888
60.86/60.94	c nbDecision=108000 #constraints=12903
61.06/61.17	c nbDecision=108500 #constraints=12911
61.47/61.51	c nbDecision=109000 #constraints=12918
61.96/62.00	c nbDecision=109500 #constraints=12931
62.26/62.37	c nbDecision=110000 #constraints=12939
62.46/62.54	c nbDecision=110500 #constraints=12941
62.76/62.81	c nbDecision=111000 #constraints=12951
62.96/63.03	c nbDecision=111500 #constraints=12961
63.16/63.27	c nbDecision=112000 #constraints=12978
63.67/63.74	c nbDecision=112500 #constraints=13002
63.77/63.88	c nbDecision=113000 #constraints=13004
64.16/64.28	c nbDecision=113500 #constraints=13024
64.76/64.82	c nbDecision=114000 #constraints=13036
65.16/65.21	c nbDecision=114500 #constraints=13044
65.46/65.57	c nbDecision=115000 #constraints=13056
65.76/65.89	c nbDecision=115500 #constraints=13070
66.06/66.18	c nbDecision=116000 #constraints=13092
66.46/66.50	c nbDecision=116500 #constraints=13106
66.66/66.76	c nbDecision=117000 #constraints=13112
66.86/66.90	c nbDecision=117500 #constraints=13115
67.06/67.19	c nbDecision=118000 #constraints=13129
67.46/67.53	c nbDecision=118500 #constraints=13135
67.86/67.95	c nbDecision=119000 #constraints=13150
68.26/68.34	c nbDecision=119500 #constraints=13165
68.46/68.56	c nbDecision=120000 #constraints=13173
68.66/68.75	c nbDecision=120500 #constraints=13180
68.86/68.91	c nbDecision=121000 #constraints=13183
69.46/69.52	c nbDecision=121500 #constraints=13204
69.76/69.85	c nbDecision=122000 #constraints=13210
70.36/70.43	c nbDecision=122500 #constraints=13222
70.86/70.95	c nbDecision=123000 #constraints=13252
71.06/71.18	c nbDecision=123500 #constraints=13261
71.36/71.49	c nbDecision=124000 #constraints=13270
71.66/71.79	c nbDecision=124500 #constraints=13278
72.06/72.13	c nbDecision=125000 #constraints=13299
72.65/72.70	c nbDecision=125500 #constraints=13323
72.85/72.98	c nbDecision=126000 #constraints=13333
73.35/73.40	c nbDecision=126500 #constraints=13345
73.66/73.74	c nbDecision=127000 #constraints=13358
73.95/74.02	c nbDecision=127500 #constraints=13369
74.05/74.18	c nbDecision=128000 #constraints=13372
74.45/74.58	c nbDecision=128500 #constraints=13388
74.66/74.76	c nbDecision=129000 #constraints=13390
74.85/74.98	c nbDecision=129500 #constraints=13398
75.25/75.31	c nbDecision=130000 #constraints=13410
75.45/75.60	c nbDecision=130500 #constraints=13428
75.76/75.85	c nbDecision=131000 #constraints=13446
75.95/76.04	c nbDecision=131500 #constraints=13453
76.35/76.43	c nbDecision=132000 #constraints=13475
76.45/76.56	c nbDecision=132500 #constraints=13477
76.75/76.89	c nbDecision=133000 #constraints=13489
77.25/77.30	c nbDecision=133500 #constraints=13512
77.75/77.89	c nbDecision=134000 #constraints=13539
77.95/78.04	c nbDecision=134500 #constraints=13541
78.15/78.29	c nbDecision=135000 #constraints=13549
78.55/78.68	c nbDecision=135500 #constraints=13558
78.95/79.03	c nbDecision=136000 #constraints=13573
79.15/79.28	c nbDecision=136500 #constraints=13580
79.35/79.45	c nbDecision=137000 #constraints=13583
79.75/79.84	c nbDecision=137500 #constraints=13594
80.05/80.18	c nbDecision=138000 #constraints=13600
80.26/80.34	c nbDecision=138500 #constraints=13603
80.56/80.63	c nbDecision=139000 #constraints=13614
80.66/80.79	c nbDecision=139500 #constraints=13617
80.86/80.95	c nbDecision=140000 #constraints=13619
81.16/81.26	c nbDecision=140500 #constraints=13633
81.36/81.45	c nbDecision=141000 #constraints=13641
81.66/81.74	c nbDecision=141500 #constraints=13658
82.16/82.26	c nbDecision=142000 #constraints=13682
82.46/82.56	c nbDecision=142500 #constraints=13686
82.76/82.82	c nbDecision=143000 #constraints=13703
82.96/83.05	c nbDecision=143500 #constraints=13712
83.16/83.26	c nbDecision=144000 #constraints=13728
83.36/83.46	c nbDecision=144500 #constraints=13741
83.56/83.63	c nbDecision=145000 #constraints=13746
83.96/84.01	c nbDecision=145500 #constraints=13753
84.36/84.47	c nbDecision=146000 #constraints=13761
84.56/84.65	c nbDecision=146500 #constraints=13763
84.86/84.98	c nbDecision=147000 #constraints=13769
85.16/85.25	c nbDecision=147500 #constraints=13777
85.36/85.44	c nbDecision=148000 #constraints=13780
85.46/85.58	c nbDecision=148500 #constraints=13782
85.66/85.72	c nbDecision=149000 #constraints=13785
85.76/85.88	c nbDecision=149500 #constraints=13788
86.35/86.45	c nbDecision=150000 #constraints=13814
86.45/86.58	c nbDecision=150500 #constraints=13819
86.76/86.87	c nbDecision=151000 #constraints=13843
87.05/87.13	c nbDecision=151500 #constraints=13858
87.25/87.31	c nbDecision=152000 #constraints=13863
87.35/87.45	c nbDecision=152500 #constraints=13866
87.45/87.59	c nbDecision=153000 #constraints=13869
87.65/87.71	c nbDecision=153500 #constraints=13871
87.75/87.88	c nbDecision=154000 #constraints=13873
87.96/88.05	c nbDecision=154500 #constraints=13874
88.15/88.25	c nbDecision=155000 #constraints=13885
88.45/88.50	c nbDecision=155500 #constraints=13889
89.15/89.26	c nbDecision=156000 #constraints=13905
89.45/89.50	c nbDecision=156500 #constraints=13918
89.75/89.81	c nbDecision=157000 #constraints=13940
89.95/90.03	c nbDecision=157500 #constraints=13950
90.35/90.43	c nbDecision=158000 #constraints=13964
90.55/90.64	c nbDecision=158500 #constraints=13967
90.95/91.04	c nbDecision=159000 #constraints=13975
91.26/91.38	c nbDecision=159500 #constraints=13980
91.45/91.53	c nbDecision=160000 #constraints=13982
91.55/91.68	c nbDecision=160500 #constraints=13985
91.85/91.97	c nbDecision=161000 #constraints=14000
92.45/92.58	c nbDecision=161500 #constraints=14016
93.05/93.12	c nbDecision=162000 #constraints=14028
93.15/93.27	c nbDecision=162500 #constraints=14031
93.45/93.51	c nbDecision=163000 #constraints=14041
93.55/93.66	c nbDecision=163500 #constraints=14044
93.75/93.84	c nbDecision=164000 #constraints=14051
93.95/94.07	c nbDecision=164500 #constraints=14062
94.25/94.33	c nbDecision=165000 #constraints=14068
94.45/94.52	c nbDecision=165500 #constraints=14077
94.55/94.64	c nbDecision=166000 #constraints=14080
94.85/94.94	c nbDecision=166500 #constraints=14090
95.45/95.57	c nbDecision=167000 #constraints=14101
95.65/95.78	c nbDecision=167500 #constraints=14104
95.85/95.98	c nbDecision=168000 #constraints=14106
96.15/96.21	c nbDecision=168500 #constraints=14109
96.45/96.53	c nbDecision=169000 #constraints=14115
96.85/96.96	c nbDecision=169500 #constraints=14123
97.15/97.21	c nbDecision=170000 #constraints=14127
97.65/97.80	c nbDecision=170500 #constraints=14142
98.25/98.31	c nbDecision=171000 #constraints=14155
98.75/98.86	c nbDecision=171500 #constraints=14168
99.15/99.25	c nbDecision=172000 #constraints=14174
99.75/99.88	c nbDecision=172500 #constraints=14189
100.35/100.46	c nbDecision=173000 #constraints=14206
100.95/101.01	c nbDecision=173500 #constraints=14218
102.25/102.39	c nbDecision=174000 #constraints=14256
102.55/102.68	c nbDecision=174500 #constraints=14261
103.15/103.29	c nbDecision=175000 #constraints=14272
103.55/103.67	c nbDecision=175500 #constraints=14279
103.75/103.83	c nbDecision=176000 #constraints=14282
103.95/104.00	c nbDecision=176500 #constraints=14285
104.05/104.15	c nbDecision=177000 #constraints=14287
104.65/104.79	c nbDecision=177500 #constraints=14300
105.15/105.26	c nbDecision=178000 #constraints=14309
105.25/105.39	c nbDecision=178500 #constraints=14309
106.14/106.28	c nbDecision=179000 #constraints=14333
106.55/106.69	c nbDecision=179500 #constraints=14340
106.74/106.87	c nbDecision=180000 #constraints=14342
107.04/107.15	c nbDecision=180500 #constraints=14347
107.94/108.09	c nbDecision=181000 #constraints=14370
108.44/108.52	c nbDecision=181500 #constraints=14379
109.14/109.27	c nbDecision=182000 #constraints=14400
109.95/110.01	c nbDecision=182500 #constraints=14420
110.44/110.50	c nbDecision=183000 #constraints=14433
110.84/110.98	c nbDecision=183500 #constraints=14445
112.14/112.25	c nbDecision=184000 #constraints=14482
112.74/112.89	c nbDecision=184500 #constraints=14499
113.24/113.34	c nbDecision=185000 #constraints=14511
114.24/114.34	c nbDecision=185500 #constraints=14547
114.54/114.67	c nbDecision=186000 #constraints=14557
114.84/114.97	c nbDecision=186500 #constraints=14572
115.04/115.15	c nbDecision=187000 #constraints=14574
115.44/115.52	c nbDecision=187500 #constraints=14581
115.85/115.97	c nbDecision=188000 #constraints=14590
116.45/116.54	c nbDecision=188500 #constraints=14605
116.85/116.90	c nbDecision=189000 #constraints=14611
116.95/117.09	c nbDecision=189500 #constraints=14613
117.45/117.56	c nbDecision=190000 #constraints=14623
117.75/117.82	c nbDecision=190500 #constraints=14629
117.95/118.09	c nbDecision=191000 #constraints=14651
118.24/118.30	c nbDecision=191500 #constraints=14660
118.44/118.58	c nbDecision=192000 #constraints=14673
119.04/119.10	c nbDecision=192500 #constraints=14683
119.34/119.40	c nbDecision=193000 #constraints=14688
119.54/119.61	c nbDecision=193500 #constraints=14691
119.94/120.06	c nbDecision=194000 #constraints=14699
120.14/120.22	c nbDecision=194500 #constraints=14700
122.44/122.53	c nbDecision=195000 #constraints=14791
123.24/123.34	c nbDecision=195500 #constraints=14837
123.54/123.65	c nbDecision=196000 #constraints=14854
124.14/124.28	c nbDecision=196500 #constraints=14888
124.64/124.79	c nbDecision=197000 #constraints=14919
124.94/125.03	c nbDecision=197500 #constraints=14936
125.44/125.54	c nbDecision=198000 #constraints=14965
126.04/126.13	c nbDecision=198500 #constraints=14993
126.54/126.61	c nbDecision=199000 #constraints=15021
127.34/127.40	c nbDecision=199500 #constraints=15058
127.54/127.66	c nbDecision=200000 #constraints=15069
127.94/128.06	c nbDecision=200500 #constraints=15095
128.34/128.41	c nbDecision=201000 #constraints=15102
128.84/128.92	c nbDecision=201500 #constraints=15124
129.14/129.24	c nbDecision=202000 #constraints=15130
129.64/129.76	c nbDecision=202500 #constraints=15138
131.63/131.76	c nbDecision=203000 #constraints=15196
131.94/132.06	c nbDecision=203500 #constraints=15207
132.23/132.31	c nbDecision=204000 #constraints=15222
132.43/132.51	c nbDecision=204500 #constraints=15236
132.63/132.75	c restart after 204801 decisions
132.83/132.91	c nbDecision=205000 #constraints=15241
133.04/133.11	c nbDecision=205500 #constraints=15241
133.13/133.27	c nbDecision=206000 #constraints=15241
133.33/133.41	c nbDecision=206500 #constraints=15241
133.43/133.54	c nbDecision=207000 #constraints=15241
134.43/134.50	c nbDecision=207500 #constraints=15269
134.73/134.83	c nbDecision=208000 #constraints=15288
135.73/135.80	c nbDecision=208500 #constraints=15315
136.03/136.12	c nbDecision=209000 #constraints=15333
136.24/136.36	c nbDecision=209500 #constraints=15336
136.63/136.76	c nbDecision=210000 #constraints=15341
136.83/136.97	c nbDecision=210500 #constraints=15344
137.33/137.42	c nbDecision=211000 #constraints=15354
137.63/137.77	c nbDecision=211500 #constraints=15360
137.83/137.98	c nbDecision=212000 #constraints=15370
138.13/138.21	c nbDecision=212500 #constraints=15385
138.23/138.34	c nbDecision=213000 #constraints=15389
138.43/138.55	c nbDecision=213500 #constraints=15396
138.93/139.08	c nbDecision=214000 #constraints=15404
139.33/139.48	c nbDecision=214500 #constraints=15409
139.73/139.80	c nbDecision=215000 #constraints=15414
140.03/140.17	c nbDecision=215500 #constraints=15419
142.13/142.21	c nbDecision=216000 #constraints=15472
142.83/142.98	c nbDecision=216500 #constraints=15488
143.33/143.46	c nbDecision=217000 #constraints=15495
144.13/144.26	c nbDecision=217500 #constraints=15514
144.63/144.72	c nbDecision=218000 #constraints=15523
145.03/145.10	c nbDecision=218500 #constraints=15529
145.33/145.48	c nbDecision=219000 #constraints=15535
145.53/145.67	c nbDecision=219500 #constraints=15537
146.04/146.12	c nbDecision=220000 #constraints=15552
146.34/146.40	c nbDecision=220500 #constraints=15561
146.54/146.65	c nbDecision=221000 #constraints=15574
147.54/147.62	c nbDecision=221500 #constraints=15604
148.73/148.86	c nbDecision=222000 #constraints=15649
148.83/148.98	c nbDecision=222500 #constraints=15652
149.44/149.57	c nbDecision=223000 #constraints=15673
149.93/150.02	c nbDecision=223500 #constraints=15682
150.73/150.80	c nbDecision=224000 #constraints=15702
150.93/151.03	c nbDecision=224500 #constraints=15712
151.33/151.49	c nbDecision=225000 #constraints=15739
152.13/152.25	c nbDecision=225500 #constraints=15772
153.23/153.31	c nbDecision=226000 #constraints=15805
153.93/154.07	c nbDecision=226500 #constraints=15827
154.13/154.29	c nbDecision=227000 #constraints=15834
154.63/154.78	c nbDecision=227500 #constraints=15842
154.93/155.03	c nbDecision=228000 #constraints=15845
155.63/155.73	c nbDecision=228500 #constraints=15862
156.03/156.10	c nbDecision=229000 #constraints=15868
156.53/156.62	c nbDecision=229500 #constraints=15878
156.83/156.90	c nbDecision=230000 #constraints=15882
157.13/157.24	c nbDecision=230500 #constraints=15888
157.33/157.47	c nbDecision=231000 #constraints=15890
157.53/157.69	c nbDecision=231500 #constraints=15893
158.12/158.25	c nbDecision=232000 #constraints=15904
158.72/158.81	c nbDecision=232500 #constraints=15913
159.72/159.88	c nbDecision=233000 #constraints=15961
160.72/160.85	c nbDecision=233500 #constraints=15983
161.53/161.65	c nbDecision=234000 #constraints=16012
162.02/162.15	c nbDecision=234500 #constraints=16038
162.52/162.60	c nbDecision=235000 #constraints=16054
162.62/162.73	c nbDecision=235500 #constraints=16058
162.72/162.86	c nbDecision=236000 #constraints=16061
163.22/163.37	c nbDecision=236500 #constraints=16080
163.52/163.64	c nbDecision=237000 #constraints=16088
164.82/164.91	c nbDecision=237500 #constraints=16118
165.02/165.13	c nbDecision=238000 #constraints=16132
165.22/165.36	c nbDecision=238500 #constraints=16140
165.42/165.53	c nbDecision=239000 #constraints=16143
165.72/165.89	c nbDecision=239500 #constraints=16151
166.22/166.36	c nbDecision=240000 #constraints=16157
166.52/166.66	c nbDecision=240500 #constraints=16160
167.42/167.50	c nbDecision=241000 #constraints=16176
167.92/168.05	c nbDecision=241500 #constraints=16187
168.72/168.88	c nbDecision=242000 #constraints=16206
169.32/169.49	c nbDecision=242500 #constraints=16218
170.02/170.16	c nbDecision=243000 #constraints=16238
170.32/170.42	c nbDecision=243500 #constraints=16241
170.72/170.83	c nbDecision=244000 #constraints=16253
171.32/171.44	c nbDecision=244500 #constraints=16265
172.03/172.14	c nbDecision=245000 #constraints=16282
173.03/173.14	c nbDecision=245500 #constraints=16302
173.52/173.68	c nbDecision=246000 #constraints=16312
173.73/173.89	c nbDecision=246500 #constraints=16314
174.12/174.26	c nbDecision=247000 #constraints=16320
174.42/174.57	c nbDecision=247500 #constraints=16334
174.92/175.03	c nbDecision=248000 #constraints=16340
175.23/175.30	c nbDecision=248500 #constraints=16343
175.33/175.49	c nbDecision=249000 #constraints=16344
176.02/176.12	c nbDecision=249500 #constraints=16355
176.42/176.57	c nbDecision=250000 #constraints=16363
176.82/176.99	c nbDecision=250500 #constraints=16370
177.22/177.36	c nbDecision=251000 #constraints=16376
178.12/178.24	c nbDecision=251500 #constraints=16396
178.72/178.89	c nbDecision=252000 #constraints=16415
179.22/179.31	c nbDecision=252500 #constraints=16433
179.52/179.66	c nbDecision=253000 #constraints=16443
179.82/179.93	c nbDecision=253500 #constraints=16450
180.12/180.28	c nbDecision=254000 #constraints=16455
181.12/181.29	c nbDecision=254500 #constraints=16477
181.62/181.76	c nbDecision=255000 #constraints=16491
182.22/182.35	c nbDecision=255500 #constraints=16503
182.82/182.95	c nbDecision=256000 #constraints=16522
183.32/183.42	c nbDecision=256500 #constraints=16530
183.82/183.94	c nbDecision=257000 #constraints=16554
184.12/184.22	c nbDecision=257500 #constraints=16563
184.32/184.45	c nbDecision=258000 #constraints=16580
184.92/185.09	c nbDecision=258500 #constraints=16602
185.22/185.33	c nbDecision=259000 #constraints=16604
185.91/186.09	c nbDecision=259500 #constraints=16631
186.41/186.56	c nbDecision=260000 #constraints=16644
186.92/187.02	c nbDecision=260500 #constraints=16656
187.41/187.56	c nbDecision=261000 #constraints=16675
187.92/188.03	c nbDecision=261500 #constraints=16683
188.71/188.88	c nbDecision=262000 #constraints=16705
188.91/189.09	c nbDecision=262500 #constraints=16717
189.12/189.21	c nbDecision=263000 #constraints=16720
189.51/189.65	c nbDecision=263500 #constraints=16739
190.41/190.59	c nbDecision=264000 #constraints=16772
190.61/190.72	c nbDecision=264500 #constraints=16775
190.81/190.97	c nbDecision=265000 #constraints=16793
191.01/191.19	c nbDecision=265500 #constraints=16795
191.71/191.80	c nbDecision=266000 #constraints=16809
191.91/192.07	c nbDecision=266500 #constraints=16823
192.81/192.98	c nbDecision=267000 #constraints=16856
193.11/193.29	c nbDecision=267500 #constraints=16871
193.81/193.93	c nbDecision=268000 #constraints=16901
193.91/194.05	c nbDecision=268500 #constraints=16904
194.11/194.21	c nbDecision=269000 #constraints=16912
194.41/194.55	c nbDecision=269500 #constraints=16932
194.61/194.71	c nbDecision=270000 #constraints=16940
194.91/195.03	c nbDecision=270500 #constraints=16950
195.32/195.40	c nbDecision=271000 #constraints=16962
197.12/197.29	c nbDecision=271500 #constraints=16999
197.52/197.69	c nbDecision=272000 #constraints=17015
197.82/197.93	c nbDecision=272500 #constraints=17019
198.02/198.13	c nbDecision=273000 #constraints=17020
198.42/198.59	c nbDecision=273500 #constraints=17025
198.72/198.83	c nbDecision=274000 #constraints=17028
199.02/199.15	c nbDecision=274500 #constraints=17033
199.52/199.60	c nbDecision=275000 #constraints=17038
200.42/200.52	c nbDecision=275500 #constraints=17054
200.52/200.64	c nbDecision=276000 #constraints=17054
200.82/200.91	c nbDecision=276500 #constraints=17057
201.02/201.10	c nbDecision=277000 #constraints=17060
201.12/201.26	c nbDecision=277500 #constraints=17063
201.32/201.45	c nbDecision=278000 #constraints=17067
203.21/203.30	c nbDecision=278500 #constraints=17111
203.42/203.59	c nbDecision=279000 #constraints=17118
204.81/204.94	c nbDecision=279500 #constraints=17153
205.11/205.23	c nbDecision=280000 #constraints=17168
205.52/205.62	c nbDecision=280500 #constraints=17185
205.81/205.90	c nbDecision=281000 #constraints=17199
205.91/206.06	c nbDecision=281500 #constraints=17206
206.11/206.29	c nbDecision=282000 #constraints=17210
206.31/206.45	c nbDecision=282500 #constraints=17212
206.72/206.84	c nbDecision=283000 #constraints=17226
207.51/207.63	c nbDecision=283500 #constraints=17238
207.82/207.92	c nbDecision=284000 #constraints=17241
208.31/208.42	c nbDecision=284500 #constraints=17249
209.11/209.25	c nbDecision=285000 #constraints=17264
209.41/209.59	c nbDecision=285500 #constraints=17274
209.61/209.73	c nbDecision=286000 #constraints=17276
209.71/209.86	c nbDecision=286500 #constraints=17279
209.91/210.00	c nbDecision=287000 #constraints=17286
210.01/210.19	c nbDecision=287500 #constraints=17290
210.41/210.53	c nbDecision=288000 #constraints=17296
210.61/210.77	c nbDecision=288500 #constraints=17306
210.81/210.94	c nbDecision=289000 #constraints=17314
211.21/211.38	c nbDecision=289500 #constraints=17320
211.61/211.71	c nbDecision=290000 #constraints=17324
211.91/212.08	c nbDecision=290500 #constraints=17337
213.01/213.10	c nbDecision=291000 #constraints=17372
213.21/213.39	c nbDecision=291500 #constraints=17394
213.41/213.50	c nbDecision=292000 #constraints=17394
213.61/213.73	c nbDecision=292500 #constraints=17400
213.81/213.92	c nbDecision=293000 #constraints=17401
213.91/214.09	c nbDecision=293500 #constraints=17402
214.11/214.27	c nbDecision=294000 #constraints=17403
214.21/214.39	c nbDecision=294500 #constraints=17403
214.41/214.52	c nbDecision=295000 #constraints=17404
214.61/214.70	c nbDecision=295500 #constraints=17405
215.61/215.74	c nbDecision=296000 #constraints=17433
215.81/215.95	c nbDecision=296500 #constraints=17437
216.11/216.24	c nbDecision=297000 #constraints=17443
216.31/216.43	c nbDecision=297500 #constraints=17448
216.61/216.74	c nbDecision=298000 #constraints=17459
216.81/216.95	c nbDecision=298500 #constraints=17463
217.01/217.16	c nbDecision=299000 #constraints=17471
217.21/217.35	c nbDecision=299500 #constraints=17480
217.31/217.46	c nbDecision=300000 #constraints=17480
217.61/217.71	c nbDecision=300500 #constraints=17490
217.71/217.89	c nbDecision=301000 #constraints=17497
217.90/218.03	c nbDecision=301500 #constraints=17498
218.00/218.14	c nbDecision=302000 #constraints=17498
218.30/218.49	c nbDecision=302500 #constraints=17512
218.60/218.75	c nbDecision=303000 #constraints=17521
218.81/218.98	c nbDecision=303500 #constraints=17531
219.30/219.49	c nbDecision=304000 #constraints=17553
220.00/220.18	c nbDecision=304500 #constraints=17573
220.80/220.94	c nbDecision=305000 #constraints=17594
221.01/221.13	c nbDecision=305500 #constraints=17596
221.60/221.79	c nbDecision=306000 #constraints=17609
222.50/222.68	c nbDecision=306500 #constraints=17642
223.60/223.71	c nbDecision=307000 #constraints=17685
223.90/224.02	c nbDecision=307500 #constraints=17690
224.10/224.26	c nbDecision=308000 #constraints=17697
224.30/224.44	c nbDecision=308500 #constraints=17700
225.00/225.12	c nbDecision=309000 #constraints=17713
227.11/227.26	c nbDecision=309500 #constraints=17765
227.61/227.79	c nbDecision=310000 #constraints=17772
228.10/228.25	c nbDecision=310500 #constraints=17778
228.71/228.80	c nbDecision=311000 #constraints=17787
229.50/229.60	c nbDecision=311500 #constraints=17799
229.90/230.07	c nbDecision=312000 #constraints=17812
230.70/230.83	c nbDecision=312500 #constraints=17831
231.70/231.84	c nbDecision=313000 #constraints=17862
232.50/232.61	c nbDecision=313500 #constraints=17880
234.11/234.21	c nbDecision=314000 #constraints=17916
234.50/234.67	c nbDecision=314500 #constraints=17923
235.20/235.39	c nbDecision=315000 #constraints=17934
235.70/235.84	c nbDecision=315500 #constraints=17940
236.40/236.57	c nbDecision=316000 #constraints=17949
236.70/236.80	c nbDecision=316500 #constraints=17951
238.60/238.73	c nbDecision=317000 #constraints=18005
239.10/239.28	c nbDecision=317500 #constraints=18013
239.60/239.80	c nbDecision=318000 #constraints=18022
240.10/240.22	c nbDecision=318500 #constraints=18028
242.00/242.18	c nbDecision=319000 #constraints=18077
242.50/242.66	c nbDecision=319500 #constraints=18083
243.10/243.26	c nbDecision=320000 #constraints=18091
243.69/243.80	c nbDecision=320500 #constraints=18100
244.10/244.27	c nbDecision=321000 #constraints=18123
244.39/244.54	c nbDecision=321500 #constraints=18141
244.69/244.83	c nbDecision=322000 #constraints=18149
244.99/245.14	c nbDecision=322500 #constraints=18165
245.59/245.70	c nbDecision=323000 #constraints=18181
245.79/245.97	c nbDecision=323500 #constraints=18184
246.39/246.50	c nbDecision=324000 #constraints=18192
246.89/247.02	c nbDecision=324500 #constraints=18200
247.59/247.70	c nbDecision=325000 #constraints=18211
248.09/248.30	c nbDecision=325500 #constraints=18220
248.99/249.18	c nbDecision=326000 #constraints=18232
249.50/249.67	c nbDecision=326500 #constraints=18238
250.09/250.24	c nbDecision=327000 #constraints=18245
250.79/250.94	c nbDecision=327500 #constraints=18278
251.29/251.47	c nbDecision=328000 #constraints=18284
251.79/251.92	c nbDecision=328500 #constraints=18303
252.19/252.38	c nbDecision=329000 #constraints=18310
253.89/254.07	c nbDecision=329500 #constraints=18343
254.49/254.62	c nbDecision=330000 #constraints=18352
255.59/255.77	c nbDecision=330500 #constraints=18375
256.69/256.84	c nbDecision=331000 #constraints=18396
257.99/258.18	c nbDecision=331500 #constraints=18438
258.69/258.89	c nbDecision=332000 #constraints=18452
258.99/259.10	c nbDecision=332500 #constraints=18463
259.29/259.46	c nbDecision=333000 #constraints=18482
259.99/260.13	c nbDecision=333500 #constraints=18492
260.89/261.09	c nbDecision=334000 #constraints=18503
261.49/261.69	c nbDecision=334500 #constraints=18511
262.59/262.77	c nbDecision=335000 #constraints=18531
263.79/263.93	c nbDecision=335500 #constraints=18552
264.78/264.97	c nbDecision=336000 #constraints=18591
265.99/266.15	c nbDecision=336500 #constraints=18627
266.18/266.35	c nbDecision=337000 #constraints=18639
267.49/267.67	c nbDecision=337500 #constraints=18672
269.29/269.46	c nbDecision=338000 #constraints=18719
269.59/269.72	c nbDecision=338500 #constraints=18731
269.99/270.14	c nbDecision=339000 #constraints=18750
270.89/271.09	c nbDecision=339500 #constraints=18764
271.99/272.10	c nbDecision=340000 #constraints=18789
272.89/273.06	c nbDecision=340500 #constraints=18803
273.59/273.77	c nbDecision=341000 #constraints=18814
273.89/274.01	c nbDecision=341500 #constraints=18819
273.99/274.17	c nbDecision=342000 #constraints=18822
274.19/274.33	c nbDecision=342500 #constraints=18825
274.59/274.73	c nbDecision=343000 #constraints=18832
274.99/275.15	c nbDecision=343500 #constraints=18839
275.29/275.41	c nbDecision=344000 #constraints=18842
275.79/275.99	c nbDecision=344500 #constraints=18852
276.59/276.78	c nbDecision=345000 #constraints=18864
277.19/277.36	c nbDecision=345500 #constraints=18870
279.99/280.13	c nbDecision=346000 #constraints=18926
280.49/280.68	c nbDecision=346500 #constraints=18934
281.79/281.95	c nbDecision=347000 #constraints=18957
281.99/282.17	c nbDecision=347500 #constraints=18959
282.49/282.67	c nbDecision=348000 #constraints=18965
284.98/285.17	c nbDecision=348500 #constraints=19012
287.18/287.34	c nbDecision=349000 #constraints=19052
288.58/288.70	c nbDecision=349500 #constraints=19076
288.78/288.98	c nbDecision=350000 #constraints=19079
289.08/289.26	c nbDecision=350500 #constraints=19082
289.78/289.91	c nbDecision=351000 #constraints=19089
292.08/292.27	c nbDecision=351500 #constraints=19135
292.78/292.92	c nbDecision=352000 #constraints=19144
293.58/293.76	c nbDecision=352500 #constraints=19158
293.88/294.04	c nbDecision=353000 #constraints=19161
294.58/294.73	c nbDecision=353500 #constraints=19172
295.18/295.38	c nbDecision=354000 #constraints=19183
295.68/295.89	c nbDecision=354500 #constraints=19193
296.08/296.26	c nbDecision=355000 #constraints=19202
296.47/296.64	c nbDecision=355500 #constraints=19209
296.78/296.97	c nbDecision=356000 #constraints=19216
298.47/298.68	c nbDecision=356500 #constraints=19279
299.57/299.77	c nbDecision=357000 #constraints=19316
300.97/301.10	c nbDecision=357500 #constraints=19359
301.29/301.49	c nbDecision=358000 #constraints=19380
301.58/301.71	c nbDecision=358500 #constraints=19392
302.98/303.12	c nbDecision=359000 #constraints=19442
304.78/304.94	c nbDecision=359500 #constraints=19496
305.08/305.27	c nbDecision=360000 #constraints=19515
305.78/305.97	c nbDecision=360500 #constraints=19529
306.38/306.59	c nbDecision=361000 #constraints=19536
308.07/308.28	c nbDecision=361500 #constraints=19571
308.37/308.51	c nbDecision=362000 #constraints=19573
309.57/309.72	c nbDecision=362500 #constraints=19592
310.08/310.25	c nbDecision=363000 #constraints=19598
310.47/310.65	c nbDecision=363500 #constraints=19602
311.67/311.80	c nbDecision=364000 #constraints=19622
313.57/313.76	c nbDecision=364500 #constraints=19674
315.67/315.84	c nbDecision=365000 #constraints=19729
316.07/316.27	c nbDecision=365500 #constraints=19745
316.87/317.02	c nbDecision=366000 #constraints=19765
317.87/318.06	c nbDecision=366500 #constraints=19781
319.57/319.76	c nbDecision=367000 #constraints=19831
320.07/320.21	c nbDecision=367500 #constraints=19848
321.37/321.56	c nbDecision=368000 #constraints=19877
321.57/321.77	c nbDecision=368500 #constraints=19885
321.87/322.10	c nbDecision=369000 #constraints=19902
322.57/322.75	c nbDecision=369500 #constraints=19916
322.97/323.16	c nbDecision=370000 #constraints=19920
323.27/323.48	c nbDecision=370500 #constraints=19923
323.57/323.73	c nbDecision=371000 #constraints=19925
324.17/324.39	c nbDecision=371500 #constraints=19938
324.57/324.75	c nbDecision=372000 #constraints=19953
325.07/325.28	c nbDecision=372500 #constraints=19958
326.87/327.01	c nbDecision=373000 #constraints=19981
328.96/329.19	c nbDecision=373500 #constraints=20014
330.06/330.24	c nbDecision=374000 #constraints=20028
330.36/330.52	c nbDecision=374500 #constraints=20030
331.36/331.52	c nbDecision=375000 #constraints=20045
332.76/332.94	c nbDecision=375500 #constraints=20082
335.06/335.22	c nbDecision=376000 #constraints=20118
335.96/336.13	c nbDecision=376500 #constraints=20127
337.96/338.18	c nbDecision=377000 #constraints=20156
338.67/338.85	c nbDecision=377500 #constraints=20163
339.77/339.96	c nbDecision=378000 #constraints=20179
340.37/340.57	c nbDecision=378500 #constraints=20187
341.07/341.30	c nbDecision=379000 #constraints=20197
341.67/341.85	c nbDecision=379500 #constraints=20203
342.17/342.34	c nbDecision=380000 #constraints=20209
342.57/342.75	c nbDecision=380500 #constraints=20213
344.36/344.53	c nbDecision=381000 #constraints=20242
344.86/345.05	c nbDecision=381500 #constraints=20249
345.66/345.85	c nbDecision=382000 #constraints=20258
346.16/346.33	c nbDecision=382500 #constraints=20263
346.76/346.98	c nbDecision=383000 #constraints=20283
347.56/347.78	c nbDecision=383500 #constraints=20294
348.16/348.39	c nbDecision=384000 #constraints=20302
350.86/351.09	c nbDecision=384500 #constraints=20347
351.66/351.86	c nbDecision=385000 #constraints=20358
352.46/352.68	c nbDecision=385500 #constraints=20370
352.76/352.99	c nbDecision=386000 #constraints=20373
353.76/353.90	c nbDecision=386500 #constraints=20390
353.96/354.14	c nbDecision=387000 #constraints=20394
354.36/354.53	c nbDecision=387500 #constraints=20402
354.76/354.93	c nbDecision=388000 #constraints=20409
354.96/355.20	c nbDecision=388500 #constraints=20414
355.46/355.63	c nbDecision=389000 #constraints=20420
356.06/356.21	c nbDecision=389500 #constraints=20431
356.56/356.76	c nbDecision=390000 #constraints=20440
357.06/357.20	c nbDecision=390500 #constraints=20448
357.26/357.41	c nbDecision=391000 #constraints=20451
357.76/357.93	c nbDecision=391500 #constraints=20461
358.16/358.36	c nbDecision=392000 #constraints=20469
358.46/358.67	c nbDecision=392500 #constraints=20475
358.86/359.06	c nbDecision=393000 #constraints=20481
359.06/359.26	c nbDecision=393500 #constraints=20484
359.56/359.71	c nbDecision=394000 #constraints=20490
359.86/360.03	c nbDecision=394500 #constraints=20495
360.36/360.55	c nbDecision=395000 #constraints=20507
360.56/360.73	c nbDecision=395500 #constraints=20510
360.76/360.91	c nbDecision=396000 #constraints=20513
361.16/361.30	c nbDecision=396500 #constraints=20517
362.55/362.78	c nbDecision=397000 #constraints=20539
363.65/363.86	c nbDecision=397500 #constraints=20551
364.55/364.76	c nbDecision=398000 #constraints=20562
367.95/368.18	c nbDecision=398500 #constraints=20627
369.15/369.34	c nbDecision=399000 #constraints=20640
369.35/369.59	c nbDecision=399500 #constraints=20642
371.85/372.06	c nbDecision=400000 #constraints=20682
372.35/372.57	c nbDecision=400500 #constraints=20689
372.85/373.00	c nbDecision=401000 #constraints=20694
373.45/373.65	c nbDecision=401500 #constraints=20706
373.75/373.99	c nbDecision=402000 #constraints=20710
375.65/375.87	c nbDecision=402500 #constraints=20737
378.35/378.54	c nbDecision=403000 #constraints=20777
379.84/380.03	c nbDecision=403500 #constraints=20798
380.45/380.67	c nbDecision=404000 #constraints=20805
380.84/381.03	c nbDecision=404500 #constraints=20808
381.34/381.59	c nbDecision=405000 #constraints=20835
381.74/381.95	c nbDecision=405500 #constraints=20847
382.14/382.40	c nbDecision=406000 #constraints=20866
384.25/384.47	c nbDecision=406500 #constraints=20903
387.85/388.07	c nbDecision=407000 #constraints=20984
392.55/392.75	c nbDecision=407500 #constraints=21078
392.95/393.16	c nbDecision=408000 #constraints=21089
393.95/394.17	c nbDecision=408500 #constraints=21103
395.14/395.37	c nbDecision=409000 #constraints=21124
395.94/396.15	c nbDecision=409500 #constraints=21131
395.94/396.17	c restart after 409601 decisions
396.24/396.47	c nbDecision=410000 #constraints=21131
396.44/396.65	c nbDecision=410500 #constraints=21131
396.64/396.80	c nbDecision=411000 #constraints=21131
396.74/396.94	c nbDecision=411500 #constraints=21131
396.95/397.19	c nbDecision=412000 #constraints=21132
398.64/398.84	c nbDecision=412500 #constraints=21151
399.44/399.66	c nbDecision=413000 #constraints=21160
399.74/399.91	c nbDecision=413500 #constraints=21163
399.84/400.06	c nbDecision=414000 #constraints=21165
400.04/400.23	c nbDecision=414500 #constraints=21168
400.15/400.38	c nbDecision=415000 #constraints=21170
400.54/400.79	c nbDecision=415500 #constraints=21177
400.74/400.98	c nbDecision=416000 #constraints=21180
400.94/401.15	c nbDecision=416500 #constraints=21182
402.24/402.48	c nbDecision=417000 #constraints=21202
402.94/403.15	c nbDecision=417500 #constraints=21208
404.04/404.27	c nbDecision=418000 #constraints=21218
404.64/404.81	c nbDecision=418500 #constraints=21222
405.34/405.53	c nbDecision=419000 #constraints=21233
405.94/406.17	c nbDecision=419500 #constraints=21247
406.74/406.91	c nbDecision=420000 #constraints=21267
407.04/407.23	c nbDecision=420500 #constraints=21273
407.84/408.03	c nbDecision=421000 #constraints=21283
408.84/409.05	c nbDecision=421500 #constraints=21294
409.04/409.26	c nbDecision=422000 #constraints=21297
409.73/409.94	c nbDecision=422500 #constraints=21311
410.53/410.75	c nbDecision=423000 #constraints=21319
410.73/410.95	c nbDecision=423500 #constraints=21322
410.93/411.17	c nbDecision=424000 #constraints=21325
411.24/411.45	c nbDecision=424500 #constraints=21329
411.43/411.68	c nbDecision=425000 #constraints=21332
411.93/412.14	c nbDecision=425500 #constraints=21338
412.63/412.89	c nbDecision=426000 #constraints=21345
413.44/413.67	c nbDecision=426500 #constraints=21352
413.63/413.87	c nbDecision=427000 #constraints=21355
414.93/415.11	c nbDecision=427500 #constraints=21368
415.63/415.82	c nbDecision=428000 #constraints=21378
416.23/416.40	c nbDecision=428500 #constraints=21389
417.33/417.53	c nbDecision=429000 #constraints=21411
417.63/417.80	c nbDecision=429500 #constraints=21415
417.73/417.95	c nbDecision=430000 #constraints=21417
417.83/418.08	c nbDecision=430500 #constraints=21419
418.53/418.72	c nbDecision=431000 #constraints=21425
419.23/419.46	c nbDecision=431500 #constraints=21434
419.93/420.17	c nbDecision=432000 #constraints=21442
421.23/421.49	c nbDecision=432500 #constraints=21457
421.83/422.04	c nbDecision=433000 #constraints=21463
422.33/422.51	c nbDecision=433500 #constraints=21467
422.93/423.10	c nbDecision=434000 #constraints=21475
423.53/423.78	c nbDecision=434500 #constraints=21482
424.93/425.19	c nbDecision=435000 #constraints=21500
425.63/425.80	c nbDecision=435500 #constraints=21507
426.03/426.21	c nbDecision=436000 #constraints=21512
426.83/427.06	c nbDecision=436500 #constraints=21521
427.53/427.77	c nbDecision=437000 #constraints=21529
428.12/428.37	c nbDecision=437500 #constraints=21534
429.02/429.23	c nbDecision=438000 #constraints=21544
429.83/430.08	c nbDecision=438500 #constraints=21552
430.02/430.28	c nbDecision=439000 #constraints=21554
430.82/431.09	c nbDecision=439500 #constraints=21564
431.22/431.44	c nbDecision=440000 #constraints=21567
432.52/432.79	c nbDecision=440500 #constraints=21584
433.13/433.39	c nbDecision=441000 #constraints=21589
433.82/434.02	c nbDecision=441500 #constraints=21596
434.12/434.34	c nbDecision=442000 #constraints=21599
434.72/434.92	c nbDecision=442500 #constraints=21605
434.92/435.19	c nbDecision=443000 #constraints=21608
436.02/436.21	c nbDecision=443500 #constraints=21617
436.52/436.73	c nbDecision=444000 #constraints=21624
437.72/438.00	c nbDecision=444500 #constraints=21637
438.32/438.58	c nbDecision=445000 #constraints=21644
438.92/439.10	c nbDecision=445500 #constraints=21651
439.72/439.96	c nbDecision=446000 #constraints=21658
440.42/440.69	c nbDecision=446500 #constraints=21667
440.92/441.10	c nbDecision=447000 #constraints=21670
441.92/442.16	c nbDecision=447500 #constraints=21685
442.42/442.66	c nbDecision=448000 #constraints=21689
442.72/442.98	c nbDecision=448500 #constraints=21692
444.01/444.27	c nbDecision=449000 #constraints=21708
444.61/444.84	c nbDecision=449500 #constraints=21713
445.41/445.67	c nbDecision=450000 #constraints=21720
446.11/446.31	c nbDecision=450500 #constraints=21726
446.51/446.74	c nbDecision=451000 #constraints=21732
446.91/447.17	c nbDecision=451500 #constraints=21736
447.61/447.82	c nbDecision=452000 #constraints=21741
447.91/448.13	c nbDecision=452500 #constraints=21743
449.21/449.43	c nbDecision=453000 #constraints=21759
450.61/450.81	c nbDecision=453500 #constraints=21779
452.21/452.43	c nbDecision=454000 #constraints=21801
453.61/453.83	c nbDecision=454500 #constraints=21817
453.91/454.16	c nbDecision=455000 #constraints=21820
455.21/455.49	c nbDecision=455500 #constraints=21837
456.21/456.48	c nbDecision=456000 #constraints=21847
457.21/457.45	c nbDecision=456500 #constraints=21860
457.61/457.86	c nbDecision=457000 #constraints=21872
457.91/458.16	c nbDecision=457500 #constraints=21878
459.51/459.77	c nbDecision=458000 #constraints=21898
460.31/460.57	c nbDecision=458500 #constraints=21907
462.11/462.40	c nbDecision=459000 #constraints=21930
462.71/462.98	c nbDecision=459500 #constraints=21936
464.50/464.76	c nbDecision=460000 #constraints=21953
464.90/465.11	c nbDecision=460500 #constraints=21956
466.71/466.98	c nbDecision=461000 #constraints=21981
467.01/467.24	c nbDecision=461500 #constraints=21989
467.11/467.37	c nbDecision=462000 #constraints=21993
467.31/467.59	c nbDecision=462500 #constraints=22000
468.11/468.37	c nbDecision=463000 #constraints=22013
468.71/468.99	c nbDecision=463500 #constraints=22024
469.41/469.61	c nbDecision=464000 #constraints=22030
469.51/469.77	c nbDecision=464500 #constraints=22032
469.71/469.94	c nbDecision=465000 #constraints=22035
469.91/470.12	c nbDecision=465500 #constraints=22039
470.11/470.30	c nbDecision=466000 #constraints=22042
470.21/470.43	c nbDecision=466500 #constraints=22043
470.31/470.57	c nbDecision=467000 #constraints=22047
471.51/471.80	c nbDecision=467500 #constraints=22063
472.81/473.07	c nbDecision=468000 #constraints=22077
474.00/474.26	c nbDecision=468500 #constraints=22090
474.20/474.44	c nbDecision=469000 #constraints=22091
474.91/475.19	c nbDecision=469500 #constraints=22098
476.01/476.29	c nbDecision=470000 #constraints=22106
476.70/476.98	c nbDecision=470500 #constraints=22111
477.11/477.31	c nbDecision=471000 #constraints=22117
477.90/478.18	c nbDecision=471500 #constraints=22125
478.90/479.13	c nbDecision=472000 #constraints=22132
480.00/480.20	c nbDecision=472500 #constraints=22140
480.40/480.69	c nbDecision=473000 #constraints=22144
481.40/481.64	c nbDecision=473500 #constraints=22154
482.20/482.45	c nbDecision=474000 #constraints=22161
483.30/483.53	c nbDecision=474500 #constraints=22176
484.60/484.87	c nbDecision=475000 #constraints=22199
486.20/486.45	c nbDecision=475500 #constraints=22217
486.50/486.75	c nbDecision=476000 #constraints=22219
487.59/487.81	c nbDecision=476500 #constraints=22232
488.10/488.31	c nbDecision=477000 #constraints=22237
488.69/488.99	c nbDecision=477500 #constraints=22247
489.09/489.36	c nbDecision=478000 #constraints=22250
489.99/490.21	c nbDecision=478500 #constraints=22260
490.30/490.54	c nbDecision=479000 #constraints=22262
490.69/490.91	c nbDecision=479500 #constraints=22264
490.79/491.05	c nbDecision=480000 #constraints=22264
491.59/491.83	c nbDecision=480500 #constraints=22270
492.09/492.40	c nbDecision=481000 #constraints=22274
492.99/493.22	c nbDecision=481500 #constraints=22280
493.69/493.99	c nbDecision=482000 #constraints=22293
494.59/494.86	c nbDecision=482500 #constraints=22304
494.89/495.16	c nbDecision=483000 #constraints=22306
495.39/495.60	c nbDecision=483500 #constraints=22310
495.59/495.83	c nbDecision=484000 #constraints=22311
495.99/496.28	c nbDecision=484500 #constraints=22314
496.59/496.81	c nbDecision=485000 #constraints=22320
496.89/497.10	c nbDecision=485500 #constraints=22329
497.09/497.35	c nbDecision=486000 #constraints=22339
497.29/497.56	c nbDecision=486500 #constraints=22348
497.49/497.73	c nbDecision=487000 #constraints=22351
497.59/497.85	c nbDecision=487500 #constraints=22352
497.69/497.98	c nbDecision=488000 #constraints=22354
497.89/498.18	c nbDecision=488500 #constraints=22356
498.19/498.45	c nbDecision=489000 #constraints=22360
498.39/498.65	c nbDecision=489500 #constraints=22368
498.59/498.84	c nbDecision=490000 #constraints=22374
498.89/499.17	c nbDecision=490500 #constraints=22378
499.79/500.02	c nbDecision=491000 #constraints=22400
501.49/501.70	c nbDecision=491500 #constraints=22425
501.79/502.09	c nbDecision=492000 #constraints=22434
502.09/502.35	c nbDecision=492500 #constraints=22437
502.29/502.53	c nbDecision=493000 #constraints=22438
502.50/502.75	c nbDecision=493500 #constraints=22439
502.69/502.91	c nbDecision=494000 #constraints=22440
502.79/503.03	c nbDecision=494500 #constraints=22440
503.09/503.35	c nbDecision=495000 #constraints=22445
503.29/503.56	c nbDecision=495500 #constraints=22446
503.49/503.73	c nbDecision=496000 #constraints=22447
503.69/503.93	c nbDecision=496500 #constraints=22448
503.79/504.05	c nbDecision=497000 #constraints=22448
503.99/504.22	c nbDecision=497500 #constraints=22449
504.29/504.57	c nbDecision=498000 #constraints=22451
504.69/504.91	c nbDecision=498500 #constraints=22454
505.89/506.13	c nbDecision=499000 #constraints=22468
505.99/506.29	c nbDecision=499500 #constraints=22470
507.29/507.57	c nbDecision=500000 #constraints=22491
508.39/508.60	c nbDecision=500500 #constraints=22509
508.59/508.89	c nbDecision=501000 #constraints=22515
509.29/509.58	c nbDecision=501500 #constraints=22523
510.09/510.34	c nbDecision=502000 #constraints=22531
511.09/511.38	c nbDecision=502500 #constraints=22542
512.19/512.45	c nbDecision=503000 #constraints=22553
512.89/513.18	c nbDecision=503500 #constraints=22560
513.78/514.09	c nbDecision=504000 #constraints=22570
514.59/514.87	c nbDecision=504500 #constraints=22579
514.98/515.20	c nbDecision=505000 #constraints=22582
515.69/515.99	c nbDecision=505500 #constraints=22590
516.88/517.16	c nbDecision=506000 #constraints=22611
517.38/517.68	c nbDecision=506500 #constraints=22620
518.18/518.44	c nbDecision=507000 #constraints=22628
518.89/519.11	c nbDecision=507500 #constraints=22635
519.28/519.59	c nbDecision=508000 #constraints=22640
520.18/520.42	c nbDecision=508500 #constraints=22658
520.78/521.00	c nbDecision=509000 #constraints=22664
522.38/522.65	c nbDecision=509500 #constraints=22680
522.98/523.26	c nbDecision=510000 #constraints=22686
523.68/523.93	c nbDecision=510500 #constraints=22693
524.68/524.91	c nbDecision=511000 #constraints=22703
525.38/525.63	c nbDecision=511500 #constraints=22710
526.38/526.66	c nbDecision=512000 #constraints=22721
526.58/526.82	c nbDecision=512500 #constraints=22723
527.38/527.65	c nbDecision=513000 #constraints=22740
527.58/527.85	c nbDecision=513500 #constraints=22743
527.78/528.05	c nbDecision=514000 #constraints=22746
528.58/528.83	c nbDecision=514500 #constraints=22758
529.28/529.50	c nbDecision=515000 #constraints=22765
530.68/530.92	c nbDecision=515500 #constraints=22780
531.38/531.66	c nbDecision=516000 #constraints=22794
531.68/531.98	c nbDecision=516500 #constraints=22799
532.88/533.12	c nbDecision=517000 #constraints=22823
533.77/534.09	c nbDecision=517500 #constraints=22838
534.07/534.34	c nbDecision=518000 #constraints=22840
534.57/534.89	c nbDecision=518500 #constraints=22855
534.87/535.19	c nbDecision=519000 #constraints=22862
535.38/535.66	c nbDecision=519500 #constraints=22868
535.67/535.93	c nbDecision=520000 #constraints=22870
535.97/536.20	c nbDecision=520500 #constraints=22874
536.58/536.84	c nbDecision=521000 #constraints=22890
537.07/537.30	c nbDecision=521500 #constraints=22897
538.17/538.49	c nbDecision=522000 #constraints=22928
538.57/538.87	c nbDecision=522500 #constraints=22944
539.07/539.37	c nbDecision=523000 #constraints=22961
539.37/539.68	c nbDecision=523500 #constraints=22963
540.07/540.38	c nbDecision=524000 #constraints=22968
540.57/540.88	c nbDecision=524500 #constraints=22972
541.47/541.74	c nbDecision=525000 #constraints=22983
542.67/542.91	c nbDecision=525500 #constraints=22995
543.97/544.27	c nbDecision=526000 #constraints=23011
546.47/546.74	c nbDecision=526500 #constraints=23045
547.27/547.54	c nbDecision=527000 #constraints=23054
547.77/548.02	c nbDecision=527500 #constraints=23059
548.67/548.95	c nbDecision=528000 #constraints=23069
549.46/549.75	c nbDecision=528500 #constraints=23076
549.67/549.99	c nbDecision=529000 #constraints=23086
549.86/550.11	c nbDecision=529500 #constraints=23089
549.96/550.24	c nbDecision=530000 #constraints=23092
550.36/550.68	c nbDecision=530500 #constraints=23100
550.56/550.83	c nbDecision=531000 #constraints=23100
550.87/551.15	c nbDecision=531500 #constraints=23103
551.36/551.68	c nbDecision=532000 #constraints=23119
551.66/551.99	c nbDecision=532500 #constraints=23122
553.56/553.87	c nbDecision=533000 #constraints=23144
554.36/554.62	c nbDecision=533500 #constraints=23150
556.27/556.56	c nbDecision=534000 #constraints=23171
557.36/557.64	c nbDecision=534500 #constraints=23180
558.16/558.43	c nbDecision=535000 #constraints=23186
559.56/559.85	c nbDecision=535500 #constraints=23207
560.76/561.08	c nbDecision=536000 #constraints=23223
561.16/561.48	c nbDecision=536500 #constraints=23227
561.86/562.11	c nbDecision=537000 #constraints=23232
562.36/562.69	c nbDecision=537500 #constraints=23238
563.36/563.67	c nbDecision=538000 #constraints=23250
564.66/565.00	c nbDecision=538500 #constraints=23267
567.56/567.88	c nbDecision=539000 #constraints=23308
568.06/568.32	c nbDecision=539500 #constraints=23322
568.56/568.82	c nbDecision=540000 #constraints=23336
569.26/569.52	c nbDecision=540500 #constraints=23344
569.86/570.16	c nbDecision=541000 #constraints=23364
570.26/570.53	c nbDecision=541500 #constraints=23367
573.16/573.47	c nbDecision=542000 #constraints=23404
573.86/574.12	c nbDecision=542500 #constraints=23410
574.46/574.70	c nbDecision=543000 #constraints=23414
574.86/575.17	c nbDecision=543500 #constraints=23418
575.26/575.51	c nbDecision=544000 #constraints=23421
576.66/576.99	c nbDecision=544500 #constraints=23437
576.86/577.16	c nbDecision=545000 #constraints=23439
577.56/577.80	c nbDecision=545500 #constraints=23451
577.86/578.14	c nbDecision=546000 #constraints=23454
578.56/578.88	c nbDecision=546500 #constraints=23462
579.66/579.90	c nbDecision=547000 #constraints=23474
580.26/580.51	c nbDecision=547500 #constraints=23479
581.96/582.27	c nbDecision=548000 #constraints=23500
583.16/583.40	c nbDecision=548500 #constraints=23512
585.15/585.49	c nbDecision=549000 #constraints=23540
586.06/586.34	c nbDecision=549500 #constraints=23550
586.55/586.83	c nbDecision=550000 #constraints=23554
587.25/587.60	c nbDecision=550500 #constraints=23568
588.16/588.50	c nbDecision=551000 #constraints=23578
588.35/588.65	c nbDecision=551500 #constraints=23578
589.65/589.94	c nbDecision=552000 #constraints=23594
591.05/591.32	c nbDecision=552500 #constraints=23613
591.56/591.84	c nbDecision=553000 #constraints=23617
591.85/592.15	c nbDecision=553500 #constraints=23620
592.35/592.65	c nbDecision=554000 #constraints=23639
592.65/592.95	c nbDecision=554500 #constraints=23647
593.15/593.45	c nbDecision=555000 #constraints=23660
594.35/594.66	c nbDecision=555500 #constraints=23676
596.25/596.55	c nbDecision=556000 #constraints=23701
597.55/597.81	c nbDecision=556500 #constraints=23715
600.35/600.60	c nbDecision=557000 #constraints=23753
600.64/600.95	c nbDecision=557500 #constraints=23756
602.14/602.42	c nbDecision=558000 #constraints=23774
602.24/602.59	c nbDecision=558500 #constraints=23776
602.74/603.02	c nbDecision=559000 #constraints=23782
603.94/604.26	c nbDecision=559500 #constraints=23796
604.65/604.96	c nbDecision=560000 #constraints=23804
605.54/605.85	c nbDecision=560500 #constraints=23832
605.84/606.18	c nbDecision=561000 #constraints=23841
606.84/607.13	c nbDecision=561500 #constraints=23863
607.24/607.55	c nbDecision=562000 #constraints=23867
608.54/608.84	c nbDecision=562500 #constraints=23882
611.14/611.44	c nbDecision=563000 #constraints=23917
611.34/611.68	c nbDecision=563500 #constraints=23919
612.14/612.47	c nbDecision=564000 #constraints=23928
612.64/612.99	c nbDecision=564500 #constraints=23933
614.44/614.70	c nbDecision=565000 #constraints=23957
615.04/615.38	c nbDecision=565500 #constraints=23964
615.64/615.96	c nbDecision=566000 #constraints=23970
615.93/616.29	c nbDecision=566500 #constraints=23984
616.34/616.68	c nbDecision=567000 #constraints=23989
617.04/617.38	c nbDecision=567500 #constraints=23996
618.04/618.39	c nbDecision=568000 #constraints=24013
619.05/619.30	c nbDecision=568500 #constraints=24026
619.54/619.80	c nbDecision=569000 #constraints=24039
623.34/623.61	c nbDecision=569500 #constraints=24098
625.14/625.42	c nbDecision=570000 #constraints=24129
626.94/627.28	c nbDecision=570500 #constraints=24151
627.74/628.00	c nbDecision=571000 #constraints=24159
628.14/628.46	c nbDecision=571500 #constraints=24163
628.84/629.12	c nbDecision=572000 #constraints=24167
629.74/630.01	c nbDecision=572500 #constraints=24173
630.44/630.79	c nbDecision=573000 #constraints=24179
630.64/630.92	c nbDecision=573500 #constraints=24179
631.04/631.31	c nbDecision=574000 #constraints=24182
631.34/631.66	c nbDecision=574500 #constraints=24185
632.24/632.58	c nbDecision=575000 #constraints=24195
633.84/634.15	c nbDecision=575500 #constraints=24214
634.54/634.86	c nbDecision=576000 #constraints=24221
635.14/635.47	c nbDecision=576500 #constraints=24227
635.54/635.88	c nbDecision=577000 #constraints=24231
636.04/636.31	c nbDecision=577500 #constraints=24234
636.54/636.89	c nbDecision=578000 #constraints=24251
637.54/637.89	c nbDecision=578500 #constraints=24264
637.94/638.25	c nbDecision=579000 #constraints=24275
638.24/638.55	c nbDecision=579500 #constraints=24290
638.33/638.68	c nbDecision=580000 #constraints=24293
638.63/638.93	c nbDecision=580500 #constraints=24303
638.93/639.22	c nbDecision=581000 #constraints=24310
639.33/639.67	c nbDecision=581500 #constraints=24317
639.84/640.13	c nbDecision=582000 #constraints=24329
640.03/640.39	c nbDecision=582500 #constraints=24339
640.23/640.54	c nbDecision=583000 #constraints=24343
640.73/641.04	c nbDecision=583500 #constraints=24348
642.23/642.57	c nbDecision=584000 #constraints=24365
643.63/643.92	c nbDecision=584500 #constraints=24382
643.93/644.23	c nbDecision=585000 #constraints=24384
644.73/645.06	c nbDecision=585500 #constraints=24392
645.44/645.79	c nbDecision=586000 #constraints=24413
646.23/646.51	c nbDecision=586500 #constraints=24437
646.63/646.94	c nbDecision=587000 #constraints=24444
647.03/647.38	c nbDecision=587500 #constraints=24462
647.54/647.81	c nbDecision=588000 #constraints=24472
647.93/648.26	c nbDecision=588500 #constraints=24484
648.53/648.84	c nbDecision=589000 #constraints=24495
648.83/649.16	c nbDecision=589500 #constraints=24505
649.13/649.44	c nbDecision=590000 #constraints=24508
650.83/651.20	c nbDecision=590500 #constraints=24548
651.43/651.79	c nbDecision=591000 #constraints=24561
651.63/652.00	c nbDecision=591500 #constraints=24562
651.83/652.11	c nbDecision=592000 #constraints=24562
653.63/653.95	c nbDecision=592500 #constraints=24594
653.83/654.10	c nbDecision=593000 #constraints=24595
654.03/654.33	c nbDecision=593500 #constraints=24596
654.13/654.44	c nbDecision=594000 #constraints=24596
655.53/655.88	c nbDecision=594500 #constraints=24615
656.43/656.74	c nbDecision=595000 #constraints=24624
656.72/657.02	c nbDecision=595500 #constraints=24626
656.82/657.16	c nbDecision=596000 #constraints=24627
656.92/657.27	c nbDecision=596500 #constraints=24627
658.22/658.55	c nbDecision=597000 #constraints=24648
658.42/658.77	c nbDecision=597500 #constraints=24651
659.22/659.57	c nbDecision=598000 #constraints=24672
659.52/659.82	c nbDecision=598500 #constraints=24677
659.82/660.13	c nbDecision=599000 #constraints=24689
659.92/660.25	c nbDecision=599500 #constraints=24692
660.02/660.39	c nbDecision=600000 #constraints=24696
660.22/660.56	c nbDecision=600500 #constraints=24698
660.52/660.83	c nbDecision=601000 #constraints=24700
660.72/661.05	c nbDecision=601500 #constraints=24701
660.82/661.18	c nbDecision=602000 #constraints=24702
660.92/661.29	c nbDecision=602500 #constraints=24702
661.12/661.42	c nbDecision=603000 #constraints=24703
661.22/661.55	c nbDecision=603500 #constraints=24704
661.32/661.68	c nbDecision=604000 #constraints=24705
661.52/661.81	c nbDecision=604500 #constraints=24706
661.62/661.92	c nbDecision=605000 #constraints=24706
661.72/662.08	c nbDecision=605500 #constraints=24710
661.92/662.25	c nbDecision=606000 #constraints=24716
662.02/662.36	c nbDecision=606500 #constraints=24716
662.12/662.48	c nbDecision=607000 #constraints=24717
662.32/662.61	c nbDecision=607500 #constraints=24718
662.42/662.72	c nbDecision=608000 #constraints=24718
662.52/662.84	c nbDecision=608500 #constraints=24719
662.62/662.97	c nbDecision=609000 #constraints=24720
662.72/663.08	c nbDecision=609500 #constraints=24720
663.62/663.92	c nbDecision=610000 #constraints=24724
663.92/664.24	c nbDecision=610500 #constraints=24725
664.72/665.09	c nbDecision=611000 #constraints=24737
665.32/665.61	c nbDecision=611500 #constraints=24743
666.52/666.80	c nbDecision=612000 #constraints=24756
667.12/667.44	c nbDecision=612500 #constraints=24763
668.32/668.64	c nbDecision=613000 #constraints=24776
669.52/669.81	c nbDecision=613500 #constraints=24787
670.81/671.15	c nbDecision=614000 #constraints=24800
672.82/673.16	c nbDecision=614500 #constraints=24818
673.51/673.86	c nbDecision=615000 #constraints=24824
674.91/675.27	c nbDecision=615500 #constraints=24836
675.51/675.88	c nbDecision=616000 #constraints=24844
676.41/676.79	c nbDecision=616500 #constraints=24855
677.01/677.32	c nbDecision=617000 #constraints=24860
678.51/678.83	c nbDecision=617500 #constraints=24873
679.51/679.85	c nbDecision=618000 #constraints=24884
680.21/680.58	c nbDecision=618500 #constraints=24892
681.41/681.74	c nbDecision=619000 #constraints=24903
682.31/682.63	c nbDecision=619500 #constraints=24910
683.81/684.14	c nbDecision=620000 #constraints=24923
684.01/684.30	c nbDecision=620500 #constraints=24925
684.61/684.99	c nbDecision=621000 #constraints=24937
684.91/685.25	c nbDecision=621500 #constraints=24945
685.11/685.47	c nbDecision=622000 #constraints=24954
685.21/685.59	c nbDecision=622500 #constraints=24955
685.41/685.72	c nbDecision=623000 #constraints=24957
686.01/686.30	c nbDecision=623500 #constraints=24962
686.31/686.69	c nbDecision=624000 #constraints=24965
687.21/687.57	c nbDecision=624500 #constraints=24971
687.51/687.82	c nbDecision=625000 #constraints=24978
688.70/689.03	c nbDecision=625500 #constraints=24989
689.80/690.11	c nbDecision=626000 #constraints=24995
689.90/690.27	c nbDecision=626500 #constraints=24997
690.30/690.61	c nbDecision=627000 #constraints=25004
691.30/691.67	c nbDecision=627500 #constraints=25013
692.00/692.35	c nbDecision=628000 #constraints=25021
692.61/692.95	c nbDecision=628500 #constraints=25037
693.90/694.25	c nbDecision=629000 #constraints=25051
694.40/694.77	c nbDecision=629500 #constraints=25056
695.50/695.80	c nbDecision=630000 #constraints=25067
696.50/696.81	c nbDecision=630500 #constraints=25081
698.00/698.34	c nbDecision=631000 #constraints=25093
698.30/698.67	c nbDecision=631500 #constraints=25096
699.50/699.88	c nbDecision=632000 #constraints=25109
700.10/700.50	c nbDecision=632500 #constraints=25133
700.40/700.77	c nbDecision=633000 #constraints=25140
702.10/702.43	c nbDecision=633500 #constraints=25158
704.11/704.49	c nbDecision=634000 #constraints=25181
704.91/705.29	c nbDecision=634500 #constraints=25191
706.51/706.85	c nbDecision=635000 #constraints=25207
706.81/707.13	c nbDecision=635500 #constraints=25209
708.60/708.98	c nbDecision=636000 #constraints=25231
709.50/709.83	c nbDecision=636500 #constraints=25237
709.90/710.22	c nbDecision=637000 #constraints=25249
710.70/711.02	c nbDecision=637500 #constraints=25258
711.10/711.43	c nbDecision=638000 #constraints=25268
711.70/712.02	c nbDecision=638500 #constraints=25277
712.00/712.35	c nbDecision=639000 #constraints=25286
712.90/713.28	c nbDecision=639500 #constraints=25298
713.20/713.56	c nbDecision=640000 #constraints=25306
713.60/713.94	c nbDecision=640500 #constraints=25314
715.10/715.43	c nbDecision=641000 #constraints=25326
716.70/717.06	c nbDecision=641500 #constraints=25341
718.00/718.38	c nbDecision=642000 #constraints=25352
718.70/719.03	c nbDecision=642500 #constraints=25357
719.30/719.68	c nbDecision=643000 #constraints=25363
720.60/720.92	c nbDecision=643500 #constraints=25373
721.90/722.23	c nbDecision=644000 #constraints=25385
722.30/722.64	c nbDecision=644500 #constraints=25389
722.80/723.19	c nbDecision=645000 #constraints=25408
723.40/723.75	c nbDecision=645500 #constraints=25427
723.70/724.01	c nbDecision=646000 #constraints=25434
723.99/724.33	c nbDecision=646500 #constraints=25442
724.50/724.86	c nbDecision=647000 #constraints=25466
725.29/725.66	c nbDecision=647500 #constraints=25494
725.79/726.12	c nbDecision=648000 #constraints=25503
726.09/726.40	c nbDecision=648500 #constraints=25508
726.39/726.75	c nbDecision=649000 #constraints=25511
726.70/727.01	c nbDecision=649500 #constraints=25518
726.80/727.13	c nbDecision=650000 #constraints=25521
727.59/727.95	c nbDecision=650500 #constraints=25527
728.09/728.46	c nbDecision=651000 #constraints=25531
729.09/729.48	c nbDecision=651500 #constraints=25540
729.79/730.14	c nbDecision=652000 #constraints=25544
730.49/730.89	c nbDecision=652500 #constraints=25550
732.09/732.41	c nbDecision=653000 #constraints=25561
732.79/733.10	c nbDecision=653500 #constraints=25565
732.99/733.34	c nbDecision=654000 #constraints=25566
733.29/733.61	c nbDecision=654500 #constraints=25567
734.09/734.46	c nbDecision=655000 #constraints=25577
734.59/734.97	c nbDecision=655500 #constraints=25581
735.09/735.46	c nbDecision=656000 #constraints=25590
735.39/735.77	c nbDecision=656500 #constraints=25600
735.69/736.00	c nbDecision=657000 #constraints=25603
735.99/736.33	c nbDecision=657500 #constraints=25618
736.69/737.01	c nbDecision=658000 #constraints=25629
736.88/737.21	c nbDecision=658500 #constraints=25632
737.08/737.43	c nbDecision=659000 #constraints=25638
737.18/737.55	c nbDecision=659500 #constraints=25639
737.69/738.03	c nbDecision=660000 #constraints=25644
738.18/738.58	c nbDecision=660500 #constraints=25649
738.79/739.14	c nbDecision=661000 #constraints=25654
739.28/739.62	c nbDecision=661500 #constraints=25664
739.58/739.90	c nbDecision=662000 #constraints=25671
739.88/740.23	c nbDecision=662500 #constraints=25674
741.28/741.65	c nbDecision=663000 #constraints=25687
741.38/741.79	c nbDecision=663500 #constraints=25687
742.18/742.58	c nbDecision=664000 #constraints=25692
742.78/743.12	c nbDecision=664500 #constraints=25712
742.88/743.26	c nbDecision=665000 #constraints=25716
743.58/743.95	c nbDecision=665500 #constraints=25729
744.08/744.44	c nbDecision=666000 #constraints=25737
744.38/744.75	c nbDecision=666500 #constraints=25750
744.69/745.09	c nbDecision=667000 #constraints=25762
744.89/745.25	c nbDecision=667500 #constraints=25764
745.18/745.51	c nbDecision=668000 #constraints=25768
745.78/746.13	c nbDecision=668500 #constraints=25790
746.08/746.49	c nbDecision=669000 #constraints=25795
746.78/747.11	c nbDecision=669500 #constraints=25800
746.88/747.23	c nbDecision=670000 #constraints=25800
747.38/747.70	c nbDecision=670500 #constraints=25813
747.59/747.94	c nbDecision=671000 #constraints=25822
748.08/748.43	c nbDecision=671500 #constraints=25836
748.18/748.54	c nbDecision=672000 #constraints=25836
748.98/749.33	c nbDecision=672500 #constraints=25856
749.38/749.75	c nbDecision=673000 #constraints=25859
749.79/750.18	c nbDecision=673500 #constraints=25868
750.08/750.41	c nbDecision=674000 #constraints=25869
750.18/750.52	c nbDecision=674500 #constraints=25869
750.38/750.74	c nbDecision=675000 #constraints=25870
750.58/750.94	c nbDecision=675500 #constraints=25871
750.78/751.19	c nbDecision=676000 #constraints=25877
751.58/751.97	c nbDecision=676500 #constraints=25894
751.78/752.19	c nbDecision=677000 #constraints=25899
752.09/752.42	c nbDecision=677500 #constraints=25907
752.88/753.28	c nbDecision=678000 #constraints=25912
753.19/753.53	c nbDecision=678500 #constraints=25914
753.38/753.72	c nbDecision=679000 #constraints=25915
753.58/753.90	c nbDecision=679500 #constraints=25916
753.68/754.09	c nbDecision=680000 #constraints=25917
753.88/754.28	c nbDecision=680500 #constraints=25918
754.08/754.48	c nbDecision=681000 #constraints=25919
754.38/754.76	c nbDecision=681500 #constraints=25921
754.48/754.88	c nbDecision=682000 #constraints=25921
755.98/756.37	c nbDecision=682500 #constraints=25938
756.28/756.64	c nbDecision=683000 #constraints=25940
756.68/757.00	c nbDecision=683500 #constraints=25943
756.98/757.33	c nbDecision=684000 #constraints=25945
757.18/757.52	c nbDecision=684500 #constraints=25946
757.58/757.91	c nbDecision=685000 #constraints=25948
757.78/758.17	c nbDecision=685500 #constraints=25949
757.98/758.37	c nbDecision=686000 #constraints=25950
758.28/758.66	c nbDecision=686500 #constraints=25952
758.48/758.86	c nbDecision=687000 #constraints=25953
758.68/759.06	c nbDecision=687500 #constraints=25954
758.88/759.27	c nbDecision=688000 #constraints=25955
759.08/759.47	c nbDecision=688500 #constraints=25956
759.28/759.69	c nbDecision=689000 #constraints=25957
759.58/759.90	c nbDecision=689500 #constraints=25958
759.68/760.09	c nbDecision=690000 #constraints=25959
759.98/760.30	c nbDecision=690500 #constraints=25960
760.18/760.50	c nbDecision=691000 #constraints=25961
760.28/760.62	c nbDecision=691500 #constraints=25961
760.48/760.81	c nbDecision=692000 #constraints=25962
760.68/761.01	c nbDecision=692500 #constraints=25963
760.88/761.21	c nbDecision=693000 #constraints=25964
761.08/761.42	c nbDecision=693500 #constraints=25965
761.28/761.62	c nbDecision=694000 #constraints=25966
761.38/761.73	c nbDecision=694500 #constraints=25966
761.58/761.93	c nbDecision=695000 #constraints=25967
762.58/762.99	c nbDecision=695500 #constraints=25972
762.78/763.18	c nbDecision=696000 #constraints=25973
763.08/763.44	c nbDecision=696500 #constraints=25975
763.27/763.63	c nbDecision=697000 #constraints=25976
763.47/763.81	c nbDecision=697500 #constraints=25977
763.67/764.00	c nbDecision=698000 #constraints=25978
764.08/764.44	c nbDecision=698500 #constraints=25982
766.28/766.69	c nbDecision=699000 #constraints=26011
766.97/767.33	c nbDecision=699500 #constraints=26017
767.38/767.74	c nbDecision=700000 #constraints=26020
767.57/767.95	c nbDecision=700500 #constraints=26021
767.77/768.15	c nbDecision=701000 #constraints=26022
767.97/768.35	c nbDecision=701500 #constraints=26023
768.77/769.13	c nbDecision=702000 #constraints=26031
768.97/769.33	c nbDecision=702500 #constraints=26033
769.07/769.45	c nbDecision=703000 #constraints=26033
769.27/769.64	c nbDecision=703500 #constraints=26034
769.57/769.93	c nbDecision=704000 #constraints=26046
769.67/770.07	c nbDecision=704500 #constraints=26050
769.97/770.31	c nbDecision=705000 #constraints=26066
770.07/770.44	c nbDecision=705500 #constraints=26069
770.77/771.16	c nbDecision=706000 #constraints=26081
771.17/771.58	c nbDecision=706500 #constraints=26082
771.37/771.79	c nbDecision=707000 #constraints=26083
771.67/772.00	c nbDecision=707500 #constraints=26084
771.97/772.31	c nbDecision=708000 #constraints=26086
772.37/772.76	c nbDecision=708500 #constraints=26089
773.37/773.78	c nbDecision=709000 #constraints=26095
773.87/774.22	c nbDecision=709500 #constraints=26097
774.87/775.29	c nbDecision=710000 #constraints=26104
775.17/775.52	c nbDecision=710500 #constraints=26105
775.36/775.73	c nbDecision=711000 #constraints=26106
775.56/775.96	c nbDecision=711500 #constraints=26107
776.06/776.48	c nbDecision=712000 #constraints=26110
776.17/776.60	c nbDecision=712500 #constraints=26110
776.46/776.82	c nbDecision=713000 #constraints=26111
776.76/777.14	c nbDecision=713500 #constraints=26112
776.96/777.33	c nbDecision=714000 #constraints=26113
777.16/777.52	c nbDecision=714500 #constraints=26114
777.27/777.63	c nbDecision=715000 #constraints=26114
777.46/777.82	c nbDecision=715500 #constraints=26115
777.86/778.24	c nbDecision=716000 #constraints=26131
778.06/778.44	c nbDecision=716500 #constraints=26132
778.16/778.55	c nbDecision=717000 #constraints=26132
778.37/778.74	c nbDecision=717500 #constraints=26133
778.56/778.94	c nbDecision=718000 #constraints=26134
778.76/779.17	c nbDecision=718500 #constraints=26135
778.96/779.35	c nbDecision=719000 #constraints=26136
779.06/779.46	c nbDecision=719500 #constraints=26136
779.26/779.63	c nbDecision=720000 #constraints=26137
779.36/779.79	c nbDecision=720500 #constraints=26138
779.57/779.97	c nbDecision=721000 #constraints=26139
779.76/780.14	c nbDecision=721500 #constraints=26140
779.96/780.31	c nbDecision=722000 #constraints=26141
780.06/780.43	c nbDecision=722500 #constraints=26141
780.16/780.60	c nbDecision=723000 #constraints=26142
780.36/780.77	c nbDecision=723500 #constraints=26143
780.56/780.94	c nbDecision=724000 #constraints=26144
780.76/781.11	c nbDecision=724500 #constraints=26145
780.86/781.22	c nbDecision=725000 #constraints=26145
780.96/781.39	c nbDecision=725500 #constraints=26146
781.16/781.56	c nbDecision=726000 #constraints=26147
781.26/781.68	c nbDecision=726500 #constraints=26147
782.46/782.90	c nbDecision=727000 #constraints=26152
782.96/783.32	c nbDecision=727500 #constraints=26155
784.36/784.73	c nbDecision=728000 #constraints=26170
784.96/785.32	c nbDecision=728500 #constraints=26177
786.46/786.85	c nbDecision=729000 #constraints=26199
787.06/787.48	c nbDecision=729500 #constraints=26209
788.95/789.32	c nbDecision=730000 #constraints=26231
791.45/791.84	c nbDecision=730500 #constraints=26262
792.55/792.96	c nbDecision=731000 #constraints=26274
794.65/795.07	c nbDecision=731500 #constraints=26296
795.85/796.20	c nbDecision=732000 #constraints=26308
797.85/798.26	c nbDecision=732500 #constraints=26331
799.45/799.85	c nbDecision=733000 #constraints=26344
801.05/801.40	c nbDecision=733500 #constraints=26357
802.55/802.91	c nbDecision=734000 #constraints=26370
803.25/803.67	c nbDecision=734500 #constraints=26376
804.24/804.68	c nbDecision=735000 #constraints=26384
805.34/805.79	c nbDecision=735500 #constraints=26393
805.85/806.24	c nbDecision=736000 #constraints=26396
806.24/806.63	c nbDecision=736500 #constraints=26399
807.54/807.95	c nbDecision=737000 #constraints=26413
807.84/808.29	c nbDecision=737500 #constraints=26416
808.15/808.55	c nbDecision=738000 #constraints=26418
808.54/808.90	c nbDecision=738500 #constraints=26421
809.15/809.57	c nbDecision=739000 #constraints=26427
809.54/809.91	c nbDecision=739500 #constraints=26430
809.84/810.27	c nbDecision=740000 #constraints=26433
810.15/810.55	c nbDecision=740500 #constraints=26435
810.75/811.19	c nbDecision=741000 #constraints=26442
812.15/812.52	c nbDecision=741500 #constraints=26455
813.15/813.55	c nbDecision=742000 #constraints=26463
814.45/814.80	c nbDecision=742500 #constraints=26473
815.35/815.70	c nbDecision=743000 #constraints=26480
815.85/816.25	c nbDecision=743500 #constraints=26484
816.24/816.60	c nbDecision=744000 #constraints=26486
816.54/816.93	c nbDecision=744500 #constraints=26488
816.74/817.15	c nbDecision=745000 #constraints=26489
816.95/817.38	c nbDecision=745500 #constraints=26490
817.24/817.60	c nbDecision=746000 #constraints=26491
817.34/817.71	c nbDecision=746500 #constraints=26491
817.54/817.97	c nbDecision=747000 #constraints=26492
818.14/818.51	c nbDecision=747500 #constraints=26508
818.24/818.68	c nbDecision=748000 #constraints=26509
818.44/818.80	c nbDecision=748500 #constraints=26509
818.84/819.22	c nbDecision=749000 #constraints=26519
818.94/819.39	c nbDecision=749500 #constraints=26520
819.15/819.57	c nbDecision=750000 #constraints=26521
819.24/819.68	c nbDecision=750500 #constraints=26521
819.44/819.86	c nbDecision=751000 #constraints=26522
819.64/820.04	c nbDecision=751500 #constraints=26523
819.84/820.22	c nbDecision=752000 #constraints=26524
819.94/820.40	c nbDecision=752500 #constraints=26525
820.15/820.57	c nbDecision=753000 #constraints=26526
820.25/820.68	c nbDecision=753500 #constraints=26526
820.44/820.85	c nbDecision=754000 #constraints=26527
820.64/821.02	c nbDecision=754500 #constraints=26528
820.74/821.19	c nbDecision=755000 #constraints=26529
820.94/821.36	c nbDecision=755500 #constraints=26530
821.04/821.47	c nbDecision=756000 #constraints=26530
821.25/821.64	c nbDecision=756500 #constraints=26531
821.44/821.81	c nbDecision=757000 #constraints=26532
821.54/821.98	c nbDecision=757500 #constraints=26533
821.94/822.35	c nbDecision=758000 #constraints=26535
822.14/822.53	c nbDecision=758500 #constraints=26535
823.74/824.19	c nbDecision=759000 #constraints=26547
824.84/825.28	c nbDecision=759500 #constraints=26555
826.24/826.66	c nbDecision=760000 #constraints=26565
828.14/828.58	c nbDecision=760500 #constraints=26579
828.74/829.12	c nbDecision=761000 #constraints=26583
830.14/830.58	c nbDecision=761500 #constraints=26594
832.14/832.56	c nbDecision=762000 #constraints=26609
832.94/833.38	c nbDecision=762500 #constraints=26615
833.54/833.91	c nbDecision=763000 #constraints=26617
833.64/834.08	c nbDecision=763500 #constraints=26617
835.04/835.42	c nbDecision=764000 #constraints=26627
836.53/836.97	c nbDecision=764500 #constraints=26639
837.93/838.31	c nbDecision=765000 #constraints=26649
838.84/839.20	c nbDecision=765500 #constraints=26655
840.23/840.68	c nbDecision=766000 #constraints=26666
841.73/842.12	c nbDecision=766500 #constraints=26677
842.43/842.83	c nbDecision=767000 #constraints=26682
842.53/842.99	c nbDecision=767500 #constraints=26682
844.23/844.61	c nbDecision=768000 #constraints=26694
845.23/845.67	c nbDecision=768500 #constraints=26702
846.23/846.61	c nbDecision=769000 #constraints=26709
846.43/846.84	c nbDecision=769500 #constraints=26710
846.83/847.23	c nbDecision=770000 #constraints=26712
847.73/848.16	c nbDecision=770500 #constraints=26719
847.93/848.31	c nbDecision=771000 #constraints=26719
848.83/849.20	c nbDecision=771500 #constraints=26726
849.43/849.85	c nbDecision=772000 #constraints=26732
850.03/850.45	c nbDecision=772500 #constraints=26737
850.53/850.96	c nbDecision=773000 #constraints=26741
851.33/851.78	c nbDecision=773500 #constraints=26747
851.73/852.17	c nbDecision=774000 #constraints=26750
852.13/852.57	c nbDecision=774500 #constraints=26753
852.73/853.11	c nbDecision=775000 #constraints=26757
853.03/853.41	c nbDecision=775500 #constraints=26759
853.43/853.81	c nbDecision=776000 #constraints=26762
853.82/854.20	c nbDecision=776500 #constraints=26764
854.62/855.00	c nbDecision=777000 #constraints=26770
854.92/855.33	c nbDecision=777500 #constraints=26773
855.92/856.31	c nbDecision=778000 #constraints=26783
856.22/856.61	c nbDecision=778500 #constraints=26785
856.53/856.98	c nbDecision=779000 #constraints=26787
857.02/857.47	c nbDecision=779500 #constraints=26790
857.42/857.86	c nbDecision=780000 #constraints=26792
857.92/858.36	c nbDecision=780500 #constraints=26804
858.22/858.61	c nbDecision=781000 #constraints=26808
858.52/858.99	c nbDecision=781500 #constraints=26811
858.82/859.29	c nbDecision=782000 #constraints=26813
859.32/859.73	c nbDecision=782500 #constraints=26816
860.42/860.84	c nbDecision=783000 #constraints=26829
860.83/861.21	c nbDecision=783500 #constraints=26832
861.02/861.41	c nbDecision=784000 #constraints=26833
861.22/861.61	c nbDecision=784500 #constraints=26834
861.42/861.81	c nbDecision=785000 #constraints=26835
861.52/861.92	c nbDecision=785500 #constraints=26835
861.72/862.12	c nbDecision=786000 #constraints=26836
861.93/862.32	c nbDecision=786500 #constraints=26837
862.12/862.52	c nbDecision=787000 #constraints=26838
862.32/862.73	c nbDecision=787500 #constraints=26839
862.42/862.84	c nbDecision=788000 #constraints=26839
862.62/863.05	c nbDecision=788500 #constraints=26840
863.82/864.26	c nbDecision=789000 #constraints=26845
864.92/865.31	c nbDecision=789500 #constraints=26849
865.32/865.80	c nbDecision=790000 #constraints=26852
866.52/866.96	c nbDecision=790500 #constraints=26865
867.12/867.51	c nbDecision=791000 #constraints=26872
868.12/868.50	c nbDecision=791500 #constraints=26882
868.92/869.32	c nbDecision=792000 #constraints=26895
869.32/869.73	c nbDecision=792500 #constraints=26898
869.62/870.06	c nbDecision=793000 #constraints=26901
870.82/871.30	c nbDecision=793500 #constraints=26911
871.71/872.13	c nbDecision=794000 #constraints=26919
872.81/873.25	c nbDecision=794500 #constraints=26928
873.61/874.03	c nbDecision=795000 #constraints=26934
874.71/875.19	c nbDecision=795500 #constraints=26943
876.61/877.03	c nbDecision=796000 #constraints=26958
879.31/879.75	c nbDecision=796500 #constraints=26997
879.71/880.14	c nbDecision=797000 #constraints=27000
881.01/881.42	c nbDecision=797500 #constraints=27013
881.81/882.21	c nbDecision=798000 #constraints=27019
882.51/882.99	c nbDecision=798500 #constraints=27026
882.91/883.36	c nbDecision=799000 #constraints=27029
884.31/884.76	c nbDecision=799500 #constraints=27043
885.21/885.68	c nbDecision=800000 #constraints=27051
886.01/886.44	c nbDecision=800500 #constraints=27059
887.01/887.46	c nbDecision=801000 #constraints=27067
888.51/888.95	c nbDecision=801500 #constraints=27079
889.61/890.00	c nbDecision=802000 #constraints=27089
890.21/890.65	c nbDecision=802500 #constraints=27098
891.71/892.13	c nbDecision=803000 #constraints=27111
892.11/892.52	c nbDecision=803500 #constraints=27114
892.41/892.83	c nbDecision=804000 #constraints=27116
893.41/893.81	c nbDecision=804500 #constraints=27124
893.92/894.38	c nbDecision=805000 #constraints=27129
894.31/894.79	c nbDecision=805500 #constraints=27132
895.11/895.59	c nbDecision=806000 #constraints=27140
895.41/895.89	c nbDecision=806500 #constraints=27142
896.41/896.83	c nbDecision=807000 #constraints=27149
897.12/897.55	c nbDecision=807500 #constraints=27155
898.41/898.80	c nbDecision=808000 #constraints=27167
899.11/899.56	c nbDecision=808500 #constraints=27174
899.51/899.95	c nbDecision=809000 #constraints=27177
901.21/901.64	c nbDecision=809500 #constraints=27189
902.01/902.41	c nbDecision=810000 #constraints=27195
903.01/903.45	c nbDecision=810500 #constraints=27204
904.61/905.08	c nbDecision=811000 #constraints=27216
905.41/905.89	c nbDecision=811500 #constraints=27222
905.81/906.25	c nbDecision=812000 #constraints=27224
908.31/908.74	c nbDecision=812500 #constraints=27245
908.81/909.25	c nbDecision=813000 #constraints=27249
910.61/911.00	c nbDecision=813500 #constraints=27262
911.21/911.66	c nbDecision=814000 #constraints=27267
912.31/912.77	c nbDecision=814500 #constraints=27274
914.20/914.70	c nbDecision=815000 #constraints=27287
915.50/915.97	c nbDecision=815500 #constraints=27297
916.20/916.64	c nbDecision=816000 #constraints=27303
917.10/917.58	c nbDecision=816500 #constraints=27309
917.50/917.99	c nbDecision=817000 #constraints=27312
917.90/918.30	c nbDecision=817500 #constraints=27314
918.80/919.21	c nbDecision=818000 #constraints=27321
919.21/919.62	c nbDecision=818500 #constraints=27324
919.90/920.38	c nbDecision=819000 #constraints=27330
920.00/920.43	c restart after 819201 decisions
920.21/920.67	c nbDecision=819500 #constraints=27330
920.40/920.86	c nbDecision=820000 #constraints=27330
920.60/921.01	c nbDecision=820500 #constraints=27330
920.80/921.24	c nbDecision=821000 #constraints=27331
921.20/921.66	c nbDecision=821500 #constraints=27334
921.90/922.38	c nbDecision=822000 #constraints=27339
923.30/923.75	c nbDecision=822500 #constraints=27349
923.60/924.08	c nbDecision=823000 #constraints=27351
924.10/924.56	c nbDecision=823500 #constraints=27355
925.30/925.73	c nbDecision=824000 #constraints=27365
925.70/926.12	c nbDecision=824500 #constraints=27368
926.60/927.00	c nbDecision=825000 #constraints=27376
926.90/927.34	c nbDecision=825500 #constraints=27378
927.70/928.12	c nbDecision=826000 #constraints=27386
929.10/929.56	c nbDecision=826500 #constraints=27400
929.59/930.04	c nbDecision=827000 #constraints=27403
930.59/931.09	c nbDecision=827500 #constraints=27411
930.79/931.24	c nbDecision=828000 #constraints=27411
931.30/931.71	c nbDecision=828500 #constraints=27416
932.89/933.37	c nbDecision=829000 #constraints=27432
933.50/933.97	c nbDecision=829500 #constraints=27435
934.09/934.55	c nbDecision=830000 #constraints=27438
934.60/935.03	c nbDecision=830500 #constraints=27441
934.89/935.39	c nbDecision=831000 #constraints=27444
935.29/935.76	c nbDecision=831500 #constraints=27447
936.09/936.55	c nbDecision=832000 #constraints=27455
936.59/937.04	c nbDecision=832500 #constraints=27458
937.19/937.63	c nbDecision=833000 #constraints=27477
937.39/937.82	c nbDecision=833500 #constraints=27478
937.79/938.25	c nbDecision=834000 #constraints=27482
938.19/938.62	c nbDecision=834500 #constraints=27484
939.29/939.75	c nbDecision=835000 #constraints=27493
939.49/939.95	c nbDecision=835500 #constraints=27494
939.69/940.19	c nbDecision=836000 #constraints=27495
939.89/940.30	c nbDecision=836500 #constraints=27495
940.09/940.50	c nbDecision=837000 #constraints=27496
940.29/940.70	c nbDecision=837500 #constraints=27497
940.49/940.91	c nbDecision=838000 #constraints=27498
941.09/941.52	c nbDecision=838500 #constraints=27507
941.29/941.76	c nbDecision=839000 #constraints=27515
941.49/941.97	c nbDecision=839500 #constraints=27516
941.69/942.18	c nbDecision=840000 #constraints=27517
941.79/942.29	c nbDecision=840500 #constraints=27517
942.29/942.72	c nbDecision=841000 #constraints=27518
942.49/942.94	c nbDecision=841500 #constraints=27522
942.59/943.05	c nbDecision=842000 #constraints=27522
942.79/943.22	c nbDecision=842500 #constraints=27523
942.89/943.39	c nbDecision=843000 #constraints=27524
943.09/943.56	c nbDecision=843500 #constraints=27525
943.29/943.74	c nbDecision=844000 #constraints=27526
943.39/943.85	c nbDecision=844500 #constraints=27526
943.79/944.26	c nbDecision=845000 #constraints=27529
943.99/944.43	c nbDecision=845500 #constraints=27530
944.19/944.60	c nbDecision=846000 #constraints=27531
944.39/944.83	c nbDecision=846500 #constraints=27533
944.59/945.00	c nbDecision=847000 #constraints=27534
944.69/945.18	c nbDecision=847500 #constraints=27535
944.89/945.35	c nbDecision=848000 #constraints=27536
945.09/945.53	c nbDecision=848500 #constraints=27537
945.29/945.71	c nbDecision=849000 #constraints=27538
945.49/945.90	c nbDecision=849500 #constraints=27539
945.59/946.08	c nbDecision=850000 #constraints=27540
945.79/946.25	c nbDecision=850500 #constraints=27541
945.98/946.42	c nbDecision=851000 #constraints=27542
946.08/946.60	c nbDecision=851500 #constraints=27543
946.28/946.71	c nbDecision=852000 #constraints=27543
946.38/946.88	c nbDecision=852500 #constraints=27544
946.59/947.06	c nbDecision=853000 #constraints=27545
946.79/947.23	c nbDecision=853500 #constraints=27546
946.99/947.41	c nbDecision=854000 #constraints=27547
947.09/947.58	c nbDecision=854500 #constraints=27548
947.18/947.69	c nbDecision=855000 #constraints=27548
947.38/947.87	c nbDecision=855500 #constraints=27549
947.58/948.05	c nbDecision=856000 #constraints=27550
947.79/948.22	c nbDecision=856500 #constraints=27551
947.88/948.39	c nbDecision=857000 #constraints=27552
948.08/948.50	c nbDecision=857500 #constraints=27552
948.18/948.67	c nbDecision=858000 #constraints=27553
948.38/948.84	c nbDecision=858500 #constraints=27554
948.58/949.01	c nbDecision=859000 #constraints=27555
948.68/949.18	c nbDecision=859500 #constraints=27556
948.89/949.35	c nbDecision=860000 #constraints=27557
948.98/949.47	c nbDecision=860500 #constraints=27557
949.18/949.63	c nbDecision=861000 #constraints=27558
949.58/950.02	c nbDecision=861500 #constraints=27559
950.38/950.84	c nbDecision=862000 #constraints=27563
951.18/951.70	c nbDecision=862500 #constraints=27568
951.38/951.87	c nbDecision=863000 #constraints=27569
951.58/952.04	c nbDecision=863500 #constraints=27570
951.78/952.21	c nbDecision=864000 #constraints=27571
951.88/952.39	c nbDecision=864500 #constraints=27572
952.09/952.57	c nbDecision=865000 #constraints=27573
952.38/952.82	c nbDecision=865500 #constraints=27575
952.48/952.99	c nbDecision=866000 #constraints=27576
952.68/953.18	c nbDecision=866500 #constraints=27577
952.88/953.35	c nbDecision=867000 #constraints=27578
952.98/953.46	c nbDecision=867500 #constraints=27578
953.48/953.96	c nbDecision=868000 #constraints=27597
953.68/954.14	c nbDecision=868500 #constraints=27598
953.88/954.32	c nbDecision=869000 #constraints=27599
953.98/954.43	c nbDecision=869500 #constraints=27599
954.18/954.61	c nbDecision=870000 #constraints=27600
954.28/954.79	c nbDecision=870500 #constraints=27601
954.48/954.98	c nbDecision=871000 #constraints=27602
954.68/955.16	c nbDecision=871500 #constraints=27603
954.78/955.28	c nbDecision=872000 #constraints=27603
954.98/955.46	c nbDecision=872500 #constraints=27604
955.18/955.64	c nbDecision=873000 #constraints=27605
955.38/955.81	c nbDecision=873500 #constraints=27606
955.48/955.99	c nbDecision=874000 #constraints=27607
955.68/956.10	c nbDecision=874500 #constraints=27607
955.78/956.29	c nbDecision=875000 #constraints=27608
955.98/956.46	c nbDecision=875500 #constraints=27609
956.18/956.63	c nbDecision=876000 #constraints=27610
956.38/956.81	c nbDecision=876500 #constraints=27611
956.48/956.92	c nbDecision=877000 #constraints=27611
956.58/957.09	c nbDecision=877500 #constraints=27612
956.78/957.26	c nbDecision=878000 #constraints=27613
956.98/957.43	c nbDecision=878500 #constraints=27614
957.08/957.55	c nbDecision=879000 #constraints=27614
957.78/958.26	c nbDecision=879500 #constraints=27617
958.08/958.55	c nbDecision=880000 #constraints=27618
958.78/959.21	c nbDecision=880500 #constraints=27623
959.07/959.50	c nbDecision=881000 #constraints=27625
959.27/959.70	c nbDecision=881500 #constraints=27626
959.47/959.93	c nbDecision=882000 #constraints=27628
959.67/960.10	c nbDecision=882500 #constraints=27629
959.78/960.27	c nbDecision=883000 #constraints=27630
959.97/960.44	c nbDecision=883500 #constraints=27631
960.17/960.62	c nbDecision=884000 #constraints=27632
960.37/960.87	c nbDecision=884500 #constraints=27634
960.57/961.05	c nbDecision=885000 #constraints=27635
960.77/961.24	c nbDecision=885500 #constraints=27636
960.98/961.41	c nbDecision=886000 #constraints=27637
961.07/961.52	c nbDecision=886500 #constraints=27637
961.98/962.43	c nbDecision=887000 #constraints=27641
963.27/963.77	c nbDecision=887500 #constraints=27654
963.97/964.45	c nbDecision=888000 #constraints=27663
964.28/964.77	c nbDecision=888500 #constraints=27667
964.97/965.46	c nbDecision=889000 #constraints=27673
965.77/966.28	c nbDecision=889500 #constraints=27680
966.07/966.55	c nbDecision=890000 #constraints=27681
966.27/966.72	c nbDecision=890500 #constraints=27682
966.38/966.88	c nbDecision=891000 #constraints=27683
966.57/967.05	c nbDecision=891500 #constraints=27684
966.77/967.22	c nbDecision=892000 #constraints=27685
966.97/967.40	c nbDecision=892500 #constraints=27686
967.17/967.64	c nbDecision=893000 #constraints=27688
967.37/967.83	c nbDecision=893500 #constraints=27689
967.57/968.01	c nbDecision=894000 #constraints=27690
967.77/968.20	c nbDecision=894500 #constraints=27691
968.07/968.57	c nbDecision=895000 #constraints=27693
968.47/968.91	c nbDecision=895500 #constraints=27696
969.07/969.55	c nbDecision=896000 #constraints=27706
969.77/970.25	c nbDecision=896500 #constraints=27716
970.57/971.03	c nbDecision=897000 #constraints=27725
971.17/971.68	c nbDecision=897500 #constraints=27734
972.07/972.51	c nbDecision=898000 #constraints=27745
972.57/973.03	c nbDecision=898500 #constraints=27753
973.17/973.68	c nbDecision=899000 #constraints=27763
973.87/974.36	c nbDecision=899500 #constraints=27774
974.67/975.10	c nbDecision=900000 #constraints=27782
975.37/975.85	c nbDecision=900500 #constraints=27787
976.57/977.04	c nbDecision=901000 #constraints=27800
977.77/978.23	c nbDecision=901500 #constraints=27814
978.77/979.20	c nbDecision=902000 #constraints=27825
979.17/979.61	c nbDecision=902500 #constraints=27829
979.47/979.94	c nbDecision=903000 #constraints=27833
979.87/980.34	c nbDecision=903500 #constraints=27835
980.27/980.74	c nbDecision=904000 #constraints=27838
981.37/981.82	c nbDecision=904500 #constraints=27851
982.37/982.88	c nbDecision=905000 #constraints=27863
983.47/983.90	c nbDecision=905500 #constraints=27868
983.97/984.43	c nbDecision=906000 #constraints=27875
984.57/985.09	c nbDecision=906500 #constraints=27884
985.27/985.72	c nbDecision=907000 #constraints=27891
985.97/986.48	c nbDecision=907500 #constraints=27898
987.77/988.24	c nbDecision=908000 #constraints=27913
989.17/989.69	c nbDecision=908500 #constraints=27922
989.57/990.07	c nbDecision=909000 #constraints=27923
990.17/990.68	c nbDecision=909500 #constraints=27927
990.97/991.43	c nbDecision=910000 #constraints=27937
992.97/993.42	c nbDecision=910500 #constraints=27956
993.07/993.59	c nbDecision=911000 #constraints=27956
993.47/993.96	c nbDecision=911500 #constraints=27959
995.07/995.58	c nbDecision=912000 #constraints=27979
996.17/996.69	c nbDecision=912500 #constraints=27990
996.96/997.44	c nbDecision=913000 #constraints=27997
997.66/998.11	c nbDecision=913500 #constraints=28004
998.86/999.39	c nbDecision=914000 #constraints=28019
999.86/1000.39	c nbDecision=914500 #constraints=28028
1000.76/1001.29	c nbDecision=915000 #constraints=28037
1002.06/1002.50	c nbDecision=915500 #constraints=28050
1002.76/1003.28	c nbDecision=916000 #constraints=28057
1003.96/1004.45	c nbDecision=916500 #constraints=28068
1004.86/1005.35	c nbDecision=917000 #constraints=28077
1006.06/1006.56	c nbDecision=917500 #constraints=28089
1007.16/1007.69	c nbDecision=918000 #constraints=28102
1007.95/1008.46	c nbDecision=918500 #constraints=28111
1009.15/1009.70	c nbDecision=919000 #constraints=28124
1010.45/1010.93	c nbDecision=919500 #constraints=28136
1011.35/1011.84	c nbDecision=920000 #constraints=28144
1012.15/1012.60	c nbDecision=920500 #constraints=28150
1012.85/1013.39	c nbDecision=921000 #constraints=28158
1014.25/1014.77	c nbDecision=921500 #constraints=28171
1015.25/1015.78	c nbDecision=922000 #constraints=28180
1016.35/1016.89	c nbDecision=922500 #constraints=28191
1017.35/1017.80	c nbDecision=923000 #constraints=28199
1018.55/1019.02	c nbDecision=923500 #constraints=28211
1019.25/1019.72	c nbDecision=924000 #constraints=28218
1019.95/1020.40	c nbDecision=924500 #constraints=28224
1020.55/1021.05	c nbDecision=925000 #constraints=28230
1021.05/1021.59	c nbDecision=925500 #constraints=28234
1022.35/1022.85	c nbDecision=926000 #constraints=28244
1024.45/1024.95	c nbDecision=926500 #constraints=28262
1025.35/1025.84	c nbDecision=927000 #constraints=28268
1026.86/1027.37	c nbDecision=927500 #constraints=28280
1027.96/1028.43	c nbDecision=928000 #constraints=28287
1029.05/1029.54	c nbDecision=928500 #constraints=28293
1029.65/1030.17	c nbDecision=929000 #constraints=28298
1031.05/1031.56	c nbDecision=929500 #constraints=28308
1031.75/1032.23	c nbDecision=930000 #constraints=28312
1032.55/1033.05	c nbDecision=930500 #constraints=28318
1033.85/1034.39	c nbDecision=931000 #constraints=28328
1034.65/1035.10	c nbDecision=931500 #constraints=28333
1036.05/1036.59	c nbDecision=932000 #constraints=28341
1036.45/1036.97	c nbDecision=932500 #constraints=28343
1038.35/1038.87	c nbDecision=933000 #constraints=28353
1039.84/1040.33	c nbDecision=933500 #constraints=28360
1040.54/1041.03	c nbDecision=934000 #constraints=28367
1041.44/1041.93	c nbDecision=934500 #constraints=28378
1042.14/1042.69	c nbDecision=935000 #constraints=28386
1042.94/1043.45	c nbDecision=935500 #constraints=28392
1043.64/1044.15	c nbDecision=936000 #constraints=28397
1044.34/1044.84	c nbDecision=936500 #constraints=28403
1044.74/1045.20	c nbDecision=937000 #constraints=28407
1045.24/1045.79	c nbDecision=937500 #constraints=28411
1045.84/1046.35	c nbDecision=938000 #constraints=28416
1047.04/1047.59	c nbDecision=938500 #constraints=28433
1047.54/1048.02	c nbDecision=939000 #constraints=28440
1048.04/1048.58	c nbDecision=939500 #constraints=28447
1048.74/1049.28	c nbDecision=940000 #constraints=28457
1050.34/1050.88	c nbDecision=940500 #constraints=28469
1051.64/1052.15	c nbDecision=941000 #constraints=28477
1052.14/1052.68	c nbDecision=941500 #constraints=28481
1054.34/1054.88	c nbDecision=942000 #constraints=28494
1056.74/1057.20	c nbDecision=942500 #constraints=28507
1057.54/1058.02	c nbDecision=943000 #constraints=28517
1058.14/1058.65	c nbDecision=943500 #constraints=28526
1058.74/1059.27	c nbDecision=944000 #constraints=28535
1060.73/1061.21	c nbDecision=944500 #constraints=28553
1063.14/1063.65	c nbDecision=945000 #constraints=28565
1065.53/1066.03	c nbDecision=945500 #constraints=28583
1066.03/1066.54	c nbDecision=946000 #constraints=28590
1066.53/1067.08	c nbDecision=946500 #constraints=28598
1067.33/1067.82	c nbDecision=947000 #constraints=28607
1068.03/1068.50	c nbDecision=947500 #constraints=28618
1068.83/1069.35	c nbDecision=948000 #constraints=28628
1069.33/1069.84	c nbDecision=948500 #constraints=28633
1069.73/1070.20	c nbDecision=949000 #constraints=28638
1070.33/1070.90	c nbDecision=949500 #constraints=28646
1070.83/1071.36	c nbDecision=950000 #constraints=28652
1071.23/1071.79	c nbDecision=950500 #constraints=28657
1071.83/1072.39	c nbDecision=951000 #constraints=28661
1073.43/1073.94	c nbDecision=951500 #constraints=28670
1076.33/1076.81	c nbDecision=952000 #constraints=28684
1078.22/1078.80	c nbDecision=952500 #constraints=28693
1080.12/1080.65	c nbDecision=953000 #constraints=28702
1080.83/1081.33	c nbDecision=953500 #constraints=28705
1081.83/1082.36	c nbDecision=954000 #constraints=28714
1083.13/1083.66	c nbDecision=954500 #constraints=28726
1084.33/1084.86	c nbDecision=955000 #constraints=28738
1085.43/1085.90	c nbDecision=955500 #constraints=28750
1085.93/1086.47	c nbDecision=956000 #constraints=28756
1086.83/1087.37	c nbDecision=956500 #constraints=28765
1087.33/1087.89	c nbDecision=957000 #constraints=28770
1088.33/1088.89	c nbDecision=957500 #constraints=28779
1088.93/1089.47	c nbDecision=958000 #constraints=28784
1089.63/1090.14	c nbDecision=958500 #constraints=28790
1090.52/1091.00	c nbDecision=959000 #constraints=28798
1091.73/1092.25	c nbDecision=959500 #constraints=28811
1092.42/1092.98	c nbDecision=960000 #constraints=28818
1093.42/1093.99	c nbDecision=960500 #constraints=28828
1093.93/1094.46	c nbDecision=961000 #constraints=28832
1094.62/1095.13	c nbDecision=961500 #constraints=28838
1095.32/1095.86	c nbDecision=962000 #constraints=28846
1095.92/1096.48	c nbDecision=962500 #constraints=28852
1096.82/1097.38	c nbDecision=963000 #constraints=28861
1098.02/1098.52	c nbDecision=963500 #constraints=28872
1099.12/1099.69	c nbDecision=964000 #constraints=28883
1100.02/1100.57	c nbDecision=964500 #constraints=28892
1100.72/1101.25	c nbDecision=965000 #constraints=28898
1101.01/1101.51	c nbDecision=965500 #constraints=28899
1101.81/1102.33	c nbDecision=966000 #constraints=28906
1102.31/1102.89	c nbDecision=966500 #constraints=28911
1103.41/1103.93	c nbDecision=967000 #constraints=28921
1103.82/1104.37	c nbDecision=967500 #constraints=28924
1104.11/1104.65	c nbDecision=968000 #constraints=28925
1104.61/1105.16	c nbDecision=968500 #constraints=28930
1105.11/1105.65	c nbDecision=969000 #constraints=28935
1105.51/1106.04	c nbDecision=969500 #constraints=28938
1106.11/1106.61	c nbDecision=970000 #constraints=28943
1106.31/1106.80	c nbDecision=970500 #constraints=28944
1106.61/1107.10	c nbDecision=971000 #constraints=28946
1106.71/1107.22	c nbDecision=971500 #constraints=28946
1108.01/1108.53	c nbDecision=972000 #constraints=28954
1108.51/1109.01	c nbDecision=972500 #constraints=28960
1109.41/1109.93	c nbDecision=973000 #constraints=28968
1109.71/1110.25	c nbDecision=973500 #constraints=28971
1110.61/1111.11	c nbDecision=974000 #constraints=28979
1111.11/1111.61	c nbDecision=974500 #constraints=28983
1113.81/1114.34	c nbDecision=975000 #constraints=29003
1115.30/1115.82	c nbDecision=975500 #constraints=29011
1116.70/1117.22	c nbDecision=976000 #constraints=29019
1118.60/1119.13	c nbDecision=976500 #constraints=29049
1119.70/1120.29	c nbDecision=977000 #constraints=29062
1121.70/1122.21	c nbDecision=977500 #constraints=29076
1124.30/1124.88	c nbDecision=978000 #constraints=29093
1125.10/1125.67	c nbDecision=978500 #constraints=29098
1125.40/1125.97	c nbDecision=979000 #constraints=29101
1125.60/1126.19	c nbDecision=979500 #constraints=29103
1126.70/1127.21	c nbDecision=980000 #constraints=29116
1129.00/1129.51	c nbDecision=980500 #constraints=29133
1129.20/1129.75	c nbDecision=981000 #constraints=29135
1129.60/1130.12	c nbDecision=981500 #constraints=29140
1131.20/1131.72	c nbDecision=982000 #constraints=29152
1131.50/1132.00	c nbDecision=982500 #constraints=29155
1132.10/1132.65	c nbDecision=983000 #constraints=29163
1132.40/1132.93	c nbDecision=983500 #constraints=29166
1133.51/1134.00	c nbDecision=984000 #constraints=29179
1133.81/1134.36	c nbDecision=984500 #constraints=29184
1134.91/1135.40	c nbDecision=985000 #constraints=29201
1135.50/1136.02	c nbDecision=985500 #constraints=29208
1135.71/1136.28	c nbDecision=986000 #constraints=29209
1137.40/1137.94	c nbDecision=986500 #constraints=29224
1137.70/1138.27	c nbDecision=987000 #constraints=29227
1139.50/1140.07	c nbDecision=987500 #constraints=29243
1141.21/1141.77	c nbDecision=988000 #constraints=29261
1143.70/1144.22	c nbDecision=988500 #constraints=29288
1145.50/1146.05	c nbDecision=989000 #constraints=29311
1147.20/1147.77	c nbDecision=989500 #constraints=29330
1148.90/1149.46	c nbDecision=990000 #constraints=29348
1149.79/1150.36	c nbDecision=990500 #constraints=29356
1151.20/1151.77	c nbDecision=991000 #constraints=29370
1151.69/1152.29	c nbDecision=991500 #constraints=29375
1155.50/1156.09	c nbDecision=992000 #constraints=29418
1156.49/1157.07	c nbDecision=992500 #constraints=29429
1157.89/1158.41	c nbDecision=993000 #constraints=29442
1159.19/1159.73	c nbDecision=993500 #constraints=29458
1163.09/1163.69	c nbDecision=994000 #constraints=29502
1164.49/1165.01	c nbDecision=994500 #constraints=29511
1166.29/1166.85	c nbDecision=995000 #constraints=29534
1167.79/1168.32	c nbDecision=995500 #constraints=29549
1168.79/1169.32	c nbDecision=996000 #constraints=29557
1170.59/1171.13	c nbDecision=996500 #constraints=29571
1171.58/1172.11	c nbDecision=997000 #constraints=29577
1173.58/1174.16	c nbDecision=997500 #constraints=29604
1174.58/1175.17	c nbDecision=998000 #constraints=29612
1175.88/1176.48	c nbDecision=998500 #constraints=29621
1178.88/1179.43	c nbDecision=999000 #constraints=29653
1180.08/1180.66	c nbDecision=999500 #constraints=29666
1181.58/1182.13	c nbDecision=1000000 #constraints=29679
1183.08/1183.70	c nbDecision=1000500 #constraints=29690
1184.18/1184.71	c nbDecision=1001000 #constraints=29697
1184.48/1185.00	c nbDecision=1001500 #constraints=29699
1185.98/1186.55	c nbDecision=1002000 #constraints=29714
1187.18/1187.74	c nbDecision=1002500 #constraints=29728
1187.48/1188.06	c nbDecision=1003000 #constraints=29731
1187.78/1188.31	c nbDecision=1003500 #constraints=29733
1190.27/1190.89	c nbDecision=1004000 #constraints=29763
1192.77/1193.36	c nbDecision=1004500 #constraints=29790
1193.67/1194.26	c nbDecision=1005000 #constraints=29797
1194.47/1195.07	c nbDecision=1005500 #constraints=29804
1195.77/1196.38	c nbDecision=1006000 #constraints=29814
1197.47/1198.07	c nbDecision=1006500 #constraints=29829
1198.57/1199.11	c nbDecision=1007000 #constraints=29837
1200.37/1200.96	c nbDecision=1007500 #constraints=29855
1202.67/1203.30	c nbDecision=1008000 #constraints=29883
1204.68/1205.21	c nbDecision=1008500 #constraints=29905
1205.58/1206.12	c nbDecision=1009000 #constraints=29911
1206.68/1207.26	c nbDecision=1009500 #constraints=29918
1210.07/1210.69	c nbDecision=1010000 #constraints=29959
1214.57/1215.10	c nbDecision=1010500 #constraints=30005
1215.27/1215.82	c nbDecision=1011000 #constraints=30011
1216.27/1216.88	c nbDecision=1011500 #constraints=30021
1217.27/1217.85	c nbDecision=1012000 #constraints=30027
1217.87/1218.42	c nbDecision=1012500 #constraints=30030
1218.77/1219.31	c nbDecision=1013000 #constraints=30039
1219.87/1220.44	c nbDecision=1013500 #constraints=30050
1220.17/1220.78	c nbDecision=1014000 #constraints=30052
1221.27/1221.86	c nbDecision=1014500 #constraints=30062
1222.57/1223.16	c nbDecision=1015000 #constraints=30071
1224.07/1224.64	c nbDecision=1015500 #constraints=30081
1224.97/1225.53	c nbDecision=1016000 #constraints=30087
1226.16/1226.71	c nbDecision=1016500 #constraints=30095
1226.86/1227.50	c nbDecision=1017000 #constraints=30101
1227.16/1227.76	c nbDecision=1017500 #constraints=30104
1228.56/1229.16	c nbDecision=1018000 #constraints=30119
1229.76/1230.37	c nbDecision=1018500 #constraints=30128
1230.66/1231.24	c nbDecision=1019000 #constraints=30134
1231.47/1232.06	c nbDecision=1019500 #constraints=30140
1232.57/1233.11	c nbDecision=1020000 #constraints=30147
1233.67/1234.20	c nbDecision=1020500 #constraints=30156
1235.06/1235.61	c nbDecision=1021000 #constraints=30166
1235.86/1236.47	c nbDecision=1021500 #constraints=30172
1236.76/1237.33	c nbDecision=1022000 #constraints=30178
1238.86/1239.43	c nbDecision=1022500 #constraints=30198
1240.46/1241.02	c nbDecision=1023000 #constraints=30218
1241.56/1242.10	c nbDecision=1023500 #constraints=30228
1242.76/1243.39	c nbDecision=1024000 #constraints=30243
1244.06/1244.61	c nbDecision=1024500 #constraints=30257
1245.36/1245.92	c nbDecision=1025000 #constraints=30270
1245.86/1246.46	c nbDecision=1025500 #constraints=30274
1246.66/1247.30	c nbDecision=1026000 #constraints=30280
1247.96/1248.51	c nbDecision=1026500 #constraints=30289
1249.45/1250.00	c nbDecision=1027000 #constraints=30300
1251.05/1251.65	c nbDecision=1027500 #constraints=30313
1252.95/1253.53	c nbDecision=1028000 #constraints=30334
1254.05/1254.65	c nbDecision=1028500 #constraints=30345
1254.56/1255.17	c nbDecision=1029000 #constraints=30350
1256.05/1256.65	c nbDecision=1029500 #constraints=30366
1259.65/1260.29	c nbDecision=1030000 #constraints=30406
1260.35/1260.92	c nbDecision=1030500 #constraints=30410
1265.04/1265.61	c nbDecision=1031000 #constraints=30469
1266.55/1267.18	c nbDecision=1031500 #constraints=30487
1267.65/1268.25	c nbDecision=1032000 #constraints=30499
1268.75/1269.37	c nbDecision=1032500 #constraints=30507
1269.95/1270.57	c nbDecision=1033000 #constraints=30518
1270.24/1270.84	c nbDecision=1033500 #constraints=30520
1271.44/1272.00	c nbDecision=1034000 #constraints=30530
1273.54/1274.17	c nbDecision=1034500 #constraints=30557
1274.25/1274.80	c nbDecision=1035000 #constraints=30561
1275.64/1276.27	c nbDecision=1035500 #constraints=30574
1276.94/1277.53	c nbDecision=1036000 #constraints=30587
1277.64/1278.28	c nbDecision=1036500 #constraints=30594
1279.54/1280.19	c nbDecision=1037000 #constraints=30626
1281.54/1282.10	c nbDecision=1037500 #constraints=30662
1282.14/1282.78	c nbDecision=1038000 #constraints=30666
1282.94/1283.55	c nbDecision=1038500 #constraints=30671
1284.54/1285.16	c nbDecision=1039000 #constraints=30689
1285.24/1285.88	c nbDecision=1039500 #constraints=30695
1286.34/1286.94	c nbDecision=1040000 #constraints=30703
1287.04/1287.69	c nbDecision=1040500 #constraints=30708
1288.04/1288.61	c nbDecision=1041000 #constraints=30715
1289.34/1289.90	c nbDecision=1041500 #constraints=30727
1289.54/1290.19	c nbDecision=1042000 #constraints=30729
1291.13/1291.77	c nbDecision=1042500 #constraints=30745
1292.24/1292.81	c nbDecision=1043000 #constraints=30752
1292.94/1293.54	c nbDecision=1043500 #constraints=30758
1294.43/1295.05	c nbDecision=1044000 #constraints=30772
1296.43/1297.04	c nbDecision=1044500 #constraints=30792
1297.43/1298.08	c nbDecision=1045000 #constraints=30799
1299.73/1300.33	c nbDecision=1045500 #constraints=30826
1301.03/1301.63	c nbDecision=1046000 #constraints=30838
1301.63/1302.29	c nbDecision=1046500 #constraints=30844
1303.13/1303.77	c nbDecision=1047000 #constraints=30857
1304.13/1304.70	c nbDecision=1047500 #constraints=30865
1304.83/1305.46	c nbDecision=1048000 #constraints=30870
1306.13/1306.77	c nbDecision=1048500 #constraints=30882
1306.83/1307.47	c nbDecision=1049000 #constraints=30888
1308.23/1308.82	c nbDecision=1049500 #constraints=30900
1309.23/1309.85	c nbDecision=1050000 #constraints=30910
1310.93/1311.55	c nbDecision=1050500 #constraints=30928
1311.23/1311.85	c nbDecision=1051000 #constraints=30930
1312.43/1313.08	c nbDecision=1051500 #constraints=30938
1313.53/1314.13	c nbDecision=1052000 #constraints=30945
1314.63/1315.29	c nbDecision=1052500 #constraints=30953
1315.83/1316.48	c nbDecision=1053000 #constraints=30961
1317.03/1317.68	c nbDecision=1053500 #constraints=30969
1318.23/1318.82	c nbDecision=1054000 #constraints=30976
1319.73/1320.31	c nbDecision=1054500 #constraints=30993
1321.03/1321.67	c nbDecision=1055000 #constraints=31005
1321.43/1322.05	c nbDecision=1055500 #constraints=31008
1322.53/1323.16	c nbDecision=1056000 #constraints=31018
1323.52/1324.10	c nbDecision=1056500 #constraints=31024
1326.03/1326.62	c nbDecision=1057000 #constraints=31069
1327.42/1328.04	c nbDecision=1057500 #constraints=31084
1328.02/1328.65	c nbDecision=1058000 #constraints=31090
1330.12/1330.73	c nbDecision=1058500 #constraints=31109
1331.62/1332.23	c nbDecision=1059000 #constraints=31120
1332.02/1332.64	c nbDecision=1059500 #constraints=31122
1332.42/1333.03	c nbDecision=1060000 #constraints=31125
1333.22/1333.84	c nbDecision=1060500 #constraints=31139
1336.62/1337.30	c nbDecision=1061000 #constraints=31192
1336.82/1337.43	c nbDecision=1061500 #constraints=31195
1336.92/1337.56	c nbDecision=1062000 #constraints=31198
1337.02/1337.69	c nbDecision=1062500 #constraints=31202
1337.21/1337.81	c nbDecision=1063000 #constraints=31205
1337.51/1338.16	c nbDecision=1063500 #constraints=31215
1338.02/1338.63	c nbDecision=1064000 #constraints=31220
1338.71/1339.38	c nbDecision=1064500 #constraints=31231
1339.51/1340.13	c nbDecision=1065000 #constraints=31244
1339.81/1340.40	c nbDecision=1065500 #constraints=31254
1339.91/1340.53	c nbDecision=1066000 #constraints=31257
1340.11/1340.77	c nbDecision=1066500 #constraints=31261
1340.32/1340.94	c nbDecision=1067000 #constraints=31264
1340.61/1341.29	c nbDecision=1067500 #constraints=31266
1340.81/1341.42	c nbDecision=1068000 #constraints=31267
1340.91/1341.57	c nbDecision=1068500 #constraints=31268
1341.11/1341.71	c nbDecision=1069000 #constraints=31269
1341.21/1341.90	c nbDecision=1069500 #constraints=31271
1341.42/1342.05	c nbDecision=1070000 #constraints=31272
1341.51/1342.19	c nbDecision=1070500 #constraints=31273
1341.71/1342.35	c nbDecision=1071000 #constraints=31274
1341.91/1342.51	c nbDecision=1071500 #constraints=31275
1342.01/1342.64	c nbDecision=1072000 #constraints=31276
1342.11/1342.78	c nbDecision=1072500 #constraints=31277
1342.21/1342.90	c nbDecision=1073000 #constraints=31277
1342.42/1343.04	c nbDecision=1073500 #constraints=31278
1342.52/1343.18	c nbDecision=1074000 #constraints=31279
1342.71/1343.31	c nbDecision=1074500 #constraints=31280
1343.31/1343.97	c nbDecision=1075000 #constraints=31283
1345.21/1345.86	c nbDecision=1075500 #constraints=31298
1345.91/1346.52	c nbDecision=1076000 #constraints=31307
1347.91/1348.56	c nbDecision=1076500 #constraints=31337
1349.51/1350.11	c nbDecision=1077000 #constraints=31353
1349.81/1350.47	c nbDecision=1077500 #constraints=31356
1352.61/1353.30	c nbDecision=1078000 #constraints=31379
1353.81/1354.41	c nbDecision=1078500 #constraints=31398
1354.61/1355.23	c nbDecision=1079000 #constraints=31413
1357.01/1357.65	c nbDecision=1079500 #constraints=31439
1358.01/1358.69	c nbDecision=1080000 #constraints=31454
1358.31/1358.99	c nbDecision=1080500 #constraints=31457
1359.41/1360.05	c nbDecision=1081000 #constraints=31471
1361.30/1361.94	c nbDecision=1081500 #constraints=31482
1362.00/1362.61	c nbDecision=1082000 #constraints=31492
1362.60/1363.22	c nbDecision=1082500 #constraints=31498
1362.80/1363.48	c nbDecision=1083000 #constraints=31501
1363.50/1364.19	c nbDecision=1083500 #constraints=31511
1363.90/1364.51	c nbDecision=1084000 #constraints=31514
1364.80/1365.40	c nbDecision=1084500 #constraints=31529
1365.00/1365.67	c nbDecision=1085000 #constraints=31532
1365.30/1365.91	c nbDecision=1085500 #constraints=31534
1367.30/1367.94	c nbDecision=1086000 #constraints=31549
1368.81/1369.40	c nbDecision=1086500 #constraints=31582
1369.50/1370.18	c nbDecision=1087000 #constraints=31598
1369.90/1370.57	c nbDecision=1087500 #constraints=31601
1370.30/1370.97	c nbDecision=1088000 #constraints=31605
1371.60/1372.27	c nbDecision=1088500 #constraints=31616
1372.30/1372.98	c nbDecision=1089000 #constraints=31621
1374.00/1374.63	c nbDecision=1089500 #constraints=31632
1376.40/1377.02	c nbDecision=1090000 #constraints=31673
1377.20/1377.82	c nbDecision=1090500 #constraints=31679
1379.10/1379.72	c nbDecision=1091000 #constraints=31705
1380.80/1381.45	c nbDecision=1091500 #constraints=31720
1382.19/1382.81	c nbDecision=1092000 #constraints=31738
1384.20/1384.86	c nbDecision=1092500 #constraints=31763
1385.40/1386.08	c nbDecision=1093000 #constraints=31772
1386.89/1387.59	c nbDecision=1093500 #constraints=31798
1390.39/1391.00	c nbDecision=1094000 #constraints=31845
1390.59/1391.29	c nbDecision=1094500 #constraints=31847
1392.69/1393.36	c nbDecision=1095000 #constraints=31868
1393.49/1394.17	c nbDecision=1095500 #constraints=31882
1394.49/1395.17	c nbDecision=1096000 #constraints=31889
1400.69/1401.39	c nbDecision=1096500 #constraints=31958
1401.38/1402.07	c nbDecision=1097000 #constraints=31966
1402.18/1402.82	c nbDecision=1097500 #constraints=31970
1404.98/1405.68	c nbDecision=1098000 #constraints=32004
1405.98/1406.62	c nbDecision=1098500 #constraints=32013
1407.98/1408.62	c nbDecision=1099000 #constraints=32045
1408.38/1409.01	c nbDecision=1099500 #constraints=32048
1409.68/1410.36	c nbDecision=1100000 #constraints=32056
1410.38/1411.06	c nbDecision=1100500 #constraints=32063
1410.88/1411.50	c nbDecision=1101000 #constraints=32066
1411.18/1411.89	c nbDecision=1101500 #constraints=32069
1412.18/1412.86	c nbDecision=1102000 #constraints=32075
1413.18/1413.89	c nbDecision=1102500 #constraints=32085
1413.58/1414.27	c nbDecision=1103000 #constraints=32088
1415.68/1416.37	c nbDecision=1103500 #constraints=32104
1416.18/1416.88	c nbDecision=1104000 #constraints=32108
1416.88/1417.56	c nbDecision=1104500 #constraints=32114
1417.78/1418.43	c nbDecision=1105000 #constraints=32123
1419.19/1419.84	c nbDecision=1105500 #constraints=32133
1420.09/1420.70	c nbDecision=1106000 #constraints=32139
1420.99/1421.64	c nbDecision=1106500 #constraints=32146
1423.48/1424.12	c nbDecision=1107000 #constraints=32181
1424.89/1425.57	c nbDecision=1107500 #constraints=32193
1425.68/1426.38	c nbDecision=1108000 #constraints=32198
1426.78/1427.47	c nbDecision=1108500 #constraints=32206
1428.18/1428.82	c nbDecision=1109000 #constraints=32219
1429.68/1430.33	c nbDecision=1109500 #constraints=32231
1432.18/1432.83	c nbDecision=1110000 #constraints=32261
1434.08/1434.74	c nbDecision=1110500 #constraints=32279
1435.48/1436.14	c nbDecision=1111000 #constraints=32291
1436.58/1437.29	c nbDecision=1111500 #constraints=32302
1437.88/1438.53	c nbDecision=1112000 #constraints=32315
1442.97/1443.60	c nbDecision=1112500 #constraints=32369
1443.97/1444.65	c nbDecision=1113000 #constraints=32380
1445.17/1445.82	c nbDecision=1113500 #constraints=32389
1445.77/1446.46	c nbDecision=1114000 #constraints=32394
1448.47/1449.12	c nbDecision=1114500 #constraints=32418
1449.07/1449.78	c nbDecision=1115000 #constraints=32422
1453.36/1454.04	c nbDecision=1115500 #constraints=32467
1455.86/1456.58	c nbDecision=1116000 #constraints=32497
1457.36/1458.03	c nbDecision=1116500 #constraints=32507
1465.67/1466.34	c nbDecision=1117000 #constraints=32604
1467.17/1467.84	c nbDecision=1117500 #constraints=32622
1469.67/1470.34	c nbDecision=1118000 #constraints=32645
1470.76/1471.41	c nbDecision=1118500 #constraints=32655
1472.46/1473.19	c nbDecision=1119000 #constraints=32672
1472.96/1473.66	c nbDecision=1119500 #constraints=32675
1475.56/1476.27	c nbDecision=1120000 #constraints=32699
1475.86/1476.58	c nbDecision=1120500 #constraints=32701
1480.56/1481.23	c nbDecision=1121000 #constraints=32747
1482.36/1483.05	c nbDecision=1121500 #constraints=32762
1483.16/1483.87	c nbDecision=1122000 #constraints=32769
1484.85/1485.50	c nbDecision=1122500 #constraints=32792
1486.65/1487.38	c nbDecision=1123000 #constraints=32810
1488.05/1488.72	c nbDecision=1123500 #constraints=32821
1489.25/1489.95	c nbDecision=1124000 #constraints=32833
1490.15/1490.81	c nbDecision=1124500 #constraints=32841
1490.45/1491.19	c nbDecision=1125000 #constraints=32844
1491.35/1492.06	c nbDecision=1125500 #constraints=32850
1492.35/1493.01	c nbDecision=1126000 #constraints=32857
1494.05/1494.70	c nbDecision=1126500 #constraints=32868
1494.35/1495.06	c nbDecision=1127000 #constraints=32871
1495.35/1496.09	c nbDecision=1127500 #constraints=32881
1496.04/1496.75	c nbDecision=1128000 #constraints=32885
1496.74/1497.46	c nbDecision=1128500 #constraints=32890
1497.64/1498.33	c nbDecision=1129000 #constraints=32898
1499.75/1500.47	c nbDecision=1129500 #constraints=32920
1500.44/1501.18	c nbDecision=1130000 #constraints=32924
1501.95/1502.64	c nbDecision=1130500 #constraints=32933
1502.95/1503.61	c nbDecision=1131000 #constraints=32942
1503.64/1504.31	c nbDecision=1131500 #constraints=32946
1505.64/1506.38	c nbDecision=1132000 #constraints=32959
1506.84/1507.50	c nbDecision=1132500 #constraints=32970
1507.14/1507.85	c nbDecision=1133000 #constraints=32973
1508.34/1509.03	c nbDecision=1133500 #constraints=32984
1508.54/1509.26	c nbDecision=1134000 #constraints=32986
1510.04/1510.79	c nbDecision=1134500 #constraints=32997
1510.54/1511.24	c nbDecision=1135000 #constraints=33003
1511.64/1512.38	c nbDecision=1135500 #constraints=33021
1511.94/1512.62	c nbDecision=1136000 #constraints=33023
1512.54/1513.21	c nbDecision=1136500 #constraints=33031
1512.94/1513.66	c nbDecision=1137000 #constraints=33037
1513.44/1514.17	c nbDecision=1137500 #constraints=33041
1514.04/1514.77	c nbDecision=1138000 #constraints=33045
1514.54/1515.27	c nbDecision=1138500 #constraints=33052
1515.33/1516.03	c nbDecision=1139000 #constraints=33058
1516.14/1516.89	c nbDecision=1139500 #constraints=33063
1516.43/1517.12	c nbDecision=1140000 #constraints=33065
1517.83/1518.55	c nbDecision=1140500 #constraints=33078
1518.83/1519.58	c nbDecision=1141000 #constraints=33094
1519.33/1520.05	c nbDecision=1141500 #constraints=33099
1519.63/1520.31	c nbDecision=1142000 #constraints=33101
1519.93/1520.62	c nbDecision=1142500 #constraints=33104
1520.73/1521.40	c nbDecision=1143000 #constraints=33112
1521.03/1521.78	c nbDecision=1143500 #constraints=33116
1521.64/1522.38	c nbDecision=1144000 #constraints=33122
1523.94/1524.61	c nbDecision=1144500 #constraints=33149
1525.13/1525.83	c nbDecision=1145000 #constraints=33165
1526.23/1526.98	c nbDecision=1145500 #constraints=33181
1526.93/1527.64	c nbDecision=1146000 #constraints=33189
1527.53/1528.27	c nbDecision=1146500 #constraints=33195
1528.33/1529.06	c nbDecision=1147000 #constraints=33199
1528.73/1529.40	c nbDecision=1147500 #constraints=33201
1529.73/1530.45	c nbDecision=1148000 #constraints=33209
1530.73/1531.49	c nbDecision=1148500 #constraints=33218
1531.53/1532.28	c nbDecision=1149000 #constraints=33226
1535.84/1536.59	c nbDecision=1149500 #constraints=33266
1536.14/1536.87	c nbDecision=1150000 #constraints=33269
1537.34/1538.00	c nbDecision=1150500 #constraints=33278
1537.64/1538.33	c nbDecision=1151000 #constraints=33280
1539.93/1540.69	c nbDecision=1151500 #constraints=33302
1541.33/1542.07	c nbDecision=1152000 #constraints=33313
1542.93/1543.63	c nbDecision=1152500 #constraints=33323
1544.53/1545.22	c nbDecision=1153000 #constraints=33332
1545.03/1545.78	c nbDecision=1153500 #constraints=33335
1545.43/1546.18	c nbDecision=1154000 #constraints=33338
1546.23/1546.99	c nbDecision=1154500 #constraints=33343
1549.83/1550.54	c nbDecision=1155000 #constraints=33372
1554.33/1555.00	c nbDecision=1155500 #constraints=33418
1554.93/1555.68	c nbDecision=1156000 #constraints=33428
1556.93/1557.68	c nbDecision=1156500 #constraints=33443
1558.43/1559.12	c nbDecision=1157000 #constraints=33452
1559.03/1559.72	c nbDecision=1157500 #constraints=33459
1559.52/1560.22	c nbDecision=1158000 #constraints=33469
1560.62/1561.37	c nbDecision=1158500 #constraints=33477
1562.12/1562.86	c nbDecision=1159000 #constraints=33486
1562.92/1563.60	c nbDecision=1159500 #constraints=33490
1564.72/1565.45	c nbDecision=1160000 #constraints=33501
1565.63/1566.31	c nbDecision=1160500 #constraints=33507
1566.02/1566.73	c nbDecision=1161000 #constraints=33510
1567.22/1567.97	c nbDecision=1161500 #constraints=33520
1568.02/1568.72	c nbDecision=1162000 #constraints=33527
1569.22/1569.91	c nbDecision=1162500 #constraints=33534
1571.42/1572.16	c nbDecision=1163000 #constraints=33555
1573.52/1574.21	c nbDecision=1163500 #constraints=33572
1576.52/1577.22	c nbDecision=1164000 #constraints=33604
1577.12/1577.85	c nbDecision=1164500 #constraints=33609
1578.02/1578.78	c nbDecision=1165000 #constraints=33615
1579.62/1580.32	c nbDecision=1165500 #constraints=33628
1580.51/1581.21	c nbDecision=1166000 #constraints=33634
1583.91/1584.62	c nbDecision=1166500 #constraints=33671
1585.81/1586.58	c nbDecision=1167000 #constraints=33689
1586.31/1587.05	c nbDecision=1167500 #constraints=33692
1587.61/1588.40	c nbDecision=1168000 #constraints=33703
1589.51/1590.26	c nbDecision=1168500 #constraints=33719
1590.41/1591.13	c nbDecision=1169000 #constraints=33725
1591.01/1591.75	c nbDecision=1169500 #constraints=33730
1592.61/1593.39	c nbDecision=1170000 #constraints=33743
1593.71/1594.44	c nbDecision=1170500 #constraints=33752
1594.61/1595.32	c nbDecision=1171000 #constraints=33759
1595.51/1596.22	c nbDecision=1171500 #constraints=33765
1596.31/1597.04	c nbDecision=1172000 #constraints=33770
1601.60/1602.39	c nbDecision=1172500 #constraints=33831
1602.20/1602.98	c nbDecision=1173000 #constraints=33836
1602.80/1603.55	c nbDecision=1173500 #constraints=33839
1603.70/1604.40	c nbDecision=1174000 #constraints=33846
1604.50/1605.22	c nbDecision=1174500 #constraints=33851
1605.31/1606.08	c nbDecision=1175000 #constraints=33856
1605.70/1606.43	c nbDecision=1175500 #constraints=33858
1606.50/1607.28	c nbDecision=1176000 #constraints=33864
1607.00/1607.71	c nbDecision=1176500 #constraints=33866
1607.60/1608.30	c nbDecision=1177000 #constraints=33869
1608.10/1608.81	c nbDecision=1177500 #constraints=33872
1608.70/1609.48	c nbDecision=1178000 #constraints=33880
1609.10/1609.80	c nbDecision=1178500 #constraints=33884
1609.40/1610.12	c nbDecision=1179000 #constraints=33885
1609.60/1610.34	c nbDecision=1179500 #constraints=33886
1612.30/1613.02	c nbDecision=1180000 #constraints=33920
1613.00/1613.75	c nbDecision=1180500 #constraints=33946
1618.21/1618.93	c nbDecision=1181000 #constraints=34013
1618.31/1619.07	c nbDecision=1181500 #constraints=34016
1618.51/1619.21	c nbDecision=1182000 #constraints=34020
1618.60/1619.34	c nbDecision=1182500 #constraints=34023
1618.70/1619.46	c nbDecision=1183000 #constraints=34026
1619.10/1619.80	c nbDecision=1183500 #constraints=34029
1619.30/1620.00	c nbDecision=1184000 #constraints=34030
1619.40/1620.19	c nbDecision=1184500 #constraints=34031
1619.80/1620.59	c nbDecision=1185000 #constraints=34035
1620.30/1621.02	c nbDecision=1185500 #constraints=34041
1620.40/1621.13	c nbDecision=1186000 #constraints=34041
1620.61/1621.35	c nbDecision=1186500 #constraints=34042
1621.00/1621.72	c nbDecision=1187000 #constraints=34047
1621.20/1621.99	c nbDecision=1187500 #constraints=34049
1621.50/1622.21	c nbDecision=1188000 #constraints=34050
1621.60/1622.33	c nbDecision=1188500 #constraints=34050
1621.81/1622.59	c nbDecision=1189000 #constraints=34052
1622.30/1623.07	c nbDecision=1189500 #constraints=34054
1623.70/1624.43	c nbDecision=1190000 #constraints=34068
1624.01/1624.75	c nbDecision=1190500 #constraints=34070
1625.40/1626.12	c nbDecision=1191000 #constraints=34080
1627.30/1628.01	c nbDecision=1191500 #constraints=34095
1628.80/1629.53	c nbDecision=1192000 #constraints=34106
1630.10/1630.85	c nbDecision=1192500 #constraints=34116
1631.20/1631.94	c nbDecision=1193000 #constraints=34125
1632.30/1633.08	c nbDecision=1193500 #constraints=34134
1632.90/1633.69	c nbDecision=1194000 #constraints=34140
1634.60/1635.36	c nbDecision=1194500 #constraints=34157
1636.99/1637.72	c nbDecision=1195000 #constraints=34187
1638.20/1638.90	c nbDecision=1195500 #constraints=34195
1639.30/1640.07	c nbDecision=1196000 #constraints=34201
1640.50/1641.24	c nbDecision=1196500 #constraints=34209
1641.69/1642.40	c nbDecision=1197000 #constraints=34217
1642.09/1642.88	c nbDecision=1197500 #constraints=34220
1642.70/1643.48	c nbDecision=1198000 #constraints=34225
1643.70/1644.49	c nbDecision=1198500 #constraints=34232
1644.39/1645.10	c nbDecision=1199000 #constraints=34236
1645.99/1646.77	c nbDecision=1199500 #constraints=34248
1646.89/1647.66	c nbDecision=1200000 #constraints=34257
1648.69/1649.42	c nbDecision=1200500 #constraints=34271
1649.89/1650.63	c nbDecision=1201000 #constraints=34279
1650.48/1651.28	c nbDecision=1201500 #constraints=34284
1650.78/1651.55	c nbDecision=1202000 #constraints=34286
1651.79/1652.52	c nbDecision=1202500 #constraints=34293
1653.69/1654.47	c nbDecision=1203000 #constraints=34319
1655.29/1656.07	c nbDecision=1203500 #constraints=34331
1656.69/1657.44	c nbDecision=1204000 #constraints=34339
1657.99/1658.73	c nbDecision=1204500 #constraints=34348
1659.19/1659.93	c nbDecision=1205000 #constraints=34360
1660.39/1661.13	c nbDecision=1205500 #constraints=34374
1661.89/1662.68	c nbDecision=1206000 #constraints=34387
1662.99/1663.77	c nbDecision=1206500 #constraints=34395
1664.48/1665.30	c nbDecision=1207000 #constraints=34404
1665.28/1666.03	c nbDecision=1207500 #constraints=34413
1666.18/1666.95	c nbDecision=1208000 #constraints=34418
1668.78/1669.57	c nbDecision=1208500 #constraints=34437
1669.58/1670.34	c nbDecision=1209000 #constraints=34444
1671.48/1672.25	c nbDecision=1209500 #constraints=34464
1671.88/1672.62	c nbDecision=1210000 #constraints=34466
1674.18/1674.94	c nbDecision=1210500 #constraints=34484
1674.68/1675.48	c nbDecision=1211000 #constraints=34493
1677.08/1677.85	c nbDecision=1211500 #constraints=34512
1677.48/1678.24	c nbDecision=1212000 #constraints=34514
1678.57/1679.33	c nbDecision=1212500 #constraints=34530
1680.27/1681.09	c nbDecision=1213000 #constraints=34544
1681.87/1682.66	c nbDecision=1213500 #constraints=34562
1682.57/1683.38	c nbDecision=1214000 #constraints=34567
1683.67/1684.45	c nbDecision=1214500 #constraints=34574
1684.57/1685.38	c nbDecision=1215000 #constraints=34588
1685.97/1686.74	c nbDecision=1215500 #constraints=34598
1687.17/1687.91	c nbDecision=1216000 #constraints=34619
1688.77/1689.54	c nbDecision=1216500 #constraints=34631
1689.87/1690.68	c nbDecision=1217000 #constraints=34638
1692.57/1693.38	c nbDecision=1217500 #constraints=34663
1694.77/1695.56	c nbDecision=1218000 #constraints=34689
1696.67/1697.40	c nbDecision=1218500 #constraints=34708
1697.76/1698.50	c nbDecision=1219000 #constraints=34714
1699.87/1700.60	c nbDecision=1219500 #constraints=34730
1701.36/1702.10	c nbDecision=1220000 #constraints=34738
1701.86/1702.68	c nbDecision=1220500 #constraints=34749
1703.07/1703.81	c nbDecision=1221000 #constraints=34758
1704.26/1705.07	c nbDecision=1221500 #constraints=34772
1705.16/1705.92	c nbDecision=1222000 #constraints=34777
1706.06/1706.85	c nbDecision=1222500 #constraints=34784
1707.16/1707.97	c nbDecision=1223000 #constraints=34800
1707.97/1708.74	c nbDecision=1223500 #constraints=34820
1709.07/1709.85	c nbDecision=1224000 #constraints=34837
1709.77/1710.59	c nbDecision=1224500 #constraints=34857
1711.17/1711.99	c nbDecision=1225000 #constraints=34866
1711.97/1712.73	c nbDecision=1225500 #constraints=34870
1712.27/1713.04	c nbDecision=1226000 #constraints=34872
1715.37/1716.18	c nbDecision=1226500 #constraints=34896
1717.96/1718.76	c nbDecision=1227000 #constraints=34915
1720.06/1720.84	c nbDecision=1227500 #constraints=34942
1721.36/1722.12	c nbDecision=1228000 #constraints=34948
1721.96/1722.79	c nbDecision=1228500 #constraints=34959
1722.97/1723.70	c nbDecision=1229000 #constraints=34964
1724.36/1725.12	c nbDecision=1229500 #constraints=34984
1725.56/1726.30	c nbDecision=1230000 #constraints=34990
1726.66/1727.42	c nbDecision=1230500 #constraints=34999
1726.96/1727.72	c nbDecision=1231000 #constraints=35002
1727.27/1728.07	c nbDecision=1231500 #constraints=35005
1728.66/1729.46	c nbDecision=1232000 #constraints=35012
1729.66/1730.42	c nbDecision=1232500 #constraints=35018
1730.46/1731.25	c nbDecision=1233000 #constraints=35022
1730.96/1731.70	c nbDecision=1233500 #constraints=35028
1731.46/1732.27	c nbDecision=1234000 #constraints=35032
1732.76/1733.55	c nbDecision=1234500 #constraints=35051
1734.96/1735.74	c nbDecision=1235000 #constraints=35070
1735.76/1736.53	c nbDecision=1235500 #constraints=35081
1736.86/1737.62	c nbDecision=1236000 #constraints=35096
1738.65/1739.47	c nbDecision=1236500 #constraints=35104
1739.75/1740.56	c nbDecision=1237000 #constraints=35113
1742.55/1743.38	c nbDecision=1237500 #constraints=35135
1744.25/1745.06	c nbDecision=1238000 #constraints=35154
1745.25/1746.04	c nbDecision=1238500 #constraints=35169
1745.65/1746.43	c nbDecision=1239000 #constraints=35171
1746.05/1746.83	c nbDecision=1239500 #constraints=35179
1746.75/1747.56	c nbDecision=1240000 #constraints=35186
1748.15/1748.96	c nbDecision=1240500 #constraints=35198
1748.95/1749.73	c nbDecision=1241000 #constraints=35205
1750.55/1751.31	c nbDecision=1241500 #constraints=35213
1750.94/1751.72	c nbDecision=1242000 #constraints=35216
1751.14/1751.95	c nbDecision=1242500 #constraints=35219
1751.34/1752.17	c nbDecision=1243000 #constraints=35222
1751.64/1752.49	c nbDecision=1243500 #constraints=35225
1752.65/1753.40	c nbDecision=1244000 #constraints=35229
1753.54/1754.39	c nbDecision=1244500 #constraints=35234
1754.94/1755.75	c nbDecision=1245000 #constraints=35248
1755.34/1756.19	c nbDecision=1245500 #constraints=35251
1755.95/1756.78	c nbDecision=1246000 #constraints=35255
1756.84/1757.69	c nbDecision=1246500 #constraints=35260
1759.44/1760.26	c nbDecision=1247000 #constraints=35295
1759.84/1760.61	c nbDecision=1247500 #constraints=35305
1759.94/1760.74	c nbDecision=1248000 #constraints=35309
1760.24/1761.00	c nbDecision=1248500 #constraints=35313
1760.84/1761.63	c nbDecision=1249000 #constraints=35319
1761.14/1761.90	c nbDecision=1249500 #constraints=35321
1761.54/1762.37	c nbDecision=1250000 #constraints=35325
1761.94/1762.76	c nbDecision=1250500 #constraints=35335
1762.14/1762.96	c nbDecision=1251000 #constraints=35339
1762.54/1763.32	c nbDecision=1251500 #constraints=35342
1762.74/1763.51	c nbDecision=1252000 #constraints=35342
1765.34/1766.18	c nbDecision=1252500 #constraints=35358
1767.44/1768.29	c nbDecision=1253000 #constraints=35367
1769.54/1770.39	c nbDecision=1253500 #constraints=35379
1772.34/1773.18	c nbDecision=1254000 #constraints=35395
1772.53/1773.37	c nbDecision=1254500 #constraints=35395
1774.43/1775.23	c nbDecision=1255000 #constraints=35405
1776.33/1777.12	c nbDecision=1255500 #constraints=35421
1777.23/1778.07	c nbDecision=1256000 #constraints=35428
1777.53/1778.30	c nbDecision=1256500 #constraints=35431
1778.13/1778.98	c nbDecision=1257000 #constraints=35437
1780.13/1780.95	c nbDecision=1257500 #constraints=35446
1782.33/1783.13	c nbDecision=1258000 #constraints=35465
1783.63/1784.41	c nbDecision=1258500 #constraints=35473
1783.83/1784.61	c nbDecision=1259000 #constraints=35475
1784.84/1785.68	c nbDecision=1259500 #constraints=35484
1787.04/1787.89	c nbDecision=1260000 #constraints=35495
1787.74/1788.57	c nbDecision=1260500 #constraints=35498
1789.54/1790.36	c nbDecision=1261000 #constraints=35507
1790.53/1791.33	c nbDecision=1261500 #constraints=35511
1792.73/1793.54	c nbDecision=1262000 #constraints=35531
1792.93/1793.71	c nbDecision=1262500 #constraints=35531
1793.63/1794.46	c nbDecision=1263000 #constraints=35536
1794.23/1795.05	c nbDecision=1263500 #constraints=35545
1794.53/1795.30	c nbDecision=1264000 #constraints=35548
1794.73/1795.51	c nbDecision=1264500 #constraints=35550
1795.73/1796.55	c nbDecision=1265000 #constraints=35557
1796.33/1797.19	c nbDecision=1265500 #constraints=35559
1797.03/1797.83	c nbDecision=1266000 #constraints=35563
1798.13/1798.98	c nbDecision=1266500 #constraints=35571
1799.73/1800.53	c nbDecision=1267000 #constraints=35590
1800.04/1800.80	Received signal 15
1800.04/1800.80	
1800.04/1800.80	s UNKNOWN
1800.04/1800.80	
1800.04/1800.80	c user time= 1799.67 s
1800.04/1800.80	c system time= 0.371943 s
1800.04/1800.80	c wall clock time=1800.81

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

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


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 25369
/proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=1468 CPUtime=0
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175230782 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 367 161 126 317 0 46 0

[startup+0.0175689 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 25369
/proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=1752 CPUtime=0.01
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 236 0 0 0 1 0 0 0 18 0 1 0 175230782 1794048 218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 438 218 126 317 0 117 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1752

[startup+0.101585 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 25369
/proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=3104 CPUtime=0.09
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 615 0 0 0 9 0 0 0 18 0 1 0 175230782 3178496 564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 776 565 131 317 0 455 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3104

[startup+0.301625 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 25369
/proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=6536 CPUtime=0.29
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 1459 0 0 0 28 1 0 0 19 0 1 0 175230782 6692864 1408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 1634 1408 131 317 0 1313 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6536

[startup+0.701706 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 25369
/proc/meminfo: memFree=1461408/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=12080 CPUtime=0.69
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 2837 0 0 0 68 1 0 0 22 0 1 0 175230782 12369920 2786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 3020 2787 131 317 0 2699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12080

[startup+1.50186 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 25370
/proc/meminfo: memFree=1444056/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=18716 CPUtime=1.49
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 4512 0 0 0 147 2 0 0 25 0 1 0 175230782 19165184 4461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 4679 4461 138 317 0 4358 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18716

[startup+3.10118 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 25370
/proc/meminfo: memFree=1443928/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=19100 CPUtime=3.09
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 4609 0 0 0 306 3 0 0 25 0 1 0 175230782 19558400 4495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 4775 4495 139 317 0 4454 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19100

[startup+6.30182 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 25370
/proc/meminfo: memFree=1443608/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=19228 CPUtime=6.29
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 4665 0 0 0 626 3 0 0 25 0 1 0 175230782 19689472 4551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 4807 4551 170 317 0 4486 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19228

[startup+12.7021 s]
/proc/loadavg: 0.81 0.95 0.98 2/65 25370
/proc/meminfo: memFree=1441696/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=21336 CPUtime=12.69
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 5211 0 0 0 1265 4 0 0 25 0 1 0 175230782 21848064 5097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 5334 5097 170 317 0 5013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21336

[startup+25.5017 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 25370
/proc/meminfo: memFree=1436320/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=26720 CPUtime=25.48
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 6530 0 0 0 2543 5 0 0 25 0 1 0 175230782 27361280 6416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 6680 6416 170 317 0 6359 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26720

[startup+51.1018 s]
/proc/loadavg: 0.90 0.96 0.98 2/65 25370
/proc/meminfo: memFree=1427872/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=35472 CPUtime=51.07
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 8682 0 0 0 5101 6 0 0 25 0 1 0 175230782 36323328 8568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 8868 8568 170 317 0 8547 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35472

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 25370
/proc/meminfo: memFree=1418784/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=45052 CPUtime=102.25
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 10911 0 0 0 10218 7 0 0 25 0 1 0 175230782 46133248 10797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 11263 10797 170 317 0 10942 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 45052

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1410080/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=53720 CPUtime=162.22
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 13111 0 0 0 16213 9 0 0 25 0 1 0 175230782 55009280 12997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 13430 12997 170 317 0 13109 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 53720

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1402464/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=61152 CPUtime=222.2
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 14970 0 0 0 22209 11 0 0 25 0 1 0 175230782 62619648 14856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 15288 14856 170 317 0 14967 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 61152

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1392928/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=72864 CPUtime=282.19
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 17485 0 0 0 28206 13 0 0 25 0 1 0 175230782 74612736 17246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 18216 17246 170 317 0 17895 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 72864

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1384480/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=81608 CPUtime=342.17
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 19585 0 0 0 34202 15 0 0 25 0 1 0 175230782 83566592 19346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 20402 19346 170 317 0 20081 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 81608

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1378400/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=87324 CPUtime=402.14
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 21100 0 0 0 40198 16 0 0 25 0 1 0 175230782 89419776 20861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 21831 20861 170 317 0 21510 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 87324

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1374496/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=91780 CPUtime=462.11
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 22073 0 0 0 46195 16 0 0 25 0 1 0 175230782 93982720 21834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 22945 21834 170 317 0 22624 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 91780

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1370848/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=95236 CPUtime=522.08
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 22986 0 0 0 52190 18 0 0 25 0 1 0 175230782 97521664 22747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 23809 22747 170 317 0 23488 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 95236

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1365792/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=100624 CPUtime=582.06
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 24244 0 0 0 58187 19 0 0 25 0 1 0 175230782 103038976 24005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 25156 24005 170 317 0 24835 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 100624

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1360544/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=105468 CPUtime=642.04
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 25553 0 0 0 64184 20 0 0 25 0 1 0 175230782 107999232 25314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 26367 25314 170 317 0 26046 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 105468


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1348704/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=116576 CPUtime=821.94
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 28482 0 0 0 82171 23 0 0 25 0 1 0 175230782 119373824 28243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 29144 28243 170 317 0 28823 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 116576

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1345056/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=121776 CPUtime=881.91
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 29757 0 0 0 88168 23 0 0 25 0 1 0 175230782 124698624 29155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 30444 29155 170 317 0 30123 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 121776

[startup+942.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1341408/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=126988 CPUtime=941.89
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 31012 0 0 0 94165 24 0 0 25 0 1 0 175230782 130035712 30080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 31747 30080 170 317 0 31426 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 126988

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1338080/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=130012 CPUtime=1001.86
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 31860 0 0 0 100161 25 0 0 25 0 1 0 175230782 133132288 30895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 32503 30895 170 317 0 32182 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 130012

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1334624/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=135216 CPUtime=1061.83
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 33050 0 0 0 106157 26 0 0 25 0 1 0 175230782 138461184 31755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 33804 31755 170 317 0 33483 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 135216

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1331360/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=138088 CPUtime=1121.8
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 33866 0 0 0 112153 27 0 0 25 0 1 0 175230782 141402112 32571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 34522 32571 170 317 0 34201 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 138088

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25370
/proc/meminfo: memFree=1328480/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=140704 CPUtime=1181.78
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 34609 0 0 0 118150 28 0 0 25 0 1 0 175230782 144080896 33314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 35176 33314 170 317 0 34855 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 140704

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1324768/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=146012 CPUtime=1241.76
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 35829 0 0 0 124147 29 0 0 25 0 1 0 175230782 149516288 34204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 36503 34204 170 317 0 36182 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 146012

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1321568/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=148892 CPUtime=1301.73
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 36617 0 0 0 130144 29 0 0 25 0 1 0 175230782 152465408 34992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 37223 34992 170 317 0 36902 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 148892

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1318432/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=151652 CPUtime=1361.7
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 37398 0 0 0 136140 30 0 0 25 0 1 0 175230782 155291648 35773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 37913 35773 170 317 0 37592 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 151652

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1314400/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=155252 CPUtime=1421.69
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 38411 0 0 0 142138 31 0 0 25 0 1 0 175230782 158978048 36786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 38813 36786 170 317 0 38492 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 155252

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1309984/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=161248 CPUtime=1481.66
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 39892 0 0 0 148134 32 0 0 25 0 1 0 175230782 165117952 37904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 40312 37904 170 317 0 39991 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 161248

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1306592/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=164524 CPUtime=1541.63
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 40798 0 0 0 154130 33 0 0 25 0 1 0 175230782 168472576 38744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 41131 38744 170 317 0 40810 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 164524

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1303136/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=167552 CPUtime=1601.6
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 41666 0 0 0 160127 33 0 0 25 0 1 0 175230782 171573248 39612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 41888 39612 170 317 0 41567 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 167552

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1299808/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=172480 CPUtime=1661.59
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 42856 0 0 0 166124 35 0 0 25 0 1 0 175230782 176619520 40439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 43120 40439 170 317 0 42799 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 172480

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1296608/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=175192 CPUtime=1721.56
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 43635 0 0 0 172120 36 0 0 25 0 1 0 175230782 179396608 41218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 43798 41218 170 317 0 43477 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 175192

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1294112/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=177552 CPUtime=1781.53
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 44294 0 0 0 178117 36 0 0 25 0 1 0 175230782 181813248 41844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 44388 41844 170 317 0 44067 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 177552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25372
/proc/meminfo: memFree=1293472/2055920 swapFree=4182980/4192956
[pid=25369] ppid=25367 vsize=178068 CPUtime=1800.04
/proc/25369/stat : 25369 (oree) R 25367 25369 25312 0 -1 4194304 44439 0 0 0 179967 37 0 0 25 0 1 0 175230782 182341632 41989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25369/statm: 44517 41989 170 317 0 44196 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 178068

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

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

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.08
CPU user time (s): 1799.68
CPU system time (s): 0.400939
CPU usage (%): 99.9575
Max. virtual memory (cumulated for all children) (KiB): 178068

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

runsolver used 1.3378 second user time and 3.74243 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Thu Apr 19 14:20:12 UTC 2007

IDJOB= 357250
IDBENCH= 2312
IDSOLVER= 172
FILE ID= node66/357250-1176992412

PBS_JOBID= 4630470

Free space on /tmp= 66405 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  edd986756231058ab35f21017ebd98b6

RANDOM SEED= 130858643

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1461880 kB
Buffers:         29396 kB
Cached:         494112 kB
SwapCached:       3696 kB
Active:         209368 kB
Inactive:       323320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1461880 kB
SwapTotal:     4192956 kB
SwapFree:      4182980 kB
Dirty:            4968 kB
Writeback:           0 kB
Mapped:          15152 kB
Slab:            47404 kB
Committed_AS:   828924 kB
PageTables:       1376 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= 66405 MiB

End job on node66 on Thu Apr 19 14:50:15 UTC 2007