Trace number 356985

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.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb
MD5SUMcbc7f776eebadde6a6228c5e168c70a1
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 variables60930
Total number of constraints2157
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2157
Minimum length of a constraint30
Maximum length of a constraint450
Number of terms in the objective function 31770
Biggest coefficient in the objective function 2474
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 550404
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 550404
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.78/0.84	c ...done
0.78/0.84	c #vars=60930 #constraints=3301 hasObjective=yes
1.09/1.15	c res. mode=mod
1.09/1.15	c VSIDS like heuristics
1.09/1.15	c complete search running
1.69/1.75	c restart after 401 decisions
1.79/1.84	c nbDecision=500 #constraints=3350
2.19/2.27	c restart after 801 decisions
2.39/2.46	c nbDecision=1000 #constraints=3417
3.29/3.39	c nbDecision=1500 #constraints=3584
3.39/3.49	c restart after 1601 decisions
4.09/4.13	c nbDecision=2000 #constraints=3657
4.89/4.97	c nbDecision=2500 #constraints=3736
5.89/5.97	c nbDecision=3000 #constraints=3888
6.19/6.22	c restart after 3201 decisions
6.59/6.61	c nbDecision=3500 #constraints=3942
7.39/7.48	c nbDecision=4000 #constraints=4048
8.29/8.30	c nbDecision=4500 #constraints=4124
9.09/9.11	c nbDecision=5000 #constraints=4211
9.79/9.85	c nbDecision=5500 #constraints=4268
10.69/10.76	c nbDecision=6000 #constraints=4349
11.29/11.34	c restart after 6401 decisions
11.39/11.43	c nbDecision=6500 #constraints=4389
12.28/12.32	c nbDecision=7000 #constraints=4491
12.98/13.07	c nbDecision=7500 #constraints=4547
13.99/14.05	c nbDecision=8000 #constraints=4645
14.79/14.82	c nbDecision=8500 #constraints=4714
15.79/15.85	c nbDecision=9000 #constraints=4853
16.69/16.79	c nbDecision=9500 #constraints=4953
17.59/17.69	c nbDecision=10000 #constraints=5035
18.59/18.65	c nbDecision=10500 #constraints=5153
19.49/19.54	c nbDecision=11000 #constraints=5215
20.38/20.47	c nbDecision=11500 #constraints=5306
21.38/21.42	c nbDecision=12000 #constraints=5403
22.39/22.43	c nbDecision=12500 #constraints=5519
22.89/22.95	c restart after 12801 decisions
23.09/23.19	c nbDecision=13000 #constraints=5568
24.09/24.18	c nbDecision=13500 #constraints=5668
25.09/25.20	c nbDecision=14000 #constraints=5770
26.09/26.19	c nbDecision=14500 #constraints=5859
27.08/27.12	c nbDecision=15000 #constraints=5924
27.98/28.06	c nbDecision=15500 #constraints=5982
28.88/28.97	c nbDecision=16000 #constraints=6035
29.88/29.96	c nbDecision=16500 #constraints=6133
30.79/30.87	c nbDecision=17000 #constraints=6186
31.68/31.75	c nbDecision=17500 #constraints=6226
32.58/32.69	c nbDecision=18000 #constraints=6288
33.58/33.63	c nbDecision=18500 #constraints=6358
34.48/34.50	c nbDecision=19000 #constraints=6382
35.28/35.39	c nbDecision=19500 #constraints=6421
36.28/36.32	c nbDecision=20000 #constraints=6477
37.18/37.24	c nbDecision=20500 #constraints=6528
37.98/38.09	c nbDecision=21000 #constraints=6546
38.98/39.06	c nbDecision=21500 #constraints=6619
39.88/39.94	c nbDecision=22000 #constraints=6649
40.78/40.87	c nbDecision=22500 #constraints=6698
41.68/41.79	c nbDecision=23000 #constraints=6742
42.68/42.72	c nbDecision=23500 #constraints=6780
43.58/43.64	c nbDecision=24000 #constraints=6829
44.48/44.59	c nbDecision=24500 #constraints=6887
45.47/45.53	c nbDecision=25000 #constraints=6932
46.48/46.51	c nbDecision=25500 #constraints=6992
46.58/46.69	c restart after 25601 decisions
47.28/47.36	c nbDecision=26000 #constraints=7037
48.38/48.47	c nbDecision=26500 #constraints=7149
49.48/49.52	c nbDecision=27000 #constraints=7232
50.48/50.52	c nbDecision=27500 #constraints=7296
51.47/51.56	c nbDecision=28000 #constraints=7367
52.68/52.77	c nbDecision=28500 #constraints=7492
53.77/53.81	c nbDecision=29000 #constraints=7562
54.67/54.77	c nbDecision=29500 #constraints=7609
55.67/55.74	c nbDecision=30000 #constraints=7662
56.68/56.70	c nbDecision=30500 #constraints=7704
57.58/57.66	c nbDecision=31000 #constraints=7743
58.58/58.63	c nbDecision=31500 #constraints=7795
59.58/59.60	c nbDecision=32000 #constraints=7833
60.48/60.58	c nbDecision=32500 #constraints=7874
61.58/61.69	c nbDecision=33000 #constraints=7965
62.58/62.70	c nbDecision=33500 #constraints=8019
63.68/63.73	c nbDecision=34000 #constraints=8069
64.87/64.90	c nbDecision=34500 #constraints=8176
65.87/65.98	c nbDecision=35000 #constraints=8245
66.97/67.02	c nbDecision=35500 #constraints=8304
68.07/68.16	c nbDecision=36000 #constraints=8381
69.17/69.21	c nbDecision=36500 #constraints=8429
70.27/70.30	c nbDecision=37000 #constraints=8507
71.37/71.41	c nbDecision=37500 #constraints=8581
72.37/72.43	c nbDecision=38000 #constraints=8626
73.37/73.48	c nbDecision=38500 #constraints=8681
74.46/74.58	c nbDecision=39000 #constraints=8752
75.66/75.70	c nbDecision=39500 #constraints=8829
76.66/76.76	c nbDecision=40000 #constraints=8887
77.67/77.78	c nbDecision=40500 #constraints=8942
78.77/78.80	c nbDecision=41000 #constraints=8981
79.77/79.85	c nbDecision=41500 #constraints=9035
80.77/80.86	c nbDecision=42000 #constraints=9066
81.77/81.86	c nbDecision=42500 #constraints=9094
82.87/82.91	c nbDecision=43000 #constraints=9142
83.87/83.93	c nbDecision=43500 #constraints=9194
84.87/84.96	c nbDecision=44000 #constraints=9235
85.87/85.99	c nbDecision=44500 #constraints=9275
86.96/87.07	c nbDecision=45000 #constraints=9322
88.06/88.11	c nbDecision=45500 #constraints=9356
89.07/89.17	c nbDecision=46000 #constraints=9410
90.17/90.20	c nbDecision=46500 #constraints=9446
91.06/91.11	c nbDecision=47000 #constraints=9456
92.06/92.12	c nbDecision=47500 #constraints=9490
93.06/93.11	c nbDecision=48000 #constraints=9524
94.16/94.25	c nbDecision=48500 #constraints=9569
95.16/95.29	c nbDecision=49000 #constraints=9599
96.26/96.31	c nbDecision=49500 #constraints=9629
97.26/97.33	c nbDecision=50000 #constraints=9657
98.27/98.39	c nbDecision=50500 #constraints=9690
99.46/99.59	c nbDecision=51000 #constraints=9760
99.86/99.99	c restart after 51201 decisions
100.26/100.35	c nbDecision=51500 #constraints=9772
101.26/101.39	c nbDecision=52000 #constraints=9826
102.36/102.49	c nbDecision=52500 #constraints=9869
103.46/103.57	c nbDecision=53000 #constraints=9907
104.56/104.64	c nbDecision=53500 #constraints=9939
105.66/105.74	c nbDecision=54000 #constraints=9986
106.76/106.82	c nbDecision=54500 #constraints=10022
107.86/107.92	c nbDecision=55000 #constraints=10069
108.86/108.92	c nbDecision=55500 #constraints=10094
109.86/109.96	c nbDecision=56000 #constraints=10128
110.96/111.03	c nbDecision=56500 #constraints=10184
111.96/112.04	c nbDecision=57000 #constraints=10210
112.96/113.09	c nbDecision=57500 #constraints=10250
114.06/114.11	c nbDecision=58000 #constraints=10272
115.16/115.22	c nbDecision=58500 #constraints=10316
116.15/116.26	c nbDecision=59000 #constraints=10345
117.15/117.28	c nbDecision=59500 #constraints=10384
118.35/118.45	c nbDecision=60000 #constraints=10432
119.45/119.52	c nbDecision=60500 #constraints=10479
120.45/120.54	c nbDecision=61000 #constraints=10510
121.55/121.64	c nbDecision=61500 #constraints=10545
122.65/122.76	c nbDecision=62000 #constraints=10584
123.85/123.91	c nbDecision=62500 #constraints=10636
124.95/125.01	c nbDecision=63000 #constraints=10670
125.95/126.04	c nbDecision=63500 #constraints=10697
126.95/127.04	c nbDecision=64000 #constraints=10708
127.95/128.05	c nbDecision=64500 #constraints=10740
128.95/129.08	c nbDecision=65000 #constraints=10765
130.05/130.11	c nbDecision=65500 #constraints=10799
131.05/131.17	c nbDecision=66000 #constraints=10828
132.15/132.23	c nbDecision=66500 #constraints=10853
133.16/133.23	c nbDecision=67000 #constraints=10870
134.26/134.30	c nbDecision=67500 #constraints=10912
135.26/135.38	c nbDecision=68000 #constraints=10944
136.26/136.34	c nbDecision=68500 #constraints=10954
137.36/137.43	c nbDecision=69000 #constraints=10981
138.35/138.50	c nbDecision=69500 #constraints=11005
139.45/139.56	c nbDecision=70000 #constraints=11030
140.55/140.61	c nbDecision=70500 #constraints=11064
141.55/141.63	c nbDecision=71000 #constraints=11080
142.55/142.68	c nbDecision=71500 #constraints=11099
143.65/143.74	c nbDecision=72000 #constraints=11122
144.65/144.75	c nbDecision=72500 #constraints=11138
145.75/145.82	c nbDecision=73000 #constraints=11162
146.75/146.86	c nbDecision=73500 #constraints=11181
147.85/147.96	c nbDecision=74000 #constraints=11208
148.95/149.05	c nbDecision=74500 #constraints=11227
150.05/150.13	c nbDecision=75000 #constraints=11255
151.15/151.20	c nbDecision=75500 #constraints=11280
152.15/152.29	c nbDecision=76000 #constraints=11312
153.25/153.32	c nbDecision=76500 #constraints=11325
154.34/154.44	c nbDecision=77000 #constraints=11357
155.45/155.54	c nbDecision=77500 #constraints=11400
156.45/156.55	c nbDecision=78000 #constraints=11416
157.45/157.59	c nbDecision=78500 #constraints=11435
158.55/158.63	c nbDecision=79000 #constraints=11460
159.55/159.64	c nbDecision=79500 #constraints=11480
160.65/160.77	c nbDecision=80000 #constraints=11512
161.65/161.78	c nbDecision=80500 #constraints=11527
162.85/162.96	c nbDecision=81000 #constraints=11569
163.95/164.01	c nbDecision=81500 #constraints=11589
165.04/165.18	c nbDecision=82000 #constraints=11617
166.14/166.22	c nbDecision=82500 #constraints=11638
167.24/167.38	c nbDecision=83000 #constraints=11661
168.34/168.48	c nbDecision=83500 #constraints=11696
169.44/169.57	c nbDecision=84000 #constraints=11714
170.64/170.70	c nbDecision=84500 #constraints=11738
171.74/171.88	c nbDecision=85000 #constraints=11766
172.94/173.00	c nbDecision=85500 #constraints=11790
174.05/174.12	c nbDecision=86000 #constraints=11816
175.05/175.19	c nbDecision=86500 #constraints=11842
176.25/176.35	c nbDecision=87000 #constraints=11873
177.54/177.63	c nbDecision=87500 #constraints=11913
178.54/178.68	c nbDecision=88000 #constraints=11931
179.74/179.86	c nbDecision=88500 #constraints=11960
180.84/180.96	c nbDecision=89000 #constraints=11984
181.94/182.07	c nbDecision=89500 #constraints=12016
183.14/183.26	c nbDecision=90000 #constraints=12046
184.34/184.44	c nbDecision=90500 #constraints=12071
185.44/185.59	c nbDecision=91000 #constraints=12096
186.64/186.71	c nbDecision=91500 #constraints=12119
187.73/187.85	c nbDecision=92000 #constraints=12145
188.93/189.03	c nbDecision=92500 #constraints=12179
189.93/190.05	c nbDecision=93000 #constraints=12189
191.03/191.14	c nbDecision=93500 #constraints=12206
192.23/192.31	c nbDecision=94000 #constraints=12227
193.23/193.37	c nbDecision=94500 #constraints=12241
194.44/194.52	c nbDecision=95000 #constraints=12266
195.54/195.68	c nbDecision=95500 #constraints=12296
196.64/196.76	c nbDecision=96000 #constraints=12326
197.84/197.90	c nbDecision=96500 #constraints=12354
198.94/199.05	c nbDecision=97000 #constraints=12372
200.04/200.19	c nbDecision=97500 #constraints=12399
201.04/201.19	c nbDecision=98000 #constraints=12408
202.14/202.29	c nbDecision=98500 #constraints=12433
203.44/203.54	c nbDecision=99000 #constraints=12475
204.74/204.87	c nbDecision=99500 #constraints=12517
205.93/206.01	c nbDecision=100000 #constraints=12540
207.03/207.15	c nbDecision=100500 #constraints=12570
208.13/208.24	c nbDecision=101000 #constraints=12590
209.23/209.39	c nbDecision=101500 #constraints=12628
210.33/210.45	c nbDecision=102000 #constraints=12645
211.14/211.29	c restart after 102401 decisions
211.33/211.47	c nbDecision=102500 #constraints=12659
212.63/212.77	c nbDecision=103000 #constraints=12742
214.13/214.25	c nbDecision=103500 #constraints=12813
215.54/215.68	c nbDecision=104000 #constraints=12862
216.94/217.03	c nbDecision=104500 #constraints=12919
218.33/218.47	c nbDecision=105000 #constraints=12976
219.53/219.68	c nbDecision=105500 #constraints=13013
220.83/220.95	c nbDecision=106000 #constraints=13055
222.23/222.30	c nbDecision=106500 #constraints=13111
223.43/223.54	c nbDecision=107000 #constraints=13146
224.73/224.81	c nbDecision=107500 #constraints=13196
225.83/225.99	c nbDecision=108000 #constraints=13228
227.03/227.11	c nbDecision=108500 #constraints=13253
228.13/228.24	c nbDecision=109000 #constraints=13280
229.33/229.42	c nbDecision=109500 #constraints=13305
230.43/230.52	c nbDecision=110000 #constraints=13332
231.52/231.69	c nbDecision=110500 #constraints=13367
232.82/232.91	c nbDecision=111000 #constraints=13388
233.82/233.97	c nbDecision=111500 #constraints=13412
234.92/235.09	c nbDecision=112000 #constraints=13434
236.13/236.27	c nbDecision=112500 #constraints=13459
237.23/237.37	c nbDecision=113000 #constraints=13471
238.43/238.54	c nbDecision=113500 #constraints=13502
239.53/239.65	c nbDecision=114000 #constraints=13530
240.93/241.02	c nbDecision=114500 #constraints=13571
242.13/242.22	c nbDecision=115000 #constraints=13591
243.43/243.57	c nbDecision=115500 #constraints=13638
244.63/244.75	c nbDecision=116000 #constraints=13664
245.83/245.97	c nbDecision=116500 #constraints=13701
247.13/247.24	c nbDecision=117000 #constraints=13743
248.33/248.46	c nbDecision=117500 #constraints=13763
249.53/249.65	c nbDecision=118000 #constraints=13793
251.22/251.31	c nbDecision=118500 #constraints=13853
252.72/252.81	c nbDecision=119000 #constraints=13900
254.12/254.22	c nbDecision=119500 #constraints=13944
255.52/255.61	c nbDecision=120000 #constraints=13989
256.62/256.78	c nbDecision=120500 #constraints=14010
257.82/257.92	c nbDecision=121000 #constraints=14033
258.92/259.02	c nbDecision=121500 #constraints=14049
260.12/260.26	c nbDecision=122000 #constraints=14074
261.32/261.43	c nbDecision=122500 #constraints=14103
262.52/262.63	c nbDecision=123000 #constraints=14127
263.72/263.82	c nbDecision=123500 #constraints=14153
264.81/264.91	c nbDecision=124000 #constraints=14173
265.92/266.09	c nbDecision=124500 #constraints=14200
267.13/267.22	c nbDecision=125000 #constraints=14213
268.23/268.32	c nbDecision=125500 #constraints=14224
269.43/269.53	c nbDecision=126000 #constraints=14250
270.53/270.69	c nbDecision=126500 #constraints=14275
271.82/271.92	c nbDecision=127000 #constraints=14315
273.02/273.19	c nbDecision=127500 #constraints=14341
274.42/274.53	c nbDecision=128000 #constraints=14381
275.62/275.76	c nbDecision=128500 #constraints=14407
276.81/276.99	c nbDecision=129000 #constraints=14437
278.11/278.24	c nbDecision=129500 #constraints=14464
279.49/279.61	c nbDecision=130000 #constraints=14509
280.79/280.98	c nbDecision=130500 #constraints=14549
282.08/282.29	c nbDecision=131000 #constraints=14581
283.38/283.50	c nbDecision=131500 #constraints=14606
284.78/284.97	c nbDecision=132000 #constraints=14656
285.98/286.20	c nbDecision=132500 #constraints=14675
287.18/287.38	c nbDecision=133000 #constraints=14702
288.57/288.72	c nbDecision=133500 #constraints=14724
289.67/289.89	c nbDecision=134000 #constraints=14757
291.06/291.29	c nbDecision=134500 #constraints=14788
292.46/292.63	c nbDecision=135000 #constraints=14823
293.75/293.94	c nbDecision=135500 #constraints=14865
295.06/295.24	c nbDecision=136000 #constraints=14897
296.35/296.50	c nbDecision=136500 #constraints=14930
297.45/297.69	c nbDecision=137000 #constraints=14946
299.05/299.27	c nbDecision=137500 #constraints=15010
300.74/300.93	c nbDecision=138000 #constraints=15081
302.14/302.34	c nbDecision=138500 #constraints=15111
303.53/303.73	c nbDecision=139000 #constraints=15149
304.73/304.95	c nbDecision=139500 #constraints=15173
306.13/306.30	c nbDecision=140000 #constraints=15226
307.84/308.03	c nbDecision=140500 #constraints=15279
309.13/309.39	c nbDecision=141000 #constraints=15302
310.53/310.70	c nbDecision=141500 #constraints=15324
311.73/311.99	c nbDecision=142000 #constraints=15351
313.33/313.51	c nbDecision=142500 #constraints=15400
314.82/315.06	c nbDecision=143000 #constraints=15435
316.53/316.73	c nbDecision=143500 #constraints=15498
317.92/318.18	c nbDecision=144000 #constraints=15530
319.42/319.61	c nbDecision=144500 #constraints=15567
320.92/321.10	c nbDecision=145000 #constraints=15613
322.12/322.39	c nbDecision=145500 #constraints=15644
323.41/323.66	c nbDecision=146000 #constraints=15662
324.81/325.02	c nbDecision=146500 #constraints=15690
326.01/326.26	c nbDecision=147000 #constraints=15711
327.31/327.50	c nbDecision=147500 #constraints=15727
328.42/328.69	c nbDecision=148000 #constraints=15742
329.71/329.92	c nbDecision=148500 #constraints=15770
330.91/331.13	c nbDecision=149000 #constraints=15793
332.10/332.33	c nbDecision=149500 #constraints=15818
333.30/333.59	c nbDecision=150000 #constraints=15837
334.70/334.96	c nbDecision=150500 #constraints=15873
336.00/336.20	c nbDecision=151000 #constraints=15891
337.20/337.47	c nbDecision=151500 #constraints=15920
338.50/338.75	c nbDecision=152000 #constraints=15954
340.00/340.24	c nbDecision=152500 #constraints=15991
341.40/341.63	c nbDecision=153000 #constraints=16025
342.59/342.84	c nbDecision=153500 #constraints=16040
343.79/344.02	c nbDecision=154000 #constraints=16054
344.99/345.24	c nbDecision=154500 #constraints=16068
346.20/346.42	c nbDecision=155000 #constraints=16083
347.49/347.79	c nbDecision=155500 #constraints=16107
348.89/349.11	c nbDecision=156000 #constraints=16134
350.19/350.42	c nbDecision=156500 #constraints=16161
351.50/351.71	c nbDecision=157000 #constraints=16192
352.70/352.98	c nbDecision=157500 #constraints=16218
354.00/354.21	c nbDecision=158000 #constraints=16236
355.20/355.41	c nbDecision=158500 #constraints=16248
356.30/356.57	c nbDecision=159000 #constraints=16260
357.70/357.92	c nbDecision=159500 #constraints=16289
358.90/359.16	c nbDecision=160000 #constraints=16308
360.10/360.39	c nbDecision=160500 #constraints=16323
361.40/361.69	c nbDecision=161000 #constraints=16348
362.80/363.01	c nbDecision=161500 #constraints=16367
363.99/364.22	c nbDecision=162000 #constraints=16391
365.19/365.46	c nbDecision=162500 #constraints=16409
366.39/366.62	c nbDecision=163000 #constraints=16419
367.69/367.93	c nbDecision=163500 #constraints=16451
368.89/369.17	c nbDecision=164000 #constraints=16473
370.19/370.40	c nbDecision=164500 #constraints=16489
371.29/371.56	c nbDecision=165000 #constraints=16507
372.60/372.87	c nbDecision=165500 #constraints=16538
373.79/374.09	c nbDecision=166000 #constraints=16558
375.19/375.43	c nbDecision=166500 #constraints=16586
376.49/376.72	c nbDecision=167000 #constraints=16609
377.69/377.95	c nbDecision=167500 #constraints=16632
378.88/379.19	c nbDecision=168000 #constraints=16650
380.29/380.55	c nbDecision=168500 #constraints=16683
381.78/382.00	c nbDecision=169000 #constraints=16719
383.48/383.76	c nbDecision=169500 #constraints=16760
384.99/385.20	c nbDecision=170000 #constraints=16789
386.29/386.53	c nbDecision=170500 #constraints=16807
387.79/388.00	c nbDecision=171000 #constraints=16832
389.09/389.35	c nbDecision=171500 #constraints=16857
390.29/390.55	c nbDecision=172000 #constraints=16870
391.49/391.78	c nbDecision=172500 #constraints=16887
392.79/393.01	c nbDecision=173000 #constraints=16908
393.99/394.21	c nbDecision=173500 #constraints=16920
395.18/395.41	c nbDecision=174000 #constraints=16940
396.98/397.22	c nbDecision=174500 #constraints=16989
398.38/398.64	c nbDecision=175000 #constraints=17018
399.78/400.06	c nbDecision=175500 #constraints=17058
401.58/401.88	c nbDecision=176000 #constraints=17133
403.08/403.33	c nbDecision=176500 #constraints=17189
404.38/404.65	c nbDecision=177000 #constraints=17253
405.88/406.17	c nbDecision=177500 #constraints=17281
407.28/407.57	c nbDecision=178000 #constraints=17349
408.88/409.11	c nbDecision=178500 #constraints=17433
410.28/410.52	c nbDecision=179000 #constraints=17491
411.68/411.97	c nbDecision=179500 #constraints=17530
412.88/413.12	c nbDecision=180000 #constraints=17556
414.49/414.72	c nbDecision=180500 #constraints=17611
416.18/416.46	c nbDecision=181000 #constraints=17698
417.68/417.98	c nbDecision=181500 #constraints=17752
419.28/419.52	c nbDecision=182000 #constraints=17818
420.68/420.98	c nbDecision=182500 #constraints=17878
422.38/422.60	c nbDecision=183000 #constraints=17925
424.18/424.49	c nbDecision=183500 #constraints=17965
425.58/425.86	c nbDecision=184000 #constraints=17991
426.88/427.15	c nbDecision=184500 #constraints=18019
428.07/428.31	c nbDecision=185000 #constraints=18029
429.57/429.85	c nbDecision=185500 #constraints=18055
431.37/431.65	c nbDecision=186000 #constraints=18107
433.08/433.36	c nbDecision=186500 #constraints=18143
434.47/434.71	c nbDecision=187000 #constraints=18164
435.98/436.21	c nbDecision=187500 #constraints=18203
437.08/437.37	c nbDecision=188000 #constraints=18216
438.48/438.78	c nbDecision=188500 #constraints=18238
439.88/440.10	c nbDecision=189000 #constraints=18258
441.28/441.56	c nbDecision=189500 #constraints=18290
442.77/443.04	c nbDecision=190000 #constraints=18320
444.08/444.36	c nbDecision=190500 #constraints=18336
445.57/445.84	c nbDecision=191000 #constraints=18375
446.77/447.09	c nbDecision=191500 #constraints=18387
448.07/448.34	c nbDecision=192000 #constraints=18401
449.37/449.68	c nbDecision=192500 #constraints=18422
450.78/451.07	c nbDecision=193000 #constraints=18449
452.37/452.64	c nbDecision=193500 #constraints=18477
453.87/454.12	c nbDecision=194000 #constraints=18527
455.17/455.41	c nbDecision=194500 #constraints=18545
456.47/456.77	c nbDecision=195000 #constraints=18570
457.67/457.93	c nbDecision=195500 #constraints=18579
458.97/459.22	c nbDecision=196000 #constraints=18597
460.16/460.49	c nbDecision=196500 #constraints=18616
461.67/461.92	c nbDecision=197000 #constraints=18642
462.87/463.19	c nbDecision=197500 #constraints=18655
464.16/464.43	c nbDecision=198000 #constraints=18675
465.76/466.01	c nbDecision=198500 #constraints=18717
467.17/467.41	c nbDecision=199000 #constraints=18756
468.46/468.73	c nbDecision=199500 #constraints=18779
469.86/470.18	c nbDecision=200000 #constraints=18827
471.36/471.63	c nbDecision=200500 #constraints=18847
472.56/472.87	c nbDecision=201000 #constraints=18860
473.96/474.24	c nbDecision=201500 #constraints=18885
475.26/475.51	c nbDecision=202000 #constraints=18902
476.47/476.73	c nbDecision=202500 #constraints=18917
477.77/478.05	c nbDecision=203000 #constraints=18937
479.16/479.48	c nbDecision=203500 #constraints=18959
480.56/480.82	c nbDecision=204000 #constraints=18976
481.86/482.13	c nbDecision=204500 #constraints=18992
482.66/482.96	c restart after 204801 decisions
483.06/483.38	c nbDecision=205000 #constraints=19003
484.76/485.01	c nbDecision=205500 #constraints=19053
486.86/487.14	c nbDecision=206000 #constraints=19112
488.56/488.88	c nbDecision=206500 #constraints=19166
490.36/490.65	c nbDecision=207000 #constraints=19203
492.16/492.40	c nbDecision=207500 #constraints=19250
493.86/494.16	c nbDecision=208000 #constraints=19306
495.55/495.80	c nbDecision=208500 #constraints=19349
497.25/497.55	c nbDecision=209000 #constraints=19389
499.06/499.37	c nbDecision=209500 #constraints=19442
500.55/500.81	c nbDecision=210000 #constraints=19466
502.05/502.37	c nbDecision=210500 #constraints=19505
503.46/503.71	c nbDecision=211000 #constraints=19525
505.06/505.39	c nbDecision=211500 #constraints=19556
506.46/506.71	c nbDecision=212000 #constraints=19573
507.76/508.06	c nbDecision=212500 #constraints=19589
509.66/509.97	c nbDecision=213000 #constraints=19645
511.26/511.60	c nbDecision=213500 #constraints=19680
512.66/512.94	c nbDecision=214000 #constraints=19699
513.85/514.17	c nbDecision=214500 #constraints=19714
515.05/515.37	c nbDecision=215000 #constraints=19726
516.45/516.74	c nbDecision=215500 #constraints=19748
517.76/518.10	c nbDecision=216000 #constraints=19773
519.25/519.59	c nbDecision=216500 #constraints=19799
520.95/521.22	c nbDecision=217000 #constraints=19830
522.35/522.69	c nbDecision=217500 #constraints=19850
524.35/524.62	c nbDecision=218000 #constraints=19904
525.75/526.06	c nbDecision=218500 #constraints=19929
527.55/527.88	c nbDecision=219000 #constraints=19966
529.15/529.48	c nbDecision=219500 #constraints=19998
530.75/531.06	c nbDecision=220000 #constraints=20023
532.25/532.57	c nbDecision=220500 #constraints=20048
533.65/533.96	c nbDecision=221000 #constraints=20064
535.46/535.74	c nbDecision=221500 #constraints=20109
536.85/537.15	c nbDecision=222000 #constraints=20131
538.35/538.62	c nbDecision=222500 #constraints=20153
540.05/540.31	c nbDecision=223000 #constraints=20184
541.35/541.64	c nbDecision=223500 #constraints=20202
542.85/543.14	c nbDecision=224000 #constraints=20221
544.25/544.59	c nbDecision=224500 #constraints=20242
545.65/545.93	c nbDecision=225000 #constraints=20260
547.05/547.36	c nbDecision=225500 #constraints=20285
548.45/548.75	c nbDecision=226000 #constraints=20307
549.85/550.12	c nbDecision=226500 #constraints=20324
551.15/551.42	c nbDecision=227000 #constraints=20337
552.45/552.72	c nbDecision=227500 #constraints=20357
553.84/554.17	c nbDecision=228000 #constraints=20382
555.54/555.87	c nbDecision=228500 #constraints=20412
557.14/557.43	c nbDecision=229000 #constraints=20442
558.74/559.01	c nbDecision=229500 #constraints=20471
560.54/560.88	c nbDecision=230000 #constraints=20512
562.04/562.30	c nbDecision=230500 #constraints=20535
563.44/563.70	c nbDecision=231000 #constraints=20556
564.74/565.05	c nbDecision=231500 #constraints=20578
566.24/566.54	c nbDecision=232000 #constraints=20613
567.74/568.10	c nbDecision=232500 #constraints=20633
569.24/569.57	c nbDecision=233000 #constraints=20657
570.64/570.99	c nbDecision=233500 #constraints=20677
572.14/572.40	c nbDecision=234000 #constraints=20695
573.73/574.04	c nbDecision=234500 #constraints=20729
575.13/575.43	c nbDecision=235000 #constraints=20744
576.63/576.96	c nbDecision=235500 #constraints=20777
578.54/578.80	c nbDecision=236000 #constraints=20809
579.84/580.19	c nbDecision=236500 #constraints=20826
581.34/581.69	c nbDecision=237000 #constraints=20851
582.94/583.24	c nbDecision=237500 #constraints=20885
584.64/584.91	c nbDecision=238000 #constraints=20924
586.04/586.31	c nbDecision=238500 #constraints=20942
587.54/587.87	c nbDecision=239000 #constraints=20969
589.34/589.64	c nbDecision=239500 #constraints=20996
591.14/591.43	c nbDecision=240000 #constraints=21033
592.83/593.11	c nbDecision=240500 #constraints=21064
594.63/594.95	c nbDecision=241000 #constraints=21127
596.33/596.65	c nbDecision=241500 #constraints=21161
597.63/597.96	c nbDecision=242000 #constraints=21184
599.03/599.31	c nbDecision=242500 #constraints=21200
600.43/600.78	c nbDecision=243000 #constraints=21225
601.93/602.27	c nbDecision=243500 #constraints=21244
603.33/603.70	c nbDecision=244000 #constraints=21266
604.93/605.25	c nbDecision=244500 #constraints=21294
606.23/606.56	c nbDecision=245000 #constraints=21310
607.73/608.01	c nbDecision=245500 #constraints=21340
609.03/609.32	c nbDecision=246000 #constraints=21351
610.63/610.93	c nbDecision=246500 #constraints=21388
612.12/612.48	c nbDecision=247000 #constraints=21413
613.53/613.84	c nbDecision=247500 #constraints=21442
615.52/615.86	c nbDecision=248000 #constraints=21487
617.52/617.82	c nbDecision=248500 #constraints=21529
619.22/619.50	c nbDecision=249000 #constraints=21563
620.92/621.23	c nbDecision=249500 #constraints=21592
622.23/622.55	c nbDecision=250000 #constraints=21607
623.62/623.98	c nbDecision=250500 #constraints=21624
625.22/625.57	c nbDecision=251000 #constraints=21645
626.73/627.03	c nbDecision=251500 #constraints=21665
628.13/628.41	c nbDecision=252000 #constraints=21682
629.53/629.89	c nbDecision=252500 #constraints=21704
631.03/631.40	c nbDecision=253000 #constraints=21726
632.52/632.82	c nbDecision=253500 #constraints=21741
634.02/634.32	c nbDecision=254000 #constraints=21763
635.43/635.77	c nbDecision=254500 #constraints=21782
636.92/637.25	c nbDecision=255000 #constraints=21807
638.32/638.61	c nbDecision=255500 #constraints=21830
639.72/640.04	c nbDecision=256000 #constraints=21856
641.52/641.80	c nbDecision=256500 #constraints=21888
643.12/643.48	c nbDecision=257000 #constraints=21910
644.72/645.04	c nbDecision=257500 #constraints=21930
646.31/646.61	c nbDecision=258000 #constraints=21954
647.62/647.99	c nbDecision=258500 #constraints=21968
649.21/649.57	c nbDecision=259000 #constraints=21986
650.71/651.06	c nbDecision=259500 #constraints=22001
652.41/652.77	c nbDecision=260000 #constraints=22027
654.01/654.37	c nbDecision=260500 #constraints=22047
655.61/655.95	c nbDecision=261000 #constraints=22069
657.22/657.57	c nbDecision=261500 #constraints=22114
659.62/659.98	c nbDecision=262000 #constraints=22159
661.22/661.51	c nbDecision=262500 #constraints=22184
662.52/662.85	c nbDecision=263000 #constraints=22197
664.22/664.54	c nbDecision=263500 #constraints=22222
665.62/665.98	c nbDecision=264000 #constraints=22237
667.02/667.33	c nbDecision=264500 #constraints=22251
668.52/668.82	c nbDecision=265000 #constraints=22273
669.92/670.25	c nbDecision=265500 #constraints=22293
671.62/671.95	c nbDecision=266000 #constraints=22321
673.12/673.44	c nbDecision=266500 #constraints=22340
674.51/674.85	c nbDecision=267000 #constraints=22366
675.91/676.28	c nbDecision=267500 #constraints=22385
677.41/677.72	c nbDecision=268000 #constraints=22398
678.91/679.21	c nbDecision=268500 #constraints=22415
680.31/680.66	c nbDecision=269000 #constraints=22431
681.71/682.07	c nbDecision=269500 #constraints=22448
683.41/683.71	c nbDecision=270000 #constraints=22471
684.81/685.11	c nbDecision=270500 #constraints=22485
686.11/686.45	c nbDecision=271000 #constraints=22496
687.91/688.26	c nbDecision=271500 #constraints=22534
689.41/689.74	c nbDecision=272000 #constraints=22551
690.81/691.14	c nbDecision=272500 #constraints=22570
692.31/692.60	c nbDecision=273000 #constraints=22588
693.60/693.98	c nbDecision=273500 #constraints=22602
695.40/695.73	c nbDecision=274000 #constraints=22626
696.81/697.14	c nbDecision=274500 #constraints=22642
698.40/698.76	c nbDecision=275000 #constraints=22665
699.80/700.19	c nbDecision=275500 #constraints=22680
701.30/701.62	c nbDecision=276000 #constraints=22694
702.70/703.04	c nbDecision=276500 #constraints=22709
704.20/704.58	c nbDecision=277000 #constraints=22735
705.80/706.16	c nbDecision=277500 #constraints=22754
707.51/707.83	c nbDecision=278000 #constraints=22783
709.01/709.36	c nbDecision=278500 #constraints=22800
710.41/710.70	c nbDecision=279000 #constraints=22812
711.71/712.07	c nbDecision=279500 #constraints=22827
713.20/713.52	c nbDecision=280000 #constraints=22848
715.00/715.36	c nbDecision=280500 #constraints=22880
716.60/716.92	c nbDecision=281000 #constraints=22897
718.10/718.45	c nbDecision=281500 #constraints=22916
719.90/720.27	c nbDecision=282000 #constraints=22939
721.50/721.88	c nbDecision=282500 #constraints=22963
722.90/723.23	c nbDecision=283000 #constraints=22978
724.80/725.15	c nbDecision=283500 #constraints=23012
726.50/726.87	c nbDecision=284000 #constraints=23078
728.30/728.67	c nbDecision=284500 #constraints=23101
729.90/730.28	c nbDecision=285000 #constraints=23120
731.20/731.58	c nbDecision=285500 #constraints=23131
732.89/733.25	c nbDecision=286000 #constraints=23154
734.51/734.83	c nbDecision=286500 #constraints=23186
736.20/736.52	c nbDecision=287000 #constraints=23215
737.60/737.99	c nbDecision=287500 #constraints=23233
739.10/739.44	c nbDecision=288000 #constraints=23253
740.80/741.16	c nbDecision=288500 #constraints=23296
742.60/742.95	c nbDecision=289000 #constraints=23326
744.60/744.93	c nbDecision=289500 #constraints=23364
747.00/747.36	c nbDecision=290000 #constraints=23422
748.80/749.12	c nbDecision=290500 #constraints=23443
750.70/751.06	c nbDecision=291000 #constraints=23478
752.29/752.66	c nbDecision=291500 #constraints=23511
754.09/754.47	c nbDecision=292000 #constraints=23534
755.59/755.97	c nbDecision=292500 #constraints=23548
757.09/757.44	c nbDecision=293000 #constraints=23564
758.60/758.98	c nbDecision=293500 #constraints=23584
759.99/760.38	c nbDecision=294000 #constraints=23596
761.69/762.01	c nbDecision=294500 #constraints=23632
763.29/763.64	c nbDecision=295000 #constraints=23652
764.69/765.02	c nbDecision=295500 #constraints=23662
766.29/766.62	c nbDecision=296000 #constraints=23686
767.69/768.05	c nbDecision=296500 #constraints=23701
769.09/769.47	c nbDecision=297000 #constraints=23715
770.69/771.02	c nbDecision=297500 #constraints=23734
772.39/772.71	c nbDecision=298000 #constraints=23767
773.79/774.15	c nbDecision=298500 #constraints=23781
775.49/775.80	c nbDecision=299000 #constraints=23801
777.19/777.55	c nbDecision=299500 #constraints=23836
778.79/779.11	c nbDecision=300000 #constraints=23853
780.79/781.12	c nbDecision=300500 #constraints=23892
782.48/782.81	c nbDecision=301000 #constraints=23935
785.28/785.65	c nbDecision=301500 #constraints=23993
787.48/787.84	c nbDecision=302000 #constraints=24038
789.68/790.08	c nbDecision=302500 #constraints=24078
791.58/791.90	c nbDecision=303000 #constraints=24118
793.78/794.12	c nbDecision=303500 #constraints=24173
796.18/796.52	c nbDecision=304000 #constraints=24224
797.68/798.02	c nbDecision=304500 #constraints=24245
799.38/799.72	c nbDecision=305000 #constraints=24292
801.78/802.11	c nbDecision=305500 #constraints=24345
803.38/803.74	c nbDecision=306000 #constraints=24367
804.78/805.11	c nbDecision=306500 #constraints=24392
807.18/807.51	c nbDecision=307000 #constraints=24452
808.88/809.24	c nbDecision=307500 #constraints=24489
810.29/810.69	c nbDecision=308000 #constraints=24523
812.08/812.40	c nbDecision=308500 #constraints=24558
813.88/814.21	c nbDecision=309000 #constraints=24597
815.78/816.13	c nbDecision=309500 #constraints=24645
817.78/818.12	c nbDecision=310000 #constraints=24684
819.28/819.69	c nbDecision=310500 #constraints=24715
820.88/821.29	c nbDecision=311000 #constraints=24734
822.48/822.85	c nbDecision=311500 #constraints=24759
824.38/824.73	c nbDecision=312000 #constraints=24797
825.78/826.18	c nbDecision=312500 #constraints=24811
827.17/827.57	c nbDecision=313000 #constraints=24839
828.87/829.24	c nbDecision=313500 #constraints=24874
830.87/831.23	c nbDecision=314000 #constraints=24913
832.57/832.91	c nbDecision=314500 #constraints=24939
834.47/834.87	c nbDecision=315000 #constraints=24989
835.97/836.36	c nbDecision=315500 #constraints=25005
837.67/838.01	c nbDecision=316000 #constraints=25031
839.27/839.61	c nbDecision=316500 #constraints=25057
840.77/841.18	c nbDecision=317000 #constraints=25084
842.37/842.70	c nbDecision=317500 #constraints=25108
844.06/844.42	c nbDecision=318000 #constraints=25144
845.47/845.82	c nbDecision=318500 #constraints=25166
847.46/847.88	c nbDecision=319000 #constraints=25198
849.66/850.06	c nbDecision=319500 #constraints=25229
851.27/851.63	c nbDecision=320000 #constraints=25245
853.37/853.71	c nbDecision=320500 #constraints=25282
855.27/855.62	c nbDecision=321000 #constraints=25314
857.17/857.53	c nbDecision=321500 #constraints=25348
858.97/859.34	c nbDecision=322000 #constraints=25371
860.97/861.34	c nbDecision=322500 #constraints=25417
863.17/863.56	c nbDecision=323000 #constraints=25444
865.56/865.91	c nbDecision=323500 #constraints=25496
867.96/868.35	c nbDecision=324000 #constraints=25539
870.16/870.52	c nbDecision=324500 #constraints=25576
872.46/872.83	c nbDecision=325000 #constraints=25614
874.36/874.76	c nbDecision=325500 #constraints=25644
875.96/876.35	c nbDecision=326000 #constraints=25666
877.56/877.96	c nbDecision=326500 #constraints=25687
879.16/879.53	c nbDecision=327000 #constraints=25711
880.86/881.20	c nbDecision=327500 #constraints=25742
882.36/882.73	c nbDecision=328000 #constraints=25763
884.16/884.56	c nbDecision=328500 #constraints=25787
885.96/886.32	c nbDecision=329000 #constraints=25814
887.46/887.85	c nbDecision=329500 #constraints=25834
888.86/889.23	c nbDecision=330000 #constraints=25847
890.36/890.78	c nbDecision=330500 #constraints=25867
891.96/892.34	c nbDecision=331000 #constraints=25885
893.66/894.07	c nbDecision=331500 #constraints=25911
895.26/895.64	c nbDecision=332000 #constraints=25932
896.95/897.34	c nbDecision=332500 #constraints=25957
898.55/898.95	c nbDecision=333000 #constraints=25974
900.25/900.63	c nbDecision=333500 #constraints=25993
901.66/902.03	c nbDecision=334000 #constraints=26006
903.25/903.68	c nbDecision=334500 #constraints=26025
904.86/905.26	c nbDecision=335000 #constraints=26044
906.55/906.99	c nbDecision=335500 #constraints=26068
908.15/908.50	c nbDecision=336000 #constraints=26084
909.55/909.98	c nbDecision=336500 #constraints=26097
911.35/911.73	c nbDecision=337000 #constraints=26121
913.15/913.51	c nbDecision=337500 #constraints=26147
914.55/914.91	c nbDecision=338000 #constraints=26159
916.05/916.43	c nbDecision=338500 #constraints=26186
917.55/917.93	c nbDecision=339000 #constraints=26205
918.95/919.32	c nbDecision=339500 #constraints=26220
920.65/921.05	c nbDecision=340000 #constraints=26244
922.25/922.68	c nbDecision=340500 #constraints=26267
923.85/924.24	c nbDecision=341000 #constraints=26290
925.35/925.73	c nbDecision=341500 #constraints=26305
926.65/927.07	c nbDecision=342000 #constraints=26318
928.25/928.67	c nbDecision=342500 #constraints=26336
929.85/930.27	c nbDecision=343000 #constraints=26354
931.75/932.17	c nbDecision=343500 #constraints=26387
933.35/933.78	c nbDecision=344000 #constraints=26405
935.04/935.43	c nbDecision=344500 #constraints=26425
937.04/937.45	c nbDecision=345000 #constraints=26454
938.95/939.31	c nbDecision=345500 #constraints=26482
940.64/941.08	c nbDecision=346000 #constraints=26501
942.35/942.74	c nbDecision=346500 #constraints=26518
943.94/944.36	c nbDecision=347000 #constraints=26541
945.64/946.01	c nbDecision=347500 #constraints=26568
947.14/947.58	c nbDecision=348000 #constraints=26591
948.75/949.18	c nbDecision=348500 #constraints=26617
950.54/950.91	c nbDecision=349000 #constraints=26642
952.25/952.63	c nbDecision=349500 #constraints=26667
953.64/954.09	c nbDecision=350000 #constraints=26684
955.64/956.07	c nbDecision=350500 #constraints=26708
957.74/958.13	c nbDecision=351000 #constraints=26740
959.74/960.11	c nbDecision=351500 #constraints=26783
962.24/962.68	c nbDecision=352000 #constraints=26820
964.74/965.11	c nbDecision=352500 #constraints=26855
967.93/968.34	c nbDecision=353000 #constraints=26906
969.63/970.02	c nbDecision=353500 #constraints=26924
971.83/972.30	c nbDecision=354000 #constraints=26966
973.53/973.95	c nbDecision=354500 #constraints=26989
975.64/976.00	c nbDecision=355000 #constraints=27029
977.74/978.18	c nbDecision=355500 #constraints=27064
980.64/981.08	c nbDecision=356000 #constraints=27109
983.34/983.72	c nbDecision=356500 #constraints=27179
985.14/985.59	c nbDecision=357000 #constraints=27219
988.13/988.59	c nbDecision=357500 #constraints=27268
990.43/990.87	c nbDecision=358000 #constraints=27304
992.53/992.97	c nbDecision=358500 #constraints=27345
994.63/995.01	c nbDecision=359000 #constraints=27379
996.33/996.71	c nbDecision=359500 #constraints=27423
998.63/999.01	c nbDecision=360000 #constraints=27478
1001.12/1001.52	c nbDecision=360500 #constraints=27516
1002.63/1003.06	c nbDecision=361000 #constraints=27562
1004.94/1005.38	c nbDecision=361500 #constraints=27619
1007.83/1008.29	c nbDecision=362000 #constraints=27665
1010.33/1010.70	c nbDecision=362500 #constraints=27699
1012.13/1012.50	c nbDecision=363000 #constraints=27719
1013.83/1014.29	c nbDecision=363500 #constraints=27740
1015.63/1016.03	c nbDecision=364000 #constraints=27765
1017.33/1017.75	c nbDecision=364500 #constraints=27796
1019.13/1019.57	c nbDecision=365000 #constraints=27818
1020.92/1021.36	c nbDecision=365500 #constraints=27839
1022.63/1023.08	c nbDecision=366000 #constraints=27856
1024.12/1024.58	c nbDecision=366500 #constraints=27872
1025.83/1026.25	c nbDecision=367000 #constraints=27888
1028.03/1028.48	c nbDecision=367500 #constraints=27930
1029.62/1030.08	c nbDecision=368000 #constraints=27946
1031.62/1032.09	c nbDecision=368500 #constraints=27977
1033.22/1033.68	c nbDecision=369000 #constraints=27997
1034.82/1035.24	c nbDecision=369500 #constraints=28014
1036.72/1037.17	c nbDecision=370000 #constraints=28046
1038.42/1038.86	c nbDecision=370500 #constraints=28062
1040.12/1040.55	c nbDecision=371000 #constraints=28078
1042.42/1042.85	c nbDecision=371500 #constraints=28112
1044.53/1044.93	c nbDecision=372000 #constraints=28132
1046.73/1047.14	c nbDecision=372500 #constraints=28165
1049.12/1049.56	c nbDecision=373000 #constraints=28202
1050.92/1051.36	c nbDecision=373500 #constraints=28226
1052.42/1052.86	c nbDecision=374000 #constraints=28240
1054.02/1054.46	c nbDecision=374500 #constraints=28275
1056.72/1057.11	c nbDecision=375000 #constraints=28315
1059.32/1059.74	c nbDecision=375500 #constraints=28362
1061.91/1062.39	c nbDecision=376000 #constraints=28401
1064.21/1064.62	c nbDecision=376500 #constraints=28437
1066.11/1066.58	c nbDecision=377000 #constraints=28484
1068.91/1069.35	c nbDecision=377500 #constraints=28537
1071.21/1071.65	c nbDecision=378000 #constraints=28595
1073.31/1073.79	c nbDecision=378500 #constraints=28638
1075.00/1075.47	c nbDecision=379000 #constraints=28663
1077.41/1077.86	c nbDecision=379500 #constraints=28702
1079.91/1080.38	c nbDecision=380000 #constraints=28767
1082.31/1082.76	c nbDecision=380500 #constraints=28804
1084.61/1085.00	c nbDecision=381000 #constraints=28838
1086.91/1087.36	c nbDecision=381500 #constraints=28870
1089.11/1089.53	c nbDecision=382000 #constraints=28912
1091.71/1092.10	c nbDecision=382500 #constraints=28947
1093.90/1094.33	c nbDecision=383000 #constraints=28982
1095.50/1095.95	c nbDecision=383500 #constraints=28996
1098.00/1098.42	c nbDecision=384000 #constraints=29049
1100.30/1100.79	c nbDecision=384500 #constraints=29081
1102.80/1103.21	c nbDecision=385000 #constraints=29114
1105.00/1105.50	c nbDecision=385500 #constraints=29132
1108.30/1108.77	c nbDecision=386000 #constraints=29198
1110.10/1110.50	c nbDecision=386500 #constraints=29225
1112.49/1112.93	c nbDecision=387000 #constraints=29285
1114.69/1115.15	c nbDecision=387500 #constraints=29331
1116.40/1116.83	c nbDecision=388000 #constraints=29360
1118.50/1118.90	c nbDecision=388500 #constraints=29382
1120.60/1121.03	c nbDecision=389000 #constraints=29407
1122.40/1122.86	c nbDecision=389500 #constraints=29430
1124.30/1124.79	c nbDecision=390000 #constraints=29458
1126.20/1126.60	c nbDecision=390500 #constraints=29494
1127.50/1127.98	c nbDecision=391000 #constraints=29507
1129.40/1129.83	c nbDecision=391500 #constraints=29543
1131.40/1131.87	c nbDecision=392000 #constraints=29563
1133.49/1133.98	c nbDecision=392500 #constraints=29586
1135.89/1136.39	c nbDecision=393000 #constraints=29619
1137.89/1138.32	c nbDecision=393500 #constraints=29640
1140.30/1140.72	c nbDecision=394000 #constraints=29682
1142.29/1142.74	c nbDecision=394500 #constraints=29706
1143.99/1144.47	c nbDecision=395000 #constraints=29727
1146.09/1146.50	c nbDecision=395500 #constraints=29752
1147.89/1148.38	c nbDecision=396000 #constraints=29771
1149.49/1149.99	c nbDecision=396500 #constraints=29789
1151.39/1151.85	c nbDecision=397000 #constraints=29810
1152.99/1153.44	c nbDecision=397500 #constraints=29825
1154.79/1155.28	c nbDecision=398000 #constraints=29851
1157.59/1158.05	c nbDecision=398500 #constraints=29895
1160.09/1160.54	c nbDecision=399000 #constraints=29928
1161.88/1162.38	c nbDecision=399500 #constraints=29947
1163.58/1164.00	c nbDecision=400000 #constraints=29967
1165.28/1165.77	c nbDecision=400500 #constraints=29990
1166.98/1167.42	c nbDecision=401000 #constraints=30006
1168.58/1169.05	c nbDecision=401500 #constraints=30024
1170.08/1170.57	c nbDecision=402000 #constraints=30044
1172.08/1172.50	c nbDecision=402500 #constraints=30064
1174.58/1175.03	c nbDecision=403000 #constraints=30097
1176.48/1176.94	c nbDecision=403500 #constraints=30125
1178.28/1178.74	c nbDecision=404000 #constraints=30142
1180.18/1180.60	c nbDecision=404500 #constraints=30162
1181.57/1182.04	c nbDecision=405000 #constraints=30172
1183.37/1183.88	c nbDecision=405500 #constraints=30200
1185.28/1185.78	c nbDecision=406000 #constraints=30229
1186.97/1187.42	c nbDecision=406500 #constraints=30241
1188.58/1189.03	c nbDecision=407000 #constraints=30260
1190.07/1190.60	c nbDecision=407500 #constraints=30273
1192.08/1192.53	c nbDecision=408000 #constraints=30295
1193.68/1194.16	c nbDecision=408500 #constraints=30309
1195.38/1195.88	c nbDecision=409000 #constraints=30324
1197.08/1197.58	c nbDecision=409500 #constraints=30342
1197.48/1197.94	c restart after 409601 decisions
1198.48/1198.98	c nbDecision=410000 #constraints=30348
1201.18/1201.60	c nbDecision=410500 #constraints=30382
1203.87/1204.33	c nbDecision=411000 #constraints=30423
1206.67/1207.13	c nbDecision=411500 #constraints=30459
1208.77/1209.29	c nbDecision=412000 #constraints=30483
1211.37/1211.88	c nbDecision=412500 #constraints=30522
1213.47/1213.95	c nbDecision=413000 #constraints=30543
1216.07/1216.58	c nbDecision=413500 #constraints=30577
1218.07/1218.52	c nbDecision=414000 #constraints=30609
1220.57/1221.05	c nbDecision=414500 #constraints=30636
1223.06/1223.50	c nbDecision=415000 #constraints=30671
1225.26/1225.73	c nbDecision=415500 #constraints=30697
1226.96/1227.49	c nbDecision=416000 #constraints=30717
1228.47/1228.99	c nbDecision=416500 #constraints=30728
1230.17/1230.67	c nbDecision=417000 #constraints=30744
1231.97/1232.41	c nbDecision=417500 #constraints=30765
1233.56/1234.09	c nbDecision=418000 #constraints=30779
1236.66/1237.13	c nbDecision=418500 #constraints=30828
1239.46/1239.94	c nbDecision=419000 #constraints=30877
1242.36/1242.84	c nbDecision=419500 #constraints=30927
1244.86/1245.36	c nbDecision=420000 #constraints=30963
1246.76/1247.25	c nbDecision=420500 #constraints=30981
1248.86/1249.37	c nbDecision=421000 #constraints=31008
1251.16/1251.63	c nbDecision=421500 #constraints=31044
1253.75/1254.25	c nbDecision=422000 #constraints=31083
1255.77/1256.20	c nbDecision=422500 #constraints=31110
1257.46/1257.99	c nbDecision=423000 #constraints=31138
1259.26/1259.79	c nbDecision=423500 #constraints=31162
1260.76/1261.24	c nbDecision=424000 #constraints=31174
1262.36/1262.89	c nbDecision=424500 #constraints=31194
1264.06/1264.59	c nbDecision=425000 #constraints=31214
1265.76/1266.28	c nbDecision=425500 #constraints=31233
1268.06/1268.52	c nbDecision=426000 #constraints=31265
1270.16/1270.65	c nbDecision=426500 #constraints=31293
1272.16/1272.62	c nbDecision=427000 #constraints=31324
1274.25/1274.78	c nbDecision=427500 #constraints=31351
1276.15/1276.61	c nbDecision=428000 #constraints=31368
1277.95/1278.46	c nbDecision=428500 #constraints=31386
1279.96/1280.49	c nbDecision=429000 #constraints=31421
1281.95/1282.49	c nbDecision=429500 #constraints=31441
1283.75/1284.24	c nbDecision=430000 #constraints=31468
1285.65/1286.12	c nbDecision=430500 #constraints=31489
1288.35/1288.86	c nbDecision=431000 #constraints=31534
1290.24/1290.75	c nbDecision=431500 #constraints=31560
1292.54/1293.03	c nbDecision=432000 #constraints=31592
1294.64/1295.18	c nbDecision=432500 #constraints=31618
1296.14/1296.68	c nbDecision=433000 #constraints=31629
1298.35/1298.86	c nbDecision=433500 #constraints=31662
1299.95/1300.45	c nbDecision=434000 #constraints=31675
1301.95/1302.44	c nbDecision=434500 #constraints=31698
1303.65/1304.19	c nbDecision=435000 #constraints=31714
1305.65/1306.12	c nbDecision=435500 #constraints=31735
1307.15/1307.60	c nbDecision=436000 #constraints=31746
1309.45/1309.96	c nbDecision=436500 #constraints=31775
1311.14/1311.66	c nbDecision=437000 #constraints=31793
1312.85/1313.38	c nbDecision=437500 #constraints=31809
1314.74/1315.26	c nbDecision=438000 #constraints=31835
1316.54/1317.04	c nbDecision=438500 #constraints=31860
1318.34/1318.81	c nbDecision=439000 #constraints=31883
1319.94/1320.44	c nbDecision=439500 #constraints=31907
1321.64/1322.12	c nbDecision=440000 #constraints=31921
1323.44/1323.95	c nbDecision=440500 #constraints=31938
1325.24/1325.78	c nbDecision=441000 #constraints=31956
1327.34/1327.80	c nbDecision=441500 #constraints=31978
1329.94/1330.41	c nbDecision=442000 #constraints=32027
1331.93/1332.42	c nbDecision=442500 #constraints=32058
1333.84/1334.31	c nbDecision=443000 #constraints=32083
1336.13/1336.66	c nbDecision=443500 #constraints=32118
1338.24/1338.79	c nbDecision=444000 #constraints=32147
1340.13/1340.66	c nbDecision=444500 #constraints=32170
1342.23/1342.70	c nbDecision=445000 #constraints=32201
1344.03/1344.53	c nbDecision=445500 #constraints=32222
1345.63/1346.18	c nbDecision=446000 #constraints=32236
1347.63/1348.10	c nbDecision=446500 #constraints=32260
1349.33/1349.90	c nbDecision=447000 #constraints=32283
1351.44/1351.92	c nbDecision=447500 #constraints=32317
1353.93/1354.43	c nbDecision=448000 #constraints=32345
1356.13/1356.64	c nbDecision=448500 #constraints=32367
1358.53/1359.00	c nbDecision=449000 #constraints=32394
1360.83/1361.34	c nbDecision=449500 #constraints=32428
1362.72/1363.27	c nbDecision=450000 #constraints=32447
1365.03/1365.58	c nbDecision=450500 #constraints=32478
1366.63/1367.11	c nbDecision=451000 #constraints=32488
1368.63/1369.19	c nbDecision=451500 #constraints=32512
1370.93/1371.49	c nbDecision=452000 #constraints=32540
1372.73/1373.26	c nbDecision=452500 #constraints=32555
1374.53/1375.05	c nbDecision=453000 #constraints=32573
1376.72/1377.26	c nbDecision=453500 #constraints=32600
1379.02/1379.57	c nbDecision=454000 #constraints=32625
1381.02/1381.51	c nbDecision=454500 #constraints=32645
1382.92/1383.46	c nbDecision=455000 #constraints=32669
1385.32/1385.81	c nbDecision=455500 #constraints=32712
1386.83/1387.40	c nbDecision=456000 #constraints=32728
1388.92/1389.43	c nbDecision=456500 #constraints=32748
1391.12/1391.63	c nbDecision=457000 #constraints=32770
1393.13/1393.61	c nbDecision=457500 #constraints=32790
1394.92/1395.48	c nbDecision=458000 #constraints=32810
1397.32/1397.82	c nbDecision=458500 #constraints=32838
1399.42/1399.99	c nbDecision=459000 #constraints=32873
1401.42/1401.97	c nbDecision=459500 #constraints=32890
1403.22/1403.70	c nbDecision=460000 #constraints=32906
1404.92/1405.42	c nbDecision=460500 #constraints=32930
1406.91/1407.40	c nbDecision=461000 #constraints=32946
1408.41/1409.00	c nbDecision=461500 #constraints=32957
1410.31/1410.80	c nbDecision=462000 #constraints=32973
1412.01/1412.59	c nbDecision=462500 #constraints=32992
1413.41/1413.96	c nbDecision=463000 #constraints=33000
1415.31/1415.82	c nbDecision=463500 #constraints=33017
1416.81/1417.32	c nbDecision=464000 #constraints=33028
1418.71/1419.20	c nbDecision=464500 #constraints=33051
1420.51/1421.10	c nbDecision=465000 #constraints=33066
1422.62/1423.12	c nbDecision=465500 #constraints=33087
1424.41/1424.91	c nbDecision=466000 #constraints=33103
1426.71/1427.28	c nbDecision=466500 #constraints=33129
1428.91/1429.47	c nbDecision=467000 #constraints=33166
1430.62/1431.20	c nbDecision=467500 #constraints=33183
1432.51/1433.06	c nbDecision=468000 #constraints=33212
1434.21/1434.78	c nbDecision=468500 #constraints=33229
1435.91/1436.48	c nbDecision=469000 #constraints=33242
1437.81/1438.31	c nbDecision=469500 #constraints=33259
1439.61/1440.14	c nbDecision=470000 #constraints=33275
1441.61/1442.16	c nbDecision=470500 #constraints=33304
1443.71/1444.21	c nbDecision=471000 #constraints=33323
1445.60/1446.18	c nbDecision=471500 #constraints=33341
1447.50/1448.04	c nbDecision=472000 #constraints=33362
1449.31/1449.90	c nbDecision=472500 #constraints=33378
1451.30/1451.81	c nbDecision=473000 #constraints=33408
1452.90/1453.48	c nbDecision=473500 #constraints=33421
1454.90/1455.47	c nbDecision=474000 #constraints=33442
1456.70/1457.26	c nbDecision=474500 #constraints=33458
1458.70/1459.28	c nbDecision=475000 #constraints=33483
1461.10/1461.68	c nbDecision=475500 #constraints=33511
1463.00/1463.53	c nbDecision=476000 #constraints=33534
1464.90/1465.45	c nbDecision=476500 #constraints=33557
1466.60/1467.15	c nbDecision=477000 #constraints=33570
1468.50/1469.01	c nbDecision=477500 #constraints=33583
1470.60/1471.16	c nbDecision=478000 #constraints=33602
1472.40/1472.99	c nbDecision=478500 #constraints=33618
1474.29/1474.88	c nbDecision=479000 #constraints=33635
1475.89/1476.46	c nbDecision=479500 #constraints=33652
1477.39/1477.95	c nbDecision=480000 #constraints=33662
1479.39/1479.90	c nbDecision=480500 #constraints=33686
1480.79/1481.34	c nbDecision=481000 #constraints=33696
1482.79/1483.32	c nbDecision=481500 #constraints=33722
1484.69/1485.29	c nbDecision=482000 #constraints=33757
1487.49/1488.08	c nbDecision=482500 #constraints=33784
1489.59/1490.17	c nbDecision=483000 #constraints=33802
1491.69/1492.27	c nbDecision=483500 #constraints=33822
1494.69/1495.23	c nbDecision=484000 #constraints=33860
1496.99/1497.59	c nbDecision=484500 #constraints=33894
1498.99/1499.58	c nbDecision=485000 #constraints=33911
1501.49/1502.03	c nbDecision=485500 #constraints=33938
1503.99/1504.56	c nbDecision=486000 #constraints=33975
1505.99/1506.54	c nbDecision=486500 #constraints=33995
1508.49/1509.05	c nbDecision=487000 #constraints=34022
1510.69/1511.27	c nbDecision=487500 #constraints=34055
1512.69/1513.21	c nbDecision=488000 #constraints=34072
1514.88/1515.44	c nbDecision=488500 #constraints=34101
1516.98/1517.57	c nbDecision=489000 #constraints=34123
1519.28/1519.86	c nbDecision=489500 #constraints=34156
1521.79/1522.34	c nbDecision=490000 #constraints=34189
1524.28/1524.82	c nbDecision=490500 #constraints=34217
1526.68/1527.23	c nbDecision=491000 #constraints=34241
1528.78/1529.35	c nbDecision=491500 #constraints=34261
1530.88/1531.43	c nbDecision=492000 #constraints=34282
1532.98/1533.53	c nbDecision=492500 #constraints=34310
1534.78/1535.35	c nbDecision=493000 #constraints=34331
1536.48/1537.06	c nbDecision=493500 #constraints=34353
1538.28/1538.84	c nbDecision=494000 #constraints=34370
1540.07/1540.70	c nbDecision=494500 #constraints=34392
1542.37/1542.97	c nbDecision=495000 #constraints=34415
1545.17/1545.71	c nbDecision=495500 #constraints=34449
1547.18/1547.74	c nbDecision=496000 #constraints=34468
1549.17/1549.77	c nbDecision=496500 #constraints=34487
1551.08/1551.64	c nbDecision=497000 #constraints=34503
1552.98/1553.55	c nbDecision=497500 #constraints=34523
1555.08/1555.68	c nbDecision=498000 #constraints=34556
1557.08/1557.65	c nbDecision=498500 #constraints=34575
1559.18/1559.75	c nbDecision=499000 #constraints=34593
1561.18/1561.74	c nbDecision=499500 #constraints=34610
1562.97/1563.53	c nbDecision=500000 #constraints=34631
1565.07/1565.65	c nbDecision=500500 #constraints=34655
1567.17/1567.77	c nbDecision=501000 #constraints=34672
1569.27/1569.86	c nbDecision=501500 #constraints=34694
1570.87/1571.47	c nbDecision=502000 #constraints=34707
1572.47/1573.08	c nbDecision=502500 #constraints=34718
1574.07/1574.62	c nbDecision=503000 #constraints=34733
1576.67/1577.27	c nbDecision=503500 #constraints=34768
1578.57/1579.15	c nbDecision=504000 #constraints=34785
1580.37/1580.92	c nbDecision=504500 #constraints=34800
1582.17/1582.72	c nbDecision=505000 #constraints=34815
1584.17/1584.76	c nbDecision=505500 #constraints=34847
1585.86/1586.46	c nbDecision=506000 #constraints=34859
1587.46/1588.08	c nbDecision=506500 #constraints=34871
1589.06/1589.67	c nbDecision=507000 #constraints=34882
1590.96/1591.58	c nbDecision=507500 #constraints=34899
1592.56/1593.14	c nbDecision=508000 #constraints=34909
1594.16/1594.79	c nbDecision=508500 #constraints=34922
1596.06/1596.60	c nbDecision=509000 #constraints=34944
1597.86/1598.41	c nbDecision=509500 #constraints=34958
1599.96/1600.54	c nbDecision=510000 #constraints=34976
1601.96/1602.56	c nbDecision=510500 #constraints=35001
1603.86/1604.41	c nbDecision=511000 #constraints=35017
1605.46/1606.04	c nbDecision=511500 #constraints=35038
1607.15/1607.76	c nbDecision=512000 #constraints=35052
1609.05/1609.61	c nbDecision=512500 #constraints=35068
1610.96/1611.57	c nbDecision=513000 #constraints=35085
1613.06/1613.62	c nbDecision=513500 #constraints=35109
1614.96/1615.54	c nbDecision=514000 #constraints=35131
1616.76/1617.39	c nbDecision=514500 #constraints=35153
1618.56/1619.19	c nbDecision=515000 #constraints=35171
1620.46/1621.03	c nbDecision=515500 #constraints=35193
1623.06/1623.64	c nbDecision=516000 #constraints=35223
1625.16/1625.73	c nbDecision=516500 #constraints=35240
1626.76/1627.36	c nbDecision=517000 #constraints=35256
1628.56/1629.16	c nbDecision=517500 #constraints=35269
1630.25/1630.88	c nbDecision=518000 #constraints=35283
1632.15/1632.78	c nbDecision=518500 #constraints=35298
1633.95/1634.57	c nbDecision=519000 #constraints=35319
1635.95/1636.54	c nbDecision=519500 #constraints=35336
1637.65/1638.21	c nbDecision=520000 #constraints=35351
1639.34/1639.93	c nbDecision=520500 #constraints=35363
1641.44/1642.02	c nbDecision=521000 #constraints=35383
1643.86/1644.44	c nbDecision=521500 #constraints=35408
1646.05/1646.67	c nbDecision=522000 #constraints=35429
1647.95/1648.54	c nbDecision=522500 #constraints=35449
1650.45/1651.04	c nbDecision=523000 #constraints=35481
1652.55/1653.19	c nbDecision=523500 #constraints=35503
1654.15/1654.75	c nbDecision=524000 #constraints=35513
1656.14/1656.74	c nbDecision=524500 #constraints=35531
1658.44/1659.06	c nbDecision=525000 #constraints=35553
1660.34/1660.96	c nbDecision=525500 #constraints=35568
1662.44/1663.00	c nbDecision=526000 #constraints=35585
1664.14/1664.74	c nbDecision=526500 #constraints=35603
1666.04/1666.61	c nbDecision=527000 #constraints=35623
1667.84/1668.47	c nbDecision=527500 #constraints=35638
1669.83/1670.41	c nbDecision=528000 #constraints=35657
1671.44/1672.08	c nbDecision=528500 #constraints=35669
1673.13/1673.73	c nbDecision=529000 #constraints=35684
1675.34/1675.97	c nbDecision=529500 #constraints=35705
1677.64/1678.22	c nbDecision=530000 #constraints=35737
1679.64/1680.23	c nbDecision=530500 #constraints=35756
1681.54/1682.13	c nbDecision=531000 #constraints=35769
1683.34/1684.00	c nbDecision=531500 #constraints=35784
1684.84/1685.49	c nbDecision=532000 #constraints=35793
1686.64/1687.24	c nbDecision=532500 #constraints=35804
1689.14/1689.75	c nbDecision=533000 #constraints=35833
1691.04/1691.63	c nbDecision=533500 #constraints=35848
1693.14/1693.77	c nbDecision=534000 #constraints=35871
1694.83/1695.47	c nbDecision=534500 #constraints=35885
1696.93/1697.50	c nbDecision=535000 #constraints=35903
1698.73/1699.36	c nbDecision=535500 #constraints=35926
1700.73/1701.34	c nbDecision=536000 #constraints=35948
1702.43/1703.08	c nbDecision=536500 #constraints=35961
1704.53/1705.15	c nbDecision=537000 #constraints=35987
1706.23/1706.85	c nbDecision=537500 #constraints=35999
1708.23/1708.89	c nbDecision=538000 #constraints=36020
1710.12/1710.79	c nbDecision=538500 #constraints=36036
1712.42/1713.00	c nbDecision=539000 #constraints=36056
1714.22/1714.90	c nbDecision=539500 #constraints=36071
1716.32/1716.93	c nbDecision=540000 #constraints=36094
1718.23/1718.83	c nbDecision=540500 #constraints=36113
1720.13/1720.75	c nbDecision=541000 #constraints=36129
1722.13/1722.76	c nbDecision=541500 #constraints=36152
1723.93/1724.55	c nbDecision=542000 #constraints=36167
1725.62/1726.29	c nbDecision=542500 #constraints=36186
1727.43/1728.04	c nbDecision=543000 #constraints=36201
1729.92/1730.52	c nbDecision=543500 #constraints=36227
1731.93/1732.58	c nbDecision=544000 #constraints=36246
1733.82/1734.42	c nbDecision=544500 #constraints=36260
1735.82/1736.40	c nbDecision=545000 #constraints=36280
1737.52/1738.16	c nbDecision=545500 #constraints=36293
1739.82/1740.46	c nbDecision=546000 #constraints=36316
1741.72/1742.33	c nbDecision=546500 #constraints=36333
1743.82/1744.46	c nbDecision=547000 #constraints=36359
1745.62/1746.20	c nbDecision=547500 #constraints=36377
1747.71/1748.32	c nbDecision=548000 #constraints=36404
1749.42/1750.07	c nbDecision=548500 #constraints=36420
1751.21/1751.85	c nbDecision=549000 #constraints=36442
1752.91/1753.58	c nbDecision=549500 #constraints=36462
1754.61/1755.28	c nbDecision=550000 #constraints=36476
1757.02/1757.60	c nbDecision=550500 #constraints=36497
1758.72/1759.33	c nbDecision=551000 #constraints=36509
1760.72/1761.36	c nbDecision=551500 #constraints=36527
1762.62/1763.24	c nbDecision=552000 #constraints=36542
1764.71/1765.34	c nbDecision=552500 #constraints=36567
1766.61/1767.23	c nbDecision=553000 #constraints=36581
1768.51/1769.11	c nbDecision=553500 #constraints=36600
1770.31/1770.96	c nbDecision=554000 #constraints=36622
1772.21/1772.80	c nbDecision=554500 #constraints=36635
1773.91/1774.56	c nbDecision=555000 #constraints=36648
1775.71/1776.36	c nbDecision=555500 #constraints=36660
1777.91/1778.53	c nbDecision=556000 #constraints=36686
1779.80/1780.49	c nbDecision=556500 #constraints=36702
1781.80/1782.41	c nbDecision=557000 #constraints=36719
1783.80/1784.47	c nbDecision=557500 #constraints=36736
1785.40/1786.02	c nbDecision=558000 #constraints=36751
1787.00/1787.70	c nbDecision=558500 #constraints=36763
1788.90/1789.57	c nbDecision=559000 #constraints=36780
1790.60/1791.24	c nbDecision=559500 #constraints=36795
1792.20/1792.84	c nbDecision=560000 #constraints=36810
1794.60/1795.21	c nbDecision=560500 #constraints=36836
1796.40/1797.02	c nbDecision=561000 #constraints=36852
1798.10/1798.75	c nbDecision=561500 #constraints=36870
1800.01/1800.61	Received signal 15
1800.01/1800.70	
1800.01/1800.70	s UNKNOWN
1800.01/1800.70	
1800.01/1800.70	c user time= 1799.5 s
1800.01/1800.70	c system time= 0.619905 s
1800.01/1800.70	c wall clock time=1800.71

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/node2/watcher-356985-1176850586 -o ROOT/results/node2/solver-356985-1176850586 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356985-1176850586/instance-356985-1176850586.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: 1.00 0.99 0.98 3/77 13146
/proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=1620 CPUtime=0
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161096396 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 405 175 126 317 0 84 0

[startup+0.0729779 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 13146
/proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=2400 CPUtime=0.07
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 511 0 0 0 7 0 0 0 18 0 1 0 161096396 2457600 395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714781 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 600 395 127 317 0 279 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2400

[startup+0.101981 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 13146
/proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=2760 CPUtime=0.09
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 596 0 0 0 9 0 0 0 18 0 1 0 161096396 2826240 480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 690 480 131 317 0 369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2760

[startup+0.302001 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 13146
/proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=6604 CPUtime=0.29
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 1549 0 0 0 29 0 0 0 19 0 1 0 161096396 6762496 1433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 1651 1434 131 317 0 1330 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6604

[startup+0.701042 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 13146
/proc/meminfo: memFree=1811896/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=15600 CPUtime=0.69
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 3805 0 0 0 68 1 0 0 23 0 1 0 161096396 15974400 3689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 3900 3689 131 317 0 3579 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15600

[startup+1.50112 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13147
/proc/meminfo: memFree=1786416/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=28056 CPUtime=1.49
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 6916 0 0 0 146 3 0 0 25 0 1 0 161096396 28729344 6800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 7014 6800 139 317 0 6693 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28056

[startup+3.10129 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13147
/proc/meminfo: memFree=1785008/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=28584 CPUtime=3.08
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 7039 0 0 0 305 3 0 0 25 0 1 0 161096396 29270016 6923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 7146 6923 139 317 0 6825 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28584

[startup+6.30162 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13147
/proc/meminfo: memFree=1782832/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=30824 CPUtime=6.29
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 7611 0 0 0 625 4 0 0 25 0 1 0 161096396 31563776 7495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 7706 7495 139 317 0 7385 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30824

[startup+12.7023 s]
/proc/loadavg: 1.00 0.99 0.98 3/78 13147
/proc/meminfo: memFree=1778800/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=34516 CPUtime=12.68
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 8544 0 0 0 1264 4 0 0 25 0 1 0 161096396 35344384 8428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 8629 8428 170 317 0 8308 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34516

[startup+25.5016 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13147
/proc/meminfo: memFree=1771760/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=41484 CPUtime=25.49
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 10295 0 0 0 2543 6 0 0 25 0 1 0 161096396 42479616 10179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 10371 10179 170 317 0 10050 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41484

[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13147
/proc/meminfo: memFree=1761584/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=51868 CPUtime=51.07
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 12899 0 0 0 5099 8 0 0 25 0 1 0 161096396 53112832 12739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 12967 12739 170 317 0 12646 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51868

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13147
/proc/meminfo: memFree=1743216/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=70448 CPUtime=102.27
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 17395 0 0 0 10215 12 0 0 25 0 1 0 161096396 72138752 17235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 17612 17235 170 317 0 17291 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70448

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13147
/proc/meminfo: memFree=1731824/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=81972 CPUtime=162.25
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 20258 0 0 0 16211 14 0 0 25 0 1 0 161096396 83939328 20098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 20493 20098 170 317 0 20172 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 81972

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13147
/proc/meminfo: memFree=1720816/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=93024 CPUtime=222.23
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 23046 0 0 0 22206 17 0 0 25 0 1 0 161096396 95256576 22800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 23256 22800 170 317 0 22935 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 93024

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/84 13219
/proc/meminfo: memFree=1711288/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=101680 CPUtime=282.18
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 25106 0 0 0 28199 19 0 0 25 0 1 0 161096396 104120320 24860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 25420 24860 170 317 0 25099 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 101680

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1703600/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=110204 CPUtime=342.1
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 27282 0 0 0 34188 22 0 0 25 0 1 0 161096396 112848896 27036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 27551 27036 170 317 0 27230 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 110204

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1695152/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=120344 CPUtime=402.08
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 29436 0 0 0 40184 24 0 0 25 0 1 0 161096396 123232256 29190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 30086 29190 170 317 0 29765 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 120344

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1685104/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=130496 CPUtime=462.06
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 31912 0 0 0 46180 26 0 0 25 0 1 0 161096396 133627904 31666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 32624 31666 170 317 0 32303 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 130496

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1677488/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=139512 CPUtime=522.05
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 33827 0 0 0 52177 28 0 0 25 0 1 0 161096396 142860288 33581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 34878 33581 170 317 0 34557 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 139512

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1670832/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=146224 CPUtime=582.04
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 35451 0 0 0 58174 30 0 0 25 0 1 0 161096396 149733376 35205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 36556 35205 170 317 0 36235 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 146224

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1665008/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=152152 CPUtime=642.02
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 36939 0 0 0 64171 31 0 0 25 0 1 0 161096396 155803648 36693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 38038 36693 170 317 0 37717 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 152152


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1640688/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=175544 CPUtime=881.96
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 43164 0 0 0 88158 38 0 0 25 0 1 0 161096396 179757056 42747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 43886 42747 170 317 0 43565 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 175544

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1635888/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=180524 CPUtime=941.94
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 44361 0 0 0 94155 39 0 0 25 0 1 0 161096396 184856576 43944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606877 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 45131 43944 170 317 0 44810 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 180524

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1628784/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=189804 CPUtime=1001.92
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 46579 0 0 0 100151 41 0 0 25 0 1 0 161096396 194359296 45700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710980 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 47451 45700 170 317 0 47130 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 189804

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1623408/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=194660 CPUtime=1061.91
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 47938 0 0 0 106148 43 0 0 25 0 1 0 161096396 199331840 47059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 48665 47059 170 317 0 48344 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 194660

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1615856/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=204080 CPUtime=1121.9
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 50226 0 0 0 112145 45 0 0 25 0 1 0 161096396 208977920 48951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 51020 48951 170 317 0 50699 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 204080

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1610288/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=211132 CPUtime=1181.87
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 51968 0 0 0 118141 46 0 0 25 0 1 0 161096396 216199168 50330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 52783 50330 170 317 0 52462 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 211132

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1604528/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=220364 CPUtime=1241.86
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 54099 0 0 0 124138 48 0 0 25 0 1 0 161096396 225652736 51768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 55091 51768 170 317 0 54770 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 220364

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1599024/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=225356 CPUtime=1301.85
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 55476 0 0 0 130135 50 0 0 25 0 1 0 161096396 230764544 53112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 56339 53112 170 317 0 56018 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 225356

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1593840/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=230504 CPUtime=1361.83
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 56900 0 0 0 136132 51 0 0 25 0 1 0 161096396 236036096 54437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 57626 54437 170 317 0 57305 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 230504

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1588848/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=235200 CPUtime=1421.81
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 58200 0 0 0 142128 53 0 0 25 0 1 0 161096396 240844800 55671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 58800 55671 170 317 0 58479 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 235200

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1584176/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=239568 CPUtime=1481.79
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 59367 0 0 0 148125 54 0 0 25 0 1 0 161096396 245317632 56838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 59892 56838 170 317 0 59571 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 239568

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1579184/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=243912 CPUtime=1541.77
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 60594 0 0 0 154122 55 0 0 25 0 1 0 161096396 249765888 58065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 60978 58065 170 317 0 60657 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 243912

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1574768/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=247972 CPUtime=1601.76
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 61738 0 0 0 160120 56 0 0 25 0 1 0 161096396 253923328 59176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 61993 59176 170 317 0 61672 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 247972

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1570480/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=251788 CPUtime=1661.74
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 62809 0 0 0 166116 58 0 0 25 0 1 0 161096396 257830912 60247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 62947 60247 170 317 0 62626 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 251788

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1566256/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=255608 CPUtime=1721.73
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 63865 0 0 0 172113 60 0 0 25 0 1 0 161096396 261742592 61303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 63902 61303 170 317 0 63581 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 255608

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1562032/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=259532 CPUtime=1781.7
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 64955 0 0 0 178109 61 0 0 25 0 1 0 161096396 265760768 62360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 64883 62360 170 317 0 64562 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 259532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1560624/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=260704 CPUtime=1800.01
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 65296 0 0 0 179940 61 0 0 25 0 1 0 161096396 266960896 62701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 65176 62701 170 317 0 64855 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 260704

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13345
/proc/meminfo: memFree=1560624/2055920 swapFree=4138452/4192956
[pid=13146] ppid=13144 vsize=260704 CPUtime=1800.11
/proc/13146/stat : 13146 (oree) R 13144 13146 12803 0 -1 4194304 65315 0 0 0 179950 61 0 0 25 0 1 0 161096396 266960896 62720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13146/statm: 65176 62720 186 317 0 64855 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 260704

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.18
CPU user time (s): 1799.52
CPU system time (s): 0.660899
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 260704

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

runsolver used 2.17067 second user time and 4.40733 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Tue Apr 17 22:56:26 UTC 2007

IDJOB= 356985
IDBENCH= 1724
IDSOLVER= 172
FILE ID= node2/356985-1176850586

PBS_JOBID= 4590199

Free space on /tmp= 66510 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  cbc7f776eebadde6a6228c5e168c70a1

RANDOM SEED= 74551361

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
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:       1812368 kB
Buffers:         31848 kB
Cached:         137300 kB
SwapCached:      22952 kB
Active:          82628 kB
Inactive:       120412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812368 kB
SwapTotal:     4192956 kB
SwapFree:      4138452 kB
Dirty:            4288 kB
Writeback:           0 kB
Mapped:          30184 kB
Slab:            25976 kB
Committed_AS:  7095636 kB
PageTables:       1860 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= 66510 MiB

End job on node2 on Tue Apr 17 23:26:29 UTC 2007