Trace number 3715950

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) 1801.01 1802.92

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo
MD5SUMa2fcadde47f67cca69c2b162b15fa373
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.420935
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1327
Number of bits of the biggest sum of numbers11
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.06	c run usual solver
0.00/0.53	o 531
0.00/0.53	c starting approximation
0.00/0.53	c factor = 2
0.00/0.53	c current bound: 265
2.05/2.15	c current bound: 265
3.65/3.77	c current bound: 265
5.26/5.35	c current bound: 265
6.85/6.95	c current bound: 265
8.48/8.53	c current bound: 265
10.05/10.11	c current bound: 265
11.67/11.70	c current bound: 265
13.16/13.25	c current bound: 265
14.76/14.84	c current bound: 265
16.36/16.52	c current bound: 265
17.93/18.12	c current bound: 265
19.43/19.69	c current bound: 265
21.04/21.26	c current bound: 265
22.63/22.85	c current bound: 265
24.22/24.41	c current bound: 265
25.82/26.01	c current bound: 265
27.33/27.60	c current bound: 265
29.03/29.22	c current bound: 265
30.52/30.79	c current bound: 265
32.13/32.38	c current bound: 265
33.73/33.94	c current bound: 265
35.34/35.55	c current bound: 265
36.92/37.11	c current bound: 265
38.43/38.67	c current bound: 265
40.01/40.28	c current bound: 265
41.63/41.85	c current bound: 265
43.23/43.45	c current bound: 265
44.82/45.04	c current bound: 265
46.44/46.60	c current bound: 265
47.92/48.15	c current bound: 265
49.53/49.72	c current bound: 265
51.12/51.31	c current bound: 265
52.64/52.88	c current bound: 265
54.22/54.47	c current bound: 265
55.83/56.07	c current bound: 265
57.42/57.66	c current bound: 265
59.02/59.28	c current bound: 265
60.61/60.85	c current bound: 265
62.22/62.46	c current bound: 265
63.83/64.03	c current bound: 265
65.41/65.61	c current bound: 265
66.93/67.18	c current bound: 265
68.55/68.73	c current bound: 265
70.13/70.36	c current bound: 265
71.72/71.96	c current bound: 265
73.30/73.54	c current bound: 265
74.89/75.16	c current bound: 265
76.50/76.75	c current bound: 265
78.11/78.34	c current bound: 265
79.69/79.90	c current bound: 265
81.22/81.48	c current bound: 265
82.78/83.06	c current bound: 265
84.39/84.68	c current bound: 265
85.99/86.26	c current bound: 265
87.59/87.85	c current bound: 265
89.19/89.48	c current bound: 265
90.80/91.07	c current bound: 265
92.39/92.68	c current bound: 265
93.98/94.25	c current bound: 265
95.58/95.82	c current bound: 265
97.19/97.41	c current bound: 265
98.79/99.01	c current bound: 265
100.39/100.63	c current bound: 265
101.98/102.28	c current bound: 265
103.57/103.86	c current bound: 265
105.19/105.45	c current bound: 265
106.79/107.03	c current bound: 265
108.36/108.60	c current bound: 265
109.88/110.17	c current bound: 265
111.47/111.78	c current bound: 265
113.06/113.36	c current bound: 265
114.66/114.96	c current bound: 265
116.27/116.52	c current bound: 265
117.75/118.09	c current bound: 265
119.44/119.70	c current bound: 265
120.96/121.29	c current bound: 265
122.56/122.89	c current bound: 265
124.16/124.49	c current bound: 265
125.73/126.09	c current bound: 265
127.36/127.65	c current bound: 265
128.95/129.29	c current bound: 265
130.55/130.86	c current bound: 265
132.14/132.48	c current bound: 265
133.74/134.07	c current bound: 265
135.35/135.67	c current bound: 265
136.95/137.24	c current bound: 265
138.54/138.82	c current bound: 265
140.12/140.40	c current bound: 265
141.65/142.00	c current bound: 265
143.35/143.64	c current bound: 265
144.94/145.25	c current bound: 265
146.52/146.82	c current bound: 265
148.12/148.44	c current bound: 265
149.72/150.03	c current bound: 265
151.32/151.62	c current bound: 265
152.92/153.20	c current bound: 265
154.41/154.79	c current bound: 265
156.02/156.39	c current bound: 265
157.61/157.98	c current bound: 265
159.21/159.57	c current bound: 265
160.82/161.19	c current bound: 265
162.48/162.93	c current bound: 265
164.05/164.54	c current bound: 265
165.66/166.14	c current bound: 265
167.23/167.74	c current bound: 265
168.83/169.36	c current bound: 265
170.43/170.97	c current bound: 265
172.03/172.55	c current bound: 265
173.63/174.12	c current bound: 265
175.22/175.71	c current bound: 265
176.82/177.31	c current bound: 265
178.50/179.00	c current bound: 265
180.04/180.58	c current bound: 265
181.62/182.19	c current bound: 265
183.34/183.80	c current bound: 265
184.82/185.39	c current bound: 265
186.41/187.00	c current bound: 265
188.01/188.57	c current bound: 265
189.60/190.14	c current bound: 265
191.21/191.74	c current bound: 265
192.81/193.39	c current bound: 265
194.40/194.97	c current bound: 265
196.02/196.57	c current bound: 265
197.70/198.21	c current bound: 265
199.27/199.85	c current bound: 265
200.87/201.43	c current bound: 265
202.35/202.99	c current bound: 265
203.96/204.59	c current bound: 265
205.56/206.15	c current bound: 265
207.16/207.74	c current bound: 265
208.75/209.31	c current bound: 265
210.26/210.88	c current bound: 265
211.88/212.46	c current bound: 265
213.45/214.06	c current bound: 265
215.06/215.65	c current bound: 265
216.66/217.24	c current bound: 265
218.25/218.88	c current bound: 265
219.84/220.48	c current bound: 265
221.52/222.11	c current bound: 265
223.12/223.74	c current bound: 265
224.74/225.36	c current bound: 265
226.33/226.96	c current bound: 265
227.93/228.55	c current bound: 265
229.51/230.14	c current bound: 265
231.11/231.71	c current bound: 265
232.74/233.31	c current bound: 265
234.30/234.93	c current bound: 265
235.90/236.58	c current bound: 265
237.50/238.16	c current bound: 265
239.07/239.74	c current bound: 265
240.68/241.33	c current bound: 265
242.28/242.92	c current bound: 265
243.86/244.51	c current bound: 265
245.36/246.09	c current bound: 265
246.98/247.66	c current bound: 265
248.59/249.23	c current bound: 265
250.19/250.84	c current bound: 265
251.75/252.40	c current bound: 265
253.35/254.01	c current bound: 265
254.97/255.64	c current bound: 265
256.58/257.23	c current bound: 265
258.16/258.86	c current bound: 265
259.76/260.45	c current bound: 265
261.37/262.03	c current bound: 265
262.96/263.60	c current bound: 265
264.46/265.18	c current bound: 265
266.06/266.78	c current bound: 265
267.65/268.37	c current bound: 265
269.25/269.97	c current bound: 265
270.85/271.53	c current bound: 265
272.43/273.12	c current bound: 265
274.01/274.71	c current bound: 265
275.62/276.30	c current bound: 265
277.13/277.89	c current bound: 265
278.74/279.50	c current bound: 265
280.33/281.06	c current bound: 265
281.93/282.69	c current bound: 265
283.53/284.28	c current bound: 265
285.14/285.86	c current bound: 265
286.74/287.43	c current bound: 265
288.30/289.01	c current bound: 265
289.83/290.58	c current bound: 265
291.42/292.18	c current bound: 265
293.01/293.77	c current bound: 265
294.61/295.37	c current bound: 265
296.20/296.96	c current bound: 265
297.79/298.55	c current bound: 265
299.38/300.11	c current bound: 265
300.97/301.70	c current bound: 265
302.60/303.32	c current bound: 265
304.20/304.92	c current bound: 265
305.69/306.49	c current bound: 265
307.29/308.06	c current bound: 265
308.89/309.68	c current bound: 265
310.50/311.27	c current bound: 265
312.08/312.84	c current bound: 265
313.68/314.47	c current bound: 265
315.28/316.07	c current bound: 265
316.88/317.65	c current bound: 265
318.47/319.22	c current bound: 265
320.05/320.80	c current bound: 265
321.67/322.45	c current bound: 265
323.27/324.02	c current bound: 265
324.77/325.59	c current bound: 265
326.36/327.19	c current bound: 265
327.96/328.78	c current bound: 265
329.66/330.42	c current bound: 265
331.24/332.01	c current bound: 265
332.83/333.61	c current bound: 265
334.45/335.22	c current bound: 265
335.95/336.78	c current bound: 265
337.62/338.41	c current bound: 265
339.23/340.02	c current bound: 265
340.82/341.65	c current bound: 265
342.44/343.25	c current bound: 265
344.04/344.86	c current bound: 265
345.63/346.45	c current bound: 265
347.22/348.09	c current bound: 265
348.91/349.71	c current bound: 265
350.43/351.29	c current bound: 265
352.04/352.88	c current bound: 265
353.64/354.48	c current bound: 265
355.23/356.06	c current bound: 265
356.84/357.66	c current bound: 265
358.43/359.26	c current bound: 265
360.05/360.88	c current bound: 265
361.64/362.47	c current bound: 265
363.23/364.06	c current bound: 265
364.82/365.66	c current bound: 265
366.44/367.27	c current bound: 265
368.03/368.86	c current bound: 265
369.63/370.45	c current bound: 265
371.23/372.04	c current bound: 265
372.85/373.63	c current bound: 265
374.44/375.27	c current bound: 265
376.03/376.87	c current bound: 265
377.64/378.49	c current bound: 265
379.24/380.06	c current bound: 265
380.83/381.64	c current bound: 265
382.45/383.23	c current bound: 265
384.04/384.83	c current bound: 265
385.61/386.45	c current bound: 265
387.20/388.01	c current bound: 265
388.72/389.58	c current bound: 265
390.31/391.17	c current bound: 265
391.91/392.80	c current bound: 265
393.52/394.39	c current bound: 265
395.23/396.04	c current bound: 265
396.79/397.60	c current bound: 265
398.41/399.23	c current bound: 265
400.02/400.82	c current bound: 265
401.60/402.42	c current bound: 265
403.20/404.02	c current bound: 265
404.82/405.66	c current bound: 265
406.41/407.22	c current bound: 265
408.01/408.85	c current bound: 265
409.61/410.45	c current bound: 265
411.21/412.03	c current bound: 265
412.82/413.64	c current bound: 265
414.41/415.22	c current bound: 265
415.99/416.80	c current bound: 265
417.61/418.42	c current bound: 265
419.10/419.99	c current bound: 265
420.70/421.58	c current bound: 265
422.30/423.18	c current bound: 265
423.92/424.79	c current bound: 265
425.58/426.40	c current bound: 265
427.11/427.99	c current bound: 265
428.80/429.62	c current bound: 265
430.30/431.19	c current bound: 265
431.89/432.75	c current bound: 265
433.50/434.32	c current bound: 265
435.10/435.91	c current bound: 265
436.71/437.52	c current bound: 265
438.21/439.08	c current bound: 265
439.80/440.66	c current bound: 265
441.41/442.28	c current bound: 265
443.12/443.90	c current bound: 265
444.61/445.48	c current bound: 265
446.21/447.07	c current bound: 265
447.79/448.64	c current bound: 265
449.40/450.20	c current bound: 265
450.99/451.82	c current bound: 265
452.57/453.40	c current bound: 265
454.09/454.98	c current bound: 265
455.70/456.56	c current bound: 265
457.29/458.17	c current bound: 265
458.91/459.73	c current bound: 265
460.48/461.31	c current bound: 265
462.11/462.93	c current bound: 265
463.60/464.49	c current bound: 265
465.19/466.08	c current bound: 265
466.80/467.66	c current bound: 265
468.40/469.29	c current bound: 265
470.00/470.87	c current bound: 265
471.59/472.45	c current bound: 265
473.19/474.08	c current bound: 265
474.78/475.65	c current bound: 265
476.40/477.23	c current bound: 265
477.98/478.81	c current bound: 265
479.59/480.42	c current bound: 265
481.17/482.00	c current bound: 265
482.76/483.60	c current bound: 265
484.29/485.18	c current bound: 265
485.88/486.75	c current bound: 265
487.47/488.38	c current bound: 265
489.09/489.98	c current bound: 265
490.68/491.54	c current bound: 265
492.28/493.12	c current bound: 265
493.78/494.68	c current bound: 265
495.38/496.26	c current bound: 265
496.98/497.85	c current bound: 265
498.60/499.44	c current bound: 265
500.28/501.19	c current bound: 265
501.90/502.75	c current bound: 265
503.47/504.31	c current bound: 265
504.99/505.89	c current bound: 265
506.68/507.50	c current bound: 265
508.17/509.09	c current bound: 265
509.88/510.73	c current bound: 265
511.47/512.34	c current bound: 265
513.08/513.93	c current bound: 265
514.68/515.53	c current bound: 265
516.28/517.12	c current bound: 265
517.77/518.68	c current bound: 265
519.37/520.26	c current bound: 265
520.97/521.84	c current bound: 265
522.59/523.43	c current bound: 265
524.18/525.02	c current bound: 265
525.77/526.62	c current bound: 265
527.36/528.21	c current bound: 265
528.96/529.81	c current bound: 265
530.67/531.56	c current bound: 265
532.26/533.16	c current bound: 265
533.88/534.74	c current bound: 265
535.46/536.34	c current bound: 265
537.08/537.94	c current bound: 265
538.65/539.51	c current bound: 265
540.17/541.09	c current bound: 265
541.85/542.70	c current bound: 265
543.49/544.30	c current bound: 265
545.07/545.92	c current bound: 265
546.57/547.49	c current bound: 265
548.18/549.07	c current bound: 265
549.75/550.69	c current bound: 265
551.38/552.28	c current bound: 265
552.97/553.87	c current bound: 265
554.56/555.48	c current bound: 265
556.17/557.09	c current bound: 265
557.76/558.66	c current bound: 265
559.35/560.22	c current bound: 265
560.94/561.80	c current bound: 265
562.46/563.38	c current bound: 265
564.05/564.94	c current bound: 265
565.66/566.57	c current bound: 265
567.26/568.15	c current bound: 265
568.85/569.77	c current bound: 265
570.44/571.38	c current bound: 265
572.03/572.97	c current bound: 265
573.65/574.56	c current bound: 265
575.24/576.12	c current bound: 265
576.84/577.71	c current bound: 265
578.34/579.27	c current bound: 265
579.95/580.86	c current bound: 265
581.54/582.42	c current bound: 265
583.15/584.02	c current bound: 265
584.75/585.64	c current bound: 265
586.34/587.25	c current bound: 265
587.96/588.83	c current bound: 265
589.56/590.45	c current bound: 265
591.15/592.05	c current bound: 265
592.74/593.62	c current bound: 265
594.25/595.20	c current bound: 265
595.85/596.79	c current bound: 265
597.41/598.40	c current bound: 265
599.13/600.00	c current bound: 265
600.61/601.59	c current bound: 265
602.21/603.18	c current bound: 265
603.81/604.78	c current bound: 265
605.42/606.35	c current bound: 265
607.03/607.98	c current bound: 265
608.63/609.56	c current bound: 265
610.23/611.14	c current bound: 265
611.83/612.72	c current bound: 265
613.43/614.30	c current bound: 265
615.02/615.93	c current bound: 265
616.61/617.51	c current bound: 265
618.12/619.09	c current bound: 265
619.71/620.69	c current bound: 265
621.29/622.26	c current bound: 265
622.90/623.86	c current bound: 265
624.49/625.45	c current bound: 265
626.11/627.05	c current bound: 265
627.71/628.63	c current bound: 265
629.29/630.21	c current bound: 265
630.79/631.78	c current bound: 265
632.39/633.37	c current bound: 265
633.99/634.97	c current bound: 265
635.59/636.57	c current bound: 265
637.21/638.13	c current bound: 265
638.79/639.71	c current bound: 265
640.29/641.29	c current bound: 265
641.90/642.88	c current bound: 265
643.58/644.51	c current bound: 265
645.09/646.07	c current bound: 265
646.78/647.70	c current bound: 265
648.42/649.30	c current bound: 265
649.91/650.88	c current bound: 265
651.50/652.46	c current bound: 265
653.11/654.06	c current bound: 265
654.72/655.66	c current bound: 265
656.36/657.30	c current bound: 265
657.99/658.90	c current bound: 265
659.48/660.47	c current bound: 265
661.06/662.07	c current bound: 265
662.67/663.68	c current bound: 265
664.26/665.24	c current bound: 265
665.86/666.86	c current bound: 265
667.47/668.45	c current bound: 265
669.07/670.04	c current bound: 265
670.67/671.66	c current bound: 265
672.28/673.24	c current bound: 265
673.86/674.83	c current bound: 265
675.47/676.45	c current bound: 265
677.06/678.05	c current bound: 265
678.67/679.63	c current bound: 265
680.16/681.19	c current bound: 265
681.76/682.74	c current bound: 265
683.35/684.37	c current bound: 265
684.97/685.92	c current bound: 265
686.56/687.57	c current bound: 265
688.09/689.19	c current bound: 265
689.79/690.81	c current bound: 265
691.40/692.40	c current bound: 265
692.89/693.98	c current bound: 265
694.50/695.55	c current bound: 265
696.09/697.17	c current bound: 265
697.69/698.77	c current bound: 265
699.29/700.37	c current bound: 265
700.90/701.95	c current bound: 265
702.48/703.54	c current bound: 265
704.09/705.12	c current bound: 265
705.59/706.69	c current bound: 265
707.18/708.29	c current bound: 265
708.79/709.88	c current bound: 265
710.37/711.47	c current bound: 265
711.99/713.06	c current bound: 265
713.60/714.63	c current bound: 265
715.17/716.21	c current bound: 265
716.67/717.79	c current bound: 265
718.39/719.44	c current bound: 265
719.99/721.03	c current bound: 265
721.59/722.60	c current bound: 265
723.07/724.18	c current bound: 265
724.66/725.76	c current bound: 265
726.26/727.36	c current bound: 265
727.88/728.93	c current bound: 265
729.46/730.51	c current bound: 265
730.97/732.08	c current bound: 265
732.56/733.66	c current bound: 265
734.16/735.24	c current bound: 265
735.77/736.84	c current bound: 265
737.36/738.43	c current bound: 265
738.94/740.00	c current bound: 265
740.47/741.57	c current bound: 265
742.05/743.15	c current bound: 265
743.66/744.74	c current bound: 265
745.27/746.33	c current bound: 265
746.85/747.91	c current bound: 265
748.37/749.47	c current bound: 265
749.96/751.04	c current bound: 265
751.54/752.61	c current bound: 265
753.14/754.22	c current bound: 265
754.74/755.82	c current bound: 265
756.25/757.39	c current bound: 265
757.85/758.97	c current bound: 265
759.45/760.56	c current bound: 265
761.05/762.18	c current bound: 265
762.64/763.75	c current bound: 265
764.27/765.33	c current bound: 265
765.84/766.91	c current bound: 265
767.44/768.51	c current bound: 265
769.07/770.11	c current bound: 265
770.56/771.66	c current bound: 265
772.16/773.25	c current bound: 265
773.76/774.87	c current bound: 265
775.36/776.43	c current bound: 265
776.95/778.03	c current bound: 265
778.54/779.60	c current bound: 265
780.06/781.15	c current bound: 265
781.64/782.78	c current bound: 265
783.25/784.39	c current bound: 265
784.84/785.97	c current bound: 265
786.45/787.55	c current bound: 265
788.03/789.10	c current bound: 265
789.55/790.68	c current bound: 265
791.15/792.25	c current bound: 265
792.95/794.03	c current bound: 265
794.55/795.65	c current bound: 265
796.15/797.27	c current bound: 265
797.74/798.85	c current bound: 265
799.33/800.44	c current bound: 265
800.94/802.04	c current bound: 265
802.54/803.62	c current bound: 265
804.15/805.20	c current bound: 265
805.73/806.86	c current bound: 265
807.33/808.43	c current bound: 265
808.93/810.04	c current bound: 265
810.52/811.67	c current bound: 265
812.13/813.26	c current bound: 265
813.73/814.83	c current bound: 265
815.31/816.41	c current bound: 265
816.83/817.98	c current bound: 265
818.40/819.57	c current bound: 265
820.01/821.15	c current bound: 265
821.62/822.73	c current bound: 265
823.20/824.31	c current bound: 265
824.79/825.90	c current bound: 265
826.30/827.49	c current bound: 265
827.91/829.08	c current bound: 265
829.51/830.67	c current bound: 265
831.10/832.26	c current bound: 265
832.70/833.85	c current bound: 265
834.31/835.44	c current bound: 265
835.89/837.02	c current bound: 265
837.47/838.60	c current bound: 265
839.07/840.20	c current bound: 265
840.57/841.77	c current bound: 265
842.19/843.39	c current bound: 265
843.79/844.96	c current bound: 265
845.37/846.52	c current bound: 265
846.99/848.10	c current bound: 265
848.59/849.73	c current bound: 265
850.15/851.30	c current bound: 265
851.66/852.88	c current bound: 265
853.27/854.46	c current bound: 265
854.85/856.06	c current bound: 265
856.46/857.63	c current bound: 265
858.07/859.24	c current bound: 265
859.68/860.83	c current bound: 265
861.28/862.44	c current bound: 265
862.87/864.04	c current bound: 265
864.44/865.60	c current bound: 265
866.07/867.22	c current bound: 265
867.65/868.81	c current bound: 265
869.27/870.43	c current bound: 265
870.84/872.05	c current bound: 265
872.44/873.65	c current bound: 265
874.05/875.21	c current bound: 265
875.64/876.81	c current bound: 265
877.15/878.38	c current bound: 265
878.75/880.00	c current bound: 265
880.43/881.61	c current bound: 265
881.93/883.19	c current bound: 265
883.55/884.77	c current bound: 265
885.13/886.38	c current bound: 265
886.73/887.99	c current bound: 265
888.32/889.58	c current bound: 265
889.93/891.18	c current bound: 265
891.52/892.76	c current bound: 265
893.13/894.35	c current bound: 265
894.72/895.95	c current bound: 265
896.31/897.54	c current bound: 265
897.91/899.13	c current bound: 265
899.49/900.75	c current bound: 265
901.09/902.32	c current bound: 265
902.69/903.91	c current bound: 265
904.20/905.49	c current bound: 265
905.79/907.08	c current bound: 265
907.39/908.66	c current bound: 265
908.98/910.27	c current bound: 265
910.59/911.87	c current bound: 265
912.18/913.45	c current bound: 265
913.78/915.08	c current bound: 265
915.38/916.67	c current bound: 265
916.98/918.28	c current bound: 265
918.56/919.88	c current bound: 265
920.16/921.44	c current bound: 265
921.78/923.03	c current bound: 265
923.37/924.65	c current bound: 265
924.97/926.21	c current bound: 265
926.55/927.81	c current bound: 265
928.04/929.39	c current bound: 265
929.65/930.98	c current bound: 265
931.35/932.62	c current bound: 265
932.95/934.22	c current bound: 265
934.54/935.82	c current bound: 265
936.16/937.43	c current bound: 265
937.74/939.01	c current bound: 265
939.25/940.59	c current bound: 265
940.84/942.18	c current bound: 265
942.44/943.77	c current bound: 265
944.03/945.38	c current bound: 265
945.64/946.96	c current bound: 265
947.24/948.54	c current bound: 265
948.84/950.17	c current bound: 265
950.51/951.82	c current bound: 265
952.14/953.43	c current bound: 265
953.73/955.02	c current bound: 265
955.30/956.61	c current bound: 265
956.90/958.21	c current bound: 265
958.40/959.79	c current bound: 265
960.00/961.36	c current bound: 265
961.72/963.00	c current bound: 265
963.20/964.59	c current bound: 265
964.80/966.17	c current bound: 265
966.39/967.74	c current bound: 265
968.00/969.32	c current bound: 265
969.59/970.95	c current bound: 265
971.20/972.55	c current bound: 265
972.79/974.15	c current bound: 265
974.39/975.75	c current bound: 265
975.98/977.38	c current bound: 265
977.57/978.97	c current bound: 265
979.17/980.56	c current bound: 265
980.76/982.19	c current bound: 265
982.35/983.77	c current bound: 265
983.94/985.38	c current bound: 265
985.64/987.02	c current bound: 265
987.24/988.62	c current bound: 265
988.84/990.22	c current bound: 265
990.45/991.80	c current bound: 265
991.94/993.39	c current bound: 265
993.53/994.96	c current bound: 265
995.13/996.54	c current bound: 265
996.74/998.17	c current bound: 265
998.42/999.81	c current bound: 265
999.92/1001.39	c current bound: 265
1001.62/1003.02	c current bound: 265
1003.19/1004.60	c current bound: 265
1004.81/1006.22	c current bound: 265
1006.32/1007.79	c current bound: 265
1007.91/1009.38	c current bound: 265
1009.52/1010.97	c current bound: 265
1011.11/1012.56	c current bound: 265
1012.71/1014.20	c current bound: 265
1014.30/1015.78	c current bound: 265
1015.88/1017.39	c current bound: 265
1017.48/1018.99	c current bound: 265
1019.08/1020.59	c current bound: 265
1020.67/1022.19	c current bound: 265
1022.38/1023.83	c current bound: 265
1023.96/1025.41	c current bound: 265
1025.57/1027.02	c current bound: 265
1027.17/1028.63	c current bound: 265
1028.76/1030.23	c current bound: 265
1030.27/1031.80	c current bound: 265
1031.95/1033.41	c current bound: 265
1033.47/1034.98	c current bound: 265
1035.06/1036.58	c current bound: 265
1036.65/1038.14	c current bound: 265
1038.26/1039.78	c current bound: 265
1039.85/1041.38	c current bound: 265
1041.46/1042.96	c current bound: 265
1043.05/1044.54	c current bound: 265
1044.66/1046.16	c current bound: 265
1046.26/1047.75	c current bound: 265
1047.86/1049.39	c current bound: 265
1049.44/1050.98	c current bound: 265
1051.04/1052.68	c current bound: 265
1052.73/1054.31	c current bound: 265
1054.36/1055.90	c current bound: 265
1055.84/1057.49	c current bound: 265
1057.43/1059.09	c current bound: 265
1059.04/1060.67	c current bound: 265
1060.64/1062.27	c current bound: 265
1062.23/1063.88	c current bound: 265
1063.82/1065.47	c current bound: 265
1065.43/1067.05	c current bound: 265
1067.02/1068.65	c current bound: 265
1068.62/1070.26	c current bound: 265
1070.22/1071.87	c current bound: 265
1071.93/1073.50	c current bound: 265
1073.41/1075.10	c current bound: 265
1075.02/1076.66	c current bound: 265
1076.61/1078.24	c current bound: 265
1078.20/1079.86	c current bound: 265
1079.82/1081.43	c current bound: 265
1081.41/1083.06	c current bound: 265
1083.09/1084.71	c current bound: 265
1084.69/1086.31	c current bound: 265
1086.19/1087.89	c current bound: 265
1087.88/1089.55	c current bound: 265
1089.48/1091.16	c current bound: 265
1091.08/1092.75	c current bound: 265
1092.67/1094.35	c current bound: 265
1094.27/1095.94	c current bound: 265
1095.87/1097.55	c current bound: 265
1097.47/1099.19	c current bound: 265
1099.16/1100.82	c current bound: 265
1100.77/1102.40	c current bound: 265
1102.26/1103.99	c current bound: 265
1103.86/1105.55	c current bound: 265
1105.45/1107.12	c current bound: 265
1107.05/1108.74	c current bound: 265
1108.65/1110.32	c current bound: 265
1110.26/1111.92	c current bound: 265
1111.74/1113.49	c current bound: 265
1113.34/1115.07	c current bound: 265
1114.95/1116.67	c current bound: 265
1116.53/1118.28	c current bound: 265
1118.13/1119.88	c current bound: 265
1119.73/1121.44	c current bound: 265
1121.32/1123.02	c current bound: 265
1122.82/1124.58	c current bound: 265
1124.41/1126.18	c current bound: 265
1126.02/1127.79	c current bound: 265
1127.72/1129.41	c current bound: 265
1129.31/1131.00	c current bound: 265
1130.82/1132.58	c current bound: 265
1132.43/1134.20	c current bound: 265
1134.02/1135.78	c current bound: 265
1135.62/1137.39	c current bound: 265
1137.34/1139.01	c current bound: 265
1138.83/1140.59	c current bound: 265
1140.43/1142.15	c current bound: 265
1142.02/1143.74	c current bound: 265
1143.63/1145.33	c current bound: 265
1145.23/1146.90	c current bound: 265
1146.82/1148.53	c current bound: 265
1148.40/1150.13	c current bound: 265
1150.02/1151.72	c current bound: 265
1151.52/1153.29	c current bound: 265
1153.12/1154.86	c current bound: 265
1154.70/1156.45	c current bound: 265
1156.31/1158.07	c current bound: 265
1157.91/1159.68	c current bound: 265
1159.50/1161.27	c current bound: 265
1161.13/1162.86	c current bound: 265
1162.72/1164.48	c current bound: 265
1164.33/1166.09	c current bound: 265
1165.92/1167.65	c current bound: 265
1167.51/1169.24	c current bound: 265
1169.13/1170.83	c current bound: 265
1170.62/1172.39	c current bound: 265
1172.30/1174.00	c current bound: 265
1173.91/1175.62	c current bound: 265
1175.49/1177.20	c current bound: 265
1177.01/1178.79	c current bound: 265
1178.61/1180.38	c current bound: 265
1180.20/1181.94	c current bound: 265
1182.00/1183.71	c current bound: 265
1183.51/1185.28	c current bound: 265
1185.22/1186.92	c current bound: 265
1186.71/1188.48	c current bound: 265
1188.33/1190.07	c current bound: 265
1189.90/1191.65	c current bound: 265
1191.50/1193.24	c current bound: 265
1193.12/1194.87	c current bound: 265
1194.72/1196.46	c current bound: 265
1196.33/1198.06	c current bound: 265
1198.00/1199.70	c current bound: 265
1199.61/1201.32	c current bound: 265
1201.19/1202.90	c current bound: 265
1202.71/1204.46	c current bound: 265
1204.31/1206.05	c current bound: 265
1205.91/1207.62	c current bound: 265
1207.48/1209.20	c current bound: 265
1209.01/1210.78	c current bound: 265
1210.69/1212.40	c current bound: 265
1212.21/1213.99	c current bound: 265
1213.81/1215.59	c current bound: 265
1215.39/1217.18	c current bound: 265
1217.02/1218.74	c current bound: 265
1218.59/1220.30	c current bound: 265
1220.10/1221.86	c current bound: 265
1221.71/1223.45	c current bound: 265
1223.30/1225.01	c current bound: 265
1224.80/1226.59	c current bound: 265
1226.40/1228.18	c current bound: 265
1228.00/1229.74	c current bound: 265
1229.60/1231.36	c current bound: 265
1231.20/1232.96	c current bound: 265
1232.80/1234.54	c current bound: 265
1234.41/1236.10	c current bound: 265
1235.91/1237.67	c current bound: 265
1237.51/1239.25	c current bound: 265
1239.11/1240.87	c current bound: 265
1240.69/1242.44	c current bound: 265
1242.30/1244.04	c current bound: 265
1243.89/1245.66	c current bound: 265
1245.50/1247.23	c current bound: 265
1246.99/1248.79	c current bound: 265
1248.60/1250.35	c current bound: 265
1250.19/1251.95	c current bound: 265
1251.80/1253.55	c current bound: 265
1253.41/1255.13	c current bound: 265
1255.01/1256.76	c current bound: 265
1256.60/1258.35	c current bound: 265
1258.19/1259.96	c current bound: 265
1259.79/1261.56	c current bound: 265
1261.40/1263.13	c current bound: 265
1262.98/1264.71	c current bound: 265
1264.60/1266.34	c current bound: 265
1266.19/1267.96	c current bound: 265
1267.79/1269.56	c current bound: 265
1269.37/1271.14	c current bound: 265
1270.99/1272.72	c current bound: 265
1272.57/1274.30	c current bound: 265
1274.08/1275.88	c current bound: 265
1275.68/1277.47	c current bound: 265
1277.30/1279.06	c current bound: 265
1278.89/1280.68	c current bound: 265
1280.48/1282.25	c current bound: 265
1282.09/1283.83	c current bound: 265
1283.58/1285.39	c current bound: 265
1285.17/1286.97	c current bound: 265
1286.78/1288.57	c current bound: 265
1288.48/1290.20	c current bound: 265
1289.97/1291.78	c current bound: 265
1291.66/1293.41	c current bound: 265
1293.25/1295.01	c current bound: 265
1294.76/1296.59	c current bound: 265
1296.47/1298.22	c current bound: 265
1298.09/1299.80	c current bound: 265
1299.58/1301.38	c current bound: 265
1301.26/1303.01	c current bound: 265
1302.78/1304.59	c current bound: 265
1304.37/1306.19	c current bound: 265
1305.98/1307.75	c current bound: 265
1307.56/1309.35	c current bound: 265
1309.16/1310.90	c current bound: 265
1310.67/1312.49	c current bound: 265
1312.27/1314.09	c current bound: 265
1313.87/1315.67	c current bound: 265
1315.46/1317.24	c current bound: 265
1316.97/1318.79	c current bound: 265
1318.57/1320.34	c current bound: 265
1320.17/1321.92	c current bound: 265
1321.75/1323.50	c current bound: 265
1323.24/1325.06	c current bound: 265
1324.86/1326.63	c current bound: 265
1326.46/1328.20	c current bound: 265
1327.94/1329.78	c current bound: 265
1329.55/1331.35	c current bound: 265
1331.15/1332.93	c current bound: 265
1332.73/1334.51	c current bound: 265
1334.24/1336.09	c current bound: 265
1335.85/1337.70	c current bound: 265
1337.44/1339.29	c current bound: 265
1339.04/1340.85	c current bound: 265
1340.65/1342.42	c current bound: 265
1342.24/1344.04	c current bound: 265
1343.83/1345.60	c current bound: 265
1345.43/1347.21	c current bound: 265
1347.06/1348.83	c current bound: 265
1348.51/1350.39	c current bound: 265
1350.13/1351.98	c current bound: 265
1351.71/1353.59	c current bound: 265
1353.32/1355.16	c current bound: 265
1354.91/1356.72	c current bound: 265
1356.41/1358.27	c current bound: 265
1358.02/1359.87	c current bound: 265
1359.61/1361.45	c current bound: 265
1361.23/1363.04	c current bound: 265
1362.81/1364.62	c current bound: 265
1364.44/1366.21	c current bound: 265
1365.90/1367.78	c current bound: 265
1367.51/1369.37	c current bound: 265
1369.10/1370.97	c current bound: 265
1370.70/1372.55	c current bound: 265
1372.31/1374.15	c current bound: 265
1373.93/1375.73	c current bound: 265
1375.51/1377.32	c current bound: 265
1377.01/1378.89	c current bound: 265
1378.62/1380.46	c current bound: 265
1380.21/1382.05	c current bound: 265
1381.82/1383.62	c current bound: 265
1383.40/1385.22	c current bound: 265
1385.00/1386.80	c current bound: 265
1386.52/1388.38	c current bound: 265
1388.19/1390.00	c current bound: 265
1389.71/1391.57	c current bound: 265
1391.31/1393.13	c current bound: 265
1392.89/1394.71	c current bound: 265
1394.48/1396.30	c current bound: 265
1395.99/1397.89	c current bound: 265
1397.68/1399.51	c current bound: 265
1399.20/1401.08	c current bound: 265
1400.80/1402.67	c current bound: 265
1402.40/1404.23	c current bound: 265
1403.90/1405.80	c current bound: 265
1405.50/1407.38	c current bound: 265
1407.09/1408.95	c current bound: 265
1408.68/1410.51	c current bound: 265
1410.20/1412.09	c current bound: 265
1411.79/1413.66	c current bound: 265
1413.40/1415.23	c current bound: 265
1414.90/1416.80	c current bound: 265
1416.49/1418.38	c current bound: 265
1418.09/1419.95	c current bound: 265
1419.68/1421.56	c current bound: 265
1421.29/1423.14	c current bound: 265
1422.90/1424.73	c current bound: 265
1424.51/1426.33	c current bound: 265
1426.00/1427.89	c current bound: 265
1427.60/1429.48	c current bound: 265
1429.19/1431.05	c current bound: 265
1430.78/1432.63	c current bound: 265
1432.37/1434.26	c current bound: 265
1433.98/1435.88	c current bound: 265
1435.59/1437.47	c current bound: 265
1437.18/1439.05	c current bound: 265
1438.78/1440.64	c current bound: 265
1440.39/1442.20	c current bound: 265
1441.88/1443.78	c current bound: 265
1443.58/1445.41	c current bound: 265
1445.15/1447.00	c current bound: 265
1446.75/1448.60	c current bound: 265
1448.29/1450.18	c current bound: 265
1449.87/1451.75	c current bound: 265
1451.49/1453.33	c current bound: 265
1453.08/1454.95	c current bound: 265
1454.67/1456.59	c current bound: 265
1456.28/1458.17	c current bound: 265
1457.89/1459.80	c current bound: 265
1459.46/1461.37	c current bound: 265
1461.06/1462.96	c current bound: 265
1462.66/1464.54	c current bound: 265
1464.24/1466.11	c current bound: 265
1465.86/1467.73	c current bound: 265
1467.45/1469.33	c current bound: 265
1469.05/1470.94	c current bound: 265
1470.65/1472.52	c current bound: 265
1472.28/1474.10	c current bound: 265
1473.83/1475.71	c current bound: 265
1475.45/1477.32	c current bound: 265
1476.94/1478.89	c current bound: 265
1478.55/1480.48	c current bound: 265
1480.15/1482.07	c current bound: 265
1481.75/1483.68	c current bound: 265
1483.36/1485.29	c current bound: 265
1485.15/1487.04	c current bound: 265
1486.75/1488.68	c current bound: 265
1488.34/1490.25	c current bound: 265
1489.94/1491.87	c current bound: 265
1491.55/1493.46	c current bound: 265
1493.14/1495.06	c current bound: 265
1494.73/1496.67	c current bound: 265
1496.34/1498.23	c current bound: 265
1497.92/1499.81	c current bound: 265
1499.55/1501.43	c current bound: 265
1501.14/1503.04	c current bound: 265
1502.74/1504.63	c current bound: 265
1504.23/1506.18	c current bound: 265
1505.84/1507.76	c current bound: 265
1507.43/1509.38	c current bound: 265
1509.04/1510.95	c current bound: 265
1510.66/1512.53	c current bound: 265
1512.23/1514.15	c current bound: 265
1513.83/1515.74	c current bound: 265
1515.44/1517.35	c current bound: 265
1517.02/1518.90	c current bound: 265
1518.53/1520.48	c current bound: 265
1520.14/1522.04	c current bound: 265
1521.75/1523.62	c current bound: 265
1523.24/1525.18	c current bound: 265
1524.83/1526.76	c current bound: 265
1526.44/1528.32	c current bound: 265
1527.94/1529.89	c current bound: 265
1529.54/1531.48	c current bound: 265
1531.13/1533.06	c current bound: 265
1532.75/1534.67	c current bound: 265
1534.34/1536.24	c current bound: 265
1535.94/1537.82	c current bound: 265
1537.44/1539.38	c current bound: 265
1539.04/1540.96	c current bound: 265
1540.64/1542.55	c current bound: 265
1542.24/1544.12	c current bound: 265
1543.83/1545.70	c current bound: 265
1545.35/1547.26	c current bound: 265
1547.07/1548.91	c current bound: 265
1548.55/1550.48	c current bound: 265
1550.14/1552.08	c current bound: 265
1551.96/1553.83	c current bound: 265
1553.55/1555.42	c current bound: 265
1555.04/1556.99	c current bound: 265
1556.64/1558.57	c current bound: 265
1558.24/1560.17	c current bound: 265
1559.85/1561.73	c current bound: 265
1561.43/1563.31	c current bound: 265
1562.94/1564.89	c current bound: 265
1564.55/1566.44	c current bound: 265
1566.12/1568.00	c current bound: 265
1567.73/1569.60	c current bound: 265
1569.33/1571.21	c current bound: 265
1570.83/1572.78	c current bound: 265
1572.43/1574.37	c current bound: 265
1574.03/1575.95	c current bound: 265
1575.64/1577.56	c current bound: 265
1577.24/1579.14	c current bound: 265
1578.85/1580.73	c current bound: 265
1580.43/1582.32	c current bound: 265
1582.03/1583.92	c current bound: 265
1583.62/1585.51	c current bound: 265
1585.13/1587.08	c current bound: 265
1586.74/1588.65	c current bound: 265
1588.34/1590.22	c current bound: 265
1589.95/1591.83	c current bound: 265
1591.52/1593.40	c current bound: 265
1593.04/1594.99	c current bound: 265
1594.72/1596.61	c current bound: 265
1596.23/1598.19	c current bound: 265
1597.92/1599.81	c current bound: 265
1599.51/1601.41	c current bound: 265
1601.03/1602.97	c current bound: 265
1602.63/1604.56	c current bound: 265
1604.24/1606.14	c current bound: 265
1605.80/1607.71	c current bound: 265
1607.31/1609.27	c current bound: 265
1608.93/1610.86	c current bound: 265
1610.52/1612.44	c current bound: 265
1612.12/1614.02	c current bound: 265
1613.82/1615.78	c current bound: 265
1615.41/1617.37	c current bound: 265
1617.03/1618.95	c current bound: 265
1618.62/1620.55	c current bound: 265
1620.22/1622.14	c current bound: 265
1621.81/1623.71	c current bound: 265
1623.32/1625.29	c current bound: 265
1624.91/1626.88	c current bound: 265
1626.51/1628.45	c current bound: 265
1628.12/1630.07	c current bound: 265
1629.71/1631.65	c current bound: 265
1631.30/1633.21	c current bound: 265
1632.90/1634.84	c current bound: 265
1634.51/1636.43	c current bound: 265
1636.12/1638.05	c current bound: 265
1637.71/1639.66	c current bound: 265
1639.33/1641.25	c current bound: 265
1640.92/1642.83	c current bound: 265
1642.52/1644.42	c current bound: 265
1644.09/1646.00	c current bound: 265
1645.72/1647.62	c current bound: 265
1647.32/1649.22	c current bound: 265
1648.89/1650.80	c current bound: 265
1650.43/1652.39	c current bound: 265
1652.02/1653.96	c current bound: 265
1653.63/1655.53	c current bound: 265
1655.22/1657.13	c current bound: 265
1656.82/1658.74	c current bound: 265
1658.42/1660.33	c current bound: 265
1660.03/1661.94	c current bound: 265
1661.63/1663.53	c current bound: 265
1663.24/1665.13	c current bound: 265
1664.82/1666.72	c current bound: 265
1666.44/1668.30	c current bound: 265
1667.93/1669.89	c current bound: 265
1669.52/1671.46	c current bound: 265
1671.13/1673.02	c current bound: 265
1672.72/1674.61	c current bound: 265
1674.33/1676.22	c current bound: 265
1675.82/1677.79	c current bound: 265
1677.52/1679.41	c current bound: 265
1679.11/1681.01	c current bound: 265
1680.63/1682.57	c current bound: 265
1682.23/1684.16	c current bound: 265
1683.82/1685.77	c current bound: 265
1685.42/1687.37	c current bound: 265
1687.03/1688.96	c current bound: 265
1688.63/1690.54	c current bound: 265
1690.23/1692.13	c current bound: 265
1691.83/1693.73	c current bound: 265
1693.32/1695.29	c current bound: 265
1694.92/1696.89	c current bound: 265
1696.50/1698.48	c current bound: 265
1698.18/1700.11	c current bound: 265
1699.68/1701.66	c current bound: 265
1701.28/1703.25	c current bound: 265
1702.91/1704.83	c current bound: 265
1704.49/1706.41	c current bound: 265
1706.10/1708.04	c current bound: 265
1707.67/1709.60	c current bound: 265
1709.19/1711.16	c current bound: 265
1710.80/1712.72	c current bound: 265
1712.29/1714.28	c current bound: 265
1713.89/1715.87	c current bound: 265
1715.49/1717.43	c current bound: 265
1717.10/1719.06	c current bound: 265
1718.69/1720.65	c current bound: 265
1720.29/1722.25	c current bound: 265
1721.89/1723.83	c current bound: 265
1723.49/1725.45	c current bound: 265
1725.10/1727.04	c current bound: 265
1726.66/1728.60	c current bound: 265
1728.29/1730.23	c current bound: 265
1729.87/1731.81	c current bound: 265
1731.38/1733.39	c current bound: 265
1732.98/1734.99	c current bound: 265
1734.58/1736.56	c current bound: 265
1736.18/1738.15	c current bound: 265
1737.78/1739.72	c current bound: 265
1739.28/1741.27	c current bound: 265
1740.89/1742.84	c current bound: 265
1742.47/1744.42	c current bound: 265
1744.09/1746.00	c current bound: 265
1745.58/1747.58	c current bound: 265
1747.18/1749.17	c current bound: 265
1748.78/1750.76	c current bound: 265
1750.56/1752.51	c current bound: 265
1752.18/1754.13	c current bound: 265
1753.78/1755.73	c current bound: 265
1755.37/1757.30	c current bound: 265
1756.99/1758.93	c current bound: 265
1758.48/1760.49	c current bound: 265
1760.09/1762.05	c current bound: 265
1761.69/1763.63	c current bound: 265
1763.20/1765.19	c current bound: 265
1764.79/1766.79	c current bound: 265
1766.39/1768.36	c current bound: 265
1768.00/1769.95	c current bound: 265
1769.60/1771.57	c current bound: 265
1771.18/1773.15	c current bound: 265
1772.80/1774.73	c current bound: 265
1774.40/1776.30	c current bound: 265
1775.88/1777.89	c current bound: 265
1777.49/1779.47	c current bound: 265
1779.09/1781.02	c current bound: 265
1780.58/1782.59	c current bound: 265
1782.28/1784.21	c current bound: 265
1783.79/1785.77	c current bound: 265
1785.50/1787.40	c current bound: 265
1787.09/1789.03	c current bound: 265
1788.69/1790.60	c current bound: 265
1790.18/1792.19	c current bound: 265
1791.88/1793.83	c current bound: 265
1793.48/1795.44	c current bound: 265
1795.08/1797.04	c current bound: 265
1796.67/1798.65	c current bound: 265
1798.27/1800.25	c current bound: 265
1799.87/1801.84	c current bound: 265
1800.97/1802.91	./satsolver.sh: line 5:  9438 Terminated              ./glucose $1 > $2 2> /dev/null
1800.97/1802.91	c error: unexpected solver exit code
1800.97/1802.91	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-3715950-1338229623/watcher-3715950-1338229623 -o /tmp/evaluation-result-3715950-1338229623/solver-3715950-1338229623 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715950-1338229623.wbo 1666438782 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: 0.92 0.99 1.23 3/171 1946
/proc/meminfo: memFree=25511508/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0

[startup+0.105918 s]
/proc/loadavg: 0.92 0.99 1.23 3/171 1946
/proc/meminfo: memFree=25511508/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200333 s]
/proc/loadavg: 0.92 0.99 1.23 3/171 1946
/proc/meminfo: memFree=25511508/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300256 s]
/proc/loadavg: 0.92 0.99 1.23 3/171 1946
/proc/meminfo: memFree=25511508/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700275 s]
/proc/loadavg: 0.92 0.99 1.23 3/171 1946
/proc/meminfo: memFree=25511508/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 0.92 0.99 1.23 3/181 1997
/proc/meminfo: memFree=25482556/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=0.51 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 1659 7227 0 0 6 2 41 2 20 0 1 0 289090866 5992448 914 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1950/statm: 1463 914 175 439 0 1020 0
[pid=1978] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1978/stat : 1978 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289090921 9367552 266 33554432000 4194304 5064252 140735102856304 140735102855216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1978/statm: 2287 266 226 213 0 72 0
[pid=1979] ppid=1978 vsize=11356 CPUtime=0.94 cores=1,3,5,7
/proc/1979/stat : 1979 (glucose) R 1978 1946 1905 0 -1 4202496 3019 0 0 0 94 0 0 0 20 0 1 0 289090921 11628544 2395 33554432000 4194304 5208918 140737230746272 140737230744120 4211580 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1979/statm: 2839 2395 96 248 0 2588 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 35504

[startup+3.10029 s]
/proc/loadavg: 0.92 0.99 1.23 3/181 2039
/proc/meminfo: memFree=25481616/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=2.13 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 2183 14882 0 0 7 2 199 5 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=2038] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2038/stat : 2038 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289091083 9367552 267 33554432000 4194304 5064252 140736175563360 140736175562272 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2038/statm: 2287 267 226 213 0 72 0
[pid=2039] ppid=2038 vsize=11360 CPUtime=0.92 cores=1,3,5,7
/proc/2039/stat : 2039 (glucose) R 2038 1946 1905 0 -1 4202496 3051 0 0 0 92 0 0 0 20 0 1 0 289091083 11632640 2385 33554432000 4194304 5208918 140736076487264 140736076485112 4229280 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2039/statm: 2840 2385 96 248 0 2589 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 35508

[startup+6.30034 s]
/proc/loadavg: 0.93 0.99 1.23 3/181 2172
/proc/meminfo: memFree=25480124/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=5.33 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 3231 30153 0 0 9 2 511 11 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=2164] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2164/stat : 2164 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289091402 9367552 266 33554432000 4194304 5064252 140733502557216 140733502556128 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2164/statm: 2287 266 226 213 0 72 0
[pid=2165] ppid=2164 vsize=11356 CPUtime=0.92 cores=1,3,5,7
/proc/2165/stat : 2165 (glucose) R 2164 1946 1905 0 -1 4202496 2777 0 0 0 92 0 0 0 20 0 1 0 289091403 11628544 2396 33554432000 4194304 5208918 140734358207088 140734358205240 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2165/statm: 2839 2396 96 248 0 2588 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 35504

[startup+12.7003 s]
/proc/loadavg: 1.01 1.00 1.23 3/180 2429
/proc/meminfo: memFree=25489612/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=11.68 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 5327 60348 0 0 13 3 1132 20 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=2414] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2414/stat : 2414 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289092037 9367552 267 33554432000 4194304 5064252 140736037689744 140736037688656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2414/statm: 2287 267 226 213 0 72 0
[pid=2415] ppid=2414 vsize=11360 CPUtime=0.97 cores=1,3,5,7
/proc/2415/stat : 2415 (glucose) R 2414 1946 1905 0 -1 4202496 2715 0 0 0 97 0 0 0 20 0 1 0 289092037 11632640 2443 33554432000 4194304 5208918 140734555487280 140734555485128 4229347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2415/statm: 2840 2443 96 248 0 2589 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 35508

[startup+25.5003 s]
/proc/loadavg: 1.08 1.02 1.23 3/181 2949
/proc/meminfo: memFree=25478800/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=24.27 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 9519 120173 0 0 20 5 2363 39 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=2918] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2918/stat : 2918 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289093309 9367552 267 33554432000 4194304 5064252 140733875749616 140733875748528 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2918/statm: 2287 267 226 213 0 72 0
[pid=2919] ppid=2918 vsize=11360 CPUtime=1.06 cores=1,3,5,7
/proc/2919/stat : 2919 (glucose) R 2918 1946 1905 0 -1 4202496 3045 0 0 0 106 0 0 0 20 0 1 0 289093309 11632640 2466 33554432000 4194304 5208918 140733955903376 140733955901464 4215353 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2919/statm: 2840 2466 96 248 0 2589 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 35508

[startup+51.1004 s]
/proc/loadavg: 1.32 1.08 1.25 3/181 3964
/proc/meminfo: memFree=25477840/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=49.58 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 17903 239511 0 0 35 9 4834 80 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=3935] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3935/stat : 3935 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 289095840 9367552 266 33554432000 4194304 5064252 140737161014912 140737161013824 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3935/statm: 2287 266 226 213 0 72 0
[pid=3936] ppid=3935 vsize=13572 CPUtime=1.35 cores=1,3,5,7
/proc/3936/stat : 3936 (glucose) R 3935 1946 1905 0 -1 4202496 3951 0 0 0 135 0 0 0 20 0 1 0 289095840 13897728 2809 33554432000 4194304 5208918 140737122784512 140737122782456 4229006 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3936/statm: 3393 2809 104 248 0 3142 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 37720

[startup+102.3 s]
/proc/loadavg: 1.54 1.17 1.27 3/180 6059
/proc/meminfo: memFree=25485404/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=102.09 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 35195 485732 0 0 64 17 9962 166 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=6059] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6059/stat : 6059 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289101096 9367552 267 33554432000 4194304 5064252 140735597701136 140735597700048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6059/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 24148

[startup+162.3 s]
/proc/loadavg: 1.76 1.31 1.31 4/179 8438
/proc/meminfo: memFree=25487440/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=160.93 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 54583 760999 0 0 98 25 15707 263 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=8418] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8418/stat : 8418 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289106987 9367552 267 33554432000 4194304 5064252 140735130260608 140735130259520 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8418/statm: 2287 267 226 213 0 72 0
[pid=8419] ppid=8418 vsize=11496 CPUtime=1.08 cores=1,3,5,7

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


[startup+1302.3 s]
/proc/loadavg: 1.90 1.86 1.67 3/181 21629
/proc/meminfo: memFree=25469280/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1299.68 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 429243 6088832 0 0 763 167 126908 2130 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
Current children cumulated CPU time (s) 1299.68
Current children cumulated vsize (KiB) 15000

[startup+1362.3 s]
/proc/loadavg: 1.76 1.83 1.67 3/181 24066
/proc/meminfo: memFree=25470884/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1359.7 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 449155 6370824 0 0 798 176 132768 2228 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=24051] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24051/stat : 24051 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289227012 9367552 267 33554432000 4194304 5064252 140736610217184 140736610216096 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24051/statm: 2287 267 226 213 0 72 0
[pid=24052] ppid=24051 vsize=11360 CPUtime=0.83 cores=1,3,5,7
/proc/24052/stat : 24052 (glucose) R 24051 1946 1905 0 -1 4202496 2945 0 0 0 83 0 0 0 20 0 1 0 289227013 11632640 2337 33554432000 4194304 5208918 140733881045440 140733881043528 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24052/statm: 2840 2337 96 248 0 2589 0
Current children cumulated CPU time (s) 1360.53
Current children cumulated vsize (KiB) 35508

[startup+1422.3 s]
/proc/loadavg: 1.80 1.81 1.67 3/180 26517
/proc/meminfo: memFree=25481944/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1419.78 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 469067 6652104 0 0 833 184 138637 2324 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=26490] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26490/stat : 26490 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289233024 9367552 267 33554432000 4194304 5064252 140734042338512 140734042337424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26490/statm: 2287 267 226 213 0 72 0
[pid=26491] ppid=26490 vsize=11228 CPUtime=0.71 cores=1,3,5,7
/proc/26491/stat : 26491 (glucose) R 26490 1946 1905 0 -1 4202496 2928 0 0 0 71 0 0 0 20 0 1 0 289233024 11497472 2275 33554432000 4194304 5208918 140736080734736 140736080732584 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26491/statm: 2807 2275 96 248 0 2556 0
Current children cumulated CPU time (s) 1420.49
Current children cumulated vsize (KiB) 35376

[startup+1482.3 s]
/proc/loadavg: 2.12 1.90 1.71 3/181 28892
/proc/meminfo: memFree=25468976/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1480.25 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 488979 6936557 0 0 868 192 144542 2423 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
Current children cumulated CPU time (s) 1480.25
Current children cumulated vsize (KiB) 15000

[startup+1542.31 s]
/proc/loadavg: 2.04 1.92 1.73 3/181 31317
/proc/meminfo: memFree=25474692/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1539.13 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 508367 7211144 0 0 902 200 150288 2523 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=31271] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31271/stat : 31271 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289244964 9367552 267 33554432000 4194304 5064252 140733839935952 140733839934864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31271/statm: 2287 267 226 213 0 72 0
[pid=31272] ppid=31271 vsize=10892 CPUtime=1.31 cores=1,3,5,7
/proc/31272/stat : 31272 (glucose) R 31271 1946 1905 0 -1 4202496 3691 0 0 0 131 0 0 0 20 0 1 0 289244964 11153408 2386 33554432000 4194304 5208918 140734352098656 140734352096504 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31272/statm: 2723 2386 104 248 0 2472 0
Current children cumulated CPU time (s) 1540.44
Current children cumulated vsize (KiB) 35040

[startup+1602.3 s]
/proc/loadavg: 1.89 1.90 1.73 3/181 1261
/proc/meminfo: memFree=25470096/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1599.56 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 528279 7496358 0 0 938 207 156188 2623 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=1253] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1253/stat : 1253 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289251008 9367552 267 33554432000 4194304 5064252 140733240424368 140733240423280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1253/statm: 2287 267 226 213 0 72 0
[pid=1254] ppid=1253 vsize=11360 CPUtime=0.87 cores=1,3,5,7
/proc/1254/stat : 1254 (glucose) R 1253 1946 1905 0 -1 4202496 2861 0 0 0 87 0 0 0 20 0 1 0 289251008 11632640 2377 33554432000 4194304 5208918 140733822999184 140733822997272 4211577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1254/statm: 2840 2377 96 248 0 2589 0
Current children cumulated CPU time (s) 1600.43
Current children cumulated vsize (KiB) 35508

[startup+1662.3 s]
/proc/loadavg: 1.92 1.90 1.74 3/181 3780
/proc/meminfo: memFree=25469840/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1660.09 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 548191 7778002 0 0 974 214 162100 2721 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=3772] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3772/stat : 3772 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289257062 9367552 267 33554432000 4194304 5064252 140734999666784 140734999665696 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3772/statm: 2287 267 226 213 0 72 0
[pid=3774] ppid=3772 vsize=12772 CPUtime=0.33 cores=1,3,5,7
/proc/3774/stat : 3774 (glucose) R 3772 1946 1905 0 -1 4202496 2161 0 0 0 33 0 0 0 20 0 1 0 289257062 13078528 2545 33554432000 4194304 5208918 140736903878528 140736903876376 4229688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3774/statm: 3193 2545 95 248 0 2942 0
Current children cumulated CPU time (s) 1660.42
Current children cumulated vsize (KiB) 36920

[startup+1722.3 s]
/proc/loadavg: 1.90 1.90 1.74 3/181 6183
/proc/meminfo: memFree=25469316/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1720.36 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 568103 8058648 0 0 1009 222 167984 2821 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
Current children cumulated CPU time (s) 1720.36
Current children cumulated vsize (KiB) 15000

[startup+1782.3 s]
/proc/loadavg: 1.96 1.92 1.75 3/179 8631
/proc/meminfo: memFree=25479060/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1779.13 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 587491 8331514 0 0 1043 230 173720 2920 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=8595] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8595/stat : 8595 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289268970 9367552 266 33554432000 4194304 5064252 140737300009008 140737300007920 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8595/statm: 2287 266 226 213 0 72 0
[pid=8596] ppid=8595 vsize=13564 CPUtime=1.25 cores=1,3,5,7
/proc/8596/stat : 8596 (glucose) R 8595 1946 1905 0 -1 4202496 2853 0 0 0 124 1 0 0 20 0 1 0 289268970 13889536 2668 33554432000 4194304 5208918 140736256010112 140736256007960 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8596/statm: 3391 2668 104 248 0 3140 0
Current children cumulated CPU time (s) 1780.38
Current children cumulated vsize (KiB) 37712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.9 s]
/proc/loadavg: 1.90 1.90 1.75 3/181 9476
/proc/meminfo: memFree=25473572/32873844 swapFree=7112/7112
[pid=1946] ppid=1943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1946/stat : 1946 (npSolver-wbo-It) S 1943 1946 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289090866 9367552 275 33554432000 4194304 5064252 140734105423952 140734105422864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1946/statm: 2287 275 233 213 0 72 0
[pid=1950] ppid=1946 vsize=5852 CPUtime=1799.93 cores=1,3,5,7
/proc/1950/stat : 1950 (npSolver-wbo) S 1946 1946 1905 0 -1 4202496 594303 8428635 0 0 1055 232 175753 2953 20 0 1 0 289090866 5992448 915 33554432000 4194304 5990268 140734254373680 140734254365088 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 6 0 0
/proc/1950/statm: 1463 915 176 439 0 1020 0
[pid=9437] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9437/stat : 9437 (satsolver.sh) S 1950 1946 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289271052 9367552 267 33554432000 4194304 5064252 140736299149424 140736299148336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9437/statm: 2287 267 226 213 0 72 0
[pid=9438] ppid=9437 vsize=11360 CPUtime=1.04 cores=1,3,5,7
/proc/9438/stat : 9438 (glucose) R 9437 1946 1905 0 -1 4202496 2813 0 0 0 104 0 0 0 20 0 1 0 289271052 11632640 2475 33554432000 4194304 5208918 140735391156368 140735391154216 4212447 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9438/statm: 2840 2475 96 248 0 2589 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (KiB) 35508

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1802.92
CPU time (s): 1801.01
CPU user time (s): 1769.14
CPU system time (s): 31.8702
CPU usage (%): 99.8945
Max. virtual memory (cumulated for all children) (KiB): 39400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.14
system time used= 31.8702
maximum resident set size= 12856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9026741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2982632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42038
involuntary context switches= 17042

runsolver used 2.98455 second user time and 8.5617 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-28 20:27:03
IDJOB=3715950
IDBENCH=79250
IDSOLVER=2297
FILE ID=node104/3715950-1338229623
RUNJOBID= node104-1338229623-1922
PBS_JOBID= 14624647
Free space on /tmp= 66892 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977780--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-3715950-1338229623/watcher-3715950-1338229623 -o /tmp/evaluation-result-3715950-1338229623/solver-3715950-1338229623 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715950-1338229623.wbo 1666438782 HOME HOME

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

MD5SUM BENCH= a2fcadde47f67cca69c2b162b15fa373
RANDOM SEED=1666438782

node104.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.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
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.266
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.266
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.266
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.92
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.266
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.266
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		: 2666.266
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.266
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25512252 kB
Buffers:          433184 kB
Cached:          5960176 kB
SwapCached:         1084 kB
Active:          5496308 kB
Inactive:         906632 kB
Active(anon):       2344 kB
Inactive(anon):     9956 kB
Active(file):    5493964 kB
Inactive(file):   896676 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67106720 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:         15604 kB
Mapped:            13536 kB
Shmem:               196 kB
Slab:             817952 kB
SReclaimable:     260312 kB
SUnreclaim:       557640 kB
KernelStack:        1336 kB
PageTables:         3552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:      93252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 66876 MiB
End job on node104 at 2012-05-28 20:57:06