Trace number 3753025

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.19 1802.83

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
MD5SUMc0c0bebc7e31a6df8b165cc7ff9f27e8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.065989
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7564
Total number of constraints23412
Number of soft constraints15681
Number of constraints which are clauses23168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints244
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 793815
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 793814
Biggest number in a constraint 44
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 333
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

1.00/1.08	c run usual solver
7.07/7.17	o 321
7.07/7.17	c starting approximation
7.07/7.17	c factor = 2
7.07/7.17	c factor still to low - shrinking to 30.2016
7.07/7.17	c approx number of clauses: 1e+06
7.07/7.17	c current bound: 160
8.76/8.86	c current bound: 160
10.09/10.54	c current bound: 160
12.16/12.21	c current bound: 160
13.43/13.89	c current bound: 160
15.44/15.55	c current bound: 160
17.16/17.21	c current bound: 160
18.73/18.88	c current bound: 160
20.10/20.56	c current bound: 160
22.16/22.22	c current bound: 160
23.85/23.90	c current bound: 160
25.55/25.61	c current bound: 160
26.84/27.29	c current bound: 160
28.49/28.95	c current bound: 160
30.19/30.64	c current bound: 160
32.24/32.30	c current bound: 160
33.54/33.99	c current bound: 160
35.19/35.66	c current bound: 160
37.25/37.35	c current bound: 160
38.96/39.02	c current bound: 160
40.64/40.71	c current bound: 160
41.93/42.39	c current bound: 160
43.96/44.08	c current bound: 160
45.30/45.76	c current bound: 160
47.32/47.46	c current bound: 160
49.04/49.12	c current bound: 160
50.73/50.82	c current bound: 160
52.43/52.51	c current bound: 160
54.03/54.17	c current bound: 160
55.36/55.85	c current bound: 160
57.05/57.55	c current bound: 160
59.12/59.23	c current bound: 160
60.80/60.90	c current bound: 160
62.09/62.60	c current bound: 160
63.77/64.28	c current bound: 160
65.80/65.96	c current bound: 160
67.13/67.63	c current bound: 160
69.22/69.33	c current bound: 160
70.49/70.99	c current bound: 160
72.50/72.66	c current bound: 160
73.82/74.35	c current bound: 160
75.87/76.06	c current bound: 160
77.59/77.72	c current bound: 160
79.19/79.39	c current bound: 160
80.55/81.07	c current bound: 160
82.58/82.79	c current bound: 160
84.38/84.51	c current bound: 160
85.65/86.17	c current bound: 160
87.34/87.88	c current bound: 160
88.99/89.55	c current bound: 160
91.07/91.24	c current bound: 160
92.77/92.91	c current bound: 160
94.45/94.61	c current bound: 160
95.72/96.28	c current bound: 160
97.86/98.02	c current bound: 160
99.12/99.69	c current bound: 160
101.25/101.42	c current bound: 160
102.94/103.10	c current bound: 160
104.53/104.77	c current bound: 160
105.89/106.45	c current bound: 160
107.58/108.16	c current bound: 160
109.27/109.85	c current bound: 160
111.34/111.51	c current bound: 160
112.60/113.19	c current bound: 160
114.27/114.86	c current bound: 160
116.34/116.55	c current bound: 160
118.04/118.22	c current bound: 160
119.73/119.91	c current bound: 160
121.01/121.59	c current bound: 160
123.02/123.29	c current bound: 160
124.40/124.97	c current bound: 160
126.42/126.68	c current bound: 160
127.76/128.34	c current bound: 160
129.81/130.05	c current bound: 160
131.54/131.73	c current bound: 160
133.22/133.43	c current bound: 160
134.51/135.09	c current bound: 160
136.16/136.76	c current bound: 160
138.20/138.43	c current bound: 160
139.90/140.10	c current bound: 160
141.15/141.77	c current bound: 160
143.20/143.43	c current bound: 160
144.91/145.13	c current bound: 160
146.59/146.80	c current bound: 160
148.18/148.50	c current bound: 160
150.00/150.21	c current bound: 160
151.69/151.91	c current bound: 160
152.96/153.57	c current bound: 160
154.98/155.28	c current bound: 160
156.34/156.96	c current bound: 160
158.37/158.66	c current bound: 160
160.09/160.32	c current bound: 160
161.67/161.98	c current bound: 160
163.04/163.67	c current bound: 160
165.09/165.33	c current bound: 160
166.78/167.02	c current bound: 160
168.06/168.69	c current bound: 160
169.75/170.38	c current bound: 160
171.42/172.04	c current bound: 160
173.49/173.73	c current bound: 160
175.17/175.40	c current bound: 160
176.77/177.09	c current bound: 160
178.13/178.76	c current bound: 160
180.16/180.46	c current bound: 160
181.50/182.14	c current bound: 160
183.56/183.83	c current bound: 160
185.27/185.51	c current bound: 160
186.96/187.22	c current bound: 160
188.22/188.89	c current bound: 160
190.24/190.56	c current bound: 160
191.95/192.22	c current bound: 160
193.65/193.93	c current bound: 160
195.34/195.61	c current bound: 160
196.61/197.28	c current bound: 160
198.31/198.97	c current bound: 160
199.97/200.64	c current bound: 160
202.05/202.33	c current bound: 160
203.33/204.00	c current bound: 160
205.33/205.69	c current bound: 160
206.68/207.36	c current bound: 160
208.72/209.06	c current bound: 160
210.43/210.73	c current bound: 160
212.13/212.42	c current bound: 160
213.80/214.10	c current bound: 160
215.50/215.80	c current bound: 160
216.78/217.48	c current bound: 160
218.80/219.18	c current bound: 160
220.15/220.86	c current bound: 160
221.86/222.56	c current bound: 160
223.53/224.26	c current bound: 160
225.61/225.93	c current bound: 160
227.31/227.62	c current bound: 160
228.59/229.29	c current bound: 160
230.59/231.00	c current bound: 160
231.95/232.68	c current bound: 160
233.99/234.37	c current bound: 160
235.32/236.05	c current bound: 160
237.38/237.75	c current bound: 160
239.08/239.42	c current bound: 160
240.78/241.12	c current bound: 160
242.48/242.80	c current bound: 160
244.19/244.52	c current bound: 160
245.44/246.19	c current bound: 160
247.15/247.89	c current bound: 160
248.84/249.58	c current bound: 160
250.52/251.26	c current bound: 160
252.57/252.97	c current bound: 160
254.28/254.71	c current bound: 160
255.98/256.41	c current bound: 160
257.25/258.09	c current bound: 160
259.26/259.78	c current bound: 160
260.60/261.46	c current bound: 160
262.67/263.17	c current bound: 160
264.02/264.86	c current bound: 160
265.74/266.57	c current bound: 160
267.42/268.27	c current bound: 160
269.09/269.97	c current bound: 160
271.15/271.63	c current bound: 160
272.84/273.31	c current bound: 160
274.43/275.00	c current bound: 160
275.80/276.67	c current bound: 160
277.83/278.34	c current bound: 160
279.53/280.01	c current bound: 160
281.12/281.67	c current bound: 160
282.47/283.35	c current bound: 160
284.50/285.04	c current bound: 160
286.21/286.71	c current bound: 160
287.80/288.38	c current bound: 160
289.14/290.04	c current bound: 160
291.21/291.71	c current bound: 160
292.48/293.39	c current bound: 160
294.50/295.07	c current bound: 160
295.85/296.76	c current bound: 160
297.57/298.47	c current bound: 160
299.27/300.18	c current bound: 160
300.94/301.85	c current bound: 160
303.01/303.52	c current bound: 160
304.27/305.18	c current bound: 160
306.30/306.86	c current bound: 160
307.99/308.53	c current bound: 160
309.69/310.20	c current bound: 160
310.94/311.87	c current bound: 160
313.00/313.55	c current bound: 160
314.70/315.22	c current bound: 160
316.37/316.90	c current bound: 160
317.64/318.57	c current bound: 160
319.67/320.24	c current bound: 160
321.38/321.91	c current bound: 160
322.98/323.59	c current bound: 160
324.33/325.25	c current bound: 160
326.38/326.93	c current bound: 160
328.07/328.61	c current bound: 160
329.68/330.28	c current bound: 160
331.03/331.97	c current bound: 160
332.71/333.65	c current bound: 160
334.81/335.34	c current bound: 160
336.50/337.02	c current bound: 160
338.20/338.71	c current bound: 160
339.88/340.43	c current bound: 160
341.56/342.11	c current bound: 160
343.24/343.80	c current bound: 160
344.84/345.49	c current bound: 160
346.20/347.17	c current bound: 160
348.25/348.85	c current bound: 160
349.57/350.55	c current bound: 160
351.67/352.23	c current bound: 160
352.95/353.94	c current bound: 160
355.06/355.61	c current bound: 160
356.33/357.29	c current bound: 160
358.02/358.98	c current bound: 160
359.73/360.68	c current bound: 160
361.40/362.36	c current bound: 160
363.49/364.04	c current bound: 160
365.18/365.73	c current bound: 160
366.88/367.41	c current bound: 160
368.56/369.10	c current bound: 160
370.17/370.78	c current bound: 160
371.50/372.46	c current bound: 160
373.57/374.15	c current bound: 160
375.28/375.83	c current bound: 160
376.97/377.51	c current bound: 160
378.25/379.19	c current bound: 160
380.27/380.87	c current bound: 160
381.63/382.56	c current bound: 160
383.33/384.27	c current bound: 160
385.02/385.96	c current bound: 160
386.68/387.64	c current bound: 160
388.78/389.31	c current bound: 160
390.04/390.98	c current bound: 160
392.05/392.67	c current bound: 160
393.40/394.35	c current bound: 160
395.47/396.04	c current bound: 160
397.16/397.71	c current bound: 160
398.86/399.41	c current bound: 160
400.13/401.08	c current bound: 160
402.15/402.79	c current bound: 160
403.53/404.49	c current bound: 160
405.52/406.18	c current bound: 160
406.91/407.89	c current bound: 160
409.02/409.60	c current bound: 160
410.31/411.29	c current bound: 160
411.98/412.96	c current bound: 160
414.03/414.65	c current bound: 160
415.73/416.31	c current bound: 160
417.41/418.01	c current bound: 160
419.09/419.82	c current bound: 160
420.78/421.54	c current bound: 160
422.46/423.21	c current bound: 160
424.04/424.87	c current bound: 160
425.41/426.56	c current bound: 160
427.46/428.22	c current bound: 160
428.74/429.89	c current bound: 160
430.84/431.60	c current bound: 160
432.13/433.29	c current bound: 160
433.80/434.96	c current bound: 160
435.84/436.66	c current bound: 160
437.54/438.33	c current bound: 160
439.25/440.02	c current bound: 160
440.92/441.70	c current bound: 160
442.62/443.40	c current bound: 160
443.90/445.08	c current bound: 160
445.90/446.78	c current bound: 160
447.29/448.48	c current bound: 160
449.30/450.19	c current bound: 160
450.67/451.87	c current bound: 160
452.70/453.53	c current bound: 160
454.39/455.21	c current bound: 160
455.66/456.88	c current bound: 160
457.36/458.58	c current bound: 160
459.04/460.26	c current bound: 160
461.10/461.95	c current bound: 160
462.79/463.63	c current bound: 160
464.49/465.32	c current bound: 160
466.16/467.00	c current bound: 160
467.77/468.66	c current bound: 160
469.11/470.35	c current bound: 160
471.16/472.05	c current bound: 160
472.49/473.74	c current bound: 160
474.55/475.40	c current bound: 160
475.84/477.08	c current bound: 160
477.84/478.79	c current bound: 160
479.21/480.47	c current bound: 160
481.26/482.13	c current bound: 160
482.97/483.82	c current bound: 160
484.23/485.49	c current bound: 160
485.92/487.18	c current bound: 160
487.58/488.85	c current bound: 160
489.63/490.56	c current bound: 160
491.33/492.23	c current bound: 160
493.03/493.94	c current bound: 160
494.73/495.61	c current bound: 160
496.42/497.31	c current bound: 160
497.69/498.99	c current bound: 160
499.79/500.70	c current bound: 160
501.08/502.38	c current bound: 160
503.10/504.05	c current bound: 160
504.81/505.73	c current bound: 160
506.13/507.48	c current bound: 160
507.83/509.16	c current bound: 160
509.53/510.87	c current bound: 160
511.58/512.54	c current bound: 160
513.27/514.21	c current bound: 160
514.96/515.90	c current bound: 160
516.23/517.58	c current bound: 160
518.25/519.28	c current bound: 160
519.58/520.94	c current bound: 160
521.66/522.61	c current bound: 160
522.92/524.27	c current bound: 160
524.95/525.93	c current bound: 160
526.67/527.62	c current bound: 160
528.36/529.31	c current bound: 160
530.03/531.00	c current bound: 160
531.74/532.71	c current bound: 160
533.44/534.40	c current bound: 160
534.71/536.06	c current bound: 160
536.39/537.75	c current bound: 160
538.45/539.42	c current bound: 160
540.14/541.11	c current bound: 160
541.41/542.78	c current bound: 160
543.43/544.48	c current bound: 160
544.77/546.15	c current bound: 160
546.85/547.84	c current bound: 160
548.53/549.52	c current bound: 160
550.24/551.22	c current bound: 160
551.93/552.90	c current bound: 160
553.61/554.60	c current bound: 160
554.90/556.28	c current bound: 160
556.91/557.99	c current bound: 160
558.67/559.85	c current bound: 160
560.34/561.52	c current bound: 160
562.03/563.21	c current bound: 160
563.30/564.89	c current bound: 160
565.32/566.55	c current bound: 160
567.04/568.22	c current bound: 160
568.62/569.89	c current bound: 160
569.98/571.57	c current bound: 160
572.01/573.26	c current bound: 160
573.72/574.93	c current bound: 160
575.30/576.59	c current bound: 160
576.68/578.28	c current bound: 160
578.71/579.94	c current bound: 160
580.42/581.62	c current bound: 160
582.13/583.33	c current bound: 160
583.81/585.02	c current bound: 160
585.09/586.69	c current bound: 160
586.77/588.38	c current bound: 160
588.47/590.08	c current bound: 160
590.50/591.77	c current bound: 160
591.81/593.44	c current bound: 160
593.91/595.13	c current bound: 160
595.59/596.80	c current bound: 160
597.28/598.50	c current bound: 160
598.55/600.18	c current bound: 160
600.58/601.84	c current bound: 160
602.27/603.52	c current bound: 160
603.97/605.23	c current bound: 160
605.68/606.91	c current bound: 160
607.37/608.62	c current bound: 160
609.07/610.32	c current bound: 160
610.75/612.01	c current bound: 160
612.47/613.73	c current bound: 160
614.17/615.41	c current bound: 160
615.77/617.10	c current bound: 160
617.13/618.77	c current bound: 160
619.17/620.46	c current bound: 160
620.48/622.14	c current bound: 160
622.58/623.83	c current bound: 160
624.28/625.51	c current bound: 160
625.95/627.20	c current bound: 160
627.23/628.88	c current bound: 160
629.28/630.55	c current bound: 160
630.99/632.23	c current bound: 160
632.68/633.91	c current bound: 160
634.37/635.60	c current bound: 160
636.09/637.34	c current bound: 160
637.80/639.02	c current bound: 160
639.48/640.70	c current bound: 160
641.08/642.38	c current bound: 160
642.43/644.06	c current bound: 160
644.50/645.75	c current bound: 160
645.79/647.44	c current bound: 160
647.91/649.13	c current bound: 160
649.60/650.81	c current bound: 160
651.29/652.50	c current bound: 160
652.57/654.19	c current bound: 160
654.61/655.87	c current bound: 160
655.93/657.55	c current bound: 160
658.01/659.22	c current bound: 160
659.30/660.89	c current bound: 160
660.96/662.56	c current bound: 160
662.65/664.24	c current bound: 160
664.72/665.91	c current bound: 160
665.98/667.58	c current bound: 160
667.64/669.24	c current bound: 160
669.73/670.93	c current bound: 160
671.41/672.60	c current bound: 160
673.09/674.37	c current bound: 160
674.72/676.03	c current bound: 160
676.43/677.73	c current bound: 160
677.69/679.39	c current bound: 160
679.70/681.05	c current bound: 160
681.42/682.73	c current bound: 160
683.11/684.43	c current bound: 160
684.37/686.09	c current bound: 160
686.40/687.79	c current bound: 160
687.75/689.45	c current bound: 160
689.45/691.18	c current bound: 160
691.13/692.84	c current bound: 160
693.19/694.50	c current bound: 160
694.45/696.17	c current bound: 160
696.51/697.83	c current bound: 160
697.78/699.49	c current bound: 160
699.44/701.16	c current bound: 160
701.49/702.86	c current bound: 160
703.18/704.53	c current bound: 160
704.87/706.26	c current bound: 160
706.21/707.94	c current bound: 160
708.28/709.64	c current bound: 160
709.97/711.32	c current bound: 160
711.68/713.02	c current bound: 160
712.94/714.69	c current bound: 160
715.05/716.40	c current bound: 160
716.34/718.08	c current bound: 160
718.06/719.79	c current bound: 160
719.75/721.48	c current bound: 160
721.41/723.15	c current bound: 160
723.46/724.83	c current bound: 160
725.15/726.50	c current bound: 160
726.74/728.17	c current bound: 160
728.46/729.83	c current bound: 160
730.16/731.53	c current bound: 160
731.84/733.21	c current bound: 160
733.43/734.87	c current bound: 160
734.77/736.54	c current bound: 160
736.84/738.21	c current bound: 160
738.09/739.87	c current bound: 160
740.11/741.54	c current bound: 160
741.83/743.22	c current bound: 160
743.42/744.88	c current bound: 160
744.77/746.56	c current bound: 160
746.83/748.22	c current bound: 160
748.10/749.89	c current bound: 160
750.11/751.55	c current bound: 160
751.46/753.26	c current bound: 160
753.51/754.92	c current bound: 160
755.19/756.60	c current bound: 160
756.46/758.27	c current bound: 160
758.52/759.94	c current bound: 160
760.19/761.60	c current bound: 160
761.49/763.29	c current bound: 160
763.15/764.96	c current bound: 160
765.21/766.63	c current bound: 160
766.49/768.29	c current bound: 160
768.51/769.96	c current bound: 160
770.20/771.63	c current bound: 160
771.89/773.31	c current bound: 160
773.15/774.98	c current bound: 160
775.19/776.66	c current bound: 160
776.90/778.32	c current bound: 160
778.58/780.00	c current bound: 160
779.84/781.68	c current bound: 160
781.88/783.36	c current bound: 160
783.60/785.03	c current bound: 160
785.28/786.71	c current bound: 160
786.56/788.38	c current bound: 160
788.58/790.08	c current bound: 160
789.92/791.75	c current bound: 160
791.98/793.41	c current bound: 160
793.24/795.09	c current bound: 160
794.90/796.76	c current bound: 160
796.97/798.43	c current bound: 160
798.64/800.10	c current bound: 160
799.93/801.78	c current bound: 160
801.60/803.44	c current bound: 160
803.67/805.13	c current bound: 160
805.35/806.80	c current bound: 160
806.96/808.47	c current bound: 160
808.29/810.14	c current bound: 160
810.36/811.82	c current bound: 160
811.61/813.48	c current bound: 160
813.65/815.15	c current bound: 160
815.35/816.82	c current bound: 160
817.04/818.50	c current bound: 160
818.31/820.17	c current bound: 160
820.35/821.83	c current bound: 160
822.04/823.50	c current bound: 160
823.64/825.18	c current bound: 160
824.98/826.84	c current bound: 160
827.06/828.51	c current bound: 160
828.32/830.19	c current bound: 160
830.34/831.88	c current bound: 160
831.66/833.56	c current bound: 160
833.74/835.22	c current bound: 160
835.42/836.90	c current bound: 160
836.69/838.56	c current bound: 160
838.37/840.25	c current bound: 160
840.45/841.93	c current bound: 160
842.14/843.61	c current bound: 160
843.80/845.30	c current bound: 160
845.41/847.00	c current bound: 160
846.76/848.67	c current bound: 160
848.81/850.37	c current bound: 160
850.15/852.04	c current bound: 160
852.21/853.75	c current bound: 160
853.53/855.44	c current bound: 160
855.59/857.15	c current bound: 160
857.32/858.81	c current bound: 160
858.90/860.48	c current bound: 160
860.25/862.16	c current bound: 160
861.96/863.87	c current bound: 160
864.00/865.53	c current bound: 160
865.69/867.20	c current bound: 160
866.97/868.89	c current bound: 160
868.64/870.56	c current bound: 160
870.69/872.25	c current bound: 160
872.39/873.93	c current bound: 160
874.10/875.62	c current bound: 160
875.78/877.30	c current bound: 160
877.38/878.96	c current bound: 160
879.09/880.63	c current bound: 160
880.77/882.30	c current bound: 160
882.03/883.97	c current bound: 160
884.08/885.63	c current bound: 160
885.76/887.30	c current bound: 160
887.37/889.00	c current bound: 160
888.73/890.68	c current bound: 160
890.75/892.38	c current bound: 160
892.11/894.07	c current bound: 160
893.83/895.77	c current bound: 160
895.51/897.46	c current bound: 160
897.57/899.13	c current bound: 160
899.26/900.83	c current bound: 160
900.94/902.50	c current bound: 160
902.55/904.20	c current bound: 160
903.90/905.87	c current bound: 160
905.94/907.56	c current bound: 160
907.27/909.25	c current bound: 160
909.32/910.94	c current bound: 160
911.03/912.62	c current bound: 160
912.74/914.32	c current bound: 160
914.43/916.00	c current bound: 160
916.13/917.73	c current bound: 160
917.84/919.42	c current bound: 160
919.10/921.08	c current bound: 160
920.78/922.77	c current bound: 160
922.45/924.44	c current bound: 160
924.53/926.10	c current bound: 160
925.79/927.78	c current bound: 160
927.83/929.47	c current bound: 160
929.16/931.14	c current bound: 160
931.24/932.84	c current bound: 160
932.92/934.51	c current bound: 160
934.60/936.21	c current bound: 160
935.88/937.88	c current bound: 160
937.91/939.58	c current bound: 160
939.25/941.25	c current bound: 160
941.32/942.91	c current bound: 160
942.58/944.57	c current bound: 160
944.62/946.27	c current bound: 160
945.96/947.96	c current bound: 160
948.01/949.62	c current bound: 160
949.70/951.31	c current bound: 160
950.98/952.98	c current bound: 160
952.67/954.67	c current bound: 160
954.33/956.34	c current bound: 160
956.41/958.03	c current bound: 160
958.09/959.70	c current bound: 160
959.69/961.39	c current bound: 160
961.05/963.07	c current bound: 160
963.09/964.77	c current bound: 160
964.79/966.43	c current bound: 160
966.49/968.13	c current bound: 160
968.19/969.81	c current bound: 160
969.78/971.47	c current bound: 160
971.13/973.15	c current bound: 160
973.17/974.86	c current bound: 160
974.88/976.52	c current bound: 160
976.57/978.22	c current bound: 160
978.28/979.92	c current bound: 160
979.55/981.59	c current bound: 160
981.20/983.26	c current bound: 160
983.27/984.92	c current bound: 160
984.53/986.58	c current bound: 160
986.19/988.26	c current bound: 160
988.25/989.95	c current bound: 160
989.95/991.62	c current bound: 160
991.53/993.28	c current bound: 160
992.87/994.95	c current bound: 160
994.94/996.61	c current bound: 160
996.21/998.29	c current bound: 160
998.23/999.95	c current bound: 160
999.92/1001.62	c current bound: 160
1001.52/1003.28	c current bound: 160
1002.85/1004.94	c current bound: 160
1004.91/1006.61	c current bound: 160
1006.18/1008.28	c current bound: 160
1008.19/1009.99	c current bound: 160
1009.56/1011.68	c current bound: 160
1011.58/1013.38	c current bound: 160
1012.95/1015.06	c current bound: 160
1014.65/1016.78	c current bound: 160
1016.34/1018.47	c current bound: 160
1018.01/1020.14	c current bound: 160
1020.08/1021.83	c current bound: 160
1021.77/1023.50	c current bound: 160
1023.37/1025.20	c current bound: 160
1024.73/1026.87	c current bound: 160
1026.78/1028.54	c current bound: 160
1028.47/1030.22	c current bound: 160
1030.16/1031.91	c current bound: 160
1031.44/1033.59	c current bound: 160
1033.57/1035.30	c current bound: 160
1035.25/1037.00	c current bound: 160
1036.95/1038.71	c current bound: 160
1038.24/1040.39	c current bound: 160
1039.90/1042.05	c current bound: 160
1041.58/1043.74	c current bound: 160
1043.64/1045.41	c current bound: 160
1044.94/1047.10	c current bound: 160
1046.59/1048.77	c current bound: 160
1048.64/1050.46	c current bound: 160
1050.34/1052.13	c current bound: 160
1052.05/1053.82	c current bound: 160
1053.72/1055.50	c current bound: 160
1055.42/1057.21	c current bound: 160
1056.70/1058.89	c current bound: 160
1058.70/1060.57	c current bound: 160
1060.06/1062.24	c current bound: 160
1062.11/1063.95	c current bound: 160
1063.43/1065.63	c current bound: 160
1065.15/1067.34	c current bound: 160
1067.23/1069.03	c current bound: 160
1068.91/1070.70	c current bound: 160
1070.19/1072.39	c current bound: 160
1071.85/1074.06	c current bound: 160
1073.90/1075.75	c current bound: 160
1075.21/1077.43	c current bound: 160
1077.31/1079.13	c current bound: 160
1078.99/1080.80	c current bound: 160
1080.59/1082.46	c current bound: 160
1081.93/1084.14	c current bound: 160
1084.00/1085.80	c current bound: 160
1085.25/1087.47	c current bound: 160
1087.27/1089.17	c current bound: 160
1088.65/1090.86	c current bound: 160
1090.67/1092.57	c current bound: 160
1092.03/1094.26	c current bound: 160
1093.73/1095.97	c current bound: 160
1095.80/1097.73	c current bound: 160
1097.06/1099.39	c current bound: 160
1099.07/1101.06	c current bound: 160
1100.39/1102.74	c current bound: 160
1102.38/1104.40	c current bound: 160
1103.73/1106.06	c current bound: 160
1105.78/1107.73	c current bound: 160
1107.46/1109.41	c current bound: 160
1109.07/1111.07	c current bound: 160
1110.78/1112.73	c current bound: 160
1112.46/1114.40	c current bound: 160
1113.73/1116.08	c current bound: 160
1115.76/1117.74	c current bound: 160
1117.48/1119.43	c current bound: 160
1119.18/1121.13	c current bound: 160
1120.85/1122.80	c current bound: 160
1122.56/1124.51	c current bound: 160
1123.84/1126.19	c current bound: 160
1125.50/1127.85	c current bound: 160
1127.19/1129.54	c current bound: 160
1129.25/1131.21	c current bound: 160
1130.96/1132.90	c current bound: 160
1132.21/1134.57	c current bound: 160
1134.25/1136.27	c current bound: 160
1135.57/1137.94	c current bound: 160
1137.66/1139.64	c current bound: 160
1139.34/1141.31	c current bound: 160
1141.05/1143.01	c current bound: 160
1142.32/1144.69	c current bound: 160
1144.33/1146.36	c current bound: 160
1145.66/1148.05	c current bound: 160
1147.71/1149.71	c current bound: 160
1149.01/1151.39	c current bound: 160
1151.01/1153.10	c current bound: 160
1152.39/1154.78	c current bound: 160
1154.05/1156.45	c current bound: 160
1156.11/1158.11	c current bound: 160
1157.38/1159.77	c current bound: 160
1159.03/1161.43	c current bound: 160
1160.68/1163.10	c current bound: 160
1162.34/1164.77	c current bound: 160
1164.40/1166.43	c current bound: 160
1166.10/1168.12	c current bound: 160
1167.77/1169.80	c current bound: 160
1169.49/1171.51	c current bound: 160
1170.76/1173.18	c current bound: 160
1172.79/1174.88	c current bound: 160
1174.13/1176.56	c current bound: 160
1176.17/1178.28	c current bound: 160
1177.52/1179.96	c current bound: 160
1179.58/1181.62	c current bound: 160
1181.25/1183.30	c current bound: 160
1182.96/1185.01	c current bound: 160
1184.25/1186.69	c current bound: 160
1186.36/1188.40	c current bound: 160
1187.64/1190.09	c current bound: 160
1189.31/1191.76	c current bound: 160
1191.36/1193.47	c current bound: 160
1192.68/1195.14	c current bound: 160
1194.76/1196.84	c current bound: 160
1196.45/1198.51	c current bound: 160
1198.13/1200.20	c current bound: 160
1199.43/1201.90	c current bound: 160
1201.43/1203.56	c current bound: 160
1203.15/1205.22	c current bound: 160
1204.85/1206.92	c current bound: 160
1206.54/1208.61	c current bound: 160
1208.24/1210.32	c current bound: 160
1209.92/1212.00	c current bound: 160
1211.61/1213.71	c current bound: 160
1213.33/1215.40	c current bound: 160
1214.58/1217.09	c current bound: 160
1216.61/1218.79	c current bound: 160
1217.96/1220.47	c current bound: 160
1220.01/1222.16	c current bound: 160
1221.33/1223.84	c current bound: 160
1223.40/1225.54	c current bound: 160
1225.09/1227.22	c current bound: 160
1226.80/1228.92	c current bound: 160
1228.06/1230.58	c current bound: 160
1230.09/1232.28	c current bound: 160
1231.45/1233.97	c current bound: 160
1233.15/1235.67	c current bound: 160
1234.84/1237.36	c current bound: 160
1236.90/1239.03	c current bound: 160
1238.60/1240.71	c current bound: 160
1239.87/1242.39	c current bound: 160
1241.89/1244.08	c current bound: 160
1243.23/1245.76	c current bound: 160
1245.28/1247.47	c current bound: 160
1246.64/1249.18	c current bound: 160
1248.66/1250.88	c current bound: 160
1250.06/1252.59	c current bound: 160
1252.17/1254.30	c current bound: 160
1253.89/1256.01	c current bound: 160
1255.15/1257.68	c current bound: 160
1256.81/1259.34	c current bound: 160
1258.49/1261.04	c current bound: 160
1260.59/1262.72	c current bound: 160
1261.86/1264.39	c current bound: 160
1263.88/1266.06	c current bound: 160
1265.58/1267.73	c current bound: 160
1267.27/1269.40	c current bound: 160
1268.54/1271.07	c current bound: 160
1270.59/1272.75	c current bound: 160
1272.28/1274.41	c current bound: 160
1273.89/1276.08	c current bound: 160
1275.23/1277.75	c current bound: 160
1277.27/1279.44	c current bound: 160
1278.98/1281.11	c current bound: 160
1280.58/1282.79	c current bound: 160
1281.92/1284.45	c current bound: 160
1283.99/1286.13	c current bound: 160
1285.69/1287.80	c current bound: 160
1287.28/1289.47	c current bound: 160
1288.62/1291.14	c current bound: 160
1290.69/1292.81	c current bound: 160
1291.97/1294.49	c current bound: 160
1293.64/1296.17	c current bound: 160
1295.32/1297.86	c current bound: 160
1297.01/1299.55	c current bound: 160
1299.11/1301.21	c current bound: 160
1300.36/1302.89	c current bound: 160
1302.40/1304.57	c current bound: 160
1303.72/1306.25	c current bound: 160
1305.82/1307.94	c current bound: 160
1307.51/1309.61	c current bound: 160
1309.20/1311.30	c current bound: 160
1310.47/1312.99	c current bound: 160
1312.51/1314.67	c current bound: 160
1313.84/1316.35	c current bound: 160
1315.90/1318.04	c current bound: 160
1317.64/1319.72	c current bound: 160
1319.31/1321.41	c current bound: 160
1321.02/1323.10	c current bound: 160
1322.28/1324.77	c current bound: 160
1323.96/1326.44	c current bound: 160
1326.03/1328.11	c current bound: 160
1327.30/1329.78	c current bound: 160
1328.97/1331.45	c current bound: 160
1331.04/1333.12	c current bound: 160
1332.32/1334.79	c current bound: 160
1334.33/1336.50	c current bound: 160
1336.14/1338.21	c current bound: 160
1337.83/1339.92	c current bound: 160
1339.54/1341.63	c current bound: 160
1341.24/1343.33	c current bound: 160
1342.92/1345.00	c current bound: 160
1344.53/1346.67	c current bound: 160
1346.25/1348.33	c current bound: 160
1347.96/1350.11	c current bound: 160
1349.22/1351.79	c current bound: 160
1350.91/1353.45	c current bound: 160
1352.96/1355.12	c current bound: 160
1354.23/1356.79	c current bound: 160
1356.25/1358.46	c current bound: 160
1357.96/1360.12	c current bound: 160
1359.55/1361.80	c current bound: 160
1360.92/1363.48	c current bound: 160
1362.95/1365.16	c current bound: 160
1364.27/1366.88	c current bound: 160
1366.39/1368.71	c current bound: 160
1367.66/1370.38	c current bound: 160
1369.32/1372.07	c current bound: 160
1371.00/1373.75	c current bound: 160
1373.10/1375.43	c current bound: 160
1374.79/1377.11	c current bound: 160
1376.05/1378.79	c current bound: 160
1378.09/1380.47	c current bound: 160
1379.41/1382.16	c current bound: 160
1381.50/1383.83	c current bound: 160
1383.19/1385.52	c current bound: 160
1384.87/1387.20	c current bound: 160
1386.13/1388.87	c current bound: 160
1388.16/1390.58	c current bound: 160
1389.62/1392.35	c current bound: 160
1391.34/1394.05	c current bound: 160
1393.03/1395.75	c current bound: 160
1395.10/1397.44	c current bound: 160
1396.78/1399.12	c current bound: 160
1398.48/1400.80	c current bound: 160
1400.09/1402.48	c current bound: 160
1401.41/1404.16	c current bound: 160
1403.50/1405.83	c current bound: 160
1405.19/1407.52	c current bound: 160
1406.87/1409.20	c current bound: 160
1408.15/1410.88	c current bound: 160
1410.17/1412.59	c current bound: 160
1411.57/1414.29	c current bound: 160
1413.58/1415.99	c current bound: 160
1414.98/1417.69	c current bound: 160
1417.09/1419.40	c current bound: 160
1418.79/1421.10	c current bound: 160
1420.49/1422.81	c current bound: 160
1422.08/1424.49	c current bound: 160
1423.44/1426.16	c current bound: 160
1425.49/1427.82	c current bound: 160
1426.78/1429.49	c current bound: 160
1428.85/1431.21	c current bound: 160
1430.12/1432.88	c current bound: 160
1432.13/1434.55	c current bound: 160
1433.48/1436.24	c current bound: 160
1435.56/1437.92	c current bound: 160
1436.83/1439.59	c current bound: 160
1438.83/1441.27	c current bound: 160
1440.18/1442.94	c current bound: 160
1442.24/1444.65	c current bound: 160
1443.96/1446.32	c current bound: 160
1445.23/1447.98	c current bound: 160
1446.88/1449.65	c current bound: 160
1448.96/1451.32	c current bound: 160
1450.23/1452.99	c current bound: 160
1451.89/1454.65	c current bound: 160
1453.94/1456.34	c current bound: 160
1455.64/1458.01	c current bound: 160
1457.24/1459.68	c current bound: 160
1458.58/1461.35	c current bound: 160
1460.65/1463.02	c current bound: 160
1461.92/1464.68	c current bound: 160
1463.93/1466.35	c current bound: 160
1465.65/1468.03	c current bound: 160
1467.32/1469.70	c current bound: 160
1468.58/1471.36	c current bound: 160
1470.64/1473.03	c current bound: 160
1472.34/1474.70	c current bound: 160
1473.94/1476.38	c current bound: 160
1475.28/1478.07	c current bound: 160
1477.42/1479.80	c current bound: 160
1478.68/1481.47	c current bound: 160
1480.73/1483.13	c current bound: 160
1482.42/1484.80	c current bound: 160
1483.68/1486.47	c current bound: 160
1485.35/1488.14	c current bound: 160
1487.42/1489.80	c current bound: 160
1488.69/1491.47	c current bound: 160
1490.35/1493.14	c current bound: 160
1492.44/1494.81	c current bound: 160
1493.70/1496.48	c current bound: 160
1495.72/1498.15	c current bound: 160
1497.44/1499.82	c current bound: 160
1499.02/1501.50	c current bound: 160
1500.37/1503.17	c current bound: 160
1502.43/1504.84	c current bound: 160
1504.12/1506.51	c current bound: 160
1505.70/1508.18	c current bound: 160
1507.07/1509.85	c current bound: 160
1509.13/1511.53	c current bound: 160
1510.80/1513.20	c current bound: 160
1512.40/1514.89	c current bound: 160
1513.76/1516.56	c current bound: 160
1515.83/1518.23	c current bound: 160
1517.51/1519.90	c current bound: 160
1519.10/1521.58	c current bound: 160
1520.45/1523.25	c current bound: 160
1522.52/1524.92	c current bound: 160
1523.80/1526.59	c current bound: 160
1525.47/1528.27	c current bound: 160
1527.53/1529.93	c current bound: 160
1529.20/1531.60	c current bound: 160
1530.48/1533.27	c current bound: 160
1532.15/1534.94	c current bound: 160
1534.23/1536.63	c current bound: 160
1535.49/1538.29	c current bound: 160
1537.51/1539.96	c current bound: 160
1539.23/1541.63	c current bound: 160
1540.92/1543.31	c current bound: 160
1542.61/1545.00	c current bound: 160
1544.32/1546.71	c current bound: 160
1546.03/1548.41	c current bound: 160
1547.74/1550.13	c current bound: 160
1549.43/1551.81	c current bound: 160
1551.01/1553.48	c current bound: 160
1552.37/1555.17	c current bound: 160
1554.09/1556.89	c current bound: 160
1555.77/1558.58	c current bound: 160
1557.47/1560.26	c current bound: 160
1559.53/1561.96	c current bound: 160
1560.84/1563.64	c current bound: 160
1562.94/1565.32	c current bound: 160
1564.62/1567.01	c current bound: 160
1566.23/1568.69	c current bound: 160
1567.58/1570.38	c current bound: 160
1569.64/1572.06	c current bound: 160
1571.34/1573.74	c current bound: 160
1573.03/1575.42	c current bound: 160
1574.71/1577.10	c current bound: 160
1576.32/1578.78	c current bound: 160
1577.66/1580.46	c current bound: 160
1579.35/1582.14	c current bound: 160
1581.43/1583.82	c current bound: 160
1583.11/1585.50	c current bound: 160
1584.38/1587.18	c current bound: 160
1586.06/1588.87	c current bound: 160
1588.12/1590.55	c current bound: 160
1589.84/1592.23	c current bound: 160
1591.53/1593.91	c current bound: 160
1592.79/1595.59	c current bound: 160
1594.83/1597.27	c current bound: 160
1596.16/1598.95	c current bound: 160
1598.23/1600.64	c current bound: 160
1599.92/1602.37	c current bound: 160
1601.56/1604.06	c current bound: 160
1602.88/1605.74	c current bound: 160
1604.97/1607.42	c current bound: 160
1606.24/1609.09	c current bound: 160
1607.91/1610.75	c current bound: 160
1609.97/1612.43	c current bound: 160
1611.66/1614.10	c current bound: 160
1612.93/1615.77	c current bound: 160
1614.60/1617.44	c current bound: 160
1616.68/1619.11	c current bound: 160
1617.95/1620.78	c current bound: 160
1619.97/1622.45	c current bound: 160
1621.69/1624.11	c current bound: 160
1623.27/1625.78	c current bound: 160
1624.62/1627.45	c current bound: 160
1626.69/1629.12	c current bound: 160
1627.96/1630.79	c current bound: 160
1629.95/1632.49	c current bound: 160
1631.33/1634.16	c current bound: 160
1633.38/1635.84	c current bound: 160
1635.09/1637.51	c current bound: 160
1636.67/1639.18	c current bound: 160
1638.03/1640.85	c current bound: 160
1640.06/1642.54	c current bound: 160
1641.77/1644.21	c current bound: 160
1643.37/1645.88	c current bound: 160
1644.71/1647.55	c current bound: 160
1646.77/1649.22	c current bound: 160
1648.47/1650.91	c current bound: 160
1649.75/1652.58	c current bound: 160
1651.42/1654.25	c current bound: 160
1653.07/1655.94	c current bound: 160
1655.20/1657.63	c current bound: 160
1656.86/1659.30	c current bound: 160
1658.47/1660.98	c current bound: 160
1659.80/1662.64	c current bound: 160
1661.88/1664.32	c current bound: 160
1663.14/1665.99	c current bound: 160
1665.16/1667.67	c current bound: 160
1666.50/1669.34	c current bound: 160
1668.58/1671.02	c current bound: 160
1669.86/1672.69	c current bound: 160
1671.86/1674.37	c current bound: 160
1673.20/1676.04	c current bound: 160
1675.27/1677.72	c current bound: 160
1676.96/1679.40	c current bound: 160
1678.56/1681.09	c current bound: 160
1679.92/1682.77	c current bound: 160
1681.60/1684.44	c current bound: 160
1683.67/1686.12	c current bound: 160
1684.94/1687.78	c current bound: 160
1686.62/1689.45	c current bound: 160
1688.69/1691.12	c current bound: 160
1689.96/1692.79	c current bound: 160
1691.62/1694.45	c current bound: 160
1693.69/1696.12	c current bound: 160
1694.97/1697.79	c current bound: 160
1696.98/1699.46	c current bound: 160
1698.31/1701.14	c current bound: 160
1700.37/1702.81	c current bound: 160
1701.65/1704.48	c current bound: 160
1703.68/1706.15	c current bound: 160
1705.39/1707.83	c current bound: 160
1707.08/1709.50	c current bound: 160
1708.37/1711.19	c current bound: 160
1710.37/1712.87	c current bound: 160
1711.73/1714.54	c current bound: 160
1713.79/1716.21	c current bound: 160
1715.05/1717.88	c current bound: 160
1717.07/1719.56	c current bound: 160
1718.79/1721.23	c current bound: 160
1720.47/1722.90	c current bound: 160
1721.75/1724.57	c current bound: 160
1723.41/1726.24	c current bound: 160
1725.49/1727.91	c current bound: 160
1726.76/1729.58	c current bound: 160
1728.42/1731.25	c current bound: 160
1730.48/1732.93	c current bound: 160
1731.76/1734.60	c current bound: 160
1733.43/1736.27	c current bound: 160
1735.49/1737.93	c current bound: 160
1737.18/1739.60	c current bound: 160
1738.78/1741.27	c current bound: 160
1740.10/1742.95	c current bound: 160
1742.18/1744.62	c current bound: 160
1743.47/1746.29	c current bound: 160
1745.48/1747.97	c current bound: 160
1746.80/1749.64	c current bound: 160
1748.88/1751.32	c current bound: 160
1750.14/1752.98	c current bound: 160
1752.16/1754.66	c current bound: 160
1753.49/1756.34	c current bound: 160
1755.57/1758.02	c current bound: 160
1756.85/1759.69	c current bound: 160
1758.85/1761.36	c current bound: 160
1760.19/1763.04	c current bound: 160
1762.25/1764.71	c current bound: 160
1763.53/1766.39	c current bound: 160
1765.59/1768.22	c current bound: 160
1767.18/1769.89	c current bound: 160
1768.54/1771.55	c current bound: 160
1770.61/1773.23	c current bound: 160
1771.87/1774.89	c current bound: 160
1773.88/1776.56	c current bound: 160
1775.21/1778.24	c current bound: 160
1777.29/1779.91	c current bound: 160
1778.56/1781.57	c current bound: 160
1780.56/1783.24	c current bound: 160
1781.93/1784.95	c current bound: 160
1783.99/1786.63	c current bound: 160
1785.69/1788.31	c current bound: 160
1787.28/1789.98	c current bound: 160
1788.63/1791.65	c current bound: 160
1790.68/1793.33	c current bound: 160
1792.37/1795.00	c current bound: 160
1793.64/1796.67	c current bound: 160
1795.32/1798.35	c current bound: 160
1797.38/1800.01	c current bound: 160
1798.66/1801.68	c current bound: 160
1800.19/1802.82	c error: unexpected solver exit code
1800.19/1802.82	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-3753025-1339206191/watcher-3753025-1339206191 -o /tmp/evaluation-result-3753025-1339206191/solver-3753025-1339206191 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753025-1339206191.wbo 1959255887 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: 2.28 2.06 2.02 3/182 8971
/proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0

[startup+0.058811 s]
/proc/loadavg: 2.28 2.06 2.02 3/182 8971
/proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/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.28 2.06 2.02 3/182 8971
/proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300201 s]
/proc/loadavg: 2.28 2.06 2.02 3/182 8971
/proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700201 s]
/proc/loadavg: 2.28 2.06 2.02 3/182 8971
/proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 2.28 2.06 2.02 3/184 8973
/proc/meminfo: memFree=30533744/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67332 CPUtime=1.12 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 8234 0 0 0 106 6 0 0 20 0 1 0 30586196 68947968 13446 33554432000 4194304 6006132 140733457894832 140733457887936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16833 13446 158 443 0 16386 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 76480

[startup+3.10032 s]
/proc/loadavg: 2.28 2.06 2.02 3/186 8975
/proc/meminfo: memFree=30376188/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67332 CPUtime=1.12 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 8234 0 0 0 106 6 0 0 20 0 1 0 30586196 68947968 13446 33554432000 4194304 6006132 140733457894832 140733457887936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16833 13446 158 443 0 16386 0
[pid=8974] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8974/stat : 8974 (cp2_pre.sh) S 8972 8971 8611 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 30586309 9367552 277 33554432000 4194304 5064252 140736986985936 140736986984640 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8974/statm: 2287 277 234 213 0 72 0
[pid=8975] ppid=8974 vsize=160900 CPUtime=1.95 cores=0,2,4,6
/proc/8975/stat : 8975 (coprocessor) R 8974 8971 8611 0 -1 4202496 28865 0 0 0 190 5 0 0 20 0 1 0 30586310 164761600 39288 33554432000 4194304 6586260 140736305332576 140736305327944 5599216 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/8975/statm: 40225 39288 192 584 0 39637 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 246528

[startup+6.30024 s]
/proc/loadavg: 2.26 2.06 2.02 3/186 8975
/proc/meminfo: memFree=30366168/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67332 CPUtime=6.2 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 8249 45258 0 0 106 6 495 13 20 0 1 0 30586196 68947968 13447 33554432000 4194304 6006132 140733457894832 140733457888512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16833 13447 159 443 0 16386 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 76480

[startup+12.7002 s]
/proc/loadavg: 2.24 2.06 2.02 3/186 9002
/proc/meminfo: memFree=30490872/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=12.27 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 25215 135252 0 0 161 75 917 74 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 76484

[startup+25.5004 s]
/proc/loadavg: 2.18 2.06 2.02 3/187 9058
/proc/meminfo: memFree=30498548/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=25.15 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 55427 355922 0 0 234 84 1983 214 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457885680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
[pid=9056] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9056/stat : 9056 (cp2_post.sh) S 8972 8971 8611 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 30588715 9367552 266 33554432000 4194304 5064252 140736825498960 140736825497248 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9056/statm: 2287 266 225 213 0 72 0
[pid=9058] ppid=9056 vsize=15488 CPUtime=0.29 cores=0,2,4,6
/proc/9058/stat : 9058 (coprocessor) R 9056 8971 8611 0 -1 4202496 4105 0 0 0 20 9 0 0 20 0 1 0 30588716 15859712 2989 33554432000 4194304 6586260 140736044065600 140736825497272 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/9058/statm: 3872 2989 149 584 0 3284 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 101120

[startup+51.1002 s]
/proc/loadavg: 2.12 2.05 2.02 3/187 9163
/proc/meminfo: memFree=30491672/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=50.86 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 124460 789722 0 0 398 104 4074 510 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 76484

[startup+102.307 s]
/proc/loadavg: 2.01 2.03 2.01 3/185 9384
/proc/meminfo: memFree=30407244/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=101.37 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 253910 1647863 0 0 703 145 8177 1112 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
[pid=9383] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9383/stat : 9383 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30596348 9367552 266 33554432000 4194304 5064252 140734661743440 140734661742352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9383/statm: 2287 266 226 213 0 72 0
[pid=9384] ppid=9383 vsize=106288 CPUtime=0.77 cores=0,2,4,6
/proc/9384/stat : 9384 (glucose) R 9383 8971 8611 0 -1 4202496 21578 0 0 0 73 4 0 0 20 0 1 0 30596348 108838912 24414 33554432000 4194304 5208918 140735227774368 140735227772312 4211625 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9384/statm: 26572 24414 95 248 0 26321 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 191920

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/186 9632
/proc/meminfo: memFree=30493508/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=161.88 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 409250 2674440 0 0 1073 190 13112 1813 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
Current children cumulated CPU time (s) 161.88
Current children cumulated vsize (KiB) 76484

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 9888
/proc/meminfo: memFree=30403032/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=221.86 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 560282 3697817 0 0 1431 237 18019 2499 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457885680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
Current children cumulated CPU time (s) 221.86
Current children cumulated vsize (KiB) 76484

[startup+282.3 s]
/proc/loadavg: 2.23 2.08 2.02 3/185 10144
/proc/meminfo: memFree=30489068/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=281.3 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 715615 4704592 0 0 1800 283 22825 3222 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
Current children cumulated CPU time (s) 281.3

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

/proc/14506/statm: 26570 24948 95 248 0 26319 0
Current children cumulated CPU time (s) 1300.2
Current children cumulated vsize (KiB) 191912

[startup+1362.3 s]
/proc/loadavg: 2.37 2.12 2.04 3/185 14761
/proc/meminfo: memFree=30482424/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=1359.77 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 3485845 23002622 0 0 8435 1134 110427 15981 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
Current children cumulated CPU time (s) 1359.77
Current children cumulated vsize (KiB) 76484

[startup+1422.31 s]
/proc/loadavg: 2.13 2.10 2.03 3/185 15010
/proc/meminfo: memFree=30394556/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=1418.9 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 3636870 23997266 0 0 8795 1180 115228 16687 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
[pid=15009] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15009/stat : 15009 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30728317 9367552 267 33554432000 4194304 5064252 140734280808432 140734280807344 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15009/statm: 2287 267 226 213 0 72 0
[pid=15010] ppid=15009 vsize=107196 CPUtime=1.09 cores=0,2,4,6
/proc/15010/stat : 15010 (glucose) R 15009 8971 8611 0 -1 4202496 21126 0 0 0 104 5 0 0 20 0 1 0 30728317 109768704 25572 33554432000 4194304 5208918 140736030731744 140736030728264 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15010/statm: 26799 25572 105 248 0 26548 0
Current children cumulated CPU time (s) 1419.99
Current children cumulated vsize (KiB) 192828

[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/185 15270
/proc/meminfo: memFree=30474540/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=1479.2 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 3792210 25024672 0 0 9186 1231 120126 17377 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
[pid=15269] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15269/stat : 15269 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30734353 9367552 266 33554432000 4194304 5064252 140735275586448 140735275585360 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15269/statm: 2287 266 226 213 0 72 0
[pid=15270] ppid=15269 vsize=106284 CPUtime=0.71 cores=0,2,4,6
/proc/15270/stat : 15270 (glucose) R 15269 8971 8611 0 -1 4202496 21644 0 0 0 68 3 0 0 20 0 1 0 30734353 108834816 24975 33554432000 4194304 5208918 140735396190784 140735395140280 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15270/statm: 26571 24975 95 248 0 26320 0
Current children cumulated CPU time (s) 1479.91
Current children cumulated vsize (KiB) 191916

[startup+1542.3 s]
/proc/loadavg: 1.94 2.03 2.01 3/185 15529
/proc/meminfo: memFree=30394516/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=1539.37 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 3947550 26055295 0 0 9578 1280 125006 18073 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
[pid=15528] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30740370 9367552 267 33554432000 4194304 5064252 140735525917136 140735525916048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15528/statm: 2287 267 226 213 0 72 0
[pid=15529] ppid=15528 vsize=106148 CPUtime=0.55 cores=0,2,4,6
/proc/15529/stat : 15529 (glucose) R 15528 8971 8611 0 -1 4202496 20789 0 0 0 51 4 0 0 20 0 1 0 30740370 108695552 25235 33554432000 4194304 5208918 140734088872400 140735525916072 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15529/statm: 26537 25235 95 248 0 26286 0
Current children cumulated CPU time (s) 1539.92
Current children cumulated vsize (KiB) 191780

[startup+1602.3 s]
/proc/loadavg: 1.98 2.03 2.01 3/185 15781
/proc/meminfo: memFree=30397520/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=1599.92 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4099947 27076918 0 0 9939 1325 129935 18793 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
Current children cumulated CPU time (s) 1599.92
Current children cumulated vsize (KiB) 76484

[startup+1662.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 16036
/proc/meminfo: memFree=30396064/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=1659.8 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4253922 28097341 0 0 10324 1376 134804 19476 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457885680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
Current children cumulated CPU time (s) 1659.8
Current children cumulated vsize (KiB) 76484

[startup+1722.3 s]
/proc/loadavg: 1.84 1.98 1.99 3/185 16295
/proc/meminfo: memFree=30461156/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=1718.92 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4409255 29100709 0 0 10716 1425 139581 20170 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
[pid=16294] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16294/stat : 16294 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30758330 9367552 266 33554432000 4194304 5064252 140733617667216 140733617666128 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16294/statm: 2287 266 226 213 0 72 0
[pid=16295] ppid=16294 vsize=106284 CPUtime=0.95 cores=0,2,4,6
/proc/16295/stat : 16295 (glucose) R 16294 8971 8611 0 -1 4202496 21288 0 0 0 92 3 0 0 20 0 1 0 30758330 108834816 24616 33554432000 4194304 5208918 140736959890464 140736959888424 4211572 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16295/statm: 26571 24616 95 248 0 26320 0
Current children cumulated CPU time (s) 1719.87
Current children cumulated vsize (KiB) 191916

[startup+1782.3 s]
/proc/loadavg: 1.90 1.97 1.98 3/184 16554
/proc/meminfo: memFree=30405976/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=1779.06 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4564595 30129884 0 0 11108 1474 144442 20882 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
[pid=16553] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16553/stat : 16553 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30764364 9367552 267 33554432000 4194304 5064252 140736651402528 140736651401440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16553/statm: 2287 267 226 213 0 72 0
[pid=16554] ppid=16553 vsize=106148 CPUtime=0.61 cores=0,2,4,6
/proc/16554/stat : 16554 (glucose) R 16553 8971 8611 0 -1 4202496 21688 0 0 0 58 3 0 0 20 0 1 0 30764364 108695552 24511 33554432000 4194304 5208918 140733851579280 140733850528680 4211918 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16554/statm: 26537 24511 95 248 0 26286 0
Current children cumulated CPU time (s) 1779.67
Current children cumulated vsize (KiB) 191780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.8 s]
/proc/loadavg: 1.93 1.97 1.98 3/185 16684
/proc/meminfo: memFree=30476808/32873844 swapFree=7124/7124
[pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8971/statm: 2287 274 233 213 0 72 0
[pid=8972] ppid=8971 vsize=67336 CPUtime=1799.18 cores=0,2,4,6
/proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4616375 30472652 0 0 11238 1492 146073 21115 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8972/statm: 16834 13466 177 443 0 16387 0
[pid=16683] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16683/stat : 16683 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30766375 9367552 267 33554432000 4194304 5064252 140736223938656 140736223937568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16683/statm: 2287 267 226 213 0 72 0
[pid=16684] ppid=16683 vsize=107196 CPUtime=1.01 cores=0,2,4,6
/proc/16684/stat : 16684 (glucose) R 16683 8971 8611 0 -1 4202496 21536 0 0 0 98 3 0 0 20 0 1 0 30766375 109768704 24832 33554432000 4194304 5208918 140733818887488 140733818885432 4234202 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 26799 24832 103 248 0 26548 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 192828

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8971 and gives
#  childrusage.ru_utime.tv_sec=1573
#  childrusage.ru_utime.tv_usec=126848
#  childrusage.ru_stime.tv_sec=226
#  childrusage.ru_stime.tv_usec=80630
# CPU time returned by wait4() is 1799.21
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1802.83
CPU time (s): 1800.19
CPU user time (s): 1574.09
CPU system time (s): 226.1
CPU usage (%): 99.8535
Max. virtual memory (cumulated for all children) (KiB): 246928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1573.13
system time used= 226.081
maximum resident set size= 163664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35090002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 45247208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 805431
involuntary context switches= 19046

runsolver used 3.9104 second user time and 10.2044 second system time

The end

Launcher Data

Begin job on node134 at 2012-06-09 03:43:11
IDJOB=3753025
IDBENCH=79088
IDSOLVER=2336
FILE ID=node134/3753025-1339206191
RUNJOBID= node134-1339204370-8627
PBS_JOBID= 14643850
Free space on /tmp= 71124 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j6010_2-unsat--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-3753025-1339206191/watcher-3753025-1339206191 -o /tmp/evaluation-result-3753025-1339206191/solver-3753025-1339206191 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753025-1339206191.wbo 1959255887 HOME HOME

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

MD5SUM BENCH= c0c0bebc7e31a6df8b165cc7ff9f27e8
RANDOM SEED=1959255887

node134.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		: 2667.091
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	: 5334.18
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		: 2667.091
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	: 5332.55
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		: 2667.091
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	: 5332.55
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		: 2667.091
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	: 5332.55
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		: 2667.091
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	: 5332.55
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		: 2667.091
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	: 5332.56
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		: 2667.091
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	: 5332.56
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		: 2667.091
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30588396 kB
Buffers:          370740 kB
Cached:           963184 kB
SwapCached:            0 kB
Active:           610872 kB
Inactive:         844396 kB
Active(anon):     108284 kB
Inactive(anon):    11184 kB
Active(file):     502588 kB
Inactive(file):   833212 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             31460 kB
Writeback:             0 kB
AnonPages:        236832 kB
Mapped:            15188 kB
Shmem:               212 kB
Slab:             690332 kB
SReclaimable:     131304 kB
SUnreclaim:       559028 kB
KernelStack:        1536 kB
PageTables:         4448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     239448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 71104 MiB
End job on node134 at 2012-06-09 04:13:14