Trace number 3715601

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.09 1829.22

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
MD5SUM908c51b3c7715396d94712713af78fd9
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark64.1742
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 constraints1868
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 94981
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94980
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 709
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.03	c run usual solver
0.00/0.22	o 686
0.00/0.22	c starting approximation
0.00/0.22	c factor = 2
0.00/0.22	c factor still to low - shrinking to 3.91432
0.00/0.22	c approx number of clauses: 1e+06
0.00/0.22	c current bound: 343
1.58/1.87	c current bound: 343
3.23/3.77	c current bound: 343
5.12/5.43	c current bound: 343
6.55/7.08	c current bound: 343
8.42/8.77	c current bound: 343
9.85/10.43	c current bound: 343
11.69/12.07	c current bound: 343
13.14/13.84	c current bound: 343
15.06/15.50	c current bound: 343
16.46/17.17	c current bound: 343
18.39/19.17	c current bound: 343
20.03/20.82	c current bound: 343
21.44/22.48	c current bound: 343
23.32/24.13	c current bound: 343
24.75/25.78	c current bound: 343
26.62/27.44	c current bound: 343
28.06/29.09	c current bound: 343
29.91/30.75	c current bound: 343
31.34/32.39	c current bound: 343
33.23/34.17	c current bound: 343
34.64/35.82	c current bound: 343
36.48/37.48	c current bound: 343
37.94/39.23	c current bound: 343
39.87/40.90	c current bound: 343
41.26/42.56	c current bound: 343
42.91/44.32	c current bound: 343
44.57/45.97	c current bound: 343
46.22/47.63	c current bound: 343
47.88/49.40	c current bound: 343
49.53/51.05	c current bound: 343
51.45/52.79	c current bound: 343
52.99/54.51	c current bound: 343
54.84/56.16	c current bound: 343
56.29/57.82	c current bound: 343
58.13/59.47	c current bound: 343
59.60/61.18	c current bound: 343
61.48/62.83	c current bound: 343
62.90/64.48	c current bound: 343
64.54/66.17	c current bound: 343
66.19/67.83	c current bound: 343
67.85/69.48	c current bound: 343
69.50/71.17	c current bound: 343
71.15/72.84	c current bound: 343
72.79/74.47	c current bound: 343
74.44/76.13	c current bound: 343
76.09/77.79	c current bound: 343
77.74/79.45	c current bound: 343
79.40/81.11	c current bound: 343
81.06/82.76	c current bound: 343
82.70/84.41	c current bound: 343
84.36/86.06	c current bound: 343
86.00/87.72	c current bound: 343
87.67/89.38	c current bound: 343
89.31/91.15	c current bound: 343
91.25/92.80	c current bound: 343
92.60/94.44	c current bound: 343
94.27/96.24	c current bound: 343
96.08/97.89	c current bound: 343
97.56/99.55	c current bound: 343
99.47/101.26	c current bound: 343
100.87/102.91	c current bound: 343
102.71/104.54	c current bound: 343
104.43/106.20	c current bound: 343
106.07/107.90	c current bound: 343
107.46/109.56	c current bound: 343
109.35/111.21	c current bound: 343
110.77/112.92	c current bound: 343
112.60/114.55	c current bound: 343
114.06/116.21	c current bound: 343
115.72/117.88	c current bound: 343
117.38/119.54	c current bound: 343
119.05/121.21	c current bound: 343
120.70/122.87	c current bound: 343
122.31/124.50	c current bound: 343
123.98/126.16	c current bound: 343
125.63/127.82	c current bound: 343
127.30/129.48	c current bound: 343
128.94/131.14	c current bound: 343
130.60/132.79	c current bound: 343
132.25/134.44	c current bound: 343
133.89/136.10	c current bound: 343
135.57/137.91	c current bound: 343
137.21/139.56	c current bound: 343
138.86/141.21	c current bound: 343
140.77/142.98	c current bound: 343
142.15/144.62	c current bound: 343
144.00/146.28	c current bound: 343
145.46/148.03	c current bound: 343
147.30/149.69	c current bound: 343
148.78/151.35	c current bound: 343
150.67/153.10	c current bound: 343
152.05/154.72	c current bound: 343
153.68/156.37	c current bound: 343
155.35/158.13	c current bound: 343
157.00/159.78	c current bound: 343
158.66/161.43	c current bound: 343
160.31/163.23	c current bound: 343
161.92/164.84	c current bound: 343
163.57/166.49	c current bound: 343
165.48/168.25	c current bound: 343
166.89/169.91	c current bound: 343
168.72/171.58	c current bound: 343
170.20/173.36	c current bound: 343
172.02/174.97	c current bound: 343
173.46/176.62	c current bound: 343
175.37/178.38	c current bound: 343
176.78/180.03	c current bound: 343
178.42/181.70	c current bound: 343
180.36/183.50	c current bound: 343
181.67/185.09	c current bound: 343
183.32/186.74	c current bound: 343
184.96/188.47	c current bound: 343
186.62/190.13	c current bound: 343
188.28/191.79	c current bound: 343
190.18/193.58	c current bound: 343
191.59/195.25	c current bound: 343
193.53/196.90	c current bound: 343
194.90/198.65	c current bound: 343
196.81/200.30	c current bound: 343
198.19/201.95	c current bound: 343
200.10/203.71	c current bound: 343
201.43/205.31	c current bound: 343
203.30/206.96	c current bound: 343
204.74/208.60	c current bound: 343
206.40/210.31	c current bound: 343
208.04/211.97	c current bound: 343
209.71/213.62	c current bound: 343
211.28/215.25	c current bound: 343
212.93/216.91	c current bound: 343
214.59/218.57	c current bound: 343
216.24/220.23	c current bound: 343
218.19/221.90	c current bound: 343
219.57/223.55	c current bound: 343
221.23/225.21	c current bound: 343
222.89/226.86	c current bound: 343
224.53/228.51	c current bound: 343
226.26/230.24	c current bound: 343
227.91/231.90	c current bound: 343
229.57/233.55	c current bound: 343
231.14/235.25	c current bound: 343
232.78/236.90	c current bound: 343
234.46/238.57	c current bound: 343
236.10/240.33	c current bound: 343
237.95/241.97	c current bound: 343
239.40/243.63	c current bound: 343
241.22/245.22	c current bound: 343
242.64/246.88	c current bound: 343
244.52/248.53	c current bound: 343
245.94/250.19	c current bound: 343
247.77/251.88	c current bound: 343
249.23/253.53	c current bound: 343
250.80/255.09	c current bound: 343
252.45/256.76	c current bound: 343
254.36/258.44	c current bound: 343
255.79/260.09	c current bound: 343
257.65/261.75	c current bound: 343
259.09/263.41	c current bound: 343
260.95/265.00	c current bound: 343
262.34/266.77	c current bound: 343
264.23/268.42	c current bound: 343
265.69/270.12	c current bound: 343
267.58/271.86	c current bound: 343
268.98/273.52	c current bound: 343
270.83/275.10	c current bound: 343
272.22/276.75	c current bound: 343
274.08/278.45	c current bound: 343
275.79/280.10	c current bound: 343
277.37/281.75	c current bound: 343
278.82/283.41	c current bound: 343
280.68/285.00	c current bound: 343
282.07/286.65	c current bound: 343
283.80/288.39	c current bound: 343
285.45/290.05	c current bound: 343
287.10/291.71	c current bound: 343
288.78/293.38	c current bound: 343
290.40/294.98	c current bound: 343
292.04/296.64	c current bound: 343
293.70/298.37	c current bound: 343
295.36/300.04	c current bound: 343
297.02/301.69	c current bound: 343
298.66/303.43	c current bound: 343
300.25/305.01	c current bound: 343
301.91/306.67	c current bound: 343
303.54/308.31	c current bound: 343
305.20/309.97	c current bound: 343
306.85/311.62	c current bound: 343
308.50/313.28	c current bound: 343
310.15/314.91	c current bound: 343
311.80/316.57	c current bound: 343
313.46/318.21	c current bound: 343
315.11/319.87	c current bound: 343
316.78/321.53	c current bound: 343
318.42/323.18	c current bound: 343
320.02/324.88	c current bound: 343
321.68/326.54	c current bound: 343
323.61/328.20	c current bound: 343
325.24/329.94	c current bound: 343
326.65/331.61	c current bound: 343
328.51/333.26	c current bound: 343
329.93/334.99	c current bound: 343
331.80/336.63	c current bound: 343
333.21/338.29	c current bound: 343
335.12/340.08	c current bound: 343
336.52/341.73	c current bound: 343
338.18/343.38	c current bound: 343
339.78/345.09	c current bound: 343
341.44/346.74	c current bound: 343
343.11/348.40	c current bound: 343
344.75/350.18	c current bound: 343
346.40/351.83	c current bound: 343
348.05/353.48	c current bound: 343
349.64/355.20	c current bound: 343
351.29/356.86	c current bound: 343
353.20/358.52	c current bound: 343
354.61/360.29	c current bound: 343
356.50/361.93	c current bound: 343
357.91/363.58	c current bound: 343
359.76/365.31	c current bound: 343
361.17/366.97	c current bound: 343
363.04/368.62	c current bound: 343
364.46/370.37	c current bound: 343
366.10/372.02	c current bound: 343
367.76/373.68	c current bound: 343
369.54/375.23	c current bound: 343
370.97/376.93	c current bound: 343
372.63/378.59	c current bound: 343
374.29/380.24	c current bound: 343
375.93/381.94	c current bound: 343
377.57/383.59	c current bound: 343
379.23/385.25	c current bound: 343
380.88/386.95	c current bound: 343
382.80/388.60	c current bound: 343
384.19/390.25	c current bound: 343
385.83/391.90	c current bound: 343
387.48/393.55	c current bound: 343
389.09/395.15	c current bound: 343
390.74/396.81	c current bound: 343
392.40/398.47	c current bound: 343
394.05/400.12	c current bound: 343
395.72/401.79	c current bound: 343
397.37/403.44	c current bound: 343
399.30/405.10	c current bound: 343
400.68/406.86	c current bound: 343
402.33/408.51	c current bound: 343
403.98/410.17	c current bound: 343
405.63/411.95	c current bound: 343
407.44/413.60	c current bound: 343
408.90/415.22	c current bound: 343
410.81/416.92	c current bound: 343
412.21/418.57	c current bound: 343
414.09/420.23	c current bound: 343
415.51/421.99	c current bound: 343
417.39/423.65	c current bound: 343
418.75/425.24	c current bound: 343
420.66/427.02	c current bound: 343
422.05/428.66	c current bound: 343
423.72/430.33	c current bound: 343
425.39/432.11	c current bound: 343
427.03/433.76	c current bound: 343
428.61/435.34	c current bound: 343
430.54/437.10	c current bound: 343
431.91/438.76	c current bound: 343
433.64/440.49	c current bound: 343
435.56/442.25	c current bound: 343
436.95/443.90	c current bound: 343
438.71/445.45	c current bound: 343
440.15/447.11	c current bound: 343
441.99/448.77	c current bound: 343
443.44/450.42	c current bound: 343
445.27/452.08	c current bound: 343
446.77/453.74	c current bound: 343
448.59/455.32	c current bound: 343
450.00/456.98	c current bound: 343
451.89/458.74	c current bound: 343
453.57/460.40	c current bound: 343
455.15/462.06	c current bound: 343
456.62/463.87	c current bound: 343
458.26/465.52	c current bound: 343
459.91/467.17	c current bound: 343
461.56/468.91	c current bound: 343
463.19/470.56	c current bound: 343
464.86/472.22	c current bound: 343
466.52/474.00	c current bound: 343
468.16/475.66	c current bound: 343
470.06/477.31	c current bound: 343
471.47/479.09	c current bound: 343
473.34/480.76	c current bound: 343
474.78/482.42	c current bound: 343
476.70/484.18	c current bound: 343
478.11/485.84	c current bound: 343
479.78/487.49	c current bound: 343
481.42/489.28	c current bound: 343
483.08/490.94	c current bound: 343
484.73/492.60	c current bound: 343
486.39/494.36	c current bound: 343
488.29/496.01	c current bound: 343
489.70/497.67	c current bound: 343
491.61/499.45	c current bound: 343
493.01/501.11	c current bound: 343
494.86/502.76	c current bound: 343
496.31/504.47	c current bound: 343
498.20/506.16	c current bound: 343
499.65/507.81	c current bound: 343
501.32/509.58	c current bound: 343
502.95/511.23	c current bound: 343
504.62/512.89	c current bound: 343
506.56/514.70	c current bound: 343
507.94/516.36	c current bound: 343
509.84/518.02	c current bound: 343
511.28/519.78	c current bound: 343
513.14/521.44	c current bound: 343
514.58/523.09	c current bound: 343
516.49/524.85	c current bound: 343
517.89/526.51	c current bound: 343
519.55/528.17	c current bound: 343
521.22/529.94	c current bound: 343
522.86/531.59	c current bound: 343
524.51/533.24	c current bound: 343
526.16/535.01	c current bound: 343
527.81/536.66	c current bound: 343
529.47/538.31	c current bound: 343
531.39/540.09	c current bound: 343
532.78/541.74	c current bound: 343
534.60/543.40	c current bound: 343
536.09/545.17	c current bound: 343
537.97/546.84	c current bound: 343
539.68/548.50	c current bound: 343
541.31/550.26	c current bound: 343
542.72/551.91	c current bound: 343
544.36/553.57	c current bound: 343
545.95/555.26	c current bound: 343
547.61/556.92	c current bound: 343
549.24/558.56	c current bound: 343
550.91/560.37	c current bound: 343
552.78/562.03	c current bound: 343
554.21/563.68	c current bound: 343
556.04/565.37	c current bound: 343
557.44/567.04	c current bound: 343
559.27/568.69	c current bound: 343
560.77/570.47	c current bound: 343
562.66/572.12	c current bound: 343
564.07/573.79	c current bound: 343
565.90/575.46	c current bound: 343
567.30/577.11	c current bound: 343
568.96/578.78	c current bound: 343
570.62/580.54	c current bound: 343
572.25/582.19	c current bound: 343
573.91/583.84	c current bound: 343
575.57/585.65	c current bound: 343
577.49/587.31	c current bound: 343
578.88/588.96	c current bound: 343
580.78/590.69	c current bound: 343
582.17/592.34	c current bound: 343
584.00/593.98	c current bound: 343
585.36/595.54	c current bound: 343
587.23/597.24	c current bound: 343
588.94/598.90	c current bound: 343
590.52/600.56	c current bound: 343
591.98/602.27	c current bound: 343
593.87/603.93	c current bound: 343
595.30/605.59	c current bound: 343
597.13/607.29	c current bound: 343
598.60/608.94	c current bound: 343
600.41/610.59	c current bound: 343
601.88/612.24	c current bound: 343
603.81/613.90	c current bound: 343
605.11/615.46	c current bound: 343
607.01/617.11	c current bound: 343
608.41/618.77	c current bound: 343
610.29/620.42	c current bound: 343
611.71/622.09	c current bound: 343
613.60/623.74	c current bound: 343
614.98/625.36	c current bound: 343
616.89/627.06	c current bound: 343
618.29/628.72	c current bound: 343
620.12/630.37	c current bound: 343
621.59/632.12	c current bound: 343
623.24/633.78	c current bound: 343
624.80/635.34	c current bound: 343
626.72/637.00	c current bound: 343
628.38/638.70	c current bound: 343
629.96/640.35	c current bound: 343
631.41/642.01	c current bound: 343
633.06/643.72	c current bound: 343
634.71/645.37	c current bound: 343
636.37/647.02	c current bound: 343
638.01/648.72	c current bound: 343
639.66/650.39	c current bound: 343
641.34/652.04	c current bound: 343
642.99/653.73	c current bound: 343
644.65/655.39	c current bound: 343
646.29/657.04	c current bound: 343
647.96/658.74	c current bound: 343
649.88/660.40	c current bound: 343
651.25/662.05	c current bound: 343
652.90/663.74	c current bound: 343
654.47/665.31	c current bound: 343
656.14/666.97	c current bound: 343
657.78/668.63	c current bound: 343
659.45/670.29	c current bound: 343
661.09/671.94	c current bound: 343
662.74/673.59	c current bound: 343
664.35/675.20	c current bound: 343
666.01/676.86	c current bound: 343
667.67/678.52	c current bound: 343
669.31/680.18	c current bound: 343
670.98/681.84	c current bound: 343
672.63/683.49	c current bound: 343
674.22/685.14	c current bound: 343
676.16/686.80	c current bound: 343
677.54/688.46	c current bound: 343
679.19/690.11	c current bound: 343
680.84/691.76	c current bound: 343
682.50/693.42	c current bound: 343
684.37/695.16	c current bound: 343
685.77/696.82	c current bound: 343
687.61/698.48	c current bound: 343
689.08/700.24	c current bound: 343
690.91/701.89	c current bound: 343
692.38/703.55	c current bound: 343
694.25/705.28	c current bound: 343
695.66/706.94	c current bound: 343
697.32/708.59	c current bound: 343
698.97/710.35	c current bound: 343
700.88/712.00	c current bound: 343
702.26/713.66	c current bound: 343
703.87/715.36	c current bound: 343
705.52/717.01	c current bound: 343
707.17/718.67	c current bound: 343
709.08/720.46	c current bound: 343
710.47/722.12	c current bound: 343
712.32/723.77	c current bound: 343
713.99/725.55	c current bound: 343
715.62/727.21	c current bound: 343
717.04/728.87	c current bound: 343
718.95/730.64	c current bound: 343
720.35/732.30	c current bound: 343
722.00/733.96	c current bound: 343
723.84/735.64	c current bound: 343
725.49/737.30	c current bound: 343
726.86/738.95	c current bound: 343
728.53/740.72	c current bound: 343
730.18/742.37	c current bound: 343
731.85/744.03	c current bound: 343
733.76/745.81	c current bound: 343
735.15/747.47	c current bound: 343
737.03/749.13	c current bound: 343
738.45/750.92	c current bound: 343
740.11/752.58	c current bound: 343
741.77/754.24	c current bound: 343
743.70/756.00	c current bound: 343
745.09/757.65	c current bound: 343
746.74/759.31	c current bound: 343
748.40/761.10	c current bound: 343
750.05/762.76	c current bound: 343
751.97/764.42	c current bound: 343
753.36/766.12	c current bound: 343
755.20/767.77	c current bound: 343
756.67/769.42	c current bound: 343
758.56/771.21	c current bound: 343
759.96/772.85	c current bound: 343
761.86/774.50	c current bound: 343
763.27/776.27	c current bound: 343
764.93/777.92	c current bound: 343
766.59/779.58	c current bound: 343
768.23/781.37	c current bound: 343
769.88/783.03	c current bound: 343
771.54/784.69	c current bound: 343
773.45/786.45	c current bound: 343
774.86/788.11	c current bound: 343
776.70/789.76	c current bound: 343
778.13/791.47	c current bound: 343
780.04/793.12	c current bound: 343
781.45/794.78	c current bound: 343
783.34/796.52	c current bound: 343
784.75/798.17	c current bound: 343
786.63/799.82	c current bound: 343
788.04/801.53	c current bound: 343
789.70/803.18	c current bound: 343
791.35/804.83	c current bound: 343
793.00/806.62	c current bound: 343
794.65/808.27	c current bound: 343
796.29/809.92	c current bound: 343
797.95/811.68	c current bound: 343
799.60/813.33	c current bound: 343
801.24/814.97	c current bound: 343
802.89/816.75	c current bound: 343
804.70/818.40	c current bound: 343
806.20/820.06	c current bound: 343
808.10/821.85	c current bound: 343
809.76/823.50	c current bound: 343
811.36/825.12	c current bound: 343
812.77/826.88	c current bound: 343
814.44/828.57	c current bound: 343
816.11/830.23	c current bound: 343
817.75/831.98	c current bound: 343
819.42/833.63	c current bound: 343
821.03/835.25	c current bound: 343
822.68/836.95	c current bound: 343
824.59/838.60	c current bound: 343
825.98/840.25	c current bound: 343
827.63/842.01	c current bound: 343
829.49/843.67	c current bound: 343
831.19/845.30	c current bound: 343
832.83/847.07	c current bound: 343
834.22/848.71	c current bound: 343
836.07/850.37	c current bound: 343
837.53/852.15	c current bound: 343
839.45/853.80	c current bound: 343
840.76/855.37	c current bound: 343
842.68/857.14	c current bound: 343
844.05/858.79	c current bound: 343
845.71/860.44	c current bound: 343
847.64/862.10	c current bound: 343
849.30/863.80	c current bound: 343
850.61/865.38	c current bound: 343
852.24/867.02	c current bound: 343
853.91/868.68	c current bound: 343
855.55/870.34	c current bound: 343
857.21/871.99	c current bound: 343
858.85/873.64	c current bound: 343
860.45/875.24	c current bound: 343
862.39/876.90	c current bound: 343
863.76/878.66	c current bound: 343
865.41/880.31	c current bound: 343
867.07/881.96	c current bound: 343
868.71/883.73	c current bound: 343
870.32/885.33	c current bound: 343
871.97/886.98	c current bound: 343
873.88/888.80	c current bound: 343
875.29/890.45	c current bound: 343
877.20/892.11	c current bound: 343
878.59/893.87	c current bound: 343
880.48/895.50	c current bound: 343
881.88/897.16	c current bound: 343
883.79/898.91	c current bound: 343
885.19/900.57	c current bound: 343
886.84/902.22	c current bound: 343
888.49/903.96	c current bound: 343
890.05/905.52	c current bound: 343
891.71/907.19	c current bound: 343
893.37/908.84	c current bound: 343
895.01/910.54	c current bound: 343
896.66/912.19	c current bound: 343
898.31/913.84	c current bound: 343
899.89/915.42	c current bound: 343
901.55/917.07	c current bound: 343
903.20/918.72	c current bound: 343
904.85/920.37	c current bound: 343
906.49/922.03	c current bound: 343
908.16/923.68	c current bound: 343
909.74/925.35	c current bound: 343
911.39/927.01	c current bound: 343
913.05/928.66	c current bound: 343
914.71/930.45	c current bound: 343
916.35/932.09	c current bound: 343
918.01/933.75	c current bound: 343
919.61/935.45	c current bound: 343
921.26/937.10	c current bound: 343
922.91/938.75	c current bound: 343
924.80/940.49	c current bound: 343
926.21/942.14	c current bound: 343
928.02/943.80	c current bound: 343
929.47/945.51	c current bound: 343
931.31/947.16	c current bound: 343
932.77/948.81	c current bound: 343
934.66/950.57	c current bound: 343
936.05/952.22	c current bound: 343
937.71/953.88	c current bound: 343
939.32/955.63	c current bound: 343
940.99/957.28	c current bound: 343
942.65/958.93	c current bound: 343
944.33/960.74	c current bound: 343
945.99/962.39	c current bound: 343
947.63/964.04	c current bound: 343
949.54/965.79	c current bound: 343
950.93/967.45	c current bound: 343
952.75/969.10	c current bound: 343
954.26/970.86	c current bound: 343
956.16/972.52	c current bound: 343
957.56/974.16	c current bound: 343
959.35/975.74	c current bound: 343
960.79/977.43	c current bound: 343
962.62/979.09	c current bound: 343
964.10/980.75	c current bound: 343
965.97/982.44	c current bound: 343
967.41/984.09	c current bound: 343
969.17/985.69	c current bound: 343
970.67/987.35	c current bound: 343
972.57/989.00	c current bound: 343
973.98/990.66	c current bound: 343
975.87/992.32	c current bound: 343
977.29/993.97	c current bound: 343
979.06/995.58	c current bound: 343
980.53/997.35	c current bound: 343
982.19/999.02	c current bound: 343
983.85/1000.66	c current bound: 343
985.50/1002.45	c current bound: 343
987.16/1004.11	c current bound: 343
988.74/1005.69	c current bound: 343
990.39/1007.46	c current bound: 343
992.05/1009.12	c current bound: 343
993.70/1010.77	c current bound: 343
995.37/1012.51	c current bound: 343
997.22/1014.16	c current bound: 343
998.58/1015.72	c current bound: 343
1000.22/1017.38	c current bound: 343
1001.87/1019.06	c current bound: 343
1003.76/1020.72	c current bound: 343
1005.18/1022.37	c current bound: 343
1007.06/1024.03	c current bound: 343
1008.66/1025.60	c current bound: 343
1010.06/1027.26	c current bound: 343
1011.70/1028.90	c current bound: 343
1013.36/1030.56	c current bound: 343
1015.03/1032.21	c current bound: 343
1016.67/1033.85	c current bound: 343
1018.25/1035.45	c current bound: 343
1019.91/1037.10	c current bound: 343
1021.55/1038.88	c current bound: 343
1023.45/1040.55	c current bound: 343
1024.88/1042.21	c current bound: 343
1026.77/1043.97	c current bound: 343
1028.11/1045.55	c current bound: 343
1029.92/1047.19	c current bound: 343
1031.39/1048.84	c current bound: 343
1033.26/1050.53	c current bound: 343
1034.70/1052.19	c current bound: 343
1036.59/1053.84	c current bound: 343
1037.93/1055.46	c current bound: 343
1039.84/1057.12	c current bound: 343
1041.24/1058.77	c current bound: 343
1043.14/1060.42	c current bound: 343
1044.57/1062.08	c current bound: 343
1046.45/1063.73	c current bound: 343
1048.11/1065.46	c current bound: 343
1049.74/1067.11	c current bound: 343
1051.15/1068.76	c current bound: 343
1053.05/1070.53	c current bound: 343
1054.46/1072.19	c current bound: 343
1056.11/1073.84	c current bound: 343
1057.71/1075.56	c current bound: 343
1059.37/1077.22	c current bound: 343
1061.02/1078.86	c current bound: 343
1062.67/1080.64	c current bound: 343
1064.33/1082.28	c current bound: 343
1065.97/1083.93	c current bound: 343
1067.81/1085.61	c current bound: 343
1069.19/1087.25	c current bound: 343
1071.10/1088.91	c current bound: 343
1072.49/1090.71	c current bound: 343
1074.34/1092.36	c current bound: 343
1075.78/1094.00	c current bound: 343
1077.64/1095.70	c current bound: 343
1079.02/1097.35	c current bound: 343
1080.83/1098.99	c current bound: 343
1082.32/1100.74	c current bound: 343
1083.96/1102.39	c current bound: 343
1085.61/1104.04	c current bound: 343
1087.42/1105.62	c current bound: 343
1088.83/1107.32	c current bound: 343
1090.49/1108.97	c current bound: 343
1092.16/1110.63	c current bound: 343
1093.80/1112.34	c current bound: 343
1095.52/1114.06	c current bound: 343
1097.10/1115.69	c current bound: 343
1098.75/1117.40	c current bound: 343
1100.39/1119.05	c current bound: 343
1102.05/1120.70	c current bound: 343
1103.70/1122.41	c current bound: 343
1105.35/1124.06	c current bound: 343
1106.96/1125.66	c current bound: 343
1108.59/1127.31	c current bound: 343
1110.26/1128.97	c current bound: 343
1111.90/1130.61	c current bound: 343
1113.55/1132.26	c current bound: 343
1115.20/1133.92	c current bound: 343
1116.81/1135.52	c current bound: 343
1118.45/1137.30	c current bound: 343
1120.10/1138.95	c current bound: 343
1121.76/1140.60	c current bound: 343
1123.42/1142.38	c current bound: 343
1125.28/1144.03	c current bound: 343
1126.63/1145.62	c current bound: 343
1128.56/1147.38	c current bound: 343
1129.96/1149.04	c current bound: 343
1131.87/1150.76	c current bound: 343
1133.52/1152.50	c current bound: 343
1134.90/1154.16	c current bound: 343
1136.50/1155.75	c current bound: 343
1138.16/1157.52	c current bound: 343
1139.82/1159.17	c current bound: 343
1141.45/1160.82	c current bound: 343
1143.10/1162.56	c current bound: 343
1144.75/1164.21	c current bound: 343
1146.36/1165.82	c current bound: 343
1148.01/1167.57	c current bound: 343
1149.89/1169.23	c current bound: 343
1151.32/1170.88	c current bound: 343
1153.22/1172.64	c current bound: 343
1154.65/1174.32	c current bound: 343
1156.39/1175.88	c current bound: 343
1157.87/1177.65	c current bound: 343
1159.78/1179.30	c current bound: 343
1161.18/1180.96	c current bound: 343
1163.07/1182.72	c current bound: 343
1164.48/1184.37	c current bound: 343
1166.27/1185.93	c current bound: 343
1167.98/1187.60	c current bound: 343
1169.35/1189.29	c current bound: 343
1171.01/1190.94	c current bound: 343
1172.65/1192.58	c current bound: 343
1174.31/1194.24	c current bound: 343
1176.14/1195.84	c current bound: 343
1177.57/1197.49	c current bound: 343
1179.48/1199.28	c current bound: 343
1180.87/1200.93	c current bound: 343
1182.53/1202.58	c current bound: 343
1184.18/1204.34	c current bound: 343
1185.71/1205.89	c current bound: 343
1187.36/1207.54	c current bound: 343
1189.02/1209.19	c current bound: 343
1190.67/1210.89	c current bound: 343
1192.33/1212.54	c current bound: 343
1193.97/1214.19	c current bound: 343
1195.63/1215.84	c current bound: 343
1197.26/1217.49	c current bound: 343
1198.90/1219.14	c current bound: 343
1200.84/1220.80	c current bound: 343
1202.21/1222.45	c current bound: 343
1203.88/1224.11	c current bound: 343
1205.43/1225.78	c current bound: 343
1207.09/1227.44	c current bound: 343
1208.73/1229.08	c current bound: 343
1210.63/1230.84	c current bound: 343
1212.03/1232.48	c current bound: 343
1213.89/1234.13	c current bound: 343
1215.25/1235.72	c current bound: 343
1217.14/1237.42	c current bound: 343
1218.55/1239.07	c current bound: 343
1220.43/1240.72	c current bound: 343
1221.85/1242.41	c current bound: 343
1223.69/1244.08	c current bound: 343
1225.16/1245.74	c current bound: 343
1227.04/1247.43	c current bound: 343
1228.48/1249.09	c current bound: 343
1230.34/1250.75	c current bound: 343
1231.79/1252.45	c current bound: 343
1233.69/1254.10	c current bound: 343
1235.07/1255.75	c current bound: 343
1236.98/1257.41	c current bound: 343
1238.40/1259.06	c current bound: 343
1240.26/1260.72	c current bound: 343
1241.71/1262.37	c current bound: 343
1243.57/1264.03	c current bound: 343
1245.00/1265.68	c current bound: 343
1246.87/1267.34	c current bound: 343
1248.29/1268.99	c current bound: 343
1250.18/1270.64	c current bound: 343
1251.62/1272.40	c current bound: 343
1253.26/1274.05	c current bound: 343
1254.85/1275.64	c current bound: 343
1256.77/1277.30	c current bound: 343
1258.16/1278.99	c current bound: 343
1259.82/1280.66	c current bound: 343
1261.48/1282.31	c current bound: 343
1263.13/1284.00	c current bound: 343
1264.72/1285.60	c current bound: 343
1266.37/1287.26	c current bound: 343
1268.02/1288.91	c current bound: 343
1269.69/1290.57	c current bound: 343
1271.35/1292.23	c current bound: 343
1272.99/1293.89	c current bound: 343
1274.61/1295.50	c current bound: 343
1276.26/1297.15	c current bound: 343
1277.92/1298.91	c current bound: 343
1279.57/1300.55	c current bound: 343
1281.22/1302.21	c current bound: 343
1282.88/1303.96	c current bound: 343
1284.46/1305.57	c current bound: 343
1286.13/1307.21	c current bound: 343
1287.77/1308.86	c current bound: 343
1289.42/1310.55	c current bound: 343
1291.34/1312.21	c current bound: 343
1292.72/1313.86	c current bound: 343
1294.59/1315.51	c current bound: 343
1296.00/1317.17	c current bound: 343
1297.88/1318.87	c current bound: 343
1299.34/1320.56	c current bound: 343
1301.25/1322.20	c current bound: 343
1302.64/1323.85	c current bound: 343
1304.43/1325.47	c current bound: 343
1305.91/1327.13	c current bound: 343
1307.73/1328.78	c current bound: 343
1309.21/1330.43	c current bound: 343
1311.03/1332.08	c current bound: 343
1312.51/1333.75	c current bound: 343
1314.38/1335.46	c current bound: 343
1315.78/1337.11	c current bound: 343
1317.64/1338.77	c current bound: 343
1319.10/1340.55	c current bound: 343
1320.74/1342.20	c current bound: 343
1322.40/1343.86	c current bound: 343
1324.24/1345.56	c current bound: 343
1325.63/1347.22	c current bound: 343
1327.29/1348.87	c current bound: 343
1328.96/1350.64	c current bound: 343
1330.61/1352.28	c current bound: 343
1332.26/1353.94	c current bound: 343
1333.88/1355.69	c current bound: 343
1335.77/1357.35	c current bound: 343
1337.47/1359.00	c current bound: 343
1339.09/1360.73	c current bound: 343
1340.51/1362.39	c current bound: 343
1342.37/1364.04	c current bound: 343
1343.73/1365.62	c current bound: 343
1345.63/1367.31	c current bound: 343
1347.02/1368.96	c current bound: 343
1348.93/1370.61	c current bound: 343
1350.33/1372.26	c current bound: 343
1352.23/1373.91	c current bound: 343
1353.57/1375.51	c current bound: 343
1355.42/1377.18	c current bound: 343
1356.89/1378.83	c current bound: 343
1358.70/1380.50	c current bound: 343
1360.20/1382.15	c current bound: 343
1362.00/1383.79	c current bound: 343
1363.46/1385.41	c current bound: 343
1365.35/1387.19	c current bound: 343
1366.76/1388.85	c current bound: 343
1368.68/1390.50	c current bound: 343
1370.07/1392.25	c current bound: 343
1371.98/1393.90	c current bound: 343
1373.36/1395.55	c current bound: 343
1375.02/1397.34	c current bound: 343
1376.67/1398.99	c current bound: 343
1378.33/1400.64	c current bound: 343
1379.97/1402.39	c current bound: 343
1381.64/1404.05	c current bound: 343
1383.28/1405.69	c current bound: 343
1384.92/1407.49	c current bound: 343
1386.80/1409.14	c current bound: 343
1388.21/1410.79	c current bound: 343
1390.13/1412.54	c current bound: 343
1391.52/1414.19	c current bound: 343
1393.30/1415.79	c current bound: 343
1394.78/1417.55	c current bound: 343
1396.44/1419.21	c current bound: 343
1398.10/1420.87	c current bound: 343
1399.75/1422.63	c current bound: 343
1401.39/1424.27	c current bound: 343
1402.95/1425.83	c current bound: 343
1404.62/1427.49	c current bound: 343
1406.27/1429.18	c current bound: 343
1407.92/1430.83	c current bound: 343
1409.56/1432.48	c current bound: 343
1411.20/1434.12	c current bound: 343
1412.81/1435.72	c current bound: 343
1414.47/1437.39	c current bound: 343
1416.40/1439.20	c current bound: 343
1417.79/1440.84	c current bound: 343
1419.43/1442.49	c current bound: 343
1421.35/1444.28	c current bound: 343
1422.65/1445.86	c current bound: 343
1424.59/1447.51	c current bound: 343
1425.98/1449.27	c current bound: 343
1427.87/1450.92	c current bound: 343
1429.27/1452.58	c current bound: 343
1431.18/1454.34	c current bound: 343
1432.48/1455.91	c current bound: 343
1434.34/1457.57	c current bound: 343
1435.78/1459.22	c current bound: 343
1437.69/1460.91	c current bound: 343
1439.09/1462.57	c current bound: 343
1440.99/1464.24	c current bound: 343
1442.36/1465.87	c current bound: 343
1444.23/1467.52	c current bound: 343
1445.66/1469.17	c current bound: 343
1447.53/1470.82	c current bound: 343
1448.95/1472.49	c current bound: 343
1450.82/1474.15	c current bound: 343
1452.25/1475.77	c current bound: 343
1454.13/1477.43	c current bound: 343
1455.56/1479.08	c current bound: 343
1457.45/1480.86	c current bound: 343
1458.87/1482.52	c current bound: 343
1460.52/1484.16	c current bound: 343
1462.12/1485.89	c current bound: 343
1463.78/1487.55	c current bound: 343
1465.45/1489.21	c current bound: 343
1467.10/1490.99	c current bound: 343
1468.97/1492.64	c current bound: 343
1470.41/1494.30	c current bound: 343
1472.24/1496.03	c current bound: 343
1473.63/1497.68	c current bound: 343
1475.51/1499.34	c current bound: 343
1476.94/1501.05	c current bound: 343
1478.86/1502.71	c current bound: 343
1480.26/1504.36	c current bound: 343
1482.05/1505.94	c current bound: 343
1483.48/1507.66	c current bound: 343
1485.40/1509.30	c current bound: 343
1486.79/1510.96	c current bound: 343
1488.65/1512.65	c current bound: 343
1490.09/1514.31	c current bound: 343
1491.85/1515.89	c current bound: 343
1493.33/1517.54	c current bound: 343
1495.24/1519.22	c current bound: 343
1496.66/1520.88	c current bound: 343
1498.53/1522.53	c current bound: 343
1499.97/1524.20	c current bound: 343
1501.73/1525.79	c current bound: 343
1503.22/1527.46	c current bound: 343
1505.11/1529.12	c current bound: 343
1506.53/1530.78	c current bound: 343
1508.41/1532.44	c current bound: 343
1509.83/1534.16	c current bound: 343
1511.49/1535.81	c current bound: 343
1513.16/1537.46	c current bound: 343
1514.80/1539.15	c current bound: 343
1516.46/1540.81	c current bound: 343
1518.10/1542.46	c current bound: 343
1519.76/1544.12	c current bound: 343
1521.38/1545.74	c current bound: 343
1523.31/1547.40	c current bound: 343
1524.71/1549.06	c current bound: 343
1526.34/1550.71	c current bound: 343
1528.01/1552.37	c current bound: 343
1529.66/1554.02	c current bound: 343
1531.27/1555.63	c current bound: 343
1533.23/1557.30	c current bound: 343
1534.59/1559.07	c current bound: 343
1536.26/1560.72	c current bound: 343
1537.91/1562.38	c current bound: 343
1539.80/1564.12	c current bound: 343
1541.14/1565.70	c current bound: 343
1542.79/1567.36	c current bound: 343
1544.45/1569.02	c current bound: 343
1546.35/1570.72	c current bound: 343
1547.75/1572.37	c current bound: 343
1549.64/1574.03	c current bound: 343
1551.01/1575.68	c current bound: 343
1552.90/1577.33	c current bound: 343
1554.30/1578.98	c current bound: 343
1556.18/1580.63	c current bound: 343
1557.62/1582.29	c current bound: 343
1559.48/1583.95	c current bound: 343
1560.87/1585.57	c current bound: 343
1562.76/1587.21	c current bound: 343
1564.17/1588.86	c current bound: 343
1566.08/1590.52	c current bound: 343
1567.48/1592.21	c current bound: 343
1569.34/1593.86	c current bound: 343
1570.75/1595.48	c current bound: 343
1572.64/1597.13	c current bound: 343
1574.34/1598.80	c current bound: 343
1575.93/1600.46	c current bound: 343
1577.37/1602.12	c current bound: 343
1579.23/1603.77	c current bound: 343
1580.68/1605.42	c current bound: 343
1582.59/1607.14	c current bound: 343
1583.99/1608.79	c current bound: 343
1585.86/1610.45	c current bound: 343
1587.29/1612.21	c current bound: 343
1589.16/1613.86	c current bound: 343
1590.87/1615.50	c current bound: 343
1592.52/1617.27	c current bound: 343
1593.89/1618.92	c current bound: 343
1595.56/1620.58	c current bound: 343
1597.20/1622.34	c current bound: 343
1598.87/1623.99	c current bound: 343
1600.48/1625.62	c current bound: 343
1602.14/1627.41	c current bound: 343
1604.01/1629.07	c current bound: 343
1605.46/1630.73	c current bound: 343
1607.37/1632.47	c current bound: 343
1608.77/1634.12	c current bound: 343
1610.63/1635.72	c current bound: 343
1612.03/1637.37	c current bound: 343
1613.86/1639.08	c current bound: 343
1615.34/1640.74	c current bound: 343
1617.14/1642.39	c current bound: 343
1618.65/1644.10	c current bound: 343
1620.49/1645.71	c current bound: 343
1621.91/1647.37	c current bound: 343
1623.79/1649.02	c current bound: 343
1625.21/1650.68	c current bound: 343
1627.10/1652.34	c current bound: 343
1628.53/1653.99	c current bound: 343
1630.38/1655.61	c current bound: 343
1631.78/1657.26	c current bound: 343
1633.71/1659.00	c current bound: 343
1635.08/1660.65	c current bound: 343
1636.76/1662.32	c current bound: 343
1638.41/1664.08	c current bound: 343
1640.01/1665.69	c current bound: 343
1641.68/1667.34	c current bound: 343
1643.33/1669.13	c current bound: 343
1644.98/1670.78	c current bound: 343
1646.62/1672.43	c current bound: 343
1648.52/1674.19	c current bound: 343
1649.88/1675.81	c current bound: 343
1651.74/1677.47	c current bound: 343
1653.20/1679.25	c current bound: 343
1655.09/1680.91	c current bound: 343
1656.51/1682.56	c current bound: 343
1658.40/1684.31	c current bound: 343
1659.77/1685.93	c current bound: 343
1661.42/1687.59	c current bound: 343
1663.08/1689.34	c current bound: 343
1664.72/1690.98	c current bound: 343
1666.38/1692.64	c current bound: 343
1668.03/1694.42	c current bound: 343
1669.65/1696.01	c current bound: 343
1671.30/1697.66	c current bound: 343
1673.22/1699.42	c current bound: 343
1674.61/1701.07	c current bound: 343
1676.50/1702.73	c current bound: 343
1677.91/1704.49	c current bound: 343
1679.68/1706.09	c current bound: 343
1681.17/1707.74	c current bound: 343
1683.07/1709.51	c current bound: 343
1684.47/1711.16	c current bound: 343
1686.36/1712.82	c current bound: 343
1687.78/1714.59	c current bound: 343
1689.53/1716.16	c current bound: 343
1690.99/1717.81	c current bound: 343
1692.66/1719.59	c current bound: 343
1694.32/1721.24	c current bound: 343
1695.95/1722.88	c current bound: 343
1697.61/1724.69	c current bound: 343
1699.21/1726.30	c current bound: 343
1700.89/1727.97	c current bound: 343
1702.53/1729.73	c current bound: 343
1704.35/1731.38	c current bound: 343
1705.83/1733.03	c current bound: 343
1707.72/1734.79	c current bound: 343
1709.13/1736.46	c current bound: 343
1711.06/1738.10	c current bound: 343
1712.45/1739.86	c current bound: 343
1714.10/1741.52	c current bound: 343
1715.76/1743.17	c current bound: 343
1717.42/1744.94	c current bound: 343
1719.35/1746.60	c current bound: 343
1720.73/1748.25	c current bound: 343
1722.63/1750.03	c current bound: 343
1724.03/1751.68	c current bound: 343
1725.91/1753.33	c current bound: 343
1727.33/1755.08	c current bound: 343
1729.21/1756.73	c current bound: 343
1730.63/1758.37	c current bound: 343
1732.52/1760.14	c current bound: 343
1733.92/1761.78	c current bound: 343
1735.78/1763.44	c current bound: 343
1737.22/1765.19	c current bound: 343
1738.89/1766.85	c current bound: 343
1740.55/1768.51	c current bound: 343
1742.20/1770.27	c current bound: 343
1743.86/1771.92	c current bound: 343
1745.51/1773.58	c current bound: 343
1747.42/1775.34	c current bound: 343
1748.81/1776.99	c current bound: 343
1750.68/1778.65	c current bound: 343
1752.12/1780.41	c current bound: 343
1753.98/1782.06	c current bound: 343
1755.43/1783.71	c current bound: 343
1757.33/1785.51	c current bound: 343
1758.73/1787.16	c current bound: 343
1760.37/1788.80	c current bound: 343
1762.03/1790.58	c current bound: 343
1763.68/1792.22	c current bound: 343
1765.32/1793.88	c current bound: 343
1766.99/1795.66	c current bound: 343
1768.88/1797.32	c current bound: 343
1770.30/1798.97	c current bound: 343
1772.21/1800.75	c current bound: 343
1773.60/1802.41	c current bound: 343
1775.47/1804.05	c current bound: 343
1776.91/1805.86	c current bound: 343
1778.56/1807.51	c current bound: 343
1780.21/1809.17	c current bound: 343
1781.87/1810.93	c current bound: 343
1783.51/1812.58	c current bound: 343
1785.17/1814.23	c current bound: 343
1786.82/1815.88	c current bound: 343
1788.46/1817.53	c current bound: 343
1790.13/1819.19	c current bound: 343
1792.01/1821.78	c current bound: 343
1793.42/1823.44	c current bound: 343
1795.07/1825.09	c current bound: 343
1796.99/1827.31	c current bound: 343
1798.37/1828.95	c current bound: 343
1798.89/1829.21	./satsolver.sh: line 5: 31047 Terminated              ./glucose $1 > $2 2> /dev/null
1798.89/1829.21	c error: unexpected solver exit code
1798.89/1829.21	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-3715601-1338199025/watcher-3715601-1338199025 -o /tmp/evaluation-result-3715601-1338199025/solver-3715601-1338199025 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715601-1338199025.wbo 59679597 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.00 2.02 2.00 3/179 23115
/proc/meminfo: memFree=30840132/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0

[startup+0.049933 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23115
/proc/meminfo: memFree=30840132/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100274 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23115
/proc/meminfo: memFree=30840132/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300253 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23115
/proc/meminfo: memFree=30840132/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700183 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23115
/proc/meminfo: memFree=30840132/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 23134
/proc/meminfo: memFree=30828388/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=11844 CPUtime=0.29 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2920 6870 0 0 10 2 15 2 20 0 1 0 286031034 12128256 2322 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23116/statm: 2961 2322 176 439 0 2518 0
[pid=23128] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23128/stat : 23128 (satsolver.sh) S 23116 23115 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286031066 9367552 267 33554432000 4194304 5064252 140734947523040 140734947521952 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23128/statm: 2287 267 226 213 0 72 0
[pid=23129] ppid=23128 vsize=48216 CPUtime=1.17 cores=1,3,5,7
/proc/23129/stat : 23129 (glucose) R 23128 23115 30917 0 -1 4202496 10761 0 0 0 115 2 0 0 20 0 1 0 286031066 49373184 10668 33554432000 4194304 5208918 140733992792224 140733992790632 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23129/statm: 12054 10668 95 248 0 11803 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 78356

[startup+3.1003 s]
/proc/loadavg: 1.92 2.01 1.99 3/181 23148
/proc/meminfo: memFree=30821704/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1.94 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 5200 22986 0 0 18 3 156 17 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
[pid=23145] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23145/stat : 23145 (satsolver.sh) S 23116 23115 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286031231 9367552 267 33554432000 4194304 5064252 140735703724016 140735703722928 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23145/statm: 2287 267 226 213 0 72 0
[pid=23146] ppid=23145 vsize=48216 CPUtime=1.11 cores=1,3,5,7
/proc/23146/stat : 23146 (glucose) R 23145 23115 30917 0 -1 4202496 10781 0 0 0 110 1 0 0 20 0 1 0 286031231 49373184 10666 33554432000 4194304 5208918 140735675078416 140735675076824 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23146/statm: 12054 10666 95 248 0 11803 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 86420

[startup+6.30027 s]
/proc/loadavg: 1.92 2.01 1.99 3/181 23179
/proc/meminfo: memFree=30859280/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=5.25 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 9687 54316 0 0 35 6 440 44 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 29056

[startup+12.7003 s]
/proc/loadavg: 1.93 2.01 1.99 3/183 23247
/proc/meminfo: memFree=30835536/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=11.86 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 18803 116081 0 0 67 12 1005 102 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 29056

[startup+25.5004 s]
/proc/loadavg: 1.94 2.01 1.99 3/183 23370
/proc/meminfo: memFree=30773272/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=23.47 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 34756 224969 0 0 124 22 1996 205 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
[pid=23369] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23369/stat : 23369 (satsolver.sh) S 23116 23115 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286033457 9367552 267 33554432000 4194304 5064252 140734891511152 140734891510064 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23369/statm: 2287 267 226 213 0 72 0
[pid=23370] ppid=23369 vsize=49496 CPUtime=1.26 cores=1,3,5,7
/proc/23370/stat : 23370 (glucose) R 23369 23115 30917 0 -1 4202496 11067 0 0 0 124 2 0 0 20 0 1 0 286033457 50683904 10974 33554432000 4194304 5208918 140737316686944 140737316685352 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23370/statm: 12374 10974 105 248 0 12123 0
Current children cumulated CPU time (s) 24.73
Current children cumulated vsize (KiB) 87700

[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 23475
/proc/meminfo: memFree=30761452/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=11716 CPUtime=49.85 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) R 23115 23115 30917 0 -1 4202496 70704 475626 0 0 250 43 4263 429 20 0 1 0 286031034 11997184 2512 33554432000 4194304 5990268 140733556045376 140733556037360 4521673 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23116/statm: 2929 2512 177 439 0 2486 0
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (KiB) 20864

############
# WARNING:
# current cumulated CPU time (63.25 s) is less than in the last sample (64.42 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.17001 s) to the 'lost time'.

[startup+65.8004 s]
/proc/loadavg: 1.97 2.00 1.99 3/183 23538
/proc/meminfo: memFree=30752824/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=63.25 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 89452 602282 0 0 318 56 5404 547 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
[pid=23537] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23537/stat : 23537 (satsolver.sh) S 23116 23115 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286037495 9367552 267 33554432000 4194304 5064252 140736965253536 140736965252448 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23537/statm: 2287 267 226 213 0 72 0
[pid=23538] ppid=23537 vsize=48216 CPUtime=1.17 cores=1,3,5,7
/proc/23538/stat : 23538 (glucose) R 23537 23115 30917 0 -1 4202496 10463 0 0 0 115 2 0 0 20 0 1 0 286037496 49373184 10789 33554432000 4194304 5208918 140736052773280 140736052771688 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23538/statm: 12054 10789 95 248 0 11803 0
Current children cumulated CPU time (s) 64.42
Current children cumulated vsize (KiB) 86420

[startup+65.9004 s]
/proc/loadavg: 1.97 2.00 1.99 3/183 23538
/proc/meminfo: memFree=30753128/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=63.25 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 89452 602282 0 0 318 56 5404 547 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 63.25
Current children cumulated vsize (KiB) 29056
#
############


[startup+102.307 s]
/proc/loadavg: 1.98 2.00 1.99 3/182 23692
/proc/meminfo: memFree=30752104/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0

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

[pid=23116] ppid=23115 vsize=19908 CPUtime=1340.51 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 1855611 12749554 0 0 6555 1190 114428 11878 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 190 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 1340.51
Current children cumulated vsize (KiB) 29056

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 29260
/proc/meminfo: memFree=30729416/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1399.75 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 1937655 13312065 0 0 6845 1243 119471 12416 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 194 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 1399.75
Current children cumulated vsize (KiB) 29056

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 29512
/proc/meminfo: memFree=30730528/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1458.87 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2019699 13875553 0 0 7134 1296 124510 12947 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 206 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 1458.87
Current children cumulated vsize (KiB) 29056

############
# WARNING:
# current cumulated CPU time (1467.1 s) is less than in the last sample (1467.1 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00012207 s) to the 'lost time'.

[startup+1490.6 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 29547
/proc/meminfo: memFree=30729944/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1465.82 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2031087 13941731 0 0 7175 1303 125081 13023 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 206 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
[pid=29546] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29546/stat : 29546 (satsolver.sh) S 23116 23115 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286179965 9367552 266 33554432000 4194304 5064252 140733505470912 140733505469824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29546/statm: 2287 266 226 213 0 72 0
[pid=29547] ppid=29546 vsize=0 CPUtime=1.28 cores=1,3,5,7
/proc/29547/stat : 29547 (glucose) R 29546 23115 30917 0 -1 4202500 11068 0 0 0 126 2 0 0 20 0 1 0 286179965 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29547/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1467.1
Current children cumulated vsize (KiB) 38204

[startup+1490.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 29547
/proc/meminfo: memFree=30729944/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1467.1 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2031094 13953404 0 0 7175 1303 125207 13025 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 206 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 1467.1
Current children cumulated vsize (KiB) 29056
#
############


[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 29764
/proc/meminfo: memFree=30729252/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1518.1 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2101743 14439841 0 0 7425 1347 129561 13477 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 224 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 1518.1
Current children cumulated vsize (KiB) 29056

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30016
/proc/meminfo: memFree=30738868/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1577.75 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2186059 15009543 0 0 7722 1403 134627 14023 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 237 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 1577.75
Current children cumulated vsize (KiB) 29056

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 30269
/proc/meminfo: memFree=30717496/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1636.76 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2265831 15570912 0 0 8004 1455 139681 14536 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 248 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 1636.76
Current children cumulated vsize (KiB) 29056

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 30521
/proc/meminfo: memFree=30726600/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1694.68 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2347868 16129230 0 0 8294 1506 144613 15055 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 248 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
[pid=30520] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30520/stat : 30520 (satsolver.sh) S 23116 23115 30917 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 286203167 9367552 267 33554432000 4194304 5064252 140734694560912 140734694559824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30520/statm: 2287 267 226 213 0 72 0
[pid=30521] ppid=30520 vsize=48216 CPUtime=0.95 cores=1,3,5,7
/proc/30521/stat : 30521 (glucose) R 30520 23115 30917 0 -1 4202496 10751 0 0 0 94 1 0 0 20 0 1 0 286203167 49373184 10657 33554432000 4194304 5208918 140737155692528 140737154642040 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30521/statm: 12054 10657 95 248 0 11803 0
Current children cumulated CPU time (s) 1695.63
Current children cumulated vsize (KiB) 86420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30769
/proc/meminfo: memFree=30750236/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1754.14 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2429912 16689790 0 0 8585 1557 149710 15562 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 248 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
Current children cumulated CPU time (s) 1754.14
Current children cumulated vsize (KiB) 29056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1829.2 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 31047
/proc/meminfo: memFree=30637416/32873844 swapFree=7108/7108
[pid=23115] ppid=23113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23115/stat : 23115 (npSolver-wbo-It) S 23113 23115 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286031034 9367552 274 33554432000 4194304 5064252 140733645802640 140733645801552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23115/statm: 2287 274 233 213 0 72 0
[pid=23116] ppid=23115 vsize=19908 CPUtime=1798.74 cores=1,3,5,7
/proc/23116/stat : 23116 (npSolver-wbo) S 23115 23115 30917 0 -1 4202496 2491445 17114374 0 0 8802 1598 153514 15960 20 0 1 0 286031034 20385792 4048 33554432000 4194304 5990268 140733556045376 140733556036784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 248 0 0
/proc/23116/statm: 4977 4048 177 439 0 4534 0
[pid=31046] ppid=23116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31046/stat : 31046 (satsolver.sh) S 23116 23115 30917 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286213939 9367552 266 33554432000 4194304 5064252 140735054721584 140735054720496 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31046/statm: 2287 266 226 213 0 72 0
[pid=31047] ppid=31046 vsize=48212 CPUtime=0.15 cores=1,3,5,7
/proc/31047/stat : 31047 (glucose) R 31046 23115 30917 0 -1 4202496 10482 0 0 0 13 2 0 0 20 0 1 0 286213939 49369088 10798 33554432000 4194304 5208918 140736549554704 140735054720520 4211580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31047/statm: 12053 10798 95 248 0 11802 0
Current children cumulated CPU time (s) 1798.89
Current children cumulated vsize (KiB) 86416

Sending SIGTERM to process tree (bottom up)

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

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.17013
#  lost CPU user time (s): 1.15012
#  lost CPU system time (s): 0.02

Real time (s): 1829.22
CPU time (s): 1800.09
CPU user time (s): 1624.45
CPU system time (s): 175.639
CPU usage (%): 98.4078
Max. virtual memory (cumulated for all children) (KiB): 87708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1623.3
system time used= 175.619
maximum resident set size= 45488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19617288
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15414432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 312943
involuntary context switches= 18155

runsolver used 6.89795 second user time and 14.4038 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 11:57:05
IDJOB=3715601
IDBENCH=78982
IDSOLVER=2297
FILE ID=node103/3715601-1338199025
RUNJOBID= node103-1338193626-30934
PBS_JOBID= 14624588
Free space on /tmp= 71544 MiB

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

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

MD5SUM BENCH= 908c51b3c7715396d94712713af78fd9
RANDOM SEED=59679597

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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.189
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	: 5411.36
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.189
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.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30847720 kB
Buffers:          481056 kB
Cached:           644684 kB
SwapCached:         4492 kB
Active:           817404 kB
Inactive:         365928 kB
Active(anon):      50496 kB
Inactive(anon):     6440 kB
Active(file):     766908 kB
Inactive(file):   359488 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099580 kB
Dirty:             14148 kB
Writeback:             0 kB
AnonPages:         72876 kB
Mapped:            12716 kB
Shmem:                 8 kB
Slab:             703896 kB
SReclaimable:     145200 kB
SUnreclaim:       558696 kB
KernelStack:        1528 kB
PageTables:         4200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     178304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 71480 MiB
End job on node103 at 2012-05-28 12:27:34