Trace number 356900

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb
MD5SUM6816c7581e307ff85cc3550c4b71269a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16800
Total number of constraints945
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints934
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 9600
Biggest coefficient in the objective function 3638
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 533064
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262141
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533064
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.19/0.24	c ...done
0.19/0.24	c #vars=16800 #constraints=1186 hasObjective=yes
0.29/0.37	c res. mode=mod
0.29/0.37	c VSIDS like heuristics
0.29/0.37	c complete search running
0.39/0.43	c restart after 401 decisions
0.39/0.45	c nbDecision=500 #constraints=1186
0.49/0.50	c restart after 801 decisions
0.49/0.53	c nbDecision=1000 #constraints=1186
0.59/0.61	c nbDecision=1500 #constraints=1186
0.59/0.63	c restart after 1601 decisions
0.59/0.69	c nbDecision=2000 #constraints=1186
0.69/0.77	c nbDecision=2500 #constraints=1186
0.79/0.85	c nbDecision=3000 #constraints=1186
0.79/0.88	c restart after 3201 decisions
0.89/0.93	c nbDecision=3500 #constraints=1186
0.99/1.01	c nbDecision=4000 #constraints=1186
0.99/1.09	c nbDecision=4500 #constraints=1186
1.09/1.17	c nbDecision=5000 #constraints=1186
1.19/1.24	c nbDecision=5500 #constraints=1186
1.29/1.32	c nbDecision=6000 #constraints=1186
1.29/1.38	c restart after 6401 decisions
1.39/1.40	c nbDecision=6500 #constraints=1186
1.39/1.48	c nbDecision=7000 #constraints=1186
1.49/1.55	c nbDecision=7500 #constraints=1186
1.59/1.62	c nbDecision=8000 #constraints=1186
1.59/1.69	c nbDecision=8500 #constraints=1186
1.69/1.76	c nbDecision=9000 #constraints=1186
1.79/1.82	c nbDecision=9500 #constraints=1186
1.79/1.89	c nbDecision=10000 #constraints=1186
1.89/1.95	c nbDecision=10500 #constraints=1186
1.99/2.01	c nbDecision=11000 #constraints=1186
1.99/2.07	c nbDecision=11500 #constraints=1186
2.09/2.13	c nbDecision=12000 #constraints=1186
2.09/2.19	c nbDecision=12500 #constraints=1186
2.19/2.22	c restart after 12801 decisions
2.19/2.26	c nbDecision=13000 #constraints=1186
2.29/2.34	c nbDecision=13500 #constraints=1186
2.39/2.42	c nbDecision=14000 #constraints=1186
2.49/2.50	c nbDecision=14500 #constraints=1186
2.49/2.58	c nbDecision=15000 #constraints=1186
2.59/2.66	c nbDecision=15500 #constraints=1186
2.69/2.73	c nbDecision=16000 #constraints=1186
2.79/2.80	c nbDecision=16500 #constraints=1186
2.79/2.87	c nbDecision=17000 #constraints=1186
2.89/2.93	c nbDecision=17500 #constraints=1186
2.89/2.99	c nbDecision=18000 #constraints=1186
2.99/3.05	c nbDecision=18500 #constraints=1186
3.09/3.11	c nbDecision=19000 #constraints=1186
3.09/3.16	c nbDecision=19500 #constraints=1186
3.49/3.57	c nbDecision=20000 #constraints=1285
4.19/4.28	c nbDecision=20500 #constraints=1467
5.09/5.10	c nbDecision=21000 #constraints=1693
5.59/5.60	c nbDecision=21500 #constraints=1823
6.29/6.36	c nbDecision=22000 #constraints=2029
6.89/6.99	c nbDecision=22500 #constraints=2206
7.59/7.65	c nbDecision=23000 #constraints=2367
8.29/8.40	c nbDecision=23500 #constraints=2537
8.89/8.94	c nbDecision=24000 #constraints=2662
9.69/9.76	c nbDecision=24500 #constraints=2857
10.29/10.38	c nbDecision=25000 #constraints=2996
10.89/10.94	c nbDecision=25500 #constraints=3112
10.99/11.04	c restart after 25601 decisions
11.08/11.18	c nbDecision=26000 #constraints=3127
11.18/11.26	c nbDecision=26500 #constraints=3127
11.28/11.35	c nbDecision=27000 #constraints=3127
11.38/11.43	c nbDecision=27500 #constraints=3127
11.48/11.51	c nbDecision=28000 #constraints=3127
11.48/11.59	c nbDecision=28500 #constraints=3127
11.58/11.66	c nbDecision=29000 #constraints=3127
11.69/11.74	c nbDecision=29500 #constraints=3127
11.79/11.81	c nbDecision=30000 #constraints=3127
11.79/11.87	c nbDecision=30500 #constraints=3127
11.89/11.93	c nbDecision=31000 #constraints=3127
11.89/11.99	c nbDecision=31500 #constraints=3127
11.99/12.05	c nbDecision=32000 #constraints=3127
12.09/12.12	c nbDecision=32500 #constraints=3127
12.68/12.77	c nbDecision=33000 #constraints=3254
13.19/13.29	c nbDecision=33500 #constraints=3358
13.89/13.94	c nbDecision=34000 #constraints=3491
14.39/14.49	c nbDecision=34500 #constraints=3595
15.08/15.11	c nbDecision=35000 #constraints=3713
15.59/15.64	c nbDecision=35500 #constraints=3795
16.19/16.20	c nbDecision=36000 #constraints=3905
16.89/16.94	c nbDecision=36500 #constraints=4049
17.49/17.57	c nbDecision=37000 #constraints=4159
18.19/18.29	c nbDecision=37500 #constraints=4277
18.88/18.98	c nbDecision=38000 #constraints=4385
19.79/19.80	c nbDecision=38500 #constraints=4537
20.39/20.43	c nbDecision=39000 #constraints=4649
21.08/21.19	c nbDecision=39500 #constraints=4777
21.69/21.71	c nbDecision=40000 #constraints=4850
22.28/22.35	c nbDecision=40500 #constraints=4949
22.78/22.89	c nbDecision=41000 #constraints=5033
23.29/23.37	c nbDecision=41500 #constraints=5112
23.99/24.03	c nbDecision=42000 #constraints=5208
24.58/24.61	c nbDecision=42500 #constraints=5299
25.08/25.20	c nbDecision=43000 #constraints=5389
25.58/25.67	c nbDecision=43500 #constraints=5451
26.09/26.14	c nbDecision=44000 #constraints=5514
26.59/26.69	c nbDecision=44500 #constraints=5586
27.28/27.32	c nbDecision=45000 #constraints=5670
27.68/27.79	c nbDecision=45500 #constraints=5734
28.28/28.35	c nbDecision=46000 #constraints=5814
28.88/28.98	c nbDecision=46500 #constraints=5915
29.38/29.49	c nbDecision=47000 #constraints=5981
30.08/30.10	c nbDecision=47500 #constraints=6066
30.68/30.77	c nbDecision=48000 #constraints=6164
31.29/31.30	c nbDecision=48500 #constraints=6228
31.89/31.93	c nbDecision=49000 #constraints=6311
32.48/32.59	c nbDecision=49500 #constraints=6393
33.18/33.23	c nbDecision=50000 #constraints=6478
33.78/33.87	c nbDecision=50500 #constraints=6555
34.48/34.56	c nbDecision=51000 #constraints=6651
34.68/34.77	c restart after 51201 decisions
34.98/35.06	c nbDecision=51500 #constraints=6679
35.08/35.15	c nbDecision=52000 #constraints=6679
35.18/35.27	c nbDecision=52500 #constraints=6679
35.28/35.38	c nbDecision=53000 #constraints=6679
35.38/35.48	c nbDecision=53500 #constraints=6679
35.48/35.59	c nbDecision=54000 #constraints=6679
35.58/35.68	c nbDecision=54500 #constraints=6679
35.68/35.78	c nbDecision=55000 #constraints=6679
35.78/35.87	c nbDecision=55500 #constraints=6679
35.88/35.94	c nbDecision=56000 #constraints=6679
35.98/36.00	c nbDecision=56500 #constraints=6679
35.98/36.07	c nbDecision=57000 #constraints=6679
36.08/36.14	c nbDecision=57500 #constraints=6679
36.18/36.25	c nbDecision=58000 #constraints=6679
36.68/36.72	c nbDecision=58500 #constraints=6741
37.28/37.34	c nbDecision=59000 #constraints=6825
37.78/37.84	c nbDecision=59500 #constraints=6872
38.38/38.45	c nbDecision=60000 #constraints=6945
38.88/38.94	c nbDecision=60500 #constraints=6999
39.38/39.42	c nbDecision=61000 #constraints=7045
39.88/39.93	c nbDecision=61500 #constraints=7102
40.58/40.61	c nbDecision=62000 #constraints=7185
40.97/41.09	c nbDecision=62500 #constraints=7237
41.58/41.68	c nbDecision=63000 #constraints=7305
42.18/42.26	c nbDecision=63500 #constraints=7382
42.68/42.74	c nbDecision=64000 #constraints=7430
43.47/43.53	c nbDecision=64500 #constraints=7527
44.17/44.24	c nbDecision=65000 #constraints=7623
44.98/45.03	c nbDecision=65500 #constraints=7716
45.27/45.34	c nbDecision=66000 #constraints=7733
45.98/46.02	c nbDecision=66500 #constraints=7818
46.48/46.58	c nbDecision=67000 #constraints=7881
47.28/47.36	c nbDecision=67500 #constraints=7969
47.57/47.68	c nbDecision=68000 #constraints=7983
48.07/48.19	c nbDecision=68500 #constraints=8036
48.57/48.67	c nbDecision=69000 #constraints=8080
49.07/49.20	c nbDecision=69500 #constraints=8129
49.57/49.66	c nbDecision=70000 #constraints=8172
50.17/50.24	c nbDecision=70500 #constraints=8232
50.67/50.77	c nbDecision=71000 #constraints=8283
51.28/51.37	c nbDecision=71500 #constraints=8340
51.87/51.97	c nbDecision=72000 #constraints=8396
52.47/52.57	c nbDecision=72500 #constraints=8453
52.98/53.05	c nbDecision=73000 #constraints=8486
53.48/53.56	c nbDecision=73500 #constraints=8527
54.18/54.26	c nbDecision=74000 #constraints=8591
54.88/54.91	c nbDecision=74500 #constraints=8660
55.27/55.36	c nbDecision=75000 #constraints=8695
55.77/55.83	c nbDecision=75500 #constraints=8739
56.37/56.42	c nbDecision=76000 #constraints=8798
56.87/56.95	c nbDecision=76500 #constraints=8844
57.48/57.50	c nbDecision=77000 #constraints=8898
57.88/57.93	c nbDecision=77500 #constraints=8921
58.67/58.73	c nbDecision=78000 #constraints=9015
59.07/59.17	c nbDecision=78500 #constraints=9041
59.67/59.72	c nbDecision=79000 #constraints=9089
60.07/60.12	c nbDecision=79500 #constraints=9115
60.57/60.61	c nbDecision=80000 #constraints=9144
60.97/61.03	c nbDecision=80500 #constraints=9172
61.67/61.74	c nbDecision=81000 #constraints=9230
62.27/62.36	c nbDecision=81500 #constraints=9281
63.07/63.10	c nbDecision=82000 #constraints=9346
63.57/63.61	c nbDecision=82500 #constraints=9381
64.07/64.10	c nbDecision=83000 #constraints=9417
64.47/64.56	c nbDecision=83500 #constraints=9449
65.07/65.10	c nbDecision=84000 #constraints=9489
65.67/65.76	c nbDecision=84500 #constraints=9545
66.17/66.22	c nbDecision=85000 #constraints=9580
66.57/66.65	c nbDecision=85500 #constraints=9603
67.27/67.31	c nbDecision=86000 #constraints=9660
67.86/67.93	c nbDecision=86500 #constraints=9709
68.47/68.55	c nbDecision=87000 #constraints=9761
68.87/68.98	c nbDecision=87500 #constraints=9783
69.57/69.61	c nbDecision=88000 #constraints=9838
70.07/70.19	c nbDecision=88500 #constraints=9898
70.67/70.72	c nbDecision=89000 #constraints=9944
71.17/71.21	c nbDecision=89500 #constraints=9983
71.77/71.89	c nbDecision=90000 #constraints=10045
72.37/72.43	c nbDecision=90500 #constraints=10092
72.97/73.08	c nbDecision=91000 #constraints=10154
73.57/73.62	c nbDecision=91500 #constraints=10199
74.07/74.17	c nbDecision=92000 #constraints=10232
74.57/74.65	c nbDecision=92500 #constraints=10267
75.07/75.19	c nbDecision=93000 #constraints=10315
75.67/75.71	c nbDecision=93500 #constraints=10353
76.17/76.28	c nbDecision=94000 #constraints=10387
76.67/76.73	c nbDecision=94500 #constraints=10414
77.27/77.35	c nbDecision=95000 #constraints=10462
77.67/77.74	c nbDecision=95500 #constraints=10476
78.27/78.35	c nbDecision=96000 #constraints=10523
78.97/79.06	c nbDecision=96500 #constraints=10590
79.57/79.63	c nbDecision=97000 #constraints=10626
80.17/80.27	c nbDecision=97500 #constraints=10668
80.77/80.89	c nbDecision=98000 #constraints=10710
81.37/81.48	c nbDecision=98500 #constraints=10753
81.86/81.99	c nbDecision=99000 #constraints=10776
82.37/82.49	c nbDecision=99500 #constraints=10814
83.17/83.23	c nbDecision=100000 #constraints=10870
83.57/83.66	c nbDecision=100500 #constraints=10886
84.07/84.16	c nbDecision=101000 #constraints=10913
84.77/84.81	c nbDecision=101500 #constraints=10966
85.47/85.51	c nbDecision=102000 #constraints=11017
85.86/85.97	c restart after 102401 decisions
86.46/86.54	c nbDecision=102500 #constraints=11043
86.56/86.66	c nbDecision=103000 #constraints=11043
86.66/86.79	c nbDecision=103500 #constraints=11043
86.87/86.99	c nbDecision=104000 #constraints=11043
87.06/87.12	c nbDecision=104500 #constraints=11043
87.16/87.26	c nbDecision=105000 #constraints=11043
87.26/87.37	c nbDecision=105500 #constraints=11043
87.46/87.53	c nbDecision=106000 #constraints=11043
87.56/87.68	c nbDecision=106500 #constraints=11043
87.66/87.76	c nbDecision=107000 #constraints=11043
87.76/87.83	c nbDecision=107500 #constraints=11043
87.76/87.90	c nbDecision=108000 #constraints=11043
87.87/88.00	c nbDecision=108500 #constraints=11043
88.06/88.12	c nbDecision=109000 #constraints=11043
88.26/88.38	c nbDecision=109500 #constraints=11049
88.76/88.89	c nbDecision=110000 #constraints=11077
89.36/89.42	c nbDecision=110500 #constraints=11112
89.96/90.01	c nbDecision=111000 #constraints=11148
90.56/90.68	c nbDecision=111500 #constraints=11207
91.06/91.14	c nbDecision=112000 #constraints=11231
91.87/91.91	c nbDecision=112500 #constraints=11286
93.07/93.15	c nbDecision=113000 #constraints=11401
93.86/93.93	c nbDecision=113500 #constraints=11455
94.57/94.69	c nbDecision=114000 #constraints=11528
95.26/95.38	c nbDecision=114500 #constraints=11585
96.06/96.17	c nbDecision=115000 #constraints=11645
96.77/96.82	c nbDecision=115500 #constraints=11688
97.36/97.44	c nbDecision=116000 #constraints=11727
98.56/98.60	c nbDecision=116500 #constraints=11834
99.66/99.75	c nbDecision=117000 #constraints=11939
100.26/100.38	c nbDecision=117500 #constraints=11991
101.17/101.21	c nbDecision=118000 #constraints=12063
101.76/101.89	c nbDecision=118500 #constraints=12112
102.46/102.51	c nbDecision=119000 #constraints=12144
103.06/103.13	c nbDecision=119500 #constraints=12182
103.76/103.88	c nbDecision=120000 #constraints=12244
104.26/104.35	c nbDecision=120500 #constraints=12263
104.96/105.06	c nbDecision=121000 #constraints=12311
105.56/105.61	c nbDecision=121500 #constraints=12338
106.56/106.64	c nbDecision=122000 #constraints=12390
107.46/107.55	c nbDecision=122500 #constraints=12443
108.26/108.31	c nbDecision=123000 #constraints=12491
109.16/109.23	c nbDecision=123500 #constraints=12558
109.87/109.92	c nbDecision=124000 #constraints=12591
110.56/110.65	c nbDecision=124500 #constraints=12631
111.26/111.35	c nbDecision=125000 #constraints=12663
112.56/112.69	c nbDecision=125500 #constraints=12761
113.36/113.46	c nbDecision=126000 #constraints=12815
114.66/114.75	c nbDecision=126500 #constraints=12905
115.56/115.61	c nbDecision=127000 #constraints=12958
116.16/116.23	c nbDecision=127500 #constraints=12988
116.86/116.91	c nbDecision=128000 #constraints=13024
117.56/117.69	c nbDecision=128500 #constraints=13071
118.16/118.22	c nbDecision=129000 #constraints=13098
118.66/118.73	c nbDecision=129500 #constraints=13110
119.55/119.62	c nbDecision=130000 #constraints=13163
120.15/120.26	c nbDecision=130500 #constraints=13198
120.75/120.84	c nbDecision=131000 #constraints=13216
121.55/121.64	c nbDecision=131500 #constraints=13263
122.15/122.29	c nbDecision=132000 #constraints=13293
122.76/122.88	c nbDecision=132500 #constraints=13311
123.46/123.58	c nbDecision=133000 #constraints=13338
124.16/124.24	c nbDecision=133500 #constraints=13373
124.76/124.87	c nbDecision=134000 #constraints=13399
125.66/125.74	c nbDecision=134500 #constraints=13453
126.76/126.85	c nbDecision=135000 #constraints=13522
127.46/127.55	c nbDecision=135500 #constraints=13556
128.25/128.34	c nbDecision=136000 #constraints=13588
129.35/129.42	c nbDecision=136500 #constraints=13659
129.95/130.08	c nbDecision=137000 #constraints=13686
131.65/131.79	c nbDecision=137500 #constraints=13806
132.95/133.06	c nbDecision=138000 #constraints=13884
135.26/135.33	c nbDecision=138500 #constraints=14052
136.26/136.39	c nbDecision=139000 #constraints=14118
137.36/137.41	c nbDecision=139500 #constraints=14172
139.36/139.40	c nbDecision=140000 #constraints=14314
140.95/141.08	c nbDecision=140500 #constraints=14422
141.76/141.87	c nbDecision=141000 #constraints=14454
142.75/142.80	c nbDecision=141500 #constraints=14500
144.25/144.32	c nbDecision=142000 #constraints=14610
144.95/145.07	c nbDecision=142500 #constraints=14651
146.25/146.37	c nbDecision=143000 #constraints=14726
147.75/147.81	c nbDecision=143500 #constraints=14806
149.15/149.23	c nbDecision=144000 #constraints=14897
149.85/149.95	c nbDecision=144500 #constraints=14921
150.55/150.64	c nbDecision=145000 #constraints=14945
151.35/151.46	c nbDecision=145500 #constraints=14990
152.34/152.42	c nbDecision=146000 #constraints=15046
153.45/153.59	c nbDecision=146500 #constraints=15109
154.55/154.60	c nbDecision=147000 #constraints=15165
155.45/155.53	c nbDecision=147500 #constraints=15209
156.35/156.41	c nbDecision=148000 #constraints=15254
157.15/157.28	c nbDecision=148500 #constraints=15306
157.85/157.91	c nbDecision=149000 #constraints=15327
158.65/158.74	c nbDecision=149500 #constraints=15363
159.35/159.49	c nbDecision=150000 #constraints=15393
160.04/160.18	c nbDecision=150500 #constraints=15423
160.85/160.95	c nbDecision=151000 #constraints=15453
161.65/161.78	c nbDecision=151500 #constraints=15507
162.45/162.59	c nbDecision=152000 #constraints=15537
163.25/163.37	c nbDecision=152500 #constraints=15567
164.15/164.28	c nbDecision=153000 #constraints=15612
164.85/164.97	c nbDecision=153500 #constraints=15642
165.64/165.72	c nbDecision=154000 #constraints=15677
166.24/166.30	c nbDecision=154500 #constraints=15687
166.74/166.88	c nbDecision=155000 #constraints=15702
167.84/167.96	c nbDecision=155500 #constraints=15753
168.64/168.75	c nbDecision=156000 #constraints=15789
169.25/169.39	c nbDecision=156500 #constraints=15805
170.34/170.48	c nbDecision=157000 #constraints=15853
170.74/170.85	c nbDecision=157500 #constraints=15854
171.55/171.67	c nbDecision=158000 #constraints=15889
172.25/172.35	c nbDecision=158500 #constraints=15917
172.85/172.92	c nbDecision=159000 #constraints=15930
173.45/173.57	c nbDecision=159500 #constraints=15959
174.05/174.16	c nbDecision=160000 #constraints=15978
174.85/174.96	c nbDecision=160500 #constraints=16002
175.64/175.75	c nbDecision=161000 #constraints=16038
176.44/176.50	c nbDecision=161500 #constraints=16069
177.24/177.34	c nbDecision=162000 #constraints=16101
177.94/178.05	c nbDecision=162500 #constraints=16132
178.64/178.71	c nbDecision=163000 #constraints=16150
179.35/179.47	c nbDecision=163500 #constraints=16179
180.35/180.42	c nbDecision=164000 #constraints=16227
180.95/181.05	c nbDecision=164500 #constraints=16238
181.55/181.60	c nbDecision=165000 #constraints=16251
182.35/182.49	c nbDecision=165500 #constraints=16299
183.15/183.28	c nbDecision=166000 #constraints=16324
184.15/184.20	c nbDecision=166500 #constraints=16373
184.75/184.82	c nbDecision=167000 #constraints=16393
185.34/185.44	c nbDecision=167500 #constraints=16411
186.14/186.26	c nbDecision=168000 #constraints=16452
187.04/187.13	c nbDecision=168500 #constraints=16484
188.14/188.24	c nbDecision=169000 #constraints=16529
189.64/189.75	c nbDecision=169500 #constraints=16580
190.94/191.06	c nbDecision=170000 #constraints=16646
192.53/192.66	c nbDecision=170500 #constraints=16708
193.44/193.53	c nbDecision=171000 #constraints=16738
194.04/194.15	c nbDecision=171500 #constraints=16747
195.04/195.12	c nbDecision=172000 #constraints=16790
195.84/195.98	c nbDecision=172500 #constraints=16817
197.14/197.26	c nbDecision=173000 #constraints=16895
198.04/198.14	c nbDecision=173500 #constraints=16920
198.94/199.09	c nbDecision=174000 #constraints=16957
200.14/200.22	c nbDecision=174500 #constraints=16996
201.04/201.10	c nbDecision=175000 #constraints=17036
202.14/202.29	c nbDecision=175500 #constraints=17087
203.94/204.00	c nbDecision=176000 #constraints=17162
204.64/204.79	c nbDecision=176500 #constraints=17187
205.64/205.75	c nbDecision=177000 #constraints=17220
206.44/206.55	c nbDecision=177500 #constraints=17239
207.44/207.51	c nbDecision=178000 #constraints=17271
208.44/208.52	c nbDecision=178500 #constraints=17322
209.14/209.28	c nbDecision=179000 #constraints=17351
209.94/210.09	c nbDecision=179500 #constraints=17392
210.73/210.86	c nbDecision=180000 #constraints=17426
211.43/211.58	c nbDecision=180500 #constraints=17448
212.93/213.07	c nbDecision=181000 #constraints=17485
214.63/214.76	c nbDecision=181500 #constraints=17545
216.34/216.40	c nbDecision=182000 #constraints=17607
217.84/217.95	c nbDecision=182500 #constraints=17655
219.43/219.59	c nbDecision=183000 #constraints=17725
220.33/220.43	c nbDecision=183500 #constraints=17753
221.33/221.42	c nbDecision=184000 #constraints=17789
222.33/222.44	c nbDecision=184500 #constraints=17810
223.03/223.18	c nbDecision=185000 #constraints=17825
223.93/224.02	c nbDecision=185500 #constraints=17853
224.83/224.95	c nbDecision=186000 #constraints=17875
225.73/225.85	c nbDecision=186500 #constraints=17904
226.63/226.75	c nbDecision=187000 #constraints=17936
228.23/228.35	c nbDecision=187500 #constraints=17982
229.13/229.22	c nbDecision=188000 #constraints=18008
230.43/230.58	c nbDecision=188500 #constraints=18048
231.63/231.76	c nbDecision=189000 #constraints=18084
232.73/232.89	c nbDecision=189500 #constraints=18119
233.33/233.49	c nbDecision=190000 #constraints=18128
234.23/234.32	c nbDecision=190500 #constraints=18162
235.73/235.81	c nbDecision=191000 #constraints=18223
236.43/236.53	c nbDecision=191500 #constraints=18235
237.62/237.74	c nbDecision=192000 #constraints=18283
238.54/238.68	c nbDecision=192500 #constraints=18317
239.64/239.77	c nbDecision=193000 #constraints=18361
240.93/241.04	c nbDecision=193500 #constraints=18413
241.63/241.76	c nbDecision=194000 #constraints=18423
242.53/242.67	c nbDecision=194500 #constraints=18460
244.32/244.40	c nbDecision=195000 #constraints=18513
245.23/245.36	c nbDecision=195500 #constraints=18545
246.23/246.35	c nbDecision=196000 #constraints=18562
247.02/247.11	c nbDecision=196500 #constraints=18582
248.02/248.11	c nbDecision=197000 #constraints=18616
249.12/249.29	c nbDecision=197500 #constraints=18651
250.32/250.46	c nbDecision=198000 #constraints=18699
251.12/251.21	c nbDecision=198500 #constraints=18714
252.32/252.41	c nbDecision=199000 #constraints=18753
253.02/253.18	c nbDecision=199500 #constraints=18768
253.92/254.01	c nbDecision=200000 #constraints=18792
254.92/255.04	c nbDecision=200500 #constraints=18816
255.52/255.63	c nbDecision=201000 #constraints=18820
256.62/256.70	c nbDecision=201500 #constraints=18878
257.82/257.91	c nbDecision=202000 #constraints=18910
258.73/258.81	c nbDecision=202500 #constraints=18945
259.83/259.90	c nbDecision=203000 #constraints=18973
260.63/260.75	c nbDecision=203500 #constraints=18996
261.73/261.89	c nbDecision=204000 #constraints=19038
262.83/262.98	c nbDecision=204500 #constraints=19080
263.43/263.52	c restart after 204801 decisions
264.82/264.97	c nbDecision=205000 #constraints=19096
265.03/265.12	c nbDecision=205500 #constraints=19096
265.12/265.29	c nbDecision=206000 #constraints=19096
265.52/265.63	c nbDecision=206500 #constraints=19096
265.72/265.86	c nbDecision=207000 #constraints=19096
266.03/266.10	c nbDecision=207500 #constraints=19096
266.13/266.26	c nbDecision=208000 #constraints=19096
266.42/266.50	c nbDecision=208500 #constraints=19096
266.62/266.70	c nbDecision=209000 #constraints=19096
266.72/266.86	c nbDecision=209500 #constraints=19096
266.82/266.92	c nbDecision=210000 #constraints=19096
266.92/267.02	c nbDecision=210500 #constraints=19096
267.13/267.21	c nbDecision=211000 #constraints=19096
267.32/267.42	c nbDecision=211500 #constraints=19096
268.53/268.62	c nbDecision=212000 #constraints=19112
269.12/269.26	c nbDecision=212500 #constraints=19123
269.82/269.93	c nbDecision=213000 #constraints=19145
270.32/270.50	c nbDecision=213500 #constraints=19155
270.92/271.08	c nbDecision=214000 #constraints=19158
271.72/271.82	c nbDecision=214500 #constraints=19189
272.52/272.70	c nbDecision=215000 #constraints=19220
273.92/274.05	c nbDecision=215500 #constraints=19254
274.62/274.73	c nbDecision=216000 #constraints=19276
275.22/275.38	c nbDecision=216500 #constraints=19290
275.92/276.02	c nbDecision=217000 #constraints=19304
277.22/277.35	c nbDecision=217500 #constraints=19332
277.91/278.09	c nbDecision=218000 #constraints=19356
278.61/278.74	c nbDecision=218500 #constraints=19379
280.01/280.10	c nbDecision=219000 #constraints=19428
280.82/280.92	c nbDecision=219500 #constraints=19463
281.42/281.52	c nbDecision=220000 #constraints=19474
282.02/282.14	c nbDecision=220500 #constraints=19492
283.02/283.15	c nbDecision=221000 #constraints=19509
283.62/283.76	c nbDecision=221500 #constraints=19518
284.42/284.58	c nbDecision=222000 #constraints=19554
285.32/285.49	c nbDecision=222500 #constraints=19588
286.62/286.76	c nbDecision=223000 #constraints=19636
287.32/287.49	c nbDecision=223500 #constraints=19659
287.92/288.01	c nbDecision=224000 #constraints=19665
288.72/288.85	c nbDecision=224500 #constraints=19696
289.62/289.73	c nbDecision=225000 #constraints=19711
290.51/290.66	c nbDecision=225500 #constraints=19747
291.51/291.64	c nbDecision=226000 #constraints=19777
292.31/292.41	c nbDecision=226500 #constraints=19818
293.32/293.43	c nbDecision=227000 #constraints=19851
294.02/294.15	c nbDecision=227500 #constraints=19863
294.72/294.89	c nbDecision=228000 #constraints=19881
295.52/295.65	c nbDecision=228500 #constraints=19893
296.22/296.32	c nbDecision=229000 #constraints=19909
297.12/297.22	c nbDecision=229500 #constraints=19931
297.82/297.94	c nbDecision=230000 #constraints=19966
298.52/298.61	c nbDecision=230500 #constraints=19978
299.32/299.45	c nbDecision=231000 #constraints=19996
299.92/300.06	c nbDecision=231500 #constraints=20003
300.61/300.75	c nbDecision=232000 #constraints=20020
301.41/301.59	c nbDecision=232500 #constraints=20040
302.01/302.16	c nbDecision=233000 #constraints=20046
302.72/302.81	c nbDecision=233500 #constraints=20063
303.21/303.34	c nbDecision=234000 #constraints=20066
303.81/303.95	c nbDecision=234500 #constraints=20068
304.62/304.77	c nbDecision=235000 #constraints=20083
305.51/305.64	c nbDecision=235500 #constraints=20115
306.51/306.61	c nbDecision=236000 #constraints=20151
307.92/308.05	c nbDecision=236500 #constraints=20188
308.92/309.10	c nbDecision=237000 #constraints=20223
309.71/309.84	c nbDecision=237500 #constraints=20246
310.91/311.02	c nbDecision=238000 #constraints=20277
311.51/311.68	c nbDecision=238500 #constraints=20297
312.51/312.65	c nbDecision=239000 #constraints=20344
313.11/313.22	c nbDecision=239500 #constraints=20350
314.31/314.48	c nbDecision=240000 #constraints=20373
315.01/315.16	c nbDecision=240500 #constraints=20391
315.61/315.77	c nbDecision=241000 #constraints=20394
316.50/316.66	c nbDecision=241500 #constraints=20416
318.01/318.11	c nbDecision=242000 #constraints=20472
318.61/318.78	c nbDecision=242500 #constraints=20482
319.21/319.39	c nbDecision=243000 #constraints=20495
320.11/320.23	c nbDecision=243500 #constraints=20523
321.01/321.20	c nbDecision=244000 #constraints=20537
321.71/321.81	c nbDecision=244500 #constraints=20545
322.71/322.87	c nbDecision=245000 #constraints=20585
323.61/323.76	c nbDecision=245500 #constraints=20603
324.21/324.31	c nbDecision=246000 #constraints=20605
324.81/324.99	c nbDecision=246500 #constraints=20622
325.61/325.75	c nbDecision=247000 #constraints=20639
326.61/326.77	c nbDecision=247500 #constraints=20661
327.21/327.38	c nbDecision=248000 #constraints=20663
328.11/328.27	c nbDecision=248500 #constraints=20698
328.71/328.88	c nbDecision=249000 #constraints=20707
329.50/329.66	c nbDecision=249500 #constraints=20720
330.40/330.52	c nbDecision=250000 #constraints=20747
331.10/331.23	c nbDecision=250500 #constraints=20768
332.20/332.31	c nbDecision=251000 #constraints=20802
332.90/333.01	c nbDecision=251500 #constraints=20832
333.60/333.70	c nbDecision=252000 #constraints=20848
334.30/334.40	c nbDecision=252500 #constraints=20861
335.00/335.18	c nbDecision=253000 #constraints=20874
335.91/336.02	c nbDecision=253500 #constraints=20901
336.71/336.86	c nbDecision=254000 #constraints=20929
337.51/337.65	c nbDecision=254500 #constraints=20956
338.21/338.39	c nbDecision=255000 #constraints=20972
339.10/339.27	c nbDecision=255500 #constraints=21005
339.90/340.07	c nbDecision=256000 #constraints=21017
340.91/341.03	c nbDecision=256500 #constraints=21034
342.60/342.73	c nbDecision=257000 #constraints=21089
343.40/343.54	c nbDecision=257500 #constraints=21112
344.20/344.38	c nbDecision=258000 #constraints=21138
344.90/345.05	c nbDecision=258500 #constraints=21150
346.40/346.58	c nbDecision=259000 #constraints=21187
347.30/347.42	c nbDecision=259500 #constraints=21220
348.00/348.20	c nbDecision=260000 #constraints=21235
348.80/348.92	c nbDecision=260500 #constraints=21248
349.90/350.01	c nbDecision=261000 #constraints=21267
350.50/350.60	c nbDecision=261500 #constraints=21269
351.40/351.60	c nbDecision=262000 #constraints=21300
352.70/352.83	c nbDecision=262500 #constraints=21342
353.30/353.47	c nbDecision=263000 #constraints=21351
354.01/354.19	c nbDecision=263500 #constraints=21366
354.90/355.04	c nbDecision=264000 #constraints=21398
355.70/355.87	c nbDecision=264500 #constraints=21405
356.40/356.52	c nbDecision=265000 #constraints=21419
357.40/357.54	c nbDecision=265500 #constraints=21454
358.20/358.32	c nbDecision=266000 #constraints=21465
359.00/359.12	c nbDecision=266500 #constraints=21472
359.80/359.96	c nbDecision=267000 #constraints=21481
360.70/360.82	c nbDecision=267500 #constraints=21509
361.39/361.53	c nbDecision=268000 #constraints=21514
362.19/362.37	c nbDecision=268500 #constraints=21532
363.09/363.26	c nbDecision=269000 #constraints=21557
364.19/364.32	c nbDecision=269500 #constraints=21602
365.20/365.38	c nbDecision=270000 #constraints=21639
366.00/366.20	c nbDecision=270500 #constraints=21658
367.10/367.24	c nbDecision=271000 #constraints=21697
368.00/368.13	c nbDecision=271500 #constraints=21723
368.90/369.09	c nbDecision=272000 #constraints=21745
369.59/369.78	c nbDecision=272500 #constraints=21760
370.29/370.46	c nbDecision=273000 #constraints=21767
371.20/371.32	c nbDecision=273500 #constraints=21788
371.89/372.02	c nbDecision=274000 #constraints=21790
372.89/373.10	c nbDecision=274500 #constraints=21813
373.59/373.78	c nbDecision=275000 #constraints=21820
375.09/375.21	c nbDecision=275500 #constraints=21851
375.89/376.01	c nbDecision=276000 #constraints=21854
376.79/376.97	c nbDecision=276500 #constraints=21889
378.19/378.35	c nbDecision=277000 #constraints=21913
378.89/379.02	c nbDecision=277500 #constraints=21915
379.69/379.81	c nbDecision=278000 #constraints=21929
380.50/380.65	c nbDecision=278500 #constraints=21954
381.79/381.90	c nbDecision=279000 #constraints=21991
382.70/382.84	c nbDecision=279500 #constraints=22025
383.29/383.46	c nbDecision=280000 #constraints=22034
383.99/384.10	c nbDecision=280500 #constraints=22040
385.39/385.51	c nbDecision=281000 #constraints=22073
386.29/386.41	c nbDecision=281500 #constraints=22096
387.19/387.35	c nbDecision=282000 #constraints=22110
388.20/388.38	c nbDecision=282500 #constraints=22126
388.89/389.06	c nbDecision=283000 #constraints=22135
389.49/389.65	c nbDecision=283500 #constraints=22138
390.09/390.25	c nbDecision=284000 #constraints=22140
391.09/391.27	c nbDecision=284500 #constraints=22159
391.89/392.10	c nbDecision=285000 #constraints=22174
392.89/393.00	c nbDecision=285500 #constraints=22199
393.79/393.92	c nbDecision=286000 #constraints=22226
394.79/394.93	c nbDecision=286500 #constraints=22255
395.48/395.67	c nbDecision=287000 #constraints=22265
396.38/396.59	c nbDecision=287500 #constraints=22290
397.28/397.46	c nbDecision=288000 #constraints=22301
398.28/398.48	c nbDecision=288500 #constraints=22337
399.28/399.42	c nbDecision=289000 #constraints=22376
400.08/400.27	c nbDecision=289500 #constraints=22400
400.98/401.18	c nbDecision=290000 #constraints=22416
402.39/402.54	c nbDecision=290500 #constraints=22475
403.28/403.45	c nbDecision=291000 #constraints=22501
404.18/404.30	c nbDecision=291500 #constraints=22528
405.08/405.24	c nbDecision=292000 #constraints=22560
405.88/406.04	c nbDecision=292500 #constraints=22576
406.58/406.79	c nbDecision=293000 #constraints=22587
407.68/407.84	c nbDecision=293500 #constraints=22599
408.88/409.05	c nbDecision=294000 #constraints=22615
409.68/409.81	c nbDecision=294500 #constraints=22633
410.58/410.73	c nbDecision=295000 #constraints=22661
411.48/411.70	c nbDecision=295500 #constraints=22691
412.58/412.76	c nbDecision=296000 #constraints=22700
413.18/413.37	c nbDecision=296500 #constraints=22702
413.98/414.19	c nbDecision=297000 #constraints=22710
414.68/414.85	c nbDecision=297500 #constraints=22715
415.88/416.01	c nbDecision=298000 #constraints=22744
416.58/416.79	c nbDecision=298500 #constraints=22756
417.38/417.56	c nbDecision=299000 #constraints=22766
418.58/418.73	c nbDecision=299500 #constraints=22781
419.28/419.43	c nbDecision=300000 #constraints=22789
420.08/420.22	c nbDecision=300500 #constraints=22805
420.88/421.04	c nbDecision=301000 #constraints=22808
421.87/422.08	c nbDecision=301500 #constraints=22834
422.67/422.84	c nbDecision=302000 #constraints=22849
423.47/423.65	c nbDecision=302500 #constraints=22865
424.39/424.58	c nbDecision=303000 #constraints=22892
425.38/425.59	c nbDecision=303500 #constraints=22902
426.28/426.45	c nbDecision=304000 #constraints=22921
427.18/427.35	c nbDecision=304500 #constraints=22943
427.88/428.09	c nbDecision=305000 #constraints=22947
428.78/428.94	c nbDecision=305500 #constraints=22958
429.68/429.88	c nbDecision=306000 #constraints=22985
430.98/431.11	c nbDecision=306500 #constraints=23037
431.68/431.88	c nbDecision=307000 #constraints=23048
432.68/432.82	c nbDecision=307500 #constraints=23072
433.48/433.65	c nbDecision=308000 #constraints=23090
434.38/434.54	c nbDecision=308500 #constraints=23103
435.18/435.38	c nbDecision=309000 #constraints=23118
436.08/436.29	c nbDecision=309500 #constraints=23138
436.88/437.04	c nbDecision=310000 #constraints=23142
437.58/437.77	c nbDecision=310500 #constraints=23149
438.87/439.07	c nbDecision=311000 #constraints=23174
439.97/440.18	c nbDecision=311500 #constraints=23216
441.07/441.20	c nbDecision=312000 #constraints=23242
441.77/441.91	c nbDecision=312500 #constraints=23251
443.07/443.30	c nbDecision=313000 #constraints=23289
443.67/443.84	c nbDecision=313500 #constraints=23290
444.47/444.66	c nbDecision=314000 #constraints=23293
445.57/445.79	c nbDecision=314500 #constraints=23318
446.27/446.41	c nbDecision=315000 #constraints=23325
447.17/447.37	c nbDecision=315500 #constraints=23353
447.97/448.18	c nbDecision=316000 #constraints=23370
449.07/449.20	c nbDecision=316500 #constraints=23392
450.07/450.27	c nbDecision=317000 #constraints=23430
450.77/450.99	c nbDecision=317500 #constraints=23442
451.47/451.67	c nbDecision=318000 #constraints=23454
452.47/452.67	c nbDecision=318500 #constraints=23473
453.57/453.73	c nbDecision=319000 #constraints=23504
454.27/454.44	c nbDecision=319500 #constraints=23511
455.18/455.30	c nbDecision=320000 #constraints=23540
456.07/456.28	c nbDecision=320500 #constraints=23566
456.97/457.10	c nbDecision=321000 #constraints=23581
458.07/458.25	c nbDecision=321500 #constraints=23612
458.87/459.05	c nbDecision=322000 #constraints=23624
459.67/459.85	c nbDecision=322500 #constraints=23627
460.47/460.68	c nbDecision=323000 #constraints=23644
461.37/461.52	c nbDecision=323500 #constraints=23663
462.07/462.23	c nbDecision=324000 #constraints=23666
462.97/463.14	c nbDecision=324500 #constraints=23687
463.87/464.06	c nbDecision=325000 #constraints=23711
464.57/464.76	c nbDecision=325500 #constraints=23713
465.87/466.08	c nbDecision=326000 #constraints=23740
466.87/467.06	c nbDecision=326500 #constraints=23771
467.76/467.99	c nbDecision=327000 #constraints=23800
468.56/468.75	c nbDecision=327500 #constraints=23810
469.66/469.86	c nbDecision=328000 #constraints=23819
470.46/470.70	c nbDecision=328500 #constraints=23842
471.46/471.65	c nbDecision=329000 #constraints=23867
472.16/472.35	c nbDecision=329500 #constraints=23869
473.16/473.30	c nbDecision=330000 #constraints=23882
473.97/474.18	c nbDecision=330500 #constraints=23902
474.76/474.98	c nbDecision=331000 #constraints=23918
475.86/476.01	c nbDecision=331500 #constraints=23925
476.66/476.80	c nbDecision=332000 #constraints=23938
477.46/477.63	c nbDecision=332500 #constraints=23953
478.27/478.41	c nbDecision=333000 #constraints=23961
479.27/479.40	c nbDecision=333500 #constraints=23986
479.97/480.16	c nbDecision=334000 #constraints=23989
480.76/480.97	c nbDecision=334500 #constraints=23997
481.76/481.96	c nbDecision=335000 #constraints=24009
482.77/482.90	c nbDecision=335500 #constraints=24028
483.77/483.91	c nbDecision=336000 #constraints=24052
484.66/484.80	c nbDecision=336500 #constraints=24076
485.56/485.70	c nbDecision=337000 #constraints=24095
486.56/486.78	c nbDecision=337500 #constraints=24107
487.76/487.90	c nbDecision=338000 #constraints=24143
488.46/488.65	c nbDecision=338500 #constraints=24151
489.66/489.87	c nbDecision=339000 #constraints=24179
490.37/490.60	c nbDecision=339500 #constraints=24192
491.26/491.45	c nbDecision=340000 #constraints=24209
492.26/492.43	c nbDecision=340500 #constraints=24234
493.36/493.59	c nbDecision=341000 #constraints=24264
494.16/494.38	c nbDecision=341500 #constraints=24272
495.06/495.27	c nbDecision=342000 #constraints=24291
495.86/496.06	c nbDecision=342500 #constraints=24304
497.06/497.24	c nbDecision=343000 #constraints=24321
497.85/498.03	c nbDecision=343500 #constraints=24340
498.76/498.96	c nbDecision=344000 #constraints=24357
499.56/499.75	c nbDecision=344500 #constraints=24371
500.86/501.00	c nbDecision=345000 #constraints=24402
501.46/501.67	c nbDecision=345500 #constraints=24404
502.36/502.57	c nbDecision=346000 #constraints=24428
503.26/503.50	c nbDecision=346500 #constraints=24451
504.16/504.37	c nbDecision=347000 #constraints=24473
505.26/505.41	c nbDecision=347500 #constraints=24507
506.06/506.25	c nbDecision=348000 #constraints=24521
507.06/507.20	c nbDecision=348500 #constraints=24544
507.76/507.98	c nbDecision=349000 #constraints=24546
508.66/508.89	c nbDecision=349500 #constraints=24559
509.86/510.05	c nbDecision=350000 #constraints=24578
510.96/511.12	c nbDecision=350500 #constraints=24597
511.75/511.95	c nbDecision=351000 #constraints=24606
512.55/512.75	c nbDecision=351500 #constraints=24620
513.35/513.57	c nbDecision=352000 #constraints=24629
514.66/514.80	c nbDecision=352500 #constraints=24658
515.45/515.64	c nbDecision=353000 #constraints=24668
516.25/516.41	c nbDecision=353500 #constraints=24684
516.95/517.16	c nbDecision=354000 #constraints=24692
517.96/518.12	c nbDecision=354500 #constraints=24708
519.06/519.22	c nbDecision=355000 #constraints=24728
519.95/520.14	c nbDecision=355500 #constraints=24742
520.85/521.06	c nbDecision=356000 #constraints=24760
521.65/521.85	c nbDecision=356500 #constraints=24783
522.45/522.62	c nbDecision=357000 #constraints=24789
523.55/523.75	c nbDecision=357500 #constraints=24812
524.45/524.65	c nbDecision=358000 #constraints=24823
525.45/525.67	c nbDecision=358500 #constraints=24840
526.65/526.82	c nbDecision=359000 #constraints=24860
527.55/527.74	c nbDecision=359500 #constraints=24874
528.55/528.77	c nbDecision=360000 #constraints=24888
529.45/529.68	c nbDecision=360500 #constraints=24905
530.15/530.38	c nbDecision=361000 #constraints=24907
530.95/531.10	c nbDecision=361500 #constraints=24909
531.85/532.06	c nbDecision=362000 #constraints=24926
532.75/532.94	c nbDecision=362500 #constraints=24944
533.95/534.13	c nbDecision=363000 #constraints=24972
534.85/535.09	c nbDecision=363500 #constraints=24994
535.84/536.06	c nbDecision=364000 #constraints=25016
537.14/537.39	c nbDecision=364500 #constraints=25071
538.24/538.49	c nbDecision=365000 #constraints=25091
539.44/539.60	c nbDecision=365500 #constraints=25121
540.24/540.49	c nbDecision=366000 #constraints=25128
541.24/541.41	c nbDecision=366500 #constraints=25140
541.94/542.18	c nbDecision=367000 #constraints=25144
543.04/543.21	c nbDecision=367500 #constraints=25158
543.94/544.16	c nbDecision=368000 #constraints=25163
544.94/545.13	c nbDecision=368500 #constraints=25191
545.74/545.97	c nbDecision=369000 #constraints=25204
546.54/546.70	c nbDecision=369500 #constraints=25212
547.64/547.81	c nbDecision=370000 #constraints=25239
548.64/548.89	c nbDecision=370500 #constraints=25252
549.64/549.81	c nbDecision=371000 #constraints=25264
550.55/550.76	c nbDecision=371500 #constraints=25276
551.65/551.84	c nbDecision=372000 #constraints=25290
552.55/552.72	c nbDecision=372500 #constraints=25292
553.44/553.61	c nbDecision=373000 #constraints=25299
554.25/554.41	c nbDecision=373500 #constraints=25308
554.94/555.15	c nbDecision=374000 #constraints=25317
556.04/556.24	c nbDecision=374500 #constraints=25336
557.04/557.21	c nbDecision=375000 #constraints=25351
557.84/558.07	c nbDecision=375500 #constraints=25360
559.15/559.31	c nbDecision=376000 #constraints=25378
559.84/560.10	c nbDecision=376500 #constraints=25390
560.94/561.14	c nbDecision=377000 #constraints=25416
561.85/562.07	c nbDecision=377500 #constraints=25424
562.84/563.09	c nbDecision=378000 #constraints=25441
563.94/564.12	c nbDecision=378500 #constraints=25469
564.74/564.94	c nbDecision=379000 #constraints=25473
566.34/566.57	c nbDecision=379500 #constraints=25524
567.94/568.17	c nbDecision=380000 #constraints=25561
569.34/569.52	c nbDecision=380500 #constraints=25589
570.94/571.14	c nbDecision=381000 #constraints=25624
571.94/572.12	c nbDecision=381500 #constraints=25647
573.34/573.55	c nbDecision=382000 #constraints=25660
574.44/574.64	c nbDecision=382500 #constraints=25677
575.34/575.50	c nbDecision=383000 #constraints=25688
576.34/576.55	c nbDecision=383500 #constraints=25713
578.03/578.20	c nbDecision=384000 #constraints=25749
578.73/578.98	c nbDecision=384500 #constraints=25756
579.73/579.91	c nbDecision=385000 #constraints=25772
581.03/581.27	c nbDecision=385500 #constraints=25800
582.03/582.22	c nbDecision=386000 #constraints=25806
583.13/583.35	c nbDecision=386500 #constraints=25824
584.13/584.35	c nbDecision=387000 #constraints=25843
585.63/585.80	c nbDecision=387500 #constraints=25869
586.43/586.63	c nbDecision=388000 #constraints=25875
587.43/587.61	c nbDecision=388500 #constraints=25885
587.93/588.20	c nbDecision=389000 #constraints=25886
589.83/590.00	c nbDecision=389500 #constraints=25929
590.63/590.80	c nbDecision=390000 #constraints=25937
591.53/591.73	c nbDecision=390500 #constraints=25954
592.33/592.54	c nbDecision=391000 #constraints=25963
593.53/593.78	c nbDecision=391500 #constraints=25977
594.34/594.58	c nbDecision=392000 #constraints=25985
595.24/595.49	c nbDecision=392500 #constraints=25998
596.13/596.33	c nbDecision=393000 #constraints=26011
597.14/597.38	c nbDecision=393500 #constraints=26026
597.83/598.08	c nbDecision=394000 #constraints=26030
598.83/599.01	c nbDecision=394500 #constraints=26046
600.13/600.31	c nbDecision=395000 #constraints=26067
601.03/601.28	c nbDecision=395500 #constraints=26076
602.03/602.29	c nbDecision=396000 #constraints=26100
602.93/603.11	c nbDecision=396500 #constraints=26113
603.93/604.15	c nbDecision=397000 #constraints=26136
604.63/604.90	c nbDecision=397500 #constraints=26140
605.53/605.70	c nbDecision=398000 #constraints=26149
606.33/606.50	c nbDecision=398500 #constraints=26156
607.23/607.48	c nbDecision=399000 #constraints=26169
608.23/608.48	c nbDecision=399500 #constraints=26173
609.13/609.33	c nbDecision=400000 #constraints=26182
610.13/610.33	c nbDecision=400500 #constraints=26207
610.93/611.18	c nbDecision=401000 #constraints=26215
611.93/612.16	c nbDecision=401500 #constraints=26235
612.72/612.97	c nbDecision=402000 #constraints=26242
613.82/614.07	c nbDecision=402500 #constraints=26260
614.92/615.12	c nbDecision=403000 #constraints=26280
615.73/615.93	c nbDecision=403500 #constraints=26283
616.72/616.95	c nbDecision=404000 #constraints=26307
617.93/618.16	c nbDecision=404500 #constraints=26336
619.52/619.72	c nbDecision=405000 #constraints=26348
620.62/620.81	c nbDecision=405500 #constraints=26364
621.32/621.56	c nbDecision=406000 #constraints=26366
623.02/623.29	c nbDecision=406500 #constraints=26403
624.13/624.33	c nbDecision=407000 #constraints=26425
625.32/625.55	c nbDecision=407500 #constraints=26467
626.52/626.76	c nbDecision=408000 #constraints=26501
628.12/628.34	c nbDecision=408500 #constraints=26521
629.02/629.28	c nbDecision=409000 #constraints=26537
629.92/630.13	c nbDecision=409500 #constraints=26545
630.22/630.44	c restart after 409601 decisions
632.52/632.78	c nbDecision=410000 #constraints=26546
632.82/633.06	c nbDecision=410500 #constraints=26546
633.22/633.45	c nbDecision=411000 #constraints=26546
633.52/633.76	c nbDecision=411500 #constraints=26546
633.82/634.07	c nbDecision=412000 #constraints=26546
634.12/634.36	c nbDecision=412500 #constraints=26546
634.52/634.71	c nbDecision=413000 #constraints=26546
634.82/635.07	c nbDecision=413500 #constraints=26546
635.02/635.27	c nbDecision=414000 #constraints=26546
635.12/635.34	c nbDecision=414500 #constraints=26546
635.22/635.44	c nbDecision=415000 #constraints=26546
635.32/635.57	c nbDecision=415500 #constraints=26546
635.62/635.83	c nbDecision=416000 #constraints=26546
636.02/636.28	c nbDecision=416500 #constraints=26546
637.52/637.79	c nbDecision=417000 #constraints=26577
638.82/639.05	c nbDecision=417500 #constraints=26604
640.02/640.21	c nbDecision=418000 #constraints=26634
641.61/641.86	c nbDecision=418500 #constraints=26676
642.71/642.99	c nbDecision=419000 #constraints=26711
643.61/643.85	c nbDecision=419500 #constraints=26718
644.52/644.77	c nbDecision=420000 #constraints=26733
646.22/646.47	c nbDecision=420500 #constraints=26761
647.02/647.29	c nbDecision=421000 #constraints=26769
647.82/648.06	c nbDecision=421500 #constraints=26777
648.92/649.18	c nbDecision=422000 #constraints=26808
650.22/650.45	c nbDecision=422500 #constraints=26822
651.32/651.53	c nbDecision=423000 #constraints=26833
652.52/652.75	c nbDecision=423500 #constraints=26877
653.82/654.08	c nbDecision=424000 #constraints=26909
654.62/654.89	c nbDecision=424500 #constraints=26911
655.72/655.93	c nbDecision=425000 #constraints=26932
656.62/656.83	c nbDecision=425500 #constraints=26941
657.91/658.12	c nbDecision=426000 #constraints=26965
658.81/659.02	c nbDecision=426500 #constraints=26983
659.91/660.19	c nbDecision=427000 #constraints=27005
661.11/661.34	c nbDecision=427500 #constraints=27031
662.11/662.33	c nbDecision=428000 #constraints=27037
663.21/663.42	c nbDecision=428500 #constraints=27053
663.91/664.18	c nbDecision=429000 #constraints=27069
665.21/665.48	c nbDecision=429500 #constraints=27092
666.01/666.26	c nbDecision=430000 #constraints=27096
667.01/667.26	c nbDecision=430500 #constraints=27114
667.91/668.17	c nbDecision=431000 #constraints=27126
668.81/669.04	c nbDecision=431500 #constraints=27130
669.91/670.15	c nbDecision=432000 #constraints=27157
670.91/671.11	c nbDecision=432500 #constraints=27181
671.71/671.98	c nbDecision=433000 #constraints=27190
672.81/673.07	c nbDecision=433500 #constraints=27222
673.71/673.94	c nbDecision=434000 #constraints=27226
674.71/674.99	c nbDecision=434500 #constraints=27245
675.91/676.12	c nbDecision=435000 #constraints=27260
676.81/677.06	c nbDecision=435500 #constraints=27266
678.11/678.38	c nbDecision=436000 #constraints=27291
679.21/679.48	c nbDecision=436500 #constraints=27314
680.21/680.42	c nbDecision=437000 #constraints=27325
681.71/681.99	c nbDecision=437500 #constraints=27347
682.70/682.97	c nbDecision=438000 #constraints=27369
683.70/683.93	c nbDecision=438500 #constraints=27379
685.30/685.54	c nbDecision=439000 #constraints=27391
686.11/686.31	c nbDecision=439500 #constraints=27393
687.31/687.53	c nbDecision=440000 #constraints=27431
688.10/688.37	c nbDecision=440500 #constraints=27439
689.50/689.73	c nbDecision=441000 #constraints=27453
690.30/690.58	c nbDecision=441500 #constraints=27463
691.40/691.67	c nbDecision=442000 #constraints=27484
692.50/692.73	c nbDecision=442500 #constraints=27493
693.70/693.95	c nbDecision=443000 #constraints=27510
694.60/694.84	c nbDecision=443500 #constraints=27520
695.60/695.88	c nbDecision=444000 #constraints=27538
697.21/697.41	c nbDecision=444500 #constraints=27562
698.21/698.49	c nbDecision=445000 #constraints=27585
699.31/699.51	c nbDecision=445500 #constraints=27598
700.51/700.71	c nbDecision=446000 #constraints=27618
701.61/701.86	c nbDecision=446500 #constraints=27630
702.71/702.95	c nbDecision=447000 #constraints=27650
703.90/704.13	c nbDecision=447500 #constraints=27682
705.10/705.34	c nbDecision=448000 #constraints=27689
706.20/706.40	c nbDecision=448500 #constraints=27698
707.40/707.63	c nbDecision=449000 #constraints=27730
708.20/708.49	c nbDecision=449500 #constraints=27732
709.40/709.60	c nbDecision=450000 #constraints=27753
710.30/710.54	c nbDecision=450500 #constraints=27764
711.29/711.57	c nbDecision=451000 #constraints=27783
712.60/712.87	c nbDecision=451500 #constraints=27803
713.49/713.75	c nbDecision=452000 #constraints=27816
714.49/714.70	c nbDecision=452500 #constraints=27826
715.59/715.83	c nbDecision=453000 #constraints=27843
716.49/716.73	c nbDecision=453500 #constraints=27852
717.49/717.70	c nbDecision=454000 #constraints=27865
718.49/718.76	c nbDecision=454500 #constraints=27881
719.89/720.13	c nbDecision=455000 #constraints=27901
721.50/721.70	c nbDecision=455500 #constraints=27921
722.60/722.87	c nbDecision=456000 #constraints=27954
723.60/723.85	c nbDecision=456500 #constraints=27971
724.60/724.84	c nbDecision=457000 #constraints=27982
726.00/726.21	c nbDecision=457500 #constraints=28002
727.10/727.32	c nbDecision=458000 #constraints=28016
727.90/728.14	c nbDecision=458500 #constraints=28018
729.19/729.44	c nbDecision=459000 #constraints=28031
730.30/730.57	c nbDecision=459500 #constraints=28044
731.39/731.66	c nbDecision=460000 #constraints=28059
732.30/732.57	c nbDecision=460500 #constraints=28072
733.79/734.03	c nbDecision=461000 #constraints=28111
734.79/735.06	c nbDecision=461500 #constraints=28124
735.79/736.08	c nbDecision=462000 #constraints=28127
736.99/737.22	c nbDecision=462500 #constraints=28133
737.79/738.01	c nbDecision=463000 #constraints=28143
738.99/739.22	c nbDecision=463500 #constraints=28173
740.09/740.38	c nbDecision=464000 #constraints=28196
741.19/741.45	c nbDecision=464500 #constraints=28220
742.19/742.43	c nbDecision=465000 #constraints=28235
743.09/743.35	c nbDecision=465500 #constraints=28244
744.28/744.52	c nbDecision=466000 #constraints=28272
745.08/745.39	c nbDecision=466500 #constraints=28280
746.18/746.43	c nbDecision=467000 #constraints=28296
747.48/747.74	c nbDecision=467500 #constraints=28316
748.38/748.69	c nbDecision=468000 #constraints=28327
749.48/749.73	c nbDecision=468500 #constraints=28344
750.48/750.78	c nbDecision=469000 #constraints=28367
751.68/751.96	c nbDecision=469500 #constraints=28396
752.68/752.94	c nbDecision=470000 #constraints=28409
753.88/754.15	c nbDecision=470500 #constraints=28419
754.88/755.10	c nbDecision=471000 #constraints=28421
755.78/756.05	c nbDecision=471500 #constraints=28428
757.58/757.81	c nbDecision=472000 #constraints=28455
758.68/758.95	c nbDecision=472500 #constraints=28485
759.78/760.06	c nbDecision=473000 #constraints=28514
760.78/761.05	c nbDecision=473500 #constraints=28534
762.28/762.56	c nbDecision=474000 #constraints=28561
763.19/763.47	c nbDecision=474500 #constraints=28563
764.29/764.56	c nbDecision=475000 #constraints=28588
765.48/765.77	c nbDecision=475500 #constraints=28603
766.78/767.04	c nbDecision=476000 #constraints=28610
767.88/768.12	c nbDecision=476500 #constraints=28622
768.88/769.13	c nbDecision=477000 #constraints=28637
770.28/770.58	c nbDecision=477500 #constraints=28663
771.18/771.49	c nbDecision=478000 #constraints=28666
772.18/772.40	c nbDecision=478500 #constraints=28679
772.98/773.27	c nbDecision=479000 #constraints=28686
773.98/774.26	c nbDecision=479500 #constraints=28691
775.28/775.54	c nbDecision=480000 #constraints=28713
776.38/776.60	c nbDecision=480500 #constraints=28726
777.17/777.47	c nbDecision=481000 #constraints=28729
778.17/778.47	c nbDecision=481500 #constraints=28740
779.17/779.45	c nbDecision=482000 #constraints=28756
780.07/780.32	c nbDecision=482500 #constraints=28758
781.07/781.31	c nbDecision=483000 #constraints=28762
781.97/782.28	c nbDecision=483500 #constraints=28764
783.17/783.41	c nbDecision=484000 #constraints=28784
784.37/784.63	c nbDecision=484500 #constraints=28800
785.67/785.94	c nbDecision=485000 #constraints=28838
787.07/787.37	c nbDecision=485500 #constraints=28866
788.57/788.83	c nbDecision=486000 #constraints=28908
789.67/789.90	c nbDecision=486500 #constraints=28921
791.07/791.31	c nbDecision=487000 #constraints=28936
791.98/792.20	c nbDecision=487500 #constraints=28944
792.78/793.01	c nbDecision=488000 #constraints=28946
794.08/794.31	c nbDecision=488500 #constraints=28961
795.38/795.61	c nbDecision=489000 #constraints=28972
796.67/796.96	c nbDecision=489500 #constraints=28988
797.77/798.07	c nbDecision=490000 #constraints=29007
798.97/799.24	c nbDecision=490500 #constraints=29013
799.97/800.28	c nbDecision=491000 #constraints=29016
800.97/801.29	c nbDecision=491500 #constraints=29031
801.97/802.26	c nbDecision=492000 #constraints=29048
803.17/803.48	c nbDecision=492500 #constraints=29066
804.07/804.31	c nbDecision=493000 #constraints=29068
805.27/805.58	c nbDecision=493500 #constraints=29093
806.67/806.95	c nbDecision=494000 #constraints=29112
807.77/808.02	c nbDecision=494500 #constraints=29128
808.67/808.98	c nbDecision=495000 #constraints=29136
809.76/810.05	c nbDecision=495500 #constraints=29151
810.86/811.16	c nbDecision=496000 #constraints=29172
811.96/812.27	c nbDecision=496500 #constraints=29182
812.96/813.24	c nbDecision=497000 #constraints=29197
813.86/814.16	c nbDecision=497500 #constraints=29202
814.96/815.30	c nbDecision=498000 #constraints=29225
816.16/816.45	c nbDecision=498500 #constraints=29230
817.36/817.60	c nbDecision=499000 #constraints=29246
818.36/818.66	c nbDecision=499500 #constraints=29257
819.66/819.96	c nbDecision=500000 #constraints=29273
820.46/820.77	c nbDecision=500500 #constraints=29276
821.46/821.70	c nbDecision=501000 #constraints=29284
822.46/822.78	c nbDecision=501500 #constraints=29308
823.66/823.99	c nbDecision=502000 #constraints=29321
824.96/825.20	c nbDecision=502500 #constraints=29337
825.86/826.11	c nbDecision=503000 #constraints=29341
826.86/827.17	c nbDecision=503500 #constraints=29350
827.86/828.11	c nbDecision=504000 #constraints=29357
828.96/829.27	c nbDecision=504500 #constraints=29372
830.16/830.44	c nbDecision=505000 #constraints=29388
831.36/831.66	c nbDecision=505500 #constraints=29412
832.56/832.84	c nbDecision=506000 #constraints=29441
833.46/833.75	c nbDecision=506500 #constraints=29444
834.66/834.93	c nbDecision=507000 #constraints=29448
835.55/835.80	c nbDecision=507500 #constraints=29451
836.45/836.75	c nbDecision=508000 #constraints=29460
837.46/837.71	c nbDecision=508500 #constraints=29467
838.76/839.00	c nbDecision=509000 #constraints=29481
839.86/840.15	c nbDecision=509500 #constraints=29499
840.96/841.25	c nbDecision=510000 #constraints=29512
841.96/842.28	c nbDecision=510500 #constraints=29517
843.26/843.57	c nbDecision=511000 #constraints=29533
844.46/844.70	c nbDecision=511500 #constraints=29547
845.56/845.90	c nbDecision=512000 #constraints=29566
846.95/847.25	c nbDecision=512500 #constraints=29600
848.15/848.46	c nbDecision=513000 #constraints=29614
849.15/849.43	c nbDecision=513500 #constraints=29623
850.15/850.45	c nbDecision=514000 #constraints=29632
851.16/851.40	c nbDecision=514500 #constraints=29643
852.26/852.58	c nbDecision=515000 #constraints=29662
853.25/853.51	c nbDecision=515500 #constraints=29673
854.25/854.56	c nbDecision=516000 #constraints=29676
855.45/855.71	c nbDecision=516500 #constraints=29689
856.65/856.91	c nbDecision=517000 #constraints=29716
857.75/858.08	c nbDecision=517500 #constraints=29740
858.75/859.08	c nbDecision=518000 #constraints=29756
859.96/860.25	c nbDecision=518500 #constraints=29778
860.96/861.30	c nbDecision=519000 #constraints=29792
862.35/862.65	c nbDecision=519500 #constraints=29807
863.45/863.74	c nbDecision=520000 #constraints=29816
865.05/865.37	c nbDecision=520500 #constraints=29840
866.05/866.30	c nbDecision=521000 #constraints=29848
867.25/867.51	c nbDecision=521500 #constraints=29872
868.25/868.50	c nbDecision=522000 #constraints=29886
869.25/869.56	c nbDecision=522500 #constraints=29893
870.55/870.81	c nbDecision=523000 #constraints=29909
871.55/871.84	c nbDecision=523500 #constraints=29920
872.55/872.84	c nbDecision=524000 #constraints=29930
873.85/874.16	c nbDecision=524500 #constraints=29958
874.85/875.17	c nbDecision=525000 #constraints=29961
875.65/875.98	c nbDecision=525500 #constraints=29972
876.65/876.92	c nbDecision=526000 #constraints=29981
877.45/877.75	c nbDecision=526500 #constraints=29983
878.45/878.80	c nbDecision=527000 #constraints=29989
879.85/880.18	c nbDecision=527500 #constraints=30002
881.05/881.32	c nbDecision=528000 #constraints=30011
882.25/882.54	c nbDecision=528500 #constraints=30029
883.35/883.69	c nbDecision=529000 #constraints=30048
884.65/884.90	c nbDecision=529500 #constraints=30051
885.55/885.82	c nbDecision=530000 #constraints=30054
886.64/886.99	c nbDecision=530500 #constraints=30075
887.94/888.20	c nbDecision=531000 #constraints=30087
889.14/889.47	c nbDecision=531500 #constraints=30107
890.24/890.57	c nbDecision=532000 #constraints=30115
891.75/892.08	c nbDecision=532500 #constraints=30140
893.34/893.60	c nbDecision=533000 #constraints=30174
894.54/894.87	c nbDecision=533500 #constraints=30193
895.55/895.84	c nbDecision=534000 #constraints=30201
896.45/896.76	c nbDecision=534500 #constraints=30215
897.74/898.08	c nbDecision=535000 #constraints=30226
898.94/899.22	c nbDecision=535500 #constraints=30236
899.84/900.18	c nbDecision=536000 #constraints=30239
901.14/901.45	c nbDecision=536500 #constraints=30242
902.24/902.51	c nbDecision=537000 #constraints=30248
903.24/903.58	c nbDecision=537500 #constraints=30260
904.34/904.66	c nbDecision=538000 #constraints=30274
905.44/905.74	c nbDecision=538500 #constraints=30291
906.64/906.97	c nbDecision=539000 #constraints=30302
907.74/908.08	c nbDecision=539500 #constraints=30319
909.54/909.89	c nbDecision=540000 #constraints=30340
911.04/911.30	c nbDecision=540500 #constraints=30363
912.34/912.69	c nbDecision=541000 #constraints=30380
913.54/913.85	c nbDecision=541500 #constraints=30388
915.13/915.44	c nbDecision=542000 #constraints=30415
916.93/917.24	c nbDecision=542500 #constraints=30433
918.03/918.39	c nbDecision=543000 #constraints=30436
919.24/919.50	c nbDecision=543500 #constraints=30451
920.13/920.44	c nbDecision=544000 #constraints=30453
921.73/922.05	c nbDecision=544500 #constraints=30477
923.13/923.44	c nbDecision=545000 #constraints=30498
924.23/924.53	c nbDecision=545500 #constraints=30507
926.03/926.32	c nbDecision=546000 #constraints=30541
926.93/927.28	c nbDecision=546500 #constraints=30546
928.04/928.32	c nbDecision=547000 #constraints=30562
929.24/929.55	c nbDecision=547500 #constraints=30570
930.63/930.91	c nbDecision=548000 #constraints=30578
931.53/931.86	c nbDecision=548500 #constraints=30586
932.63/932.98	c nbDecision=549000 #constraints=30600
933.54/933.88	c nbDecision=549500 #constraints=30607
934.93/935.22	c nbDecision=550000 #constraints=30621
936.13/936.42	c nbDecision=550500 #constraints=30634
937.33/937.67	c nbDecision=551000 #constraints=30655
938.83/939.19	c nbDecision=551500 #constraints=30687
939.83/940.12	c nbDecision=552000 #constraints=30689
940.93/941.29	c nbDecision=552500 #constraints=30708
942.23/942.57	c nbDecision=553000 #constraints=30732
943.43/943.74	c nbDecision=553500 #constraints=30737
944.33/944.65	c nbDecision=554000 #constraints=30739
945.33/945.65	c nbDecision=554500 #constraints=30750
946.73/947.02	c nbDecision=555000 #constraints=30761
947.62/947.99	c nbDecision=555500 #constraints=30770
948.72/949.06	c nbDecision=556000 #constraints=30785
950.22/950.50	c nbDecision=556500 #constraints=30812
951.23/951.58	c nbDecision=557000 #constraints=30816
952.23/952.54	c nbDecision=557500 #constraints=30819
953.43/953.76	c nbDecision=558000 #constraints=30836
954.52/954.83	c nbDecision=558500 #constraints=30839
955.52/955.84	c nbDecision=559000 #constraints=30841
956.52/956.86	c nbDecision=559500 #constraints=30843
957.42/957.73	c nbDecision=560000 #constraints=30846
959.02/959.36	c nbDecision=560500 #constraints=30856
960.43/960.75	c nbDecision=561000 #constraints=30873
961.33/961.65	c nbDecision=561500 #constraints=30877
962.23/962.55	c nbDecision=562000 #constraints=30879
963.73/964.02	c nbDecision=562500 #constraints=30894
965.03/965.34	c nbDecision=563000 #constraints=30919
966.33/966.68	c nbDecision=563500 #constraints=30935
967.53/967.90	c nbDecision=564000 #constraints=30958
969.02/969.39	c nbDecision=564500 #constraints=30974
970.32/970.68	c nbDecision=565000 #constraints=30994
971.62/971.93	c nbDecision=565500 #constraints=31008
973.02/973.35	c nbDecision=566000 #constraints=31024
973.92/974.29	c nbDecision=566500 #constraints=31029
975.32/975.67	c nbDecision=567000 #constraints=31055
976.52/976.89	c nbDecision=567500 #constraints=31073
977.82/978.10	c nbDecision=568000 #constraints=31080
978.92/979.20	c nbDecision=568500 #constraints=31083
980.02/980.30	c nbDecision=569000 #constraints=31096
981.42/981.70	c nbDecision=569500 #constraints=31124
982.52/982.85	c nbDecision=570000 #constraints=31145
983.82/984.11	c nbDecision=570500 #constraints=31156
984.92/985.23	c nbDecision=571000 #constraints=31162
985.82/986.17	c nbDecision=571500 #constraints=31180
987.02/987.30	c nbDecision=572000 #constraints=31183
988.21/988.59	c nbDecision=572500 #constraints=31212
989.21/989.53	c nbDecision=573000 #constraints=31214
990.41/990.73	c nbDecision=573500 #constraints=31229
991.41/991.75	c nbDecision=574000 #constraints=31238
992.71/993.01	c nbDecision=574500 #constraints=31252
993.71/994.08	c nbDecision=575000 #constraints=31264
994.91/995.26	c nbDecision=575500 #constraints=31268
996.01/996.38	c nbDecision=576000 #constraints=31278
997.21/997.51	c nbDecision=576500 #constraints=31288
999.01/999.39	c nbDecision=577000 #constraints=31318
1000.31/1000.64	c nbDecision=577500 #constraints=31332
1001.51/1001.80	c nbDecision=578000 #constraints=31344
1002.81/1003.13	c nbDecision=578500 #constraints=31362
1004.31/1004.62	c nbDecision=579000 #constraints=31381
1005.61/1005.92	c nbDecision=579500 #constraints=31410
1007.21/1007.51	c nbDecision=580000 #constraints=31434
1008.71/1009.08	c nbDecision=580500 #constraints=31454
1009.71/1010.06	c nbDecision=581000 #constraints=31459
1010.91/1011.29	c nbDecision=581500 #constraints=31468
1011.91/1012.29	c nbDecision=582000 #constraints=31470
1013.21/1013.56	c nbDecision=582500 #constraints=31482
1014.62/1014.93	c nbDecision=583000 #constraints=31496
1015.72/1016.04	c nbDecision=583500 #constraints=31498
1017.01/1017.30	c nbDecision=584000 #constraints=31516
1018.22/1018.58	c nbDecision=584500 #constraints=31532
1019.32/1019.69	c nbDecision=585000 #constraints=31546
1020.61/1020.95	c nbDecision=585500 #constraints=31570
1021.71/1022.07	c nbDecision=586000 #constraints=31574
1022.91/1023.26	c nbDecision=586500 #constraints=31600
1023.91/1024.29	c nbDecision=587000 #constraints=31608
1024.91/1025.27	c nbDecision=587500 #constraints=31614
1025.91/1026.28	c nbDecision=588000 #constraints=31617
1026.91/1027.29	c nbDecision=588500 #constraints=31625
1027.91/1028.20	c nbDecision=589000 #constraints=31629
1029.31/1029.61	c nbDecision=589500 #constraints=31650
1030.41/1030.76	c nbDecision=590000 #constraints=31677
1031.41/1031.75	c nbDecision=590500 #constraints=31686
1032.71/1033.04	c nbDecision=591000 #constraints=31696
1033.91/1034.25	c nbDecision=591500 #constraints=31709
1035.51/1035.89	c nbDecision=592000 #constraints=31734
1036.60/1036.96	c nbDecision=592500 #constraints=31742
1037.90/1038.26	c nbDecision=593000 #constraints=31756
1039.10/1039.47	c nbDecision=593500 #constraints=31763
1040.10/1040.44	c nbDecision=594000 #constraints=31770
1041.10/1041.47	c nbDecision=594500 #constraints=31776
1042.50/1042.81	c nbDecision=595000 #constraints=31802
1044.00/1044.30	c nbDecision=595500 #constraints=31825
1044.90/1045.29	c nbDecision=596000 #constraints=31834
1046.20/1046.55	c nbDecision=596500 #constraints=31837
1047.50/1047.83	c nbDecision=597000 #constraints=31856
1048.70/1049.05	c nbDecision=597500 #constraints=31861
1050.20/1050.58	c nbDecision=598000 #constraints=31881
1051.50/1051.82	c nbDecision=598500 #constraints=31900
1052.70/1053.00	c nbDecision=599000 #constraints=31912
1053.80/1054.17	c nbDecision=599500 #constraints=31924
1054.70/1055.08	c nbDecision=600000 #constraints=31926
1055.90/1056.29	c nbDecision=600500 #constraints=31940
1056.81/1057.12	c nbDecision=601000 #constraints=31946
1058.00/1058.32	c nbDecision=601500 #constraints=31950
1058.91/1059.30	c nbDecision=602000 #constraints=31957
1060.11/1060.40	c nbDecision=602500 #constraints=31968
1061.40/1061.79	c nbDecision=603000 #constraints=31995
1062.60/1062.99	c nbDecision=603500 #constraints=32011
1064.30/1064.60	c nbDecision=604000 #constraints=32028
1065.30/1065.62	c nbDecision=604500 #constraints=32030
1066.90/1067.20	c nbDecision=605000 #constraints=32054
1067.80/1068.14	c nbDecision=605500 #constraints=32059
1069.00/1069.39	c nbDecision=606000 #constraints=32082
1070.20/1070.59	c nbDecision=606500 #constraints=32100
1071.80/1072.10	c nbDecision=607000 #constraints=32123
1072.90/1073.30	c nbDecision=607500 #constraints=32126
1074.10/1074.41	c nbDecision=608000 #constraints=32135
1075.29/1075.69	c nbDecision=608500 #constraints=32151
1076.60/1076.97	c nbDecision=609000 #constraints=32172
1077.89/1078.24	c nbDecision=609500 #constraints=32189
1079.09/1079.46	c nbDecision=610000 #constraints=32196
1080.39/1080.77	c nbDecision=610500 #constraints=32213
1081.59/1081.90	c nbDecision=611000 #constraints=32227
1082.59/1082.98	c nbDecision=611500 #constraints=32242
1083.69/1084.03	c nbDecision=612000 #constraints=32245
1084.99/1085.35	c nbDecision=612500 #constraints=32256
1086.09/1086.41	c nbDecision=613000 #constraints=32265
1086.99/1087.36	c nbDecision=613500 #constraints=32275
1088.09/1088.43	c nbDecision=614000 #constraints=32279
1089.39/1089.71	c nbDecision=614500 #constraints=32298
1090.79/1091.18	c nbDecision=615000 #constraints=32320
1092.09/1092.41	c nbDecision=615500 #constraints=32323
1093.39/1093.78	c nbDecision=616000 #constraints=32329
1094.59/1094.92	c nbDecision=616500 #constraints=32339
1095.79/1096.15	c nbDecision=617000 #constraints=32348
1096.99/1097.34	c nbDecision=617500 #constraints=32355
1098.39/1098.78	c nbDecision=618000 #constraints=32362
1099.49/1099.82	c nbDecision=618500 #constraints=32367
1100.49/1100.84	c nbDecision=619000 #constraints=32377
1101.69/1102.05	c nbDecision=619500 #constraints=32389
1102.59/1102.99	c nbDecision=620000 #constraints=32391
1103.59/1103.97	c nbDecision=620500 #constraints=32393
1104.89/1105.27	c nbDecision=621000 #constraints=32397
1105.99/1106.34	c nbDecision=621500 #constraints=32404
1106.99/1107.38	c nbDecision=622000 #constraints=32406
1108.49/1108.85	c nbDecision=622500 #constraints=32427
1109.59/1109.92	c nbDecision=623000 #constraints=32437
1110.98/1111.31	c nbDecision=623500 #constraints=32458
1112.58/1112.92	c nbDecision=624000 #constraints=32479
1113.68/1114.05	c nbDecision=624500 #constraints=32485
1115.09/1115.41	c nbDecision=625000 #constraints=32503
1116.18/1116.53	c nbDecision=625500 #constraints=32519
1117.78/1118.19	c nbDecision=626000 #constraints=32542
1118.78/1119.17	c nbDecision=626500 #constraints=32544
1120.08/1120.41	c nbDecision=627000 #constraints=32554
1121.48/1121.84	c nbDecision=627500 #constraints=32570
1122.58/1122.91	c nbDecision=628000 #constraints=32579
1123.68/1124.09	c nbDecision=628500 #constraints=32588
1125.18/1125.55	c nbDecision=629000 #constraints=32603
1126.28/1126.65	c nbDecision=629500 #constraints=32617
1127.38/1127.73	c nbDecision=630000 #constraints=32628
1128.78/1129.12	c nbDecision=630500 #constraints=32633
1129.78/1130.17	c nbDecision=631000 #constraints=32635
1130.98/1131.36	c nbDecision=631500 #constraints=32646
1132.07/1132.40	c nbDecision=632000 #constraints=32649
1133.28/1133.64	c nbDecision=632500 #constraints=32663
1134.28/1134.66	c nbDecision=633000 #constraints=32671
1135.68/1136.00	c nbDecision=633500 #constraints=32682
1136.98/1137.37	c nbDecision=634000 #constraints=32696
1138.18/1138.54	c nbDecision=634500 #constraints=32712
1139.18/1139.60	c nbDecision=635000 #constraints=32714
1140.18/1140.60	c nbDecision=635500 #constraints=32720
1141.58/1141.93	c nbDecision=636000 #constraints=32729
1142.78/1143.19	c nbDecision=636500 #constraints=32743
1143.88/1144.24	c nbDecision=637000 #constraints=32747
1145.08/1145.46	c nbDecision=637500 #constraints=32761
1146.57/1146.99	c nbDecision=638000 #constraints=32791
1147.67/1148.01	c nbDecision=638500 #constraints=32793
1148.97/1149.39	c nbDecision=639000 #constraints=32805
1150.17/1150.54	c nbDecision=639500 #constraints=32820
1151.27/1151.61	c nbDecision=640000 #constraints=32823
1152.27/1152.67	c nbDecision=640500 #constraints=32825
1153.47/1153.85	c nbDecision=641000 #constraints=32833
1154.97/1155.34	c nbDecision=641500 #constraints=32863
1156.27/1156.64	c nbDecision=642000 #constraints=32884
1157.57/1157.95	c nbDecision=642500 #constraints=32902
1158.77/1159.20	c nbDecision=643000 #constraints=32921
1160.18/1160.54	c nbDecision=643500 #constraints=32944
1161.37/1161.74	c nbDecision=644000 #constraints=32954
1163.27/1163.63	c nbDecision=644500 #constraints=32975
1165.07/1165.42	c nbDecision=645000 #constraints=32999
1166.67/1167.05	c nbDecision=645500 #constraints=33019
1168.07/1168.40	c nbDecision=646000 #constraints=33032
1169.37/1169.79	c nbDecision=646500 #constraints=33053
1170.87/1171.21	c nbDecision=647000 #constraints=33064
1172.67/1173.05	c nbDecision=647500 #constraints=33079
1173.87/1174.23	c nbDecision=648000 #constraints=33089
1175.17/1175.55	c nbDecision=648500 #constraints=33096
1176.37/1176.76	c nbDecision=649000 #constraints=33112
1178.07/1178.43	c nbDecision=649500 #constraints=33127
1179.26/1179.64	c nbDecision=650000 #constraints=33137
1180.46/1180.83	c nbDecision=650500 #constraints=33144
1182.17/1182.54	c nbDecision=651000 #constraints=33169
1183.27/1183.61	c nbDecision=651500 #constraints=33179
1184.76/1185.15	c nbDecision=652000 #constraints=33208
1186.06/1186.48	c nbDecision=652500 #constraints=33214
1187.67/1188.07	c nbDecision=653000 #constraints=33246
1189.26/1189.60	c nbDecision=653500 #constraints=33281
1190.16/1190.57	c nbDecision=654000 #constraints=33283
1191.26/1191.65	c nbDecision=654500 #constraints=33295
1192.66/1193.09	c nbDecision=655000 #constraints=33312
1193.86/1194.20	c nbDecision=655500 #constraints=33315
1194.66/1195.02	c nbDecision=656000 #constraints=33323
1196.36/1196.75	c nbDecision=656500 #constraints=33353
1197.46/1197.84	c nbDecision=657000 #constraints=33359
1198.56/1198.91	c nbDecision=657500 #constraints=33368
1199.56/1199.93	c nbDecision=658000 #constraints=33374
1200.96/1201.38	c nbDecision=658500 #constraints=33389
1202.35/1202.76	c nbDecision=659000 #constraints=33416
1203.55/1203.96	c nbDecision=659500 #constraints=33425
1204.86/1205.21	c nbDecision=660000 #constraints=33450
1205.86/1206.21	c nbDecision=660500 #constraints=33456
1207.06/1207.47	c nbDecision=661000 #constraints=33480
1208.06/1208.49	c nbDecision=661500 #constraints=33482
1209.26/1209.61	c nbDecision=662000 #constraints=33493
1210.56/1210.93	c nbDecision=662500 #constraints=33515
1211.86/1212.29	c nbDecision=663000 #constraints=33520
1213.06/1213.47	c nbDecision=663500 #constraints=33528
1214.46/1214.87	c nbDecision=664000 #constraints=33533
1216.46/1216.83	c nbDecision=664500 #constraints=33560
1217.56/1217.97	c nbDecision=665000 #constraints=33572
1218.55/1218.99	c nbDecision=665500 #constraints=33574
1220.25/1220.61	c nbDecision=666000 #constraints=33583
1221.35/1221.72	c nbDecision=666500 #constraints=33597
1222.15/1222.59	c nbDecision=667000 #constraints=33604
1223.55/1223.95	c nbDecision=667500 #constraints=33608
1225.25/1225.65	c nbDecision=668000 #constraints=33627
1226.35/1226.72	c nbDecision=668500 #constraints=33635
1227.75/1228.17	c nbDecision=669000 #constraints=33645
1229.05/1229.44	c nbDecision=669500 #constraints=33651
1230.15/1230.57	c nbDecision=670000 #constraints=33661
1231.25/1231.64	c nbDecision=670500 #constraints=33671
1232.55/1233.00	c nbDecision=671000 #constraints=33687
1234.15/1234.51	c nbDecision=671500 #constraints=33710
1235.34/1235.77	c nbDecision=672000 #constraints=33723
1236.35/1236.72	c nbDecision=672500 #constraints=33725
1237.45/1237.88	c nbDecision=673000 #constraints=33739
1238.65/1239.09	c nbDecision=673500 #constraints=33743
1239.75/1240.13	c nbDecision=674000 #constraints=33749
1241.25/1241.62	c nbDecision=674500 #constraints=33765
1242.25/1242.69	c nbDecision=675000 #constraints=33773
1243.35/1243.78	c nbDecision=675500 #constraints=33781
1244.85/1245.25	c nbDecision=676000 #constraints=33790
1246.25/1246.62	c nbDecision=676500 #constraints=33812
1247.75/1248.13	c nbDecision=677000 #constraints=33824
1248.95/1249.36	c nbDecision=677500 #constraints=33833
1250.15/1250.51	c nbDecision=678000 #constraints=33835
1251.25/1251.65	c nbDecision=678500 #constraints=33837
1253.05/1253.42	c nbDecision=679000 #constraints=33848
1254.04/1254.49	c nbDecision=679500 #constraints=33856
1255.24/1255.69	c nbDecision=680000 #constraints=33868
1256.64/1257.05	c nbDecision=680500 #constraints=33879
1257.74/1258.10	c nbDecision=681000 #constraints=33882
1259.04/1259.41	c nbDecision=681500 #constraints=33885
1260.04/1260.50	c nbDecision=682000 #constraints=33897
1261.34/1261.73	c nbDecision=682500 #constraints=33904
1262.34/1262.75	c nbDecision=683000 #constraints=33906
1263.54/1263.94	c nbDecision=683500 #constraints=33915
1264.54/1264.99	c nbDecision=684000 #constraints=33917
1265.84/1266.23	c nbDecision=684500 #constraints=33922
1267.14/1267.57	c nbDecision=685000 #constraints=33925
1268.34/1268.76	c nbDecision=685500 #constraints=33938
1270.14/1270.54	c nbDecision=686000 #constraints=33964
1271.24/1271.64	c nbDecision=686500 #constraints=33970
1272.54/1272.94	c nbDecision=687000 #constraints=33989
1273.84/1274.25	c nbDecision=687500 #constraints=34007
1275.14/1275.55	c nbDecision=688000 #constraints=34011
1276.24/1276.68	c nbDecision=688500 #constraints=34020
1277.44/1277.87	c nbDecision=689000 #constraints=34035
1278.44/1278.89	c nbDecision=689500 #constraints=34038
1279.63/1280.03	c nbDecision=690000 #constraints=34044
1280.73/1281.12	c nbDecision=690500 #constraints=34049
1281.83/1282.26	c nbDecision=691000 #constraints=34051
1283.93/1284.34	c nbDecision=691500 #constraints=34075
1285.23/1285.70	c nbDecision=692000 #constraints=34097
1286.54/1286.99	c nbDecision=692500 #constraints=34116
1287.93/1288.38	c nbDecision=693000 #constraints=34125
1289.33/1289.75	c nbDecision=693500 #constraints=34131
1290.53/1290.93	c nbDecision=694000 #constraints=34149
1291.73/1292.16	c nbDecision=694500 #constraints=34170
1293.43/1293.80	c nbDecision=695000 #constraints=34184
1294.33/1294.78	c nbDecision=695500 #constraints=34186
1295.43/1295.89	c nbDecision=696000 #constraints=34197
1296.64/1297.08	c nbDecision=696500 #constraints=34210
1297.84/1298.22	c nbDecision=697000 #constraints=34214
1299.24/1299.63	c nbDecision=697500 #constraints=34239
1300.44/1300.88	c nbDecision=698000 #constraints=34264
1302.04/1302.41	c nbDecision=698500 #constraints=34285
1303.23/1303.63	c nbDecision=699000 #constraints=34296
1304.24/1304.63	c nbDecision=699500 #constraints=34298
1305.34/1305.72	c nbDecision=700000 #constraints=34307
1306.44/1306.80	c nbDecision=700500 #constraints=34309
1307.73/1308.11	c nbDecision=701000 #constraints=34317
1308.54/1309.00	c nbDecision=701500 #constraints=34318
1309.83/1310.20	c nbDecision=702000 #constraints=34334
1310.93/1311.37	c nbDecision=702500 #constraints=34344
1312.93/1313.33	c nbDecision=703000 #constraints=34361
1313.93/1314.37	c nbDecision=703500 #constraints=34363
1315.03/1315.45	c nbDecision=704000 #constraints=34366
1316.43/1316.83	c nbDecision=704500 #constraints=34374
1317.73/1318.10	c nbDecision=705000 #constraints=34381
1319.03/1319.46	c nbDecision=705500 #constraints=34400
1320.33/1320.79	c nbDecision=706000 #constraints=34403
1321.83/1322.29	c nbDecision=706500 #constraints=34411
1323.02/1323.43	c nbDecision=707000 #constraints=34421
1324.62/1325.02	c nbDecision=707500 #constraints=34450
1325.62/1326.06	c nbDecision=708000 #constraints=34452
1326.72/1327.15	c nbDecision=708500 #constraints=34457
1328.22/1328.61	c nbDecision=709000 #constraints=34471
1329.22/1329.66	c nbDecision=709500 #constraints=34473
1330.92/1331.34	c nbDecision=710000 #constraints=34491
1332.22/1332.62	c nbDecision=710500 #constraints=34500
1333.32/1333.70	c nbDecision=711000 #constraints=34502
1334.72/1335.13	c nbDecision=711500 #constraints=34528
1336.51/1336.90	c nbDecision=712000 #constraints=34547
1337.72/1338.16	c nbDecision=712500 #constraints=34564
1339.02/1339.43	c nbDecision=713000 #constraints=34577
1340.22/1340.64	c nbDecision=713500 #constraints=34590
1341.63/1342.06	c nbDecision=714000 #constraints=34595
1342.73/1343.18	c nbDecision=714500 #constraints=34603
1344.32/1344.73	c nbDecision=715000 #constraints=34616
1345.42/1345.84	c nbDecision=715500 #constraints=34620
1346.52/1346.94	c nbDecision=716000 #constraints=34622
1347.52/1347.92	c nbDecision=716500 #constraints=34624
1348.62/1349.00	c nbDecision=717000 #constraints=34633
1349.82/1350.26	c nbDecision=717500 #constraints=34643
1351.02/1351.44	c nbDecision=718000 #constraints=34656
1352.62/1353.07	c nbDecision=718500 #constraints=34671
1353.82/1354.22	c nbDecision=719000 #constraints=34677
1354.92/1355.36	c nbDecision=719500 #constraints=34681
1356.02/1356.43	c nbDecision=720000 #constraints=34690
1357.32/1357.70	c nbDecision=720500 #constraints=34710
1358.42/1358.88	c nbDecision=721000 #constraints=34723
1359.71/1360.14	c nbDecision=721500 #constraints=34730
1360.81/1361.26	c nbDecision=722000 #constraints=34739
1362.31/1362.74	c nbDecision=722500 #constraints=34766
1363.52/1363.95	c nbDecision=723000 #constraints=34790
1365.01/1365.42	c nbDecision=723500 #constraints=34808
1366.11/1366.57	c nbDecision=724000 #constraints=34813
1367.21/1367.65	c nbDecision=724500 #constraints=34815
1368.61/1369.05	c nbDecision=725000 #constraints=34835
1369.91/1370.32	c nbDecision=725500 #constraints=34844
1371.31/1371.77	c nbDecision=726000 #constraints=34855
1372.41/1372.86	c nbDecision=726500 #constraints=34858
1373.91/1374.37	c nbDecision=727000 #constraints=34868
1375.21/1375.66	c nbDecision=727500 #constraints=34873
1376.61/1377.08	c nbDecision=728000 #constraints=34877
1378.10/1378.54	c nbDecision=728500 #constraints=34900
1379.30/1379.79	c nbDecision=729000 #constraints=34911
1380.61/1381.08	c nbDecision=729500 #constraints=34923
1382.11/1382.54	c nbDecision=730000 #constraints=34943
1383.41/1383.82	c nbDecision=730500 #constraints=34960
1384.51/1384.94	c nbDecision=731000 #constraints=34963
1386.21/1386.62	c nbDecision=731500 #constraints=34982
1388.01/1388.41	c nbDecision=732000 #constraints=35007
1389.70/1390.10	c nbDecision=732500 #constraints=35026
1391.20/1391.68	c nbDecision=733000 #constraints=35049
1392.60/1393.05	c nbDecision=733500 #constraints=35063
1394.90/1395.32	c nbDecision=734000 #constraints=35093
1396.00/1396.42	c nbDecision=734500 #constraints=35111
1397.40/1397.89	c nbDecision=735000 #constraints=35124
1398.20/1398.68	c nbDecision=735500 #constraints=35131
1400.30/1400.71	c nbDecision=736000 #constraints=35164
1401.50/1401.94	c nbDecision=736500 #constraints=35175
1402.60/1403.08	c nbDecision=737000 #constraints=35185
1403.70/1404.11	c nbDecision=737500 #constraints=35187
1405.20/1405.63	c nbDecision=738000 #constraints=35202
1406.70/1407.17	c nbDecision=738500 #constraints=35231
1408.10/1408.50	c nbDecision=739000 #constraints=35247
1409.50/1409.92	c nbDecision=739500 #constraints=35259
1411.20/1411.62	c nbDecision=740000 #constraints=35287
1412.50/1412.93	c nbDecision=740500 #constraints=35293
1413.70/1414.17	c nbDecision=741000 #constraints=35299
1415.20/1415.68	c nbDecision=741500 #constraints=35324
1416.40/1416.86	c nbDecision=742000 #constraints=35338
1417.79/1418.28	c nbDecision=742500 #constraints=35351
1419.29/1419.70	c nbDecision=743000 #constraints=35355
1420.39/1420.89	c nbDecision=743500 #constraints=35366
1421.59/1422.03	c nbDecision=744000 #constraints=35368
1423.01/1423.45	c nbDecision=744500 #constraints=35375
1424.20/1424.66	c nbDecision=745000 #constraints=35385
1425.30/1425.79	c nbDecision=745500 #constraints=35393
1426.60/1427.06	c nbDecision=746000 #constraints=35409
1427.60/1428.09	c nbDecision=746500 #constraints=35411
1428.90/1429.30	c nbDecision=747000 #constraints=35416
1430.80/1431.28	c nbDecision=747500 #constraints=35442
1432.00/1432.49	c nbDecision=748000 #constraints=35447
1433.30/1433.70	c nbDecision=748500 #constraints=35449
1435.29/1435.70	c nbDecision=749000 #constraints=35466
1436.49/1436.94	c nbDecision=749500 #constraints=35478
1437.69/1438.16	c nbDecision=750000 #constraints=35491
1438.89/1439.31	c nbDecision=750500 #constraints=35502
1440.29/1440.77	c nbDecision=751000 #constraints=35509
1441.39/1441.84	c nbDecision=751500 #constraints=35511
1442.59/1443.07	c nbDecision=752000 #constraints=35527
1443.99/1444.43	c nbDecision=752500 #constraints=35545
1445.79/1446.22	c nbDecision=753000 #constraints=35561
1446.89/1447.40	c nbDecision=753500 #constraints=35563
1447.99/1448.48	c nbDecision=754000 #constraints=35571
1449.39/1449.83	c nbDecision=754500 #constraints=35582
1450.69/1451.19	c nbDecision=755000 #constraints=35598
1452.08/1452.55	c nbDecision=755500 #constraints=35601
1453.18/1453.63	c nbDecision=756000 #constraints=35603
1454.48/1454.90	c nbDecision=756500 #constraints=35616
1455.58/1456.07	c nbDecision=757000 #constraints=35619
1456.89/1457.30	c nbDecision=757500 #constraints=35632
1457.89/1458.36	c nbDecision=758000 #constraints=35642
1459.19/1459.68	c nbDecision=758500 #constraints=35657
1460.59/1461.01	c nbDecision=759000 #constraints=35660
1461.79/1462.28	c nbDecision=759500 #constraints=35681
1463.39/1463.89	c nbDecision=760000 #constraints=35695
1464.89/1465.35	c nbDecision=760500 #constraints=35711
1466.29/1466.76	c nbDecision=761000 #constraints=35731
1467.69/1468.13	c nbDecision=761500 #constraints=35746
1469.29/1469.77	c nbDecision=762000 #constraints=35760
1470.49/1470.97	c nbDecision=762500 #constraints=35768
1471.69/1472.10	c nbDecision=763000 #constraints=35775
1472.99/1473.45	c nbDecision=763500 #constraints=35787
1474.79/1475.22	c nbDecision=764000 #constraints=35808
1475.89/1476.34	c nbDecision=764500 #constraints=35810
1476.98/1477.43	c nbDecision=765000 #constraints=35817
1478.18/1478.66	c nbDecision=765500 #constraints=35827
1479.48/1479.94	c nbDecision=766000 #constraints=35832
1480.68/1481.15	c nbDecision=766500 #constraints=35842
1482.18/1482.66	c nbDecision=767000 #constraints=35855
1483.38/1483.87	c nbDecision=767500 #constraints=35859
1484.78/1485.28	c nbDecision=768000 #constraints=35877
1485.88/1486.40	c nbDecision=768500 #constraints=35884
1487.08/1487.51	c nbDecision=769000 #constraints=35890
1488.28/1488.70	c nbDecision=769500 #constraints=35895
1489.48/1489.91	c nbDecision=770000 #constraints=35898
1490.68/1491.14	c nbDecision=770500 #constraints=35901
1491.68/1492.20	c nbDecision=771000 #constraints=35903
1493.08/1493.56	c nbDecision=771500 #constraints=35919
1494.27/1494.74	c nbDecision=772000 #constraints=35921
1495.48/1495.90	c nbDecision=772500 #constraints=35923
1496.58/1497.04	c nbDecision=773000 #constraints=35925
1498.47/1498.91	c nbDecision=773500 #constraints=35937
1499.77/1500.21	c nbDecision=774000 #constraints=35950
1500.87/1501.30	c nbDecision=774500 #constraints=35956
1502.37/1502.86	c nbDecision=775000 #constraints=35962
1503.78/1504.20	c nbDecision=775500 #constraints=35980
1505.18/1505.67	c nbDecision=776000 #constraints=35984
1506.28/1506.78	c nbDecision=776500 #constraints=35986
1507.47/1507.91	c nbDecision=777000 #constraints=35990
1508.88/1509.36	c nbDecision=777500 #constraints=36010
1510.77/1511.23	c nbDecision=778000 #constraints=36040
1511.87/1512.40	c nbDecision=778500 #constraints=36043
1513.77/1514.20	c nbDecision=779000 #constraints=36068
1514.77/1515.25	c nbDecision=779500 #constraints=36070
1515.77/1516.28	c nbDecision=780000 #constraints=36072
1517.27/1517.75	c nbDecision=780500 #constraints=36087
1518.47/1518.93	c nbDecision=781000 #constraints=36089
1520.27/1520.71	c nbDecision=781500 #constraints=36115
1521.57/1522.07	c nbDecision=782000 #constraints=36127
1522.97/1523.49	c nbDecision=782500 #constraints=36138
1524.07/1524.58	c nbDecision=783000 #constraints=36140
1525.47/1525.92	c nbDecision=783500 #constraints=36146
1526.67/1527.19	c nbDecision=784000 #constraints=36172
1527.96/1528.48	c nbDecision=784500 #constraints=36179
1529.36/1529.88	c nbDecision=785000 #constraints=36182
1530.56/1531.03	c nbDecision=785500 #constraints=36192
1531.77/1532.22	c nbDecision=786000 #constraints=36195
1532.87/1533.38	c nbDecision=786500 #constraints=36203
1534.36/1534.88	c nbDecision=787000 #constraints=36210
1535.46/1535.94	c nbDecision=787500 #constraints=36212
1536.66/1537.12	c nbDecision=788000 #constraints=36215
1538.16/1538.64	c nbDecision=788500 #constraints=36218
1539.66/1540.19	c nbDecision=789000 #constraints=36243
1540.86/1541.34	c nbDecision=789500 #constraints=36245
1542.35/1542.85	c nbDecision=790000 #constraints=36262
1543.65/1544.11	c nbDecision=790500 #constraints=36277
1545.06/1545.57	c nbDecision=791000 #constraints=36288
1546.25/1546.76	c nbDecision=791500 #constraints=36296
1547.45/1547.93	c nbDecision=792000 #constraints=36299
1548.75/1549.27	c nbDecision=792500 #constraints=36318
1550.46/1550.94	c nbDecision=793000 #constraints=36332
1551.66/1552.11	c nbDecision=793500 #constraints=36340
1552.85/1553.37	c nbDecision=794000 #constraints=36342
1554.36/1554.86	c nbDecision=794500 #constraints=36347
1555.56/1556.09	c nbDecision=795000 #constraints=36349
1556.96/1557.49	c nbDecision=795500 #constraints=36366
1558.56/1559.01	c nbDecision=796000 #constraints=36375
1559.76/1560.25	c nbDecision=796500 #constraints=36389
1560.86/1561.37	c nbDecision=797000 #constraints=36397
1562.36/1562.88	c nbDecision=797500 #constraints=36402
1563.76/1564.22	c nbDecision=798000 #constraints=36415
1565.35/1565.84	c nbDecision=798500 #constraints=36435
1566.85/1567.36	c nbDecision=799000 #constraints=36452
1568.45/1568.91	c nbDecision=799500 #constraints=36471
1570.05/1570.52	c nbDecision=800000 #constraints=36483
1571.25/1571.74	c nbDecision=800500 #constraints=36487
1572.65/1573.10	c nbDecision=801000 #constraints=36497
1574.25/1574.77	c nbDecision=801500 #constraints=36511
1576.65/1577.10	c nbDecision=802000 #constraints=36542
1578.55/1579.03	c nbDecision=802500 #constraints=36572
1579.85/1580.33	c nbDecision=803000 #constraints=36585
1581.45/1581.97	c nbDecision=803500 #constraints=36615
1583.45/1584.00	c nbDecision=804000 #constraints=36643
1584.94/1585.42	c nbDecision=804500 #constraints=36668
1586.04/1586.55	c nbDecision=805000 #constraints=36674
1587.44/1587.93	c nbDecision=805500 #constraints=36692
1589.24/1589.72	c nbDecision=806000 #constraints=36718
1590.54/1591.07	c nbDecision=806500 #constraints=36738
1592.24/1592.76	c nbDecision=807000 #constraints=36755
1593.94/1594.41	c nbDecision=807500 #constraints=36762
1595.15/1595.61	c nbDecision=808000 #constraints=36764
1596.25/1596.76	c nbDecision=808500 #constraints=36766
1597.35/1597.86	c nbDecision=809000 #constraints=36768
1599.05/1599.53	c nbDecision=809500 #constraints=36774
1600.35/1600.80	c nbDecision=810000 #constraints=36786
1601.45/1601.91	c nbDecision=810500 #constraints=36788
1602.75/1603.26	c nbDecision=811000 #constraints=36799
1603.95/1604.47	c nbDecision=811500 #constraints=36803
1605.55/1606.06	c nbDecision=812000 #constraints=36816
1606.65/1607.16	c nbDecision=812500 #constraints=36826
1608.04/1608.52	c nbDecision=813000 #constraints=36837
1609.14/1609.66	c nbDecision=813500 #constraints=36839
1610.34/1610.81	c nbDecision=814000 #constraints=36845
1612.05/1612.59	c nbDecision=814500 #constraints=36866
1613.25/1613.79	c nbDecision=815000 #constraints=36875
1614.54/1615.03	c nbDecision=815500 #constraints=36877
1615.84/1616.33	c nbDecision=816000 #constraints=36887
1617.14/1617.64	c nbDecision=816500 #constraints=36899
1618.74/1619.25	c nbDecision=817000 #constraints=36908
1619.94/1620.43	c nbDecision=817500 #constraints=36914
1621.44/1621.93	c nbDecision=818000 #constraints=36922
1622.74/1623.25	c nbDecision=818500 #constraints=36935
1624.14/1624.67	c nbDecision=819000 #constraints=36941
1624.74/1625.22	c restart after 819201 decisions
1628.24/1628.73	c nbDecision=819500 #constraints=36945
1628.54/1629.02	c nbDecision=820000 #constraints=36945
1629.14/1629.60	c nbDecision=820500 #constraints=36945
1629.53/1630.07	c nbDecision=821000 #constraints=36945
1629.93/1630.46	c nbDecision=821500 #constraints=36945
1630.33/1630.89	c nbDecision=822000 #constraints=36945
1630.74/1631.22	c nbDecision=822500 #constraints=36945
1631.23/1631.71	c nbDecision=823000 #constraints=36945
1631.53/1632.08	c nbDecision=823500 #constraints=36945
1631.73/1632.25	c nbDecision=824000 #constraints=36945
1631.84/1632.33	c nbDecision=824500 #constraints=36945
1631.94/1632.47	c nbDecision=825000 #constraints=36945
1632.33/1632.80	c nbDecision=825500 #constraints=36945
1632.94/1633.44	c nbDecision=826000 #constraints=36945
1634.83/1635.38	c nbDecision=826500 #constraints=36976
1636.13/1636.62	c nbDecision=827000 #constraints=36986
1637.44/1637.96	c nbDecision=827500 #constraints=37011
1638.54/1639.10	c nbDecision=828000 #constraints=37019
1640.53/1641.03	c nbDecision=828500 #constraints=37046
1642.03/1642.53	c nbDecision=829000 #constraints=37067
1643.33/1643.81	c nbDecision=829500 #constraints=37077
1645.13/1645.68	c nbDecision=830000 #constraints=37090
1646.33/1646.87	c nbDecision=830500 #constraints=37099
1647.93/1648.45	c nbDecision=831000 #constraints=37111
1649.13/1649.63	c nbDecision=831500 #constraints=37118
1651.03/1651.52	c nbDecision=832000 #constraints=37135
1652.52/1653.04	c nbDecision=832500 #constraints=37148
1653.93/1654.48	c nbDecision=833000 #constraints=37174
1655.52/1656.09	c nbDecision=833500 #constraints=37187
1656.83/1657.36	c nbDecision=834000 #constraints=37195
1658.23/1658.78	c nbDecision=834500 #constraints=37217
1659.73/1660.22	c nbDecision=835000 #constraints=37221
1661.23/1661.76	c nbDecision=835500 #constraints=37236
1662.53/1663.02	c nbDecision=836000 #constraints=37238
1663.93/1664.47	c nbDecision=836500 #constraints=37241
1665.72/1666.23	c nbDecision=837000 #constraints=37262
1667.03/1667.55	c nbDecision=837500 #constraints=37279
1668.52/1669.02	c nbDecision=838000 #constraints=37283
1669.82/1670.40	c nbDecision=838500 #constraints=37300
1671.22/1671.77	c nbDecision=839000 #constraints=37310
1672.42/1672.97	c nbDecision=839500 #constraints=37322
1673.62/1674.14	c nbDecision=840000 #constraints=37330
1674.92/1675.44	c nbDecision=840500 #constraints=37347
1676.62/1677.17	c nbDecision=841000 #constraints=37377
1678.62/1679.10	c nbDecision=841500 #constraints=37416
1679.82/1680.37	c nbDecision=842000 #constraints=37420
1681.02/1681.55	c nbDecision=842500 #constraints=37431
1682.22/1682.72	c nbDecision=843000 #constraints=37440
1683.92/1684.47	c nbDecision=843500 #constraints=37462
1685.11/1685.61	c nbDecision=844000 #constraints=37474
1686.61/1687.13	c nbDecision=844500 #constraints=37484
1687.92/1688.43	c nbDecision=845000 #constraints=37493
1689.02/1689.55	c nbDecision=845500 #constraints=37496
1690.31/1690.80	c nbDecision=846000 #constraints=37504
1692.01/1692.55	c nbDecision=846500 #constraints=37517
1693.52/1694.04	c nbDecision=847000 #constraints=37544
1694.71/1695.27	c nbDecision=847500 #constraints=37561
1696.11/1696.69	c nbDecision=848000 #constraints=37575
1698.01/1698.51	c nbDecision=848500 #constraints=37587
1699.11/1699.66	c nbDecision=849000 #constraints=37595
1700.31/1700.80	c nbDecision=849500 #constraints=37597
1701.51/1702.00	c nbDecision=850000 #constraints=37599
1703.51/1704.05	c nbDecision=850500 #constraints=37633
1705.11/1705.68	c nbDecision=851000 #constraints=37661
1706.31/1706.82	c nbDecision=851500 #constraints=37663
1707.91/1708.43	c nbDecision=852000 #constraints=37680
1709.21/1709.70	c nbDecision=852500 #constraints=37692
1710.41/1710.93	c nbDecision=853000 #constraints=37694
1711.71/1712.25	c nbDecision=853500 #constraints=37701
1713.41/1713.99	c nbDecision=854000 #constraints=37727
1714.61/1715.19	c nbDecision=854500 #constraints=37737
1715.71/1716.27	c nbDecision=855000 #constraints=37745
1716.91/1717.46	c nbDecision=855500 #constraints=37750
1718.31/1718.88	c nbDecision=856000 #constraints=37765
1719.71/1720.28	c nbDecision=856500 #constraints=37776
1720.91/1721.50	c nbDecision=857000 #constraints=37783
1722.81/1723.39	c nbDecision=857500 #constraints=37790
1724.41/1724.97	c nbDecision=858000 #constraints=37804
1725.71/1726.22	c nbDecision=858500 #constraints=37807
1726.91/1727.41	c nbDecision=859000 #constraints=37809
1728.30/1728.83	c nbDecision=859500 #constraints=37817
1730.00/1730.57	c nbDecision=860000 #constraints=37838
1731.30/1731.89	c nbDecision=860500 #constraints=37849
1732.70/1733.23	c nbDecision=861000 #constraints=37858
1734.00/1734.55	c nbDecision=861500 #constraints=37868
1735.80/1736.33	c nbDecision=862000 #constraints=37890
1737.00/1737.53	c nbDecision=862500 #constraints=37892
1738.20/1738.73	c nbDecision=863000 #constraints=37895
1739.60/1740.19	c nbDecision=863500 #constraints=37898
1741.10/1741.63	c nbDecision=864000 #constraints=37914
1742.40/1742.90	c nbDecision=864500 #constraints=37927
1744.20/1744.76	c nbDecision=865000 #constraints=37937
1745.60/1746.14	c nbDecision=865500 #constraints=37944
1747.10/1747.67	c nbDecision=866000 #constraints=37952
1748.80/1749.38	c nbDecision=866500 #constraints=37971
1750.00/1750.58	c nbDecision=867000 #constraints=37982
1751.20/1751.75	c nbDecision=867500 #constraints=38000
1752.60/1753.19	c nbDecision=868000 #constraints=38003
1754.10/1754.68	c nbDecision=868500 #constraints=38014
1755.70/1756.26	c nbDecision=869000 #constraints=38029
1756.90/1757.44	c nbDecision=869500 #constraints=38031
1758.60/1759.15	c nbDecision=870000 #constraints=38046
1760.09/1760.64	c nbDecision=870500 #constraints=38059
1761.60/1762.16	c nbDecision=871000 #constraints=38075
1762.99/1763.56	c nbDecision=871500 #constraints=38085
1764.29/1764.87	c nbDecision=872000 #constraints=38094
1765.69/1766.22	c nbDecision=872500 #constraints=38104
1766.99/1767.53	c nbDecision=873000 #constraints=38106
1768.09/1768.65	c nbDecision=873500 #constraints=38108
1769.79/1770.39	c nbDecision=874000 #constraints=38129
1771.19/1771.76	c nbDecision=874500 #constraints=38139
1772.59/1773.19	c nbDecision=875000 #constraints=38161
1773.89/1774.48	c nbDecision=875500 #constraints=38165
1775.59/1776.19	c nbDecision=876000 #constraints=38182
1776.79/1777.37	c nbDecision=876500 #constraints=38184
1778.28/1778.89	c nbDecision=877000 #constraints=38190
1779.78/1780.35	c nbDecision=877500 #constraints=38203
1781.18/1781.71	c nbDecision=878000 #constraints=38212
1782.60/1783.16	c nbDecision=878500 #constraints=38226
1783.89/1784.48	c nbDecision=879000 #constraints=38239
1785.49/1786.01	c nbDecision=879500 #constraints=38244
1786.79/1787.35	c nbDecision=880000 #constraints=38257
1788.09/1788.66	c nbDecision=880500 #constraints=38273
1789.39/1789.98	c nbDecision=881000 #constraints=38283
1791.09/1791.65	c nbDecision=881500 #constraints=38292
1792.39/1792.95	c nbDecision=882000 #constraints=38302
1793.79/1794.37	c nbDecision=882500 #constraints=38317
1795.18/1795.70	c nbDecision=883000 #constraints=38320
1796.38/1796.95	c nbDecision=883500 #constraints=38326
1797.78/1798.31	c nbDecision=884000 #constraints=38336
1799.18/1799.71	c nbDecision=884500 #constraints=38350
1800.09/1800.61	Received signal 15
1800.09/1800.61	
1800.09/1800.61	s UNKNOWN
1800.09/1800.61	
1800.09/1800.61	c user time= 1799.31 s
1800.09/1800.61	c system time= 0.795879 s
1800.09/1800.61	c wall clock time=1800.61

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node72/watcher-356900-1176847369 -o ROOT/results/node72/solver-356900-1176847369 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356900-1176847369/instance-356900-1176847369.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 3/77 17987
/proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=1620 CPUtime=0
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160775333 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 405 176 126 317 0 84 0

[startup+0.0680751 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 17987
/proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=2672 CPUtime=0.06
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 469 0 0 0 6 0 0 0 18 0 1 0 160775333 2736128 418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 668 418 131 317 0 347 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2672

[startup+0.101078 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 17987
/proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=3464 CPUtime=0.09
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 672 0 0 0 9 0 0 0 18 0 1 0 160775333 3547136 621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 866 621 131 317 0 545 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3464

[startup+0.301096 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 17987
/proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=8416 CPUtime=0.29
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 1943 0 0 0 29 0 0 0 19 0 1 0 160775333 8617984 1892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534179 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 2104 1892 137 317 0 1783 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8416

[startup+0.701132 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 17987
/proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=8812 CPUtime=0.69
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 2043 0 0 0 69 0 0 0 23 0 1 0 160775333 9023488 1992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 2203 1992 138 317 0 1882 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8812

[startup+1.50121 s]
/proc/loadavg: 0.72 0.93 0.98 2/78 17988
/proc/meminfo: memFree=1664688/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=8812 CPUtime=1.49
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 2043 0 0 0 149 0 0 0 25 0 1 0 160775333 9023488 1992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 2203 1992 138 317 0 1882 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8812

[startup+3.10235 s]
/proc/loadavg: 0.74 0.94 0.98 2/78 17988
/proc/meminfo: memFree=1664560/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=8940 CPUtime=3.09
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 2046 0 0 0 309 0 0 0 25 0 1 0 160775333 9154560 1995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 2235 1995 138 317 0 1914 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8940

[startup+6.30164 s]
/proc/loadavg: 0.74 0.94 0.98 2/78 17988
/proc/meminfo: memFree=1658096/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=17736 CPUtime=6.29
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 4247 0 0 0 627 2 0 0 25 0 1 0 160775333 18161664 4196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 4434 4196 139 317 0 4113 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17736

[startup+12.7012 s]
/proc/loadavg: 0.78 0.94 0.98 2/78 17988
/proc/meminfo: memFree=1643440/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=31028 CPUtime=12.68
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 7566 0 0 0 1266 2 0 0 25 0 1 0 160775333 31772672 7515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746916 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 7757 7515 139 317 0 7436 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31028

[startup+25.5014 s]
/proc/loadavg: 0.81 0.94 0.98 2/78 17988
/proc/meminfo: memFree=1615344/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=58776 CPUtime=25.48
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 14488 0 0 0 2541 7 0 0 25 0 1 0 160775333 60186624 14437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 14694 14437 139 317 0 14373 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58776

[startup+51.1017 s]
/proc/loadavg: 0.87 0.94 0.98 2/78 17988
/proc/meminfo: memFree=1580528/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=94900 CPUtime=51.08
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 23437 0 0 0 5095 13 0 0 25 0 1 0 160775333 97177600 23386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 23725 23386 139 317 0 23404 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94900

[startup+102.305 s]
/proc/loadavg: 0.95 0.95 0.98 2/78 17988
/proc/meminfo: memFree=1534576/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=138792 CPUtime=102.26
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 34541 0 0 0 10205 21 0 0 25 0 1 0 160775333 142123008 34432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 34698 34432 139 317 0 34377 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 138792

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.98 2/78 17988
/proc/meminfo: memFree=1493232/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=183844 CPUtime=162.25
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 45149 0 0 0 16198 27 0 0 25 0 1 0 160775333 188256256 45040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 45961 45040 139 317 0 45640 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 183844

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 17988
/proc/meminfo: memFree=1462128/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=213728 CPUtime=222.23
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 52712 0 0 0 22192 31 0 0 25 0 1 0 160775333 218857472 52489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 53432 52489 139 317 0 53111 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 213728

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 3/78 17988
/proc/meminfo: memFree=1440048/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=236312 CPUtime=282.22
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 58295 0 0 0 28187 35 0 0 25 0 1 0 160775333 241983488 58072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 59078 58072 139 317 0 58757 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 236312

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17988
/proc/meminfo: memFree=1422512/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=252700 CPUtime=342.2
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 62603 0 0 0 34182 38 0 0 25 0 1 0 160775333 258764800 62380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 63175 62380 139 317 0 62854 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 252700

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17988
/proc/meminfo: memFree=1406064/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=270952 CPUtime=402.18
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 66797 0 0 0 40177 41 0 0 25 0 1 0 160775333 277454848 66574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 67738 66574 139 317 0 67417 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 270952

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17988
/proc/meminfo: memFree=1389936/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=287900 CPUtime=462.17
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 70723 0 0 0 46174 43 0 0 25 0 1 0 160775333 294809600 70500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 71975 70500 139 317 0 71654 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 287900

[startup+522.302 s]
/proc/loadavg: 1.04 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1377840/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=299604 CPUtime=522.15
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 73767 0 0 0 52170 45 0 0 25 0 1 0 160775333 306794496 73544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 74901 73544 139 317 0 74580 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 299604

[startup+582.301 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1362672/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=317860 CPUtime=582.13
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 77525 0 0 0 58166 47 0 0 25 0 1 0 160775333 325488640 77302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 79465 77302 139 317 0 79144 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 317860

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1353904/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=326356 CPUtime=642.12
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 79711 0 0 0 64163 49 0 0 25 0 1 0 160775333 334188544 79488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 81589 79488 139 317 0 81268 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 326356


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

[startup+822.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1326896/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=352620 CPUtime=822.06
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 86457 0 0 0 82151 55 0 0 25 0 1 0 160775333 361082880 86234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 88155 86234 139 317 0 87834 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 352620

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1319152/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=359616 CPUtime=882.05
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 88412 0 0 0 88148 57 0 0 25 0 1 0 160775333 368246784 88189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 89904 88189 139 317 0 89583 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 359616

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1312432/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=366344 CPUtime=942.03
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 90111 0 0 0 94144 59 0 0 25 0 1 0 160775333 375136256 89888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 91586 89888 139 317 0 91265 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 366344

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1304752/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=374800 CPUtime=1002.01
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 91991 0 0 0 100141 60 0 0 25 0 1 0 160775333 383795200 91768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 93700 91768 139 317 0 93379 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 374800

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1296752/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=383116 CPUtime=1062
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 94041 0 0 0 106138 62 0 0 25 0 1 0 160775333 392310784 93818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 95779 93818 139 317 0 95458 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 383116

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1290352/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=388740 CPUtime=1121.98
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 95577 0 0 0 112135 63 0 0 25 0 1 0 160775333 398069760 95354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 97185 95354 139 317 0 96864 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 388740

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1284336/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=395544 CPUtime=1181.96
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 97305 0 0 0 118131 65 0 0 25 0 1 0 160775333 405037056 96823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 98886 96823 139 317 0 98565 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 395544

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17988
/proc/meminfo: memFree=1278768/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=401048 CPUtime=1241.95
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 98715 0 0 0 124128 67 0 0 25 0 1 0 160775333 410673152 98233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 100262 98233 139 317 0 99941 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 401048

[startup+1302.3 s]
/proc/loadavg: 1.08 1.00 0.99 2/78 17988
/proc/meminfo: memFree=1273136/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=405920 CPUtime=1301.94
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 100131 0 0 0 130126 68 0 0 25 0 1 0 160775333 415662080 99649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 101480 99649 139 317 0 101159 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 405920

[startup+1362.3 s]
/proc/loadavg: 1.10 1.02 0.99 2/78 17988
/proc/meminfo: memFree=1268720/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=410232 CPUtime=1361.91
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 101240 0 0 0 136122 69 0 0 25 0 1 0 160775333 420077568 100758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 102558 100758 139 317 0 102237 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 410232

[startup+1422.31 s]
/proc/loadavg: 1.16 1.04 1.00 2/78 17988
/proc/meminfo: memFree=1262320/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=416364 CPUtime=1421.9
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 102819 0 0 0 142120 70 0 0 25 0 1 0 160775333 426356736 102337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 104091 102337 139 317 0 103770 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 416364

[startup+1482.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 17988
/proc/meminfo: memFree=1256752/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=421128 CPUtime=1481.88
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 104211 0 0 0 148116 72 0 0 25 0 1 0 160775333 431235072 103729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 105282 103729 139 317 0 104961 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 421128

[startup+1542.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 17988
/proc/meminfo: memFree=1251760/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=425932 CPUtime=1541.85
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 105435 0 0 0 154112 73 0 0 25 0 1 0 160775333 436154368 104953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 106483 104953 139 317 0 106162 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 425932

[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 17988
/proc/meminfo: memFree=1246448/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=431400 CPUtime=1601.85
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 106785 0 0 0 160110 75 0 0 25 0 1 0 160775333 441753600 106303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 107850 106303 139 317 0 107529 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 431400

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17988
/proc/meminfo: memFree=1242864/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=434796 CPUtime=1661.83
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 107659 0 0 0 166107 76 0 0 25 0 1 0 160775333 445231104 107177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 108699 107177 139 317 0 108378 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 434796

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17990
/proc/meminfo: memFree=1238256/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=439288 CPUtime=1721.81
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 108802 0 0 0 172104 77 0 0 25 0 1 0 160775333 449830912 108320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 109822 108320 139 317 0 109501 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 439288

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17990
/proc/meminfo: memFree=1234160/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=443364 CPUtime=1781.78
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 109867 0 0 0 178100 78 0 0 25 0 1 0 160775333 454004736 109385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 110841 109385 139 317 0 110520 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 443364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17990
/proc/meminfo: memFree=1231536/2055920 swapFree=4156508/4192956
[pid=17987] ppid=17985 vsize=446524 CPUtime=1800.09
/proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 110484 0 0 0 179930 79 0 0 25 0 1 0 160775333 457240576 110002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17987/statm: 111631 110002 139 317 0 111310 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 446524

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

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

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.18
CPU user time (s): 1799.32
CPU system time (s): 0.864868
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 446524

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

runsolver used 2.12168 second user time and 4.52331 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Tue Apr 17 22:02:49 UTC 2007

IDJOB= 356900
IDBENCH= 1612
IDSOLVER= 172
FILE ID= node72/356900-1176847369

PBS_JOBID= 4590211

Free space on /tmp= 66479 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  6816c7581e307ff85cc3550c4b71269a

RANDOM SEED= 408517035

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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.222
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:       1672528 kB
Buffers:         44140 kB
Cached:         254484 kB
SwapCached:      18324 kB
Active:         167808 kB
Inactive:       154868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1672528 kB
SwapTotal:     4192956 kB
SwapFree:      4156508 kB
Dirty:            2312 kB
Writeback:           0 kB
Mapped:          29624 kB
Slab:            46232 kB
Committed_AS:  2693364 kB
PageTables:       1788 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= 66479 MiB

End job on node72 on Tue Apr 17 22:32:52 UTC 2007