Trace number 3715916

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.1 1803.71

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
MD5SUMec85c0538058c3457da9eddcb3b315b2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark40.6638
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c run usual solver
0.00/0.15	o 1110
0.00/0.15	c starting approximation
0.00/0.15	c factor = 2
0.00/0.15	c factor still to low - shrinking to 9.16416
0.00/0.15	c approx number of clauses: 1e+06
0.00/0.15	c current bound: 555
1.47/1.72	c current bound: 555
3.19/3.29	c current bound: 555
4.60/4.85	c current bound: 555
6.16/6.42	c current bound: 555
7.73/7.97	c current bound: 555
9.29/9.58	c current bound: 555
10.85/11.14	c current bound: 555
12.62/12.70	c current bound: 555
14.12/14.26	c current bound: 555
15.53/15.83	c current bound: 555
17.06/17.37	c current bound: 555
18.62/18.92	c current bound: 555
20.16/20.54	c current bound: 555
21.84/22.09	c current bound: 555
23.25/23.64	c current bound: 555
24.81/25.19	c current bound: 555
26.40/26.77	c current bound: 555
27.93/28.31	c current bound: 555
29.48/29.86	c current bound: 555
31.04/31.47	c current bound: 555
32.80/33.01	c current bound: 555
34.14/34.56	c current bound: 555
35.69/36.11	c current bound: 555
37.24/37.67	c current bound: 555
38.80/39.22	c current bound: 555
40.52/40.78	c current bound: 555
41.92/42.36	c current bound: 555
43.67/43.91	c current bound: 555
45.00/45.46	c current bound: 555
46.78/47.00	c current bound: 555
48.10/48.54	c current bound: 555
49.65/50.11	c current bound: 555
51.38/51.66	c current bound: 555
52.77/53.25	c current bound: 555
54.30/54.79	c current bound: 555
55.85/56.34	c current bound: 555
57.41/57.89	c current bound: 555
59.14/59.44	c current bound: 555
60.51/60.98	c current bound: 555
62.06/62.53	c current bound: 555
63.59/64.11	c current bound: 555
65.15/65.66	c current bound: 555
66.89/67.21	c current bound: 555
68.25/68.75	c current bound: 555
69.79/70.30	c current bound: 555
71.38/71.88	c current bound: 555
72.93/73.43	c current bound: 555
74.47/75.02	c current bound: 555
76.03/76.56	c current bound: 555
77.78/78.11	c current bound: 555
79.12/79.66	c current bound: 555
80.67/81.20	c current bound: 555
82.22/82.76	c current bound: 555
83.77/84.30	c current bound: 555
85.45/85.88	c current bound: 555
86.86/87.43	c current bound: 555
88.67/89.00	c current bound: 555
89.99/90.55	c current bound: 555
91.76/92.10	c current bound: 555
93.07/93.64	c current bound: 555
94.86/95.20	c current bound: 555
96.31/96.78	c current bound: 555
97.73/98.34	c current bound: 555
99.29/99.88	c current bound: 555
100.83/101.43	c current bound: 555
102.38/102.98	c current bound: 555
104.12/104.52	c current bound: 555
105.47/106.07	c current bound: 555
107.01/107.61	c current bound: 555
108.56/109.16	c current bound: 555
110.10/110.71	c current bound: 555
111.81/112.25	c current bound: 555
113.21/113.80	c current bound: 555
114.76/115.36	c current bound: 555
116.31/116.91	c current bound: 555
118.08/118.50	c current bound: 555
119.39/120.04	c current bound: 555
120.94/121.58	c current bound: 555
122.68/123.13	c current bound: 555
124.03/124.68	c current bound: 555
125.59/126.23	c current bound: 555
127.13/127.77	c current bound: 555
128.68/129.37	c current bound: 555
130.43/130.92	c current bound: 555
131.76/132.47	c current bound: 555
133.32/134.01	c current bound: 555
134.87/135.55	c current bound: 555
136.42/137.10	c current bound: 555
138.13/138.65	c current bound: 555
139.51/140.24	c current bound: 555
141.05/141.79	c current bound: 555
142.60/143.33	c current bound: 555
144.15/144.88	c current bound: 555
145.69/146.43	c current bound: 555
147.22/147.98	c current bound: 555
148.97/149.52	c current bound: 555
150.34/151.09	c current bound: 555
151.88/152.64	c current bound: 555
153.42/154.18	c current bound: 555
154.97/155.73	c current bound: 555
156.67/157.30	c current bound: 555
158.10/158.85	c current bound: 555
159.87/160.40	c current bound: 555
161.20/161.99	c current bound: 555
162.76/163.55	c current bound: 555
164.53/165.11	c current bound: 555
165.87/166.67	c current bound: 555
167.63/168.23	c current bound: 555
168.99/169.78	c current bound: 555
170.54/171.33	c current bound: 555
172.10/172.93	c current bound: 555
173.64/174.50	c current bound: 555
175.38/176.07	c current bound: 555
176.77/177.61	c current bound: 555
178.34/179.16	c current bound: 555
179.88/180.71	c current bound: 555
181.43/182.25	c current bound: 555
183.19/183.80	c current bound: 555
184.54/185.36	c current bound: 555
186.31/186.91	c current bound: 555
187.65/188.47	c current bound: 555
189.20/190.02	c current bound: 555
190.77/191.56	c current bound: 555
192.31/193.11	c current bound: 555
193.97/194.69	c current bound: 555
195.41/196.24	c current bound: 555
197.01/197.83	c current bound: 555
198.57/199.38	c current bound: 555
200.11/200.93	c current bound: 555
201.80/202.47	c current bound: 555
203.21/204.02	c current bound: 555
204.99/205.61	c current bound: 555
206.31/207.15	c current bound: 555
208.09/208.70	c current bound: 555
209.42/210.27	c current bound: 555
211.00/211.82	c current bound: 555
212.69/213.38	c current bound: 555
214.10/214.93	c current bound: 555
215.64/216.51	c current bound: 555
217.18/218.06	c current bound: 555
218.74/219.61	c current bound: 555
220.45/221.16	c current bound: 555
221.84/222.71	c current bound: 555
223.40/224.26	c current bound: 555
224.95/225.80	c current bound: 555
226.72/227.40	c current bound: 555
228.05/228.95	c current bound: 555
229.82/230.50	c current bound: 555
231.33/232.04	c current bound: 555
232.94/233.60	c current bound: 555
234.26/235.15	c current bound: 555
236.04/236.70	c current bound: 555
237.60/238.30	c current bound: 555
239.10/239.88	c current bound: 555
240.51/241.43	c current bound: 555
242.07/242.97	c current bound: 555
243.62/244.52	c current bound: 555
245.16/246.07	c current bound: 555
246.74/247.63	c current bound: 555
248.27/249.22	c current bound: 555
249.97/250.77	c current bound: 555
251.38/252.32	c current bound: 555
252.92/253.86	c current bound: 555
254.47/255.41	c current bound: 555
256.03/256.96	c current bound: 555
257.68/258.50	c current bound: 555
259.13/260.05	c current bound: 555
260.91/261.60	c current bound: 555
262.23/263.14	c current bound: 555
263.78/264.69	c current bound: 555
265.51/266.23	c current bound: 555
266.87/267.78	c current bound: 555
268.43/269.33	c current bound: 555
269.98/270.88	c current bound: 555
271.52/272.44	c current bound: 555
273.22/273.98	c current bound: 555
274.63/275.53	c current bound: 555
276.19/277.07	c current bound: 555
277.83/278.71	c current bound: 555
279.38/280.25	c current bound: 555
281.16/281.80	c current bound: 555
282.47/283.35	c current bound: 555
284.15/284.89	c current bound: 555
285.58/286.44	c current bound: 555
287.12/287.98	c current bound: 555
288.68/289.53	c current bound: 555
290.23/291.09	c current bound: 555
291.95/292.67	c current bound: 555
293.35/294.22	c current bound: 555
294.88/295.76	c current bound: 555
296.44/297.31	c current bound: 555
297.99/298.86	c current bound: 555
299.73/300.40	c current bound: 555
301.08/301.95	c current bound: 555
302.86/303.50	c current bound: 555
304.20/305.05	c current bound: 555
305.97/306.60	c current bound: 555
307.28/308.15	c current bound: 555
309.09/309.70	c current bound: 555
310.57/311.24	c current bound: 555
311.95/312.79	c current bound: 555
313.50/314.38	c current bound: 555
315.05/315.94	c current bound: 555
316.72/317.59	c current bound: 555
318.27/319.15	c current bound: 555
319.83/320.71	c current bound: 555
321.53/322.26	c current bound: 555
322.93/323.80	c current bound: 555
324.71/325.40	c current bound: 555
326.02/326.95	c current bound: 555
327.58/328.49	c current bound: 555
329.31/330.04	c current bound: 555
330.68/331.58	c current bound: 555
332.24/333.13	c current bound: 555
333.77/334.68	c current bound: 555
335.33/336.23	c current bound: 555
337.02/337.78	c current bound: 555
338.45/339.34	c current bound: 555
340.01/340.89	c current bound: 555
341.56/342.44	c current bound: 555
343.10/343.98	c current bound: 555
344.67/345.54	c current bound: 555
346.22/347.13	c current bound: 555
347.93/348.68	c current bound: 555
349.34/350.24	c current bound: 555
350.90/351.79	c current bound: 555
352.44/353.33	c current bound: 555
353.99/354.87	c current bound: 555
355.74/356.43	c current bound: 555
357.09/358.02	c current bound: 555
358.66/359.59	c current bound: 555
360.22/361.14	c current bound: 555
362.00/362.70	c current bound: 555
363.35/364.27	c current bound: 555
364.89/365.82	c current bound: 555
366.59/367.36	c current bound: 555
367.99/368.96	c current bound: 555
369.55/370.51	c current bound: 555
371.09/372.07	c current bound: 555
372.66/373.62	c current bound: 555
374.34/375.16	c current bound: 555
375.76/376.72	c current bound: 555
377.59/378.43	c current bound: 555
378.94/379.98	c current bound: 555
380.49/381.52	c current bound: 555
382.04/383.07	c current bound: 555
383.59/384.61	c current bound: 555
385.29/386.16	c current bound: 555
386.69/387.71	c current bound: 555
388.25/389.26	c current bound: 555
389.80/390.86	c current bound: 555
391.36/392.43	c current bound: 555
392.92/393.98	c current bound: 555
394.49/395.53	c current bound: 555
396.18/397.08	c current bound: 555
397.59/398.63	c current bound: 555
399.14/400.18	c current bound: 555
400.69/401.77	c current bound: 555
402.24/403.32	c current bound: 555
403.95/404.87	c current bound: 555
405.34/406.41	c current bound: 555
406.89/407.96	c current bound: 555
408.44/409.50	c current bound: 555
409.98/411.05	c current bound: 555
411.54/412.64	c current bound: 555
413.08/414.19	c current bound: 555
414.82/415.73	c current bound: 555
416.18/417.29	c current bound: 555
417.74/418.83	c current bound: 555
419.27/420.38	c current bound: 555
420.83/421.92	c current bound: 555
422.59/423.51	c current bound: 555
423.93/425.06	c current bound: 555
425.72/426.60	c current bound: 555
427.02/428.14	c current bound: 555
428.58/429.69	c current bound: 555
430.32/431.24	c current bound: 555
431.67/432.79	c current bound: 555
433.23/434.38	c current bound: 555
434.78/435.92	c current bound: 555
436.33/437.48	c current bound: 555
437.89/439.03	c current bound: 555
439.42/440.57	c current bound: 555
441.18/442.12	c current bound: 555
442.53/443.66	c current bound: 555
444.09/445.22	c current bound: 555
445.63/446.77	c current bound: 555
447.20/448.33	c current bound: 555
448.90/449.88	c current bound: 555
450.31/451.42	c current bound: 555
451.87/452.97	c current bound: 555
453.41/454.52	c current bound: 555
454.96/456.06	c current bound: 555
456.72/457.61	c current bound: 555
458.07/459.16	c current bound: 555
459.61/460.71	c current bound: 555
461.17/462.26	c current bound: 555
462.71/463.80	c current bound: 555
464.43/465.36	c current bound: 555
465.81/466.95	c current bound: 555
467.36/468.49	c current bound: 555
468.92/470.05	c current bound: 555
470.47/471.59	c current bound: 555
472.01/473.13	c current bound: 555
473.56/474.68	c current bound: 555
475.31/476.23	c current bound: 555
476.66/477.82	c current bound: 555
478.23/479.37	c current bound: 555
479.80/480.93	c current bound: 555
481.35/482.48	c current bound: 555
483.08/484.03	c current bound: 555
484.44/485.58	c current bound: 555
485.99/487.12	c current bound: 555
487.53/488.67	c current bound: 555
489.10/490.22	c current bound: 555
490.79/491.77	c current bound: 555
492.19/493.32	c current bound: 555
493.73/494.87	c current bound: 555
495.29/496.42	c current bound: 555
496.85/497.96	c current bound: 555
498.38/499.56	c current bound: 555
499.93/501.11	c current bound: 555
501.66/502.66	c current bound: 555
503.05/504.21	c current bound: 555
504.60/505.76	c current bound: 555
506.38/507.30	c current bound: 555
507.71/508.85	c current bound: 555
509.44/510.44	c current bound: 555
510.82/511.99	c current bound: 555
512.36/513.54	c current bound: 555
513.91/515.08	c current bound: 555
515.45/516.62	c current bound: 555
517.15/518.17	c current bound: 555
518.55/519.71	c current bound: 555
520.10/521.27	c current bound: 555
521.65/522.81	c current bound: 555
523.19/524.37	c current bound: 555
524.95/525.92	c current bound: 555
526.30/527.46	c current bound: 555
528.06/529.02	c current bound: 555
529.41/530.57	c current bound: 555
530.96/532.15	c current bound: 555
532.73/533.70	c current bound: 555
534.06/535.25	c current bound: 555
535.85/536.81	c current bound: 555
537.18/538.36	c current bound: 555
538.73/539.91	c current bound: 555
540.28/541.45	c current bound: 555
541.83/543.01	c current bound: 555
543.55/544.56	c current bound: 555
544.92/546.10	c current bound: 555
546.48/547.65	c current bound: 555
548.03/549.19	c current bound: 555
549.58/550.74	c current bound: 555
551.25/552.29	c current bound: 555
552.68/553.89	c current bound: 555
554.43/555.44	c current bound: 555
555.80/556.98	c current bound: 555
557.34/558.53	c current bound: 555
558.89/560.09	c current bound: 555
560.45/561.63	c current bound: 555
562.15/563.18	c current bound: 555
563.55/564.77	c current bound: 555
565.10/566.31	c current bound: 555
566.66/567.86	c current bound: 555
568.19/569.41	c current bound: 555
569.91/570.95	c current bound: 555
571.30/572.51	c current bound: 555
572.85/574.06	c current bound: 555
574.40/575.65	c current bound: 555
575.95/577.19	c current bound: 555
577.50/578.74	c current bound: 555
579.06/580.31	c current bound: 555
580.77/581.86	c current bound: 555
582.18/583.40	c current bound: 555
583.73/584.96	c current bound: 555
585.28/586.55	c current bound: 555
586.81/588.11	c current bound: 555
588.52/589.65	c current bound: 555
589.96/591.24	c current bound: 555
591.52/592.79	c current bound: 555
593.06/594.34	c current bound: 555
594.62/595.89	c current bound: 555
596.17/597.48	c current bound: 555
597.72/599.03	c current bound: 555
599.41/600.58	c current bound: 555
600.81/602.13	c current bound: 555
602.37/603.69	c current bound: 555
603.93/605.23	c current bound: 555
605.47/606.78	c current bound: 555
607.16/608.37	c current bound: 555
608.58/609.91	c current bound: 555
610.12/611.46	c current bound: 555
611.67/613.01	c current bound: 555
613.21/614.55	c current bound: 555
615.00/616.10	c current bound: 555
616.31/617.65	c current bound: 555
618.05/619.24	c current bound: 555
619.43/620.79	c current bound: 555
620.98/622.35	c current bound: 555
622.55/623.90	c current bound: 555
624.09/625.44	c current bound: 555
625.78/626.99	c current bound: 555
627.20/628.53	c current bound: 555
628.75/630.09	c current bound: 555
630.30/631.64	c current bound: 555
631.86/633.19	c current bound: 555
633.59/634.75	c current bound: 555
634.97/636.30	c current bound: 555
636.53/637.85	c current bound: 555
638.31/639.40	c current bound: 555
639.63/640.99	c current bound: 555
641.18/642.53	c current bound: 555
642.72/644.08	c current bound: 555
644.48/645.63	c current bound: 555
645.84/647.19	c current bound: 555
647.41/648.73	c current bound: 555
648.96/650.29	c current bound: 555
650.51/651.88	c current bound: 555
652.26/653.43	c current bound: 555
653.61/654.98	c current bound: 555
655.16/656.53	c current bound: 555
656.72/658.07	c current bound: 555
658.26/659.62	c current bound: 555
659.96/661.17	c current bound: 555
661.38/662.76	c current bound: 555
663.13/664.30	c current bound: 555
664.46/665.85	c current bound: 555
666.01/667.39	c current bound: 555
667.54/668.93	c current bound: 555
669.08/670.48	c current bound: 555
670.83/672.03	c current bound: 555
672.19/673.58	c current bound: 555
673.73/675.13	c current bound: 555
675.28/676.68	c current bound: 555
676.82/678.23	c current bound: 555
678.52/679.77	c current bound: 555
679.91/681.31	c current bound: 555
681.45/682.86	c current bound: 555
683.00/684.42	c current bound: 555
684.54/685.96	c current bound: 555
686.31/687.50	c current bound: 555
687.63/689.05	c current bound: 555
689.18/690.59	c current bound: 555
690.72/692.14	c current bound: 555
692.27/693.68	c current bound: 555
693.98/695.23	c current bound: 555
695.36/696.78	c current bound: 555
696.91/698.32	c current bound: 555
698.43/699.86	c current bound: 555
699.99/701.41	c current bound: 555
701.69/702.96	c current bound: 555
703.08/704.50	c current bound: 555
704.62/706.09	c current bound: 555
706.17/707.64	c current bound: 555
707.71/709.18	c current bound: 555
709.26/710.73	c current bound: 555
710.82/712.27	c current bound: 555
712.57/713.82	c current bound: 555
713.92/715.36	c current bound: 555
715.46/716.92	c current bound: 555
717.02/718.46	c current bound: 555
718.56/720.01	c current bound: 555
720.26/721.56	c current bound: 555
721.65/723.11	c current bound: 555
723.21/724.65	c current bound: 555
724.75/726.20	c current bound: 555
726.29/727.81	c current bound: 555
728.00/729.35	c current bound: 555
729.38/730.89	c current bound: 555
730.92/732.43	c current bound: 555
732.46/733.98	c current bound: 555
734.00/735.53	c current bound: 555
735.70/737.07	c current bound: 555
737.10/738.63	c current bound: 555
738.65/740.18	c current bound: 555
740.20/741.73	c current bound: 555
741.75/743.28	c current bound: 555
743.48/744.82	c current bound: 555
744.84/746.37	c current bound: 555
746.59/747.91	c current bound: 555
747.94/749.46	c current bound: 555
749.46/751.01	c current bound: 555
751.01/752.55	c current bound: 555
752.56/754.09	c current bound: 555
754.28/755.64	c current bound: 555
755.64/757.18	c current bound: 555
757.19/758.72	c current bound: 555
758.74/760.28	c current bound: 555
760.29/761.83	c current bound: 555
761.96/763.37	c current bound: 555
763.36/764.91	c current bound: 555
764.91/766.45	c current bound: 555
766.46/767.99	c current bound: 555
767.99/769.54	c current bound: 555
769.67/771.08	c current bound: 555
771.08/772.62	c current bound: 555
772.64/774.18	c current bound: 555
774.17/775.71	c current bound: 555
775.71/777.26	c current bound: 555
777.49/778.80	c current bound: 555
778.82/780.37	c current bound: 555
780.37/781.96	c current bound: 555
781.92/783.51	c current bound: 555
783.73/785.10	c current bound: 555
785.05/786.64	c current bound: 555
786.60/788.19	c current bound: 555
788.33/789.74	c current bound: 555
789.70/791.28	c current bound: 555
791.23/792.86	c current bound: 555
792.78/794.41	c current bound: 555
794.33/795.96	c current bound: 555
796.10/797.50	c current bound: 555
797.42/799.05	c current bound: 555
799.21/800.60	c current bound: 555
800.52/802.14	c current bound: 555
802.07/803.73	c current bound: 555
803.76/805.28	c current bound: 555
805.16/806.83	c current bound: 555
806.72/808.37	c current bound: 555
808.26/809.92	c current bound: 555
809.80/811.46	c current bound: 555
811.56/813.01	c current bound: 555
812.91/814.56	c current bound: 555
814.46/816.11	c current bound: 555
816.01/817.66	c current bound: 555
817.55/819.21	c current bound: 555
819.11/820.76	c current bound: 555
820.88/822.30	c current bound: 555
822.36/823.84	c current bound: 555
823.74/825.44	c current bound: 555
825.29/826.99	c current bound: 555
826.84/828.53	c current bound: 555
828.39/830.07	c current bound: 555
830.13/831.62	c current bound: 555
831.48/833.17	c current bound: 555
833.04/834.72	c current bound: 555
834.58/836.31	c current bound: 555
836.14/837.85	c current bound: 555
837.91/839.40	c current bound: 555
839.23/840.94	c current bound: 555
840.78/842.49	c current bound: 555
842.33/844.04	c current bound: 555
843.86/845.58	c current bound: 555
845.41/847.12	c current bound: 555
846.95/848.67	c current bound: 555
848.70/850.21	c current bound: 555
850.06/851.76	c current bound: 555
851.60/853.32	c current bound: 555
853.17/854.87	c current bound: 555
854.70/856.42	c current bound: 555
856.47/858.02	c current bound: 555
857.80/859.57	c current bound: 555
859.37/861.12	c current bound: 555
860.90/862.67	c current bound: 555
862.46/864.22	c current bound: 555
864.17/865.77	c current bound: 555
865.57/867.32	c current bound: 555
867.35/868.90	c current bound: 555
868.66/870.45	c current bound: 555
870.22/872.00	c current bound: 555
871.76/873.54	c current bound: 555
873.30/875.08	c current bound: 555
875.03/876.64	c current bound: 555
876.42/878.19	c current bound: 555
877.97/879.79	c current bound: 555
879.51/881.34	c current bound: 555
881.06/882.88	c current bound: 555
882.78/884.43	c current bound: 555
884.16/885.98	c current bound: 555
885.71/887.52	c current bound: 555
887.25/889.07	c current bound: 555
888.80/890.67	c current bound: 555
890.54/892.22	c current bound: 555
891.90/893.77	c current bound: 555
893.65/895.32	c current bound: 555
894.99/896.87	c current bound: 555
896.54/898.41	c current bound: 555
898.09/899.96	c current bound: 555
899.63/901.55	c current bound: 555
901.32/903.09	c current bound: 555
902.73/904.64	c current bound: 555
904.27/906.19	c current bound: 555
905.83/907.74	c current bound: 555
907.37/909.28	c current bound: 555
909.13/910.83	c current bound: 555
910.46/912.43	c current bound: 555
912.03/913.97	c current bound: 555
913.55/915.52	c current bound: 555
915.10/917.06	c current bound: 555
916.86/918.61	c current bound: 555
918.21/920.16	c current bound: 555
919.97/921.72	c current bound: 555
921.52/923.30	c current bound: 555
922.86/924.86	c current bound: 555
924.42/926.40	c current bound: 555
925.95/927.95	c current bound: 555
927.63/929.50	c current bound: 555
929.06/931.04	c current bound: 555
930.59/932.59	c current bound: 555
932.15/934.13	c current bound: 555
933.69/935.68	c current bound: 555
935.44/937.23	c current bound: 555
936.79/938.77	c current bound: 555
938.33/940.31	c current bound: 555
939.88/941.86	c current bound: 555
941.44/943.41	c current bound: 555
943.14/944.96	c current bound: 555
944.52/946.50	c current bound: 555
946.06/948.05	c current bound: 555
947.62/949.59	c current bound: 555
949.17/951.14	c current bound: 555
950.85/952.68	c current bound: 555
952.26/954.23	c current bound: 555
953.81/955.79	c current bound: 555
955.37/957.35	c current bound: 555
956.97/958.94	c current bound: 555
958.53/960.49	c current bound: 555
960.06/962.03	c current bound: 555
961.76/963.57	c current bound: 555
963.24/965.20	c current bound: 555
964.79/966.79	c current bound: 555
966.33/968.34	c current bound: 555
967.88/969.88	c current bound: 555
969.43/971.42	c current bound: 555
970.97/972.96	c current bound: 555
972.73/974.51	c current bound: 555
974.06/976.06	c current bound: 555
975.60/977.62	c current bound: 555
977.17/979.17	c current bound: 555
978.70/980.71	c current bound: 555
980.42/982.26	c current bound: 555
981.80/983.80	c current bound: 555
983.34/985.35	c current bound: 555
985.12/986.90	c current bound: 555
986.45/988.49	c current bound: 555
988.17/990.03	c current bound: 555
989.54/991.58	c current bound: 555
991.07/993.12	c current bound: 555
992.64/994.67	c current bound: 555
994.18/996.22	c current bound: 555
995.88/997.77	c current bound: 555
997.28/999.35	c current bound: 555
998.83/1000.90	c current bound: 555
1000.37/1002.44	c current bound: 555
1001.92/1003.99	c current bound: 555
1003.47/1005.54	c current bound: 555
1005.01/1007.08	c current bound: 555
1006.76/1008.65	c current bound: 555
1008.14/1010.24	c current bound: 555
1009.68/1011.79	c current bound: 555
1011.23/1013.33	c current bound: 555
1012.78/1014.88	c current bound: 555
1014.51/1016.43	c current bound: 555
1015.87/1017.98	c current bound: 555
1017.41/1019.52	c current bound: 555
1018.95/1021.10	c current bound: 555
1020.50/1022.65	c current bound: 555
1022.26/1024.20	c current bound: 555
1023.61/1025.75	c current bound: 555
1025.15/1027.29	c current bound: 555
1026.70/1028.84	c current bound: 555
1028.24/1030.38	c current bound: 555
1029.97/1031.92	c current bound: 555
1031.32/1033.47	c current bound: 555
1033.08/1035.01	c current bound: 555
1034.42/1036.56	c current bound: 555
1035.97/1038.11	c current bound: 555
1037.52/1039.65	c current bound: 555
1039.07/1041.20	c current bound: 555
1040.86/1042.81	c current bound: 555
1042.19/1044.35	c current bound: 555
1043.74/1045.91	c current bound: 555
1045.30/1047.46	c current bound: 555
1046.83/1049.01	c current bound: 555
1048.55/1050.55	c current bound: 555
1049.93/1052.09	c current bound: 555
1051.47/1053.65	c current bound: 555
1053.02/1055.19	c current bound: 555
1054.56/1056.74	c current bound: 555
1056.25/1058.29	c current bound: 555
1057.67/1059.84	c current bound: 555
1059.21/1061.38	c current bound: 555
1060.75/1062.93	c current bound: 555
1062.30/1064.53	c current bound: 555
1063.84/1066.08	c current bound: 555
1065.39/1067.63	c current bound: 555
1067.08/1069.17	c current bound: 555
1068.48/1070.71	c current bound: 555
1070.03/1072.26	c current bound: 555
1071.58/1073.80	c current bound: 555
1073.12/1075.35	c current bound: 555
1074.78/1076.90	c current bound: 555
1076.21/1078.45	c current bound: 555
1077.77/1079.99	c current bound: 555
1079.32/1081.54	c current bound: 555
1080.86/1083.09	c current bound: 555
1082.59/1084.63	c current bound: 555
1083.95/1086.18	c current bound: 555
1085.51/1087.74	c current bound: 555
1087.07/1089.29	c current bound: 555
1088.61/1090.84	c current bound: 555
1090.40/1092.40	c current bound: 555
1091.73/1093.95	c current bound: 555
1093.49/1095.51	c current bound: 555
1094.85/1097.11	c current bound: 555
1096.40/1098.66	c current bound: 555
1097.94/1100.21	c current bound: 555
1099.51/1101.77	c current bound: 555
1101.26/1103.34	c current bound: 555
1102.63/1104.88	c current bound: 555
1104.18/1106.45	c current bound: 555
1105.73/1108.03	c current bound: 555
1107.28/1109.59	c current bound: 555
1108.83/1111.14	c current bound: 555
1110.38/1112.68	c current bound: 555
1112.11/1114.24	c current bound: 555
1113.49/1115.79	c current bound: 555
1115.04/1117.33	c current bound: 555
1116.59/1118.93	c current bound: 555
1118.16/1120.48	c current bound: 555
1119.87/1122.04	c current bound: 555
1121.24/1123.59	c current bound: 555
1122.82/1125.15	c current bound: 555
1124.59/1126.70	c current bound: 555
1125.91/1128.25	c current bound: 555
1127.48/1129.86	c current bound: 555
1129.04/1131.41	c current bound: 555
1130.74/1132.97	c current bound: 555
1132.14/1134.52	c current bound: 555
1133.68/1136.07	c current bound: 555
1135.26/1137.63	c current bound: 555
1136.80/1139.18	c current bound: 555
1138.49/1140.79	c current bound: 555
1139.92/1142.34	c current bound: 555
1141.47/1143.89	c current bound: 555
1143.04/1145.45	c current bound: 555
1144.59/1147.00	c current bound: 555
1146.16/1148.57	c current bound: 555
1147.72/1150.12	c current bound: 555
1149.37/1151.70	c current bound: 555
1150.81/1153.25	c current bound: 555
1152.58/1154.80	c current bound: 555
1153.93/1156.37	c current bound: 555
1155.48/1157.93	c current bound: 555
1157.17/1159.49	c current bound: 555
1158.59/1161.03	c current bound: 555
1160.34/1162.62	c current bound: 555
1161.67/1164.17	c current bound: 555
1163.22/1165.72	c current bound: 555
1164.79/1167.28	c current bound: 555
1166.33/1168.83	c current bound: 555
1168.02/1170.39	c current bound: 555
1169.45/1171.95	c current bound: 555
1171.02/1173.56	c current bound: 555
1172.57/1175.11	c current bound: 555
1174.12/1176.66	c current bound: 555
1175.77/1178.31	c current bound: 555
1177.33/1179.85	c current bound: 555
1179.08/1181.41	c current bound: 555
1180.43/1182.97	c current bound: 555
1181.98/1184.57	c current bound: 555
1183.54/1186.13	c current bound: 555
1185.09/1187.67	c current bound: 555
1186.66/1189.24	c current bound: 555
1188.29/1190.88	c current bound: 555
1190.03/1192.44	c current bound: 555
1191.66/1194.12	c current bound: 555
1193.13/1195.68	c current bound: 555
1194.53/1197.22	c current bound: 555
1196.09/1198.78	c current bound: 555
1197.63/1200.32	c current bound: 555
1199.18/1201.87	c current bound: 555
1200.93/1203.43	c current bound: 555
1202.29/1204.99	c current bound: 555
1203.86/1206.59	c current bound: 555
1205.41/1208.14	c current bound: 555
1206.97/1209.69	c current bound: 555
1208.52/1211.25	c current bound: 555
1210.22/1212.95	c current bound: 555
1211.98/1214.50	c current bound: 555
1213.33/1216.19	c current bound: 555
1215.05/1217.76	c current bound: 555
1216.45/1219.32	c current bound: 555
1218.00/1220.86	c current bound: 555
1219.54/1222.41	c current bound: 555
1221.11/1223.96	c current bound: 555
1222.84/1225.50	c current bound: 555
1224.20/1227.06	c current bound: 555
1225.91/1228.67	c current bound: 555
1227.32/1230.22	c current bound: 555
1228.86/1231.78	c current bound: 555
1230.41/1233.32	c current bound: 555
1231.98/1234.87	c current bound: 555
1233.72/1236.43	c current bound: 555
1235.09/1237.98	c current bound: 555
1236.64/1239.59	c current bound: 555
1238.19/1241.14	c current bound: 555
1239.75/1242.69	c current bound: 555
1241.30/1244.25	c current bound: 555
1242.85/1245.79	c current bound: 555
1244.58/1247.35	c current bound: 555
1245.97/1248.90	c current bound: 555
1247.74/1250.50	c current bound: 555
1249.06/1252.05	c current bound: 555
1250.62/1253.61	c current bound: 555
1252.33/1255.15	c current bound: 555
1253.94/1256.70	c current bound: 555
1255.27/1258.26	c current bound: 555
1256.81/1259.81	c current bound: 555
1258.39/1261.40	c current bound: 555
1259.95/1262.97	c current bound: 555
1261.50/1264.52	c current bound: 555
1263.20/1266.06	c current bound: 555
1264.59/1267.63	c current bound: 555
1266.16/1269.18	c current bound: 555
1267.72/1270.73	c current bound: 555
1269.28/1272.34	c current bound: 555
1271.05/1273.90	c current bound: 555
1272.40/1275.45	c current bound: 555
1274.16/1277.01	c current bound: 555
1275.51/1278.57	c current bound: 555
1277.07/1280.13	c current bound: 555
1278.63/1281.69	c current bound: 555
1280.19/1283.29	c current bound: 555
1281.91/1284.83	c current bound: 555
1283.29/1286.39	c current bound: 555
1284.84/1287.94	c current bound: 555
1286.40/1289.49	c current bound: 555
1287.95/1291.05	c current bound: 555
1289.71/1292.60	c current bound: 555
1291.30/1294.20	c current bound: 555
1292.77/1295.74	c current bound: 555
1294.17/1297.30	c current bound: 555
1295.73/1298.86	c current bound: 555
1297.29/1300.43	c current bound: 555
1298.84/1301.98	c current bound: 555
1300.58/1303.55	c current bound: 555
1301.96/1305.14	c current bound: 555
1303.52/1306.70	c current bound: 555
1305.07/1308.25	c current bound: 555
1306.85/1309.80	c current bound: 555
1308.17/1311.34	c current bound: 555
1309.72/1312.89	c current bound: 555
1311.44/1314.45	c current bound: 555
1312.84/1316.06	c current bound: 555
1314.61/1317.60	c current bound: 555
1315.94/1319.16	c current bound: 555
1317.49/1320.71	c current bound: 555
1319.19/1322.28	c current bound: 555
1320.62/1323.83	c current bound: 555
1322.17/1325.39	c current bound: 555
1323.72/1326.98	c current bound: 555
1325.27/1328.56	c current bound: 555
1326.84/1330.12	c current bound: 555
1328.38/1331.67	c current bound: 555
1330.14/1333.23	c current bound: 555
1331.50/1334.79	c current bound: 555
1333.05/1336.34	c current bound: 555
1334.61/1337.93	c current bound: 555
1336.16/1339.49	c current bound: 555
1337.72/1341.05	c current bound: 555
1339.51/1342.60	c current bound: 555
1341.00/1344.16	c current bound: 555
1342.38/1345.71	c current bound: 555
1343.95/1347.27	c current bound: 555
1345.49/1348.86	c current bound: 555
1347.05/1350.41	c current bound: 555
1348.75/1351.97	c current bound: 555
1350.16/1353.52	c current bound: 555
1351.72/1355.08	c current bound: 555
1353.26/1356.63	c current bound: 555
1354.81/1358.18	c current bound: 555
1356.37/1359.79	c current bound: 555
1357.95/1361.35	c current bound: 555
1359.72/1362.91	c current bound: 555
1361.06/1364.46	c current bound: 555
1362.59/1366.00	c current bound: 555
1364.14/1367.54	c current bound: 555
1365.68/1369.09	c current bound: 555
1367.41/1370.67	c current bound: 555
1368.79/1372.22	c current bound: 555
1370.34/1373.77	c current bound: 555
1371.90/1375.32	c current bound: 555
1373.45/1376.88	c current bound: 555
1375.01/1378.43	c current bound: 555
1376.56/1379.99	c current bound: 555
1378.25/1381.59	c current bound: 555
1379.67/1383.14	c current bound: 555
1381.22/1384.69	c current bound: 555
1382.76/1386.23	c current bound: 555
1384.30/1387.77	c current bound: 555
1386.04/1389.34	c current bound: 555
1387.66/1390.90	c current bound: 555
1388.98/1392.49	c current bound: 555
1390.53/1394.04	c current bound: 555
1392.32/1395.60	c current bound: 555
1393.63/1397.15	c current bound: 555
1395.19/1398.71	c current bound: 555
1396.90/1400.25	c current bound: 555
1398.51/1401.80	c current bound: 555
1399.84/1403.39	c current bound: 555
1401.40/1404.96	c current bound: 555
1402.96/1406.52	c current bound: 555
1404.66/1408.06	c current bound: 555
1406.05/1409.61	c current bound: 555
1407.59/1411.15	c current bound: 555
1409.14/1412.71	c current bound: 555
1410.72/1414.31	c current bound: 555
1412.27/1415.87	c current bound: 555
1413.83/1417.42	c current bound: 555
1415.52/1418.96	c current bound: 555
1416.92/1420.51	c current bound: 555
1418.47/1422.07	c current bound: 555
1420.05/1423.63	c current bound: 555
1421.60/1425.23	c current bound: 555
1423.28/1426.78	c current bound: 555
1424.69/1428.33	c current bound: 555
1426.25/1429.87	c current bound: 555
1427.79/1431.43	c current bound: 555
1429.35/1432.98	c current bound: 555
1430.91/1434.53	c current bound: 555
1432.45/1436.13	c current bound: 555
1434.14/1437.68	c current bound: 555
1435.55/1439.23	c current bound: 555
1437.12/1440.79	c current bound: 555
1438.65/1442.33	c current bound: 555
1440.20/1443.89	c current bound: 555
1441.94/1445.45	c current bound: 555
1443.34/1447.06	c current bound: 555
1445.10/1448.62	c current bound: 555
1446.44/1450.16	c current bound: 555
1448.00/1451.71	c current bound: 555
1449.56/1453.27	c current bound: 555
1451.12/1454.83	c current bound: 555
1452.80/1456.39	c current bound: 555
1454.21/1457.97	c current bound: 555
1455.78/1459.53	c current bound: 555
1457.32/1461.08	c current bound: 555
1458.88/1462.64	c current bound: 555
1460.58/1464.18	c current bound: 555
1461.98/1465.73	c current bound: 555
1463.53/1467.28	c current bound: 555
1465.09/1468.87	c current bound: 555
1466.64/1470.43	c current bound: 555
1468.21/1471.99	c current bound: 555
1469.75/1473.54	c current bound: 555
1471.43/1475.09	c current bound: 555
1472.85/1476.64	c current bound: 555
1474.63/1478.20	c current bound: 555
1475.96/1479.78	c current bound: 555
1477.50/1481.33	c current bound: 555
1479.19/1482.88	c current bound: 555
1480.61/1484.44	c current bound: 555
1482.40/1486.01	c current bound: 555
1483.73/1487.56	c current bound: 555
1485.29/1489.11	c current bound: 555
1486.85/1490.72	c current bound: 555
1488.41/1492.27	c current bound: 555
1490.15/1493.83	c current bound: 555
1491.53/1495.39	c current bound: 555
1493.09/1496.95	c current bound: 555
1494.63/1498.49	c current bound: 555
1496.20/1500.05	c current bound: 555
1497.76/1501.64	c current bound: 555
1499.31/1503.19	c current bound: 555
1501.03/1504.76	c current bound: 555
1502.42/1506.31	c current bound: 555
1503.97/1507.86	c current bound: 555
1505.53/1509.42	c current bound: 555
1507.09/1510.98	c current bound: 555
1508.79/1512.59	c current bound: 555
1510.22/1514.14	c current bound: 555
1511.98/1515.71	c current bound: 555
1513.33/1517.26	c current bound: 555
1514.87/1518.81	c current bound: 555
1516.45/1520.38	c current bound: 555
1518.00/1521.94	c current bound: 555
1519.74/1523.56	c current bound: 555
1521.13/1525.11	c current bound: 555
1522.69/1526.67	c current bound: 555
1524.23/1528.22	c current bound: 555
1525.79/1529.78	c current bound: 555
1527.35/1531.33	c current bound: 555
1529.15/1532.90	c current bound: 555
1530.68/1534.52	c current bound: 555
1532.03/1536.07	c current bound: 555
1533.57/1537.61	c current bound: 555
1535.12/1539.16	c current bound: 555
1536.68/1540.71	c current bound: 555
1538.37/1542.27	c current bound: 555
1539.79/1543.82	c current bound: 555
1541.53/1545.43	c current bound: 555
1542.90/1546.98	c current bound: 555
1544.46/1548.54	c current bound: 555
1545.99/1550.09	c current bound: 555
1547.55/1551.64	c current bound: 555
1549.23/1553.20	c current bound: 555
1550.66/1554.76	c current bound: 555
1552.22/1556.35	c current bound: 555
1553.78/1557.89	c current bound: 555
1555.33/1559.45	c current bound: 555
1556.99/1560.99	c current bound: 555
1558.42/1562.54	c current bound: 555
1559.96/1564.08	c current bound: 555
1561.51/1565.64	c current bound: 555
1563.07/1567.24	c current bound: 555
1564.64/1568.81	c current bound: 555
1566.19/1570.37	c current bound: 555
1567.93/1571.92	c current bound: 555
1569.53/1573.57	c current bound: 555
1571.04/1575.13	c current bound: 555
1572.40/1576.79	c current bound: 555
1573.96/1578.36	c current bound: 555
1575.51/1579.90	c current bound: 555
1577.06/1581.46	c current bound: 555
1578.82/1583.02	c current bound: 555
1580.17/1584.57	c current bound: 555
1581.92/1586.14	c current bound: 555
1583.29/1587.68	c current bound: 555
1584.84/1589.28	c current bound: 555
1586.40/1590.84	c current bound: 555
1587.95/1592.39	c current bound: 555
1589.69/1593.95	c current bound: 555
1591.06/1595.50	c current bound: 555
1592.61/1597.06	c current bound: 555
1594.17/1598.61	c current bound: 555
1595.73/1600.21	c current bound: 555
1597.29/1601.76	c current bound: 555
1598.85/1603.32	c current bound: 555
1600.54/1604.88	c current bound: 555
1601.96/1606.43	c current bound: 555
1603.52/1607.99	c current bound: 555
1605.07/1609.54	c current bound: 555
1606.62/1611.13	c current bound: 555
1608.31/1612.69	c current bound: 555
1609.73/1614.24	c current bound: 555
1611.27/1615.79	c current bound: 555
1612.83/1617.33	c current bound: 555
1614.37/1618.88	c current bound: 555
1615.93/1620.44	c current bound: 555
1617.48/1622.03	c current bound: 555
1619.19/1623.58	c current bound: 555
1620.59/1625.13	c current bound: 555
1622.14/1626.68	c current bound: 555
1623.69/1628.23	c current bound: 555
1625.23/1629.77	c current bound: 555
1626.98/1631.32	c current bound: 555
1628.34/1632.92	c current bound: 555
1629.88/1634.46	c current bound: 555
1631.44/1636.01	c current bound: 555
1632.99/1637.56	c current bound: 555
1634.76/1639.10	c current bound: 555
1636.09/1640.67	c current bound: 555
1637.85/1642.22	c current bound: 555
1639.21/1643.81	c current bound: 555
1640.75/1645.36	c current bound: 555
1642.31/1646.90	c current bound: 555
1643.84/1648.45	c current bound: 555
1645.52/1649.99	c current bound: 555
1646.95/1651.54	c current bound: 555
1648.52/1653.09	c current bound: 555
1650.05/1654.64	c current bound: 555
1651.61/1656.19	c current bound: 555
1653.34/1657.74	c current bound: 555
1654.71/1659.28	c current bound: 555
1656.27/1660.83	c current bound: 555
1657.81/1662.38	c current bound: 555
1659.37/1663.92	c current bound: 555
1661.12/1665.52	c current bound: 555
1662.46/1667.06	c current bound: 555
1664.23/1668.61	c current bound: 555
1665.57/1670.16	c current bound: 555
1667.13/1671.71	c current bound: 555
1668.67/1673.26	c current bound: 555
1670.45/1674.80	c current bound: 555
1671.90/1676.39	c current bound: 555
1673.33/1677.94	c current bound: 555
1674.88/1679.48	c current bound: 555
1676.42/1681.03	c current bound: 555
1677.98/1682.58	c current bound: 555
1679.72/1684.12	c current bound: 555
1681.08/1685.67	c current bound: 555
1682.64/1687.27	c current bound: 555
1684.19/1688.83	c current bound: 555
1685.74/1690.37	c current bound: 555
1687.47/1691.91	c current bound: 555
1688.83/1693.46	c current bound: 555
1690.60/1695.02	c current bound: 555
1691.93/1696.57	c current bound: 555
1693.50/1698.16	c current bound: 555
1695.04/1699.71	c current bound: 555
1696.59/1701.26	c current bound: 555
1698.36/1702.82	c current bound: 555
1699.71/1704.37	c current bound: 555
1701.25/1705.91	c current bound: 555
1702.80/1707.46	c current bound: 555
1704.35/1709.05	c current bound: 555
1706.11/1710.61	c current bound: 555
1707.47/1712.15	c current bound: 555
1709.01/1713.70	c current bound: 555
1710.56/1715.25	c current bound: 555
1712.11/1716.82	c current bound: 555
1713.69/1718.37	c current bound: 555
1715.23/1719.95	c current bound: 555
1716.89/1721.50	c current bound: 555
1718.34/1723.05	c current bound: 555
1719.89/1724.60	c current bound: 555
1721.45/1726.15	c current bound: 555
1722.99/1727.70	c current bound: 555
1724.71/1729.25	c current bound: 555
1726.10/1730.84	c current bound: 555
1727.65/1732.38	c current bound: 555
1729.21/1733.93	c current bound: 555
1730.75/1735.48	c current bound: 555
1732.29/1737.03	c current bound: 555
1733.84/1738.58	c current bound: 555
1735.60/1740.13	c current bound: 555
1736.94/1741.72	c current bound: 555
1738.51/1743.27	c current bound: 555
1740.06/1744.82	c current bound: 555
1741.62/1746.36	c current bound: 555
1743.35/1747.91	c current bound: 555
1744.71/1749.46	c current bound: 555
1746.26/1751.01	c current bound: 555
1747.80/1752.61	c current bound: 555
1749.38/1754.17	c current bound: 555
1751.12/1755.71	c current bound: 555
1752.49/1757.26	c current bound: 555
1754.24/1758.83	c current bound: 555
1755.59/1760.37	c current bound: 555
1757.13/1761.92	c current bound: 555
1758.69/1763.54	c current bound: 555
1760.49/1765.10	c current bound: 555
1761.97/1766.65	c current bound: 555
1763.37/1768.23	c current bound: 555
1764.94/1769.78	c current bound: 555
1766.50/1771.33	c current bound: 555
1768.29/1772.90	c current bound: 555
1769.63/1774.51	c current bound: 555
1771.18/1776.06	c current bound: 555
1772.94/1777.61	c current bound: 555
1774.27/1779.16	c current bound: 555
1775.86/1780.73	c current bound: 555
1777.40/1782.28	c current bound: 555
1778.96/1783.83	c current bound: 555
1780.50/1785.44	c current bound: 555
1782.07/1786.99	c current bound: 555
1783.79/1788.55	c current bound: 555
1785.39/1790.10	c current bound: 555
1786.72/1791.65	c current bound: 555
1788.28/1793.21	c current bound: 555
1789.83/1794.77	c current bound: 555
1791.55/1796.38	c current bound: 555
1792.97/1797.94	c current bound: 555
1794.51/1799.49	c current bound: 555
1796.07/1801.04	c current bound: 555
1797.61/1802.59	c current bound: 555
1798.94/1803.71	./satsolver.sh: line 5: 18534 Terminated              ./glucose $1 > $2 2> /dev/null
1798.94/1803.71	c error: unexpected solver exit code
1798.94/1803.71	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-3715916-1338233227/watcher-3715916-1338233227 -o /tmp/evaluation-result-3715916-1338233227/solver-3715916-1338233227 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715916-1338233227.wbo 1382300366 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: 2.04 2.01 1.93 3/177 10338
/proc/meminfo: memFree=25395820/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0

[startup+0.0477841 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 10338
/proc/meminfo: memFree=25395820/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100295 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 10338
/proc/meminfo: memFree=25395820/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300273 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 10338
/proc/meminfo: memFree=25395820/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70023 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 10338
/proc/meminfo: memFree=25395820/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50023 s]
/proc/loadavg: 2.04 2.01 1.93 3/181 10352
/proc/meminfo: memFree=25335212/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=11956 CPUtime=1.47 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 3000 17739 0 0 11 2 129 5 20 0 1 0 289451250 12242944 2345 33554432000 4194304 5990268 140735802860960 140735802851856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10339/statm: 2989 2345 176 439 0 2546 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 21104

[startup+3.10032 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 10359
/proc/meminfo: memFree=25327892/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=3.03 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 4932 33348 0 0 19 3 267 14 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802851856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 29168

[startup+6.30019 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 10373
/proc/meminfo: memFree=25328804/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=6.16 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 8796 65629 0 0 35 6 541 34 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802851856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 29168

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 10401
/proc/meminfo: memFree=25327352/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=12.62 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 16580 133076 0 0 68 12 1101 81 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 4 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 29168

[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 10514
/proc/meminfo: memFree=25440852/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=25.14 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 33905 261639 0 0 143 25 2184 162 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 29168

[startup+51.1003 s]
/proc/loadavg: 2.09 2.02 1.93 3/181 10628
/proc/meminfo: memFree=25372964/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=50 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 64817 515772 0 0 274 48 4352 326 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
[pid=10627] ppid=10339 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10627/stat : 10627 (satsolver.sh) S 10339 10338 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289456272 9367552 267 33554432000 4194304 5064252 140735667967936 140735667966848 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10627/statm: 2287 267 226 213 0 72 0
[pid=10628] ppid=10627 vsize=48816 CPUtime=0.88 cores=1,3,5,7
/proc/10628/stat : 10628 (glucose) R 10627 10338 1905 0 -1 4202496 9763 0 0 0 86 2 0 0 20 0 1 0 289456272 49987584 11008 33554432000 4194304 5208918 140734713010096 140735667966872 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10628/statm: 12204 11008 95 248 0 11953 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 87132

[startup+102.307 s]
/proc/loadavg: 2.09 2.03 1.94 3/181 10859
/proc/meminfo: memFree=25371204/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=101.16 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 128573 1041863 0 0 547 95 8812 662 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 39 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
[pid=10858] ppid=10339 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10858/stat : 10858 (satsolver.sh) S 10339 10338 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289461403 9367552 267 33554432000 4194304 5064252 140735726530464 140735726529376 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10858/statm: 2287 267 226 213 0 72 0
[pid=10859] ppid=10858 vsize=48808 CPUtime=0.77 cores=1,3,5,7
/proc/10859/stat : 10859 (glucose) R 10858 10338 1905 0 -1 4202496 11107 0 0 0 75 2 0 0 20 0 1 0 289461403 49979392 10882 33554432000 4194304 5208918 140734479220064 140734479218472 4211580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10859/statm: 12202 10882 95 248 0 11951 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 87124

[startup+162.3 s]
/proc/loadavg: 2.07 2.04 1.94 3/181 11126
/proc/meminfo: memFree=25357020/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=161.52 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 203921 1666023 0 0 867 152 14075 1058 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 60 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
Current children cumulated CPU time (s) 161.52
Current children cumulated vsize (KiB) 29168

[startup+222.3 s]
/proc/loadavg: 2.06 2.04 1.95 3/182 11402
/proc/meminfo: memFree=25352160/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=220.61 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 277337 2280979 0 0 1181 207 19212 1461 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 75 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
[pid=11401] ppid=10339 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11401/stat : 11401 (satsolver.sh) S 10339 10338 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289473376 9367552 266 33554432000 4194304 5064252 140736005004272 140736005003184 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11401/statm: 2287 266 226 213 0 72 0
[pid=11402] ppid=11401 vsize=48812 CPUtime=1.02 cores=1,3,5,7
/proc/11402/stat : 11402 (glucose) R 11401 10338 1905 0 -1 4202496 11016 0 0 0 100 2 0 0 20 0 1 0 289473377 49983488 10892 33554432000 4194304 5208918 140733291976848 140733291975256 4211580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11402/statm: 12203 10892 95 248 0 11952 0
Current children cumulated CPU time (s) 221.63
Current children cumulated vsize (KiB) 87128

[startup+282.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/181 11668
/proc/meminfo: memFree=25344116/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=281.25 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 352685 2902129 0 0 1505 263 24481 1876 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 88 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
Current children cumulated CPU time (s) 281.25

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

/proc/16275/statm: 12202 10858 95 248 0 11951 0
Current children cumulated CPU time (s) 1299.38
Current children cumulated vsize (KiB) 87124

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 16541
/proc/meminfo: memFree=25319456/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=1358.27 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 1693493 14068278 0 0 7228 1274 118222 9103 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 382 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
[pid=16540] ppid=10339 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16540/stat : 16540 (satsolver.sh) S 10339 10338 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289587395 9367552 267 33554432000 4194304 5064252 140735812510112 140735812509024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16540/statm: 2287 267 226 213 0 72 0
[pid=16541] ppid=16540 vsize=48808 CPUtime=0.83 cores=1,3,5,7
/proc/16541/stat : 16541 (glucose) R 16540 10338 1905 0 -1 4202496 11154 0 0 0 82 1 0 0 20 0 1 0 289587395 49979392 10884 33554432000 4194304 5208918 140733350433392 140733350431800 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16541/statm: 12202 10884 95 248 0 11951 0
Current children cumulated CPU time (s) 1359.1
Current children cumulated vsize (KiB) 87124

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 16818
/proc/meminfo: memFree=25346192/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=1418.8 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 1768841 14691715 0 0 7551 1328 123498 9503 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 398 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
[pid=16817] ppid=10339 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16817/stat : 16817 (satsolver.sh) S 10339 10338 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289593467 9367552 266 33554432000 4194304 5064252 140734706934432 140734706933344 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16817/statm: 2287 266 226 213 0 72 0
[pid=16818] ppid=16817 vsize=48808 CPUtime=0.13 cores=1,3,5,7
/proc/16818/stat : 16818 (glucose) R 16817 10338 1905 0 -1 4202496 11127 0 0 0 11 2 0 0 20 0 1 0 289593467 49979392 10852 33554432000 4194304 5208918 140734951133504 140734950082936 4229228 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16818/statm: 12202 10852 95 248 0 11951 0
Current children cumulated CPU time (s) 1418.93
Current children cumulated vsize (KiB) 87124

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/181 17084
/proc/meminfo: memFree=25281664/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=1477.83 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 1842258 15297307 0 0 7863 1382 128643 9895 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 423 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
[pid=17083] ppid=10339 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17083/stat : 17083 (satsolver.sh) S 10339 10338 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289599393 9367552 266 33554432000 4194304 5064252 140735871852512 140735871851424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17083/statm: 2287 266 226 213 0 72 0
[pid=17084] ppid=17083 vsize=48812 CPUtime=0.85 cores=1,3,5,7
/proc/17084/stat : 17084 (glucose) R 17083 10338 1905 0 -1 4202496 11094 0 0 0 84 1 0 0 20 0 1 0 289599394 49983488 10887 33554432000 4194304 5208918 140733660915040 140733660913448 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17084/statm: 12203 10887 95 248 0 11952 0
Current children cumulated CPU time (s) 1478.68
Current children cumulated vsize (KiB) 87128

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/181 17353
/proc/meminfo: memFree=25307956/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=7732 CPUtime=1538.49 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) R 10338 10338 1905 0 -1 4202496 1916952 15926995 0 0 8179 1437 133932 10301 20 0 1 0 289451250 7917568 1526 33554432000 4194304 5990268 140735802860960 140735802852944 5042529 0 0 4096 0 0 0 0 17 5 0 0 445 0 0
/proc/10339/statm: 1933 1526 177 439 0 1490 0
Current children cumulated CPU time (s) 1538.49
Current children cumulated vsize (KiB) 16880

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17616
/proc/meminfo: memFree=25317416/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=1597.62 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 1991022 16538614 0 0 8498 1491 139071 10702 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 467 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
Current children cumulated CPU time (s) 1597.62
Current children cumulated vsize (KiB) 29168

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17889
/proc/meminfo: memFree=25318896/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=1657.81 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 2064445 17161277 0 0 8812 1545 144319 11105 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802851856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 482 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
Current children cumulated CPU time (s) 1657.81
Current children cumulated vsize (KiB) 29168

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 18159
/proc/meminfo: memFree=25320492/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=1717.12 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 2139787 17776092 0 0 9134 1603 149455 11520 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 509 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
Current children cumulated CPU time (s) 1717.12
Current children cumulated vsize (KiB) 29168

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 18436
/proc/meminfo: memFree=25360120/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=7732 CPUtime=1777.64 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) R 10338 10338 1905 0 -1 4202496 2214337 18402552 0 0 9451 1655 154722 11936 20 0 1 0 289451250 7917568 1382 33554432000 4194304 5990268 140735802860960 140735802852944 5042513 0 0 4096 0 0 0 0 17 5 0 0 529 0 0
/proc/10339/statm: 1933 1383 177 439 0 1490 0
Current children cumulated CPU time (s) 1777.64
Current children cumulated vsize (KiB) 16880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.7 s]
/proc/loadavg: 1.93 1.98 1.97 3/181 18534
/proc/meminfo: memFree=25362856/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=1797.93 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 2240251 18614711 0 0 9563 1676 156486 12068 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 538 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
[pid=18533] ppid=10339 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18533/stat : 18533 (satsolver.sh) S 10339 10338 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289631519 9367552 267 33554432000 4194304 5064252 140736361247104 140736361246016 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18533/statm: 2287 267 226 213 0 72 0
[pid=18534] ppid=18533 vsize=48812 CPUtime=1.01 cores=1,3,5,7
/proc/18534/stat : 18534 (glucose) R 18533 10338 1905 0 -1 4202496 10603 0 0 0 99 2 0 0 20 0 1 0 289631519 49983488 11069 33554432000 4194304 5208918 140736689184160 140736689182568 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18534/statm: 12203 11069 95 248 0 11952 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 87128

Sending SIGTERM to process tree (bottom up)

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

[startup+1803.7 s]
/proc/loadavg: 1.93 1.98 1.97 3/181 18534
/proc/meminfo: memFree=25362856/32873844 swapFree=7112/7112
[pid=10338] ppid=10336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10338/stat : 10338 (npSolver-wbo-It) S 10336 10338 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289451250 9367552 275 33554432000 4194304 5064252 140734817338496 140734817337408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10338/statm: 2287 275 233 213 0 72 0
[pid=10339] ppid=10338 vsize=20020 CPUtime=1797.93 cores=1,3,5,7
/proc/10339/stat : 10339 (npSolver-wbo) S 10338 10338 1905 0 -1 4202496 2240251 18614711 0 0 9563 1676 156486 12068 20 0 1 0 289451250 20500480 4222 33554432000 4194304 5990268 140735802860960 140735802852368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 538 0 0
/proc/10339/statm: 5005 4222 177 439 0 4562 0
[pid=18533] ppid=10339 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18533/stat : 18533 (satsolver.sh) S 10339 10338 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289631519 9367552 267 33554432000 4194304 5064252 140736361247104 140736361246016 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18533/statm: 2287 267 226 213 0 72 0
[pid=18534] ppid=18533 vsize=48812 CPUtime=1.01 cores=1,3,5,7
/proc/18534/stat : 18534 (glucose) R 18533 10338 1905 0 -1 4202496 10603 0 0 0 99 2 0 0 20 0 1 0 289631519 49983488 11069 33554432000 4194304 5208918 140736689184160 140736689182568 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18534/statm: 12203 11069 95 248 0 11952 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 87128

Child status: 0

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

Real time (s): 1803.71
CPU time (s): 1800.1
CPU user time (s): 1662.61
CPU system time (s): 137.495
CPU usage (%): 99.7997
Max. virtual memory (cumulated for all children) (KiB): 88892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1661.5
system time used= 137.485
maximum resident set size= 46464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20866554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16706896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 332002
involuntary context switches= 20135

runsolver used 3.2625 second user time and 8.37373 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-28 21:27:07
IDJOB=3715916
IDBENCH=79274
IDSOLVER=2297
FILE ID=node104/3715916-1338233227
RUNJOBID= node104-1338229623-1922
PBS_JOBID= 14624647
Free space on /tmp= 66880 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900556231--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-3715916-1338233227/watcher-3715916-1338233227 -o /tmp/evaluation-result-3715916-1338233227/solver-3715916-1338233227 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715916-1338233227.wbo 1382300366 HOME HOME

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

MD5SUM BENCH= ec85c0538058c3457da9eddcb3b315b2
RANDOM SEED=1382300366

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:        25396796 kB
Buffers:          438192 kB
Cached:          5966280 kB
SwapCached:         1084 kB
Active:          5613048 kB
Inactive:         905492 kB
Active(anon):     105556 kB
Inactive(anon):     9936 kB
Active(file):    5507492 kB
Inactive(file):   895556 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67106720 kB
Dirty:              8548 kB
Writeback:             0 kB
AnonPages:        159980 kB
Mapped:            15228 kB
Shmem:               196 kB
Slab:             818192 kB
SReclaimable:     260408 kB
SUnreclaim:       557784 kB
KernelStack:        1504 kB
PageTables:         4204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     222832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 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= 66864 MiB
End job on node104 at 2012-05-28 21:57:11