Trace number 363028

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.11 1801.35

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-bnl2.opb
MD5SUM4c72c91139ee79c29342b8f97e9b4cad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.47247
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables104670
Total number of constraints2262
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 constraints2262
Minimum length of a constraint30
Maximum length of a constraint2460
Number of terms in the objective function 50550
Biggest coefficient in the objective function 14942
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 568060
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 568060
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...
1.19/1.22	c ...done
1.19/1.22	c #vars=104670 #constraints=3590 hasObjective=yes
1.99/2.09	c res. mode=mod
1.99/2.09	c VSIDS like heuristics
1.99/2.09	c complete search running
3.39/3.48	c restart after 401 decisions
3.69/3.70	c nbDecision=500 #constraints=3591
4.40/4.48	c restart after 801 decisions
4.89/4.97	c nbDecision=1000 #constraints=3591
6.19/6.26	c nbDecision=1500 #constraints=3591
6.49/6.53	c restart after 1601 decisions
7.49/7.53	c nbDecision=2000 #constraints=3591
8.79/8.82	c nbDecision=2500 #constraints=3591
10.09/10.11	c nbDecision=3000 #constraints=3591
10.59/10.60	c restart after 3201 decisions
11.29/11.35	c nbDecision=3500 #constraints=3592
12.59/12.65	c nbDecision=4000 #constraints=3592
13.89/13.95	c nbDecision=4500 #constraints=3592
15.18/15.28	c nbDecision=5000 #constraints=3632
16.49/16.58	c nbDecision=5500 #constraints=3632
17.78/17.88	c nbDecision=6000 #constraints=3632
18.88/18.92	c restart after 6401 decisions
19.08/19.14	c nbDecision=6500 #constraints=3632
20.38/20.44	c nbDecision=7000 #constraints=3632
21.68/21.73	c nbDecision=7500 #constraints=3632
22.98/23.01	c nbDecision=8000 #constraints=3632
24.28/24.31	c nbDecision=8500 #constraints=3677
25.58/25.60	c nbDecision=9000 #constraints=3677
26.78/26.89	c nbDecision=9500 #constraints=3677
28.08/28.15	c nbDecision=10000 #constraints=3678
29.38/29.44	c nbDecision=10500 #constraints=3678
30.68/30.73	c nbDecision=11000 #constraints=3678
32.07/32.14	c nbDecision=11500 #constraints=3765
33.37/33.48	c nbDecision=12000 #constraints=3801
34.67/34.79	c nbDecision=12500 #constraints=3801
35.47/35.57	c restart after 12801 decisions
35.97/36.06	c nbDecision=13000 #constraints=3801
37.27/37.36	c nbDecision=13500 #constraints=3801
38.57/38.66	c nbDecision=14000 #constraints=3801
39.87/39.94	c nbDecision=14500 #constraints=3823
41.17/41.23	c nbDecision=15000 #constraints=3823
42.47/42.52	c nbDecision=15500 #constraints=3823
43.77/43.81	c nbDecision=16000 #constraints=3832
44.97/45.07	c nbDecision=16500 #constraints=3833
46.26/46.36	c nbDecision=17000 #constraints=3833
47.56/47.64	c nbDecision=17500 #constraints=3833
48.86/48.92	c nbDecision=18000 #constraints=3846
50.16/50.21	c nbDecision=18500 #constraints=3846
51.46/51.51	c nbDecision=19000 #constraints=3846
52.77/52.82	c nbDecision=19500 #constraints=3899
54.06/54.13	c nbDecision=20000 #constraints=3899
55.36/55.43	c nbDecision=20500 #constraints=3899
56.66/56.72	c nbDecision=21000 #constraints=3899
57.96/58.06	c nbDecision=21500 #constraints=3972
59.25/59.40	c nbDecision=22000 #constraints=3972
60.55/60.69	c nbDecision=22500 #constraints=3972
61.85/61.95	c nbDecision=23000 #constraints=3983
63.15/63.25	c nbDecision=23500 #constraints=3983
64.45/64.54	c nbDecision=24000 #constraints=3983
65.75/65.82	c nbDecision=24500 #constraints=3983
67.05/67.14	c nbDecision=25000 #constraints=4048
68.35/68.43	c nbDecision=25500 #constraints=4048
68.55/68.69	c restart after 25601 decisions
69.55/69.69	c nbDecision=26000 #constraints=4048
70.85/71.00	c nbDecision=26500 #constraints=4048
72.15/72.29	c nbDecision=27000 #constraints=4048
73.56/73.63	c nbDecision=27500 #constraints=4116
74.85/74.93	c nbDecision=28000 #constraints=4116
76.15/76.23	c nbDecision=28500 #constraints=4116
77.45/77.54	c nbDecision=29000 #constraints=4126
78.75/78.87	c nbDecision=29500 #constraints=4174
80.04/80.17	c nbDecision=30000 #constraints=4174
81.35/81.45	c nbDecision=30500 #constraints=4174
82.64/82.77	c nbDecision=31000 #constraints=4208
83.94/84.06	c nbDecision=31500 #constraints=4244
85.24/85.35	c nbDecision=32000 #constraints=4244
86.54/86.64	c nbDecision=32500 #constraints=4244
87.84/87.94	c nbDecision=33000 #constraints=4262
89.14/89.29	c nbDecision=33500 #constraints=4353
90.44/90.59	c nbDecision=34000 #constraints=4353
91.74/91.89	c nbDecision=34500 #constraints=4353
93.04/93.19	c nbDecision=35000 #constraints=4353
94.44/94.51	c nbDecision=35500 #constraints=4410
95.74/95.81	c nbDecision=36000 #constraints=4410
97.04/97.11	c nbDecision=36500 #constraints=4410
98.34/98.42	c nbDecision=37000 #constraints=4425
99.63/99.75	c nbDecision=37500 #constraints=4490
100.93/101.05	c nbDecision=38000 #constraints=4490
102.24/102.33	c nbDecision=38500 #constraints=4490
103.53/103.62	c nbDecision=39000 #constraints=4499
104.93/105.00	c nbDecision=39500 #constraints=4585
106.22/106.30	c nbDecision=40000 #constraints=4585
107.42/107.58	c nbDecision=40500 #constraints=4585
108.73/108.87	c nbDecision=41000 #constraints=4585
110.12/110.22	c nbDecision=41500 #constraints=4649
111.42/111.50	c nbDecision=42000 #constraints=4653
112.72/112.80	c nbDecision=42500 #constraints=4653
113.92/114.09	c nbDecision=43000 #constraints=4653
115.33/115.45	c nbDecision=43500 #constraints=4705
116.62/116.76	c nbDecision=44000 #constraints=4745
117.92/118.07	c nbDecision=44500 #constraints=4745
119.22/119.36	c nbDecision=45000 #constraints=4745
120.52/120.69	c nbDecision=45500 #constraints=4780
121.82/121.99	c nbDecision=46000 #constraints=4818
123.12/123.28	c nbDecision=46500 #constraints=4818
124.41/124.58	c nbDecision=47000 #constraints=4818
125.71/125.87	c nbDecision=47500 #constraints=4834
127.11/127.20	c nbDecision=48000 #constraints=4908
128.31/128.49	c nbDecision=48500 #constraints=4908
129.61/129.78	c nbDecision=49000 #constraints=4908
130.91/131.08	c nbDecision=49500 #constraints=4916
132.31/132.43	c nbDecision=50000 #constraints=4978
133.61/133.72	c nbDecision=50500 #constraints=4978
134.91/135.02	c nbDecision=51000 #constraints=4978
135.41/135.54	c restart after 51201 decisions
136.11/136.29	c nbDecision=51500 #constraints=4978
137.41/137.60	c nbDecision=52000 #constraints=4978
138.70/138.89	c nbDecision=52500 #constraints=4978
140.10/140.22	c nbDecision=53000 #constraints=5007
141.40/141.52	c nbDecision=53500 #constraints=5048
142.70/142.82	c nbDecision=54000 #constraints=5048
144.01/144.10	c nbDecision=54500 #constraints=5048
145.30/145.40	c nbDecision=55000 #constraints=5064
146.60/146.77	c nbDecision=55500 #constraints=5154
147.90/148.04	c nbDecision=56000 #constraints=5154
149.20/149.36	c nbDecision=56500 #constraints=5154
150.50/150.67	c nbDecision=57000 #constraints=5154
151.89/152.01	c nbDecision=57500 #constraints=5197
153.19/153.33	c nbDecision=58000 #constraints=5257
154.49/154.64	c nbDecision=58500 #constraints=5257
155.79/155.93	c nbDecision=59000 #constraints=5257
157.10/157.24	c nbDecision=59500 #constraints=5266
158.39/158.56	c nbDecision=60000 #constraints=5304
159.69/159.88	c nbDecision=60500 #constraints=5346
160.99/161.17	c nbDecision=61000 #constraints=5346
162.29/162.45	c nbDecision=61500 #constraints=5346
163.59/163.74	c nbDecision=62000 #constraints=5355
164.89/165.06	c nbDecision=62500 #constraints=5407
166.19/166.35	c nbDecision=63000 #constraints=5430
167.49/167.64	c nbDecision=63500 #constraints=5430
168.79/168.92	c nbDecision=64000 #constraints=5430
170.08/170.27	c nbDecision=64500 #constraints=5464
171.38/171.59	c nbDecision=65000 #constraints=5516
172.68/172.89	c nbDecision=65500 #constraints=5516
173.98/174.19	c nbDecision=66000 #constraints=5516
175.28/175.48	c nbDecision=66500 #constraints=5516
176.68/176.85	c nbDecision=67000 #constraints=5579
177.98/178.14	c nbDecision=67500 #constraints=5611
179.28/179.45	c nbDecision=68000 #constraints=5611
180.58/180.73	c nbDecision=68500 #constraints=5611
181.88/182.04	c nbDecision=69000 #constraints=5627
183.18/183.35	c nbDecision=69500 #constraints=5667
184.47/184.68	c nbDecision=70000 #constraints=5732
185.78/185.97	c nbDecision=70500 #constraints=5732
187.07/187.25	c nbDecision=71000 #constraints=5732
188.37/188.56	c nbDecision=71500 #constraints=5748
189.77/189.92	c nbDecision=72000 #constraints=5825
191.07/191.23	c nbDecision=72500 #constraints=5869
192.38/192.54	c nbDecision=73000 #constraints=5869
193.67/193.84	c nbDecision=73500 #constraints=5869
194.96/195.18	c nbDecision=74000 #constraints=5878
196.36/196.56	c nbDecision=74500 #constraints=5959
197.66/197.85	c nbDecision=75000 #constraints=5972
198.97/199.15	c nbDecision=75500 #constraints=5972
200.26/200.43	c nbDecision=76000 #constraints=5972
201.56/201.74	c nbDecision=76500 #constraints=5993
202.86/203.10	c nbDecision=77000 #constraints=6064
204.16/204.37	c nbDecision=77500 #constraints=6069
205.46/205.66	c nbDecision=78000 #constraints=6069
206.76/206.94	c nbDecision=78500 #constraints=6069
208.06/208.28	c nbDecision=79000 #constraints=6113
209.47/209.62	c nbDecision=79500 #constraints=6211
210.77/210.93	c nbDecision=80000 #constraints=6211
212.07/212.23	c nbDecision=80500 #constraints=6211
213.37/213.52	c nbDecision=81000 #constraints=6211
214.67/214.85	c nbDecision=81500 #constraints=6236
215.96/216.19	c nbDecision=82000 #constraints=6304
217.36/217.51	c nbDecision=82500 #constraints=6304
218.66/218.81	c nbDecision=83000 #constraints=6304
219.95/220.10	c nbDecision=83500 #constraints=6304
221.25/221.41	c nbDecision=84000 #constraints=6331
222.55/222.71	c nbDecision=84500 #constraints=6393
223.85/224.01	c nbDecision=85000 #constraints=6393
225.05/225.29	c nbDecision=85500 #constraints=6393
226.36/226.59	c nbDecision=86000 #constraints=6402
227.65/227.88	c nbDecision=86500 #constraints=6415
228.95/229.20	c nbDecision=87000 #constraints=6475
230.35/230.50	c nbDecision=87500 #constraints=6507
231.65/231.80	c nbDecision=88000 #constraints=6507
232.85/233.10	c nbDecision=88500 #constraints=6507
234.25/234.44	c nbDecision=89000 #constraints=6538
235.55/235.77	c nbDecision=89500 #constraints=6584
236.85/237.07	c nbDecision=90000 #constraints=6619
238.15/238.37	c nbDecision=90500 #constraints=6619
239.54/239.72	c nbDecision=91000 #constraints=6619
240.84/241.00	c nbDecision=91500 #constraints=6619
242.14/242.31	c nbDecision=92000 #constraints=6660
243.44/243.62	c nbDecision=92500 #constraints=6707
244.74/244.91	c nbDecision=93000 #constraints=6707
245.94/246.20	c nbDecision=93500 #constraints=6707
247.34/247.51	c nbDecision=94000 #constraints=6728
248.64/248.83	c nbDecision=94500 #constraints=6780
249.93/250.13	c nbDecision=95000 #constraints=6808
251.23/251.43	c nbDecision=95500 #constraints=6808
252.53/252.73	c nbDecision=96000 #constraints=6808
253.84/254.05	c nbDecision=96500 #constraints=6825
255.13/255.40	c nbDecision=97000 #constraints=6885
256.53/256.70	c nbDecision=97500 #constraints=6913
257.83/258.00	c nbDecision=98000 #constraints=6913
259.03/259.29	c nbDecision=98500 #constraints=6913
260.33/260.60	c nbDecision=99000 #constraints=6928
261.73/261.95	c nbDecision=99500 #constraints=6980
263.02/263.28	c nbDecision=100000 #constraints=6998
264.32/264.57	c nbDecision=100500 #constraints=6998
265.62/265.86	c nbDecision=101000 #constraints=6998
266.92/267.14	c nbDecision=101500 #constraints=6998
268.22/268.45	c nbDecision=102000 #constraints=7037
269.32/269.54	c restart after 102401 decisions
269.52/269.77	c nbDecision=102500 #constraints=7110
270.82/271.07	c nbDecision=103000 #constraints=7110
272.12/272.38	c nbDecision=103500 #constraints=7110
273.42/273.68	c nbDecision=104000 #constraints=7116
274.82/275.01	c nbDecision=104500 #constraints=7143
276.12/276.32	c nbDecision=105000 #constraints=7190
277.32/277.60	c nbDecision=105500 #constraints=7191
278.62/278.89	c nbDecision=106000 #constraints=7191
279.92/280.18	c nbDecision=106500 #constraints=7191
281.22/281.49	c nbDecision=107000 #constraints=7208
282.62/282.81	c nbDecision=107500 #constraints=7251
283.91/284.18	c nbDecision=108000 #constraints=7364
285.21/285.47	c nbDecision=108500 #constraints=7364
286.51/286.76	c nbDecision=109000 #constraints=7364
287.81/288.05	c nbDecision=109500 #constraints=7374
289.11/289.38	c nbDecision=110000 #constraints=7405
290.50/290.73	c nbDecision=110500 #constraints=7477
291.80/292.01	c nbDecision=111000 #constraints=7488
293.10/293.31	c nbDecision=111500 #constraints=7488
294.40/294.61	c nbDecision=112000 #constraints=7488
295.70/295.96	c nbDecision=112500 #constraints=7519
297.01/297.29	c nbDecision=113000 #constraints=7569
298.31/298.55	c nbDecision=113500 #constraints=7581
299.61/299.85	c nbDecision=114000 #constraints=7581
300.91/301.14	c nbDecision=114500 #constraints=7581
302.21/302.42	c nbDecision=115000 #constraints=7581
303.50/303.73	c nbDecision=115500 #constraints=7606
304.80/305.05	c nbDecision=116000 #constraints=7674
306.10/306.33	c nbDecision=116500 #constraints=7692
307.40/307.63	c nbDecision=117000 #constraints=7692
308.69/308.94	c nbDecision=117500 #constraints=7692
310.00/310.26	c nbDecision=118000 #constraints=7708
311.29/311.58	c nbDecision=118500 #constraints=7756
312.59/312.88	c nbDecision=119000 #constraints=7803
313.89/314.18	c nbDecision=119500 #constraints=7803
315.19/315.48	c nbDecision=120000 #constraints=7803
316.49/316.78	c nbDecision=120500 #constraints=7811
317.89/318.11	c nbDecision=121000 #constraints=7844
319.19/319.42	c nbDecision=121500 #constraints=7896
320.49/320.70	c nbDecision=122000 #constraints=7901
321.69/321.99	c nbDecision=122500 #constraints=7901
322.99/323.27	c nbDecision=123000 #constraints=7901
324.39/324.61	c nbDecision=123500 #constraints=7936
325.68/325.95	c nbDecision=124000 #constraints=8000
326.98/327.26	c nbDecision=124500 #constraints=8069
328.28/328.55	c nbDecision=125000 #constraints=8069
329.58/329.86	c nbDecision=125500 #constraints=8069
330.88/331.15	c nbDecision=126000 #constraints=8069
332.28/332.52	c nbDecision=126500 #constraints=8113
333.58/333.82	c nbDecision=127000 #constraints=8146
334.88/335.11	c nbDecision=127500 #constraints=8196
336.18/336.41	c nbDecision=128000 #constraints=8196
337.48/337.71	c nbDecision=128500 #constraints=8196
338.78/339.00	c nbDecision=129000 #constraints=8196
340.08/340.30	c nbDecision=129500 #constraints=8211
341.38/341.62	c nbDecision=130000 #constraints=8263
342.68/342.90	c nbDecision=130500 #constraints=8289
343.88/344.19	c nbDecision=131000 #constraints=8289
345.18/345.48	c nbDecision=131500 #constraints=8289
346.58/346.81	c nbDecision=132000 #constraints=8314
347.88/348.12	c nbDecision=132500 #constraints=8345
349.17/349.45	c nbDecision=133000 #constraints=8421
350.47/350.75	c nbDecision=133500 #constraints=8440
351.78/352.05	c nbDecision=134000 #constraints=8440
353.07/353.34	c nbDecision=134500 #constraints=8440
354.36/354.69	c nbDecision=135000 #constraints=8452
355.76/356.03	c nbDecision=135500 #constraints=8499
357.06/357.33	c nbDecision=136000 #constraints=8550
358.36/358.63	c nbDecision=136500 #constraints=8561
359.66/359.93	c nbDecision=137000 #constraints=8561
360.96/361.21	c nbDecision=137500 #constraints=8561
362.26/362.55	c nbDecision=138000 #constraints=8591
363.56/363.83	c nbDecision=138500 #constraints=8616
364.86/365.12	c nbDecision=139000 #constraints=8673
366.16/366.42	c nbDecision=139500 #constraints=8673
367.45/367.70	c nbDecision=140000 #constraints=8673
368.65/368.98	c nbDecision=140500 #constraints=8673
370.05/370.31	c nbDecision=141000 #constraints=8696
371.35/371.63	c nbDecision=141500 #constraints=8738
372.65/372.92	c nbDecision=142000 #constraints=8771
373.94/374.25	c nbDecision=142500 #constraints=8771
375.24/375.55	c nbDecision=143000 #constraints=8771
376.54/376.87	c nbDecision=143500 #constraints=8786
377.84/378.18	c nbDecision=144000 #constraints=8803
379.24/379.54	c nbDecision=144500 #constraints=8884
380.54/380.84	c nbDecision=145000 #constraints=8954
381.74/382.09	c nbDecision=145500 #constraints=8969
383.04/383.38	c nbDecision=146000 #constraints=8969
384.34/384.68	c nbDecision=146500 #constraints=8969
385.65/385.99	c nbDecision=147000 #constraints=8978
387.04/387.32	c nbDecision=147500 #constraints=9005
388.34/388.65	c nbDecision=148000 #constraints=9071
389.64/389.94	c nbDecision=148500 #constraints=9110
390.94/391.25	c nbDecision=149000 #constraints=9110
392.24/392.55	c nbDecision=149500 #constraints=9110
393.54/393.84	c nbDecision=150000 #constraints=9110
394.83/395.15	c nbDecision=150500 #constraints=9126
396.14/396.45	c nbDecision=151000 #constraints=9164
397.44/397.71	c nbDecision=151500 #constraints=9200
398.64/398.99	c nbDecision=152000 #constraints=9217
399.93/400.29	c nbDecision=152500 #constraints=9217
401.32/401.65	c nbDecision=153000 #constraints=9217
402.63/402.99	c nbDecision=153500 #constraints=9241
403.93/404.30	c nbDecision=154000 #constraints=9258
405.22/405.58	c nbDecision=154500 #constraints=9286
406.52/406.82	c nbDecision=155000 #constraints=9322
407.83/408.11	c nbDecision=155500 #constraints=9322
409.12/409.40	c nbDecision=156000 #constraints=9322
410.42/410.70	c nbDecision=156500 #constraints=9322
411.72/412.04	c nbDecision=157000 #constraints=9345
413.02/413.35	c nbDecision=157500 #constraints=9373
414.32/414.68	c nbDecision=158000 #constraints=9454
415.62/415.97	c nbDecision=158500 #constraints=9455
416.92/417.27	c nbDecision=159000 #constraints=9455
418.22/418.57	c nbDecision=159500 #constraints=9455
419.62/419.95	c nbDecision=160000 #constraints=9486
420.92/421.26	c nbDecision=160500 #constraints=9521
422.21/422.55	c nbDecision=161000 #constraints=9569
423.41/423.75	c nbDecision=161500 #constraints=9588
424.71/425.05	c nbDecision=162000 #constraints=9588
426.01/426.34	c nbDecision=162500 #constraints=9588
427.31/427.64	c nbDecision=163000 #constraints=9597
428.61/428.98	c nbDecision=163500 #constraints=9620
429.90/430.29	c nbDecision=164000 #constraints=9650
431.20/431.59	c nbDecision=164500 #constraints=9696
432.51/432.83	c nbDecision=165000 #constraints=9718
433.80/434.10	c nbDecision=165500 #constraints=9733
435.10/435.41	c nbDecision=166000 #constraints=9733
436.41/436.71	c nbDecision=166500 #constraints=9733
437.71/438.04	c nbDecision=167000 #constraints=9746
439.00/439.34	c nbDecision=167500 #constraints=9761
440.30/440.62	c nbDecision=168000 #constraints=9790
441.50/441.85	c nbDecision=168500 #constraints=9816
442.81/443.11	c nbDecision=169000 #constraints=9864
444.11/444.41	c nbDecision=169500 #constraints=9864
445.31/445.69	c nbDecision=170000 #constraints=9864
446.70/447.06	c nbDecision=170500 #constraints=9879
448.00/448.37	c nbDecision=171000 #constraints=9896
449.30/449.67	c nbDecision=171500 #constraints=9932
450.60/450.95	c nbDecision=172000 #constraints=9974
451.90/452.21	c nbDecision=172500 #constraints=10031
453.10/453.50	c nbDecision=173000 #constraints=10031
454.40/454.79	c nbDecision=173500 #constraints=10031
455.69/456.08	c nbDecision=174000 #constraints=10031
457.09/457.41	c nbDecision=174500 #constraints=10047
458.40/458.71	c nbDecision=175000 #constraints=10067
459.59/459.98	c nbDecision=175500 #constraints=10090
460.89/461.20	c nbDecision=176000 #constraints=10121
462.09/462.43	c nbDecision=176500 #constraints=10167
463.39/463.73	c nbDecision=177000 #constraints=10167
464.69/465.08	c nbDecision=177500 #constraints=10167
465.99/466.39	c nbDecision=178000 #constraints=10174
467.38/467.76	c nbDecision=178500 #constraints=10220
468.78/469.14	c nbDecision=179000 #constraints=10296
470.08/470.41	c nbDecision=179500 #constraints=10334
471.28/471.62	c nbDecision=180000 #constraints=10336
472.58/472.92	c nbDecision=180500 #constraints=10336
473.88/474.22	c nbDecision=181000 #constraints=10336
475.18/475.53	c nbDecision=181500 #constraints=10343
476.48/476.85	c nbDecision=182000 #constraints=10359
477.77/478.19	c nbDecision=182500 #constraints=10398
479.07/479.43	c nbDecision=183000 #constraints=10410
480.28/480.62	c nbDecision=183500 #constraints=10423
481.57/481.90	c nbDecision=184000 #constraints=10424
482.77/483.19	c nbDecision=184500 #constraints=10424
484.07/484.47	c nbDecision=185000 #constraints=10424
485.47/485.80	c nbDecision=185500 #constraints=10445
486.77/487.13	c nbDecision=186000 #constraints=10490
488.07/488.40	c nbDecision=186500 #constraints=10524
489.27/489.61	c nbDecision=187000 #constraints=10545
490.57/490.90	c nbDecision=187500 #constraints=10574
491.86/492.23	c nbDecision=188000 #constraints=10574
493.16/493.54	c nbDecision=188500 #constraints=10574
494.46/494.86	c nbDecision=189000 #constraints=10584
495.76/496.20	c nbDecision=189500 #constraints=10615
497.06/497.48	c nbDecision=190000 #constraints=10643
498.35/498.72	c nbDecision=190500 #constraints=10671
499.55/499.98	c nbDecision=191000 #constraints=10710
500.85/501.27	c nbDecision=191500 #constraints=10710
502.15/502.56	c nbDecision=192000 #constraints=10710
503.46/503.86	c nbDecision=192500 #constraints=10717
504.85/505.20	c nbDecision=193000 #constraints=10747
506.15/506.52	c nbDecision=193500 #constraints=10791
507.35/507.76	c nbDecision=194000 #constraints=10809
508.65/509.01	c nbDecision=194500 #constraints=10851
509.85/510.27	c nbDecision=195000 #constraints=10877
511.15/511.57	c nbDecision=195500 #constraints=10877
512.45/512.87	c nbDecision=196000 #constraints=10877
513.75/514.18	c nbDecision=196500 #constraints=10885
515.15/515.52	c nbDecision=197000 #constraints=10909
516.45/516.82	c nbDecision=197500 #constraints=10941
517.65/518.04	c nbDecision=198000 #constraints=10951
518.85/519.27	c nbDecision=198500 #constraints=10991
520.15/520.56	c nbDecision=199000 #constraints=10991
521.45/521.84	c nbDecision=199500 #constraints=10991
522.75/523.12	c nbDecision=200000 #constraints=10991
524.04/524.43	c nbDecision=200500 #constraints=10998
525.35/525.70	c nbDecision=201000 #constraints=11011
526.55/526.97	c nbDecision=201500 #constraints=11043
527.74/528.16	c nbDecision=202000 #constraints=11049
528.94/529.39	c nbDecision=202500 #constraints=11079
530.24/530.69	c nbDecision=203000 #constraints=11079
531.54/531.99	c nbDecision=203500 #constraints=11079
532.94/533.31	c nbDecision=204000 #constraints=11087
534.24/534.67	c nbDecision=204500 #constraints=11122
535.04/535.47	c restart after 204801 decisions
535.54/535.97	c nbDecision=205000 #constraints=11137
536.84/537.27	c nbDecision=205500 #constraints=11137
538.13/538.59	c nbDecision=206000 #constraints=11137
539.43/539.90	c nbDecision=206500 #constraints=11144
540.83/541.25	c nbDecision=207000 #constraints=11176
542.13/542.54	c nbDecision=207500 #constraints=11196
543.33/543.78	c nbDecision=208000 #constraints=11209
544.53/544.96	c nbDecision=208500 #constraints=11209
545.83/546.23	c nbDecision=209000 #constraints=11281
547.13/547.53	c nbDecision=209500 #constraints=11281
548.43/548.81	c nbDecision=210000 #constraints=11281
549.63/550.10	c nbDecision=210500 #constraints=11281
550.93/551.39	c nbDecision=211000 #constraints=11286
552.23/552.67	c nbDecision=211500 #constraints=11292
553.52/553.97	c nbDecision=212000 #constraints=11330
554.82/555.24	c nbDecision=212500 #constraints=11349
556.12/556.52	c nbDecision=213000 #constraints=11398
557.41/557.82	c nbDecision=213500 #constraints=11398
558.71/559.12	c nbDecision=214000 #constraints=11398
560.01/560.40	c nbDecision=214500 #constraints=11398
561.31/561.71	c nbDecision=215000 #constraints=11411
562.61/563.02	c nbDecision=215500 #constraints=11451
563.81/564.27	c nbDecision=216000 #constraints=11475
565.01/565.48	c nbDecision=216500 #constraints=11504
566.31/566.74	c nbDecision=217000 #constraints=11563
567.61/568.03	c nbDecision=217500 #constraints=11563
568.91/569.32	c nbDecision=218000 #constraints=11563
570.20/570.63	c nbDecision=218500 #constraints=11571
571.61/572.01	c nbDecision=219000 #constraints=11609
572.90/573.32	c nbDecision=219500 #constraints=11636
574.10/574.56	c nbDecision=220000 #constraints=11650
575.30/575.79	c nbDecision=220500 #constraints=11688
576.60/577.05	c nbDecision=221000 #constraints=11724
577.90/578.35	c nbDecision=221500 #constraints=11724
579.20/579.65	c nbDecision=222000 #constraints=11724
580.60/581.00	c nbDecision=222500 #constraints=11747
581.90/582.35	c nbDecision=223000 #constraints=11780
583.20/583.63	c nbDecision=223500 #constraints=11801
584.49/584.90	c nbDecision=224000 #constraints=11834
585.69/586.11	c nbDecision=224500 #constraints=11856
586.90/587.33	c nbDecision=225000 #constraints=11885
588.19/588.62	c nbDecision=225500 #constraints=11885
589.49/589.91	c nbDecision=226000 #constraints=11885
590.79/591.20	c nbDecision=226500 #constraints=11885
592.09/592.54	c nbDecision=227000 #constraints=11908
593.39/593.82	c nbDecision=227500 #constraints=11920
594.69/595.10	c nbDecision=228000 #constraints=11957
595.89/596.35	c nbDecision=228500 #constraints=11999
597.19/597.60	c nbDecision=229000 #constraints=12048
598.48/598.92	c nbDecision=229500 #constraints=12048
599.78/600.24	c nbDecision=230000 #constraints=12048
601.08/601.52	c nbDecision=230500 #constraints=12048
602.38/602.86	c nbDecision=231000 #constraints=12074
603.68/604.16	c nbDecision=231500 #constraints=12096
604.88/605.38	c nbDecision=232000 #constraints=12101
606.18/606.64	c nbDecision=232500 #constraints=12160
607.38/607.89	c nbDecision=233000 #constraints=12242
608.68/609.17	c nbDecision=233500 #constraints=12253
609.98/610.47	c nbDecision=234000 #constraints=12253
611.28/611.76	c nbDecision=234500 #constraints=12253
612.67/613.14	c nbDecision=235000 #constraints=12281
613.97/614.47	c nbDecision=235500 #constraints=12304
615.27/615.73	c nbDecision=236000 #constraints=12313
616.47/616.94	c nbDecision=236500 #constraints=12316
617.68/618.17	c nbDecision=237000 #constraints=12363
618.97/619.48	c nbDecision=237500 #constraints=12411
620.27/620.77	c nbDecision=238000 #constraints=12411
621.57/622.05	c nbDecision=238500 #constraints=12411
622.87/623.35	c nbDecision=239000 #constraints=12418
624.17/624.64	c nbDecision=239500 #constraints=12427
625.48/625.96	c nbDecision=240000 #constraints=12474
626.68/627.17	c nbDecision=240500 #constraints=12481
627.98/628.40	c nbDecision=241000 #constraints=12533
629.18/629.69	c nbDecision=241500 #constraints=12582
630.57/631.02	c nbDecision=242000 #constraints=12582
631.87/632.31	c nbDecision=242500 #constraints=12582
633.17/633.64	c nbDecision=243000 #constraints=12589
634.47/634.91	c nbDecision=243500 #constraints=12589
635.77/636.21	c nbDecision=244000 #constraints=12622
636.97/637.46	c nbDecision=244500 #constraints=12646
638.17/638.67	c nbDecision=245000 #constraints=12673
639.47/639.97	c nbDecision=245500 #constraints=12732
640.77/641.26	c nbDecision=246000 #constraints=12732
642.06/642.55	c nbDecision=246500 #constraints=12732
643.36/643.85	c nbDecision=247000 #constraints=12736
644.76/645.24	c nbDecision=247500 #constraints=12769
646.06/646.53	c nbDecision=248000 #constraints=12793
647.26/647.75	c nbDecision=248500 #constraints=12808
648.46/648.96	c nbDecision=249000 #constraints=12846
649.76/650.26	c nbDecision=249500 #constraints=12898
651.05/651.56	c nbDecision=250000 #constraints=12898
652.35/652.86	c nbDecision=250500 #constraints=12898
653.65/654.17	c nbDecision=251000 #constraints=12905
654.95/655.50	c nbDecision=251500 #constraints=12923
656.26/656.78	c nbDecision=252000 #constraints=12932
657.55/658.01	c nbDecision=252500 #constraints=12941
658.75/659.21	c nbDecision=253000 #constraints=12955
660.05/660.50	c nbDecision=253500 #constraints=13047
661.25/661.79	c nbDecision=254000 #constraints=13047
662.55/663.08	c nbDecision=254500 #constraints=13047
663.85/664.33	c nbDecision=255000 #constraints=13048
665.15/665.63	c nbDecision=255500 #constraints=13048
666.45/666.92	c nbDecision=256000 #constraints=13048
667.75/668.25	c nbDecision=256500 #constraints=13063
669.05/669.59	c nbDecision=257000 #constraints=13085
670.45/670.92	c nbDecision=257500 #constraints=13117
671.65/672.18	c nbDecision=258000 #constraints=13135
672.84/673.39	c nbDecision=258500 #constraints=13144
674.14/674.64	c nbDecision=259000 #constraints=13212
675.44/675.96	c nbDecision=259500 #constraints=13230
676.74/677.28	c nbDecision=260000 #constraints=13230
678.03/678.57	c nbDecision=260500 #constraints=13230
679.43/679.97	c nbDecision=261000 #constraints=13263
680.73/681.27	c nbDecision=261500 #constraints=13280
682.03/682.54	c nbDecision=262000 #constraints=13299
683.23/683.75	c nbDecision=262500 #constraints=13309
684.43/684.96	c nbDecision=263000 #constraints=13348
685.73/686.30	c nbDecision=263500 #constraints=13408
687.13/687.61	c nbDecision=264000 #constraints=13424
688.43/688.93	c nbDecision=264500 #constraints=13458
689.62/690.18	c nbDecision=265000 #constraints=13464
690.82/691.39	c nbDecision=265500 #constraints=13487
692.22/692.75	c nbDecision=266000 #constraints=13553
693.62/694.12	c nbDecision=266500 #constraints=13583
694.92/695.44	c nbDecision=267000 #constraints=13612
696.12/696.67	c nbDecision=267500 #constraints=13616
697.32/697.85	c nbDecision=268000 #constraints=13616
698.52/699.08	c nbDecision=268500 #constraints=13625
699.82/700.38	c nbDecision=269000 #constraints=13625
701.12/701.66	c nbDecision=269500 #constraints=13625
702.52/703.00	c nbDecision=270000 #constraints=13643
703.82/704.33	c nbDecision=270500 #constraints=13660
705.12/705.61	c nbDecision=271000 #constraints=13677
706.32/706.85	c nbDecision=271500 #constraints=13696
707.52/708.05	c nbDecision=272000 #constraints=13718
708.82/709.34	c nbDecision=272500 #constraints=13762
710.22/710.70	c nbDecision=273000 #constraints=13789
711.51/712.01	c nbDecision=273500 #constraints=13809
712.71/713.27	c nbDecision=274000 #constraints=13831
714.01/714.52	c nbDecision=274500 #constraints=13876
715.31/715.83	c nbDecision=275000 #constraints=13923
716.71/717.21	c nbDecision=275500 #constraints=13952
718.01/718.56	c nbDecision=276000 #constraints=13988
719.31/719.80	c nbDecision=276500 #constraints=13996
720.51/721.02	c nbDecision=277000 #constraints=14025
721.80/722.38	c nbDecision=277500 #constraints=14099
723.10/723.70	c nbDecision=278000 #constraints=14105
724.50/725.02	c nbDecision=278500 #constraints=14135
725.69/726.27	c nbDecision=279000 #constraints=14150
726.89/727.47	c nbDecision=279500 #constraints=14165
728.19/728.71	c nbDecision=280000 #constraints=14211
729.59/730.13	c nbDecision=280500 #constraints=14249
730.90/731.46	c nbDecision=281000 #constraints=14271
732.19/732.71	c nbDecision=281500 #constraints=14279
733.39/733.95	c nbDecision=282000 #constraints=14297
734.68/735.24	c nbDecision=282500 #constraints=14350
736.08/736.66	c nbDecision=283000 #constraints=14385
737.38/737.98	c nbDecision=283500 #constraints=14404
738.68/739.29	c nbDecision=284000 #constraints=14439
739.88/740.48	c nbDecision=284500 #constraints=14439
741.08/741.68	c nbDecision=285000 #constraints=14465
742.58/743.16	c nbDecision=285500 #constraints=14544
743.88/744.48	c nbDecision=286000 #constraints=14565
745.18/745.76	c nbDecision=286500 #constraints=14582
746.48/747.00	c nbDecision=287000 #constraints=14605
747.68/748.21	c nbDecision=287500 #constraints=14632
748.97/749.58	c nbDecision=288000 #constraints=14680
750.27/750.88	c nbDecision=288500 #constraints=14686
751.57/752.19	c nbDecision=289000 #constraints=14708
752.88/753.40	c nbDecision=289500 #constraints=14708
754.08/754.61	c nbDecision=290000 #constraints=14723
755.37/755.92	c nbDecision=290500 #constraints=14765
756.67/757.21	c nbDecision=291000 #constraints=14765
757.98/758.57	c nbDecision=291500 #constraints=14804
759.28/759.80	c nbDecision=292000 #constraints=14811
760.38/760.99	c nbDecision=292500 #constraints=14818
761.68/762.25	c nbDecision=293000 #constraints=14841
762.98/763.57	c nbDecision=293500 #constraints=14853
764.27/764.85	c nbDecision=294000 #constraints=14867
765.57/766.13	c nbDecision=294500 #constraints=14896
766.77/767.34	c nbDecision=295000 #constraints=14908
768.07/768.66	c nbDecision=295500 #constraints=14956
769.37/769.98	c nbDecision=296000 #constraints=14964
770.66/771.27	c nbDecision=296500 #constraints=14976
771.96/772.56	c nbDecision=297000 #constraints=15003
773.16/773.78	c nbDecision=297500 #constraints=15022
774.56/775.14	c nbDecision=298000 #constraints=15095
775.86/776.45	c nbDecision=298500 #constraints=15103
777.16/777.76	c nbDecision=299000 #constraints=15118
778.45/779.04	c nbDecision=299500 #constraints=15131
779.65/780.26	c nbDecision=300000 #constraints=15147
780.85/781.46	c nbDecision=300500 #constraints=15172
782.35/782.91	c nbDecision=301000 #constraints=15235
783.55/784.19	c nbDecision=301500 #constraints=15243
784.85/785.45	c nbDecision=302000 #constraints=15252
786.05/786.63	c nbDecision=302500 #constraints=15252
787.25/787.84	c nbDecision=303000 #constraints=15284
788.55/789.15	c nbDecision=303500 #constraints=15295
789.84/790.47	c nbDecision=304000 #constraints=15313
791.14/791.77	c nbDecision=304500 #constraints=15335
792.34/792.97	c nbDecision=305000 #constraints=15335
793.55/794.18	c nbDecision=305500 #constraints=15352
794.94/795.52	c nbDecision=306000 #constraints=15399
796.24/796.88	c nbDecision=306500 #constraints=15425
797.54/798.18	c nbDecision=307000 #constraints=15445
798.84/799.41	c nbDecision=307500 #constraints=15453
800.04/800.62	c nbDecision=308000 #constraints=15476
801.34/801.92	c nbDecision=308500 #constraints=15502
802.64/803.25	c nbDecision=309000 #constraints=15518
804.04/804.64	c nbDecision=309500 #constraints=15571
805.24/805.85	c nbDecision=310000 #constraints=15578
806.44/807.05	c nbDecision=310500 #constraints=15594
807.73/808.32	c nbDecision=311000 #constraints=15603
809.05/809.61	c nbDecision=311500 #constraints=15607
810.34/810.97	c nbDecision=312000 #constraints=15649
811.64/812.23	c nbDecision=312500 #constraints=15664
812.84/813.43	c nbDecision=313000 #constraints=15672
814.13/814.72	c nbDecision=313500 #constraints=15707
815.43/816.05	c nbDecision=314000 #constraints=15720
816.73/817.36	c nbDecision=314500 #constraints=15736
818.03/818.61	c nbDecision=315000 #constraints=15750
819.23/819.87	c nbDecision=315500 #constraints=15792
820.53/821.17	c nbDecision=316000 #constraints=15844
821.83/822.48	c nbDecision=316500 #constraints=15852
823.13/823.73	c nbDecision=317000 #constraints=15852
824.42/825.08	c nbDecision=317500 #constraints=15878
825.62/826.27	c nbDecision=318000 #constraints=15878
826.82/827.44	c nbDecision=318500 #constraints=15892
828.12/828.79	c nbDecision=319000 #constraints=15920
829.52/830.11	c nbDecision=319500 #constraints=15939
830.82/831.48	c nbDecision=320000 #constraints=15993
832.02/832.68	c nbDecision=320500 #constraints=15993
833.22/833.85	c nbDecision=321000 #constraints=15993
834.61/835.20	c nbDecision=321500 #constraints=16007
835.91/836.52	c nbDecision=322000 #constraints=16020
837.21/837.80	c nbDecision=322500 #constraints=16033
838.41/839.02	c nbDecision=323000 #constraints=16038
839.61/840.21	c nbDecision=323500 #constraints=16043
840.91/841.59	c nbDecision=324000 #constraints=16102
842.31/842.96	c nbDecision=324500 #constraints=16129
843.61/844.28	c nbDecision=325000 #constraints=16159
844.81/845.48	c nbDecision=325500 #constraints=16159
846.11/846.72	c nbDecision=326000 #constraints=16194
847.41/848.00	c nbDecision=326500 #constraints=16211
848.71/849.36	c nbDecision=327000 #constraints=16235
850.00/850.70	c nbDecision=327500 #constraints=16265
851.30/851.94	c nbDecision=328000 #constraints=16272
852.50/853.15	c nbDecision=328500 #constraints=16289
853.80/854.45	c nbDecision=329000 #constraints=16323
855.11/855.79	c nbDecision=329500 #constraints=16338
856.50/857.17	c nbDecision=330000 #constraints=16381
857.80/858.42	c nbDecision=330500 #constraints=16390
859.00/859.61	c nbDecision=331000 #constraints=16390
860.19/860.89	c nbDecision=331500 #constraints=16435
861.49/862.18	c nbDecision=332000 #constraints=16438
862.90/863.57	c nbDecision=332500 #constraints=16488
864.19/864.84	c nbDecision=333000 #constraints=16505
865.39/866.04	c nbDecision=333500 #constraints=16519
866.59/867.29	c nbDecision=334000 #constraints=16553
868.09/868.74	c nbDecision=334500 #constraints=16596
869.48/870.13	c nbDecision=335000 #constraints=16611
870.68/871.37	c nbDecision=335500 #constraints=16615
871.88/872.58	c nbDecision=336000 #constraints=16623
873.09/873.79	c nbDecision=336500 #constraints=16654
874.59/875.20	c nbDecision=337000 #constraints=16676
875.78/876.49	c nbDecision=337500 #constraints=16684
877.09/877.74	c nbDecision=338000 #constraints=16689
878.29/878.94	c nbDecision=338500 #constraints=16689
879.48/880.17	c nbDecision=339000 #constraints=16726
880.98/881.64	c nbDecision=339500 #constraints=16780
882.18/882.89	c nbDecision=340000 #constraints=16780
883.48/884.17	c nbDecision=340500 #constraints=16798
884.68/885.37	c nbDecision=341000 #constraints=16806
885.89/886.56	c nbDecision=341500 #constraints=16823
887.28/887.95	c nbDecision=342000 #constraints=16853
888.58/889.28	c nbDecision=342500 #constraints=16875
889.88/890.55	c nbDecision=343000 #constraints=16889
891.08/891.75	c nbDecision=343500 #constraints=16889
892.28/892.94	c nbDecision=344000 #constraints=16902
893.68/894.35	c nbDecision=344500 #constraints=16933
894.98/895.68	c nbDecision=345000 #constraints=16949
896.28/896.96	c nbDecision=345500 #constraints=16964
897.48/898.18	c nbDecision=346000 #constraints=16978
898.78/899.40	c nbDecision=346500 #constraints=17007
900.08/900.73	c nbDecision=347000 #constraints=17023
901.38/902.08	c nbDecision=347500 #constraints=17049
902.67/903.39	c nbDecision=348000 #constraints=17074
903.97/904.62	c nbDecision=348500 #constraints=17083
905.17/905.83	c nbDecision=349000 #constraints=17106
906.47/907.17	c nbDecision=349500 #constraints=17124
907.77/908.50	c nbDecision=350000 #constraints=17140
909.16/909.82	c nbDecision=350500 #constraints=17174
910.36/911.03	c nbDecision=351000 #constraints=17174
911.56/912.25	c nbDecision=351500 #constraints=17197
912.96/913.63	c nbDecision=352000 #constraints=17236
914.26/914.98	c nbDecision=352500 #constraints=17252
915.56/916.26	c nbDecision=353000 #constraints=17267
916.76/917.45	c nbDecision=353500 #constraints=17267
917.95/918.66	c nbDecision=354000 #constraints=17290
919.35/920.02	c nbDecision=354500 #constraints=17303
920.55/921.29	c nbDecision=355000 #constraints=17307
921.85/922.54	c nbDecision=355500 #constraints=17313
923.05/923.76	c nbDecision=356000 #constraints=17329
924.25/924.97	c nbDecision=356500 #constraints=17356
925.65/926.34	c nbDecision=357000 #constraints=17377
927.05/927.70	c nbDecision=357500 #constraints=17405
928.25/928.97	c nbDecision=358000 #constraints=17418
929.45/930.17	c nbDecision=358500 #constraints=17418
930.65/931.34	c nbDecision=359000 #constraints=17418
931.95/932.67	c nbDecision=359500 #constraints=17441
933.35/934.01	c nbDecision=360000 #constraints=17457
934.54/935.28	c nbDecision=360500 #constraints=17464
935.84/936.52	c nbDecision=361000 #constraints=17475
937.04/937.72	c nbDecision=361500 #constraints=17482
938.34/939.04	c nbDecision=362000 #constraints=17506
939.64/940.35	c nbDecision=362500 #constraints=17514
940.95/941.65	c nbDecision=363000 #constraints=17534
942.14/942.89	c nbDecision=363500 #constraints=17544
943.34/944.07	c nbDecision=364000 #constraints=17551
944.64/945.35	c nbDecision=364500 #constraints=17575
945.94/946.63	c nbDecision=365000 #constraints=17575
947.24/947.93	c nbDecision=365500 #constraints=17591
948.44/949.14	c nbDecision=366000 #constraints=17591
949.64/950.33	c nbDecision=366500 #constraints=17598
950.94/951.63	c nbDecision=367000 #constraints=17631
952.23/952.96	c nbDecision=367500 #constraints=17631
953.63/954.37	c nbDecision=368000 #constraints=17678
954.93/955.62	c nbDecision=368500 #constraints=17686
956.13/956.82	c nbDecision=369000 #constraints=17689
957.33/958.09	c nbDecision=369500 #constraints=17723
958.72/959.44	c nbDecision=370000 #constraints=17727
960.12/960.84	c nbDecision=370500 #constraints=17748
961.41/962.10	c nbDecision=371000 #constraints=17748
962.61/963.31	c nbDecision=371500 #constraints=17757
963.81/964.51	c nbDecision=372000 #constraints=17780
965.11/965.89	c nbDecision=372500 #constraints=17798
966.51/967.22	c nbDecision=373000 #constraints=17819
967.71/968.48	c nbDecision=373500 #constraints=17830
968.91/969.68	c nbDecision=374000 #constraints=17838
970.11/970.89	c nbDecision=374500 #constraints=17863
971.51/972.27	c nbDecision=375000 #constraints=17880
972.81/973.56	c nbDecision=375500 #constraints=17888
974.11/974.85	c nbDecision=376000 #constraints=17908
975.31/976.06	c nbDecision=376500 #constraints=17916
976.61/977.31	c nbDecision=377000 #constraints=17963
978.01/978.71	c nbDecision=377500 #constraints=17982
979.21/980.00	c nbDecision=378000 #constraints=17990
980.51/981.23	c nbDecision=378500 #constraints=17990
981.70/982.43	c nbDecision=379000 #constraints=17995
982.90/983.62	c nbDecision=379500 #constraints=18009
984.30/985.03	c nbDecision=380000 #constraints=18041
985.60/986.33	c nbDecision=380500 #constraints=18052
986.80/987.57	c nbDecision=381000 #constraints=18057
988.00/988.79	c nbDecision=381500 #constraints=18071
989.31/990.03	c nbDecision=382000 #constraints=18096
990.60/991.38	c nbDecision=382500 #constraints=18110
992.00/992.70	c nbDecision=383000 #constraints=18125
993.20/993.96	c nbDecision=383500 #constraints=18138
994.40/995.15	c nbDecision=384000 #constraints=18138
995.70/996.41	c nbDecision=384500 #constraints=18154
997.00/997.70	c nbDecision=385000 #constraints=18154
998.39/999.10	c nbDecision=385500 #constraints=18181
999.59/1000.39	c nbDecision=386000 #constraints=18206
1000.89/1001.61	c nbDecision=386500 #constraints=18223
1002.09/1002.86	c nbDecision=387000 #constraints=18241
1003.49/1004.21	c nbDecision=387500 #constraints=18255
1004.78/1005.52	c nbDecision=388000 #constraints=18273
1005.98/1006.76	c nbDecision=388500 #constraints=18280
1007.18/1007.98	c nbDecision=389000 #constraints=18297
1008.48/1009.25	c nbDecision=389500 #constraints=18322
1009.78/1010.59	c nbDecision=390000 #constraints=18334
1011.18/1011.93	c nbDecision=390500 #constraints=18355
1012.48/1013.24	c nbDecision=391000 #constraints=18383
1013.68/1014.45	c nbDecision=391500 #constraints=18388
1014.88/1015.65	c nbDecision=392000 #constraints=18401
1016.18/1016.99	c nbDecision=392500 #constraints=18416
1017.48/1018.26	c nbDecision=393000 #constraints=18416
1018.78/1019.53	c nbDecision=393500 #constraints=18424
1019.98/1020.73	c nbDecision=394000 #constraints=18424
1021.19/1021.95	c nbDecision=394500 #constraints=18458
1022.58/1023.31	c nbDecision=395000 #constraints=18474
1023.98/1024.75	c nbDecision=395500 #constraints=18519
1025.28/1026.06	c nbDecision=396000 #constraints=18547
1026.48/1027.25	c nbDecision=396500 #constraints=18547
1027.69/1028.43	c nbDecision=397000 #constraints=18555
1028.98/1029.79	c nbDecision=397500 #constraints=18586
1030.48/1031.20	c nbDecision=398000 #constraints=18618
1031.78/1032.53	c nbDecision=398500 #constraints=18644
1032.98/1033.73	c nbDecision=399000 #constraints=18644
1034.18/1034.93	c nbDecision=399500 #constraints=18650
1035.58/1036.33	c nbDecision=400000 #constraints=18693
1036.88/1037.61	c nbDecision=400500 #constraints=18693
1038.08/1038.88	c nbDecision=401000 #constraints=18697
1039.28/1040.09	c nbDecision=401500 #constraints=18697
1040.48/1041.28	c nbDecision=402000 #constraints=18711
1041.88/1042.64	c nbDecision=402500 #constraints=18735
1043.17/1043.97	c nbDecision=403000 #constraints=18747
1044.47/1045.22	c nbDecision=403500 #constraints=18747
1045.67/1046.44	c nbDecision=404000 #constraints=18755
1046.87/1047.65	c nbDecision=404500 #constraints=18777
1048.16/1048.98	c nbDecision=405000 #constraints=18788
1049.56/1050.34	c nbDecision=405500 #constraints=18803
1050.86/1051.65	c nbDecision=406000 #constraints=18821
1052.06/1052.86	c nbDecision=406500 #constraints=18821
1053.26/1054.05	c nbDecision=407000 #constraints=18822
1054.66/1055.40	c nbDecision=407500 #constraints=18863
1056.06/1056.83	c nbDecision=408000 #constraints=18898
1057.36/1058.19	c nbDecision=408500 #constraints=18932
1058.65/1059.42	c nbDecision=409000 #constraints=18936
1059.85/1060.65	c nbDecision=409500 #constraints=18960
1060.15/1060.91	c restart after 409601 decisions
1061.15/1061.95	c nbDecision=410000 #constraints=18973
1062.45/1063.24	c nbDecision=410500 #constraints=18973
1063.75/1064.52	c nbDecision=411000 #constraints=18973
1065.06/1065.85	c nbDecision=411500 #constraints=18987
1066.35/1067.14	c nbDecision=412000 #constraints=18987
1067.65/1068.42	c nbDecision=412500 #constraints=18987
1069.05/1069.80	c nbDecision=413000 #constraints=19004
1070.35/1071.14	c nbDecision=413500 #constraints=19017
1071.65/1072.44	c nbDecision=414000 #constraints=19030
1072.85/1073.65	c nbDecision=414500 #constraints=19030
1074.05/1074.86	c nbDecision=415000 #constraints=19044
1075.45/1076.20	c nbDecision=415500 #constraints=19063
1076.65/1077.49	c nbDecision=416000 #constraints=19063
1077.95/1078.78	c nbDecision=416500 #constraints=19075
1079.15/1079.99	c nbDecision=417000 #constraints=19075
1080.35/1081.18	c nbDecision=417500 #constraints=19082
1081.65/1082.49	c nbDecision=418000 #constraints=19107
1083.05/1083.84	c nbDecision=418500 #constraints=19123
1084.34/1085.11	c nbDecision=419000 #constraints=19129
1085.54/1086.37	c nbDecision=419500 #constraints=19145
1086.84/1087.60	c nbDecision=420000 #constraints=19168
1088.04/1088.85	c nbDecision=420500 #constraints=19192
1089.34/1090.16	c nbDecision=421000 #constraints=19192
1090.63/1091.45	c nbDecision=421500 #constraints=19192
1091.93/1092.75	c nbDecision=422000 #constraints=19192
1093.33/1094.15	c nbDecision=422500 #constraints=19213
1094.63/1095.48	c nbDecision=423000 #constraints=19228
1095.93/1096.77	c nbDecision=423500 #constraints=19246
1097.12/1097.97	c nbDecision=424000 #constraints=19247
1098.42/1099.23	c nbDecision=424500 #constraints=19282
1099.72/1100.53	c nbDecision=425000 #constraints=19282
1101.02/1101.81	c nbDecision=425500 #constraints=19282
1102.32/1103.17	c nbDecision=426000 #constraints=19297
1103.72/1104.53	c nbDecision=426500 #constraints=19314
1105.02/1105.85	c nbDecision=427000 #constraints=19332
1106.22/1107.10	c nbDecision=427500 #constraints=19340
1107.42/1108.28	c nbDecision=428000 #constraints=19340
1108.82/1109.67	c nbDecision=428500 #constraints=19392
1110.52/1111.32	c nbDecision=429000 #constraints=19456
1111.82/1112.61	c nbDecision=429500 #constraints=19463
1113.13/1113.90	c nbDecision=430000 #constraints=19482
1114.33/1115.11	c nbDecision=430500 #constraints=19489
1115.63/1116.41	c nbDecision=431000 #constraints=19523
1117.02/1117.80	c nbDecision=431500 #constraints=19540
1118.32/1119.10	c nbDecision=432000 #constraints=19550
1119.62/1120.41	c nbDecision=432500 #constraints=19579
1120.82/1121.61	c nbDecision=433000 #constraints=19586
1122.12/1122.94	c nbDecision=433500 #constraints=19633
1123.42/1124.26	c nbDecision=434000 #constraints=19639
1124.72/1125.55	c nbDecision=434500 #constraints=19648
1126.02/1126.83	c nbDecision=435000 #constraints=19667
1127.22/1128.01	c nbDecision=435500 #constraints=19667
1128.52/1129.37	c nbDecision=436000 #constraints=19694
1129.82/1130.68	c nbDecision=436500 #constraints=19699
1131.12/1131.97	c nbDecision=437000 #constraints=19706
1132.42/1133.25	c nbDecision=437500 #constraints=19719
1133.62/1134.44	c nbDecision=438000 #constraints=19719
1135.01/1135.81	c nbDecision=438500 #constraints=19743
1136.31/1137.15	c nbDecision=439000 #constraints=19749
1137.61/1138.42	c nbDecision=439500 #constraints=19749
1138.90/1139.71	c nbDecision=440000 #constraints=19758
1140.10/1140.95	c nbDecision=440500 #constraints=19783
1141.40/1142.26	c nbDecision=441000 #constraints=19813
1142.80/1143.61	c nbDecision=441500 #constraints=19826
1144.09/1144.95	c nbDecision=442000 #constraints=19851
1145.40/1146.21	c nbDecision=442500 #constraints=19865
1146.50/1147.39	c nbDecision=443000 #constraints=19865
1147.79/1148.69	c nbDecision=443500 #constraints=19889
1149.19/1150.00	c nbDecision=444000 #constraints=19895
1150.49/1151.31	c nbDecision=444500 #constraints=19906
1151.69/1152.56	c nbDecision=445000 #constraints=19908
1152.89/1153.78	c nbDecision=445500 #constraints=19921
1154.09/1154.98	c nbDecision=446000 #constraints=19934
1155.69/1156.55	c nbDecision=446500 #constraints=19982
1157.09/1157.91	c nbDecision=447000 #constraints=20007
1158.29/1159.18	c nbDecision=447500 #constraints=20014
1159.49/1160.40	c nbDecision=448000 #constraints=20025
1160.69/1161.59	c nbDecision=448500 #constraints=20039
1162.19/1163.02	c nbDecision=449000 #constraints=20071
1163.48/1164.34	c nbDecision=449500 #constraints=20084
1164.78/1165.64	c nbDecision=450000 #constraints=20103
1165.98/1166.84	c nbDecision=450500 #constraints=20103
1167.18/1168.01	c nbDecision=451000 #constraints=20103
1168.68/1169.52	c nbDecision=451500 #constraints=20158
1169.98/1170.81	c nbDecision=452000 #constraints=20162
1171.18/1172.08	c nbDecision=452500 #constraints=20167
1172.48/1173.31	c nbDecision=453000 #constraints=20171
1173.68/1174.53	c nbDecision=453500 #constraints=20191
1174.98/1175.88	c nbDecision=454000 #constraints=20213
1176.38/1177.21	c nbDecision=454500 #constraints=20223
1177.78/1178.61	c nbDecision=455000 #constraints=20266
1178.98/1179.85	c nbDecision=455500 #constraints=20274
1180.18/1181.08	c nbDecision=456000 #constraints=20298
1181.68/1182.50	c nbDecision=456500 #constraints=20342
1182.98/1183.89	c nbDecision=457000 #constraints=20363
1184.37/1185.21	c nbDecision=457500 #constraints=20369
1185.57/1186.46	c nbDecision=458000 #constraints=20384
1186.77/1187.66	c nbDecision=458500 #constraints=20398
1188.07/1188.98	c nbDecision=459000 #constraints=20422
1189.47/1190.34	c nbDecision=459500 #constraints=20437
1190.77/1191.64	c nbDecision=460000 #constraints=20449
1191.97/1192.90	c nbDecision=460500 #constraints=20460
1193.27/1194.10	c nbDecision=461000 #constraints=20467
1194.57/1195.44	c nbDecision=461500 #constraints=20498
1195.97/1196.81	c nbDecision=462000 #constraints=20516
1197.26/1198.12	c nbDecision=462500 #constraints=20528
1198.46/1199.33	c nbDecision=463000 #constraints=20528
1199.66/1200.52	c nbDecision=463500 #constraints=20535
1200.96/1201.86	c nbDecision=464000 #constraints=20569
1202.26/1203.15	c nbDecision=464500 #constraints=20572
1203.56/1204.47	c nbDecision=465000 #constraints=20590
1204.76/1205.69	c nbDecision=465500 #constraints=20595
1205.96/1206.86	c nbDecision=466000 #constraints=20595
1207.26/1208.18	c nbDecision=466500 #constraints=20614
1208.66/1209.59	c nbDecision=467000 #constraints=20644
1210.06/1210.91	c nbDecision=467500 #constraints=20664
1211.26/1212.18	c nbDecision=468000 #constraints=20684
1212.46/1213.39	c nbDecision=468500 #constraints=20698
1213.85/1214.77	c nbDecision=469000 #constraints=20729
1215.25/1216.15	c nbDecision=469500 #constraints=20752
1216.65/1217.50	c nbDecision=470000 #constraints=20780
1217.86/1218.72	c nbDecision=470500 #constraints=20783
1219.06/1219.93	c nbDecision=471000 #constraints=20795
1220.35/1221.26	c nbDecision=471500 #constraints=20808
1221.65/1222.56	c nbDecision=472000 #constraints=20814
1222.95/1223.86	c nbDecision=472500 #constraints=20827
1224.15/1225.08	c nbDecision=473000 #constraints=20833
1225.45/1226.30	c nbDecision=473500 #constraints=20854
1226.75/1227.62	c nbDecision=474000 #constraints=20866
1228.24/1229.15	c nbDecision=474500 #constraints=20907
1229.63/1230.57	c nbDecision=475000 #constraints=20933
1230.93/1231.81	c nbDecision=475500 #constraints=20938
1232.03/1232.99	c nbDecision=476000 #constraints=20938
1233.43/1234.36	c nbDecision=476500 #constraints=20968
1234.83/1235.75	c nbDecision=477000 #constraints=20987
1236.13/1237.01	c nbDecision=477500 #constraints=20988
1237.32/1238.24	c nbDecision=478000 #constraints=20989
1238.52/1239.45	c nbDecision=478500 #constraints=21002
1239.83/1240.78	c nbDecision=479000 #constraints=21019
1241.12/1242.09	c nbDecision=479500 #constraints=21026
1242.52/1243.42	c nbDecision=480000 #constraints=21050
1243.72/1244.62	c nbDecision=480500 #constraints=21050
1244.92/1245.81	c nbDecision=481000 #constraints=21055
1246.22/1247.14	c nbDecision=481500 #constraints=21086
1247.53/1248.50	c nbDecision=482000 #constraints=21105
1248.93/1249.81	c nbDecision=482500 #constraints=21125
1250.13/1251.05	c nbDecision=483000 #constraints=21132
1251.33/1252.24	c nbDecision=483500 #constraints=21137
1252.63/1253.56	c nbDecision=484000 #constraints=21145
1254.03/1254.91	c nbDecision=484500 #constraints=21159
1255.33/1256.23	c nbDecision=485000 #constraints=21179
1256.53/1257.44	c nbDecision=485500 #constraints=21179
1257.72/1258.65	c nbDecision=486000 #constraints=21191
1259.12/1260.01	c nbDecision=486500 #constraints=21208
1260.42/1261.32	c nbDecision=487000 #constraints=21216
1261.62/1262.57	c nbDecision=487500 #constraints=21221
1262.82/1263.76	c nbDecision=488000 #constraints=21221
1264.02/1264.94	c nbDecision=488500 #constraints=21227
1265.32/1266.28	c nbDecision=489000 #constraints=21235
1266.62/1267.57	c nbDecision=489500 #constraints=21242
1267.92/1268.82	c nbDecision=490000 #constraints=21251
1269.12/1270.01	c nbDecision=490500 #constraints=21251
1270.32/1271.27	c nbDecision=491000 #constraints=21272
1271.62/1272.57	c nbDecision=491500 #constraints=21272
1273.01/1273.93	c nbDecision=492000 #constraints=21293
1274.31/1275.21	c nbDecision=492500 #constraints=21308
1275.51/1276.42	c nbDecision=493000 #constraints=21312
1276.71/1277.68	c nbDecision=493500 #constraints=21331
1278.11/1279.03	c nbDecision=494000 #constraints=21343
1279.41/1280.34	c nbDecision=494500 #constraints=21355
1280.71/1281.62	c nbDecision=495000 #constraints=21372
1281.91/1282.81	c nbDecision=495500 #constraints=21373
1283.11/1284.00	c nbDecision=496000 #constraints=21385
1284.61/1285.51	c nbDecision=496500 #constraints=21422
1285.91/1286.88	c nbDecision=497000 #constraints=21451
1287.21/1288.13	c nbDecision=497500 #constraints=21458
1288.41/1289.34	c nbDecision=498000 #constraints=21465
1289.60/1290.51	c nbDecision=498500 #constraints=21465
1291.00/1291.95	c nbDecision=499000 #constraints=21487
1292.40/1293.34	c nbDecision=499500 #constraints=21515
1293.71/1294.61	c nbDecision=500000 #constraints=21527
1294.91/1295.81	c nbDecision=500500 #constraints=21527
1296.20/1297.14	c nbDecision=501000 #constraints=21555
1297.60/1298.55	c nbDecision=501500 #constraints=21580
1298.90/1299.85	c nbDecision=502000 #constraints=21589
1300.20/1301.12	c nbDecision=502500 #constraints=21606
1301.40/1302.31	c nbDecision=503000 #constraints=21611
1302.60/1303.60	c nbDecision=503500 #constraints=21621
1304.00/1304.94	c nbDecision=504000 #constraints=21632
1305.30/1306.25	c nbDecision=504500 #constraints=21647
1306.50/1307.47	c nbDecision=505000 #constraints=21647
1307.70/1308.65	c nbDecision=505500 #constraints=21647
1308.90/1309.89	c nbDecision=506000 #constraints=21652
1310.30/1311.25	c nbDecision=506500 #constraints=21664
1311.70/1312.61	c nbDecision=507000 #constraints=21687
1312.90/1313.89	c nbDecision=507500 #constraints=21700
1314.20/1315.13	c nbDecision=508000 #constraints=21718
1315.40/1316.37	c nbDecision=508500 #constraints=21725
1316.69/1317.70	c nbDecision=509000 #constraints=21732
1318.09/1319.05	c nbDecision=509500 #constraints=21749
1319.38/1320.36	c nbDecision=510000 #constraints=21769
1320.58/1321.54	c nbDecision=510500 #constraints=21769
1321.98/1322.91	c nbDecision=511000 #constraints=21821
1323.38/1324.33	c nbDecision=511500 #constraints=21847
1324.68/1325.65	c nbDecision=512000 #constraints=21863
1325.88/1326.88	c nbDecision=512500 #constraints=21863
1327.08/1328.07	c nbDecision=513000 #constraints=21867
1328.28/1329.27	c nbDecision=513500 #constraints=21884
1329.68/1330.65	c nbDecision=514000 #constraints=21897
1331.08/1332.05	c nbDecision=514500 #constraints=21927
1332.37/1333.33	c nbDecision=515000 #constraints=21939
1333.57/1334.53	c nbDecision=515500 #constraints=21939
1334.77/1335.72	c nbDecision=516000 #constraints=21945
1336.17/1337.16	c nbDecision=516500 #constraints=21980
1337.47/1338.48	c nbDecision=517000 #constraints=21989
1338.78/1339.78	c nbDecision=517500 #constraints=22008
1339.98/1340.97	c nbDecision=518000 #constraints=22008
1341.17/1342.15	c nbDecision=518500 #constraints=22008
1342.57/1343.56	c nbDecision=519000 #constraints=22028
1343.97/1344.91	c nbDecision=519500 #constraints=22049
1345.17/1346.15	c nbDecision=520000 #constraints=22049
1346.37/1347.36	c nbDecision=520500 #constraints=22054
1347.57/1348.58	c nbDecision=521000 #constraints=22078
1348.97/1349.93	c nbDecision=521500 #constraints=22099
1350.37/1351.32	c nbDecision=522000 #constraints=22125
1351.67/1352.61	c nbDecision=522500 #constraints=22138
1352.87/1353.81	c nbDecision=523000 #constraints=22138
1354.07/1355.01	c nbDecision=523500 #constraints=22145
1355.46/1356.41	c nbDecision=524000 #constraints=22163
1356.86/1357.84	c nbDecision=524500 #constraints=22202
1358.16/1359.10	c nbDecision=525000 #constraints=22206
1359.26/1360.29	c nbDecision=525500 #constraints=22206
1360.46/1361.47	c nbDecision=526000 #constraints=22210
1361.87/1362.87	c nbDecision=526500 #constraints=22226
1363.26/1364.20	c nbDecision=527000 #constraints=22238
1364.45/1365.45	c nbDecision=527500 #constraints=22244
1365.65/1366.67	c nbDecision=528000 #constraints=22244
1366.85/1367.89	c nbDecision=528500 #constraints=22247
1368.25/1369.21	c nbDecision=529000 #constraints=22252
1369.45/1370.50	c nbDecision=529500 #constraints=22259
1370.75/1371.78	c nbDecision=530000 #constraints=22273
1372.04/1373.00	c nbDecision=530500 #constraints=22281
1373.34/1374.30	c nbDecision=531000 #constraints=22305
1374.54/1375.59	c nbDecision=531500 #constraints=22305
1375.94/1376.95	c nbDecision=532000 #constraints=22328
1377.25/1378.23	c nbDecision=532500 #constraints=22345
1378.45/1379.44	c nbDecision=533000 #constraints=22351
1379.74/1380.75	c nbDecision=533500 #constraints=22382
1381.04/1382.03	c nbDecision=534000 #constraints=22383
1382.34/1383.32	c nbDecision=534500 #constraints=22392
1383.54/1384.55	c nbDecision=535000 #constraints=22396
1384.74/1385.75	c nbDecision=535500 #constraints=22402
1386.04/1387.02	c nbDecision=536000 #constraints=22412
1387.34/1388.33	c nbDecision=536500 #constraints=22418
1388.64/1389.61	c nbDecision=537000 #constraints=22426
1389.84/1390.84	c nbDecision=537500 #constraints=22426
1391.04/1392.04	c nbDecision=538000 #constraints=22430
1392.34/1393.31	c nbDecision=538500 #constraints=22433
1393.64/1394.63	c nbDecision=539000 #constraints=22439
1394.94/1395.92	c nbDecision=539500 #constraints=22445
1396.14/1397.17	c nbDecision=540000 #constraints=22455
1397.34/1398.38	c nbDecision=540500 #constraints=22462
1398.74/1399.70	c nbDecision=541000 #constraints=22479
1400.03/1401.05	c nbDecision=541500 #constraints=22491
1401.33/1402.40	c nbDecision=542000 #constraints=22512
1402.64/1403.64	c nbDecision=542500 #constraints=22518
1403.83/1404.88	c nbDecision=543000 #constraints=22543
1405.13/1406.19	c nbDecision=543500 #constraints=22573
1406.53/1407.55	c nbDecision=544000 #constraints=22588
1407.93/1408.91	c nbDecision=544500 #constraints=22614
1409.13/1410.16	c nbDecision=545000 #constraints=22620
1410.33/1411.35	c nbDecision=545500 #constraints=22620
1411.61/1412.66	c nbDecision=546000 #constraints=22637
1412.91/1413.98	c nbDecision=546500 #constraints=22642
1414.31/1415.30	c nbDecision=547000 #constraints=22655
1415.51/1416.59	c nbDecision=547500 #constraints=22671
1416.82/1417.82	c nbDecision=548000 #constraints=22685
1418.01/1419.01	c nbDecision=548500 #constraints=22692
1419.41/1420.43	c nbDecision=549000 #constraints=22709
1420.71/1421.76	c nbDecision=549500 #constraints=22723
1421.91/1422.99	c nbDecision=550000 #constraints=22723
1423.11/1424.19	c nbDecision=550500 #constraints=22731
1424.41/1425.48	c nbDecision=551000 #constraints=22760
1425.71/1426.79	c nbDecision=551500 #constraints=22766
1427.01/1428.05	c nbDecision=552000 #constraints=22766
1428.31/1429.30	c nbDecision=552500 #constraints=22779
1429.41/1430.49	c nbDecision=553000 #constraints=22779
1430.81/1431.80	c nbDecision=553500 #constraints=22793
1432.21/1433.23	c nbDecision=554000 #constraints=22820
1433.51/1434.54	c nbDecision=554500 #constraints=22830
1434.70/1435.79	c nbDecision=555000 #constraints=22842
1435.90/1436.99	c nbDecision=555500 #constraints=22849
1437.30/1438.32	c nbDecision=556000 #constraints=22871
1438.60/1439.64	c nbDecision=556500 #constraints=22875
1439.91/1440.95	c nbDecision=557000 #constraints=22888
1441.11/1442.19	c nbDecision=557500 #constraints=22895
1442.30/1443.39	c nbDecision=558000 #constraints=22902
1443.60/1444.67	c nbDecision=558500 #constraints=22927
1445.00/1446.01	c nbDecision=559000 #constraints=22939
1446.20/1447.28	c nbDecision=559500 #constraints=22942
1447.50/1448.53	c nbDecision=560000 #constraints=22953
1448.70/1449.74	c nbDecision=560500 #constraints=22964
1450.00/1451.02	c nbDecision=561000 #constraints=22967
1451.30/1452.37	c nbDecision=561500 #constraints=22981
1452.60/1453.69	c nbDecision=562000 #constraints=22994
1453.89/1454.97	c nbDecision=562500 #constraints=23006
1455.19/1456.20	c nbDecision=563000 #constraints=23024
1456.49/1457.56	c nbDecision=563500 #constraints=23061
1457.89/1458.91	c nbDecision=564000 #constraints=23065
1459.19/1460.29	c nbDecision=564500 #constraints=23094
1460.49/1461.52	c nbDecision=565000 #constraints=23098
1461.69/1462.71	c nbDecision=565500 #constraints=23106
1462.99/1464.01	c nbDecision=566000 #constraints=23115
1464.29/1465.33	c nbDecision=566500 #constraints=23121
1465.59/1466.64	c nbDecision=567000 #constraints=23138
1466.79/1467.86	c nbDecision=567500 #constraints=23138
1468.09/1469.14	c nbDecision=568000 #constraints=23179
1469.39/1470.45	c nbDecision=568500 #constraints=23194
1470.79/1471.82	c nbDecision=569000 #constraints=23209
1472.09/1473.17	c nbDecision=569500 #constraints=23229
1473.28/1474.39	c nbDecision=570000 #constraints=23229
1474.48/1475.60	c nbDecision=570500 #constraints=23235
1475.88/1476.94	c nbDecision=571000 #constraints=23257
1477.18/1478.27	c nbDecision=571500 #constraints=23265
1478.58/1479.61	c nbDecision=572000 #constraints=23286
1479.78/1480.82	c nbDecision=572500 #constraints=23286
1480.98/1482.01	c nbDecision=573000 #constraints=23293
1482.28/1483.35	c nbDecision=573500 #constraints=23314
1483.58/1484.63	c nbDecision=574000 #constraints=23314
1484.88/1485.90	c nbDecision=574500 #constraints=23322
1485.98/1487.10	c nbDecision=575000 #constraints=23322
1487.28/1488.31	c nbDecision=575500 #constraints=23338
1488.58/1489.67	c nbDecision=576000 #constraints=23357
1489.88/1490.96	c nbDecision=576500 #constraints=23357
1491.18/1492.27	c nbDecision=577000 #constraints=23373
1492.38/1493.48	c nbDecision=577500 #constraints=23373
1493.58/1494.67	c nbDecision=578000 #constraints=23377
1494.98/1496.00	c nbDecision=578500 #constraints=23384
1496.38/1497.40	c nbDecision=579000 #constraints=23406
1497.58/1498.69	c nbDecision=579500 #constraints=23416
1498.87/1499.94	c nbDecision=580000 #constraints=23423
1500.07/1501.17	c nbDecision=580500 #constraints=23452
1501.47/1502.59	c nbDecision=581000 #constraints=23473
1502.97/1504.01	c nbDecision=581500 #constraints=23502
1504.26/1505.37	c nbDecision=582000 #constraints=23521
1505.46/1506.57	c nbDecision=582500 #constraints=23521
1506.66/1507.78	c nbDecision=583000 #constraints=23537
1508.06/1509.16	c nbDecision=583500 #constraints=23561
1509.36/1510.48	c nbDecision=584000 #constraints=23570
1510.76/1511.81	c nbDecision=584500 #constraints=23589
1511.96/1513.02	c nbDecision=585000 #constraints=23589
1513.16/1514.22	c nbDecision=585500 #constraints=23595
1514.46/1515.54	c nbDecision=586000 #constraints=23596
1515.76/1516.83	c nbDecision=586500 #constraints=23596
1516.96/1518.07	c nbDecision=587000 #constraints=23596
1518.16/1519.28	c nbDecision=587500 #constraints=23602
1519.35/1520.49	c nbDecision=588000 #constraints=23616
1520.85/1521.90	c nbDecision=588500 #constraints=23631
1522.25/1523.31	c nbDecision=589000 #constraints=23665
1523.46/1524.57	c nbDecision=589500 #constraints=23673
1524.66/1525.79	c nbDecision=590000 #constraints=23682
1525.95/1527.02	c nbDecision=590500 #constraints=23688
1527.25/1528.35	c nbDecision=591000 #constraints=23695
1528.65/1529.70	c nbDecision=591500 #constraints=23714
1529.85/1530.98	c nbDecision=592000 #constraints=23728
1531.15/1532.21	c nbDecision=592500 #constraints=23741
1532.45/1533.55	c nbDecision=593000 #constraints=23777
1533.95/1535.02	c nbDecision=593500 #constraints=23807
1535.15/1536.29	c nbDecision=594000 #constraints=23807
1536.45/1537.57	c nbDecision=594500 #constraints=23820
1537.64/1538.78	c nbDecision=595000 #constraints=23825
1538.95/1540.07	c nbDecision=595500 #constraints=23838
1540.24/1541.39	c nbDecision=596000 #constraints=23845
1541.54/1542.68	c nbDecision=596500 #constraints=23853
1542.84/1543.93	c nbDecision=597000 #constraints=23859
1544.03/1545.15	c nbDecision=597500 #constraints=23863
1545.33/1546.41	c nbDecision=598000 #constraints=23869
1546.64/1547.73	c nbDecision=598500 #constraints=23876
1547.93/1549.07	c nbDecision=599000 #constraints=23896
1549.23/1550.36	c nbDecision=599500 #constraints=23908
1550.42/1551.58	c nbDecision=600000 #constraints=23908
1551.72/1552.81	c nbDecision=600500 #constraints=23910
1553.02/1554.11	c nbDecision=601000 #constraints=23910
1554.23/1555.39	c nbDecision=601500 #constraints=23910
1555.52/1556.63	c nbDecision=602000 #constraints=23910
1556.72/1557.85	c nbDecision=602500 #constraints=23916
1557.92/1559.06	c nbDecision=603000 #constraints=23934
1559.32/1560.48	c nbDecision=603500 #constraints=23949
1560.62/1561.74	c nbDecision=604000 #constraints=23949
1561.82/1563.00	c nbDecision=604500 #constraints=23957
1563.13/1564.21	c nbDecision=605000 #constraints=23969
1564.42/1565.50	c nbDecision=605500 #constraints=23984
1565.72/1566.89	c nbDecision=606000 #constraints=24001
1567.02/1568.15	c nbDecision=606500 #constraints=24001
1568.22/1569.39	c nbDecision=607000 #constraints=24007
1569.52/1570.61	c nbDecision=607500 #constraints=24021
1570.72/1571.89	c nbDecision=608000 #constraints=24038
1572.02/1573.19	c nbDecision=608500 #constraints=24038
1573.31/1574.47	c nbDecision=609000 #constraints=24038
1574.61/1575.75	c nbDecision=609500 #constraints=24052
1575.81/1576.95	c nbDecision=610000 #constraints=24052
1577.01/1578.18	c nbDecision=610500 #constraints=24071
1578.42/1579.51	c nbDecision=611000 #constraints=24074
1579.71/1580.86	c nbDecision=611500 #constraints=24089
1581.01/1582.17	c nbDecision=612000 #constraints=24112
1582.31/1583.41	c nbDecision=612500 #constraints=24130
1583.51/1584.62	c nbDecision=613000 #constraints=24146
1584.81/1585.98	c nbDecision=613500 #constraints=24155
1586.11/1587.25	c nbDecision=614000 #constraints=24155
1587.41/1588.55	c nbDecision=614500 #constraints=24169
1588.60/1589.78	c nbDecision=615000 #constraints=24169
1589.80/1590.98	c nbDecision=615500 #constraints=24175
1591.20/1592.34	c nbDecision=616000 #constraints=24185
1592.50/1593.63	c nbDecision=616500 #constraints=24185
1593.80/1594.91	c nbDecision=617000 #constraints=24193
1594.99/1596.12	c nbDecision=617500 #constraints=24193
1596.19/1597.35	c nbDecision=618000 #constraints=24215
1597.59/1598.72	c nbDecision=618500 #constraints=24224
1598.89/1600.09	c nbDecision=619000 #constraints=24243
1600.19/1601.33	c nbDecision=619500 #constraints=24246
1601.39/1602.52	c nbDecision=620000 #constraints=24246
1602.59/1603.75	c nbDecision=620500 #constraints=24274
1603.99/1605.17	c nbDecision=621000 #constraints=24292
1605.29/1606.48	c nbDecision=621500 #constraints=24303
1606.58/1607.75	c nbDecision=622000 #constraints=24310
1607.78/1608.94	c nbDecision=622500 #constraints=24310
1608.99/1610.14	c nbDecision=623000 #constraints=24318
1610.39/1611.56	c nbDecision=623500 #constraints=24338
1611.68/1612.87	c nbDecision=624000 #constraints=24345
1612.98/1614.15	c nbDecision=624500 #constraints=24352
1614.18/1615.35	c nbDecision=625000 #constraints=24352
1615.38/1616.55	c nbDecision=625500 #constraints=24359
1616.78/1617.99	c nbDecision=626000 #constraints=24374
1618.08/1619.27	c nbDecision=626500 #constraints=24374
1619.38/1620.59	c nbDecision=627000 #constraints=24397
1620.58/1621.78	c nbDecision=627500 #constraints=24397
1621.88/1623.03	c nbDecision=628000 #constraints=24430
1623.28/1624.44	c nbDecision=628500 #constraints=24444
1624.58/1625.76	c nbDecision=629000 #constraints=24457
1625.88/1627.02	c nbDecision=629500 #constraints=24467
1627.08/1628.22	c nbDecision=630000 #constraints=24473
1628.28/1629.49	c nbDecision=630500 #constraints=24492
1629.68/1630.88	c nbDecision=631000 #constraints=24509
1631.09/1632.24	c nbDecision=631500 #constraints=24525
1632.39/1633.55	c nbDecision=632000 #constraints=24547
1633.58/1634.79	c nbDecision=632500 #constraints=24547
1634.88/1636.04	c nbDecision=633000 #constraints=24554
1636.18/1637.34	c nbDecision=633500 #constraints=24554
1637.48/1638.61	c nbDecision=634000 #constraints=24554
1638.78/1639.92	c nbDecision=634500 #constraints=24571
1639.98/1641.13	c nbDecision=635000 #constraints=24578
1641.17/1642.35	c nbDecision=635500 #constraints=24585
1642.47/1643.69	c nbDecision=636000 #constraints=24588
1643.77/1644.95	c nbDecision=636500 #constraints=24588
1644.97/1646.18	c nbDecision=637000 #constraints=24588
1646.16/1647.36	c nbDecision=637500 #constraints=24588
1647.46/1648.65	c nbDecision=638000 #constraints=24610
1648.77/1649.94	c nbDecision=638500 #constraints=24610
1650.06/1651.25	c nbDecision=639000 #constraints=24617
1651.36/1652.52	c nbDecision=639500 #constraints=24626
1652.56/1653.72	c nbDecision=640000 #constraints=24626
1653.76/1654.98	c nbDecision=640500 #constraints=24639
1655.16/1656.39	c nbDecision=641000 #constraints=24659
1656.57/1657.74	c nbDecision=641500 #constraints=24677
1657.86/1659.01	c nbDecision=642000 #constraints=24688
1659.06/1660.22	c nbDecision=642500 #constraints=24693
1660.36/1661.50	c nbDecision=643000 #constraints=24718
1661.66/1662.85	c nbDecision=643500 #constraints=24728
1662.96/1664.18	c nbDecision=644000 #constraints=24746
1664.26/1665.45	c nbDecision=644500 #constraints=24758
1665.45/1666.65	c nbDecision=645000 #constraints=24764
1666.75/1667.91	c nbDecision=645500 #constraints=24772
1668.05/1669.28	c nbDecision=646000 #constraints=24786
1669.35/1670.59	c nbDecision=646500 #constraints=24798
1670.76/1671.92	c nbDecision=647000 #constraints=24826
1671.96/1673.15	c nbDecision=647500 #constraints=24837
1673.25/1674.47	c nbDecision=648000 #constraints=24875
1674.65/1675.84	c nbDecision=648500 #constraints=24887
1675.95/1677.15	c nbDecision=649000 #constraints=24894
1677.15/1678.37	c nbDecision=649500 #constraints=24894
1678.45/1679.64	c nbDecision=650000 #constraints=24908
1679.84/1681.04	c nbDecision=650500 #constraints=24934
1681.14/1682.32	c nbDecision=651000 #constraints=24934
1682.44/1683.64	c nbDecision=651500 #constraints=24950
1683.64/1684.84	c nbDecision=652000 #constraints=24950
1684.84/1686.02	c nbDecision=652500 #constraints=24950
1686.24/1687.46	c nbDecision=653000 #constraints=24970
1687.63/1688.87	c nbDecision=653500 #constraints=24990
1688.93/1690.13	c nbDecision=654000 #constraints=24996
1690.13/1691.35	c nbDecision=654500 #constraints=25002
1691.33/1692.54	c nbDecision=655000 #constraints=25008
1692.73/1693.98	c nbDecision=655500 #constraints=25038
1694.03/1695.26	c nbDecision=656000 #constraints=25038
1695.33/1696.59	c nbDecision=656500 #constraints=25057
1696.53/1697.79	c nbDecision=657000 #constraints=25057
1697.83/1699.01	c nbDecision=657500 #constraints=25069
1699.22/1700.45	c nbDecision=658000 #constraints=25096
1700.53/1701.77	c nbDecision=658500 #constraints=25109
1701.82/1703.02	c nbDecision=659000 #constraints=25109
1703.02/1704.21	c nbDecision=659500 #constraints=25109
1704.22/1705.44	c nbDecision=660000 #constraints=25134
1705.62/1706.86	c nbDecision=660500 #constraints=25149
1706.92/1708.19	c nbDecision=661000 #constraints=25163
1708.22/1709.43	c nbDecision=661500 #constraints=25163
1709.42/1710.62	c nbDecision=662000 #constraints=25163
1710.62/1711.83	c nbDecision=662500 #constraints=25177
1712.12/1713.31	c nbDecision=663000 #constraints=25205
1713.42/1714.63	c nbDecision=663500 #constraints=25212
1714.62/1715.86	c nbDecision=664000 #constraints=25212
1715.82/1717.07	c nbDecision=664500 #constraints=25219
1717.11/1718.34	c nbDecision=665000 #constraints=25226
1718.51/1719.70	c nbDecision=665500 #constraints=25236
1719.81/1721.01	c nbDecision=666000 #constraints=25246
1721.01/1722.23	c nbDecision=666500 #constraints=25246
1722.21/1723.46	c nbDecision=667000 #constraints=25262
1723.51/1724.77	c nbDecision=667500 #constraints=25278
1724.90/1726.19	c nbDecision=668000 #constraints=25303
1726.20/1727.49	c nbDecision=668500 #constraints=25311
1727.50/1728.78	c nbDecision=669000 #constraints=25329
1728.70/1729.99	c nbDecision=669500 #constraints=25336
1730.00/1731.29	c nbDecision=670000 #constraints=25363
1731.50/1732.73	c nbDecision=670500 #constraints=25387
1732.80/1734.03	c nbDecision=671000 #constraints=25393
1734.09/1735.34	c nbDecision=671500 #constraints=25404
1735.29/1736.54	c nbDecision=672000 #constraints=25404
1736.49/1737.76	c nbDecision=672500 #constraints=25423
1737.89/1739.16	c nbDecision=673000 #constraints=25433
1739.29/1740.58	c nbDecision=673500 #constraints=25464
1740.59/1741.83	c nbDecision=674000 #constraints=25470
1741.79/1743.02	c nbDecision=674500 #constraints=25470
1742.99/1744.26	c nbDecision=675000 #constraints=25477
1744.39/1745.63	c nbDecision=675500 #constraints=25490
1745.69/1746.94	c nbDecision=676000 #constraints=25500
1746.88/1748.18	c nbDecision=676500 #constraints=25504
1748.08/1749.37	c nbDecision=677000 #constraints=25504
1749.38/1750.68	c nbDecision=677500 #constraints=25533
1750.68/1751.99	c nbDecision=678000 #constraints=25534
1751.98/1753.28	c nbDecision=678500 #constraints=25537
1753.28/1754.55	c nbDecision=679000 #constraints=25547
1754.48/1755.76	c nbDecision=679500 #constraints=25556
1755.88/1757.11	c nbDecision=680000 #constraints=25569
1757.18/1758.44	c nbDecision=680500 #constraints=25575
1758.48/1759.74	c nbDecision=681000 #constraints=25582
1759.68/1760.95	c nbDecision=681500 #constraints=25582
1760.88/1762.15	c nbDecision=682000 #constraints=25589
1762.18/1763.47	c nbDecision=682500 #constraints=25601
1763.58/1764.83	c nbDecision=683000 #constraints=25615
1764.88/1766.14	c nbDecision=683500 #constraints=25627
1766.07/1767.37	c nbDecision=684000 #constraints=25627
1767.28/1768.55	c nbDecision=684500 #constraints=25627
1768.58/1769.87	c nbDecision=685000 #constraints=25643
1769.88/1771.17	c nbDecision=685500 #constraints=25644
1771.17/1772.47	c nbDecision=686000 #constraints=25649
1772.47/1773.74	c nbDecision=686500 #constraints=25657
1773.67/1774.97	c nbDecision=687000 #constraints=25670
1774.97/1776.22	c nbDecision=687500 #constraints=25678
1776.38/1777.60	c nbDecision=688000 #constraints=25692
1777.67/1778.90	c nbDecision=688500 #constraints=25696
1778.86/1780.17	c nbDecision=689000 #constraints=25703
1780.06/1781.36	c nbDecision=689500 #constraints=25703
1781.36/1782.64	c nbDecision=690000 #constraints=25726
1782.66/1783.97	c nbDecision=690500 #constraints=25733
1784.06/1785.37	c nbDecision=691000 #constraints=25763
1785.36/1786.66	c nbDecision=691500 #constraints=25779
1786.56/1787.88	c nbDecision=692000 #constraints=25792
1787.86/1789.10	c nbDecision=692500 #constraints=25804
1789.26/1790.51	c nbDecision=693000 #constraints=25816
1790.56/1791.84	c nbDecision=693500 #constraints=25827
1791.86/1793.13	c nbDecision=694000 #constraints=25846
1793.06/1794.34	c nbDecision=694500 #constraints=25852
1794.35/1795.69	c nbDecision=695000 #constraints=25876
1795.75/1797.03	c nbDecision=695500 #constraints=25883
1797.05/1798.32	c nbDecision=696000 #constraints=25887
1798.26/1799.58	c nbDecision=696500 #constraints=25890
1799.46/1800.77	c nbDecision=697000 #constraints=25890
1800.06/1801.30	Received signal 15
1800.06/1801.30	
1800.06/1801.30	s UNKNOWN
1800.06/1801.30	
1800.06/1801.30	c user time= 1799.7 s
1800.06/1801.30	c system time= 0.363944 s
1800.06/1801.30	c wall clock time=1801.31

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/node58/watcher-363028-1176850476 -o ROOT/results/node58/solver-363028-1176850476 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363028-1176850476/instance-363028-1176850476.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.92 0.98 0.98 3/64 10982
/proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=1620 CPUtime=0
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 132957369 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 405 176 126 317 0 84 0

[startup+0.060644 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 10982
/proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=3440 CPUtime=0.05
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 791 0 0 0 5 0 0 0 18 0 1 0 132957369 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 860 547 126 317 0 539 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3440

[startup+0.10165 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 10982
/proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=3440 CPUtime=0.09
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 841 0 0 0 9 0 0 0 18 0 1 0 132957369 3522560 596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 860 596 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301683 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 10982
/proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=6756 CPUtime=0.29
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 1667 0 0 0 29 0 0 0 19 0 1 0 132957369 6918144 1422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 1689 1422 131 317 0 1368 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6756

[startup+0.70175 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 10982
/proc/meminfo: memFree=1465264/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=16276 CPUtime=0.69
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 3967 0 0 0 67 2 0 0 23 0 1 0 132957369 16666624 3722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 4069 3722 131 317 0 3748 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16276

[startup+1.50189 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1443944/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=40852 CPUtime=1.49
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10039 0 0 0 145 4 0 0 25 0 1 0 132957369 41832448 9794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 10213 9794 137 317 0 9892 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40852

[startup+3.10115 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1423464/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=44088 CPUtime=3.09
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10826 0 0 0 304 5 0 0 25 0 1 0 132957369 45146112 10581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 11022 10581 139 317 0 10701 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44088

[startup+6.30169 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1422952/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=44088 CPUtime=6.29
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10826 0 0 0 624 5 0 0 25 0 1 0 132957369 45146112 10581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 11022 10581 139 317 0 10701 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44088

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1423224/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=44088 CPUtime=12.69
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10826 0 0 0 1264 5 0 0 25 0 1 0 132957369 45146112 10581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 11022 10581 139 317 0 10701 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44088

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1423416/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=44088 CPUtime=25.48
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10826 0 0 0 2543 5 0 0 25 0 1 0 132957369 45146112 10581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 11022 10581 139 317 0 10701 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44088

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1423352/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=44220 CPUtime=51.06
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 10848 0 0 0 5101 5 0 0 25 0 1 0 132957369 45281280 10603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 11055 10603 139 317 0 10734 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 44220

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1422392/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=45276 CPUtime=102.24
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 11120 0 0 0 10218 6 0 0 25 0 1 0 132957369 46362624 10875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 11319 10875 139 317 0 10998 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 45276

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1420664/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=46988 CPUtime=162.19
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 11540 0 0 0 16213 6 0 0 25 0 1 0 132957369 48115712 11295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 11747 11295 139 317 0 11426 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 46988

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1418744/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=48964 CPUtime=222.15
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 12047 0 0 0 22208 7 0 0 25 0 1 0 132957369 50139136 11802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 12241 11802 139 317 0 11920 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 48964

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1416952/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=50988 CPUtime=282.12
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 12560 0 0 0 28205 7 0 0 25 0 1 0 132957369 52211712 12267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 12747 12267 139 317 0 12426 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 50988

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10983
/proc/meminfo: memFree=1414776/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=53112 CPUtime=342.08
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 13083 0 0 0 34199 9 0 0 25 0 1 0 132957369 54386688 12790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 13278 12790 139 317 0 12957 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 53112

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/71 11091
/proc/meminfo: memFree=1411400/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=55092 CPUtime=402.02
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 13596 0 0 0 40187 15 0 0 25 0 1 0 132957369 56414208 13303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 13773 13303 139 317 0 13452 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 55092

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1410168/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=57336 CPUtime=461.99
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 14177 0 0 0 46175 24 0 0 25 0 1 0 132957369 58712064 13884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 14334 13884 139 317 0 14013 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 57336

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1408440/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=59044 CPUtime=521.95
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 14613 0 0 0 52170 25 0 0 25 0 1 0 132957369 60461056 14320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 14761 14320 139 317 0 14440 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 59044

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1407032/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=60624 CPUtime=581.9
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 14998 0 0 0 58165 25 0 0 25 0 1 0 132957369 62078976 14705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606719 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 15156 14705 139 317 0 14835 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 60624

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1404984/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=62604 CPUtime=641.87
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 15498 0 0 0 64161 26 0 0 25 0 1 0 132957369 64106496 15205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606877 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 15651 15205 139 317 0 15330 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 62604


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1395768/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=72196 CPUtime=881.68
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 17913 0 0 0 88139 29 0 0 25 0 1 0 132957369 73928704 17526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 18049 17526 139 317 0 17728 0
Current children cumulated CPU time (s) 881.68
Current children cumulated vsize (KiB) 72196

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1393848/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=74040 CPUtime=941.64
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 18393 0 0 0 94135 29 0 0 25 0 1 0 132957369 75816960 18006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 18510 18006 139 317 0 18189 0
Current children cumulated CPU time (s) 941.64
Current children cumulated vsize (KiB) 74040

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1392184/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=75748 CPUtime=1001.59
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 18799 0 0 0 100130 29 0 0 25 0 1 0 132957369 77565952 18412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 18937 18412 139 317 0 18616 0
Current children cumulated CPU time (s) 1001.59
Current children cumulated vsize (KiB) 75748

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1390648/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=77192 CPUtime=1061.55
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 19184 0 0 0 106125 30 0 0 25 0 1 0 132957369 79044608 18797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 19298 18797 139 317 0 18977 0
Current children cumulated CPU time (s) 1061.55
Current children cumulated vsize (KiB) 77192

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1389176/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=78636 CPUtime=1121.52
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 19565 0 0 0 112121 31 0 0 25 0 1 0 132957369 80523264 19178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 19659 19178 170 317 0 19338 0
Current children cumulated CPU time (s) 1121.52
Current children cumulated vsize (KiB) 78636

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1387640/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=80208 CPUtime=1181.48
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 19967 0 0 0 118116 32 0 0 25 0 1 0 132957369 82132992 19580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10982/statm: 20052 19580 170 317 0 19731 0
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (KiB) 80208

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1386040/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=81516 CPUtime=1241.42
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 20311 0 0 0 124110 32 0 0 25 0 1 0 132957369 83472384 19924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 20379 19924 170 317 0 20058 0
Current children cumulated CPU time (s) 1241.42
Current children cumulated vsize (KiB) 81516

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1384888/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=82692 CPUtime=1301.4
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 20604 0 0 0 130107 33 0 0 25 0 1 0 132957369 84676608 20217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 20673 20217 170 317 0 20352 0
Current children cumulated CPU time (s) 1301.4
Current children cumulated vsize (KiB) 82692

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1383736/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=83748 CPUtime=1361.36
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 20889 0 0 0 136103 33 0 0 25 0 1 0 132957369 85757952 20502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 20937 20502 170 317 0 20616 0
Current children cumulated CPU time (s) 1361.36
Current children cumulated vsize (KiB) 83748

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1382520/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=85064 CPUtime=1421.31
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 21206 0 0 0 142098 33 0 0 25 0 1 0 132957369 87105536 20819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 21266 20819 170 317 0 20945 0
Current children cumulated CPU time (s) 1421.31
Current children cumulated vsize (KiB) 85064

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1381368/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=86236 CPUtime=1481.28
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 21506 0 0 0 148094 34 0 0 25 0 1 0 132957369 88305664 21119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 21559 21119 170 317 0 21238 0
Current children cumulated CPU time (s) 1481.28
Current children cumulated vsize (KiB) 86236

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1379960/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=87548 CPUtime=1541.24
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 21841 0 0 0 154090 34 0 0 25 0 1 0 132957369 89649152 21454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 21887 21454 170 317 0 21566 0
Current children cumulated CPU time (s) 1541.24
Current children cumulated vsize (KiB) 87548

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1378808/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=88604 CPUtime=1601.19
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 22122 0 0 0 160085 34 0 0 25 0 1 0 132957369 90730496 21735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 22151 21735 170 317 0 21830 0
Current children cumulated CPU time (s) 1601.19
Current children cumulated vsize (KiB) 88604

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1377592/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=89916 CPUtime=1661.16
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 22434 0 0 0 166081 35 0 0 25 0 1 0 132957369 92073984 22047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 22479 22047 170 317 0 22158 0
Current children cumulated CPU time (s) 1661.16
Current children cumulated vsize (KiB) 89916

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1376376/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=91100 CPUtime=1721.11
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 22754 0 0 0 172076 35 0 0 25 0 1 0 132957369 93286400 22367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 22775 22367 170 317 0 22454 0
Current children cumulated CPU time (s) 1721.11
Current children cumulated vsize (KiB) 91100

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1374968/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=92416 CPUtime=1781.06
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 23074 0 0 0 178070 36 0 0 25 0 1 0 132957369 94633984 22687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 23104 22687 170 317 0 22783 0
Current children cumulated CPU time (s) 1781.06
Current children cumulated vsize (KiB) 92416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1374328/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=93072 CPUtime=1800.06
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 23226 0 0 0 179970 36 0 0 25 0 1 0 132957369 95305728 22839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 23268 22839 170 317 0 22947 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 93072

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

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

[startup+1801.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 11181
/proc/meminfo: memFree=1374328/2055920 swapFree=4184528/4192956
[pid=10982] ppid=10980 vsize=93072 CPUtime=1800.06
/proc/10982/stat : 10982 (oree) R 10980 10982 10639 0 -1 4194304 23226 0 0 0 179970 36 0 0 25 0 1 0 132957369 95305728 22839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10982/statm: 23268 22839 170 317 0 22947 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 93072

Child status: 0
Real time (s): 1801.35
CPU time (s): 1800.11
CPU user time (s): 1799.73
CPU system time (s): 0.376942
CPU usage (%): 99.931
Max. virtual memory (cumulated for all children) (KiB): 93072

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

runsolver used 1.85672 second user time and 4.78527 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Tue Apr 17 22:54:37 UTC 2007

IDJOB= 363028
IDBENCH= 1718
IDSOLVER= 172
FILE ID= node58/363028-1176850476

PBS_JOBID= 4590197

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  4c72c91139ee79c29342b8f97e9b4cad

RANDOM SEED= 566016792

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.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.265
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.265
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:       1465672 kB
Buffers:         45872 kB
Cached:         458428 kB
SwapCached:       2504 kB
Active:         228628 kB
Inactive:       287916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1465672 kB
SwapTotal:     4192956 kB
SwapFree:      4184528 kB
Dirty:            6212 kB
Writeback:           0 kB
Mapped:          18528 kB
Slab:            59816 kB
Committed_AS:   916264 kB
PageTables:       1384 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= 66482 MiB

End job on node58 on Tue Apr 17 23:24:40 UTC 2007