Trace number 356941

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.09 1801.25

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-grow22.opb
MD5SUM16450e6196a99d1fc33b5d9a0f64103d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables25124
Total number of constraints1320
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 constraints1320
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 1958
Biggest coefficient in the objective function 8399
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 525721
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525721
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.49/0.51	c ...done
0.49/0.51	c #vars=25124 #constraints=1761 hasObjective=yes
0.60/0.61	c res. mode=mod
0.60/0.61	c VSIDS like heuristics
0.60/0.61	c complete search running
0.90/0.99	c restart after 401 decisions
1.00/1.09	c nbDecision=500 #constraints=1761
1.30/1.38	c restart after 801 decisions
1.49/1.57	c nbDecision=1000 #constraints=1761
1.99/2.06	c nbDecision=1500 #constraints=1783
2.10/2.17	c restart after 1601 decisions
2.49/2.56	c nbDecision=2000 #constraints=1805
2.99/3.05	c nbDecision=2500 #constraints=1822
3.49/3.52	c nbDecision=3000 #constraints=1838
3.69/3.71	c restart after 3201 decisions
3.99/4.01	c nbDecision=3500 #constraints=1848
4.49/4.50	c nbDecision=4000 #constraints=1877
4.89/4.99	c nbDecision=4500 #constraints=1902
5.39/5.48	c nbDecision=5000 #constraints=1965
5.89/5.97	c nbDecision=5500 #constraints=2014
6.39/6.48	c nbDecision=6000 #constraints=2076
6.88/6.92	c restart after 6401 decisions
6.98/7.03	c nbDecision=6500 #constraints=2154
7.48/7.50	c nbDecision=7000 #constraints=2154
7.98/8.04	c nbDecision=7500 #constraints=2230
8.38/8.49	c nbDecision=8000 #constraints=2230
8.98/9.01	c nbDecision=8500 #constraints=2317
9.49/9.55	c nbDecision=9000 #constraints=2389
9.99/10.02	c nbDecision=9500 #constraints=2421
10.49/10.57	c nbDecision=10000 #constraints=2529
10.99/11.09	c nbDecision=10500 #constraints=2603
11.59/11.61	c nbDecision=11000 #constraints=2667
12.09/12.12	c nbDecision=11500 #constraints=2710
12.59/12.62	c nbDecision=12000 #constraints=2748
12.99/13.09	c nbDecision=12500 #constraints=2769
13.39/13.40	c restart after 12801 decisions
13.59/13.60	c nbDecision=13000 #constraints=2799
13.99/14.09	c nbDecision=13500 #constraints=2810
14.58/14.62	c nbDecision=14000 #constraints=2857
14.98/15.08	c nbDecision=14500 #constraints=2860
15.58/15.63	c nbDecision=15000 #constraints=2940
16.08/16.14	c nbDecision=15500 #constraints=2971
16.58/16.61	c nbDecision=16000 #constraints=2987
17.08/17.13	c nbDecision=16500 #constraints=3037
17.59/17.69	c nbDecision=17000 #constraints=3132
18.18/18.23	c nbDecision=17500 #constraints=3200
18.69/18.75	c nbDecision=18000 #constraints=3244
19.29/19.30	c nbDecision=18500 #constraints=3319
19.79/19.83	c nbDecision=19000 #constraints=3363
20.29/20.39	c nbDecision=19500 #constraints=3433
20.89/20.94	c nbDecision=20000 #constraints=3492
21.49/21.56	c nbDecision=20500 #constraints=3594
22.09/22.11	c nbDecision=21000 #constraints=3654
22.58/22.69	c nbDecision=21500 #constraints=3727
23.18/23.23	c nbDecision=22000 #constraints=3777
23.68/23.79	c nbDecision=22500 #constraints=3833
24.28/24.36	c nbDecision=23000 #constraints=3896
24.88/24.94	c nbDecision=23500 #constraints=3962
25.48/25.54	c nbDecision=24000 #constraints=4059
26.08/26.14	c nbDecision=24500 #constraints=4137
26.58/26.69	c nbDecision=25000 #constraints=4183
27.18/27.26	c nbDecision=25500 #constraints=4241
27.28/27.36	c restart after 25601 decisions
27.68/27.78	c nbDecision=26000 #constraints=4248
28.28/28.34	c nbDecision=26500 #constraints=4293
28.78/28.84	c nbDecision=27000 #constraints=4322
29.29/29.39	c nbDecision=27500 #constraints=4372
30.08/30.10	c nbDecision=28000 #constraints=4501
30.58/30.69	c nbDecision=28500 #constraints=4564
31.18/31.28	c nbDecision=29000 #constraints=4624
31.78/31.90	c nbDecision=29500 #constraints=4682
32.48/32.58	c nbDecision=30000 #constraints=4754
33.17/33.29	c nbDecision=30500 #constraints=4865
33.87/33.95	c nbDecision=31000 #constraints=4919
34.57/34.61	c nbDecision=31500 #constraints=4983
35.16/35.26	c nbDecision=32000 #constraints=5031
35.76/35.85	c nbDecision=32500 #constraints=5050
36.45/36.52	c nbDecision=33000 #constraints=5117
37.05/37.17	c nbDecision=33500 #constraints=5166
37.65/37.77	c nbDecision=34000 #constraints=5196
38.45/38.53	c nbDecision=34500 #constraints=5314
39.15/39.28	c nbDecision=35000 #constraints=5410
39.95/40.03	c nbDecision=35500 #constraints=5513
40.56/40.61	c nbDecision=36000 #constraints=5534
41.15/41.25	c nbDecision=36500 #constraints=5584
41.76/41.89	c nbDecision=37000 #constraints=5634
42.35/42.49	c nbDecision=37500 #constraints=5661
43.15/43.25	c nbDecision=38000 #constraints=5747
43.86/43.98	c nbDecision=38500 #constraints=5812
44.55/44.63	c nbDecision=39000 #constraints=5854
45.15/45.28	c nbDecision=39500 #constraints=5919
45.85/45.92	c nbDecision=40000 #constraints=5960
46.55/46.61	c nbDecision=40500 #constraints=6019
47.15/47.22	c nbDecision=41000 #constraints=6048
47.85/47.91	c nbDecision=41500 #constraints=6112
48.45/48.52	c nbDecision=42000 #constraints=6132
49.05/49.15	c nbDecision=42500 #constraints=6169
49.75/49.81	c nbDecision=43000 #constraints=6219
50.45/50.54	c nbDecision=43500 #constraints=6299
51.05/51.17	c nbDecision=44000 #constraints=6333
51.75/51.84	c nbDecision=44500 #constraints=6382
52.44/52.52	c nbDecision=45000 #constraints=6428
53.04/53.17	c nbDecision=45500 #constraints=6468
53.75/53.88	c nbDecision=46000 #constraints=6528
54.44/54.56	c nbDecision=46500 #constraints=6560
55.14/55.27	c nbDecision=47000 #constraints=6615
55.85/55.99	c nbDecision=47500 #constraints=6659
56.75/56.81	c nbDecision=48000 #constraints=6753
57.45/57.51	c nbDecision=48500 #constraints=6796
58.05/58.17	c nbDecision=49000 #constraints=6833
58.75/58.87	c nbDecision=49500 #constraints=6874
59.45/59.54	c nbDecision=50000 #constraints=6908
60.15/60.24	c nbDecision=50500 #constraints=6959
60.95/61.08	c nbDecision=51000 #constraints=7028
61.24/61.36	c restart after 51201 decisions
61.64/61.73	c nbDecision=51500 #constraints=7048
62.14/62.25	c nbDecision=52000 #constraints=7062
62.74/62.80	c nbDecision=52500 #constraints=7093
63.34/63.41	c nbDecision=53000 #constraints=7130
64.14/64.24	c nbDecision=53500 #constraints=7211
64.94/65.01	c nbDecision=54000 #constraints=7289
65.64/65.74	c nbDecision=54500 #constraints=7348
66.44/66.54	c nbDecision=55000 #constraints=7441
67.14/67.23	c nbDecision=55500 #constraints=7470
67.94/68.05	c nbDecision=56000 #constraints=7556
68.74/68.81	c nbDecision=56500 #constraints=7627
69.54/69.63	c nbDecision=57000 #constraints=7711
70.45/70.58	c nbDecision=57500 #constraints=7809
71.25/71.33	c nbDecision=58000 #constraints=7877
71.94/72.08	c nbDecision=58500 #constraints=7928
72.84/72.90	c nbDecision=59000 #constraints=7991
73.44/73.59	c nbDecision=59500 #constraints=8026
74.34/74.49	c nbDecision=60000 #constraints=8138
75.24/75.30	c nbDecision=60500 #constraints=8195
76.04/76.11	c nbDecision=61000 #constraints=8238
77.03/77.13	c nbDecision=61500 #constraints=8317
77.93/78.04	c nbDecision=62000 #constraints=8394
78.73/78.82	c nbDecision=62500 #constraints=8437
79.53/79.69	c nbDecision=63000 #constraints=8522
80.33/80.49	c nbDecision=63500 #constraints=8566
81.24/81.36	c nbDecision=64000 #constraints=8634
82.13/82.24	c nbDecision=64500 #constraints=8698
82.93/83.03	c nbDecision=65000 #constraints=8735
83.73/83.85	c nbDecision=65500 #constraints=8777
84.63/84.71	c nbDecision=66000 #constraints=8820
85.53/85.69	c nbDecision=66500 #constraints=8901
86.53/86.60	c nbDecision=67000 #constraints=8967
87.43/87.50	c nbDecision=67500 #constraints=9017
88.13/88.24	c nbDecision=68000 #constraints=9031
88.93/89.06	c nbDecision=68500 #constraints=9078
89.83/89.92	c nbDecision=69000 #constraints=9123
90.73/90.82	c nbDecision=69500 #constraints=9185
91.73/91.80	c nbDecision=70000 #constraints=9266
92.73/92.88	c nbDecision=70500 #constraints=9346
93.73/93.83	c nbDecision=71000 #constraints=9412
94.53/94.61	c nbDecision=71500 #constraints=9430
95.43/95.50	c nbDecision=72000 #constraints=9486
96.32/96.43	c nbDecision=72500 #constraints=9540
97.22/97.37	c nbDecision=73000 #constraints=9595
98.22/98.39	c nbDecision=73500 #constraints=9651
99.22/99.32	c nbDecision=74000 #constraints=9697
100.02/100.10	c nbDecision=74500 #constraints=9714
100.92/101.02	c nbDecision=75000 #constraints=9765
101.92/102.07	c nbDecision=75500 #constraints=9838
102.82/102.92	c nbDecision=76000 #constraints=9881
103.72/103.83	c nbDecision=76500 #constraints=9921
104.62/104.70	c nbDecision=77000 #constraints=9963
105.52/105.64	c nbDecision=77500 #constraints=10016
106.53/106.61	c nbDecision=78000 #constraints=10070
107.33/107.41	c nbDecision=78500 #constraints=10090
108.23/108.30	c nbDecision=79000 #constraints=10132
109.03/109.17	c nbDecision=79500 #constraints=10143
110.03/110.18	c nbDecision=80000 #constraints=10209
110.93/111.04	c nbDecision=80500 #constraints=10229
111.83/111.99	c nbDecision=81000 #constraints=10267
112.72/112.88	c nbDecision=81500 #constraints=10306
113.72/113.88	c nbDecision=82000 #constraints=10358
114.72/114.82	c nbDecision=82500 #constraints=10403
115.62/115.79	c nbDecision=83000 #constraints=10450
116.53/116.68	c nbDecision=83500 #constraints=10486
117.53/117.61	c nbDecision=84000 #constraints=10530
118.52/118.65	c nbDecision=84500 #constraints=10580
119.42/119.57	c nbDecision=85000 #constraints=10613
120.42/120.54	c nbDecision=85500 #constraints=10659
121.42/121.53	c nbDecision=86000 #constraints=10698
122.31/122.41	c nbDecision=86500 #constraints=10715
123.31/123.42	c nbDecision=87000 #constraints=10767
124.12/124.28	c nbDecision=87500 #constraints=10785
125.01/125.12	c nbDecision=88000 #constraints=10807
126.01/126.10	c nbDecision=88500 #constraints=10848
127.21/127.39	c nbDecision=89000 #constraints=10939
128.21/128.35	c nbDecision=89500 #constraints=10976
129.01/129.19	c nbDecision=90000 #constraints=10991
130.01/130.17	c nbDecision=90500 #constraints=11026
131.11/131.23	c nbDecision=91000 #constraints=11085
131.92/132.08	c nbDecision=91500 #constraints=11102
132.81/132.99	c nbDecision=92000 #constraints=11140
133.71/133.86	c nbDecision=92500 #constraints=11157
134.71/134.83	c nbDecision=93000 #constraints=11207
135.71/135.88	c nbDecision=93500 #constraints=11274
136.71/136.83	c nbDecision=94000 #constraints=11290
137.61/137.75	c nbDecision=94500 #constraints=11319
138.71/138.87	c nbDecision=95000 #constraints=11379
139.71/139.87	c nbDecision=95500 #constraints=11425
140.71/140.83	c nbDecision=96000 #constraints=11462
141.61/141.73	c nbDecision=96500 #constraints=11481
142.61/142.74	c nbDecision=97000 #constraints=11499
143.71/143.87	c nbDecision=97500 #constraints=11542
144.70/144.89	c nbDecision=98000 #constraints=11583
145.60/145.78	c nbDecision=98500 #constraints=11600
146.50/146.67	c nbDecision=99000 #constraints=11615
147.50/147.63	c nbDecision=99500 #constraints=11657
148.50/148.66	c nbDecision=100000 #constraints=11681
149.51/149.63	c nbDecision=100500 #constraints=11707
150.51/150.67	c nbDecision=101000 #constraints=11747
151.50/151.68	c nbDecision=101500 #constraints=11776
152.50/152.60	c nbDecision=102000 #constraints=11794
153.20/153.33	c restart after 102401 decisions
153.40/153.59	c nbDecision=102500 #constraints=11803
154.00/154.11	c nbDecision=103000 #constraints=11803
154.60/154.77	c nbDecision=103500 #constraints=11850
155.20/155.34	c nbDecision=104000 #constraints=11861
156.51/156.60	c nbDecision=104500 #constraints=11947
157.81/157.99	c nbDecision=105000 #constraints=12032
159.41/159.59	c nbDecision=105500 #constraints=12147
160.51/160.67	c nbDecision=106000 #constraints=12203
161.80/161.90	c nbDecision=106500 #constraints=12301
163.50/163.63	c nbDecision=107000 #constraints=12441
164.60/164.78	c nbDecision=107500 #constraints=12503
166.20/166.36	c nbDecision=108000 #constraints=12595
167.49/167.65	c nbDecision=108500 #constraints=12646
169.09/169.27	c nbDecision=109000 #constraints=12744
170.39/170.54	c nbDecision=109500 #constraints=12814
171.78/171.92	c nbDecision=110000 #constraints=12879
172.98/173.14	c nbDecision=110500 #constraints=12932
174.08/174.29	c nbDecision=111000 #constraints=12981
175.38/175.57	c nbDecision=111500 #constraints=13043
176.38/176.59	c nbDecision=112000 #constraints=13056
177.48/177.64	c nbDecision=112500 #constraints=13085
178.58/178.71	c nbDecision=113000 #constraints=13112
179.68/179.87	c nbDecision=113500 #constraints=13153
181.09/181.20	c nbDecision=114000 #constraints=13231
182.39/182.56	c nbDecision=114500 #constraints=13290
183.99/184.13	c nbDecision=115000 #constraints=13380
185.29/185.48	c nbDecision=115500 #constraints=13435
186.49/186.61	c nbDecision=116000 #constraints=13464
187.78/187.93	c nbDecision=116500 #constraints=13518
188.88/189.06	c nbDecision=117000 #constraints=13552
190.48/190.63	c nbDecision=117500 #constraints=13623
192.39/192.52	c nbDecision=118000 #constraints=13723
193.68/193.85	c nbDecision=118500 #constraints=13770
194.98/195.13	c nbDecision=119000 #constraints=13817
196.58/196.70	c nbDecision=119500 #constraints=13902
197.68/197.88	c nbDecision=120000 #constraints=13934
198.88/199.09	c nbDecision=120500 #constraints=13994
200.08/200.27	c nbDecision=121000 #constraints=14032
201.38/201.50	c nbDecision=121500 #constraints=14078
202.78/202.92	c nbDecision=122000 #constraints=14129
204.07/204.25	c nbDecision=122500 #constraints=14160
205.17/205.35	c nbDecision=123000 #constraints=14179
206.37/206.58	c nbDecision=123500 #constraints=14229
207.47/207.68	c nbDecision=124000 #constraints=14250
208.67/208.86	c nbDecision=124500 #constraints=14290
210.27/210.47	c nbDecision=125000 #constraints=14378
211.57/211.79	c nbDecision=125500 #constraints=14430
212.86/213.00	c nbDecision=126000 #constraints=14482
214.06/214.24	c nbDecision=126500 #constraints=14520
215.26/215.47	c nbDecision=127000 #constraints=14548
216.97/217.10	c nbDecision=127500 #constraints=14624
218.17/218.39	c nbDecision=128000 #constraints=14664
219.56/219.73	c nbDecision=128500 #constraints=14728
220.66/220.86	c nbDecision=129000 #constraints=14752
222.07/222.26	c nbDecision=129500 #constraints=14789
223.26/223.42	c nbDecision=130000 #constraints=14809
224.56/224.72	c nbDecision=130500 #constraints=14845
225.96/226.10	c nbDecision=131000 #constraints=14894
227.26/227.48	c nbDecision=131500 #constraints=14925
228.46/228.66	c nbDecision=132000 #constraints=14942
229.86/230.05	c nbDecision=132500 #constraints=14986
230.96/231.17	c nbDecision=133000 #constraints=15001
232.16/232.38	c nbDecision=133500 #constraints=15031
233.56/233.75	c nbDecision=134000 #constraints=15057
234.96/235.13	c nbDecision=134500 #constraints=15097
236.16/236.31	c nbDecision=135000 #constraints=15120
237.25/237.49	c nbDecision=135500 #constraints=15138
238.35/238.58	c nbDecision=136000 #constraints=15146
239.66/239.88	c nbDecision=136500 #constraints=15188
241.05/241.29	c nbDecision=137000 #constraints=15210
242.36/242.56	c nbDecision=137500 #constraints=15240
243.66/243.81	c nbDecision=138000 #constraints=15264
245.06/245.20	c nbDecision=138500 #constraints=15306
246.36/246.55	c nbDecision=139000 #constraints=15325
247.56/247.73	c nbDecision=139500 #constraints=15336
249.06/249.22	c nbDecision=140000 #constraints=15406
250.36/250.53	c nbDecision=140500 #constraints=15440
251.66/251.86	c nbDecision=141000 #constraints=15479
253.36/253.52	c nbDecision=141500 #constraints=15550
254.76/254.96	c nbDecision=142000 #constraints=15593
256.55/256.72	c nbDecision=142500 #constraints=15667
257.85/258.07	c nbDecision=143000 #constraints=15698
259.25/259.44	c nbDecision=143500 #constraints=15749
260.74/260.95	c nbDecision=144000 #constraints=15791
262.34/262.58	c nbDecision=144500 #constraints=15845
263.75/263.99	c nbDecision=145000 #constraints=15885
265.24/265.44	c nbDecision=145500 #constraints=15924
266.54/266.74	c nbDecision=146000 #constraints=15962
268.14/268.32	c nbDecision=146500 #constraints=16024
269.44/269.63	c nbDecision=147000 #constraints=16046
270.74/270.92	c nbDecision=147500 #constraints=16066
272.14/272.39	c nbDecision=148000 #constraints=16114
273.64/273.86	c nbDecision=148500 #constraints=16165
275.04/275.27	c nbDecision=149000 #constraints=16203
276.34/276.52	c nbDecision=149500 #constraints=16224
277.84/278.00	c nbDecision=150000 #constraints=16256
279.24/279.44	c nbDecision=150500 #constraints=16288
280.64/280.86	c nbDecision=151000 #constraints=16319
282.14/282.38	c nbDecision=151500 #constraints=16360
283.73/283.93	c nbDecision=152000 #constraints=16405
285.33/285.58	c nbDecision=152500 #constraints=16458
287.13/287.38	c nbDecision=153000 #constraints=16521
289.43/289.68	c nbDecision=153500 #constraints=16600
291.13/291.36	c nbDecision=154000 #constraints=16658
292.44/292.61	c nbDecision=154500 #constraints=16666
294.04/294.21	c nbDecision=155000 #constraints=16719
295.24/295.48	c nbDecision=155500 #constraints=16732
296.54/296.72	c nbDecision=156000 #constraints=16742
297.74/297.95	c nbDecision=156500 #constraints=16748
299.24/299.44	c nbDecision=157000 #constraints=16788
300.63/300.88	c nbDecision=157500 #constraints=16836
302.43/302.67	c nbDecision=158000 #constraints=16871
303.92/304.10	c nbDecision=158500 #constraints=16894
305.32/305.59	c nbDecision=159000 #constraints=16942
306.72/306.91	c nbDecision=159500 #constraints=16966
308.11/308.32	c nbDecision=160000 #constraints=16991
309.41/309.63	c nbDecision=160500 #constraints=17009
310.71/310.90	c nbDecision=161000 #constraints=17023
312.51/312.76	c nbDecision=161500 #constraints=17065
313.91/314.11	c nbDecision=162000 #constraints=17078
315.31/315.56	c nbDecision=162500 #constraints=17105
317.01/317.28	c nbDecision=163000 #constraints=17156
318.91/319.17	c nbDecision=163500 #constraints=17219
320.61/320.80	c nbDecision=164000 #constraints=17266
322.01/322.22	c nbDecision=164500 #constraints=17296
323.40/323.65	c nbDecision=165000 #constraints=17328
324.80/325.07	c nbDecision=165500 #constraints=17355
326.71/326.95	c nbDecision=166000 #constraints=17416
328.11/328.35	c nbDecision=166500 #constraints=17440
329.81/330.09	c nbDecision=167000 #constraints=17463
331.41/331.63	c nbDecision=167500 #constraints=17493
332.81/333.03	c nbDecision=168000 #constraints=17516
334.11/334.36	c nbDecision=168500 #constraints=17531
335.61/335.85	c nbDecision=169000 #constraints=17562
337.31/337.50	c nbDecision=169500 #constraints=17602
338.81/339.04	c nbDecision=170000 #constraints=17628
340.31/340.52	c nbDecision=170500 #constraints=17658
341.61/341.90	c nbDecision=171000 #constraints=17672
343.51/343.75	c nbDecision=171500 #constraints=17709
345.01/345.21	c nbDecision=172000 #constraints=17735
346.41/346.69	c nbDecision=172500 #constraints=17761
348.20/348.46	c nbDecision=173000 #constraints=17809
349.70/349.99	c nbDecision=173500 #constraints=17844
351.30/351.50	c nbDecision=174000 #constraints=17881
352.69/352.96	c nbDecision=174500 #constraints=17915
354.09/354.30	c nbDecision=175000 #constraints=17926
355.49/355.71	c nbDecision=175500 #constraints=17941
356.79/357.05	c nbDecision=176000 #constraints=17949
358.30/358.58	c nbDecision=176500 #constraints=17987
359.99/360.23	c nbDecision=177000 #constraints=18033
361.70/361.93	c nbDecision=177500 #constraints=18066
363.29/363.54	c nbDecision=178000 #constraints=18111
364.99/365.28	c nbDecision=178500 #constraints=18157
366.49/366.78	c nbDecision=179000 #constraints=18181
367.99/368.25	c nbDecision=179500 #constraints=18206
369.79/370.07	c nbDecision=180000 #constraints=18248
371.79/372.06	c nbDecision=180500 #constraints=18290
373.29/373.57	c nbDecision=181000 #constraints=18309
374.79/375.04	c nbDecision=181500 #constraints=18325
376.28/376.54	c nbDecision=182000 #constraints=18349
377.68/377.94	c nbDecision=182500 #constraints=18359
379.68/379.91	c nbDecision=183000 #constraints=18412
381.08/381.34	c nbDecision=183500 #constraints=18423
382.88/383.16	c nbDecision=184000 #constraints=18454
384.48/384.74	c nbDecision=184500 #constraints=18482
386.18/386.48	c nbDecision=185000 #constraints=18528
387.78/388.05	c nbDecision=185500 #constraints=18551
389.28/389.52	c nbDecision=186000 #constraints=18572
390.88/391.14	c nbDecision=186500 #constraints=18603
392.38/392.62	c nbDecision=187000 #constraints=18613
394.07/394.35	c nbDecision=187500 #constraints=18648
395.66/395.98	c nbDecision=188000 #constraints=18667
397.45/397.72	c nbDecision=188500 #constraints=18701
399.06/399.33	c nbDecision=189000 #constraints=18743
400.95/401.28	c nbDecision=189500 #constraints=18781
402.45/402.72	c nbDecision=190000 #constraints=18799
404.04/404.36	c nbDecision=190500 #constraints=18844
405.75/406.04	c nbDecision=191000 #constraints=18892
407.54/407.89	c nbDecision=191500 #constraints=18936
409.14/409.49	c nbDecision=192000 #constraints=18966
410.84/411.15	c nbDecision=192500 #constraints=18996
412.84/413.14	c nbDecision=193000 #constraints=19050
414.64/414.94	c nbDecision=193500 #constraints=19063
416.44/416.73	c nbDecision=194000 #constraints=19097
417.84/418.12	c nbDecision=194500 #constraints=19103
419.84/420.11	c nbDecision=195000 #constraints=19160
421.34/421.64	c nbDecision=195500 #constraints=19171
423.04/423.31	c nbDecision=196000 #constraints=19197
424.64/424.98	c nbDecision=196500 #constraints=19220
426.34/426.66	c nbDecision=197000 #constraints=19263
427.84/428.11	c nbDecision=197500 #constraints=19277
429.74/430.08	c nbDecision=198000 #constraints=19313
431.14/431.43	c nbDecision=198500 #constraints=19320
432.54/432.87	c nbDecision=199000 #constraints=19332
433.84/434.19	c nbDecision=199500 #constraints=19337
435.93/436.26	c nbDecision=200000 #constraints=19373
437.93/438.29	c nbDecision=200500 #constraints=19428
439.93/440.30	c nbDecision=201000 #constraints=19478
442.23/442.59	c nbDecision=201500 #constraints=19545
444.42/444.72	c nbDecision=202000 #constraints=19602
446.72/447.05	c nbDecision=202500 #constraints=19670
449.12/449.49	c nbDecision=203000 #constraints=19750
451.42/451.78	c nbDecision=203500 #constraints=19794
454.21/454.53	c nbDecision=204000 #constraints=19897
455.91/456.21	c nbDecision=204500 #constraints=19911
457.11/457.47	c restart after 204801 decisions
457.61/457.98	c nbDecision=205000 #constraints=19933
458.21/458.54	c nbDecision=205500 #constraints=19935
459.01/459.36	c nbDecision=206000 #constraints=19991
459.81/460.14	c nbDecision=206500 #constraints=19998
461.62/462.00	c nbDecision=207000 #constraints=20056
462.31/462.67	c nbDecision=207500 #constraints=20089
463.41/463.72	c nbDecision=208000 #constraints=20109
465.32/465.69	c nbDecision=208500 #constraints=20199
465.92/466.24	c nbDecision=209000 #constraints=20211
467.02/467.32	c nbDecision=209500 #constraints=20236
469.12/469.41	c nbDecision=210000 #constraints=20325
469.72/470.06	c nbDecision=210500 #constraints=20357
470.91/471.22	c nbDecision=211000 #constraints=20395
472.51/472.80	c nbDecision=211500 #constraints=20463
473.01/473.36	c nbDecision=212000 #constraints=20477
473.72/474.07	c nbDecision=212500 #constraints=20511
474.21/474.57	c nbDecision=213000 #constraints=20517
475.81/476.18	c nbDecision=213500 #constraints=20579
477.12/477.46	c nbDecision=214000 #constraints=20636
477.61/477.99	c nbDecision=214500 #constraints=20640
478.31/478.66	c nbDecision=215000 #constraints=20669
479.11/479.47	c nbDecision=215500 #constraints=20685
480.91/481.20	c nbDecision=216000 #constraints=20733
481.60/481.90	c nbDecision=216500 #constraints=20765
483.10/483.41	c nbDecision=217000 #constraints=20811
484.90/485.20	c nbDecision=217500 #constraints=20861
485.40/485.75	c nbDecision=218000 #constraints=20874
487.01/487.35	c nbDecision=218500 #constraints=20933
489.00/489.36	c nbDecision=219000 #constraints=20989
491.89/492.27	c nbDecision=219500 #constraints=21091
493.79/494.14	c nbDecision=220000 #constraints=21124
495.19/495.55	c nbDecision=220500 #constraints=21177
495.70/496.07	c nbDecision=221000 #constraints=21178
498.09/498.48	c nbDecision=221500 #constraints=21274
499.49/499.86	c nbDecision=222000 #constraints=21330
500.39/500.74	c nbDecision=222500 #constraints=21352
502.69/503.05	c nbDecision=223000 #constraints=21436
503.29/503.61	c nbDecision=223500 #constraints=21447
504.29/504.65	c nbDecision=224000 #constraints=21473
506.09/506.41	c nbDecision=224500 #constraints=21533
506.69/507.09	c nbDecision=225000 #constraints=21561
507.59/507.96	c nbDecision=225500 #constraints=21614
508.39/508.73	c nbDecision=226000 #constraints=21654
509.09/509.41	c nbDecision=226500 #constraints=21678
509.49/509.89	c nbDecision=227000 #constraints=21682
510.99/511.36	c nbDecision=227500 #constraints=21720
512.39/512.75	c nbDecision=228000 #constraints=21778
512.99/513.36	c nbDecision=228500 #constraints=21781
515.19/515.59	c nbDecision=229000 #constraints=21844
515.89/516.28	c nbDecision=229500 #constraints=21872
516.49/516.87	c nbDecision=230000 #constraints=21883
517.09/517.42	c nbDecision=230500 #constraints=21893
518.29/518.68	c nbDecision=231000 #constraints=21916
519.79/520.11	c nbDecision=231500 #constraints=21970
520.39/520.71	c nbDecision=232000 #constraints=21975
522.19/522.58	c nbDecision=232500 #constraints=22006
524.49/524.88	c nbDecision=233000 #constraints=22077
525.19/525.52	c nbDecision=233500 #constraints=22099
526.38/526.73	c nbDecision=234000 #constraints=22133
528.98/529.37	c nbDecision=234500 #constraints=22228
529.68/530.02	c nbDecision=235000 #constraints=22251
530.27/530.62	c nbDecision=235500 #constraints=22262
530.77/531.16	c nbDecision=236000 #constraints=22273
532.17/532.51	c nbDecision=236500 #constraints=22306
533.58/533.94	c nbDecision=237000 #constraints=22351
534.19/534.50	c nbDecision=237500 #constraints=22365
536.17/536.55	c nbDecision=238000 #constraints=22404
536.97/537.38	c nbDecision=238500 #constraints=22449
537.57/537.92	c nbDecision=239000 #constraints=22452
538.27/538.64	c nbDecision=239500 #constraints=22486
539.17/539.59	c nbDecision=240000 #constraints=22493
540.77/541.19	c nbDecision=240500 #constraints=22531
541.37/541.78	c nbDecision=241000 #constraints=22550
542.87/543.22	c nbDecision=241500 #constraints=22580
544.07/544.46	c nbDecision=242000 #constraints=22611
544.77/545.15	c nbDecision=242500 #constraints=22613
546.67/547.05	c nbDecision=243000 #constraints=22670
547.37/547.71	c nbDecision=243500 #constraints=22697
548.77/549.19	c nbDecision=244000 #constraints=22733
550.47/550.80	c nbDecision=244500 #constraints=22784
550.97/551.39	c nbDecision=245000 #constraints=22803
552.87/553.21	c nbDecision=245500 #constraints=22863
554.16/554.52	c nbDecision=246000 #constraints=22899
554.96/555.32	c nbDecision=246500 #constraints=22909
556.56/556.95	c nbDecision=247000 #constraints=22933
557.16/557.54	c nbDecision=247500 #constraints=22947
558.26/558.60	c nbDecision=248000 #constraints=22960
559.66/560.07	c nbDecision=248500 #constraints=23000
560.16/560.59	c nbDecision=249000 #constraints=23009
561.67/562.05	c nbDecision=249500 #constraints=23033
562.96/563.35	c nbDecision=250000 #constraints=23068
563.66/564.05	c nbDecision=250500 #constraints=23073
566.16/566.58	c nbDecision=251000 #constraints=23137
566.76/567.16	c nbDecision=251500 #constraints=23147
567.26/567.64	c nbDecision=252000 #constraints=23148
568.26/568.70	c nbDecision=252500 #constraints=23168
569.96/570.33	c nbDecision=253000 #constraints=23203
570.46/570.84	c nbDecision=253500 #constraints=23209
571.95/572.30	c nbDecision=254000 #constraints=23249
573.45/573.84	c nbDecision=254500 #constraints=23296
574.24/574.66	c nbDecision=255000 #constraints=23310
576.33/576.70	c nbDecision=255500 #constraints=23355
578.63/579.05	c nbDecision=256000 #constraints=23419
580.63/581.01	c nbDecision=256500 #constraints=23456
581.13/581.59	c nbDecision=257000 #constraints=23466
582.42/582.80	c nbDecision=257500 #constraints=23483
584.82/585.25	c nbDecision=258000 #constraints=23537
586.61/587.06	c nbDecision=258500 #constraints=23559
588.11/588.51	c nbDecision=259000 #constraints=23594
588.61/589.03	c nbDecision=259500 #constraints=23595
590.62/591.06	c nbDecision=260000 #constraints=23632
593.82/594.29	c nbDecision=260500 #constraints=23707
594.62/595.02	c nbDecision=261000 #constraints=23736
595.22/595.62	c nbDecision=261500 #constraints=23742
595.82/596.20	c nbDecision=262000 #constraints=23757
597.22/597.67	c nbDecision=262500 #constraints=23787
598.72/599.19	c nbDecision=263000 #constraints=23826
599.62/600.09	c nbDecision=263500 #constraints=23839
603.31/603.72	c nbDecision=264000 #constraints=23933
604.01/604.42	c nbDecision=264500 #constraints=23955
605.21/605.67	c nbDecision=265000 #constraints=23988
607.92/608.34	c nbDecision=265500 #constraints=24072
608.61/609.08	c nbDecision=266000 #constraints=24104
610.12/610.51	c nbDecision=266500 #constraints=24137
612.21/612.62	c nbDecision=267000 #constraints=24202
612.81/613.24	c nbDecision=267500 #constraints=24220
614.01/614.40	c nbDecision=268000 #constraints=24225
615.41/615.86	c nbDecision=268500 #constraints=24245
616.21/616.61	c nbDecision=269000 #constraints=24258
618.10/618.59	c nbDecision=269500 #constraints=24291
618.81/619.22	c nbDecision=270000 #constraints=24305
619.60/620.03	c nbDecision=270500 #constraints=24305
621.50/621.95	c nbDecision=271000 #constraints=24363
622.10/622.52	c nbDecision=271500 #constraints=24376
623.30/623.78	c nbDecision=272000 #constraints=24388
626.20/626.60	c nbDecision=272500 #constraints=24443
626.70/627.16	c nbDecision=273000 #constraints=24449
627.60/628.03	c nbDecision=273500 #constraints=24449
629.39/629.80	c nbDecision=274000 #constraints=24486
629.99/630.46	c nbDecision=274500 #constraints=24496
632.00/632.47	c nbDecision=275000 #constraints=24522
632.69/633.12	c nbDecision=275500 #constraints=24541
633.69/634.16	c nbDecision=276000 #constraints=24555
635.59/636.07	c nbDecision=276500 #constraints=24624
636.19/636.61	c nbDecision=277000 #constraints=24634
637.49/637.96	c nbDecision=277500 #constraints=24657
639.49/639.92	c nbDecision=278000 #constraints=24702
641.09/641.55	c nbDecision=278500 #constraints=24757
641.89/642.37	c nbDecision=279000 #constraints=24771
643.69/644.18	c nbDecision=279500 #constraints=24796
644.29/644.73	c nbDecision=280000 #constraints=24803
645.49/645.92	c nbDecision=280500 #constraints=24818
647.09/647.57	c nbDecision=281000 #constraints=24860
647.59/648.09	c nbDecision=281500 #constraints=24860
650.09/650.51	c nbDecision=282000 #constraints=24911
650.69/651.17	c nbDecision=282500 #constraints=24928
651.38/651.89	c nbDecision=283000 #constraints=24928
653.38/653.81	c nbDecision=283500 #constraints=24963
653.88/654.37	c nbDecision=284000 #constraints=24972
655.19/655.65	c nbDecision=284500 #constraints=24981
656.88/657.34	c nbDecision=285000 #constraints=25030
657.48/657.96	c nbDecision=285500 #constraints=25040
658.18/658.61	c nbDecision=286000 #constraints=25058
659.28/659.75	c nbDecision=286500 #constraints=25077
661.18/661.62	c nbDecision=287000 #constraints=25119
661.78/662.25	c nbDecision=287500 #constraints=25134
663.07/663.58	c nbDecision=288000 #constraints=25154
665.67/666.12	c nbDecision=288500 #constraints=25196
666.37/666.83	c nbDecision=289000 #constraints=25217
666.97/667.49	c nbDecision=289500 #constraints=25231
667.47/667.99	c nbDecision=290000 #constraints=25232
668.67/669.13	c nbDecision=290500 #constraints=25241
670.38/670.86	c nbDecision=291000 #constraints=25294
670.88/671.39	c nbDecision=291500 #constraints=25295
671.48/671.98	c nbDecision=292000 #constraints=25303
672.78/673.24	c nbDecision=292500 #constraints=25333
674.57/675.06	c nbDecision=293000 #constraints=25378
675.07/675.57	c nbDecision=293500 #constraints=25384
676.47/676.91	c nbDecision=294000 #constraints=25400
678.67/679.11	c nbDecision=294500 #constraints=25468
679.57/680.01	c nbDecision=295000 #constraints=25482
681.47/681.90	c nbDecision=295500 #constraints=25513
682.07/682.52	c nbDecision=296000 #constraints=25529
683.37/683.82	c nbDecision=296500 #constraints=25561
684.87/685.35	c nbDecision=297000 #constraints=25586
685.37/685.84	c nbDecision=297500 #constraints=25586
687.37/687.82	c nbDecision=298000 #constraints=25608
688.17/688.64	c nbDecision=298500 #constraints=25644
689.37/689.80	c nbDecision=299000 #constraints=25658
690.97/691.43	c nbDecision=299500 #constraints=25687
691.57/692.05	c nbDecision=300000 #constraints=25690
694.27/694.78	c nbDecision=300500 #constraints=25745
694.97/695.49	c nbDecision=301000 #constraints=25766
695.77/696.21	c nbDecision=301500 #constraints=25781
696.27/696.76	c nbDecision=302000 #constraints=25791
697.76/698.23	c nbDecision=302500 #constraints=25821
699.26/699.78	c nbDecision=303000 #constraints=25861
700.06/700.56	c nbDecision=303500 #constraints=25865
701.96/702.42	c nbDecision=304000 #constraints=25895
702.47/702.97	c nbDecision=304500 #constraints=25902
703.66/704.18	c nbDecision=305000 #constraints=25912
705.06/705.54	c nbDecision=305500 #constraints=25923
705.66/706.14	c nbDecision=306000 #constraints=25923
707.55/708.06	c nbDecision=306500 #constraints=25939
708.35/708.84	c nbDecision=307000 #constraints=25973
709.15/709.62	c nbDecision=307500 #constraints=25990
709.65/710.19	c nbDecision=308000 #constraints=26001
711.85/712.36	c nbDecision=308500 #constraints=26073
713.45/713.95	c nbDecision=309000 #constraints=26103
714.15/714.65	c nbDecision=309500 #constraints=26110
716.25/716.79	c nbDecision=310000 #constraints=26150
716.85/717.34	c nbDecision=310500 #constraints=26152
718.05/718.57	c nbDecision=311000 #constraints=26165
720.24/720.70	c nbDecision=311500 #constraints=26238
720.84/721.30	c nbDecision=312000 #constraints=26238
722.84/723.35	c nbDecision=312500 #constraints=26275
723.54/724.06	c nbDecision=313000 #constraints=26297
724.64/725.15	c nbDecision=313500 #constraints=26310
726.24/726.72	c nbDecision=314000 #constraints=26328
726.64/727.19	c nbDecision=314500 #constraints=26328
728.94/729.40	c nbDecision=315000 #constraints=26378
729.63/730.11	c nbDecision=315500 #constraints=26396
730.33/730.86	c nbDecision=316000 #constraints=26399
732.14/732.68	c nbDecision=316500 #constraints=26418
732.84/733.35	c nbDecision=317000 #constraints=26439
733.94/734.49	c nbDecision=317500 #constraints=26446
735.84/736.38	c nbDecision=318000 #constraints=26499
736.34/736.86	c nbDecision=318500 #constraints=26499
738.54/739.03	c nbDecision=319000 #constraints=26529
739.24/739.72	c nbDecision=319500 #constraints=26539
740.14/740.61	c nbDecision=320000 #constraints=26552
742.54/743.02	c nbDecision=320500 #constraints=26598
743.14/743.67	c nbDecision=321000 #constraints=26608
744.34/744.80	c nbDecision=321500 #constraints=26629
747.04/747.54	c nbDecision=322000 #constraints=26692
748.94/749.49	c nbDecision=322500 #constraints=26720
749.64/750.17	c nbDecision=323000 #constraints=26738
750.84/751.35	c nbDecision=323500 #constraints=26754
752.63/753.16	c nbDecision=324000 #constraints=26787
753.13/753.63	c nbDecision=324500 #constraints=26787
754.73/755.20	c nbDecision=325000 #constraints=26815
756.23/756.77	c nbDecision=325500 #constraints=26845
757.03/757.51	c nbDecision=326000 #constraints=26852
759.12/759.64	c nbDecision=326500 #constraints=26892
759.72/760.25	c nbDecision=327000 #constraints=26898
760.92/761.44	c nbDecision=327500 #constraints=26921
762.93/763.42	c nbDecision=328000 #constraints=26950
763.62/764.10	c nbDecision=328500 #constraints=26973
765.02/765.56	c nbDecision=329000 #constraints=26996
766.51/767.08	c nbDecision=329500 #constraints=27019
767.11/767.68	c nbDecision=330000 #constraints=27021
769.53/770.03	c nbDecision=330500 #constraints=27062
770.12/770.67	c nbDecision=331000 #constraints=27071
770.92/771.45	c nbDecision=331500 #constraints=27086
771.42/771.94	c nbDecision=332000 #constraints=27086
772.72/773.29	c nbDecision=332500 #constraints=27098
774.32/774.85	c nbDecision=333000 #constraints=27122
774.82/775.40	c nbDecision=333500 #constraints=27122
777.62/778.16	c nbDecision=334000 #constraints=27177
778.32/778.89	c nbDecision=334500 #constraints=27192
779.32/779.87	c nbDecision=335000 #constraints=27206
781.72/782.23	c nbDecision=335500 #constraints=27247
782.51/783.10	c nbDecision=336000 #constraints=27286
783.01/783.59	c nbDecision=336500 #constraints=27287
784.31/784.87	c nbDecision=337000 #constraints=27305
786.21/786.71	c nbDecision=337500 #constraints=27346
786.61/787.18	c nbDecision=338000 #constraints=27347
787.61/788.12	c nbDecision=338500 #constraints=27373
788.31/788.85	c nbDecision=339000 #constraints=27380
789.91/790.49	c nbDecision=339500 #constraints=27382
790.71/791.28	c nbDecision=340000 #constraints=27388
793.11/793.62	c nbDecision=340500 #constraints=27444
793.71/794.28	c nbDecision=341000 #constraints=27459
794.21/794.77	c nbDecision=341500 #constraints=27460
795.31/795.87	c nbDecision=342000 #constraints=27465
797.30/797.87	c nbDecision=342500 #constraints=27500
797.90/798.42	c nbDecision=343000 #constraints=27509
798.40/798.93	c nbDecision=343500 #constraints=27515
800.70/801.27	c nbDecision=344000 #constraints=27550
801.41/801.93	c nbDecision=344500 #constraints=27554
802.30/802.84	c nbDecision=345000 #constraints=27563
804.20/804.73	c nbDecision=345500 #constraints=27577
804.80/805.36	c nbDecision=346000 #constraints=27591
805.30/805.85	c nbDecision=346500 #constraints=27592
806.50/807.06	c nbDecision=347000 #constraints=27604
809.30/809.83	c nbDecision=347500 #constraints=27681
809.79/810.35	c nbDecision=348000 #constraints=27684
811.19/811.74	c nbDecision=348500 #constraints=27704
813.19/813.77	c nbDecision=349000 #constraints=27758
813.69/814.26	c nbDecision=349500 #constraints=27759
815.09/815.65	c nbDecision=350000 #constraints=27776
816.79/817.31	c nbDecision=350500 #constraints=27808
817.28/817.88	c nbDecision=351000 #constraints=27809
819.99/820.54	c nbDecision=351500 #constraints=27854
820.78/821.31	c nbDecision=352000 #constraints=27875
821.68/822.26	c nbDecision=352500 #constraints=27879
823.48/824.00	c nbDecision=353000 #constraints=27889
823.98/824.58	c nbDecision=353500 #constraints=27896
825.38/825.96	c nbDecision=354000 #constraints=27909
827.28/827.85	c nbDecision=354500 #constraints=27948
827.79/828.35	c nbDecision=355000 #constraints=27948
830.18/830.76	c nbDecision=355500 #constraints=27977
831.18/831.75	c nbDecision=356000 #constraints=28006
831.98/832.60	c nbDecision=356500 #constraints=28019
832.48/833.08	c nbDecision=357000 #constraints=28019
833.48/834.07	c nbDecision=357500 #constraints=28042
834.39/834.92	c nbDecision=358000 #constraints=28055
835.48/836.05	c nbDecision=358500 #constraints=28102
835.98/836.55	c nbDecision=359000 #constraints=28102
837.48/838.00	c nbDecision=359500 #constraints=28123
839.38/839.92	c nbDecision=360000 #constraints=28166
839.98/840.56	c nbDecision=360500 #constraints=28167
840.78/841.32	c nbDecision=361000 #constraints=28191
841.78/842.38	c nbDecision=361500 #constraints=28194
843.57/844.11	c nbDecision=362000 #constraints=28207
843.97/844.58	c nbDecision=362500 #constraints=28207
845.47/846.09	c nbDecision=363000 #constraints=28234
847.07/847.66	c nbDecision=363500 #constraints=28261
847.67/848.28	c nbDecision=364000 #constraints=28262
850.17/850.72	c nbDecision=364500 #constraints=28305
850.87/851.46	c nbDecision=365000 #constraints=28322
851.67/852.25	c nbDecision=365500 #constraints=28325
853.97/854.59	c nbDecision=366000 #constraints=28363
856.76/857.33	c nbDecision=366500 #constraints=28430
859.26/859.87	c nbDecision=367000 #constraints=28491
861.45/862.01	c nbDecision=367500 #constraints=28505
863.56/864.13	c nbDecision=368000 #constraints=28539
864.06/864.64	c nbDecision=368500 #constraints=28540
866.36/866.96	c nbDecision=369000 #constraints=28576
867.27/867.88	c nbDecision=369500 #constraints=28600
868.16/868.72	c nbDecision=370000 #constraints=28613
868.66/869.21	c nbDecision=370500 #constraints=28617
870.16/870.76	c nbDecision=371000 #constraints=28649
871.76/872.37	c nbDecision=371500 #constraints=28678
872.46/873.05	c nbDecision=372000 #constraints=28678
874.76/875.34	c nbDecision=372500 #constraints=28718
875.36/875.91	c nbDecision=373000 #constraints=28723
876.76/877.34	c nbDecision=373500 #constraints=28747
879.26/879.83	c nbDecision=374000 #constraints=28806
882.26/882.80	c nbDecision=374500 #constraints=28858
884.56/885.12	c nbDecision=375000 #constraints=28887
885.26/885.88	c nbDecision=375500 #constraints=28892
885.96/886.51	c nbDecision=376000 #constraints=28906
887.15/887.77	c nbDecision=376500 #constraints=28908
888.94/889.50	c nbDecision=377000 #constraints=28934
889.64/890.22	c nbDecision=377500 #constraints=28936
893.04/893.67	c nbDecision=378000 #constraints=29022
893.74/894.31	c nbDecision=378500 #constraints=29030
894.94/895.50	c nbDecision=379000 #constraints=29043
896.84/897.49	c nbDecision=379500 #constraints=29054
898.84/899.47	c nbDecision=380000 #constraints=29084
899.44/900.07	c nbDecision=380500 #constraints=29084
902.04/902.61	c nbDecision=381000 #constraints=29129
902.54/903.20	c nbDecision=381500 #constraints=29132
903.33/903.91	c nbDecision=382000 #constraints=29137
903.83/904.42	c nbDecision=382500 #constraints=29140
906.53/907.19	c nbDecision=383000 #constraints=29216
908.23/908.88	c nbDecision=383500 #constraints=29243
909.13/909.77	c nbDecision=384000 #constraints=29251
911.53/912.11	c nbDecision=384500 #constraints=29295
912.03/912.70	c nbDecision=385000 #constraints=29301
912.83/913.46	c nbDecision=385500 #constraints=29309
913.53/914.10	c nbDecision=386000 #constraints=29309
915.92/916.57	c nbDecision=386500 #constraints=29353
916.62/917.28	c nbDecision=387000 #constraints=29370
917.83/918.49	c nbDecision=387500 #constraints=29383
919.82/920.44	c nbDecision=388000 #constraints=29420
920.52/921.13	c nbDecision=388500 #constraints=29431
921.52/922.12	c nbDecision=389000 #constraints=29435
924.12/924.74	c nbDecision=389500 #constraints=29503
924.62/925.24	c nbDecision=390000 #constraints=29507
927.12/927.71	c nbDecision=390500 #constraints=29538
928.22/928.85	c nbDecision=391000 #constraints=29576
929.32/929.97	c nbDecision=391500 #constraints=29622
930.02/930.61	c nbDecision=392000 #constraints=29625
932.40/933.05	c nbDecision=392500 #constraints=29666
935.40/936.05	c nbDecision=393000 #constraints=29731
938.49/939.12	c nbDecision=393500 #constraints=29795
941.09/941.70	c nbDecision=394000 #constraints=29860
941.69/942.35	c nbDecision=394500 #constraints=29878
943.20/943.86	c nbDecision=395000 #constraints=29902
946.40/947.04	c nbDecision=395500 #constraints=29940
947.09/947.79	c nbDecision=396000 #constraints=29958
947.99/948.67	c nbDecision=396500 #constraints=29977
948.59/949.23	c nbDecision=397000 #constraints=29982
950.79/951.42	c nbDecision=397500 #constraints=29995
951.48/952.13	c nbDecision=398000 #constraints=30005
952.18/952.87	c nbDecision=398500 #constraints=30013
952.78/953.44	c nbDecision=399000 #constraints=30024
954.38/955.09	c nbDecision=399500 #constraints=30052
956.09/956.74	c nbDecision=400000 #constraints=30072
956.69/957.32	c nbDecision=400500 #constraints=30072
959.99/960.69	c nbDecision=401000 #constraints=30144
960.59/961.30	c nbDecision=401500 #constraints=30148
961.69/962.33	c nbDecision=402000 #constraints=30154
963.99/964.64	c nbDecision=402500 #constraints=30185
966.29/966.98	c nbDecision=403000 #constraints=30213
968.59/969.22	c nbDecision=403500 #constraints=30248
970.19/970.83	c nbDecision=404000 #constraints=30270
970.99/971.69	c nbDecision=404500 #constraints=30272
972.99/973.63	c nbDecision=405000 #constraints=30286
973.49/974.20	c nbDecision=405500 #constraints=30293
974.39/975.08	c nbDecision=406000 #constraints=30312
975.29/975.99	c nbDecision=406500 #constraints=30325
977.97/978.69	c nbDecision=407000 #constraints=30381
978.67/979.35	c nbDecision=407500 #constraints=30392
979.17/979.85	c nbDecision=408000 #constraints=30393
980.47/981.19	c nbDecision=408500 #constraints=30412
982.47/983.13	c nbDecision=409000 #constraints=30449
983.16/983.85	c nbDecision=409500 #constraints=30461
983.56/984.22	c restart after 409601 decisions
984.46/985.18	c nbDecision=410000 #constraints=30469
985.36/986.02	c nbDecision=410500 #constraints=30478
985.86/986.56	c nbDecision=411000 #constraints=30482
987.76/988.48	c nbDecision=411500 #constraints=30529
991.36/992.02	c nbDecision=412000 #constraints=30647
993.66/994.36	c nbDecision=412500 #constraints=30700
997.16/997.86	c nbDecision=413000 #constraints=30852
999.95/1000.63	c nbDecision=413500 #constraints=30929
1002.56/1003.27	c nbDecision=414000 #constraints=31018
1004.85/1005.54	c nbDecision=414500 #constraints=31079
1007.35/1008.07	c nbDecision=415000 #constraints=31134
1009.85/1010.55	c nbDecision=415500 #constraints=31177
1013.46/1014.12	c nbDecision=416000 #constraints=31255
1017.75/1018.44	c nbDecision=416500 #constraints=31382
1021.34/1022.07	c nbDecision=417000 #constraints=31433
1023.74/1024.45	c nbDecision=417500 #constraints=31493
1026.34/1027.05	c nbDecision=418000 #constraints=31562
1028.94/1029.68	c nbDecision=418500 #constraints=31636
1031.54/1032.22	c nbDecision=419000 #constraints=31672
1034.24/1034.96	c nbDecision=419500 #constraints=31744
1036.94/1037.67	c nbDecision=420000 #constraints=31837
1039.24/1039.98	c nbDecision=420500 #constraints=31898
1042.14/1042.87	c nbDecision=421000 #constraints=31957
1045.73/1046.47	c nbDecision=421500 #constraints=32041
1048.83/1049.59	c nbDecision=422000 #constraints=32110
1051.43/1052.13	c nbDecision=422500 #constraints=32143
1054.53/1055.20	c nbDecision=423000 #constraints=32219
1057.03/1057.76	c nbDecision=423500 #constraints=32255
1059.43/1060.19	c nbDecision=424000 #constraints=32286
1062.53/1063.22	c nbDecision=424500 #constraints=32370
1064.93/1065.64	c nbDecision=425000 #constraints=32399
1066.72/1067.49	c nbDecision=425500 #constraints=32470
1069.52/1070.25	c nbDecision=426000 #constraints=32562
1072.61/1073.39	c nbDecision=426500 #constraints=32625
1075.22/1075.91	c nbDecision=427000 #constraints=32679
1078.22/1078.97	c nbDecision=427500 #constraints=32742
1081.42/1082.14	c nbDecision=428000 #constraints=32801
1084.51/1085.20	c nbDecision=428500 #constraints=32863
1087.21/1087.98	c nbDecision=429000 #constraints=32923
1089.41/1090.15	c nbDecision=429500 #constraints=32968
1092.10/1092.83	c nbDecision=430000 #constraints=33037
1094.81/1095.54	c nbDecision=430500 #constraints=33087
1097.90/1098.69	c nbDecision=431000 #constraints=33165
1100.40/1101.14	c nbDecision=431500 #constraints=33210
1103.20/1103.95	c nbDecision=432000 #constraints=33255
1106.50/1107.25	c nbDecision=432500 #constraints=33316
1108.80/1109.59	c nbDecision=433000 #constraints=33343
1112.79/1113.54	c nbDecision=433500 #constraints=33403
1115.39/1116.19	c nbDecision=434000 #constraints=33461
1117.90/1118.65	c nbDecision=434500 #constraints=33496
1120.59/1121.38	c nbDecision=435000 #constraints=33557
1123.89/1124.68	c nbDecision=435500 #constraints=33627
1126.29/1127.01	c nbDecision=436000 #constraints=33652
1128.79/1129.56	c nbDecision=436500 #constraints=33688
1131.69/1132.46	c nbDecision=437000 #constraints=33740
1135.18/1135.94	c nbDecision=437500 #constraints=33805
1137.98/1138.74	c nbDecision=438000 #constraints=33846
1140.08/1140.83	c nbDecision=438500 #constraints=33849
1142.98/1143.79	c nbDecision=439000 #constraints=33919
1145.67/1146.47	c nbDecision=439500 #constraints=33954
1148.57/1149.39	c nbDecision=440000 #constraints=33999
1152.07/1152.81	c nbDecision=440500 #constraints=34063
1154.67/1155.48	c nbDecision=441000 #constraints=34093
1157.26/1158.03	c nbDecision=441500 #constraints=34124
1160.67/1161.45	c nbDecision=442000 #constraints=34219
1163.47/1164.24	c nbDecision=442500 #constraints=34260
1167.06/1167.80	c nbDecision=443000 #constraints=34335
1169.46/1170.24	c nbDecision=443500 #constraints=34366
1172.16/1172.92	c nbDecision=444000 #constraints=34401
1174.96/1175.73	c nbDecision=444500 #constraints=34454
1178.76/1179.53	c nbDecision=445000 #constraints=34516
1181.25/1182.05	c nbDecision=445500 #constraints=34537
1183.65/1184.45	c nbDecision=446000 #constraints=34558
1186.45/1187.25	c nbDecision=446500 #constraints=34594
1189.15/1189.99	c nbDecision=447000 #constraints=34634
1191.45/1192.29	c nbDecision=447500 #constraints=34656
1195.25/1196.09	c nbDecision=448000 #constraints=34702
1197.85/1198.67	c nbDecision=448500 #constraints=34727
1200.36/1201.17	c nbDecision=449000 #constraints=34756
1202.94/1203.75	c nbDecision=449500 #constraints=34789
1205.64/1206.46	c nbDecision=450000 #constraints=34826
1208.34/1209.19	c nbDecision=450500 #constraints=34855
1211.24/1212.07	c nbDecision=451000 #constraints=34888
1214.14/1214.93	c nbDecision=451500 #constraints=34931
1217.64/1218.48	c nbDecision=452000 #constraints=34989
1220.33/1221.18	c nbDecision=452500 #constraints=35027
1222.73/1223.53	c nbDecision=453000 #constraints=35043
1225.13/1225.98	c nbDecision=453500 #constraints=35065
1227.52/1228.37	c nbDecision=454000 #constraints=35088
1230.42/1231.28	c nbDecision=454500 #constraints=35109
1233.62/1234.49	c nbDecision=455000 #constraints=35154
1236.72/1237.59	c nbDecision=455500 #constraints=35189
1239.41/1240.25	c nbDecision=456000 #constraints=35294
1242.01/1242.81	c nbDecision=456500 #constraints=35357
1245.31/1246.18	c nbDecision=457000 #constraints=35474
1248.90/1249.77	c nbDecision=457500 #constraints=35579
1251.60/1252.44	c nbDecision=458000 #constraints=35629
1254.00/1254.80	c nbDecision=458500 #constraints=35647
1256.60/1257.48	c nbDecision=459000 #constraints=35684
1259.41/1260.20	c nbDecision=459500 #constraints=35731
1263.21/1264.04	c nbDecision=460000 #constraints=35818
1266.21/1267.10	c nbDecision=460500 #constraints=35856
1269.11/1269.93	c nbDecision=461000 #constraints=35890
1272.30/1273.12	c nbDecision=461500 #constraints=35938
1275.58/1276.47	c nbDecision=462000 #constraints=35964
1279.08/1279.90	c nbDecision=462500 #constraints=36033
1282.48/1283.35	c nbDecision=463000 #constraints=36094
1285.28/1286.16	c nbDecision=463500 #constraints=36124
1288.68/1289.54	c nbDecision=464000 #constraints=36197
1291.87/1292.78	c nbDecision=464500 #constraints=36275
1294.97/1295.84	c nbDecision=465000 #constraints=36366
1297.76/1298.66	c nbDecision=465500 #constraints=36469
1300.76/1301.67	c nbDecision=466000 #constraints=36520
1303.46/1304.33	c nbDecision=466500 #constraints=36560
1305.67/1306.55	c nbDecision=467000 #constraints=36567
1308.97/1309.85	c nbDecision=467500 #constraints=36597
1311.67/1312.57	c nbDecision=468000 #constraints=36628
1314.37/1315.28	c nbDecision=468500 #constraints=36668
1317.16/1318.01	c nbDecision=469000 #constraints=36702
1319.65/1320.58	c nbDecision=469500 #constraints=36750
1322.95/1323.87	c nbDecision=470000 #constraints=36799
1325.25/1326.13	c nbDecision=470500 #constraints=36810
1327.85/1328.74	c nbDecision=471000 #constraints=36847
1330.85/1331.73	c nbDecision=471500 #constraints=36900
1334.45/1335.40	c nbDecision=472000 #constraints=36959
1337.84/1338.77	c nbDecision=472500 #constraints=36998
1340.84/1341.72	c nbDecision=473000 #constraints=37048
1344.13/1345.03	c nbDecision=473500 #constraints=37106
1346.93/1347.88	c nbDecision=474000 #constraints=37145
1349.84/1350.77	c nbDecision=474500 #constraints=37183
1352.63/1353.50	c nbDecision=475000 #constraints=37222
1355.33/1356.30	c nbDecision=475500 #constraints=37261
1358.63/1359.58	c nbDecision=476000 #constraints=37294
1361.03/1361.95	c nbDecision=476500 #constraints=37307
1363.52/1364.46	c nbDecision=477000 #constraints=37317
1366.12/1367.03	c nbDecision=477500 #constraints=37344
1369.32/1370.20	c nbDecision=478000 #constraints=37373
1371.71/1372.67	c nbDecision=478500 #constraints=37388
1374.51/1375.43	c nbDecision=479000 #constraints=37414
1376.81/1377.70	c nbDecision=479500 #constraints=37421
1380.01/1380.98	c nbDecision=480000 #constraints=37444
1382.81/1383.75	c nbDecision=480500 #constraints=37467
1385.50/1386.43	c nbDecision=481000 #constraints=37505
1388.41/1389.39	c nbDecision=481500 #constraints=37540
1391.10/1392.07	c nbDecision=482000 #constraints=37580
1394.40/1395.34	c nbDecision=482500 #constraints=37607
1397.21/1398.12	c nbDecision=483000 #constraints=37643
1399.60/1400.57	c nbDecision=483500 #constraints=37662
1402.20/1403.10	c nbDecision=484000 #constraints=37697
1405.30/1406.23	c nbDecision=484500 #constraints=37719
1408.30/1409.22	c nbDecision=485000 #constraints=37794
1411.08/1412.10	c nbDecision=485500 #constraints=37830
1414.47/1415.42	c nbDecision=486000 #constraints=37898
1417.18/1418.11	c nbDecision=486500 #constraints=37941
1421.28/1422.30	c nbDecision=487000 #constraints=38018
1424.27/1425.23	c nbDecision=487500 #constraints=38061
1427.07/1428.00	c nbDecision=488000 #constraints=38103
1429.87/1430.80	c nbDecision=488500 #constraints=38139
1433.37/1434.34	c nbDecision=489000 #constraints=38183
1435.86/1436.85	c nbDecision=489500 #constraints=38204
1438.36/1439.36	c nbDecision=490000 #constraints=38227
1441.06/1442.10	c nbDecision=490500 #constraints=38255
1444.46/1445.42	c nbDecision=491000 #constraints=38287
1446.76/1447.79	c nbDecision=491500 #constraints=38303
1449.56/1450.50	c nbDecision=492000 #constraints=38326
1452.06/1453.02	c nbDecision=492500 #constraints=38347
1455.55/1456.51	c nbDecision=493000 #constraints=38384
1457.85/1458.81	c nbDecision=493500 #constraints=38389
1460.75/1461.80	c nbDecision=494000 #constraints=38436
1463.05/1464.06	c nbDecision=494500 #constraints=38444
1466.45/1467.44	c nbDecision=495000 #constraints=38473
1469.34/1470.31	c nbDecision=495500 #constraints=38504
1472.04/1473.09	c nbDecision=496000 #constraints=38530
1475.53/1476.57	c nbDecision=496500 #constraints=38563
1477.93/1478.93	c nbDecision=497000 #constraints=38569
1480.74/1481.72	c nbDecision=497500 #constraints=38589
1484.13/1485.18	c nbDecision=498000 #constraints=38629
1486.53/1487.51	c nbDecision=498500 #constraints=38636
1489.24/1490.21	c nbDecision=499000 #constraints=38674
1491.64/1492.67	c nbDecision=499500 #constraints=38691
1495.14/1496.13	c nbDecision=500000 #constraints=38727
1497.83/1498.83	c nbDecision=500500 #constraints=38747
1500.44/1501.49	c nbDecision=501000 #constraints=38767
1503.73/1504.74	c nbDecision=501500 #constraints=38786
1506.23/1507.24	c nbDecision=502000 #constraints=38804
1508.73/1509.75	c nbDecision=502500 #constraints=38817
1511.22/1512.20	c nbDecision=503000 #constraints=38833
1514.42/1515.45	c nbDecision=503500 #constraints=38854
1517.32/1518.35	c nbDecision=504000 #constraints=38899
1520.11/1521.16	c nbDecision=504500 #constraints=38924
1522.52/1523.58	c nbDecision=505000 #constraints=38938
1526.01/1527.08	c nbDecision=505500 #constraints=38975
1528.41/1529.43	c nbDecision=506000 #constraints=38981
1531.11/1532.16	c nbDecision=506500 #constraints=39007
1534.41/1535.40	c nbDecision=507000 #constraints=39030
1537.01/1538.09	c nbDecision=507500 #constraints=39048
1539.71/1540.70	c nbDecision=508000 #constraints=39064
1543.01/1544.08	c nbDecision=508500 #constraints=39096
1545.61/1546.67	c nbDecision=509000 #constraints=39116
1548.20/1549.24	c nbDecision=509500 #constraints=39132
1550.61/1551.67	c nbDecision=510000 #constraints=39155
1553.90/1554.97	c nbDecision=510500 #constraints=39178
1556.51/1557.54	c nbDecision=511000 #constraints=39190
1559.20/1560.28	c nbDecision=511500 #constraints=39215
1562.40/1563.41	c nbDecision=512000 #constraints=39227
1564.80/1565.83	c nbDecision=512500 #constraints=39239
1567.09/1568.16	c nbDecision=513000 #constraints=39245
1569.29/1570.38	c nbDecision=513500 #constraints=39247
1572.69/1573.73	c nbDecision=514000 #constraints=39265
1575.20/1576.27	c nbDecision=514500 #constraints=39276
1577.69/1578.75	c nbDecision=515000 #constraints=39288
1581.19/1582.23	c nbDecision=515500 #constraints=39349
1584.79/1585.88	c nbDecision=516000 #constraints=39360
1587.59/1588.69	c nbDecision=516500 #constraints=39389
1590.49/1591.53	c nbDecision=517000 #constraints=39414
1593.18/1594.23	c nbDecision=517500 #constraints=39433
1597.08/1598.19	c nbDecision=518000 #constraints=39490
1599.68/1600.78	c nbDecision=518500 #constraints=39502
1603.17/1604.24	c nbDecision=519000 #constraints=39526
1605.77/1606.86	c nbDecision=519500 #constraints=39549
1608.47/1609.54	c nbDecision=520000 #constraints=39570
1612.86/1613.94	c nbDecision=520500 #constraints=39667
1617.07/1618.14	c nbDecision=521000 #constraints=39722
1619.96/1621.03	c nbDecision=521500 #constraints=39768
1622.86/1623.93	c nbDecision=522000 #constraints=39807
1626.26/1627.34	c nbDecision=522500 #constraints=39837
1628.96/1630.10	c nbDecision=523000 #constraints=39864
1631.96/1633.05	c nbDecision=523500 #constraints=39902
1635.06/1636.16	c nbDecision=524000 #constraints=39939
1638.45/1639.59	c nbDecision=524500 #constraints=39967
1642.14/1643.27	c nbDecision=525000 #constraints=40019
1645.04/1646.15	c nbDecision=525500 #constraints=40033
1647.53/1648.65	c nbDecision=526000 #constraints=40041
1651.33/1652.45	c nbDecision=526500 #constraints=40084
1653.93/1655.04	c nbDecision=527000 #constraints=40097
1656.63/1657.72	c nbDecision=527500 #constraints=40113
1659.02/1660.20	c nbDecision=528000 #constraints=40134
1662.42/1663.53	c nbDecision=528500 #constraints=40153
1665.22/1666.35	c nbDecision=529000 #constraints=40177
1668.42/1669.51	c nbDecision=529500 #constraints=40217
1671.82/1672.90	c nbDecision=530000 #constraints=40259
1674.32/1675.49	c nbDecision=530500 #constraints=40267
1678.42/1679.51	c nbDecision=531000 #constraints=40354
1681.22/1682.37	c nbDecision=531500 #constraints=40398
1683.82/1684.90	c nbDecision=532000 #constraints=40425
1686.40/1687.57	c nbDecision=532500 #constraints=40438
1690.40/1691.53	c nbDecision=533000 #constraints=40513
1693.90/1695.04	c nbDecision=533500 #constraints=40562
1697.69/1698.88	c nbDecision=534000 #constraints=40620
1701.09/1702.30	c nbDecision=534500 #constraints=40664
1705.39/1706.53	c nbDecision=535000 #constraints=40724
1708.08/1709.28	c nbDecision=535500 #constraints=40741
1710.88/1712.09	c nbDecision=536000 #constraints=40760
1714.18/1715.33	c nbDecision=536500 #constraints=40810
1716.99/1718.18	c nbDecision=537000 #constraints=40838
1721.19/1722.30	c nbDecision=537500 #constraints=40890
1723.89/1725.02	c nbDecision=538000 #constraints=40902
1726.89/1728.10	c nbDecision=538500 #constraints=40933
1729.89/1731.04	c nbDecision=539000 #constraints=40965
1732.88/1734.02	c nbDecision=539500 #constraints=40991
1736.58/1737.70	c nbDecision=540000 #constraints=41033
1740.18/1741.38	c nbDecision=540500 #constraints=41109
1743.17/1744.30	c nbDecision=541000 #constraints=41143
1746.57/1747.70	c nbDecision=541500 #constraints=41162
1749.57/1750.77	c nbDecision=542000 #constraints=41191
1752.27/1753.46	c nbDecision=542500 #constraints=41208
1754.77/1755.99	c nbDecision=543000 #constraints=41213
1758.16/1759.39	c nbDecision=543500 #constraints=41223
1761.26/1762.47	c nbDecision=544000 #constraints=41275
1764.26/1765.44	c nbDecision=544500 #constraints=41297
1767.56/1768.73	c nbDecision=545000 #constraints=41327
1770.76/1771.96	c nbDecision=545500 #constraints=41354
1774.46/1775.61	c nbDecision=546000 #constraints=41391
1777.25/1778.49	c nbDecision=546500 #constraints=41410
1781.34/1782.51	c nbDecision=547000 #constraints=41461
1784.24/1785.41	c nbDecision=547500 #constraints=41469
1787.44/1788.63	c nbDecision=548000 #constraints=41497
1790.94/1792.12	c nbDecision=548500 #constraints=41516
1793.73/1794.92	c nbDecision=549000 #constraints=41531
1796.73/1797.90	c nbDecision=549500 #constraints=41561
1799.54/1800.71	c nbDecision=550000 #constraints=41584
1800.04/1801.20	Received signal 15
1800.04/1801.20	
1800.04/1801.20	s UNKNOWN
1800.04/1801.20	
1800.04/1801.20	c user time= 1799.64 s
1800.04/1801.20	c system time= 0.407937 s
1800.04/1801.20	c wall clock time=1801.21

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/node52/watcher-356941-1176848926 -o ROOT/results/node52/solver-356941-1176848926 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356941-1176848926/instance-356941-1176848926.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.96 3/64 29168
/proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=1468 CPUtime=0
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 39737676 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 367 162 127 317 0 46 0

[startup+0.0698799 s]
/proc/loadavg: 0.72 0.93 0.96 3/64 29168
/proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=2656 CPUtime=0.06
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 472 0 0 0 6 0 0 0 18 0 1 0 39737676 2719744 454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 664 454 131 317 0 343 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2656

[startup+0.101882 s]
/proc/loadavg: 0.72 0.93 0.96 3/64 29168
/proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=3452 CPUtime=0.09
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 39737676 3534848 660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 863 660 131 317 0 542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3452

[startup+0.301895 s]
/proc/loadavg: 0.72 0.93 0.96 3/64 29168
/proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=8628 CPUtime=0.29
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 1953 0 0 0 28 1 0 0 19 0 1 0 39737676 8835072 1935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 2157 1935 131 317 0 1836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8628

[startup+0.701922 s]
/proc/loadavg: 0.72 0.93 0.96 3/64 29168
/proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=19116 CPUtime=0.7
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 4597 0 0 0 68 2 0 0 23 0 1 0 39737676 19574784 4579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 4779 4579 138 317 0 4458 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 19116

[startup+1.50198 s]
/proc/loadavg: 0.72 0.93 0.96 2/65 29169
/proc/meminfo: memFree=1764028/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=19116 CPUtime=1.49
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 4597 0 0 0 147 2 0 0 25 0 1 0 39737676 19574784 4579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 4779 4579 138 317 0 4458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19116

[startup+3.10109 s]
/proc/loadavg: 0.72 0.93 0.96 2/65 29169
/proc/meminfo: memFree=1763836/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=19404 CPUtime=3.09
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 4657 0 0 0 307 2 0 0 25 0 1 0 39737676 19869696 4639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 4851 4639 139 317 0 4530 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19404

[startup+6.3013 s]
/proc/loadavg: 0.74 0.94 0.96 2/65 29169
/proc/meminfo: memFree=1763004/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=20456 CPUtime=6.29
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 4938 0 0 0 627 2 0 0 25 0 1 0 39737676 20946944 4920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 5114 4920 139 317 0 4793 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20456

[startup+12.7027 s]
/proc/loadavg: 0.76 0.94 0.96 2/65 29169
/proc/meminfo: memFree=1760124/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=22956 CPUtime=12.69
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 5576 0 0 0 1266 3 0 0 25 0 1 0 39737676 23506944 5558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 5739 5558 170 317 0 5418 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22956

[startup+25.5016 s]
/proc/loadavg: 0.81 0.94 0.96 2/65 29169
/proc/meminfo: memFree=1755772/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=27356 CPUtime=25.48
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 6668 0 0 0 2544 4 0 0 25 0 1 0 39737676 28012544 6650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 6839 6650 170 317 0 6518 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27356

[startup+51.1013 s]
/proc/loadavg: 0.87 0.94 0.96 2/65 29169
/proc/meminfo: memFree=1746940/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=36188 CPUtime=51.05
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 8905 0 0 0 5099 6 0 0 25 0 1 0 39737676 37056512 8887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 9047 8887 170 317 0 8726 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 36188

[startup+102.306 s]
/proc/loadavg: 0.94 0.95 0.96 2/65 29169
/proc/meminfo: memFree=1731580/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=51492 CPUtime=102.22
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 12725 0 0 0 10213 9 0 0 25 0 1 0 39737676 52727808 12663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 12873 12663 170 317 0 12552 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 51492

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.96 2/65 29169
/proc/meminfo: memFree=1721340/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=62448 CPUtime=162.2
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 15318 0 0 0 16209 11 0 0 25 0 1 0 39737676 63946752 15256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 15612 15256 170 317 0 15291 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 62448

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.96 2/65 29169
/proc/meminfo: memFree=1712124/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=71832 CPUtime=222.16
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 17657 0 0 0 22203 13 0 0 25 0 1 0 39737676 73555968 17509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 17958 17509 170 317 0 17637 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 71832

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1706556/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=77428 CPUtime=282.14
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 19067 0 0 0 28200 14 0 0 25 0 1 0 39737676 79286272 18919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 19357 18919 170 317 0 19036 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 77428

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1701628/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=82396 CPUtime=342.11
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 20276 0 0 0 34195 16 0 0 25 0 1 0 39737676 84373504 20128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 20599 20128 170 317 0 20278 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 82396

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1697340/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=86916 CPUtime=402.05
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 21364 0 0 0 40188 17 0 0 25 0 1 0 39737676 89001984 21216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604210 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 21729 21216 170 317 0 21408 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 86916

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1692412/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=92260 CPUtime=462.01
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 22593 0 0 0 46184 17 0 0 25 0 1 0 39737676 94474240 22445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 23065 22445 170 317 0 22744 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 92260

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1684604/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=100632 CPUtime=521.99
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 24534 0 0 0 52180 19 0 0 25 0 1 0 39737676 103047168 24386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 25158 24386 170 317 0 24837 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 100632

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1678332/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=106952 CPUtime=581.92
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 26084 0 0 0 58172 20 0 0 25 0 1 0 39737676 109518848 25936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29168/statm: 26738 25936 170 317 0 26417 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 106952

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1672188/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=113396 CPUtime=641.89
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 27621 0 0 0 64168 21 0 0 25 0 1 0 39737676 116117504 27473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 28349 27473 170 317 0 28028 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 113396


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1658300/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=128620 CPUtime=821.78
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 31255 0 0 0 82154 24 0 0 25 0 1 0 39737676 131706880 30936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 32155 30936 170 317 0 31834 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 128620

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1654332/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=132576 CPUtime=881.76
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 32236 0 0 0 88151 25 0 0 25 0 1 0 39737676 135757824 31917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 33144 31917 170 317 0 32823 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 132576

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1649532/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=137728 CPUtime=941.69
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 33470 0 0 0 94144 25 0 0 25 0 1 0 39737676 141033472 33151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 34432 33151 170 317 0 34111 0
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (KiB) 137728

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1644028/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=143144 CPUtime=1001.65
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 34813 0 0 0 100138 27 0 0 25 0 1 0 39737676 146579456 34494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 35786 34494 170 317 0 35465 0
Current children cumulated CPU time (s) 1001.65
Current children cumulated vsize (KiB) 143144

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1638012/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=149228 CPUtime=1061.63
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 36321 0 0 0 106134 29 0 0 25 0 1 0 39737676 152809472 36002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 37307 36002 170 317 0 36986 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 149228

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1631612/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=155856 CPUtime=1121.59
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 37943 0 0 0 112128 31 0 0 25 0 1 0 39737676 159596544 37591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 38964 37591 170 317 0 38643 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 155856

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1627324/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=160252 CPUtime=1181.55
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 39005 0 0 0 118123 32 0 0 25 0 1 0 39737676 164098048 38653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 40063 38653 170 317 0 39742 0
Current children cumulated CPU time (s) 1181.55
Current children cumulated vsize (KiB) 160252

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1623420/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=163876 CPUtime=1241.51
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 39947 0 0 0 124118 33 0 0 25 0 1 0 39737676 167809024 39595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 40969 39595 170 317 0 40648 0
Current children cumulated CPU time (s) 1241.51
Current children cumulated vsize (KiB) 163876

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1617532/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=169868 CPUtime=1301.47
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 41413 0 0 0 130113 34 0 0 25 0 1 0 39737676 173944832 41061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 42467 41061 170 317 0 42146 0
Current children cumulated CPU time (s) 1301.47
Current children cumulated vsize (KiB) 169868

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1613372/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=174128 CPUtime=1361.43
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 42448 0 0 0 136108 35 0 0 25 0 1 0 39737676 178307072 42096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 43532 42096 170 317 0 43211 0
Current children cumulated CPU time (s) 1361.43
Current children cumulated vsize (KiB) 174128

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 29169
/proc/meminfo: memFree=1609468/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=178196 CPUtime=1421.38
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 43451 0 0 0 142102 36 0 0 25 0 1 0 39737676 182472704 43099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 44549 43099 170 317 0 44228 0
Current children cumulated CPU time (s) 1421.38
Current children cumulated vsize (KiB) 178196

[startup+1482.3 s]
/proc/loadavg: 1.05 0.99 0.97 2/65 29169
/proc/meminfo: memFree=1605884/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=181904 CPUtime=1481.33
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 44378 0 0 0 148097 36 0 0 25 0 1 0 39737676 186269696 44026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 45476 44026 170 317 0 45155 0
Current children cumulated CPU time (s) 1481.33
Current children cumulated vsize (KiB) 181904

[startup+1542.3 s]
/proc/loadavg: 1.13 1.02 0.98 2/65 29169
/proc/meminfo: memFree=1602492/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=185004 CPUtime=1541.3
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 45184 0 0 0 154093 37 0 0 25 0 1 0 39737676 189444096 44832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 46251 44832 170 317 0 45930 0
Current children cumulated CPU time (s) 1541.3
Current children cumulated vsize (KiB) 185004

[startup+1602.3 s]
/proc/loadavg: 1.16 1.04 0.99 2/65 29169
/proc/meminfo: memFree=1599612/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=188112 CPUtime=1601.27
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 45906 0 0 0 160089 38 0 0 25 0 1 0 39737676 192626688 45554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 47028 45554 170 317 0 46707 0
Current children cumulated CPU time (s) 1601.27
Current children cumulated vsize (KiB) 188112

[startup+1662.3 s]
/proc/loadavg: 1.06 1.03 0.99 2/65 29169
/proc/meminfo: memFree=1596156/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=191360 CPUtime=1661.22
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 46759 0 0 0 166083 39 0 0 25 0 1 0 39737676 195952640 46407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 47840 46407 170 317 0 47519 0
Current children cumulated CPU time (s) 1661.22
Current children cumulated vsize (KiB) 191360

[startup+1722.3 s]
/proc/loadavg: 1.02 1.02 0.99 2/65 29169
/proc/meminfo: memFree=1591996/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=195568 CPUtime=1721.19
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 47823 0 0 0 172079 40 0 0 25 0 1 0 39737676 200261632 47471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 48892 47471 170 317 0 48571 0
Current children cumulated CPU time (s) 1721.19
Current children cumulated vsize (KiB) 195568

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 0.99 2/65 29169
/proc/meminfo: memFree=1588220/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=199264 CPUtime=1781.14
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 48700 0 0 0 178074 40 0 0 25 0 1 0 39737676 204046336 48348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 49816 48348 170 317 0 49495 0
Current children cumulated CPU time (s) 1781.14
Current children cumulated vsize (KiB) 199264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.00 1.02 0.99 2/65 29169
/proc/meminfo: memFree=1587516/2055920 swapFree=4179264/4192956
[pid=29168] ppid=29166 vsize=200080 CPUtime=1800.04
/proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 48885 0 0 0 179964 40 0 0 25 0 1 0 39737676 204881920 48533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/29168/statm: 50020 48533 170 317 0 49699 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 200080

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): 1801.25
CPU time (s): 1800.09
CPU user time (s): 1799.66
CPU system time (s): 0.435933
CPU usage (%): 99.9357
Max. virtual memory (cumulated for all children) (KiB): 200080

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

runsolver used 1.69874 second user time and 4.91525 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue Apr 17 22:28:46 UTC 2007

IDJOB= 356941
IDBENCH= 1665
IDSOLVER= 172
FILE ID= node52/356941-1176848926

PBS_JOBID= 4590231

Free space on /tmp= 66343 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-grow22.opb
COMMAND LINE= oree /tmp/evaluation/356941-1176848926/instance-356941-1176848926.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-356941-1176848926 -o ROOT/results/node52/solver-356941-1176848926 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356941-1176848926/instance-356941-1176848926.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  16450e6196a99d1fc33b5d9a0f64103d

RANDOM SEED= 725001950

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1782300 kB
Buffers:         25728 kB
Cached:         193864 kB
SwapCached:       7936 kB
Active:          92672 kB
Inactive:       140312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1782300 kB
SwapTotal:     4192956 kB
SwapFree:      4179264 kB
Dirty:            3120 kB
Writeback:           0 kB
Mapped:          15164 kB
Slab:            26688 kB
Committed_AS:  1524188 kB
PageTables:       1484 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= 66343 MiB

End job on node52 on Tue Apr 17 22:58:50 UTC 2007