Trace number 3753190

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 (fixed)? (TO) 1800.12 1801.62

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM8d28474a5cb37d0277ef3e3fb6ddbee0
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark0.091985
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables400
Total number of constraints60
Number of soft constraints60
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint20
Top cost 2653
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 2652
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c run usual solver
0.00/0.37	o 857
0.00/0.37	c starting approximation
0.00/0.37	c factor = 2
0.00/0.37	c current bound: 428
1.77/1.86	c current bound: 428
3.28/3.34	c current bound: 428
4.67/4.79	c current bound: 428
6.16/6.24	c current bound: 428
7.56/7.69	c current bound: 428
9.06/9.15	c current bound: 428
10.57/10.63	c current bound: 428
11.97/12.08	c current bound: 428
13.46/13.57	c current bound: 428
14.95/15.06	c current bound: 428
16.46/16.50	c current bound: 428
17.85/17.99	c current bound: 428
19.37/19.43	c current bound: 428
20.84/20.91	c current bound: 428
22.24/22.38	c current bound: 428
23.75/23.84	c current bound: 428
25.25/25.33	c current bound: 428
26.64/26.76	c current bound: 428
28.15/28.22	c current bound: 428
29.54/29.70	c current bound: 428
31.04/31.17	c current bound: 428
32.45/32.59	c current bound: 428
33.96/34.02	c current bound: 428
35.34/35.49	c current bound: 428
36.85/36.95	c current bound: 428
38.25/38.39	c current bound: 428
39.75/39.82	c current bound: 428
41.22/41.30	c current bound: 428
42.66/42.74	c current bound: 428
44.06/44.19	c current bound: 428
45.56/45.63	c current bound: 428
46.95/47.09	c current bound: 428
48.46/48.55	c current bound: 428
49.94/50.05	c current bound: 428
51.32/51.48	c current bound: 428
52.85/52.93	c current bound: 428
54.31/54.40	c current bound: 428
55.73/55.86	c current bound: 428
57.24/57.34	c current bound: 428
58.63/58.78	c current bound: 428
60.11/60.25	c current bound: 428
61.52/61.68	c current bound: 428
63.03/63.16	c current bound: 428
64.51/64.61	c current bound: 428
65.92/66.04	c current bound: 428
67.40/67.50	c current bound: 428
68.82/68.95	c current bound: 428
70.33/70.41	c current bound: 428
71.72/71.86	c current bound: 428
73.13/73.29	c current bound: 428
74.61/74.72	c current bound: 428
76.02/76.15	c current bound: 428
77.51/77.61	c current bound: 428
78.93/79.07	c current bound: 428
80.44/80.53	c current bound: 428
81.83/81.97	c current bound: 428
83.33/83.44	c current bound: 428
84.82/84.93	c current bound: 428
86.20/86.40	c current bound: 428
87.70/87.87	c current bound: 428
89.20/89.34	c current bound: 428
90.59/90.79	c current bound: 428
92.11/92.23	c current bound: 428
93.51/93.68	c current bound: 428
95.01/95.14	c current bound: 428
96.39/96.59	c current bound: 428
97.90/98.07	c current bound: 428
99.41/99.53	c current bound: 428
100.81/100.99	c current bound: 428
102.32/102.46	c current bound: 428
103.79/103.91	c current bound: 428
105.20/105.39	c current bound: 428
106.69/106.82	c current bound: 428
108.09/108.28	c current bound: 428
109.60/109.76	c current bound: 428
111.10/111.22	c current bound: 428
112.49/112.66	c current bound: 428
113.97/114.10	c current bound: 428
115.39/115.53	c current bound: 428
116.78/116.99	c current bound: 428
118.30/118.47	c current bound: 428
119.82/119.93	c current bound: 428
121.28/121.40	c current bound: 428
122.70/122.87	c current bound: 428
124.20/124.32	c current bound: 428
125.60/125.77	c current bound: 428
127.07/127.20	c current bound: 428
128.49/128.66	c current bound: 428
129.99/130.14	c current bound: 428
131.47/131.61	c current bound: 428
132.89/133.08	c current bound: 428
134.38/134.51	c current bound: 428
135.77/135.99	c current bound: 428
137.28/137.47	c current bound: 428
138.68/138.89	c current bound: 428
140.17/140.35	c current bound: 428
141.57/141.79	c current bound: 428
143.10/143.23	c current bound: 428
144.49/144.66	c current bound: 428
145.98/146.12	c current bound: 428
147.40/147.60	c current bound: 428
148.88/149.06	c current bound: 428
150.37/150.50	c current bound: 428
151.76/151.93	c current bound: 428
153.17/153.39	c current bound: 428
154.67/154.83	c current bound: 428
156.18/156.30	c current bound: 428
157.56/157.78	c current bound: 428
159.04/159.21	c current bound: 428
160.47/160.67	c current bound: 428
161.97/162.14	c current bound: 428
163.37/163.57	c current bound: 428
164.87/165.03	c current bound: 428
166.26/166.48	c current bound: 428
167.76/167.95	c current bound: 428
169.27/169.43	c current bound: 428
170.65/170.89	c current bound: 428
172.14/172.30	c current bound: 428
173.57/173.75	c current bound: 428
175.07/175.23	c current bound: 428
176.46/176.67	c current bound: 428
177.95/178.14	c current bound: 428
179.37/179.60	c current bound: 428
180.86/181.07	c current bound: 428
182.33/182.51	c current bound: 428
183.75/183.99	c current bound: 428
185.23/185.45	c current bound: 428
186.74/186.91	c current bound: 428
188.15/188.36	c current bound: 428
189.62/189.80	c current bound: 428
191.05/191.26	c current bound: 428
192.54/192.74	c current bound: 428
194.04/194.22	c current bound: 428
195.44/195.67	c current bound: 428
196.93/197.10	c current bound: 428
198.35/198.56	c current bound: 428
199.85/200.03	c current bound: 428
201.26/201.49	c current bound: 428
202.75/202.96	c current bound: 428
204.24/204.42	c current bound: 428
205.66/205.84	c current bound: 428
207.05/207.27	c current bound: 428
208.54/208.74	c current bound: 428
209.94/210.17	c current bound: 428
211.42/211.60	c current bound: 428
212.84/213.04	c current bound: 428
214.25/214.47	c current bound: 428
215.75/215.95	c current bound: 428
217.23/217.41	c current bound: 428
218.65/218.86	c current bound: 428
220.15/220.33	c current bound: 428
221.63/221.80	c current bound: 428
223.04/223.27	c current bound: 428
224.51/224.70	c current bound: 428
225.95/226.13	c current bound: 428
227.33/227.58	c current bound: 428
228.85/229.06	c current bound: 428
230.34/230.52	c current bound: 428
231.74/231.95	c current bound: 428
233.15/233.38	c current bound: 428
234.63/234.85	c current bound: 428
236.03/236.28	c current bound: 428
237.56/237.74	c current bound: 428
238.93/239.17	c current bound: 428
240.44/240.65	c current bound: 428
241.94/242.14	c current bound: 428
243.42/243.61	c current bound: 428
244.83/245.07	c current bound: 428
246.33/246.53	c current bound: 428
247.82/248.03	c current bound: 428
249.22/249.45	c current bound: 428
250.71/250.91	c current bound: 428
252.11/252.37	c current bound: 428
253.63/253.83	c current bound: 428
255.02/255.29	c current bound: 428
256.51/256.75	c current bound: 428
257.91/258.20	c current bound: 428
259.43/259.67	c current bound: 428
260.92/261.14	c current bound: 428
262.41/262.61	c current bound: 428
263.84/264.08	c current bound: 428
265.32/265.54	c current bound: 428
266.81/267.01	c current bound: 428
268.23/268.46	c current bound: 428
269.71/269.92	c current bound: 428
271.12/271.39	c current bound: 428
272.63/272.84	c current bound: 428
274.11/274.30	c current bound: 428
275.53/275.74	c current bound: 428
277.03/277.21	c current bound: 428
278.42/278.64	c current bound: 428
279.92/280.11	c current bound: 428
281.33/281.55	c current bound: 428
282.82/283.02	c current bound: 428
284.22/284.48	c current bound: 428
285.71/285.97	c current bound: 428
287.21/287.44	c current bound: 428
288.71/288.92	c current bound: 428
290.10/290.38	c current bound: 428
291.61/291.84	c current bound: 428
293.11/293.32	c current bound: 428
294.60/294.82	c current bound: 428
296.00/296.28	c current bound: 428
297.50/297.74	c current bound: 428
298.91/299.17	c current bound: 428
300.41/300.64	c current bound: 428
301.91/302.10	c current bound: 428
303.32/303.54	c current bound: 428
304.71/304.97	c current bound: 428
306.20/306.41	c current bound: 428
307.61/307.87	c current bound: 428
309.08/309.30	c current bound: 428
310.49/310.76	c current bound: 428
312.00/312.23	c current bound: 428
313.41/313.67	c current bound: 428
314.90/315.15	c current bound: 428
316.40/316.63	c current bound: 428
317.80/318.09	c current bound: 428
319.30/319.57	c current bound: 428
320.80/321.05	c current bound: 428
322.28/322.51	c current bound: 428
323.70/323.96	c current bound: 428
325.19/325.43	c current bound: 428
326.59/326.89	c current bound: 428
328.08/328.33	c current bound: 428
329.47/329.76	c current bound: 428
330.88/331.19	c current bound: 428
332.38/332.65	c current bound: 428
333.87/334.11	c current bound: 428
335.28/335.55	c current bound: 428
336.75/337.00	c current bound: 428
338.18/338.43	c current bound: 428
339.58/339.88	c current bound: 428
341.07/341.35	c current bound: 428
342.48/342.77	c current bound: 428
343.97/344.24	c current bound: 428
345.37/345.69	c current bound: 428
346.87/347.17	c current bound: 428
348.39/348.63	c current bound: 428
349.77/350.06	c current bound: 428
351.28/351.52	c current bound: 428
352.66/352.99	c current bound: 428
354.16/354.42	c current bound: 428
355.56/355.89	c current bound: 428
357.09/357.33	c current bound: 428
358.54/358.80	c current bound: 428
359.97/360.22	c current bound: 428
361.37/361.68	c current bound: 428
362.86/363.14	c current bound: 428
364.35/364.61	c current bound: 428
365.76/366.07	c current bound: 428
367.27/367.52	c current bound: 428
368.75/369.01	c current bound: 428
370.16/370.49	c current bound: 428
371.67/371.93	c current bound: 428
373.15/373.40	c current bound: 428
374.57/374.87	c current bound: 428
376.06/376.32	c current bound: 428
377.54/377.81	c current bound: 428
378.95/379.28	c current bound: 428
380.46/380.77	c current bound: 428
381.95/382.24	c current bound: 428
383.44/383.72	c current bound: 428
384.86/385.16	c current bound: 428
386.25/386.59	c current bound: 428
387.75/388.03	c current bound: 428
389.23/389.51	c current bound: 428
390.66/390.99	c current bound: 428
392.16/392.45	c current bound: 428
393.56/393.89	c current bound: 428
395.06/395.36	c current bound: 428
396.55/396.82	c current bound: 428
397.95/398.25	c current bound: 428
399.44/399.72	c current bound: 428
400.83/401.17	c current bound: 428
402.35/402.65	c current bound: 428
403.84/404.14	c current bound: 428
405.32/405.60	c current bound: 428
406.75/407.07	c current bound: 428
408.24/408.55	c current bound: 428
409.73/410.02	c current bound: 428
411.14/411.47	c current bound: 428
412.62/412.96	c current bound: 428
414.10/414.40	c current bound: 428
415.53/415.85	c current bound: 428
417.02/417.34	c current bound: 428
418.43/418.79	c current bound: 428
419.92/420.25	c current bound: 428
421.42/421.73	c current bound: 428
422.90/423.21	c current bound: 428
424.39/424.70	c current bound: 428
425.81/426.15	c current bound: 428
427.30/427.62	c current bound: 428
428.70/429.09	c current bound: 428
430.19/430.58	c current bound: 428
431.69/432.05	c current bound: 428
433.09/433.48	c current bound: 428
434.59/434.96	c current bound: 428
436.07/436.44	c current bound: 428
437.59/437.93	c current bound: 428
439.07/439.42	c current bound: 428
440.48/440.88	c current bound: 428
442.00/442.34	c current bound: 428
443.47/443.82	c current bound: 428
444.87/445.28	c current bound: 428
446.37/446.71	c current bound: 428
447.78/448.16	c current bound: 428
449.29/449.64	c current bound: 428
450.69/451.07	c current bound: 428
452.19/452.53	c current bound: 428
453.56/453.96	c current bound: 428
455.08/455.43	c current bound: 428
456.48/456.88	c current bound: 428
457.97/458.35	c current bound: 428
459.48/459.82	c current bound: 428
460.86/461.28	c current bound: 428
462.35/462.70	c current bound: 428
463.77/464.13	c current bound: 428
465.16/465.59	c current bound: 428
466.67/467.06	c current bound: 428
468.15/468.52	c current bound: 428
469.56/469.97	c current bound: 428
471.07/471.43	c current bound: 428
472.54/472.91	c current bound: 428
473.95/474.38	c current bound: 428
475.45/475.85	c current bound: 428
476.85/477.29	c current bound: 428
478.35/478.75	c current bound: 428
479.85/480.22	c current bound: 428
481.26/481.68	c current bound: 428
482.76/483.14	c current bound: 428
484.24/484.61	c current bound: 428
485.65/486.09	c current bound: 428
487.16/487.54	c current bound: 428
488.66/489.00	c current bound: 428
490.03/490.48	c current bound: 428
491.53/491.91	c current bound: 428
492.93/493.35	c current bound: 428
494.43/494.81	c current bound: 428
495.86/496.25	c current bound: 428
497.24/497.69	c current bound: 428
498.74/499.18	c current bound: 428
500.26/500.61	c current bound: 428
501.64/502.09	c current bound: 428
503.13/503.59	c current bound: 428
504.64/505.05	c current bound: 428
506.13/506.51	c current bound: 428
507.65/508.00	c current bound: 428
509.04/509.47	c current bound: 428
510.54/510.98	c current bound: 428
512.03/512.46	c current bound: 428
513.54/513.95	c current bound: 428
515.01/515.41	c current bound: 428
516.54/516.90	c current bound: 428
517.93/518.39	c current bound: 428
519.42/519.85	c current bound: 428
520.93/521.33	c current bound: 428
522.43/522.83	c current bound: 428
523.91/524.32	c current bound: 428
525.31/525.80	c current bound: 428
526.82/527.29	c current bound: 428
528.30/528.77	c current bound: 428
529.80/530.22	c current bound: 428
531.21/531.65	c current bound: 428
532.70/533.11	c current bound: 428
534.10/534.57	c current bound: 428
535.59/536.05	c current bound: 428
537.08/537.52	c current bound: 428
538.50/538.97	c current bound: 428
540.00/540.47	c current bound: 428
541.49/541.91	c current bound: 428
542.90/543.37	c current bound: 428
544.38/544.80	c current bound: 428
545.80/546.24	c current bound: 428
547.20/547.66	c current bound: 428
548.61/549.08	c current bound: 428
550.10/550.55	c current bound: 428
551.59/552.01	c current bound: 428
553.00/553.49	c current bound: 428
554.49/554.95	c current bound: 428
555.99/556.42	c current bound: 428
557.40/557.89	c current bound: 428
558.88/559.35	c current bound: 428
560.39/560.81	c current bound: 428
561.79/562.28	c current bound: 428
563.29/563.74	c current bound: 428
564.70/565.18	c current bound: 428
566.21/566.64	c current bound: 428
567.58/568.07	c current bound: 428
569.08/569.51	c current bound: 428
570.49/570.97	c current bound: 428
571.88/572.39	c current bound: 428
573.38/573.85	c current bound: 428
574.89/575.31	c current bound: 428
576.28/576.79	c current bound: 428
577.78/578.22	c current bound: 428
579.18/579.70	c current bound: 428
580.68/581.16	c current bound: 428
582.08/582.59	c current bound: 428
583.58/584.02	c current bound: 428
584.98/585.49	c current bound: 428
586.48/586.95	c current bound: 428
587.98/588.42	c current bound: 428
589.38/589.89	c current bound: 428
590.86/591.32	c current bound: 428
592.28/592.75	c current bound: 428
593.67/594.19	c current bound: 428
595.17/595.67	c current bound: 428
596.66/597.16	c current bound: 428
598.16/598.62	c current bound: 428
599.56/600.08	c current bound: 428
601.06/601.51	c current bound: 428
602.57/603.01	c current bound: 428
603.94/604.45	c current bound: 428
605.46/605.93	c current bound: 428
606.87/607.39	c current bound: 428
608.35/608.82	c current bound: 428
609.83/610.30	c current bound: 428
611.27/611.74	c current bound: 428
612.74/613.21	c current bound: 428
614.16/614.68	c current bound: 428
615.67/616.14	c current bound: 428
617.13/617.61	c current bound: 428
618.56/619.07	c current bound: 428
620.07/620.54	c current bound: 428
621.45/621.96	c current bound: 428
622.85/623.39	c current bound: 428
624.36/624.86	c current bound: 428
625.73/626.29	c current bound: 428
627.24/627.75	c current bound: 428
628.65/629.18	c current bound: 428
630.14/630.67	c current bound: 428
631.65/632.13	c current bound: 428
633.04/633.57	c current bound: 428
634.55/635.04	c current bound: 428
636.04/636.53	c current bound: 428
637.43/637.98	c current bound: 428
638.92/639.45	c current bound: 428
640.41/640.91	c current bound: 428
641.82/642.34	c current bound: 428
643.22/643.79	c current bound: 428
644.73/645.27	c current bound: 428
646.23/646.73	c current bound: 428
647.61/648.19	c current bound: 428
649.11/649.62	c current bound: 428
650.52/651.06	c current bound: 428
652.02/652.54	c current bound: 428
653.49/654.00	c current bound: 428
654.92/655.46	c current bound: 428
656.42/656.95	c current bound: 428
657.81/658.38	c current bound: 428
659.30/659.85	c current bound: 428
660.73/661.28	c current bound: 428
662.22/662.71	c current bound: 428
663.63/664.18	c current bound: 428
665.13/665.66	c current bound: 428
666.62/667.12	c current bound: 428
668.11/668.61	c current bound: 428
669.53/670.07	c current bound: 428
671.02/671.53	c current bound: 428
672.41/672.98	c current bound: 428
673.91/674.45	c current bound: 428
675.38/675.91	c current bound: 428
676.79/677.37	c current bound: 428
678.31/678.82	c current bound: 428
679.79/680.30	c current bound: 428
681.19/681.73	c current bound: 428
682.60/683.19	c current bound: 428
684.10/684.62	c current bound: 428
685.50/686.08	c current bound: 428
687.01/687.52	c current bound: 428
688.47/689.00	c current bound: 428
689.89/690.46	c current bound: 428
691.42/691.94	c current bound: 428
692.89/693.41	c current bound: 428
694.30/694.84	c current bound: 428
695.81/696.30	c current bound: 428
697.20/697.77	c current bound: 428
698.59/699.20	c current bound: 428
700.09/700.62	c current bound: 428
701.50/702.08	c current bound: 428
702.99/703.57	c current bound: 428
704.49/705.02	c current bound: 428
705.89/706.46	c current bound: 428
707.39/707.94	c current bound: 428
708.80/709.36	c current bound: 428
710.30/710.80	c current bound: 428
711.68/712.22	c current bound: 428
713.09/713.68	c current bound: 428
714.60/715.16	c current bound: 428
716.09/716.62	c current bound: 428
717.49/718.08	c current bound: 428
719.00/719.56	c current bound: 428
720.38/720.99	c current bound: 428
721.89/722.46	c current bound: 428
723.37/723.91	c current bound: 428
724.79/725.35	c current bound: 428
726.18/726.79	c current bound: 428
727.68/728.27	c current bound: 428
729.18/729.74	c current bound: 428
730.67/731.21	c current bound: 428
732.10/732.63	c current bound: 428
733.48/734.09	c current bound: 428
734.97/735.57	c current bound: 428
736.49/737.05	c current bound: 428
737.87/738.49	c current bound: 428
739.38/739.95	c current bound: 428
740.87/741.41	c current bound: 428
742.26/742.84	c current bound: 428
743.68/744.27	c current bound: 428
745.17/745.75	c current bound: 428
746.57/747.18	c current bound: 428
748.07/748.64	c current bound: 428
749.55/750.10	c current bound: 428
750.97/751.55	c current bound: 428
752.46/753.02	c current bound: 428
753.95/754.50	c current bound: 428
755.37/755.93	c current bound: 428
756.76/757.39	c current bound: 428
758.26/758.84	c current bound: 428
759.75/760.30	c current bound: 428
761.17/761.73	c current bound: 428
762.57/763.19	c current bound: 428
764.06/764.61	c current bound: 428
765.47/766.06	c current bound: 428
766.87/767.49	c current bound: 428
768.39/768.95	c current bound: 428
769.87/770.42	c current bound: 428
771.27/771.89	c current bound: 428
772.78/773.34	c current bound: 428
774.25/774.81	c current bound: 428
775.66/776.28	c current bound: 428
777.19/777.70	c current bound: 428
778.65/779.20	c current bound: 428
780.08/780.63	c current bound: 428
781.57/782.11	c current bound: 428
782.96/783.57	c current bound: 428
784.45/785.00	c current bound: 428
785.87/786.44	c current bound: 428
787.28/787.88	c current bound: 428
788.74/789.31	c current bound: 428
790.17/790.73	c current bound: 428
791.58/792.16	c current bound: 428
793.07/793.63	c current bound: 428
794.46/795.09	c current bound: 428
795.98/796.57	c current bound: 428
797.44/798.00	c current bound: 428
798.87/799.48	c current bound: 428
800.37/800.95	c current bound: 428
801.87/802.42	c current bound: 428
803.35/803.90	c current bound: 428
804.78/805.37	c current bound: 428
806.27/806.83	c current bound: 428
807.75/808.30	c current bound: 428
809.16/809.76	c current bound: 428
810.55/811.19	c current bound: 428
812.08/812.66	c current bound: 428
813.47/814.09	c current bound: 428
814.96/815.55	c current bound: 428
816.46/817.02	c current bound: 428
817.87/818.50	c current bound: 428
819.36/819.96	c current bound: 428
820.85/821.41	c current bound: 428
822.28/822.86	c current bound: 428
823.67/824.29	c current bound: 428
825.16/825.75	c current bound: 428
826.67/827.22	c current bound: 428
828.07/828.65	c current bound: 428
829.55/830.11	c current bound: 428
830.96/831.54	c current bound: 428
832.44/833.01	c current bound: 428
833.87/834.49	c current bound: 428
835.36/835.97	c current bound: 428
836.82/837.42	c current bound: 428
838.22/838.88	c current bound: 428
839.72/840.32	c current bound: 428
841.13/841.75	c current bound: 428
842.52/843.19	c current bound: 428
844.02/844.62	c current bound: 428
845.43/846.05	c current bound: 428
846.92/847.51	c current bound: 428
848.34/848.97	c current bound: 428
849.83/850.43	c current bound: 428
851.32/851.91	c current bound: 428
852.73/853.34	c current bound: 428
854.12/854.80	c current bound: 428
855.62/856.25	c current bound: 428
857.11/857.71	c current bound: 428
858.53/859.15	c current bound: 428
859.94/860.59	c current bound: 428
861.42/862.07	c current bound: 428
862.94/863.53	c current bound: 428
864.31/864.97	c current bound: 428
865.83/866.43	c current bound: 428
867.22/867.87	c current bound: 428
868.70/869.30	c current bound: 428
870.14/870.73	c current bound: 428
871.52/872.16	c current bound: 428
872.92/873.57	c current bound: 428
874.43/875.03	c current bound: 428
875.80/876.46	c current bound: 428
877.32/877.92	c current bound: 428
878.83/879.40	c current bound: 428
880.21/880.84	c current bound: 428
881.72/882.32	c current bound: 428
883.12/883.75	c current bound: 428
884.61/885.22	c current bound: 428
886.02/886.66	c current bound: 428
887.51/888.12	c current bound: 428
888.91/889.58	c current bound: 428
890.43/891.02	c current bound: 428
891.83/892.47	c current bound: 428
893.29/893.91	c current bound: 428
894.69/895.34	c current bound: 428
896.18/896.81	c current bound: 428
897.59/898.27	c current bound: 428
899.11/899.73	c current bound: 428
900.58/901.20	c current bound: 428
902.01/902.67	c current bound: 428
903.47/904.10	c current bound: 428
904.89/905.56	c current bound: 428
906.29/906.99	c current bound: 428
907.78/908.44	c current bound: 428
909.28/909.90	c current bound: 428
910.70/911.38	c current bound: 428
912.19/912.84	c current bound: 428
913.59/914.28	c current bound: 428
915.07/915.71	c current bound: 428
916.48/917.14	c current bound: 428
917.98/918.61	c current bound: 428
919.40/920.05	c current bound: 428
920.78/921.47	c current bound: 428
922.29/922.93	c current bound: 428
923.66/924.38	c current bound: 428
925.16/925.84	c current bound: 428
926.56/927.30	c current bound: 428
928.06/928.77	c current bound: 428
929.56/930.22	c current bound: 428
930.97/931.64	c current bound: 428
932.36/933.08	c current bound: 428
933.85/934.51	c current bound: 428
935.26/935.95	c current bound: 428
936.75/937.40	c current bound: 428
938.17/938.88	c current bound: 428
939.67/940.35	c current bound: 428
941.08/941.77	c current bound: 428
942.57/943.25	c current bound: 428
944.05/944.71	c current bound: 428
945.47/946.17	c current bound: 428
946.97/947.63	c current bound: 428
948.48/949.10	c current bound: 428
949.87/950.58	c current bound: 428
951.39/952.05	c current bound: 428
952.76/953.48	c current bound: 428
954.27/954.95	c current bound: 428
955.74/956.41	c current bound: 428
957.14/957.87	c current bound: 428
958.64/959.32	c current bound: 428
960.06/960.80	c current bound: 428
961.55/962.26	c current bound: 428
962.96/963.70	c current bound: 428
964.46/965.13	c current bound: 428
965.86/966.59	c current bound: 428
967.36/968.03	c current bound: 428
968.74/969.46	c current bound: 428
970.24/970.90	c current bound: 428
971.66/972.36	c current bound: 428
973.05/973.78	c current bound: 428
974.53/975.20	c current bound: 428
975.95/976.66	c current bound: 428
977.46/978.13	c current bound: 428
978.86/979.56	c current bound: 428
980.37/981.02	c current bound: 428
981.81/982.50	c current bound: 428
983.24/983.94	c current bound: 428
984.72/985.41	c current bound: 428
986.14/986.82	c current bound: 428
987.63/988.30	c current bound: 428
989.04/989.73	c current bound: 428
990.44/991.19	c current bound: 428
991.93/992.65	c current bound: 428
993.41/994.11	c current bound: 428
994.84/995.57	c current bound: 428
996.34/997.03	c current bound: 428
997.74/998.46	c current bound: 428
999.24/999.93	c current bound: 428
1000.63/1001.39	c current bound: 428
1002.12/1002.87	c current bound: 428
1003.65/1004.33	c current bound: 428
1005.04/1005.77	c current bound: 428
1006.54/1007.24	c current bound: 428
1008.06/1008.70	c current bound: 428
1009.43/1010.17	c current bound: 428
1010.94/1011.64	c current bound: 428
1012.44/1013.11	c current bound: 428
1013.84/1014.58	c current bound: 428
1015.33/1016.06	c current bound: 428
1016.82/1017.51	c current bound: 428
1018.21/1018.99	c current bound: 428
1019.71/1020.41	c current bound: 428
1021.12/1021.87	c current bound: 428
1022.63/1023.33	c current bound: 428
1024.02/1024.78	c current bound: 428
1025.52/1026.25	c current bound: 428
1027.00/1027.71	c current bound: 428
1028.42/1029.14	c current bound: 428
1029.88/1030.60	c current bound: 428
1031.32/1032.08	c current bound: 428
1032.79/1033.51	c current bound: 428
1034.22/1034.98	c current bound: 428
1035.70/1036.41	c current bound: 428
1037.11/1037.87	c current bound: 428
1038.59/1039.30	c current bound: 428
1040.03/1040.76	c current bound: 428
1041.52/1042.22	c current bound: 428
1043.00/1043.70	c current bound: 428
1044.44/1045.14	c current bound: 428
1045.82/1046.58	c current bound: 428
1047.31/1048.06	c current bound: 428
1048.81/1049.51	c current bound: 428
1050.32/1051.00	c current bound: 428
1051.71/1052.47	c current bound: 428
1053.18/1053.92	c current bound: 428
1054.60/1055.38	c current bound: 428
1056.09/1056.85	c current bound: 428
1057.59/1058.31	c current bound: 428
1059.00/1059.78	c current bound: 428
1060.50/1061.23	c current bound: 428
1061.91/1062.66	c current bound: 428
1063.41/1064.13	c current bound: 428
1064.80/1065.59	c current bound: 428
1066.31/1067.05	c current bound: 428
1067.70/1068.48	c current bound: 428
1069.22/1069.94	c current bound: 428
1070.61/1071.40	c current bound: 428
1072.11/1072.83	c current bound: 428
1073.50/1074.26	c current bound: 428
1075.00/1075.72	c current bound: 428
1076.48/1077.20	c current bound: 428
1077.90/1078.66	c current bound: 428
1079.29/1080.10	c current bound: 428
1080.80/1081.52	c current bound: 428
1082.20/1082.99	c current bound: 428
1083.70/1084.43	c current bound: 428
1085.20/1085.90	c current bound: 428
1086.58/1087.36	c current bound: 428
1088.00/1088.79	c current bound: 428
1089.50/1090.24	c current bound: 428
1090.99/1091.72	c current bound: 428
1092.39/1093.16	c current bound: 428
1093.80/1094.59	c current bound: 428
1095.30/1096.05	c current bound: 428
1096.76/1097.50	c current bound: 428
1098.20/1098.93	c current bound: 428
1099.60/1100.39	c current bound: 428
1101.10/1101.82	c current bound: 428
1102.50/1103.25	c current bound: 428
1104.00/1104.72	c current bound: 428
1105.40/1106.15	c current bound: 428
1106.79/1107.59	c current bound: 428
1108.30/1109.04	c current bound: 428
1109.75/1110.50	c current bound: 428
1111.18/1111.97	c current bound: 428
1112.69/1113.43	c current bound: 428
1114.07/1114.87	c current bound: 428
1115.58/1116.35	c current bound: 428
1116.98/1117.77	c current bound: 428
1118.49/1119.23	c current bound: 428
1119.97/1120.71	c current bound: 428
1121.37/1122.14	c current bound: 428
1122.76/1123.58	c current bound: 428
1124.27/1125.04	c current bound: 428
1125.66/1126.50	c current bound: 428
1127.17/1127.93	c current bound: 428
1128.57/1129.39	c current bound: 428
1130.06/1130.81	c current bound: 428
1131.47/1132.27	c current bound: 428
1132.96/1133.70	c current bound: 428
1134.38/1135.14	c current bound: 428
1135.78/1136.58	c current bound: 428
1137.27/1138.06	c current bound: 428
1138.77/1139.54	c current bound: 428
1140.25/1141.01	c current bound: 428
1141.67/1142.45	c current bound: 428
1143.08/1143.87	c current bound: 428
1144.57/1145.34	c current bound: 428
1146.04/1146.80	c current bound: 428
1147.47/1148.26	c current bound: 428
1149.00/1149.70	c current bound: 428
1150.39/1151.13	c current bound: 428
1151.77/1152.59	c current bound: 428
1153.28/1154.02	c current bound: 428
1154.76/1155.50	c current bound: 428
1156.18/1156.98	c current bound: 428
1157.66/1158.41	c current bound: 428
1159.08/1159.88	c current bound: 428
1160.56/1161.30	c current bound: 428
1161.99/1162.76	c current bound: 428
1163.47/1164.24	c current bound: 428
1164.98/1165.71	c current bound: 428
1166.39/1167.18	c current bound: 428
1167.87/1168.66	c current bound: 428
1169.37/1170.11	c current bound: 428
1170.81/1171.54	c current bound: 428
1172.18/1172.98	c current bound: 428
1173.69/1174.44	c current bound: 428
1175.09/1175.90	c current bound: 428
1176.59/1177.33	c current bound: 428
1177.98/1178.78	c current bound: 428
1179.47/1180.21	c current bound: 428
1180.87/1181.68	c current bound: 428
1182.37/1183.14	c current bound: 428
1183.86/1184.61	c current bound: 428
1185.28/1186.07	c current bound: 428
1186.78/1187.55	c current bound: 428
1188.19/1188.98	c current bound: 428
1189.68/1190.44	c current bound: 428
1191.17/1191.92	c current bound: 428
1192.59/1193.38	c current bound: 428
1194.10/1194.83	c current bound: 428
1195.49/1196.29	c current bound: 428
1196.97/1197.74	c current bound: 428
1198.39/1199.16	c current bound: 428
1199.86/1200.62	c current bound: 428
1201.27/1202.06	c current bound: 428
1202.69/1203.49	c current bound: 428
1204.18/1204.95	c current bound: 428
1205.68/1206.43	c current bound: 428
1207.08/1207.85	c current bound: 428
1208.57/1209.32	c current bound: 428
1209.98/1210.77	c current bound: 428
1211.50/1212.24	c current bound: 428
1212.96/1213.71	c current bound: 428
1214.38/1215.18	c current bound: 428
1215.87/1216.62	c current bound: 428
1217.27/1218.08	c current bound: 428
1218.78/1219.53	c current bound: 428
1220.18/1220.96	c current bound: 428
1221.69/1222.43	c current bound: 428
1223.17/1223.91	c current bound: 428
1224.58/1225.35	c current bound: 428
1225.97/1226.77	c current bound: 428
1227.46/1228.25	c current bound: 428
1228.87/1229.68	c current bound: 428
1230.37/1231.16	c current bound: 428
1231.88/1232.63	c current bound: 428
1233.26/1234.08	c current bound: 428
1234.74/1235.50	c current bound: 428
1236.16/1236.99	c current bound: 428
1237.67/1238.46	c current bound: 428
1239.17/1239.94	c current bound: 428
1240.57/1241.37	c current bound: 428
1242.07/1242.85	c current bound: 428
1243.47/1244.27	c current bound: 428
1244.96/1245.74	c current bound: 428
1246.36/1247.17	c current bound: 428
1247.88/1248.64	c current bound: 428
1249.37/1250.10	c current bound: 428
1250.75/1251.56	c current bound: 428
1252.28/1253.00	c current bound: 428
1253.67/1254.48	c current bound: 428
1255.16/1255.96	c current bound: 428
1256.66/1257.42	c current bound: 428
1258.05/1258.88	c current bound: 428
1259.57/1260.33	c current bound: 428
1260.96/1261.78	c current bound: 428
1262.45/1263.22	c current bound: 428
1263.85/1264.68	c current bound: 428
1265.36/1266.13	c current bound: 428
1266.83/1267.61	c current bound: 428
1268.25/1269.04	c current bound: 428
1269.75/1270.51	c current bound: 428
1271.14/1271.99	c current bound: 428
1272.65/1273.43	c current bound: 428
1274.04/1274.89	c current bound: 428
1275.54/1276.34	c current bound: 428
1277.00/1277.80	c current bound: 428
1278.42/1279.26	c current bound: 428
1279.93/1280.73	c current bound: 428
1281.42/1282.21	c current bound: 428
1282.83/1283.68	c current bound: 428
1284.34/1285.15	c current bound: 428
1285.82/1286.61	c current bound: 428
1287.24/1288.08	c current bound: 428
1288.74/1289.54	c current bound: 428
1290.24/1291.00	c current bound: 428
1291.63/1292.46	c current bound: 428
1293.14/1293.93	c current bound: 428
1294.53/1295.39	c current bound: 428
1296.03/1296.86	c current bound: 428
1297.52/1298.31	c current bound: 428
1298.92/1299.78	c current bound: 428
1300.43/1301.25	c current bound: 428
1301.93/1302.73	c current bound: 428
1303.33/1304.19	c current bound: 428
1304.83/1305.66	c current bound: 428
1306.33/1307.13	c current bound: 428
1307.71/1308.57	c current bound: 428
1309.22/1310.04	c current bound: 428
1310.72/1311.52	c current bound: 428
1312.14/1312.95	c current bound: 428
1313.59/1314.40	c current bound: 428
1315.02/1315.87	c current bound: 428
1316.52/1317.33	c current bound: 428
1317.92/1318.78	c current bound: 428
1319.41/1320.21	c current bound: 428
1320.81/1321.69	c current bound: 428
1322.33/1323.17	c current bound: 428
1323.82/1324.65	c current bound: 428
1325.30/1326.10	c current bound: 428
1326.72/1327.56	c current bound: 428
1328.23/1329.04	c current bound: 428
1329.74/1330.50	c current bound: 428
1331.12/1331.95	c current bound: 428
1332.60/1333.41	c current bound: 428
1334.01/1334.84	c current bound: 428
1335.41/1336.29	c current bound: 428
1336.94/1337.74	c current bound: 428
1338.33/1339.18	c current bound: 428
1339.83/1340.64	c current bound: 428
1341.32/1342.12	c current bound: 428
1342.72/1343.58	c current bound: 428
1344.22/1345.05	c current bound: 428
1345.60/1346.48	c current bound: 428
1347.10/1347.94	c current bound: 428
1348.61/1349.42	c current bound: 428
1350.01/1350.88	c current bound: 428
1351.49/1352.31	c current bound: 428
1352.91/1353.79	c current bound: 428
1354.40/1355.25	c current bound: 428
1355.90/1356.73	c current bound: 428
1357.30/1358.18	c current bound: 428
1358.82/1359.64	c current bound: 428
1360.28/1361.10	c current bound: 428
1361.70/1362.57	c current bound: 428
1363.10/1364.00	c current bound: 428
1364.60/1365.48	c current bound: 428
1366.11/1366.95	c current bound: 428
1367.50/1368.40	c current bound: 428
1369.01/1369.85	c current bound: 428
1370.40/1371.29	c current bound: 428
1371.90/1372.75	c current bound: 428
1373.28/1374.18	c current bound: 428
1374.79/1375.65	c current bound: 428
1376.20/1377.08	c current bound: 428
1377.69/1378.56	c current bound: 428
1379.18/1380.02	c current bound: 428
1380.61/1381.49	c current bound: 428
1382.09/1382.96	c current bound: 428
1383.59/1384.44	c current bound: 428
1385.07/1385.90	c current bound: 428
1386.47/1387.36	c current bound: 428
1387.96/1388.80	c current bound: 428
1389.39/1390.27	c current bound: 428
1390.87/1391.70	c current bound: 428
1392.29/1393.15	c current bound: 428
1393.77/1394.61	c current bound: 428
1395.20/1396.07	c current bound: 428
1396.70/1397.53	c current bound: 428
1398.08/1398.98	c current bound: 428
1399.58/1400.41	c current bound: 428
1400.99/1401.88	c current bound: 428
1402.48/1403.31	c current bound: 428
1403.89/1404.79	c current bound: 428
1405.38/1406.22	c current bound: 428
1406.86/1407.70	c current bound: 428
1408.29/1409.13	c current bound: 428
1409.78/1410.61	c current bound: 428
1411.18/1412.08	c current bound: 428
1412.66/1413.51	c current bound: 428
1414.06/1414.98	c current bound: 428
1415.55/1416.44	c current bound: 428
1417.07/1417.92	c current bound: 428
1418.44/1419.38	c current bound: 428
1419.96/1420.83	c current bound: 428
1421.35/1422.26	c current bound: 428
1422.85/1423.74	c current bound: 428
1424.25/1425.16	c current bound: 428
1425.75/1426.63	c current bound: 428
1427.25/1428.10	c current bound: 428
1428.64/1429.58	c current bound: 428
1430.14/1431.06	c current bound: 428
1431.62/1432.51	c current bound: 428
1433.03/1433.97	c current bound: 428
1434.51/1435.40	c current bound: 428
1435.94/1436.88	c current bound: 428
1437.44/1438.36	c current bound: 428
1438.84/1439.79	c current bound: 428
1440.34/1441.23	c current bound: 428
1441.81/1442.70	c current bound: 428
1443.22/1444.18	c current bound: 428
1444.72/1445.60	c current bound: 428
1446.14/1447.04	c current bound: 428
1447.52/1448.48	c current bound: 428
1449.02/1449.92	c current bound: 428
1450.43/1451.37	c current bound: 428
1451.91/1452.81	c current bound: 428
1453.33/1454.25	c current bound: 428
1454.73/1455.68	c current bound: 428
1456.24/1457.13	c current bound: 428
1457.63/1458.58	c current bound: 428
1459.12/1460.01	c current bound: 428
1460.53/1461.49	c current bound: 428
1462.04/1462.93	c current bound: 428
1463.51/1464.41	c current bound: 428
1464.92/1465.86	c current bound: 428
1466.42/1467.35	c current bound: 428
1467.81/1468.78	c current bound: 428
1469.32/1470.26	c current bound: 428
1470.81/1471.73	c current bound: 428
1472.22/1473.18	c current bound: 428
1473.70/1474.64	c current bound: 428
1475.18/1476.11	c current bound: 428
1476.60/1477.55	c current bound: 428
1478.08/1479.01	c current bound: 428
1479.49/1480.45	c current bound: 428
1481.01/1481.93	c current bound: 428
1482.40/1483.38	c current bound: 428
1483.88/1484.81	c current bound: 428
1485.30/1486.23	c current bound: 428
1486.69/1487.69	c current bound: 428
1488.19/1489.19	c current bound: 428
1489.69/1490.62	c current bound: 428
1491.08/1492.06	c current bound: 428
1492.47/1493.49	c current bound: 428
1494.00/1494.94	c current bound: 428
1495.47/1496.42	c current bound: 428
1496.87/1497.86	c current bound: 428
1498.26/1499.30	c current bound: 428
1499.77/1500.77	c current bound: 428
1501.26/1502.24	c current bound: 428
1502.67/1503.69	c current bound: 428
1504.16/1505.15	c current bound: 428
1505.67/1506.64	c current bound: 428
1507.06/1508.07	c current bound: 428
1508.55/1509.55	c current bound: 428
1510.04/1511.02	c current bound: 428
1511.54/1512.50	c current bound: 428
1512.94/1513.95	c current bound: 428
1514.34/1515.39	c current bound: 428
1515.83/1516.88	c current bound: 428
1517.33/1518.36	c current bound: 428
1518.83/1519.86	c current bound: 428
1520.33/1521.31	c current bound: 428
1521.82/1522.81	c current bound: 428
1523.23/1524.30	c current bound: 428
1524.74/1525.75	c current bound: 428
1526.21/1527.20	c current bound: 428
1527.63/1528.68	c current bound: 428
1529.14/1530.15	c current bound: 428
1530.63/1531.64	c current bound: 428
1532.11/1533.11	c current bound: 428
1533.53/1534.57	c current bound: 428
1535.02/1536.05	c current bound: 428
1536.50/1537.50	c current bound: 428
1537.93/1538.96	c current bound: 428
1539.42/1540.44	c current bound: 428
1540.90/1541.90	c current bound: 428
1542.32/1543.35	c current bound: 428
1543.84/1544.83	c current bound: 428
1545.23/1546.28	c current bound: 428
1546.74/1547.74	c current bound: 428
1548.21/1549.21	c current bound: 428
1549.63/1550.65	c current bound: 428
1551.14/1552.13	c current bound: 428
1552.51/1553.58	c current bound: 428
1553.99/1555.01	c current bound: 428
1555.42/1556.44	c current bound: 428
1556.90/1557.92	c current bound: 428
1558.42/1559.40	c current bound: 428
1559.81/1560.86	c current bound: 428
1561.31/1562.34	c current bound: 428
1562.81/1563.83	c current bound: 428
1564.22/1565.27	c current bound: 428
1565.72/1566.73	c current bound: 428
1567.11/1568.18	c current bound: 428
1568.61/1569.64	c current bound: 428
1570.01/1571.10	c current bound: 428
1571.52/1572.56	c current bound: 428
1572.91/1573.99	c current bound: 428
1574.41/1575.46	c current bound: 428
1575.80/1576.88	c current bound: 428
1577.31/1578.36	c current bound: 428
1578.78/1579.80	c current bound: 428
1580.20/1581.25	c current bound: 428
1581.62/1582.69	c current bound: 428
1583.13/1584.14	c current bound: 428
1584.52/1585.59	c current bound: 428
1586.01/1587.06	c current bound: 428
1587.41/1588.50	c current bound: 428
1588.90/1589.95	c current bound: 428
1590.38/1591.40	c current bound: 428
1591.81/1592.84	c current bound: 428
1593.28/1594.31	c current bound: 428
1594.69/1595.77	c current bound: 428
1596.21/1597.24	c current bound: 428
1597.59/1598.67	c current bound: 428
1599.10/1600.13	c current bound: 428
1600.49/1601.56	c current bound: 428
1602.00/1603.02	c current bound: 428
1603.40/1604.49	c current bound: 428
1604.90/1605.95	c current bound: 428
1606.38/1607.40	c current bound: 428
1607.81/1608.83	c current bound: 428
1609.28/1610.30	c current bound: 428
1610.70/1611.73	c current bound: 428
1612.09/1613.17	c current bound: 428
1613.60/1614.63	c current bound: 428
1615.00/1616.09	c current bound: 428
1616.49/1617.56	c current bound: 428
1617.98/1619.02	c current bound: 428
1619.39/1620.46	c current bound: 428
1620.90/1621.91	c current bound: 428
1622.30/1623.34	c current bound: 428
1623.78/1624.82	c current bound: 428
1625.18/1626.28	c current bound: 428
1626.66/1627.71	c current bound: 428
1628.08/1629.17	c current bound: 428
1629.58/1630.65	c current bound: 428
1631.00/1632.08	c current bound: 428
1632.49/1633.55	c current bound: 428
1633.97/1635.02	c current bound: 428
1635.37/1636.48	c current bound: 428
1636.89/1637.92	c current bound: 428
1638.26/1639.39	c current bound: 428
1639.77/1640.86	c current bound: 428
1641.26/1642.33	c current bound: 428
1642.65/1643.76	c current bound: 428
1644.16/1645.24	c current bound: 428
1645.56/1646.69	c current bound: 428
1647.06/1648.17	c current bound: 428
1648.53/1649.60	c current bound: 428
1649.95/1651.08	c current bound: 428
1651.45/1652.56	c current bound: 428
1652.95/1654.01	c current bound: 428
1654.36/1655.49	c current bound: 428
1655.86/1656.95	c current bound: 428
1657.35/1658.46	c current bound: 428
1658.85/1659.94	c current bound: 428
1660.35/1661.43	c current bound: 428
1661.75/1662.87	c current bound: 428
1663.25/1664.36	c current bound: 428
1664.76/1665.83	c current bound: 428
1666.24/1667.38	c current bound: 428
1667.69/1668.83	c current bound: 428
1669.10/1670.28	c current bound: 428
1670.59/1671.75	c current bound: 428
1672.09/1673.26	c current bound: 428
1673.58/1674.73	c current bound: 428
1675.07/1676.21	c current bound: 428
1676.48/1677.69	c current bound: 428
1677.97/1679.18	c current bound: 428
1679.48/1680.68	c current bound: 428
1680.97/1682.16	c current bound: 428
1682.48/1683.63	c current bound: 428
1683.87/1685.08	c current bound: 428
1685.37/1686.56	c current bound: 428
1686.87/1688.05	c current bound: 428
1688.37/1689.53	c current bound: 428
1689.77/1690.98	c current bound: 428
1691.28/1692.48	c current bound: 428
1692.78/1693.96	c current bound: 428
1694.27/1695.44	c current bound: 428
1695.67/1696.89	c current bound: 428
1697.17/1698.39	c current bound: 428
1698.67/1699.87	c current bound: 428
1700.16/1701.32	c current bound: 428
1701.66/1702.81	c current bound: 428
1703.05/1704.26	c current bound: 428
1704.56/1705.74	c current bound: 428
1706.05/1707.22	c current bound: 428
1707.55/1708.73	c current bound: 428
1709.05/1710.23	c current bound: 428
1710.44/1711.68	c current bound: 428
1711.95/1713.15	c current bound: 428
1713.45/1714.64	c current bound: 428
1714.84/1716.09	c current bound: 428
1716.35/1717.58	c current bound: 428
1717.86/1719.03	c current bound: 428
1719.34/1720.51	c current bound: 428
1720.83/1722.01	c current bound: 428
1722.25/1723.49	c current bound: 428
1723.76/1724.98	c current bound: 428
1725.24/1726.45	c current bound: 428
1726.76/1727.93	c current bound: 428
1728.24/1729.42	c current bound: 428
1729.75/1730.90	c current bound: 428
1731.13/1732.38	c current bound: 428
1732.63/1733.85	c current bound: 428
1734.13/1735.31	c current bound: 428
1735.54/1736.79	c current bound: 428
1737.04/1738.26	c current bound: 428
1738.56/1739.73	c current bound: 428
1740.04/1741.21	c current bound: 428
1741.45/1742.68	c current bound: 428
1742.95/1744.18	c current bound: 428
1744.45/1745.66	c current bound: 428
1745.92/1747.11	c current bound: 428
1747.34/1748.60	c current bound: 428
1748.84/1750.06	c current bound: 428
1750.35/1751.55	c current bound: 428
1751.84/1753.06	c current bound: 428
1753.35/1754.54	c current bound: 428
1754.85/1756.03	c current bound: 428
1756.24/1757.49	c current bound: 428
1757.75/1759.00	c current bound: 428
1759.23/1760.48	c current bound: 428
1760.74/1761.98	c current bound: 428
1762.24/1763.47	c current bound: 428
1763.74/1764.96	c current bound: 428
1765.24/1766.45	c current bound: 428
1766.74/1767.93	c current bound: 428
1768.23/1769.41	c current bound: 428
1769.64/1770.86	c current bound: 428
1771.14/1772.35	c current bound: 428
1772.63/1773.85	c current bound: 428
1774.12/1775.34	c current bound: 428
1775.53/1776.79	c current bound: 428
1777.03/1778.28	c current bound: 428
1778.53/1779.73	c current bound: 428
1780.01/1781.21	c current bound: 428
1781.42/1782.66	c current bound: 428
1782.94/1784.14	c current bound: 428
1784.32/1785.58	c current bound: 428
1785.83/1787.04	c current bound: 428
1787.22/1788.47	c current bound: 428
1788.78/1790.29	c current bound: 428
1790.17/1791.77	c current bound: 428
1791.68/1793.23	c current bound: 428
1793.15/1794.70	c current bound: 428
1794.57/1796.14	c current bound: 428
1796.04/1797.60	c current bound: 428
1797.47/1799.06	c current bound: 428
1798.96/1800.52	c current bound: 428
1800.06/1801.62	./satsolver.sh: line 5: 19435 Terminated              ./glucose $1 > $2 2> /dev/null
1800.06/1801.62	c error: unexpected solver exit code
1800.06/1801.62	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-3753190-1339206852/watcher-3753190-1339206852 -o /tmp/evaluation-result-3753190-1339206852/solver-3753190-1339206852 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753190-1339206852.wbo 123229278 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.82 1.77 1.73 3/179 10690
/proc/meminfo: memFree=31456808/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0

[startup+0.101475 s]
/proc/loadavg: 1.82 1.77 1.73 3/179 10690
/proc/meminfo: memFree=31456808/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200304 s]
/proc/loadavg: 1.82 1.77 1.73 3/179 10690
/proc/meminfo: memFree=31456808/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300255 s]
/proc/loadavg: 1.82 1.77 1.73 3/179 10690
/proc/meminfo: memFree=31456808/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700254 s]
/proc/loadavg: 1.82 1.77 1.73 3/179 10690
/proc/meminfo: memFree=31456808/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 1.83 1.78 1.73 3/183 10704
/proc/meminfo: memFree=31476668/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=0.37 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 2300 5561 0 0 1 1 34 1 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=10703] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386810806 9367552 267 33554432000 4194304 5064252 140735928773248 140735928772160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10703/statm: 2287 267 226 213 0 72 0
[pid=10704] ppid=10703 vsize=14148 CPUtime=1.1 cores=1,3,5,7
/proc/10704/stat : 10704 (glucose) R 10703 10690 23199 0 -1 4202496 3936 0 0 0 110 0 0 0 20 0 1 0 386810806 14487552 3017 33554432000 4194304 5208918 140736876527264 140736876525208 4215363 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10704/statm: 3537 3017 104 248 0 3286 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 36852

[startup+3.10039 s]
/proc/loadavg: 1.83 1.78 1.73 3/183 10711
/proc/meminfo: memFree=31478652/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1.85 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 2799 12511 0 0 2 1 178 4 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=10710] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386810954 9367552 267 33554432000 4194304 5064252 140733646018016 140733646016928 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10710/statm: 2287 267 226 213 0 72 0
[pid=10711] ppid=10710 vsize=14156 CPUtime=1.22 cores=1,3,5,7
/proc/10711/stat : 10711 (glucose) R 10710 10690 23199 0 -1 4202496 3965 0 0 0 122 0 0 0 20 0 1 0 386810955 14495744 3018 33554432000 4194304 5208918 140733369321072 140733369318936 4229520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10711/statm: 3539 3018 104 248 0 3288 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 36860

[startup+6.30039 s]
/proc/loadavg: 1.83 1.78 1.73 3/183 10725
/proc/meminfo: memFree=31442908/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=6.23 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 4302 33511 0 0 5 1 604 13 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13556

[startup+12.7004 s]
/proc/loadavg: 1.86 1.78 1.73 3/182 10760
/proc/meminfo: memFree=31481880/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=12.07 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 6304 61632 0 0 9 2 1171 25 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=10759] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10759/stat : 10759 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386811977 9367552 267 33554432000 4194304 5064252 140735221129600 140735221128512 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10759/statm: 2287 267 226 213 0 72 0
[pid=10760] ppid=10759 vsize=9716 CPUtime=0.59 cores=1,3,5,7
/proc/10760/stat : 10760 (glucose) R 10759 10690 23199 0 -1 4202496 2930 0 0 0 59 0 0 0 20 0 1 0 386811977 9949184 2024 33554432000 4194304 5208918 140735290391056 140735221128536 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10760/statm: 2429 2024 104 248 0 2178 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 32420

[startup+25.5004 s]
/proc/loadavg: 1.88 1.79 1.74 3/183 10820
/proc/meminfo: memFree=31448632/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=25.3 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 10807 125402 0 0 17 3 2457 53 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 13556

[startup+51.1005 s]
/proc/loadavg: 1.98 1.82 1.75 3/183 10943
/proc/meminfo: memFree=31476952/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=50 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 19317 246366 0 0 33 6 4858 103 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=10942] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10942/stat : 10942 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386815774 9367552 266 33554432000 4194304 5064252 140735867773392 140735867772304 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10942/statm: 2287 266 226 213 0 72 0
[pid=10943] ppid=10942 vsize=14148 CPUtime=1.02 cores=1,3,5,7
/proc/10943/stat : 10943 (glucose) R 10942 10690 23199 0 -1 4202496 3545 0 0 0 102 0 0 0 20 0 1 0 386815774 14487552 3049 33554432000 4194304 5208918 140733533909184 140733533907048 4205681 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10943/statm: 3537 3049 104 248 0 3286 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 36852

[startup+102.3 s]
/proc/loadavg: 2.06 1.87 1.76 3/183 11188
/proc/meminfo: memFree=31438328/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=100.93 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 36833 490680 0 0 67 11 9807 208 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=11187] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11187/stat : 11187 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386820868 9367552 267 33554432000 4194304 5064252 140737305082096 140737305081008 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11187/statm: 2287 267 226 213 0 72 0
[pid=11188] ppid=11187 vsize=14148 CPUtime=1.29 cores=1,3,5,7
/proc/11188/stat : 11188 (glucose) R 11187 10690 23199 0 -1 4202496 4209 0 0 0 128 1 0 0 20 0 1 0 386820869 14487552 3016 33554432000 4194304 5208918 140737187635376 140737187633240 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11188/statm: 3537 3016 104 248 0 3286 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 36852

[startup+162.3 s]
/proc/loadavg: 2.02 1.89 1.77 3/183 11475
/proc/meminfo: memFree=31406948/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=162.03 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 57854 790254 0 0 106 17 15751 329 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 13556

[startup+222.307 s]
/proc/loadavg: 2.01 1.91 1.79 3/183 11769
/proc/meminfo: memFree=31395664/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=221.67 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 78376 1080411 0 0 144 22 21549 452 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=11768] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1360.33 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 469767 6653655 0 0 876 139 132231 2787 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=17276] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17276/stat : 17276 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386946879 9367552 267 33554432000 4194304 5064252 140733814863264 140733814862176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17276/statm: 2287 267 226 213 0 72 0
[pid=17277] ppid=17276 vsize=14152 CPUtime=1.17 cores=1,3,5,7
/proc/17277/stat : 17277 (glucose) R 17276 10690 23199 0 -1 4202496 4192 0 0 0 117 0 0 0 20 0 1 0 386946879 14491648 3018 33554432000 4194304 5208918 140734752806496 140734752804360 4229469 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17277/statm: 3538 3018 104 248 0 3287 0
Current children cumulated CPU time (s) 1361.5
Current children cumulated vsize (KiB) 36856

[startup+1422.3 s]
/proc/loadavg: 2.06 2.07 1.95 3/183 17571
/proc/meminfo: memFree=31358332/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1421.44 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 490788 6954499 0 0 915 146 138178 2905 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=17570] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17570/stat : 17570 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386952995 9367552 267 33554432000 4194304 5064252 140736612959312 140736612958224 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17570/statm: 2287 267 226 213 0 72 0
[pid=17571] ppid=17570 vsize=11660 CPUtime=0.02 cores=1,3,5,7
/proc/17571/stat : 17571 (glucose) R 17570 10690 23199 0 -1 4202496 1789 0 0 0 2 0 0 0 20 0 1 0 386952995 11939840 1606 33554432000 4194304 5208918 140735640964272 140736612958248 4211570 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17571/statm: 2915 1606 95 248 0 2664 0
Current children cumulated CPU time (s) 1421.46
Current children cumulated vsize (KiB) 34364

[startup+1482.3 s]
/proc/loadavg: 2.13 2.09 1.96 3/183 17853
/proc/meminfo: memFree=31342024/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1481.06 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 511307 7249317 0 0 953 152 143975 3026 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
Current children cumulated CPU time (s) 1481.06
Current children cumulated vsize (KiB) 13556

[startup+1542.31 s]
/proc/loadavg: 2.18 2.10 1.97 3/183 18148
/proc/meminfo: memFree=31336304/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1540.95 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 531829 7538119 0 0 991 158 149796 3150 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=18147] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18147/stat : 18147 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386964959 9367552 267 33554432000 4194304 5064252 140733575451840 140733575450752 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18147/statm: 2287 267 226 213 0 72 0
[pid=18148] ppid=18147 vsize=10648 CPUtime=0.38 cores=1,3,5,7
/proc/18148/stat : 18148 (glucose) R 18147 10690 23199 0 -1 4202496 2500 0 0 0 38 0 0 0 20 0 1 0 386964959 10903552 2032 33554432000 4194304 5208918 140733986682048 140733986679992 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18148/statm: 2662 2032 104 248 0 2411 0
Current children cumulated CPU time (s) 1541.33
Current children cumulated vsize (KiB) 33352

[startup+1602.3 s]
/proc/loadavg: 2.13 2.10 1.97 3/184 18438
/proc/meminfo: memFree=31317216/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1600.59 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 552348 7829907 0 0 1029 165 155598 3267 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=18437] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18437/stat : 18437 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386970925 9367552 265 33554432000 4194304 5064252 140737410552704 140737410551616 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18437/statm: 2287 265 226 213 0 72 0
[pid=18438] ppid=18437 vsize=12500 CPUtime=0.71 cores=1,3,5,7
/proc/18438/stat : 18438 (glucose) R 18437 10690 23199 0 -1 4202496 3399 0 0 0 71 0 0 0 20 0 1 0 386970926 12800000 2512 33554432000 4194304 5208918 140735854445248 140735854443096 4229725 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18438/statm: 3125 2512 104 248 0 2874 0
Current children cumulated CPU time (s) 1601.3
Current children cumulated vsize (KiB) 35204

[startup+1662.3 s]
/proc/loadavg: 2.11 2.09 1.98 3/183 18725
/proc/meminfo: memFree=31363740/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1660.4 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 572870 8121095 0 0 1067 172 161414 3387 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=18724] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18724/stat : 18724 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386976912 9367552 266 33554432000 4194304 5064252 140735166909760 140735166908672 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18724/statm: 2287 266 226 213 0 72 0
[pid=18725] ppid=18724 vsize=12500 CPUtime=0.85 cores=1,3,5,7
/proc/18725/stat : 18725 (glucose) R 18724 10690 23199 0 -1 4202496 2969 0 0 0 85 0 0 0 20 0 1 0 386976912 12800000 2641 33554432000 4194304 5208918 140734801541968 140734801540056 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18725/statm: 3125 2641 104 248 0 2874 0
Current children cumulated CPU time (s) 1661.25
Current children cumulated vsize (KiB) 35204

[startup+1722.3 s]
/proc/loadavg: 2.04 2.07 1.98 3/183 19005
/proc/meminfo: memFree=31401324/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1720.89 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 593389 8415197 0 0 1106 178 167292 3513 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
Current children cumulated CPU time (s) 1720.89
Current children cumulated vsize (KiB) 13556

[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 1.98 3/183 19292
/proc/meminfo: memFree=31340408/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1780.06 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 613409 8700905 0 0 1143 183 173048 3632 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=19291] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19291/stat : 19291 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386988890 9367552 267 33554432000 4194304 5064252 140736860264592 140736860263504 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19291/statm: 2287 267 226 213 0 72 0
[pid=19292] ppid=19291 vsize=14152 CPUtime=1.06 cores=1,3,5,7
/proc/19292/stat : 19292 (glucose) R 19291 10690 23199 0 -1 4202496 3370 0 0 0 106 0 0 0 20 0 1 0 386988890 14491648 3088 33554432000 4194304 5208918 140735938745520 140735938743464 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19292/statm: 3538 3088 104 248 0 3287 0
Current children cumulated CPU time (s) 1781.12
Current children cumulated vsize (KiB) 36856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.6 s]
/proc/loadavg: 2.01 2.05 1.98 4/183 19435
/proc/meminfo: memFree=31452660/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1799.01 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 619917 8794900 0 0 1155 185 174888 3673 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=19434] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19434/stat : 19434 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386990821 9367552 267 33554432000 4194304 5064252 140736442861312 140736442860224 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19434/statm: 2287 267 226 213 0 72 0
[pid=19435] ppid=19434 vsize=14152 CPUtime=1.05 cores=1,3,5,7
/proc/19435/stat : 19435 (glucose) R 19434 10690 23199 0 -1 4202496 3359 0 0 0 105 0 0 0 20 0 1 0 386990821 14491648 3108 33554432000 4194304 5208918 140737468926480 140737468924328 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19435/statm: 3538 3108 104 248 0 3287 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 36856

Sending SIGTERM to process tree (bottom up)

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

[startup+1801.6 s]
/proc/loadavg: 2.01 2.05 1.98 4/183 19435
/proc/meminfo: memFree=31452660/32873844 swapFree=7632/7632
[pid=10690] ppid=10688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10690/stat : 10690 (npSolver-wbo-It) S 10688 10690 23199 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386810767 9367552 275 33554432000 4194304 5064252 140734054420656 140734054419568 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10690/statm: 2287 275 233 213 0 72 0
[pid=10691] ppid=10690 vsize=4408 CPUtime=1799.01 cores=1,3,5,7
/proc/10691/stat : 10691 (npSolver-wbo) S 10690 10690 23199 0 -1 4202496 619917 8794900 0 0 1155 185 174888 3673 20 0 1 0 386810768 4513792 666 33554432000 4194304 6006132 140734731920736 140734731912096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/10691/statm: 1102 666 176 443 0 655 0
[pid=19434] ppid=10691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19434/stat : 19434 (satsolver.sh) S 10691 10690 23199 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386990821 9367552 267 33554432000 4194304 5064252 140736442861312 140736442860224 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19434/statm: 2287 267 226 213 0 72 0
[pid=19435] ppid=19434 vsize=14152 CPUtime=1.05 cores=1,3,5,7
/proc/19435/stat : 19435 (glucose) R 19434 10690 23199 0 -1 4202496 3359 0 0 0 105 0 0 0 20 0 1 0 386990821 14491648 3108 33554432000 4194304 5208918 140737468926480 140737468924328 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19435/statm: 3538 3108 104 248 0 3287 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 36856

Child status: 0
Real time (s): 1801.62
CPU time (s): 1800.12
CPU user time (s): 1761.52
CPU system time (s): 38.6031
CPU usage (%): 99.9166
Max. virtual memory (cumulated for all children) (KiB): 36860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.52
system time used= 38.6031
maximum resident set size= 29280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9419166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1926504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38740
involuntary context switches= 16199

runsolver used 3.20251 second user time and 8.66368 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-09 03:54:12
IDJOB=3753190
IDBENCH=79151
IDSOLVER=2336
FILE ID=node130/3753190-1339206852
RUNJOBID= node130-1339205035-23216
PBS_JOBID= 14643873
Free space on /tmp= 70996 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753190-1339206852/watcher-3753190-1339206852 -o /tmp/evaluation-result-3753190-1339206852/solver-3753190-1339206852 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753190-1339206852.wbo 123229278 HOME HOME

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

MD5SUM BENCH= 8d28474a5cb37d0277ef3e3fb6ddbee0
RANDOM SEED=123229278

node130.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.875
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	: 5333.75
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.875
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.875
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		: 2666.875
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.86
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.875
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		: 2666.875
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31457172 kB
Buffers:          231360 kB
Cached:           220984 kB
SwapCached:         2780 kB
Active:           436756 kB
Inactive:          96200 kB
Active(anon):      78520 kB
Inactive(anon):     3076 kB
Active(file):     358236 kB
Inactive(file):    93124 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67096948 kB
Dirty:             16968 kB
Writeback:             0 kB
AnonPages:         71024 kB
Mapped:             9900 kB
Shmem:                 0 kB
Slab:             732328 kB
SReclaimable:     171964 kB
SUnreclaim:       560364 kB
KernelStack:        1528 kB
PageTables:         4452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     231196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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= 70980 MiB
End job on node130 at 2012-06-09 04:24:13