Trace number 356947

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) 1802.08 1802.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb
MD5SUM81f6ac40aa7d3bed7fd7ce8f56c34d18
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark254.249
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables185520
Total number of constraints404
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 constraints404
Minimum length of a constraint30
Maximum length of a constraint185520
Number of terms in the objective function 185520
Biggest coefficient in the objective function 43
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 686424
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 686424
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
5.19/5.26	c ...done
5.19/5.26	c #vars=185520 #constraints=809 hasObjective=yes
10.79/10.90	c res. mode=mod
10.79/10.90	c VSIDS like heuristics
10.79/10.90	c complete search running
32.08/32.12	c restart after 401 decisions
32.28/32.39	c nbDecision=500 #constraints=809
33.18/33.20	c restart after 801 decisions
33.68/33.74	c nbDecision=1000 #constraints=809
34.98/35.08	c nbDecision=1500 #constraints=809
35.28/35.35	c restart after 1601 decisions
36.38/36.42	c nbDecision=2000 #constraints=809
37.68/37.75	c nbDecision=2500 #constraints=809
38.98/39.08	c nbDecision=3000 #constraints=809
39.58/39.62	c restart after 3201 decisions
40.38/40.42	c nbDecision=3500 #constraints=809
41.68/41.76	c nbDecision=4000 #constraints=809
42.98/43.09	c nbDecision=4500 #constraints=809
44.38/44.43	c nbDecision=5000 #constraints=809
45.68/45.77	c nbDecision=5500 #constraints=809
47.07/47.11	c nbDecision=6000 #constraints=809
48.07/48.19	c restart after 6401 decisions
48.38/48.46	c nbDecision=6500 #constraints=809
49.77/49.81	c nbDecision=7000 #constraints=809
51.07/51.16	c nbDecision=7500 #constraints=809
52.47/52.50	c nbDecision=8000 #constraints=809
53.78/53.84	c nbDecision=8500 #constraints=809
55.07/55.17	c nbDecision=9000 #constraints=809
56.47/56.50	c nbDecision=9500 #constraints=809
57.77/57.83	c nbDecision=10000 #constraints=809
59.07/59.15	c nbDecision=10500 #constraints=809
60.37/60.48	c nbDecision=11000 #constraints=809
61.77/61.80	c nbDecision=11500 #constraints=809
63.07/63.12	c nbDecision=12000 #constraints=809
64.37/64.45	c nbDecision=12500 #constraints=809
65.17/65.26	c restart after 12801 decisions
65.77/65.81	c nbDecision=13000 #constraints=809
67.07/67.15	c nbDecision=13500 #constraints=809
68.47/68.50	c nbDecision=14000 #constraints=809
69.77/69.84	c nbDecision=14500 #constraints=809
71.07/71.18	c nbDecision=15000 #constraints=809
72.47/72.53	c nbDecision=15500 #constraints=809
73.77/73.87	c nbDecision=16000 #constraints=809
75.07/75.19	c nbDecision=16500 #constraints=809
76.47/76.52	c nbDecision=17000 #constraints=809
77.78/77.84	c nbDecision=17500 #constraints=809
79.08/79.17	c nbDecision=18000 #constraints=809
80.37/80.49	c nbDecision=18500 #constraints=809
81.77/81.81	c nbDecision=19000 #constraints=809
83.07/83.13	c nbDecision=19500 #constraints=809
84.37/84.46	c nbDecision=20000 #constraints=809
85.68/85.78	c nbDecision=20500 #constraints=809
87.07/87.11	c nbDecision=21000 #constraints=809
88.37/88.44	c nbDecision=21500 #constraints=809
89.67/89.77	c nbDecision=22000 #constraints=809
90.97/91.10	c nbDecision=22500 #constraints=809
92.38/92.42	c nbDecision=23000 #constraints=809
93.67/93.74	c nbDecision=23500 #constraints=809
94.97/95.05	c nbDecision=24000 #constraints=809
96.27/96.36	c nbDecision=24500 #constraints=809
97.57/97.67	c nbDecision=25000 #constraints=809
98.87/98.98	c nbDecision=25500 #constraints=809
99.17/99.25	c restart after 25601 decisions
100.27/100.34	c nbDecision=26000 #constraints=809
101.57/101.67	c nbDecision=26500 #constraints=809
102.97/103.00	c nbDecision=27000 #constraints=809
104.27/104.34	c nbDecision=27500 #constraints=809
105.57/105.68	c nbDecision=28000 #constraints=809
106.97/107.03	c nbDecision=28500 #constraints=809
108.27/108.37	c nbDecision=29000 #constraints=809
109.67/109.71	c nbDecision=29500 #constraints=809
110.97/111.04	c nbDecision=30000 #constraints=809
112.26/112.38	c nbDecision=30500 #constraints=809
113.66/113.71	c nbDecision=31000 #constraints=809
114.96/115.04	c nbDecision=31500 #constraints=809
116.26/116.36	c nbDecision=32000 #constraints=809
117.57/117.68	c nbDecision=32500 #constraints=809
118.86/118.99	c nbDecision=33000 #constraints=809
120.26/120.31	c nbDecision=33500 #constraints=809
121.56/121.63	c nbDecision=34000 #constraints=809
122.86/122.94	c nbDecision=34500 #constraints=809
124.17/124.26	c nbDecision=35000 #constraints=809
125.46/125.59	c nbDecision=35500 #constraints=809
126.86/126.91	c nbDecision=36000 #constraints=809
128.16/128.24	c nbDecision=36500 #constraints=809
129.46/129.56	c nbDecision=37000 #constraints=809
130.77/130.88	c nbDecision=37500 #constraints=809
132.16/132.20	c nbDecision=38000 #constraints=809
133.46/133.52	c nbDecision=38500 #constraints=809
134.76/134.83	c nbDecision=39000 #constraints=809
136.06/136.13	c nbDecision=39500 #constraints=809
137.36/137.44	c nbDecision=40000 #constraints=809
138.66/138.74	c nbDecision=40500 #constraints=809
139.96/140.05	c nbDecision=41000 #constraints=809
141.26/141.35	c nbDecision=41500 #constraints=809
142.56/142.65	c nbDecision=42000 #constraints=809
143.86/143.95	c nbDecision=42500 #constraints=809
145.16/145.26	c nbDecision=43000 #constraints=809
146.45/146.57	c nbDecision=43500 #constraints=809
147.75/147.88	c nbDecision=44000 #constraints=809
149.05/149.19	c nbDecision=44500 #constraints=809
150.35/150.49	c nbDecision=45000 #constraints=809
151.66/151.80	c nbDecision=45500 #constraints=809
153.05/153.10	c nbDecision=46000 #constraints=809
154.25/154.40	c nbDecision=46500 #constraints=809
155.55/155.68	c nbDecision=47000 #constraints=809
156.85/156.97	c nbDecision=47500 #constraints=809
158.15/158.26	c nbDecision=48000 #constraints=809
159.46/159.55	c nbDecision=48500 #constraints=809
160.75/160.83	c nbDecision=49000 #constraints=809
162.05/162.12	c nbDecision=49500 #constraints=809
163.35/163.40	c nbDecision=50000 #constraints=809
164.55/164.69	c nbDecision=50500 #constraints=809
165.85/165.99	c nbDecision=51000 #constraints=809
166.45/166.51	c restart after 51201 decisions
167.25/167.38	c nbDecision=51500 #constraints=809
168.65/168.72	c nbDecision=52000 #constraints=809
169.95/170.07	c nbDecision=52500 #constraints=809
171.35/171.41	c nbDecision=53000 #constraints=809
172.65/172.75	c nbDecision=53500 #constraints=809
173.95/174.09	c nbDecision=54000 #constraints=809
175.35/175.42	c nbDecision=54500 #constraints=809
176.65/176.75	c nbDecision=55000 #constraints=809
177.95/178.07	c nbDecision=55500 #constraints=809
179.25/179.39	c nbDecision=56000 #constraints=809
180.64/180.72	c nbDecision=56500 #constraints=809
181.94/182.04	c nbDecision=57000 #constraints=809
183.24/183.36	c nbDecision=57500 #constraints=809
184.54/184.69	c nbDecision=58000 #constraints=809
185.94/186.02	c nbDecision=58500 #constraints=809
187.24/187.35	c nbDecision=59000 #constraints=809
188.54/188.68	c nbDecision=59500 #constraints=809
189.94/190.00	c nbDecision=60000 #constraints=809
191.24/191.33	c nbDecision=60500 #constraints=809
192.54/192.66	c nbDecision=61000 #constraints=809
193.84/193.98	c nbDecision=61500 #constraints=809
195.14/195.29	c nbDecision=62000 #constraints=809
196.54/196.60	c nbDecision=62500 #constraints=809
197.84/197.91	c nbDecision=63000 #constraints=809
199.14/199.22	c nbDecision=63500 #constraints=809
200.44/200.52	c nbDecision=64000 #constraints=809
201.74/201.83	c nbDecision=64500 #constraints=809
203.05/203.14	c nbDecision=65000 #constraints=809
204.34/204.45	c nbDecision=65500 #constraints=809
205.65/205.77	c nbDecision=66000 #constraints=809
206.94/207.08	c nbDecision=66500 #constraints=809
208.24/208.39	c nbDecision=67000 #constraints=809
209.64/209.71	c nbDecision=67500 #constraints=809
210.94/211.02	c nbDecision=68000 #constraints=809
212.25/212.33	c nbDecision=68500 #constraints=809
213.54/213.64	c nbDecision=69000 #constraints=809
214.84/214.94	c nbDecision=69500 #constraints=809
216.14/216.23	c nbDecision=70000 #constraints=809
217.44/217.53	c nbDecision=70500 #constraints=809
218.74/218.82	c nbDecision=71000 #constraints=809
220.04/220.11	c nbDecision=71500 #constraints=809
221.34/221.40	c nbDecision=72000 #constraints=809
222.54/222.69	c nbDecision=72500 #constraints=809
223.84/223.98	c nbDecision=73000 #constraints=809
225.14/225.28	c nbDecision=73500 #constraints=809
226.44/226.58	c nbDecision=74000 #constraints=809
227.74/227.88	c nbDecision=74500 #constraints=809
229.04/229.18	c nbDecision=75000 #constraints=809
230.34/230.47	c nbDecision=75500 #constraints=809
231.64/231.77	c nbDecision=76000 #constraints=809
232.94/233.06	c nbDecision=76500 #constraints=809
234.24/234.35	c nbDecision=77000 #constraints=809
235.54/235.63	c nbDecision=77500 #constraints=809
236.84/236.90	c nbDecision=78000 #constraints=809
238.03/238.18	c nbDecision=78500 #constraints=809
239.33/239.45	c nbDecision=79000 #constraints=809
240.63/240.73	c nbDecision=79500 #constraints=809
241.94/242.00	c nbDecision=80000 #constraints=809
243.13/243.28	c nbDecision=80500 #constraints=809
244.43/244.55	c nbDecision=81000 #constraints=809
245.73/245.84	c nbDecision=81500 #constraints=809
247.03/247.12	c nbDecision=82000 #constraints=809
248.33/248.40	c nbDecision=82500 #constraints=809
249.54/249.68	c nbDecision=83000 #constraints=809
250.83/250.95	c nbDecision=83500 #constraints=809
252.13/252.23	c nbDecision=84000 #constraints=809
253.43/253.50	c nbDecision=84500 #constraints=809
254.63/254.77	c nbDecision=85000 #constraints=809
255.93/256.03	c nbDecision=85500 #constraints=809
257.13/257.29	c nbDecision=86000 #constraints=809
258.43/258.55	c nbDecision=86500 #constraints=809
259.73/259.81	c nbDecision=87000 #constraints=809
260.93/261.06	c nbDecision=87500 #constraints=809
262.23/262.32	c nbDecision=88000 #constraints=809
263.43/263.57	c nbDecision=88500 #constraints=809
264.73/264.83	c nbDecision=89000 #constraints=809
265.93/266.10	c nbDecision=89500 #constraints=809
267.23/267.36	c nbDecision=90000 #constraints=809
268.53/268.62	c nbDecision=90500 #constraints=809
269.73/269.88	c nbDecision=91000 #constraints=809
271.03/271.14	c nbDecision=91500 #constraints=809
272.32/272.40	c nbDecision=92000 #constraints=809
273.52/273.66	c nbDecision=92500 #constraints=809
274.83/274.90	c nbDecision=93000 #constraints=809
276.03/276.15	c nbDecision=93500 #constraints=809
277.22/277.39	c nbDecision=94000 #constraints=809
278.52/278.63	c nbDecision=94500 #constraints=809
279.72/279.88	c nbDecision=95000 #constraints=809
281.02/281.12	c nbDecision=95500 #constraints=809
282.22/282.36	c nbDecision=96000 #constraints=809
283.42/283.59	c nbDecision=96500 #constraints=809
284.72/284.84	c nbDecision=97000 #constraints=809
285.92/286.09	c nbDecision=97500 #constraints=809
287.22/287.34	c nbDecision=98000 #constraints=809
288.42/288.59	c nbDecision=98500 #constraints=809
289.72/289.83	c nbDecision=99000 #constraints=809
290.92/291.07	c nbDecision=99500 #constraints=809
292.22/292.32	c nbDecision=100000 #constraints=809
293.42/293.56	c nbDecision=100500 #constraints=809
294.62/294.79	c nbDecision=101000 #constraints=809
295.92/296.02	c nbDecision=101500 #constraints=809
297.11/297.24	c nbDecision=102000 #constraints=809
298.11/298.23	c restart after 102401 decisions
298.51/298.62	c nbDecision=102500 #constraints=809
299.81/299.95	c nbDecision=103000 #constraints=809
301.11/301.28	c nbDecision=103500 #constraints=809
302.51/302.61	c nbDecision=104000 #constraints=809
303.81/303.95	c nbDecision=104500 #constraints=809
305.11/305.29	c nbDecision=105000 #constraints=809
306.51/306.63	c nbDecision=105500 #constraints=809
307.82/307.97	c nbDecision=106000 #constraints=809
309.21/309.31	c nbDecision=106500 #constraints=809
310.51/310.64	c nbDecision=107000 #constraints=809
311.81/311.98	c nbDecision=107500 #constraints=809
313.21/313.31	c nbDecision=108000 #constraints=809
314.51/314.64	c nbDecision=108500 #constraints=809
315.81/315.96	c nbDecision=109000 #constraints=809
317.11/317.28	c nbDecision=109500 #constraints=809
318.41/318.59	c nbDecision=110000 #constraints=809
319.81/319.91	c nbDecision=110500 #constraints=809
321.11/321.22	c nbDecision=111000 #constraints=809
322.41/322.53	c nbDecision=111500 #constraints=809
323.71/323.85	c nbDecision=112000 #constraints=809
325.01/325.17	c nbDecision=112500 #constraints=809
326.31/326.50	c nbDecision=113000 #constraints=809
327.71/327.82	c nbDecision=113500 #constraints=809
329.00/329.14	c nbDecision=114000 #constraints=809
330.30/330.46	c nbDecision=114500 #constraints=809
331.60/331.78	c nbDecision=115000 #constraints=809
332.90/333.10	c nbDecision=115500 #constraints=809
334.31/334.41	c nbDecision=116000 #constraints=809
335.60/335.71	c nbDecision=116500 #constraints=809
336.90/337.02	c nbDecision=117000 #constraints=809
338.20/338.32	c nbDecision=117500 #constraints=809
339.50/339.63	c nbDecision=118000 #constraints=809
340.80/340.93	c nbDecision=118500 #constraints=809
342.11/342.23	c nbDecision=119000 #constraints=809
343.41/343.53	c nbDecision=119500 #constraints=809
344.71/344.83	c nbDecision=120000 #constraints=809
346.01/346.14	c nbDecision=120500 #constraints=809
347.31/347.45	c nbDecision=121000 #constraints=809
348.61/348.76	c nbDecision=121500 #constraints=809
349.90/350.06	c nbDecision=122000 #constraints=809
351.20/351.37	c nbDecision=122500 #constraints=809
352.50/352.67	c nbDecision=123000 #constraints=809
353.80/353.97	c nbDecision=123500 #constraints=809
355.11/355.26	c nbDecision=124000 #constraints=809
356.40/356.55	c nbDecision=124500 #constraints=809
357.70/357.84	c nbDecision=125000 #constraints=809
359.00/359.12	c nbDecision=125500 #constraints=809
360.30/360.41	c nbDecision=126000 #constraints=809
361.50/361.69	c nbDecision=126500 #constraints=809
362.80/362.98	c nbDecision=127000 #constraints=809
364.10/364.26	c nbDecision=127500 #constraints=809
365.40/365.55	c nbDecision=128000 #constraints=809
366.70/366.85	c nbDecision=128500 #constraints=809
368.00/368.14	c nbDecision=129000 #constraints=809
369.30/369.42	c nbDecision=129500 #constraints=809
370.60/370.71	c nbDecision=130000 #constraints=809
371.90/372.00	c nbDecision=130500 #constraints=809
373.10/373.29	c nbDecision=131000 #constraints=809
374.40/374.56	c nbDecision=131500 #constraints=809
375.70/375.83	c nbDecision=132000 #constraints=809
376.99/377.11	c nbDecision=132500 #constraints=809
378.20/378.38	c nbDecision=133000 #constraints=809
379.49/379.64	c nbDecision=133500 #constraints=809
380.79/380.91	c nbDecision=134000 #constraints=809
381.99/382.18	c nbDecision=134500 #constraints=809
383.29/383.44	c nbDecision=135000 #constraints=809
384.59/384.71	c nbDecision=135500 #constraints=809
385.79/385.99	c nbDecision=136000 #constraints=809
387.09/387.26	c nbDecision=136500 #constraints=809
388.39/388.53	c nbDecision=137000 #constraints=809
389.69/389.80	c nbDecision=137500 #constraints=809
390.89/391.07	c nbDecision=138000 #constraints=809
392.19/392.34	c nbDecision=138500 #constraints=809
393.49/393.61	c nbDecision=139000 #constraints=809
394.69/394.86	c nbDecision=139500 #constraints=809
395.99/396.12	c nbDecision=140000 #constraints=809
397.19/397.37	c nbDecision=140500 #constraints=809
398.49/398.62	c nbDecision=141000 #constraints=809
399.69/399.87	c nbDecision=141500 #constraints=809
400.98/401.12	c nbDecision=142000 #constraints=809
402.18/402.37	c nbDecision=142500 #constraints=809
403.49/403.62	c nbDecision=143000 #constraints=809
404.69/404.87	c nbDecision=143500 #constraints=809
405.98/406.13	c nbDecision=144000 #constraints=809
407.18/407.39	c nbDecision=144500 #constraints=809
408.48/408.64	c nbDecision=145000 #constraints=809
409.68/409.90	c nbDecision=145500 #constraints=809
410.98/411.15	c nbDecision=146000 #constraints=809
412.29/412.40	c nbDecision=146500 #constraints=809
413.49/413.65	c nbDecision=147000 #constraints=809
414.68/414.89	c nbDecision=147500 #constraints=809
415.98/416.13	c nbDecision=148000 #constraints=809
417.18/417.37	c nbDecision=148500 #constraints=809
418.48/418.61	c nbDecision=149000 #constraints=809
419.68/419.84	c nbDecision=149500 #constraints=809
420.88/421.07	c nbDecision=150000 #constraints=809
422.18/422.31	c nbDecision=150500 #constraints=809
423.38/423.54	c nbDecision=151000 #constraints=809
424.58/424.78	c nbDecision=151500 #constraints=809
425.88/426.02	c nbDecision=152000 #constraints=809
427.08/427.26	c nbDecision=152500 #constraints=809
428.38/428.50	c nbDecision=153000 #constraints=809
429.58/429.74	c nbDecision=153500 #constraints=809
430.78/430.97	c nbDecision=154000 #constraints=809
432.08/432.21	c nbDecision=154500 #constraints=809
433.28/433.44	c nbDecision=155000 #constraints=809
434.47/434.67	c nbDecision=155500 #constraints=809
435.67/435.89	c nbDecision=156000 #constraints=809
436.97/437.11	c nbDecision=156500 #constraints=809
438.17/438.34	c nbDecision=157000 #constraints=809
439.37/439.55	c nbDecision=157500 #constraints=809
440.57/440.77	c nbDecision=158000 #constraints=809
441.77/441.99	c nbDecision=158500 #constraints=809
443.08/443.20	c nbDecision=159000 #constraints=809
444.28/444.42	c nbDecision=159500 #constraints=809
445.47/445.65	c nbDecision=160000 #constraints=809
446.67/446.87	c nbDecision=160500 #constraints=809
447.87/448.09	c nbDecision=161000 #constraints=809
449.17/449.33	c nbDecision=161500 #constraints=809
450.37/450.56	c nbDecision=162000 #constraints=809
451.57/451.78	c nbDecision=162500 #constraints=809
452.87/453.00	c nbDecision=163000 #constraints=809
454.07/454.21	c nbDecision=163500 #constraints=809
455.27/455.42	c nbDecision=164000 #constraints=809
456.47/456.62	c nbDecision=164500 #constraints=809
457.67/457.82	c nbDecision=165000 #constraints=809
458.87/459.03	c nbDecision=165500 #constraints=809
460.06/460.23	c nbDecision=166000 #constraints=809
461.26/461.43	c nbDecision=166500 #constraints=809
462.46/462.62	c nbDecision=167000 #constraints=809
463.66/463.82	c nbDecision=167500 #constraints=809
464.86/465.03	c nbDecision=168000 #constraints=809
466.06/466.23	c nbDecision=168500 #constraints=809
467.27/467.44	c nbDecision=169000 #constraints=809
468.47/468.64	c nbDecision=169500 #constraints=809
469.66/469.84	c nbDecision=170000 #constraints=809
470.86/471.04	c nbDecision=170500 #constraints=809
472.06/472.25	c nbDecision=171000 #constraints=809
473.26/473.45	c nbDecision=171500 #constraints=809
474.46/474.64	c nbDecision=172000 #constraints=809
475.67/475.82	c nbDecision=172500 #constraints=809
476.87/477.01	c nbDecision=173000 #constraints=809
477.97/478.19	c nbDecision=173500 #constraints=809
479.17/479.38	c nbDecision=174000 #constraints=809
480.37/480.56	c nbDecision=174500 #constraints=809
481.57/481.77	c nbDecision=175000 #constraints=809
482.77/482.98	c nbDecision=175500 #constraints=809
483.97/484.16	c nbDecision=176000 #constraints=809
485.17/485.35	c nbDecision=176500 #constraints=809
486.37/486.54	c nbDecision=177000 #constraints=809
487.57/487.73	c nbDecision=177500 #constraints=809
488.77/488.91	c nbDecision=178000 #constraints=809
489.97/490.10	c nbDecision=178500 #constraints=809
491.07/491.28	c nbDecision=179000 #constraints=809
492.27/492.47	c nbDecision=179500 #constraints=809
493.47/493.65	c nbDecision=180000 #constraints=809
494.66/494.81	c nbDecision=180500 #constraints=809
495.76/495.98	c nbDecision=181000 #constraints=809
496.97/497.16	c nbDecision=181500 #constraints=809
498.16/498.33	c nbDecision=182000 #constraints=809
499.36/499.50	c nbDecision=182500 #constraints=809
500.46/500.66	c nbDecision=183000 #constraints=809
501.66/501.82	c nbDecision=183500 #constraints=809
502.76/502.97	c nbDecision=184000 #constraints=809
503.96/504.13	c nbDecision=184500 #constraints=809
505.06/505.29	c nbDecision=185000 #constraints=809
506.26/506.46	c nbDecision=185500 #constraints=809
507.46/507.63	c nbDecision=186000 #constraints=809
508.56/508.79	c nbDecision=186500 #constraints=809
509.76/509.99	c nbDecision=187000 #constraints=809
510.96/511.16	c nbDecision=187500 #constraints=809
512.16/512.32	c nbDecision=188000 #constraints=809
513.26/513.47	c nbDecision=188500 #constraints=809
514.45/514.61	c nbDecision=189000 #constraints=809
515.55/515.75	c nbDecision=189500 #constraints=809
516.65/516.90	c nbDecision=190000 #constraints=809
517.86/518.03	c nbDecision=190500 #constraints=809
518.96/519.17	c nbDecision=191000 #constraints=809
520.16/520.30	c nbDecision=191500 #constraints=809
521.25/521.46	c nbDecision=192000 #constraints=809
522.35/522.59	c nbDecision=192500 #constraints=809
523.55/523.72	c nbDecision=193000 #constraints=809
524.65/524.86	c nbDecision=193500 #constraints=809
525.85/526.00	c nbDecision=194000 #constraints=809
526.95/527.15	c nbDecision=194500 #constraints=809
528.15/528.31	c nbDecision=195000 #constraints=809
1800.05/1800.50	Received signal 15

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/node30/watcher-356947-1176849059 -o ROOT/results/node30/solver-356947-1176849059 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356947-1176849059/instance-356947-1176849059.opb mod 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 14540
/proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=1620 CPUtime=0
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132821606 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 405 175 126 317 0 84 0

[startup+0.035648 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 14540
/proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=2400 CPUtime=0.03
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 468 0 0 0 3 0 0 0 18 0 1 0 132821606 2457600 352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 600 352 126 317 0 279 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2400

[startup+0.101651 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 14540
/proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=3440 CPUtime=0.09
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 132821606 3522560 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 860 652 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301664 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 14540
/proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=9548 CPUtime=0.29
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 2906 0 0 0 29 0 0 0 19 0 1 0 132821606 9777152 1891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134591248 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 2387 1891 127 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701688 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 14540
/proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=12828 CPUtime=0.69
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 3660 0 0 0 68 1 0 0 23 0 1 0 132821606 13135872 2645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538189 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 3207 2645 131 317 0 2886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12828

[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 14541
/proc/meminfo: memFree=1717880/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=33344 CPUtime=1.49
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 9871 0 0 0 144 5 0 0 25 0 1 0 132821606 34144256 7089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 8336 7089 131 317 0 8015 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33344

[startup+3.10184 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 14541
/proc/meminfo: memFree=1700728/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=57716 CPUtime=3.09
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 17470 0 0 0 300 9 0 0 25 0 1 0 132821606 59101184 12332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 14429 12332 131 317 0 14108 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57716

[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 14541
/proc/meminfo: memFree=1628992/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=120832 CPUtime=6.29
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 34463 0 0 0 614 15 0 0 25 0 1 0 132821606 123731968 27184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 30208 27184 137 317 0 29887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120832

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 14541
/proc/meminfo: memFree=1607232/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=140760 CPUtime=12.69
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39426 0 0 0 1251 18 0 0 25 0 1 0 132821606 144138240 32147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35190 32147 137 317 0 34869 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140760

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 14541
/proc/meminfo: memFree=1607232/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=140888 CPUtime=25.48
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39447 0 0 0 2530 18 0 0 25 0 1 0 132821606 144269312 32168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35222 32168 137 317 0 34901 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 140888

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 14541
/proc/meminfo: memFree=1607168/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=140888 CPUtime=51.07
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39454 0 0 0 5089 18 0 0 25 0 1 0 132821606 144269312 32175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35222 32175 138 317 0 34901 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 140888

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 14541
/proc/meminfo: memFree=1607168/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=140888 CPUtime=102.27
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39464 0 0 0 10208 19 0 0 25 0 1 0 132821606 144269312 32185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35222 32185 138 317 0 34901 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 140888

[startup+162.302 s]
/proc/loadavg: 1.04 1.01 0.99 2/78 14541
/proc/meminfo: memFree=1607104/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=140888 CPUtime=162.25
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39476 0 0 0 16206 19 0 0 25 0 1 0 132821606 144269312 32197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35222 32197 138 317 0 34901 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 140888

[startup+222.302 s]
/proc/loadavg: 1.01 1.01 0.99 2/78 14541
/proc/meminfo: memFree=1607040/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=140888 CPUtime=222.24
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39477 0 0 0 22204 20 0 0 25 0 1 0 132821606 144269312 32198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35222 32198 138 317 0 34901 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 140888

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14541
/proc/meminfo: memFree=1606976/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=141016 CPUtime=282.22
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39497 0 0 0 28202 20 0 0 25 0 1 0 132821606 144400384 32218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35254 32218 138 317 0 34933 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 141016

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14541
/proc/meminfo: memFree=1606912/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=140968 CPUtime=342.21
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39503 0 0 0 34200 21 0 0 25 0 1 0 132821606 144351232 32219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35242 32219 138 317 0 34921 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 140968

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1606912/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=140968 CPUtime=402.18
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39503 0 0 0 40197 21 0 0 25 0 1 0 132821606 144351232 32219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35242 32219 138 317 0 34921 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 140968

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1606848/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=141096 CPUtime=462.16
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39525 0 0 0 46195 21 0 0 25 0 1 0 132821606 144482304 32241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35274 32241 138 317 0 34953 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 141096

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1606720/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=141224 CPUtime=522.15
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39566 0 0 0 52193 22 0 0 25 0 1 0 132821606 144613376 32282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35306 32282 138 317 0 34985 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 141224

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1605632/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=142596 CPUtime=582.14
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39898 0 0 0 58191 23 0 0 25 0 1 0 132821606 146018304 32551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35649 32551 139 317 0 35328 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 142596

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1604928/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=143524 CPUtime=642.13
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 40116 0 0 0 64189 24 0 0 25 0 1 0 132821606 146968576 32725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 35881 32725 139 317 0 35560 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 143524


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

/proc/meminfo: memFree=1590144/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=161708 CPUtime=1062.01
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 44731 0 0 0 106173 28 0 0 25 0 1 0 132821606 165588992 36413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 40427 36413 139 317 0 40106 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 161708

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1589248/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=162664 CPUtime=1122
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 45019 0 0 0 112171 29 0 0 25 0 1 0 132821606 166567936 36605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 40666 36605 139 317 0 40345 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 162664

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1588480/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=163768 CPUtime=1181.98
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 45319 0 0 0 118169 29 0 0 25 0 1 0 132821606 167698432 36817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 40942 36817 139 317 0 40621 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 163768

[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 0.99 2/78 14543
/proc/meminfo: memFree=1587520/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=164856 CPUtime=1241.98
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 45606 0 0 0 124168 30 0 0 25 0 1 0 132821606 168812544 37048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 41214 37048 139 317 0 40893 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 164856

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 0.99 2/78 14543
/proc/meminfo: memFree=1586816/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=165784 CPUtime=1301.97
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 45879 0 0 0 130166 31 0 0 25 0 1 0 132821606 169762816 37233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 41446 37233 139 317 0 41125 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 165784

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1585920/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=166692 CPUtime=1361.95
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 46171 0 0 0 136164 31 0 0 25 0 1 0 132821606 170692608 37437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 41673 37437 139 317 0 41352 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 166692

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1584640/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=168208 CPUtime=1421.94
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 46752 0 0 0 142162 32 0 0 25 0 1 0 132821606 172244992 37747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 42052 37747 139 317 0 41731 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 168208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1583104/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=170356 CPUtime=1481.91
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 47643 0 0 0 148159 32 0 0 25 0 1 0 132821606 174444544 38144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593515 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 42589 38144 139 317 0 42268 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 170356

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1580672/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=173184 CPUtime=1541.9
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 48776 0 0 0 154157 33 0 0 25 0 1 0 132821606 177340416 38738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 43296 38738 139 317 0 42975 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 173184

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1579072/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=175244 CPUtime=1601.89
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 49592 0 0 0 160155 34 0 0 25 0 1 0 132821606 179449856 39152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 43811 39152 139 317 0 43490 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 175244

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1577664/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=177372 CPUtime=1661.87
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 50368 0 0 0 166153 34 0 0 25 0 1 0 132821606 181628928 39552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 44343 39552 139 317 0 44022 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 177372

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1575680/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=179820 CPUtime=1721.86
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 51512 0 0 0 172150 36 0 0 25 0 1 0 132821606 184135680 40015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 44955 40015 139 317 0 44634 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 179820

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1567040/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=189352 CPUtime=1781.85
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 54472 0 0 0 178148 37 0 0 25 0 1 0 132821606 193896448 42142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 47338 42142 139 317 0 47017 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 189352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 14543
/proc/meminfo: memFree=1565952/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=190848 CPUtime=1800.05
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 54992 0 0 0 179968 37 0 0 25 0 1 0 132821606 195428352 42412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 47712 42412 139 317 0 47391 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 190848

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 14544
/proc/meminfo: memFree=1565944/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=191240 CPUtime=1800.94
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 55169 0 0 0 180057 37 0 0 25 0 1 0 132821606 195829760 42497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14540/statm: 47810 42497 139 317 0 47489 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 191240

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 14544
/proc/meminfo: memFree=1565624/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=191240 CPUtime=1801.73
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 55169 0 0 0 180136 37 0 0 25 0 1 0 132821606 195829760 42497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14540/statm: 47810 42497 139 317 0 47489 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 191240

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 14544
/proc/meminfo: memFree=1565624/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=191240 CPUtime=1801.93
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 55169 0 0 0 180156 37 0 0 25 0 1 0 132821606 195829760 42497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14540/statm: 47810 42497 139 317 0 47489 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 191240

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/79 14544
/proc/meminfo: memFree=1565624/2055920 swapFree=4157120/4192956
[pid=14540] ppid=14538 vsize=191240 CPUtime=1802.03
/proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 55169 0 0 0 180166 37 0 0 25 0 1 0 132821606 195829760 42497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14540/statm: 47810 42497 139 317 0 47489 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 191240

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.08
CPU user time (s): 1801.68
CPU system time (s): 0.406938
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 191240

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

runsolver used 1.9577 second user time and 4.6203 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Tue Apr 17 22:30:59 UTC 2007

IDJOB= 356947
IDBENCH= 1674
IDSOLVER= 172
FILE ID= node30/356947-1176849059

PBS_JOBID= 4590207

Free space on /tmp= 66515 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  81f6ac40aa7d3bed7fd7ce8f56c34d18

RANDOM SEED= 273686659

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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.218
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.218
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:       1735960 kB
Buffers:         38820 kB
Cached:         216916 kB
SwapCached:      15516 kB
Active:         178900 kB
Inactive:       100136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1735960 kB
SwapTotal:     4192956 kB
SwapFree:      4157120 kB
Dirty:           15160 kB
Writeback:           0 kB
Mapped:          29900 kB
Slab:            26476 kB
Committed_AS:  2794388 kB
PageTables:       1776 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= 66515 MiB

End job on node30 on Tue Apr 17 23:01:02 UTC 2007