Trace number 362720

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.03 1802.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb
MD5SUM093bff5ffdc26fbd8afb9be10c9fedc9
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 benchmark5.32119
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables221520
Total number of constraints6283
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6283
Minimum length of a constraint45
Maximum length of a constraint221520
Number of terms in the objective function 221520
Biggest coefficient in the objective function 8183
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 743259
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262141
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 743261
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...
2.99/3.07	c ...done
2.99/3.07	c #vars=221520 #constraints=12479 hasObjective=yes
5.18/5.28	c res. mode=mod
5.18/5.28	c VSIDS like heuristics
5.18/5.28	c complete search running
6.78/6.82	c restart after 401 decisions
7.08/7.15	c nbDecision=500 #constraints=12479
8.08/8.12	c restart after 801 decisions
8.69/8.77	c nbDecision=1000 #constraints=12479
10.28/10.37	c nbDecision=1500 #constraints=12479
10.68/10.70	c restart after 1601 decisions
11.88/11.97	c nbDecision=2000 #constraints=12479
13.48/13.58	c nbDecision=2500 #constraints=12479
15.08/15.17	c nbDecision=3000 #constraints=12479
15.78/15.82	c restart after 3201 decisions
16.68/16.78	c nbDecision=3500 #constraints=12479
18.28/18.38	c nbDecision=4000 #constraints=12479
19.88/19.98	c nbDecision=4500 #constraints=12479
21.48/21.58	c nbDecision=5000 #constraints=12479
23.08/23.19	c nbDecision=5500 #constraints=12479
24.78/24.80	c nbDecision=6000 #constraints=12479
26.08/26.10	c restart after 6401 decisions
26.38/26.42	c nbDecision=6500 #constraints=12479
27.97/28.04	c nbDecision=7000 #constraints=12479
29.58/29.65	c nbDecision=7500 #constraints=12479
31.17/31.26	c nbDecision=8000 #constraints=12479
32.77/32.86	c nbDecision=8500 #constraints=12479
34.37/34.44	c nbDecision=9000 #constraints=12479
35.97/36.02	c nbDecision=9500 #constraints=12479
37.56/37.61	c nbDecision=10000 #constraints=12479
39.06/39.19	c nbDecision=10500 #constraints=12479
40.66/40.78	c nbDecision=11000 #constraints=12479
42.26/42.38	c nbDecision=11500 #constraints=12479
43.86/43.98	c nbDecision=12000 #constraints=12479
45.46/45.56	c nbDecision=12500 #constraints=12479
46.46/46.52	c restart after 12801 decisions
47.06/47.17	c nbDecision=13000 #constraints=12479
48.66/48.79	c nbDecision=13500 #constraints=12479
50.35/50.40	c nbDecision=14000 #constraints=12479
51.95/52.00	c nbDecision=14500 #constraints=12479
53.45/53.59	c nbDecision=15000 #constraints=12479
55.05/55.18	c nbDecision=15500 #constraints=12479
56.65/56.75	c nbDecision=16000 #constraints=12479
58.27/58.35	c nbDecision=16500 #constraints=12479
59.86/59.94	c nbDecision=17000 #constraints=12479
61.47/61.53	c nbDecision=17500 #constraints=12479
63.06/63.12	c nbDecision=18000 #constraints=12479
64.66/64.72	c nbDecision=18500 #constraints=12479
66.26/66.32	c nbDecision=19000 #constraints=12479
67.86/67.92	c nbDecision=19500 #constraints=12479
69.46/69.50	c nbDecision=20000 #constraints=12479
70.96/71.09	c nbDecision=20500 #constraints=12479
72.56/72.67	c nbDecision=21000 #constraints=12479
74.16/74.25	c nbDecision=21500 #constraints=12479
75.76/75.82	c nbDecision=22000 #constraints=12479
77.26/77.40	c nbDecision=22500 #constraints=12479
78.86/78.97	c nbDecision=23000 #constraints=12479
80.45/80.50	c nbDecision=23500 #constraints=12479
81.95/82.08	c nbDecision=24000 #constraints=12479
83.56/83.66	c nbDecision=24500 #constraints=12479
85.15/85.24	c nbDecision=25000 #constraints=12479
86.76/86.82	c nbDecision=25500 #constraints=12479
87.05/87.14	c restart after 25601 decisions
88.35/88.44	c nbDecision=26000 #constraints=12479
89.95/90.06	c nbDecision=26500 #constraints=12479
91.55/91.65	c nbDecision=27000 #constraints=12479
93.15/93.25	c nbDecision=27500 #constraints=12479
94.75/94.84	c nbDecision=28000 #constraints=12479
96.35/96.44	c nbDecision=28500 #constraints=12479
97.95/98.03	c nbDecision=29000 #constraints=12479
99.55/99.62	c nbDecision=29500 #constraints=12479
101.15/101.21	c nbDecision=30000 #constraints=12479
102.75/102.81	c nbDecision=30500 #constraints=12479
104.35/104.41	c nbDecision=31000 #constraints=12479
105.95/106.01	c nbDecision=31500 #constraints=12479
107.55/107.61	c nbDecision=32000 #constraints=12479
109.15/109.21	c nbDecision=32500 #constraints=12479
110.65/110.79	c nbDecision=33000 #constraints=12479
112.25/112.36	c nbDecision=33500 #constraints=12479
113.84/113.94	c nbDecision=34000 #constraints=12479
115.45/115.51	c nbDecision=34500 #constraints=12479
116.94/117.09	c nbDecision=35000 #constraints=12479
118.54/118.66	c nbDecision=35500 #constraints=12479
120.14/120.23	c nbDecision=36000 #constraints=12479
121.74/121.81	c nbDecision=36500 #constraints=12479
123.24/123.39	c nbDecision=37000 #constraints=12479
124.84/124.97	c nbDecision=37500 #constraints=12479
126.44/126.55	c nbDecision=38000 #constraints=12479
128.04/128.12	c nbDecision=38500 #constraints=12479
129.54/129.70	c nbDecision=39000 #constraints=12479
131.14/131.27	c nbDecision=39500 #constraints=12479
132.74/132.82	c nbDecision=40000 #constraints=12479
134.24/134.38	c nbDecision=40500 #constraints=12479
135.84/135.93	c nbDecision=41000 #constraints=12479
137.34/137.49	c nbDecision=41500 #constraints=12479
138.94/139.02	c nbDecision=42000 #constraints=12479
140.44/140.57	c nbDecision=42500 #constraints=12479
142.04/142.14	c nbDecision=43000 #constraints=12479
143.64/143.70	c nbDecision=43500 #constraints=12479
145.14/145.26	c nbDecision=44000 #constraints=12479
146.73/146.82	c nbDecision=44500 #constraints=12479
148.23/148.37	c nbDecision=45000 #constraints=12479
149.83/149.93	c nbDecision=45500 #constraints=12479
151.33/151.47	c nbDecision=46000 #constraints=12479
152.93/153.01	c nbDecision=46500 #constraints=12479
154.43/154.55	c nbDecision=47000 #constraints=12479
155.93/156.08	c nbDecision=47500 #constraints=12479
157.53/157.60	c nbDecision=48000 #constraints=12479
159.03/159.13	c nbDecision=48500 #constraints=12479
160.53/160.66	c nbDecision=49000 #constraints=12479
162.03/162.20	c nbDecision=49500 #constraints=12479
163.63/163.72	c nbDecision=50000 #constraints=12479
165.13/165.26	c nbDecision=50500 #constraints=12479
166.63/166.80	c nbDecision=51000 #constraints=12479
167.33/167.42	c restart after 51201 decisions
168.23/168.40	c nbDecision=51500 #constraints=12479
169.93/170.01	c nbDecision=52000 #constraints=12479
171.53/171.62	c nbDecision=52500 #constraints=12479
173.13/173.21	c nbDecision=53000 #constraints=12479
174.73/174.81	c nbDecision=53500 #constraints=12479
176.32/176.40	c nbDecision=54000 #constraints=12479
177.92/178.00	c nbDecision=54500 #constraints=12479
179.42/179.59	c nbDecision=55000 #constraints=12479
181.02/181.18	c nbDecision=55500 #constraints=12479
182.62/182.79	c nbDecision=56000 #constraints=12479
184.22/184.39	c nbDecision=56500 #constraints=12479
185.83/185.99	c nbDecision=57000 #constraints=12479
187.42/187.58	c nbDecision=57500 #constraints=12479
189.02/189.18	c nbDecision=58000 #constraints=12479
190.62/190.77	c nbDecision=58500 #constraints=12479
192.22/192.35	c nbDecision=59000 #constraints=12479
193.82/193.92	c nbDecision=59500 #constraints=12479
195.32/195.49	c nbDecision=60000 #constraints=12479
196.92/197.07	c nbDecision=60500 #constraints=12479
198.52/198.64	c nbDecision=61000 #constraints=12479
200.12/200.20	c nbDecision=61500 #constraints=12479
201.61/201.76	c nbDecision=62000 #constraints=12479
203.21/203.34	c nbDecision=62500 #constraints=12479
204.81/204.91	c nbDecision=63000 #constraints=12479
206.31/206.49	c nbDecision=63500 #constraints=12479
207.91/208.07	c nbDecision=64000 #constraints=12479
209.51/209.64	c nbDecision=64500 #constraints=12479
211.12/211.22	c nbDecision=65000 #constraints=12479
212.61/212.78	c nbDecision=65500 #constraints=12479
214.21/214.32	c nbDecision=66000 #constraints=12479
215.71/215.88	c nbDecision=66500 #constraints=12479
217.31/217.43	c nbDecision=67000 #constraints=12479
218.81/218.98	c nbDecision=67500 #constraints=12479
220.41/220.54	c nbDecision=68000 #constraints=12479
221.91/222.10	c nbDecision=68500 #constraints=12479
223.51/223.64	c nbDecision=69000 #constraints=12479
225.01/225.19	c nbDecision=69500 #constraints=12479
226.61/226.75	c nbDecision=70000 #constraints=12479
228.21/228.30	c nbDecision=70500 #constraints=12479
229.71/229.84	c nbDecision=71000 #constraints=12479
231.20/231.39	c nbDecision=71500 #constraints=12479
232.80/232.93	c nbDecision=72000 #constraints=12479
234.30/234.47	c nbDecision=72500 #constraints=12479
235.90/236.00	c nbDecision=73000 #constraints=12479
237.41/237.53	c nbDecision=73500 #constraints=12479
238.90/239.06	c nbDecision=74000 #constraints=12479
240.40/240.59	c nbDecision=74500 #constraints=12479
242.00/242.13	c nbDecision=75000 #constraints=12479
243.50/243.67	c nbDecision=75500 #constraints=12479
245.10/245.21	c nbDecision=76000 #constraints=12479
246.60/246.74	c nbDecision=76500 #constraints=12479
248.10/248.28	c nbDecision=77000 #constraints=12479
249.70/249.81	c nbDecision=77500 #constraints=12479
251.20/251.34	c nbDecision=78000 #constraints=12479
252.70/252.86	c nbDecision=78500 #constraints=12479
254.20/254.37	c nbDecision=79000 #constraints=12479
255.70/255.89	c nbDecision=79500 #constraints=12479
257.20/257.40	c nbDecision=80000 #constraints=12479
258.80/258.91	c nbDecision=80500 #constraints=12479
260.30/260.42	c nbDecision=81000 #constraints=12479
261.80/261.92	c nbDecision=81500 #constraints=12479
263.29/263.44	c nbDecision=82000 #constraints=12479
264.79/264.95	c nbDecision=82500 #constraints=12479
266.29/266.47	c nbDecision=83000 #constraints=12479
267.79/267.99	c nbDecision=83500 #constraints=12479
269.40/269.50	c nbDecision=84000 #constraints=12479
270.89/271.02	c nbDecision=84500 #constraints=12479
272.39/272.52	c nbDecision=85000 #constraints=12479
273.89/274.02	c nbDecision=85500 #constraints=12479
275.39/275.51	c nbDecision=86000 #constraints=12479
276.89/277.01	c nbDecision=86500 #constraints=12479
278.39/278.50	c nbDecision=87000 #constraints=12479
279.78/280.00	c nbDecision=87500 #constraints=12479
281.28/281.49	c nbDecision=88000 #constraints=12479
282.78/282.99	c nbDecision=88500 #constraints=12479
284.28/284.49	c nbDecision=89000 #constraints=12479
285.79/285.99	c nbDecision=89500 #constraints=12479
287.28/287.49	c nbDecision=90000 #constraints=12479
288.78/288.98	c nbDecision=90500 #constraints=12479
290.29/290.47	c nbDecision=91000 #constraints=12479
291.78/291.96	c nbDecision=91500 #constraints=12479
293.28/293.43	c nbDecision=92000 #constraints=12479
294.78/294.91	c nbDecision=92500 #constraints=12479
296.18/296.38	c nbDecision=93000 #constraints=12479
297.68/297.86	c nbDecision=93500 #constraints=12479
299.18/299.33	c nbDecision=94000 #constraints=12479
300.58/300.80	c nbDecision=94500 #constraints=12479
302.08/302.28	c nbDecision=95000 #constraints=12479
303.57/303.76	c nbDecision=95500 #constraints=12479
305.07/305.23	c nbDecision=96000 #constraints=12479
306.57/306.71	c nbDecision=96500 #constraints=12479
307.97/308.18	c nbDecision=97000 #constraints=12479
309.47/309.64	c nbDecision=97500 #constraints=12479
310.97/311.11	c nbDecision=98000 #constraints=12479
312.37/312.57	c nbDecision=98500 #constraints=12479
313.87/314.02	c nbDecision=99000 #constraints=12479
315.27/315.47	c nbDecision=99500 #constraints=12479
316.77/316.93	c nbDecision=100000 #constraints=12479
318.17/318.38	c nbDecision=100500 #constraints=12479
319.67/319.83	c nbDecision=101000 #constraints=12479
321.07/321.28	c nbDecision=101500 #constraints=12479
322.57/322.74	c nbDecision=102000 #constraints=12479
323.77/323.91	c restart after 102401 decisions
324.07/324.26	c nbDecision=102500 #constraints=12479
325.67/325.85	c nbDecision=103000 #constraints=12479
327.27/327.46	c nbDecision=103500 #constraints=12479
328.87/329.08	c nbDecision=104000 #constraints=12479
330.47/330.68	c nbDecision=104500 #constraints=12479
332.07/332.26	c nbDecision=105000 #constraints=12479
333.66/333.86	c nbDecision=105500 #constraints=12479
335.27/335.45	c nbDecision=106000 #constraints=12479
336.86/337.04	c nbDecision=106500 #constraints=12479
338.46/338.63	c nbDecision=107000 #constraints=12479
340.06/340.22	c nbDecision=107500 #constraints=12479
341.66/341.81	c nbDecision=108000 #constraints=12479
343.26/343.41	c nbDecision=108500 #constraints=12479
344.86/345.01	c nbDecision=109000 #constraints=12479
346.46/346.60	c nbDecision=109500 #constraints=12479
348.06/348.20	c nbDecision=110000 #constraints=12479
349.56/349.79	c nbDecision=110500 #constraints=12479
351.16/351.38	c nbDecision=111000 #constraints=12479
352.76/352.95	c nbDecision=111500 #constraints=12479
354.36/354.52	c nbDecision=112000 #constraints=12479
355.86/356.09	c nbDecision=112500 #constraints=12479
357.46/357.66	c nbDecision=113000 #constraints=12479
359.06/359.23	c nbDecision=113500 #constraints=12479
360.56/360.77	c nbDecision=114000 #constraints=12479
362.15/362.34	c nbDecision=114500 #constraints=12479
363.75/363.92	c nbDecision=115000 #constraints=12479
365.35/365.50	c nbDecision=115500 #constraints=12479
366.85/367.08	c nbDecision=116000 #constraints=12479
368.45/368.65	c nbDecision=116500 #constraints=12479
370.05/370.21	c nbDecision=117000 #constraints=12479
371.56/371.78	c nbDecision=117500 #constraints=12479
373.15/373.31	c nbDecision=118000 #constraints=12479
374.65/374.85	c nbDecision=118500 #constraints=12479
376.15/376.37	c nbDecision=119000 #constraints=12479
377.65/377.89	c nbDecision=119500 #constraints=12479
379.25/379.41	c nbDecision=120000 #constraints=12479
380.75/380.92	c nbDecision=120500 #constraints=12479
382.25/382.47	c nbDecision=121000 #constraints=12479
383.85/384.01	c nbDecision=121500 #constraints=12479
385.35/385.53	c nbDecision=122000 #constraints=12479
386.85/387.06	c nbDecision=122500 #constraints=12479
388.34/388.59	c nbDecision=123000 #constraints=12479
389.94/390.11	c nbDecision=123500 #constraints=12479
391.45/391.63	c nbDecision=124000 #constraints=12479
392.95/393.14	c nbDecision=124500 #constraints=12479
394.44/394.64	c nbDecision=125000 #constraints=12479
395.94/396.14	c nbDecision=125500 #constraints=12479
397.44/397.63	c nbDecision=126000 #constraints=12479
398.94/399.15	c nbDecision=126500 #constraints=12479
400.44/400.65	c nbDecision=127000 #constraints=12479
401.94/402.19	c nbDecision=127500 #constraints=12479
403.54/403.72	c nbDecision=128000 #constraints=12479
405.04/405.26	c nbDecision=128500 #constraints=12479
406.54/406.79	c nbDecision=129000 #constraints=12479
408.14/408.32	c nbDecision=129500 #constraints=12479
409.64/409.85	c nbDecision=130000 #constraints=12479
411.14/411.38	c nbDecision=130500 #constraints=12479
412.64/412.89	c nbDecision=131000 #constraints=12479
414.24/414.40	c nbDecision=131500 #constraints=12479
415.73/415.91	c nbDecision=132000 #constraints=12479
417.23/417.42	c nbDecision=132500 #constraints=12479
418.73/418.91	c nbDecision=133000 #constraints=12479
420.23/420.42	c nbDecision=133500 #constraints=12479
421.73/421.93	c nbDecision=134000 #constraints=12479
423.24/423.45	c nbDecision=134500 #constraints=12479
424.73/424.96	c nbDecision=135000 #constraints=12479
426.23/426.48	c nbDecision=135500 #constraints=12479
427.83/428.00	c nbDecision=136000 #constraints=12479
429.33/429.51	c nbDecision=136500 #constraints=12479
430.83/431.02	c nbDecision=137000 #constraints=12479
432.33/432.52	c nbDecision=137500 #constraints=12479
433.83/434.01	c nbDecision=138000 #constraints=12479
435.23/435.48	c nbDecision=138500 #constraints=12479
436.73/436.98	c nbDecision=139000 #constraints=12479
438.23/438.46	c nbDecision=139500 #constraints=12479
439.73/439.95	c nbDecision=140000 #constraints=12479
441.22/441.44	c nbDecision=140500 #constraints=12479
442.72/442.92	c nbDecision=141000 #constraints=12479
444.23/444.42	c nbDecision=141500 #constraints=12479
445.72/445.91	c nbDecision=142000 #constraints=12479
447.22/447.41	c nbDecision=142500 #constraints=12479
448.72/448.90	c nbDecision=143000 #constraints=12479
450.12/450.39	c nbDecision=143500 #constraints=12479
451.62/451.86	c nbDecision=144000 #constraints=12479
453.12/453.34	c nbDecision=144500 #constraints=12479
454.62/454.81	c nbDecision=145000 #constraints=12479
456.02/456.28	c nbDecision=145500 #constraints=12479
457.52/457.73	c nbDecision=146000 #constraints=12479
459.02/459.20	c nbDecision=146500 #constraints=12479
460.42/460.66	c nbDecision=147000 #constraints=12479
461.92/462.14	c nbDecision=147500 #constraints=12479
463.42/463.61	c nbDecision=148000 #constraints=12479
464.82/465.09	c nbDecision=148500 #constraints=12479
466.32/466.56	c nbDecision=149000 #constraints=12479
467.82/468.03	c nbDecision=149500 #constraints=12479
469.32/469.50	c nbDecision=150000 #constraints=12479
470.72/470.97	c nbDecision=150500 #constraints=12479
472.22/472.42	c nbDecision=151000 #constraints=12479
473.62/473.87	c nbDecision=151500 #constraints=12479
475.11/475.30	c nbDecision=152000 #constraints=12479
476.51/476.75	c nbDecision=152500 #constraints=12479
477.91/478.20	c nbDecision=153000 #constraints=12479
479.41/479.64	c nbDecision=153500 #constraints=12479
480.81/481.08	c nbDecision=154000 #constraints=12479
482.31/482.54	c nbDecision=154500 #constraints=12479
483.71/483.98	c nbDecision=155000 #constraints=12479
485.21/485.43	c nbDecision=155500 #constraints=12479
486.61/486.88	c nbDecision=156000 #constraints=12479
488.11/488.33	c nbDecision=156500 #constraints=12479
489.51/489.78	c nbDecision=157000 #constraints=12479
491.01/491.22	c nbDecision=157500 #constraints=12479
492.41/492.65	c nbDecision=158000 #constraints=12479
493.80/494.08	c nbDecision=158500 #constraints=12479
495.30/495.50	c nbDecision=159000 #constraints=12479
496.70/496.93	c nbDecision=159500 #constraints=12479
498.11/498.35	c nbDecision=160000 #constraints=12479
499.50/499.77	c nbDecision=160500 #constraints=12479
500.90/501.20	c nbDecision=161000 #constraints=12479
502.41/502.63	c nbDecision=161500 #constraints=12479
503.80/504.06	c nbDecision=162000 #constraints=12479
505.20/505.49	c nbDecision=162500 #constraints=12479
506.70/506.91	c nbDecision=163000 #constraints=12479
508.10/508.34	c nbDecision=163500 #constraints=12479
509.50/509.77	c nbDecision=164000 #constraints=12479
510.90/511.19	c nbDecision=164500 #constraints=12479
512.31/512.59	c nbDecision=165000 #constraints=12479
513.70/513.99	c nbDecision=165500 #constraints=12479
515.20/515.40	c nbDecision=166000 #constraints=12479
516.60/516.80	c nbDecision=166500 #constraints=12479
518.00/518.20	c nbDecision=167000 #constraints=12479
519.40/519.61	c nbDecision=167500 #constraints=12479
520.80/521.00	c nbDecision=168000 #constraints=12479
522.21/522.41	c nbDecision=168500 #constraints=12479
523.60/523.82	c nbDecision=169000 #constraints=12479
525.00/525.23	c nbDecision=169500 #constraints=12479
526.40/526.63	c nbDecision=170000 #constraints=12479
527.81/528.04	c nbDecision=170500 #constraints=12479
529.20/529.44	c nbDecision=171000 #constraints=12479
530.60/530.84	c nbDecision=171500 #constraints=12479
532.00/532.23	c nbDecision=172000 #constraints=12479
533.40/533.62	c nbDecision=172500 #constraints=12479
534.80/535.00	c nbDecision=173000 #constraints=12479
536.10/536.38	c nbDecision=173500 #constraints=12479
537.50/537.75	c nbDecision=174000 #constraints=12479
538.90/539.13	c nbDecision=174500 #constraints=12479
540.30/540.51	c nbDecision=175000 #constraints=12479
541.60/541.89	c nbDecision=175500 #constraints=12479
543.00/543.28	c nbDecision=176000 #constraints=12479
544.40/544.67	c nbDecision=176500 #constraints=12479
545.79/546.05	c nbDecision=177000 #constraints=12479
547.19/547.43	c nbDecision=177500 #constraints=12479
548.60/548.81	c nbDecision=178000 #constraints=12479
549.89/550.19	c nbDecision=178500 #constraints=12479
551.29/551.57	c nbDecision=179000 #constraints=12479
552.69/552.93	c nbDecision=179500 #constraints=12479
553.99/554.29	c nbDecision=180000 #constraints=12479
555.39/555.65	c nbDecision=180500 #constraints=12479
556.79/557.01	c nbDecision=181000 #constraints=12479
558.09/558.37	c nbDecision=181500 #constraints=12479
559.49/559.73	c nbDecision=182000 #constraints=12479
560.79/561.08	c nbDecision=182500 #constraints=12479
562.19/562.44	c nbDecision=183000 #constraints=12479
563.59/563.81	c nbDecision=183500 #constraints=12479
564.89/565.17	c nbDecision=184000 #constraints=12479
566.29/566.53	c nbDecision=184500 #constraints=12479
567.59/567.89	c nbDecision=185000 #constraints=12479
568.98/569.25	c nbDecision=185500 #constraints=12479
570.38/570.60	c nbDecision=186000 #constraints=12479
571.69/571.95	c nbDecision=186500 #constraints=12479
572.98/573.29	c nbDecision=187000 #constraints=12479
574.38/574.63	c nbDecision=187500 #constraints=12479
575.68/575.98	c nbDecision=188000 #constraints=12479
577.08/577.32	c nbDecision=188500 #constraints=12479
578.39/578.65	c nbDecision=189000 #constraints=12479
579.68/579.98	c nbDecision=189500 #constraints=12479
581.08/581.31	c nbDecision=190000 #constraints=12479
582.38/582.65	c nbDecision=190500 #constraints=12479
583.68/583.99	c nbDecision=191000 #constraints=12479
585.08/585.33	c nbDecision=191500 #constraints=12479
586.38/586.67	c nbDecision=192000 #constraints=12479
587.78/588.00	c nbDecision=192500 #constraints=12479
589.08/589.34	c nbDecision=193000 #constraints=12479
590.38/590.70	c nbDecision=193500 #constraints=12479
591.78/592.05	c nbDecision=194000 #constraints=12479
593.08/593.37	c nbDecision=194500 #constraints=12479
594.48/594.70	c nbDecision=195000 #constraints=12479
595.78/596.05	c nbDecision=195500 #constraints=12479
597.08/597.39	c nbDecision=196000 #constraints=12479
598.38/598.70	c nbDecision=196500 #constraints=12479
599.77/600.01	c nbDecision=197000 #constraints=12479
601.07/601.31	c nbDecision=197500 #constraints=12479
602.37/602.63	c nbDecision=198000 #constraints=12479
603.68/603.94	c nbDecision=198500 #constraints=12479
604.97/605.26	c nbDecision=199000 #constraints=12479
606.27/606.57	c nbDecision=199500 #constraints=12479
607.57/607.88	c nbDecision=200000 #constraints=12479
608.87/609.19	c nbDecision=200500 #constraints=12479
610.18/610.49	c nbDecision=201000 #constraints=12479
611.47/611.79	c nbDecision=201500 #constraints=12479
612.77/613.08	c nbDecision=202000 #constraints=12479
614.07/614.37	c nbDecision=202500 #constraints=12479
615.37/615.66	c nbDecision=203000 #constraints=12479
616.67/616.95	c nbDecision=203500 #constraints=12479
617.97/618.23	c nbDecision=204000 #constraints=12479
619.27/619.52	c nbDecision=204500 #constraints=12479
619.97/620.29	c restart after 204801 decisions
620.67/620.99	c nbDecision=205000 #constraints=12479
622.37/622.60	c nbDecision=205500 #constraints=12479
623.87/624.20	c nbDecision=206000 #constraints=12479
625.57/625.81	c nbDecision=206500 #constraints=12479
627.16/627.42	c nbDecision=207000 #constraints=12479
628.76/629.03	c nbDecision=207500 #constraints=12479
630.36/630.64	c nbDecision=208000 #constraints=12479
631.96/632.21	c nbDecision=208500 #constraints=12479
633.56/633.80	c nbDecision=209000 #constraints=12479
635.06/635.39	c nbDecision=209500 #constraints=12479
636.67/636.98	c nbDecision=210000 #constraints=12479
638.26/638.56	c nbDecision=210500 #constraints=12479
639.86/640.15	c nbDecision=211000 #constraints=12479
641.46/641.74	c nbDecision=211500 #constraints=12479
643.06/643.33	c nbDecision=212000 #constraints=12479
644.66/644.92	c nbDecision=212500 #constraints=12479
646.26/646.52	c nbDecision=213000 #constraints=12479
647.86/648.11	c nbDecision=213500 #constraints=12479
649.36/649.69	c nbDecision=214000 #constraints=12479
650.96/651.28	c nbDecision=214500 #constraints=12479
652.56/652.85	c nbDecision=215000 #constraints=12479
654.06/654.40	c nbDecision=215500 #constraints=12479
655.66/655.97	c nbDecision=216000 #constraints=12479
657.26/657.51	c nbDecision=216500 #constraints=12479
658.75/659.08	c nbDecision=217000 #constraints=12479
660.35/660.64	c nbDecision=217500 #constraints=12479
661.96/662.21	c nbDecision=218000 #constraints=12479
663.45/663.79	c nbDecision=218500 #constraints=12479
665.05/665.36	c nbDecision=219000 #constraints=12479
666.65/666.94	c nbDecision=219500 #constraints=12479
668.25/668.50	c nbDecision=220000 #constraints=12479
669.75/670.07	c nbDecision=220500 #constraints=12479
671.35/671.63	c nbDecision=221000 #constraints=12479
672.85/673.18	c nbDecision=221500 #constraints=12479
674.45/674.73	c nbDecision=222000 #constraints=12479
675.95/676.28	c nbDecision=222500 #constraints=12479
677.55/677.82	c nbDecision=223000 #constraints=12479
679.04/679.37	c nbDecision=223500 #constraints=12479
680.55/680.88	c nbDecision=224000 #constraints=12479
682.14/682.42	c nbDecision=224500 #constraints=12479
683.64/683.95	c nbDecision=225000 #constraints=12479
685.14/685.47	c nbDecision=225500 #constraints=12479
686.64/686.99	c nbDecision=226000 #constraints=12479
688.25/688.51	c nbDecision=226500 #constraints=12479
689.74/690.04	c nbDecision=227000 #constraints=12479
691.24/691.55	c nbDecision=227500 #constraints=12479
692.74/693.08	c nbDecision=228000 #constraints=12479
694.34/694.61	c nbDecision=228500 #constraints=12479
695.84/696.14	c nbDecision=229000 #constraints=12479
697.34/697.66	c nbDecision=229500 #constraints=12479
698.84/699.18	c nbDecision=230000 #constraints=12479
700.44/700.71	c nbDecision=230500 #constraints=12479
701.94/702.24	c nbDecision=231000 #constraints=12479
703.44/703.77	c nbDecision=231500 #constraints=12479
705.04/705.30	c nbDecision=232000 #constraints=12479
706.54/706.83	c nbDecision=232500 #constraints=12479
708.04/708.36	c nbDecision=233000 #constraints=12479
709.54/709.88	c nbDecision=233500 #constraints=12479
711.13/711.41	c nbDecision=234000 #constraints=12479
712.63/712.91	c nbDecision=234500 #constraints=12479
714.13/714.42	c nbDecision=235000 #constraints=12479
715.63/715.93	c nbDecision=235500 #constraints=12479
717.13/717.42	c nbDecision=236000 #constraints=12479
718.63/718.92	c nbDecision=236500 #constraints=12479
720.13/720.42	c nbDecision=237000 #constraints=12479
721.63/721.92	c nbDecision=237500 #constraints=12479
723.13/723.43	c nbDecision=238000 #constraints=12479
724.63/724.95	c nbDecision=238500 #constraints=12479
726.13/726.46	c nbDecision=239000 #constraints=12479
727.63/727.97	c nbDecision=239500 #constraints=12479
729.13/729.48	c nbDecision=240000 #constraints=12479
730.63/730.98	c nbDecision=240500 #constraints=12479
732.13/732.48	c nbDecision=241000 #constraints=12479
733.62/733.97	c nbDecision=241500 #constraints=12479
735.13/735.46	c nbDecision=242000 #constraints=12479
736.63/736.94	c nbDecision=242500 #constraints=12479
738.12/738.43	c nbDecision=243000 #constraints=12479
739.62/739.91	c nbDecision=243500 #constraints=12479
741.03/741.40	c nbDecision=244000 #constraints=12479
742.52/742.89	c nbDecision=244500 #constraints=12479
744.02/744.39	c nbDecision=245000 #constraints=12479
745.52/745.88	c nbDecision=245500 #constraints=12479
747.02/747.37	c nbDecision=246000 #constraints=12479
748.52/748.86	c nbDecision=246500 #constraints=12479
750.02/750.34	c nbDecision=247000 #constraints=12479
751.52/751.82	c nbDecision=247500 #constraints=12479
752.92/753.29	c nbDecision=248000 #constraints=12479
754.42/754.75	c nbDecision=248500 #constraints=12479
755.92/756.22	c nbDecision=249000 #constraints=12479
757.32/757.68	c nbDecision=249500 #constraints=12479
758.81/759.15	c nbDecision=250000 #constraints=12479
760.31/760.61	c nbDecision=250500 #constraints=12479
761.71/762.08	c nbDecision=251000 #constraints=12479
763.21/763.55	c nbDecision=251500 #constraints=12479
764.71/765.02	c nbDecision=252000 #constraints=12479
766.11/766.49	c nbDecision=252500 #constraints=12479
767.61/767.95	c nbDecision=253000 #constraints=12479
769.11/769.42	c nbDecision=253500 #constraints=12479
770.51/770.88	c nbDecision=254000 #constraints=12479
772.01/772.34	c nbDecision=254500 #constraints=12479
773.41/773.78	c nbDecision=255000 #constraints=12479
774.91/775.23	c nbDecision=255500 #constraints=12479
776.31/776.67	c nbDecision=256000 #constraints=12479
777.82/778.11	c nbDecision=256500 #constraints=12479
779.22/779.55	c nbDecision=257000 #constraints=12479
780.62/780.99	c nbDecision=257500 #constraints=12479
782.12/782.44	c nbDecision=258000 #constraints=12479
783.51/783.89	c nbDecision=258500 #constraints=12479
785.02/785.34	c nbDecision=259000 #constraints=12479
786.42/786.79	c nbDecision=259500 #constraints=12479
787.91/788.23	c nbDecision=260000 #constraints=12479
789.31/789.68	c nbDecision=260500 #constraints=12479
790.81/791.12	c nbDecision=261000 #constraints=12479
792.21/792.54	c nbDecision=261500 #constraints=12479
793.61/793.97	c nbDecision=262000 #constraints=12479
795.02/795.39	c nbDecision=262500 #constraints=12479
796.51/796.81	c nbDecision=263000 #constraints=12479
797.91/798.23	c nbDecision=263500 #constraints=12479
799.31/799.65	c nbDecision=264000 #constraints=12479
800.71/801.07	c nbDecision=264500 #constraints=12479
802.11/802.49	c nbDecision=265000 #constraints=12479
803.61/803.92	c nbDecision=265500 #constraints=12479
805.01/805.35	c nbDecision=266000 #constraints=12479
806.41/806.77	c nbDecision=266500 #constraints=12479
807.81/808.19	c nbDecision=267000 #constraints=12479
809.31/809.62	c nbDecision=267500 #constraints=12479
810.70/811.04	c nbDecision=268000 #constraints=12479
812.10/812.44	c nbDecision=268500 #constraints=12479
813.50/813.84	c nbDecision=269000 #constraints=12479
814.90/815.24	c nbDecision=269500 #constraints=12479
816.30/816.64	c nbDecision=270000 #constraints=12479
817.70/818.04	c nbDecision=270500 #constraints=12479
819.11/819.43	c nbDecision=271000 #constraints=12479
820.50/820.83	c nbDecision=271500 #constraints=12479
821.90/822.24	c nbDecision=272000 #constraints=12479
823.30/823.64	c nbDecision=272500 #constraints=12479
824.70/825.05	c nbDecision=273000 #constraints=12479
826.10/826.45	c nbDecision=273500 #constraints=12479
827.50/827.85	c nbDecision=274000 #constraints=12479
828.90/829.25	c nbDecision=274500 #constraints=12479
830.30/830.65	c nbDecision=275000 #constraints=12479
831.70/832.03	c nbDecision=275500 #constraints=12479
833.10/833.41	c nbDecision=276000 #constraints=12479
834.40/834.79	c nbDecision=276500 #constraints=12479
835.80/836.17	c nbDecision=277000 #constraints=12479
837.20/837.54	c nbDecision=277500 #constraints=12479
838.60/838.92	c nbDecision=278000 #constraints=12479
839.89/840.29	c nbDecision=278500 #constraints=12479
841.29/841.67	c nbDecision=279000 #constraints=12479
842.69/843.05	c nbDecision=279500 #constraints=12479
844.09/844.43	c nbDecision=280000 #constraints=12479
845.50/845.81	c nbDecision=280500 #constraints=12479
846.79/847.19	c nbDecision=281000 #constraints=12479
848.19/848.56	c nbDecision=281500 #constraints=12479
849.59/849.94	c nbDecision=282000 #constraints=12479
850.99/851.31	c nbDecision=282500 #constraints=12479
852.29/852.67	c nbDecision=283000 #constraints=12479
853.69/854.03	c nbDecision=283500 #constraints=12479
854.99/855.39	c nbDecision=284000 #constraints=12479
856.39/856.74	c nbDecision=284500 #constraints=12479
857.79/858.10	c nbDecision=285000 #constraints=12479
859.09/859.45	c nbDecision=285500 #constraints=12479
860.49/860.80	c nbDecision=286000 #constraints=12479
861.79/862.16	c nbDecision=286500 #constraints=12479
863.19/863.52	c nbDecision=287000 #constraints=12479
864.48/864.88	c nbDecision=287500 #constraints=12479
865.88/866.24	c nbDecision=288000 #constraints=12479
867.18/867.59	c nbDecision=288500 #constraints=12479
868.59/868.94	c nbDecision=289000 #constraints=12479
869.88/870.30	c nbDecision=289500 #constraints=12479
871.28/871.65	c nbDecision=290000 #constraints=12479
872.68/873.00	c nbDecision=290500 #constraints=12479
873.98/874.34	c nbDecision=291000 #constraints=12479
875.28/875.67	c nbDecision=291500 #constraints=12479
876.68/877.00	c nbDecision=292000 #constraints=12479
877.98/878.33	c nbDecision=292500 #constraints=12479
879.28/879.66	c nbDecision=293000 #constraints=12479
880.58/880.99	c nbDecision=293500 #constraints=12479
881.98/882.32	c nbDecision=294000 #constraints=12479
883.28/883.65	c nbDecision=294500 #constraints=12479
884.58/884.99	c nbDecision=295000 #constraints=12479
885.97/886.34	c nbDecision=295500 #constraints=12479
887.28/887.70	c nbDecision=296000 #constraints=12479
888.67/889.04	c nbDecision=296500 #constraints=12479
889.97/890.37	c nbDecision=297000 #constraints=12479
891.37/891.73	c nbDecision=297500 #constraints=12479
892.67/893.09	c nbDecision=298000 #constraints=12479
894.07/894.40	c nbDecision=298500 #constraints=12479
895.37/895.71	c nbDecision=299000 #constraints=12479
896.67/897.02	c nbDecision=299500 #constraints=12479
897.97/898.32	c nbDecision=300000 #constraints=12479
899.27/899.63	c nbDecision=300500 #constraints=12479
900.57/900.93	c nbDecision=301000 #constraints=12479
901.87/902.24	c nbDecision=301500 #constraints=12479
903.17/903.55	c nbDecision=302000 #constraints=12479
904.47/904.86	c nbDecision=302500 #constraints=12479
905.77/906.17	c nbDecision=303000 #constraints=12479
907.07/907.48	c nbDecision=303500 #constraints=12479
908.37/908.78	c nbDecision=304000 #constraints=12479
909.67/910.09	c nbDecision=304500 #constraints=12479
910.97/911.39	c nbDecision=305000 #constraints=12479
912.27/912.68	c nbDecision=305500 #constraints=12479
913.57/913.96	c nbDecision=306000 #constraints=12479
914.87/915.25	c nbDecision=306500 #constraints=12479
916.16/916.53	c nbDecision=307000 #constraints=12479
917.46/917.81	c nbDecision=307500 #constraints=12479
918.66/919.10	c nbDecision=308000 #constraints=12479
919.96/920.37	c nbDecision=308500 #constraints=12479
921.26/921.66	c nbDecision=309000 #constraints=12479
922.57/922.94	c nbDecision=309500 #constraints=12479
923.86/924.23	c nbDecision=310000 #constraints=12479
925.16/925.52	c nbDecision=310500 #constraints=12479
926.46/926.80	c nbDecision=311000 #constraints=12479
927.66/928.09	c nbDecision=311500 #constraints=12479
928.96/929.38	c nbDecision=312000 #constraints=12479
930.26/930.66	c nbDecision=312500 #constraints=12479
931.56/931.94	c nbDecision=313000 #constraints=12479
932.86/933.22	c nbDecision=313500 #constraints=12479
934.06/934.49	c nbDecision=314000 #constraints=12479
935.36/935.76	c nbDecision=314500 #constraints=12479
936.66/937.03	c nbDecision=315000 #constraints=12479
937.96/938.31	c nbDecision=315500 #constraints=12479
939.15/939.58	c nbDecision=316000 #constraints=12479
940.46/940.85	c nbDecision=316500 #constraints=12479
941.75/942.12	c nbDecision=317000 #constraints=12479
943.05/943.40	c nbDecision=317500 #constraints=12479
944.25/944.68	c nbDecision=318000 #constraints=12479
945.56/945.96	c nbDecision=318500 #constraints=12479
946.85/947.24	c nbDecision=319000 #constraints=12479
948.15/948.52	c nbDecision=319500 #constraints=12479
949.35/949.79	c nbDecision=320000 #constraints=12479
950.65/951.07	c nbDecision=320500 #constraints=12479
951.95/952.33	c nbDecision=321000 #constraints=12479
953.15/953.60	c nbDecision=321500 #constraints=12479
962.94/963.31	c nbDecision=322000 #constraints=12483
964.14/964.59	c nbDecision=322500 #constraints=12483
965.45/965.86	c nbDecision=323000 #constraints=12483
991.64/992.07	c nbDecision=323500 #constraints=12490
992.94/993.34	c nbDecision=324000 #constraints=12490
1010.73/1011.19	c nbDecision=324500 #constraints=12494
1012.03/1012.46	c nbDecision=325000 #constraints=12494
1013.33/1013.72	c nbDecision=325500 #constraints=12494
1031.12/1031.54	c nbDecision=326000 #constraints=12497
1032.43/1032.89	c nbDecision=326500 #constraints=12503
1033.72/1034.16	c nbDecision=327000 #constraints=12503
1035.02/1035.42	c nbDecision=327500 #constraints=12503
1036.22/1036.69	c nbDecision=328000 #constraints=12503
1160.38/1160.87	c nbDecision=328500 #constraints=12516
1161.68/1162.14	c nbDecision=329000 #constraints=12516
1162.98/1163.42	c nbDecision=329500 #constraints=12516
1164.18/1164.70	c nbDecision=330000 #constraints=12516
1165.48/1165.97	c nbDecision=330500 #constraints=12516
1289.74/1290.20	c nbDecision=331000 #constraints=12527
1290.94/1291.48	c nbDecision=331500 #constraints=12527
1292.24/1292.74	c nbDecision=332000 #constraints=12527
1293.54/1294.01	c nbDecision=332500 #constraints=12527
1417.21/1417.79	c nbDecision=333000 #constraints=12538
1418.51/1419.05	c nbDecision=333500 #constraints=12538
1419.81/1420.32	c nbDecision=334000 #constraints=12538
1421.01/1421.59	c nbDecision=334500 #constraints=12538
1422.31/1422.86	c nbDecision=335000 #constraints=12538
1546.37/1546.91	c nbDecision=335500 #constraints=12549
1547.57/1548.19	c nbDecision=336000 #constraints=12549
1548.87/1549.47	c nbDecision=336500 #constraints=12549
1550.17/1550.74	c nbDecision=337000 #constraints=12549
1551.47/1552.01	c nbDecision=337500 #constraints=12549
1675.43/1676.09	c nbDecision=338000 #constraints=12560
1676.73/1677.36	c nbDecision=338500 #constraints=12560
1678.03/1678.62	c nbDecision=339000 #constraints=12560
1679.22/1679.89	c nbDecision=339500 #constraints=12560
1680.52/1681.15	c nbDecision=340000 #constraints=12560
1681.82/1682.42	c nbDecision=340500 #constraints=12560
1683.12/1683.70	c nbDecision=341000 #constraints=12560
1800.00/1800.61	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/node54/watcher-362720-1176848132 -o ROOT/results/node54/solver-362720-1176848132 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362720-1176848132/instance-362720-1176848132.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.92 0.95 0.98 3/66 11144
/proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=1620 CPUtime=0
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 132187732 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 405 176 126 317 0 84 0

[startup+0.0237049 s]
/proc/loadavg: 0.92 0.95 0.98 3/66 11144
/proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=1880 CPUtime=0.02
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 313 0 0 0 2 0 0 0 18 0 1 0 132187732 1925120 262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 470 262 126 317 0 149 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1880

[startup+0.101721 s]
/proc/loadavg: 0.92 0.95 0.98 3/66 11144
/proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=5624 CPUtime=0.09
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 971 0 0 0 9 0 0 0 18 0 1 0 132187732 5758976 726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 1406 728 126 317 0 1085 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5624

[startup+0.301739 s]
/proc/loadavg: 0.92 0.95 0.98 3/66 11144
/proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=9548 CPUtime=0.29
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 2924 0 0 0 28 1 0 0 19 0 1 0 132187732 9777152 1909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 2387 1909 126 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701791 s]
/proc/loadavg: 0.92 0.95 0.98 3/66 11144
/proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=12264 CPUtime=0.69
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 3729 0 0 0 68 1 0 0 22 0 1 0 132187732 12558336 2714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 3066 2714 131 317 0 2745 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12264

[startup+1.50189 s]
/proc/loadavg: 0.92 0.95 0.98 2/67 11145
/proc/meminfo: memFree=1758200/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=28892 CPUtime=1.49
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 7779 0 0 0 146 3 0 0 25 0 1 0 132187732 29585408 6764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 7223 6764 131 317 0 6902 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28892

[startup+3.10111 s]
/proc/loadavg: 0.93 0.95 0.98 2/67 11145
/proc/meminfo: memFree=1734904/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=72184 CPUtime=3.09
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 18309 0 0 0 300 9 0 0 25 0 1 0 132187732 73916416 16297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 0 0 0
/proc/11144/statm: 18046 16297 136 317 0 17725 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72184

[startup+6.3015 s]
/proc/loadavg: 0.93 0.95 0.98 2/67 11145
/proc/meminfo: memFree=1682808/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95476 CPUtime=6.28
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 617 11 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23869 23240 138 317 0 23548 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 95476

[startup+12.7013 s]
/proc/loadavg: 0.94 0.96 0.98 2/67 11145
/proc/meminfo: memFree=1682680/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95476 CPUtime=12.68
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 1257 11 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23869 23240 138 317 0 23548 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 95476

[startup+25.5029 s]
/proc/loadavg: 0.95 0.96 0.98 2/67 11145
/proc/meminfo: memFree=1682744/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95476 CPUtime=25.48
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 2537 11 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23869 23240 138 317 0 23548 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95476

[startup+51.1022 s]
/proc/loadavg: 0.96 0.96 0.98 2/67 11145
/proc/meminfo: memFree=1682744/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95476 CPUtime=51.06
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 5095 11 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23869 23240 138 317 0 23548 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 95476

[startup+102.307 s]
/proc/loadavg: 0.98 0.96 0.98 2/67 11145
/proc/meminfo: memFree=1682808/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95476 CPUtime=102.25
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 10213 12 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23869 23240 138 317 0 23548 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 95476

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1682744/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95476 CPUtime=162.23
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25262 0 0 0 16211 12 0 0 25 0 1 0 132187732 97767424 23250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23869 23250 138 317 0 23548 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 95476

[startup+222.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1682680/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95476 CPUtime=222.21
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25264 0 0 0 22209 12 0 0 25 0 1 0 132187732 97767424 23252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23869 23252 138 317 0 23548 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 95476

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1682616/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95476 CPUtime=282.19
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25277 0 0 0 28207 12 0 0 25 0 1 0 132187732 97767424 23265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23869 23265 138 317 0 23548 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 95476

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1682488/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95548 CPUtime=342.16
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25291 0 0 0 34204 12 0 0 25 0 1 0 132187732 97841152 23279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23887 23279 138 317 0 23566 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 95548

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1682424/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95548 CPUtime=402.14
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25291 0 0 0 40202 12 0 0 25 0 1 0 132187732 97841152 23279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23887 23279 138 317 0 23566 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 95548

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1682360/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95548 CPUtime=462.12
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25291 0 0 0 46200 12 0 0 25 0 1 0 132187732 97841152 23279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23887 23279 138 317 0 23566 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 95548

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1682360/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95676 CPUtime=522.1
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25305 0 0 0 52197 13 0 0 25 0 1 0 132187732 97972224 23293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23919 23293 138 317 0 23598 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 95676

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1682232/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95676 CPUtime=582.08
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25327 0 0 0 58195 13 0 0 25 0 1 0 132187732 97972224 23315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23919 23315 138 317 0 23598 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 95676

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1682168/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=95548 CPUtime=642.06
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25341 0 0 0 64193 13 0 0 25 0 1 0 132187732 97841152 23286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 23887 23286 138 317 0 23566 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 95548


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

/proc/meminfo: memFree=1681784/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96144 CPUtime=1001.93
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 100179 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24036 23351 139 317 0 23715 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 96144

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681784/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96144 CPUtime=1061.91
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 106177 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24036 23351 139 317 0 23715 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 96144

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681848/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96144 CPUtime=1121.89
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 112175 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24036 23351 139 317 0 23715 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 96144

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681848/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96144 CPUtime=1181.87
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 118173 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24036 23351 139 317 0 23715 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 96144

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681912/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96144 CPUtime=1241.86
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 124172 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24036 23351 139 317 0 23715 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 96144

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681912/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96144 CPUtime=1301.84
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 130170 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24036 23351 139 317 0 23715 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 96144

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681912/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96144 CPUtime=1361.83
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25493 0 0 0 136168 15 0 0 25 0 1 0 132187732 98451456 23352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24036 23352 139 317 0 23715 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 96144

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681848/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96276 CPUtime=1421.81
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25498 0 0 0 142166 15 0 0 25 0 1 0 132187732 98586624 23357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24069 23357 139 317 0 23748 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 96276

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681784/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96276 CPUtime=1481.79
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25504 0 0 0 148164 15 0 0 25 0 1 0 132187732 98586624 23363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24069 23363 139 317 0 23748 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 96276

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681848/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96276 CPUtime=1541.77
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25505 0 0 0 154162 15 0 0 25 0 1 0 132187732 98586624 23364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24069 23364 139 317 0 23748 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 96276

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681784/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96276 CPUtime=1601.75
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25513 0 0 0 160160 15 0 0 25 0 1 0 132187732 98586624 23372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24069 23372 139 317 0 23748 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 96276

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681720/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96276 CPUtime=1661.73
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25517 0 0 0 166158 15 0 0 25 0 1 0 132187732 98586624 23376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24069 23376 139 317 0 23748 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 96276

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681592/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96408 CPUtime=1721.71
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25543 0 0 0 172156 15 0 0 25 0 1 0 132187732 98721792 23402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24102 23402 139 317 0 23781 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 96408

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681592/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96408 CPUtime=1781.69
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25552 0 0 0 178154 15 0 0 25 0 1 0 132187732 98721792 23411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24102 23411 139 317 0 23781 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 96408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681592/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96408 CPUtime=1800
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25557 0 0 0 179984 16 0 0 25 0 1 0 132187732 98721792 23416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24102 23416 139 317 0 23781 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 96408

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: 0.99 0.97 0.98 2/67 11145
/proc/meminfo: memFree=1681592/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96408 CPUtime=1800.79
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25557 0 0 0 180063 16 0 0 25 0 1 0 132187732 98721792 23416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24102 23416 139 317 0 23781 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 96408

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 11146
/proc/meminfo: memFree=1681584/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96408 CPUtime=1801.59
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25557 0 0 0 180143 16 0 0 25 0 1 0 132187732 98721792 23416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24102 23416 139 317 0 23781 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 96408

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 11146
/proc/meminfo: memFree=1681584/2055920 swapFree=4181256/4192956
[pid=11144] ppid=11142 vsize=96408 CPUtime=1801.99
/proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25557 0 0 0 180183 16 0 0 25 0 1 0 132187732 98721792 23416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11144/statm: 24102 23416 139 317 0 23781 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 96408

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.03
CPU user time (s): 1801.85
CPU system time (s): 0.176973
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 96408

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

runsolver used 1.75073 second user time and 4.85626 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Tue Apr 17 22:15:33 UTC 2007

IDJOB= 362720
IDBENCH= 1632
IDSOLVER= 172
FILE ID= node54/362720-1176848132

PBS_JOBID= 4590190

Free space on /tmp= 66330 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  093bff5ffdc26fbd8afb9be10c9fedc9

RANDOM SEED= 866888451

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.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.234
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.234
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:       1775832 kB
Buffers:         19208 kB
Cached:         210500 kB
SwapCached:       5028 kB
Active:          58464 kB
Inactive:       181980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1775832 kB
SwapTotal:     4192956 kB
SwapFree:      4181256 kB
Dirty:           11672 kB
Writeback:           0 kB
Mapped:          15492 kB
Slab:            25552 kB
Committed_AS:  2018696 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66330 MiB

End job on node54 on Tue Apr 17 22:45:35 UTC 2007