Trace number 357305

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.21 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUMcc5d7ea426a09a5b1cb030d82bbe1743
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables221520
Total number of constraints6283
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 constraints6283
Minimum length of a constraint45
Maximum length of a constraint221520
Number of terms in the objective function 221520
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 34400198927214221876937
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 34400301327214221876937
Number of bits of the biggest sum of numbers75
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...
4.19/4.25	c ...done
4.19/4.25	c #vars=221520 #constraints=12479 hasObjective=yes
6.38/6.48	c res. mode=mod
6.38/6.48	c VSIDS like heuristics
6.38/6.48	c complete search running
7.99/8.04	c restart after 401 decisions
8.29/8.36	c nbDecision=500 #constraints=12479
9.29/9.34	c restart after 801 decisions
9.90/9.97	c nbDecision=1000 #constraints=12479
11.49/11.55	c nbDecision=1500 #constraints=12479
11.79/11.88	c restart after 1601 decisions
13.10/13.17	c nbDecision=2000 #constraints=12479
14.69/14.78	c nbDecision=2500 #constraints=12479
16.29/16.39	c nbDecision=3000 #constraints=12479
16.99/17.04	c restart after 3201 decisions
17.99/18.00	c nbDecision=3500 #constraints=12479
19.59/19.60	c nbDecision=4000 #constraints=12479
21.09/21.20	c nbDecision=4500 #constraints=12479
22.69/22.79	c nbDecision=5000 #constraints=12479
24.29/24.39	c nbDecision=5500 #constraints=12479
25.89/25.98	c nbDecision=6000 #constraints=12479
27.19/27.26	c restart after 6401 decisions
27.49/27.59	c nbDecision=6500 #constraints=12479
29.09/29.17	c nbDecision=7000 #constraints=12479
30.69/30.78	c nbDecision=7500 #constraints=12479
32.29/32.39	c nbDecision=8000 #constraints=12479
33.88/33.98	c nbDecision=8500 #constraints=12479
35.48/35.54	c nbDecision=9000 #constraints=12479
37.08/37.14	c nbDecision=9500 #constraints=12479
38.68/38.74	c nbDecision=10000 #constraints=12479
40.27/40.33	c nbDecision=10500 #constraints=12479
41.87/41.91	c nbDecision=11000 #constraints=12479
43.47/43.50	c nbDecision=11500 #constraints=12479
45.07/45.11	c nbDecision=12000 #constraints=12479
46.57/46.69	c nbDecision=12500 #constraints=12479
47.57/47.66	c restart after 12801 decisions
48.27/48.31	c nbDecision=13000 #constraints=12479
49.87/49.92	c nbDecision=13500 #constraints=12479
51.47/51.51	c nbDecision=14000 #constraints=12479
53.06/53.12	c nbDecision=14500 #constraints=12479
54.66/54.73	c nbDecision=15000 #constraints=12479
56.26/56.33	c nbDecision=15500 #constraints=12479
57.86/57.93	c nbDecision=16000 #constraints=12479
59.46/59.52	c nbDecision=16500 #constraints=12479
61.06/61.11	c nbDecision=17000 #constraints=12479
62.57/62.69	c nbDecision=17500 #constraints=12479
64.16/64.28	c nbDecision=18000 #constraints=12479
65.76/65.86	c nbDecision=18500 #constraints=12479
67.36/67.45	c nbDecision=19000 #constraints=12479
68.96/69.04	c nbDecision=19500 #constraints=12479
70.56/70.63	c nbDecision=20000 #constraints=12479
72.16/72.23	c nbDecision=20500 #constraints=12479
73.76/73.82	c nbDecision=21000 #constraints=12479
75.36/75.40	c nbDecision=21500 #constraints=12479
76.86/76.99	c nbDecision=22000 #constraints=12479
78.46/78.56	c nbDecision=22500 #constraints=12479
80.06/80.12	c nbDecision=23000 #constraints=12479
81.56/81.69	c nbDecision=23500 #constraints=12479
83.16/83.25	c nbDecision=24000 #constraints=12479
84.76/84.81	c nbDecision=24500 #constraints=12479
86.26/86.38	c nbDecision=25000 #constraints=12479
87.86/87.95	c nbDecision=25500 #constraints=12479
88.16/88.27	c restart after 25601 decisions
89.46/89.54	c nbDecision=26000 #constraints=12479
91.05/91.11	c nbDecision=26500 #constraints=12479
92.65/92.72	c nbDecision=27000 #constraints=12479
94.25/94.33	c nbDecision=27500 #constraints=12479
95.85/95.94	c nbDecision=28000 #constraints=12479
97.45/97.53	c nbDecision=28500 #constraints=12479
99.05/99.12	c nbDecision=29000 #constraints=12479
100.65/100.71	c nbDecision=29500 #constraints=12479
102.16/102.29	c nbDecision=30000 #constraints=12479
103.75/103.88	c nbDecision=30500 #constraints=12479
105.35/105.46	c nbDecision=31000 #constraints=12479
106.95/107.05	c nbDecision=31500 #constraints=12479
108.55/108.64	c nbDecision=32000 #constraints=12479
110.15/110.24	c nbDecision=32500 #constraints=12479
111.75/111.83	c nbDecision=33000 #constraints=12479
113.35/113.42	c nbDecision=33500 #constraints=12479
114.85/114.99	c nbDecision=34000 #constraints=12479
116.45/116.58	c nbDecision=34500 #constraints=12479
118.05/118.15	c nbDecision=35000 #constraints=12479
119.65/119.72	c nbDecision=35500 #constraints=12479
121.15/121.29	c nbDecision=36000 #constraints=12479
122.75/122.85	c nbDecision=36500 #constraints=12479
124.25/124.40	c nbDecision=37000 #constraints=12479
125.85/125.92	c nbDecision=37500 #constraints=12479
127.34/127.49	c nbDecision=38000 #constraints=12479
128.94/129.06	c nbDecision=38500 #constraints=12479
130.54/130.64	c nbDecision=39000 #constraints=12479
132.14/132.21	c nbDecision=39500 #constraints=12479
133.64/133.77	c nbDecision=40000 #constraints=12479
135.25/135.34	c nbDecision=40500 #constraints=12479
136.84/136.90	c nbDecision=41000 #constraints=12479
138.34/138.45	c nbDecision=41500 #constraints=12479
139.84/139.98	c nbDecision=42000 #constraints=12479
141.44/141.52	c nbDecision=42500 #constraints=12479
142.94/143.06	c nbDecision=43000 #constraints=12479
144.54/144.60	c nbDecision=43500 #constraints=12479
146.04/146.14	c nbDecision=44000 #constraints=12479
147.54/147.69	c nbDecision=44500 #constraints=12479
149.14/149.24	c nbDecision=45000 #constraints=12479
150.64/150.79	c nbDecision=45500 #constraints=12479
152.24/152.34	c nbDecision=46000 #constraints=12479
153.74/153.88	c nbDecision=46500 #constraints=12479
155.34/155.43	c nbDecision=47000 #constraints=12479
156.84/156.97	c nbDecision=47500 #constraints=12479
158.34/158.49	c nbDecision=48000 #constraints=12479
159.93/160.02	c nbDecision=48500 #constraints=12479
161.43/161.54	c nbDecision=49000 #constraints=12479
162.93/163.06	c nbDecision=49500 #constraints=12479
164.43/164.57	c nbDecision=50000 #constraints=12479
165.94/166.09	c nbDecision=50500 #constraints=12479
167.53/167.61	c nbDecision=51000 #constraints=12479
168.14/168.22	c restart after 51201 decisions
169.13/169.20	c nbDecision=51500 #constraints=12479
170.73/170.82	c nbDecision=52000 #constraints=12479
172.33/172.43	c nbDecision=52500 #constraints=12479
173.93/174.03	c nbDecision=53000 #constraints=12479
175.53/175.64	c nbDecision=53500 #constraints=12479
177.13/177.24	c nbDecision=54000 #constraints=12479
178.73/178.83	c nbDecision=54500 #constraints=12479
180.33/180.42	c nbDecision=55000 #constraints=12479
181.93/182.01	c nbDecision=55500 #constraints=12479
183.43/183.59	c nbDecision=56000 #constraints=12479
185.02/185.18	c nbDecision=56500 #constraints=12479
186.62/186.76	c nbDecision=57000 #constraints=12479
188.22/188.35	c nbDecision=57500 #constraints=12479
189.82/189.95	c nbDecision=58000 #constraints=12479
191.42/191.54	c nbDecision=58500 #constraints=12479
193.02/193.13	c nbDecision=59000 #constraints=12479
194.63/194.72	c nbDecision=59500 #constraints=12479
196.22/196.31	c nbDecision=60000 #constraints=12479
197.72/197.88	c nbDecision=60500 #constraints=12479
199.32/199.45	c nbDecision=61000 #constraints=12479
200.92/201.02	c nbDecision=61500 #constraints=12479
202.42/202.59	c nbDecision=62000 #constraints=12479
204.02/204.15	c nbDecision=62500 #constraints=12479
205.62/205.71	c nbDecision=63000 #constraints=12479
207.12/207.28	c nbDecision=63500 #constraints=12479
208.72/208.84	c nbDecision=64000 #constraints=12479
210.22/210.39	c nbDecision=64500 #constraints=12479
211.81/211.96	c nbDecision=65000 #constraints=12479
213.41/213.53	c nbDecision=65500 #constraints=12479
214.91/215.09	c nbDecision=66000 #constraints=12479
216.52/216.64	c nbDecision=66500 #constraints=12479
218.01/218.15	c nbDecision=67000 #constraints=12479
219.51/219.66	c nbDecision=67500 #constraints=12479
221.11/221.20	c nbDecision=68000 #constraints=12479
222.61/222.73	c nbDecision=68500 #constraints=12479
224.11/224.25	c nbDecision=69000 #constraints=12479
225.61/225.75	c nbDecision=69500 #constraints=12479
227.11/227.26	c nbDecision=70000 #constraints=12479
228.61/228.80	c nbDecision=70500 #constraints=12479
230.21/230.35	c nbDecision=71000 #constraints=12479
231.71/231.90	c nbDecision=71500 #constraints=12479
233.31/233.44	c nbDecision=72000 #constraints=12479
234.81/234.99	c nbDecision=72500 #constraints=12479
236.41/236.53	c nbDecision=73000 #constraints=12479
237.91/238.06	c nbDecision=73500 #constraints=12479
239.41/239.58	c nbDecision=74000 #constraints=12479
241.01/241.10	c nbDecision=74500 #constraints=12479
242.51/242.62	c nbDecision=75000 #constraints=12479
244.01/244.14	c nbDecision=75500 #constraints=12479
245.51/245.66	c nbDecision=76000 #constraints=12479
247.01/247.15	c nbDecision=76500 #constraints=12479
248.51/248.67	c nbDecision=77000 #constraints=12479
250.10/250.20	c nbDecision=77500 #constraints=12479
251.60/251.73	c nbDecision=78000 #constraints=12479
253.10/253.25	c nbDecision=78500 #constraints=12479
254.60/254.77	c nbDecision=79000 #constraints=12479
256.11/256.29	c nbDecision=79500 #constraints=12479
257.70/257.80	c nbDecision=80000 #constraints=12479
259.20/259.31	c nbDecision=80500 #constraints=12479
260.70/260.81	c nbDecision=81000 #constraints=12479
262.20/262.31	c nbDecision=81500 #constraints=12479
263.70/263.82	c nbDecision=82000 #constraints=12479
265.20/265.31	c nbDecision=82500 #constraints=12479
266.70/266.81	c nbDecision=83000 #constraints=12479
268.20/268.32	c nbDecision=83500 #constraints=12479
269.70/269.83	c nbDecision=84000 #constraints=12479
271.20/271.34	c nbDecision=84500 #constraints=12479
272.70/272.84	c nbDecision=85000 #constraints=12479
274.20/274.35	c nbDecision=85500 #constraints=12479
275.70/275.82	c nbDecision=86000 #constraints=12479
277.19/277.32	c nbDecision=86500 #constraints=12479
278.59/278.80	c nbDecision=87000 #constraints=12479
280.09/280.28	c nbDecision=87500 #constraints=12479
281.59/281.76	c nbDecision=88000 #constraints=12479
283.09/283.21	c nbDecision=88500 #constraints=12479
284.49/284.69	c nbDecision=89000 #constraints=12479
285.99/286.16	c nbDecision=89500 #constraints=12479
287.49/287.65	c nbDecision=90000 #constraints=12479
288.99/289.13	c nbDecision=90500 #constraints=12479
290.49/290.62	c nbDecision=91000 #constraints=12479
291.99/292.10	c nbDecision=91500 #constraints=12479
293.39/293.58	c nbDecision=92000 #constraints=12479
294.89/295.06	c nbDecision=92500 #constraints=12479
296.39/296.54	c nbDecision=93000 #constraints=12479
297.89/298.00	c nbDecision=93500 #constraints=12479
299.29/299.46	c nbDecision=94000 #constraints=12479
300.79/300.92	c nbDecision=94500 #constraints=12479
302.19/302.38	c nbDecision=95000 #constraints=12479
303.69/303.84	c nbDecision=95500 #constraints=12479
305.09/305.29	c nbDecision=96000 #constraints=12479
306.59/306.74	c nbDecision=96500 #constraints=12479
308.08/308.21	c nbDecision=97000 #constraints=12479
309.48/309.66	c nbDecision=97500 #constraints=12479
310.98/311.12	c nbDecision=98000 #constraints=12479
312.38/312.58	c nbDecision=98500 #constraints=12479
313.88/314.03	c nbDecision=99000 #constraints=12479
315.28/315.49	c nbDecision=99500 #constraints=12479
316.79/316.94	c nbDecision=100000 #constraints=12479
318.19/318.38	c nbDecision=100500 #constraints=12479
319.69/319.82	c nbDecision=101000 #constraints=12479
321.09/321.26	c nbDecision=101500 #constraints=12479
322.49/322.69	c nbDecision=102000 #constraints=12479
323.69/323.84	c restart after 102401 decisions
323.99/324.19	c nbDecision=102500 #constraints=12479
325.59/325.79	c nbDecision=103000 #constraints=12479
327.19/327.39	c nbDecision=103500 #constraints=12479
328.89/329.00	c nbDecision=104000 #constraints=12479
330.49/330.61	c nbDecision=104500 #constraints=12479
332.09/332.22	c nbDecision=105000 #constraints=12479
333.69/333.83	c nbDecision=105500 #constraints=12479
335.29/335.43	c nbDecision=106000 #constraints=12479
336.88/337.04	c nbDecision=106500 #constraints=12479
338.48/338.62	c nbDecision=107000 #constraints=12479
340.08/340.21	c nbDecision=107500 #constraints=12479
341.58/341.79	c nbDecision=108000 #constraints=12479
343.18/343.37	c nbDecision=108500 #constraints=12479
344.78/344.95	c nbDecision=109000 #constraints=12479
346.39/346.53	c nbDecision=109500 #constraints=12479
347.98/348.11	c nbDecision=110000 #constraints=12479
349.48/349.70	c nbDecision=110500 #constraints=12479
351.08/351.29	c nbDecision=111000 #constraints=12479
352.68/352.87	c nbDecision=111500 #constraints=12479
354.28/354.46	c nbDecision=112000 #constraints=12479
355.88/356.04	c nbDecision=112500 #constraints=12479
357.48/357.62	c nbDecision=113000 #constraints=12479
358.98/359.18	c nbDecision=113500 #constraints=12479
360.58/360.75	c nbDecision=114000 #constraints=12479
362.18/362.31	c nbDecision=114500 #constraints=12479
363.68/363.87	c nbDecision=115000 #constraints=12479
365.28/365.43	c nbDecision=115500 #constraints=12479
366.78/366.98	c nbDecision=116000 #constraints=12479
368.38/368.55	c nbDecision=116500 #constraints=12479
369.97/370.12	c nbDecision=117000 #constraints=12479
371.47/371.69	c nbDecision=117500 #constraints=12479
373.07/373.25	c nbDecision=118000 #constraints=12479
374.67/374.81	c nbDecision=118500 #constraints=12479
376.17/376.37	c nbDecision=119000 #constraints=12479
377.77/377.92	c nbDecision=119500 #constraints=12479
379.28/379.47	c nbDecision=120000 #constraints=12479
380.87/381.00	c nbDecision=120500 #constraints=12479
382.37/382.50	c nbDecision=121000 #constraints=12479
383.87/384.02	c nbDecision=121500 #constraints=12479
385.37/385.55	c nbDecision=122000 #constraints=12479
386.87/387.09	c nbDecision=122500 #constraints=12479
388.47/388.64	c nbDecision=123000 #constraints=12479
389.97/390.18	c nbDecision=123500 #constraints=12479
391.57/391.72	c nbDecision=124000 #constraints=12479
393.07/393.27	c nbDecision=124500 #constraints=12479
394.67/394.80	c nbDecision=125000 #constraints=12479
396.17/396.34	c nbDecision=125500 #constraints=12479
397.67/397.87	c nbDecision=126000 #constraints=12479
399.17/399.39	c nbDecision=126500 #constraints=12479
400.77/400.91	c nbDecision=127000 #constraints=12479
402.26/402.41	c nbDecision=127500 #constraints=12479
403.76/403.92	c nbDecision=128000 #constraints=12479
405.26/405.44	c nbDecision=128500 #constraints=12479
406.77/406.95	c nbDecision=129000 #constraints=12479
408.26/408.48	c nbDecision=129500 #constraints=12479
409.86/410.00	c nbDecision=130000 #constraints=12479
411.36/411.52	c nbDecision=130500 #constraints=12479
412.86/413.04	c nbDecision=131000 #constraints=12479
414.36/414.56	c nbDecision=131500 #constraints=12479
415.86/416.07	c nbDecision=132000 #constraints=12479
417.36/417.58	c nbDecision=132500 #constraints=12479
418.86/419.08	c nbDecision=133000 #constraints=12479
420.36/420.59	c nbDecision=133500 #constraints=12479
421.86/422.09	c nbDecision=134000 #constraints=12479
423.36/423.58	c nbDecision=134500 #constraints=12479
424.86/425.08	c nbDecision=135000 #constraints=12479
426.36/426.57	c nbDecision=135500 #constraints=12479
427.86/428.07	c nbDecision=136000 #constraints=12479
429.36/429.58	c nbDecision=136500 #constraints=12479
430.86/431.08	c nbDecision=137000 #constraints=12479
432.36/432.58	c nbDecision=137500 #constraints=12479
433.86/434.08	c nbDecision=138000 #constraints=12479
435.36/435.58	c nbDecision=138500 #constraints=12479
436.85/437.07	c nbDecision=139000 #constraints=12479
438.35/438.55	c nbDecision=139500 #constraints=12479
439.86/440.03	c nbDecision=140000 #constraints=12479
441.35/441.51	c nbDecision=140500 #constraints=12479
442.75/442.98	c nbDecision=141000 #constraints=12479
444.25/444.44	c nbDecision=141500 #constraints=12479
445.65/445.89	c nbDecision=142000 #constraints=12479
447.15/447.36	c nbDecision=142500 #constraints=12479
448.65/448.85	c nbDecision=143000 #constraints=12479
450.15/450.33	c nbDecision=143500 #constraints=12479
451.65/451.80	c nbDecision=144000 #constraints=12479
453.05/453.28	c nbDecision=144500 #constraints=12479
454.55/454.76	c nbDecision=145000 #constraints=12479
456.05/456.23	c nbDecision=145500 #constraints=12479
457.45/457.69	c nbDecision=146000 #constraints=12479
458.95/459.15	c nbDecision=146500 #constraints=12479
460.45/460.60	c nbDecision=147000 #constraints=12479
461.85/462.06	c nbDecision=147500 #constraints=12479
463.35/463.51	c nbDecision=148000 #constraints=12479
464.75/464.96	c nbDecision=148500 #constraints=12479
466.25/466.40	c nbDecision=149000 #constraints=12479
467.64/467.86	c nbDecision=149500 #constraints=12479
469.14/469.32	c nbDecision=150000 #constraints=12479
470.55/470.77	c nbDecision=150500 #constraints=12479
472.04/472.23	c nbDecision=151000 #constraints=12479
473.44/473.68	c nbDecision=151500 #constraints=12479
474.94/475.13	c nbDecision=152000 #constraints=12479
476.34/476.58	c nbDecision=152500 #constraints=12479
477.84/478.02	c nbDecision=153000 #constraints=12479
479.24/479.45	c nbDecision=153500 #constraints=12479
480.64/480.88	c nbDecision=154000 #constraints=12479
482.14/482.31	c nbDecision=154500 #constraints=12479
483.54/483.74	c nbDecision=155000 #constraints=12479
484.94/485.16	c nbDecision=155500 #constraints=12479
486.34/486.59	c nbDecision=156000 #constraints=12479
487.84/488.02	c nbDecision=156500 #constraints=12479
489.24/489.46	c nbDecision=157000 #constraints=12479
490.63/490.89	c nbDecision=157500 #constraints=12479
492.13/492.32	c nbDecision=158000 #constraints=12479
493.53/493.75	c nbDecision=158500 #constraints=12479
494.93/495.18	c nbDecision=159000 #constraints=12479
496.43/496.60	c nbDecision=159500 #constraints=12479
497.83/498.02	c nbDecision=160000 #constraints=12479
499.24/499.43	c nbDecision=160500 #constraints=12479
500.63/500.84	c nbDecision=161000 #constraints=12479
502.03/502.24	c nbDecision=161500 #constraints=12479
503.43/503.65	c nbDecision=162000 #constraints=12479
504.83/505.05	c nbDecision=162500 #constraints=12479
506.23/506.45	c nbDecision=163000 #constraints=12479
507.63/507.86	c nbDecision=163500 #constraints=12479
509.03/509.27	c nbDecision=164000 #constraints=12479
510.43/510.68	c nbDecision=164500 #constraints=12479
511.83/512.09	c nbDecision=165000 #constraints=12479
513.23/513.50	c nbDecision=165500 #constraints=12479
514.72/514.90	c nbDecision=166000 #constraints=12479
516.12/516.30	c nbDecision=166500 #constraints=12479
517.52/517.70	c nbDecision=167000 #constraints=12479
518.82/519.08	c nbDecision=167500 #constraints=12479
520.22/520.47	c nbDecision=168000 #constraints=12479
521.62/521.85	c nbDecision=168500 #constraints=12479
523.02/523.24	c nbDecision=169000 #constraints=12479
524.43/524.62	c nbDecision=169500 #constraints=12479
525.72/526.00	c nbDecision=170000 #constraints=12479
527.12/527.38	c nbDecision=170500 #constraints=12479
528.52/528.76	c nbDecision=171000 #constraints=12479
529.92/530.15	c nbDecision=171500 #constraints=12479
531.32/531.53	c nbDecision=172000 #constraints=12479
532.72/532.92	c nbDecision=172500 #constraints=12479
534.12/534.30	c nbDecision=173000 #constraints=12479
535.42/535.68	c nbDecision=173500 #constraints=12479
536.82/537.06	c nbDecision=174000 #constraints=12479
538.22/538.42	c nbDecision=174500 #constraints=12479
539.52/539.78	c nbDecision=175000 #constraints=12479
540.92/541.14	c nbDecision=175500 #constraints=12479
542.32/542.50	c nbDecision=176000 #constraints=12479
543.62/543.86	c nbDecision=176500 #constraints=12479
545.02/545.21	c nbDecision=177000 #constraints=12479
546.32/546.56	c nbDecision=177500 #constraints=12479
547.72/547.93	c nbDecision=178000 #constraints=12479
549.02/549.29	c nbDecision=178500 #constraints=12479
550.41/550.65	c nbDecision=179000 #constraints=12479
551.81/552.01	c nbDecision=179500 #constraints=12479
553.12/553.37	c nbDecision=180000 #constraints=12479
554.51/554.72	c nbDecision=180500 #constraints=12479
555.81/556.08	c nbDecision=181000 #constraints=12479
557.21/557.43	c nbDecision=181500 #constraints=12479
558.52/558.77	c nbDecision=182000 #constraints=12479
559.91/560.10	c nbDecision=182500 #constraints=12479
561.21/561.44	c nbDecision=183000 #constraints=12479
562.51/562.77	c nbDecision=183500 #constraints=12479
563.91/564.11	c nbDecision=184000 #constraints=12479
565.21/565.43	c nbDecision=184500 #constraints=12479
566.51/566.75	c nbDecision=185000 #constraints=12479
567.81/568.09	c nbDecision=185500 #constraints=12479
569.21/569.43	c nbDecision=186000 #constraints=12479
570.51/570.77	c nbDecision=186500 #constraints=12479
571.91/572.10	c nbDecision=187000 #constraints=12479
573.21/573.43	c nbDecision=187500 #constraints=12479
574.51/574.77	c nbDecision=188000 #constraints=12479
575.81/576.09	c nbDecision=188500 #constraints=12479
577.21/577.42	c nbDecision=189000 #constraints=12479
578.51/578.73	c nbDecision=189500 #constraints=12479
579.81/580.04	c nbDecision=190000 #constraints=12479
581.11/581.35	c nbDecision=190500 #constraints=12479
582.41/582.66	c nbDecision=191000 #constraints=12479
583.71/583.97	c nbDecision=191500 #constraints=12479
585.01/585.27	c nbDecision=192000 #constraints=12479
586.30/586.58	c nbDecision=192500 #constraints=12479
587.60/587.89	c nbDecision=193000 #constraints=12479
589.00/589.20	c nbDecision=193500 #constraints=12479
590.30/590.53	c nbDecision=194000 #constraints=12479
591.61/591.84	c nbDecision=194500 #constraints=12479
592.90/593.15	c nbDecision=195000 #constraints=12479
594.20/594.45	c nbDecision=195500 #constraints=12479
595.50/595.76	c nbDecision=196000 #constraints=12479
596.80/597.06	c nbDecision=196500 #constraints=12479
598.10/598.35	c nbDecision=197000 #constraints=12479
599.40/599.63	c nbDecision=197500 #constraints=12479
600.70/600.92	c nbDecision=198000 #constraints=12479
602.00/602.20	c nbDecision=198500 #constraints=12479
603.30/603.52	c nbDecision=199000 #constraints=12479
604.60/604.82	c nbDecision=199500 #constraints=12479
605.90/606.13	c nbDecision=200000 #constraints=12479
607.20/607.41	c nbDecision=200500 #constraints=12479
608.50/608.70	c nbDecision=201000 #constraints=12479
609.70/609.99	c nbDecision=201500 #constraints=12479
611.00/611.29	c nbDecision=202000 #constraints=12479
612.40/612.60	c nbDecision=202500 #constraints=12479
613.60/613.89	c nbDecision=203000 #constraints=12479
614.90/615.18	c nbDecision=203500 #constraints=12479
616.19/616.46	c nbDecision=204000 #constraints=12479
617.49/617.74	c nbDecision=204500 #constraints=12479
618.29/618.51	c restart after 204801 decisions
619.00/619.23	c nbDecision=205000 #constraints=12479
620.60/620.80	c nbDecision=205500 #constraints=12479
622.10/622.39	c nbDecision=206000 #constraints=12479
623.70/623.97	c nbDecision=206500 #constraints=12479
625.30/625.56	c nbDecision=207000 #constraints=12479
626.90/627.16	c nbDecision=207500 #constraints=12479
628.50/628.76	c nbDecision=208000 #constraints=12479
630.10/630.37	c nbDecision=208500 #constraints=12479
631.70/631.97	c nbDecision=209000 #constraints=12479
633.30/633.57	c nbDecision=209500 #constraints=12479
634.90/635.17	c nbDecision=210000 #constraints=12479
636.50/636.77	c nbDecision=210500 #constraints=12479
638.10/638.35	c nbDecision=211000 #constraints=12479
639.70/639.93	c nbDecision=211500 #constraints=12479
641.30/641.51	c nbDecision=212000 #constraints=12479
642.80/643.09	c nbDecision=212500 #constraints=12479
644.40/644.66	c nbDecision=213000 #constraints=12479
645.99/646.23	c nbDecision=213500 #constraints=12479
647.60/647.80	c nbDecision=214000 #constraints=12479
649.09/649.39	c nbDecision=214500 #constraints=12479
650.69/650.97	c nbDecision=215000 #constraints=12479
652.29/652.55	c nbDecision=215500 #constraints=12479
653.89/654.13	c nbDecision=216000 #constraints=12479
655.49/655.71	c nbDecision=216500 #constraints=12479
656.99/657.28	c nbDecision=217000 #constraints=12479
658.59/658.84	c nbDecision=217500 #constraints=12479
660.19/660.40	c nbDecision=218000 #constraints=12479
661.69/661.96	c nbDecision=218500 #constraints=12479
663.29/663.51	c nbDecision=219000 #constraints=12479
664.79/665.06	c nbDecision=219500 #constraints=12479
666.29/666.60	c nbDecision=220000 #constraints=12479
667.89/668.12	c nbDecision=220500 #constraints=12479
669.39/669.65	c nbDecision=221000 #constraints=12479
670.89/671.17	c nbDecision=221500 #constraints=12479
672.39/672.69	c nbDecision=222000 #constraints=12479
673.99/674.22	c nbDecision=222500 #constraints=12479
675.49/675.74	c nbDecision=223000 #constraints=12479
676.99/677.25	c nbDecision=223500 #constraints=12479
678.49/678.79	c nbDecision=224000 #constraints=12479
680.08/680.32	c nbDecision=224500 #constraints=12479
681.58/681.86	c nbDecision=225000 #constraints=12479
683.08/683.39	c nbDecision=225500 #constraints=12479
684.68/684.92	c nbDecision=226000 #constraints=12479
686.19/686.45	c nbDecision=226500 #constraints=12479
687.68/687.98	c nbDecision=227000 #constraints=12479
689.28/689.52	c nbDecision=227500 #constraints=12479
690.78/691.06	c nbDecision=228000 #constraints=12479
692.28/692.60	c nbDecision=228500 #constraints=12479
693.88/694.13	c nbDecision=229000 #constraints=12479
695.38/695.66	c nbDecision=229500 #constraints=12479
696.88/697.19	c nbDecision=230000 #constraints=12479
698.48/698.71	c nbDecision=230500 #constraints=12479
699.98/700.22	c nbDecision=231000 #constraints=12479
701.48/701.73	c nbDecision=231500 #constraints=12479
702.98/703.24	c nbDecision=232000 #constraints=12479
704.48/704.75	c nbDecision=232500 #constraints=12479
705.98/706.25	c nbDecision=233000 #constraints=12479
707.48/707.76	c nbDecision=233500 #constraints=12479
708.98/709.28	c nbDecision=234000 #constraints=12479
710.48/710.79	c nbDecision=234500 #constraints=12479
712.08/712.31	c nbDecision=235000 #constraints=12479
713.58/713.82	c nbDecision=235500 #constraints=12479
715.07/715.35	c nbDecision=236000 #constraints=12479
716.57/716.86	c nbDecision=236500 #constraints=12479
718.08/718.36	c nbDecision=237000 #constraints=12479
719.57/719.85	c nbDecision=237500 #constraints=12479
721.07/721.34	c nbDecision=238000 #constraints=12479
722.57/722.82	c nbDecision=238500 #constraints=12479
724.07/724.31	c nbDecision=239000 #constraints=12479
725.47/725.79	c nbDecision=239500 #constraints=12479
726.97/727.28	c nbDecision=240000 #constraints=12479
728.47/728.78	c nbDecision=240500 #constraints=12479
729.97/730.28	c nbDecision=241000 #constraints=12479
731.47/731.77	c nbDecision=241500 #constraints=12479
732.97/733.27	c nbDecision=242000 #constraints=12479
734.47/734.76	c nbDecision=242500 #constraints=12479
735.97/736.25	c nbDecision=243000 #constraints=12479
737.47/737.73	c nbDecision=243500 #constraints=12479
738.87/739.18	c nbDecision=244000 #constraints=12479
740.37/740.64	c nbDecision=244500 #constraints=12479
741.87/742.11	c nbDecision=245000 #constraints=12479
743.27/743.57	c nbDecision=245500 #constraints=12479
744.76/745.04	c nbDecision=246000 #constraints=12479
746.26/746.50	c nbDecision=246500 #constraints=12479
747.67/747.98	c nbDecision=247000 #constraints=12479
749.16/749.45	c nbDecision=247500 #constraints=12479
750.66/750.92	c nbDecision=248000 #constraints=12479
752.07/752.40	c nbDecision=248500 #constraints=12479
753.56/753.87	c nbDecision=249000 #constraints=12479
755.06/755.33	c nbDecision=249500 #constraints=12479
756.56/756.80	c nbDecision=250000 #constraints=12479
757.96/758.25	c nbDecision=250500 #constraints=12479
759.46/759.70	c nbDecision=251000 #constraints=12479
760.86/761.15	c nbDecision=251500 #constraints=12479
762.26/762.59	c nbDecision=252000 #constraints=12479
763.76/764.03	c nbDecision=252500 #constraints=12479
765.16/765.47	c nbDecision=253000 #constraints=12479
766.66/766.91	c nbDecision=253500 #constraints=12479
768.06/768.37	c nbDecision=254000 #constraints=12479
769.56/769.82	c nbDecision=254500 #constraints=12479
770.95/771.27	c nbDecision=255000 #constraints=12479
772.45/772.72	c nbDecision=255500 #constraints=12479
773.86/774.16	c nbDecision=256000 #constraints=12479
775.35/775.60	c nbDecision=256500 #constraints=12479
776.75/777.04	c nbDecision=257000 #constraints=12479
778.15/778.47	c nbDecision=257500 #constraints=12479
779.56/779.89	c nbDecision=258000 #constraints=12479
781.05/781.32	c nbDecision=258500 #constraints=12479
782.45/782.74	c nbDecision=259000 #constraints=12479
783.85/784.16	c nbDecision=259500 #constraints=12479
785.25/785.58	c nbDecision=260000 #constraints=12479
786.75/787.00	c nbDecision=260500 #constraints=12479
788.15/788.43	c nbDecision=261000 #constraints=12479
789.55/789.86	c nbDecision=261500 #constraints=12479
790.95/791.28	c nbDecision=262000 #constraints=12479
792.35/792.70	c nbDecision=262500 #constraints=12479
793.85/794.12	c nbDecision=263000 #constraints=12479
795.25/795.54	c nbDecision=263500 #constraints=12479
796.65/796.96	c nbDecision=264000 #constraints=12479
798.05/798.36	c nbDecision=264500 #constraints=12479
799.45/799.77	c nbDecision=265000 #constraints=12479
800.84/801.17	c nbDecision=265500 #constraints=12479
802.24/802.57	c nbDecision=266000 #constraints=12479
803.64/803.97	c nbDecision=266500 #constraints=12479
805.04/805.36	c nbDecision=267000 #constraints=12479
806.44/806.76	c nbDecision=267500 #constraints=12479
807.84/808.16	c nbDecision=268000 #constraints=12479
809.25/809.57	c nbDecision=268500 #constraints=12479
810.64/810.97	c nbDecision=269000 #constraints=12479
812.04/812.37	c nbDecision=269500 #constraints=12479
813.44/813.77	c nbDecision=270000 #constraints=12479
814.85/815.17	c nbDecision=270500 #constraints=12479
816.24/816.56	c nbDecision=271000 #constraints=12479
817.64/817.94	c nbDecision=271500 #constraints=12479
819.04/819.32	c nbDecision=272000 #constraints=12479
820.44/820.70	c nbDecision=272500 #constraints=12479
821.74/822.08	c nbDecision=273000 #constraints=12479
823.14/823.45	c nbDecision=273500 #constraints=12479
824.54/824.83	c nbDecision=274000 #constraints=12479
825.84/826.20	c nbDecision=274500 #constraints=12479
827.24/827.57	c nbDecision=275000 #constraints=12479
828.64/828.95	c nbDecision=275500 #constraints=12479
830.04/830.33	c nbDecision=276000 #constraints=12479
831.44/831.71	c nbDecision=276500 #constraints=12479
832.74/833.09	c nbDecision=277000 #constraints=12479
834.14/834.46	c nbDecision=277500 #constraints=12479
835.54/835.84	c nbDecision=278000 #constraints=12479
836.93/837.20	c nbDecision=278500 #constraints=12479
838.23/838.56	c nbDecision=279000 #constraints=12479
839.63/839.92	c nbDecision=279500 #constraints=12479
840.93/841.27	c nbDecision=280000 #constraints=12479
842.33/842.62	c nbDecision=280500 #constraints=12479
843.63/843.97	c nbDecision=281000 #constraints=12479
845.03/845.32	c nbDecision=281500 #constraints=12479
846.33/846.67	c nbDecision=282000 #constraints=12479
847.73/848.02	c nbDecision=282500 #constraints=12479
849.03/849.38	c nbDecision=283000 #constraints=12479
850.43/850.73	c nbDecision=283500 #constraints=12479
851.73/852.09	c nbDecision=284000 #constraints=12479
853.13/853.44	c nbDecision=284500 #constraints=12479
854.43/854.79	c nbDecision=285000 #constraints=12479
855.83/856.14	c nbDecision=285500 #constraints=12479
857.13/857.48	c nbDecision=286000 #constraints=12479
858.53/858.81	c nbDecision=286500 #constraints=12479
859.83/860.14	c nbDecision=287000 #constraints=12479
861.13/861.47	c nbDecision=287500 #constraints=12479
862.42/862.79	c nbDecision=288000 #constraints=12479
863.82/864.12	c nbDecision=288500 #constraints=12479
865.12/865.44	c nbDecision=289000 #constraints=12479
866.43/866.76	c nbDecision=289500 #constraints=12479
867.72/868.09	c nbDecision=290000 #constraints=12479
869.12/869.42	c nbDecision=290500 #constraints=12479
870.42/870.75	c nbDecision=291000 #constraints=12479
871.72/872.08	c nbDecision=291500 #constraints=12479
873.13/873.41	c nbDecision=292000 #constraints=12479
874.42/874.73	c nbDecision=292500 #constraints=12479
875.72/876.05	c nbDecision=293000 #constraints=12479
877.02/877.37	c nbDecision=293500 #constraints=12479
878.32/878.67	c nbDecision=294000 #constraints=12479
879.62/879.98	c nbDecision=294500 #constraints=12479
880.92/881.28	c nbDecision=295000 #constraints=12479
882.22/882.58	c nbDecision=295500 #constraints=12479
883.52/883.88	c nbDecision=296000 #constraints=12479
884.92/885.20	c nbDecision=296500 #constraints=12479
886.12/886.50	c nbDecision=297000 #constraints=12479
887.52/887.80	c nbDecision=297500 #constraints=12479
888.81/889.11	c nbDecision=298000 #constraints=12479
890.11/890.41	c nbDecision=298500 #constraints=12479
891.41/891.71	c nbDecision=299000 #constraints=12479
892.71/893.01	c nbDecision=299500 #constraints=12479
894.02/894.31	c nbDecision=300000 #constraints=12479
895.31/895.60	c nbDecision=300500 #constraints=12479
896.61/896.91	c nbDecision=301000 #constraints=12479
897.91/898.21	c nbDecision=301500 #constraints=12479
899.21/899.52	c nbDecision=302000 #constraints=12479
900.52/900.83	c nbDecision=302500 #constraints=12479
901.81/902.10	c nbDecision=303000 #constraints=12479
903.01/903.38	c nbDecision=303500 #constraints=12479
904.31/904.66	c nbDecision=304000 #constraints=12479
905.61/905.95	c nbDecision=304500 #constraints=12479
906.91/907.25	c nbDecision=305000 #constraints=12479
908.21/908.53	c nbDecision=305500 #constraints=12479
909.51/909.82	c nbDecision=306000 #constraints=12479
910.81/911.11	c nbDecision=306500 #constraints=12479
912.01/912.39	c nbDecision=307000 #constraints=12479
913.31/913.68	c nbDecision=307500 #constraints=12479
914.61/914.96	c nbDecision=308000 #constraints=12479
915.91/916.25	c nbDecision=308500 #constraints=12479
917.21/917.52	c nbDecision=309000 #constraints=12479
918.41/918.79	c nbDecision=309500 #constraints=12479
919.71/920.07	c nbDecision=310000 #constraints=12479
921.01/921.33	c nbDecision=310500 #constraints=12479
922.31/922.60	c nbDecision=311000 #constraints=12479
923.51/923.87	c nbDecision=311500 #constraints=12479
924.81/925.14	c nbDecision=312000 #constraints=12479
926.11/926.40	c nbDecision=312500 #constraints=12479
927.31/927.67	c nbDecision=313000 #constraints=12479
928.61/928.95	c nbDecision=313500 #constraints=12479
929.91/930.22	c nbDecision=314000 #constraints=12479
931.21/931.50	c nbDecision=314500 #constraints=12479
932.41/932.78	c nbDecision=315000 #constraints=12479
933.71/934.05	c nbDecision=315500 #constraints=12479
935.01/935.32	c nbDecision=316000 #constraints=12479
936.31/936.60	c nbDecision=316500 #constraints=12479
937.51/937.87	c nbDecision=317000 #constraints=12479
938.81/939.13	c nbDecision=317500 #constraints=12479
940.01/940.39	c nbDecision=318000 #constraints=12479
941.31/941.65	c nbDecision=318500 #constraints=12479
942.61/942.91	c nbDecision=319000 #constraints=12479
943.81/944.16	c nbDecision=319500 #constraints=12479
945.11/945.42	c nbDecision=320000 #constraints=12479
946.31/946.68	c nbDecision=320500 #constraints=12479
947.61/947.94	c nbDecision=321000 #constraints=12479
948.91/949.21	c nbDecision=321500 #constraints=12479
950.11/950.48	c nbDecision=322000 #constraints=12479
951.39/951.75	c nbDecision=322500 #constraints=12479
952.69/953.02	c nbDecision=323000 #constraints=12479
953.97/954.31	c nbDecision=323500 #constraints=12479
955.17/955.58	c nbDecision=324000 #constraints=12479
956.47/956.85	c nbDecision=324500 #constraints=12479
957.77/958.11	c nbDecision=325000 #constraints=12479
958.97/959.36	c nbDecision=325500 #constraints=12479
960.26/960.64	c nbDecision=326000 #constraints=12481
961.56/961.94	c nbDecision=326500 #constraints=12486
962.76/963.19	c nbDecision=327000 #constraints=12486
964.06/964.48	c nbDecision=327500 #constraints=12490
965.36/965.74	c nbDecision=328000 #constraints=12490
966.64/967.01	c nbDecision=328500 #constraints=12490
967.84/968.27	c nbDecision=329000 #constraints=12490
969.14/969.58	c nbDecision=329500 #constraints=12493
970.44/970.85	c nbDecision=330000 #constraints=12493
971.74/972.12	c nbDecision=330500 #constraints=12493
972.93/973.38	c nbDecision=331000 #constraints=12493
974.24/974.64	c nbDecision=331500 #constraints=12493
975.52/975.92	c nbDecision=332000 #constraints=12493
976.72/977.18	c nbDecision=332500 #constraints=12493
978.11/978.51	c nbDecision=333000 #constraints=12498
979.30/979.77	c nbDecision=333500 #constraints=12498
980.60/981.03	c nbDecision=334000 #constraints=12498
981.81/982.29	c nbDecision=334500 #constraints=12498
983.11/983.54	c nbDecision=335000 #constraints=12498
984.30/984.79	c nbDecision=335500 #constraints=12498
985.60/986.08	c nbDecision=336000 #constraints=12500
986.90/987.34	c nbDecision=336500 #constraints=12500
988.20/988.60	c nbDecision=337000 #constraints=12500
989.40/989.87	c nbDecision=337500 #constraints=12500
990.70/991.13	c nbDecision=338000 #constraints=12500
992.00/992.49	c nbDecision=338500 #constraints=12512
993.30/993.76	c nbDecision=339000 #constraints=12512
994.60/995.08	c nbDecision=339500 #constraints=12517
996.10/996.58	c nbDecision=340000 #constraints=12531
997.40/997.84	c nbDecision=340500 #constraints=12531
998.60/999.10	c nbDecision=341000 #constraints=12531
999.89/1000.35	c nbDecision=341500 #constraints=12531
1001.19/1001.60	c nbDecision=342000 #constraints=12531
1002.39/1002.85	c nbDecision=342500 #constraints=12531
1003.69/1004.11	c nbDecision=343000 #constraints=12531
1004.99/1005.45	c nbDecision=343500 #constraints=12537
1006.28/1006.70	c nbDecision=344000 #constraints=12537
1007.48/1007.97	c nbDecision=344500 #constraints=12537
1008.78/1009.23	c nbDecision=345000 #constraints=12537
1010.08/1010.50	c nbDecision=345500 #constraints=12537
1011.28/1011.76	c nbDecision=346000 #constraints=12537
1012.58/1013.03	c nbDecision=346500 #constraints=12537
1013.78/1014.29	c nbDecision=347000 #constraints=12537
1015.08/1015.55	c nbDecision=347500 #constraints=12537
1016.38/1016.82	c nbDecision=348000 #constraints=12537
1017.58/1018.07	c nbDecision=348500 #constraints=12537
1018.88/1019.32	c nbDecision=349000 #constraints=12537
1020.08/1020.57	c nbDecision=349500 #constraints=12537
1021.38/1021.86	c nbDecision=350000 #constraints=12541
1022.68/1023.11	c nbDecision=350500 #constraints=12541
1024.08/1024.52	c nbDecision=351000 #constraints=12562
1025.28/1025.77	c nbDecision=351500 #constraints=12562
1026.57/1027.03	c nbDecision=352000 #constraints=12562
1027.77/1028.29	c nbDecision=352500 #constraints=12562
1029.08/1029.55	c nbDecision=353000 #constraints=12562
1030.37/1030.81	c nbDecision=353500 #constraints=12562
1031.57/1032.08	c nbDecision=354000 #constraints=12562
1033.08/1033.53	c nbDecision=354500 #constraints=12581
1034.28/1034.79	c nbDecision=355000 #constraints=12581
1035.58/1036.06	c nbDecision=355500 #constraints=12581
1036.88/1037.32	c nbDecision=356000 #constraints=12581
1038.28/1038.74	c nbDecision=356500 #constraints=12599
1039.47/1039.99	c nbDecision=357000 #constraints=12599
1040.97/1041.43	c nbDecision=357500 #constraints=12617
1042.17/1042.68	c nbDecision=358000 #constraints=12617
1043.47/1043.93	c nbDecision=358500 #constraints=12617
1044.67/1045.19	c nbDecision=359000 #constraints=12617
1046.17/1046.61	c nbDecision=359500 #constraints=12635
1047.37/1047.87	c nbDecision=360000 #constraints=12635
1048.97/1049.43	c nbDecision=360500 #constraints=12656
1050.46/1050.98	c nbDecision=361000 #constraints=12670
1051.76/1052.25	c nbDecision=361500 #constraints=12670
1053.06/1053.58	c nbDecision=362000 #constraints=12678
1054.37/1054.84	c nbDecision=362500 #constraints=12678
1055.66/1056.19	c nbDecision=363000 #constraints=12687
1057.06/1057.54	c nbDecision=363500 #constraints=12696
1058.46/1058.92	c nbDecision=364000 #constraints=12707
1059.76/1060.26	c nbDecision=364500 #constraints=12716
1061.26/1061.75	c nbDecision=365000 #constraints=12730
1062.56/1063.00	c nbDecision=365500 #constraints=12730
1064.07/1064.58	c nbDecision=366000 #constraints=12748
1065.77/1066.25	c nbDecision=366500 #constraints=12762
1067.07/1067.51	c nbDecision=367000 #constraints=12762
1068.27/1068.78	c nbDecision=367500 #constraints=12762
1069.77/1070.23	c nbDecision=368000 #constraints=12780
1071.06/1071.50	c nbDecision=368500 #constraints=12780
1072.26/1072.76	c nbDecision=369000 #constraints=12780
1073.76/1074.28	c nbDecision=369500 #constraints=12799
1075.26/1075.75	c nbDecision=370000 #constraints=12810
1076.56/1077.02	c nbDecision=370500 #constraints=12810
1077.86/1078.40	c nbDecision=371000 #constraints=12821
1079.16/1079.65	c nbDecision=371500 #constraints=12821
1080.66/1081.11	c nbDecision=372000 #constraints=12833
1082.06/1082.58	c nbDecision=372500 #constraints=12846
1083.36/1083.88	c nbDecision=373000 #constraints=12848
1084.85/1085.34	c nbDecision=373500 #constraints=12861
1086.05/1086.60	c nbDecision=374000 #constraints=12861
1087.65/1088.10	c nbDecision=374500 #constraints=12874
1089.36/1089.80	c nbDecision=375000 #constraints=12891
1090.56/1091.07	c nbDecision=375500 #constraints=12891
1091.86/1092.34	c nbDecision=376000 #constraints=12891
1093.16/1093.61	c nbDecision=376500 #constraints=12891
1094.55/1095.08	c nbDecision=377000 #constraints=12909
1095.85/1096.34	c nbDecision=377500 #constraints=12909
1097.36/1097.87	c nbDecision=378000 #constraints=12927
1098.85/1099.31	c nbDecision=378500 #constraints=12938
1100.05/1100.57	c nbDecision=379000 #constraints=12938
1101.45/1101.98	c nbDecision=379500 #constraints=12950
1102.76/1103.23	c nbDecision=380000 #constraints=12950
1104.25/1104.71	c nbDecision=380500 #constraints=12962
1105.64/1106.19	c nbDecision=381000 #constraints=12975
1106.94/1107.45	c nbDecision=381500 #constraints=12975
1108.25/1108.72	c nbDecision=382000 #constraints=12975
1109.55/1110.08	c nbDecision=382500 #constraints=12979
1111.15/1111.67	c nbDecision=383000 #constraints=12990
1112.85/1113.36	c nbDecision=383500 #constraints=13008
1114.45/1114.93	c nbDecision=384000 #constraints=13019
1115.85/1116.40	c nbDecision=384500 #constraints=13031
1117.44/1117.94	c nbDecision=385000 #constraints=13045
1118.94/1119.41	c nbDecision=385500 #constraints=13054
1120.94/1121.46	c nbDecision=386000 #constraints=13080
1122.24/1122.74	c nbDecision=386500 #constraints=13081
1124.25/1124.77	c nbDecision=387000 #constraints=13109
1126.44/1126.92	c nbDecision=387500 #constraints=13121
1128.95/1129.46	c nbDecision=388000 #constraints=13142
1130.84/1131.39	c nbDecision=388500 #constraints=13157
1133.14/1133.61	c nbDecision=389000 #constraints=13174
1135.54/1136.09	c nbDecision=389500 #constraints=13188
1138.33/1138.81	c nbDecision=390000 #constraints=13203
1139.53/1140.09	c nbDecision=390500 #constraints=13203
1140.83/1141.35	c nbDecision=391000 #constraints=13203
1142.13/1142.61	c nbDecision=391500 #constraints=13203
1143.74/1144.29	c nbDecision=392000 #constraints=13226
1145.44/1145.92	c nbDecision=392500 #constraints=13235
1146.64/1147.18	c nbDecision=393000 #constraints=13235
1148.44/1148.99	c nbDecision=393500 #constraints=13254
1149.94/1150.50	c nbDecision=394000 #constraints=13261
1151.43/1151.90	c nbDecision=394500 #constraints=13267
1153.43/1153.94	c nbDecision=395000 #constraints=13285
1155.04/1155.50	c nbDecision=395500 #constraints=13294
1156.24/1156.77	c nbDecision=396000 #constraints=13294
1157.54/1158.03	c nbDecision=396500 #constraints=13294
1159.03/1159.51	c nbDecision=397000 #constraints=13312
1160.23/1160.77	c nbDecision=397500 #constraints=13312
1161.83/1162.34	c nbDecision=398000 #constraints=13331
1163.03/1163.59	c nbDecision=398500 #constraints=13331
1164.53/1165.09	c nbDecision=399000 #constraints=13342
1165.83/1166.35	c nbDecision=399500 #constraints=13342
1167.23/1167.78	c nbDecision=400000 #constraints=13354
1168.84/1169.32	c nbDecision=400500 #constraints=13366
1170.03/1170.59	c nbDecision=401000 #constraints=13366
1171.63/1172.10	c nbDecision=401500 #constraints=13377
1172.83/1173.37	c nbDecision=402000 #constraints=13377
1174.13/1174.64	c nbDecision=402500 #constraints=13377
1175.63/1176.11	c nbDecision=403000 #constraints=13390
1177.13/1177.62	c nbDecision=403500 #constraints=13404
1178.33/1178.88	c nbDecision=404000 #constraints=13404
1179.92/1180.49	c nbDecision=404500 #constraints=13421
1181.22/1181.76	c nbDecision=405000 #constraints=13421
1182.52/1183.02	c nbDecision=405500 #constraints=13421
1184.13/1184.62	c nbDecision=406000 #constraints=13440
1185.32/1185.88	c nbDecision=406500 #constraints=13440
1187.33/1187.89	c nbDecision=407000 #constraints=13467
1189.62/1190.20	c nbDecision=407500 #constraints=13495
1191.12/1191.65	c nbDecision=408000 #constraints=13501
1192.82/1193.37	c nbDecision=408500 #constraints=13516
1194.62/1195.10	c nbDecision=409000 #constraints=13532
1195.92/1196.45	c nbDecision=409500 #constraints=13535
1196.23/1196.70	c restart after 409601 decisions
1198.02/1198.58	c nbDecision=410000 #constraints=13535
1199.62/1200.18	c nbDecision=410500 #constraints=13535
1201.22/1201.73	c nbDecision=411000 #constraints=13535
1202.82/1203.32	c nbDecision=411500 #constraints=13535
1204.42/1204.92	c nbDecision=412000 #constraints=13535
1206.02/1206.51	c nbDecision=412500 #constraints=13535
1207.62/1208.12	c nbDecision=413000 #constraints=13535
1209.22/1209.73	c nbDecision=413500 #constraints=13535
1210.82/1211.33	c nbDecision=414000 #constraints=13535
1212.42/1212.93	c nbDecision=414500 #constraints=13535
1214.02/1214.53	c nbDecision=415000 #constraints=13535
1215.61/1216.12	c nbDecision=415500 #constraints=13535
1217.22/1217.71	c nbDecision=416000 #constraints=13535
1218.71/1219.29	c nbDecision=416500 #constraints=13535
1220.31/1220.87	c nbDecision=417000 #constraints=13535
1221.91/1222.46	c nbDecision=417500 #constraints=13535
1223.51/1224.07	c nbDecision=418000 #constraints=13535
1225.11/1225.67	c nbDecision=418500 #constraints=13535
1226.71/1227.26	c nbDecision=419000 #constraints=13535
1228.31/1228.86	c nbDecision=419500 #constraints=13535
1230.01/1230.51	c nbDecision=420000 #constraints=13535
1231.61/1232.11	c nbDecision=420500 #constraints=13535
1233.21/1233.73	c nbDecision=421000 #constraints=13535
1234.81/1235.34	c nbDecision=421500 #constraints=13535
1236.41/1236.98	c nbDecision=422000 #constraints=13535
1238.01/1238.59	c nbDecision=422500 #constraints=13535
1239.60/1240.15	c nbDecision=423000 #constraints=13535
1241.20/1241.70	c nbDecision=423500 #constraints=13535
1242.70/1243.26	c nbDecision=424000 #constraints=13535
1244.30/1244.80	c nbDecision=424500 #constraints=13535
1245.81/1246.35	c nbDecision=425000 #constraints=13535
1247.40/1247.91	c nbDecision=425500 #constraints=13535
1248.90/1249.47	c nbDecision=426000 #constraints=13535
1250.50/1251.03	c nbDecision=426500 #constraints=13535
1252.00/1252.59	c nbDecision=427000 #constraints=13535
1253.60/1254.14	c nbDecision=427500 #constraints=13535
1255.10/1255.69	c nbDecision=428000 #constraints=13535
1256.70/1257.24	c nbDecision=428500 #constraints=13535
1258.20/1258.78	c nbDecision=429000 #constraints=13535
1259.80/1260.31	c nbDecision=429500 #constraints=13535
1261.30/1261.84	c nbDecision=430000 #constraints=13535
1262.80/1263.37	c nbDecision=430500 #constraints=13535
1264.30/1264.90	c nbDecision=431000 #constraints=13535
1265.90/1266.43	c nbDecision=431500 #constraints=13535
1267.39/1267.95	c nbDecision=432000 #constraints=13535
1268.90/1269.47	c nbDecision=432500 #constraints=13535
1270.39/1270.98	c nbDecision=433000 #constraints=13535
1271.99/1272.51	c nbDecision=433500 #constraints=13535
1273.49/1274.04	c nbDecision=434000 #constraints=13535
1274.99/1275.57	c nbDecision=434500 #constraints=13535
1276.59/1277.10	c nbDecision=435000 #constraints=13535
1278.09/1278.62	c nbDecision=435500 #constraints=13535
1279.59/1280.12	c nbDecision=436000 #constraints=13535
1281.09/1281.60	c nbDecision=436500 #constraints=13535
1282.59/1283.11	c nbDecision=437000 #constraints=13535
1284.09/1284.61	c nbDecision=437500 #constraints=13535
1285.59/1286.12	c nbDecision=438000 #constraints=13535
1287.09/1287.63	c nbDecision=438500 #constraints=13535
1288.59/1289.14	c nbDecision=439000 #constraints=13535
1290.09/1290.63	c nbDecision=439500 #constraints=13535
1291.59/1292.11	c nbDecision=440000 #constraints=13535
1293.09/1293.62	c nbDecision=440500 #constraints=13535
1294.59/1295.13	c nbDecision=441000 #constraints=13535
1296.09/1296.64	c nbDecision=441500 #constraints=13535
1297.59/1298.15	c nbDecision=442000 #constraints=13535
1299.08/1299.64	c nbDecision=442500 #constraints=13535
1300.58/1301.11	c nbDecision=443000 #constraints=13535
1301.98/1302.58	c nbDecision=443500 #constraints=13535
1303.48/1304.04	c nbDecision=444000 #constraints=13535
1304.98/1305.52	c nbDecision=444500 #constraints=13535
1306.48/1307.00	c nbDecision=445000 #constraints=13535
1307.98/1308.50	c nbDecision=445500 #constraints=13535
1309.38/1310.00	c nbDecision=446000 #constraints=13535
1310.88/1311.49	c nbDecision=446500 #constraints=13535
1312.38/1312.98	c nbDecision=447000 #constraints=13535
1313.89/1314.47	c nbDecision=447500 #constraints=13535
1315.38/1315.96	c nbDecision=448000 #constraints=13535
1316.88/1317.45	c nbDecision=448500 #constraints=13535
1318.38/1318.92	c nbDecision=449000 #constraints=13535
1319.78/1320.39	c nbDecision=449500 #constraints=13535
1321.28/1321.86	c nbDecision=450000 #constraints=13535
1322.78/1323.33	c nbDecision=450500 #constraints=13535
1324.18/1324.79	c nbDecision=451000 #constraints=13535
1325.68/1326.26	c nbDecision=451500 #constraints=13535
1327.18/1327.72	c nbDecision=452000 #constraints=13535
1328.68/1329.20	c nbDecision=452500 #constraints=13535
1330.07/1330.67	c nbDecision=453000 #constraints=13535
1331.58/1332.14	c nbDecision=453500 #constraints=13535
1333.07/1333.60	c nbDecision=454000 #constraints=13535
1334.47/1335.07	c nbDecision=454500 #constraints=13535
1335.98/1336.54	c nbDecision=455000 #constraints=13535
1337.37/1337.99	c nbDecision=455500 #constraints=13535
1338.87/1339.44	c nbDecision=456000 #constraints=13535
1340.28/1340.89	c nbDecision=456500 #constraints=13535
1341.77/1342.34	c nbDecision=457000 #constraints=13535
1343.17/1343.78	c nbDecision=457500 #constraints=13535
1344.67/1345.20	c nbDecision=458000 #constraints=13535
1346.07/1346.65	c nbDecision=458500 #constraints=13535
1347.47/1348.09	c nbDecision=459000 #constraints=13535
1348.97/1349.54	c nbDecision=459500 #constraints=13535
1350.37/1350.99	c nbDecision=460000 #constraints=13535
1351.87/1352.44	c nbDecision=460500 #constraints=13535
1353.27/1353.89	c nbDecision=461000 #constraints=13535
1354.77/1355.32	c nbDecision=461500 #constraints=13535
1356.16/1356.76	c nbDecision=462000 #constraints=13535
1357.56/1358.18	c nbDecision=462500 #constraints=13535
1359.07/1359.61	c nbDecision=463000 #constraints=13535
1360.46/1361.03	c nbDecision=463500 #constraints=13535
1361.86/1362.45	c nbDecision=464000 #constraints=13535
1363.26/1363.87	c nbDecision=464500 #constraints=13535
1364.66/1365.28	c nbDecision=465000 #constraints=13535
1366.16/1366.70	c nbDecision=465500 #constraints=13535
1367.56/1368.13	c nbDecision=466000 #constraints=13535
1368.96/1369.55	c nbDecision=466500 #constraints=13535
1370.36/1370.98	c nbDecision=467000 #constraints=13535
1371.86/1372.41	c nbDecision=467500 #constraints=13535
1373.26/1373.83	c nbDecision=468000 #constraints=13535
1374.66/1375.26	c nbDecision=468500 #constraints=13535
1376.06/1376.67	c nbDecision=469000 #constraints=13535
1377.46/1378.08	c nbDecision=469500 #constraints=13535
1378.86/1379.49	c nbDecision=470000 #constraints=13535
1380.26/1380.88	c nbDecision=470500 #constraints=13535
1381.66/1382.26	c nbDecision=471000 #constraints=13535
1383.06/1383.65	c nbDecision=471500 #constraints=13535
1384.46/1385.03	c nbDecision=472000 #constraints=13535
1385.86/1386.41	c nbDecision=472500 #constraints=13535
1387.25/1387.80	c nbDecision=473000 #constraints=13535
1388.55/1389.19	c nbDecision=473500 #constraints=13535
1389.95/1390.58	c nbDecision=474000 #constraints=13535
1391.35/1391.97	c nbDecision=474500 #constraints=13535
1392.75/1393.36	c nbDecision=475000 #constraints=13535
1394.16/1394.76	c nbDecision=475500 #constraints=13535
1395.55/1396.15	c nbDecision=476000 #constraints=13535
1396.95/1397.54	c nbDecision=476500 #constraints=13535
1398.35/1398.92	c nbDecision=477000 #constraints=13535
1399.65/1400.30	c nbDecision=477500 #constraints=13535
1401.05/1401.68	c nbDecision=478000 #constraints=13535
1402.45/1403.05	c nbDecision=478500 #constraints=13535
1403.85/1404.42	c nbDecision=479000 #constraints=13535
1405.15/1405.79	c nbDecision=479500 #constraints=13535
1406.55/1407.16	c nbDecision=480000 #constraints=13535
1407.95/1408.54	c nbDecision=480500 #constraints=13535
1409.35/1409.91	c nbDecision=481000 #constraints=13535
1410.65/1411.29	c nbDecision=481500 #constraints=13535
1412.05/1412.67	c nbDecision=482000 #constraints=13535
1413.45/1414.04	c nbDecision=482500 #constraints=13535
1414.85/1415.41	c nbDecision=483000 #constraints=13535
1416.15/1416.78	c nbDecision=483500 #constraints=13535
1417.55/1418.14	c nbDecision=484000 #constraints=13535
1418.95/1419.51	c nbDecision=484500 #constraints=13535
1420.24/1420.86	c nbDecision=485000 #constraints=13535
1421.65/1422.21	c nbDecision=485500 #constraints=13535
1422.94/1423.56	c nbDecision=486000 #constraints=13535
1424.34/1424.91	c nbDecision=486500 #constraints=13535
1425.64/1426.26	c nbDecision=487000 #constraints=13535
1427.04/1427.61	c nbDecision=487500 #constraints=13535
1428.35/1428.96	c nbDecision=488000 #constraints=13535
1429.74/1430.31	c nbDecision=488500 #constraints=13535
1431.04/1431.67	c nbDecision=489000 #constraints=13535
1432.45/1433.02	c nbDecision=489500 #constraints=13535
1433.75/1434.37	c nbDecision=490000 #constraints=13535
1435.15/1435.72	c nbDecision=490500 #constraints=13535
1436.45/1437.06	c nbDecision=491000 #constraints=13535
1437.75/1438.39	c nbDecision=491500 #constraints=13535
1439.15/1439.72	c nbDecision=492000 #constraints=13535
1440.45/1441.05	c nbDecision=492500 #constraints=13535
1441.75/1442.37	c nbDecision=493000 #constraints=13535
1443.15/1443.70	c nbDecision=493500 #constraints=13535
1444.44/1445.03	c nbDecision=494000 #constraints=13535
1445.74/1446.35	c nbDecision=494500 #constraints=13535
1447.05/1447.67	c nbDecision=495000 #constraints=13535
1448.34/1448.99	c nbDecision=495500 #constraints=13535
1449.74/1450.32	c nbDecision=496000 #constraints=13535
1451.04/1451.65	c nbDecision=496500 #constraints=13535
1452.34/1452.97	c nbDecision=497000 #constraints=13535
1453.74/1454.30	c nbDecision=497500 #constraints=13535
1455.04/1455.62	c nbDecision=498000 #constraints=13535
1456.34/1456.94	c nbDecision=498500 #constraints=13535
1457.64/1458.25	c nbDecision=499000 #constraints=13535
1458.94/1459.55	c nbDecision=499500 #constraints=13535
1460.24/1460.85	c nbDecision=500000 #constraints=13535
1461.54/1462.15	c nbDecision=500500 #constraints=13535
1462.84/1463.45	c nbDecision=501000 #constraints=13535
1464.14/1464.77	c nbDecision=501500 #constraints=13535
1465.44/1466.06	c nbDecision=502000 #constraints=13535
1466.74/1467.36	c nbDecision=502500 #constraints=13535
1468.04/1468.66	c nbDecision=503000 #constraints=13535
1469.34/1469.97	c nbDecision=503500 #constraints=13535
1470.64/1471.27	c nbDecision=504000 #constraints=13535
1472.14/1472.71	c nbDecision=504500 #constraints=13535
1473.44/1474.04	c nbDecision=505000 #constraints=13535
1474.74/1475.35	c nbDecision=505500 #constraints=13535
1476.03/1476.67	c nbDecision=506000 #constraints=13535
1477.33/1477.96	c nbDecision=506500 #constraints=13535
1478.63/1479.30	c nbDecision=507000 #constraints=13535
1479.94/1480.59	c nbDecision=507500 #constraints=13535
1481.23/1481.88	c nbDecision=508000 #constraints=13535
1482.53/1483.16	c nbDecision=508500 #constraints=13535
1483.83/1484.44	c nbDecision=509000 #constraints=13535
1485.13/1485.75	c nbDecision=509500 #constraints=13535
1486.43/1487.03	c nbDecision=510000 #constraints=13535
1487.73/1488.32	c nbDecision=510500 #constraints=13535
1489.03/1489.61	c nbDecision=511000 #constraints=13535
1490.33/1490.91	c nbDecision=511500 #constraints=13535
1491.53/1492.19	c nbDecision=512000 #constraints=13535
1492.83/1493.48	c nbDecision=512500 #constraints=13535
1494.13/1494.78	c nbDecision=513000 #constraints=13535
1495.43/1496.07	c nbDecision=513500 #constraints=13535
1496.73/1497.36	c nbDecision=514000 #constraints=13535
1498.03/1498.66	c nbDecision=514500 #constraints=13535
1499.33/1499.94	c nbDecision=515000 #constraints=13535
1500.63/1501.22	c nbDecision=515500 #constraints=13535
1501.93/1502.50	c nbDecision=516000 #constraints=13535
1503.13/1503.78	c nbDecision=516500 #constraints=13535
1504.43/1505.05	c nbDecision=517000 #constraints=13535
1505.73/1506.33	c nbDecision=517500 #constraints=13535
1507.02/1507.61	c nbDecision=518000 #constraints=13535
1508.22/1508.89	c nbDecision=518500 #constraints=13535
1509.52/1510.18	c nbDecision=519000 #constraints=13535
1510.83/1511.49	c nbDecision=519500 #constraints=13535
1512.12/1512.78	c nbDecision=520000 #constraints=13535
1513.42/1514.07	c nbDecision=520500 #constraints=13535
1514.72/1515.35	c nbDecision=521000 #constraints=13535
1516.02/1516.62	c nbDecision=521500 #constraints=13535
1517.32/1517.90	c nbDecision=522000 #constraints=13535
1518.52/1519.17	c nbDecision=522500 #constraints=13535
1519.82/1520.44	c nbDecision=523000 #constraints=13535
1521.12/1521.70	c nbDecision=523500 #constraints=13535
1522.32/1522.97	c nbDecision=524000 #constraints=13535
1523.62/1524.24	c nbDecision=524500 #constraints=13535
1524.92/1525.50	c nbDecision=525000 #constraints=13535
1526.12/1526.77	c nbDecision=525500 #constraints=13535
1527.42/1528.04	c nbDecision=526000 #constraints=13535
1528.72/1529.31	c nbDecision=526500 #constraints=13535
1530.02/1530.60	c nbDecision=527000 #constraints=13535
1531.22/1531.87	c nbDecision=527500 #constraints=13535
1532.52/1533.14	c nbDecision=528000 #constraints=13535
1533.92/1534.59	c nbDecision=528500 #constraints=13547
1535.41/1536.07	c nbDecision=529000 #constraints=13561
1536.91/1537.53	c nbDecision=529500 #constraints=13571
1538.11/1538.79	c nbDecision=530000 #constraints=13571
1539.51/1540.15	c nbDecision=530500 #constraints=13580
1541.21/1541.89	c nbDecision=531000 #constraints=13603
1543.41/1544.04	c nbDecision=531500 #constraints=13629
1545.51/1546.12	c nbDecision=532000 #constraints=13648
1547.71/1548.39	c nbDecision=532500 #constraints=13676
1549.80/1550.43	c nbDecision=533000 #constraints=13692
1552.01/1552.63	c nbDecision=533500 #constraints=13713
1553.80/1554.42	c nbDecision=534000 #constraints=13727
1555.61/1556.21	c nbDecision=534500 #constraints=13739
1557.31/1557.98	c nbDecision=535000 #constraints=13747
1558.91/1559.56	c nbDecision=535500 #constraints=13753
1561.10/1561.77	c nbDecision=536000 #constraints=13768
1563.51/1564.12	c nbDecision=536500 #constraints=13781
1565.50/1566.18	c nbDecision=537000 #constraints=13799
1568.70/1569.31	c nbDecision=537500 #constraints=13831
1571.40/1572.05	c nbDecision=538000 #constraints=13849
1573.80/1574.45	c nbDecision=538500 #constraints=13864
1577.09/1577.74	c nbDecision=539000 #constraints=13882
1579.30/1579.99	c nbDecision=539500 #constraints=13901
1581.30/1581.96	c nbDecision=540000 #constraints=13914
1583.60/1584.28	c nbDecision=540500 #constraints=13935
1585.40/1586.09	c nbDecision=541000 #constraints=13946
1587.30/1587.95	c nbDecision=541500 #constraints=13960
1588.90/1589.59	c nbDecision=542000 #constraints=13966
1590.49/1591.19	c nbDecision=542500 #constraints=13971
1592.60/1593.26	c nbDecision=543000 #constraints=13984
1595.29/1595.90	c nbDecision=543500 #constraints=14000
1596.59/1597.20	c nbDecision=544000 #constraints=14000
1597.80/1598.49	c nbDecision=544500 #constraints=14000
1599.30/1599.91	c nbDecision=545000 #constraints=14010
1600.50/1601.17	c nbDecision=545500 #constraints=14010
1601.80/1602.43	c nbDecision=546000 #constraints=14010
1603.10/1603.80	c nbDecision=546500 #constraints=14018
1604.50/1605.16	c nbDecision=547000 #constraints=14026
1605.90/1606.54	c nbDecision=547500 #constraints=14032
1607.20/1607.80	c nbDecision=548000 #constraints=14032
1608.50/1609.14	c nbDecision=548500 #constraints=14039
1610.00/1610.69	c nbDecision=549000 #constraints=14058
1611.30/1611.99	c nbDecision=549500 #constraints=14058
1613.00/1613.63	c nbDecision=550000 #constraints=14070
1614.29/1614.92	c nbDecision=550500 #constraints=14070
1615.59/1616.20	c nbDecision=551000 #constraints=14070
1616.89/1617.59	c nbDecision=551500 #constraints=14080
1618.29/1618.96	c nbDecision=552000 #constraints=14085
1619.59/1620.29	c nbDecision=552500 #constraints=14087
1621.69/1622.39	c nbDecision=553000 #constraints=14101
1622.99/1623.70	c nbDecision=553500 #constraints=14101
1624.29/1624.97	c nbDecision=554000 #constraints=14101
1625.78/1626.46	c nbDecision=554500 #constraints=14110
1627.08/1627.72	c nbDecision=555000 #constraints=14110
1628.39/1629.01	c nbDecision=555500 #constraints=14110
1629.59/1630.28	c nbDecision=556000 #constraints=14110
1630.88/1631.55	c nbDecision=556500 #constraints=14110
1632.48/1633.11	c nbDecision=557000 #constraints=14126
1633.99/1634.67	c nbDecision=557500 #constraints=14132
1635.48/1636.15	c nbDecision=558000 #constraints=14144
1637.09/1637.75	c nbDecision=558500 #constraints=14152
1638.49/1639.18	c nbDecision=559000 #constraints=14158
1640.59/1641.28	c nbDecision=559500 #constraints=14177
1642.08/1642.78	c nbDecision=560000 #constraints=14183
1643.68/1644.32	c nbDecision=560500 #constraints=14191
1645.18/1645.84	c nbDecision=561000 #constraints=14198
1646.58/1647.29	c nbDecision=561500 #constraints=14205
1648.58/1649.26	c nbDecision=562000 #constraints=14222
1650.38/1651.03	c nbDecision=562500 #constraints=14234
1652.87/1653.54	c nbDecision=563000 #constraints=14262
1654.47/1655.15	c nbDecision=563500 #constraints=14273
1657.48/1658.13	c nbDecision=564000 #constraints=14313
1659.78/1660.47	c nbDecision=564500 #constraints=14331
1662.58/1663.28	c nbDecision=565000 #constraints=14364
1666.78/1667.48	c nbDecision=565500 #constraints=14406
1669.67/1670.39	c nbDecision=566000 #constraints=14427
1672.67/1673.37	c nbDecision=566500 #constraints=14448
1674.58/1675.24	c nbDecision=567000 #constraints=14454
1676.77/1677.40	c nbDecision=567500 #constraints=14462
1679.46/1680.19	c nbDecision=568000 #constraints=14478
1681.97/1682.66	c nbDecision=568500 #constraints=14509
1684.48/1685.11	c nbDecision=569000 #constraints=14525
1686.87/1687.54	c nbDecision=569500 #constraints=14539
1688.17/1688.82	c nbDecision=570000 #constraints=14539
1689.77/1690.42	c nbDecision=570500 #constraints=14545
1691.17/1691.88	c nbDecision=571000 #constraints=14548
1692.77/1693.50	c nbDecision=571500 #constraints=14554
1694.57/1695.26	c nbDecision=572000 #constraints=14561
1696.26/1696.97	c nbDecision=572500 #constraints=14570
1698.27/1698.91	c nbDecision=573000 #constraints=14581
1699.56/1700.21	c nbDecision=573500 #constraints=14581
1700.86/1701.53	c nbDecision=574000 #constraints=14581
1702.07/1702.80	c nbDecision=574500 #constraints=14581
1703.36/1704.05	c nbDecision=575000 #constraints=14581
1704.66/1705.31	c nbDecision=575500 #constraints=14581
1705.86/1706.57	c nbDecision=576000 #constraints=14581
1707.36/1708.06	c nbDecision=576500 #constraints=14590
1708.67/1709.40	c nbDecision=577000 #constraints=14592
1710.46/1711.14	c nbDecision=577500 #constraints=14600
1711.76/1712.45	c nbDecision=578000 #constraints=14600
1713.06/1713.74	c nbDecision=578500 #constraints=14600
1714.36/1715.01	c nbDecision=579000 #constraints=14600
1715.76/1716.47	c nbDecision=579500 #constraints=14613
1717.56/1718.21	c nbDecision=580000 #constraints=14627
1719.25/1719.92	c nbDecision=580500 #constraints=14640
1720.76/1721.50	c nbDecision=581000 #constraints=14648
1722.96/1723.62	c nbDecision=581500 #constraints=14671
1724.76/1725.42	c nbDecision=582000 #constraints=14686
1727.16/1727.81	c nbDecision=582500 #constraints=14706
1728.95/1729.64	c nbDecision=583000 #constraints=14725
1730.85/1731.54	c nbDecision=583500 #constraints=14740
1733.35/1734.08	c nbDecision=584000 #constraints=14760
1735.65/1736.33	c nbDecision=584500 #constraints=14781
1737.85/1738.58	c nbDecision=585000 #constraints=14798
1741.25/1741.97	c nbDecision=585500 #constraints=14827
1743.35/1744.08	c nbDecision=586000 #constraints=14842
1745.74/1746.43	c nbDecision=586500 #constraints=14858
1747.75/1748.45	c nbDecision=587000 #constraints=14874
1750.15/1750.80	c nbDecision=587500 #constraints=14886
1751.94/1752.67	c nbDecision=588000 #constraints=14896
1753.34/1754.02	c nbDecision=588500 #constraints=14896
1754.64/1755.33	c nbDecision=589000 #constraints=14896
1756.35/1757.02	c nbDecision=589500 #constraints=14908
1758.35/1759.03	c nbDecision=590000 #constraints=14929
1759.65/1760.31	c nbDecision=590500 #constraints=14929
1761.94/1762.62	c nbDecision=591000 #constraints=14957
1764.05/1764.71	c nbDecision=591500 #constraints=14975
1766.15/1766.84	c nbDecision=592000 #constraints=14996
1768.44/1769.11	c nbDecision=592500 #constraints=15010
1770.54/1771.27	c nbDecision=593000 #constraints=15032
1773.54/1774.27	c nbDecision=593500 #constraints=15065
1775.94/1776.65	c nbDecision=594000 #constraints=15080
1779.04/1779.80	c nbDecision=594500 #constraints=15108
1782.24/1782.90	c nbDecision=595000 #constraints=15133
1785.84/1786.58	c nbDecision=595500 #constraints=15164
1788.83/1789.53	c nbDecision=596000 #constraints=15184
1791.53/1792.20	c nbDecision=596500 #constraints=15204
1793.84/1794.59	c nbDecision=597000 #constraints=15221
1796.43/1797.15	c nbDecision=597500 #constraints=15237
1799.13/1799.81	c nbDecision=598000 #constraints=15254
1800.04/1800.71	Received signal 15
1800.04/1800.71	
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	
1800.04/1800.71	c user time= 1799.44 s
1800.04/1800.71	c system time= 0.608907 s
1800.04/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node65/watcher-357305-1176993909 -o ROOT/results/node65/solver-357305-1176993909 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357305-1176993909/instance-357305-1176993909.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.04 1.02 1.00 3/64 9753
/proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=1468 CPUtime=0
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175380599 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 367 160 127 317 0 46 0

[startup+0.00653109 s]
/proc/loadavg: 1.04 1.02 1.00 3/64 9753
/proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=1468 CPUtime=0
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175380599 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 367 162 127 317 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1468

[startup+0.101538 s]
/proc/loadavg: 1.04 1.02 1.00 3/64 9753
/proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=3692 CPUtime=0.09
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 644 0 0 0 9 0 0 0 18 0 1 0 175380599 3780608 528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 923 531 127 317 0 602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3692

[startup+0.301554 s]
/proc/loadavg: 1.04 1.02 1.00 3/64 9753
/proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=5520 CPUtime=0.29
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 1541 0 0 0 29 0 0 0 19 0 1 0 175380599 5652480 1039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 1380 1039 127 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701588 s]
/proc/loadavg: 1.04 1.02 1.00 3/64 9753
/proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=9548 CPUtime=0.69
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 3048 0 0 0 68 1 0 0 22 0 1 0 175380599 9777152 2033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 2387 2033 128 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50165 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 9754
/proc/meminfo: memFree=1558080/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=18864 CPUtime=1.49
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 5371 0 0 0 146 3 0 0 25 0 1 0 175380599 19316736 4356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 4716 4356 131 317 0 4395 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18864

[startup+3.10179 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 9754
/proc/meminfo: memFree=1539648/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=49484 CPUtime=3.09
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 12930 0 0 0 302 7 0 0 25 0 1 0 175380599 50671616 11915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 12371 11916 131 317 0 12050 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49484

[startup+6.30105 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 9754
/proc/meminfo: memFree=1487040/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=91516 CPUtime=6.29
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 24287 0 0 0 616 13 0 0 25 0 1 0 175380599 93712384 22275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 22879 22275 137 317 0 22558 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91516

[startup+12.7026 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 9754
/proc/meminfo: memFree=1473984/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95476 CPUtime=12.69
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25259 0 0 0 1255 14 0 0 25 0 1 0 175380599 97767424 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23869 23247 138 317 0 23548 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95476

[startup+25.5016 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 9754
/proc/meminfo: memFree=1474112/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95476 CPUtime=25.49
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25259 0 0 0 2535 14 0 0 25 0 1 0 175380599 97767424 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23869 23247 138 317 0 23548 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95476

[startup+51.1018 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 9754
/proc/meminfo: memFree=1474176/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95476 CPUtime=51.07
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25259 0 0 0 5093 14 0 0 25 0 1 0 175380599 97767424 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23869 23247 138 317 0 23548 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95476

[startup+102.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9754
/proc/meminfo: memFree=1474240/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95476 CPUtime=102.26
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25259 0 0 0 10212 14 0 0 25 0 1 0 175380599 97767424 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23869 23247 138 317 0 23548 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 95476

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9754
/proc/meminfo: memFree=1474240/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95476 CPUtime=162.23
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25270 0 0 0 16209 14 0 0 25 0 1 0 175380599 97767424 23258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23869 23258 138 317 0 23548 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 95476

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1474112/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95476 CPUtime=222.21
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25272 0 0 0 22207 14 0 0 25 0 1 0 175380599 97767424 23260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23869 23260 138 317 0 23548 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 95476

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1474176/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95604 CPUtime=282.19
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25283 0 0 0 28205 14 0 0 25 0 1 0 175380599 97898496 23271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23901 23271 138 317 0 23580 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 95604

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1474176/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95560 CPUtime=342.18
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25297 0 0 0 34203 15 0 0 25 0 1 0 175380599 97853440 23285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23890 23285 138 317 0 23569 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 95560

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1474112/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95560 CPUtime=402.16
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25297 0 0 0 40201 15 0 0 25 0 1 0 175380599 97853440 23285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23890 23285 138 317 0 23569 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 95560

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1474112/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95560 CPUtime=462.15
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25297 0 0 0 46200 15 0 0 25 0 1 0 175380599 97853440 23285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23890 23285 138 317 0 23569 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 95560

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1474048/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95688 CPUtime=522.12
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25312 0 0 0 52197 15 0 0 25 0 1 0 175380599 97984512 23300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23922 23300 138 317 0 23601 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 95688

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1473984/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95816 CPUtime=582.11
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25334 0 0 0 58196 15 0 0 25 0 1 0 175380599 98115584 23322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23954 23322 138 317 0 23633 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 95816

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1473856/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95560 CPUtime=642.1
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25348 0 0 0 64194 16 0 0 25 0 1 0 175380599 97853440 23287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23890 23287 138 317 0 23569 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 95560


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1473920/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95816 CPUtime=882.02
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25385 0 0 0 88186 16 0 0 25 0 1 0 175380599 98115584 23324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23954 23324 138 317 0 23633 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 95816

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9754
/proc/meminfo: memFree=1473792/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=95816 CPUtime=942.01
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25409 0 0 0 94184 17 0 0 25 0 1 0 175380599 98115584 23348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 23954 23348 138 317 0 23633 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 95816

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 9930
/proc/meminfo: memFree=1471808/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=96984 CPUtime=1001.89
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25680 0 0 0 100170 19 0 0 25 0 1 0 175380599 99311616 23533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 24246 23533 139 317 0 23925 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 96984

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9952
/proc/meminfo: memFree=1464640/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=106156 CPUtime=1061.86
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 27745 0 0 0 106166 20 0 0 25 0 1 0 175380599 108703744 25598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 26539 25598 139 317 0 26218 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 106156

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9952
/proc/meminfo: memFree=1430016/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=144340 CPUtime=1121.84
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 36464 0 0 0 112160 24 0 0 25 0 1 0 175380599 147804160 34204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 36085 34204 139 317 0 35764 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 144340

[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 9952
/proc/meminfo: memFree=1385408/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=194380 CPUtime=1181.82
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 48676 0 0 0 118154 28 0 0 25 0 1 0 175380599 199045120 45350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 48595 45350 139 317 0 48274 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 194380

[startup+1242.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 9952
/proc/meminfo: memFree=1368640/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=213392 CPUtime=1241.8
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53126 0 0 0 124150 30 0 0 25 0 1 0 175380599 218513408 49533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 53348 49533 139 317 0 53027 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 213392

[startup+1302.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 9952
/proc/meminfo: memFree=1368576/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=213392 CPUtime=1301.79
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53126 0 0 0 130149 30 0 0 25 0 1 0 175380599 218513408 49533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 53348 49533 139 317 0 53027 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 213392

[startup+1362.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 9952
/proc/meminfo: memFree=1368576/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=213392 CPUtime=1361.76
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53126 0 0 0 136146 30 0 0 25 0 1 0 175380599 218513408 49533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 53348 49533 139 317 0 53027 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 213392

[startup+1422.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 9952
/proc/meminfo: memFree=1368576/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=213392 CPUtime=1421.75
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53132 0 0 0 142145 30 0 0 25 0 1 0 175380599 218513408 49539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 53348 49539 139 317 0 53027 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 213392

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9952
/proc/meminfo: memFree=1368576/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=213392 CPUtime=1481.73
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53132 0 0 0 148142 31 0 0 25 0 1 0 175380599 218513408 49539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 53348 49539 139 317 0 53027 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 213392

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9952
/proc/meminfo: memFree=1362752/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=221464 CPUtime=1541.71
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 54837 0 0 0 154139 32 0 0 25 0 1 0 175380599 226779136 51241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 55366 51241 139 317 0 55045 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 221464

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9952
/proc/meminfo: memFree=1285632/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=307020 CPUtime=1601.7
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 77238 0 0 0 160129 41 0 0 25 0 1 0 175380599 314388480 70256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 76755 70256 139 317 0 76434 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 307020

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9952
/proc/meminfo: memFree=1241728/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=358996 CPUtime=1661.68
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 89993 0 0 0 166123 45 0 0 25 0 1 0 175380599 367611904 81528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 89749 81528 139 317 0 89428 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 358996

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9952
/proc/meminfo: memFree=1189888/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=420180 CPUtime=1721.65
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 105873 0 0 0 172115 50 0 0 25 0 1 0 175380599 430264320 94380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593381 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 105045 94380 139 317 0 104724 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 420180

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9952
/proc/meminfo: memFree=1109440/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=514552 CPUtime=1781.64
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 128401 0 0 0 178106 58 0 0 25 0 1 0 175380599 526901248 114389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 128638 114389 139 317 0 128317 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 514552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9952
/proc/meminfo: memFree=1078656/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=551476 CPUtime=1800.04
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 138373 0 0 0 179944 60 0 0 25 0 1 0 175380599 564711424 121865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 137869 121865 139 317 0 137548 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 551476

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9952
/proc/meminfo: memFree=1078656/2055920 swapFree=4184012/4192956
[pid=9753] ppid=9751 vsize=0 CPUtime=1800.14
/proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194308 138389 0 0 0 179952 62 0 0 25 0 1 0 175380599 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9753/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.21
CPU user time (s): 1799.52
CPU system time (s): 0.686895
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 551608

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

runsolver used 1.42178 second user time and 3.70244 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Thu Apr 19 14:45:10 UTC 2007

IDJOB= 357305
IDBENCH= 2369
IDSOLVER= 172
FILE ID= node65/357305-1176993909

PBS_JOBID= 4630420

Free space on /tmp= 66384 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  cc5d7ea426a09a5b1cb030d82bbe1743

RANDOM SEED= 789898808

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1567072 kB
Buffers:         28108 kB
Cached:         405536 kB
SwapCached:       2712 kB
Active:         222524 kB
Inactive:       225440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1567072 kB
SwapTotal:     4192956 kB
SwapFree:      4184012 kB
Dirty:           17836 kB
Writeback:           0 kB
Mapped:          20344 kB
Slab:            26880 kB
Committed_AS:  2290160 kB
PageTables:       1468 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= 66384 MiB

End job on node65 on Thu Apr 19 15:15:13 UTC 2007