Trace number 3715578

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.19 1798.91

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMa55e12002eaa3d7d50414499a072c521
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.766883
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1860
Total number of constraints122
Number of soft constraints83
Number of constraints which are clauses62
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 4163
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4162
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
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.07	c run usual solver
0.00/0.69	o 3042
0.00/0.69	c starting approximation
0.00/0.69	c factor = 2
0.00/0.69	c current bound: 1521
2.26/2.45	c current bound: 1521
4.03/4.21	c current bound: 1521
5.80/5.98	c current bound: 1521
7.66/7.74	c current bound: 1521
9.33/9.51	c current bound: 1521
11.10/11.27	c current bound: 1521
12.85/13.04	c current bound: 1521
14.63/14.81	c current bound: 1521
16.39/16.66	c current bound: 1521
18.18/18.44	c current bound: 1521
19.95/20.21	c current bound: 1521
21.79/21.99	c current bound: 1521
23.51/23.77	c current bound: 1521
25.28/25.54	c current bound: 1521
27.02/27.29	c current bound: 1521
28.80/29.06	c current bound: 1521
30.68/30.82	c current bound: 1521
32.31/32.58	c current bound: 1521
34.09/34.35	c current bound: 1521
35.85/36.12	c current bound: 1521
37.61/37.88	c current bound: 1521
39.41/39.67	c current bound: 1521
41.17/41.43	c current bound: 1521
42.95/43.21	c current bound: 1521
44.86/45.12	c current bound: 1521
46.46/46.87	c current bound: 1521
48.22/48.64	c current bound: 1521
49.96/50.36	c current bound: 1521
51.72/52.13	c current bound: 1521
53.65/53.91	c current bound: 1521
55.26/55.67	c current bound: 1521
57.03/57.43	c current bound: 1521
58.78/59.20	c current bound: 1521
60.51/60.93	c current bound: 1521
62.45/62.70	c current bound: 1521
64.03/64.44	c current bound: 1521
65.79/66.20	c current bound: 1521
67.56/67.97	c current bound: 1521
69.34/69.76	c current bound: 1521
71.23/71.55	c current bound: 1521
72.88/73.31	c current bound: 1521
74.63/75.07	c current bound: 1521
76.41/76.83	c current bound: 1521
78.17/78.60	c current bound: 1521
80.01/80.35	c current bound: 1521
81.69/82.13	c current bound: 1521
83.62/83.90	c current bound: 1521
85.23/85.67	c current bound: 1521
86.99/87.44	c current bound: 1521
88.92/89.20	c current bound: 1521
90.45/90.91	c current bound: 1521
92.22/92.67	c current bound: 1521
93.97/94.43	c current bound: 1521
95.75/96.20	c current bound: 1521
97.51/97.97	c current bound: 1521
99.25/99.73	c current bound: 1521
101.20/101.50	c current bound: 1521
102.80/103.27	c current bound: 1521
104.55/105.01	c current bound: 1521
106.30/106.77	c current bound: 1521
108.08/108.54	c current bound: 1521
109.82/110.32	c current bound: 1521
111.57/112.07	c current bound: 1521
113.35/113.84	c current bound: 1521
115.26/115.60	c current bound: 1521
116.88/117.37	c current bound: 1521
118.64/119.14	c current bound: 1521
120.36/120.87	c current bound: 1521
122.14/122.65	c current bound: 1521
123.91/124.41	c current bound: 1521
125.68/126.18	c current bound: 1521
127.44/127.94	c current bound: 1521
129.34/129.71	c current bound: 1521
131.02/131.51	c current bound: 1521
132.75/133.26	c current bound: 1521
134.52/135.03	c current bound: 1521
136.27/136.78	c current bound: 1521
138.13/138.57	c current bound: 1521
139.77/140.29	c current bound: 1521
141.53/142.05	c current bound: 1521
143.31/143.83	c current bound: 1521
145.07/145.59	c current bound: 1521
146.92/147.37	c current bound: 1521
148.62/149.14	c current bound: 1521
150.34/150.88	c current bound: 1521
152.12/152.65	c current bound: 1521
153.90/154.43	c current bound: 1521
155.82/156.20	c current bound: 1521
157.45/157.97	c current bound: 1521
159.21/159.76	c current bound: 1521
160.97/161.53	c current bound: 1521
162.76/163.31	c current bound: 1521
164.60/165.07	c current bound: 1521
166.28/166.83	c current bound: 1521
168.21/168.60	c current bound: 1521
169.75/170.31	c current bound: 1521
171.53/172.09	c current bound: 1521
173.31/173.88	c current bound: 1521
175.28/175.70	c current bound: 1521
176.89/177.48	c current bound: 1521
178.75/179.25	c current bound: 1521
180.57/181.00	c current bound: 1521
182.18/182.77	c current bound: 1521
183.95/184.54	c current bound: 1521
185.71/186.31	c current bound: 1521
187.55/188.08	c current bound: 1521
189.26/189.86	c current bound: 1521
191.03/191.63	c current bound: 1521
192.78/193.38	c current bound: 1521
194.56/195.16	c current bound: 1521
196.44/196.92	c current bound: 1521
198.09/198.69	c current bound: 1521
199.80/200.41	c current bound: 1521
201.57/202.18	c current bound: 1521
203.32/203.93	c current bound: 1521
205.24/205.72	c current bound: 1521
206.88/207.49	c current bound: 1521
208.66/209.26	c current bound: 1521
210.41/211.03	c current bound: 1521
212.16/212.78	c current bound: 1521
214.05/214.55	c current bound: 1521
215.70/216.32	c current bound: 1521
217.47/218.09	c current bound: 1521
219.24/219.87	c current bound: 1521
220.98/221.61	c current bound: 1521
222.83/223.36	c current bound: 1521
224.51/225.14	c current bound: 1521
226.43/226.90	c current bound: 1521
228.06/228.69	c current bound: 1521
229.79/230.42	c current bound: 1521
231.56/232.19	c current bound: 1521
233.33/233.95	c current bound: 1521
235.10/235.72	c current bound: 1521
236.85/237.47	c current bound: 1521
238.61/239.24	c current bound: 1521
240.33/240.97	c current bound: 1521
242.10/242.76	c current bound: 1521
243.86/244.53	c current bound: 1521
245.63/246.29	c current bound: 1521
247.40/248.06	c current bound: 1521
249.17/249.84	c current bound: 1521
250.93/251.61	c current bound: 1521
252.71/253.39	c current bound: 1521
254.59/255.17	c current bound: 1521
256.28/256.94	c current bound: 1521
258.05/258.71	c current bound: 1521
259.76/260.44	c current bound: 1521
261.69/262.20	c current bound: 1521
263.37/263.94	c current bound: 1521
265.05/265.72	c current bound: 1521
266.82/267.49	c current bound: 1521
268.59/269.25	c current bound: 1521
270.32/270.99	c current bound: 1521
272.17/272.77	c current bound: 1521
273.87/274.54	c current bound: 1521
275.62/276.31	c current bound: 1521
277.41/278.08	c current bound: 1521
279.16/279.84	c current bound: 1521
281.08/281.61	c current bound: 1521
282.71/283.38	c current bound: 1521
284.47/285.15	c current bound: 1521
286.25/286.92	c current bound: 1521
288.01/288.68	c current bound: 1521
289.85/290.42	c current bound: 1521
291.49/292.18	c current bound: 1521
293.27/293.96	c current bound: 1521
295.03/295.73	c current bound: 1521
296.80/297.49	c current bound: 1521
298.57/299.27	c current bound: 1521
300.31/301.01	c current bound: 1521
302.09/302.78	c current bound: 1521
303.85/304.55	c current bound: 1521
305.60/306.30	c current bound: 1521
307.45/308.05	c current bound: 1521
309.11/309.82	c current bound: 1521
310.89/311.69	c current bound: 1521
312.73/313.46	c current bound: 1521
314.43/315.24	c current bound: 1521
316.17/316.99	c current bound: 1521
317.96/318.77	c current bound: 1521
319.74/320.55	c current bound: 1521
321.65/322.30	c current bound: 1521
323.27/324.09	c current bound: 1521
325.05/325.86	c current bound: 1521
326.81/327.62	c current bound: 1521
328.58/329.40	c current bound: 1521
330.45/331.13	c current bound: 1521
332.09/332.89	c current bound: 1521
333.85/334.66	c current bound: 1521
335.62/336.43	c current bound: 1521
337.39/338.20	c current bound: 1521
339.16/339.98	c current bound: 1521
340.91/341.88	c current bound: 1521
342.68/343.65	c current bound: 1521
344.58/345.42	c current bound: 1521
346.23/347.19	c current bound: 1521
348.01/348.97	c current bound: 1521
349.76/350.73	c current bound: 1521
351.54/352.51	c current bound: 1521
353.33/354.29	c current bound: 1521
355.10/356.06	c current bound: 1521
356.86/357.83	c current bound: 1521
358.61/359.58	c current bound: 1521
360.35/361.33	c current bound: 1521
362.14/363.11	c current bound: 1521
363.91/364.88	c current bound: 1521
365.69/366.67	c current bound: 1521
367.56/368.44	c current bound: 1521
369.19/370.18	c current bound: 1521
370.96/371.94	c current bound: 1521
372.72/373.75	c current bound: 1521
374.63/375.50	c current bound: 1521
376.31/377.28	c current bound: 1521
378.03/379.05	c current bound: 1521
379.77/380.80	c current bound: 1521
381.53/382.56	c current bound: 1521
383.29/384.32	c current bound: 1521
385.12/386.09	c current bound: 1521
386.83/387.86	c current bound: 1521
388.60/389.63	c current bound: 1521
390.36/391.38	c current bound: 1521
392.13/393.17	c current bound: 1521
394.00/394.95	c current bound: 1521
395.68/396.72	c current bound: 1521
397.45/398.48	c current bound: 1521
399.22/400.25	c current bound: 1521
400.97/402.01	c current bound: 1521
402.75/403.79	c current bound: 1521
404.52/405.55	c current bound: 1521
406.29/407.33	c current bound: 1521
408.15/409.16	c current bound: 1521
409.82/410.93	c current bound: 1521
411.61/412.70	c current bound: 1521
413.38/414.47	c current bound: 1521
415.15/416.24	c current bound: 1521
417.06/418.01	c current bound: 1521
418.68/419.78	c current bound: 1521
420.44/421.54	c current bound: 1521
422.20/423.30	c current bound: 1521
423.96/425.07	c current bound: 1521
425.84/426.85	c current bound: 1521
427.52/428.62	c current bound: 1521
429.24/430.35	c current bound: 1521
431.00/432.11	c current bound: 1521
432.76/433.88	c current bound: 1521
434.62/435.66	c current bound: 1521
436.31/437.43	c current bound: 1521
438.08/439.20	c current bound: 1521
439.81/440.93	c current bound: 1521
441.56/442.69	c current bound: 1521
443.42/444.43	c current bound: 1521
445.07/446.20	c current bound: 1521
446.84/447.97	c current bound: 1521
448.59/449.73	c current bound: 1521
450.52/451.50	c current bound: 1521
452.22/453.27	c current bound: 1521
453.92/455.05	c current bound: 1521
455.69/456.82	c current bound: 1521
457.46/458.58	c current bound: 1521
459.21/460.37	c current bound: 1521
460.98/462.13	c current bound: 1521
462.76/463.90	c current bound: 1521
464.52/465.67	c current bound: 1521
466.39/467.45	c current bound: 1521
468.06/469.21	c current bound: 1521
469.80/470.97	c current bound: 1521
471.59/472.74	c current bound: 1521
473.38/474.53	c current bound: 1521
475.30/476.31	c current bound: 1521
476.92/478.07	c current bound: 1521
478.68/479.83	c current bound: 1521
480.42/481.58	c current bound: 1521
482.22/483.38	c current bound: 1521
484.08/485.16	c current bound: 1521
485.77/486.92	c current bound: 1521
487.53/488.69	c current bound: 1521
489.31/490.47	c current bound: 1521
491.08/492.23	c current bound: 1521
493.00/494.00	c current bound: 1521
494.61/495.76	c current bound: 1521
496.37/497.53	c current bound: 1521
498.14/499.29	c current bound: 1521
499.88/501.05	c current bound: 1521
501.65/502.82	c current bound: 1521
503.44/504.60	c current bound: 1521
505.21/506.36	c current bound: 1521
507.10/508.13	c current bound: 1521
508.72/509.88	c current bound: 1521
510.50/511.66	c current bound: 1521
512.27/513.42	c current bound: 1521
514.03/515.18	c current bound: 1521
515.89/516.94	c current bound: 1521
517.56/518.71	c current bound: 1521
519.29/520.45	c current bound: 1521
521.07/522.23	c current bound: 1521
523.00/524.05	c current bound: 1521
524.75/525.82	c current bound: 1521
526.36/527.58	c current bound: 1521
528.12/529.35	c current bound: 1521
529.87/531.09	c current bound: 1521
531.63/532.85	c current bound: 1521
533.53/534.64	c current bound: 1521
535.17/536.39	c current bound: 1521
536.93/538.16	c current bound: 1521
538.73/539.94	c current bound: 1521
540.63/541.70	c current bound: 1521
542.25/543.47	c current bound: 1521
544.02/545.25	c current bound: 1521
545.79/547.01	c current bound: 1521
547.57/548.79	c current bound: 1521
549.34/550.55	c current bound: 1521
551.10/552.33	c current bound: 1521
552.86/554.08	c current bound: 1521
554.67/555.88	c current bound: 1521
556.54/557.64	c current bound: 1521
558.19/559.41	c current bound: 1521
559.89/561.12	c current bound: 1521
561.67/562.89	c current bound: 1521
563.42/564.65	c current bound: 1521
565.33/566.41	c current bound: 1521
566.96/568.19	c current bound: 1521
568.74/569.95	c current bound: 1521
570.50/571.72	c current bound: 1521
572.24/573.47	c current bound: 1521
574.12/575.25	c current bound: 1521
575.78/577.02	c current bound: 1521
577.55/578.78	c current bound: 1521
579.28/580.53	c current bound: 1521
581.06/582.30	c current bound: 1521
582.91/584.06	c current bound: 1521
584.58/585.82	c current bound: 1521
586.51/587.60	c current bound: 1521
588.13/589.37	c current bound: 1521
589.87/591.12	c current bound: 1521
591.70/592.89	c current bound: 1521
593.41/594.65	c current bound: 1521
595.16/596.41	c current bound: 1521
596.93/598.17	c current bound: 1521
598.68/599.94	c current bound: 1521
600.60/601.71	c current bound: 1521
602.23/603.47	c current bound: 1521
603.99/605.25	c current bound: 1521
605.75/607.01	c current bound: 1521
607.54/608.79	c current bound: 1521
609.39/610.55	c current bound: 1521
611.06/612.32	c current bound: 1521
612.84/614.09	c current bound: 1521
614.59/615.85	c current bound: 1521
616.35/617.61	c current bound: 1521
618.11/619.38	c current bound: 1521
619.87/621.13	c current bound: 1521
621.80/622.90	c current bound: 1521
623.40/624.66	c current bound: 1521
625.15/626.42	c current bound: 1521
626.93/628.19	c current bound: 1521
628.69/629.95	c current bound: 1521
630.46/631.72	c current bound: 1521
632.22/633.48	c current bound: 1521
633.98/635.26	c current bound: 1521
635.77/637.03	c current bound: 1521
637.54/638.80	c current bound: 1521
639.30/640.57	c current bound: 1521
641.19/642.34	c current bound: 1521
642.83/644.09	c current bound: 1521
644.58/645.86	c current bound: 1521
646.36/647.63	c current bound: 1521
648.13/649.41	c current bound: 1521
649.98/651.19	c current bound: 1521
651.70/652.96	c current bound: 1521
653.47/654.74	c current bound: 1521
655.24/656.51	c current bound: 1521
657.02/658.28	c current bound: 1521
658.79/660.06	c current bound: 1521
660.57/661.83	c current bound: 1521
662.48/663.60	c current bound: 1521
664.10/665.38	c current bound: 1521
665.85/667.13	c current bound: 1521
667.61/668.89	c current bound: 1521
669.38/670.67	c current bound: 1521
671.16/672.44	c current bound: 1521
673.07/674.21	c current bound: 1521
674.69/675.98	c current bound: 1521
676.46/677.74	c current bound: 1521
678.23/679.51	c current bound: 1521
679.97/681.26	c current bound: 1521
681.85/683.03	c current bound: 1521
683.66/684.80	c current bound: 1521
685.28/686.58	c current bound: 1521
687.05/688.34	c current bound: 1521
688.83/690.14	c current bound: 1521
690.64/691.88	c current bound: 1521
692.33/693.65	c current bound: 1521
694.25/695.40	c current bound: 1521
695.85/697.16	c current bound: 1521
697.61/698.93	c current bound: 1521
699.42/700.66	c current bound: 1521
701.10/702.42	c current bound: 1521
702.85/704.18	c current bound: 1521
704.63/705.94	c current bound: 1521
706.37/707.71	c current bound: 1521
708.22/709.45	c current bound: 1521
709.85/711.18	c current bound: 1521
711.62/712.96	c current bound: 1521
713.39/714.72	c current bound: 1521
715.16/716.49	c current bound: 1521
717.01/718.27	c current bound: 1521
718.67/720.01	c current bound: 1521
720.44/721.78	c current bound: 1521
722.20/723.55	c current bound: 1521
723.98/725.32	c current bound: 1521
725.82/727.09	c current bound: 1521
727.52/728.85	c current bound: 1521
729.27/730.62	c current bound: 1521
731.05/732.39	c current bound: 1521
732.82/734.16	c current bound: 1521
734.72/735.92	c current bound: 1521
736.37/737.71	c current bound: 1521
738.12/739.48	c current bound: 1521
739.91/741.25	c current bound: 1521
741.68/743.02	c current bound: 1521
743.45/744.79	c current bound: 1521
745.22/746.56	c current bound: 1521
746.99/748.33	c current bound: 1521
748.74/750.09	c current bound: 1521
750.50/751.84	c current bound: 1521
752.41/753.60	c current bound: 1521
754.03/755.38	c current bound: 1521
755.79/757.14	c current bound: 1521
757.70/758.92	c current bound: 1521
759.30/760.65	c current bound: 1521
761.06/762.42	c current bound: 1521
762.83/764.19	c current bound: 1521
764.59/765.96	c current bound: 1521
766.49/767.73	c current bound: 1521
768.30/769.50	c current bound: 1521
769.88/771.25	c current bound: 1521
771.67/773.03	c current bound: 1521
773.42/774.79	c current bound: 1521
775.29/776.56	c current bound: 1521
776.97/778.33	c current bound: 1521
778.90/780.10	c current bound: 1521
780.50/781.86	c current bound: 1521
782.26/783.64	c current bound: 1521
784.19/785.42	c current bound: 1521
785.82/787.20	c current bound: 1521
787.60/788.98	c current bound: 1521
789.37/790.76	c current bound: 1521
791.14/792.53	c current bound: 1521
792.93/794.31	c current bound: 1521
794.70/796.08	c current bound: 1521
796.48/797.86	c current bound: 1521
798.39/799.63	c current bound: 1521
799.99/801.37	c current bound: 1521
801.76/803.15	c current bound: 1521
803.52/804.91	c current bound: 1521
805.31/806.70	c current bound: 1521
807.16/808.48	c current bound: 1521
808.87/810.27	c current bound: 1521
810.65/812.04	c current bound: 1521
812.44/813.82	c current bound: 1521
814.21/815.60	c current bound: 1521
815.98/817.36	c current bound: 1521
817.74/819.14	c current bound: 1521
819.53/820.92	c current bound: 1521
821.29/822.68	c current bound: 1521
823.06/824.47	c current bound: 1521
824.85/826.24	c current bound: 1521
826.63/828.02	c current bound: 1521
828.40/829.79	c current bound: 1521
830.28/831.57	c current bound: 1521
831.92/833.32	c current bound: 1521
833.89/835.10	c current bound: 1521
835.48/836.87	c current bound: 1521
837.25/838.63	c current bound: 1521
839.18/840.43	c current bound: 1521
840.98/842.20	c current bound: 1521
842.57/843.95	c current bound: 1521
844.35/845.74	c current bound: 1521
846.14/847.53	c current bound: 1521
848.07/849.30	c current bound: 1521
849.65/851.05	c current bound: 1521
851.41/852.82	c current bound: 1521
853.18/854.58	c current bound: 1521
854.96/856.35	c current bound: 1521
856.74/858.13	c current bound: 1521
858.52/859.91	c current bound: 1521
860.28/861.68	c current bound: 1521
862.17/863.45	c current bound: 1521
863.83/865.22	c current bound: 1521
865.78/867.00	c current bound: 1521
867.37/868.76	c current bound: 1521
869.14/870.52	c current bound: 1521
871.08/872.34	c current bound: 1521
872.72/874.11	c current bound: 1521
874.49/875.89	c current bound: 1521
876.27/877.67	c current bound: 1521
878.04/879.43	c current bound: 1521
879.82/881.21	c current bound: 1521
881.60/882.98	c current bound: 1521
883.37/884.75	c current bound: 1521
885.28/886.53	c current bound: 1521
886.92/888.31	c current bound: 1521
888.70/890.09	c current bound: 1521
890.47/891.86	c current bound: 1521
892.25/893.64	c current bound: 1521
894.18/895.41	c current bound: 1521
895.79/897.18	c current bound: 1521
897.54/898.93	c current bound: 1521
899.32/900.71	c current bound: 1521
901.09/902.49	c current bound: 1521
902.97/904.27	c current bound: 1521
904.66/906.05	c current bound: 1521
906.43/907.83	c current bound: 1521
908.19/909.59	c current bound: 1521
909.95/911.33	c current bound: 1521
911.70/913.08	c current bound: 1521
913.44/914.83	c current bound: 1521
915.21/916.61	c current bound: 1521
916.99/918.38	c current bound: 1521
918.74/920.14	c current bound: 1521
920.53/921.91	c current bound: 1521
922.29/923.68	c current bound: 1521
924.07/925.46	c current bound: 1521
925.98/927.22	c current bound: 1521
927.78/929.00	c current bound: 1521
929.35/930.76	c current bound: 1521
931.11/932.52	c current bound: 1521
932.87/934.27	c current bound: 1521
934.75/936.06	c current bound: 1521
936.44/937.84	c current bound: 1521
938.21/939.62	c current bound: 1521
939.95/941.36	c current bound: 1521
941.74/943.14	c current bound: 1521
943.66/944.92	c current bound: 1521
945.28/946.70	c current bound: 1521
947.06/948.47	c current bound: 1521
948.85/950.25	c current bound: 1521
950.63/952.05	c current bound: 1521
952.41/953.83	c current bound: 1521
954.20/955.62	c current bound: 1521
956.16/957.40	c current bound: 1521
957.85/959.18	c current bound: 1521
959.52/960.95	c current bound: 1521
961.30/962.72	c current bound: 1521
963.07/964.49	c current bound: 1521
964.85/966.27	c current bound: 1521
966.74/968.04	c current bound: 1521
968.55/969.80	c current bound: 1521
970.12/971.55	c current bound: 1521
971.91/973.31	c current bound: 1521
973.67/975.08	c current bound: 1521
975.56/976.85	c current bound: 1521
977.20/978.62	c current bound: 1521
978.97/980.39	c current bound: 1521
980.74/982.16	c current bound: 1521
982.51/983.93	c current bound: 1521
984.29/985.71	c current bound: 1521
986.07/987.48	c current bound: 1521
987.84/989.26	c current bound: 1521
989.55/990.98	c current bound: 1521
991.33/992.75	c current bound: 1521
993.10/994.53	c current bound: 1521
994.88/996.31	c current bound: 1521
996.66/998.09	c current bound: 1521
998.53/999.87	c current bound: 1521
1000.18/1001.62	c current bound: 1521
1001.95/1003.39	c current bound: 1521
1003.74/1005.18	c current bound: 1521
1005.54/1006.96	c current bound: 1521
1007.44/1008.74	c current bound: 1521
1009.07/1010.52	c current bound: 1521
1011.03/1012.30	c current bound: 1521
1012.61/1014.05	c current bound: 1521
1014.38/1015.82	c current bound: 1521
1016.15/1017.58	c current bound: 1521
1017.92/1019.36	c current bound: 1521
1019.67/1021.10	c current bound: 1521
1021.42/1022.86	c current bound: 1521
1023.19/1024.66	c current bound: 1521
1025.02/1026.48	c current bound: 1521
1026.82/1028.26	c current bound: 1521
1028.59/1030.05	c current bound: 1521
1030.51/1031.81	c current bound: 1521
1032.13/1033.59	c current bound: 1521
1033.91/1035.36	c current bound: 1521
1035.69/1037.14	c current bound: 1521
1037.47/1038.93	c current bound: 1521
1039.24/1040.71	c current bound: 1521
1041.04/1042.49	c current bound: 1521
1042.80/1044.26	c current bound: 1521
1044.72/1046.05	c current bound: 1521
1046.37/1047.82	c current bound: 1521
1048.11/1049.57	c current bound: 1521
1049.91/1051.36	c current bound: 1521
1051.68/1053.13	c current bound: 1521
1053.50/1054.90	c current bound: 1521
1055.21/1056.67	c current bound: 1521
1056.99/1058.44	c current bound: 1521
1058.75/1060.21	c current bound: 1521
1060.53/1061.98	c current bound: 1521
1062.41/1063.74	c current bound: 1521
1064.08/1065.53	c current bound: 1521
1065.86/1067.31	c current bound: 1521
1067.62/1069.07	c current bound: 1521
1069.39/1070.83	c current bound: 1521
1071.31/1072.60	c current bound: 1521
1072.93/1074.38	c current bound: 1521
1074.69/1076.15	c current bound: 1521
1076.61/1077.93	c current bound: 1521
1078.24/1079.70	c current bound: 1521
1079.98/1081.43	c current bound: 1521
1081.74/1083.21	c current bound: 1521
1083.53/1084.99	c current bound: 1521
1085.42/1086.80	c current bound: 1521
1087.11/1088.56	c current bound: 1521
1088.87/1090.33	c current bound: 1521
1090.62/1092.09	c current bound: 1521
1092.40/1093.88	c current bound: 1521
1094.29/1095.63	c current bound: 1521
1095.93/1097.41	c current bound: 1521
1097.90/1099.20	c current bound: 1521
1099.48/1100.96	c current bound: 1521
1101.26/1102.73	c current bound: 1521
1103.00/1104.49	c current bound: 1521
1104.78/1106.26	c current bound: 1521
1106.56/1108.03	c current bound: 1521
1108.50/1109.82	c current bound: 1521
1110.12/1111.59	c current bound: 1521
1111.88/1113.36	c current bound: 1521
1113.66/1115.14	c current bound: 1521
1115.45/1116.92	c current bound: 1521
1117.28/1118.70	c current bound: 1521
1119.00/1120.47	c current bound: 1521
1120.77/1122.25	c current bound: 1521
1122.53/1124.00	c current bound: 1521
1124.30/1125.79	c current bound: 1521
1126.18/1127.56	c current bound: 1521
1127.86/1129.34	c current bound: 1521
1129.64/1131.11	c current bound: 1521
1131.42/1132.88	c current bound: 1521
1133.18/1134.66	c current bound: 1521
1134.96/1136.45	c current bound: 1521
1136.75/1138.23	c current bound: 1521
1138.51/1139.99	c current bound: 1521
1140.38/1141.77	c current bound: 1521
1142.06/1143.54	c current bound: 1521
1143.90/1145.38	c current bound: 1521
1145.65/1147.13	c current bound: 1521
1147.59/1148.90	c current bound: 1521
1149.27/1150.75	c current bound: 1521
1151.04/1152.53	c current bound: 1521
1152.81/1154.30	c current bound: 1521
1154.68/1156.06	c current bound: 1521
1156.36/1157.84	c current bound: 1521
1158.14/1159.61	c current bound: 1521
1159.90/1161.37	c current bound: 1521
1161.67/1163.15	c current bound: 1521
1163.58/1164.92	c current bound: 1521
1165.21/1166.68	c current bound: 1521
1166.97/1168.45	c current bound: 1521
1168.74/1170.21	c current bound: 1521
1170.51/1171.98	c current bound: 1521
1172.39/1173.76	c current bound: 1521
1174.05/1175.53	c current bound: 1521
1175.82/1177.31	c current bound: 1521
1177.59/1179.07	c current bound: 1521
1179.33/1180.83	c current bound: 1521
1181.12/1182.61	c current bound: 1521
1182.89/1184.39	c current bound: 1521
1184.66/1186.16	c current bound: 1521
1186.58/1187.94	c current bound: 1521
1188.23/1189.72	c current bound: 1521
1190.18/1191.50	c current bound: 1521
1191.80/1193.27	c current bound: 1521
1193.57/1195.05	c current bound: 1521
1195.49/1196.83	c current bound: 1521
1197.14/1198.61	c current bound: 1521
1198.89/1200.37	c current bound: 1521
1200.66/1202.15	c current bound: 1521
1202.44/1203.92	c current bound: 1521
1204.38/1205.70	c current bound: 1521
1205.98/1207.46	c current bound: 1521
1207.75/1209.24	c current bound: 1521
1209.69/1211.00	c current bound: 1521
1211.29/1212.78	c current bound: 1521
1213.06/1214.56	c current bound: 1521
1214.85/1216.34	c current bound: 1521
1216.62/1218.12	c current bound: 1521
1218.47/1219.89	c current bound: 1521
1220.17/1221.66	c current bound: 1521
1221.92/1223.42	c current bound: 1521
1223.70/1225.18	c current bound: 1521
1225.45/1226.95	c current bound: 1521
1227.37/1228.72	c current bound: 1521
1229.17/1230.50	c current bound: 1521
1230.77/1232.28	c current bound: 1521
1232.56/1234.06	c current bound: 1521
1234.35/1235.84	c current bound: 1521
1236.12/1237.62	c current bound: 1521
1237.90/1239.39	c current bound: 1521
1239.63/1241.13	c current bound: 1521
1241.58/1242.90	c current bound: 1521
1243.19/1244.68	c current bound: 1521
1244.97/1246.46	c current bound: 1521
1246.74/1248.24	c current bound: 1521
1248.51/1250.01	c current bound: 1521
1250.36/1251.78	c current bound: 1521
1252.04/1253.53	c current bound: 1521
1253.80/1255.31	c current bound: 1521
1255.59/1257.09	c current bound: 1521
1257.37/1258.87	c current bound: 1521
1259.26/1260.66	c current bound: 1521
1260.92/1262.41	c current bound: 1521
1262.87/1264.20	c current bound: 1521
1264.47/1265.96	c current bound: 1521
1266.23/1267.73	c current bound: 1521
1268.01/1269.50	c current bound: 1521
1269.78/1271.29	c current bound: 1521
1271.58/1273.07	c current bound: 1521
1273.47/1274.85	c current bound: 1521
1275.14/1276.63	c current bound: 1521
1276.92/1278.42	c current bound: 1521
1278.88/1280.20	c current bound: 1521
1280.48/1281.97	c current bound: 1521
1282.37/1283.76	c current bound: 1521
1284.06/1285.55	c current bound: 1521
1285.82/1287.31	c current bound: 1521
1287.59/1289.09	c current bound: 1521
1289.36/1290.86	c current bound: 1521
1291.15/1292.65	c current bound: 1521
1292.93/1294.42	c current bound: 1521
1294.72/1296.20	c current bound: 1521
1296.56/1297.99	c current bound: 1521
1298.27/1299.77	c current bound: 1521
1300.03/1301.53	c current bound: 1521
1301.78/1303.28	c current bound: 1521
1303.56/1305.07	c current bound: 1521
1305.47/1306.86	c current bound: 1521
1307.14/1308.64	c current bound: 1521
1308.91/1310.42	c current bound: 1521
1310.69/1312.20	c current bound: 1521
1312.47/1313.97	c current bound: 1521
1314.23/1315.73	c current bound: 1521
1316.17/1317.50	c current bound: 1521
1317.77/1319.27	c current bound: 1521
1319.46/1320.97	c current bound: 1521
1321.23/1322.74	c current bound: 1521
1323.02/1324.52	c current bound: 1521
1324.80/1326.31	c current bound: 1521
1326.57/1328.08	c current bound: 1521
1328.53/1329.93	c current bound: 1521
1330.16/1331.68	c current bound: 1521
1331.93/1333.45	c current bound: 1521
1333.85/1335.20	c current bound: 1521
1335.45/1336.97	c current bound: 1521
1337.33/1338.74	c current bound: 1521
1338.97/1340.49	c current bound: 1521
1340.75/1342.27	c current bound: 1521
1342.51/1344.03	c current bound: 1521
1344.29/1345.81	c current bound: 1521
1346.06/1347.58	c current bound: 1521
1347.83/1349.36	c current bound: 1521
1349.60/1351.12	c current bound: 1521
1351.36/1352.90	c current bound: 1521
1353.17/1354.69	c current bound: 1521
1354.94/1356.47	c current bound: 1521
1356.69/1358.23	c current bound: 1521
1358.48/1360.01	c current bound: 1521
1360.33/1361.79	c current bound: 1521
1362.03/1363.56	c current bound: 1521
1363.80/1365.34	c current bound: 1521
1365.57/1367.11	c current bound: 1521
1367.34/1368.89	c current bound: 1521
1369.21/1370.65	c current bound: 1521
1370.90/1372.44	c current bound: 1521
1372.68/1374.21	c current bound: 1521
1374.43/1375.98	c current bound: 1521
1376.21/1377.76	c current bound: 1521
1378.00/1379.54	c current bound: 1521
1379.76/1381.30	c current bound: 1521
1381.55/1383.09	c current bound: 1521
1383.41/1384.85	c current bound: 1521
1385.07/1386.63	c current bound: 1521
1386.85/1388.39	c current bound: 1521
1388.61/1390.16	c current bound: 1521
1390.39/1391.94	c current bound: 1521
1392.32/1393.71	c current bound: 1521
1393.92/1395.47	c current bound: 1521
1395.69/1397.25	c current bound: 1521
1397.47/1399.01	c current bound: 1521
1399.24/1400.78	c current bound: 1521
1401.11/1402.56	c current bound: 1521
1402.79/1404.34	c current bound: 1521
1404.57/1406.12	c current bound: 1521
1406.53/1407.90	c current bound: 1521
1408.14/1409.69	c current bound: 1521
1409.90/1411.43	c current bound: 1521
1411.66/1413.20	c current bound: 1521
1413.43/1414.98	c current bound: 1521
1415.33/1416.75	c current bound: 1521
1416.99/1418.53	c current bound: 1521
1418.94/1420.30	c current bound: 1521
1420.53/1422.08	c current bound: 1521
1422.32/1423.86	c current bound: 1521
1424.22/1425.63	c current bound: 1521
1425.86/1427.40	c current bound: 1521
1427.65/1429.18	c current bound: 1521
1429.37/1430.92	c current bound: 1521
1431.13/1432.68	c current bound: 1521
1433.02/1434.45	c current bound: 1521
1434.68/1436.23	c current bound: 1521
1436.47/1438.01	c current bound: 1521
1438.25/1439.79	c current bound: 1521
1439.99/1441.54	c current bound: 1521
1441.77/1443.31	c current bound: 1521
1443.73/1445.10	c current bound: 1521
1445.34/1446.88	c current bound: 1521
1447.21/1448.65	c current bound: 1521
1448.88/1450.42	c current bound: 1521
1450.64/1452.19	c current bound: 1521
1452.42/1453.96	c current bound: 1521
1454.20/1455.73	c current bound: 1521
1456.03/1457.50	c current bound: 1521
1457.75/1459.28	c current bound: 1521
1459.52/1461.06	c current bound: 1521
1461.28/1462.82	c current bound: 1521
1463.05/1464.58	c current bound: 1521
1464.94/1466.33	c current bound: 1521
1466.74/1468.10	c current bound: 1521
1468.35/1469.87	c current bound: 1521
1470.11/1471.63	c current bound: 1521
1471.88/1473.41	c current bound: 1521
1473.66/1475.19	c current bound: 1521
1475.42/1476.94	c current bound: 1521
1477.19/1478.71	c current bound: 1521
1478.95/1480.49	c current bound: 1521
1480.73/1482.26	c current bound: 1521
1482.51/1484.04	c current bound: 1521
1484.30/1485.80	c current bound: 1521
1486.02/1487.56	c current bound: 1521
1487.94/1489.31	c current bound: 1521
1489.56/1491.09	c current bound: 1521
1491.33/1492.85	c current bound: 1521
1493.10/1494.63	c current bound: 1521
1494.87/1496.40	c current bound: 1521
1496.72/1498.18	c current bound: 1521
1498.41/1499.94	c current bound: 1521
1500.14/1501.68	c current bound: 1521
1501.91/1503.45	c current bound: 1521
1503.68/1505.22	c current bound: 1521
1505.53/1507.00	c current bound: 1521
1507.22/1508.76	c current bound: 1521
1508.98/1510.54	c current bound: 1521
1510.75/1512.30	c current bound: 1521
1512.53/1514.07	c current bound: 1521
1514.42/1515.86	c current bound: 1521
1516.08/1517.61	c current bound: 1521
1517.86/1519.39	c current bound: 1521
1519.60/1521.15	c current bound: 1521
1521.48/1523.02	c current bound: 1521
1523.24/1524.78	c current bound: 1521
1525.01/1526.57	c current bound: 1521
1526.77/1528.32	c current bound: 1521
1528.72/1530.11	c current bound: 1521
1530.33/1531.87	c current bound: 1521
1532.10/1533.65	c current bound: 1521
1533.87/1535.43	c current bound: 1521
1535.81/1537.20	c current bound: 1521
1537.42/1538.99	c current bound: 1521
1539.20/1540.76	c current bound: 1521
1540.98/1542.54	c current bound: 1521
1542.91/1544.31	c current bound: 1521
1544.52/1546.09	c current bound: 1521
1546.29/1547.85	c current bound: 1521
1548.07/1549.63	c current bound: 1521
1549.83/1551.40	c current bound: 1521
1551.70/1553.16	c current bound: 1521
1553.37/1554.94	c current bound: 1521
1555.16/1556.72	c current bound: 1521
1556.94/1558.50	c current bound: 1521
1558.71/1560.27	c current bound: 1521
1560.59/1562.05	c current bound: 1521
1562.29/1563.84	c current bound: 1521
1564.06/1565.63	c current bound: 1521
1566.00/1567.40	c current bound: 1521
1567.60/1569.17	c current bound: 1521
1569.32/1570.91	c current bound: 1521
1571.08/1572.66	c current bound: 1521
1572.86/1574.42	c current bound: 1521
1574.63/1576.20	c current bound: 1521
1576.39/1577.97	c current bound: 1521
1578.18/1579.75	c current bound: 1521
1579.91/1581.49	c current bound: 1521
1581.67/1583.26	c current bound: 1521
1583.58/1585.03	c current bound: 1521
1585.23/1586.82	c current bound: 1521
1587.19/1588.60	c current bound: 1521
1588.80/1590.39	c current bound: 1521
1590.57/1592.15	c current bound: 1521
1592.47/1593.92	c current bound: 1521
1594.28/1595.70	c current bound: 1521
1595.89/1597.47	c current bound: 1521
1597.67/1599.25	c current bound: 1521
1599.41/1601.02	c current bound: 1521
1601.19/1602.79	c current bound: 1521
1602.92/1604.54	c current bound: 1521
1604.71/1606.31	c current bound: 1521
1606.47/1608.07	c current bound: 1521
1608.22/1609.82	c current bound: 1521
1609.97/1611.56	c current bound: 1521
1611.73/1613.33	c current bound: 1521
1613.49/1615.09	c current bound: 1521
1615.26/1616.85	c current bound: 1521
1617.02/1618.64	c current bound: 1521
1618.79/1620.42	c current bound: 1521
1620.76/1622.20	c current bound: 1521
1622.36/1623.98	c current bound: 1521
1624.25/1625.76	c current bound: 1521
1625.90/1627.51	c current bound: 1521
1627.68/1629.29	c current bound: 1521
1629.47/1631.07	c current bound: 1521
1631.23/1632.85	c current bound: 1521
1633.15/1634.62	c current bound: 1521
1634.80/1636.41	c current bound: 1521
1636.58/1638.19	c current bound: 1521
1638.32/1639.93	c current bound: 1521
1640.26/1641.70	c current bound: 1521
1641.87/1643.48	c current bound: 1521
1643.66/1645.26	c current bound: 1521
1645.42/1647.04	c current bound: 1521
1647.36/1648.82	c current bound: 1521
1648.98/1650.59	c current bound: 1521
1650.76/1652.36	c current bound: 1521
1652.53/1654.13	c current bound: 1521
1654.31/1655.91	c current bound: 1521
1656.15/1657.68	c current bound: 1521
1657.84/1659.44	c current bound: 1521
1659.55/1661.17	c current bound: 1521
1661.33/1662.95	c current bound: 1521
1663.11/1664.73	c current bound: 1521
1664.95/1666.50	c current bound: 1521
1666.66/1668.28	c current bound: 1521
1668.45/1670.07	c current bound: 1521
1670.16/1671.78	c current bound: 1521
1671.94/1673.56	c current bound: 1521
1673.85/1675.33	c current bound: 1521
1675.49/1677.11	c current bound: 1521
1677.46/1678.90	c current bound: 1521
1679.05/1680.67	c current bound: 1521
1680.83/1682.44	c current bound: 1521
1682.60/1684.22	c current bound: 1521
1684.36/1685.98	c current bound: 1521
1686.12/1687.74	c current bound: 1521
1688.04/1689.52	c current bound: 1521
1689.64/1691.27	c current bound: 1521
1691.43/1693.05	c current bound: 1521
1693.19/1694.82	c current bound: 1521
1694.96/1696.59	c current bound: 1521
1696.84/1698.37	c current bound: 1521
1698.51/1700.14	c current bound: 1521
1700.29/1701.92	c current bound: 1521
1702.24/1703.70	c current bound: 1521
1703.84/1705.46	c current bound: 1521
1705.74/1707.24	c current bound: 1521
1707.39/1709.01	c current bound: 1521
1709.15/1710.78	c current bound: 1521
1710.93/1712.56	c current bound: 1521
1712.71/1714.34	c current bound: 1521
1714.47/1716.11	c current bound: 1521
1716.27/1717.88	c current bound: 1521
1718.04/1719.67	c current bound: 1521
1719.93/1721.44	c current bound: 1521
1721.58/1723.21	c current bound: 1521
1723.34/1724.97	c current bound: 1521
1725.12/1726.75	c current bound: 1521
1726.89/1728.53	c current bound: 1521
1728.74/1730.30	c current bound: 1521
1730.45/1732.08	c current bound: 1521
1732.23/1733.86	c current bound: 1521
1734.01/1735.63	c current bound: 1521
1735.86/1737.47	c current bound: 1521
1737.67/1739.31	c current bound: 1521
1739.50/1741.13	c current bound: 1521
1741.25/1742.89	c current bound: 1521
1743.10/1744.64	c current bound: 1521
1744.79/1746.45	c current bound: 1521
1746.80/1748.30	c current bound: 1521
1748.59/1750.12	c current bound: 1521
1750.28/1751.94	c current bound: 1521
1752.12/1753.79	c current bound: 1521
1754.07/1755.63	c current bound: 1521
1755.73/1757.44	c current bound: 1521
1757.59/1759.29	c current bound: 1521
1759.43/1761.09	c current bound: 1521
1761.14/1762.86	c current bound: 1521
1762.93/1764.66	c current bound: 1521
1764.75/1766.48	c current bound: 1521
1766.54/1768.28	c current bound: 1521
1768.33/1770.07	c current bound: 1521
1770.11/1771.87	c current bound: 1521
1771.96/1773.71	c current bound: 1521
1773.70/1775.48	c current bound: 1521
1775.47/1777.25	c current bound: 1521
1777.33/1779.11	c current bound: 1521
1779.24/1780.94	c current bound: 1521
1780.93/1782.74	c current bound: 1521
1782.69/1784.51	c current bound: 1521
1784.46/1786.30	c current bound: 1521
1786.25/1788.09	c current bound: 1521
1787.99/1789.85	c current bound: 1521
1789.79/1791.65	c current bound: 1521
1791.61/1793.47	c current bound: 1521
1793.49/1795.25	c current bound: 1521
1795.17/1797.03	c current bound: 1521
1796.97/1798.85	c current bound: 1521
1797.19/1798.90	HOME/npSolver-wbo-Itdqb.sh: line 18: 29826 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

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-3715578-1338181219/watcher-3715578-1338181219 -o /tmp/evaluation-result-3715578-1338181219/solver-3715578-1338181219 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715578-1338181219.wbo 1594182416 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.87 1.94 1.88 3/180 29825
/proc/meminfo: memFree=30932736/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0

[startup+0.0708849 s]
/proc/loadavg: 1.87 1.94 1.88 3/180 29825
/proc/meminfo: memFree=30932736/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100232 s]
/proc/loadavg: 1.87 1.94 1.88 3/180 29825
/proc/meminfo: memFree=30932736/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300219 s]
/proc/loadavg: 1.87 1.94 1.88 3/180 29825
/proc/meminfo: memFree=30932736/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700211 s]
/proc/loadavg: 1.87 1.94 1.88 3/180 29825
/proc/meminfo: memFree=30932736/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 1.87 1.94 1.88 3/184 29846
/proc/meminfo: memFree=30894380/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=10020 CPUtime=0.71 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 3275 12891 0 0 11 4 48 8 20 0 1 0 284250506 10260480 1744 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29826/statm: 2505 1744 179 439 0 2062 0
[pid=29843] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29843/stat : 29843 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284250581 9367552 267 33554432000 4194304 5064252 140734042090176 140734042089088 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29843/statm: 2287 267 226 213 0 72 0
[pid=29844] ppid=29843 vsize=34208 CPUtime=0.74 cores=0,2,4,6
/proc/29844/stat : 29844 (glucose) R 29843 29825 15230 0 -1 4202496 6409 0 0 0 73 1 0 0 20 0 1 0 284250581 35028992 6968 33554432000 4194304 5208918 140736342947520 140734042089112 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29844/statm: 8552 6968 96 248 0 8301 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 62524

[startup+3.10027 s]
/proc/loadavg: 1.87 1.94 1.88 3/184 29853
/proc/meminfo: memFree=30891196/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=2.48 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 4926 25293 0 0 16 5 210 17 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 22240
heavy processes:

[startup+6.3003 s]
/proc/loadavg: 1.88 1.94 1.88 3/184 29888
/proc/meminfo: memFree=30887528/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=6.02 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 8228 51721 0 0 25 7 536 34 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 22240

[startup+12.7004 s]
/proc/loadavg: 1.89 1.94 1.88 3/182 29963
/proc/meminfo: memFree=30911608/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=11.3 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 13181 91437 0 0 39 9 1023 59 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
[pid=29957] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29957/stat : 29957 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284251639 9367552 267 33554432000 4194304 5064252 140734152541840 140734152540752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29957/statm: 2287 267 226 213 0 72 0
[pid=29958] ppid=29957 vsize=34864 CPUtime=1.36 cores=0,2,4,6
/proc/29958/stat : 29958 (glucose) R 29957 29825 15230 0 -1 4202496 8041 0 0 0 134 2 0 0 20 0 1 0 284251639 35700736 7506 33554432000 4194304 5208918 140734392477152 140734392475000 4211659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29958/statm: 8716 7506 104 248 0 8465 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 66252

[startup+25.5002 s]
/proc/loadavg: 1.91 1.94 1.89 3/184 30105
/proc/meminfo: memFree=30887712/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=25.28 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 24746 196386 0 0 71 16 2320 121 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 22240

[startup+51.1003 s]
/proc/loadavg: 1.94 1.95 1.89 3/184 30407
/proc/meminfo: memFree=30891108/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=50.17 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 49503 385413 0 0 140 28 4602 247 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
[pid=30406] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30406/stat : 30406 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284255548 9367552 267 33554432000 4194304 5064252 140735608504976 140735608503888 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30406/statm: 2287 267 226 213 0 72 0
[pid=30407] ppid=30406 vsize=31484 CPUtime=0.67 cores=0,2,4,6
/proc/30407/stat : 30407 (glucose) R 30406 29825 15230 0 -1 4202496 7416 0 0 0 66 1 0 0 20 0 1 0 284255548 32239616 6883 33554432000 4194304 5208918 140734733859840 140734733857688 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30407/statm: 7871 6883 96 248 0 7620 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 62872

[startup+102.307 s]
/proc/loadavg: 1.91 1.94 1.89 3/183 30967
/proc/meminfo: memFree=30888056/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=101.25 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 97382 772006 0 0 275 51 9302 497 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
[pid=30966] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30966/stat : 30966 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284260661 9367552 267 33554432000 4194304 5064252 140735901455856 140735901454768 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30966/statm: 2287 267 226 213 0 72 0
[pid=30967] ppid=30966 vsize=31480 CPUtime=0.74 cores=0,2,4,6
/proc/30967/stat : 30967 (glucose) R 30966 29825 15230 0 -1 4202496 7470 0 0 0 73 1 0 0 20 0 1 0 284260662 32235520 6948 33554432000 4194304 5208918 140736675659040 140736675657448 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30967/statm: 7870 6948 96 248 0 7619 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 62868

[startup+162.3 s]
/proc/loadavg: 1.89 1.92 1.88 3/183 31625
/proc/meminfo: memFree=30912744/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=161.19 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 153516 1222319 0 0 434 77 14822 786 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
[pid=31624] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31624/stat : 31624 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284266665 9367552 266 33554432000 4194304 5064252 140734661637008 140734661635920 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31624/statm: 2287 266 226 213 0 72 0
[pid=31625] ppid=31624 vsize=31484 CPUtime=0.7 cores=0,2,4,6
/proc/31625/stat : 31625 (glucose) R 31624 29825 15230 0 -1 4202496 7329 0 0 0 69 1 0 0 20 0 1 0 284266665 32239616 6912 33554432000 4194304 5208918 140735738919088 140735737868584 4229725 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31625/statm: 7871 6912 96 248 0 7620 0
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (KiB) 62872

[startup+222.3 s]
/proc/loadavg: 1.92 1.92 1.88 3/183 32284
/proc/meminfo: memFree=30889076/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=221.2 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 209650 1671509 0 0 593 102 20343 1082 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0

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

[pid=29826] ppid=29825 vsize=13092 CPUtime=1480.94 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) R 29825 29825 15230 0 -1 4202496 1385159 11179298 0 0 3692 647 136313 7442 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731509376 4521673 0 0 4096 0 0 0 0 17 2 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
Current children cumulated CPU time (s) 1480.94
Current children cumulated vsize (KiB) 22240

[startup+1542.3 s]
/proc/loadavg: 2.18 2.04 1.94 3/183 7520
/proc/meminfo: memFree=30902052/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=1539.42 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 1439645 11618467 0 0 3830 672 141687 7753 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
[pid=7519] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7519/stat : 7519 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284404587 9367552 267 33554432000 4194304 5064252 140736402495136 140736402494048 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7519/statm: 2287 267 226 213 0 72 0
[pid=7520] ppid=7519 vsize=32184 CPUtime=1.47 cores=0,2,4,6
/proc/7520/stat : 7520 (glucose) R 7519 29825 15230 0 -1 4202496 8636 0 0 0 146 1 0 0 20 0 1 0 284404588 32956416 7098 33554432000 4194304 5208918 140735305999648 140735305997800 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 8046 7098 104 248 0 7795 0
Current children cumulated CPU time (s) 1540.89
Current children cumulated vsize (KiB) 63572

############
# WARNING:
# current cumulated CPU time (1567.6 s) is less than in the last sample (1567.6 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+1569 s]
/proc/loadavg: 2.20 2.06 1.95 3/183 7625
/proc/meminfo: memFree=30883196/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=1566.06 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 1464410 11818640 0 0 3892 683 144139 7892 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
[pid=7624] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7624/stat : 7624 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284407251 9367552 266 33554432000 4194304 5064252 140735771485008 140735771483920 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7624/statm: 2287 266 226 213 0 72 0
[pid=7625] ppid=7624 vsize=0 CPUtime=1.54 cores=0,2,4,6
/proc/7625/stat : 7625 (glucose) R 7624 29825 15230 0 -1 4202500 8289 0 0 0 152 2 0 0 20 0 1 0 284407252 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7625/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1567.6
Current children cumulated vsize (KiB) 31388

[startup+1569.1 s]
/proc/loadavg: 2.20 2.06 1.95 3/183 7625
/proc/meminfo: memFree=30883196/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=1567.6 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 1464418 11827534 0 0 3892 683 144291 7894 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
Current children cumulated CPU time (s) 1567.6
Current children cumulated vsize (KiB) 22240
#
############


[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 1.94 3/183 7765
/proc/meminfo: memFree=30892608/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=1599.64 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 1495779 12072178 0 0 3971 697 147225 8071 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
[pid=7764] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7764/stat : 7764 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284410613 9367552 267 33554432000 4194304 5064252 140736914294448 140736914293360 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7764/statm: 2287 267 226 213 0 72 0
[pid=7765] ppid=7764 vsize=34728 CPUtime=1.21 cores=0,2,4,6
/proc/7765/stat : 7765 (glucose) R 7764 29825 15230 0 -1 4202496 7930 0 0 0 120 1 0 0 20 0 1 0 284410613 35561472 7392 33554432000 4194304 5208918 140735049352064 140735049349912 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7765/statm: 8682 7392 104 248 0 8431 0
Current children cumulated CPU time (s) 1600.85
Current children cumulated vsize (KiB) 66116

[startup+1662.3 s]
/proc/loadavg: 2.11 2.05 1.95 3/183 8010
/proc/meminfo: memFree=30890872/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=1659.78 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 1551913 12523906 0 0 4112 722 152755 8389 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
[pid=8009] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8009/stat : 8009 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284416629 9367552 266 33554432000 4194304 5064252 140735619056272 140735619055184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8009/statm: 2287 266 226 213 0 72 0
[pid=8010] ppid=8009 vsize=34340 CPUtime=1.06 cores=0,2,4,6
/proc/8010/stat : 8010 (glucose) R 8009 29825 15230 0 -1 4202496 7539 0 0 0 105 1 0 0 20 0 1 0 284416629 35164160 7584 33554432000 4194304 5208918 140736430269568 140736430267720 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8010/statm: 8585 7584 96 248 0 8334 0
Current children cumulated CPU time (s) 1660.84
Current children cumulated vsize (KiB) 65728

[startup+1722.3 s]
/proc/loadavg: 2.17 2.07 1.96 3/183 8251
/proc/meminfo: memFree=30909868/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=1720.03 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 1608047 12978556 0 0 4253 747 158298 8705 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
Current children cumulated CPU time (s) 1720.03
Current children cumulated vsize (KiB) 22240

[startup+1782.3 s]
/proc/loadavg: 2.14 2.07 1.97 3/184 8497
/proc/meminfo: memFree=30890476/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=1779.35 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 1662530 13420789 0 0 4389 773 163770 9003 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
[pid=8493] ppid=29826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8493/stat : 8493 (satsolver.sh) S 29826 29825 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284428605 9367552 267 33554432000 4194304 5064252 140736339826544 140736339825456 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 2287 267 226 213 0 72 0
[pid=8494] ppid=8493 vsize=34728 CPUtime=1.29 cores=0,2,4,6
/proc/8494/stat : 8494 (glucose) R 8493 29825 15230 0 -1 4202496 7970 0 0 0 129 0 0 0 20 0 1 0 284428605 35561472 7440 33554432000 4194304 5208918 140733542144016 140733542141960 4231508 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8494/statm: 8682 7440 104 248 0 8431 0
Current children cumulated CPU time (s) 1780.64
Current children cumulated vsize (KiB) 66116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.9 s]
/proc/loadavg: 2.10 2.07 1.97 3/182 8565
/proc/meminfo: memFree=30914344/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=1797.19 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 1679040 13550286 0 0 4430 781 165422 9086 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 22240

Sending SIGTERM to process tree (bottom up)

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

[startup+1798.9 s]
/proc/loadavg: 2.10 2.07 1.97 3/182 8565
/proc/meminfo: memFree=30914344/32873844 swapFree=7108/7108
[pid=29825] ppid=29823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29825/stat : 29825 (npSolver-wbo-It) S 29823 29825 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284250506 9367552 275 33554432000 4194304 5064252 140736345273968 140736345272880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29825/statm: 2287 275 233 213 0 72 0
[pid=29826] ppid=29825 vsize=13092 CPUtime=1797.19 cores=0,2,4,6
/proc/29826/stat : 29826 (npSolver-wbo) S 29825 29825 15230 0 -1 4202496 1679040 13550286 0 0 4430 781 165422 9086 20 0 1 0 284250506 13406208 2569 33554432000 4194304 5990268 140736731517392 140736731508800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/29826/statm: 3273 2569 180 439 0 2830 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 22240

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): 2.98032
#  lost CPU user time (s): 2.9603
#  lost CPU system time (s): 0.0200024

Real time (s): 1798.91
CPU time (s): 1800.19
CPU user time (s): 1701.49
CPU system time (s): 98.699
CPU usage (%): 100.071
Max. virtual memory (cumulated for all children) (KiB): 70652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1698.53
system time used= 98.679
maximum resident set size= 36324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15229701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8724728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183467
involuntary context switches= 13607

runsolver used 3.23451 second user time and 8.07177 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 07:00:19
IDJOB=3715578
IDBENCH=78701
IDSOLVER=2297
FILE ID=node103/3715578-1338181219
RUNJOBID= node103-1338166500-15762
PBS_JOBID= 14624530
Free space on /tmp= 71560 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--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-3715578-1338181219/watcher-3715578-1338181219 -o /tmp/evaluation-result-3715578-1338181219/solver-3715578-1338181219 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715578-1338181219.wbo 1594182416 HOME HOME

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

MD5SUM BENCH= a55e12002eaa3d7d50414499a072c521
RANDOM SEED=1594182416

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:        30932992 kB
Buffers:          430144 kB
Cached:           621380 kB
SwapCached:         4496 kB
Active:           739448 kB
Inactive:         356892 kB
Active(anon):      39144 kB
Inactive(anon):     6216 kB
Active(file):     700304 kB
Inactive(file):   350676 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099576 kB
Dirty:              9996 kB
Writeback:             0 kB
AnonPages:         59088 kB
Mapped:            12880 kB
Shmem:                 8 kB
Slab:             704412 kB
SReclaimable:     145024 kB
SUnreclaim:       559388 kB
KernelStack:        1504 kB
PageTables:         3836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     167356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 71552 MiB
End job on node103 at 2012-05-28 07:30:18