Trace number 3715679

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.08 1813.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
MD5SUM8ea1de4cad02f20126bf15704ca9ee6a
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 benchmark4.15337
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6480
Total number of constraints161
Number of soft constraints109
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint81
Top cost 6056
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6055
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 82
Number of bits of the biggest sum of numbers7
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.67	c run usual solver
6.28/6.33	o 1316
6.28/6.33	c starting approximation
6.28/6.33	c factor = 2
6.28/6.33	c current bound: 658
7.77/7.82	c current bound: 658
9.29/9.31	c current bound: 658
10.78/10.82	c current bound: 658
12.27/12.34	c current bound: 658
13.44/13.84	c current bound: 658
15.32/15.60	c current bound: 658
16.43/17.09	c current bound: 658
17.90/18.58	c current bound: 658
19.70/20.07	c current bound: 658
20.91/21.57	c current bound: 658
22.71/23.06	c current bound: 658
24.26/24.70	c current bound: 658
25.77/26.20	c current bound: 658
27.27/27.71	c current bound: 658
28.78/29.20	c current bound: 658
29.88/30.70	c current bound: 658
31.38/32.19	c current bound: 658
32.88/33.69	c current bound: 658
34.68/35.19	c current bound: 658
35.87/36.75	c current bound: 658
37.36/38.24	c current bound: 658
39.20/39.74	c current bound: 658
40.36/41.23	c current bound: 658
41.85/42.72	c current bound: 658
43.72/44.22	c current bound: 658
45.21/45.72	c current bound: 658
46.70/47.32	c current bound: 658
48.20/48.81	c current bound: 658
49.70/50.31	c current bound: 658
51.20/51.81	c current bound: 658
52.70/53.31	c current bound: 658
54.20/54.80	c current bound: 658
55.62/56.38	c current bound: 658
56.80/57.88	c current bound: 658
58.62/59.37	c current bound: 658
59.78/60.86	c current bound: 658
61.29/62.36	c current bound: 658
63.12/63.85	c current bound: 658
64.28/65.35	c current bound: 658
65.77/66.84	c current bound: 658
67.61/68.44	c current bound: 658
68.76/69.93	c current bound: 658
70.64/71.42	c current bound: 658
72.12/72.90	c current bound: 658
73.62/74.40	c current bound: 658
75.02/75.90	c current bound: 658
76.63/77.40	c current bound: 658
78.13/79.00	c current bound: 658
79.64/80.50	c current bound: 658
81.13/82.00	c current bound: 658
82.64/83.51	c current bound: 658
84.14/85.01	c current bound: 658
85.64/86.51	c current bound: 658
87.02/88.00	c current bound: 658
88.25/89.58	c current bound: 658
89.74/91.07	c current bound: 658
91.53/92.57	c current bound: 658
92.73/94.06	c current bound: 658
94.21/95.55	c current bound: 658
96.05/97.05	c current bound: 658
97.22/98.55	c current bound: 658
99.06/100.13	c current bound: 658
100.20/101.63	c current bound: 658
102.07/103.12	c current bound: 658
103.56/104.62	c current bound: 658
105.05/106.11	c current bound: 658
106.56/107.60	c current bound: 658
108.06/109.10	c current bound: 658
109.57/110.71	c current bound: 658
111.07/112.22	c current bound: 658
112.20/113.73	c current bound: 658
113.72/115.24	c current bound: 658
115.55/116.75	c current bound: 658
116.73/118.25	c current bound: 658
118.23/119.76	c current bound: 658
120.02/121.28	c current bound: 658
121.23/122.77	c current bound: 658
123.04/124.27	c current bound: 658
124.22/125.76	c current bound: 658
125.71/127.26	c current bound: 658
127.54/128.75	c current bound: 658
128.70/130.25	c current bound: 658
130.20/131.83	c current bound: 658
132.07/133.31	c current bound: 658
133.56/134.81	c current bound: 658
135.06/136.31	c current bound: 658
136.55/137.80	c current bound: 658
138.05/139.30	c current bound: 658
139.45/140.78	c current bound: 658
141.04/142.31	c current bound: 658
142.52/143.80	c current bound: 658
143.93/145.29	c current bound: 658
145.13/146.79	c current bound: 658
146.61/148.28	c current bound: 658
148.41/149.77	c current bound: 658
149.60/151.27	c current bound: 658
151.11/152.79	c current bound: 658
152.91/154.29	c current bound: 658
154.09/155.77	c current bound: 658
155.91/157.28	c current bound: 658
157.08/158.76	c current bound: 658
158.59/160.26	c current bound: 658
160.41/161.77	c current bound: 658
161.59/163.36	c current bound: 658
163.43/164.81	c current bound: 658
164.80/166.30	c current bound: 658
166.03/167.79	c current bound: 658
167.52/169.29	c current bound: 658
169.32/170.77	c current bound: 658
170.50/172.27	c current bound: 658
172.31/173.79	c current bound: 658
173.50/175.27	c current bound: 658
175.03/176.79	c current bound: 658
176.91/178.44	c current bound: 658
178.03/179.94	c current bound: 658
179.86/181.44	c current bound: 658
181.00/182.92	c current bound: 658
182.86/184.41	c current bound: 658
184.37/185.90	c current bound: 658
185.48/187.39	c current bound: 658
186.96/188.88	c current bound: 658
188.76/190.38	c current bound: 658
189.96/191.88	c current bound: 658
191.46/193.37	c current bound: 658
193.25/194.87	c current bound: 658
194.45/196.46	c current bound: 658
196.28/197.96	c current bound: 658
197.45/199.45	c current bound: 658
198.94/200.95	c current bound: 658
200.77/202.44	c current bound: 658
201.94/203.94	c current bound: 658
203.44/205.43	c current bound: 658
205.31/207.03	c current bound: 658
206.46/208.53	c current bound: 658
208.32/210.05	c current bound: 658
209.48/211.56	c current bound: 658
210.99/213.06	c current bound: 658
212.81/214.56	c current bound: 658
213.98/216.05	c current bound: 658
215.47/217.64	c current bound: 658
217.32/219.14	c current bound: 658
218.48/220.63	c current bound: 658
220.34/222.14	c current bound: 658
221.48/223.64	c current bound: 658
222.96/225.13	c current bound: 658
224.86/226.62	c current bound: 658
226.34/228.22	c current bound: 658
227.84/229.71	c current bound: 658
229.22/231.20	c current bound: 658
230.45/232.69	c current bound: 658
231.95/234.19	c current bound: 658
233.74/235.69	c current bound: 658
234.93/237.18	c current bound: 658
236.76/238.74	c current bound: 658
237.93/240.24	c current bound: 658
239.41/241.73	c current bound: 658
241.27/243.22	c current bound: 658
242.77/244.70	c current bound: 658
244.29/246.20	c current bound: 658
245.79/247.70	c current bound: 658
247.29/249.20	c current bound: 658
248.39/250.70	c current bound: 658
250.19/252.18	c current bound: 658
251.39/253.68	c current bound: 658
253.16/255.24	c current bound: 658
254.31/256.77	c current bound: 658
255.84/258.26	c current bound: 658
257.66/259.76	c current bound: 658
258.84/261.26	c current bound: 658
260.33/262.76	c current bound: 658
262.16/264.25	c current bound: 658
263.33/265.93	c current bound: 658
265.18/267.42	c current bound: 658
266.69/268.92	c current bound: 658
268.19/270.41	c current bound: 658
269.58/271.89	c current bound: 658
270.79/273.39	c current bound: 658
272.28/274.88	c current bound: 658
274.08/276.39	c current bound: 658
275.29/277.89	c current bound: 658
277.07/279.40	c current bound: 658
278.68/280.90	c current bound: 658
280.19/282.41	c current bound: 658
281.69/283.91	c current bound: 658
283.19/285.42	c current bound: 658
284.31/286.92	c current bound: 658
286.18/288.42	c current bound: 658
287.69/289.92	c current bound: 658
289.20/291.41	c current bound: 658
290.69/293.00	c current bound: 658
292.18/294.50	c current bound: 658
293.68/296.04	c current bound: 658
294.83/297.53	c current bound: 658
296.32/299.03	c current bound: 658
298.17/300.54	c current bound: 658
299.33/302.04	c current bound: 658
301.21/303.62	c current bound: 658
302.33/305.12	c current bound: 658
303.83/306.63	c current bound: 658
305.69/308.15	c current bound: 658
306.85/309.66	c current bound: 658
308.36/311.16	c current bound: 658
310.27/312.84	c current bound: 658
311.37/314.33	c current bound: 658
313.23/315.82	c current bound: 658
314.73/317.32	c current bound: 658
316.24/318.82	c current bound: 658
317.73/320.31	c current bound: 658
319.25/321.80	c current bound: 658
320.35/323.29	c current bound: 658
322.14/324.78	c current bound: 658
323.32/326.27	c current bound: 658
325.13/327.77	c current bound: 658
326.32/329.26	c current bound: 658
327.81/330.84	c current bound: 658
329.63/332.33	c current bound: 658
330.79/333.83	c current bound: 658
332.65/335.31	c current bound: 658
334.15/336.81	c current bound: 658
335.66/338.31	c current bound: 658
337.15/339.80	c current bound: 658
338.28/341.42	c current bound: 658
340.14/342.92	c current bound: 658
341.65/344.41	c current bound: 658
343.16/345.90	c current bound: 658
344.65/347.40	c current bound: 658
346.04/348.89	c current bound: 658
347.25/350.38	c current bound: 658
349.02/352.00	c current bound: 658
350.62/353.50	c current bound: 658
352.11/355.00	c current bound: 658
353.62/356.50	c current bound: 658
354.71/357.98	c current bound: 658
356.20/359.47	c current bound: 658
358.00/360.98	c current bound: 658
359.22/362.57	c current bound: 658
361.03/364.06	c current bound: 658
362.20/365.55	c current bound: 658
363.69/367.07	c current bound: 658
365.54/368.57	c current bound: 658
366.71/370.06	c current bound: 658
368.21/371.55	c current bound: 658
370.04/373.13	c current bound: 658
371.55/374.62	c current bound: 658
373.05/376.11	c current bound: 658
374.56/377.61	c current bound: 658
376.05/379.10	c current bound: 658
377.44/380.59	c current bound: 658
378.65/382.08	c current bound: 658
380.13/383.56	c current bound: 658
381.97/385.01	c current bound: 658
383.47/386.51	c current bound: 658
384.97/388.01	c current bound: 658
386.47/389.50	c current bound: 658
387.98/391.00	c current bound: 658
389.06/392.49	c current bound: 658
390.87/393.98	c current bound: 658
392.46/395.60	c current bound: 658
393.85/397.09	c current bound: 658
395.05/398.59	c current bound: 658
396.56/400.09	c current bound: 658
398.36/401.59	c current bound: 658
399.57/403.09	c current bound: 658
401.06/404.58	c current bound: 658
402.89/406.17	c current bound: 658
404.07/407.67	c current bound: 658
405.87/409.16	c current bound: 658
407.05/410.66	c current bound: 658
408.54/412.16	c current bound: 658
410.37/413.66	c current bound: 658
411.54/415.15	c current bound: 658
413.05/416.73	c current bound: 658
414.90/418.23	c current bound: 658
416.03/419.72	c current bound: 658
417.90/421.23	c current bound: 658
419.04/422.73	c current bound: 658
420.90/424.21	c current bound: 658
422.41/425.71	c current bound: 658
423.90/427.21	c current bound: 658
425.41/428.71	c current bound: 658
426.89/430.20	c current bound: 658
428.38/431.70	c current bound: 658
429.90/433.20	c current bound: 658
431.39/434.71	c current bound: 658
432.88/436.20	c current bound: 658
434.27/437.79	c current bound: 658
435.88/439.30	c current bound: 658
436.99/440.79	c current bound: 658
438.88/442.30	c current bound: 658
440.39/443.80	c current bound: 658
441.88/445.31	c current bound: 658
443.38/446.81	c current bound: 658
444.90/448.40	c current bound: 658
446.28/449.90	c current bound: 658
447.89/451.40	c current bound: 658
449.39/452.91	c current bound: 658
450.87/454.43	c current bound: 658
452.01/455.93	c current bound: 658
453.53/457.44	c current bound: 658
455.36/458.96	c current bound: 658
456.53/460.46	c current bound: 658
458.37/461.95	c current bound: 658
459.52/463.47	c current bound: 658
461.03/464.97	c current bound: 658
462.85/466.46	c current bound: 658
464.02/467.97	c current bound: 658
465.51/469.54	c current bound: 658
467.35/471.03	c current bound: 658
468.50/472.53	c current bound: 658
470.37/474.03	c current bound: 658
471.50/475.53	c current bound: 658
473.00/477.03	c current bound: 658
474.50/478.53	c current bound: 658
475.99/480.13	c current bound: 658
477.48/481.63	c current bound: 658
479.34/483.13	c current bound: 658
480.84/484.62	c current bound: 658
482.35/486.11	c current bound: 658
483.84/487.62	c current bound: 658
485.34/489.12	c current bound: 658
486.84/490.72	c current bound: 658
488.33/492.21	c current bound: 658
489.83/493.71	c current bound: 658
491.22/495.15	c current bound: 658
492.38/496.65	c current bound: 658
493.89/498.15	c current bound: 658
495.71/499.64	c current bound: 658
496.87/501.24	c current bound: 658
498.71/502.74	c current bound: 658
499.87/504.23	c current bound: 658
501.38/505.74	c current bound: 658
503.20/507.25	c current bound: 658
504.37/508.75	c current bound: 658
505.87/510.25	c current bound: 658
507.75/511.82	c current bound: 658
509.24/513.32	c current bound: 658
510.75/514.81	c current bound: 658
511.87/516.35	c current bound: 658
513.36/517.85	c current bound: 658
515.19/519.36	c current bound: 658
516.76/520.98	c current bound: 658
518.17/522.47	c current bound: 658
519.36/523.97	c current bound: 658
520.86/525.48	c current bound: 658
522.66/526.98	c current bound: 658
523.85/528.48	c current bound: 658
525.36/529.97	c current bound: 658
527.16/531.47	c current bound: 658
528.35/533.06	c current bound: 658
530.17/534.56	c current bound: 658
531.34/536.06	c current bound: 658
532.84/537.56	c current bound: 658
534.68/539.05	c current bound: 658
535.84/540.56	c current bound: 658
537.33/542.05	c current bound: 658
539.16/543.64	c current bound: 658
540.33/545.15	c current bound: 658
542.17/546.65	c current bound: 658
543.33/548.15	c current bound: 658
544.83/549.64	c current bound: 658
546.69/551.14	c current bound: 658
547.82/552.64	c current bound: 658
549.33/554.23	c current bound: 658
551.17/555.73	c current bound: 658
552.70/557.22	c current bound: 658
554.19/558.73	c current bound: 658
555.31/560.23	c current bound: 658
556.82/561.73	c current bound: 658
558.67/563.23	c current bound: 658
560.17/564.80	c current bound: 658
561.67/566.30	c current bound: 658
563.18/567.81	c current bound: 658
564.68/569.30	c current bound: 658
566.17/570.81	c current bound: 658
567.67/572.31	c current bound: 658
569.18/573.81	c current bound: 658
570.56/575.37	c current bound: 658
571.75/576.87	c current bound: 658
573.26/578.38	c current bound: 658
575.06/579.88	c current bound: 658
576.26/581.38	c current bound: 658
577.77/582.88	c current bound: 658
579.56/584.39	c current bound: 658
580.78/585.99	c current bound: 658
582.56/587.49	c current bound: 658
583.76/588.99	c current bound: 658
585.26/590.48	c current bound: 658
587.04/591.98	c current bound: 658
588.26/593.48	c current bound: 658
589.76/594.97	c current bound: 658
591.24/596.56	c current bound: 658
592.74/598.06	c current bound: 658
594.58/599.56	c current bound: 658
595.74/601.05	c current bound: 658
597.23/602.55	c current bound: 658
599.07/604.05	c current bound: 658
600.22/605.54	c current bound: 658
602.11/607.12	c current bound: 658
603.58/608.61	c current bound: 658
605.09/610.11	c current bound: 658
606.60/611.61	c current bound: 658
608.09/613.10	c current bound: 658
609.20/614.59	c current bound: 658
610.98/616.09	c current bound: 658
612.57/617.70	c current bound: 658
613.68/619.19	c current bound: 658
615.57/620.70	c current bound: 658
617.07/622.20	c current bound: 658
618.47/623.69	c current bound: 658
619.67/625.19	c current bound: 658
621.17/626.68	c current bound: 658
622.97/628.27	c current bound: 658
624.15/629.76	c current bound: 658
625.66/631.27	c current bound: 658
627.48/632.77	c current bound: 658
628.67/634.26	c current bound: 658
630.48/635.76	c current bound: 658
631.66/637.26	c current bound: 658
633.16/638.83	c current bound: 658
635.00/640.32	c current bound: 658
636.52/641.81	c current bound: 658
638.01/643.31	c current bound: 658
639.51/644.82	c current bound: 658
641.02/646.30	c current bound: 658
642.12/647.79	c current bound: 658
643.91/649.28	c current bound: 658
645.10/650.77	c current bound: 658
646.59/652.27	c current bound: 658
648.41/653.76	c current bound: 658
649.59/655.26	c current bound: 658
651.41/656.76	c current bound: 658
652.59/658.25	c current bound: 658
654.11/659.86	c current bound: 658
655.91/661.38	c current bound: 658
657.13/662.89	c current bound: 658
658.63/664.39	c current bound: 658
660.40/665.88	c current bound: 658
661.60/667.37	c current bound: 658
663.42/668.87	c current bound: 658
664.60/670.36	c current bound: 658
666.10/671.85	c current bound: 658
667.93/673.36	c current bound: 658
669.08/674.84	c current bound: 658
670.58/676.34	c current bound: 658
672.43/677.84	c current bound: 658
673.58/679.33	c current bound: 658
675.07/680.83	c current bound: 658
676.93/682.32	c current bound: 658
678.45/683.82	c current bound: 658
679.95/685.31	c current bound: 658
681.07/686.89	c current bound: 658
682.97/688.40	c current bound: 658
684.47/689.90	c current bound: 658
685.57/691.39	c current bound: 658
687.07/692.89	c current bound: 658
688.98/694.41	c current bound: 658
690.48/695.91	c current bound: 658
691.94/697.44	c current bound: 658
693.07/698.93	c current bound: 658
694.95/700.41	c current bound: 658
696.34/701.90	c current bound: 658
697.55/703.39	c current bound: 658
699.44/704.90	c current bound: 658
700.85/706.39	c current bound: 658
702.05/707.99	c current bound: 658
703.54/709.49	c current bound: 658
705.35/710.98	c current bound: 658
706.54/712.48	c current bound: 658
708.35/713.97	c current bound: 658
709.53/715.47	c current bound: 658
711.04/716.97	c current bound: 658
712.86/718.56	c current bound: 658
714.04/720.06	c current bound: 658
715.54/721.56	c current bound: 658
717.37/723.07	c current bound: 658
718.55/724.57	c current bound: 658
720.36/726.07	c current bound: 658
721.55/727.56	c current bound: 658
723.05/729.15	c current bound: 658
724.87/730.65	c current bound: 658
726.03/732.14	c current bound: 658
727.52/733.63	c current bound: 658
729.38/735.11	c current bound: 658
730.88/736.60	c current bound: 658
732.38/738.10	c current bound: 658
733.47/739.59	c current bound: 658
734.98/741.08	c current bound: 658
736.76/742.58	c current bound: 658
737.97/744.08	c current bound: 658
739.46/745.67	c current bound: 658
741.26/747.18	c current bound: 658
742.49/748.69	c current bound: 658
743.97/750.19	c current bound: 658
745.87/751.70	c current bound: 658
746.99/753.19	c current bound: 658
748.78/754.69	c current bound: 658
750.36/756.32	c current bound: 658
751.85/757.81	c current bound: 658
753.36/759.31	c current bound: 658
754.86/760.80	c current bound: 658
756.36/762.30	c current bound: 658
757.86/763.80	c current bound: 658
758.95/765.28	c current bound: 658
760.75/766.80	c current bound: 658
762.36/768.31	c current bound: 658
763.87/769.82	c current bound: 658
765.39/771.46	c current bound: 658
766.51/772.96	c current bound: 658
768.32/774.47	c current bound: 658
769.52/775.98	c current bound: 658
771.01/777.48	c current bound: 658
772.90/779.02	c current bound: 658
774.05/780.53	c current bound: 658
775.95/782.14	c current bound: 658
777.06/783.63	c current bound: 658
778.91/785.11	c current bound: 658
780.43/786.61	c current bound: 658
781.92/788.10	c current bound: 658
783.42/789.60	c current bound: 658
784.82/791.09	c current bound: 658
786.01/792.59	c current bound: 658
787.53/794.18	c current bound: 658
789.43/795.70	c current bound: 658
790.93/797.20	c current bound: 658
792.45/798.71	c current bound: 658
793.93/800.21	c current bound: 658
795.44/801.72	c current bound: 658
796.92/803.23	c current bound: 658
798.09/804.74	c current bound: 658
799.60/806.25	c current bound: 658
801.43/807.76	c current bound: 658
802.60/809.26	c current bound: 658
804.44/810.76	c current bound: 658
805.60/812.27	c current bound: 658
807.12/813.78	c current bound: 658
808.96/815.33	c current bound: 658
810.10/816.82	c current bound: 658
811.61/818.33	c current bound: 658
813.45/819.83	c current bound: 658
814.98/821.31	c current bound: 658
816.48/822.81	c current bound: 658
817.97/824.30	c current bound: 658
819.48/825.80	c current bound: 658
820.87/827.29	c current bound: 658
822.07/828.79	c current bound: 658
823.57/830.28	c current bound: 658
825.37/831.89	c current bound: 658
826.55/833.37	c current bound: 658
828.05/834.87	c current bound: 658
829.86/836.37	c current bound: 658
831.03/837.87	c current bound: 658
832.84/839.37	c current bound: 658
834.41/841.01	c current bound: 658
835.91/842.50	c current bound: 658
837.41/844.00	c current bound: 658
838.50/845.48	c current bound: 658
840.01/846.97	c current bound: 658
841.81/848.47	c current bound: 658
842.99/849.97	c current bound: 658
844.82/851.46	c current bound: 658
845.98/853.03	c current bound: 658
847.47/854.52	c current bound: 658
849.34/856.01	c current bound: 658
850.84/857.50	c current bound: 658
851.95/858.99	c current bound: 658
853.73/860.49	c current bound: 658
854.94/861.99	c current bound: 658
856.81/863.63	c current bound: 658
857.93/865.13	c current bound: 658
859.81/866.62	c current bound: 658
861.31/868.11	c current bound: 658
862.81/869.60	c current bound: 658
864.32/871.11	c current bound: 658
865.81/872.61	c current bound: 658
866.91/874.19	c current bound: 658
868.71/875.67	c current bound: 658
869.90/877.17	c current bound: 658
871.39/878.66	c current bound: 658
873.22/880.15	c current bound: 658
874.38/881.65	c current bound: 658
875.88/883.14	c current bound: 658
877.66/884.79	c current bound: 658
878.87/886.29	c current bound: 658
880.66/887.79	c current bound: 658
881.86/889.32	c current bound: 658
883.73/890.81	c current bound: 658
885.23/892.31	c current bound: 658
886.73/893.80	c current bound: 658
887.77/895.28	c current bound: 658
889.57/896.77	c current bound: 658
890.76/898.27	c current bound: 658
892.26/899.76	c current bound: 658
894.07/901.27	c current bound: 658
895.26/902.76	c current bound: 658
897.06/904.26	c current bound: 658
898.24/905.83	c current bound: 658
899.74/907.33	c current bound: 658
901.60/908.82	c current bound: 658
903.11/910.31	c current bound: 658
904.62/911.81	c current bound: 658
906.12/913.30	c current bound: 658
907.22/914.78	c current bound: 658
908.69/916.27	c current bound: 658
910.50/917.77	c current bound: 658
911.68/919.27	c current bound: 658
913.51/920.77	c current bound: 658
914.68/922.47	c current bound: 658
916.17/923.96	c current bound: 658
917.99/925.47	c current bound: 658
919.18/926.96	c current bound: 658
920.99/928.46	c current bound: 658
922.18/929.95	c current bound: 658
923.67/931.44	c current bound: 658
925.50/932.93	c current bound: 658
926.65/934.42	c current bound: 658
928.51/935.92	c current bound: 658
930.01/937.42	c current bound: 658
931.51/938.91	c current bound: 658
933.02/940.41	c current bound: 658
934.52/941.90	c current bound: 658
936.00/943.51	c current bound: 658
937.51/945.02	c current bound: 658
938.65/946.53	c current bound: 658
940.16/948.04	c current bound: 658
941.99/949.55	c current bound: 658
943.17/951.06	c current bound: 658
944.68/952.57	c current bound: 658
946.48/954.08	c current bound: 658
947.67/955.57	c current bound: 658
949.49/957.06	c current bound: 658
950.66/958.55	c current bound: 658
952.16/960.05	c current bound: 658
954.01/961.55	c current bound: 658
955.17/963.05	c current bound: 658
956.65/964.62	c current bound: 658
958.52/966.12	c current bound: 658
960.02/967.61	c current bound: 658
961.53/969.10	c current bound: 658
962.63/970.59	c current bound: 658
964.12/972.08	c current bound: 658
965.93/973.57	c current bound: 658
967.06/975.02	c current bound: 658
968.93/976.51	c current bound: 658
970.44/978.01	c current bound: 658
971.93/979.50	c current bound: 658
973.04/980.99	c current bound: 658
974.85/982.49	c current bound: 658
976.01/983.98	c current bound: 658
977.83/985.40	c current bound: 658
979.33/986.90	c current bound: 658
980.45/988.42	c current bound: 658
982.34/989.92	c current bound: 658
983.83/991.41	c current bound: 658
985.34/993.01	c current bound: 658
986.84/994.51	c current bound: 658
988.35/996.01	c current bound: 658
989.83/997.50	c current bound: 658
991.33/999.00	c current bound: 658
992.82/1000.50	c current bound: 658
994.33/1002.00	c current bound: 658
995.43/1003.68	c current bound: 658
996.93/1005.17	c current bound: 658
998.73/1006.68	c current bound: 658
999.92/1008.18	c current bound: 658
1001.42/1009.69	c current bound: 658
1003.21/1011.19	c current bound: 658
1004.42/1012.69	c current bound: 658
1006.31/1014.31	c current bound: 658
1007.81/1015.81	c current bound: 658
1009.31/1017.31	c current bound: 658
1010.80/1018.80	c current bound: 658
1012.30/1020.30	c current bound: 658
1013.80/1021.81	c current bound: 658
1015.30/1023.31	c current bound: 658
1016.80/1024.90	c current bound: 658
1018.19/1026.40	c current bound: 658
1019.39/1027.89	c current bound: 658
1021.29/1029.41	c current bound: 658
1022.80/1030.90	c current bound: 658
1024.29/1032.41	c current bound: 658
1025.79/1033.91	c current bound: 658
1027.18/1035.43	c current bound: 658
1028.32/1036.92	c current bound: 658
1030.20/1038.42	c current bound: 658
1031.32/1039.93	c current bound: 658
1032.82/1041.42	c current bound: 658
1034.70/1042.92	c current bound: 658
1035.81/1044.42	c current bound: 658
1037.69/1046.01	c current bound: 658
1039.20/1047.50	c current bound: 658
1040.69/1049.00	c current bound: 658
1042.19/1050.51	c current bound: 658
1043.69/1052.00	c current bound: 658
1045.19/1053.51	c current bound: 658
1046.57/1054.98	c current bound: 658
1047.78/1056.49	c current bound: 658
1049.27/1057.99	c current bound: 658
1051.18/1059.50	c current bound: 658
1052.68/1061.01	c current bound: 658
1053.79/1062.54	c current bound: 658
1055.64/1064.04	c current bound: 658
1056.70/1065.47	c current bound: 658
1058.19/1066.97	c current bound: 658
1060.00/1068.46	c current bound: 658
1061.19/1069.96	c current bound: 658
1063.00/1071.45	c current bound: 658
1064.17/1073.03	c current bound: 658
1065.68/1074.54	c current bound: 658
1067.51/1076.05	c current bound: 658
1068.69/1077.55	c current bound: 658
1070.19/1079.06	c current bound: 658
1072.01/1080.54	c current bound: 658
1073.18/1082.04	c current bound: 658
1075.02/1083.73	c current bound: 658
1076.55/1085.22	c current bound: 658
1077.68/1086.73	c current bound: 658
1079.53/1088.23	c current bound: 658
1080.67/1089.73	c current bound: 658
1082.53/1091.23	c current bound: 658
1084.03/1092.72	c current bound: 658
1085.15/1094.28	c current bound: 658
1086.95/1095.78	c current bound: 658
1088.15/1097.28	c current bound: 658
1089.65/1098.79	c current bound: 658
1091.45/1100.29	c current bound: 658
1092.64/1101.78	c current bound: 658
1094.14/1103.28	c current bound: 658
1095.64/1104.87	c current bound: 658
1097.15/1106.38	c current bound: 658
1098.95/1107.88	c current bound: 658
1100.16/1109.38	c current bound: 658
1101.65/1110.88	c current bound: 658
1103.43/1112.38	c current bound: 658
1104.64/1113.88	c current bound: 658
1106.46/1115.47	c current bound: 658
1107.64/1116.97	c current bound: 658
1109.14/1118.48	c current bound: 658
1111.02/1120.05	c current bound: 658
1112.20/1121.54	c current bound: 658
1113.71/1123.06	c current bound: 658
1115.56/1124.63	c current bound: 658
1116.73/1126.13	c current bound: 658
1118.57/1127.65	c current bound: 658
1119.73/1129.15	c current bound: 658
1121.23/1130.65	c current bound: 658
1123.06/1132.15	c current bound: 658
1124.24/1133.65	c current bound: 658
1125.74/1135.16	c current bound: 658
1127.25/1136.76	c current bound: 658
1128.74/1138.25	c current bound: 658
1130.58/1139.76	c current bound: 658
1131.74/1141.26	c current bound: 658
1133.24/1142.76	c current bound: 658
1135.06/1144.26	c current bound: 658
1136.24/1145.77	c current bound: 658
1138.06/1147.35	c current bound: 658
1139.23/1148.85	c current bound: 658
1140.74/1150.35	c current bound: 658
1142.57/1151.84	c current bound: 658
1143.73/1153.34	c current bound: 658
1145.21/1154.83	c current bound: 658
1147.07/1156.34	c current bound: 658
1148.23/1157.94	c current bound: 658
1150.06/1159.45	c current bound: 658
1151.22/1160.95	c current bound: 658
1152.73/1162.45	c current bound: 658
1154.55/1163.95	c current bound: 658
1155.67/1165.39	c current bound: 658
1157.18/1166.89	c current bound: 658
1159.05/1168.40	c current bound: 658
1160.56/1169.90	c current bound: 658
1162.05/1171.41	c current bound: 658
1163.55/1172.91	c current bound: 658
1165.06/1174.50	c current bound: 658
1166.57/1176.01	c current bound: 658
1168.07/1177.51	c current bound: 658
1169.56/1179.00	c current bound: 658
1170.94/1180.50	c current bound: 658
1172.54/1182.00	c current bound: 658
1173.65/1183.50	c current bound: 658
1175.55/1185.10	c current bound: 658
1176.66/1186.59	c current bound: 658
1178.55/1188.11	c current bound: 658
1180.05/1189.61	c current bound: 658
1181.53/1191.11	c current bound: 658
1183.03/1192.61	c current bound: 658
1184.54/1194.11	c current bound: 658
1186.04/1195.72	c current bound: 658
1187.53/1197.22	c current bound: 658
1188.66/1198.73	c current bound: 658
1190.51/1200.23	c current bound: 658
1191.66/1201.73	c current bound: 658
1193.15/1203.22	c current bound: 658
1194.99/1204.74	c current bound: 658
1196.15/1206.33	c current bound: 658
1198.00/1207.84	c current bound: 658
1199.15/1209.34	c current bound: 658
1200.66/1210.86	c current bound: 658
1202.49/1212.35	c current bound: 658
1203.64/1213.84	c current bound: 658
1205.13/1215.33	c current bound: 658
1206.99/1216.93	c current bound: 658
1208.14/1218.43	c current bound: 658
1210.00/1219.93	c current bound: 658
1211.14/1221.44	c current bound: 658
1212.62/1222.93	c current bound: 658
1214.48/1224.45	c current bound: 658
1216.05/1226.08	c current bound: 658
1217.15/1227.59	c current bound: 658
1219.04/1229.12	c current bound: 658
1220.54/1230.62	c current bound: 658
1222.03/1232.11	c current bound: 658
1223.52/1233.62	c current bound: 658
1224.62/1235.09	c current bound: 658
1226.42/1236.59	c current bound: 658
1228.00/1238.22	c current bound: 658
1229.50/1239.72	c current bound: 658
1230.63/1241.22	c current bound: 658
1232.12/1242.73	c current bound: 658
1233.98/1244.23	c current bound: 658
1235.13/1245.74	c current bound: 658
1236.63/1247.24	c current bound: 658
1238.44/1248.86	c current bound: 658
1239.61/1250.36	c current bound: 658
1241.44/1251.87	c current bound: 658
1242.61/1253.36	c current bound: 658
1244.11/1254.87	c current bound: 658
1245.93/1256.37	c current bound: 658
1247.12/1257.87	c current bound: 658
1248.61/1259.45	c current bound: 658
1250.43/1260.95	c current bound: 658
1251.61/1262.45	c current bound: 658
1253.43/1263.96	c current bound: 658
1254.61/1265.47	c current bound: 658
1256.12/1266.97	c current bound: 658
1257.93/1268.48	c current bound: 658
1259.50/1270.02	c current bound: 658
1260.64/1271.53	c current bound: 658
1262.50/1273.04	c current bound: 658
1263.67/1274.55	c current bound: 658
1265.50/1276.04	c current bound: 658
1266.65/1277.54	c current bound: 658
1268.15/1279.04	c current bound: 658
1269.98/1280.64	c current bound: 658
1271.15/1282.15	c current bound: 658
1272.64/1283.65	c current bound: 658
1274.48/1285.15	c current bound: 658
1275.64/1286.65	c current bound: 658
1277.49/1288.15	c current bound: 658
1278.62/1289.64	c current bound: 658
1280.14/1291.25	c current bound: 658
1281.98/1292.76	c current bound: 658
1283.17/1294.27	c current bound: 658
1284.66/1295.76	c current bound: 658
1286.46/1297.27	c current bound: 658
1287.66/1298.77	c current bound: 658
1289.48/1300.27	c current bound: 658
1290.65/1301.85	c current bound: 658
1292.15/1303.36	c current bound: 658
1293.99/1304.87	c current bound: 658
1295.18/1306.37	c current bound: 658
1296.69/1307.88	c current bound: 658
1298.47/1309.39	c current bound: 658
1300.09/1311.02	c current bound: 658
1301.56/1312.52	c current bound: 658
1302.71/1314.03	c current bound: 658
1304.22/1315.53	c current bound: 658
1306.06/1317.03	c current bound: 658
1307.21/1318.53	c current bound: 658
1309.08/1320.02	c current bound: 658
1310.20/1321.52	c current bound: 658
1312.07/1323.12	c current bound: 658
1313.58/1324.61	c current bound: 658
1315.08/1326.12	c current bound: 658
1316.57/1327.62	c current bound: 658
1318.07/1329.12	c current bound: 658
1319.59/1330.61	c current bound: 658
1321.08/1332.12	c current bound: 658
1322.20/1333.77	c current bound: 658
1323.70/1335.28	c current bound: 658
1325.50/1336.77	c current bound: 658
1326.70/1338.28	c current bound: 658
1328.20/1339.78	c current bound: 658
1329.99/1341.28	c current bound: 658
1331.20/1342.78	c current bound: 658
1333.00/1344.37	c current bound: 658
1334.19/1345.87	c current bound: 658
1335.69/1347.38	c current bound: 658
1337.49/1348.89	c current bound: 658
1339.10/1350.40	c current bound: 658
1340.21/1351.90	c current bound: 658
1341.70/1353.39	c current bound: 658
1343.20/1354.97	c current bound: 658
1345.01/1356.46	c current bound: 658
1346.18/1357.97	c current bound: 658
1347.67/1359.47	c current bound: 658
1349.49/1360.97	c current bound: 658
1350.68/1362.47	c current bound: 658
1352.19/1363.97	c current bound: 658
1354.00/1365.51	c current bound: 658
1355.50/1367.01	c current bound: 658
1357.01/1368.51	c current bound: 658
1358.51/1370.01	c current bound: 658
1360.00/1371.52	c current bound: 658
1361.48/1373.03	c current bound: 658
1362.63/1374.53	c current bound: 658
1364.48/1376.14	c current bound: 658
1365.62/1377.63	c current bound: 658
1367.13/1379.13	c current bound: 658
1368.97/1380.63	c current bound: 658
1370.12/1382.13	c current bound: 658
1371.62/1383.63	c current bound: 658
1373.47/1385.11	c current bound: 658
1374.98/1386.62	c current bound: 658
1376.10/1388.13	c current bound: 658
1377.96/1389.63	c current bound: 658
1379.11/1391.12	c current bound: 658
1380.97/1392.73	c current bound: 658
1382.13/1394.24	c current bound: 658
1383.61/1395.73	c current bound: 658
1385.46/1397.24	c current bound: 658
1386.63/1398.75	c current bound: 658
1388.12/1400.25	c current bound: 658
1389.95/1401.75	c current bound: 658
1391.14/1403.34	c current bound: 658
1392.98/1404.85	c current bound: 658
1394.14/1406.35	c current bound: 658
1395.65/1407.85	c current bound: 658
1397.48/1409.34	c current bound: 658
1398.63/1410.85	c current bound: 658
1400.13/1412.34	c current bound: 658
1401.62/1413.98	c current bound: 658
1403.12/1415.48	c current bound: 658
1404.92/1416.99	c current bound: 658
1406.12/1418.48	c current bound: 658
1407.62/1419.99	c current bound: 658
1409.51/1421.50	c current bound: 658
1411.00/1423.00	c current bound: 658
1412.41/1424.59	c current bound: 658
1413.61/1426.09	c current bound: 658
1415.10/1427.58	c current bound: 658
1416.89/1429.09	c current bound: 658
1418.10/1430.59	c current bound: 658
1419.59/1432.09	c current bound: 658
1421.38/1433.58	c current bound: 658
1422.59/1435.19	c current bound: 658
1424.38/1436.68	c current bound: 658
1425.58/1438.18	c current bound: 658
1427.07/1439.68	c current bound: 658
1428.88/1441.18	c current bound: 658
1430.07/1442.68	c current bound: 658
1431.56/1444.18	c current bound: 658
1433.38/1445.77	c current bound: 658
1434.57/1447.27	c current bound: 658
1436.37/1448.78	c current bound: 658
1437.57/1450.28	c current bound: 658
1439.07/1451.78	c current bound: 658
1440.87/1453.28	c current bound: 658
1442.06/1454.78	c current bound: 658
1443.56/1456.37	c current bound: 658
1445.36/1457.86	c current bound: 658
1446.56/1459.37	c current bound: 658
1448.37/1460.87	c current bound: 658
1449.57/1462.37	c current bound: 658
1451.05/1463.87	c current bound: 658
1452.86/1465.39	c current bound: 658
1454.07/1466.89	c current bound: 658
1455.55/1468.38	c current bound: 658
1457.35/1469.88	c current bound: 658
1458.54/1471.37	c current bound: 658
1460.03/1472.87	c current bound: 658
1461.84/1474.36	c current bound: 658
1463.03/1475.87	c current bound: 658
1464.87/1477.45	c current bound: 658
1466.03/1478.95	c current bound: 658
1467.54/1480.45	c current bound: 658
1469.37/1481.95	c current bound: 658
1470.52/1483.45	c current bound: 658
1472.02/1484.95	c current bound: 658
1473.86/1486.45	c current bound: 658
1475.02/1488.04	c current bound: 658
1476.87/1489.54	c current bound: 658
1478.01/1491.04	c current bound: 658
1479.52/1492.54	c current bound: 658
1481.35/1494.04	c current bound: 658
1482.87/1495.51	c current bound: 658
1483.96/1496.99	c current bound: 658
1485.86/1498.51	c current bound: 658
1487.35/1500.01	c current bound: 658
1488.86/1501.51	c current bound: 658
1490.36/1503.01	c current bound: 658
1491.84/1504.61	c current bound: 658
1493.35/1506.11	c current bound: 658
1494.86/1507.60	c current bound: 658
1495.97/1509.09	c current bound: 658
1497.85/1510.61	c current bound: 658
1499.34/1512.11	c current bound: 658
1500.46/1513.60	c current bound: 658
1501.97/1515.19	c current bound: 658
1503.46/1516.69	c current bound: 658
1505.24/1518.19	c current bound: 658
1506.86/1519.70	c current bound: 658
1508.35/1521.21	c current bound: 658
1509.74/1522.69	c current bound: 658
1511.35/1524.20	c current bound: 658
1512.75/1525.79	c current bound: 658
1513.96/1527.28	c current bound: 658
1515.46/1528.79	c current bound: 658
1517.26/1530.29	c current bound: 658
1518.46/1531.80	c current bound: 658
1520.36/1533.30	c current bound: 658
1521.74/1534.79	c current bound: 658
1522.96/1536.39	c current bound: 658
1524.75/1537.90	c current bound: 658
1526.34/1539.40	c current bound: 658
1527.83/1540.90	c current bound: 658
1529.34/1542.42	c current bound: 658
1530.47/1543.92	c current bound: 658
1531.96/1545.43	c current bound: 658
1533.80/1546.95	c current bound: 658
1534.99/1548.46	c current bound: 658
1536.81/1549.97	c current bound: 658
1537.99/1551.47	c current bound: 658
1539.48/1552.96	c current bound: 658
1541.29/1554.46	c current bound: 658
1542.48/1555.96	c current bound: 658
1543.99/1557.56	c current bound: 658
1545.79/1559.05	c current bound: 658
1546.97/1560.55	c current bound: 658
1548.80/1562.05	c current bound: 658
1549.97/1563.55	c current bound: 658
1551.44/1565.03	c current bound: 658
1553.31/1566.53	c current bound: 658
1554.44/1568.03	c current bound: 658
1555.94/1569.53	c current bound: 658
1557.78/1571.03	c current bound: 658
1558.93/1572.53	c current bound: 658
1560.81/1574.12	c current bound: 658
1562.19/1575.55	c current bound: 658
1563.37/1577.06	c current bound: 658
1565.20/1578.56	c current bound: 658
1566.36/1580.06	c current bound: 658
1567.86/1581.56	c current bound: 658
1569.68/1583.05	c current bound: 658
1570.85/1584.64	c current bound: 658
1572.34/1586.17	c current bound: 658
1574.19/1587.66	c current bound: 658
1575.37/1589.16	c current bound: 658
1577.19/1590.65	c current bound: 658
1578.36/1592.15	c current bound: 658
1579.86/1593.65	c current bound: 658
1581.71/1595.22	c current bound: 658
1582.85/1596.73	c current bound: 658
1584.35/1598.23	c current bound: 658
1586.20/1599.73	c current bound: 658
1587.35/1601.23	c current bound: 658
1589.22/1602.73	c current bound: 658
1590.72/1604.22	c current bound: 658
1592.24/1605.81	c current bound: 658
1593.74/1607.31	c current bound: 658
1595.23/1608.80	c current bound: 658
1596.73/1610.30	c current bound: 658
1598.24/1611.80	c current bound: 658
1599.74/1613.30	c current bound: 658
1601.24/1614.80	c current bound: 658
1602.74/1616.40	c current bound: 658
1604.25/1617.90	c current bound: 658
1605.74/1619.40	c current bound: 658
1607.24/1620.91	c current bound: 658
1608.74/1622.42	c current bound: 658
1610.25/1623.91	c current bound: 658
1611.74/1625.42	c current bound: 658
1613.25/1627.02	c current bound: 658
1614.38/1628.52	c current bound: 658
1616.24/1630.02	c current bound: 658
1617.73/1631.51	c current bound: 658
1619.24/1633.01	c current bound: 658
1620.35/1634.54	c current bound: 658
1622.23/1636.03	c current bound: 658
1623.38/1637.55	c current bound: 658
1625.21/1639.03	c current bound: 658
1626.36/1640.54	c current bound: 658
1627.85/1642.03	c current bound: 658
1629.70/1643.54	c current bound: 658
1630.84/1645.03	c current bound: 658
1632.35/1646.54	c current bound: 658
1634.22/1648.13	c current bound: 658
1635.35/1649.63	c current bound: 658
1637.23/1651.12	c current bound: 658
1638.35/1652.62	c current bound: 658
1640.22/1654.11	c current bound: 658
1641.61/1655.56	c current bound: 658
1642.77/1657.06	c current bound: 658
1644.29/1658.57	c current bound: 658
1646.10/1660.06	c current bound: 658
1647.28/1661.56	c current bound: 658
1648.78/1663.06	c current bound: 658
1650.27/1664.78	c current bound: 658
1651.76/1666.28	c current bound: 658
1653.55/1667.78	c current bound: 658
1654.75/1669.27	c current bound: 658
1656.25/1670.77	c current bound: 658
1658.05/1672.28	c current bound: 658
1659.25/1673.79	c current bound: 658
1661.04/1675.40	c current bound: 658
1662.65/1676.90	c current bound: 658
1664.15/1678.40	c current bound: 658
1665.65/1679.90	c current bound: 658
1667.15/1681.40	c current bound: 658
1668.64/1682.90	c current bound: 658
1670.14/1684.41	c current bound: 658
1671.26/1686.03	c current bound: 658
1673.14/1687.53	c current bound: 658
1674.28/1689.03	c current bound: 658
1676.15/1690.52	c current bound: 658
1677.63/1692.02	c current bound: 658
1678.78/1693.52	c current bound: 658
1680.28/1695.02	c current bound: 658
1681.81/1696.62	c current bound: 658
1683.68/1698.11	c current bound: 658
1685.19/1699.61	c current bound: 658
1686.67/1701.11	c current bound: 658
1688.18/1702.61	c current bound: 658
1689.64/1704.13	c current bound: 658
1690.79/1705.62	c current bound: 658
1692.66/1707.23	c current bound: 658
1693.80/1708.73	c current bound: 658
1695.29/1710.23	c current bound: 658
1697.15/1711.73	c current bound: 658
1698.29/1713.24	c current bound: 658
1699.79/1714.73	c current bound: 658
1701.71/1716.39	c current bound: 658
1702.81/1717.89	c current bound: 658
1704.62/1719.39	c current bound: 658
1705.81/1720.88	c current bound: 658
1707.30/1722.37	c current bound: 658
1709.11/1723.87	c current bound: 658
1710.29/1725.37	c current bound: 658
1711.78/1726.86	c current bound: 658
1713.60/1728.47	c current bound: 658
1714.79/1729.96	c current bound: 658
1716.61/1731.46	c current bound: 658
1717.79/1732.96	c current bound: 658
1719.30/1734.47	c current bound: 658
1721.12/1735.97	c current bound: 658
1722.29/1737.46	c current bound: 658
1723.80/1739.09	c current bound: 658
1725.70/1740.61	c current bound: 658
1727.19/1742.11	c current bound: 658
1728.70/1743.61	c current bound: 658
1729.82/1745.15	c current bound: 658
1731.33/1746.64	c current bound: 658
1733.22/1748.25	c current bound: 658
1734.32/1749.75	c current bound: 658
1736.16/1751.26	c current bound: 658
1737.33/1752.76	c current bound: 658
1738.83/1754.26	c current bound: 658
1740.64/1755.77	c current bound: 658
1741.83/1757.27	c current bound: 658
1743.33/1758.77	c current bound: 658
1745.14/1760.36	c current bound: 658
1746.32/1761.86	c current bound: 658
1748.13/1763.37	c current bound: 658
1749.33/1764.87	c current bound: 658
1750.83/1766.37	c current bound: 658
1752.63/1767.88	c current bound: 658
1753.83/1769.38	c current bound: 658
1755.34/1770.99	c current bound: 658
1756.83/1772.49	c current bound: 658
1758.33/1773.99	c current bound: 658
1760.12/1775.49	c current bound: 658
1761.32/1776.98	c current bound: 658
1762.81/1778.49	c current bound: 658
1764.62/1779.99	c current bound: 658
1765.82/1781.58	c current bound: 658
1767.32/1783.08	c current bound: 658
1769.12/1784.58	c current bound: 658
1770.31/1786.08	c current bound: 658
1772.11/1787.59	c current bound: 658
1773.70/1789.15	c current bound: 658
1774.82/1790.75	c current bound: 658
1776.64/1792.25	c current bound: 658
1777.80/1793.76	c current bound: 658
1779.62/1795.24	c current bound: 658
1780.78/1796.74	c current bound: 658
1782.29/1798.24	c current bound: 658
1784.11/1799.74	c current bound: 658
1785.28/1801.24	c current bound: 658
1786.77/1802.83	c current bound: 658
1788.62/1804.33	c current bound: 658
1789.72/1805.78	c current bound: 658
1791.21/1807.28	c current bound: 658
1793.04/1808.78	c current bound: 658
1794.23/1810.28	c current bound: 658
1796.06/1811.78	c current bound: 658
1796.96/1813.01	c error: unexpected solver exit code
1796.96/1813.01	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-3715679-1338187354/watcher-3715679-1338187354 -o /tmp/evaluation-result-3715679-1338187354/solver-3715679-1338187354 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715679-1338187354.wbo 731786114 HOME HOME 

running on 4 cores: 1,3,5,7

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.73 1.91 1.87 3/179 23814
/proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0

[startup+0.0791441 s]
/proc/loadavg: 1.73 1.91 1.87 3/179 23814
/proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100307 s]
/proc/loadavg: 1.73 1.91 1.87 3/179 23814
/proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300294 s]
/proc/loadavg: 1.73 1.91 1.87 3/179 23814
/proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700143 s]
/proc/loadavg: 1.73 1.91 1.87 3/179 23814
/proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50048 s]
/proc/loadavg: 1.73 1.91 1.87 3/183 23825
/proc/meminfo: memFree=28739472/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=27048 CPUtime=0.67 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 5327 0 0 0 65 2 0 0 20 0 1 0 284860482 27697152 4613 33554432000 4194304 5990268 140735685233744 140735685226896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23815/statm: 6762 4613 156 439 0 6319 0
[pid=23818] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23818/stat : 23818 (cp2_pre.sh) S 23815 23814 18846 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284860550 9367552 277 33554432000 4194304 5064252 140734498463712 140734498462416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 2287 277 234 213 0 72 0
[pid=23821] ppid=23818 vsize=130640 CPUtime=0.81 cores=1,3,5,7
/proc/23821/stat : 23821 (coprocessor) R 23818 23814 18846 0 -1 4202496 23532 0 0 0 76 5 0 0 20 0 1 0 284860550 133775360 31401 33554432000 4194304 6586260 140735715696448 140735715692648 4788884 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/23821/statm: 32660 31401 182 584 0 32072 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 175984

[startup+3.10035 s]
/proc/loadavg: 1.73 1.91 1.87 3/183 23832
/proc/meminfo: memFree=28687016/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=27048 CPUtime=0.67 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 5327 0 0 0 65 2 0 0 20 0 1 0 284860482 27697152 4613 33554432000 4194304 5990268 140735685233744 140735685226896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23815/statm: 6762 4613 156 439 0 6319 0
[pid=23818] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23818/stat : 23818 (cp2_pre.sh) S 23815 23814 18846 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284860550 9367552 277 33554432000 4194304 5064252 140734498463712 140734498462416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 2287 277 234 213 0 72 0
[pid=23821] ppid=23818 vsize=153376 CPUtime=2.4 cores=1,3,5,7
/proc/23821/stat : 23821 (coprocessor) R 23818 23814 18846 0 -1 4202496 26919 0 0 0 235 5 0 0 20 0 1 0 284860550 157057024 37343 33554432000 4194304 6586260 140735715696448 140735715691768 5599216 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/23821/statm: 38344 37343 191 584 0 37756 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 198720

[startup+6.30033 s]
/proc/loadavg: 1.75 1.91 1.87 3/183 23853
/proc/meminfo: memFree=28643968/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=33144 CPUtime=6.28 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) R 23814 23814 18846 0 -1 4202496 6736 49342 0 0 69 17 461 81 20 0 1 0 284860482 33939456 5939 33554432000 4194304 5990268 140735685233744 140735685227472 5177872 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23815/statm: 8286 5939 160 439 0 7843 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42292

[startup+12.7003 s]
/proc/loadavg: 1.85 1.93 1.87 3/184 23939
/proc/meminfo: memFree=28768392/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=12.37 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 22177 140102 0 0 92 23 989 133 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23815/statm: 10420 7802 180 439 0 9977 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 50828

[startup+25.5004 s]
/proc/loadavg: 1.96 1.95 1.88 3/183 24006
/proc/meminfo: memFree=28670684/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=24.32 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 49793 319272 0 0 131 29 2044 228 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23815/statm: 10420 7802 180 439 0 9977 0
[pid=24005] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24005/stat : 24005 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284862957 9367552 267 33554432000 4194304 5064252 140736507218448 140736507217360 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24005/statm: 2287 267 226 213 0 72 0
[pid=24006] ppid=24005 vsize=70656 CPUtime=0.74 cores=1,3,5,7
/proc/24006/stat : 24006 (glucose) R 24005 23814 18846 0 -1 4202496 12298 0 0 0 72 2 0 0 20 0 1 0 284862957 72351744 13333 33554432000 4194304 5208918 140735565284624 140735565283032 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24006/statm: 17664 13333 103 248 0 17413 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 130632

[startup+51.1004 s]
/proc/loadavg: 1.91 1.94 1.88 3/183 24125
/proc/meminfo: memFree=28657632/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=49.75 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 108477 705880 0 0 213 42 4292 428 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/23815/statm: 10420 7802 180 439 0 9977 0
[pid=24124] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24124/stat : 24124 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284865517 9367552 267 33554432000 4194304 5064252 140733744064016 140733744062928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24124/statm: 2287 267 226 213 0 72 0
[pid=24125] ppid=24124 vsize=70656 CPUtime=0.74 cores=1,3,5,7
/proc/24125/stat : 24125 (glucose) R 24124 23814 18846 0 -1 4202496 12824 0 0 0 71 3 0 0 20 0 1 0 284865518 72351744 13747 33554432000 4194304 5208918 140737258826336 140737258824184 4212192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24125/statm: 17664 13747 103 248 0 17413 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 130632

[startup+102.307 s]
/proc/loadavg: 1.97 1.94 1.88 3/183 24370
/proc/meminfo: memFree=28684172/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=100.64 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 225845 1479691 0 0 376 71 8773 844 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 21 0 0
/proc/23815/statm: 10420 7802 180 439 0 9977 0
[pid=24369] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24369/stat : 24369 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284870649 9367552 267 33554432000 4194304 5064252 140736869927312 140736869926224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24369/statm: 2287 267 226 213 0 72 0
[pid=24370] ppid=24369 vsize=69992 CPUtime=0.62 cores=1,3,5,7
/proc/24370/stat : 24370 (glucose) R 24369 23814 18846 0 -1 4202496 12590 0 0 0 60 2 0 0 20 0 1 0 284870650 71671808 13520 33554432000 4194304 5208918 140737103155280 140737103153224 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24370/statm: 17498 13520 103 248 0 17247 0
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (KiB) 129968

[startup+162.3 s]
/proc/loadavg: 2.05 1.98 1.90 3/183 24646
/proc/meminfo: memFree=28650404/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=160.54 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 363925 2388325 0 0 570 101 14057 1326 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0
/proc/23815/statm: 10420 7802 180 439 0 9977 0
Current children cumulated CPU time (s) 160.54
Current children cumulated vsize (KiB) 50828

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/183 24933
/proc/meminfo: memFree=28640084/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=220.41 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 502005 3296113 0 0 762 132 19338 1809 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0
/proc/23815/statm: 10420 7802 180 439 0 9977 0
Current children cumulated CPU time (s) 220.41

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

/proc/31131/stat : 31131 (glucose) R 31130 23814 18846 0 -1 4202496 13916 0 0 0 94 2 0 0 20 0 1 0 285013215 73678848 13816 33554432000 4194304 5208918 140737017501712 140737017499656 4341484 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31131/statm: 17988 13816 103 248 0 17737 0
Current children cumulated CPU time (s) 1515.35
Current children cumulated vsize (KiB) 131928

[startup+1528.4 s]
/proc/loadavg: 2.00 2.01 1.98 3/183 31131
/proc/meminfo: memFree=28653164/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=1514.39 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) R 23814 23814 18846 0 -1 4202496 3195784 22937147 0 0 4903 792 133510 12234 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 0 0 0 17 5 0 0 479 0 0
/proc/23815/statm: 10420 7928 180 439 0 9977 0
Current children cumulated CPU time (s) 1514.39
Current children cumulated vsize (KiB) 50828
#
############


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/184 31197
/proc/meminfo: memFree=28657280/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=1528.95 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3223394 23155458 0 0 4946 799 134805 12345 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685224640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 483 0 0
/proc/23815/statm: 10420 7928 180 439 0 9977 0
[pid=31195] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31195/stat : 31195 (cp2_post.sh) S 23815 23814 18846 0 -1 4202496 612 225 0 0 0 0 0 0 20 0 1 0 285014684 9367552 266 33554432000 4194304 5064252 140735059732352 140735059730640 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31195/statm: 2287 266 225 213 0 72 0
[pid=31197] ppid=31195 vsize=52872 CPUtime=0.28 cores=1,3,5,7
/proc/31197/stat : 31197 (coprocessor) R 31195 23814 18846 0 -1 4202496 7384 0 0 0 23 5 0 0 20 0 1 0 285014684 54140928 12167 33554432000 4194304 6586260 140737304871872 140735059730664 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/31197/statm: 13218 12167 149 584 0 12630 0
Current children cumulated CPU time (s) 1529.23
Current children cumulated vsize (KiB) 112848

[startup+1602.3 s]
/proc/loadavg: 1.94 1.99 1.97 3/183 31481
/proc/meminfo: memFree=28650992/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=1587.79 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3346067 24052510 0 0 5137 829 139998 12815 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 497 0 0
/proc/23815/statm: 10420 7928 180 439 0 9977 0
[pid=31480] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31480/stat : 31480 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285020609 9367552 267 33554432000 4194304 5064252 140736712761808 140736712760720 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31480/statm: 2287 267 226 213 0 72 0
[pid=31481] ppid=31480 vsize=72180 CPUtime=1.01 cores=1,3,5,7
/proc/31481/stat : 31481 (glucose) R 31480 23814 18846 0 -1 4202496 13339 0 0 0 98 3 0 0 20 0 1 0 285020610 73912320 14262 33554432000 4194304 5208918 140734990456608 140734990454552 4607488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31481/statm: 18045 14262 105 248 0 17794 0
Current children cumulated CPU time (s) 1588.8
Current children cumulated vsize (KiB) 132156

[startup+1662.3 s]
/proc/loadavg: 1.98 1.99 1.97 3/184 31771
/proc/meminfo: memFree=28682232/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=1647.71 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3468747 24952040 0 0 5330 859 145286 13296 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 513 0 0
/proc/23815/statm: 10420 7928 180 439 0 9977 0
[pid=31770] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31770/stat : 31770 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 285026642 9367552 266 33554432000 4194304 5064252 140734051646224 140734051645136 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31770/statm: 2287 266 226 213 0 72 0
[pid=31771] ppid=31770 vsize=70652 CPUtime=0.68 cores=1,3,5,7
/proc/31771/stat : 31771 (glucose) R 31770 23814 18846 0 -1 4202496 12884 0 0 0 66 2 0 0 20 0 1 0 285026643 72347648 13305 33554432000 4194304 5208918 140736613423200 140736613421048 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31771/statm: 17663 13306 103 248 0 17412 0
Current children cumulated CPU time (s) 1648.39
Current children cumulated vsize (KiB) 130628

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 1.98 3/183 32044
/proc/meminfo: memFree=28641476/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=1707.3 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3588367 25852664 0 0 5517 887 150553 13773 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685224640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 540 0 0
/proc/23815/statm: 10420 7928 180 439 0 9977 0
Current children cumulated CPU time (s) 1707.3
Current children cumulated vsize (KiB) 50828

[startup+1782.3 s]
/proc/loadavg: 2.10 2.02 1.98 3/183 32331
/proc/meminfo: memFree=28651436/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=1766.26 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3711040 26746236 0 0 5707 918 155751 14250 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 562 0 0
/proc/23815/statm: 10420 7928 180 439 0 9977 0
[pid=32330] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32330/stat : 32330 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285038644 9367552 267 33554432000 4194304 5064252 140737160033648 140737160032560 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32330/statm: 2287 267 226 213 0 72 0
[pid=32331] ppid=32330 vsize=69992 CPUtime=0.66 cores=1,3,5,7
/proc/32331/stat : 32331 (glucose) R 32330 23814 18846 0 -1 4202496 12169 0 0 0 64 2 0 0 20 0 1 0 285038645 71671808 13155 33554432000 4194304 5208918 140736768444576 140736768442424 4229757 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32331/statm: 17498 13155 103 248 0 17247 0
Current children cumulated CPU time (s) 1766.92
Current children cumulated vsize (KiB) 129968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813 s]
/proc/loadavg: 2.06 2.02 1.98 3/183 32705
/proc/meminfo: memFree=28770644/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=1796.18 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3772380 27204851 0 0 5803 933 158390 14492 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 579 0 0
/proc/23815/statm: 10420 7928 180 439 0 9977 0
[pid=32666] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32666/stat : 32666 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285041677 9367552 266 33554432000 4194304 5064252 140734442859520 140734442858432 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32666/statm: 2287 266 226 213 0 72 0
[pid=32667] ppid=32666 vsize=70656 CPUtime=0.78 cores=1,3,5,7
/proc/32667/stat : 32667 (glucose) R 32666 23814 18846 0 -1 4202496 12307 0 0 0 76 2 0 0 20 0 1 0 285041677 72351744 13350 33554432000 4194304 5208918 140735262999840 140735262997784 4465602 0 0 4096 0 0 0 0 17 1 0 0 25 0 0
/proc/32667/statm: 17664 13350 103 248 0 17413 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 130632

Sending SIGTERM to process tree (bottom up)

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

[startup+1813 s]
/proc/loadavg: 2.06 2.02 1.98 3/183 32705
/proc/meminfo: memFree=28770644/32873844 swapFree=7116/7116
[pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23814/statm: 2287 274 233 213 0 72 0
[pid=23815] ppid=23814 vsize=41680 CPUtime=1796.18 cores=1,3,5,7
/proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3772380 27204851 0 0 5803 933 158390 14492 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 579 0 0
/proc/23815/statm: 10420 7928 180 439 0 9977 0
[pid=32666] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32666/stat : 32666 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285041677 9367552 266 33554432000 4194304 5064252 140734442859520 140734442858432 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32666/statm: 2287 266 226 213 0 72 0
[pid=32667] ppid=32666 vsize=70656 CPUtime=0.78 cores=1,3,5,7
/proc/32667/stat : 32667 (glucose) R 32666 23814 18846 0 -1 4202496 12307 0 0 0 76 2 0 0 20 0 1 0 285041677 72351744 13350 33554432000 4194304 5208918 140735262999840 140735262997784 4465602 0 0 4096 0 0 0 0 17 1 0 0 25 0 0
/proc/32667/statm: 17664 13350 103 248 0 17413 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 130632

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23814 and gives
#  childrusage.ru_utime.tv_sec=1641
#  childrusage.ru_utime.tv_usec=939387
#  childrusage.ru_stime.tv_sec=154
#  childrusage.ru_stime.tv_usec=264548
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1796.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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): 3.11993
#  lost CPU user time (s): 3.02994
#  lost CPU system time (s): 0.090004

Real time (s): 1813.01
CPU time (s): 1800.08
CPU user time (s): 1645.72
CPU system time (s): 154.36
CPU usage (%): 99.2866
Max. virtual memory (cumulated for all children) (KiB): 233464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1641.94
system time used= 154.265
maximum resident set size= 183336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30978205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22194024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 673679
involuntary context switches= 20387

runsolver used 3.2565 second user time and 9.14061 second system time

The end

Launcher Data

Begin job on node138 at 2012-05-28 08:42:34
IDJOB=3715679
IDBENCH=78741
IDSOLVER=2297
FILE ID=node138/3715679-1338187354
RUNJOBID= node138-1338160170-18863
PBS_JOBID= 14624560
Free space on /tmp= 71480 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715679-1338187354/watcher-3715679-1338187354 -o /tmp/evaluation-result-3715679-1338187354/solver-3715679-1338187354 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715679-1338187354.wbo 731786114 HOME HOME

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

MD5SUM BENCH= 8ea1de4cad02f20126bf15704ca9ee6a
RANDOM SEED=731786114

node138.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.347
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.69
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.347
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		: 2667.347
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.91
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.347
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.347
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.91
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.347
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.347
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.92
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.347
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:        28863196 kB
Buffers:          620196 kB
Cached:          2446576 kB
SwapCached:          208 kB
Active:          1170052 kB
Inactive:        1947088 kB
Active(anon):      35124 kB
Inactive(anon):    11368 kB
Active(file):    1134928 kB
Inactive(file):  1935720 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             10240 kB
Writeback:             4 kB
AnonPages:         50888 kB
Mapped:            15424 kB
Shmem:               200 kB
Slab:             753944 kB
SReclaimable:     195112 kB
SUnreclaim:       558832 kB
KernelStack:        1552 kB
PageTables:         4112 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     166392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 71460 MiB
End job on node138 at 2012-05-28 09:12:47