Trace number 3715604

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) 1800.05 1799.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
MD5SUM48850acf7a795604147e976fcd80db7d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark20.023
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints892
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 45060
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45059
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
Number of bits of the biggest sum of numbers10
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.03	c run usual solver
0.00/0.17	o 519
0.00/0.17	c starting approximation
0.00/0.17	c factor = 2
0.00/0.17	c current bound: 259
1.59/1.85	c current bound: 259
2.81/3.29	c current bound: 259
4.26/4.73	c current bound: 259
5.71/6.17	c current bound: 259
7.15/7.61	c current bound: 259
8.73/9.06	c current bound: 259
10.07/10.53	c current bound: 259
11.51/11.96	c current bound: 259
13.14/13.41	c current bound: 259
14.41/14.88	c current bound: 259
15.87/16.33	c current bound: 259
17.48/17.86	c current bound: 259
18.73/19.29	c current bound: 259
20.20/20.73	c current bound: 259
21.76/22.18	c current bound: 259
23.10/23.64	c current bound: 259
24.53/25.08	c current bound: 259
26.15/26.51	c current bound: 259
27.40/27.94	c current bound: 259
28.85/29.40	c current bound: 259
30.32/30.86	c current bound: 259
31.76/32.31	c current bound: 259
33.20/33.73	c current bound: 259
34.63/35.18	c current bound: 259
36.07/36.62	c current bound: 259
37.55/38.10	c current bound: 259
39.00/39.53	c current bound: 259
40.55/40.98	c current bound: 259
41.92/42.46	c current bound: 259
43.55/43.90	c current bound: 259
44.94/45.33	c current bound: 259
46.26/46.80	c current bound: 259
47.73/48.28	c current bound: 259
49.35/49.73	c current bound: 259
50.64/51.18	c current bound: 259
52.07/52.62	c current bound: 259
53.67/54.06	c current bound: 259
54.98/55.51	c current bound: 259
56.43/56.98	c current bound: 259
58.05/58.44	c current bound: 259
59.34/59.88	c current bound: 259
60.77/61.30	c current bound: 259
62.19/62.74	c current bound: 259
63.71/64.25	c current bound: 259
65.14/65.69	c current bound: 259
66.62/67.16	c current bound: 259
68.06/68.58	c current bound: 259
69.47/70.01	c current bound: 259
70.91/71.45	c current bound: 259
72.45/72.89	c current bound: 259
73.80/74.34	c current bound: 259
75.26/75.80	c current bound: 259
76.84/77.25	c current bound: 259
78.15/78.69	c current bound: 259
79.59/80.13	c current bound: 259
81.16/81.57	c current bound: 259
82.46/83.01	c current bound: 259
83.91/84.46	c current bound: 259
85.36/85.89	c current bound: 259
86.81/87.35	c current bound: 259
88.30/88.84	c current bound: 259
89.74/90.27	c current bound: 259
91.18/91.71	c current bound: 259
92.61/93.15	c current bound: 259
94.06/94.59	c current bound: 259
95.52/96.05	c current bound: 259
96.99/97.52	c current bound: 259
98.43/98.97	c current bound: 259
99.87/100.42	c current bound: 259
101.31/101.86	c current bound: 259
102.95/103.30	c current bound: 259
104.34/104.77	c current bound: 259
105.67/106.21	c current bound: 259
107.10/107.63	c current bound: 259
108.65/109.07	c current bound: 259
110.00/110.54	c current bound: 259
111.44/111.99	c current bound: 259
113.04/113.46	c current bound: 259
114.35/114.90	c current bound: 259
115.81/116.36	c current bound: 259
117.44/117.81	c current bound: 259
118.71/119.24	c current bound: 259
120.14/120.68	c current bound: 259
121.61/122.15	c current bound: 259
123.06/123.60	c current bound: 259
124.51/125.04	c current bound: 259
126.16/126.50	c current bound: 259
127.44/127.98	c current bound: 259
128.87/129.41	c current bound: 259
130.35/130.88	c current bound: 259
131.78/132.33	c current bound: 259
133.25/133.78	c current bound: 259
134.69/135.21	c current bound: 259
136.25/136.65	c current bound: 259
137.58/138.11	c current bound: 259
139.04/139.57	c current bound: 259
140.67/141.01	c current bound: 259
141.91/142.45	c current bound: 259
143.35/143.87	c current bound: 259
144.95/145.31	c current bound: 259
146.22/146.75	c current bound: 259
147.67/148.19	c current bound: 259
149.09/149.63	c current bound: 259
150.54/151.08	c current bound: 259
151.99/152.51	c current bound: 259
153.45/153.97	c current bound: 259
154.92/155.44	c current bound: 259
156.39/156.91	c current bound: 259
157.83/158.34	c current bound: 259
159.36/159.79	c current bound: 259
160.69/161.23	c current bound: 259
162.13/162.66	c current bound: 259
163.77/164.12	c current bound: 259
165.02/165.55	c current bound: 259
166.46/166.99	c current bound: 259
168.06/168.44	c current bound: 259
169.35/169.87	c current bound: 259
170.78/171.32	c current bound: 259
172.22/172.75	c current bound: 259
173.65/174.17	c current bound: 259
175.10/175.65	c current bound: 259
176.58/177.11	c current bound: 259
178.02/178.55	c current bound: 259
179.48/180.01	c current bound: 259
180.93/181.46	c current bound: 259
182.37/182.89	c current bound: 259
183.81/184.32	c current bound: 259
185.23/185.76	c current bound: 259
186.77/187.18	c current bound: 259
188.12/188.65	c current bound: 259
189.58/190.10	c current bound: 259
191.17/191.55	c current bound: 259
192.50/193.02	c current bound: 259
193.92/194.45	c current bound: 259
195.57/195.91	c current bound: 259
196.84/197.37	c current bound: 259
198.28/198.81	c current bound: 259
199.73/200.27	c current bound: 259
201.20/201.72	c current bound: 259
202.64/203.16	c current bound: 259
204.08/204.60	c current bound: 259
205.54/206.05	c current bound: 259
206.97/207.49	c current bound: 259
208.41/208.94	c current bound: 259
209.97/210.38	c current bound: 259
211.30/211.80	c current bound: 259
212.75/213.27	c current bound: 259
214.37/214.71	c current bound: 259
215.62/216.15	c current bound: 259
217.06/217.59	c current bound: 259
218.66/219.04	c current bound: 259
219.97/220.49	c current bound: 259
221.41/221.94	c current bound: 259
222.87/223.39	c current bound: 259
224.31/224.83	c current bound: 259
225.73/226.26	c current bound: 259
227.21/227.73	c current bound: 259
228.64/229.16	c current bound: 259
230.09/230.61	c current bound: 259
231.55/232.07	c current bound: 259
233.01/233.53	c current bound: 259
234.46/234.98	c current bound: 259
236.00/236.52	c current bound: 259
237.44/237.97	c current bound: 259
238.88/239.41	c current bound: 259
240.37/240.89	c current bound: 259
241.80/242.33	c current bound: 259
243.26/243.78	c current bound: 259
244.69/245.22	c current bound: 259
246.26/246.65	c current bound: 259
247.61/248.15	c current bound: 259
249.09/249.62	c current bound: 259
250.67/251.09	c current bound: 259
252.01/252.53	c current bound: 259
253.46/253.97	c current bound: 259
254.97/255.40	c current bound: 259
256.33/256.85	c current bound: 259
257.78/258.29	c current bound: 259
259.39/259.76	c current bound: 259
260.69/261.21	c current bound: 259
262.12/262.65	c current bound: 259
263.57/264.08	c current bound: 259
265.00/265.52	c current bound: 259
266.46/266.95	c current bound: 259
267.87/268.39	c current bound: 259
269.31/269.83	c current bound: 259
270.75/271.25	c current bound: 259
272.40/272.70	c current bound: 259
273.79/274.14	c current bound: 259
275.11/275.61	c current bound: 259
276.56/277.08	c current bound: 259
278.19/278.54	c current bound: 259
279.47/279.98	c current bound: 259
280.93/281.44	c current bound: 259
282.49/282.87	c current bound: 259
283.81/284.31	c current bound: 259
285.26/285.77	c current bound: 259
286.88/287.24	c current bound: 259
288.21/288.71	c current bound: 259
289.66/290.17	c current bound: 259
291.28/291.63	c current bound: 259
292.55/293.07	c current bound: 259
294.00/294.50	c current bound: 259
295.47/295.96	c current bound: 259
296.90/297.41	c current bound: 259
298.34/298.85	c current bound: 259
299.79/300.29	c current bound: 259
301.23/301.74	c current bound: 259
302.69/303.19	c current bound: 259
304.13/304.64	c current bound: 259
305.60/306.11	c current bound: 259
307.04/307.55	c current bound: 259
308.48/308.99	c current bound: 259
310.08/310.45	c current bound: 259
311.39/311.89	c current bound: 259
312.81/313.33	c current bound: 259
314.39/314.77	c current bound: 259
315.71/316.22	c current bound: 259
317.16/317.66	c current bound: 259
318.78/319.12	c current bound: 259
320.05/320.56	c current bound: 259
321.51/322.02	c current bound: 259
322.95/323.47	c current bound: 259
324.39/324.90	c current bound: 259
325.84/326.34	c current bound: 259
327.26/327.78	c current bound: 259
328.72/329.24	c current bound: 259
330.17/330.68	c current bound: 259
331.64/332.15	c current bound: 259
333.17/333.58	c current bound: 259
334.54/335.06	c current bound: 259
335.99/336.49	c current bound: 259
337.59/337.93	c current bound: 259
338.88/339.38	c current bound: 259
340.31/340.83	c current bound: 259
341.89/342.27	c current bound: 259
343.23/343.74	c current bound: 259
344.68/345.19	c current bound: 259
346.28/346.63	c current bound: 259
347.55/348.07	c current bound: 259
349.01/349.52	c current bound: 259
350.45/350.96	c current bound: 259
352.09/352.40	c current bound: 259
353.34/353.84	c current bound: 259
354.99/355.30	c current bound: 259
356.23/356.75	c current bound: 259
357.70/358.21	c current bound: 259
359.15/359.67	c current bound: 259
360.61/361.13	c current bound: 259
362.06/362.58	c current bound: 259
363.68/364.00	c current bound: 259
365.09/365.46	c current bound: 259
366.43/366.95	c current bound: 259
367.89/368.40	c current bound: 259
369.48/369.83	c current bound: 259
370.75/371.27	c current bound: 259
372.21/372.73	c current bound: 259
373.78/374.17	c current bound: 259
375.12/375.63	c current bound: 259
376.54/377.06	c current bound: 259
377.98/378.50	c current bound: 259
379.41/379.94	c current bound: 259
380.88/381.39	c current bound: 259
382.32/382.83	c current bound: 259
383.84/384.37	c current bound: 259
385.29/385.81	c current bound: 259
386.74/387.27	c current bound: 259
388.23/388.75	c current bound: 259
389.66/390.19	c current bound: 259
391.10/391.63	c current bound: 259
392.55/393.07	c current bound: 259
393.99/394.51	c current bound: 259
395.44/395.97	c current bound: 259
396.88/397.42	c current bound: 259
398.34/398.86	c current bound: 259
399.77/400.31	c current bound: 259
401.36/401.78	c current bound: 259
402.69/403.22	c current bound: 259
404.14/404.69	c current bound: 259
405.76/406.17	c current bound: 259
407.11/407.64	c current bound: 259
408.58/409.12	c current bound: 259
410.18/410.57	c current bound: 259
411.49/412.03	c current bound: 259
413.16/413.50	c current bound: 259
414.57/414.97	c current bound: 259
415.88/416.41	c current bound: 259
417.33/417.86	c current bound: 259
418.96/419.32	c current bound: 259
420.25/420.77	c current bound: 259
421.68/422.20	c current bound: 259
423.27/423.65	c current bound: 259
424.60/425.11	c current bound: 259
426.05/426.58	c current bound: 259
427.66/428.04	c current bound: 259
428.96/429.49	c current bound: 259
430.41/430.94	c current bound: 259
431.85/432.37	c current bound: 259
433.34/433.85	c current bound: 259
434.77/435.29	c current bound: 259
436.22/436.73	c current bound: 259
437.67/438.19	c current bound: 259
439.11/439.63	c current bound: 259
440.55/441.07	c current bound: 259
442.01/442.53	c current bound: 259
443.46/443.98	c current bound: 259
444.93/445.45	c current bound: 259
446.39/446.91	c current bound: 259
447.83/448.35	c current bound: 259
449.30/449.81	c current bound: 259
450.87/451.23	c current bound: 259
452.19/452.69	c current bound: 259
453.61/454.13	c current bound: 259
455.17/455.57	c current bound: 259
456.51/457.02	c current bound: 259
457.94/458.46	c current bound: 259
459.57/459.91	c current bound: 259
460.84/461.34	c current bound: 259
462.26/462.79	c current bound: 259
463.73/464.25	c current bound: 259
465.21/465.72	c current bound: 259
466.66/467.17	c current bound: 259
468.28/468.60	c current bound: 259
469.52/470.04	c current bound: 259
470.95/471.48	c current bound: 259
472.42/472.95	c current bound: 259
473.97/474.38	c current bound: 259
475.29/475.82	c current bound: 259
476.75/477.27	c current bound: 259
478.39/478.70	c current bound: 259
479.62/480.14	c current bound: 259
481.05/481.57	c current bound: 259
482.68/483.03	c current bound: 259
483.97/484.49	c current bound: 259
485.41/485.93	c current bound: 259
486.86/487.38	c current bound: 259
488.28/488.81	c current bound: 259
489.76/490.28	c current bound: 259
491.22/491.73	c current bound: 259
492.66/493.20	c current bound: 259
494.13/494.66	c current bound: 259
495.56/496.09	c current bound: 259
497.04/497.57	c current bound: 259
498.48/499.02	c current bound: 259
499.94/500.46	c current bound: 259
501.38/501.89	c current bound: 259
502.81/503.32	c current bound: 259
504.23/504.76	c current bound: 259
505.75/506.19	c current bound: 259
507.10/507.63	c current bound: 259
508.53/509.07	c current bound: 259
509.98/510.50	c current bound: 259
511.41/511.94	c current bound: 259
512.85/513.36	c current bound: 259
514.27/514.80	c current bound: 259
515.71/516.25	c current bound: 259
517.14/517.68	c current bound: 259
518.59/519.12	c current bound: 259
520.16/520.57	c current bound: 259
521.48/522.01	c current bound: 259
522.94/523.47	c current bound: 259
524.58/524.91	c current bound: 259
525.82/526.34	c current bound: 259
527.29/527.82	c current bound: 259
528.86/529.25	c current bound: 259
530.15/530.69	c current bound: 259
531.62/532.16	c current bound: 259
533.06/533.60	c current bound: 259
534.53/535.06	c current bound: 259
536.17/536.50	c current bound: 259
537.42/537.95	c current bound: 259
538.85/539.38	c current bound: 259
540.28/540.82	c current bound: 259
541.72/542.26	c current bound: 259
543.20/543.74	c current bound: 259
544.64/545.18	c current bound: 259
546.08/546.63	c current bound: 259
547.65/548.09	c current bound: 259
549.00/549.53	c current bound: 259
550.42/550.97	c current bound: 259
552.03/552.41	c current bound: 259
553.32/553.86	c current bound: 259
554.75/555.29	c current bound: 259
556.36/556.76	c current bound: 259
557.67/558.21	c current bound: 259
559.14/559.68	c current bound: 259
560.76/561.13	c current bound: 259
562.03/562.56	c current bound: 259
563.45/564.00	c current bound: 259
564.90/565.44	c current bound: 259
566.34/566.88	c current bound: 259
567.77/568.31	c current bound: 259
569.22/569.76	c current bound: 259
570.66/571.19	c current bound: 259
572.09/572.63	c current bound: 259
573.52/574.07	c current bound: 259
575.06/575.50	c current bound: 259
576.39/576.93	c current bound: 259
577.84/578.39	c current bound: 259
579.45/579.83	c current bound: 259
580.74/581.28	c current bound: 259
582.18/582.72	c current bound: 259
583.62/584.16	c current bound: 259
585.08/585.62	c current bound: 259
586.52/587.05	c current bound: 259
587.98/588.53	c current bound: 259
589.43/589.97	c current bound: 259
590.89/591.43	c current bound: 259
592.36/592.89	c current bound: 259
593.79/594.33	c current bound: 259
595.22/595.75	c current bound: 259
596.67/597.21	c current bound: 259
598.25/598.68	c current bound: 259
599.58/600.12	c current bound: 259
601.02/601.56	c current bound: 259
602.56/602.99	c current bound: 259
603.92/604.46	c current bound: 259
605.55/605.90	c current bound: 259
606.95/607.38	c current bound: 259
608.30/608.84	c current bound: 259
609.75/610.29	c current bound: 259
611.35/611.73	c current bound: 259
612.63/613.17	c current bound: 259
614.10/614.64	c current bound: 259
615.53/616.07	c current bound: 259
616.98/617.51	c current bound: 259
618.47/619.01	c current bound: 259
619.90/620.45	c current bound: 259
621.34/621.89	c current bound: 259
622.81/623.37	c current bound: 259
624.26/624.82	c current bound: 259
625.72/626.27	c current bound: 259
627.16/627.72	c current bound: 259
628.59/629.13	c current bound: 259
630.14/630.57	c current bound: 259
631.56/632.08	c current bound: 259
632.98/633.53	c current bound: 259
634.55/634.97	c current bound: 259
635.85/636.40	c current bound: 259
637.33/637.87	c current bound: 259
638.96/639.32	c current bound: 259
640.22/640.76	c current bound: 259
641.86/642.20	c current bound: 259
643.25/643.67	c current bound: 259
644.58/645.12	c current bound: 259
646.03/646.59	c current bound: 259
647.65/648.02	c current bound: 259
649.14/649.50	c current bound: 259
650.40/650.95	c current bound: 259
651.86/652.40	c current bound: 259
653.29/653.83	c current bound: 259
654.72/655.26	c current bound: 259
656.17/656.71	c current bound: 259
657.61/658.15	c current bound: 259
659.06/659.61	c current bound: 259
660.50/661.05	c current bound: 259
661.96/662.51	c current bound: 259
663.41/663.95	c current bound: 259
664.88/665.42	c current bound: 259
666.45/666.89	c current bound: 259
667.81/668.34	c current bound: 259
669.28/669.82	c current bound: 259
670.85/671.28	c current bound: 259
672.21/672.75	c current bound: 259
673.67/674.22	c current bound: 259
675.25/675.66	c current bound: 259
676.54/677.09	c current bound: 259
677.99/678.52	c current bound: 259
679.54/679.98	c current bound: 259
680.89/681.44	c current bound: 259
682.55/682.90	c current bound: 259
683.95/684.34	c current bound: 259
685.23/685.78	c current bound: 259
686.69/687.23	c current bound: 259
688.12/688.66	c current bound: 259
689.58/690.11	c current bound: 259
691.00/691.55	c current bound: 259
692.44/692.99	c current bound: 259
693.91/694.43	c current bound: 259
695.33/695.87	c current bound: 259
696.78/697.32	c current bound: 259
698.35/698.77	c current bound: 259
699.68/700.22	c current bound: 259
701.12/701.67	c current bound: 259
702.76/703.11	c current bound: 259
704.02/704.55	c current bound: 259
705.44/705.98	c current bound: 259
707.05/707.42	c current bound: 259
708.35/708.88	c current bound: 259
709.79/710.34	c current bound: 259
711.45/711.82	c current bound: 259
712.74/713.28	c current bound: 259
714.17/714.71	c current bound: 259
715.61/716.15	c current bound: 259
717.26/717.60	c current bound: 259
718.51/719.06	c current bound: 259
719.96/720.51	c current bound: 259
721.42/721.96	c current bound: 259
722.85/723.39	c current bound: 259
724.31/724.85	c current bound: 259
725.84/726.29	c current bound: 259
727.17/727.73	c current bound: 259
728.64/729.19	c current bound: 259
730.25/730.66	c current bound: 259
731.55/732.13	c current bound: 259
732.99/733.56	c current bound: 259
734.61/735.02	c current bound: 259
735.91/736.48	c current bound: 259
737.34/737.91	c current bound: 259
738.91/739.35	c current bound: 259
740.24/740.81	c current bound: 259
741.69/742.27	c current bound: 259
743.32/743.71	c current bound: 259
744.61/745.19	c current bound: 259
746.05/746.62	c current bound: 259
747.48/748.06	c current bound: 259
748.91/749.49	c current bound: 259
750.35/750.93	c current bound: 259
751.82/752.40	c current bound: 259
753.29/753.87	c current bound: 259
754.73/755.31	c current bound: 259
756.17/756.74	c current bound: 259
757.71/758.17	c current bound: 259
759.03/759.62	c current bound: 259
760.47/761.06	c current bound: 259
762.11/762.51	c current bound: 259
763.40/763.98	c current bound: 259
764.85/765.42	c current bound: 259
766.41/766.90	c current bound: 259
767.77/768.35	c current bound: 259
769.42/769.80	c current bound: 259
770.82/771.28	c current bound: 259
772.13/772.71	c current bound: 259
773.60/774.19	c current bound: 259
775.22/775.66	c current bound: 259
776.51/777.09	c current bound: 259
777.97/778.56	c current bound: 259
779.62/780.04	c current bound: 259
780.92/781.50	c current bound: 259
782.37/782.96	c current bound: 259
783.82/784.39	c current bound: 259
785.26/785.83	c current bound: 259
786.68/787.27	c current bound: 259
788.17/788.73	c current bound: 259
789.60/790.18	c current bound: 259
791.03/791.62	c current bound: 259
792.51/793.09	c current bound: 259
793.95/794.53	c current bound: 259
795.43/796.01	c current bound: 259
796.88/797.45	c current bound: 259
798.41/798.88	c current bound: 259
799.74/800.32	c current bound: 259
801.19/801.77	c current bound: 259
802.82/803.22	c current bound: 259
804.12/804.69	c current bound: 259
805.56/806.13	c current bound: 259
807.12/807.57	c current bound: 259
808.46/809.03	c current bound: 259
809.90/810.47	c current bound: 259
811.51/811.92	c current bound: 259
812.77/813.36	c current bound: 259
814.41/814.80	c current bound: 259
815.66/816.23	c current bound: 259
817.09/817.67	c current bound: 259
818.53/819.11	c current bound: 259
819.99/820.57	c current bound: 259
821.43/822.01	c current bound: 259
822.87/823.46	c current bound: 259
824.33/824.91	c current bound: 259
825.91/826.34	c current bound: 259
827.21/827.78	c current bound: 259
828.64/829.22	c current bound: 259
830.21/830.66	c current bound: 259
831.72/832.10	c current bound: 259
832.96/833.54	c current bound: 259
834.40/834.99	c current bound: 259
835.84/836.44	c current bound: 259
837.32/837.90	c current bound: 259
838.74/839.33	c current bound: 259
840.19/840.77	c current bound: 259
841.65/842.23	c current bound: 259
843.07/843.65	c current bound: 259
844.54/845.12	c current bound: 259
846.01/846.61	c current bound: 259
847.46/848.03	c current bound: 259
849.01/849.48	c current bound: 259
850.32/850.92	c current bound: 259
851.77/852.35	c current bound: 259
853.31/853.79	c current bound: 259
854.68/855.27	c current bound: 259
856.11/856.70	c current bound: 259
857.70/858.15	c current bound: 259
859.02/859.61	c current bound: 259
860.47/861.06	c current bound: 259
862.10/862.53	c current bound: 259
863.37/863.97	c current bound: 259
864.83/865.42	c current bound: 259
866.49/866.91	c current bound: 259
867.76/868.36	c current bound: 259
869.23/869.82	c current bound: 259
870.70/871.29	c current bound: 259
872.15/872.75	c current bound: 259
873.80/874.20	c current bound: 259
875.03/875.63	c current bound: 259
876.47/877.07	c current bound: 259
877.96/878.56	c current bound: 259
879.40/879.99	c current bound: 259
880.84/881.43	c current bound: 259
882.31/882.90	c current bound: 259
883.79/884.39	c current bound: 259
885.24/885.83	c current bound: 259
886.69/887.28	c current bound: 259
888.16/888.76	c current bound: 259
889.62/890.21	c current bound: 259
891.07/891.66	c current bound: 259
892.51/893.12	c current bound: 259
894.09/894.59	c current bound: 259
895.44/896.03	c current bound: 259
896.89/897.48	c current bound: 259
898.50/898.95	c current bound: 259
899.82/900.40	c current bound: 259
901.24/901.85	c current bound: 259
902.80/903.29	c current bound: 259
904.17/904.76	c current bound: 259
905.63/906.23	c current bound: 259
907.19/907.68	c current bound: 259
908.51/909.11	c current bound: 259
909.96/910.55	c current bound: 259
911.40/911.99	c current bound: 259
912.87/913.47	c current bound: 259
914.35/914.94	c current bound: 259
915.79/916.39	c current bound: 259
917.25/917.84	c current bound: 259
918.68/919.27	c current bound: 259
920.16/920.75	c current bound: 259
921.61/922.20	c current bound: 259
923.10/923.68	c current bound: 259
924.57/925.16	c current bound: 259
926.02/926.59	c current bound: 259
927.45/928.04	c current bound: 259
928.92/929.52	c current bound: 259
930.60/931.00	c current bound: 259
931.86/932.44	c current bound: 259
933.32/933.88	c current bound: 259
934.75/935.34	c current bound: 259
936.20/936.77	c current bound: 259
937.65/938.24	c current bound: 259
939.20/939.68	c current bound: 259
940.54/941.13	c current bound: 259
942.00/942.58	c current bound: 259
943.61/944.02	c current bound: 259
944.86/945.46	c current bound: 259
946.33/946.93	c current bound: 259
947.90/948.39	c current bound: 259
949.24/949.83	c current bound: 259
950.72/951.31	c current bound: 259
952.29/952.74	c current bound: 259
953.62/954.22	c current bound: 259
955.07/955.67	c current bound: 259
956.51/957.10	c current bound: 259
957.95/958.55	c current bound: 259
959.41/960.01	c current bound: 259
960.87/961.45	c current bound: 259
962.30/962.89	c current bound: 259
963.74/964.33	c current bound: 259
965.21/965.80	c current bound: 259
966.67/967.26	c current bound: 259
968.13/968.72	c current bound: 259
969.57/970.17	c current bound: 259
971.02/971.61	c current bound: 259
972.48/973.08	c current bound: 259
973.93/974.52	c current bound: 259
975.51/975.97	c current bound: 259
976.82/977.42	c current bound: 259
978.26/978.86	c current bound: 259
979.90/980.31	c current bound: 259
981.16/981.76	c current bound: 259
982.62/983.21	c current bound: 259
984.20/984.65	c current bound: 259
985.49/986.09	c current bound: 259
986.97/987.56	c current bound: 259
988.41/988.99	c current bound: 259
989.89/990.45	c current bound: 259
991.33/991.93	c current bound: 259
992.79/993.39	c current bound: 259
994.24/994.84	c current bound: 259
995.69/996.27	c current bound: 259
997.11/997.71	c current bound: 259
998.55/999.15	c current bound: 259
1000.01/1000.61	c current bound: 259
1001.45/1002.04	c current bound: 259
1003.00/1003.47	c current bound: 259
1004.34/1004.93	c current bound: 259
1005.77/1006.37	c current bound: 259
1007.40/1007.85	c current bound: 259
1008.69/1009.28	c current bound: 259
1010.13/1010.75	c current bound: 259
1011.69/1012.19	c current bound: 259
1013.03/1013.63	c current bound: 259
1014.47/1015.07	c current bound: 259
1016.10/1016.51	c current bound: 259
1017.35/1017.95	c current bound: 259
1018.78/1019.39	c current bound: 259
1020.25/1020.83	c current bound: 259
1021.77/1022.37	c current bound: 259
1023.19/1023.80	c current bound: 259
1024.66/1025.26	c current bound: 259
1026.10/1026.70	c current bound: 259
1027.55/1028.14	c current bound: 259
1028.98/1029.56	c current bound: 259
1030.41/1030.98	c current bound: 259
1031.82/1032.41	c current bound: 259
1033.29/1033.89	c current bound: 259
1034.84/1035.43	c current bound: 259
1036.28/1036.85	c current bound: 259
1037.70/1038.30	c current bound: 259
1039.31/1039.73	c current bound: 259
1040.58/1041.17	c current bound: 259
1042.03/1042.62	c current bound: 259
1043.61/1044.06	c current bound: 259
1045.12/1045.50	c current bound: 259
1046.33/1046.93	c current bound: 259
1047.78/1048.37	c current bound: 259
1049.21/1049.81	c current bound: 259
1050.67/1051.26	c current bound: 259
1052.15/1052.74	c current bound: 259
1053.66/1054.24	c current bound: 259
1055.10/1055.69	c current bound: 259
1056.54/1057.13	c current bound: 259
1058.01/1058.60	c current bound: 259
1059.47/1060.07	c current bound: 259
1060.93/1061.53	c current bound: 259
1062.40/1062.98	c current bound: 259
1063.85/1064.43	c current bound: 259
1065.29/1065.89	c current bound: 259
1066.74/1067.33	c current bound: 259
1068.19/1068.78	c current bound: 259
1069.64/1070.23	c current bound: 259
1071.21/1071.68	c current bound: 259
1072.52/1073.11	c current bound: 259
1074.00/1074.59	c current bound: 259
1075.60/1076.04	c current bound: 259
1076.90/1077.49	c current bound: 259
1078.35/1078.94	c current bound: 259
1079.91/1080.39	c current bound: 259
1081.26/1081.85	c current bound: 259
1082.71/1083.29	c current bound: 259
1084.31/1084.74	c current bound: 259
1085.65/1086.24	c current bound: 259
1087.31/1087.70	c current bound: 259
1088.70/1089.13	c current bound: 259
1090.01/1090.57	c current bound: 259
1091.42/1092.01	c current bound: 259
1092.87/1093.46	c current bound: 259
1094.33/1094.91	c current bound: 259
1095.76/1096.34	c current bound: 259
1097.42/1097.80	c current bound: 259
1098.66/1099.24	c current bound: 259
1100.08/1100.67	c current bound: 259
1101.53/1102.11	c current bound: 259
1103.11/1103.54	c current bound: 259
1104.43/1105.01	c current bound: 259
1105.88/1106.46	c current bound: 259
1107.51/1107.90	c current bound: 259
1108.76/1109.34	c current bound: 259
1110.19/1110.78	c current bound: 259
1111.81/1112.25	c current bound: 259
1113.11/1113.70	c current bound: 259
1114.56/1115.14	c current bound: 259
1115.98/1116.58	c current bound: 259
1117.43/1118.02	c current bound: 259
1118.87/1119.44	c current bound: 259
1120.31/1120.90	c current bound: 259
1121.77/1122.33	c current bound: 259
1123.19/1123.78	c current bound: 259
1124.65/1125.24	c current bound: 259
1126.20/1126.67	c current bound: 259
1127.57/1128.15	c current bound: 259
1129.03/1129.62	c current bound: 259
1130.62/1131.06	c current bound: 259
1131.92/1132.49	c current bound: 259
1133.39/1133.97	c current bound: 259
1135.01/1135.42	c current bound: 259
1136.27/1136.86	c current bound: 259
1137.72/1138.31	c current bound: 259
1139.31/1139.75	c current bound: 259
1140.61/1141.19	c current bound: 259
1142.06/1142.64	c current bound: 259
1143.71/1144.11	c current bound: 259
1145.00/1145.58	c current bound: 259
1146.44/1147.02	c current bound: 259
1147.90/1148.48	c current bound: 259
1149.37/1149.94	c current bound: 259
1150.80/1151.37	c current bound: 259
1152.24/1152.81	c current bound: 259
1153.72/1154.29	c current bound: 259
1155.15/1155.73	c current bound: 259
1156.62/1157.19	c current bound: 259
1158.07/1158.65	c current bound: 259
1159.50/1160.08	c current bound: 259
1160.95/1161.52	c current bound: 259
1162.51/1162.97	c current bound: 259
1163.83/1164.40	c current bound: 259
1165.26/1165.84	c current bound: 259
1166.81/1167.29	c current bound: 259
1168.15/1168.73	c current bound: 259
1169.58/1170.16	c current bound: 259
1171.22/1171.62	c current bound: 259
1172.47/1173.05	c current bound: 259
1173.96/1174.53	c current bound: 259
1175.42/1176.00	c current bound: 259
1176.86/1177.44	c current bound: 259
1178.29/1178.88	c current bound: 259
1179.73/1180.32	c current bound: 259
1181.21/1181.79	c current bound: 259
1182.73/1183.31	c current bound: 259
1184.18/1184.75	c current bound: 259
1185.60/1186.19	c current bound: 259
1187.07/1187.67	c current bound: 259
1188.53/1189.11	c current bound: 259
1189.98/1190.56	c current bound: 259
1191.41/1191.99	c current bound: 259
1192.86/1193.43	c current bound: 259
1194.40/1194.88	c current bound: 259
1195.74/1196.34	c current bound: 259
1197.19/1197.78	c current bound: 259
1198.80/1199.22	c current bound: 259
1200.07/1200.66	c current bound: 259
1201.51/1202.10	c current bound: 259
1203.11/1203.54	c current bound: 259
1204.40/1204.99	c current bound: 259
1205.84/1206.44	c current bound: 259
1207.29/1207.88	c current bound: 259
1208.71/1209.31	c current bound: 259
1210.15/1210.75	c current bound: 259
1211.60/1212.19	c current bound: 259
1213.04/1213.62	c current bound: 259
1214.48/1215.07	c current bound: 259
1215.93/1216.52	c current bound: 259
1217.49/1217.95	c current bound: 259
1218.80/1219.36	c current bound: 259
1220.21/1220.80	c current bound: 259
1221.81/1222.26	c current bound: 259
1223.15/1223.73	c current bound: 259
1224.61/1225.19	c current bound: 259
1226.21/1226.64	c current bound: 259
1227.51/1228.08	c current bound: 259
1228.94/1229.53	c current bound: 259
1230.39/1230.99	c current bound: 259
1231.84/1232.42	c current bound: 259
1233.27/1233.85	c current bound: 259
1234.72/1235.30	c current bound: 259
1236.17/1236.75	c current bound: 259
1237.65/1238.23	c current bound: 259
1239.10/1239.66	c current bound: 259
1240.53/1241.11	c current bound: 259
1241.96/1242.55	c current bound: 259
1243.43/1244.02	c current bound: 259
1245.01/1245.46	c current bound: 259
1246.51/1246.90	c current bound: 259
1247.76/1248.34	c current bound: 259
1249.31/1249.80	c current bound: 259
1250.65/1251.23	c current bound: 259
1252.09/1252.67	c current bound: 259
1253.71/1254.12	c current bound: 259
1254.98/1255.57	c current bound: 259
1256.43/1257.01	c current bound: 259
1257.89/1258.48	c current bound: 259
1259.34/1259.94	c current bound: 259
1260.80/1261.38	c current bound: 259
1262.25/1262.84	c current bound: 259
1263.76/1264.35	c current bound: 259
1265.21/1265.79	c current bound: 259
1266.63/1267.23	c current bound: 259
1268.10/1268.69	c current bound: 259
1269.54/1270.13	c current bound: 259
1270.98/1271.58	c current bound: 259
1272.43/1273.02	c current bound: 259
1273.86/1274.44	c current bound: 259
1275.29/1275.88	c current bound: 259
1276.90/1277.31	c current bound: 259
1278.16/1278.74	c current bound: 259
1279.58/1280.17	c current bound: 259
1281.21/1281.62	c current bound: 259
1282.51/1283.08	c current bound: 259
1283.94/1284.52	c current bound: 259
1285.41/1285.98	c current bound: 259
1286.89/1287.46	c current bound: 259
1288.33/1288.88	c current bound: 259
1289.76/1290.34	c current bound: 259
1291.29/1291.85	c current bound: 259
1292.71/1293.29	c current bound: 259
1294.17/1294.75	c current bound: 259
1295.65/1296.21	c current bound: 259
1297.08/1297.65	c current bound: 259
1298.53/1299.09	c current bound: 259
1299.95/1300.52	c current bound: 259
1301.39/1301.96	c current bound: 259
1302.82/1303.39	c current bound: 259
1304.41/1304.82	c current bound: 259
1305.73/1306.29	c current bound: 259
1307.16/1307.73	c current bound: 259
1308.72/1309.17	c current bound: 259
1310.05/1310.60	c current bound: 259
1311.48/1312.04	c current bound: 259
1312.92/1313.49	c current bound: 259
1314.36/1314.93	c current bound: 259
1315.79/1316.36	c current bound: 259
1317.42/1317.80	c current bound: 259
1318.68/1319.25	c current bound: 259
1320.12/1320.70	c current bound: 259
1321.57/1322.14	c current bound: 259
1323.04/1323.62	c current bound: 259
1324.48/1325.05	c current bound: 259
1325.91/1326.48	c current bound: 259
1327.50/1327.93	c current bound: 259
1328.79/1329.36	c current bound: 259
1330.23/1330.80	c current bound: 259
1331.83/1332.27	c current bound: 259
1333.14/1333.72	c current bound: 259
1334.58/1335.16	c current bound: 259
1336.21/1336.63	c current bound: 259
1337.49/1338.07	c current bound: 259
1338.93/1339.51	c current bound: 259
1340.38/1340.96	c current bound: 259
1341.83/1342.40	c current bound: 259
1343.26/1343.84	c current bound: 259
1344.70/1345.28	c current bound: 259
1346.14/1346.72	c current bound: 259
1347.58/1348.14	c current bound: 259
1349.00/1349.58	c current bound: 259
1350.61/1351.02	c current bound: 259
1351.89/1352.47	c current bound: 259
1353.33/1353.90	c current bound: 259
1354.93/1355.34	c current bound: 259
1356.20/1356.79	c current bound: 259
1357.68/1358.25	c current bound: 259
1359.11/1359.69	c current bound: 259
1360.55/1361.14	c current bound: 259
1362.00/1362.58	c current bound: 259
1363.49/1364.07	c current bound: 259
1364.95/1365.52	c current bound: 259
1366.39/1366.96	c current bound: 259
1367.83/1368.38	c current bound: 259
1369.24/1369.82	c current bound: 259
1370.68/1371.25	c current bound: 259
1372.12/1372.69	c current bound: 259
1373.72/1374.12	c current bound: 259
1374.99/1375.56	c current bound: 259
1376.42/1376.99	c current bound: 259
1378.02/1378.43	c current bound: 259
1379.29/1379.87	c current bound: 259
1380.74/1381.32	c current bound: 259
1382.17/1382.75	c current bound: 259
1383.63/1384.21	c current bound: 259
1385.11/1385.69	c current bound: 259
1386.55/1387.12	c current bound: 259
1388.01/1388.59	c current bound: 259
1389.45/1390.03	c current bound: 259
1390.90/1391.49	c current bound: 259
1392.35/1392.93	c current bound: 259
1393.82/1394.40	c current bound: 259
1395.27/1395.86	c current bound: 259
1396.79/1397.37	c current bound: 259
1398.25/1398.83	c current bound: 259
1399.68/1400.25	c current bound: 259
1401.21/1401.69	c current bound: 259
1402.58/1403.16	c current bound: 259
1404.01/1404.58	c current bound: 259
1405.60/1406.02	c current bound: 259
1406.88/1407.46	c current bound: 259
1408.39/1408.97	c current bound: 259
1410.00/1410.42	c current bound: 259
1411.29/1411.87	c current bound: 259
1412.72/1413.30	c current bound: 259
1414.32/1414.74	c current bound: 259
1415.62/1416.20	c current bound: 259
1417.07/1417.65	c current bound: 259
1418.49/1419.07	c current bound: 259
1419.93/1420.51	c current bound: 259
1421.37/1421.96	c current bound: 259
1422.81/1423.39	c current bound: 259
1424.25/1424.84	c current bound: 259
1425.74/1426.31	c current bound: 259
1427.20/1427.79	c current bound: 259
1428.64/1429.21	c current bound: 259
1430.07/1430.65	c current bound: 259
1431.50/1432.08	c current bound: 259
1433.10/1433.52	c current bound: 259
1434.38/1434.94	c current bound: 259
1435.81/1436.39	c current bound: 259
1437.41/1437.83	c current bound: 259
1438.72/1439.27	c current bound: 259
1440.17/1440.75	c current bound: 259
1441.62/1442.20	c current bound: 259
1443.06/1443.64	c current bound: 259
1444.51/1445.08	c current bound: 259
1445.94/1446.52	c current bound: 259
1447.37/1447.95	c current bound: 259
1448.81/1449.39	c current bound: 259
1450.23/1450.82	c current bound: 259
1451.81/1452.26	c current bound: 259
1453.12/1453.69	c current bound: 259
1454.57/1455.16	c current bound: 259
1456.10/1456.60	c current bound: 259
1457.45/1458.03	c current bound: 259
1458.88/1459.47	c current bound: 259
1460.32/1460.90	c current bound: 259
1461.78/1462.36	c current bound: 259
1463.22/1463.80	c current bound: 259
1464.68/1465.26	c current bound: 259
1466.11/1466.71	c current bound: 259
1467.55/1468.14	c current bound: 259
1469.01/1469.58	c current bound: 259
1470.44/1471.01	c current bound: 259
1471.93/1472.50	c current bound: 259
1473.37/1473.96	c current bound: 259
1474.91/1475.39	c current bound: 259
1476.26/1476.83	c current bound: 259
1477.68/1478.27	c current bound: 259
1479.32/1479.72	c current bound: 259
1480.59/1481.16	c current bound: 259
1482.03/1482.62	c current bound: 259
1483.61/1484.07	c current bound: 259
1484.93/1485.51	c current bound: 259
1486.37/1486.95	c current bound: 259
1488.01/1488.43	c current bound: 259
1489.33/1489.90	c current bound: 259
1490.79/1491.37	c current bound: 259
1492.40/1492.82	c current bound: 259
1493.68/1494.25	c current bound: 259
1495.11/1495.69	c current bound: 259
1496.54/1497.13	c current bound: 259
1497.99/1498.55	c current bound: 259
1499.43/1500.01	c current bound: 259
1500.88/1501.46	c current bound: 259
1502.34/1502.92	c current bound: 259
1503.79/1504.37	c current bound: 259
1505.26/1505.85	c current bound: 259
1506.74/1507.32	c current bound: 259
1508.19/1508.76	c current bound: 259
1509.61/1510.20	c current bound: 259
1511.22/1511.64	c current bound: 259
1512.53/1513.12	c current bound: 259
1513.98/1514.56	c current bound: 259
1515.51/1515.99	c current bound: 259
1516.86/1517.45	c current bound: 259
1518.32/1518.89	c current bound: 259
1519.91/1520.33	c current bound: 259
1521.19/1521.77	c current bound: 259
1522.67/1523.24	c current bound: 259
1524.11/1524.69	c current bound: 259
1525.57/1526.15	c current bound: 259
1527.04/1527.63	c current bound: 259
1528.48/1529.06	c current bound: 259
1530.12/1530.50	c current bound: 259
1531.35/1531.93	c current bound: 259
1532.79/1533.37	c current bound: 259
1534.24/1534.82	c current bound: 259
1535.69/1536.27	c current bound: 259
1537.16/1537.72	c current bound: 259
1538.72/1539.14	c current bound: 259
1540.22/1540.60	c current bound: 259
1541.48/1542.05	c current bound: 259
1543.00/1543.50	c current bound: 259
1544.35/1544.94	c current bound: 259
1545.83/1546.41	c current bound: 259
1547.52/1547.91	c current bound: 259
1548.76/1549.34	c current bound: 259
1550.22/1550.80	c current bound: 259
1551.81/1552.24	c current bound: 259
1553.12/1553.71	c current bound: 259
1554.60/1555.19	c current bound: 259
1556.20/1556.63	c current bound: 259
1557.50/1558.08	c current bound: 259
1558.94/1559.53	c current bound: 259
1560.60/1561.04	c current bound: 259
1561.89/1562.48	c current bound: 259
1563.35/1563.93	c current bound: 259
1564.81/1565.39	c current bound: 259
1566.25/1566.85	c current bound: 259
1567.70/1568.29	c current bound: 259
1569.13/1569.72	c current bound: 259
1570.57/1571.16	c current bound: 259
1572.01/1572.59	c current bound: 259
1573.45/1574.04	c current bound: 259
1575.00/1575.48	c current bound: 259
1576.33/1576.92	c current bound: 259
1577.78/1578.37	c current bound: 259
1579.40/1579.80	c current bound: 259
1580.67/1581.26	c current bound: 259
1582.30/1582.70	c current bound: 259
1583.69/1584.17	c current bound: 259
1585.02/1585.62	c current bound: 259
1586.46/1587.05	c current bound: 259
1587.89/1588.49	c current bound: 259
1589.32/1589.93	c current bound: 259
1590.81/1591.39	c current bound: 259
1592.26/1592.85	c current bound: 259
1593.69/1594.29	c current bound: 259
1595.14/1595.74	c current bound: 259
1596.57/1597.17	c current bound: 259
1598.00/1598.61	c current bound: 259
1599.44/1600.04	c current bound: 259
1600.89/1601.48	c current bound: 259
1602.50/1602.91	c current bound: 259
1603.75/1604.34	c current bound: 259
1605.18/1605.79	c current bound: 259
1606.78/1607.23	c current bound: 259
1608.07/1608.66	c current bound: 259
1609.51/1610.11	c current bound: 259
1610.93/1611.53	c current bound: 259
1612.38/1612.98	c current bound: 259
1613.81/1614.41	c current bound: 259
1615.28/1615.88	c current bound: 259
1616.72/1617.32	c current bound: 259
1618.17/1618.75	c current bound: 259
1619.80/1620.20	c current bound: 259
1621.21/1621.64	c current bound: 259
1622.48/1623.08	c current bound: 259
1623.93/1624.52	c current bound: 259
1625.50/1625.95	c current bound: 259
1626.83/1627.42	c current bound: 259
1628.26/1628.86	c current bound: 259
1629.72/1630.30	c current bound: 259
1631.16/1631.75	c current bound: 259
1632.60/1633.18	c current bound: 259
1634.06/1634.63	c current bound: 259
1635.60/1636.18	c current bound: 259
1637.02/1637.62	c current bound: 259
1638.47/1639.05	c current bound: 259
1639.94/1640.52	c current bound: 259
1641.61/1642.00	c current bound: 259
1642.88/1643.46	c current bound: 259
1644.31/1644.90	c current bound: 259
1645.77/1646.35	c current bound: 259
1647.21/1647.79	c current bound: 259
1648.64/1649.23	c current bound: 259
1650.08/1650.67	c current bound: 259
1651.53/1652.13	c current bound: 259
1653.09/1653.58	c current bound: 259
1654.44/1655.03	c current bound: 259
1655.87/1656.46	c current bound: 259
1657.50/1657.92	c current bound: 259
1658.76/1659.35	c current bound: 259
1660.19/1660.79	c current bound: 259
1661.79/1662.24	c current bound: 259
1663.08/1663.68	c current bound: 259
1664.56/1665.15	c current bound: 259
1665.99/1666.59	c current bound: 259
1667.42/1668.03	c current bound: 259
1668.85/1669.46	c current bound: 259
1670.30/1670.91	c current bound: 259
1671.75/1672.36	c current bound: 259
1673.19/1673.80	c current bound: 259
1674.63/1675.24	c current bound: 259
1676.10/1676.72	c current bound: 259
1677.55/1678.17	c current bound: 259
1678.99/1679.60	c current bound: 259
1680.59/1681.04	c current bound: 259
1681.89/1682.50	c current bound: 259
1683.34/1683.94	c current bound: 259
1684.87/1685.39	c current bound: 259
1686.21/1686.83	c current bound: 259
1687.65/1688.27	c current bound: 259
1689.08/1689.69	c current bound: 259
1690.52/1691.15	c current bound: 259
1691.97/1692.58	c current bound: 259
1693.41/1694.02	c current bound: 259
1694.86/1695.44	c current bound: 259
1696.31/1696.92	c current bound: 259
1697.74/1698.36	c current bound: 259
1699.38/1699.80	c current bound: 259
1700.63/1701.24	c current bound: 259
1702.29/1702.70	c current bound: 259
1703.68/1704.14	c current bound: 259
1704.97/1705.58	c current bound: 259
1706.41/1707.02	c current bound: 259
1707.98/1708.44	c current bound: 259
1709.32/1709.93	c current bound: 259
1710.76/1711.37	c current bound: 259
1712.39/1712.81	c current bound: 259
1713.64/1714.24	c current bound: 259
1715.13/1715.74	c current bound: 259
1716.59/1717.18	c current bound: 259
1718.02/1718.79	c current bound: 259
1719.49/1720.25	c current bound: 259
1721.04/1721.68	c current bound: 259
1722.38/1723.14	c current bound: 259
1723.84/1724.58	c current bound: 259
1725.44/1726.06	c current bound: 259
1726.76/1727.51	c current bound: 259
1728.23/1728.99	c current bound: 259
1729.83/1730.42	c current bound: 259
1731.10/1731.85	c current bound: 259
1732.56/1733.33	c current bound: 259
1733.99/1734.75	c current bound: 259
1735.45/1736.22	c current bound: 259
1736.90/1737.66	c current bound: 259
1738.35/1739.11	c current bound: 259
1739.84/1740.59	c current bound: 259
1741.28/1742.04	c current bound: 259
1742.72/1743.48	c current bound: 259
1744.16/1744.92	c current bound: 259
1745.60/1746.36	c current bound: 259
1747.03/1747.80	c current bound: 259
1748.64/1749.23	c current bound: 259
1749.94/1750.71	c current bound: 259
1751.39/1752.16	c current bound: 259
1752.93/1753.59	c current bound: 259
1754.26/1755.03	c current bound: 259
1755.70/1756.47	c current bound: 259
1757.33/1757.94	c current bound: 259
1758.62/1759.38	c current bound: 259
1760.04/1760.81	c current bound: 259
1761.49/1762.24	c current bound: 259
1762.92/1763.69	c current bound: 259
1764.35/1765.12	c current bound: 259
1765.81/1766.57	c current bound: 259
1767.29/1768.04	c current bound: 259
1768.93/1769.50	c current bound: 259
1770.17/1770.93	c current bound: 259
1771.73/1772.35	c current bound: 259
1773.02/1773.78	c current bound: 259
1774.49/1775.25	c current bound: 259
1776.04/1776.69	c current bound: 259
1777.35/1778.12	c current bound: 259
1778.79/1779.54	c current bound: 259
1780.22/1780.98	c current bound: 259
1781.66/1782.42	c current bound: 259
1783.09/1783.86	c current bound: 259
1784.55/1785.30	c current bound: 259
1786.01/1786.75	c current bound: 259
1787.43/1788.19	c current bound: 259
1788.90/1789.64	c current bound: 259
1790.35/1791.12	c current bound: 259
1791.84/1792.59	c current bound: 259
1793.28/1794.04	c current bound: 259
1794.83/1795.49	c current bound: 259
1796.21/1796.97	c current bound: 259
1797.70/1798.46	c current bound: 259
1798.94/1799.50	./satsolver.sh: line 5: 31163 Terminated              ./glucose $1 > $2 2> /dev/null
1798.94/1799.50	c error: unexpected solver exit code
1798.94/1799.50	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-3715604-1338195861/watcher-3715604-1338195861 -o /tmp/evaluation-result-3715604-1338195861/solver-3715604-1338195861 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715604-1338195861.wbo 406001475 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 22359
/proc/meminfo: memFree=28874460/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0

[startup+0.069881 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 22359
/proc/meminfo: memFree=28874460/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100276 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 22359
/proc/meminfo: memFree=28874460/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300253 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 22359
/proc/meminfo: memFree=28874460/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700222 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 22359
/proc/meminfo: memFree=28874460/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 1.92 1.98 1.91 3/183 22373
/proc/meminfo: memFree=28833984/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=7444 CPUtime=1.39 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 2610 14532 0 0 8 2 126 3 20 0 1 0 285710987 7622656 1453 33554432000 4194304 5990268 140733230056560 140733230047456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 1861 1453 175 439 0 1418 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 16592

[startup+3.10026 s]
/proc/loadavg: 2.09 2.02 1.93 3/183 22380
/proc/meminfo: memFree=28829612/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=2.81 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 4292 26234 0 0 13 2 254 12 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 20560

[startup+6.3003 s]
/proc/loadavg: 2.09 2.02 1.93 3/183 22394
/proc/meminfo: memFree=28829260/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=5.97 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 9326 52887 0 0 29 5 524 39 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 20560

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.93 3/183 22429
/proc/meminfo: memFree=28826588/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=11.77 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 16050 99026 0 0 50 9 1040 78 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=22428] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22428/stat : 22428 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285712189 9367552 266 33554432000 4194304 5064252 140736016820992 140736016819904 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22428/statm: 2287 266 226 213 0 72 0
[pid=22429] ppid=22428 vsize=32948 CPUtime=0.66 cores=0,2,4,6
/proc/22429/stat : 22429 (glucose) R 22428 22359 2978 0 -1 4202496 7354 0 0 0 65 1 0 0 20 0 1 0 285712190 33738752 7603 33554432000 4194304 5208918 140736022211584 140736021161272 4212476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22429/statm: 8237 7603 95 248 0 7986 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 62656

[startup+25.5067 s]
/proc/loadavg: 2.06 2.01 1.93 3/183 22492
/proc/meminfo: memFree=28826236/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=24.79 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 31179 203861 0 0 98 16 2196 169 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=22491] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22491/stat : 22491 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285713501 9367552 267 33554432000 4194304 5064252 140734598879472 140734598878384 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22491/statm: 2287 267 226 213 0 72 0
[pid=22492] ppid=22491 vsize=32944 CPUtime=0.35 cores=0,2,4,6
/proc/22492/stat : 22492 (glucose) R 22491 22359 2978 0 -1 4202496 7341 0 0 0 34 1 0 0 20 0 1 0 285713501 33734656 7564 33554432000 4194304 5208918 140735569690640 140734598878408 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22492/statm: 8236 7564 95 248 0 7985 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 62652

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 1.93 3/183 22611
/proc/meminfo: memFree=28803608/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=50.64 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 59765 411893 0 0 188 31 4498 347 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 20560

[startup+102.3 s]
/proc/loadavg: 1.96 1.99 1.92 3/183 22857
/proc/meminfo: memFree=28801292/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=101.59 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 120272 830742 0 0 378 63 9013 705 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 20560

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.92 3/183 23151
/proc/meminfo: memFree=28798412/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=160.97 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 189193 1319237 0 0 595 100 14286 1116 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=23150] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23150/stat : 23150 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285727115 9367552 267 33554432000 4194304 5064252 140734684435744 140734684434656 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23150/statm: 2287 267 226 213 0 72 0
[pid=23151] ppid=23150 vsize=35804 CPUtime=1 cores=0,2,4,6
/proc/23151/stat : 23151 (glucose) R 23150 22359 2978 0 -1 4202496 7432 0 0 0 99 1 0 0 20 0 1 0 285727116 36663296 7653 33554432000 4194304 5208918 140737131345568 140737131343976 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23151/statm: 8951 7653 95 248 0 8700 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 65512

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.92 3/183 23445
/proc/meminfo: memFree=28796584/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=221.68 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 259795 1819512 0 0 820 134 19674 1540 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=23444] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23444/stat : 23444 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285733187 9367552 267 33554432000 4194304 5064252 140735650031184 140735650030096 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23444/statm: 2287 267 226 213 0 72 0
[pid=23445] ppid=23444 vsize=32944 CPUtime=0.29 cores=0,2,4,6
/proc/23445/stat : 23445 (glucose) R 23444 22359 2978 0 -1 4202496 7281 0 0 0 29 0 0 0 20 0 1 0 285733187 33734656 7555 33554432000 4194304 5208918 140735130526464 140735650030120 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23445/statm: 8236 7555 95 248 0 7985 0
Current children cumulated CPU time (s) 221.97
Current children cumulated vsize (KiB) 62652

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.92 3/183 23732
/proc/meminfo: memFree=28774460/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/meminfo: memFree=28788168/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=1360.82 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 1581061 11119064 0 0 5002 798 120636 9646 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=28978] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28978/stat : 28978 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285847107 9367552 267 33554432000 4194304 5064252 140734835900592 140734835899504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28978/statm: 2287 267 226 213 0 72 0
[pid=28979] ppid=28978 vsize=35800 CPUtime=1.09 cores=0,2,4,6
/proc/28979/stat : 28979 (glucose) R 28978 22359 2978 0 -1 4202496 7420 0 0 0 108 1 0 0 20 0 1 0 285847107 36659200 7667 33554432000 4194304 5208918 140734544426064 140734544424472 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28979/statm: 8950 7667 95 248 0 8699 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 65508

[startup+1422.3 s]
/proc/loadavg: 1.98 1.97 1.91 3/183 29273
/proc/meminfo: memFree=28807876/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=1421.64 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 1651663 11619713 0 0 5225 834 126033 10072 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
Current children cumulated CPU time (s) 1421.64
Current children cumulated vsize (KiB) 20560

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/183 29567
/proc/meminfo: memFree=28790036/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=1480.84 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 1720584 12104104 0 0 5441 870 131273 10500 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=29566] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29566/stat : 29566 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285859109 9367552 266 33554432000 4194304 5064252 140733206954144 140733206953056 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29566/statm: 2287 266 226 213 0 72 0
[pid=29567] ppid=29566 vsize=35800 CPUtime=1.06 cores=0,2,4,6
/proc/29567/stat : 29567 (glucose) R 29566 22359 2978 0 -1 4202496 7365 0 0 0 105 1 0 0 20 0 1 0 285859109 36659200 7658 33554432000 4194304 5208918 140736635333968 140736635332376 4211049 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29567/statm: 8950 7658 95 248 0 8699 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 65508

[startup+1542.3 s]
/proc/loadavg: 2.04 1.99 1.91 3/184 29864
/proc/meminfo: memFree=28787676/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=1541.73 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 1791186 12606032 0 0 5665 905 136657 10946 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=29863] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29863/stat : 29863 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285865198 9367552 267 33554432000 4194304 5064252 140735843008640 140735843007552 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29863/statm: 2287 267 226 213 0 72 0
[pid=29864] ppid=29863 vsize=32948 CPUtime=0.18 cores=0,2,4,6
/proc/29864/stat : 29864 (glucose) R 29863 22359 2978 0 -1 4202496 7275 0 0 0 17 1 0 0 20 0 1 0 285865198 33738752 7540 33554432000 4194304 5208918 140735308385248 140735843007576 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29864/statm: 8237 7540 95 248 0 7986 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 62656

[startup+1602.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/183 30151
/proc/meminfo: memFree=28788424/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=1601.15 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 1860107 13095137 0 0 5884 939 141913 11379 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=30150] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30150/stat : 30150 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285871141 9367552 266 33554432000 4194304 5064252 140736401784592 140736401783504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30150/statm: 2287 266 226 213 0 72 0
[pid=30151] ppid=30150 vsize=35800 CPUtime=0.74 cores=0,2,4,6
/proc/30151/stat : 30151 (glucose) R 30150 22359 2978 0 -1 4202496 6794 0 0 0 73 1 0 0 20 0 1 0 285871141 36659200 7616 33554432000 4194304 5208918 140736480754832 140736480753240 4211574 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30151/statm: 8950 7616 95 248 0 8699 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 65508

[startup+1662.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/183 30442
/proc/meminfo: memFree=28810312/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11416 CPUtime=1661.91 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) R 22359 22359 2978 0 -1 4202496 1930708 13590656 0 0 6109 973 147293 11816 20 0 1 0 285710987 11689984 2415 33554432000 4194304 5990268 140733230056560 140733230048544 5180875 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2854 2415 176 439 0 2411 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 20564

[startup+1722.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/183 30736
/proc/meminfo: memFree=28839400/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=1721.19 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 1999630 14074545 0 0 6327 1007 152532 12253 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
Current children cumulated CPU time (s) 1721.19
Current children cumulated vsize (KiB) 20560

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/183 31027
/proc/meminfo: memFree=28805304/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=1781.66 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 2068560 14563782 0 0 6546 1041 157893 12686 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 20560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/183 31163
/proc/meminfo: memFree=28827820/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=1797.97 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 2088723 14696830 0 0 6609 1052 159319 12817 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=31162] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31162/stat : 31162 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285890839 9367552 267 33554432000 4194304 5064252 140734109525968 140734109524880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31162/statm: 2287 267 226 213 0 72 0
[pid=31163] ppid=31162 vsize=35796 CPUtime=0.97 cores=0,2,4,6
/proc/31163/stat : 31163 (glucose) R 31162 22359 2978 0 -1 4202496 6825 0 0 0 96 1 0 0 20 0 1 0 285890839 36655104 7649 33554432000 4194304 5208918 140733270932240 140733270930648 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31163/statm: 8949 7649 95 248 0 8698 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 65504

Sending SIGTERM to process tree (bottom up)

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

[startup+1799.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/183 31163
/proc/meminfo: memFree=28827820/32873844 swapFree=6856/6856
[pid=22359] ppid=22357 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (npSolver-wbo-It) S 22357 22359 2978 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285710986 9367552 275 33554432000 4194304 5064252 140734541075824 140734541074736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22359/statm: 2287 275 233 213 0 72 0
[pid=22360] ppid=22359 vsize=11412 CPUtime=1797.97 cores=0,2,4,6
/proc/22360/stat : 22360 (npSolver-wbo) S 22359 22359 2978 0 -1 4202496 2088723 14696830 0 0 6609 1052 159319 12817 20 0 1 0 285710987 11685888 2415 33554432000 4194304 5990268 140733230056560 140733230047968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22360/statm: 2853 2415 176 439 0 2410 0
[pid=31162] ppid=22360 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31162/stat : 31162 (satsolver.sh) S 22360 22359 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285890839 9367552 267 33554432000 4194304 5064252 140734109525968 140734109524880 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31162/statm: 2287 267 226 213 0 72 0
[pid=31163] ppid=31162 vsize=35796 CPUtime=0.97 cores=0,2,4,6
/proc/31163/stat : 31163 (glucose) R 31162 22359 2978 0 -1 4202496 6825 0 0 0 96 1 0 0 20 0 1 0 285890839 36655104 7649 33554432000 4194304 5208918 140733270932240 140733270930648 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31163/statm: 8949 7649 95 248 0 8698 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 65504

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.07007
#  lost CPU user time (s): 1.06006
#  lost CPU system time (s): 0.00999832

Real time (s): 1799.51
CPU time (s): 1800.05
CPU user time (s): 1661.33
CPU system time (s): 138.721
CPU usage (%): 100.03
Max. virtual memory (cumulated for all children) (KiB): 66912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1660.27
system time used= 138.711
maximum resident set size= 34120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16793368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11783552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 230127
involuntary context switches= 14716

runsolver used 2.76958 second user time and 7.40687 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 11:04:21
IDJOB=3715604
IDBENCH=78936
IDSOLVER=2297
FILE ID=node144/3715604-1338195861
RUNJOBID= node144-1338192253-2994
PBS_JOBID= 14624577
Free space on /tmp= 71460 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715604-1338195861/watcher-3715604-1338195861 -o /tmp/evaluation-result-3715604-1338195861/solver-3715604-1338195861 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715604-1338195861.wbo 406001475 HOME HOME

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

MD5SUM BENCH= 48850acf7a795604147e976fcd80db7d
RANDOM SEED=406001475

node144.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		: 2666.196
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	: 5332.39
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		: 2666.196
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.91
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		: 2666.196
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	: 5438.54
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		: 2666.196
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		: 2666.196
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		: 2666.196
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.92
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		: 2666.196
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.91
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		: 2666.196
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28874740 kB
Buffers:          399296 kB
Cached:          2695740 kB
SwapCached:            0 kB
Active:           968716 kB
Inactive:        2192764 kB
Active(anon):      67448 kB
Inactive(anon):        0 kB
Active(file):     901268 kB
Inactive(file):  2192764 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             22852 kB
Writeback:             0 kB
AnonPages:         79488 kB
Mapped:            15440 kB
Shmem:               200 kB
Slab:             699044 kB
SReclaimable:     140796 kB
SUnreclaim:       558248 kB
KernelStack:        1520 kB
PageTables:         3712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     184140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71448 MiB
End job on node144 at 2012-05-28 11:34:20