Trace number 357321

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.89 1801.53

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUMd322c8ef05198e65a211d45af91a5272
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 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 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6640019433432
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 193273528320
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 11024119093221
Number of bits of the biggest sum of numbers44
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...
6.60/6.61	c ...done
6.60/6.61	c #vars=185520 #constraints=809 hasObjective=yes
12.29/12.30	c res. mode=mod
12.29/12.30	c VSIDS like heuristics
12.29/12.30	c complete search running
79.46/79.53	c restart after 401 decisions
79.66/79.80	c nbDecision=500 #constraints=809
80.56/80.62	c restart after 801 decisions
81.06/81.15	c nbDecision=1000 #constraints=809
82.46/82.52	c nbDecision=1500 #constraints=809
82.66/82.80	c restart after 1601 decisions
83.76/83.89	c nbDecision=2000 #constraints=809
85.16/85.26	c nbDecision=2500 #constraints=809
86.56/86.63	c nbDecision=3000 #constraints=809
87.06/87.18	c restart after 3201 decisions
87.96/88.01	c nbDecision=3500 #constraints=809
89.26/89.38	c nbDecision=4000 #constraints=809
90.66/90.76	c nbDecision=4500 #constraints=809
92.06/92.13	c nbDecision=5000 #constraints=809
93.36/93.50	c nbDecision=5500 #constraints=809
94.76/94.86	c nbDecision=6000 #constraints=809
95.86/95.95	c restart after 6401 decisions
96.16/96.23	c nbDecision=6500 #constraints=809
97.46/97.59	c nbDecision=7000 #constraints=809
98.86/98.96	c nbDecision=7500 #constraints=809
100.25/100.31	c nbDecision=8000 #constraints=809
101.55/101.67	c nbDecision=8500 #constraints=809
102.95/103.03	c nbDecision=9000 #constraints=809
104.25/104.38	c nbDecision=9500 #constraints=809
105.65/105.74	c nbDecision=10000 #constraints=809
107.05/107.10	c nbDecision=10500 #constraints=809
108.35/108.47	c nbDecision=11000 #constraints=809
109.75/109.83	c nbDecision=11500 #constraints=809
111.06/111.19	c nbDecision=12000 #constraints=809
112.45/112.55	c nbDecision=12500 #constraints=809
113.25/113.37	c restart after 12801 decisions
113.85/113.94	c nbDecision=13000 #constraints=809
115.15/115.29	c nbDecision=13500 #constraints=809
116.55/116.65	c nbDecision=14000 #constraints=809
117.95/118.00	c nbDecision=14500 #constraints=809
119.25/119.36	c nbDecision=15000 #constraints=809
120.65/120.72	c nbDecision=15500 #constraints=809
121.95/122.07	c nbDecision=16000 #constraints=809
123.34/123.43	c nbDecision=16500 #constraints=809
124.64/124.78	c nbDecision=17000 #constraints=809
126.04/126.15	c nbDecision=17500 #constraints=809
127.45/127.50	c nbDecision=18000 #constraints=809
128.74/128.86	c nbDecision=18500 #constraints=809
130.14/130.22	c nbDecision=19000 #constraints=809
131.44/131.57	c nbDecision=19500 #constraints=809
132.84/132.93	c nbDecision=20000 #constraints=809
134.15/134.28	c nbDecision=20500 #constraints=809
135.54/135.63	c nbDecision=21000 #constraints=809
136.84/136.97	c nbDecision=21500 #constraints=809
138.24/138.30	c nbDecision=22000 #constraints=809
139.54/139.64	c nbDecision=22500 #constraints=809
140.84/140.97	c nbDecision=23000 #constraints=809
142.24/142.30	c nbDecision=23500 #constraints=809
143.54/143.63	c nbDecision=24000 #constraints=809
144.84/144.96	c nbDecision=24500 #constraints=809
146.24/146.31	c nbDecision=25000 #constraints=809
147.54/147.65	c nbDecision=25500 #constraints=809
147.84/147.92	c restart after 25601 decisions
148.94/149.05	c nbDecision=26000 #constraints=809
150.34/150.42	c nbDecision=26500 #constraints=809
151.64/151.80	c nbDecision=27000 #constraints=809
153.03/153.17	c nbDecision=27500 #constraints=809
154.43/154.54	c nbDecision=28000 #constraints=809
155.73/155.89	c nbDecision=28500 #constraints=809
157.14/157.22	c nbDecision=29000 #constraints=809
158.43/158.57	c nbDecision=29500 #constraints=809
159.83/159.92	c nbDecision=30000 #constraints=809
161.13/161.24	c nbDecision=30500 #constraints=809
162.43/162.56	c nbDecision=31000 #constraints=809
163.74/163.88	c nbDecision=31500 #constraints=809
165.13/165.22	c nbDecision=32000 #constraints=809
166.43/166.58	c nbDecision=32500 #constraints=809
167.83/167.94	c nbDecision=33000 #constraints=809
169.13/169.29	c nbDecision=33500 #constraints=809
170.53/170.64	c nbDecision=34000 #constraints=809
171.83/172.00	c nbDecision=34500 #constraints=809
173.23/173.35	c nbDecision=35000 #constraints=809
174.53/174.69	c nbDecision=35500 #constraints=809
175.93/176.03	c nbDecision=36000 #constraints=809
177.23/177.36	c nbDecision=36500 #constraints=809
178.53/178.69	c nbDecision=37000 #constraints=809
179.93/180.02	c nbDecision=37500 #constraints=809
181.23/181.35	c nbDecision=38000 #constraints=809
182.53/182.68	c nbDecision=38500 #constraints=809
183.94/184.01	c nbDecision=39000 #constraints=809
185.23/185.35	c nbDecision=39500 #constraints=809
186.53/186.68	c nbDecision=40000 #constraints=809
187.94/188.02	c nbDecision=40500 #constraints=809
189.23/189.36	c nbDecision=41000 #constraints=809
190.53/190.69	c nbDecision=41500 #constraints=809
191.93/192.02	c nbDecision=42000 #constraints=809
193.23/193.35	c nbDecision=42500 #constraints=809
194.54/194.67	c nbDecision=43000 #constraints=809
195.83/195.98	c nbDecision=43500 #constraints=809
197.13/197.29	c nbDecision=44000 #constraints=809
198.53/198.61	c nbDecision=44500 #constraints=809
199.83/199.92	c nbDecision=45000 #constraints=809
201.13/201.22	c nbDecision=45500 #constraints=809
202.43/202.53	c nbDecision=46000 #constraints=809
203.73/203.84	c nbDecision=46500 #constraints=809
205.03/205.16	c nbDecision=47000 #constraints=809
206.33/206.47	c nbDecision=47500 #constraints=809
207.63/207.76	c nbDecision=48000 #constraints=809
208.93/209.07	c nbDecision=48500 #constraints=809
210.23/210.38	c nbDecision=49000 #constraints=809
211.52/211.69	c nbDecision=49500 #constraints=809
212.82/212.99	c nbDecision=50000 #constraints=809
214.22/214.30	c nbDecision=50500 #constraints=809
215.43/215.60	c nbDecision=51000 #constraints=809
216.02/216.12	c restart after 51201 decisions
216.92/217.00	c nbDecision=51500 #constraints=809
218.22/218.33	c nbDecision=52000 #constraints=809
219.52/219.69	c nbDecision=52500 #constraints=809
220.93/221.02	c nbDecision=53000 #constraints=809
222.22/222.34	c nbDecision=53500 #constraints=809
223.52/223.70	c nbDecision=54000 #constraints=809
224.92/225.06	c nbDecision=54500 #constraints=809
226.32/226.42	c nbDecision=55000 #constraints=809
227.62/227.78	c nbDecision=55500 #constraints=809
229.02/229.13	c nbDecision=56000 #constraints=809
230.32/230.46	c nbDecision=56500 #constraints=809
231.72/231.83	c nbDecision=57000 #constraints=809
233.02/233.18	c nbDecision=57500 #constraints=809
234.42/234.54	c nbDecision=58000 #constraints=809
235.72/235.88	c nbDecision=58500 #constraints=809
237.11/237.22	c nbDecision=59000 #constraints=809
238.41/238.56	c nbDecision=59500 #constraints=809
239.82/239.90	c nbDecision=60000 #constraints=809
241.11/241.24	c nbDecision=60500 #constraints=809
242.41/242.58	c nbDecision=61000 #constraints=809
243.81/243.91	c nbDecision=61500 #constraints=809
245.12/245.26	c nbDecision=62000 #constraints=809
246.51/246.60	c nbDecision=62500 #constraints=809
247.81/247.95	c nbDecision=63000 #constraints=809
249.11/249.28	c nbDecision=63500 #constraints=809
250.51/250.60	c nbDecision=64000 #constraints=809
251.81/251.94	c nbDecision=64500 #constraints=809
253.11/253.28	c nbDecision=65000 #constraints=809
254.51/254.62	c nbDecision=65500 #constraints=809
255.81/255.93	c nbDecision=66000 #constraints=809
257.11/257.25	c nbDecision=66500 #constraints=809
258.41/258.58	c nbDecision=67000 #constraints=809
259.71/259.89	c nbDecision=67500 #constraints=809
261.11/261.21	c nbDecision=68000 #constraints=809
262.41/262.53	c nbDecision=68500 #constraints=809
263.71/263.84	c nbDecision=69000 #constraints=809
265.01/265.17	c nbDecision=69500 #constraints=809
266.31/266.49	c nbDecision=70000 #constraints=809
267.71/267.81	c nbDecision=70500 #constraints=809
269.01/269.14	c nbDecision=71000 #constraints=809
270.30/270.46	c nbDecision=71500 #constraints=809
271.61/271.78	c nbDecision=72000 #constraints=809
273.00/273.10	c nbDecision=72500 #constraints=809
274.30/274.42	c nbDecision=73000 #constraints=809
275.60/275.71	c nbDecision=73500 #constraints=809
276.90/277.02	c nbDecision=74000 #constraints=809
278.21/278.32	c nbDecision=74500 #constraints=809
279.50/279.60	c nbDecision=75000 #constraints=809
280.70/280.88	c nbDecision=75500 #constraints=809
282.00/282.18	c nbDecision=76000 #constraints=809
283.30/283.47	c nbDecision=76500 #constraints=809
284.60/284.77	c nbDecision=77000 #constraints=809
285.90/286.07	c nbDecision=77500 #constraints=809
287.20/287.37	c nbDecision=78000 #constraints=809
288.50/288.67	c nbDecision=78500 #constraints=809
289.80/289.97	c nbDecision=79000 #constraints=809
291.10/291.27	c nbDecision=79500 #constraints=809
292.40/292.54	c nbDecision=80000 #constraints=809
293.70/293.83	c nbDecision=80500 #constraints=809
295.00/295.12	c nbDecision=81000 #constraints=809
296.29/296.40	c nbDecision=81500 #constraints=809
297.49/297.67	c nbDecision=82000 #constraints=809
298.79/298.93	c nbDecision=82500 #constraints=809
300.10/300.20	c nbDecision=83000 #constraints=809
301.30/301.48	c nbDecision=83500 #constraints=809
302.60/302.75	c nbDecision=84000 #constraints=809
303.90/304.02	c nbDecision=84500 #constraints=809
305.20/305.30	c nbDecision=85000 #constraints=809
306.40/306.58	c nbDecision=85500 #constraints=809
307.70/307.86	c nbDecision=86000 #constraints=809
309.00/309.14	c nbDecision=86500 #constraints=809
310.30/310.42	c nbDecision=87000 #constraints=809
311.50/311.69	c nbDecision=87500 #constraints=809
312.80/312.96	c nbDecision=88000 #constraints=809
314.10/314.24	c nbDecision=88500 #constraints=809
315.30/315.49	c nbDecision=89000 #constraints=809
316.60/316.75	c nbDecision=89500 #constraints=809
317.80/317.99	c nbDecision=90000 #constraints=809
319.09/319.25	c nbDecision=90500 #constraints=809
320.39/320.50	c nbDecision=91000 #constraints=809
321.59/321.76	c nbDecision=91500 #constraints=809
322.89/323.01	c nbDecision=92000 #constraints=809
324.09/324.26	c nbDecision=92500 #constraints=809
325.40/325.52	c nbDecision=93000 #constraints=809
326.60/326.78	c nbDecision=93500 #constraints=809
327.89/328.03	c nbDecision=94000 #constraints=809
329.09/329.29	c nbDecision=94500 #constraints=809
330.39/330.54	c nbDecision=95000 #constraints=809
331.59/331.79	c nbDecision=95500 #constraints=809
332.89/333.04	c nbDecision=96000 #constraints=809
334.09/334.29	c nbDecision=96500 #constraints=809
335.39/335.53	c nbDecision=97000 #constraints=809
336.59/336.77	c nbDecision=97500 #constraints=809
337.79/337.98	c nbDecision=98000 #constraints=809
339.09/339.22	c nbDecision=98500 #constraints=809
340.29/340.45	c nbDecision=99000 #constraints=809
341.49/341.68	c nbDecision=99500 #constraints=809
342.78/342.91	c nbDecision=100000 #constraints=809
343.98/344.14	c nbDecision=100500 #constraints=809
345.19/345.39	c nbDecision=101000 #constraints=809
346.48/346.63	c nbDecision=101500 #constraints=809
347.68/347.86	c nbDecision=102000 #constraints=809
348.68/348.85	c restart after 102401 decisions
349.08/349.26	c nbDecision=102500 #constraints=809
350.48/350.64	c nbDecision=103000 #constraints=809
351.89/352.01	c nbDecision=103500 #constraints=809
353.18/353.38	c nbDecision=104000 #constraints=809
354.58/354.74	c nbDecision=104500 #constraints=809
355.98/356.10	c nbDecision=105000 #constraints=809
357.28/357.46	c nbDecision=105500 #constraints=809
358.68/358.81	c nbDecision=106000 #constraints=809
359.98/360.16	c nbDecision=106500 #constraints=809
361.38/361.51	c nbDecision=107000 #constraints=809
362.68/362.86	c nbDecision=107500 #constraints=809
364.08/364.21	c nbDecision=108000 #constraints=809
365.38/365.57	c nbDecision=108500 #constraints=809
366.78/366.93	c nbDecision=109000 #constraints=809
368.08/368.28	c nbDecision=109500 #constraints=809
369.48/369.64	c nbDecision=110000 #constraints=809
370.78/370.99	c nbDecision=110500 #constraints=809
372.18/372.33	c nbDecision=111000 #constraints=809
373.48/373.68	c nbDecision=111500 #constraints=809
374.88/375.02	c nbDecision=112000 #constraints=809
376.17/376.36	c nbDecision=112500 #constraints=809
377.47/377.69	c nbDecision=113000 #constraints=809
378.87/379.02	c nbDecision=113500 #constraints=809
380.17/380.36	c nbDecision=114000 #constraints=809
381.48/381.68	c nbDecision=114500 #constraints=809
382.87/383.00	c nbDecision=115000 #constraints=809
384.07/384.29	c nbDecision=115500 #constraints=809
385.47/385.63	c nbDecision=116000 #constraints=809
386.77/386.97	c nbDecision=116500 #constraints=809
388.17/388.30	c nbDecision=117000 #constraints=809
389.47/389.64	c nbDecision=117500 #constraints=809
390.77/390.97	c nbDecision=118000 #constraints=809
392.17/392.31	c nbDecision=118500 #constraints=809
393.47/393.64	c nbDecision=119000 #constraints=809
394.77/394.96	c nbDecision=119500 #constraints=809
396.07/396.27	c nbDecision=120000 #constraints=809
397.37/397.59	c nbDecision=120500 #constraints=809
398.76/398.90	c nbDecision=121000 #constraints=809
400.06/400.21	c nbDecision=121500 #constraints=809
401.37/401.52	c nbDecision=122000 #constraints=809
402.66/402.83	c nbDecision=122500 #constraints=809
403.96/404.14	c nbDecision=123000 #constraints=809
405.26/405.46	c nbDecision=123500 #constraints=809
406.56/406.77	c nbDecision=124000 #constraints=809
407.87/408.09	c nbDecision=124500 #constraints=809
409.26/409.40	c nbDecision=125000 #constraints=809
410.56/410.72	c nbDecision=125500 #constraints=809
411.86/412.03	c nbDecision=126000 #constraints=809
413.16/413.34	c nbDecision=126500 #constraints=809
414.47/414.64	c nbDecision=127000 #constraints=809
415.76/415.94	c nbDecision=127500 #constraints=809
417.07/417.23	c nbDecision=128000 #constraints=809
418.37/418.52	c nbDecision=128500 #constraints=809
419.67/419.81	c nbDecision=129000 #constraints=809
420.97/421.10	c nbDecision=129500 #constraints=809
422.17/422.39	c nbDecision=130000 #constraints=809
423.47/423.67	c nbDecision=130500 #constraints=809
424.77/424.96	c nbDecision=131000 #constraints=809
426.07/426.26	c nbDecision=131500 #constraints=809
427.37/427.55	c nbDecision=132000 #constraints=809
428.66/428.84	c nbDecision=132500 #constraints=809
429.97/430.14	c nbDecision=133000 #constraints=809
431.26/431.43	c nbDecision=133500 #constraints=809
432.56/432.71	c nbDecision=134000 #constraints=809
433.86/434.00	c nbDecision=134500 #constraints=809
435.06/435.28	c nbDecision=135000 #constraints=809
436.36/436.55	c nbDecision=135500 #constraints=809
437.66/437.82	c nbDecision=136000 #constraints=809
438.86/439.08	c nbDecision=136500 #constraints=809
440.16/440.32	c nbDecision=137000 #constraints=809
441.36/441.59	c nbDecision=137500 #constraints=809
442.66/442.85	c nbDecision=138000 #constraints=809
443.96/444.12	c nbDecision=138500 #constraints=809
445.16/445.39	c nbDecision=139000 #constraints=809
446.46/446.66	c nbDecision=139500 #constraints=809
447.76/447.90	c nbDecision=140000 #constraints=809
448.96/449.15	c nbDecision=140500 #constraints=809
450.26/450.41	c nbDecision=141000 #constraints=809
451.46/451.68	c nbDecision=141500 #constraints=809
452.76/452.94	c nbDecision=142000 #constraints=809
454.06/454.21	c nbDecision=142500 #constraints=809
455.26/455.46	c nbDecision=143000 #constraints=809
456.55/456.71	c nbDecision=143500 #constraints=809
457.75/457.96	c nbDecision=144000 #constraints=809
459.05/459.20	c nbDecision=144500 #constraints=809
460.25/460.44	c nbDecision=145000 #constraints=809
461.45/461.68	c nbDecision=145500 #constraints=809
462.75/462.92	c nbDecision=146000 #constraints=809
463.96/464.17	c nbDecision=146500 #constraints=809
465.25/465.42	c nbDecision=147000 #constraints=809
466.45/466.67	c nbDecision=147500 #constraints=809
467.75/467.92	c nbDecision=148000 #constraints=809
468.95/469.17	c nbDecision=148500 #constraints=809
470.25/470.41	c nbDecision=149000 #constraints=809
471.45/471.65	c nbDecision=149500 #constraints=809
472.65/472.90	c nbDecision=150000 #constraints=809
473.95/474.14	c nbDecision=150500 #constraints=809
475.15/475.37	c nbDecision=151000 #constraints=809
476.45/476.60	c nbDecision=151500 #constraints=809
477.65/477.85	c nbDecision=152000 #constraints=809
478.85/479.07	c nbDecision=152500 #constraints=809
480.05/480.30	c nbDecision=153000 #constraints=809
481.35/481.52	c nbDecision=153500 #constraints=809
482.54/482.73	c nbDecision=154000 #constraints=809
483.75/483.94	c nbDecision=154500 #constraints=809
484.95/485.17	c nbDecision=155000 #constraints=809
486.14/486.37	c nbDecision=155500 #constraints=809
487.34/487.58	c nbDecision=156000 #constraints=809
488.64/488.80	c nbDecision=156500 #constraints=809
489.84/490.02	c nbDecision=157000 #constraints=809
491.04/491.24	c nbDecision=157500 #constraints=809
492.24/492.46	c nbDecision=158000 #constraints=809
493.44/493.68	c nbDecision=158500 #constraints=809
494.64/494.89	c nbDecision=159000 #constraints=809
495.84/496.09	c nbDecision=159500 #constraints=809
497.04/497.29	c nbDecision=160000 #constraints=809
498.24/498.49	c nbDecision=160500 #constraints=809
499.44/499.69	c nbDecision=161000 #constraints=809
500.64/500.88	c nbDecision=161500 #constraints=809
501.84/502.07	c nbDecision=162000 #constraints=809
503.03/503.27	c nbDecision=162500 #constraints=809
504.23/504.48	c nbDecision=163000 #constraints=809
505.53/505.71	c nbDecision=163500 #constraints=809
506.73/506.91	c nbDecision=164000 #constraints=809
507.94/508.11	c nbDecision=164500 #constraints=809
509.14/509.30	c nbDecision=165000 #constraints=809
510.24/510.49	c nbDecision=165500 #constraints=809
511.43/511.68	c nbDecision=166000 #constraints=809
512.63/512.88	c nbDecision=166500 #constraints=809
513.83/514.07	c nbDecision=167000 #constraints=809
515.03/515.24	c nbDecision=167500 #constraints=809
516.23/516.42	c nbDecision=168000 #constraints=809
517.43/517.63	c nbDecision=168500 #constraints=809
518.63/518.80	c nbDecision=169000 #constraints=809
519.71/519.99	c nbDecision=169500 #constraints=809
520.91/521.16	c nbDecision=170000 #constraints=809
522.10/522.33	c nbDecision=170500 #constraints=809
523.20/523.48	c nbDecision=171000 #constraints=809
524.40/524.64	c nbDecision=171500 #constraints=809
525.60/525.81	c nbDecision=172000 #constraints=809
526.70/526.98	c nbDecision=172500 #constraints=809
527.90/528.18	c nbDecision=173000 #constraints=809
529.09/529.35	c nbDecision=173500 #constraints=809
530.29/530.51	c nbDecision=174000 #constraints=809
531.38/531.68	c nbDecision=174500 #constraints=809
532.58/532.84	c nbDecision=175000 #constraints=809
533.67/533.99	c nbDecision=175500 #constraints=809
534.87/535.14	c nbDecision=176000 #constraints=809
535.97/536.27	c nbDecision=176500 #constraints=809
537.16/537.43	c nbDecision=177000 #constraints=809
538.26/538.57	c nbDecision=177500 #constraints=809
539.46/539.70	c nbDecision=178000 #constraints=809
540.55/540.84	c nbDecision=178500 #constraints=809
541.65/541.97	c nbDecision=179000 #constraints=809
542.85/543.12	c nbDecision=179500 #constraints=809
548.23/548.54	c nbDecision=180000 #constraints=812
549.33/549.68	c nbDecision=180500 #constraints=812
550.53/550.82	c nbDecision=181000 #constraints=812
551.63/551.95	c nbDecision=181500 #constraints=812
552.73/553.07	c nbDecision=182000 #constraints=812
556.63/556.95	c nbDecision=182500 #constraints=812
557.73/558.07	c nbDecision=183000 #constraints=812
575.50/575.85	c nbDecision=183500 #constraints=1026
592.30/592.61	c nbDecision=184000 #constraints=1093
593.40/593.74	c nbDecision=184500 #constraints=1093
643.38/643.79	c nbDecision=185000 #constraints=1364
716.26/716.66	c nbDecision=185500 #constraints=1733
765.45/765.88	c nbDecision=186000 #constraints=1850
770.05/770.41	c nbDecision=186500 #constraints=1854
778.45/778.85	c nbDecision=187000 #constraints=1865
952.80/953.25	c nbDecision=187500 #constraints=2116
1318.79/1319.31	c nbDecision=188000 #constraints=2619
1579.73/1580.40	c nbDecision=188500 #constraints=2937
1739.18/1739.81	c nbDecision=189000 #constraints=3120
1800.07/1800.71	Received signal 15
1800.66/1801.34	
1800.66/1801.34	s UNKNOWN
1800.66/1801.34	
1800.66/1801.34	c user time= 1799.29 s
1800.66/1801.34	c system time= 1.42178 s
1800.66/1801.34	c wall clock time=1801.34

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

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


[startup+0 s]
/proc/loadavg: 0.94 0.98 0.98 3/77 675
/proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=1468 CPUtime=0
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175472049 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 367 161 126 317 0 46 0

[startup+0.040296 s]
/proc/loadavg: 0.94 0.98 0.98 3/77 675
/proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=2660 CPUtime=0.03
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 450 0 0 0 3 0 0 0 18 0 1 0 175472049 2723840 399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 665 399 126 317 0 344 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2660

[startup+0.102297 s]
/proc/loadavg: 0.94 0.98 0.98 3/77 675
/proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=3440 CPUtime=0.09
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 813 0 0 0 9 0 0 0 18 0 1 0 175472049 3522560 568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 860 568 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.302318 s]
/proc/loadavg: 0.94 0.98 0.98 3/77 675
/proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=10676 CPUtime=0.29
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 2224 0 0 0 29 0 0 0 19 0 1 0 175472049 10932224 1722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 2669 1724 126 317 0 2348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10676

[startup+0.701359 s]
/proc/loadavg: 0.94 0.98 0.98 3/77 675
/proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=9548 CPUtime=0.69
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 2906 0 0 0 69 0 0 0 22 0 1 0 175472049 9777152 1891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 2387 1891 127 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50145 s]
/proc/loadavg: 0.94 0.98 0.98 2/78 676
/proc/meminfo: memFree=1449128/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=25672 CPUtime=1.49
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 7317 0 0 0 146 3 0 0 25 0 1 0 175472049 26288128 5305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 6418 5305 131 317 0 6097 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25672

[startup+3.10161 s]
/proc/loadavg: 0.94 0.98 0.98 2/78 676
/proc/meminfo: memFree=1432360/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=43420 CPUtime=3.09
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 12960 0 0 0 304 5 0 0 25 0 1 0 175472049 44462080 9276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 10855 9276 131 317 0 10534 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43420

[startup+6.30195 s]
/proc/loadavg: 0.94 0.98 0.98 2/78 676
/proc/meminfo: memFree=1394216/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=94824 CPUtime=6.29
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 28081 0 0 0 619 10 0 0 25 0 1 0 175472049 97099776 20736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 23706 20736 131 317 0 23385 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94824

[startup+12.7016 s]
/proc/loadavg: 0.95 0.98 0.98 2/78 676
/proc/meminfo: memFree=1335528/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=140764 CPUtime=12.69
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39452 0 0 0 1254 15 0 0 25 0 1 0 175472049 144142336 32107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35191 32107 137 317 0 34870 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140764

[startup+25.502 s]
/proc/loadavg: 0.96 0.98 0.98 2/78 676
/proc/meminfo: memFree=1332584/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=140892 CPUtime=25.48
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39485 0 0 0 2533 15 0 0 25 0 1 0 175472049 144273408 32140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35223 32140 137 317 0 34902 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 140892

[startup+51.1016 s]
/proc/loadavg: 0.97 0.98 0.98 2/78 676
/proc/meminfo: memFree=1332520/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=140892 CPUtime=51.06
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39501 0 0 0 5091 15 0 0 25 0 1 0 175472049 144273408 32156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35223 32156 137 317 0 34902 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 140892

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 676
/proc/meminfo: memFree=1332456/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=141016 CPUtime=102.26
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39514 0 0 0 10210 16 0 0 25 0 1 0 175472049 144400384 32169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35254 32169 138 317 0 34933 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 141016

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 676
/proc/meminfo: memFree=1332392/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=141016 CPUtime=162.23
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39524 0 0 0 16207 16 0 0 25 0 1 0 175472049 144400384 32179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35254 32179 138 317 0 34933 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 141016

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 676
/proc/meminfo: memFree=1332264/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=141016 CPUtime=222.22
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39537 0 0 0 22205 17 0 0 25 0 1 0 175472049 144400384 32192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35254 32192 138 317 0 34933 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 141016

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 676
/proc/meminfo: memFree=1332200/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=141016 CPUtime=282.2
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39537 0 0 0 28203 17 0 0 25 0 1 0 175472049 144400384 32192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35254 32192 138 317 0 34933 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 141016

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 676
/proc/meminfo: memFree=1332136/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=141144 CPUtime=342.19
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39562 0 0 0 34201 18 0 0 25 0 1 0 175472049 144531456 32217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35286 32217 138 317 0 34965 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 141144

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 676
/proc/meminfo: memFree=1332072/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=141144 CPUtime=402.16
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39567 0 0 0 40198 18 0 0 25 0 1 0 175472049 144531456 32222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35286 32222 138 317 0 34965 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 141144

[startup+462.303 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 676
/proc/meminfo: memFree=1332008/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=141144 CPUtime=462.15
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39567 0 0 0 46196 19 0 0 25 0 1 0 175472049 144531456 32222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35286 32222 138 317 0 34965 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 141144

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/84 742
/proc/meminfo: memFree=1330616/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=141272 CPUtime=522.1
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39591 0 0 0 52190 20 0 0 25 0 1 0 175472049 144662528 32246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 35318 32246 138 317 0 34997 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 141272

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=1311784/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=164044 CPUtime=582
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 44991 0 0 0 58179 21 0 0 25 0 1 0 175472049 167981056 37471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 41011 37471 170 317 0 40690 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 164044

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=1222056/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=262676 CPUtime=641.99
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 78263 0 0 0 64164 35 0 0 25 0 1 0 175472049 268980224 59639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 65669 59639 170 317 0 65348 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 262676


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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=960808/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=550416 CPUtime=1001.88
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 177414 0 0 0 100112 76 0 0 25 0 1 0 175472049 563625984 124831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 137604 124831 170 317 0 137283 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 550416

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=931048/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=579044 CPUtime=1061.87
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 189073 0 0 0 106105 82 0 0 25 0 1 0 175472049 592941056 132327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 144761 132327 170 317 0 144440 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 579044

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=906984/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=602436 CPUtime=1121.85
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 199533 0 0 0 112099 86 0 0 25 0 1 0 175472049 616894464 138310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 150609 138310 170 317 0 150288 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 602436

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=883368/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=626496 CPUtime=1181.83
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 209531 0 0 0 118092 91 0 0 25 0 1 0 175472049 641531904 144294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 156624 144294 170 317 0 156303 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 626496

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=860840/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=647800 CPUtime=1241.82
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 219151 0 0 0 124086 96 0 0 25 0 1 0 175472049 663347200 149820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 161950 149820 170 317 0 161629 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 647800

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=839016/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=668512 CPUtime=1301.81
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 228780 0 0 0 130081 100 0 0 25 0 1 0 175472049 684556288 155189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 167128 155189 170 317 0 166807 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 668512

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=818216/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=689460 CPUtime=1361.78
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 238017 0 0 0 136074 104 0 0 25 0 1 0 175472049 706007040 160359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 172365 160359 170 317 0 172044 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 689460

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=794088/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=715804 CPUtime=1421.77
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 248152 0 0 0 142068 109 0 0 25 0 1 0 175472049 732983296 166428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 178951 166428 170 317 0 178630 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 715804

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=771240/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=740632 CPUtime=1481.75
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 257725 0 0 0 148062 113 0 0 25 0 1 0 175472049 758407168 172191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 185158 172191 170 317 0 184837 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 740632

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=741352/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=775968 CPUtime=1541.73
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 269170 0 0 0 154054 119 0 0 25 0 1 0 175472049 794591232 179521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 193992 179521 170 317 0 193671 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 775968

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=720808/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=797828 CPUtime=1601.71
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 277976 0 0 0 160047 124 0 0 25 0 1 0 175472049 816975872 184730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 199457 184730 170 317 0 199136 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 797828

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=701288/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=817908 CPUtime=1661.7
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 286976 0 0 0 166042 128 0 0 25 0 1 0 175472049 837537792 189620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715811 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 204477 189620 170 317 0 204156 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 817908

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=681320/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=838320 CPUtime=1721.68
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 296058 0 0 0 172037 131 0 0 25 0 1 0 175472049 858439680 194604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 209580 194604 170 317 0 209259 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 838320

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=625192/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=917212 CPUtime=1781.67
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 313752 0 0 0 178027 140 0 0 25 0 1 0 175472049 939225088 208683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714522 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 229303 208683 170 317 0 228982 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 917212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=607144/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=940824 CPUtime=1800.07
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 319204 0 0 0 179865 142 0 0 25 0 1 0 175472049 963403776 213021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 235206 213021 170 317 0 234885 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 940824

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=607144/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=940824 CPUtime=1800.36
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 319204 0 0 0 179894 142 0 0 25 0 1 0 175472049 963403776 213021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 235206 213021 170 317 0 234885 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 940824

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=607144/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=0 CPUtime=1800.76
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194308 319356 0 0 0 179933 143 0 0 25 0 1 0 175472049 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 0

[startup+1801.5 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 874
/proc/meminfo: memFree=607144/2055920 swapFree=4159716/4192956
[pid=675] ppid=673 vsize=0 CPUtime=1800.86
/proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194308 319356 0 0 0 179933 153 0 0 25 0 1 0 175472049 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/675/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.53
CPU time (s): 1800.89
CPU user time (s): 1799.33
CPU system time (s): 1.55876
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 941396

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

runsolver used 2.07368 second user time and 4.46032 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Thu Apr 19 14:52:24 UTC 2007

IDJOB= 357321
IDBENCH= 2403
IDSOLVER= 172
FILE ID= node7/357321-1176994342

PBS_JOBID= 4630467

Free space on /tmp= 66352 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d322c8ef05198e65a211d45af91a5272

RANDOM SEED= 303049924

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1461064 kB
Buffers:         31816 kB
Cached:         497256 kB
SwapCached:      13228 kB
Active:         354484 kB
Inactive:       197824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1461064 kB
SwapTotal:     4192956 kB
SwapFree:      4159716 kB
Dirty:           20048 kB
Writeback:           0 kB
Mapped:          30296 kB
Slab:            28028 kB
Committed_AS:  7147552 kB
PageTables:       1860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66352 MiB

End job on node7 on Thu Apr 19 15:22:27 UTC 2007