Trace number 356931

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-israel.opb
MD5SUM916719a95a95b5989e5d4b5f3d786df3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of variables4260
Total number of constraints174
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 constraints174
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 2670
Biggest coefficient in the objective function 42742
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 526467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262137
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527037
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.15	c ...done
0.09/0.15	c #vars=4260 #constraints=175 hasObjective=yes
0.69/0.74	c res. mode=mod
0.69/0.74	c VSIDS like heuristics
0.69/0.74	c complete search running
4.19/4.22	c restart after 401 decisions
4.89/4.91	c nbDecision=500 #constraints=627
7.69/7.74	c restart after 801 decisions
9.38/9.41	c nbDecision=1000 #constraints=1103
14.19/14.23	c nbDecision=1500 #constraints=1603
15.19/15.23	c restart after 1601 decisions
18.99/19.01	c nbDecision=2000 #constraints=2079
24.18/24.28	c nbDecision=2500 #constraints=2579
26.08/26.13	c nbDecision=3000 #constraints=2763
26.28/26.39	c restart after 3201 decisions
26.38/26.48	c nbDecision=3500 #constraints=2790
26.48/26.58	c nbDecision=4000 #constraints=2798
26.88/26.90	c nbDecision=4500 #constraints=2830
26.88/26.99	c nbDecision=5000 #constraints=2837
26.98/27.08	c nbDecision=5500 #constraints=2844
27.28/27.38	c nbDecision=6000 #constraints=2873
27.38/27.45	c restart after 6401 decisions
27.48/27.53	c nbDecision=6500 #constraints=2878
27.48/27.57	c nbDecision=7000 #constraints=2880
27.58/27.66	c nbDecision=7500 #constraints=2887
27.88/27.96	c nbDecision=8000 #constraints=2916
27.98/28.05	c nbDecision=8500 #constraints=2923
28.28/28.35	c nbDecision=9000 #constraints=2951
28.38/28.43	c nbDecision=9500 #constraints=2957
28.48/28.52	c nbDecision=10000 #constraints=2964
28.78/28.83	c nbDecision=10500 #constraints=2993
28.88/28.91	c nbDecision=11000 #constraints=2999
28.98/29.00	c nbDecision=11500 #constraints=3006
29.28/29.30	c nbDecision=12000 #constraints=3035
29.28/29.39	c nbDecision=12500 #constraints=3041
29.38/29.44	c restart after 12801 decisions
29.48/29.53	c nbDecision=13000 #constraints=3045
29.58/29.60	c nbDecision=13500 #constraints=3049
29.78/29.89	c nbDecision=14000 #constraints=3078
29.88/29.99	c nbDecision=14500 #constraints=3085
29.98/30.07	c nbDecision=15000 #constraints=3091
30.28/30.37	c nbDecision=15500 #constraints=3120
30.38/30.46	c nbDecision=16000 #constraints=3127
30.48/30.55	c nbDecision=16500 #constraints=3133
30.78/30.84	c nbDecision=17000 #constraints=3162
30.88/30.94	c nbDecision=17500 #constraints=3169
30.98/31.03	c nbDecision=18000 #constraints=3175
31.28/31.32	c nbDecision=18500 #constraints=3204
31.38/31.41	c nbDecision=19000 #constraints=3210
31.48/31.50	c nbDecision=19500 #constraints=3216
31.78/31.81	c nbDecision=20000 #constraints=3246
31.78/31.89	c nbDecision=20500 #constraints=3252
31.88/31.98	c nbDecision=21000 #constraints=3258
32.18/32.28	c nbDecision=21500 #constraints=3287
32.28/32.37	c nbDecision=22000 #constraints=3293
32.38/32.46	c nbDecision=22500 #constraints=3299
32.68/32.76	c nbDecision=23000 #constraints=3328
32.78/32.85	c nbDecision=23500 #constraints=3334
32.88/32.94	c nbDecision=24000 #constraints=3340
33.17/33.25	c nbDecision=24500 #constraints=3369
33.27/33.33	c nbDecision=25000 #constraints=3375
33.37/33.42	c nbDecision=25500 #constraints=3381
33.37/33.44	c restart after 25601 decisions
33.47/33.56	c nbDecision=26000 #constraints=3382
33.78/33.86	c nbDecision=26500 #constraints=3411
33.87/33.95	c nbDecision=27000 #constraints=3417
33.98/34.03	c nbDecision=27500 #constraints=3422
34.08/34.13	c nbDecision=28000 #constraints=3428
34.38/34.43	c nbDecision=28500 #constraints=3457
34.48/34.52	c nbDecision=29000 #constraints=3463
34.58/34.60	c nbDecision=29500 #constraints=3468
34.88/34.91	c nbDecision=30000 #constraints=3497
34.98/35.00	c nbDecision=30500 #constraints=3503
34.98/35.10	c nbDecision=31000 #constraints=3509
35.28/35.40	c nbDecision=31500 #constraints=3537
35.38/35.49	c nbDecision=32000 #constraints=3543
35.48/35.58	c nbDecision=32500 #constraints=3549
35.58/35.67	c nbDecision=33000 #constraints=3554
37.48/37.59	c nbDecision=33500 #constraints=3756
39.48/39.52	c nbDecision=34000 #constraints=3963
40.98/41.07	c nbDecision=34500 #constraints=4123
42.58/42.63	c nbDecision=35000 #constraints=4284
43.88/43.99	c nbDecision=35500 #constraints=4422
44.27/44.30	c nbDecision=36000 #constraints=4449
44.27/44.40	c nbDecision=36500 #constraints=4453
44.37/44.49	c nbDecision=37000 #constraints=4457
44.47/44.59	c nbDecision=37500 #constraints=4461
44.57/44.68	c nbDecision=38000 #constraints=4464
44.67/44.78	c nbDecision=38500 #constraints=4469
44.77/44.88	c nbDecision=39000 #constraints=4473
44.87/44.97	c nbDecision=39500 #constraints=4477
44.98/45.07	c nbDecision=40000 #constraints=4481
45.08/45.16	c nbDecision=40500 #constraints=4484
45.17/45.26	c nbDecision=41000 #constraints=4489
45.27/45.36	c nbDecision=41500 #constraints=4493
45.37/45.44	c nbDecision=42000 #constraints=4496
45.47/45.54	c nbDecision=42500 #constraints=4500
45.57/45.64	c nbDecision=43000 #constraints=4504
45.67/45.74	c nbDecision=43500 #constraints=4508
45.77/45.83	c nbDecision=44000 #constraints=4512
45.87/45.93	c nbDecision=44500 #constraints=4516
45.97/46.01	c nbDecision=45000 #constraints=4519
46.08/46.11	c nbDecision=45500 #constraints=4523
46.18/46.22	c nbDecision=46000 #constraints=4528
46.27/46.31	c nbDecision=46500 #constraints=4531
46.37/46.40	c nbDecision=47000 #constraints=4535
46.37/46.49	c nbDecision=47500 #constraints=4538
46.47/46.59	c nbDecision=48000 #constraints=4542
46.57/46.70	c nbDecision=48500 #constraints=4547
46.67/46.78	c nbDecision=49000 #constraints=4550
46.77/46.88	c nbDecision=49500 #constraints=4554
46.87/46.98	c nbDecision=50000 #constraints=4558
46.97/47.06	c nbDecision=50500 #constraints=4561
47.07/47.17	c nbDecision=51000 #constraints=4566
47.18/47.20	c restart after 51201 decisions
47.28/47.36	c nbDecision=51500 #constraints=4567
47.37/47.44	c nbDecision=52000 #constraints=4570
47.47/47.53	c nbDecision=52500 #constraints=4573
47.57/47.63	c nbDecision=53000 #constraints=4577
47.67/47.73	c nbDecision=53500 #constraints=4581
47.77/47.82	c nbDecision=54000 #constraints=4584
47.87/47.92	c nbDecision=54500 #constraints=4589
47.97/48.01	c nbDecision=55000 #constraints=4592
48.07/48.10	c nbDecision=55500 #constraints=4596
48.07/48.19	c nbDecision=56000 #constraints=4599
48.17/48.29	c nbDecision=56500 #constraints=4603
48.28/48.38	c nbDecision=57000 #constraints=4607
48.38/48.48	c nbDecision=57500 #constraints=4611
48.47/48.58	c nbDecision=58000 #constraints=4615
48.57/48.67	c nbDecision=58500 #constraints=4618
48.67/48.77	c nbDecision=59000 #constraints=4622
48.77/48.86	c nbDecision=59500 #constraints=4626
48.87/48.96	c nbDecision=60000 #constraints=4630
48.97/49.05	c nbDecision=60500 #constraints=4633
49.07/49.15	c nbDecision=61000 #constraints=4637
49.17/49.23	c nbDecision=61500 #constraints=4640
49.27/49.33	c nbDecision=62000 #constraints=4644
49.38/49.43	c nbDecision=62500 #constraints=4648
49.48/49.52	c nbDecision=63000 #constraints=4652
49.57/49.61	c nbDecision=63500 #constraints=4655
49.57/49.70	c nbDecision=64000 #constraints=4658
49.67/49.79	c nbDecision=64500 #constraints=4662
49.77/49.89	c nbDecision=65000 #constraints=4666
49.87/49.99	c nbDecision=65500 #constraints=4670
49.97/50.07	c nbDecision=66000 #constraints=4673
50.07/50.17	c nbDecision=66500 #constraints=4677
50.17/50.26	c nbDecision=67000 #constraints=4680
50.27/50.36	c nbDecision=67500 #constraints=4684
50.37/50.45	c nbDecision=68000 #constraints=4688
50.48/50.53	c nbDecision=68500 #constraints=4691
50.58/50.63	c nbDecision=69000 #constraints=4695
50.67/50.72	c nbDecision=69500 #constraints=4698
50.77/50.82	c nbDecision=70000 #constraints=4702
50.87/50.91	c nbDecision=70500 #constraints=4706
50.97/51.01	c nbDecision=71000 #constraints=4710
50.97/51.09	c nbDecision=71500 #constraints=4713
51.07/51.18	c nbDecision=72000 #constraints=4716
51.17/51.28	c nbDecision=72500 #constraints=4720
51.27/51.37	c nbDecision=73000 #constraints=4723
51.37/51.48	c nbDecision=73500 #constraints=4728
51.47/51.56	c nbDecision=74000 #constraints=4731
51.58/51.65	c nbDecision=74500 #constraints=4734
51.68/51.74	c nbDecision=75000 #constraints=4738
51.77/51.83	c nbDecision=75500 #constraints=4741
51.87/51.92	c nbDecision=76000 #constraints=4744
51.97/52.02	c nbDecision=76500 #constraints=4749
52.07/52.11	c nbDecision=77000 #constraints=4752
52.17/52.21	c nbDecision=77500 #constraints=4756
52.17/52.29	c nbDecision=78000 #constraints=4759
52.27/52.38	c nbDecision=78500 #constraints=4762
52.37/52.49	c nbDecision=79000 #constraints=4767
52.47/52.57	c nbDecision=79500 #constraints=4770
52.57/52.66	c nbDecision=80000 #constraints=4773
52.67/52.76	c nbDecision=80500 #constraints=4777
52.77/52.84	c nbDecision=81000 #constraints=4780
52.87/52.93	c nbDecision=81500 #constraints=4783
52.97/53.04	c nbDecision=82000 #constraints=4788
53.07/53.12	c nbDecision=82500 #constraints=4791
53.17/53.21	c nbDecision=83000 #constraints=4794
53.27/53.31	c nbDecision=83500 #constraints=4798
53.27/53.39	c nbDecision=84000 #constraints=4801
53.37/53.48	c nbDecision=84500 #constraints=4804
53.47/53.58	c nbDecision=85000 #constraints=4808
53.57/53.68	c nbDecision=85500 #constraints=4812
53.67/53.76	c nbDecision=86000 #constraints=4815
53.77/53.85	c nbDecision=86500 #constraints=4818
53.87/53.95	c nbDecision=87000 #constraints=4822
53.97/54.04	c nbDecision=87500 #constraints=4826
54.07/54.13	c nbDecision=88000 #constraints=4829
54.17/54.22	c nbDecision=88500 #constraints=4832
54.27/54.31	c nbDecision=89000 #constraints=4836
54.37/54.40	c nbDecision=89500 #constraints=4839
54.37/54.49	c nbDecision=90000 #constraints=4842
54.57/54.61	c nbDecision=90500 #constraints=4849
54.67/54.71	c nbDecision=91000 #constraints=4853
54.77/54.80	c nbDecision=91500 #constraints=4856
54.77/54.88	c nbDecision=92000 #constraints=4859
54.87/54.97	c nbDecision=92500 #constraints=4862
54.97/55.06	c nbDecision=93000 #constraints=4865
55.07/55.17	c nbDecision=93500 #constraints=4870
55.17/55.25	c nbDecision=94000 #constraints=4873
55.27/55.34	c nbDecision=94500 #constraints=4876
55.37/55.42	c nbDecision=95000 #constraints=4879
55.47/55.51	c nbDecision=95500 #constraints=4882
55.47/55.59	c nbDecision=96000 #constraints=4885
55.67/55.71	c nbDecision=96500 #constraints=4890
55.67/55.79	c nbDecision=97000 #constraints=4893
55.77/55.88	c nbDecision=97500 #constraints=4896
55.87/55.96	c nbDecision=98000 #constraints=4899
55.97/56.05	c nbDecision=98500 #constraints=4902
56.07/56.14	c nbDecision=99000 #constraints=4905
56.17/56.23	c nbDecision=99500 #constraints=4909
56.27/56.33	c nbDecision=100000 #constraints=4913
56.37/56.42	c nbDecision=100500 #constraints=4916
56.47/56.50	c nbDecision=101000 #constraints=4919
56.47/56.59	c nbDecision=101500 #constraints=4922
56.57/56.68	c nbDecision=102000 #constraints=4925
56.67/56.77	c restart after 102401 decisions
56.87/56.92	c nbDecision=102500 #constraints=4929
56.87/56.97	c nbDecision=103000 #constraints=4930
56.97/57.06	c nbDecision=103500 #constraints=4933
57.07/57.16	c nbDecision=104000 #constraints=4937
57.17/57.25	c nbDecision=104500 #constraints=4940
57.27/57.33	c nbDecision=105000 #constraints=4943
57.37/57.42	c nbDecision=105500 #constraints=4946
57.47/57.52	c nbDecision=106000 #constraints=4950
57.57/57.60	c nbDecision=106500 #constraints=4953
57.57/57.69	c nbDecision=107000 #constraints=4956
57.67/57.78	c nbDecision=107500 #constraints=4959
57.77/57.86	c nbDecision=108000 #constraints=4962
57.87/57.95	c nbDecision=108500 #constraints=4965
57.97/58.05	c nbDecision=109000 #constraints=4969
58.07/58.15	c nbDecision=109500 #constraints=4973
58.17/58.23	c nbDecision=110000 #constraints=4976
58.27/58.32	c nbDecision=110500 #constraints=4979
58.37/58.41	c nbDecision=111000 #constraints=4982
58.37/58.49	c nbDecision=111500 #constraints=4985
58.47/58.59	c nbDecision=112000 #constraints=4989
58.57/58.68	c nbDecision=112500 #constraints=4992
58.67/58.76	c nbDecision=113000 #constraints=4995
58.77/58.85	c nbDecision=113500 #constraints=4998
58.87/58.94	c nbDecision=114000 #constraints=5001
58.97/59.03	c nbDecision=114500 #constraints=5004
59.07/59.12	c nbDecision=115000 #constraints=5007
59.17/59.21	c nbDecision=115500 #constraints=5011
59.17/59.30	c nbDecision=116000 #constraints=5014
59.27/59.39	c nbDecision=116500 #constraints=5017
59.37/59.47	c nbDecision=117000 #constraints=5020
59.47/59.56	c nbDecision=117500 #constraints=5023
59.57/59.65	c nbDecision=118000 #constraints=5026
59.67/59.75	c nbDecision=118500 #constraints=5030
59.77/59.83	c nbDecision=119000 #constraints=5033
59.87/59.92	c nbDecision=119500 #constraints=5036
59.97/60.01	c nbDecision=120000 #constraints=5039
60.07/60.10	c nbDecision=120500 #constraints=5042
60.07/60.19	c nbDecision=121000 #constraints=5045
60.17/60.29	c nbDecision=121500 #constraints=5049
60.27/60.37	c nbDecision=122000 #constraints=5052
60.37/60.46	c nbDecision=122500 #constraints=5055
60.47/60.55	c nbDecision=123000 #constraints=5058
60.57/60.64	c nbDecision=123500 #constraints=5061
60.67/60.73	c nbDecision=124000 #constraints=5064
60.77/60.82	c nbDecision=124500 #constraints=5067
60.87/60.91	c nbDecision=125000 #constraints=5071
60.97/61.00	c nbDecision=125500 #constraints=5074
60.97/61.09	c nbDecision=126000 #constraints=5077
61.07/61.18	c nbDecision=126500 #constraints=5080
61.17/61.27	c nbDecision=127000 #constraints=5083
61.27/61.36	c nbDecision=127500 #constraints=5086
61.37/61.46	c nbDecision=128000 #constraints=5090
61.47/61.54	c nbDecision=128500 #constraints=5093
61.57/61.63	c nbDecision=129000 #constraints=5096
61.67/61.72	c nbDecision=129500 #constraints=5099
61.77/61.81	c nbDecision=130000 #constraints=5102
61.77/61.89	c nbDecision=130500 #constraints=5105
61.87/61.99	c nbDecision=131000 #constraints=5109
61.97/62.08	c nbDecision=131500 #constraints=5112
62.07/62.17	c nbDecision=132000 #constraints=5115
62.17/62.26	c nbDecision=132500 #constraints=5118
62.27/62.35	c nbDecision=133000 #constraints=5121
62.37/62.44	c nbDecision=133500 #constraints=5124
62.47/62.53	c nbDecision=134000 #constraints=5127
62.57/62.63	c nbDecision=134500 #constraints=5131
62.57/62.70	c nbDecision=135000 #constraints=5133
62.67/62.79	c nbDecision=135500 #constraints=5136
62.76/62.88	c nbDecision=136000 #constraints=5139
62.86/62.97	c nbDecision=136500 #constraints=5142
62.96/63.05	c nbDecision=137000 #constraints=5145
63.06/63.15	c nbDecision=137500 #constraints=5149
63.16/63.24	c nbDecision=138000 #constraints=5152
63.26/63.33	c nbDecision=138500 #constraints=5155
63.36/63.42	c nbDecision=139000 #constraints=5158
63.46/63.51	c nbDecision=139500 #constraints=5161
63.46/63.60	c nbDecision=140000 #constraints=5164
63.56/63.69	c nbDecision=140500 #constraints=5167
63.67/63.77	c nbDecision=141000 #constraints=5170
63.77/63.86	c nbDecision=141500 #constraints=5173
63.86/63.95	c nbDecision=142000 #constraints=5176
63.96/64.04	c nbDecision=142500 #constraints=5179
64.06/64.12	c nbDecision=143000 #constraints=5182
64.16/64.21	c nbDecision=143500 #constraints=5185
64.26/64.31	c nbDecision=144000 #constraints=5189
64.36/64.40	c nbDecision=144500 #constraints=5192
64.36/64.49	c nbDecision=145000 #constraints=5195
64.46/64.57	c nbDecision=145500 #constraints=5197
64.56/64.66	c nbDecision=146000 #constraints=5200
64.66/64.74	c nbDecision=146500 #constraints=5203
64.77/64.83	c nbDecision=147000 #constraints=5206
64.87/64.94	c nbDecision=147500 #constraints=5211
64.96/65.03	c nbDecision=148000 #constraints=5214
65.06/65.12	c nbDecision=148500 #constraints=5217
65.16/65.21	c nbDecision=149000 #constraints=5220
65.16/65.30	c nbDecision=149500 #constraints=5223
65.26/65.39	c nbDecision=150000 #constraints=5226
65.36/65.49	c nbDecision=150500 #constraints=5230
65.46/65.56	c nbDecision=151000 #constraints=5232
65.56/65.65	c nbDecision=151500 #constraints=5235
65.66/65.73	c nbDecision=152000 #constraints=5238
65.76/65.82	c nbDecision=152500 #constraints=5241
65.86/65.91	c nbDecision=153000 #constraints=5244
65.86/66.00	c nbDecision=153500 #constraints=5247
65.96/66.08	c nbDecision=154000 #constraints=5250
66.06/66.17	c nbDecision=154500 #constraints=5253
66.16/66.26	c nbDecision=155000 #constraints=5256
66.26/66.35	c nbDecision=155500 #constraints=5259
66.36/66.44	c nbDecision=156000 #constraints=5262
66.46/66.53	c nbDecision=156500 #constraints=5265
66.56/66.60	c nbDecision=157000 #constraints=5267
66.66/66.70	c nbDecision=157500 #constraints=5271
66.66/66.79	c nbDecision=158000 #constraints=5274
66.76/66.88	c nbDecision=158500 #constraints=5277
66.86/66.97	c nbDecision=159000 #constraints=5280
66.96/67.05	c nbDecision=159500 #constraints=5282
67.06/67.14	c nbDecision=160000 #constraints=5285
67.16/67.23	c nbDecision=160500 #constraints=5288
67.26/67.32	c nbDecision=161000 #constraints=5292
67.36/67.41	c nbDecision=161500 #constraints=5295
67.36/67.49	c nbDecision=162000 #constraints=5297
67.46/67.58	c nbDecision=162500 #constraints=5300
67.56/67.67	c nbDecision=163000 #constraints=5303
67.66/67.76	c nbDecision=163500 #constraints=5306
67.76/67.84	c nbDecision=164000 #constraints=5308
67.86/67.93	c nbDecision=164500 #constraints=5312
67.96/68.02	c nbDecision=165000 #constraints=5315
68.06/68.11	c nbDecision=165500 #constraints=5318
68.06/68.19	c nbDecision=166000 #constraints=5320
68.16/68.28	c nbDecision=166500 #constraints=5323
68.26/68.37	c nbDecision=167000 #constraints=5326
68.36/68.47	c nbDecision=167500 #constraints=5330
68.46/68.56	c nbDecision=168000 #constraints=5333
68.56/68.64	c nbDecision=168500 #constraints=5335
68.66/68.72	c nbDecision=169000 #constraints=5338
68.76/68.81	c nbDecision=169500 #constraints=5341
68.76/68.89	c nbDecision=170000 #constraints=5343
68.86/68.98	c nbDecision=170500 #constraints=5346
68.96/69.08	c nbDecision=171000 #constraints=5350
69.06/69.17	c nbDecision=171500 #constraints=5353
69.16/69.25	c nbDecision=172000 #constraints=5355
69.26/69.34	c nbDecision=172500 #constraints=5358
69.36/69.43	c nbDecision=173000 #constraints=5361
69.46/69.52	c nbDecision=173500 #constraints=5364
69.46/69.59	c nbDecision=174000 #constraints=5366
69.56/69.69	c nbDecision=174500 #constraints=5370
69.66/69.78	c nbDecision=175000 #constraints=5373
69.76/69.87	c nbDecision=175500 #constraints=5376
69.86/69.95	c nbDecision=176000 #constraints=5378
69.96/70.04	c nbDecision=176500 #constraints=5381
70.06/70.13	c nbDecision=177000 #constraints=5384
70.16/70.20	c nbDecision=177500 #constraints=5386
70.26/70.30	c nbDecision=178000 #constraints=5390
70.26/70.39	c nbDecision=178500 #constraints=5393
70.36/70.48	c nbDecision=179000 #constraints=5396
70.45/70.56	c nbDecision=179500 #constraints=5398
70.55/70.65	c nbDecision=180000 #constraints=5401
70.65/70.74	c nbDecision=180500 #constraints=5404
70.75/70.81	c nbDecision=181000 #constraints=5406
70.85/70.91	c nbDecision=181500 #constraints=5410
70.95/71.00	c nbDecision=182000 #constraints=5413
70.95/71.08	c nbDecision=182500 #constraints=5415
71.05/71.17	c nbDecision=183000 #constraints=5418
71.15/71.26	c nbDecision=183500 #constraints=5421
71.25/71.33	c nbDecision=184000 #constraints=5423
71.36/71.42	c nbDecision=184500 #constraints=5426
71.46/71.52	c nbDecision=185000 #constraints=5430
71.55/71.61	c nbDecision=185500 #constraints=5433
71.55/71.69	c nbDecision=186000 #constraints=5435
71.65/71.78	c nbDecision=186500 #constraints=5438
71.75/71.87	c nbDecision=187000 #constraints=5441
71.85/71.94	c nbDecision=187500 #constraints=5443
71.95/72.03	c nbDecision=188000 #constraints=5446
72.05/72.13	c nbDecision=188500 #constraints=5450
72.15/72.21	c nbDecision=189000 #constraints=5452
72.25/72.30	c nbDecision=189500 #constraints=5455
72.25/72.39	c nbDecision=190000 #constraints=5458
72.35/72.46	c nbDecision=190500 #constraints=5460
72.45/72.55	c nbDecision=191000 #constraints=5463
72.55/72.64	c nbDecision=191500 #constraints=5466
72.65/72.72	c nbDecision=192000 #constraints=5468
72.75/72.82	c nbDecision=192500 #constraints=5472
72.75/72.89	c nbDecision=193000 #constraints=5474
72.85/72.98	c nbDecision=193500 #constraints=5477
72.95/73.07	c nbDecision=194000 #constraints=5480
73.05/73.15	c nbDecision=194500 #constraints=5482
73.15/73.24	c nbDecision=195000 #constraints=5485
73.25/73.33	c nbDecision=195500 #constraints=5488
73.35/73.42	c nbDecision=196000 #constraints=5491
73.45/73.51	c nbDecision=196500 #constraints=5494
73.45/73.60	c nbDecision=197000 #constraints=5497
73.55/73.67	c nbDecision=197500 #constraints=5499
73.65/73.76	c nbDecision=198000 #constraints=5502
73.75/73.86	c nbDecision=198500 #constraints=5505
73.85/73.93	c nbDecision=199000 #constraints=5507
73.95/74.03	c nbDecision=199500 #constraints=5511
74.05/74.11	c nbDecision=200000 #constraints=5513
74.05/74.20	c nbDecision=200500 #constraints=5516
74.15/74.29	c nbDecision=201000 #constraints=5519
74.25/74.36	c nbDecision=201500 #constraints=5521
74.35/74.45	c nbDecision=202000 #constraints=5524
74.45/74.53	c nbDecision=202500 #constraints=5526
74.55/74.63	c nbDecision=203000 #constraints=5530
74.65/74.72	c nbDecision=203500 #constraints=5533
74.65/74.80	c nbDecision=204000 #constraints=5535
74.75/74.89	c nbDecision=204500 #constraints=5538
74.85/74.93	c restart after 204801 decisions
75.05/75.11	c nbDecision=205000 #constraints=5539
75.05/75.19	c nbDecision=205500 #constraints=5541
75.15/75.26	c nbDecision=206000 #constraints=5543
75.25/75.35	c nbDecision=206500 #constraints=5546
75.35/75.46	c nbDecision=207000 #constraints=5550
75.45/75.53	c nbDecision=207500 #constraints=5552
75.55/75.62	c nbDecision=208000 #constraints=5555
75.65/75.70	c nbDecision=208500 #constraints=5557
75.65/75.79	c nbDecision=209000 #constraints=5560
75.75/75.88	c nbDecision=209500 #constraints=5563
75.85/75.95	c nbDecision=210000 #constraints=5565
75.95/76.05	c nbDecision=210500 #constraints=5568
76.06/76.13	c nbDecision=211000 #constraints=5571
76.16/76.22	c nbDecision=211500 #constraints=5574
76.26/76.30	c nbDecision=212000 #constraints=5576
76.26/76.39	c nbDecision=212500 #constraints=5579
76.36/76.48	c nbDecision=213000 #constraints=5582
76.46/76.56	c nbDecision=213500 #constraints=5584
76.56/76.65	c nbDecision=214000 #constraints=5587
76.66/76.74	c nbDecision=214500 #constraints=5590
76.76/76.83	c nbDecision=215000 #constraints=5593
76.76/76.90	c nbDecision=215500 #constraints=5595
76.86/76.97	c nbDecision=216000 #constraints=5597
76.96/77.06	c nbDecision=216500 #constraints=5600
77.06/77.14	c nbDecision=217000 #constraints=5602
77.16/77.21	c nbDecision=217500 #constraints=5604
77.26/77.30	c nbDecision=218000 #constraints=5607
77.85/77.95	c nbDecision=218500 #constraints=5665
81.55/81.64	c nbDecision=219000 #constraints=5952
85.24/85.33	c nbDecision=219500 #constraints=6238
89.05/89.11	c nbDecision=220000 #constraints=6524
92.85/92.96	c nbDecision=220500 #constraints=6810
96.85/96.90	c nbDecision=221000 #constraints=7096
100.85/100.97	c nbDecision=221500 #constraints=7382
105.04/105.18	c nbDecision=222000 #constraints=7668
109.44/109.52	c nbDecision=222500 #constraints=7954
113.94/114.00	c nbDecision=223000 #constraints=8242
114.14/114.23	c nbDecision=223500 #constraints=8243
114.44/114.53	c nbDecision=224000 #constraints=8245
114.64/114.75	c nbDecision=224500 #constraints=8246
114.84/114.98	c nbDecision=225000 #constraints=8247
115.14/115.26	c nbDecision=225500 #constraints=8249
115.44/115.50	c nbDecision=226000 #constraints=8250
115.64/115.77	c nbDecision=226500 #constraints=8252
115.94/116.03	c nbDecision=227000 #constraints=8253
116.14/116.29	c nbDecision=227500 #constraints=8255
116.44/116.55	c nbDecision=228000 #constraints=8256
116.74/116.82	c nbDecision=228500 #constraints=8258
116.94/117.08	c nbDecision=229000 #constraints=8259
117.44/117.58	c nbDecision=229500 #constraints=8279
117.74/117.83	c nbDecision=230000 #constraints=8280
118.04/118.12	c nbDecision=230500 #constraints=8282
118.24/118.35	c nbDecision=231000 #constraints=8283
118.54/118.65	c nbDecision=231500 #constraints=8285
118.74/118.88	c nbDecision=232000 #constraints=8286
119.04/119.11	c nbDecision=232500 #constraints=8287
119.34/119.40	c nbDecision=233000 #constraints=8289
119.54/119.65	c nbDecision=233500 #constraints=8290
119.84/119.93	c nbDecision=234000 #constraints=8292
120.04/120.19	c nbDecision=234500 #constraints=8293
120.34/120.47	c nbDecision=235000 #constraints=8295
120.64/120.74	c nbDecision=235500 #constraints=8296
121.13/121.23	c nbDecision=236000 #constraints=8315
121.33/121.49	c nbDecision=236500 #constraints=8316
121.63/121.79	c nbDecision=237000 #constraints=8318
121.94/122.03	c nbDecision=237500 #constraints=8319
122.13/122.26	c nbDecision=238000 #constraints=8320
122.43/122.57	c nbDecision=238500 #constraints=8322
122.73/122.82	c nbDecision=239000 #constraints=8323
123.04/123.10	c nbDecision=239500 #constraints=8325
123.23/123.37	c nbDecision=240000 #constraints=8326
123.53/123.66	c nbDecision=240500 #constraints=8328
123.83/123.93	c nbDecision=241000 #constraints=8329
124.14/124.21	c nbDecision=241500 #constraints=8331
124.33/124.49	c nbDecision=242000 #constraints=8332
124.93/125.02	c nbDecision=242500 #constraints=8351
125.13/125.25	c nbDecision=243000 #constraints=8352
125.43/125.50	c nbDecision=243500 #constraints=8353
125.63/125.80	c nbDecision=244000 #constraints=8355
125.93/126.07	c nbDecision=244500 #constraints=8356
126.23/126.36	c nbDecision=245000 #constraints=8358
126.53/126.63	c nbDecision=245500 #constraints=8359
126.83/126.92	c nbDecision=246000 #constraints=8361
127.03/127.20	c nbDecision=246500 #constraints=8362
127.33/127.49	c nbDecision=247000 #constraints=8364
127.63/127.76	c nbDecision=247500 #constraints=8365
127.93/128.06	c nbDecision=248000 #constraints=8367
128.23/128.32	c nbDecision=248500 #constraints=8368
128.54/128.62	c nbDecision=249000 #constraints=8370
128.93/129.08	c nbDecision=249500 #constraints=8388
129.23/129.36	c nbDecision=250000 #constraints=8389
129.53/129.66	c nbDecision=250500 #constraints=8391
129.83/129.93	c nbDecision=251000 #constraints=8392
130.13/130.23	c nbDecision=251500 #constraints=8394
130.33/130.49	c nbDecision=252000 #constraints=8395
130.63/130.80	c nbDecision=252500 #constraints=8397
130.93/131.05	c nbDecision=253000 #constraints=8398
131.23/131.36	c nbDecision=253500 #constraints=8400
131.43/131.59	c nbDecision=254000 #constraints=8401
131.73/131.84	c nbDecision=254500 #constraints=8402
132.03/132.13	c nbDecision=255000 #constraints=8404
132.33/132.40	c nbDecision=255500 #constraints=8405
132.83/132.94	c nbDecision=256000 #constraints=8424
133.03/133.19	c nbDecision=256500 #constraints=8425
133.43/133.50	c nbDecision=257000 #constraints=8427
133.63/133.73	c nbDecision=257500 #constraints=8428
133.83/133.98	c nbDecision=258000 #constraints=8429
134.13/134.28	c nbDecision=258500 #constraints=8431
134.43/134.55	c nbDecision=259000 #constraints=8432
134.73/134.84	c nbDecision=259500 #constraints=8434
135.03/135.11	c nbDecision=260000 #constraints=8435
135.33/135.40	c nbDecision=260500 #constraints=8437
135.53/135.67	c nbDecision=261000 #constraints=8438
135.83/135.97	c nbDecision=261500 #constraints=8440
136.13/136.23	c nbDecision=262000 #constraints=8441
136.63/136.71	c nbDecision=262500 #constraints=8459
136.93/137.00	c nbDecision=263000 #constraints=8461
137.13/137.28	c nbDecision=263500 #constraints=8462
137.43/137.58	c nbDecision=264000 #constraints=8464
137.73/137.84	c nbDecision=264500 #constraints=8465
138.03/138.15	c nbDecision=265000 #constraints=8467
138.23/138.39	c nbDecision=265500 #constraints=8468
138.53/138.63	c nbDecision=266000 #constraints=8469
138.83/138.94	c nbDecision=266500 #constraints=8471
139.12/139.21	c nbDecision=267000 #constraints=8472
139.42/139.50	c nbDecision=267500 #constraints=8474
139.63/139.78	c nbDecision=268000 #constraints=8475
139.92/140.08	c nbDecision=268500 #constraints=8477
140.42/140.58	c nbDecision=269000 #constraints=8495
140.73/140.84	c nbDecision=269500 #constraints=8496
141.02/141.15	c nbDecision=270000 #constraints=8498
141.32/141.43	c nbDecision=270500 #constraints=8499
141.62/141.73	c nbDecision=271000 #constraints=8501
141.92/142.01	c nbDecision=271500 #constraints=8502
142.22/142.32	c nbDecision=272000 #constraints=8504
142.42/142.59	c nbDecision=272500 #constraints=8505
142.83/142.91	c nbDecision=273000 #constraints=8507
143.02/143.16	c nbDecision=273500 #constraints=8508
143.32/143.40	c nbDecision=274000 #constraints=8509
143.62/143.71	c nbDecision=274500 #constraints=8511
143.82/143.99	c nbDecision=275000 #constraints=8512
144.42/144.57	c nbDecision=275500 #constraints=8531
144.72/144.82	c nbDecision=276000 #constraints=8532
144.92/145.07	c nbDecision=276500 #constraints=8533
145.22/145.39	c nbDecision=277000 #constraints=8535
145.52/145.67	c nbDecision=277500 #constraints=8536
145.82/145.98	c nbDecision=278000 #constraints=8538
146.12/146.26	c nbDecision=278500 #constraints=8539
146.42/146.58	c nbDecision=279000 #constraints=8541
146.72/146.85	c nbDecision=279500 #constraints=8542
147.02/147.17	c nbDecision=280000 #constraints=8544
147.32/147.43	c nbDecision=280500 #constraints=8545
147.52/147.67	c nbDecision=281000 #constraints=8546
147.82/147.99	c nbDecision=281500 #constraints=8548
148.12/148.27	c nbDecision=282000 #constraints=8549
148.72/148.86	c nbDecision=282500 #constraints=8568
149.02/149.11	c nbDecision=283000 #constraints=8569
149.22/149.36	c nbDecision=283500 #constraints=8570
149.52/149.69	c nbDecision=284000 #constraints=8572
149.82/149.97	c nbDecision=284500 #constraints=8573
150.12/150.28	c nbDecision=285000 #constraints=8575
150.42/150.56	c nbDecision=285500 #constraints=8576
150.72/150.88	c nbDecision=286000 #constraints=8578
151.02/151.15	c nbDecision=286500 #constraints=8579
151.32/151.48	c nbDecision=287000 #constraints=8581
151.62/151.72	c nbDecision=287500 #constraints=8582
151.82/151.98	c nbDecision=288000 #constraints=8583
152.22/152.31	c nbDecision=288500 #constraints=8585
152.72/152.84	c nbDecision=289000 #constraints=8603
153.02/153.17	c nbDecision=289500 #constraints=8605
153.32/153.41	c nbDecision=290000 #constraints=8606
153.52/153.69	c nbDecision=290500 #constraints=8607
153.92/154.02	c nbDecision=291000 #constraints=8609
154.22/154.30	c nbDecision=291500 #constraints=8610
154.52/154.63	c nbDecision=292000 #constraints=8612
154.81/154.90	c nbDecision=292500 #constraints=8613
155.11/155.24	c nbDecision=293000 #constraints=8615
155.31/155.49	c nbDecision=293500 #constraints=8616
155.62/155.75	c nbDecision=294000 #constraints=8617
155.91/156.08	c nbDecision=294500 #constraints=8619
156.21/156.36	c nbDecision=295000 #constraints=8620
156.81/156.95	c nbDecision=295500 #constraints=8639
157.01/157.19	c nbDecision=296000 #constraints=8640
157.31/157.48	c nbDecision=296500 #constraints=8641
157.71/157.80	c nbDecision=297000 #constraints=8643
157.91/158.09	c nbDecision=297500 #constraints=8644
158.32/158.42	c nbDecision=298000 #constraints=8646
158.61/158.70	c nbDecision=298500 #constraints=8647
158.91/159.04	c nbDecision=299000 #constraints=8649
159.11/159.28	c nbDecision=299500 #constraints=8650
159.42/159.55	c nbDecision=300000 #constraints=8651
159.71/159.88	c nbDecision=300500 #constraints=8653
160.01/160.18	c nbDecision=301000 #constraints=8654
160.42/160.51	c nbDecision=301500 #constraints=8656
160.61/160.80	c nbDecision=302000 #constraints=8657
161.21/161.31	c nbDecision=302500 #constraints=8675
161.52/161.65	c nbDecision=303000 #constraints=8677
161.81/161.94	c nbDecision=303500 #constraints=8678
162.11/162.29	c nbDecision=304000 #constraints=8680
162.41/162.55	c nbDecision=304500 #constraints=8681
162.72/162.81	c nbDecision=305000 #constraints=8682
163.01/163.15	c nbDecision=305500 #constraints=8684
163.31/163.44	c nbDecision=306000 #constraints=8685
163.61/163.78	c nbDecision=306500 #constraints=8687
163.91/164.07	c nbDecision=307000 #constraints=8688
164.31/164.41	c nbDecision=307500 #constraints=8690
164.51/164.68	c nbDecision=308000 #constraints=8691
164.81/164.94	c nbDecision=308500 #constraints=8692
165.41/165.56	c nbDecision=309000 #constraints=8711
165.71/165.84	c nbDecision=309500 #constraints=8712
166.01/166.18	c nbDecision=310000 #constraints=8714
166.31/166.44	c nbDecision=310500 #constraints=8715
166.61/166.73	c nbDecision=311000 #constraints=8716
166.91/167.07	c nbDecision=311500 #constraints=8718
167.21/167.37	c nbDecision=312000 #constraints=8719
167.61/167.72	c nbDecision=312500 #constraints=8721
167.81/168.00	c nbDecision=313000 #constraints=8722
168.11/168.25	c nbDecision=313500 #constraints=8723
168.51/168.60	c nbDecision=314000 #constraints=8725
168.81/168.90	c nbDecision=314500 #constraints=8726
169.11/169.24	c nbDecision=315000 #constraints=8728
169.41/169.54	c nbDecision=315500 #constraints=8729
169.91/170.06	c nbDecision=316000 #constraints=8747
170.31/170.40	c nbDecision=316500 #constraints=8749
170.61/170.70	c nbDecision=317000 #constraints=8750
170.91/171.05	c nbDecision=317500 #constraints=8752
171.21/171.31	c nbDecision=318000 #constraints=8753
171.41/171.58	c nbDecision=318500 #constraints=8754
171.81/171.93	c nbDecision=319000 #constraints=8756
172.11/172.23	c nbDecision=319500 #constraints=8757
172.41/172.58	c nbDecision=320000 #constraints=8759
172.71/172.87	c nbDecision=320500 #constraints=8760
173.11/173.22	c nbDecision=321000 #constraints=8762
173.31/173.47	c nbDecision=321500 #constraints=8763
173.61/173.76	c nbDecision=322000 #constraints=8764
174.21/174.39	c nbDecision=322500 #constraints=8783
174.51/174.65	c nbDecision=323000 #constraints=8784
174.81/174.93	c nbDecision=323500 #constraints=8785
175.11/175.28	c nbDecision=324000 #constraints=8787
175.41/175.58	c nbDecision=324500 #constraints=8788
175.81/175.94	c nbDecision=325000 #constraints=8790
176.11/176.22	c nbDecision=325500 #constraints=8791
176.31/176.48	c nbDecision=326000 #constraints=8792
176.70/176.84	c nbDecision=326500 #constraints=8794
177.01/177.13	c nbDecision=327000 #constraints=8795
177.30/177.49	c nbDecision=327500 #constraints=8797
177.60/177.78	c nbDecision=328000 #constraints=8798
178.01/178.14	c nbDecision=328500 #constraints=8800
178.30/178.40	c nbDecision=329000 #constraints=8801
178.80/178.96	c nbDecision=329500 #constraints=8819
179.21/179.33	c nbDecision=330000 #constraints=8821
179.40/179.58	c nbDecision=330500 #constraints=8822
179.70/179.88	c nbDecision=331000 #constraints=8823
180.10/180.24	c nbDecision=331500 #constraints=8825
180.40/180.54	c nbDecision=332000 #constraints=8826
180.80/180.91	c nbDecision=332500 #constraints=8828
181.00/181.19	c nbDecision=333000 #constraints=8829
181.31/181.46	c nbDecision=333500 #constraints=8830
181.70/181.82	c nbDecision=334000 #constraints=8832
182.00/182.13	c nbDecision=334500 #constraints=8833
182.30/182.49	c nbDecision=335000 #constraints=8835
182.60/182.78	c nbDecision=335500 #constraints=8836
183.00/183.14	c nbDecision=336000 #constraints=8838
183.61/183.71	c nbDecision=336500 #constraints=8856
183.90/184.00	c nbDecision=337000 #constraints=8857
184.10/184.26	c nbDecision=337500 #constraints=8858
184.50/184.64	c nbDecision=338000 #constraints=8860
184.80/184.94	c nbDecision=338500 #constraints=8861
185.20/185.31	c nbDecision=339000 #constraints=8863
185.50/185.61	c nbDecision=339500 #constraints=8864
185.80/185.98	c nbDecision=340000 #constraints=8866
186.10/186.24	c nbDecision=340500 #constraints=8867
186.40/186.55	c nbDecision=341000 #constraints=8868
186.80/186.92	c nbDecision=341500 #constraints=8870
187.10/187.22	c nbDecision=342000 #constraints=8871
187.50/187.60	c nbDecision=342500 #constraints=8873
188.00/188.15	c nbDecision=343000 #constraints=8891
188.30/188.45	c nbDecision=343500 #constraints=8892
188.70/188.82	c nbDecision=344000 #constraints=8894
188.90/189.09	c nbDecision=344500 #constraints=8895
189.30/189.40	c nbDecision=345000 #constraints=8896
189.61/189.77	c nbDecision=345500 #constraints=8898
189.91/190.07	c nbDecision=346000 #constraints=8899
190.31/190.45	c nbDecision=346500 #constraints=8901
190.61/190.70	c nbDecision=347000 #constraints=8902
190.91/191.01	c nbDecision=347500 #constraints=8903
191.21/191.37	c nbDecision=348000 #constraints=8905
191.51/191.68	c nbDecision=348500 #constraints=8906
191.91/192.06	c nbDecision=349000 #constraints=8908
192.21/192.32	c nbDecision=349500 #constraints=8909
192.81/192.90	c nbDecision=350000 #constraints=8927
193.10/193.27	c nbDecision=350500 #constraints=8929
193.41/193.54	c nbDecision=351000 #constraints=8930
193.70/193.85	c nbDecision=351500 #constraints=8931
194.10/194.22	c nbDecision=352000 #constraints=8933
194.40/194.52	c nbDecision=352500 #constraints=8934
194.70/194.90	c nbDecision=353000 #constraints=8936
195.00/195.16	c nbDecision=353500 #constraints=8937
195.30/195.47	c nbDecision=354000 #constraints=8938
195.71/195.85	c nbDecision=354500 #constraints=8940
196.00/196.15	c nbDecision=355000 #constraints=8941
196.40/196.52	c nbDecision=355500 #constraints=8943
196.60/196.79	c nbDecision=356000 #constraints=8944
197.00/197.10	c nbDecision=356500 #constraints=8945
197.50/197.65	c nbDecision=357000 #constraints=8963
197.91/198.04	c nbDecision=357500 #constraints=8965
198.20/198.35	c nbDecision=358000 #constraints=8966
198.60/198.74	c nbDecision=358500 #constraints=8968
198.91/199.03	c nbDecision=359000 #constraints=8969
199.20/199.31	c nbDecision=359500 #constraints=8970
199.50/199.69	c nbDecision=360000 #constraints=8972
199.90/200.01	c nbDecision=360500 #constraints=8973
200.30/200.40	c nbDecision=361000 #constraints=8975
200.50/200.69	c nbDecision=361500 #constraints=8976
200.80/200.98	c nbDecision=362000 #constraints=8977
201.20/201.36	c nbDecision=362500 #constraints=8979
201.50/201.68	c nbDecision=363000 #constraints=8980
201.90/202.08	c nbDecision=363500 #constraints=8982
202.50/202.64	c nbDecision=364000 #constraints=9000
202.80/202.96	c nbDecision=364500 #constraints=9001
203.20/203.35	c nbDecision=365000 #constraints=9003
203.50/203.62	c nbDecision=365500 #constraints=9004
203.80/203.94	c nbDecision=366000 #constraints=9005
204.20/204.33	c nbDecision=366500 #constraints=9007
204.50/204.64	c nbDecision=367000 #constraints=9008
204.90/205.02	c nbDecision=367500 #constraints=9010
205.20/205.31	c nbDecision=368000 #constraints=9011
205.50/205.64	c nbDecision=368500 #constraints=9012
205.90/206.03	c nbDecision=369000 #constraints=9014
206.20/206.33	c nbDecision=369500 #constraints=9015
206.50/206.61	c nbDecision=370000 #constraints=9016
207.20/207.32	c nbDecision=370500 #constraints=9035
207.50/207.60	c nbDecision=371000 #constraints=9036
207.80/207.91	c nbDecision=371500 #constraints=9037
208.20/208.30	c nbDecision=372000 #constraints=9039
208.50/208.62	c nbDecision=372500 #constraints=9040
208.90/209.02	c nbDecision=373000 #constraints=9042
209.10/209.29	c nbDecision=373500 #constraints=9043
209.50/209.62	c nbDecision=374000 #constraints=9044
209.90/210.01	c nbDecision=374500 #constraints=9046
210.20/210.32	c nbDecision=375000 #constraints=9047
210.50/210.60	c nbDecision=375500 #constraints=9048
210.79/210.99	c nbDecision=376000 #constraints=9050
211.19/211.32	c nbDecision=376500 #constraints=9051
211.59/211.72	c nbDecision=377000 #constraints=9053
212.10/212.29	c nbDecision=377500 #constraints=9071
212.49/212.61	c nbDecision=378000 #constraints=9072
212.89/213.01	c nbDecision=378500 #constraints=9074
213.09/213.28	c nbDecision=379000 #constraints=9075
213.49/213.60	c nbDecision=379500 #constraints=9076
213.89/214.00	c nbDecision=380000 #constraints=9078
214.19/214.31	c nbDecision=380500 #constraints=9079
214.40/214.59	c nbDecision=381000 #constraints=9080
214.79/214.99	c nbDecision=381500 #constraints=9082
215.19/215.32	c nbDecision=382000 #constraints=9083
215.59/215.72	c nbDecision=382500 #constraints=9085
215.89/216.01	c nbDecision=383000 #constraints=9086
216.19/216.31	c nbDecision=383500 #constraints=9087
216.59/216.71	c nbDecision=384000 #constraints=9089
217.09/217.30	c nbDecision=384500 #constraints=9107
217.49/217.62	c nbDecision=385000 #constraints=9108
217.89/218.03	c nbDecision=385500 #constraints=9110
218.19/218.33	c nbDecision=386000 #constraints=9111
218.49/218.62	c nbDecision=386500 #constraints=9112
218.89/219.03	c nbDecision=387000 #constraints=9114
219.19/219.35	c nbDecision=387500 #constraints=9115
219.59/219.76	c nbDecision=388000 #constraints=9117
219.89/220.04	c nbDecision=388500 #constraints=9118
220.19/220.36	c nbDecision=389000 #constraints=9119
220.59/220.78	c nbDecision=389500 #constraints=9121
220.89/221.09	c nbDecision=390000 #constraints=9122
221.19/221.37	c nbDecision=390500 #constraints=9123
221.59/221.79	c nbDecision=391000 #constraints=9125
222.19/222.39	c nbDecision=391500 #constraints=9143
222.59/222.72	c nbDecision=392000 #constraints=9144
222.99/223.14	c nbDecision=392500 #constraints=9146
223.29/223.45	c nbDecision=393000 #constraints=9147
223.59/223.74	c nbDecision=393500 #constraints=9148
223.99/224.15	c nbDecision=394000 #constraints=9150
224.29/224.49	c nbDecision=394500 #constraints=9151
224.79/224.91	c nbDecision=395000 #constraints=9153
225.09/225.20	c nbDecision=395500 #constraints=9154
225.39/225.52	c nbDecision=396000 #constraints=9155
225.78/225.94	c nbDecision=396500 #constraints=9157
226.08/226.26	c nbDecision=397000 #constraints=9158
226.49/226.66	c nbDecision=397500 #constraints=9160
226.78/226.97	c nbDecision=398000 #constraints=9161
227.38/227.58	c nbDecision=398500 #constraints=9179
227.78/227.90	c nbDecision=399000 #constraints=9180
228.18/228.32	c nbDecision=399500 #constraints=9182
228.48/228.64	c nbDecision=400000 #constraints=9183
228.78/228.93	c nbDecision=400500 #constraints=9184
229.18/229.36	c nbDecision=401000 #constraints=9186
229.58/229.70	c nbDecision=401500 #constraints=9187
229.98/230.12	c nbDecision=402000 #constraints=9189
230.28/230.40	c nbDecision=402500 #constraints=9190
230.58/230.73	c nbDecision=403000 #constraints=9191
230.98/231.15	c nbDecision=403500 #constraints=9193
231.28/231.47	c nbDecision=404000 #constraints=9194
231.58/231.76	c nbDecision=404500 #constraints=9195
231.99/232.18	c nbDecision=405000 #constraints=9197
232.58/232.79	c nbDecision=405500 #constraints=9215
232.99/233.12	c nbDecision=406000 #constraints=9216
233.38/233.54	c nbDecision=406500 #constraints=9218
233.68/233.86	c nbDecision=407000 #constraints=9219
233.98/234.16	c nbDecision=407500 #constraints=9220
234.38/234.58	c nbDecision=408000 #constraints=9222
234.78/234.91	c nbDecision=408500 #constraints=9223
235.18/235.32	c nbDecision=409000 #constraints=9225
235.48/235.63	c nbDecision=409500 #constraints=9226
235.48/235.69	c restart after 409601 decisions
236.08/236.26	c nbDecision=410000 #constraints=9226
236.48/236.68	c nbDecision=410500 #constraints=9228
236.78/237.00	c nbDecision=411000 #constraints=9229
237.08/237.30	c nbDecision=411500 #constraints=9230
237.58/237.72	c nbDecision=412000 #constraints=9232
237.88/238.06	c nbDecision=412500 #constraints=9233
238.48/238.67	c nbDecision=413000 #constraints=9251
238.98/239.10	c nbDecision=413500 #constraints=9253
239.28/239.40	c nbDecision=414000 #constraints=9254
239.58/239.72	c nbDecision=414500 #constraints=9255
239.98/240.16	c nbDecision=415000 #constraints=9257
240.28/240.48	c nbDecision=415500 #constraints=9258
240.58/240.78	c nbDecision=416000 #constraints=9259
241.08/241.21	c nbDecision=416500 #constraints=9261
241.38/241.55	c nbDecision=417000 #constraints=9262
241.78/241.99	c nbDecision=417500 #constraints=9264
242.08/242.28	c nbDecision=418000 #constraints=9265
242.48/242.62	c nbDecision=418500 #constraints=9266
242.88/243.05	c nbDecision=419000 #constraints=9268
243.18/243.37	c nbDecision=419500 #constraints=9269
243.88/244.01	c nbDecision=420000 #constraints=9287
244.18/244.30	c nbDecision=420500 #constraints=9288
244.57/244.74	c nbDecision=421000 #constraints=9290
244.87/245.09	c nbDecision=421500 #constraints=9291
245.37/245.53	c nbDecision=422000 #constraints=9293
245.67/245.82	c nbDecision=422500 #constraints=9294
245.97/246.16	c nbDecision=423000 #constraints=9295
246.47/246.61	c nbDecision=423500 #constraints=9297
246.77/246.91	c nbDecision=424000 #constraints=9298
247.07/247.24	c nbDecision=424500 #constraints=9299
247.47/247.68	c nbDecision=425000 #constraints=9301
247.87/248.01	c nbDecision=425500 #constraints=9302
248.17/248.31	c nbDecision=426000 #constraints=9303
248.57/248.75	c nbDecision=426500 #constraints=9305
249.17/249.39	c nbDecision=427000 #constraints=9323
249.57/249.73	c nbDecision=427500 #constraints=9324
249.97/250.18	c nbDecision=428000 #constraints=9326
250.27/250.47	c nbDecision=428500 #constraints=9327
250.67/250.80	c nbDecision=429000 #constraints=9328
251.07/251.25	c nbDecision=429500 #constraints=9330
251.37/251.57	c nbDecision=430000 #constraints=9331
251.67/251.88	c nbDecision=430500 #constraints=9332
252.17/252.32	c nbDecision=431000 #constraints=9334
252.47/252.66	c nbDecision=431500 #constraints=9335
252.87/253.07	c nbDecision=432000 #constraints=9337
253.17/253.39	c nbDecision=432500 #constraints=9338
253.57/253.74	c nbDecision=433000 #constraints=9339
253.97/254.19	c nbDecision=433500 #constraints=9341
254.67/254.82	c nbDecision=434000 #constraints=9359
254.97/255.13	c nbDecision=434500 #constraints=9360
255.27/255.45	c nbDecision=435000 #constraints=9361
255.77/255.90	c nbDecision=435500 #constraints=9363
256.07/256.23	c nbDecision=436000 #constraints=9364
256.37/256.54	c nbDecision=436500 #constraints=9365
256.76/256.99	c nbDecision=437000 #constraints=9367
257.17/257.33	c nbDecision=437500 #constraints=9368
257.56/257.74	c nbDecision=438000 #constraints=9370
257.86/258.07	c nbDecision=438500 #constraints=9371
258.27/258.42	c nbDecision=439000 #constraints=9372
258.66/258.86	c nbDecision=439500 #constraints=9374
258.96/259.17	c nbDecision=440000 #constraints=9375
259.37/259.51	c nbDecision=440500 #constraints=9376
259.76/259.97	c nbDecision=441000 #constraints=9378
260.47/260.61	c nbDecision=441500 #constraints=9396
260.76/260.93	c nbDecision=442000 #constraints=9397
261.06/261.26	c nbDecision=442500 #constraints=9398
261.57/261.72	c nbDecision=443000 #constraints=9400
261.86/262.05	c nbDecision=443500 #constraints=9401
262.16/262.36	c nbDecision=444000 #constraints=9402
262.67/262.82	c nbDecision=444500 #constraints=9404
262.96/263.17	c nbDecision=445000 #constraints=9405
263.36/263.59	c nbDecision=445500 #constraints=9407
263.76/263.93	c nbDecision=446000 #constraints=9408
264.06/264.29	c nbDecision=446500 #constraints=9409
264.56/264.74	c nbDecision=447000 #constraints=9411
264.86/265.05	c nbDecision=447500 #constraints=9412
265.26/265.40	c nbDecision=448000 #constraints=9413
265.86/266.05	c nbDecision=448500 #constraints=9431
266.36/266.52	c nbDecision=449000 #constraints=9433
266.66/266.84	c nbDecision=449500 #constraints=9434
266.96/267.17	c nbDecision=450000 #constraints=9435
267.46/267.64	c nbDecision=450500 #constraints=9437
267.76/267.97	c nbDecision=451000 #constraints=9438
268.06/268.29	c nbDecision=451500 #constraints=9439
268.56/268.76	c nbDecision=452000 #constraints=9441
268.96/269.10	c nbDecision=452500 #constraints=9442
269.26/269.42	c nbDecision=453000 #constraints=9443
269.65/269.88	c nbDecision=453500 #constraints=9445
270.05/270.23	c nbDecision=454000 #constraints=9446
270.46/270.65	c nbDecision=454500 #constraints=9448
270.75/270.99	c nbDecision=455000 #constraints=9449
271.46/271.64	c nbDecision=455500 #constraints=9467
271.75/271.93	c nbDecision=456000 #constraints=9468
272.05/272.26	c nbDecision=456500 #constraints=9469
272.35/272.57	c nbDecision=457000 #constraints=9470
272.65/272.86	c nbDecision=457500 #constraints=9471
273.05/273.27	c nbDecision=458000 #constraints=9473
273.45/273.61	c nbDecision=458500 #constraints=9474
273.66/273.90	c nbDecision=459000 #constraints=9475
273.95/274.19	c nbDecision=459500 #constraints=9476
274.35/274.53	c nbDecision=460000 #constraints=9477
274.65/274.83	c nbDecision=460500 #constraints=9478
274.95/275.12	c nbDecision=461000 #constraints=9479
275.35/275.54	c nbDecision=461500 #constraints=9481
275.65/275.88	c nbDecision=462000 #constraints=9482
275.95/276.17	c nbDecision=462500 #constraints=9483
276.25/276.47	c nbDecision=463000 #constraints=9484
276.65/276.81	c nbDecision=463500 #constraints=9485
277.65/277.81	c nbDecision=464000 #constraints=9527
278.05/278.28	c nbDecision=464500 #constraints=9555
278.36/278.50	c nbDecision=465000 #constraints=9566
278.76/278.94	c nbDecision=465500 #constraints=9596
278.96/279.11	c nbDecision=466000 #constraints=9603
279.06/279.30	c nbDecision=466500 #constraints=9610
279.56/279.71	c nbDecision=467000 #constraints=9639
279.66/279.87	c nbDecision=467500 #constraints=9646
280.06/280.28	c nbDecision=468000 #constraints=9675
280.26/280.45	c nbDecision=468500 #constraints=9682
280.46/280.60	c nbDecision=469000 #constraints=9688
280.86/281.01	c nbDecision=469500 #constraints=9716
280.96/281.18	c nbDecision=470000 #constraints=9723
281.16/281.33	c nbDecision=470500 #constraints=9729
281.55/281.75	c nbDecision=471000 #constraints=9758
281.75/281.92	c nbDecision=471500 #constraints=9765
281.85/282.07	c nbDecision=472000 #constraints=9771
282.26/282.49	c nbDecision=472500 #constraints=9800
282.46/282.65	c nbDecision=473000 #constraints=9806
282.65/282.82	c nbDecision=473500 #constraints=9813
283.05/283.23	c nbDecision=474000 #constraints=9842
283.25/283.41	c nbDecision=474500 #constraints=9849
283.35/283.56	c nbDecision=475000 #constraints=9855
283.75/283.99	c nbDecision=475500 #constraints=9885
283.95/284.16	c nbDecision=476000 #constraints=9891
284.15/284.32	c nbDecision=476500 #constraints=9897
284.55/284.75	c nbDecision=477000 #constraints=9927
284.76/284.91	c nbDecision=477500 #constraints=9933
284.85/285.08	c nbDecision=478000 #constraints=9939
285.25/285.50	c nbDecision=478500 #constraints=9968
285.45/285.66	c nbDecision=479000 #constraints=9974
285.65/285.84	c nbDecision=479500 #constraints=9981
286.05/286.27	c nbDecision=480000 #constraints=10010
286.25/286.44	c nbDecision=480500 #constraints=10016
286.45/286.60	c nbDecision=481000 #constraints=10022
286.85/287.03	c nbDecision=481500 #constraints=10051
287.05/287.20	c nbDecision=482000 #constraints=10057
287.15/287.37	c nbDecision=482500 #constraints=10063
287.65/287.80	c nbDecision=483000 #constraints=10092
287.75/287.97	c nbDecision=483500 #constraints=10098
287.95/288.14	c nbDecision=484000 #constraints=10104
288.35/288.57	c nbDecision=484500 #constraints=10133
288.55/288.75	c nbDecision=485000 #constraints=10139
288.75/288.92	c nbDecision=485500 #constraints=10145
289.15/289.36	c nbDecision=486000 #constraints=10174
289.35/289.54	c nbDecision=486500 #constraints=10180
289.45/289.69	c nbDecision=487000 #constraints=10185
289.65/289.87	c nbDecision=487500 #constraints=10191
290.15/290.31	c nbDecision=488000 #constraints=10220
290.25/290.49	c nbDecision=488500 #constraints=10226
290.45/290.66	c nbDecision=489000 #constraints=10232
290.85/291.08	c nbDecision=489500 #constraints=10260
291.04/291.27	c nbDecision=490000 #constraints=10266
291.25/291.44	c nbDecision=490500 #constraints=10272
291.64/291.88	c nbDecision=491000 #constraints=10301
291.84/292.05	c nbDecision=491500 #constraints=10306
292.04/292.23	c nbDecision=492000 #constraints=10312
292.14/292.40	c nbDecision=492500 #constraints=10317
294.74/294.96	c nbDecision=493000 #constraints=10519
297.35/297.57	c nbDecision=493500 #constraints=10726
299.55/299.72	c nbDecision=494000 #constraints=10886
301.64/301.87	c nbDecision=494500 #constraints=11047
303.54/303.77	c nbDecision=495000 #constraints=11185
304.14/304.32	c nbDecision=495500 #constraints=11212
304.34/304.56	c nbDecision=496000 #constraints=11216
304.64/304.81	c nbDecision=496500 #constraints=11220
304.84/305.05	c nbDecision=497000 #constraints=11224
305.04/305.27	c nbDecision=497500 #constraints=11227
305.34/305.56	c nbDecision=498000 #constraints=11232
305.64/305.81	c nbDecision=498500 #constraints=11236
305.84/306.06	c nbDecision=499000 #constraints=11240
306.14/306.31	c nbDecision=499500 #constraints=11244
306.34/306.53	c nbDecision=500000 #constraints=11247
306.64/306.82	c nbDecision=500500 #constraints=11252
306.84/307.07	c nbDecision=501000 #constraints=11256
307.04/307.29	c nbDecision=501500 #constraints=11259
307.34/307.55	c nbDecision=502000 #constraints=11263
307.64/307.81	c nbDecision=502500 #constraints=11267
307.84/308.06	c nbDecision=503000 #constraints=11271
308.14/308.32	c nbDecision=503500 #constraints=11275
308.34/308.58	c nbDecision=504000 #constraints=11279
308.64/308.80	c nbDecision=504500 #constraints=11282
308.84/309.07	c nbDecision=505000 #constraints=11286
309.14/309.36	c nbDecision=505500 #constraints=11291
309.33/309.58	c nbDecision=506000 #constraints=11294
309.63/309.85	c nbDecision=506500 #constraints=11298
309.83/310.10	c nbDecision=507000 #constraints=11302
310.13/310.33	c nbDecision=507500 #constraints=11305
310.43/310.63	c nbDecision=508000 #constraints=11310
310.63/310.85	c nbDecision=508500 #constraints=11313
310.93/311.11	c nbDecision=509000 #constraints=11317
311.14/311.37	c nbDecision=509500 #constraints=11321
311.43/311.60	c nbDecision=510000 #constraints=11324
311.73/311.90	c nbDecision=510500 #constraints=11329
311.93/312.13	c nbDecision=511000 #constraints=11332
312.14/312.39	c nbDecision=511500 #constraints=11336
312.43/312.62	c nbDecision=512000 #constraints=11339
312.63/312.89	c nbDecision=512500 #constraints=11343
312.93/313.15	c nbDecision=513000 #constraints=11347
313.24/313.42	c nbDecision=513500 #constraints=11351
313.43/313.69	c nbDecision=514000 #constraints=11355
313.73/313.92	c nbDecision=514500 #constraints=11358
313.93/314.19	c nbDecision=515000 #constraints=11362
314.23/314.42	c nbDecision=515500 #constraints=11365
314.53/314.72	c nbDecision=516000 #constraints=11370
314.73/314.95	c nbDecision=516500 #constraints=11373
315.03/315.23	c nbDecision=517000 #constraints=11377
315.23/315.46	c nbDecision=517500 #constraints=11380
315.54/315.74	c nbDecision=518000 #constraints=11384
315.83/316.03	c nbDecision=518500 #constraints=11389
316.03/316.28	c nbDecision=519000 #constraints=11392
316.33/316.51	c nbDecision=519500 #constraints=11395
316.53/316.79	c nbDecision=520000 #constraints=11399
316.83/317.02	c nbDecision=520500 #constraints=11402
317.13/317.30	c nbDecision=521000 #constraints=11406
317.33/317.57	c nbDecision=521500 #constraints=11410
317.63/317.85	c nbDecision=522000 #constraints=11414
317.83/318.09	c nbDecision=522500 #constraints=11417
318.13/318.37	c nbDecision=523000 #constraints=11421
318.43/318.61	c nbDecision=523500 #constraints=11424
318.73/318.92	c nbDecision=524000 #constraints=11429
318.93/319.16	c nbDecision=524500 #constraints=11432
319.23/319.44	c nbDecision=525000 #constraints=11436
319.43/319.69	c nbDecision=525500 #constraints=11439
319.73/319.97	c nbDecision=526000 #constraints=11443
320.03/320.22	c nbDecision=526500 #constraints=11446
320.33/320.53	c nbDecision=527000 #constraints=11451
320.53/320.78	c nbDecision=527500 #constraints=11454
320.83/321.03	c nbDecision=528000 #constraints=11457
321.13/321.32	c nbDecision=528500 #constraints=11461
321.33/321.57	c nbDecision=529000 #constraints=11464
321.63/321.88	c nbDecision=529500 #constraints=11469
321.93/322.14	c nbDecision=530000 #constraints=11472
322.13/322.39	c nbDecision=530500 #constraints=11475
322.42/322.68	c nbDecision=531000 #constraints=11479
322.72/322.93	c nbDecision=531500 #constraints=11482
323.03/323.22	c nbDecision=532000 #constraints=11486
323.32/323.51	c nbDecision=532500 #constraints=11490
323.52/323.76	c nbDecision=533000 #constraints=11493
323.82/324.06	c nbDecision=533500 #constraints=11497
324.12/324.31	c nbDecision=534000 #constraints=11500
324.33/324.60	c nbDecision=534500 #constraints=11504
324.62/324.86	c nbDecision=535000 #constraints=11507
324.92/325.15	c nbDecision=535500 #constraints=11511
325.22/325.44	c nbDecision=536000 #constraints=11515
325.52/325.70	c nbDecision=536500 #constraints=11518
325.72/325.96	c nbDecision=537000 #constraints=11521
326.02/326.26	c nbDecision=537500 #constraints=11525
326.32/326.55	c nbDecision=538000 #constraints=11529
326.62/326.81	c nbDecision=538500 #constraints=11532
326.92/327.11	c nbDecision=539000 #constraints=11536
327.12/327.37	c nbDecision=539500 #constraints=11539
327.42/327.63	c nbDecision=540000 #constraints=11542
327.72/327.93	c nbDecision=540500 #constraints=11546
328.02/328.23	c nbDecision=541000 #constraints=11550
328.22/328.49	c nbDecision=541500 #constraints=11553
328.52/328.79	c nbDecision=542000 #constraints=11557
328.82/329.06	c nbDecision=542500 #constraints=11560
329.12/329.32	c nbDecision=543000 #constraints=11563
329.42/329.63	c nbDecision=543500 #constraints=11567
329.72/329.93	c nbDecision=544000 #constraints=11571
330.02/330.20	c nbDecision=544500 #constraints=11574
330.22/330.45	c nbDecision=545000 #constraints=11577
330.52/330.77	c nbDecision=545500 #constraints=11581
330.82/331.03	c nbDecision=546000 #constraints=11584
331.12/331.30	c nbDecision=546500 #constraints=11587
331.42/331.63	c nbDecision=547000 #constraints=11592
331.72/331.91	c nbDecision=547500 #constraints=11595
331.92/332.18	c nbDecision=548000 #constraints=11598
332.22/332.44	c nbDecision=548500 #constraints=11601
332.52/332.75	c nbDecision=549000 #constraints=11605
332.92/333.14	c nbDecision=549500 #constraints=11612
333.22/333.42	c nbDecision=550000 #constraints=11615
333.52/333.70	c nbDecision=550500 #constraints=11618
333.72/333.97	c nbDecision=551000 #constraints=11621
334.12/334.31	c nbDecision=551500 #constraints=11625
334.32/334.59	c nbDecision=552000 #constraints=11628
334.72/334.91	c nbDecision=552500 #constraints=11632
334.92/335.19	c nbDecision=553000 #constraints=11635
335.22/335.47	c nbDecision=553500 #constraints=11638
335.62/335.80	c nbDecision=554000 #constraints=11642
335.82/336.09	c nbDecision=554500 #constraints=11645
336.12/336.38	c nbDecision=555000 #constraints=11648
336.52/336.70	c nbDecision=555500 #constraints=11652
336.72/336.99	c nbDecision=556000 #constraints=11655
337.02/337.28	c nbDecision=556500 #constraints=11658
337.32/337.56	c nbDecision=557000 #constraints=11661
337.72/337.90	c nbDecision=557500 #constraints=11665
338.02/338.20	c nbDecision=558000 #constraints=11668
338.32/338.53	c nbDecision=558500 #constraints=11672
338.62/338.82	c nbDecision=559000 #constraints=11675
338.91/339.11	c nbDecision=559500 #constraints=11678
339.21/339.41	c nbDecision=560000 #constraints=11681
339.41/339.69	c nbDecision=560500 #constraints=11684
339.81/340.03	c nbDecision=561000 #constraints=11688
340.11/340.37	c nbDecision=561500 #constraints=11692
340.42/340.68	c nbDecision=562000 #constraints=11695
340.73/340.98	c nbDecision=562500 #constraints=11698
341.02/341.28	c nbDecision=563000 #constraints=11701
341.32/341.58	c nbDecision=563500 #constraints=11704
341.62/341.88	c nbDecision=564000 #constraints=11707
341.93/342.19	c nbDecision=564500 #constraints=11710
342.32/342.51	c nbDecision=565000 #constraints=11714
342.62/342.82	c nbDecision=565500 #constraints=11717
342.93/343.17	c nbDecision=566000 #constraints=11721
343.22/343.48	c nbDecision=566500 #constraints=11724
343.52/343.79	c nbDecision=567000 #constraints=11727
343.92/344.10	c nbDecision=567500 #constraints=11730
344.22/344.44	c nbDecision=568000 #constraints=11734
344.52/344.75	c nbDecision=568500 #constraints=11737
344.82/345.06	c nbDecision=569000 #constraints=11740
345.12/345.36	c nbDecision=569500 #constraints=11743
345.42/345.68	c nbDecision=570000 #constraints=11746
345.72/345.98	c nbDecision=570500 #constraints=11749
346.12/346.33	c nbDecision=571000 #constraints=11753
346.42/346.64	c nbDecision=571500 #constraints=11756
346.72/346.95	c nbDecision=572000 #constraints=11759
347.02/347.26	c nbDecision=572500 #constraints=11762
347.32/347.57	c nbDecision=573000 #constraints=11765
347.72/347.93	c nbDecision=573500 #constraints=11769
348.02/348.28	c nbDecision=574000 #constraints=11773
348.32/348.60	c nbDecision=574500 #constraints=11776
348.72/348.92	c nbDecision=575000 #constraints=11779
349.02/349.24	c nbDecision=575500 #constraints=11782
349.32/349.56	c nbDecision=576000 #constraints=11785
349.62/349.88	c nbDecision=576500 #constraints=11788
350.02/350.23	c nbDecision=577000 #constraints=11792
350.32/350.54	c nbDecision=577500 #constraints=11795
350.62/350.86	c nbDecision=578000 #constraints=11798
350.92/351.18	c nbDecision=578500 #constraints=11801
351.32/351.50	c nbDecision=579000 #constraints=11804
351.62/351.82	c nbDecision=579500 #constraints=11807
351.92/352.14	c nbDecision=580000 #constraints=11810
352.22/352.49	c nbDecision=580500 #constraints=11814
352.62/352.81	c nbDecision=581000 #constraints=11817
352.92/353.14	c nbDecision=581500 #constraints=11820
353.22/353.46	c nbDecision=582000 #constraints=11823
353.52/353.78	c nbDecision=582500 #constraints=11826
353.92/354.10	c nbDecision=583000 #constraints=11829
354.22/354.46	c nbDecision=583500 #constraints=11833
354.52/354.79	c nbDecision=584000 #constraints=11836
354.92/355.11	c nbDecision=584500 #constraints=11839
355.22/355.44	c nbDecision=585000 #constraints=11842
355.51/355.77	c nbDecision=585500 #constraints=11845
355.81/356.09	c nbDecision=586000 #constraints=11848
356.22/356.45	c nbDecision=586500 #constraints=11852
356.51/356.78	c nbDecision=587000 #constraints=11855
356.91/357.10	c nbDecision=587500 #constraints=11858
357.11/357.38	c nbDecision=588000 #constraints=11860
357.51/357.72	c nbDecision=588500 #constraints=11863
357.81/358.05	c nbDecision=589000 #constraints=11866
358.11/358.38	c nbDecision=589500 #constraints=11869
358.51/358.75	c nbDecision=590000 #constraints=11873
358.81/359.09	c nbDecision=590500 #constraints=11876
359.21/359.43	c nbDecision=591000 #constraints=11879
359.52/359.76	c nbDecision=591500 #constraints=11882
359.91/360.10	c nbDecision=592000 #constraints=11885
360.21/360.44	c nbDecision=592500 #constraints=11888
360.62/360.82	c nbDecision=593000 #constraints=11892
360.91/361.16	c nbDecision=593500 #constraints=11895
361.31/361.51	c nbDecision=594000 #constraints=11898
361.62/361.85	c nbDecision=594500 #constraints=11901
361.91/362.19	c nbDecision=595000 #constraints=11904
362.31/362.53	c nbDecision=595500 #constraints=11907
362.61/362.81	c nbDecision=596000 #constraints=11909
363.01/363.20	c nbDecision=596500 #constraints=11913
363.31/363.55	c nbDecision=597000 #constraints=11916
363.71/363.90	c nbDecision=597500 #constraints=11919
364.01/364.25	c nbDecision=598000 #constraints=11922
364.41/364.60	c nbDecision=598500 #constraints=11925
364.71/364.95	c nbDecision=599000 #constraints=11928
365.11/365.34	c nbDecision=599500 #constraints=11932
365.41/365.69	c nbDecision=600000 #constraints=11935
365.81/366.04	c nbDecision=600500 #constraints=11938
366.11/366.38	c nbDecision=601000 #constraints=11941
366.41/366.68	c nbDecision=601500 #constraints=11943
366.81/367.04	c nbDecision=602000 #constraints=11946
367.11/367.40	c nbDecision=602500 #constraints=11949
367.51/367.79	c nbDecision=603000 #constraints=11953
367.91/368.15	c nbDecision=603500 #constraints=11956
368.31/368.51	c nbDecision=604000 #constraints=11959
368.61/368.86	c nbDecision=604500 #constraints=11962
369.01/369.21	c nbDecision=605000 #constraints=11965
369.31/369.51	c nbDecision=605500 #constraints=11967
369.61/369.88	c nbDecision=606000 #constraints=11970
370.01/370.29	c nbDecision=606500 #constraints=11975
370.41/370.65	c nbDecision=607000 #constraints=11978
370.81/371.01	c nbDecision=607500 #constraints=11981
371.11/371.36	c nbDecision=608000 #constraints=11984
371.51/371.72	c nbDecision=608500 #constraints=11987
371.81/372.08	c nbDecision=609000 #constraints=11990
372.21/372.49	c nbDecision=609500 #constraints=11994
372.61/372.85	c nbDecision=610000 #constraints=11997
372.91/373.19	c nbDecision=610500 #constraints=12000
373.31/373.51	c nbDecision=611000 #constraints=12002
373.61/373.88	c nbDecision=611500 #constraints=12005
374.00/374.25	c nbDecision=612000 #constraints=12008
374.40/374.62	c nbDecision=612500 #constraints=12011
374.81/375.02	c nbDecision=613000 #constraints=12015
375.10/375.38	c nbDecision=613500 #constraints=12018
375.40/375.69	c nbDecision=614000 #constraints=12020
375.80/376.07	c nbDecision=614500 #constraints=12023
376.20/376.44	c nbDecision=615000 #constraints=12026
376.60/376.82	c nbDecision=615500 #constraints=12029
377.01/377.22	c nbDecision=616000 #constraints=12033
377.30/377.53	c nbDecision=616500 #constraints=12035
377.70/377.91	c nbDecision=617000 #constraints=12038
378.00/378.30	c nbDecision=617500 #constraints=12041
378.40/378.68	c nbDecision=618000 #constraints=12044
378.80/379.05	c nbDecision=618500 #constraints=12047
379.10/379.37	c nbDecision=619000 #constraints=12049
379.50/379.80	c nbDecision=619500 #constraints=12053
379.90/380.19	c nbDecision=620000 #constraints=12056
380.30/380.58	c nbDecision=620500 #constraints=12059
380.70/380.95	c nbDecision=621000 #constraints=12062
381.00/381.28	c nbDecision=621500 #constraints=12064
381.40/381.68	c nbDecision=622000 #constraints=12067
381.80/382.08	c nbDecision=622500 #constraints=12070
382.20/382.49	c nbDecision=623000 #constraints=12074
382.60/382.81	c nbDecision=623500 #constraints=12076
383.00/383.22	c nbDecision=624000 #constraints=12079
383.40/383.62	c nbDecision=624500 #constraints=12082
383.80/384.01	c nbDecision=625000 #constraints=12085
384.10/384.33	c nbDecision=625500 #constraints=12087
384.50/384.74	c nbDecision=626000 #constraints=12090
384.89/385.17	c nbDecision=626500 #constraints=12094
385.29/385.57	c nbDecision=627000 #constraints=12097
385.59/385.89	c nbDecision=627500 #constraints=12099
386.09/386.30	c nbDecision=628000 #constraints=12102
386.49/386.70	c nbDecision=628500 #constraints=12105
386.90/387.10	c nbDecision=629000 #constraints=12108
387.19/387.42	c nbDecision=629500 #constraints=12110
387.59/387.88	c nbDecision=630000 #constraints=12114
387.99/388.29	c nbDecision=630500 #constraints=12117
388.39/388.68	c nbDecision=631000 #constraints=12120
388.79/389.01	c nbDecision=631500 #constraints=12122
389.19/389.43	c nbDecision=632000 #constraints=12125
389.59/389.84	c nbDecision=632500 #constraints=12128
389.99/390.23	c nbDecision=633000 #constraints=12131
390.39/390.60	c nbDecision=633500 #constraints=12134
390.79/391.02	c nbDecision=634000 #constraints=12137
391.19/391.42	c nbDecision=634500 #constraints=12140
391.49/391.74	c nbDecision=635000 #constraints=12142
391.89/392.17	c nbDecision=635500 #constraints=12145
392.29/392.58	c nbDecision=636000 #constraints=12148
392.69/392.98	c nbDecision=636500 #constraints=12151
393.09/393.35	c nbDecision=637000 #constraints=12154
393.49/393.77	c nbDecision=637500 #constraints=12157
393.89/394.18	c nbDecision=638000 #constraints=12160
394.29/394.51	c nbDecision=638500 #constraints=12162
394.69/394.94	c nbDecision=639000 #constraints=12165
395.09/395.35	c nbDecision=639500 #constraints=12168
395.49/395.75	c nbDecision=640000 #constraints=12171
395.89/396.14	c nbDecision=640500 #constraints=12174
396.29/396.57	c nbDecision=641000 #constraints=12177
396.69/396.97	c nbDecision=641500 #constraints=12180
397.09/397.32	c nbDecision=642000 #constraints=12182
397.49/397.75	c nbDecision=642500 #constraints=12185
397.89/398.16	c nbDecision=643000 #constraints=12188
398.29/398.50	c nbDecision=643500 #constraints=12190
398.68/398.97	c nbDecision=644000 #constraints=12194
399.09/399.39	c nbDecision=644500 #constraints=12197
399.48/399.74	c nbDecision=645000 #constraints=12199
399.88/400.18	c nbDecision=645500 #constraints=12202
400.38/400.61	c nbDecision=646000 #constraints=12205
400.68/400.95	c nbDecision=646500 #constraints=12207
401.08/401.39	c nbDecision=647000 #constraints=12210
401.58/401.86	c nbDecision=647500 #constraints=12214
401.98/402.20	c nbDecision=648000 #constraints=12216
402.39/402.65	c nbDecision=648500 #constraints=12219
402.78/403.08	c nbDecision=649000 #constraints=12222
403.18/403.43	c nbDecision=649500 #constraints=12224
403.58/403.88	c nbDecision=650000 #constraints=12227
404.08/404.31	c nbDecision=650500 #constraints=12230
404.38/404.70	c nbDecision=651000 #constraints=12233
404.88/405.15	c nbDecision=651500 #constraints=12236
405.28/405.59	c nbDecision=652000 #constraints=12239
405.68/405.95	c nbDecision=652500 #constraints=12241
406.18/406.40	c nbDecision=653000 #constraints=12244
406.58/406.83	c nbDecision=653500 #constraints=12247
406.98/407.20	c nbDecision=654000 #constraints=12249
407.38/407.69	c nbDecision=654500 #constraints=12253
407.88/408.10	c nbDecision=655000 #constraints=12256
408.18/408.49	c nbDecision=655500 #constraints=12258
408.68/408.94	c nbDecision=656000 #constraints=12261
408.98/409.29	c nbDecision=656500 #constraints=12263
409.48/409.76	c nbDecision=657000 #constraints=12266
409.88/410.20	c nbDecision=657500 #constraints=12269
410.28/410.57	c nbDecision=658000 #constraints=12271
410.78/411.06	c nbDecision=658500 #constraints=12275
411.18/411.48	c nbDecision=659000 #constraints=12278
411.58/411.87	c nbDecision=659500 #constraints=12280
412.08/412.32	c nbDecision=660000 #constraints=12283
412.38/412.68	c nbDecision=660500 #constraints=12285
412.88/413.14	c nbDecision=661000 #constraints=12288
413.28/413.58	c nbDecision=661500 #constraints=12291
413.68/413.99	c nbDecision=662000 #constraints=12294
414.18/414.45	c nbDecision=662500 #constraints=12297
414.58/414.80	c nbDecision=663000 #constraints=12299
414.98/415.28	c nbDecision=663500 #constraints=12302
415.48/415.72	c nbDecision=664000 #constraints=12305
415.88/416.10	c nbDecision=664500 #constraints=12307
416.28/416.57	c nbDecision=665000 #constraints=12310
416.68/416.95	c nbDecision=665500 #constraints=12313
417.18/417.43	c nbDecision=666000 #constraints=12316
417.58/417.88	c nbDecision=666500 #constraints=12319
417.98/418.26	c nbDecision=667000 #constraints=12321
418.48/418.73	c nbDecision=667500 #constraints=12324
418.78/419.09	c nbDecision=668000 #constraints=12326
419.28/419.57	c nbDecision=668500 #constraints=12329
419.78/420.06	c nbDecision=669000 #constraints=12333
420.18/420.46	c nbDecision=669500 #constraints=12335
420.68/420.93	c nbDecision=670000 #constraints=12338
421.08/421.31	c nbDecision=670500 #constraints=12340
421.48/421.79	c nbDecision=671000 #constraints=12343
421.88/422.15	c nbDecision=671500 #constraints=12345
422.38/422.65	c nbDecision=672000 #constraints=12348
422.88/423.12	c nbDecision=672500 #constraints=12351
423.18/423.49	c nbDecision=673000 #constraints=12354
423.57/423.86	c nbDecision=673500 #constraints=12356
423.97/424.24	c nbDecision=674000 #constraints=12358
424.28/424.53	c nbDecision=674500 #constraints=12359
424.68/424.91	c nbDecision=675000 #constraints=12361
424.97/425.29	c nbDecision=675500 #constraints=12363
425.38/425.66	c nbDecision=676000 #constraints=12365
425.77/426.04	c nbDecision=676500 #constraints=12367
426.17/426.40	c nbDecision=677000 #constraints=12369
426.48/426.77	c nbDecision=677500 #constraints=12371
431.88/432.20	c nbDecision=678000 #constraints=12571
439.87/440.15	c nbDecision=678500 #constraints=12857
448.06/448.31	c nbDecision=679000 #constraints=13143
456.27/456.52	c nbDecision=679500 #constraints=13429
464.66/464.91	c nbDecision=680000 #constraints=13715
473.15/473.43	c nbDecision=680500 #constraints=14001
481.76/482.05	c nbDecision=681000 #constraints=14287
490.55/490.86	c nbDecision=681500 #constraints=14573
495.15/495.49	c nbDecision=682000 #constraints=14716
504.25/504.57	c nbDecision=682500 #constraints=15004
504.95/505.28	c nbDecision=683000 #constraints=15006
505.65/505.92	c nbDecision=683500 #constraints=15007
506.35/506.64	c nbDecision=684000 #constraints=15009
506.95/507.26	c nbDecision=684500 #constraints=15010
507.65/507.99	c nbDecision=685000 #constraints=15012
508.25/508.59	c nbDecision=685500 #constraints=15013
509.05/509.34	c nbDecision=686000 #constraints=15015
509.65/509.92	c nbDecision=686500 #constraints=15016
510.34/510.69	c nbDecision=687000 #constraints=15018
510.95/511.24	c nbDecision=687500 #constraints=15019
511.54/511.83	c nbDecision=688000 #constraints=15020
512.25/512.56	c nbDecision=688500 #constraints=15022
513.24/513.56	c nbDecision=689000 #constraints=15040
513.94/514.26	c nbDecision=689500 #constraints=15042
514.64/514.91	c nbDecision=690000 #constraints=15043
515.34/515.61	c nbDecision=690500 #constraints=15045
515.94/516.26	c nbDecision=691000 #constraints=15046
516.65/516.97	c nbDecision=691500 #constraints=15048
517.34/517.60	c nbDecision=692000 #constraints=15049
518.04/518.34	c nbDecision=692500 #constraints=15051
518.64/518.94	c nbDecision=693000 #constraints=15052
519.44/519.70	c nbDecision=693500 #constraints=15054
519.94/520.28	c nbDecision=694000 #constraints=15055
520.54/520.87	c nbDecision=694500 #constraints=15056
521.34/521.63	c nbDecision=695000 #constraints=15058
522.24/522.59	c nbDecision=695500 #constraints=15076
523.04/523.32	c nbDecision=696000 #constraints=15078
523.64/523.98	c nbDecision=696500 #constraints=15079
524.44/524.72	c nbDecision=697000 #constraints=15081
525.04/525.37	c nbDecision=697500 #constraints=15082
525.84/526.13	c nbDecision=698000 #constraints=15084
526.44/526.75	c nbDecision=698500 #constraints=15085
527.24/527.54	c nbDecision=699000 #constraints=15087
527.84/528.11	c nbDecision=699500 #constraints=15088
528.44/528.73	c nbDecision=700000 #constraints=15089
529.14/529.47	c nbDecision=700500 #constraints=15091
529.84/530.14	c nbDecision=701000 #constraints=15092
530.54/530.87	c nbDecision=701500 #constraints=15094
531.63/531.93	c nbDecision=702000 #constraints=15112
532.33/532.69	c nbDecision=702500 #constraints=15114
533.03/533.31	c nbDecision=703000 #constraints=15115
533.83/534.10	c nbDecision=703500 #constraints=15117
534.34/534.68	c nbDecision=704000 #constraints=15118
535.03/535.30	c nbDecision=704500 #constraints=15119
535.73/536.03	c nbDecision=705000 #constraints=15121
536.44/536.72	c nbDecision=705500 #constraints=15122
537.13/537.45	c nbDecision=706000 #constraints=15124
537.83/538.14	c nbDecision=706500 #constraints=15125
538.53/538.87	c nbDecision=707000 #constraints=15127
539.23/539.55	c nbDecision=707500 #constraints=15128
540.03/540.30	c nbDecision=708000 #constraints=15130
540.93/541.27	c nbDecision=708500 #constraints=15148
541.63/541.94	c nbDecision=709000 #constraints=15149
542.43/542.71	c nbDecision=709500 #constraints=15151
543.13/543.41	c nbDecision=710000 #constraints=15152
543.83/544.18	c nbDecision=710500 #constraints=15154
544.53/544.88	c nbDecision=711000 #constraints=15155
545.33/545.65	c nbDecision=711500 #constraints=15157
546.03/546.33	c nbDecision=712000 #constraints=15158
546.83/547.11	c nbDecision=712500 #constraints=15160
547.43/547.77	c nbDecision=713000 #constraints=15161
548.23/548.58	c nbDecision=713500 #constraints=15163
548.83/549.18	c nbDecision=714000 #constraints=15164
549.53/549.82	c nbDecision=714500 #constraints=15165
550.73/551.02	c nbDecision=715000 #constraints=15184
551.43/551.70	c nbDecision=715500 #constraints=15185
552.23/552.50	c nbDecision=716000 #constraints=15187
552.82/553.13	c nbDecision=716500 #constraints=15188
553.42/553.73	c nbDecision=717000 #constraints=15189
554.22/554.53	c nbDecision=717500 #constraints=15191
554.92/555.21	c nbDecision=718000 #constraints=15192
555.62/555.99	c nbDecision=718500 #constraints=15194
556.33/556.69	c nbDecision=719000 #constraints=15195
557.12/557.47	c nbDecision=719500 #constraints=15197
557.82/558.17	c nbDecision=720000 #constraints=15198
558.62/558.94	c nbDecision=720500 #constraints=15200
559.32/559.62	c nbDecision=721000 #constraints=15201
560.12/560.43	c nbDecision=721500 #constraints=15203
561.12/561.43	c nbDecision=722000 #constraints=15221
561.83/562.15	c nbDecision=722500 #constraints=15222
562.62/562.95	c nbDecision=723000 #constraints=15224
563.32/563.64	c nbDecision=723500 #constraints=15225
564.12/564.45	c nbDecision=724000 #constraints=15227
564.82/565.10	c nbDecision=724500 #constraints=15228
565.42/565.71	c nbDecision=725000 #constraints=15229
566.22/566.52	c nbDecision=725500 #constraints=15231
566.92/567.23	c nbDecision=726000 #constraints=15232
567.72/568.02	c nbDecision=726500 #constraints=15234
568.42/568.74	c nbDecision=727000 #constraints=15235
569.22/569.54	c nbDecision=727500 #constraints=15237
569.92/570.24	c nbDecision=728000 #constraints=15238
570.92/571.25	c nbDecision=728500 #constraints=15256
571.72/572.05	c nbDecision=729000 #constraints=15258
572.42/572.77	c nbDecision=729500 #constraints=15259
573.22/573.57	c nbDecision=730000 #constraints=15261
573.92/574.27	c nbDecision=730500 #constraints=15262
574.72/575.08	c nbDecision=731000 #constraints=15264
575.42/575.74	c nbDecision=731500 #constraints=15265
576.22/576.59	c nbDecision=732000 #constraints=15267
576.82/577.18	c nbDecision=732500 #constraints=15268
577.52/577.86	c nbDecision=733000 #constraints=15269
578.32/578.66	c nbDecision=733500 #constraints=15271
579.02/579.38	c nbDecision=734000 #constraints=15272
579.82/580.19	c nbDecision=734500 #constraints=15274
580.91/581.23	c nbDecision=735000 #constraints=15292
581.62/581.94	c nbDecision=735500 #constraints=15293
582.41/582.76	c nbDecision=736000 #constraints=15295
583.11/583.49	c nbDecision=736500 #constraints=15296
584.01/584.31	c nbDecision=737000 #constraints=15298
584.71/585.02	c nbDecision=737500 #constraints=15299
585.51/585.86	c nbDecision=738000 #constraints=15301
586.21/586.52	c nbDecision=738500 #constraints=15302
586.81/587.15	c nbDecision=739000 #constraints=15303
587.61/587.98	c nbDecision=739500 #constraints=15305
588.41/588.71	c nbDecision=740000 #constraints=15306
589.21/589.53	c nbDecision=740500 #constraints=15308
589.91/590.25	c nbDecision=741000 #constraints=15309
590.71/591.07	c nbDecision=741500 #constraints=15311
591.81/592.11	c nbDecision=742000 #constraints=15329
592.52/592.84	c nbDecision=742500 #constraints=15330
593.31/593.67	c nbDecision=743000 #constraints=15332
594.01/594.38	c nbDecision=743500 #constraints=15333
594.91/595.21	c nbDecision=744000 #constraints=15335
595.51/595.89	c nbDecision=744500 #constraints=15336
596.41/596.75	c nbDecision=745000 #constraints=15338
597.02/597.34	c nbDecision=745500 #constraints=15339
597.71/598.07	c nbDecision=746000 #constraints=15340
598.51/598.89	c nbDecision=746500 #constraints=15342
599.31/599.62	c nbDecision=747000 #constraints=15343
600.11/600.45	c nbDecision=747500 #constraints=15345
600.81/601.17	c nbDecision=748000 #constraints=15346
601.91/602.25	c nbDecision=748500 #constraints=15364
602.81/603.10	c nbDecision=749000 #constraints=15366
603.51/603.83	c nbDecision=749500 #constraints=15367
604.31/604.68	c nbDecision=750000 #constraints=15369
605.01/605.36	c nbDecision=750500 #constraints=15370
605.61/606.00	c nbDecision=751000 #constraints=15371
606.51/606.85	c nbDecision=751500 #constraints=15373
607.21/607.60	c nbDecision=752000 #constraints=15374
608.11/608.44	c nbDecision=752500 #constraints=15376
608.81/609.18	c nbDecision=753000 #constraints=15377
609.71/610.03	c nbDecision=753500 #constraints=15379
610.41/610.73	c nbDecision=754000 #constraints=15380
611.21/611.60	c nbDecision=754500 #constraints=15382
612.31/612.67	c nbDecision=755000 #constraints=15400
613.00/613.39	c nbDecision=755500 #constraints=15401
613.90/614.27	c nbDecision=756000 #constraints=15403
614.51/614.90	c nbDecision=756500 #constraints=15404
615.20/615.59	c nbDecision=757000 #constraints=15405
616.10/616.45	c nbDecision=757500 #constraints=15407
616.90/617.20	c nbDecision=758000 #constraints=15408
617.70/618.05	c nbDecision=758500 #constraints=15410
618.40/618.77	c nbDecision=759000 #constraints=15411
619.30/619.65	c nbDecision=759500 #constraints=15413
619.90/620.29	c nbDecision=760000 #constraints=15414
620.60/620.98	c nbDecision=760500 #constraints=15415
621.50/621.85	c nbDecision=761000 #constraints=15417
622.31/622.60	c nbDecision=761500 #constraints=15418
623.30/623.68	c nbDecision=762000 #constraints=15436
624.20/624.56	c nbDecision=762500 #constraints=15438
625.00/625.31	c nbDecision=763000 #constraints=15439
625.80/626.20	c nbDecision=763500 #constraints=15441
626.60/626.93	c nbDecision=764000 #constraints=15442
627.50/627.83	c nbDecision=764500 #constraints=15444
628.10/628.48	c nbDecision=765000 #constraints=15445
628.80/629.17	c nbDecision=765500 #constraints=15446
629.70/630.05	c nbDecision=766000 #constraints=15448
630.50/630.80	c nbDecision=766500 #constraints=15449
631.30/631.67	c nbDecision=767000 #constraints=15451
632.00/632.40	c nbDecision=767500 #constraints=15452
632.90/633.29	c nbDecision=768000 #constraints=15454
634.00/634.38	c nbDecision=768500 #constraints=15472
634.80/635.12	c nbDecision=769000 #constraints=15473
635.70/636.02	c nbDecision=769500 #constraints=15475
636.30/636.66	c nbDecision=770000 #constraints=15476
637.00/637.36	c nbDecision=770500 #constraints=15477
637.90/638.24	c nbDecision=771000 #constraints=15479
638.70/639.00	c nbDecision=771500 #constraints=15480
639.49/639.88	c nbDecision=772000 #constraints=15482
640.29/640.61	c nbDecision=772500 #constraints=15483
641.19/641.52	c nbDecision=773000 #constraints=15485
641.79/642.14	c nbDecision=773500 #constraints=15486
642.59/642.91	c nbDecision=774000 #constraints=15487
643.49/643.80	c nbDecision=774500 #constraints=15489
644.20/644.56	c nbDecision=775000 #constraints=15490
645.30/645.68	c nbDecision=775500 #constraints=15508
646.19/646.58	c nbDecision=776000 #constraints=15510
646.99/647.34	c nbDecision=776500 #constraints=15511
647.89/648.25	c nbDecision=777000 #constraints=15513
648.59/648.94	c nbDecision=777500 #constraints=15514
649.29/649.63	c nbDecision=778000 #constraints=15515
650.19/650.53	c nbDecision=778500 #constraints=15517
650.89/651.29	c nbDecision=779000 #constraints=15518
651.79/652.18	c nbDecision=779500 #constraints=15520
652.59/652.92	c nbDecision=780000 #constraints=15521
653.49/653.84	c nbDecision=780500 #constraints=15523
654.09/654.46	c nbDecision=781000 #constraints=15524
654.89/655.22	c nbDecision=781500 #constraints=15525
656.29/656.61	c nbDecision=782000 #constraints=15544
656.89/657.23	c nbDecision=782500 #constraints=15545
657.69/658.01	c nbDecision=783000 #constraints=15546
658.59/658.92	c nbDecision=783500 #constraints=15548
659.29/659.67	c nbDecision=784000 #constraints=15549
660.29/660.60	c nbDecision=784500 #constraints=15551
660.89/661.27	c nbDecision=785000 #constraints=15552
661.58/661.99	c nbDecision=785500 #constraints=15553
662.58/662.91	c nbDecision=786000 #constraints=15555
663.28/663.69	c nbDecision=786500 #constraints=15556
664.28/664.60	c nbDecision=787000 #constraints=15558
664.98/665.32	c nbDecision=787500 #constraints=15559
665.58/665.99	c nbDecision=788000 #constraints=15560
666.58/666.92	c nbDecision=788500 #constraints=15562
667.78/668.15	c nbDecision=789000 #constraints=15580
668.48/668.83	c nbDecision=789500 #constraints=15581
669.38/669.77	c nbDecision=790000 #constraints=15583
670.18/670.55	c nbDecision=790500 #constraints=15584
671.08/671.47	c nbDecision=791000 #constraints=15586
671.88/672.21	c nbDecision=791500 #constraints=15587
672.78/673.13	c nbDecision=792000 #constraints=15589
673.38/673.79	c nbDecision=792500 #constraints=15590
674.18/674.57	c nbDecision=793000 #constraints=15591
675.18/675.50	c nbDecision=793500 #constraints=15593
675.88/676.25	c nbDecision=794000 #constraints=15594
676.88/677.20	c nbDecision=794500 #constraints=15596
677.48/677.82	c nbDecision=795000 #constraints=15597
678.18/678.59	c nbDecision=795500 #constraints=15598
679.67/680.01	c nbDecision=796000 #constraints=15617
680.27/680.67	c nbDecision=796500 #constraints=15618
681.07/681.47	c nbDecision=797000 #constraints=15619
682.07/682.41	c nbDecision=797500 #constraints=15621
682.78/683.18	c nbDecision=798000 #constraints=15622
683.78/684.14	c nbDecision=798500 #constraints=15624
684.37/684.77	c nbDecision=799000 #constraints=15625
685.17/685.57	c nbDecision=799500 #constraints=15626
686.17/686.52	c nbDecision=800000 #constraints=15628
686.87/687.29	c nbDecision=800500 #constraints=15629
687.87/688.25	c nbDecision=801000 #constraints=15631
688.57/688.90	c nbDecision=801500 #constraints=15632
689.28/689.68	c nbDecision=802000 #constraints=15633
690.77/691.11	c nbDecision=802500 #constraints=15652
691.37/691.77	c nbDecision=803000 #constraints=15653
692.17/692.56	c nbDecision=803500 #constraints=15654
693.17/693.50	c nbDecision=804000 #constraints=15656
693.87/694.25	c nbDecision=804500 #constraints=15657
694.87/695.21	c nbDecision=805000 #constraints=15659
695.47/695.84	c nbDecision=805500 #constraints=15660
696.27/696.63	c nbDecision=806000 #constraints=15661
697.17/697.57	c nbDecision=806500 #constraints=15663
697.97/698.33	c nbDecision=807000 #constraints=15664
698.87/699.29	c nbDecision=807500 #constraints=15666
699.57/699.93	c nbDecision=808000 #constraints=15667
700.37/700.71	c nbDecision=808500 #constraints=15668
701.27/701.66	c nbDecision=809000 #constraints=15670
702.47/702.83	c nbDecision=809500 #constraints=15688
703.27/703.62	c nbDecision=810000 #constraints=15689
704.17/704.58	c nbDecision=810500 #constraints=15691
704.97/705.35	c nbDecision=811000 #constraints=15692
705.96/706.31	c nbDecision=811500 #constraints=15694
706.56/706.97	c nbDecision=812000 #constraints=15695
707.36/707.77	c nbDecision=812500 #constraints=15696
708.36/708.73	c nbDecision=813000 #constraints=15698
709.07/709.50	c nbDecision=813500 #constraints=15699
710.06/710.45	c nbDecision=814000 #constraints=15701
710.76/711.11	c nbDecision=814500 #constraints=15702
711.56/711.90	c nbDecision=815000 #constraints=15703
712.47/712.85	c nbDecision=815500 #constraints=15705
713.26/713.62	c nbDecision=816000 #constraints=15706
714.46/714.82	c nbDecision=816500 #constraints=15724
715.36/715.78	c nbDecision=817000 #constraints=15726
716.16/716.51	c nbDecision=817500 #constraints=15727
716.86/717.21	c nbDecision=818000 #constraints=15728
717.76/718.18	c nbDecision=818500 #constraints=15730
718.56/718.97	c nbDecision=819000 #constraints=15731
718.96/719.36	c restart after 819201 decisions
719.86/720.27	c nbDecision=819500 #constraints=15732
720.66/721.01	c nbDecision=820000 #constraints=15733
721.56/721.98	c nbDecision=820500 #constraints=15735
722.36/722.78	c nbDecision=821000 #constraints=15736
723.36/723.76	c nbDecision=821500 #constraints=15738
724.06/724.46	c nbDecision=822000 #constraints=15739
724.86/725.21	c nbDecision=822500 #constraints=15740
725.76/726.19	c nbDecision=823000 #constraints=15742
726.96/727.37	c nbDecision=823500 #constraints=15760
727.76/728.19	c nbDecision=824000 #constraints=15761
728.76/729.19	c nbDecision=824500 #constraints=15763
729.56/729.97	c nbDecision=825000 #constraints=15764
730.26/730.65	c nbDecision=825500 #constraints=15765
731.25/731.65	c nbDecision=826000 #constraints=15767
732.05/732.46	c nbDecision=826500 #constraints=15768
733.05/733.45	c nbDecision=827000 #constraints=15770
733.75/734.18	c nbDecision=827500 #constraints=15771
734.55/734.91	c nbDecision=828000 #constraints=15772
735.56/735.90	c nbDecision=828500 #constraints=15774
736.35/736.71	c nbDecision=829000 #constraints=15775
737.35/737.71	c nbDecision=829500 #constraints=15777
738.05/738.40	c nbDecision=830000 #constraints=15778
739.25/739.69	c nbDecision=830500 #constraints=15796
740.25/740.67	c nbDecision=831000 #constraints=15798
741.06/741.41	c nbDecision=831500 #constraints=15799
741.85/742.23	c nbDecision=832000 #constraints=15800
742.85/743.24	c nbDecision=832500 #constraints=15802
743.55/743.98	c nbDecision=833000 #constraints=15803
744.35/744.73	c nbDecision=833500 #constraints=15804
745.35/745.75	c nbDecision=834000 #constraints=15806
746.15/746.56	c nbDecision=834500 #constraints=15807
747.15/747.59	c nbDecision=835000 #constraints=15809
747.85/748.26	c nbDecision=835500 #constraints=15810
748.65/749.07	c nbDecision=836000 #constraints=15811
749.65/750.09	c nbDecision=836500 #constraints=15813
750.45/750.88	c nbDecision=837000 #constraints=15814
751.75/752.12	c nbDecision=837500 #constraints=15832
752.75/753.14	c nbDecision=838000 #constraints=15834
753.45/753.85	c nbDecision=838500 #constraints=15835
754.25/754.63	c nbDecision=839000 #constraints=15836
755.25/755.65	c nbDecision=839500 #constraints=15838
756.05/756.45	c nbDecision=840000 #constraints=15839
757.04/757.44	c nbDecision=840500 #constraints=15841
757.74/758.16	c nbDecision=841000 #constraints=15842
758.55/758.98	c nbDecision=841500 #constraints=15843
759.54/760.00	c nbDecision=842000 #constraints=15845
760.34/760.76	c nbDecision=842500 #constraints=15846
761.14/761.50	c nbDecision=843000 #constraints=15847
762.14/762.54	c nbDecision=843500 #constraints=15849
762.95/763.37	c nbDecision=844000 #constraints=15850
764.25/764.62	c nbDecision=844500 #constraints=15868
765.25/765.65	c nbDecision=845000 #constraints=15870
766.05/766.43	c nbDecision=845500 #constraints=15871
766.75/767.17	c nbDecision=846000 #constraints=15872
767.85/768.21	c nbDecision=846500 #constraints=15874
768.65/769.04	c nbDecision=847000 #constraints=15875
769.65/770.09	c nbDecision=847500 #constraints=15877
770.35/770.76	c nbDecision=848000 #constraints=15878
771.25/771.60	c nbDecision=848500 #constraints=15879
772.25/772.63	c nbDecision=849000 #constraints=15881
773.05/773.40	c nbDecision=849500 #constraints=15882
773.75/774.13	c nbDecision=850000 #constraints=15883
774.75/775.16	c nbDecision=850500 #constraints=15885
775.55/776.00	c nbDecision=851000 #constraints=15886
776.84/777.25	c nbDecision=851500 #constraints=15904
777.84/778.29	c nbDecision=852000 #constraints=15906
778.64/779.06	c nbDecision=852500 #constraints=15907
779.45/779.80	c nbDecision=853000 #constraints=15908
780.44/780.86	c nbDecision=853500 #constraints=15910
781.34/781.70	c nbDecision=854000 #constraints=15911
782.34/782.75	c nbDecision=854500 #constraints=15913
783.04/783.44	c nbDecision=855000 #constraints=15914
783.85/784.29	c nbDecision=855500 #constraints=15915
784.95/785.35	c nbDecision=856000 #constraints=15917
785.74/786.12	c nbDecision=856500 #constraints=15918
786.44/786.88	c nbDecision=857000 #constraints=15919
787.54/787.94	c nbDecision=857500 #constraints=15921
788.34/788.77	c nbDecision=858000 #constraints=15922
789.64/790.06	c nbDecision=858500 #constraints=15940
790.74/791.12	c nbDecision=859000 #constraints=15942
791.44/791.85	c nbDecision=859500 #constraints=15943
792.24/792.64	c nbDecision=860000 #constraints=15944
793.34/793.71	c nbDecision=860500 #constraints=15946
794.14/794.52	c nbDecision=861000 #constraints=15947
794.84/795.22	c nbDecision=861500 #constraints=15948
795.84/796.29	c nbDecision=862000 #constraints=15950
796.74/797.13	c nbDecision=862500 #constraints=15951
797.74/798.20	c nbDecision=863000 #constraints=15953
798.44/798.89	c nbDecision=863500 #constraints=15954
799.34/799.73	c nbDecision=864000 #constraints=15955
800.34/800.79	c nbDecision=864500 #constraints=15957
801.23/801.60	c nbDecision=865000 #constraints=15958
802.54/802.93	c nbDecision=865500 #constraints=15976
803.53/803.99	c nbDecision=866000 #constraints=15978
804.33/804.72	c nbDecision=866500 #constraints=15979
805.13/805.58	c nbDecision=867000 #constraints=15980
806.23/806.66	c nbDecision=867500 #constraints=15982
807.04/807.41	c nbDecision=868000 #constraints=15983
807.83/808.23	c nbDecision=868500 #constraints=15984
808.93/809.31	c nbDecision=869000 #constraints=15986
809.73/810.12	c nbDecision=869500 #constraints=15987
810.43/810.85	c nbDecision=870000 #constraints=15988
811.53/811.93	c nbDecision=870500 #constraints=15990
812.33/812.78	c nbDecision=871000 #constraints=15991
813.43/813.86	c nbDecision=871500 #constraints=15993
814.13/814.56	c nbDecision=872000 #constraints=15994
815.53/815.91	c nbDecision=872500 #constraints=16012
816.33/816.71	c nbDecision=873000 #constraints=16013
817.33/817.79	c nbDecision=873500 #constraints=16015
818.23/818.61	c nbDecision=874000 #constraints=16016
818.93/819.35	c nbDecision=874500 #constraints=16017
820.03/820.45	c nbDecision=875000 #constraints=16019
820.93/821.31	c nbDecision=875500 #constraints=16020
821.93/822.40	c nbDecision=876000 #constraints=16022
822.73/823.12	c nbDecision=876500 #constraints=16023
823.53/823.99	c nbDecision=877000 #constraints=16024
824.63/825.09	c nbDecision=877500 #constraints=16026
825.43/825.84	c nbDecision=878000 #constraints=16027
826.23/826.66	c nbDecision=878500 #constraints=16028
827.33/827.76	c nbDecision=879000 #constraints=16030
828.62/829.08	c nbDecision=879500 #constraints=16048
829.52/829.94	c nbDecision=880000 #constraints=16049
830.62/831.00	c nbDecision=880500 #constraints=16051
831.32/831.75	c nbDecision=881000 #constraints=16052
832.23/832.62	c nbDecision=881500 #constraints=16053
833.32/833.72	c nbDecision=882000 #constraints=16055
834.02/834.43	c nbDecision=882500 #constraints=16056
834.82/835.29	c nbDecision=883000 #constraints=16057
835.92/836.39	c nbDecision=883500 #constraints=16059
836.72/837.17	c nbDecision=884000 #constraints=16060
837.52/837.96	c nbDecision=884500 #constraints=16061
838.62/839.06	c nbDecision=885000 #constraints=16063
839.42/839.89	c nbDecision=885500 #constraints=16064
840.22/840.63	c nbDecision=886000 #constraints=16065
841.91/842.34	c nbDecision=886500 #constraints=16084
842.61/843.09	c nbDecision=887000 #constraints=16085
843.51/843.97	c nbDecision=887500 #constraints=16086
844.61/845.10	c nbDecision=888000 #constraints=16088
845.42/845.83	c nbDecision=888500 #constraints=16089
846.21/846.69	c nbDecision=889000 #constraints=16090
847.41/847.81	c nbDecision=889500 #constraints=16092
848.21/848.61	c nbDecision=890000 #constraints=16093
849.01/849.42	c nbDecision=890500 #constraints=16094
850.11/850.54	c nbDecision=891000 #constraints=16096
850.91/851.37	c nbDecision=891500 #constraints=16097
851.71/852.12	c nbDecision=892000 #constraints=16098
852.81/853.24	c nbDecision=892500 #constraints=16100
853.71/854.10	c nbDecision=893000 #constraints=16101
854.71/855.18	c nbDecision=893500 #constraints=16103
856.11/856.58	c nbDecision=894000 #constraints=16121
856.81/857.29	c nbDecision=894500 #constraints=16122
857.71/858.17	c nbDecision=895000 #constraints=16123
858.91/859.30	c nbDecision=895500 #constraints=16125
859.61/860.06	c nbDecision=896000 #constraints=16126
860.51/860.91	c nbDecision=896500 #constraints=16127
861.61/862.04	c nbDecision=897000 #constraints=16129
862.40/862.86	c nbDecision=897500 #constraints=16130
863.20/863.66	c nbDecision=898000 #constraints=16131
864.40/864.80	c nbDecision=898500 #constraints=16133
865.21/865.64	c nbDecision=899000 #constraints=16134
866.00/866.41	c nbDecision=899500 #constraints=16135
867.10/867.56	c nbDecision=900000 #constraints=16137
868.00/868.43	c nbDecision=900500 #constraints=16138
869.40/869.80	c nbDecision=901000 #constraints=16156
870.50/870.94	c nbDecision=901500 #constraints=16158
871.20/871.68	c nbDecision=902000 #constraints=16159
872.10/872.56	c nbDecision=902500 #constraints=16160
873.30/873.70	c nbDecision=903000 #constraints=16162
874.00/874.43	c nbDecision=903500 #constraints=16163
874.90/875.31	c nbDecision=904000 #constraints=16164
876.00/876.45	c nbDecision=904500 #constraints=16166
876.80/877.22	c nbDecision=905000 #constraints=16167
877.60/878.07	c nbDecision=905500 #constraints=16168
878.80/879.20	c nbDecision=906000 #constraints=16170
879.60/880.01	c nbDecision=906500 #constraints=16171
880.40/880.82	c nbDecision=907000 #constraints=16172
881.60/882.00	c nbDecision=907500 #constraints=16174
882.90/883.38	c nbDecision=908000 #constraints=16192
883.80/884.25	c nbDecision=908500 #constraints=16193
884.90/885.34	c nbDecision=909000 #constraints=16195
885.70/886.18	c nbDecision=909500 #constraints=16196
886.60/887.07	c nbDecision=910000 #constraints=16197
887.69/888.18	c nbDecision=910500 #constraints=16199
888.49/888.98	c nbDecision=911000 #constraints=16200
889.40/889.88	c nbDecision=911500 #constraints=16201
890.60/891.02	c nbDecision=912000 #constraints=16203
891.29/891.78	c nbDecision=912500 #constraints=16204
892.19/892.67	c nbDecision=913000 #constraints=16205
893.39/893.82	c nbDecision=913500 #constraints=16207
894.09/894.55	c nbDecision=914000 #constraints=16208
894.99/895.45	c nbDecision=914500 #constraints=16209
896.19/896.61	c nbDecision=915000 #constraints=16211
897.09/897.54	c nbDecision=915500 #constraints=16228
898.09/898.57	c nbDecision=916000 #constraints=16230
898.99/899.41	c nbDecision=916500 #constraints=16231
899.69/900.12	c nbDecision=917000 #constraints=16232
900.39/900.86	c nbDecision=917500 #constraints=16233
901.19/901.65	c nbDecision=918000 #constraints=16234
901.99/902.46	c nbDecision=918500 #constraints=16235
902.79/903.20	c nbDecision=919000 #constraints=16236
903.49/903.92	c nbDecision=919500 #constraints=16237
904.49/904.96	c nbDecision=920000 #constraints=16239
905.29/905.79	c nbDecision=920500 #constraints=16240
906.09/906.53	c nbDecision=921000 #constraints=16241
906.79/907.26	c nbDecision=921500 #constraints=16242
907.59/908.04	c nbDecision=922000 #constraints=16243
908.39/908.87	c nbDecision=922500 #constraints=16244
909.19/909.62	c nbDecision=923000 #constraints=16245
909.89/910.34	c nbDecision=923500 #constraints=16246
920.98/921.49	c nbDecision=924000 #constraints=16570
938.89/939.39	c nbDecision=924500 #constraints=17071
956.97/957.49	c nbDecision=925000 #constraints=17570
976.57/977.06	c nbDecision=925500 #constraints=18071
983.77/984.23	c nbDecision=926000 #constraints=18277
984.47/984.92	c nbDecision=926500 #constraints=18308
985.17/985.63	c nbDecision=927000 #constraints=18341
985.36/985.87	c nbDecision=927500 #constraints=18347
985.66/986.13	c nbDecision=928000 #constraints=18354
986.27/986.75	c nbDecision=928500 #constraints=18383
986.56/987.01	c nbDecision=929000 #constraints=18390
986.76/987.26	c nbDecision=929500 #constraints=18397
987.37/987.83	c nbDecision=930000 #constraints=18426
987.56/988.09	c nbDecision=930500 #constraints=18433
987.86/988.32	c nbDecision=931000 #constraints=18439
988.37/988.89	c nbDecision=931500 #constraints=18467
988.66/989.15	c nbDecision=932000 #constraints=18474
988.86/989.38	c nbDecision=932500 #constraints=18480
989.47/989.96	c nbDecision=933000 #constraints=18509
989.76/990.23	c nbDecision=933500 #constraints=18516
989.96/990.46	c nbDecision=934000 #constraints=18522
990.57/991.04	c nbDecision=934500 #constraints=18551
990.76/991.28	c nbDecision=935000 #constraints=18557
991.06/991.55	c nbDecision=935500 #constraints=18564
991.66/992.11	c nbDecision=936000 #constraints=18593
991.86/992.38	c nbDecision=936500 #constraints=18600
992.16/992.63	c nbDecision=937000 #constraints=18606
992.76/993.22	c nbDecision=937500 #constraints=18636
992.96/993.47	c nbDecision=938000 #constraints=18642
993.26/993.72	c nbDecision=938500 #constraints=18648
993.86/994.32	c nbDecision=939000 #constraints=18678
994.06/994.58	c nbDecision=939500 #constraints=18684
994.36/994.83	c nbDecision=940000 #constraints=18690
994.96/995.41	c nbDecision=940500 #constraints=18719
995.16/995.66	c nbDecision=941000 #constraints=18725
995.46/995.94	c nbDecision=941500 #constraints=18732
996.06/996.53	c nbDecision=942000 #constraints=18761
996.26/996.79	c nbDecision=942500 #constraints=18767
996.56/997.05	c nbDecision=943000 #constraints=18773
997.16/997.63	c nbDecision=943500 #constraints=18802
997.46/997.90	c nbDecision=944000 #constraints=18808
997.65/998.16	c nbDecision=944500 #constraints=18814
998.26/998.75	c nbDecision=945000 #constraints=18843
998.55/999.02	c nbDecision=945500 #constraints=18849
998.75/999.29	c nbDecision=946000 #constraints=18855
999.36/999.89	c nbDecision=946500 #constraints=18884
999.65/1000.16	c nbDecision=947000 #constraints=18890
999.95/1000.43	c nbDecision=947500 #constraints=18896
1000.56/1001.04	c nbDecision=948000 #constraints=18925
1000.85/1001.32	c nbDecision=948500 #constraints=18931
1001.05/1001.57	c nbDecision=949000 #constraints=18936
1001.35/1001.85	c nbDecision=949500 #constraints=18942
1001.95/1002.46	c nbDecision=950000 #constraints=18971
1002.25/1002.74	c nbDecision=950500 #constraints=18977
1002.45/1002.99	c nbDecision=951000 #constraints=18982
1003.15/1003.61	c nbDecision=951500 #constraints=19011
1003.45/1003.90	c nbDecision=952000 #constraints=19017
1003.65/1004.18	c nbDecision=952500 #constraints=19023
1004.25/1004.78	c nbDecision=953000 #constraints=19051
1004.55/1005.08	c nbDecision=953500 #constraints=19057
1004.85/1005.36	c nbDecision=954000 #constraints=19063
1005.15/1005.63	c nbDecision=954500 #constraints=19068
1009.16/1009.62	c nbDecision=955000 #constraints=19315
1012.15/1012.63	c nbDecision=955500 #constraints=19499
1015.35/1015.83	c nbDecision=956000 #constraints=19682
1017.85/1018.31	c nbDecision=956500 #constraints=19820
1020.45/1020.94	c nbDecision=957000 #constraints=19959
1020.95/1021.44	c nbDecision=957500 #constraints=19963
1021.45/1021.94	c nbDecision=958000 #constraints=19967
1021.85/1022.37	c nbDecision=958500 #constraints=19970
1022.35/1022.88	c nbDecision=959000 #constraints=19974
1022.95/1023.46	c nbDecision=959500 #constraints=19979
1023.45/1023.98	c nbDecision=960000 #constraints=19983
1023.95/1024.49	c nbDecision=960500 #constraints=19987
1024.45/1024.94	c nbDecision=961000 #constraints=19990
1024.94/1025.47	c nbDecision=961500 #constraints=19994
1025.54/1026.05	c nbDecision=962000 #constraints=19999
1026.04/1026.58	c nbDecision=962500 #constraints=20003
1026.54/1027.04	c nbDecision=963000 #constraints=20006
1027.04/1027.58	c nbDecision=963500 #constraints=20010
1027.64/1028.11	c nbDecision=964000 #constraints=20014
1028.14/1028.64	c nbDecision=964500 #constraints=20018
1028.64/1029.19	c nbDecision=965000 #constraints=20022
1029.24/1029.72	c nbDecision=965500 #constraints=20026
1029.64/1030.20	c nbDecision=966000 #constraints=20029
1030.25/1030.74	c nbDecision=966500 #constraints=20033
1030.84/1031.33	c nbDecision=967000 #constraints=20038
1031.35/1031.81	c nbDecision=967500 #constraints=20041
1031.84/1032.37	c nbDecision=968000 #constraints=20045
1032.35/1032.83	c nbDecision=968500 #constraints=20048
1032.84/1033.40	c nbDecision=969000 #constraints=20052
1033.45/1033.94	c nbDecision=969500 #constraints=20056
1033.94/1034.48	c nbDecision=970000 #constraints=20060
1034.54/1035.04	c nbDecision=970500 #constraints=20064
1035.04/1035.57	c nbDecision=971000 #constraints=20068
1035.54/1036.09	c nbDecision=971500 #constraints=20071
1036.14/1036.64	c nbDecision=972000 #constraints=20075
1036.64/1037.19	c nbDecision=972500 #constraints=20079
1037.24/1037.76	c nbDecision=973000 #constraints=20083
1037.74/1038.25	c nbDecision=973500 #constraints=20086
1038.34/1038.83	c nbDecision=974000 #constraints=20090
1038.84/1039.38	c nbDecision=974500 #constraints=20094
1039.44/1039.96	c nbDecision=975000 #constraints=20098
1040.04/1040.54	c nbDecision=975500 #constraints=20102
1040.54/1041.05	c nbDecision=976000 #constraints=20105
1041.14/1041.64	c nbDecision=976500 #constraints=20109
1041.64/1042.14	c nbDecision=977000 #constraints=20112
1042.24/1042.74	c nbDecision=977500 #constraints=20116
1042.84/1043.30	c nbDecision=978000 #constraints=20120
1043.44/1043.91	c nbDecision=978500 #constraints=20124
1043.94/1044.41	c nbDecision=979000 #constraints=20127
1044.54/1045.02	c nbDecision=979500 #constraints=20131
1045.04/1045.52	c nbDecision=980000 #constraints=20134
1045.74/1046.20	c nbDecision=980500 #constraints=20139
1046.23/1046.71	c nbDecision=981000 #constraints=20142
1046.83/1047.33	c nbDecision=981500 #constraints=20146
1047.33/1047.84	c nbDecision=982000 #constraints=20149
1047.93/1048.47	c nbDecision=982500 #constraints=20153
1048.43/1048.98	c nbDecision=983000 #constraints=20156
1049.13/1049.67	c nbDecision=983500 #constraints=20161
1049.63/1050.19	c nbDecision=984000 #constraints=20164
1050.33/1050.82	c nbDecision=984500 #constraints=20168
1050.83/1051.34	c nbDecision=985000 #constraints=20171
1051.43/1051.96	c nbDecision=985500 #constraints=20175
1052.03/1052.56	c nbDecision=986000 #constraints=20179
1052.63/1053.19	c nbDecision=986500 #constraints=20183
1053.23/1053.73	c nbDecision=987000 #constraints=20186
1053.83/1054.34	c nbDecision=987500 #constraints=20190
1054.33/1054.89	c nbDecision=988000 #constraints=20193
1055.03/1055.55	c nbDecision=988500 #constraints=20198
1055.63/1056.13	c nbDecision=989000 #constraints=20201
1056.12/1056.66	c nbDecision=989500 #constraints=20204
1056.82/1057.31	c nbDecision=990000 #constraints=20208
1057.32/1057.86	c nbDecision=990500 #constraints=20211
1057.92/1058.48	c nbDecision=991000 #constraints=20215
1058.62/1059.11	c nbDecision=991500 #constraints=20219
1059.12/1059.65	c nbDecision=992000 #constraints=20222
1059.83/1060.32	c nbDecision=992500 #constraints=20226
1060.32/1060.88	c nbDecision=993000 #constraints=20229
1061.03/1061.54	c nbDecision=993500 #constraints=20233
1061.62/1062.12	c nbDecision=994000 #constraints=20236
1062.22/1062.73	c nbDecision=994500 #constraints=20240
1062.92/1063.41	c nbDecision=995000 #constraints=20244
1063.42/1063.98	c nbDecision=995500 #constraints=20247
1064.12/1064.63	c nbDecision=996000 #constraints=20251
1064.73/1065.23	c nbDecision=996500 #constraints=20254
1065.33/1065.86	c nbDecision=997000 #constraints=20258
1066.03/1066.54	c nbDecision=997500 #constraints=20262
1066.63/1067.13	c nbDecision=998000 #constraints=20265
1067.23/1067.70	c nbDecision=998500 #constraints=20268
1067.83/1068.39	c nbDecision=999000 #constraints=20272
1068.43/1068.98	c nbDecision=999500 #constraints=20275
1069.12/1069.61	c nbDecision=1000000 #constraints=20279
1069.83/1070.32	c nbDecision=1000500 #constraints=20283
1070.42/1070.91	c nbDecision=1001000 #constraints=20286
1070.93/1071.48	c nbDecision=1001500 #constraints=20289
1071.62/1072.19	c nbDecision=1002000 #constraints=20293
1072.22/1072.78	c nbDecision=1002500 #constraints=20296
1072.92/1073.42	c nbDecision=1003000 #constraints=20300
1073.62/1074.13	c nbDecision=1003500 #constraints=20304
1074.23/1074.73	c nbDecision=1004000 #constraints=20307
1074.82/1075.32	c nbDecision=1004500 #constraints=20310
1075.52/1076.03	c nbDecision=1005000 #constraints=20314
1076.22/1076.70	c nbDecision=1005500 #constraints=20318
1076.82/1077.30	c nbDecision=1006000 #constraints=20321
1077.43/1078.00	c nbDecision=1006500 #constraints=20325
1078.12/1078.64	c nbDecision=1007000 #constraints=20328
1078.72/1079.25	c nbDecision=1007500 #constraints=20331
1079.32/1079.84	c nbDecision=1008000 #constraints=20334
1080.12/1080.64	c nbDecision=1008500 #constraints=20339
1080.72/1081.27	c nbDecision=1009000 #constraints=20342
1081.32/1081.89	c nbDecision=1009500 #constraints=20345
1082.02/1082.59	c nbDecision=1010000 #constraints=20349
1082.72/1083.25	c nbDecision=1010500 #constraints=20352
1083.32/1083.88	c nbDecision=1011000 #constraints=20355
1084.22/1084.71	c nbDecision=1011500 #constraints=20362
1084.82/1085.36	c nbDecision=1012000 #constraints=20365
1085.62/1086.17	c nbDecision=1012500 #constraints=20369
1086.32/1086.85	c nbDecision=1013000 #constraints=20372
1087.02/1087.52	c nbDecision=1013500 #constraints=20375
1087.62/1088.19	c nbDecision=1014000 #constraints=20378
1088.42/1088.91	c nbDecision=1014500 #constraints=20382
1089.12/1089.69	c nbDecision=1015000 #constraints=20386
1089.92/1090.40	c nbDecision=1015500 #constraints=20389
1090.52/1091.08	c nbDecision=1016000 #constraints=20392
1091.22/1091.75	c nbDecision=1016500 #constraints=20395
1091.91/1092.43	c nbDecision=1017000 #constraints=20398
1092.61/1093.16	c nbDecision=1017500 #constraints=20402
1093.41/1093.93	c nbDecision=1018000 #constraints=20406
1094.11/1094.65	c nbDecision=1018500 #constraints=20409
1094.81/1095.35	c nbDecision=1019000 #constraints=20412
1095.51/1096.04	c nbDecision=1019500 #constraints=20415
1096.22/1096.72	c nbDecision=1020000 #constraints=20418
1096.91/1097.47	c nbDecision=1020500 #constraints=20422
1097.61/1098.16	c nbDecision=1021000 #constraints=20425
1098.32/1098.85	c nbDecision=1021500 #constraints=20428
1099.11/1099.66	c nbDecision=1022000 #constraints=20432
1099.81/1100.39	c nbDecision=1022500 #constraints=20435
1100.61/1101.10	c nbDecision=1023000 #constraints=20438
1101.31/1101.88	c nbDecision=1023500 #constraints=20442
1102.01/1102.59	c nbDecision=1024000 #constraints=20445
1102.81/1103.30	c nbDecision=1024500 #constraints=20448
1103.51/1104.01	c nbDecision=1025000 #constraints=20451
1104.21/1104.72	c nbDecision=1025500 #constraints=20454
1104.91/1105.43	c nbDecision=1026000 #constraints=20457
1105.81/1106.33	c nbDecision=1026500 #constraints=20462
1106.51/1107.08	c nbDecision=1027000 #constraints=20465
1107.31/1107.82	c nbDecision=1027500 #constraints=20468
1108.00/1108.55	c nbDecision=1028000 #constraints=20471
1108.70/1109.28	c nbDecision=1028500 #constraints=20474
1109.50/1110.00	c nbDecision=1029000 #constraints=20477
1110.20/1110.79	c nbDecision=1029500 #constraints=20481
1111.00/1111.52	c nbDecision=1030000 #constraints=20484
1111.70/1112.24	c nbDecision=1030500 #constraints=20487
1112.40/1112.97	c nbDecision=1031000 #constraints=20490
1113.20/1113.70	c nbDecision=1031500 #constraints=20493
1113.90/1114.43	c nbDecision=1032000 #constraints=20496
1114.81/1115.33	c nbDecision=1032500 #constraints=20501
1115.50/1116.09	c nbDecision=1033000 #constraints=20504
1116.30/1116.84	c nbDecision=1033500 #constraints=20507
1117.01/1117.60	c nbDecision=1034000 #constraints=20510
1117.80/1118.35	c nbDecision=1034500 #constraints=20513
1118.60/1119.10	c nbDecision=1035000 #constraints=20516
1119.30/1119.86	c nbDecision=1035500 #constraints=20519
1120.10/1120.68	c nbDecision=1036000 #constraints=20523
1120.90/1121.45	c nbDecision=1036500 #constraints=20526
1121.70/1122.21	c nbDecision=1037000 #constraints=20529
1122.40/1122.98	c nbDecision=1037500 #constraints=20532
1123.20/1123.74	c nbDecision=1038000 #constraints=20535
1124.00/1124.50	c nbDecision=1038500 #constraints=20538
1124.80/1125.34	c nbDecision=1039000 #constraints=20542
1125.60/1126.11	c nbDecision=1039500 #constraints=20545
1126.30/1126.88	c nbDecision=1040000 #constraints=20548
1127.10/1127.67	c nbDecision=1040500 #constraints=20551
1127.90/1128.44	c nbDecision=1041000 #constraints=20554
1128.70/1129.22	c nbDecision=1041500 #constraints=20557
1129.50/1130.06	c nbDecision=1042000 #constraints=20561
1130.30/1130.84	c nbDecision=1042500 #constraints=20564
1131.10/1131.62	c nbDecision=1043000 #constraints=20567
1131.90/1132.40	c nbDecision=1043500 #constraints=20570
1132.60/1133.18	c nbDecision=1044000 #constraints=20573
1133.39/1133.97	c nbDecision=1044500 #constraints=20576
1134.19/1134.75	c nbDecision=1045000 #constraints=20579
1135.09/1135.61	c nbDecision=1045500 #constraints=20583
1135.89/1136.41	c nbDecision=1046000 #constraints=20586
1136.69/1137.20	c nbDecision=1046500 #constraints=20589
1137.39/1138.00	c nbDecision=1047000 #constraints=20592
1138.19/1138.79	c nbDecision=1047500 #constraints=20595
1139.00/1139.58	c nbDecision=1048000 #constraints=20598
1139.89/1140.45	c nbDecision=1048500 #constraints=20602
1140.69/1141.26	c nbDecision=1049000 #constraints=20605
1141.49/1142.07	c nbDecision=1049500 #constraints=20608
1142.30/1142.88	c nbDecision=1050000 #constraints=20611
1143.09/1143.69	c nbDecision=1050500 #constraints=20614
1143.89/1144.49	c nbDecision=1051000 #constraints=20617
1144.79/1145.37	c nbDecision=1051500 #constraints=20621
1145.59/1146.18	c nbDecision=1052000 #constraints=20624
1146.29/1146.86	c nbDecision=1052500 #constraints=20626
1147.09/1147.70	c nbDecision=1053000 #constraints=20629
1147.99/1148.53	c nbDecision=1053500 #constraints=20632
1148.79/1149.36	c nbDecision=1054000 #constraints=20635
1149.59/1150.20	c nbDecision=1054500 #constraints=20638
1150.49/1151.09	c nbDecision=1055000 #constraints=20642
1151.39/1151.93	c nbDecision=1055500 #constraints=20645
1152.19/1152.76	c nbDecision=1056000 #constraints=20648
1153.09/1153.60	c nbDecision=1056500 #constraints=20651
1153.89/1154.43	c nbDecision=1057000 #constraints=20654
1154.69/1155.27	c nbDecision=1057500 #constraints=20657
1155.59/1156.15	c nbDecision=1058000 #constraints=20661
1156.39/1156.98	c nbDecision=1058500 #constraints=20664
1157.29/1157.80	c nbDecision=1059000 #constraints=20667
1157.98/1158.51	c nbDecision=1059500 #constraints=20669
1158.79/1159.37	c nbDecision=1060000 #constraints=20672
1159.68/1160.23	c nbDecision=1060500 #constraints=20675
1160.48/1161.09	c nbDecision=1061000 #constraints=20678
1161.48/1162.01	c nbDecision=1061500 #constraints=20682
1162.28/1162.88	c nbDecision=1062000 #constraints=20685
1163.19/1163.74	c nbDecision=1062500 #constraints=20688
1164.08/1164.60	c nbDecision=1063000 #constraints=20691
1164.88/1165.44	c nbDecision=1063500 #constraints=20694
1165.68/1166.28	c nbDecision=1064000 #constraints=20697
1166.49/1167.02	c nbDecision=1064500 #constraints=20699
1167.38/1167.97	c nbDecision=1065000 #constraints=20703
1168.28/1168.86	c nbDecision=1065500 #constraints=20706
1169.18/1169.74	c nbDecision=1066000 #constraints=20709
1170.08/1170.61	c nbDecision=1066500 #constraints=20712
1170.88/1171.49	c nbDecision=1067000 #constraints=20715
1171.78/1172.34	c nbDecision=1067500 #constraints=20718
1172.68/1173.29	c nbDecision=1068000 #constraints=20723
1173.48/1174.01	c nbDecision=1068500 #constraints=20725
1174.28/1174.89	c nbDecision=1069000 #constraints=20728
1175.18/1175.77	c nbDecision=1069500 #constraints=20731
1176.08/1176.65	c nbDecision=1070000 #constraints=20734
1176.98/1177.53	c nbDecision=1070500 #constraints=20737
1177.88/1178.41	c nbDecision=1071000 #constraints=20740
1178.77/1179.37	c nbDecision=1071500 #constraints=20744
1179.68/1180.28	c nbDecision=1072000 #constraints=20747
1180.57/1181.17	c nbDecision=1072500 #constraints=20750
1181.47/1182.06	c nbDecision=1073000 #constraints=20753
1182.27/1182.81	c nbDecision=1073500 #constraints=20755
1183.17/1183.74	c nbDecision=1074000 #constraints=20758
1184.18/1184.72	c nbDecision=1074500 #constraints=20762
1185.07/1185.65	c nbDecision=1075000 #constraints=20765
1185.97/1186.56	c nbDecision=1075500 #constraints=20768
1186.87/1187.43	c nbDecision=1076000 #constraints=20771
1187.67/1188.20	c nbDecision=1076500 #constraints=20773
1188.57/1189.15	c nbDecision=1077000 #constraints=20776
1189.47/1190.07	c nbDecision=1077500 #constraints=20779
1190.47/1191.07	c nbDecision=1078000 #constraints=20783
1191.37/1191.97	c nbDecision=1078500 #constraints=20786
1192.17/1192.72	c nbDecision=1079000 #constraints=20788
1193.07/1193.69	c nbDecision=1079500 #constraints=20791
1194.07/1194.63	c nbDecision=1080000 #constraints=20794
1194.97/1195.57	c nbDecision=1080500 #constraints=20797
1195.87/1196.47	c nbDecision=1081000 #constraints=20800
1196.77/1197.31	c nbDecision=1081500 #constraints=20803
1197.66/1198.28	c nbDecision=1082000 #constraints=20806
1198.66/1199.23	c nbDecision=1082500 #constraints=20809
1199.57/1200.17	c nbDecision=1083000 #constraints=20812
1200.46/1201.07	c nbDecision=1083500 #constraints=20815
1201.36/1201.91	c nbDecision=1084000 #constraints=20817
1202.26/1202.89	c nbDecision=1084500 #constraints=20820
1203.36/1203.92	c nbDecision=1085000 #constraints=20824
1204.26/1204.84	c nbDecision=1085500 #constraints=20827
1205.07/1205.65	c nbDecision=1086000 #constraints=20829
1206.07/1206.64	c nbDecision=1086500 #constraints=20832
1207.06/1207.62	c nbDecision=1087000 #constraints=20835
1207.96/1208.56	c nbDecision=1087500 #constraints=20838
1208.76/1209.36	c nbDecision=1088000 #constraints=20840
1209.86/1210.42	c nbDecision=1088500 #constraints=20844
1210.86/1211.40	c nbDecision=1089000 #constraints=20847
1211.76/1212.34	c nbDecision=1089500 #constraints=20850
1212.56/1213.14	c nbDecision=1090000 #constraints=20852
1213.56/1214.14	c nbDecision=1090500 #constraints=20855
1214.56/1215.13	c nbDecision=1091000 #constraints=20858
1215.56/1216.13	c nbDecision=1091500 #constraints=20862
1216.36/1216.94	c nbDecision=1092000 #constraints=20864
1217.35/1217.96	c nbDecision=1092500 #constraints=20867
1218.35/1218.96	c nbDecision=1093000 #constraints=20870
1219.26/1219.89	c nbDecision=1093500 #constraints=20873
1220.15/1220.74	c nbDecision=1094000 #constraints=20875
1221.15/1221.76	c nbDecision=1094500 #constraints=20878
1222.25/1222.82	c nbDecision=1095000 #constraints=20882
1223.05/1223.60	c nbDecision=1095500 #constraints=20884
1224.05/1224.65	c nbDecision=1096000 #constraints=20887
1225.05/1225.68	c nbDecision=1096500 #constraints=20890
1226.05/1226.65	c nbDecision=1097000 #constraints=20893
1226.85/1227.48	c nbDecision=1097500 #constraints=20895
1227.95/1228.52	c nbDecision=1098000 #constraints=20898
1229.05/1229.60	c nbDecision=1098500 #constraints=20902
1229.75/1230.38	c nbDecision=1099000 #constraints=20904
1230.85/1231.44	c nbDecision=1099500 #constraints=20907
1231.85/1232.47	c nbDecision=1100000 #constraints=20910
1232.85/1233.44	c nbDecision=1100500 #constraints=20913
1233.65/1234.30	c nbDecision=1101000 #constraints=20915
1234.75/1235.34	c nbDecision=1101500 #constraints=20918
1235.75/1236.40	c nbDecision=1102000 #constraints=20922
1236.65/1237.22	c nbDecision=1102500 #constraints=20924
1237.65/1238.28	c nbDecision=1103000 #constraints=20927
1238.75/1239.31	c nbDecision=1103500 #constraints=20930
1239.55/1240.11	c nbDecision=1104000 #constraints=20932
1240.55/1241.19	c nbDecision=1104500 #constraints=20935
1241.65/1242.24	c nbDecision=1105000 #constraints=20938
1242.66/1243.27	c nbDecision=1105500 #constraints=20942
1243.56/1244.20	c nbDecision=1106000 #constraints=20944
1244.66/1245.26	c nbDecision=1106500 #constraints=20947
1245.66/1246.24	c nbDecision=1107000 #constraints=20950
1246.55/1247.16	c nbDecision=1107500 #constraints=20952
1247.65/1248.23	c nbDecision=1108000 #constraints=20955
1248.65/1249.22	c nbDecision=1108500 #constraints=20958
1249.55/1250.13	c nbDecision=1109000 #constraints=20960
1250.65/1251.27	c nbDecision=1109500 #constraints=20964
1251.65/1252.26	c nbDecision=1110000 #constraints=20967
1252.55/1253.17	c nbDecision=1110500 #constraints=20969
1253.65/1254.25	c nbDecision=1111000 #constraints=20972
1254.65/1255.23	c nbDecision=1111500 #constraints=20975
1255.55/1256.16	c nbDecision=1112000 #constraints=20977
1256.65/1257.23	c nbDecision=1112500 #constraints=20980
1257.55/1258.10	c nbDecision=1113000 #constraints=20983
1258.65/1259.22	c nbDecision=1113500 #constraints=20986
1259.75/1260.30	c nbDecision=1114000 #constraints=20989
1260.55/1261.14	c nbDecision=1114500 #constraints=20991
1261.65/1262.27	c nbDecision=1115000 #constraints=20994
1262.75/1263.34	c nbDecision=1115500 #constraints=20997
1263.65/1264.21	c nbDecision=1116000 #constraints=20999
1264.85/1265.40	c nbDecision=1116500 #constraints=21003
1265.85/1266.45	c nbDecision=1117000 #constraints=21006
1266.75/1267.36	c nbDecision=1117500 #constraints=21008
1267.85/1268.48	c nbDecision=1118000 #constraints=21011
1268.95/1269.50	c nbDecision=1118500 #constraints=21014
1269.85/1270.46	c nbDecision=1119000 #constraints=21016
1270.95/1271.55	c nbDecision=1119500 #constraints=21019
1271.84/1272.46	c nbDecision=1120000 #constraints=21022
1273.04/1273.60	c nbDecision=1120500 #constraints=21025
1274.04/1274.68	c nbDecision=1121000 #constraints=21028
1274.94/1275.59	c nbDecision=1121500 #constraints=21030
1276.14/1276.71	c nbDecision=1122000 #constraints=21033
1277.14/1277.73	c nbDecision=1122500 #constraints=21036
1278.04/1278.70	c nbDecision=1123000 #constraints=21038
1279.24/1279.86	c nbDecision=1123500 #constraints=21042
1280.14/1280.75	c nbDecision=1124000 #constraints=21044
1281.34/1281.91	c nbDecision=1124500 #constraints=21047
1282.34/1282.96	c nbDecision=1125000 #constraints=21050
1283.34/1283.94	c nbDecision=1125500 #constraints=21052
1284.44/1285.06	c nbDecision=1126000 #constraints=21055
1285.34/1285.95	c nbDecision=1126500 #constraints=21057
1286.54/1287.12	c nbDecision=1127000 #constraints=21060
1287.64/1288.25	c nbDecision=1127500 #constraints=21064
1288.64/1289.23	c nbDecision=1128000 #constraints=21066
1289.74/1290.36	c nbDecision=1128500 #constraints=21069
1290.64/1291.26	c nbDecision=1129000 #constraints=21071
1291.84/1292.43	c nbDecision=1129500 #constraints=21074
1292.84/1293.47	c nbDecision=1130000 #constraints=21077
1293.84/1294.47	c nbDecision=1130500 #constraints=21079
1295.03/1295.65	c nbDecision=1131000 #constraints=21083
1295.93/1296.59	c nbDecision=1131500 #constraints=21085
1297.13/1297.76	c nbDecision=1132000 #constraints=21088
1298.03/1298.63	c nbDecision=1132500 #constraints=21090
1299.23/1299.83	c nbDecision=1133000 #constraints=21093
1300.33/1300.92	c nbDecision=1133500 #constraints=21096
1301.33/1301.91	c nbDecision=1134000 #constraints=21098
1302.43/1303.01	c nbDecision=1134500 #constraints=21102
1303.23/1303.88	c nbDecision=1135000 #constraints=21104
1303.93/1304.56	c nbDecision=1135500 #constraints=21105
1304.83/1305.43	c nbDecision=1136000 #constraints=21107
1305.63/1306.29	c nbDecision=1136500 #constraints=21109
1306.53/1307.15	c nbDecision=1137000 #constraints=21111
1307.43/1308.01	c nbDecision=1137500 #constraints=21113
1308.23/1308.85	c nbDecision=1138000 #constraints=21115
1309.03/1309.66	c nbDecision=1138500 #constraints=21117
1309.82/1310.46	c nbDecision=1139000 #constraints=21119
1312.52/1313.11	c nbDecision=1139500 #constraints=21177
1327.82/1328.41	c nbDecision=1140000 #constraints=21463
1342.91/1343.59	c nbDecision=1140500 #constraints=21749
1358.31/1358.91	c nbDecision=1141000 #constraints=22035
1373.70/1374.40	c nbDecision=1141500 #constraints=22321
1389.40/1390.02	c nbDecision=1142000 #constraints=22607
1405.09/1405.73	c nbDecision=1142500 #constraints=22893
1413.29/1413.98	c nbDecision=1143000 #constraints=23036
1429.29/1429.93	c nbDecision=1143500 #constraints=23322
1445.28/1445.94	c nbDecision=1144000 #constraints=23608
1454.08/1454.70	c nbDecision=1144500 #constraints=23754
1455.07/1455.76	c nbDecision=1145000 #constraints=23755
1456.27/1456.91	c nbDecision=1145500 #constraints=23757
1457.27/1457.96	c nbDecision=1146000 #constraints=23758
1458.47/1459.11	c nbDecision=1146500 #constraints=23760
1459.47/1460.15	c nbDecision=1147000 #constraints=23761
1460.67/1461.31	c nbDecision=1147500 #constraints=23763
1461.67/1462.37	c nbDecision=1148000 #constraints=23764
1462.87/1463.53	c nbDecision=1148500 #constraints=23766
1463.87/1464.58	c nbDecision=1149000 #constraints=23767
1465.07/1465.76	c nbDecision=1149500 #constraints=23769
1466.07/1466.78	c nbDecision=1150000 #constraints=23770
1467.57/1468.24	c nbDecision=1150500 #constraints=23788
1468.77/1469.41	c nbDecision=1151000 #constraints=23790
1469.77/1470.49	c nbDecision=1151500 #constraints=23791
1470.97/1471.65	c nbDecision=1152000 #constraints=23793
1472.07/1472.72	c nbDecision=1152500 #constraints=23794
1473.17/1473.89	c nbDecision=1153000 #constraints=23796
1474.27/1474.96	c nbDecision=1153500 #constraints=23797
1475.47/1476.14	c nbDecision=1154000 #constraints=23799
1476.47/1477.19	c nbDecision=1154500 #constraints=23800
1477.67/1478.35	c nbDecision=1155000 #constraints=23802
1478.77/1479.41	c nbDecision=1155500 #constraints=23803
1479.87/1480.59	c nbDecision=1156000 #constraints=23805
1480.97/1481.64	c nbDecision=1156500 #constraints=23806
1482.36/1483.01	c nbDecision=1157000 #constraints=23824
1483.56/1484.21	c nbDecision=1157500 #constraints=23826
1484.66/1485.31	c nbDecision=1158000 #constraints=23827
1485.86/1486.52	c nbDecision=1158500 #constraints=23829
1486.96/1487.61	c nbDecision=1159000 #constraints=23830
1488.16/1488.83	c nbDecision=1159500 #constraints=23832
1489.26/1489.91	c nbDecision=1160000 #constraints=23833
1490.46/1491.10	c nbDecision=1160500 #constraints=23835
1491.46/1492.17	c nbDecision=1161000 #constraints=23836
1492.66/1493.39	c nbDecision=1161500 #constraints=23838
1493.76/1494.41	c nbDecision=1162000 #constraints=23839
1494.96/1495.69	c nbDecision=1162500 #constraints=23841
1495.96/1496.65	c nbDecision=1163000 #constraints=23842
1497.56/1498.24	c nbDecision=1163500 #constraints=23860
1498.76/1499.47	c nbDecision=1164000 #constraints=23862
1499.86/1500.55	c nbDecision=1164500 #constraints=23863
1501.06/1501.76	c nbDecision=1165000 #constraints=23865
1502.16/1502.85	c nbDecision=1165500 #constraints=23866
1503.46/1504.11	c nbDecision=1166000 #constraints=23868
1504.45/1505.13	c nbDecision=1166500 #constraints=23869
1505.75/1506.45	c nbDecision=1167000 #constraints=23871
1506.75/1507.40	c nbDecision=1167500 #constraints=23872
1507.75/1508.41	c nbDecision=1168000 #constraints=23873
1508.95/1509.65	c nbDecision=1168500 #constraints=23875
1510.05/1510.76	c nbDecision=1169000 #constraints=23876
1511.25/1511.98	c nbDecision=1169500 #constraints=23878
1512.96/1513.64	c nbDecision=1170000 #constraints=23896
1514.25/1514.92	c nbDecision=1170500 #constraints=23898
1515.25/1515.92	c nbDecision=1171000 #constraints=23899
1516.15/1516.89	c nbDecision=1171500 #constraints=23900
1517.45/1518.17	c nbDecision=1172000 #constraints=23902
1518.55/1519.25	c nbDecision=1172500 #constraints=23903
1519.75/1520.49	c nbDecision=1173000 #constraints=23905
1520.95/1521.61	c nbDecision=1173500 #constraints=23906
1522.15/1522.86	c nbDecision=1174000 #constraints=23908
1523.25/1523.97	c nbDecision=1174500 #constraints=23909
1524.55/1525.23	c nbDecision=1175000 #constraints=23911
1525.65/1526.33	c nbDecision=1175500 #constraints=23912
1526.85/1527.59	c nbDecision=1176000 #constraints=23914
1528.45/1529.10	c nbDecision=1176500 #constraints=23932
1529.55/1530.24	c nbDecision=1177000 #constraints=23933
1530.75/1531.49	c nbDecision=1177500 #constraints=23935
1531.95/1532.60	c nbDecision=1178000 #constraints=23936
1533.14/1533.87	c nbDecision=1178500 #constraints=23938
1534.24/1534.96	c nbDecision=1179000 #constraints=23939
1535.54/1536.22	c nbDecision=1179500 #constraints=23941
1536.54/1537.28	c nbDecision=1180000 #constraints=23942
1537.94/1538.61	c nbDecision=1180500 #constraints=23944
1538.84/1539.57	c nbDecision=1181000 #constraints=23945
1539.94/1540.60	c nbDecision=1181500 #constraints=23946
1541.14/1541.87	c nbDecision=1182000 #constraints=23948
1542.34/1543.01	c nbDecision=1182500 #constraints=23949
1544.24/1544.92	c nbDecision=1183000 #constraints=23968
1545.24/1545.97	c nbDecision=1183500 #constraints=23969
1546.64/1547.34	c nbDecision=1184000 #constraints=23971
1547.54/1548.29	c nbDecision=1184500 #constraints=23972
1548.63/1549.38	c nbDecision=1185000 #constraints=23973
1549.93/1550.67	c nbDecision=1185500 #constraints=23975
1551.13/1551.80	c nbDecision=1186000 #constraints=23976
1552.33/1553.08	c nbDecision=1186500 #constraints=23978
1553.43/1554.20	c nbDecision=1187000 #constraints=23979
1554.73/1555.47	c nbDecision=1187500 #constraints=23981
1555.83/1556.57	c nbDecision=1188000 #constraints=23982
1557.13/1557.88	c nbDecision=1188500 #constraints=23984
1558.23/1558.91	c nbDecision=1189000 #constraints=23985
1559.53/1560.27	c nbDecision=1189500 #constraints=23987
1561.13/1561.87	c nbDecision=1190000 #constraints=24005
1562.23/1562.99	c nbDecision=1190500 #constraints=24006
1563.63/1564.31	c nbDecision=1191000 #constraints=24008
1564.63/1565.37	c nbDecision=1191500 #constraints=24009
1566.03/1566.76	c nbDecision=1192000 #constraints=24011
1567.03/1567.71	c nbDecision=1192500 #constraints=24012
1568.13/1568.81	c nbDecision=1193000 #constraints=24013
1569.43/1570.12	c nbDecision=1193500 #constraints=24015
1570.53/1571.27	c nbDecision=1194000 #constraints=24016
1571.83/1572.57	c nbDecision=1194500 #constraints=24018
1572.92/1573.69	c nbDecision=1195000 #constraints=24019
1574.22/1574.98	c nbDecision=1195500 #constraints=24021
1575.32/1576.09	c nbDecision=1196000 #constraints=24022
1577.02/1577.70	c nbDecision=1196500 #constraints=24040
1578.32/1579.02	c nbDecision=1197000 #constraints=24042
1579.42/1580.15	c nbDecision=1197500 #constraints=24043
1580.72/1581.47	c nbDecision=1198000 #constraints=24045
1581.82/1582.58	c nbDecision=1198500 #constraints=24046
1583.23/1583.96	c nbDecision=1199000 #constraints=24048
1584.22/1584.96	c nbDecision=1199500 #constraints=24049
1585.32/1586.04	c nbDecision=1200000 #constraints=24050
1586.62/1587.37	c nbDecision=1200500 #constraints=24052
1587.82/1588.53	c nbDecision=1201000 #constraints=24053
1589.12/1589.86	c nbDecision=1201500 #constraints=24055
1590.32/1591.01	c nbDecision=1202000 #constraints=24056
1591.62/1592.32	c nbDecision=1202500 #constraints=24058
1593.22/1593.91	c nbDecision=1203000 #constraints=24076
1594.32/1595.07	c nbDecision=1203500 #constraints=24077
1595.71/1596.41	c nbDecision=1204000 #constraints=24079
1596.81/1597.55	c nbDecision=1204500 #constraints=24080
1598.11/1598.88	c nbDecision=1205000 #constraints=24082
1599.21/1599.97	c nbDecision=1205500 #constraints=24083
1600.61/1601.39	c nbDecision=1206000 #constraints=24085
1601.61/1602.35	c nbDecision=1206500 #constraints=24086
1602.71/1603.49	c nbDecision=1207000 #constraints=24087
1604.11/1604.83	c nbDecision=1207500 #constraints=24089
1605.31/1606.00	c nbDecision=1208000 #constraints=24090
1606.61/1607.36	c nbDecision=1208500 #constraints=24092
1607.81/1608.50	c nbDecision=1209000 #constraints=24093
1609.11/1609.88	c nbDecision=1209500 #constraints=24095
1610.71/1611.49	c nbDecision=1210000 #constraints=24113
1611.91/1612.65	c nbDecision=1210500 #constraints=24114
1613.20/1613.99	c nbDecision=1211000 #constraints=24116
1614.40/1615.13	c nbDecision=1211500 #constraints=24117
1615.80/1616.53	c nbDecision=1212000 #constraints=24119
1616.80/1617.53	c nbDecision=1212500 #constraints=24120
1617.90/1618.62	c nbDecision=1213000 #constraints=24121
1619.20/1619.98	c nbDecision=1213500 #constraints=24123
1620.40/1621.16	c nbDecision=1214000 #constraints=24124
1621.81/1622.54	c nbDecision=1214500 #constraints=24126
1622.90/1623.69	c nbDecision=1215000 #constraints=24127
1624.30/1625.07	c nbDecision=1215500 #constraints=24129
1625.40/1626.15	c nbDecision=1216000 #constraints=24130
1627.11/1627.90	c nbDecision=1216500 #constraints=24148
1628.51/1629.27	c nbDecision=1217000 #constraints=24150
1629.71/1630.41	c nbDecision=1217500 #constraints=24151
1631.11/1631.84	c nbDecision=1218000 #constraints=24153
1632.11/1632.83	c nbDecision=1218500 #constraints=24154
1633.21/1633.95	c nbDecision=1219000 #constraints=24155
1634.60/1635.34	c nbDecision=1219500 #constraints=24157
1635.80/1636.52	c nbDecision=1220000 #constraints=24158
1637.11/1637.89	c nbDecision=1220500 #constraints=24160
1638.31/1639.04	c nbDecision=1221000 #constraints=24161
1639.70/1640.45	c nbDecision=1221500 #constraints=24163
1640.70/1641.48	c nbDecision=1222000 #constraints=24164
1641.80/1642.58	c nbDecision=1222500 #constraints=24165
1643.90/1644.68	c nbDecision=1223000 #constraints=24184
1645.00/1645.78	c nbDecision=1223500 #constraints=24185
1646.10/1646.83	c nbDecision=1224000 #constraints=24186
1647.50/1648.24	c nbDecision=1224500 #constraints=24188
1648.70/1649.45	c nbDecision=1225000 #constraints=24189
1650.10/1650.85	c nbDecision=1225500 #constraints=24191
1651.30/1652.02	c nbDecision=1226000 #constraints=24192
1652.70/1653.42	c nbDecision=1226500 #constraints=24194
1653.80/1654.51	c nbDecision=1227000 #constraints=24195
1654.80/1655.55	c nbDecision=1227500 #constraints=24196
1656.20/1656.95	c nbDecision=1228000 #constraints=24198
1657.40/1658.15	c nbDecision=1228500 #constraints=24199
1658.80/1659.54	c nbDecision=1229000 #constraints=24201
1660.00/1660.73	c nbDecision=1229500 #constraints=24202
1661.70/1662.41	c nbDecision=1230000 #constraints=24220
1663.09/1663.84	c nbDecision=1230500 #constraints=24222
1664.29/1665.04	c nbDecision=1231000 #constraints=24223
1665.70/1666.46	c nbDecision=1231500 #constraints=24225
1666.80/1667.60	c nbDecision=1232000 #constraints=24226
1668.29/1669.05	c nbDecision=1232500 #constraints=24228
1669.29/1670.05	c nbDecision=1233000 #constraints=24229
1670.49/1671.27	c nbDecision=1233500 #constraints=24230
1671.89/1672.69	c nbDecision=1234000 #constraints=24232
1673.09/1673.87	c nbDecision=1234500 #constraints=24233
1674.49/1675.28	c nbDecision=1235000 #constraints=24235
1675.59/1676.38	c nbDecision=1235500 #constraints=24236
1676.69/1677.43	c nbDecision=1236000 #constraints=24237
1678.78/1679.58	c nbDecision=1236500 #constraints=24256
1679.99/1680.72	c nbDecision=1237000 #constraints=24257
1681.38/1682.18	c nbDecision=1237500 #constraints=24259
1682.48/1683.22	c nbDecision=1238000 #constraints=24260
1683.68/1684.45	c nbDecision=1238500 #constraints=24261
1685.18/1685.90	c nbDecision=1239000 #constraints=24263
1686.28/1687.09	c nbDecision=1239500 #constraints=24264
1687.78/1688.55	c nbDecision=1240000 #constraints=24266
1688.88/1689.63	c nbDecision=1240500 #constraints=24267
1689.98/1690.74	c nbDecision=1241000 #constraints=24268
1691.38/1692.18	c nbDecision=1241500 #constraints=24270
1692.58/1693.39	c nbDecision=1242000 #constraints=24271
1694.08/1694.81	c nbDecision=1242500 #constraints=24273
1695.18/1695.99	c nbDecision=1243000 #constraints=24274
1696.98/1697.74	c nbDecision=1243500 #constraints=24292
1698.38/1699.18	c nbDecision=1244000 #constraints=24294
1699.58/1700.36	c nbDecision=1244500 #constraints=24295
1701.08/1701.86	c nbDecision=1245000 #constraints=24297
1702.08/1702.87	c nbDecision=1245500 #constraints=24298
1703.28/1704.08	c nbDecision=1246000 #constraints=24299
1704.77/1705.55	c nbDecision=1246500 #constraints=24301
1705.97/1706.77	c nbDecision=1247000 #constraints=24302
1707.48/1708.24	c nbDecision=1247500 #constraints=24304
1708.58/1709.35	c nbDecision=1248000 #constraints=24305
1709.68/1710.44	c nbDecision=1248500 #constraints=24306
1711.17/1711.91	c nbDecision=1249000 #constraints=24308
1712.37/1713.13	c nbDecision=1249500 #constraints=24309
1713.77/1714.58	c nbDecision=1250000 #constraints=24311
1715.57/1716.32	c nbDecision=1250500 #constraints=24329
1716.77/1717.54	c nbDecision=1251000 #constraints=24330
1718.27/1719.00	c nbDecision=1251500 #constraints=24332
1719.37/1720.18	c nbDecision=1252000 #constraints=24333
1720.87/1721.68	c nbDecision=1252500 #constraints=24335
1721.97/1722.71	c nbDecision=1253000 #constraints=24336
1723.17/1723.96	c nbDecision=1253500 #constraints=24337
1724.67/1725.46	c nbDecision=1254000 #constraints=24339
1725.87/1726.67	c nbDecision=1254500 #constraints=24340
1727.37/1728.17	c nbDecision=1255000 #constraints=24342
1728.47/1729.23	c nbDecision=1255500 #constraints=24343
1729.66/1730.41	c nbDecision=1256000 #constraints=24344
1731.06/1731.89	c nbDecision=1256500 #constraints=24346
1732.87/1733.67	c nbDecision=1257000 #constraints=24364
1734.06/1734.87	c nbDecision=1257500 #constraints=24365
1735.56/1736.37	c nbDecision=1258000 #constraints=24367
1736.76/1737.59	c nbDecision=1258500 #constraints=24368
1738.26/1739.09	c nbDecision=1259000 #constraints=24370
1739.36/1740.18	c nbDecision=1259500 #constraints=24371
1740.56/1741.33	c nbDecision=1260000 #constraints=24372
1742.06/1742.84	c nbDecision=1260500 #constraints=24374
1743.26/1744.09	c nbDecision=1261000 #constraints=24375
1744.76/1745.59	c nbDecision=1261500 #constraints=24377
1745.96/1746.75	c nbDecision=1262000 #constraints=24378
1747.06/1747.84	c nbDecision=1262500 #constraints=24379
1748.56/1749.36	c nbDecision=1263000 #constraints=24381
1749.86/1750.62	c nbDecision=1263500 #constraints=24382
1751.56/1752.37	c nbDecision=1264000 #constraints=24400
1753.05/1753.89	c nbDecision=1264500 #constraints=24402
1754.35/1755.13	c nbDecision=1265000 #constraints=24403
1755.86/1756.64	c nbDecision=1265500 #constraints=24405
1756.95/1757.79	c nbDecision=1266000 #constraints=24406
1758.05/1758.89	c nbDecision=1266500 #constraints=24407
1759.65/1760.41	c nbDecision=1267000 #constraints=24409
1760.85/1761.68	c nbDecision=1267500 #constraints=24410
1762.35/1763.19	c nbDecision=1268000 #constraints=24412
1763.55/1764.37	c nbDecision=1268500 #constraints=24413
1764.65/1765.46	c nbDecision=1269000 #constraints=24414
1766.25/1767.00	c nbDecision=1269500 #constraints=24416
1767.45/1768.26	c nbDecision=1270000 #constraints=24417
1768.95/1769.78	c nbDecision=1270500 #constraints=24419
1770.75/1771.58	c nbDecision=1271000 #constraints=24437
1772.05/1772.84	c nbDecision=1271500 #constraints=24438
1773.55/1774.36	c nbDecision=1272000 #constraints=24440
1774.75/1775.51	c nbDecision=1272500 #constraints=24441
1775.85/1776.64	c nbDecision=1273000 #constraints=24442
1777.34/1778.17	c nbDecision=1273500 #constraints=24444
1778.64/1779.43	c nbDecision=1274000 #constraints=24445
1780.15/1780.96	c nbDecision=1274500 #constraints=24447
1781.34/1782.12	c nbDecision=1275000 #constraints=24448
1782.44/1783.26	c nbDecision=1275500 #constraints=24449
1784.04/1784.81	c nbDecision=1276000 #constraints=24451
1785.24/1786.09	c nbDecision=1276500 #constraints=24452
1786.84/1787.63	c nbDecision=1277000 #constraints=24454
1788.64/1789.46	c nbDecision=1277500 #constraints=24472
1789.94/1790.71	c nbDecision=1278000 #constraints=24473
1791.44/1792.27	c nbDecision=1278500 #constraints=24475
1792.53/1793.34	c nbDecision=1279000 #constraints=24476
1793.73/1794.57	c nbDecision=1279500 #constraints=24477
1795.33/1796.13	c nbDecision=1280000 #constraints=24479
1796.54/1797.36	c nbDecision=1280500 #constraints=24480
1798.13/1798.93	c nbDecision=1281000 #constraints=24482
1799.13/1799.98	c nbDecision=1281500 #constraints=24483
1800.04/1800.80	Received signal 15
1800.04/1800.81	
1800.04/1800.81	s UNKNOWN
1800.04/1800.81	
1800.04/1800.81	c user time= 1799.73 s
1800.04/1800.81	c system time= 0.328949 s
1800.04/1800.81	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/node69/watcher-356931-1176848757 -o ROOT/results/node69/solver-356931-1176848757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356931-1176848757/instance-356931-1176848757.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.72 0.93 0.98 2/64 18966
/proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=1620 CPUtime=0
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 160865112 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 405 166 126 317 0 84 0

[startup+0.0604469 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 18966
/proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=2460 CPUtime=0.05
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 425 0 0 0 5 0 0 0 18 0 1 0 160865112 2519040 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 615 407 131 317 0 294 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2460

[startup+0.101445 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 18966
/proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=3236 CPUtime=0.09
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 594 0 0 0 9 0 0 0 18 0 1 0 160865112 3313664 576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715285 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 809 576 131 317 0 488 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3236

[startup+0.301477 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 18966
/proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=4780 CPUtime=0.29
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 956 0 0 0 29 0 0 0 19 0 1 0 160865112 4894720 938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 1195 938 137 317 0 874 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4780

[startup+0.701542 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 18966
/proc/meminfo: memFree=1596244/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=5440 CPUtime=0.69
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 1121 0 0 0 69 0 0 0 23 0 1 0 160865112 5570560 1103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 1360 1103 137 317 0 1039 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5440

[startup+1.50167 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 18967
/proc/meminfo: memFree=1592268/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=5704 CPUtime=1.49
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 1176 0 0 0 149 0 0 0 25 0 1 0 160865112 5840896 1158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 1426 1158 139 317 0 1105 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5704

[startup+3.10193 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 18967
/proc/meminfo: memFree=1591820/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=6100 CPUtime=3.09
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 1295 0 0 0 309 0 0 0 25 0 1 0 160865112 6246400 1277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 1525 1277 139 317 0 1204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6100

[startup+6.30145 s]
/proc/loadavg: 0.74 0.94 0.98 2/65 18967
/proc/meminfo: memFree=1590668/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=7152 CPUtime=6.29
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 1541 0 0 0 629 0 0 0 25 0 1 0 160865112 7323648 1523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 1788 1523 139 317 0 1467 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7152

[startup+12.7015 s]
/proc/loadavg: 0.76 0.94 0.98 2/65 18967
/proc/meminfo: memFree=1588620/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=9056 CPUtime=12.69
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 2018 0 0 0 1268 1 0 0 25 0 1 0 160865112 9273344 2000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 2264 2000 139 317 0 1943 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9056

[startup+25.5016 s]
/proc/loadavg: 0.81 0.94 0.98 2/65 18967
/proc/meminfo: memFree=1585036/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=12876 CPUtime=25.48
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 2898 0 0 0 2547 1 0 0 25 0 1 0 160865112 13185024 2880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 3219 2880 139 317 0 2898 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12876

[startup+51.1017 s]
/proc/loadavg: 0.87 0.94 0.98 2/65 18967
/proc/meminfo: memFree=1576716/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=21356 CPUtime=51.07
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 4991 0 0 0 5105 2 0 0 25 0 1 0 160865112 21868544 4973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 5339 4973 170 317 0 5018 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21356

[startup+102.306 s]
/proc/loadavg: 0.94 0.95 0.98 2/65 18967
/proc/meminfo: memFree=1542796/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=55068 CPUtime=102.25
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 13472 0 0 0 10218 7 0 0 25 0 1 0 160865112 56389632 13454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 13767 13454 170 317 0 13446 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 55068

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.98 2/65 18967
/proc/meminfo: memFree=1526540/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=72992 CPUtime=162.21
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 17530 0 0 0 16213 8 0 0 25 0 1 0 160865112 74743808 17454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 18248 17454 170 317 0 17927 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 72992

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.98 2/65 18967
/proc/meminfo: memFree=1524492/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=75236 CPUtime=222.19
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 18037 0 0 0 22210 9 0 0 25 0 1 0 160865112 77041664 17961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134595777 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 18809 17961 170 317 0 18488 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 75236

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18967
/proc/meminfo: memFree=1522060/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=77756 CPUtime=282.15
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 18683 0 0 0 28205 10 0 0 25 0 1 0 160865112 79622144 18607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 19439 18607 170 317 0 19118 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 77756

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18967
/proc/meminfo: memFree=1514828/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=84592 CPUtime=342.12
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 20443 0 0 0 34200 12 0 0 25 0 1 0 160865112 86622208 20367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563302 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 21148 20367 170 317 0 20827 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 84592

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18967
/proc/meminfo: memFree=1513164/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=86108 CPUtime=402.08
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 20856 0 0 0 40196 12 0 0 25 0 1 0 160865112 88174592 20780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 21527 20780 170 317 0 21206 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 86108

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18967
/proc/meminfo: memFree=1490956/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=110264 CPUtime=462.06
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 26463 0 0 0 46192 14 0 0 25 0 1 0 160865112 112910336 26387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 27566 26387 170 317 0 27245 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 110264

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18967
/proc/meminfo: memFree=1468684/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=131500 CPUtime=522.04
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 31972 0 0 0 52187 17 0 0 25 0 1 0 160865112 134656000 31896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 32875 31896 170 317 0 32554 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 131500

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18967
/proc/meminfo: memFree=1467788/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=132168 CPUtime=582.01
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 32172 0 0 0 58184 17 0 0 25 0 1 0 160865112 135340032 32096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 33042 32096 170 317 0 32721 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 132168

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18967
/proc/meminfo: memFree=1467148/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=132828 CPUtime=642
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 32337 0 0 0 64182 18 0 0 25 0 1 0 160865112 136015872 32261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 33207 32261 170 317 0 32886 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 132828


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1465100/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=134672 CPUtime=821.93
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 32820 0 0 0 82174 19 0 0 25 0 1 0 160865112 137904128 32744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 33668 32744 170 317 0 33347 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 134672

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1464524/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=135200 CPUtime=881.9
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 32963 0 0 0 88171 19 0 0 25 0 1 0 160865112 138444800 32887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 33800 32887 170 317 0 33479 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 135200

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1461260/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=142140 CPUtime=941.88
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 34531 0 0 0 94168 20 0 0 25 0 1 0 160865112 145551360 33714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 35535 33714 170 317 0 35214 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 142140

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1455372/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=148880 CPUtime=1001.85
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 36183 0 0 0 100164 21 0 0 25 0 1 0 160865112 152453120 35201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 37220 35201 170 317 0 36899 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 148880

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1450508/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=153276 CPUtime=1061.82
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 37367 0 0 0 106160 22 0 0 25 0 1 0 160865112 156954624 36385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 38319 36385 170 317 0 37998 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 153276

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1449612/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=154072 CPUtime=1121.8
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 37584 0 0 0 112157 23 0 0 25 0 1 0 160865112 157769728 36602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533545 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 38518 36602 170 317 0 38197 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 154072

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1448844/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=154728 CPUtime=1181.77
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 37773 0 0 0 118154 23 0 0 25 0 1 0 160865112 158441472 36791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 38682 36791 170 317 0 38361 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 154728

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1448268/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=155252 CPUtime=1241.75
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 37908 0 0 0 124152 23 0 0 25 0 1 0 160865112 158978048 36926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 38813 36926 170 317 0 38492 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 155252

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1447692/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=155656 CPUtime=1301.74
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 38037 0 0 0 130150 24 0 0 25 0 1 0 160865112 159391744 37055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 38914 37055 170 317 0 38593 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 155656

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1431884/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=171308 CPUtime=1361.71
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 42034 0 0 0 136145 26 0 0 25 0 1 0 160865112 175419392 41052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 42827 41052 170 317 0 42506 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 171308

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1414604/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=187868 CPUtime=1421.68
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 46331 0 0 0 142139 29 0 0 25 0 1 0 160865112 192376832 45349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 46967 45349 170 317 0 46646 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 187868

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1401228/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=206920 CPUtime=1481.66
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 49672 0 0 0 148135 31 0 0 25 0 1 0 160865112 211886080 48690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 51730 48690 170 317 0 51409 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 206920

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1400652/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=207452 CPUtime=1541.64
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 49795 0 0 0 154133 31 0 0 25 0 1 0 160865112 212430848 48813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 51863 48813 170 317 0 51542 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 207452

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1400076/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=208004 CPUtime=1601.61
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 49927 0 0 0 160130 31 0 0 25 0 1 0 160865112 212996096 48945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 52001 48945 170 317 0 51680 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 208004

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1399436/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=208396 CPUtime=1661.6
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 50078 0 0 0 166128 32 0 0 25 0 1 0 160865112 213397504 49096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 52099 49096 170 317 0 51778 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 208396

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1398988/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=208792 CPUtime=1721.57
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 50186 0 0 0 172125 32 0 0 25 0 1 0 160865112 213803008 49204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 52198 49204 170 317 0 51877 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 208792

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1398604/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=209216 CPUtime=1781.54
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 50281 0 0 0 178122 32 0 0 25 0 1 0 160865112 214237184 49299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 52304 49299 170 317 0 51983 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 209216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 18969
/proc/meminfo: memFree=1398476/2055920 swapFree=4182840/4192956
[pid=18966] ppid=18964 vsize=209348 CPUtime=1800.04
/proc/18966/stat : 18966 (oree) R 18964 18966 18909 0 -1 4194304 50317 0 0 0 179972 32 0 0 25 0 1 0 160865112 214372352 49335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18966/statm: 52337 49335 170 317 0 52016 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 209348

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.09
CPU user time (s): 1799.73
CPU system time (s): 0.362944
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 209348

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

runsolver used 1.37279 second user time and 3.71643 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Tue Apr 17 22:25:57 UTC 2007

IDJOB= 356931
IDBENCH= 1655
IDSOLVER= 172
FILE ID= node69/356931-1176848757

PBS_JOBID= 4590229

Free space on /tmp= 66522 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  916719a95a95b5989e5d4b5f3d786df3

RANDOM SEED= 429876794

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1596652 kB
Buffers:         29004 kB
Cached:         381404 kB
SwapCached:       5208 kB
Active:         238388 kB
Inactive:       182608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1596652 kB
SwapTotal:     4192956 kB
SwapFree:      4182840 kB
Dirty:            2080 kB
Writeback:           0 kB
Mapped:          15176 kB
Slab:            24256 kB
Committed_AS:  1425588 kB
PageTables:       1472 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= 66522 MiB

End job on node69 on Tue Apr 17 22:56:00 UTC 2007