Trace number 3753110

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.41 1799.62

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
MD5SUMf2d449aa8c80edec7a2d4cb4a780c49d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark333
Best CPU time to get the best result obtained on this benchmark0.117981
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c run usual solver
0.00/0.05	o 2936
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 14.9736
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 1468
1.61/1.92	c current bound: 1468
3.47/3.78	c current bound: 1468
5.56/5.64	c current bound: 1468
7.48/7.50	c current bound: 1468
9.09/9.37	c current bound: 1468
10.94/11.23	c current bound: 1468
12.80/13.09	c current bound: 1468
14.66/14.95	c current bound: 1468
16.52/16.80	c current bound: 1468
18.56/18.68	c current bound: 1468
20.24/20.54	c current bound: 1468
22.38/22.40	c current bound: 1468
24.17/24.27	c current bound: 1468
25.82/26.12	c current bound: 1468
27.69/27.97	c current bound: 1468
29.76/29.84	c current bound: 1468
31.40/31.69	c current bound: 1468
33.26/33.55	c current bound: 1468
35.12/35.41	c current bound: 1468
36.99/37.27	c current bound: 1468
38.86/39.13	c current bound: 1468
40.71/41.00	c current bound: 1468
42.78/42.86	c current bound: 1468
44.44/44.71	c current bound: 1468
46.31/46.57	c current bound: 1468
48.41/48.44	c current bound: 1468
50.05/50.31	c current bound: 1468
51.90/52.16	c current bound: 1468
53.99/54.02	c current bound: 1468
55.61/55.88	c current bound: 1468
57.47/57.74	c current bound: 1468
59.33/59.60	c current bound: 1468
61.20/61.47	c current bound: 1468
63.07/63.34	c current bound: 1468
64.94/65.21	c current bound: 1468
67.00/67.07	c current bound: 1468
68.65/68.92	c current bound: 1468
70.52/70.78	c current bound: 1468
72.60/72.65	c current bound: 1468
74.25/74.51	c current bound: 1468
76.11/76.37	c current bound: 1468
78.20/78.23	c current bound: 1468
79.83/80.09	c current bound: 1468
81.68/81.94	c current bound: 1468
83.80/83.80	c current bound: 1468
85.40/85.66	c current bound: 1468
87.27/87.52	c current bound: 1468
89.13/89.38	c current bound: 1468
91.20/91.24	c current bound: 1468
93.12/93.10	c current bound: 1468
94.70/94.95	c current bound: 1468
96.82/96.81	c current bound: 1468
98.41/98.67	c current bound: 1468
100.28/100.53	c current bound: 1468
102.32/102.39	c current bound: 1468
104.01/104.25	c current bound: 1468
105.87/106.12	c current bound: 1468
107.74/107.99	c current bound: 1468
109.60/109.84	c current bound: 1468
111.48/111.70	c current bound: 1468
113.33/113.56	c current bound: 1468
115.45/115.42	c current bound: 1468
117.06/117.28	c current bound: 1468
118.92/119.14	c current bound: 1468
121.06/121.01	c current bound: 1468
122.63/122.86	c current bound: 1468
124.50/124.73	c current bound: 1468
126.64/126.61	c current bound: 1468
128.24/128.47	c current bound: 1468
130.11/130.33	c current bound: 1468
131.96/132.19	c current bound: 1468
133.83/134.05	c current bound: 1468
135.69/135.91	c current bound: 1468
137.56/137.77	c current bound: 1468
139.64/139.63	c current bound: 1468
141.27/141.48	c current bound: 1468
143.12/143.33	c current bound: 1468
145.14/145.20	c current bound: 1468
146.84/147.06	c current bound: 1468
148.69/148.92	c current bound: 1468
150.74/150.78	c current bound: 1468
152.42/152.65	c current bound: 1468
154.27/154.50	c current bound: 1468
156.33/156.36	c current bound: 1468
158.00/158.22	c current bound: 1468
159.85/160.08	c current bound: 1468
161.71/161.94	c current bound: 1468
163.58/163.81	c current bound: 1468
165.44/165.66	c current bound: 1468
167.29/167.53	c current bound: 1468
169.33/169.39	c current bound: 1468
171.03/171.26	c current bound: 1468
172.89/173.12	c current bound: 1468
174.94/174.98	c current bound: 1468
176.63/176.85	c current bound: 1468
178.48/178.71	c current bound: 1468
180.52/180.56	c current bound: 1468
182.18/182.41	c current bound: 1468
184.34/184.30	c current bound: 1468
185.93/186.17	c current bound: 1468
188.03/188.03	c current bound: 1468
189.66/189.89	c current bound: 1468
191.53/191.75	c current bound: 1468
193.64/193.62	c current bound: 1468
195.30/195.51	c current bound: 1468
197.16/197.38	c current bound: 1468
199.23/199.24	c current bound: 1468
200.89/201.11	c current bound: 1468
202.75/202.97	c current bound: 1468
204.61/204.82	c current bound: 1468
206.47/206.68	c current bound: 1468
208.33/208.54	c current bound: 1468
210.19/210.40	c current bound: 1468
212.25/212.27	c current bound: 1468
213.91/214.13	c current bound: 1468
216.06/216.00	c current bound: 1468
217.86/217.86	c current bound: 1468
219.49/219.71	c current bound: 1468
221.36/221.57	c current bound: 1468
223.45/223.43	c current bound: 1468
225.08/225.29	c current bound: 1468
226.95/227.15	c current bound: 1468
228.81/229.01	c current bound: 1468
230.68/230.87	c current bound: 1468
232.53/232.73	c current bound: 1468
234.37/234.59	c current bound: 1468
236.45/236.46	c current bound: 1468
238.12/238.32	c current bound: 1468
239.99/240.17	c current bound: 1468
242.08/242.04	c current bound: 1468
243.72/243.92	c current bound: 1468
245.61/245.79	c current bound: 1468
247.67/247.64	c current bound: 1468
249.32/249.50	c current bound: 1468
251.18/251.37	c current bound: 1468
253.03/253.22	c current bound: 1468
254.89/255.08	c current bound: 1468
256.75/256.94	c current bound: 1468
258.62/258.81	c current bound: 1468
260.68/260.67	c current bound: 1468
262.34/262.52	c current bound: 1468
264.20/264.39	c current bound: 1468
266.28/266.25	c current bound: 1468
267.94/268.11	c current bound: 1468
269.79/269.96	c current bound: 1468
271.88/271.82	c current bound: 1468
273.51/273.69	c current bound: 1468
275.37/275.55	c current bound: 1468
277.24/277.41	c current bound: 1468
279.10/279.27	c current bound: 1468
280.95/281.13	c current bound: 1468
282.82/282.99	c current bound: 1468
284.89/284.85	c current bound: 1468
286.55/286.72	c current bound: 1468
288.41/288.58	c current bound: 1468
290.52/290.43	c current bound: 1468
292.13/292.30	c current bound: 1468
294.00/294.17	c current bound: 1468
296.11/296.02	c current bound: 1468
297.73/297.89	c current bound: 1468
299.59/299.77	c current bound: 1468
301.46/301.62	c current bound: 1468
303.32/303.48	c current bound: 1468
305.19/305.34	c current bound: 1468
307.06/307.20	c current bound: 1468
309.13/309.07	c current bound: 1468
310.77/310.92	c current bound: 1468
312.63/312.78	c current bound: 1468
314.70/314.65	c current bound: 1468
316.35/316.51	c current bound: 1468
318.21/318.36	c current bound: 1468
320.29/320.22	c current bound: 1468
321.96/322.12	c current bound: 1468
323.83/323.98	c current bound: 1468
325.69/325.84	c current bound: 1468
327.81/327.71	c current bound: 1468
329.40/329.56	c current bound: 1468
331.26/331.42	c current bound: 1468
333.31/333.27	c current bound: 1468
334.98/335.14	c current bound: 1468
336.84/336.99	c current bound: 1468
338.92/338.86	c current bound: 1468
340.58/340.73	c current bound: 1468
342.42/342.58	c current bound: 1468
344.50/344.45	c current bound: 1468
346.16/346.31	c current bound: 1468
348.04/348.18	c current bound: 1468
349.89/350.04	c current bound: 1468
352.01/351.91	c current bound: 1468
353.63/353.78	c current bound: 1468
355.52/355.66	c current bound: 1468
357.63/357.52	c current bound: 1468
359.25/359.39	c current bound: 1468
361.11/361.25	c current bound: 1468
363.21/363.10	c current bound: 1468
364.84/364.97	c current bound: 1468
366.72/366.85	c current bound: 1468
368.59/368.72	c current bound: 1468
370.47/370.60	c current bound: 1468
372.32/372.46	c current bound: 1468
374.20/374.33	c current bound: 1468
376.25/376.19	c current bound: 1468
377.92/378.05	c current bound: 1468
379.78/379.91	c current bound: 1468
381.83/381.77	c current bound: 1468
383.51/383.63	c current bound: 1468
385.38/385.52	c current bound: 1468
387.55/387.40	c current bound: 1468
389.13/389.26	c current bound: 1468
390.99/391.13	c current bound: 1468
392.86/392.99	c current bound: 1468
394.94/394.85	c current bound: 1468
396.60/396.72	c current bound: 1468
398.48/398.60	c current bound: 1468
400.55/400.48	c current bound: 1468
402.23/402.35	c current bound: 1468
404.11/404.23	c current bound: 1468
406.27/406.10	c current bound: 1468
407.84/407.96	c current bound: 1468
409.72/409.82	c current bound: 1468
411.87/411.70	c current bound: 1468
413.67/413.58	c current bound: 1468
415.36/415.46	c current bound: 1468
417.22/417.33	c current bound: 1468
419.35/419.21	c current bound: 1468
420.98/421.08	c current bound: 1468
422.86/422.97	c current bound: 1468
424.72/424.82	c current bound: 1468
426.58/426.70	c current bound: 1468
428.46/428.57	c current bound: 1468
430.34/430.45	c current bound: 1468
432.47/432.31	c current bound: 1468
434.07/434.17	c current bound: 1468
435.92/436.03	c current bound: 1468
438.04/437.91	c current bound: 1468
439.67/439.78	c current bound: 1468
441.56/441.66	c current bound: 1468
443.42/443.53	c current bound: 1468
445.28/445.39	c current bound: 1468
447.15/447.27	c current bound: 1468
449.01/449.14	c current bound: 1468
451.17/451.00	c current bound: 1468
452.77/452.87	c current bound: 1468
454.62/454.72	c current bound: 1468
456.66/456.59	c current bound: 1468
458.37/458.46	c current bound: 1468
460.26/460.36	c current bound: 1468
462.15/462.24	c current bound: 1468
464.27/464.11	c current bound: 1468
465.88/465.97	c current bound: 1468
467.76/467.85	c current bound: 1468
469.88/469.72	c current bound: 1468
471.49/471.57	c current bound: 1468
473.34/473.45	c current bound: 1468
475.47/475.32	c current bound: 1468
477.09/477.19	c current bound: 1468
478.96/479.06	c current bound: 1468
480.83/480.91	c current bound: 1468
482.70/482.78	c current bound: 1468
484.57/484.65	c current bound: 1468
486.43/486.52	c current bound: 1468
488.47/488.39	c current bound: 1468
490.17/490.25	c current bound: 1468
492.06/492.14	c current bound: 1468
494.17/494.01	c current bound: 1468
495.79/495.87	c current bound: 1468
497.65/497.73	c current bound: 1468
499.51/499.59	c current bound: 1468
501.38/501.46	c current bound: 1468
503.26/503.32	c current bound: 1468
505.12/505.19	c current bound: 1468
507.21/507.05	c current bound: 1468
508.86/508.92	c current bound: 1468
510.71/510.78	c current bound: 1468
512.80/512.65	c current bound: 1468
514.44/514.51	c current bound: 1468
516.31/516.37	c current bound: 1468
518.39/518.25	c current bound: 1468
520.05/520.10	c current bound: 1468
521.92/521.99	c current bound: 1468
523.79/523.85	c current bound: 1468
525.90/525.72	c current bound: 1468
527.53/527.59	c current bound: 1468
529.41/529.47	c current bound: 1468
531.51/531.34	c current bound: 1468
533.14/533.19	c current bound: 1468
535.00/535.05	c current bound: 1468
537.11/536.90	c current bound: 1468
538.71/538.76	c current bound: 1468
540.58/540.62	c current bound: 1468
542.42/542.47	c current bound: 1468
544.29/544.33	c current bound: 1468
546.14/546.19	c current bound: 1468
548.04/548.08	c current bound: 1468
550.10/549.95	c current bound: 1468
551.77/551.81	c current bound: 1468
553.63/553.67	c current bound: 1468
555.71/555.53	c current bound: 1468
557.61/557.40	c current bound: 1468
559.20/559.26	c current bound: 1468
561.29/561.13	c current bound: 1468
562.95/563.01	c current bound: 1468
564.82/564.87	c current bound: 1468
566.70/566.75	c current bound: 1468
568.81/568.64	c current bound: 1468
570.46/570.52	c current bound: 1468
572.34/572.39	c current bound: 1468
574.41/574.25	c current bound: 1468
576.06/576.11	c current bound: 1468
577.91/577.97	c current bound: 1468
580.00/579.84	c current bound: 1468
581.92/581.70	c current bound: 1468
583.50/583.56	c current bound: 1468
585.37/585.42	c current bound: 1468
587.23/587.29	c current bound: 1468
589.10/589.14	c current bound: 1468
590.95/591.00	c current bound: 1468
593.01/592.86	c current bound: 1468
594.68/594.72	c current bound: 1468
596.54/596.57	c current bound: 1468
598.63/598.43	c current bound: 1468
600.54/600.30	c current bound: 1468
602.13/602.17	c current bound: 1468
604.35/604.10	c current bound: 1468
605.94/605.96	c current bound: 1468
607.80/607.81	c current bound: 1468
609.65/609.67	c current bound: 1468
611.74/611.53	c current bound: 1468
613.37/613.39	c current bound: 1468
615.24/615.25	c current bound: 1468
617.35/617.12	c current bound: 1468
618.95/618.98	c current bound: 1468
620.82/620.84	c current bound: 1468
622.96/622.70	c current bound: 1468
624.54/624.55	c current bound: 1468
626.40/626.41	c current bound: 1468
628.26/628.28	c current bound: 1468
630.13/630.14	c current bound: 1468
632.28/632.00	c current bound: 1468
633.86/633.85	c current bound: 1468
635.96/635.72	c current bound: 1468
637.58/637.58	c current bound: 1468
639.43/639.43	c current bound: 1468
641.56/641.31	c current bound: 1468
643.16/643.16	c current bound: 1468
645.01/645.02	c current bound: 1468
647.06/646.88	c current bound: 1468
648.73/648.73	c current bound: 1468
650.58/650.59	c current bound: 1468
652.64/652.42	c current bound: 1468
654.29/654.28	c current bound: 1468
656.15/656.14	c current bound: 1468
658.28/658.00	c current bound: 1468
659.86/659.86	c current bound: 1468
661.72/661.72	c current bound: 1468
663.57/663.58	c current bound: 1468
665.65/665.44	c current bound: 1468
667.29/667.30	c current bound: 1468
669.16/669.16	c current bound: 1468
671.25/671.03	c current bound: 1468
672.87/672.88	c current bound: 1468
674.74/674.74	c current bound: 1468
676.85/676.62	c current bound: 1468
678.49/678.50	c current bound: 1468
680.35/680.37	c current bound: 1468
682.23/682.24	c current bound: 1468
684.34/684.12	c current bound: 1468
686.25/686.00	c current bound: 1468
687.85/687.87	c current bound: 1468
689.95/689.73	c current bound: 1468
691.57/691.59	c current bound: 1468
693.45/693.47	c current bound: 1468
695.54/695.36	c current bound: 1468
697.20/697.23	c current bound: 1468
699.05/699.08	c current bound: 1468
700.92/700.94	c current bound: 1468
702.79/702.80	c current bound: 1468
704.64/704.66	c current bound: 1468
706.50/706.52	c current bound: 1468
708.65/708.40	c current bound: 1468
710.23/710.25	c current bound: 1468
712.10/712.11	c current bound: 1468
714.14/713.98	c current bound: 1468
715.82/715.84	c current bound: 1468
717.71/717.72	c current bound: 1468
719.85/719.60	c current bound: 1468
721.47/721.48	c current bound: 1468
723.33/723.34	c current bound: 1468
725.20/725.20	c current bound: 1468
727.26/727.06	c current bound: 1468
728.92/728.92	c current bound: 1468
731.06/730.84	c current bound: 1468
732.90/732.71	c current bound: 1468
734.50/734.57	c current bound: 1468
736.37/736.42	c current bound: 1468
738.22/738.28	c current bound: 1468
740.08/740.14	c current bound: 1468
741.92/741.99	c current bound: 1468
743.80/743.85	c current bound: 1468
745.91/745.71	c current bound: 1468
747.52/747.57	c current bound: 1468
749.39/749.44	c current bound: 1468
751.50/751.32	c current bound: 1468
753.41/753.20	c current bound: 1468
755.01/755.07	c current bound: 1468
757.10/756.96	c current bound: 1468
758.77/758.83	c current bound: 1468
760.63/760.69	c current bound: 1468
762.50/762.56	c current bound: 1468
764.61/764.41	c current bound: 1468
766.21/766.27	c current bound: 1468
768.07/768.12	c current bound: 1468
770.10/769.99	c current bound: 1468
771.80/771.86	c current bound: 1468
773.66/773.71	c current bound: 1468
775.70/775.58	c current bound: 1468
777.38/777.44	c current bound: 1468
779.50/779.30	c current bound: 1468
781.30/781.17	c current bound: 1468
782.97/783.02	c current bound: 1468
784.82/784.88	c current bound: 1468
786.67/786.74	c current bound: 1468
788.53/788.59	c current bound: 1468
790.41/790.47	c current bound: 1468
792.29/792.35	c current bound: 1468
794.40/794.22	c current bound: 1468
796.02/796.09	c current bound: 1468
797.88/797.94	c current bound: 1468
800.00/799.81	c current bound: 1468
801.61/801.67	c current bound: 1468
803.47/803.53	c current bound: 1468
805.33/805.39	c current bound: 1468
807.20/807.25	c current bound: 1468
809.06/809.11	c current bound: 1468
810.91/810.97	c current bound: 1468
813.01/812.82	c current bound: 1468
814.64/814.69	c current bound: 1468
816.50/816.57	c current bound: 1468
818.61/818.44	c current bound: 1468
820.24/820.29	c current bound: 1468
822.09/822.15	c current bound: 1468
824.18/824.01	c current bound: 1468
825.81/825.88	c current bound: 1468
827.68/827.74	c current bound: 1468
829.81/829.60	c current bound: 1468
831.40/831.47	c current bound: 1468
833.28/833.33	c current bound: 1468
835.41/835.20	c current bound: 1468
837.22/837.05	c current bound: 1468
838.86/838.92	c current bound: 1468
840.72/840.76	c current bound: 1468
842.83/842.63	c current bound: 1468
844.44/844.49	c current bound: 1468
846.33/846.37	c current bound: 1468
848.42/848.25	c current bound: 1468
850.04/850.10	c current bound: 1468
851.90/851.96	c current bound: 1468
853.76/853.82	c current bound: 1468
855.62/855.67	c current bound: 1468
857.47/857.53	c current bound: 1468
859.34/859.39	c current bound: 1468
861.40/861.28	c current bound: 1468
863.09/863.14	c current bound: 1468
865.22/865.00	c current bound: 1468
867.01/866.86	c current bound: 1468
868.67/868.72	c current bound: 1468
870.52/870.58	c current bound: 1468
872.61/872.44	c current bound: 1468
874.24/874.30	c current bound: 1468
876.10/876.15	c current bound: 1468
877.96/878.01	c current bound: 1468
879.82/879.88	c current bound: 1468
881.71/881.75	c current bound: 1468
883.56/883.60	c current bound: 1468
885.61/885.46	c current bound: 1468
887.28/887.32	c current bound: 1468
889.14/889.19	c current bound: 1468
891.22/891.06	c current bound: 1468
892.87/892.93	c current bound: 1468
894.74/894.78	c current bound: 1468
896.81/896.66	c current bound: 1468
898.47/898.53	c current bound: 1468
900.34/900.39	c current bound: 1468
902.19/902.24	c current bound: 1468
904.06/904.10	c current bound: 1468
905.91/905.96	c current bound: 1468
907.79/907.83	c current bound: 1468
909.93/909.71	c current bound: 1468
911.54/911.59	c current bound: 1468
913.42/913.46	c current bound: 1468
915.51/915.34	c current bound: 1468
917.17/917.21	c current bound: 1468
919.02/919.07	c current bound: 1468
920.91/920.95	c current bound: 1468
922.74/922.80	c current bound: 1468
924.61/924.66	c current bound: 1468
926.49/926.52	c current bound: 1468
928.52/928.39	c current bound: 1468
930.22/930.25	c current bound: 1468
932.07/932.11	c current bound: 1468
934.13/933.97	c current bound: 1468
935.79/935.84	c current bound: 1468
937.93/937.70	c current bound: 1468
939.71/939.56	c current bound: 1468
941.37/941.42	c current bound: 1468
943.24/943.29	c current bound: 1468
945.10/945.15	c current bound: 1468
947.23/947.01	c current bound: 1468
948.85/948.87	c current bound: 1468
950.71/950.73	c current bound: 1468
952.73/952.59	c current bound: 1468
954.43/954.45	c current bound: 1468
956.29/956.32	c current bound: 1468
958.34/958.19	c current bound: 1468
960.02/960.05	c current bound: 1468
961.89/961.90	c current bound: 1468
963.77/963.79	c current bound: 1468
965.64/965.67	c current bound: 1468
967.52/967.54	c current bound: 1468
969.40/969.42	c current bound: 1468
971.45/971.30	c current bound: 1468
973.17/973.19	c current bound: 1468
975.04/975.06	c current bound: 1468
977.13/976.92	c current bound: 1468
978.75/978.78	c current bound: 1468
980.61/980.63	c current bound: 1468
982.47/982.49	c current bound: 1468
984.33/984.34	c current bound: 1468
986.45/986.20	c current bound: 1468
988.04/988.05	c current bound: 1468
990.15/989.91	c current bound: 1468
991.78/991.79	c current bound: 1468
993.66/993.67	c current bound: 1468
995.75/995.53	c current bound: 1468
997.38/997.39	c current bound: 1468
999.23/999.24	c current bound: 1468
1001.33/1001.10	c current bound: 1468
1002.95/1002.98	c current bound: 1468
1004.83/1004.85	c current bound: 1468
1006.96/1006.70	c current bound: 1468
1008.53/1008.55	c current bound: 1468
1010.40/1010.41	c current bound: 1468
1012.26/1012.27	c current bound: 1468
1014.34/1014.13	c current bound: 1468
1015.98/1015.99	c current bound: 1468
1017.83/1017.86	c current bound: 1468
1019.94/1019.72	c current bound: 1468
1021.56/1021.58	c current bound: 1468
1023.42/1023.44	c current bound: 1468
1025.54/1025.30	c current bound: 1468
1027.16/1027.17	c current bound: 1468
1029.03/1029.03	c current bound: 1468
1030.88/1030.88	c current bound: 1468
1032.73/1032.74	c current bound: 1468
1034.60/1034.61	c current bound: 1468
1036.50/1036.50	c current bound: 1468
1038.56/1038.37	c current bound: 1468
1040.22/1040.22	c current bound: 1468
1042.07/1042.08	c current bound: 1468
1044.15/1043.94	c current bound: 1468
1045.79/1045.80	c current bound: 1468
1047.66/1047.66	c current bound: 1468
1049.74/1049.53	c current bound: 1468
1051.38/1051.39	c current bound: 1468
1053.24/1053.25	c current bound: 1468
1055.10/1055.11	c current bound: 1468
1056.97/1056.97	c current bound: 1468
1058.82/1058.82	c current bound: 1468
1060.68/1060.68	c current bound: 1468
1062.76/1062.55	c current bound: 1468
1064.42/1064.41	c current bound: 1468
1066.27/1066.26	c current bound: 1468
1068.37/1068.13	c current bound: 1468
1069.99/1069.99	c current bound: 1468
1071.86/1071.85	c current bound: 1468
1073.97/1073.72	c current bound: 1468
1075.88/1075.60	c current bound: 1468
1077.50/1077.48	c current bound: 1468
1079.38/1079.36	c current bound: 1468
1081.47/1081.24	c current bound: 1468
1083.15/1083.13	c current bound: 1468
1085.01/1085.01	c current bound: 1468
1087.07/1086.87	c current bound: 1468
1088.74/1088.72	c current bound: 1468
1090.60/1090.58	c current bound: 1468
1092.67/1092.44	c current bound: 1468
1094.32/1094.30	c current bound: 1468
1096.19/1096.17	c current bound: 1468
1098.04/1098.03	c current bound: 1468
1099.90/1099.88	c current bound: 1468
1101.77/1101.74	c current bound: 1468
1103.62/1103.60	c current bound: 1468
1105.70/1105.46	c current bound: 1468
1107.36/1107.33	c current bound: 1468
1109.21/1109.18	c current bound: 1468
1111.28/1111.04	c current bound: 1468
1112.93/1112.90	c current bound: 1468
1114.79/1114.76	c current bound: 1468
1116.89/1116.62	c current bound: 1468
1118.51/1118.48	c current bound: 1468
1120.36/1120.33	c current bound: 1468
1122.20/1122.18	c current bound: 1468
1124.06/1124.04	c current bound: 1468
1125.92/1125.89	c current bound: 1468
1127.78/1127.74	c current bound: 1468
1129.91/1129.61	c current bound: 1468
1131.49/1131.46	c current bound: 1468
1133.36/1133.32	c current bound: 1468
1135.39/1135.17	c current bound: 1468
1137.07/1137.03	c current bound: 1468
1138.93/1138.89	c current bound: 1468
1141.01/1140.75	c current bound: 1468
1142.63/1142.60	c current bound: 1468
1144.50/1144.46	c current bound: 1468
1146.59/1146.33	c current bound: 1468
1148.24/1148.19	c current bound: 1468
1150.11/1150.07	c current bound: 1468
1151.98/1151.94	c current bound: 1468
1154.10/1153.81	c current bound: 1468
1155.72/1155.67	c current bound: 1468
1157.58/1157.53	c current bound: 1468
1159.60/1159.39	c current bound: 1468
1161.29/1161.25	c current bound: 1468
1163.15/1163.11	c current bound: 1468
1165.21/1164.97	c current bound: 1468
1166.86/1166.82	c current bound: 1468
1168.72/1168.68	c current bound: 1468
1170.81/1170.54	c current bound: 1468
1172.46/1172.40	c current bound: 1468
1174.32/1174.28	c current bound: 1468
1176.18/1176.16	c current bound: 1468
1178.30/1178.02	c current bound: 1468
1179.91/1179.88	c current bound: 1468
1181.77/1181.74	c current bound: 1468
1183.78/1183.59	c current bound: 1468
1185.47/1185.45	c current bound: 1468
1187.34/1187.32	c current bound: 1468
1189.22/1189.20	c current bound: 1468
1191.08/1191.07	c current bound: 1468
1192.93/1192.93	c current bound: 1468
1194.80/1194.79	c current bound: 1468
1196.66/1196.65	c current bound: 1468
1198.53/1198.52	c current bound: 1468
1200.38/1200.37	c current bound: 1468
1202.46/1202.22	c current bound: 1468
1204.08/1204.08	c current bound: 1468
1205.94/1205.94	c current bound: 1468
1208.07/1207.80	c current bound: 1468
1209.65/1209.66	c current bound: 1468
1211.50/1211.52	c current bound: 1468
1213.56/1213.38	c current bound: 1468
1215.24/1215.24	c current bound: 1468
1217.11/1217.12	c current bound: 1468
1218.96/1218.99	c current bound: 1468
1220.84/1220.86	c current bound: 1468
1222.72/1222.72	c current bound: 1468
1224.86/1224.60	c current bound: 1468
1226.65/1226.45	c current bound: 1468
1228.31/1228.32	c current bound: 1468
1230.17/1230.18	c current bound: 1468
1232.26/1232.04	c current bound: 1468
1233.91/1233.92	c current bound: 1468
1235.75/1235.77	c current bound: 1468
1237.84/1237.63	c current bound: 1468
1239.47/1239.49	c current bound: 1468
1241.34/1241.35	c current bound: 1468
1243.20/1243.21	c current bound: 1468
1245.06/1245.07	c current bound: 1468
1246.92/1246.94	c current bound: 1468
1249.04/1248.80	c current bound: 1468
1250.84/1250.67	c current bound: 1468
1252.49/1252.52	c current bound: 1468
1254.35/1254.38	c current bound: 1468
1256.43/1256.25	c current bound: 1468
1258.09/1258.11	c current bound: 1468
1260.25/1260.00	c current bound: 1468
1262.04/1261.86	c current bound: 1468
1263.71/1263.72	c current bound: 1468
1265.57/1265.58	c current bound: 1468
1267.43/1267.44	c current bound: 1468
1269.57/1269.30	c current bound: 1468
1271.16/1271.17	c current bound: 1468
1273.04/1273.04	c current bound: 1468
1275.16/1274.92	c current bound: 1468
1276.77/1276.78	c current bound: 1468
1278.64/1278.65	c current bound: 1468
1280.75/1280.52	c current bound: 1468
1282.36/1282.37	c current bound: 1468
1284.24/1284.25	c current bound: 1468
1286.11/1286.11	c current bound: 1468
1287.98/1287.98	c current bound: 1468
1289.85/1289.85	c current bound: 1468
1291.72/1291.70	c current bound: 1468
1293.78/1293.57	c current bound: 1468
1295.43/1295.43	c current bound: 1468
1297.32/1297.31	c current bound: 1468
1299.37/1299.19	c current bound: 1468
1301.07/1301.05	c current bound: 1468
1302.92/1302.91	c current bound: 1468
1304.96/1304.77	c current bound: 1468
1306.64/1306.64	c current bound: 1468
1308.53/1308.52	c current bound: 1468
1310.41/1310.40	c current bound: 1468
1312.27/1312.26	c current bound: 1468
1314.14/1314.12	c current bound: 1468
1316.02/1316.01	c current bound: 1468
1318.08/1317.88	c current bound: 1468
1319.77/1319.74	c current bound: 1468
1321.63/1321.61	c current bound: 1468
1323.69/1323.48	c current bound: 1468
1325.37/1325.34	c current bound: 1468
1327.24/1327.20	c current bound: 1468
1329.30/1329.06	c current bound: 1468
1330.96/1330.92	c current bound: 1468
1332.83/1332.78	c current bound: 1468
1334.70/1334.65	c current bound: 1468
1336.81/1336.52	c current bound: 1468
1338.72/1338.40	c current bound: 1468
1340.31/1340.26	c current bound: 1468
1342.40/1342.13	c current bound: 1468
1344.04/1343.99	c current bound: 1468
1345.92/1345.86	c current bound: 1468
1348.01/1347.71	c current bound: 1468
1349.64/1349.58	c current bound: 1468
1351.49/1351.44	c current bound: 1468
1353.37/1353.30	c current bound: 1468
1355.23/1355.17	c current bound: 1468
1357.10/1357.04	c current bound: 1468
1358.96/1358.89	c current bound: 1468
1361.03/1360.76	c current bound: 1468
1362.70/1362.63	c current bound: 1468
1364.57/1364.51	c current bound: 1468
1366.63/1366.37	c current bound: 1468
1368.31/1368.24	c current bound: 1468
1370.20/1370.12	c current bound: 1468
1372.06/1371.98	c current bound: 1468
1373.93/1373.85	c current bound: 1468
1375.79/1375.72	c current bound: 1468
1377.67/1377.58	c current bound: 1468
1379.75/1379.44	c current bound: 1468
1381.40/1381.31	c current bound: 1468
1383.28/1383.17	c current bound: 1468
1385.37/1385.05	c current bound: 1468
1387.01/1386.92	c current bound: 1468
1388.87/1388.78	c current bound: 1468
1390.96/1390.64	c current bound: 1468
1392.58/1392.49	c current bound: 1468
1394.46/1394.36	c current bound: 1468
1396.35/1396.23	c current bound: 1468
1398.20/1398.10	c current bound: 1468
1400.08/1399.97	c current bound: 1468
1401.94/1401.83	c current bound: 1468
1403.95/1403.70	c current bound: 1468
1405.65/1405.56	c current bound: 1468
1407.51/1407.42	c current bound: 1468
1409.57/1409.27	c current bound: 1468
1411.24/1411.14	c current bound: 1468
1413.12/1413.02	c current bound: 1468
1414.99/1414.88	c current bound: 1468
1416.86/1416.75	c current bound: 1468
1418.72/1418.61	c current bound: 1468
1420.60/1420.49	c current bound: 1468
1422.66/1422.35	c current bound: 1468
1424.32/1424.21	c current bound: 1468
1426.19/1426.08	c current bound: 1468
1428.27/1427.95	c current bound: 1468
1429.92/1429.81	c current bound: 1468
1431.78/1431.66	c current bound: 1468
1433.87/1433.52	c current bound: 1468
1435.49/1435.37	c current bound: 1468
1437.37/1437.24	c current bound: 1468
1439.23/1439.11	c current bound: 1468
1441.09/1440.97	c current bound: 1468
1442.97/1442.85	c current bound: 1468
1444.85/1444.71	c current bound: 1468
1446.91/1446.58	c current bound: 1468
1448.58/1448.45	c current bound: 1468
1450.46/1450.32	c current bound: 1468
1452.52/1452.18	c current bound: 1468
1454.20/1454.05	c current bound: 1468
1456.07/1455.92	c current bound: 1468
1457.95/1457.80	c current bound: 1468
1459.80/1459.66	c current bound: 1468
1461.67/1461.53	c current bound: 1468
1463.57/1463.41	c current bound: 1468
1465.62/1465.27	c current bound: 1468
1467.29/1467.14	c current bound: 1468
1469.16/1468.99	c current bound: 1468
1471.23/1470.86	c current bound: 1468
1472.90/1472.74	c current bound: 1468
1474.77/1474.61	c current bound: 1468
1476.82/1476.46	c current bound: 1468
1478.50/1478.33	c current bound: 1468
1480.36/1480.20	c current bound: 1468
1482.24/1482.08	c current bound: 1468
1484.33/1483.95	c current bound: 1468
1485.98/1485.81	c current bound: 1468
1487.84/1487.67	c current bound: 1468
1489.93/1489.55	c current bound: 1468
1491.58/1491.41	c current bound: 1468
1493.45/1493.27	c current bound: 1468
1495.54/1495.12	c current bound: 1468
1497.17/1496.98	c current bound: 1468
1499.03/1498.84	c current bound: 1468
1500.88/1500.70	c current bound: 1468
1502.75/1502.57	c current bound: 1468
1504.62/1504.43	c current bound: 1468
1506.49/1506.29	c current bound: 1468
1508.55/1508.15	c current bound: 1468
1510.21/1510.02	c current bound: 1468
1512.07/1511.88	c current bound: 1468
1514.16/1513.75	c current bound: 1468
1515.80/1515.61	c current bound: 1468
1517.67/1517.47	c current bound: 1468
1519.76/1519.33	c current bound: 1468
1521.38/1521.18	c current bound: 1468
1523.23/1523.02	c current bound: 1468
1525.38/1524.90	c current bound: 1468
1526.98/1526.77	c current bound: 1468
1528.85/1528.65	c current bound: 1468
1530.72/1530.53	c current bound: 1468
1532.85/1532.41	c current bound: 1468
1534.47/1534.29	c current bound: 1468
1536.35/1536.17	c current bound: 1468
1538.45/1538.04	c current bound: 1468
1540.11/1539.92	c current bound: 1468
1541.98/1541.78	c current bound: 1468
1543.84/1543.64	c current bound: 1468
1545.68/1545.50	c current bound: 1468
1547.55/1547.36	c current bound: 1468
1549.41/1549.21	c current bound: 1468
1551.45/1551.07	c current bound: 1468
1553.12/1552.93	c current bound: 1468
1554.98/1554.78	c current bound: 1468
1557.07/1556.64	c current bound: 1468
1558.69/1558.50	c current bound: 1468
1560.55/1560.35	c current bound: 1468
1562.65/1562.22	c current bound: 1468
1564.27/1564.08	c current bound: 1468
1566.13/1565.94	c current bound: 1468
1567.98/1567.79	c current bound: 1468
1569.84/1569.65	c current bound: 1468
1571.70/1571.50	c current bound: 1468
1573.59/1573.39	c current bound: 1468
1575.68/1575.26	c current bound: 1468
1577.34/1577.14	c current bound: 1468
1579.18/1578.99	c current bound: 1468
1581.27/1580.85	c current bound: 1468
1582.91/1582.71	c current bound: 1468
1584.76/1584.56	c current bound: 1468
1586.86/1586.43	c current bound: 1468
1588.48/1588.28	c current bound: 1468
1590.34/1590.14	c current bound: 1468
1592.47/1592.00	c current bound: 1468
1594.07/1593.85	c current bound: 1468
1595.91/1595.74	c current bound: 1468
1597.80/1597.59	c current bound: 1468
1599.86/1599.45	c current bound: 1468
1601.50/1601.31	c current bound: 1468
1603.36/1603.16	c current bound: 1468
1605.46/1605.02	c current bound: 1468
1607.09/1606.88	c current bound: 1468
1608.94/1608.74	c current bound: 1468
1611.07/1610.60	c current bound: 1468
1612.67/1612.47	c current bound: 1468
1614.53/1614.33	c current bound: 1468
1616.39/1616.18	c current bound: 1468
1618.26/1618.04	c current bound: 1468
1620.11/1619.90	c current bound: 1468
1621.96/1621.75	c current bound: 1468
1624.07/1623.61	c current bound: 1468
1625.66/1625.46	c current bound: 1468
1627.52/1627.32	c current bound: 1468
1629.56/1629.18	c current bound: 1468
1631.24/1631.03	c current bound: 1468
1633.08/1632.88	c current bound: 1468
1635.17/1634.74	c current bound: 1468
1637.07/1636.60	c current bound: 1468
1638.66/1638.45	c current bound: 1468
1640.76/1640.31	c current bound: 1468
1642.38/1642.17	c current bound: 1468
1644.24/1644.03	c current bound: 1468
1646.09/1645.88	c current bound: 1468
1647.95/1647.74	c current bound: 1468
1649.80/1649.59	c current bound: 1468
1651.65/1651.45	c current bound: 1468
1653.76/1653.31	c current bound: 1468
1655.38/1655.17	c current bound: 1468
1657.23/1657.02	c current bound: 1468
1659.27/1658.88	c current bound: 1468
1660.94/1660.73	c current bound: 1468
1662.79/1662.58	c current bound: 1468
1664.86/1664.44	c current bound: 1468
1666.50/1666.29	c current bound: 1468
1668.36/1668.15	c current bound: 1468
1670.48/1670.01	c current bound: 1468
1672.09/1671.87	c current bound: 1468
1673.95/1673.74	c current bound: 1468
1675.82/1675.60	c current bound: 1468
1677.67/1677.45	c current bound: 1468
1679.54/1679.31	c current bound: 1468
1681.40/1681.17	c current bound: 1468
1683.49/1683.02	c current bound: 1468
1685.11/1684.87	c current bound: 1468
1686.98/1686.73	c current bound: 1468
1689.00/1688.59	c current bound: 1468
1690.69/1690.45	c current bound: 1468
1692.56/1692.32	c current bound: 1468
1694.61/1694.19	c current bound: 1468
1696.29/1696.05	c current bound: 1468
1698.16/1697.91	c current bound: 1468
1700.22/1699.76	c current bound: 1468
1701.89/1701.62	c current bound: 1468
1703.75/1703.48	c current bound: 1468
1705.67/1705.41	c current bound: 1468
1707.72/1707.26	c current bound: 1468
1709.38/1709.13	c current bound: 1468
1711.53/1711.00	c current bound: 1468
1713.33/1712.86	c current bound: 1468
1714.99/1714.72	c current bound: 1468
1716.85/1716.58	c current bound: 1468
1718.93/1718.44	c current bound: 1468
1720.57/1720.31	c current bound: 1468
1722.43/1722.17	c current bound: 1468
1724.29/1724.03	c current bound: 1468
1726.16/1725.88	c current bound: 1468
1728.01/1727.73	c current bound: 1468
1729.87/1729.59	c current bound: 1468
1731.94/1731.45	c current bound: 1468
1733.59/1733.31	c current bound: 1468
1735.45/1735.17	c current bound: 1468
1737.53/1737.04	c current bound: 1468
1739.17/1738.89	c current bound: 1468
1741.03/1740.75	c current bound: 1468
1743.13/1742.61	c current bound: 1468
1744.75/1744.47	c current bound: 1468
1746.60/1746.32	c current bound: 1468
1748.47/1748.17	c current bound: 1468
1750.31/1750.03	c current bound: 1468
1752.17/1751.88	c current bound: 1468
1754.03/1753.74	c current bound: 1468
1755.90/1755.60	c current bound: 1468
1757.77/1757.46	c current bound: 1468
1759.63/1759.32	c current bound: 1468
1761.68/1761.18	c current bound: 1468
1763.34/1763.04	c current bound: 1468
1765.20/1764.91	c current bound: 1468
1767.27/1766.76	c current bound: 1468
1768.93/1768.62	c current bound: 1468
1770.78/1770.47	c current bound: 1468
1772.87/1772.32	c current bound: 1468
1774.49/1774.17	c current bound: 1468
1776.34/1776.02	c current bound: 1468
1778.20/1777.89	c current bound: 1468
1780.05/1779.74	c current bound: 1468
1782.19/1781.60	c current bound: 1468
1783.78/1783.48	c current bound: 1468
1785.89/1785.35	c current bound: 1468
1787.55/1787.22	c current bound: 1468
1789.40/1789.08	c current bound: 1468
1791.49/1790.95	c current bound: 1468
1793.14/1792.82	c current bound: 1468
1795.02/1794.69	c current bound: 1468
1797.08/1796.56	c current bound: 1468
1798.78/1798.43	c current bound: 1468
1800.21/1799.61	./satsolver.sh: line 5: 23733 Terminated              ./glucose $1 > $2 2> /dev/null
1800.21/1799.64	c error: unexpected solver exit code
1800.21/1799.64	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-3753110-1339210290/watcher-3753110-1339210290 -o /tmp/evaluation-result-3753110-1339210290/solver-3753110-1339210290 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753110-1339210290.wbo 855253363 HOME HOME 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.08 1/174 16180
/proc/meminfo: memFree=29681132/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0

[startup+0.00865093 s]
/proc/loadavg: 2.00 2.01 2.08 1/174 16180
/proc/meminfo: memFree=29681132/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100366 s]
/proc/loadavg: 2.00 2.01 2.08 1/174 16180
/proc/meminfo: memFree=29681132/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300252 s]
/proc/loadavg: 2.00 2.01 2.08 1/174 16180
/proc/meminfo: memFree=29681132/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700294 s]
/proc/loadavg: 2.00 2.01 2.08 1/174 16180
/proc/meminfo: memFree=29681132/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50044 s]
/proc/loadavg: 2.00 2.01 2.08 3/183 16245
/proc/meminfo: memFree=29554156/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=0.11 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 4115 5411 0 0 8 2 1 0 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=16219] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16219/stat : 16219 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387157535 9367552 266 33554432000 4194304 5064252 140735706095136 140735706094048 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16219/statm: 2287 266 226 213 0 72 0
[pid=16220] ppid=16219 vsize=47408 CPUtime=1.34 cores=1,3,5,7
/proc/16220/stat : 16220 (glucose) R 16219 16180 15006 0 -1 4202496 9799 0 0 0 133 1 0 0 20 0 1 0 387157536 48545792 10532 33554432000 4194304 5208918 140734910984400 140734910982072 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16220/statm: 11852 10532 95 248 0 11601 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 85576

[startup+3.10044 s]
/proc/loadavg: 2.00 2.01 2.08 3/183 16252
/proc/meminfo: memFree=29555348/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1.98 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 6284 20236 0 0 16 3 165 14 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=16251] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16251/stat : 16251 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387157722 9367552 266 33554432000 4194304 5064252 140736483167072 140736483165984 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16251/statm: 2287 266 226 213 0 72 0
[pid=16252] ppid=16251 vsize=47416 CPUtime=1.07 cores=1,3,5,7
/proc/16252/stat : 16252 (glucose) R 16251 16180 15006 0 -1 4202496 9997 0 0 0 105 2 0 0 20 0 1 0 387157722 48553984 10680 33554432000 4194304 5208918 140734165615936 140734165614344 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16252/statm: 11854 10680 95 248 0 11603 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 85584

[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 2.08 3/184 16262
/proc/meminfo: memFree=29586136/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=5.71 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 10622 49217 0 0 32 6 491 42 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 29020

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.08 3/183 16287
/proc/meminfo: memFree=29551352/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=11.31 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 17129 92224 0 0 56 9 979 87 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=16286] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16286/stat : 16286 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387158653 9367552 266 33554432000 4194304 5064252 140735839604912 140735839603824 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16286/statm: 2287 266 226 213 0 72 0
[pid=16287] ppid=16286 vsize=47408 CPUtime=1.36 cores=1,3,5,7
/proc/16287/stat : 16287 (glucose) R 16286 16180 15006 0 -1 4202496 10194 0 0 0 135 1 0 0 20 0 1 0 387158653 48545792 10376 33554432000 4194304 5208918 140736053498000 140736053495672 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16287/statm: 11852 10376 95 248 0 11601 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 85576

[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.08 3/183 16343
/proc/meminfo: memFree=29547748/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=24.34 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 32312 195223 0 0 111 16 2117 190 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=16342] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16342/stat : 16342 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387159957 9367552 267 33554432000 4194304 5064252 140737290808000 140737290806912 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16342/statm: 2287 267 226 213 0 72 0
[pid=16343] ppid=16342 vsize=47408 CPUtime=1.13 cores=1,3,5,7
/proc/16343/stat : 16343 (glucose) R 16342 16180 15006 0 -1 4202496 9884 0 0 0 111 2 0 0 20 0 1 0 387159957 48545792 10602 33554432000 4194304 5208918 140736100629904 140736100627576 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16343/statm: 11852 10602 95 248 0 11601 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 85576

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.08 3/183 16448
/proc/meminfo: memFree=29549776/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=50.42 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 62678 400725 0 0 223 31 4392 396 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=16447] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16447/stat : 16447 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387162561 9367552 267 33554432000 4194304 5064252 140736532144080 140736532142992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16447/statm: 2287 267 226 213 0 72 0
[pid=16448] ppid=16447 vsize=47276 CPUtime=0.68 cores=1,3,5,7
/proc/16448/stat : 16448 (glucose) R 16447 16180 15006 0 -1 4202496 10169 0 0 0 66 2 0 0 20 0 1 0 387162561 48410624 10328 33554432000 4194304 5208918 140734653922848 140734653921256 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16448/statm: 11819 10328 95 248 0 11568 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 85444

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 16661
/proc/meminfo: memFree=29582780/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=102.15 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 121249 811291 0 0 437 59 8928 791 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=16659] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16659/stat : 16659 (cp2_post.sh) S 16181 16180 15006 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 387167733 9367552 266 33554432000 4194304 5064252 140734519127232 140734519125520 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16659/statm: 2287 266 225 213 0 72 0
[pid=16661] ppid=16659 vsize=10132 CPUtime=0.17 cores=1,3,5,7
/proc/16661/stat : 16661 (coprocessor) R 16659 16180 15006 0 -1 4202496 2053 0 0 0 11 6 0 0 20 0 1 0 387167733 10375168 1708 33554432000 4194304 6586260 140734010727280 140734010723848 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/16661/statm: 2533 1708 148 584 0 1945 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 48300

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 16903
/proc/meminfo: memFree=29544972/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=162.08 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 192818 1284108 0 0 698 93 14152 1265 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 29020

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/183 17162
/proc/meminfo: memFree=29550792/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7

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

Current children cumulated CPU time (s) 1362.64
Current children cumulated vsize (KiB) 85580

[startup+1422.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 22161
/proc/meminfo: memFree=29577348/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1422.45 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 1377896 11268419 0 0 6016 762 124190 11277 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=22159] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22159/stat : 22159 (cp2_post.sh) S 16181 16180 15006 0 -1 4202496 613 225 0 0 0 0 0 0 20 0 1 0 387299729 9367552 266 33554432000 4194304 5064252 140734143960544 140734143958832 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22159/statm: 2287 266 225 213 0 72 0
[pid=22161] ppid=22159 vsize=10132 CPUtime=0.21 cores=1,3,5,7
/proc/22161/stat : 22161 (coprocessor) R 22159 16180 15006 0 -1 4202496 2565 0 0 0 12 9 0 0 20 0 1 0 387299729 10375168 1708 33554432000 4194304 6586260 140733631625264 140734143958856 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/22161/statm: 2533 1708 148 584 0 1945 0
Current children cumulated CPU time (s) 1422.66
Current children cumulated vsize (KiB) 48300

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 22404
/proc/meminfo: memFree=29540452/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1482.61 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 1398876 11742038 0 0 6274 793 129408 11786 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
Current children cumulated CPU time (s) 1482.61
Current children cumulated vsize (KiB) 29020

[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 22665
/proc/meminfo: memFree=29542552/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1542.35 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 1419228 12212283 0 0 6524 823 134624 12264 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=22664] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22664/stat : 22664 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387311708 9367552 267 33554432000 4194304 5064252 140734851957712 140734851956624 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22664/statm: 2287 267 226 213 0 72 0
[pid=22665] ppid=22664 vsize=47276 CPUtime=0.42 cores=1,3,5,7
/proc/22665/stat : 22665 (glucose) R 22664 16180 15006 0 -1 4202496 9610 0 0 0 41 1 0 0 20 0 1 0 387311708 48410624 10316 33554432000 4194304 5208918 140735232274192 140734851956648 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22665/statm: 11819 10316 95 248 0 11568 0
Current children cumulated CPU time (s) 1542.77
Current children cumulated vsize (KiB) 85444

[startup+1602.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 22910
/proc/meminfo: memFree=29540560/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1601.86 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 1439580 12684365 0 0 6777 851 139814 12744 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=22909] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22909/stat : 22909 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387317661 9367552 266 33554432000 4194304 5064252 140734897331808 140734897330720 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22909/statm: 2287 266 226 213 0 72 0
[pid=22910] ppid=22909 vsize=47408 CPUtime=0.89 cores=1,3,5,7
/proc/22910/stat : 22910 (glucose) R 22909 16180 15006 0 -1 4202496 9920 0 0 0 87 2 0 0 20 0 1 0 387317661 48545792 10631 33554432000 4194304 5208918 140734169417712 140734169416120 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22910/statm: 11852 10631 95 248 0 11601 0
Current children cumulated CPU time (s) 1602.75
Current children cumulated vsize (KiB) 85576

[startup+1662.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/183 23155
/proc/meminfo: memFree=29541864/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1661.3 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 1459932 13156078 0 0 7031 881 145014 13204 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=23154] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23154/stat : 23154 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387323603 9367552 267 33554432000 4194304 5064252 140734890151376 140734890150288 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23154/statm: 2287 267 226 213 0 72 0
[pid=23155] ppid=23154 vsize=47636 CPUtime=1.47 cores=1,3,5,7
/proc/23155/stat : 23155 (glucose) R 23154 16180 15006 0 -1 4202496 9720 0 0 0 145 2 0 0 20 0 1 0 387323603 48779264 10430 33554432000 4194304 5208918 140735167895904 140735167893576 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23155/statm: 11909 10430 105 248 0 11658 0
Current children cumulated CPU time (s) 1662.77
Current children cumulated vsize (KiB) 85804

[startup+1722.3 s]
/proc/loadavg: 2.14 2.06 2.01 4/185 23406
/proc/meminfo: memFree=29581216/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1722.8 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 1480920 13641976 0 0 7290 909 150370 13711 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
Current children cumulated CPU time (s) 1722.8
Current children cumulated vsize (KiB) 29020

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 23663
/proc/meminfo: memFree=29541336/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1782.28 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 1501272 14114596 0 0 7542 937 155560 14189 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=23662] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23662/stat : 23662 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387335690 9367552 267 33554432000 4194304 5064252 140737348461760 140737348460672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23662/statm: 2287 267 226 213 0 72 0
[pid=23663] ppid=23662 vsize=47276 CPUtime=0.6 cores=1,3,5,7
/proc/23663/stat : 23663 (glucose) R 23662 16180 15006 0 -1 4202496 10161 0 0 0 58 2 0 0 20 0 1 0 387335690 48410624 10323 33554432000 4194304 5208918 140735055515440 140737348460696 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23663/statm: 11819 10323 95 248 0 11568 0
Current children cumulated CPU time (s) 1782.88
Current children cumulated vsize (KiB) 85444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.6 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 23733
/proc/meminfo: memFree=29542724/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1799.14 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 1506996 14246645 0 0 7613 945 157030 14326 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=23732] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23732/stat : 23732 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387337373 9367552 267 33554432000 4194304 5064252 140736951096880 140736951095792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23732/statm: 2287 267 226 213 0 72 0
[pid=23733] ppid=23732 vsize=47416 CPUtime=1.07 cores=1,3,5,7
/proc/23733/stat : 23733 (glucose) R 23732 16180 15006 0 -1 4202496 9835 0 0 0 105 2 0 0 20 0 1 0 387337374 48553984 10560 33554432000 4194304 5208918 140733479257664 140733479255336 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23733/statm: 11854 10560 95 248 0 11603 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 85584

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

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

[startup+1799.6 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 23733
/proc/meminfo: memFree=29542724/32873844 swapFree=8660/8660
[pid=16180] ppid=16178 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16180/stat : 16180 (npSolver-wbo-It) S 16178 16180 15006 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387157521 9367552 275 33554432000 4194304 5064252 140733304742576 140733304741488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16180/statm: 2287 275 233 213 0 72 0
[pid=16181] ppid=16180 vsize=19872 CPUtime=1799.14 cores=1,3,5,7
/proc/16181/stat : 16181 (npSolver-wbo) S 16180 16180 15006 0 -1 4202496 1506996 14246645 0 0 7613 945 157030 14326 20 0 1 0 387157521 20348928 3967 33554432000 4194304 6006132 140735196335344 140735196326704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16181/statm: 4968 3967 176 443 0 4521 0
[pid=23732] ppid=16181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23732/stat : 23732 (satsolver.sh) S 16181 16180 15006 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387337373 9367552 267 33554432000 4194304 5064252 140736951096880 140736951095792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23732/statm: 2287 267 226 213 0 72 0
[pid=23733] ppid=23732 vsize=47416 CPUtime=1.07 cores=1,3,5,7
/proc/23733/stat : 23733 (glucose) R 23732 16180 15006 0 -1 4202496 9835 0 0 0 105 2 0 0 20 0 1 0 387337374 48553984 10560 33554432000 4194304 5208918 140733479257664 140733479255336 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23733/statm: 11854 10560 95 248 0 11603 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 85584

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): 0.160156
#  lost CPU user time (s): 0.110046
#  lost CPU system time (s): 0.0499954

Real time (s): 1799.62
CPU time (s): 1800.41
CPU user time (s): 1647.6
CPU system time (s): 152.809
CPU usage (%): 100.044
Max. virtual memory (cumulated for all children) (KiB): 86164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1647.49
system time used= 152.759
maximum resident set size= 43040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15764466
page faults= 0
swaps= 0
block input operations= 8
block output operations= 12903704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276283
involuntary context switches= 15567

runsolver used 4.28235 second user time and 10.9333 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-09 04:51:30
IDJOB=3753110
IDBENCH=79426
IDSOLVER=2336
FILE ID=node107/3753110-1339210290
RUNJOBID= node107-1339208488-15272
PBS_JOBID= 14643892
Free space on /tmp= 67996 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh09_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753110-1339210290/watcher-3753110-1339210290 -o /tmp/evaluation-result-3753110-1339210290/solver-3753110-1339210290 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753110-1339210290.wbo 855253363 HOME HOME

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

MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d
RANDOM SEED=855253363

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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.86
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.760
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:        29681512 kB
Buffers:          754240 kB
Cached:          1481920 kB
SwapCached:          120 kB
Active:          2227884 kB
Inactive:          23204 kB
Active(anon):       3288 kB
Inactive(anon):    12040 kB
Active(file):    2224596 kB
Inactive(file):    11164 kB
Unevictable:        8660 kB
Mlocked:            8660 kB
SwapTotal:      67108856 kB
SwapFree:       67108664 kB
Dirty:             16736 kB
Writeback:             0 kB
AnonPages:         62004 kB
Mapped:            11804 kB
Shmem:               176 kB
Slab:             801108 kB
SReclaimable:     242868 kB
SUnreclaim:       558240 kB
KernelStack:        1520 kB
PageTables:         4016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     127988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 67976 MiB
End job on node107 at 2012-06-09 05:21:29