Trace number 3715922

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.03	c run usual solver
0.00/0.16	o 874
0.00/0.16	c starting approximation
0.00/0.16	c factor = 2
0.00/0.16	c factor still to low - shrinking to 7.21574
0.00/0.16	c approx number of clauses: 1e+06
0.00/0.16	c current bound: 437
1.58/1.88	c current bound: 437
3.30/3.61	c current bound: 437
5.03/5.33	c current bound: 437
6.75/7.05	c current bound: 437
8.67/8.79	c current bound: 437
10.21/10.51	c current bound: 437
12.18/12.23	c current bound: 437
13.66/13.96	c current bound: 437
15.39/15.69	c current bound: 437
17.11/17.40	c current bound: 437
18.85/19.13	c current bound: 437
20.78/20.85	c current bound: 437
22.29/22.57	c current bound: 437
24.17/24.29	c current bound: 437
25.74/26.01	c current bound: 437
27.46/27.73	c current bound: 437
29.17/29.47	c current bound: 437
30.91/31.19	c current bound: 437
32.89/32.91	c current bound: 437
34.35/34.64	c current bound: 437
36.29/36.36	c current bound: 437
37.80/38.08	c current bound: 437
39.51/39.80	c current bound: 437
41.25/41.53	c current bound: 437
42.96/43.24	c current bound: 437
44.68/44.96	c current bound: 437
46.40/46.69	c current bound: 437
48.39/48.40	c current bound: 437
49.84/50.14	c current bound: 437
51.76/51.87	c current bound: 437
53.31/53.59	c current bound: 437
55.04/55.32	c current bound: 437
56.75/57.04	c current bound: 437
58.48/58.76	c current bound: 437
60.37/60.48	c current bound: 437
61.92/62.21	c current bound: 437
63.87/63.93	c current bound: 437
65.36/65.65	c current bound: 437
67.10/67.38	c current bound: 437
68.82/69.10	c current bound: 437
70.54/70.83	c current bound: 437
72.48/72.55	c current bound: 437
73.99/74.28	c current bound: 437
75.97/76.00	c current bound: 437
77.44/77.73	c current bound: 437
79.17/79.44	c current bound: 437
80.88/81.17	c current bound: 437
82.62/82.90	c current bound: 437
84.59/84.62	c current bound: 437
86.05/86.34	c current bound: 437
87.98/88.07	c current bound: 437
89.52/89.79	c current bound: 437
91.23/91.50	c current bound: 437
92.94/93.22	c current bound: 437
94.66/94.94	c current bound: 437
96.38/96.67	c current bound: 437
98.11/98.39	c current bound: 437
100.08/100.11	c current bound: 437
101.55/101.83	c current bound: 437
103.47/103.57	c current bound: 437
105.01/105.29	c current bound: 437
106.73/107.01	c current bound: 437
108.45/108.73	c current bound: 437
110.18/110.46	c current bound: 437
112.09/112.19	c current bound: 437
113.64/113.91	c current bound: 437
115.59/115.63	c current bound: 437
117.09/117.36	c current bound: 437
118.81/119.08	c current bound: 437
120.53/120.81	c current bound: 437
122.26/122.53	c current bound: 437
124.20/124.25	c current bound: 437
125.71/125.97	c current bound: 437
127.69/127.70	c current bound: 437
129.15/129.43	c current bound: 437
130.88/131.15	c current bound: 437
132.60/132.88	c current bound: 437
134.60/134.60	c current bound: 437
136.29/136.32	c current bound: 437
137.78/138.04	c current bound: 437
139.69/139.77	c current bound: 437
141.22/141.49	c current bound: 437
142.93/143.21	c current bound: 437
144.66/144.92	c current bound: 437
146.37/146.64	c current bound: 437
148.09/148.37	c current bound: 437
149.81/150.09	c current bound: 437
151.79/151.82	c current bound: 437
153.27/153.54	c current bound: 437
155.19/155.26	c current bound: 437
156.72/156.99	c current bound: 437
158.44/158.71	c current bound: 437
160.18/160.44	c current bound: 437
161.89/162.15	c current bound: 437
163.81/163.88	c current bound: 437
165.34/165.60	c current bound: 437
167.30/167.32	c current bound: 437
168.77/169.04	c current bound: 437
170.49/170.76	c current bound: 437
172.21/172.48	c current bound: 437
173.93/174.21	c current bound: 437
175.90/175.94	c current bound: 437
177.41/177.66	c current bound: 437
179.31/179.38	c current bound: 437
180.85/181.11	c current bound: 437
182.58/182.85	c current bound: 437
184.32/184.58	c current bound: 437
186.06/186.31	c current bound: 437
188.02/188.03	c current bound: 437
189.49/189.75	c current bound: 437
191.41/191.49	c current bound: 437
192.96/193.20	c current bound: 437
194.68/194.93	c current bound: 437
196.40/196.65	c current bound: 437
198.13/198.37	c current bound: 437
199.85/200.10	c current bound: 437
201.58/201.82	c current bound: 437
203.52/203.54	c current bound: 437
205.01/205.26	c current bound: 437
207.02/207.00	c current bound: 437
208.48/208.72	c current bound: 437
210.20/210.45	c current bound: 437
211.92/212.17	c current bound: 437
213.65/213.89	c current bound: 437
215.62/215.61	c current bound: 437
217.09/217.33	c current bound: 437
219.02/219.05	c current bound: 437
220.54/220.77	c current bound: 437
222.25/222.50	c current bound: 437
223.97/224.22	c current bound: 437
225.69/225.94	c current bound: 437
227.61/227.67	c current bound: 437
229.14/229.39	c current bound: 437
231.10/231.11	c current bound: 437
232.57/232.82	c current bound: 437
234.29/234.55	c current bound: 437
236.02/236.29	c current bound: 437
237.74/238.00	c current bound: 437
239.69/239.73	c current bound: 437
241.20/241.45	c current bound: 437
243.10/243.18	c current bound: 437
244.65/244.91	c current bound: 437
246.37/246.65	c current bound: 437
248.09/248.37	c current bound: 437
249.81/250.09	c current bound: 437
251.78/251.81	c current bound: 437
253.24/253.54	c current bound: 437
255.17/255.27	c current bound: 437
256.71/256.99	c current bound: 437
258.44/258.72	c current bound: 437
260.16/260.45	c current bound: 437
261.91/262.19	c current bound: 437
263.87/263.92	c current bound: 437
265.34/265.65	c current bound: 437
267.25/267.37	c current bound: 437
269.07/269.10	c current bound: 437
270.52/270.82	c current bound: 437
272.24/272.56	c current bound: 437
273.97/274.29	c current bound: 437
275.95/276.01	c current bound: 437
277.41/277.74	c current bound: 437
279.34/279.46	c current bound: 437
280.87/281.18	c current bound: 437
282.58/282.90	c current bound: 437
284.30/284.63	c current bound: 437
286.02/286.36	c current bound: 437
287.75/288.08	c current bound: 437
289.48/289.81	c current bound: 437
291.43/291.53	c current bound: 437
292.92/293.26	c current bound: 437
294.65/294.99	c current bound: 437
296.37/296.71	c current bound: 437
298.10/298.43	c current bound: 437
299.83/300.16	c current bound: 437
301.55/301.88	c current bound: 437
303.53/303.61	c current bound: 437
304.98/305.33	c current bound: 437
306.90/307.06	c current bound: 437
308.44/308.79	c current bound: 437
310.17/310.53	c current bound: 437
311.90/312.26	c current bound: 437
313.63/313.99	c current bound: 437
315.59/315.73	c current bound: 437
317.09/317.45	c current bound: 437
318.80/319.18	c current bound: 437
320.79/320.90	c current bound: 437
322.25/322.62	c current bound: 437
323.97/324.35	c current bound: 437
325.73/326.11	c current bound: 437
327.68/327.84	c current bound: 437
329.19/329.57	c current bound: 437
330.90/331.28	c current bound: 437
332.62/333.02	c current bound: 437
334.36/334.75	c current bound: 437
336.08/336.47	c current bound: 437
337.81/338.19	c current bound: 437
339.77/339.93	c current bound: 437
341.26/341.65	c current bound: 437
342.98/343.38	c current bound: 437
344.73/345.12	c current bound: 437
346.45/346.84	c current bound: 437
348.17/348.56	c current bound: 437
349.89/350.28	c current bound: 437
351.86/352.01	c current bound: 437
353.32/353.72	c current bound: 437
355.25/355.45	c current bound: 437
356.77/357.18	c current bound: 437
358.50/358.91	c current bound: 437
360.23/360.64	c current bound: 437
361.95/362.37	c current bound: 437
363.85/364.09	c current bound: 437
365.40/365.82	c current bound: 437
367.32/367.56	c current bound: 437
368.85/369.28	c current bound: 437
370.58/371.01	c current bound: 437
372.31/372.74	c current bound: 437
374.02/374.46	c current bound: 437
375.92/376.19	c current bound: 437
377.47/377.92	c current bound: 437
379.40/379.64	c current bound: 437
380.91/381.36	c current bound: 437
382.63/383.08	c current bound: 437
384.35/384.81	c current bound: 437
386.07/386.53	c current bound: 437
388.01/388.26	c current bound: 437
389.54/389.98	c current bound: 437
391.51/391.71	c current bound: 437
392.98/393.44	c current bound: 437
394.71/395.17	c current bound: 437
396.70/396.90	c current bound: 437
398.15/398.62	c current bound: 437
400.08/400.34	c current bound: 437
401.60/402.06	c current bound: 437
403.47/403.79	c current bound: 437
405.04/405.52	c current bound: 437
406.78/407.25	c current bound: 437
408.50/408.98	c current bound: 437
410.23/410.71	c current bound: 437
412.17/412.44	c current bound: 437
413.68/414.16	c current bound: 437
415.58/415.89	c current bound: 437
417.12/417.61	c current bound: 437
418.84/419.34	c current bound: 437
420.57/421.06	c current bound: 437
422.56/422.80	c current bound: 437
424.26/424.54	c current bound: 437
425.75/426.27	c current bound: 437
427.73/428.00	c current bound: 437
429.20/429.73	c current bound: 437
430.94/431.46	c current bound: 437
432.65/433.18	c current bound: 437
434.37/434.89	c current bound: 437
436.33/436.62	c current bound: 437
437.82/438.35	c current bound: 437
439.72/440.08	c current bound: 437
441.27/441.80	c current bound: 437
442.97/443.51	c current bound: 437
444.71/445.24	c current bound: 437
446.44/446.97	c current bound: 437
448.16/448.70	c current bound: 437
449.89/450.42	c current bound: 437
451.82/452.15	c current bound: 437
453.32/453.86	c current bound: 437
455.05/455.59	c current bound: 437
456.78/457.32	c current bound: 437
458.50/459.05	c current bound: 437
460.22/460.78	c current bound: 437
461.94/462.50	c current bound: 437
463.89/464.23	c current bound: 437
465.39/465.96	c current bound: 437
467.12/467.69	c current bound: 437
468.84/469.41	c current bound: 437
470.57/471.15	c current bound: 437
472.30/472.88	c current bound: 437
474.03/474.61	c current bound: 437
475.99/476.33	c current bound: 437
477.47/478.05	c current bound: 437
479.19/479.77	c current bound: 437
481.18/481.50	c current bound: 437
482.64/483.24	c current bound: 437
484.37/484.97	c current bound: 437
486.10/486.69	c current bound: 437
488.06/488.41	c current bound: 437
489.82/490.21	c current bound: 437
491.28/491.94	c current bound: 437
492.96/493.63	c current bound: 437
494.71/495.37	c current bound: 437
496.69/497.11	c current bound: 437
498.17/498.83	c current bound: 437
500.09/500.55	c current bound: 437
501.59/502.28	c current bound: 437
503.32/504.01	c current bound: 437
505.04/505.73	c current bound: 437
506.76/507.46	c current bound: 437
508.48/509.18	c current bound: 437
510.22/510.91	c current bound: 437
512.16/512.62	c current bound: 437
513.65/514.35	c current bound: 437
515.37/516.08	c current bound: 437
517.09/517.80	c current bound: 437
518.82/519.53	c current bound: 437
520.55/521.25	c current bound: 437
522.25/522.98	c current bound: 437
524.24/524.71	c current bound: 437
525.72/526.43	c current bound: 437
527.64/528.16	c current bound: 437
529.19/529.91	c current bound: 437
530.92/531.64	c current bound: 437
532.65/533.37	c current bound: 437
534.37/535.09	c current bound: 437
536.34/536.82	c current bound: 437
537.83/538.55	c current bound: 437
539.55/540.28	c current bound: 437
541.27/542.01	c current bound: 437
543.00/543.74	c current bound: 437
544.72/545.46	c current bound: 437
546.44/547.18	c current bound: 437
548.42/548.91	c current bound: 437
549.90/550.63	c current bound: 437
551.81/552.35	c current bound: 437
553.34/554.08	c current bound: 437
555.07/555.81	c current bound: 437
556.79/557.54	c current bound: 437
558.50/559.26	c current bound: 437
560.39/560.99	c current bound: 437
561.94/562.71	c current bound: 437
563.89/564.44	c current bound: 437
565.41/566.16	c current bound: 437
567.12/567.89	c current bound: 437
568.86/569.62	c current bound: 437
570.57/571.36	c current bound: 437
572.49/573.07	c current bound: 437
574.01/574.79	c current bound: 437
575.97/576.53	c current bound: 437
577.47/578.25	c current bound: 437
579.20/579.97	c current bound: 437
580.92/581.70	c current bound: 437
582.64/583.42	c current bound: 437
584.57/585.15	c current bound: 437
586.08/586.88	c current bound: 437
588.07/588.61	c current bound: 437
589.53/590.32	c current bound: 437
591.25/592.05	c current bound: 437
592.98/593.78	c current bound: 437
594.97/595.50	c current bound: 437
596.65/597.23	c current bound: 437
598.15/598.96	c current bound: 437
600.05/600.69	c current bound: 437
601.65/602.47	c current bound: 437
603.38/604.21	c current bound: 437
605.10/605.94	c current bound: 437
606.84/607.67	c current bound: 437
608.72/609.39	c current bound: 437
610.28/611.12	c current bound: 437
612.22/612.84	c current bound: 437
613.73/614.57	c current bound: 437
615.72/616.30	c current bound: 437
617.17/618.02	c current bound: 437
618.90/619.75	c current bound: 437
620.81/621.48	c current bound: 437
622.36/623.20	c current bound: 437
624.29/624.93	c current bound: 437
625.80/626.65	c current bound: 437
627.79/628.40	c current bound: 437
629.26/630.16	c current bound: 437
630.98/631.89	c current bound: 437
632.94/633.62	c current bound: 437
634.43/635.35	c current bound: 437
636.15/637.07	c current bound: 437
637.89/638.79	c current bound: 437
639.61/640.53	c current bound: 437
641.33/642.25	c current bound: 437
643.06/643.98	c current bound: 437
645.04/645.70	c current bound: 437
646.49/647.43	c current bound: 437
648.41/649.15	c current bound: 437
649.96/650.87	c current bound: 437
651.68/652.60	c current bound: 437
653.42/654.34	c current bound: 437
655.12/656.07	c current bound: 437
657.02/657.80	c current bound: 437
658.58/659.52	c current bound: 437
660.35/661.29	c current bound: 437
662.06/663.03	c current bound: 437
663.81/664.76	c current bound: 437
665.54/666.50	c current bound: 437
667.27/668.22	c current bound: 437
669.19/669.95	c current bound: 437
670.71/671.68	c current bound: 437
672.44/673.41	c current bound: 437
674.17/675.13	c current bound: 437
675.87/676.85	c current bound: 437
677.61/678.57	c current bound: 437
679.60/680.30	c current bound: 437
681.29/682.02	c current bound: 437
682.77/683.75	c current bound: 437
684.50/685.48	c current bound: 437
686.22/687.20	c current bound: 437
687.94/688.93	c current bound: 437
689.66/690.66	c current bound: 437
691.39/692.38	c current bound: 437
693.36/694.11	c current bound: 437
694.84/695.85	c current bound: 437
696.57/697.58	c current bound: 437
698.29/699.31	c current bound: 437
700.01/701.03	c current bound: 437
701.75/702.77	c current bound: 437
703.47/704.49	c current bound: 437
705.43/706.23	c current bound: 437
706.92/707.95	c current bound: 437
708.65/709.68	c current bound: 437
710.38/711.40	c current bound: 437
712.10/713.13	c current bound: 437
713.82/714.85	c current bound: 437
715.53/716.57	c current bound: 437
717.43/718.30	c current bound: 437
718.99/720.02	c current bound: 437
720.90/721.75	c current bound: 437
722.41/723.48	c current bound: 437
724.39/725.20	c current bound: 437
725.86/726.92	c current bound: 437
727.58/728.64	c current bound: 437
729.50/730.37	c current bound: 437
731.04/732.10	c current bound: 437
733.00/733.83	c current bound: 437
734.49/735.56	c current bound: 437
736.24/737.31	c current bound: 437
737.96/739.04	c current bound: 437
739.68/740.76	c current bound: 437
741.56/742.48	c current bound: 437
743.13/744.21	c current bound: 437
745.07/745.94	c current bound: 437
746.56/747.66	c current bound: 437
748.28/749.38	c current bound: 437
750.00/751.11	c current bound: 437
751.72/752.83	c current bound: 437
753.66/754.55	c current bound: 437
755.18/756.28	c current bound: 437
757.15/758.02	c current bound: 437
758.64/759.74	c current bound: 437
760.35/761.46	c current bound: 437
762.09/763.19	c current bound: 437
763.80/764.92	c current bound: 437
765.74/766.64	c current bound: 437
767.25/768.37	c current bound: 437
769.24/770.10	c current bound: 437
770.71/771.83	c current bound: 437
772.42/773.55	c current bound: 437
774.13/775.27	c current bound: 437
775.86/776.99	c current bound: 437
777.83/778.72	c current bound: 437
779.30/780.44	c current bound: 437
781.22/782.16	c current bound: 437
782.74/783.89	c current bound: 437
784.48/785.63	c current bound: 437
786.21/787.35	c current bound: 437
787.94/789.09	c current bound: 437
789.91/790.82	c current bound: 437
791.38/792.54	c current bound: 437
793.30/794.27	c current bound: 437
794.88/796.05	c current bound: 437
796.60/797.77	c current bound: 437
798.59/799.50	c current bound: 437
800.06/801.23	c current bound: 437
801.99/802.95	c current bound: 437
803.51/804.68	c current bound: 437
805.49/806.40	c current bound: 437
806.94/808.12	c current bound: 437
808.66/809.85	c current bound: 437
810.38/811.57	c current bound: 437
812.37/813.30	c current bound: 437
814.05/815.03	c current bound: 437
815.56/816.75	c current bound: 437
817.46/818.48	c current bound: 437
819.01/820.20	c current bound: 437
820.72/821.95	c current bound: 437
822.52/823.72	c current bound: 437
824.30/825.49	c current bound: 437
826.26/827.21	c current bound: 437
827.72/828.94	c current bound: 437
829.46/830.67	c current bound: 437
831.45/832.40	c current bound: 437
832.91/834.13	c current bound: 437
834.64/835.87	c current bound: 437
836.37/837.59	c current bound: 437
838.33/839.31	c current bound: 437
839.81/841.03	c current bound: 437
841.73/842.76	c current bound: 437
843.26/844.48	c current bound: 437
844.98/846.21	c current bound: 437
846.71/847.95	c current bound: 437
848.44/849.68	c current bound: 437
850.42/851.42	c current bound: 437
851.90/853.15	c current bound: 437
853.63/854.88	c current bound: 437
855.37/856.60	c current bound: 437
857.09/858.34	c current bound: 437
858.81/860.06	c current bound: 437
860.52/861.79	c current bound: 437
862.49/863.51	c current bound: 437
863.96/865.23	c current bound: 437
865.69/866.97	c current bound: 437
867.41/868.69	c current bound: 437
869.14/870.42	c current bound: 437
870.85/872.14	c current bound: 437
872.57/873.86	c current bound: 437
874.47/875.59	c current bound: 437
876.04/877.32	c current bound: 437
877.96/879.04	c current bound: 437
879.48/880.78	c current bound: 437
881.20/882.49	c current bound: 437
882.92/884.22	c current bound: 437
884.65/885.96	c current bound: 437
886.56/887.69	c current bound: 437
888.11/889.42	c current bound: 437
890.04/891.15	c current bound: 437
891.57/892.88	c current bound: 437
893.30/894.62	c current bound: 437
895.02/896.34	c current bound: 437
896.74/898.06	c current bound: 437
898.63/899.80	c current bound: 437
900.19/901.52	c current bound: 437
902.12/903.23	c current bound: 437
903.63/904.95	c current bound: 437
905.34/906.68	c current bound: 437
907.07/908.40	c current bound: 437
909.07/910.26	c current bound: 437
910.68/911.98	c current bound: 437
912.49/913.70	c current bound: 437
913.97/915.44	c current bound: 437
915.70/917.17	c current bound: 437
917.43/918.90	c current bound: 437
919.37/920.64	c current bound: 437
920.89/922.37	c current bound: 437
922.89/924.10	c current bound: 437
924.35/925.84	c current bound: 437
926.08/927.57	c current bound: 437
928.08/929.30	c current bound: 437
929.53/931.02	c current bound: 437
931.46/932.75	c current bound: 437
932.97/934.48	c current bound: 437
934.95/936.21	c current bound: 437
936.42/937.93	c current bound: 437
938.15/939.65	c current bound: 437
939.87/941.39	c current bound: 437
941.60/943.11	c current bound: 437
943.55/944.83	c current bound: 437
945.04/946.56	c current bound: 437
946.95/948.29	c current bound: 437
948.49/950.01	c current bound: 437
950.22/951.73	c current bound: 437
951.92/953.44	c current bound: 437
953.64/955.18	c current bound: 437
955.38/956.90	c current bound: 437
957.10/958.63	c current bound: 437
959.05/960.36	c current bound: 437
960.56/962.09	c current bound: 437
962.27/963.80	c current bound: 437
964.00/965.53	c current bound: 437
965.73/967.28	c current bound: 437
967.46/969.00	c current bound: 437
969.18/970.73	c current bound: 437
971.12/972.45	c current bound: 437
972.62/974.17	c current bound: 437
974.36/975.90	c current bound: 437
976.08/977.62	c current bound: 437
977.79/979.35	c current bound: 437
979.52/981.08	c current bound: 437
981.24/982.81	c current bound: 437
983.19/984.53	c current bound: 437
984.68/986.26	c current bound: 437
986.40/987.98	c current bound: 437
988.13/989.71	c current bound: 437
989.86/991.43	c current bound: 437
991.57/993.14	c current bound: 437
993.28/994.87	c current bound: 437
995.18/996.59	c current bound: 437
996.74/998.32	c current bound: 437
998.66/1000.05	c current bound: 437
1000.17/1001.77	c current bound: 437
1002.16/1003.50	c current bound: 437
1003.63/1005.23	c current bound: 437
1005.35/1006.96	c current bound: 437
1007.25/1008.68	c current bound: 437
1008.80/1010.40	c current bound: 437
1010.75/1012.13	c current bound: 437
1012.24/1013.84	c current bound: 437
1013.97/1015.58	c current bound: 437
1015.69/1017.31	c current bound: 437
1017.42/1019.03	c current bound: 437
1019.35/1020.76	c current bound: 437
1020.86/1022.48	c current bound: 437
1022.84/1024.22	c current bound: 437
1024.32/1025.94	c current bound: 437
1026.05/1027.68	c current bound: 437
1027.77/1029.40	c current bound: 437
1029.49/1031.13	c current bound: 437
1031.42/1032.85	c current bound: 437
1032.94/1034.58	c current bound: 437
1034.92/1036.31	c current bound: 437
1036.38/1038.02	c current bound: 437
1038.10/1039.74	c current bound: 437
1039.82/1041.46	c current bound: 437
1041.52/1043.17	c current bound: 437
1043.52/1044.91	c current bound: 437
1044.99/1046.63	c current bound: 437
1046.91/1048.35	c current bound: 437
1048.43/1050.08	c current bound: 437
1050.15/1051.81	c current bound: 437
1051.87/1053.53	c current bound: 437
1053.59/1055.27	c current bound: 437
1055.32/1056.99	c current bound: 437
1057.05/1058.72	c current bound: 437
1058.98/1060.45	c current bound: 437
1060.49/1062.17	c current bound: 437
1062.20/1063.88	c current bound: 437
1063.93/1065.61	c current bound: 437
1065.65/1067.33	c current bound: 437
1067.37/1069.05	c current bound: 437
1069.08/1070.77	c current bound: 437
1071.06/1072.56	c current bound: 437
1072.59/1074.28	c current bound: 437
1074.30/1076.01	c current bound: 437
1076.03/1077.74	c current bound: 437
1077.78/1079.49	c current bound: 437
1079.76/1081.23	c current bound: 437
1081.24/1082.95	c current bound: 437
1083.16/1084.68	c current bound: 437
1084.69/1086.41	c current bound: 437
1086.43/1088.14	c current bound: 437
1088.15/1089.87	c current bound: 437
1090.15/1091.60	c current bound: 437
1091.84/1093.32	c current bound: 437
1093.31/1095.04	c current bound: 437
1095.22/1096.78	c current bound: 437
1096.77/1098.50	c current bound: 437
1098.49/1100.23	c current bound: 437
1100.20/1101.95	c current bound: 437
1101.92/1103.67	c current bound: 437
1103.64/1105.40	c current bound: 437
1105.37/1107.12	c current bound: 437
1107.30/1108.84	c current bound: 437
1108.81/1110.57	c current bound: 437
1110.54/1112.30	c current bound: 437
1112.29/1114.04	c current bound: 437
1114.00/1115.77	c current bound: 437
1115.73/1117.49	c current bound: 437
1117.45/1119.21	c current bound: 437
1119.40/1120.94	c current bound: 437
1120.92/1122.67	c current bound: 437
1122.65/1124.41	c current bound: 437
1124.37/1126.14	c current bound: 437
1126.15/1127.92	c current bound: 437
1128.08/1129.65	c current bound: 437
1129.61/1131.38	c current bound: 437
1131.58/1133.12	c current bound: 437
1133.10/1134.88	c current bound: 437
1134.83/1136.61	c current bound: 437
1136.55/1138.35	c current bound: 437
1138.28/1140.07	c current bound: 437
1140.17/1141.78	c current bound: 437
1141.72/1143.51	c current bound: 437
1143.65/1145.24	c current bound: 437
1145.17/1146.96	c current bound: 437
1146.91/1148.69	c current bound: 437
1148.63/1150.42	c current bound: 437
1150.35/1152.14	c current bound: 437
1152.27/1153.87	c current bound: 437
1153.81/1155.60	c current bound: 437
1155.75/1157.32	c current bound: 437
1157.24/1159.05	c current bound: 437
1158.97/1160.79	c current bound: 437
1160.70/1162.51	c current bound: 437
1162.43/1164.24	c current bound: 437
1164.34/1165.96	c current bound: 437
1165.87/1167.68	c current bound: 437
1167.84/1169.41	c current bound: 437
1169.32/1171.13	c current bound: 437
1171.04/1172.85	c current bound: 437
1172.75/1174.57	c current bound: 437
1174.48/1176.30	c current bound: 437
1176.44/1178.02	c current bound: 437
1177.91/1179.74	c current bound: 437
1179.82/1181.47	c current bound: 437
1181.64/1183.20	c current bound: 437
1183.10/1184.93	c current bound: 437
1184.83/1186.66	c current bound: 437
1186.56/1188.39	c current bound: 437
1188.51/1190.12	c current bound: 437
1189.99/1191.84	c current bound: 437
1191.91/1193.56	c current bound: 437
1193.44/1195.28	c current bound: 437
1195.16/1197.01	c current bound: 437
1196.88/1198.74	c current bound: 437
1198.60/1200.45	c current bound: 437
1200.32/1202.18	c current bound: 437
1202.05/1203.91	c current bound: 437
1203.99/1205.63	c current bound: 437
1205.47/1207.34	c current bound: 437
1207.20/1209.07	c current bound: 437
1208.93/1210.80	c current bound: 437
1210.65/1212.53	c current bound: 437
1212.37/1214.26	c current bound: 437
1214.09/1215.98	c current bound: 437
1216.07/1217.71	c current bound: 437
1217.54/1219.43	c current bound: 437
1219.45/1221.15	c current bound: 437
1220.98/1222.88	c current bound: 437
1222.70/1224.61	c current bound: 437
1224.42/1226.34	c current bound: 437
1226.14/1228.06	c current bound: 437
1228.05/1229.79	c current bound: 437
1229.60/1231.51	c current bound: 437
1231.52/1233.24	c current bound: 437
1233.03/1234.95	c current bound: 437
1234.76/1236.68	c current bound: 437
1236.47/1238.40	c current bound: 437
1238.19/1240.13	c current bound: 437
1240.12/1241.86	c current bound: 437
1241.63/1243.58	c current bound: 437
1243.61/1245.31	c current bound: 437
1245.07/1247.03	c current bound: 437
1246.80/1248.75	c current bound: 437
1248.52/1250.48	c current bound: 437
1250.25/1252.21	c current bound: 437
1252.20/1253.95	c current bound: 437
1253.72/1255.68	c current bound: 437
1255.69/1257.41	c current bound: 437
1257.17/1259.14	c current bound: 437
1258.90/1260.87	c current bound: 437
1260.89/1262.60	c current bound: 437
1262.34/1264.32	c current bound: 437
1264.27/1266.04	c current bound: 437
1265.78/1267.77	c current bound: 437
1267.78/1269.50	c current bound: 437
1269.23/1271.23	c current bound: 437
1270.96/1272.95	c current bound: 437
1272.68/1274.68	c current bound: 437
1274.41/1276.41	c current bound: 437
1276.35/1278.14	c current bound: 437
1277.88/1279.87	c current bound: 437
1279.86/1281.60	c current bound: 437
1281.32/1283.33	c current bound: 437
1283.06/1285.06	c current bound: 437
1284.77/1286.78	c current bound: 437
1286.50/1288.51	c current bound: 437
1288.44/1290.24	c current bound: 437
1289.95/1291.96	c current bound: 437
1291.84/1293.68	c current bound: 437
1293.38/1295.40	c current bound: 437
1295.10/1297.13	c current bound: 437
1296.82/1298.85	c current bound: 437
1298.52/1300.57	c current bound: 437
1300.26/1302.29	c current bound: 437
1301.93/1303.98	c current bound: 437
1303.91/1305.71	c current bound: 437
1305.39/1307.44	c current bound: 437
1307.31/1309.15	c current bound: 437
1308.83/1310.88	c current bound: 437
1310.55/1312.61	c current bound: 437
1312.28/1314.33	c current bound: 437
1314.00/1316.06	c current bound: 437
1315.88/1317.78	c current bound: 437
1317.45/1319.50	c current bound: 437
1319.38/1321.24	c current bound: 437
1320.88/1322.96	c current bound: 437
1322.61/1324.69	c current bound: 437
1324.34/1326.42	c current bound: 437
1326.07/1328.14	c current bound: 437
1327.97/1329.86	c current bound: 437
1329.52/1331.60	c current bound: 437
1331.48/1333.30	c current bound: 437
1332.93/1335.02	c current bound: 437
1334.66/1336.75	c current bound: 437
1336.37/1338.47	c current bound: 437
1338.11/1340.20	c current bound: 437
1340.07/1341.94	c current bound: 437
1341.56/1343.66	c current bound: 437
1343.56/1345.40	c current bound: 437
1345.07/1347.18	c current bound: 437
1346.80/1348.91	c current bound: 437
1348.53/1350.64	c current bound: 437
1350.24/1352.38	c current bound: 437
1352.24/1354.11	c current bound: 437
1353.71/1355.84	c current bound: 437
1355.74/1357.60	c current bound: 437
1357.21/1359.33	c current bound: 437
1358.93/1361.06	c current bound: 437
1360.66/1362.79	c current bound: 437
1362.38/1364.51	c current bound: 437
1364.32/1366.24	c current bound: 437
1365.83/1367.96	c current bound: 437
1367.56/1369.68	c current bound: 437
1369.54/1371.40	c current bound: 437
1370.98/1373.11	c current bound: 437
1372.70/1374.83	c current bound: 437
1374.42/1376.55	c current bound: 437
1376.34/1378.28	c current bound: 437
1378.13/1380.00	c current bound: 437
1379.82/1381.73	c current bound: 437
1381.30/1383.44	c current bound: 437
1383.02/1385.16	c current bound: 437
1384.74/1386.88	c current bound: 437
1386.46/1388.60	c current bound: 437
1388.42/1390.33	c current bound: 437
1389.91/1392.05	c current bound: 437
1391.82/1393.77	c current bound: 437
1393.36/1395.50	c current bound: 437
1395.08/1397.22	c current bound: 437
1396.80/1398.94	c current bound: 437
1398.52/1400.66	c current bound: 437
1400.24/1402.38	c current bound: 437
1401.96/1404.09	c current bound: 437
1403.92/1405.81	c current bound: 437
1405.39/1407.53	c current bound: 437
1407.31/1409.25	c current bound: 437
1408.83/1410.98	c current bound: 437
1410.82/1412.70	c current bound: 437
1412.27/1414.42	c current bound: 437
1413.99/1416.15	c current bound: 437
1415.90/1417.88	c current bound: 437
1417.45/1419.60	c current bound: 437
1419.39/1421.33	c current bound: 437
1420.88/1423.05	c current bound: 437
1422.62/1424.79	c current bound: 437
1424.36/1426.51	c current bound: 437
1426.07/1428.23	c current bound: 437
1428.00/1429.95	c current bound: 437
1429.55/1431.72	c current bound: 437
1431.50/1433.41	c current bound: 437
1432.97/1435.14	c current bound: 437
1434.70/1436.86	c current bound: 437
1436.42/1438.57	c current bound: 437
1438.13/1440.29	c current bound: 437
1440.11/1442.01	c current bound: 437
1441.58/1443.73	c current bound: 437
1443.50/1445.46	c current bound: 437
1445.02/1447.18	c current bound: 437
1447.01/1448.90	c current bound: 437
1448.47/1450.62	c current bound: 437
1450.18/1452.34	c current bound: 437
1451.90/1454.05	c current bound: 437
1453.62/1455.77	c current bound: 437
1455.50/1457.49	c current bound: 437
1457.04/1459.21	c current bound: 437
1459.00/1460.94	c current bound: 437
1460.51/1462.67	c current bound: 437
1462.23/1464.39	c current bound: 437
1463.95/1466.11	c current bound: 437
1465.68/1467.83	c current bound: 437
1467.73/1469.60	c current bound: 437
1469.17/1471.32	c current bound: 437
1471.10/1473.06	c current bound: 437
1472.64/1474.78	c current bound: 437
1474.62/1476.50	c current bound: 437
1476.07/1478.22	c current bound: 437
1477.78/1479.94	c current bound: 437
1479.72/1481.66	c current bound: 437
1481.22/1483.38	c current bound: 437
1483.20/1485.11	c current bound: 437
1484.73/1486.88	c current bound: 437
1486.45/1488.60	c current bound: 437
1488.17/1490.32	c current bound: 437
1489.90/1492.04	c current bound: 437
1491.82/1493.77	c current bound: 437
1493.34/1495.51	c current bound: 437
1495.30/1497.23	c current bound: 437
1496.81/1498.95	c current bound: 437
1498.53/1500.67	c current bound: 437
1500.26/1502.39	c current bound: 437
1501.97/1504.11	c current bound: 437
1503.92/1505.83	c current bound: 437
1505.42/1507.56	c current bound: 437
1507.33/1509.28	c current bound: 437
1509.13/1511.00	c current bound: 437
1510.58/1512.72	c current bound: 437
1512.33/1514.46	c current bound: 437
1514.05/1516.18	c current bound: 437
1516.03/1517.90	c current bound: 437
1517.47/1519.62	c current bound: 437
1519.43/1521.35	c current bound: 437
1520.95/1523.08	c current bound: 437
1522.66/1524.81	c current bound: 437
1524.39/1526.53	c current bound: 437
1526.11/1528.25	c current bound: 437
1527.83/1529.97	c current bound: 437
1529.56/1531.69	c current bound: 437
1531.52/1533.41	c current bound: 437
1532.99/1535.13	c current bound: 437
1534.90/1536.86	c current bound: 437
1536.45/1538.58	c current bound: 437
1538.16/1540.30	c current bound: 437
1539.89/1542.02	c current bound: 437
1541.60/1543.74	c current bound: 437
1543.53/1545.46	c current bound: 437
1545.05/1547.18	c current bound: 437
1547.02/1548.91	c current bound: 437
1548.50/1550.63	c current bound: 437
1550.21/1552.35	c current bound: 437
1551.93/1554.06	c current bound: 437
1553.66/1555.78	c current bound: 437
1555.62/1557.51	c current bound: 437
1557.10/1559.23	c current bound: 437
1559.03/1560.95	c current bound: 437
1560.55/1562.67	c current bound: 437
1562.26/1564.39	c current bound: 437
1563.99/1566.12	c current bound: 437
1565.71/1567.84	c current bound: 437
1567.44/1569.57	c current bound: 437
1569.17/1571.30	c current bound: 437
1571.12/1573.03	c current bound: 437
1572.62/1574.75	c current bound: 437
1574.34/1576.49	c current bound: 437
1576.07/1578.22	c current bound: 437
1577.79/1579.93	c current bound: 437
1579.51/1581.66	c current bound: 437
1581.23/1583.39	c current bound: 437
1583.20/1585.13	c current bound: 437
1584.68/1586.85	c current bound: 437
1586.41/1588.58	c current bound: 437
1588.14/1590.30	c current bound: 437
1589.87/1592.04	c current bound: 437
1591.60/1593.77	c current bound: 437
1593.33/1595.49	c current bound: 437
1595.29/1597.22	c current bound: 437
1596.78/1598.95	c current bound: 437
1598.50/1600.67	c current bound: 437
1600.22/1602.40	c current bound: 437
1601.95/1604.12	c current bound: 437
1603.68/1605.85	c current bound: 437
1605.40/1607.57	c current bound: 437
1607.29/1609.30	c current bound: 437
1608.85/1611.02	c current bound: 437
1610.78/1612.75	c current bound: 437
1612.29/1614.48	c current bound: 437
1614.03/1616.21	c current bound: 437
1615.76/1617.94	c current bound: 437
1617.49/1619.67	c current bound: 437
1619.38/1621.39	c current bound: 437
1620.92/1623.12	c current bound: 437
1622.86/1624.85	c current bound: 437
1624.38/1626.58	c current bound: 437
1626.10/1628.29	c current bound: 437
1627.82/1630.02	c current bound: 437
1629.54/1631.74	c current bound: 437
1631.46/1633.47	c current bound: 437
1632.99/1635.20	c current bound: 437
1634.95/1636.93	c current bound: 437
1636.45/1638.66	c current bound: 437
1638.18/1640.39	c current bound: 437
1639.90/1642.12	c current bound: 437
1641.62/1643.84	c current bound: 437
1643.54/1645.58	c current bound: 437
1645.08/1647.30	c current bound: 437
1647.04/1649.03	c current bound: 437
1648.53/1650.76	c current bound: 437
1650.26/1652.49	c current bound: 437
1652.01/1654.24	c current bound: 437
1653.73/1655.97	c current bound: 437
1655.63/1657.69	c current bound: 437
1657.16/1659.42	c current bound: 437
1659.10/1661.14	c current bound: 437
1660.60/1662.86	c current bound: 437
1662.34/1664.59	c current bound: 437
1664.07/1666.32	c current bound: 437
1665.78/1668.04	c current bound: 437
1667.69/1669.77	c current bound: 437
1669.24/1671.51	c current bound: 437
1671.18/1673.24	c current bound: 437
1672.69/1674.96	c current bound: 437
1674.69/1676.70	c current bound: 437
1676.15/1678.43	c current bound: 437
1677.87/1680.15	c current bound: 437
1679.78/1681.90	c current bound: 437
1681.33/1683.61	c current bound: 437
1683.28/1685.34	c current bound: 437
1684.80/1687.07	c current bound: 437
1686.52/1688.80	c current bound: 437
1688.24/1690.53	c current bound: 437
1689.95/1692.25	c current bound: 437
1691.86/1693.95	c current bound: 437
1693.37/1695.67	c current bound: 437
1695.37/1697.40	c current bound: 437
1696.83/1699.12	c current bound: 437
1698.55/1700.86	c current bound: 437
1700.29/1702.59	c current bound: 437
1702.01/1704.33	c current bound: 437
1703.94/1706.06	c current bound: 437
1705.47/1707.78	c current bound: 437
1707.45/1709.50	c current bound: 437
1708.92/1711.23	c current bound: 437
1710.64/1712.96	c current bound: 437
1712.37/1714.68	c current bound: 437
1714.09/1716.41	c current bound: 437
1716.04/1718.14	c current bound: 437
1717.55/1719.87	c current bound: 437
1719.53/1721.60	c current bound: 437
1721.00/1723.32	c current bound: 437
1722.72/1725.05	c current bound: 437
1724.44/1726.78	c current bound: 437
1726.17/1728.50	c current bound: 437
1728.13/1730.23	c current bound: 437
1729.61/1731.94	c current bound: 437
1731.52/1733.68	c current bound: 437
1733.06/1735.41	c current bound: 437
1734.81/1737.14	c current bound: 437
1736.53/1738.87	c current bound: 437
1738.25/1740.59	c current bound: 437
1740.20/1742.32	c current bound: 437
1741.68/1744.04	c current bound: 437
1743.60/1745.77	c current bound: 437
1745.12/1747.49	c current bound: 437
1746.86/1749.22	c current bound: 437
1748.58/1750.95	c current bound: 437
1750.32/1752.69	c current bound: 437
1752.28/1754.42	c current bound: 437
1753.78/1756.16	c current bound: 437
1755.67/1757.89	c current bound: 437
1757.23/1759.61	c current bound: 437
1758.98/1761.36	c current bound: 437
1760.69/1763.08	c current bound: 437
1762.40/1764.82	c current bound: 437
1764.35/1766.54	c current bound: 437
1765.87/1768.27	c current bound: 437
1767.85/1770.00	c current bound: 437
1769.31/1771.73	c current bound: 437
1771.01/1773.43	c current bound: 437
1772.75/1775.16	c current bound: 437
1774.48/1776.90	c current bound: 437
1776.44/1778.64	c current bound: 437
1777.95/1780.37	c current bound: 437
1779.93/1782.10	c current bound: 437
1781.40/1783.83	c current bound: 437
1783.13/1785.56	c current bound: 437
1784.84/1787.29	c current bound: 437
1786.57/1789.01	c current bound: 437
1788.52/1790.74	c current bound: 437
1790.02/1792.46	c current bound: 437
1791.91/1794.18	c current bound: 437
1793.73/1795.90	c current bound: 437
1795.18/1797.62	c current bound: 437
1796.90/1799.35	c current bound: 437
1798.62/1801.07	c current bound: 437
1798.92/1801.10	HOME/npSolver-wbo-Itdqb.sh: line 18: 24096 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715922-1338233402/watcher-3715922-1338233402 -o /tmp/evaluation-result-3715922-1338233402/solver-3715922-1338233402 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715922-1338233402.wbo 1258567770 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.36 1.83 1.90 4/176 24095
/proc/meminfo: memFree=30406792/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0

[startup+0.0152159 s]
/proc/loadavg: 1.36 1.83 1.90 4/176 24095
/proc/meminfo: memFree=30406792/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100213 s]
/proc/loadavg: 1.36 1.83 1.90 4/176 24095
/proc/meminfo: memFree=30406792/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30022 s]
/proc/loadavg: 1.36 1.83 1.90 4/176 24095
/proc/meminfo: memFree=30406792/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700179 s]
/proc/loadavg: 1.36 1.83 1.90 4/176 24095
/proc/meminfo: memFree=30406792/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50037 s]
/proc/loadavg: 1.36 1.83 1.90 3/184 24123
/proc/meminfo: memFree=30289828/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=11956 CPUtime=0.22 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 3184 5951 0 0 10 2 9 1 20 0 1 0 289466230 12242944 2547 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24096/statm: 2989 2547 175 439 0 2546 0
[pid=24122] ppid=24096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (satsolver.sh) S 24096 24094 22749 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289466256 9367552 266 33554432000 4194304 5064252 140734866984016 140734866982928 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 266 226 213 0 72 0
[pid=24123] ppid=24122 vsize=50972 CPUtime=1.23 cores=0,2,4,6
/proc/24123/stat : 24123 (glucose) R 24122 24094 22749 0 -1 4202496 11288 0 0 0 121 2 0 0 20 0 1 0 289466256 52195328 11427 33554432000 4194304 5208918 140736829683568 140736829681512 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 12743 11427 102 248 0 12492 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 81224

[startup+3.1003 s]
/proc/loadavg: 1.57 1.87 1.91 4/184 24130
/proc/meminfo: memFree=30279656/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=1.95 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 3997 21825 0 0 18 4 158 15 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
[pid=24129] ppid=24096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24129/stat : 24129 (satsolver.sh) S 24096 24094 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289466428 9367552 267 33554432000 4194304 5064252 140736334205472 140736334204384 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24129/statm: 2287 267 226 213 0 72 0
[pid=24130] ppid=24129 vsize=50968 CPUtime=1.12 cores=0,2,4,6
/proc/24130/stat : 24130 (glucose) R 24129 24094 22749 0 -1 4202496 11083 0 0 0 110 2 0 0 20 0 1 0 289466428 52191232 11697 33554432000 4194304 5208918 140736048652384 140736048650792 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24130/statm: 12742 11697 102 248 0 12491 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 89284

[startup+6.30029 s]
/proc/loadavg: 1.57 1.87 1.91 3/182 24142
/proc/meminfo: memFree=30328712/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=5.4 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 5623 53903 0 0 34 6 457 43 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 29168

[startup+12.7002 s]
/proc/loadavg: 1.64 1.87 1.91 4/185 24168
/proc/meminfo: memFree=30316656/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=12.31 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 8875 118777 0 0 66 11 1055 99 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 29168

[startup+25.5004 s]
/proc/loadavg: 1.69 1.87 1.91 4/184 24221
/proc/meminfo: memFree=30277308/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=24.37 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 14566 228587 0 0 122 20 2099 196 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
[pid=24220] ppid=24096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24220/stat : 24220 (satsolver.sh) S 24096 24094 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289468668 9367552 267 33554432000 4194304 5064252 140733906257280 140733906256192 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24220/statm: 2287 267 226 213 0 72 0
[pid=24221] ppid=24220 vsize=50968 CPUtime=1.1 cores=0,2,4,6
/proc/24221/stat : 24221 (glucose) R 24220 24094 22749 0 -1 4202496 11319 0 0 0 109 1 0 0 20 0 1 0 289468668 52191232 11415 33554432000 4194304 5208918 140734233380496 140734233378440 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24221/statm: 12742 11415 102 248 0 12491 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 89284

[startup+51.1002 s]
/proc/loadavg: 1.72 1.87 1.91 3/184 24333
/proc/meminfo: memFree=30272228/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=50.21 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 26761 467971 0 0 241 37 4340 403 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
[pid=24332] ppid=24096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24332/stat : 24332 (satsolver.sh) S 24096 24094 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289471253 9367552 267 33554432000 4194304 5064252 140734068308672 140734068307584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24332/statm: 2287 267 226 213 0 72 0
[pid=24333] ppid=24332 vsize=50112 CPUtime=0.86 cores=0,2,4,6
/proc/24333/stat : 24333 (glucose) R 24332 24094 22749 0 -1 4202496 11117 0 0 0 85 1 0 0 20 0 1 0 289471254 51314688 11211 33554432000 4194304 5208918 140733409102976 140733409101384 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24333/statm: 12528 11211 102 248 0 12277 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88428

[startup+102.307 s]
/proc/loadavg: 1.89 1.89 1.91 3/183 24557
/proc/meminfo: memFree=30270552/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=101.92 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 51151 943798 0 0 480 72 8834 806 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
[pid=24556] ppid=24096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24556/stat : 24556 (satsolver.sh) S 24096 24094 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289476423 9367552 267 33554432000 4194304 5064252 140736523993104 140736523992016 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24556/statm: 2287 267 226 213 0 72 0
[pid=24557] ppid=24556 vsize=48664 CPUtime=0.36 cores=0,2,4,6
/proc/24557/stat : 24557 (glucose) R 24556 24094 22749 0 -1 4202496 10488 0 0 0 35 1 0 0 20 0 1 0 289476423 49831936 11101 33554432000 4194304 5208918 140735326277248 140736523992040 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24557/statm: 12166 11101 95 248 0 11915 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 86980

[startup+162.3 s]
/proc/loadavg: 2.10 1.94 1.92 4/183 24817
/proc/meminfo: memFree=30269168/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=162.26 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 79606 1502331 0 0 762 111 14072 1281 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29168

[startup+222.3 s]
/proc/loadavg: 2.03 1.95 1.92 3/183 25076
/proc/meminfo: memFree=30266840/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=222.25 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 107255 2053085 0 0 1034 150 19286 1755 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371557536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 222.25

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

/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 1240.27
Current children cumulated vsize (KiB) 29168

[startup+1302.3 s]
/proc/loadavg: 2.03 1.99 1.94 4/181 29752
/proc/meminfo: memFree=30332908/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=4660 CPUtime=1300.53 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) R 24094 24094 22749 0 -1 4202496 615903 12020952 0 0 6034 873 112741 10405 20 0 1 0 289466230 4771840 773 33554432000 4194304 5990268 140735371566640 140735371558624 5042513 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24096/statm: 1165 773 176 439 0 722 0
Current children cumulated CPU time (s) 1300.53
Current children cumulated vsize (KiB) 13808

[startup+1362.3 s]
/proc/loadavg: 2.01 1.99 1.94 3/183 30014
/proc/meminfo: memFree=30269276/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=1359.3 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 643828 12563831 0 0 6314 912 117817 10887 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
[pid=30013] ppid=24096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30013/stat : 30013 (satsolver.sh) S 24096 24094 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289602346 9367552 267 33554432000 4194304 5064252 140736361518512 140736361517424 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30013/statm: 2287 267 226 213 0 72 0
[pid=30014] ppid=30013 vsize=50964 CPUtime=1.13 cores=0,2,4,6
/proc/30014/stat : 30014 (glucose) R 30013 24094 22749 0 -1 4202496 11282 0 0 0 112 1 0 0 20 0 1 0 289602346 52187136 11416 33554432000 4194304 5208918 140734451921776 140734451919720 4205192 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30014/statm: 12741 11416 102 248 0 12490 0
Current children cumulated CPU time (s) 1360.43
Current children cumulated vsize (KiB) 89280

[startup+1422.31 s]
/proc/loadavg: 2.14 2.02 1.95 3/183 30273
/proc/meminfo: memFree=30269356/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=1419.53 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 672283 13123852 0 0 6602 951 123039 11361 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
[pid=30272] ppid=24096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30272/stat : 30272 (satsolver.sh) S 24096 24094 22749 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289608373 9367552 266 33554432000 4194304 5064252 140735904062336 140735904061248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30272/statm: 2287 266 226 213 0 72 0
[pid=30273] ppid=30272 vsize=50400 CPUtime=0.87 cores=0,2,4,6
/proc/30273/stat : 30273 (glucose) R 30272 24094 22749 0 -1 4202496 11145 0 0 0 86 1 0 0 20 0 1 0 289608373 51609600 11267 33554432000 4194304 5208918 140736089963152 140735904061272 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30273/statm: 12600 11267 102 248 0 12349 0
Current children cumulated CPU time (s) 1420.4
Current children cumulated vsize (KiB) 88716

[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/183 30528
/proc/meminfo: memFree=30303304/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=1479.87 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 700738 13678887 0 0 6889 992 128254 11852 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 1479.87
Current children cumulated vsize (KiB) 29168

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/181 30796
/proc/meminfo: memFree=30317016/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=1540.25 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 729193 14238729 0 0 7176 1033 133469 12347 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 1540.25
Current children cumulated vsize (KiB) 29168

[startup+1602.3 s]
/proc/loadavg: 2.16 2.05 1.96 3/183 31050
/proc/meminfo: memFree=30269088/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=1600.22 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 756842 14791879 0 0 7451 1073 138681 12817 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371557536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 1600.22
Current children cumulated vsize (KiB) 29168

[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 1.96 3/183 31310
/proc/meminfo: memFree=30265060/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=1659.24 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 785290 15340802 0 0 7729 1114 143783 13298 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
[pid=31309] ppid=24096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31309/stat : 31309 (satsolver.sh) S 24096 24094 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289632354 9367552 267 33554432000 4194304 5064252 140734470137840 140734470136752 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31309/statm: 2287 267 226 213 0 72 0
[pid=31310] ppid=31309 vsize=50968 CPUtime=1.05 cores=0,2,4,6
/proc/31310/stat : 31310 (glucose) R 31309 24094 22749 0 -1 4202496 11029 0 0 0 104 1 0 0 20 0 1 0 289632354 52191232 11675 33554432000 4194304 5208918 140736476880544 140736476878952 4229357 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31310/statm: 12742 11675 102 248 0 12491 0
Current children cumulated CPU time (s) 1660.29
Current children cumulated vsize (KiB) 89284

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 1.96 4/183 31565
/proc/meminfo: memFree=30302644/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=1719.64 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 813745 15898892 0 0 8009 1155 149007 13793 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 1719.64
Current children cumulated vsize (KiB) 29168

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.97 4/183 31831
/proc/meminfo: memFree=30302988/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=20020 CPUtime=1780.04 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) S 24094 24094 22749 0 -1 4202496 842200 16457912 0 0 8291 1194 154239 14280 20 0 1 0 289466230 20500480 4631 33554432000 4194304 5990268 140735371566640 140735371558048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24096/statm: 5005 4631 176 439 0 4562 0
Current children cumulated CPU time (s) 1780.04
Current children cumulated vsize (KiB) 29168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 2.03 2.03 1.97 3/182 31955
/proc/meminfo: memFree=30386868/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=11828 CPUtime=1798.92 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) R 24094 24094 22749 0 -1 4202496 851137 16636358 0 0 8373 1206 155880 14433 20 0 1 0 289466230 12111872 2583 33554432000 4194304 5990268 140735371566640 140735371558624 4521673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24096/statm: 2957 2583 176 439 0 2514 0
Current children cumulated CPU time (s) 1798.92
Current children cumulated vsize (KiB) 20976

Sending SIGTERM to process tree (bottom up)

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

[startup+1801.1 s]
/proc/loadavg: 2.03 2.03 1.97 3/182 31955
/proc/meminfo: memFree=30386868/32873648 swapFree=6860/6860
[pid=24094] ppid=24090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24094/stat : 24094 (npSolver-wbo-It) S 24090 24094 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289466230 9367552 274 33554432000 4194304 5064252 140736311671952 140736311670864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24094/statm: 2287 274 233 213 0 72 0
[pid=24096] ppid=24094 vsize=11828 CPUtime=1798.92 cores=0,2,4,6
/proc/24096/stat : 24096 (npSolver-wbo) R 24094 24094 22749 0 -1 4202496 851137 16636358 0 0 8373 1206 155880 14433 20 0 1 0 289466230 12111872 2583 33554432000 4194304 5990268 140735371566640 140735371558624 4521673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24096/statm: 2957 2583 176 439 0 2514 0
Current children cumulated CPU time (s) 1798.92
Current children cumulated vsize (KiB) 20976

Child status: 0

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

Real time (s): 1801.11
CPU time (s): 1800.19
CPU user time (s): 1643.77
CPU system time (s): 156.413
CPU usage (%): 99.9488
Max. virtual memory (cumulated for all children) (KiB): 89584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1642.54
system time used= 156.403
maximum resident set size= 47100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17487869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14953832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294069
involuntary context switches= 19077

runsolver used 2.70059 second user time and 7.2519 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-28 21:30:02
IDJOB=3715922
IDBENCH=79285
IDSOLVER=2297
FILE ID=node116/3715922-1338233402
RUNJOBID= node116-1338233401-24068
PBS_JOBID= 14624642
Free space on /tmp= 71472 MiB

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

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

MD5SUM BENCH= cf389047fd441928b15b38cce26251ed
RANDOM SEED=1258567770

node116.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.556
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.11
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.556
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.556
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	: 5438.54
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.556
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.556
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.92
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.556
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.92
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.556
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.90
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.556
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:       32873648 kB
MemFree:        30408236 kB
Buffers:          397380 kB
Cached:          1215728 kB
SwapCached:         3232 kB
Active:           873904 kB
Inactive:         749700 kB
Active(anon):       1928 kB
Inactive(anon):     8956 kB
Active(file):     871976 kB
Inactive(file):   740744 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103672 kB
Dirty:             16480 kB
Writeback:             0 kB
AnonPages:         12840 kB
Mapped:            11848 kB
Shmem:                96 kB
Slab:             702684 kB
SReclaimable:     146088 kB
SUnreclaim:       556596 kB
KernelStack:        1384 kB
PageTables:         3920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     102684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71456 MiB
End job on node116 at 2012-05-28 22:00:03