Trace number 3715808

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1789.45 1900.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
MD5SUMf2d449aa8c80edec7a2d4cb4a780c49d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark333
Best CPU time to get the best result obtained on this benchmark0.117981
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c run usual solver
0.00/0.06	o 4295
0.00/0.06	c starting approximation
0.00/0.06	c factor = 2
0.00/0.06	c factor still to low - shrinking to 13.1814
0.00/0.06	c approx number of clauses: 1e+06
0.00/0.06	c current bound: 2147
0.00/1.55	c current bound: 2147
2.80/3.05	c current bound: 2147
4.33/4.55	c current bound: 2147
5.83/6.05	c current bound: 2147
7.35/7.54	c current bound: 2147
8.85/9.04	c current bound: 2147
10.59/10.55	c current bound: 2147
11.90/12.06	c current bound: 2147
13.43/13.58	c current bound: 2147
14.96/15.09	c current bound: 2147
16.76/16.61	c current bound: 2147
18.02/18.12	c current bound: 2147
19.54/19.63	c current bound: 2147
21.29/21.14	c current bound: 2147
22.61/22.66	c current bound: 2147
24.14/24.17	c current bound: 2147
25.67/25.69	c current bound: 2147
27.22/27.21	c current bound: 2147
28.74/28.72	c current bound: 2147
30.27/30.23	c current bound: 2147
31.99/31.75	c current bound: 2147
33.51/33.24	c current bound: 2147
34.82/34.74	c current bound: 2147
36.32/145.62	c current bound: 2147
38.07/147.12	c current bound: 2147
39.35/148.64	c current bound: 2147
40.86/150.16	c current bound: 2147
42.56/151.68	c current bound: 2147
44.18/153.20	c current bound: 2147
45.67/154.83	c current bound: 2147
46.93/156.35	c current bound: 2147
48.45/157.87	c current bound: 2147
49.97/159.37	c current bound: 2147
51.47/160.89	c current bound: 2147
52.99/162.40	c current bound: 2147
54.51/163.92	c current bound: 2147
56.02/165.44	c current bound: 2147
57.76/166.96	c current bound: 2147
59.05/168.48	c current bound: 2147
60.85/170.12	c current bound: 2147
62.10/171.64	c current bound: 2147
63.62/173.17	c current bound: 2147
65.34/174.68	c current bound: 2147
66.66/176.19	c current bound: 2147
68.18/177.71	c current bound: 2147
69.76/179.29	c current bound: 2147
71.27/180.80	c current bound: 2147
73.01/182.35	c current bound: 2147
74.30/183.87	c current bound: 2147
75.82/185.38	c current bound: 2147
77.61/186.90	c current bound: 2147
78.84/188.41	c current bound: 2147
80.61/189.92	c current bound: 2147
81.87/191.44	c current bound: 2147
83.39/192.96	c current bound: 2147
85.12/194.47	c current bound: 2147
86.43/195.99	c current bound: 2147
87.93/197.49	c current bound: 2147
89.44/199.01	c current bound: 2147
90.96/200.53	c current bound: 2147
92.71/202.04	c current bound: 2147
93.99/203.55	c current bound: 2147
95.51/205.07	c current bound: 2147
97.21/206.59	c current bound: 2147
98.55/208.11	c current bound: 2147
100.06/209.63	c current bound: 2147
101.58/211.15	c current bound: 2147
103.10/212.66	c current bound: 2147
104.82/214.19	c current bound: 2147
106.42/215.70	c current bound: 2147
107.66/217.22	c current bound: 2147
109.41/218.73	c current bound: 2147
110.69/220.25	c current bound: 2147
112.19/221.76	c current bound: 2147
113.71/223.28	c current bound: 2147
115.22/224.79	c current bound: 2147
116.91/226.30	c current bound: 2147
118.25/227.82	c current bound: 2147
119.77/229.33	c current bound: 2147
121.50/230.84	c current bound: 2147
122.80/232.37	c current bound: 2147
124.32/233.88	c current bound: 2147
126.12/235.40	c current bound: 2147
127.35/236.90	c current bound: 2147
129.12/238.42	c current bound: 2147
130.37/239.94	c current bound: 2147
131.88/241.45	c current bound: 2147
133.61/242.97	c current bound: 2147
134.94/244.47	c current bound: 2147
136.44/245.99	c current bound: 2147
138.21/247.50	c current bound: 2147
139.44/249.00	c current bound: 2147
141.22/250.52	c current bound: 2147
142.49/252.04	c current bound: 2147
144.00/253.55	c current bound: 2147
145.71/255.06	c current bound: 2147
147.02/256.58	c current bound: 2147
148.53/258.09	c current bound: 2147
150.06/259.60	c current bound: 2147
151.58/261.12	c current bound: 2147
153.32/262.63	c current bound: 2147
154.59/264.16	c current bound: 2147
156.11/265.67	c current bound: 2147
157.64/267.19	c current bound: 2147
159.16/268.71	c current bound: 2147
160.93/270.23	c current bound: 2147
162.19/271.74	c current bound: 2147
163.70/273.25	c current bound: 2147
165.42/274.78	c current bound: 2147
166.74/276.29	c current bound: 2147
168.26/277.81	c current bound: 2147
169.83/279.38	c current bound: 2147
171.63/280.90	c current bound: 2147
173.08/282.44	c current bound: 2147
174.38/283.95	c current bound: 2147
175.90/285.45	c current bound: 2147
177.40/286.96	c current bound: 2147
178.91/288.47	c current bound: 2147
180.42/289.97	c current bound: 2147
181.93/291.48	c current bound: 2147
183.43/292.98	c current bound: 2147
185.10/294.49	c current bound: 2147
186.70/296.00	c current bound: 2147
187.94/297.57	c current bound: 2147
189.44/299.07	c current bound: 2147
190.95/300.57	c current bound: 2147
192.44/302.08	c current bound: 2147
193.96/303.59	c current bound: 2147
195.46/305.09	c current bound: 2147
197.12/306.60	c current bound: 2147
198.47/308.11	c current bound: 2147
199.99/309.62	c current bound: 2147
201.72/311.14	c current bound: 2147
203.01/312.64	c current bound: 2147
204.51/314.15	c current bound: 2147
206.02/315.65	c current bound: 2147
207.54/317.17	c current bound: 2147
209.22/318.69	c current bound: 2147
210.56/320.19	c current bound: 2147
212.32/321.70	c current bound: 2147
213.81/323.22	c current bound: 2147
215.09/324.73	c current bound: 2147
216.59/326.23	c current bound: 2147
218.10/327.75	c current bound: 2147
219.61/329.25	c current bound: 2147
221.32/330.76	c current bound: 2147
222.62/332.28	c current bound: 2147
224.13/333.79	c current bound: 2147
225.92/335.30	c current bound: 2147
227.17/336.82	c current bound: 2147
228.69/338.33	c current bound: 2147
230.19/339.83	c current bound: 2147
231.69/341.36	c current bound: 2147
233.41/342.87	c current bound: 2147
234.73/344.39	c current bound: 2147
236.53/345.90	c current bound: 2147
238.01/347.41	c current bound: 2147
239.27/348.91	c current bound: 2147
240.76/350.43	c current bound: 2147
242.30/351.94	c current bound: 2147
243.80/353.46	c current bound: 2147
245.53/354.98	c current bound: 2147
246.84/356.50	c current bound: 2147
248.37/358.01	c current bound: 2147
250.11/359.52	c current bound: 2147
251.38/361.03	c current bound: 2147
252.90/362.56	c current bound: 2147
254.42/364.07	c current bound: 2147
255.93/365.56	c current bound: 2147
257.63/367.08	c current bound: 2147
258.94/368.59	c current bound: 2147
260.46/370.11	c current bound: 2147
262.22/371.62	c current bound: 2147
263.49/373.14	c current bound: 2147
265.00/374.65	c current bound: 2147
266.53/376.17	c current bound: 2147
268.03/377.69	c current bound: 2147
269.74/379.20	c current bound: 2147
271.06/380.71	c current bound: 2147
272.58/382.22	c current bound: 2147
274.33/383.74	c current bound: 2147
275.61/385.25	c current bound: 2147
277.13/386.77	c current bound: 2147
278.64/388.29	c current bound: 2147
280.17/389.81	c current bound: 2147
281.93/391.33	c current bound: 2147
283.20/392.85	c current bound: 2147
284.72/394.36	c current bound: 2147
286.43/395.87	c current bound: 2147
287.75/397.39	c current bound: 2147
289.55/398.90	c current bound: 2147
290.78/400.42	c current bound: 2147
292.30/401.94	c current bound: 2147
294.03/403.46	c current bound: 2147
295.35/404.98	c current bound: 2147
296.86/406.49	c current bound: 2147
298.36/408.00	c current bound: 2147
299.89/409.51	c current bound: 2147
301.64/411.03	c current bound: 2147
302.91/412.54	c current bound: 2147
304.41/414.05	c current bound: 2147
306.14/415.57	c current bound: 2147
307.46/417.08	c current bound: 2147
308.96/418.59	c current bound: 2147
310.48/420.12	c current bound: 2147
312.03/421.67	c current bound: 2147
313.83/423.20	c current bound: 2147
315.07/424.72	c current bound: 2147
316.58/426.23	c current bound: 2147
318.31/427.75	c current bound: 2147
319.62/429.27	c current bound: 2147
321.12/430.78	c current bound: 2147
322.92/432.30	c current bound: 2147
324.17/433.81	c current bound: 2147
325.92/435.33	c current bound: 2147
327.20/436.84	c current bound: 2147
328.70/438.36	c current bound: 2147
330.42/439.87	c current bound: 2147
331.74/441.37	c current bound: 2147
333.23/442.89	c current bound: 2147
335.04/444.40	c current bound: 2147
336.26/445.91	c current bound: 2147
338.03/447.42	c current bound: 2147
339.29/448.94	c current bound: 2147
340.80/450.47	c current bound: 2147
342.34/451.99	c current bound: 2147
343.86/453.51	c current bound: 2147
345.63/455.02	c current bound: 2147
346.90/456.53	c current bound: 2147
348.41/458.05	c current bound: 2147
350.13/459.57	c current bound: 2147
351.44/461.08	c current bound: 2147
352.95/462.58	c current bound: 2147
354.73/464.10	c current bound: 2147
355.96/465.61	c current bound: 2147
357.72/467.13	c current bound: 2147
358.99/468.65	c current bound: 2147
360.51/470.17	c current bound: 2147
362.22/471.68	c current bound: 2147
363.55/473.20	c current bound: 2147
365.06/474.70	c current bound: 2147
366.56/476.22	c current bound: 2147
368.08/477.73	c current bound: 2147
369.82/479.24	c current bound: 2147
371.12/480.76	c current bound: 2147
372.62/482.27	c current bound: 2147
374.31/483.79	c current bound: 2147
375.65/485.30	c current bound: 2147
377.16/486.82	c current bound: 2147
378.69/488.33	c current bound: 2147
380.19/489.85	c current bound: 2147
381.92/491.36	c current bound: 2147
383.22/492.89	c current bound: 2147
384.76/494.40	c current bound: 2147
386.51/495.92	c current bound: 2147
387.77/497.43	c current bound: 2147
389.30/498.95	c current bound: 2147
390.81/500.47	c current bound: 2147
392.33/501.98	c current bound: 2147
394.02/503.50	c current bound: 2147
395.36/505.01	c current bound: 2147
396.88/506.53	c current bound: 2147
398.61/508.05	c current bound: 2147
399.90/509.57	c current bound: 2147
401.43/511.08	c current bound: 2147
402.94/512.60	c current bound: 2147
404.46/514.12	c current bound: 2147
406.21/515.64	c current bound: 2147
407.48/517.15	c current bound: 2147
409.01/518.67	c current bound: 2147
410.53/520.28	c current bound: 2147
412.30/521.80	c current bound: 2147
413.80/523.31	c current bound: 2147
415.05/524.81	c current bound: 2147
416.56/526.31	c current bound: 2147
418.29/527.81	c current bound: 2147
419.55/529.31	c current bound: 2147
421.06/530.81	c current bound: 2147
422.54/532.31	c current bound: 2147
424.05/533.80	c current bound: 2147
425.81/535.30	c current bound: 2147
427.05/536.80	c current bound: 2147
428.55/538.30	c current bound: 2147
430.19/539.80	c current bound: 2147
431.79/541.30	c current bound: 2147
433.08/542.84	c current bound: 2147
434.89/544.40	c current bound: 2147
436.16/545.92	c current bound: 2147
437.87/547.47	c current bound: 2147
439.21/549.02	c current bound: 2147
440.75/550.57	c current bound: 2147
442.32/552.13	c current bound: 2147
443.84/553.65	c current bound: 2147
445.54/555.17	c current bound: 2147
446.87/556.68	c current bound: 2147
448.40/558.22	c current bound: 2147
449.96/559.79	c current bound: 2147
451.49/561.32	c current bound: 2147
453.22/562.87	c current bound: 2147
454.54/564.38	c current bound: 2147
456.08/565.92	c current bound: 2147
457.64/567.48	c current bound: 2147
459.16/569.00	c current bound: 2147
460.88/570.60	c current bound: 2147
462.23/572.11	c current bound: 2147
463.76/573.66	c current bound: 2147
465.30/575.18	c current bound: 2147
466.81/576.70	c current bound: 2147
468.55/578.25	c current bound: 2147
469.87/579.77	c current bound: 2147
471.40/581.31	c current bound: 2147
473.14/582.80	c current bound: 2147
474.42/584.34	c current bound: 2147
475.98/585.89	c current bound: 2147
477.74/587.40	c current bound: 2147
479.02/588.93	c current bound: 2147
480.73/590.43	c current bound: 2147
482.03/591.95	c current bound: 2147
483.56/593.48	c current bound: 2147
485.09/595.02	c current bound: 2147
486.63/596.55	c current bound: 2147
488.40/598.12	c current bound: 2147
489.69/599.64	c current bound: 2147
491.18/601.14	c current bound: 2147
492.74/602.70	c current bound: 2147
494.26/604.23	c current bound: 2147
496.00/605.79	c current bound: 2147
497.33/607.30	c current bound: 2147
498.86/608.84	c current bound: 2147
500.41/610.39	c current bound: 2147
501.91/611.89	c current bound: 2147
503.67/613.43	c current bound: 2147
504.97/614.94	c current bound: 2147
506.45/616.45	c current bound: 2147
508.27/618.00	c current bound: 2147
509.53/619.53	c current bound: 2147
511.04/621.03	c current bound: 2147
512.56/622.54	c current bound: 2147
514.07/624.07	c current bound: 2147
515.86/625.63	c current bound: 2147
517.13/627.13	c current bound: 2147
518.67/628.67	c current bound: 2147
520.15/630.17	c current bound: 2147
521.68/631.69	c current bound: 2147
523.44/633.24	c current bound: 2147
524.73/634.74	c current bound: 2147
526.27/636.28	c current bound: 2147
528.02/637.84	c current bound: 2147
529.34/639.36	c current bound: 2147
531.14/640.91	c current bound: 2147
532.40/642.42	c current bound: 2147
533.94/643.95	c current bound: 2147
535.73/645.51	c current bound: 2147
537.00/647.03	c current bound: 2147
538.54/648.57	c current bound: 2147
540.04/650.12	c current bound: 2147
541.55/651.62	c current bound: 2147
543.28/653.13	c current bound: 2147
544.56/654.64	c current bound: 2147
546.06/656.15	c current bound: 2147
547.78/657.67	c current bound: 2147
549.09/659.17	c current bound: 2147
550.59/660.68	c current bound: 2147
552.11/662.18	c current bound: 2147
553.61/663.68	c current bound: 2147
555.27/665.18	c current bound: 2147
556.90/666.70	c current bound: 2147
558.13/668.21	c current bound: 2147
559.87/669.71	c current bound: 2147
561.15/671.22	c current bound: 2147
562.64/672.73	c current bound: 2147
564.15/674.23	c current bound: 2147
565.73/675.81	c current bound: 2147
567.48/677.38	c current bound: 2147
568.88/678.95	c current bound: 2147
570.67/680.51	c current bound: 2147
572.27/682.30	c current bound: 2147
573.75/683.86	c current bound: 2147
575.10/685.39	c current bound: 2147
576.65/686.95	c current bound: 2147
578.22/688.52	c current bound: 2147
579.81/690.12	c current bound: 2147
581.55/691.68	c current bound: 2147
582.94/693.24	c current bound: 2147
584.75/694.80	c current bound: 2147
586.00/696.30	c current bound: 2147
587.50/697.80	c current bound: 2147
589.25/699.32	c current bound: 2147
590.52/700.82	c current bound: 2147
592.02/702.33	c current bound: 2147
593.74/703.85	c current bound: 2147
595.05/705.35	c current bound: 2147
596.55/706.86	c current bound: 2147
598.05/708.37	c current bound: 2147
599.57/709.87	c current bound: 2147
601.24/711.39	c current bound: 2147
602.59/712.89	c current bound: 2147
604.36/714.40	c current bound: 2147
605.86/715.91	c current bound: 2147
607.11/717.41	c current bound: 2147
608.60/718.91	c current bound: 2147
610.10/720.41	c current bound: 2147
611.61/721.91	c current bound: 2147
613.34/723.42	c current bound: 2147
614.61/724.93	c current bound: 2147
616.12/726.44	c current bound: 2147
617.83/727.95	c current bound: 2147
619.14/729.46	c current bound: 2147
620.65/730.96	c current bound: 2147
622.34/732.48	c current bound: 2147
623.65/733.98	c current bound: 2147
625.16/735.49	c current bound: 2147
626.95/737.00	c current bound: 2147
628.44/738.50	c current bound: 2147
629.93/740.02	c current bound: 2147
631.20/741.53	c current bound: 2147
632.71/743.03	c current bound: 2147
634.42/744.55	c current bound: 2147
635.73/746.06	c current bound: 2147
637.23/747.57	c current bound: 2147
638.74/749.07	c current bound: 2147
640.24/750.57	c current bound: 2147
641.93/752.09	c current bound: 2147
643.52/753.60	c current bound: 2147
644.76/755.10	c current bound: 2147
646.51/756.61	c current bound: 2147
647.77/758.11	c current bound: 2147
649.28/759.61	c current bound: 2147
650.78/761.12	c current bound: 2147
652.29/762.63	c current bound: 2147
654.01/764.15	c current bound: 2147
655.32/765.65	c current bound: 2147
656.82/767.16	c current bound: 2147
658.52/768.67	c current bound: 2147
659.83/770.18	c current bound: 2147
661.35/771.69	c current bound: 2147
662.85/773.19	c current bound: 2147
664.34/774.69	c current bound: 2147
666.13/776.20	c current bound: 2147
667.37/777.70	c current bound: 2147
668.87/779.21	c current bound: 2147
670.61/780.77	c current bound: 2147
671.94/782.29	c current bound: 2147
673.48/783.84	c current bound: 2147
674.98/785.34	c current bound: 2147
676.50/786.86	c current bound: 2147
678.28/788.42	c current bound: 2147
679.55/789.92	c current bound: 2147
681.06/791.42	c current bound: 2147
682.77/792.92	c current bound: 2147
684.06/794.43	c current bound: 2147
685.56/795.93	c current bound: 2147
687.05/797.43	c current bound: 2147
688.59/798.96	c current bound: 2147
690.38/800.51	c current bound: 2147
691.62/802.01	c current bound: 2147
693.15/803.54	c current bound: 2147
694.69/805.07	c current bound: 2147
696.21/806.59	c current bound: 2147
697.97/808.14	c current bound: 2147
699.27/809.66	c current bound: 2147
700.79/811.19	c current bound: 2147
702.47/812.69	c current bound: 2147
703.81/814.21	c current bound: 2147
705.36/815.75	c current bound: 2147
706.87/817.25	c current bound: 2147
708.35/818.75	c current bound: 2147
710.15/820.31	c current bound: 2147
711.41/821.82	c current bound: 2147
712.95/823.36	c current bound: 2147
714.45/824.86	c current bound: 2147
715.97/826.39	c current bound: 2147
717.73/827.93	c current bound: 2147
719.02/829.44	c current bound: 2147
720.56/830.98	c current bound: 2147
722.34/832.54	c current bound: 2147
723.64/834.07	c current bound: 2147
725.42/835.62	c current bound: 2147
726.71/837.13	c current bound: 2147
728.25/838.68	c current bound: 2147
730.03/840.20	c current bound: 2147
731.27/841.71	c current bound: 2147
732.82/843.25	c current bound: 2147
734.31/844.75	c current bound: 2147
735.80/846.26	c current bound: 2147
737.61/847.80	c current bound: 2147
738.86/849.52	c current bound: 2147
740.59/851.06	c current bound: 2147
741.91/852.58	c current bound: 2147
743.42/854.07	c current bound: 2147
745.19/855.63	c current bound: 2147
746.49/857.16	c current bound: 2147
748.03/858.70	c current bound: 2147
749.53/860.20	c current bound: 2147
751.07/861.73	c current bound: 2147
752.78/863.29	c current bound: 2147
754.12/864.79	c current bound: 2147
755.88/866.30	c current bound: 2147
757.19/867.86	c current bound: 2147
758.67/869.36	c current bound: 2147
760.36/870.87	c current bound: 2147
761.69/872.37	c current bound: 2147
763.21/873.91	c current bound: 2147
764.96/875.41	c current bound: 2147
766.21/876.91	c current bound: 2147
767.71/878.41	c current bound: 2147
769.26/879.95	c current bound: 2147
770.79/881.48	c current bound: 2147
772.56/883.03	c current bound: 2147
773.85/884.59	c current bound: 2147
775.39/886.13	c current bound: 2147
776.91/887.64	c current bound: 2147
778.43/889.17	c current bound: 2147
780.20/890.72	c current bound: 2147
781.48/892.23	c current bound: 2147
783.01/893.77	c current bound: 2147
784.54/895.30	c current bound: 2147
786.11/896.87	c current bound: 2147
787.90/898.43	c current bound: 2147
789.28/900.16	c current bound: 2147
791.07/901.72	c current bound: 2147
792.42/903.29	c current bound: 2147
793.96/904.84	c current bound: 2147
795.46/906.36	c current bound: 2147
796.96/907.87	c current bound: 2147
798.66/909.38	c current bound: 2147
799.99/910.89	c current bound: 2147
801.50/912.41	c current bound: 2147
803.26/913.92	c current bound: 2147
804.53/915.43	c current bound: 2147
806.05/916.95	c current bound: 2147
807.55/918.46	c current bound: 2147
809.08/919.98	c current bound: 2147
810.77/921.49	c current bound: 2147
812.11/923.00	c current bound: 2147
813.62/924.55	c current bound: 2147
815.33/926.06	c current bound: 2147
816.63/927.58	c current bound: 2147
818.17/929.09	c current bound: 2147
819.67/930.61	c current bound: 2147
821.19/932.13	c current bound: 2147
822.93/933.64	c current bound: 2147
824.22/935.16	c current bound: 2147
825.74/936.68	c current bound: 2147
827.26/938.19	c current bound: 2147
828.77/939.71	c current bound: 2147
830.53/941.22	c current bound: 2147
831.79/942.71	c current bound: 2147
833.30/944.23	c current bound: 2147
835.04/945.74	c current bound: 2147
836.32/947.25	c current bound: 2147
837.83/948.77	c current bound: 2147
839.35/950.27	c current bound: 2147
840.86/951.77	c current bound: 2147
842.36/953.28	c current bound: 2147
844.15/954.80	c current bound: 2147
845.38/956.31	c current bound: 2147
847.15/957.83	c current bound: 2147
848.42/959.35	c current bound: 2147
849.94/960.86	c current bound: 2147
851.46/962.39	c current bound: 2147
852.97/963.91	c current bound: 2147
854.76/965.42	c current bound: 2147
856.01/966.93	c current bound: 2147
857.52/968.45	c current bound: 2147
859.24/969.97	c current bound: 2147
860.55/971.48	c current bound: 2147
862.06/972.99	c current bound: 2147
863.58/974.50	c current bound: 2147
865.09/976.02	c current bound: 2147
866.84/977.53	c current bound: 2147
868.12/979.05	c current bound: 2147
869.63/980.56	c current bound: 2147
871.35/982.07	c current bound: 2147
872.67/983.59	c current bound: 2147
874.18/985.11	c current bound: 2147
875.76/986.69	c current bound: 2147
877.28/988.22	c current bound: 2147
879.02/989.73	c current bound: 2147
880.30/991.24	c current bound: 2147
881.80/992.74	c current bound: 2147
883.49/994.24	c current bound: 2147
884.82/995.78	c current bound: 2147
886.60/997.32	c current bound: 2147
887.89/998.83	c current bound: 2147
889.41/1000.36	c current bound: 2147
891.19/1001.93	c current bound: 2147
892.47/1003.47	c current bound: 2147
893.99/1004.99	c current bound: 2147
895.50/1006.51	c current bound: 2147
897.00/1008.01	c current bound: 2147
898.74/1009.57	c current bound: 2147
900.09/1011.09	c current bound: 2147
901.63/1012.63	c current bound: 2147
903.13/1014.17	c current bound: 2147
904.66/1015.70	c current bound: 2147
906.39/1017.26	c current bound: 2147
907.71/1018.77	c current bound: 2147
909.22/1020.29	c current bound: 2147
910.79/1021.85	c current bound: 2147
912.31/1023.39	c current bound: 2147
914.05/1024.99	c current bound: 2147
915.39/1026.50	c current bound: 2147
916.94/1028.05	c current bound: 2147
918.45/1029.55	c current bound: 2147
919.97/1031.09	c current bound: 2147
921.63/1032.59	c current bound: 2147
922.98/1034.11	c current bound: 2147
924.53/1035.64	c current bound: 2147
926.08/1037.20	c current bound: 2147
927.60/1038.72	c current bound: 2147
929.29/1040.27	c current bound: 2147
930.62/1041.78	c current bound: 2147
932.14/1043.31	c current bound: 2147
933.70/1044.88	c current bound: 2147
935.23/1046.41	c current bound: 2147
936.98/1047.98	c current bound: 2147
938.59/1049.50	c current bound: 2147
939.87/1051.08	c current bound: 2147
941.43/1052.64	c current bound: 2147
942.95/1054.17	c current bound: 2147
944.74/1055.71	c current bound: 2147
946.01/1057.22	c current bound: 2147
947.55/1058.78	c current bound: 2147
949.06/1060.52	c current bound: 2147
950.60/1062.05	c current bound: 2147
952.16/1063.61	c current bound: 2147
953.69/1065.13	c current bound: 2147
955.40/1066.63	c current bound: 2147
956.69/1068.15	c current bound: 2147
958.21/1069.68	c current bound: 2147
959.98/1071.24	c current bound: 2147
961.26/1072.74	c current bound: 2147
962.81/1074.28	c current bound: 2147
964.31/1075.78	c current bound: 2147
965.84/1077.31	c current bound: 2147
967.57/1078.86	c current bound: 2147
968.90/1080.39	c current bound: 2147
970.45/1081.93	c current bound: 2147
971.96/1083.46	c current bound: 2147
973.45/1084.97	c current bound: 2147
975.24/1086.51	c current bound: 2147
976.53/1088.03	c current bound: 2147
978.06/1089.57	c current bound: 2147
979.56/1091.08	c current bound: 2147
981.09/1092.61	c current bound: 2147
982.83/1094.15	c current bound: 2147
984.21/1095.72	c current bound: 2147
985.73/1097.26	c current bound: 2147
987.24/1098.78	c current bound: 2147
988.78/1100.30	c current bound: 2147
990.53/1101.80	c current bound: 2147
991.78/1103.32	c current bound: 2147
993.31/1104.83	c current bound: 2147
995.02/1106.35	c current bound: 2147
996.33/1107.88	c current bound: 2147
997.85/1109.38	c current bound: 2147
999.35/1110.88	c current bound: 2147
1000.85/1112.39	c current bound: 2147
1002.36/1113.89	c current bound: 2147
1004.13/1115.40	c current bound: 2147
1005.37/1116.90	c current bound: 2147
1007.12/1118.41	c current bound: 2147
1008.38/1119.92	c current bound: 2147
1009.89/1121.42	c current bound: 2147
1011.62/1122.94	c current bound: 2147
1012.89/1124.44	c current bound: 2147
1014.42/1125.95	c current bound: 2147
1015.93/1127.47	c current bound: 2147
1017.43/1128.97	c current bound: 2147
1018.94/1130.48	c current bound: 2147
1020.45/1131.99	c current bound: 2147
1021.94/1133.49	c current bound: 2147
1023.72/1135.01	c current bound: 2147
1024.97/1136.51	c current bound: 2147
1026.47/1138.02	c current bound: 2147
1028.20/1139.54	c current bound: 2147
1029.81/1141.10	c current bound: 2147
1031.32/1142.66	c current bound: 2147
1032.66/1144.22	c current bound: 2147
1034.25/1145.79	c current bound: 2147
1035.79/1147.34	c current bound: 2147
1037.62/1149.02	c current bound: 2147
1039.11/1150.53	c current bound: 2147
1040.44/1152.09	c current bound: 2147
1042.20/1153.66	c current bound: 2147
1043.53/1155.19	c current bound: 2147
1045.09/1156.75	c current bound: 2147
1046.67/1158.32	c current bound: 2147
1048.22/1159.87	c current bound: 2147
1049.97/1161.40	c current bound: 2147
1051.23/1162.91	c current bound: 2147
1052.72/1164.41	c current bound: 2147
1054.46/1165.91	c current bound: 2147
1055.76/1167.44	c current bound: 2147
1057.26/1168.95	c current bound: 2147
1058.77/1170.45	c current bound: 2147
1060.28/1171.96	c current bound: 2147
1061.98/1173.47	c current bound: 2147
1063.29/1174.98	c current bound: 2147
1064.79/1176.48	c current bound: 2147
1066.46/1177.99	c current bound: 2147
1067.81/1179.49	c current bound: 2147
1069.30/1180.99	c current bound: 2147
1071.09/1182.50	c current bound: 2147
1072.32/1184.00	c current bound: 2147
1073.81/1185.50	c current bound: 2147
1075.31/1187.00	c current bound: 2147
1076.82/1188.50	c current bound: 2147
1078.55/1190.01	c current bound: 2147
1079.83/1191.52	c current bound: 2147
1081.35/1193.03	c current bound: 2147
1083.06/1194.53	c current bound: 2147
1084.35/1196.04	c current bound: 2147
1085.86/1197.55	c current bound: 2147
1087.36/1199.05	c current bound: 2147
1088.88/1200.56	c current bound: 2147
1090.58/1202.07	c current bound: 2147
1091.89/1203.58	c current bound: 2147
1093.40/1205.08	c current bound: 2147
1095.07/1206.58	c current bound: 2147
1096.40/1208.09	c current bound: 2147
1097.91/1209.61	c current bound: 2147
1099.44/1211.11	c current bound: 2147
1100.93/1212.62	c current bound: 2147
1102.66/1214.12	c current bound: 2147
1103.94/1215.63	c current bound: 2147
1105.45/1217.13	c current bound: 2147
1107.17/1218.64	c current bound: 2147
1108.45/1220.15	c current bound: 2147
1109.97/1221.66	c current bound: 2147
1111.48/1223.18	c current bound: 2147
1113.00/1224.69	c current bound: 2147
1114.52/1226.20	c current bound: 2147
1116.02/1227.71	c current bound: 2147
1117.52/1229.21	c current bound: 2147
1119.27/1230.79	c current bound: 2147
1120.66/1232.36	c current bound: 2147
1122.46/1233.92	c current bound: 2147
1123.75/1235.44	c current bound: 2147
1125.31/1236.99	c current bound: 2147
1127.02/1238.53	c current bound: 2147
1128.31/1240.02	c current bound: 2147
1129.85/1241.57	c current bound: 2147
1131.35/1243.08	c current bound: 2147
1132.88/1244.61	c current bound: 2147
1134.62/1246.17	c current bound: 2147
1135.95/1247.69	c current bound: 2147
1137.51/1249.27	c current bound: 2147
1139.00/1250.77	c current bound: 2147
1140.50/1252.27	c current bound: 2147
1142.27/1253.82	c current bound: 2147
1143.55/1255.33	c current bound: 2147
1145.08/1256.87	c current bound: 2147
1146.65/1258.43	c current bound: 2147
1148.15/1259.97	c current bound: 2147
1149.83/1261.48	c current bound: 2147
1151.14/1262.99	c current bound: 2147
1152.67/1264.49	c current bound: 2147
1154.43/1266.00	c current bound: 2147
1155.68/1267.51	c current bound: 2147
1157.18/1269.01	c current bound: 2147
1158.68/1270.52	c current bound: 2147
1160.19/1272.03	c current bound: 2147
1161.92/1273.53	c current bound: 2147
1163.19/1275.04	c current bound: 2147
1164.70/1276.54	c current bound: 2147
1166.42/1278.06	c current bound: 2147
1167.73/1279.56	c current bound: 2147
1169.25/1281.07	c current bound: 2147
1170.74/1282.57	c current bound: 2147
1172.25/1284.08	c current bound: 2147
1173.76/1285.58	c current bound: 2147
1175.25/1287.09	c current bound: 2147
1176.74/1288.59	c current bound: 2147
1178.42/1290.10	c current bound: 2147
1179.77/1291.60	c current bound: 2147
1181.28/1293.11	c current bound: 2147
1183.02/1294.62	c current bound: 2147
1184.28/1296.12	c current bound: 2147
1185.79/1297.62	c current bound: 2147
1187.29/1299.12	c current bound: 2147
1188.79/1300.63	c current bound: 2147
1190.52/1302.14	c current bound: 2147
1191.79/1303.64	c current bound: 2147
1193.30/1305.14	c current bound: 2147
1195.01/1306.66	c current bound: 2147
1196.31/1308.16	c current bound: 2147
1197.82/1309.67	c current bound: 2147
1199.33/1311.17	c current bound: 2147
1200.83/1312.68	c current bound: 2147
1202.33/1314.18	c current bound: 2147
1203.83/1315.68	c current bound: 2147
1205.33/1317.18	c current bound: 2147
1206.99/1318.69	c current bound: 2147
1208.35/1320.19	c current bound: 2147
1209.85/1321.69	c current bound: 2147
1211.59/1323.21	c current bound: 2147
1212.86/1324.72	c current bound: 2147
1214.38/1326.23	c current bound: 2147
1215.88/1327.73	c current bound: 2147
1217.40/1329.24	c current bound: 2147
1219.10/1330.75	c current bound: 2147
1220.41/1332.26	c current bound: 2147
1221.93/1333.76	c current bound: 2147
1223.60/1335.27	c current bound: 2147
1224.92/1336.78	c current bound: 2147
1226.44/1338.29	c current bound: 2147
1227.93/1339.78	c current bound: 2147
1229.45/1341.29	c current bound: 2147
1230.95/1342.79	c current bound: 2147
1232.44/1344.29	c current bound: 2147
1233.95/1345.82	c current bound: 2147
1235.70/1347.33	c current bound: 2147
1236.99/1348.85	c current bound: 2147
1238.51/1350.37	c current bound: 2147
1240.03/1351.87	c current bound: 2147
1241.53/1353.39	c current bound: 2147
1243.05/1354.90	c current bound: 2147
1244.55/1356.42	c current bound: 2147
1246.08/1357.93	c current bound: 2147
1247.81/1359.45	c current bound: 2147
1249.10/1360.96	c current bound: 2147
1250.62/1362.47	c current bound: 2147
1252.11/1363.97	c current bound: 2147
1253.62/1365.48	c current bound: 2147
1255.14/1366.99	c current bound: 2147
1256.64/1368.50	c current bound: 2147
1258.16/1370.02	c current bound: 2147
1259.93/1371.53	c current bound: 2147
1261.19/1373.05	c current bound: 2147
1262.71/1374.57	c current bound: 2147
1264.23/1376.07	c current bound: 2147
1265.73/1377.58	c current bound: 2147
1267.23/1379.10	c current bound: 2147
1268.77/1380.61	c current bound: 2147
1270.27/1382.12	c current bound: 2147
1272.02/1383.64	c current bound: 2147
1273.31/1385.16	c current bound: 2147
1274.82/1386.68	c current bound: 2147
1276.64/1388.20	c current bound: 2147
1277.87/1389.71	c current bound: 2147
1279.63/1391.22	c current bound: 2147
1280.90/1392.74	c current bound: 2147
1282.41/1394.26	c current bound: 2147
1284.12/1395.77	c current bound: 2147
1285.45/1397.29	c current bound: 2147
1286.97/1398.80	c current bound: 2147
1288.47/1400.32	c current bound: 2147
1289.99/1401.83	c current bound: 2147
1291.73/1403.33	c current bound: 2147
1293.00/1404.85	c current bound: 2147
1294.51/1406.38	c current bound: 2147
1296.23/1407.89	c current bound: 2147
1297.57/1409.41	c current bound: 2147
1299.07/1410.92	c current bound: 2147
1300.58/1412.45	c current bound: 2147
1302.12/1413.95	c current bound: 2147
1303.83/1415.47	c current bound: 2147
1305.13/1416.98	c current bound: 2147
1306.93/1418.50	c current bound: 2147
1308.41/1420.01	c current bound: 2147
1309.69/1421.53	c current bound: 2147
1311.18/1423.04	c current bound: 2147
1312.70/1424.55	c current bound: 2147
1314.22/1426.07	c current bound: 2147
1315.93/1427.58	c current bound: 2147
1317.25/1429.09	c current bound: 2147
1318.76/1430.61	c current bound: 2147
1320.52/1432.12	c current bound: 2147
1321.80/1433.64	c current bound: 2147
1323.30/1435.15	c current bound: 2147
1324.83/1436.67	c current bound: 2147
1326.34/1438.18	c current bound: 2147
1328.04/1439.70	c current bound: 2147
1329.38/1441.21	c current bound: 2147
1330.89/1442.72	c current bound: 2147
1332.64/1444.24	c current bound: 2147
1333.92/1445.75	c current bound: 2147
1335.44/1447.27	c current bound: 2147
1336.95/1448.78	c current bound: 2147
1338.75/1450.30	c current bound: 2147
1340.25/1451.81	c current bound: 2147
1341.49/1453.32	c current bound: 2147
1343.01/1454.84	c current bound: 2147
1344.74/1456.35	c current bound: 2147
1346.03/1457.87	c current bound: 2147
1347.55/1459.38	c current bound: 2147
1349.06/1460.89	c current bound: 2147
1350.57/1462.40	c current bound: 2147
1352.35/1463.91	c current bound: 2147
1353.59/1465.43	c current bound: 2147
1355.13/1466.95	c current bound: 2147
1356.82/1468.47	c current bound: 2147
1358.16/1469.99	c current bound: 2147
1359.67/1471.50	c current bound: 2147
1361.18/1473.02	c current bound: 2147
1362.73/1474.55	c current bound: 2147
1364.44/1476.06	c current bound: 2147
1365.74/1477.58	c current bound: 2147
1367.25/1479.09	c current bound: 2147
1368.78/1480.60	c current bound: 2147
1370.28/1482.10	c current bound: 2147
1372.05/1483.61	c current bound: 2147
1373.29/1485.13	c current bound: 2147
1374.82/1486.64	c current bound: 2147
1376.55/1488.16	c current bound: 2147
1377.84/1489.67	c current bound: 2147
1379.36/1491.19	c current bound: 2147
1380.88/1492.71	c current bound: 2147
1382.39/1494.23	c current bound: 2147
1384.13/1495.74	c current bound: 2147
1385.43/1497.27	c current bound: 2147
1386.95/1498.78	c current bound: 2147
1388.74/1500.30	c current bound: 2147
1389.98/1501.82	c current bound: 2147
1391.50/1503.33	c current bound: 2147
1393.01/1504.84	c current bound: 2147
1394.53/1506.36	c current bound: 2147
1396.24/1507.88	c current bound: 2147
1397.57/1509.39	c current bound: 2147
1399.08/1510.91	c current bound: 2147
1400.84/1512.42	c current bound: 2147
1402.10/1513.94	c current bound: 2147
1403.62/1515.46	c current bound: 2147
1405.14/1516.98	c current bound: 2147
1406.65/1518.49	c current bound: 2147
1408.45/1520.00	c current bound: 2147
1409.67/1521.51	c current bound: 2147
1411.19/1523.03	c current bound: 2147
1412.92/1524.55	c current bound: 2147
1414.22/1526.07	c current bound: 2147
1415.74/1527.58	c current bound: 2147
1417.25/1529.10	c current bound: 2147
1418.78/1530.62	c current bound: 2147
1420.52/1532.13	c current bound: 2147
1421.81/1533.66	c current bound: 2147
1423.32/1535.17	c current bound: 2147
1424.83/1536.66	c current bound: 2147
1426.33/1538.18	c current bound: 2147
1427.85/1539.69	c current bound: 2147
1429.36/1541.20	c current bound: 2147
1430.87/1542.72	c current bound: 2147
1432.62/1544.23	c current bound: 2147
1433.90/1545.75	c current bound: 2147
1435.42/1547.26	c current bound: 2147
1437.13/1548.77	c current bound: 2147
1438.44/1550.29	c current bound: 2147
1440.23/1551.81	c current bound: 2147
1441.48/1553.32	c current bound: 2147
1443.00/1554.84	c current bound: 2147
1444.72/1556.36	c current bound: 2147
1446.04/1557.87	c current bound: 2147
1447.55/1559.38	c current bound: 2147
1449.06/1560.91	c current bound: 2147
1450.58/1562.42	c current bound: 2147
1452.32/1563.94	c current bound: 2147
1453.62/1565.45	c current bound: 2147
1455.12/1566.97	c current bound: 2147
1456.82/1568.48	c current bound: 2147
1458.16/1570.00	c current bound: 2147
1459.68/1571.51	c current bound: 2147
1461.25/1573.09	c current bound: 2147
1462.76/1574.59	c current bound: 2147
1464.50/1576.14	c current bound: 2147
1465.78/1577.66	c current bound: 2147
1467.29/1579.17	c current bound: 2147
1468.82/1580.69	c current bound: 2147
1470.33/1582.22	c current bound: 2147
1472.10/1583.78	c current bound: 2147
1473.71/1585.30	c current bound: 2147
1474.93/1586.85	c current bound: 2147
1476.64/1588.38	c current bound: 2147
1477.98/1589.89	c current bound: 2147
1479.49/1591.40	c current bound: 2147
1481.27/1592.90	c current bound: 2147
1482.76/1594.40	c current bound: 2147
1484.26/1595.90	c current bound: 2147
1485.50/1597.42	c current bound: 2147
1487.02/1598.93	c current bound: 2147
1488.73/1600.43	c current bound: 2147
1490.03/1601.94	c current bound: 2147
1491.55/1603.44	c current bound: 2147
1493.04/1604.95	c current bound: 2147
1494.56/1606.46	c current bound: 2147
1496.26/1607.97	c current bound: 2147
1497.58/1609.47	c current bound: 2147
1499.08/1610.97	c current bound: 2147
1500.76/1612.49	c current bound: 2147
1502.09/1613.99	c current bound: 2147
1503.59/1615.49	c current bound: 2147
1505.10/1617.00	c current bound: 2147
1506.61/1618.50	c current bound: 2147
1508.36/1620.01	c current bound: 2147
1509.62/1621.52	c current bound: 2147
1511.14/1623.02	c current bound: 2147
1512.86/1624.53	c current bound: 2147
1514.14/1626.04	c current bound: 2147
1515.64/1627.56	c current bound: 2147
1517.17/1629.06	c current bound: 2147
1518.68/1630.57	c current bound: 2147
1520.18/1632.08	c current bound: 2147
1521.69/1633.59	c current bound: 2147
1523.21/1635.09	c current bound: 2147
1524.87/1636.60	c current bound: 2147
1526.22/1638.10	c current bound: 2147
1527.72/1639.61	c current bound: 2147
1529.46/1641.12	c current bound: 2147
1530.74/1642.62	c current bound: 2147
1532.24/1644.12	c current bound: 2147
1533.73/1645.62	c current bound: 2147
1535.23/1647.12	c current bound: 2147
1536.97/1648.62	c current bound: 2147
1538.24/1650.13	c current bound: 2147
1539.75/1651.64	c current bound: 2147
1541.46/1653.15	c current bound: 2147
1542.76/1654.65	c current bound: 2147
1544.27/1656.16	c current bound: 2147
1545.78/1657.67	c current bound: 2147
1547.27/1659.18	c current bound: 2147
1548.79/1660.68	c current bound: 2147
1550.29/1662.18	c current bound: 2147
1551.79/1663.68	c current bound: 2147
1553.46/1665.19	c current bound: 2147
1554.82/1666.70	c current bound: 2147
1556.32/1668.20	c current bound: 2147
1558.05/1669.71	c current bound: 2147
1559.32/1671.22	c current bound: 2147
1560.82/1672.72	c current bound: 2147
1562.32/1674.22	c current bound: 2147
1563.84/1675.73	c current bound: 2147
1565.55/1677.24	c current bound: 2147
1566.85/1678.75	c current bound: 2147
1568.35/1680.25	c current bound: 2147
1570.06/1681.75	c current bound: 2147
1571.37/1683.25	c current bound: 2147
1572.87/1684.76	c current bound: 2147
1574.37/1686.27	c current bound: 2147
1575.87/1687.77	c current bound: 2147
1577.38/1689.27	c current bound: 2147
1578.88/1690.78	c current bound: 2147
1580.39/1692.28	c current bound: 2147
1582.05/1693.79	c current bound: 2147
1583.39/1695.29	c current bound: 2147
1584.89/1696.79	c current bound: 2147
1586.65/1698.30	c current bound: 2147
1587.90/1699.80	c current bound: 2147
1589.41/1701.31	c current bound: 2147
1590.92/1702.81	c current bound: 2147
1592.42/1704.32	c current bound: 2147
1594.15/1705.83	c current bound: 2147
1595.44/1707.34	c current bound: 2147
1596.94/1708.84	c current bound: 2147
1598.65/1710.35	c current bound: 2147
1599.97/1711.86	c current bound: 2147
1601.46/1713.36	c current bound: 2147
1603.15/1714.86	c current bound: 2147
1604.48/1716.37	c current bound: 2147
1605.98/1717.87	c current bound: 2147
1607.48/1719.38	c current bound: 2147
1608.98/1720.88	c current bound: 2147
1610.65/1722.39	c current bound: 2147
1611.99/1723.89	c current bound: 2147
1613.75/1725.40	c current bound: 2147
1615.23/1726.91	c current bound: 2147
1616.51/1728.42	c current bound: 2147
1618.03/1729.92	c current bound: 2147
1619.53/1731.43	c current bound: 2147
1621.03/1732.93	c current bound: 2147
1622.76/1734.44	c current bound: 2147
1624.05/1735.95	c current bound: 2147
1625.56/1737.45	c current bound: 2147
1627.25/1738.98	c current bound: 2147
1628.59/1740.49	c current bound: 2147
1630.08/1741.99	c current bound: 2147
1631.59/1743.49	c current bound: 2147
1633.10/1744.99	c current bound: 2147
1634.60/1746.50	c current bound: 2147
1636.11/1748.00	c current bound: 2147
1637.61/1749.52	c current bound: 2147
1639.37/1751.04	c current bound: 2147
1640.65/1752.54	c current bound: 2147
1642.15/1754.05	c current bound: 2147
1643.86/1755.56	c current bound: 2147
1645.20/1757.10	c current bound: 2147
1646.96/1758.62	c current bound: 2147
1648.23/1760.13	c current bound: 2147
1649.74/1761.63	c current bound: 2147
1651.46/1763.14	c current bound: 2147
1652.75/1764.65	c current bound: 2147
1654.27/1766.15	c current bound: 2147
1655.96/1767.66	c current bound: 2147
1657.28/1769.16	c current bound: 2147
1658.78/1770.67	c current bound: 2147
1660.28/1772.17	c current bound: 2147
1661.78/1773.67	c current bound: 2147
1663.47/1775.18	c current bound: 2147
1664.79/1776.69	c current bound: 2147
1666.29/1778.19	c current bound: 2147
1668.07/1779.70	c current bound: 2147
1669.31/1781.20	c current bound: 2147
1670.80/1782.70	c current bound: 2147
1672.32/1784.21	c current bound: 2147
1673.81/1785.74	c current bound: 2147
1675.56/1787.25	c current bound: 2147
1676.85/1788.76	c current bound: 2147
1678.36/1790.29	c current bound: 2147
1680.14/1791.80	c current bound: 2147
1681.39/1793.32	c current bound: 2147
1682.91/1794.83	c current bound: 2147
1684.42/1796.35	c current bound: 2147
1685.95/1797.87	c current bound: 2147
1687.65/1799.39	c current bound: 2147
1688.98/1800.89	c current bound: 2147
1690.50/1802.41	c current bound: 2147
1692.26/1803.93	c current bound: 2147
1693.54/1805.46	c current bound: 2147
1695.06/1806.98	c current bound: 2147
1696.58/1808.49	c current bound: 2147
1698.10/1810.02	c current bound: 2147
1699.85/1811.54	c current bound: 2147
1701.14/1813.05	c current bound: 2147
1702.65/1814.55	c current bound: 2147
1704.35/1816.07	c current bound: 2147
1705.66/1817.58	c current bound: 2147
1707.47/1819.10	c current bound: 2147
1708.69/1820.62	c current bound: 2147
1710.22/1822.14	c current bound: 2147
1711.96/1823.66	c current bound: 2147
1713.26/1825.18	c current bound: 2147
1714.77/1826.69	c current bound: 2147
1716.28/1828.21	c current bound: 2147
1717.80/1829.72	c current bound: 2147
1719.55/1831.24	c current bound: 2147
1720.84/1832.75	c current bound: 2147
1722.35/1834.26	c current bound: 2147
1724.06/1835.78	c current bound: 2147
1725.38/1837.31	c current bound: 2147
1726.91/1838.82	c current bound: 2147
1728.42/1840.33	c current bound: 2147
1729.94/1841.85	c current bound: 2147
1731.66/1843.36	c current bound: 2147
1732.96/1844.88	c current bound: 2147
1734.49/1846.40	c current bound: 2147
1736.26/1847.92	c current bound: 2147
1737.52/1849.44	c current bound: 2147
1739.04/1850.96	c current bound: 2147
1740.56/1852.47	c current bound: 2147
1742.06/1853.98	c current bound: 2147
1743.75/1855.50	c current bound: 2147
1745.10/1857.01	c current bound: 2147
1746.61/1858.53	c current bound: 2147
1748.35/1860.06	c current bound: 2147
1749.67/1861.58	c current bound: 2147
1751.17/1863.09	c current bound: 2147
1752.69/1864.61	c current bound: 2147
1754.21/1866.12	c current bound: 2147
1755.96/1867.63	c current bound: 2147
1757.25/1869.16	c current bound: 2147
1758.75/1870.67	c current bound: 2147
1760.26/1872.16	c current bound: 2147
1761.75/1873.68	c current bound: 2147
1763.28/1875.19	c current bound: 2147
1764.78/1876.72	c current bound: 2147
1766.31/1878.23	c current bound: 2147
1768.05/1879.75	c current bound: 2147
1769.35/1881.27	c current bound: 2147
1770.87/1882.79	c current bound: 2147
1772.38/1884.30	c current bound: 2147
1773.91/1885.82	c current bound: 2147
1775.66/1887.34	c current bound: 2147
1776.95/1888.85	c current bound: 2147
1778.46/1890.37	c current bound: 2147
1780.17/1891.88	c current bound: 2147
1781.48/1893.39	c current bound: 2147
1783.00/1894.90	c current bound: 2147
1784.51/1896.42	c current bound: 2147
1786.04/1897.94	c current bound: 2147
1787.75/1899.46	c current bound: 2147
1788.35/1900.03	./satsolver.sh: line 5: 31278 Terminated              ./glucose $1 > $2 2> /dev/null
1788.35/1900.04	c error: unexpected solver exit code
1788.35/1900.04	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715808-1338243367/watcher-3715808-1338243367 -o /tmp/evaluation-result-3715808-1338243367/solver-3715808-1338243367 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715808-1338243367.wbo 2134467720 HOME HOME 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB

[startup+0 s]
/proc/loadavg: 0.52 1.42 1.73 3/180 20940
/proc/meminfo: memFree=31058664/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (runsolver) R 20938 3996 3996 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 1 0 290461238 12095488 48 33554432000 4194304 5436572 140735132374624 140735132370624 4268383 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/20940/statm: 2953 48 29 304 0 2645 0


[startup+0.0632821 s]
/proc/loadavg: 0.52 1.42 1.73 3/180 20940
/proc/meminfo: memFree=31058664/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.15287 s]
/proc/loadavg: 0.52 1.42 1.73 3/180 20940
/proc/meminfo: memFree=31058664/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.313363 s]
/proc/loadavg: 0.52 1.42 1.73 3/180 20940
/proc/meminfo: memFree=31058664/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.888762 s]
/proc/loadavg: 0.52 1.42 1.73 3/180 20940
/proc/meminfo: memFree=31058664/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50011 s]
/proc/loadavg: 0.52 1.42 1.73 3/180 20940
/proc/meminfo: memFree=31058664/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+3.13862 s]
/proc/loadavg: 0.52 1.42 1.73 3/179 20975
/proc/meminfo: memFree=31059448/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=3.17 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 7463 34448 0 0 24 4 256 33 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 28728

[startup+6.41819 s]
/proc/loadavg: 0.64 1.43 1.73 3/184 21031
/proc/meminfo: memFree=30995972/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=6.2 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 11981 63406 0 0 39 8 510 63 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 28728

[startup+13.0402 s]
/proc/loadavg: 0.75 1.44 1.73 3/183 21140
/proc/meminfo: memFree=30960348/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=12.27 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 21017 121614 0 0 69 13 1023 122 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
[pid=21139] ppid=20942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21139/stat : 21139 (satsolver.sh) S 20942 20940 3996 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290462453 9367552 266 33554432000 4194304 5064252 140735820549248 140735820548160 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21139/statm: 2287 266 226 213 0 72 0
[pid=21140] ppid=21139 vsize=47628 CPUtime=0.88 cores=0,2,4,6
/proc/21140/stat : 21140 (glucose) R 21139 20940 3996 0 -1 4202496 9930 0 0 0 87 1 0 0 20 0 1 0 290462453 48771072 10611 33554432000 4194304 5208918 140735131362480 140735131360888 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21140/statm: 11907 10611 95 248 0 11656 0
Current children cumulated CPU time (s) 13.15
Current children cumulated vsize (KiB) 85504

[startup+25.5002 s]
/proc/loadavg: 0.89 1.43 1.73 3/183 21332
/proc/meminfo: memFree=30993924/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=25.67 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 39096 248751 0 0 130 24 2168 245 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273087648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
Current children cumulated CPU time (s) 25.67
Current children cumulated vsize (KiB) 28728

[startup+53.7906 s]
/proc/loadavg: 0.90 1.42 1.72 3/182 21491
/proc/meminfo: memFree=31041636/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19584 CPUtime=35.18 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) D 20940 20940 3996 0 -1 4202496 54901 340882 0 0 183 33 2954 348 20 0 1 0 290461239 20054016 3979 33554432000 4194304 5990268 140735273096752 140735273088896 5180875 0 0 4096 0 18446744072099229941 0 0 17 2 0 0 24 0 0
/proc/20942/statm: 4896 3979 177 439 0 4453 0
Current children cumulated CPU time (s) 35.18
Current children cumulated vsize (KiB) 28732
heavy processes:

[startup+144.206 s]
/proc/loadavg: 4.18 2.11 1.94 3/179 21493
/proc/meminfo: memFree=31047096/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=35.19 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 54902 340882 0 0 183 34 2954 348 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
Current children cumulated CPU time (s) 35.19
Current children cumulated vsize (KiB) 28728
heavy processes:

[startup+162.3 s]
/proc/loadavg: 3.76 2.66 2.16 3/183 21761
/proc/meminfo: memFree=30993448/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=52.99 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 79758 514061 0 0 266 47 4481 505 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273087648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
Current children cumulated CPU time (s) 52.99
Current children cumulated vsize (KiB) 28728
heavy processes:

[startup+222.3 s]
/proc/loadavg: 2.64 2.54 2.14 3/181 22252
/proc/meminfo: memFree=31015952/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=112.58 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 170111 1094586 0 0 570 96 9510 1082 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 27 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
Current children cumulated CPU time (s) 112.58
Current children cumulated vsize (KiB) 28728
heavy processes:

[startup+282.3 s]
/proc/loadavg: 2.27 2.45 2.14 3/184 22575
/proc/meminfo: memFree=30992420/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=172.86 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 258219 1681721 0 0 868 142 14653 1623 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273087648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 31 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
[pid=22573] ppid=20942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22573/stat : 22573 (cp2_post.sh) S 20942 20940 3996 0 -1 4202496 609 224 0 0 0 0 0 0 20 0 1 0 290489455 9367552 265 33554432000 4194304 5064252 140735017234832 140735017233120 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22573/statm: 2287 265 225 213 0 72 0
[pid=22575] ppid=22573 vsize=10184 CPUtime=0.12 cores=0,2,4,6
/proc/22575/stat : 22575 (coprocessor) R 22573 20940 3996 0 -1 4202496 2055 0 0 0 8 4 0 0 20 0 1 0 290489455 10428416 1713 33554432000 4194304 6586260 140735036810016 140735036806584 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/22575/statm: 2546 1713 148 584 0 1958 0
Current children cumulated CPU time (s) 172.98
Current children cumulated vsize (KiB) 48060
heavy processes:

[startup+342.3 s]
/proc/loadavg: 2.22 2.40 2.14 3/183 22901
/proc/meminfo: memFree=30962156/32873648 swapFree=6612/6612

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

############
# WARNING:
# current cumulated CPU time (1385.81 s) is less than in the last sample (1386.84 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.03003 s) to the 'lost time'.

[startup+1498.4 s]
/proc/loadavg: 1.99 2.00 2.02 3/183 29114
/proc/meminfo: memFree=30960412/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=1385.81 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 2065412 13464480 0 0 7088 1139 117608 12746 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
[pid=29113] ppid=20942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29113/stat : 29113 (satsolver.sh) S 20942 20940 3996 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290610973 9367552 266 33554432000 4194304 5064252 140735977820912 140735977819824 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29113/statm: 2287 266 226 213 0 72 0
[pid=29114] ppid=29113 vsize=47628 CPUtime=1.03 cores=0,2,4,6
/proc/29114/stat : 29114 (glucose) R 29113 20940 3996 0 -1 4202496 9639 0 0 0 102 1 0 0 20 0 1 0 290610974 48771072 10340 33554432000 4194304 5208918 140737386067184 140737386065032 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29114/statm: 11907 10340 95 248 0 11656 0
Current children cumulated CPU time (s) 1386.84
Current children cumulated vsize (KiB) 85504

[startup+1498.5 s]
/proc/loadavg: 1.99 2.00 2.02 3/183 29114
/proc/meminfo: memFree=30960412/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=1385.81 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) R 20940 20940 3996 0 -1 4202496 2065412 13464480 0 0 7088 1139 117608 12746 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 0 0 0 17 2 0 0 84 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
Current children cumulated CPU time (s) 1385.81
Current children cumulated vsize (KiB) 28728
#
############


[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/183 29345
/proc/meminfo: memFree=30954100/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=1429.73 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 2130923 13889961 0 0 7308 1175 121326 13164 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
[pid=29344] ppid=20942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29344/stat : 29344 (satsolver.sh) S 20942 20940 3996 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290615367 9367552 266 33554432000 4194304 5064252 140735030734896 140735030733808 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29344/statm: 2287 266 226 213 0 72 0
[pid=29345] ppid=29344 vsize=47620 CPUtime=1 cores=0,2,4,6
/proc/29345/stat : 29345 (glucose) R 29344 20940 3996 0 -1 4202496 9932 0 0 0 98 2 0 0 20 0 1 0 290615367 48762880 10612 33554432000 4194304 5208918 140736339874016 140736338823688 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29345/statm: 11905 10612 95 248 0 11654 0
Current children cumulated CPU time (s) 1430.73
Current children cumulated vsize (KiB) 85496

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/183 29667
/proc/meminfo: memFree=30959452/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=1490.4 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 2221283 14478564 0 0 7620 1223 126464 13733 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 88 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
Current children cumulated CPU time (s) 1490.4
Current children cumulated vsize (KiB) 28728

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/183 29989
/proc/meminfo: memFree=30956140/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=1550.65 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 2311643 15068659 0 0 7950 1273 131564 14278 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 88 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
Current children cumulated CPU time (s) 1550.65
Current children cumulated vsize (KiB) 28728

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 30322
/proc/meminfo: memFree=30990964/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=1610.48 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 2399751 15653272 0 0 8271 1324 136643 14810 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273087648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 88 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
[pid=30320] ppid=20942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30320/stat : 30320 (cp2_post.sh) S 20942 20940 3996 0 -1 4202496 612 226 0 0 0 0 0 0 20 0 1 0 290633450 9367552 266 33554432000 4194304 5064252 140735503455712 140735503454000 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30320/statm: 2287 266 225 213 0 72 0
[pid=30322] ppid=30320 vsize=10184 CPUtime=0.17 cores=0,2,4,6
/proc/30322/stat : 30322 (coprocessor) R 30320 20940 3996 0 -1 4202496 2567 0 0 0 10 7 0 0 20 0 1 0 290633450 10428416 1713 33554432000 4194304 6586260 140733222541856 140733222538776 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/30322/statm: 2546 1713 148 584 0 1958 0
Current children cumulated CPU time (s) 1610.65
Current children cumulated vsize (KiB) 48060

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 30641
/proc/meminfo: memFree=30955108/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=1669.66 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 2490104 16234276 0 0 8600 1376 141636 15354 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 88 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
[pid=30640] ppid=20942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30640/stat : 30640 (satsolver.sh) S 20942 20940 3996 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290639368 9367552 267 33554432000 4194304 5064252 140737309415360 140737309414272 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30640/statm: 2287 267 226 213 0 72 0
[pid=30641] ppid=30640 vsize=47624 CPUtime=0.99 cores=0,2,4,6
/proc/30641/stat : 30641 (glucose) R 30640 20940 3996 0 -1 4202496 9827 0 0 0 98 1 0 0 20 0 1 0 290639368 48766976 10521 33554432000 4194304 5208918 140734278384848 140734277334344 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30641/statm: 11906 10521 95 248 0 11655 0
Current children cumulated CPU time (s) 1670.65
Current children cumulated vsize (KiB) 85500

[startup+1842.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 30970
/proc/meminfo: memFree=30954804/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=1730.31 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 2580464 16825331 0 0 8905 1425 146785 15916 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 88 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
[pid=30969] ppid=20942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30969/stat : 30969 (satsolver.sh) S 20942 20940 3996 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290645432 9367552 267 33554432000 4194304 5064252 140737394513744 140737394512656 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30969/statm: 2287 267 226 213 0 72 0
[pid=30970] ppid=30969 vsize=47492 CPUtime=0.36 cores=0,2,4,6
/proc/30970/stat : 30970 (glucose) R 30969 20940 3996 0 -1 4202496 9926 0 0 0 35 1 0 0 20 0 1 0 290645432 48631808 10599 33554432000 4194304 5208918 140733906956464 140737394512680 4229039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30970/statm: 11873 10599 95 248 0 11622 0
Current children cumulated CPU time (s) 1730.67
Current children cumulated vsize (KiB) 85368



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1900 s]
/proc/loadavg: 2.03 2.01 2.00 4/183 31278
/proc/meminfo: memFree=30954204/32873648 swapFree=6612/6612
[pid=20940] ppid=20938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (npSolver-wbo-It) S 20938 20940 3996 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290461238 9367552 275 33554432000 4194304 5064252 140736103508496 140736103507408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20940/statm: 2287 275 233 213 0 72 0
[pid=20942] ppid=20940 vsize=19580 CPUtime=1787.91 cores=0,2,4,6
/proc/20942/stat : 20942 (npSolver-wbo) S 20940 20940 3996 0 -1 4202496 2666306 17386803 0 0 9194 1470 151668 16459 20 0 1 0 290461239 20049920 3979 33554432000 4194304 5990268 140735273096752 140735273088160 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 88 0 0
/proc/20942/statm: 4895 3979 177 439 0 4452 0
[pid=31277] ppid=20942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31277/stat : 31277 (satsolver.sh) S 20942 20940 3996 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290651193 9367552 267 33554432000 4194304 5064252 140737441058256 140737441057168 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31277/statm: 2287 267 226 213 0 72 0
[pid=31278] ppid=31277 vsize=47488 CPUtime=0.44 cores=0,2,4,6
/proc/31278/stat : 31278 (glucose) R 31277 20940 3996 0 -1 4202496 9947 0 0 0 43 1 0 0 20 0 1 0 290651193 48627712 10604 33554432000 4194304 5208918 140736148384096 140737441057192 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31278/statm: 11872 10604 95 248 0 11621 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 85364

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.03003
#  lost CPU user time (s): 1.02002
#  lost CPU system time (s): 0.00999451

Real time (s): 1900.03
CPU time (s): 1789.45
CPU user time (s): 1610.11
CPU system time (s): 179.344
CPU usage (%): 94.18
Max. virtual memory (cumulated for all children) (KiB): 85788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1609.09
system time used= 179.334
maximum resident set size= 43136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20064048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15932896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334058
involuntary context switches= 17589

runsolver used 2.69359 second user time and 7.17691 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-29 00:16:07
IDJOB=3715808
IDBENCH=79426
IDSOLVER=2297
FILE ID=node148/3715808-1338243367
RUNJOBID= node148-1338239740-5118
PBS_JOBID= 14624655
Free space on /tmp= 71684 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh09_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715808-1338243367/watcher-3715808-1338243367 -o /tmp/evaluation-result-3715808-1338243367/solver-3715808-1338243367 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715808-1338243367.wbo 2134467720 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d
RANDOM SEED=2134467720

node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31059300 kB
Buffers:          462092 kB
Cached:           442460 kB
SwapCached:          576 kB
Active:           655308 kB
Inactive:         287348 kB
Active(anon):      26880 kB
Inactive(anon):    11140 kB
Active(file):     628428 kB
Inactive(file):   276208 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67108024 kB
Dirty:             15088 kB
Writeback:             0 kB
AnonPages:         41372 kB
Mapped:            12652 kB
Shmem:                96 kB
Slab:             733332 kB
SReclaimable:     175360 kB
SUnreclaim:       557972 kB
KernelStack:        1616 kB
PageTables:         4108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     152360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node148 at 2012-05-29 00:47:47