Trace number 3715621

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) 1782.34 1900.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
MD5SUMed627c94e924dd829be1b38440fce2ad
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark26.273
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 constraints911
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 45526
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45525
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
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.02	c run usual solver
0.00/0.15	o 414
0.00/0.15	c starting approximation
0.00/0.15	c factor = 2
0.00/0.15	c current bound: 207
1.70/1.88	c current bound: 207
3.32/3.50	c current bound: 207
5.03/5.23	c current bound: 207
6.74/6.80	c current bound: 207
8.32/8.53	c current bound: 207
9.92/10.12	c current bound: 207
11.44/11.66	c current bound: 207
13.11/13.24	c current bound: 207
14.53/14.75	c current bound: 207
16.14/16.36	c current bound: 207
17.88/18.11	c current bound: 207
19.72/19.83	c current bound: 207
21.25/21.48	c current bound: 207
23.01/23.13	c current bound: 207
24.46/24.70	c current bound: 207
26.33/26.53	c current bound: 207
27.88/28.22	c current bound: 207
29.63/29.98	c current bound: 207
31.36/31.72	c current bound: 207
33.11/33.47	c current bound: 207
34.62/34.99	c current bound: 207
36.33/36.70	c current bound: 207
38.17/38.45	c current bound: 207
39.99/40.20	c current bound: 207
41.49/41.88	c current bound: 207
43.23/43.62	c current bound: 207
44.86/45.15	c current bound: 207
46.37/46.79	c current bound: 207
48.10/48.54	c current bound: 207
49.65/50.07	c current bound: 207
51.31/51.62	c current bound: 207
52.83/53.27	c current bound: 207
54.38/54.81	c current bound: 207
56.08/56.53	c current bound: 207
57.62/58.07	c current bound: 207
59.32/59.77	c current bound: 207
61.18/61.51	c current bound: 207
62.57/63.02	c current bound: 207
64.29/64.75	c current bound: 207
65.85/66.32	c current bound: 207
67.56/68.02	c current bound: 207
69.07/69.54	c current bound: 207
70.81/71.29	c current bound: 207
72.58/72.90	c current bound: 207
74.02/74.49	c current bound: 207
75.61/76.09	c current bound: 207
77.28/77.77	c current bound: 207
78.98/79.45	c current bound: 207
80.88/81.20	c current bound: 207
82.25/82.73	c current bound: 207
83.96/84.44	c current bound: 207
85.70/86.19	c current bound: 207
87.27/87.75	c current bound: 207
88.89/89.38	c current bound: 207
90.48/90.96	c current bound: 207
91.99/92.48	c current bound: 207
93.60/94.09	c current bound: 207
95.34/95.82	c current bound: 207
97.05/97.55	c current bound: 207
98.65/99.14	c current bound: 207
100.37/100.86	c current bound: 207
101.92/102.49	c current bound: 207
103.65/104.23	c current bound: 207
105.35/105.92	c current bound: 207
106.97/107.61	c current bound: 207
108.58/109.23	c current bound: 207
110.41/110.90	c current bound: 207
111.97/112.63	c current bound: 207
113.51/114.17	c current bound: 207
115.14/115.81	c current bound: 207
116.85/117.53	c current bound: 207
118.60/119.27	c current bound: 207
120.38/120.99	c current bound: 207
121.86/122.53	c current bound: 207
123.42/124.08	c current bound: 207
125.08/125.60	c current bound: 207
126.42/127.10	c current bound: 207
128.07/128.67	c current bound: 207
129.71/130.38	c current bound: 207
131.43/132.10	c current bound: 207
132.97/133.65	c current bound: 207
134.73/135.39	c current bound: 207
136.43/137.12	c current bound: 207
137.98/138.65	c current bound: 207
139.54/140.20	c current bound: 207
141.25/141.84	c current bound: 207
142.90/143.59	c current bound: 207
144.58/145.19	c current bound: 207
146.09/146.78	c current bound: 207
147.67/148.36	c current bound: 207
149.47/150.00	c current bound: 207
150.89/151.57	c current bound: 207
152.46/153.14	c current bound: 207
154.17/154.86	c current bound: 207
155.82/156.58	c current bound: 207
157.42/158.18	c current bound: 207
159.11/159.87	c current bound: 207
160.66/161.40	c current bound: 207
162.33/163.09	c current bound: 207
163.85/164.61	c current bound: 207
165.41/166.16	c current bound: 207
167.15/167.91	c current bound: 207
168.76/169.52	c current bound: 207
170.29/171.05	c current bound: 207
172.00/172.69	c current bound: 207
173.69/174.46	c current bound: 207
175.42/176.19	c current bound: 207
176.96/177.72	c current bound: 207
178.66/179.43	c current bound: 207
180.34/181.12	c current bound: 207
181.98/182.75	c current bound: 207
183.47/184.26	c current bound: 207
185.03/185.80	c current bound: 207
186.53/187.30	c current bound: 207
188.11/188.89	c current bound: 207
189.79/190.56	c current bound: 207
191.49/192.26	c current bound: 207
193.05/193.89	c current bound: 207
194.66/195.51	c current bound: 207
196.40/197.25	c current bound: 207
198.12/198.98	c current bound: 207
199.79/200.64	c current bound: 207
201.60/202.37	c current bound: 207
203.10/204.03	c current bound: 207
204.81/205.69	c current bound: 207
206.28/207.22	c current bound: 207
208.11/208.90	c current bound: 207
209.55/210.50	c current bound: 207
211.11/212.06	c current bound: 207
212.72/213.66	c current bound: 207
214.45/215.39	c current bound: 207
216.16/217.11	c current bound: 207
217.70/218.64	c current bound: 207
219.42/220.36	c current bound: 207
221.14/222.08	c current bound: 207
222.80/223.74	c current bound: 207
224.32/225.29	c current bound: 207
225.89/226.86	c current bound: 207
227.40/228.37	c current bound: 207
229.14/230.11	c current bound: 207
230.86/231.85	c current bound: 207
232.49/233.45	c current bound: 207
234.01/234.98	c current bound: 207
235.69/236.66	c current bound: 207
237.43/238.42	c current bound: 207
239.07/240.05	c current bound: 207
240.79/241.81	c current bound: 207
242.50/243.51	c current bound: 207
244.02/245.04	c current bound: 207
245.71/246.73	c current bound: 207
247.25/248.28	c current bound: 207
248.88/249.91	c current bound: 207
250.46/251.49	c current bound: 207
252.19/253.22	c current bound: 207
253.75/254.77	c current bound: 207
255.47/256.50	c current bound: 207
257.23/258.25	c current bound: 207
259.03/259.90	c current bound: 207
260.58/261.60	c current bound: 207
262.11/263.21	c current bound: 207
263.65/264.75	c current bound: 207
265.19/266.29	c current bound: 207
266.72/267.81	c current bound: 207
268.55/269.51	c current bound: 207
270.06/271.15	c current bound: 207
271.78/272.86	c current bound: 207
273.34/274.45	c current bound: 207
275.04/276.02	c current bound: 207
276.42/277.54	c current bound: 207
278.15/279.27	c current bound: 207
279.71/280.82	c current bound: 207
281.26/282.38	c current bound: 207
283.13/284.10	c current bound: 207
284.71/285.83	c current bound: 207
286.30/287.41	c current bound: 207
288.03/289.14	c current bound: 207
289.55/290.75	c current bound: 207
291.11/292.31	c current bound: 207
292.65/293.85	c current bound: 207
294.20/295.40	c current bound: 207
295.95/297.14	c current bound: 207
297.67/298.85	c current bound: 207
299.56/300.60	c current bound: 207
301.13/302.32	c current bound: 207
302.85/304.03	c current bound: 207
304.39/305.59	c current bound: 207
306.08/307.36	c current bound: 207
307.85/309.01	c current bound: 207
309.24/310.53	c current bound: 207
310.97/312.26	c current bound: 207
312.48/313.78	c current bound: 207
314.02/315.32	c current bound: 207
315.78/317.08	c current bound: 207
317.53/318.82	c current bound: 207
319.26/320.55	c current bound: 207
320.80/322.08	c current bound: 207
322.38/323.70	c current bound: 207
324.04/325.37	c current bound: 207
325.74/327.06	c current bound: 207
327.28/328.60	c current bound: 207
329.01/330.32	c current bound: 207
330.71/332.03	c current bound: 207
332.28/333.61	c current bound: 207
334.03/335.35	c current bound: 207
335.77/337.09	c current bound: 207
337.31/338.62	c current bound: 207
339.02/340.35	c current bound: 207
340.81/342.07	c current bound: 207
342.42/343.74	c current bound: 207
344.10/345.38	c current bound: 207
345.69/347.11	c current bound: 207
347.42/348.72	c current bound: 207
349.03/350.40	c current bound: 207
350.51/351.93	c current bound: 207
352.22/353.60	c current bound: 207
353.64/355.18	c current bound: 207
355.29/356.82	c current bound: 207
356.81/358.33	c current bound: 207
358.46/360.01	c current bound: 207
360.02/361.56	c current bound: 207
361.56/363.09	c current bound: 207
363.30/364.84	c current bound: 207
364.92/366.46	c current bound: 207
366.63/368.19	c current bound: 207
368.26/369.80	c current bound: 207
369.79/371.34	c current bound: 207
371.54/373.19	c current bound: 207
373.20/374.85	c current bound: 207
374.72/376.38	c current bound: 207
376.44/378.18	c current bound: 207
378.06/379.79	c current bound: 207
379.80/381.53	c current bound: 207
381.52/383.25	c current bound: 207
383.08/384.81	c current bound: 207
384.70/386.43	c current bound: 207
386.44/388.17	c current bound: 207
388.15/389.88	c current bound: 207
389.77/391.50	c current bound: 207
391.67/393.30	c current bound: 207
393.26/394.94	c current bound: 207
394.69/396.48	c current bound: 207
396.24/398.03	c current bound: 207
397.78/399.56	c current bound: 207
399.37/401.17	c current bound: 207
401.09/402.88	c current bound: 207
402.60/404.41	c current bound: 207
404.27/406.08	c current bound: 207
405.81/407.62	c current bound: 207
407.44/409.17	c current bound: 207
408.89/410.70	c current bound: 207
410.55/412.36	c current bound: 207
412.45/414.10	c current bound: 207
413.89/415.69	c current bound: 207
415.54/417.34	c current bound: 207
417.11/418.92	c current bound: 207
418.84/420.77	c current bound: 207
420.52/422.32	c current bound: 207
421.97/423.91	c current bound: 207
423.67/425.59	c current bound: 207
425.20/427.13	c current bound: 207
426.84/428.76	c current bound: 207
428.50/430.41	c current bound: 207
430.20/432.14	c current bound: 207
431.86/433.79	c current bound: 207
433.72/435.52	c current bound: 207
435.33/437.25	c current bound: 207
437.13/438.91	c current bound: 207
438.57/440.49	c current bound: 207
440.11/442.02	c current bound: 207
441.74/443.67	c current bound: 207
443.31/445.25	c current bound: 207
444.91/446.84	c current bound: 207
446.47/448.41	c current bound: 207
448.12/449.92	c current bound: 207
449.56/451.48	c current bound: 207
451.10/453.03	c current bound: 207
452.84/454.77	c current bound: 207
454.41/456.35	c current bound: 207
456.13/458.05	c current bound: 207
457.82/459.73	c current bound: 207
459.28/461.34	c current bound: 207
460.87/462.92	c current bound: 207
462.42/464.46	c current bound: 207
464.31/466.20	c current bound: 207
465.69/467.73	c current bound: 207
467.44/469.47	c current bound: 207
468.96/471.01	c current bound: 207
470.53/472.59	c current bound: 207
472.21/474.26	c current bound: 207
473.71/475.77	c current bound: 207
475.23/477.28	c current bound: 207
476.96/479.02	c current bound: 207
478.67/480.69	c current bound: 207
480.31/482.38	c current bound: 207
482.08/484.01	c current bound: 207
483.55/485.61	c current bound: 207
485.38/487.33	c current bound: 207
486.86/488.91	c current bound: 207
488.60/490.66	c current bound: 207
490.21/492.38	c current bound: 207
491.88/493.92	c current bound: 207
493.49/495.66	c current bound: 207
495.18/497.37	c current bound: 207
496.86/499.06	c current bound: 207
498.61/500.79	c current bound: 207
500.22/502.54	c current bound: 207
501.75/504.06	c current bound: 207
503.47/505.78	c current bound: 207
505.10/507.52	c current bound: 207
506.73/509.16	c current bound: 207
508.36/510.79	c current bound: 207
510.22/512.64	c current bound: 207
511.82/514.37	c current bound: 207
513.70/516.10	c current bound: 207
515.27/517.82	c current bound: 207
516.88/519.43	c current bound: 207
518.48/521.03	c current bound: 207
520.20/522.78	c current bound: 207
521.85/524.42	c current bound: 207
523.59/526.16	c current bound: 207
525.12/527.69	c current bound: 207
526.87/529.43	c current bound: 207
528.60/531.16	c current bound: 207
530.21/532.77	c current bound: 207
531.72/534.28	c current bound: 207
533.26/535.82	c current bound: 207
534.86/537.43	c current bound: 207
536.48/538.96	c current bound: 207
538.11/540.68	c current bound: 207
539.87/542.42	c current bound: 207
541.61/544.16	c current bound: 207
543.34/545.90	c current bound: 207
545.08/547.64	c current bound: 207
546.69/549.26	c current bound: 207
548.23/550.90	c current bound: 207
549.78/552.44	c current bound: 207
551.40/554.07	c current bound: 207
552.91/555.58	c current bound: 207
554.66/557.32	c current bound: 207
556.29/558.96	c current bound: 207
557.87/560.53	c current bound: 207
559.50/562.28	c current bound: 207
561.11/563.88	c current bound: 207
562.78/565.42	c current bound: 207
564.37/567.16	c current bound: 207
565.96/568.76	c current bound: 207
567.68/570.47	c current bound: 207
569.36/572.04	c current bound: 207
570.84/573.63	c current bound: 207
572.55/575.26	c current bound: 207
574.17/576.96	c current bound: 207
575.85/578.54	c current bound: 207
577.29/580.09	c current bound: 207
579.14/581.82	c current bound: 207
580.58/583.38	c current bound: 207
582.26/585.06	c current bound: 207
583.86/586.67	c current bound: 207
585.59/588.39	c current bound: 207
587.10/590.01	c current bound: 207
588.93/591.75	c current bound: 207
590.57/593.47	c current bound: 207
592.31/595.21	c current bound: 207
593.87/596.78	c current bound: 207
595.53/598.35	c current bound: 207
597.16/600.16	c current bound: 207
598.84/601.73	c current bound: 207
600.25/603.26	c current bound: 207
601.85/604.85	c current bound: 207
603.41/606.41	c current bound: 207
604.94/607.96	c current bound: 207
606.68/609.68	c current bound: 207
608.20/611.21	c current bound: 207
609.78/612.78	c current bound: 207
611.51/614.51	c current bound: 207
613.23/616.23	c current bound: 207
614.77/617.77	c current bound: 207
616.34/619.28	c current bound: 207
617.84/620.85	c current bound: 207
619.38/622.37	c current bound: 207
620.98/623.98	c current bound: 207
622.60/625.59	c current bound: 207
624.30/627.30	c current bound: 207
625.83/628.83	c current bound: 207
627.39/630.38	c current bound: 207
628.98/631.97	c current bound: 207
630.71/633.70	c current bound: 207
632.32/635.32	c current bound: 207
633.95/636.83	c current bound: 207
635.51/638.51	c current bound: 207
637.34/640.22	c current bound: 207
638.92/641.92	c current bound: 207
640.55/643.47	c current bound: 207
642.10/645.10	c current bound: 207
643.85/646.71	c current bound: 207
645.42/648.42	c current bound: 207
647.20/650.16	c current bound: 207
648.57/651.67	c current bound: 207
650.34/653.34	c current bound: 207
651.80/654.90	c current bound: 207
653.63/656.62	c current bound: 207
655.05/658.15	c current bound: 207
656.77/659.88	c current bound: 207
658.51/661.62	c current bound: 207
660.26/663.36	c current bound: 207
661.78/664.89	c current bound: 207
663.35/666.46	c current bound: 207
665.01/668.14	c current bound: 207
666.57/669.70	c current bound: 207
668.12/671.24	c current bound: 207
669.81/672.93	c current bound: 207
671.32/674.45	c current bound: 207
672.93/676.05	c current bound: 207
674.54/677.58	c current bound: 207
676.22/679.34	c current bound: 207
677.82/680.88	c current bound: 207
679.48/682.60	c current bound: 207
681.18/684.32	c current bound: 207
682.88/686.01	c current bound: 207
684.42/687.55	c current bound: 207
686.32/689.40	c current bound: 207
687.69/690.92	c current bound: 207
689.22/692.46	c current bound: 207
690.95/694.18	c current bound: 207
692.68/695.91	c current bound: 207
694.39/697.63	c current bound: 207
696.12/699.35	c current bound: 207
697.76/700.98	c current bound: 207
699.29/702.52	c current bound: 207
700.88/704.11	c current bound: 207
702.50/705.72	c current bound: 207
704.22/707.45	c current bound: 207
705.74/708.96	c current bound: 207
707.46/710.69	c current bound: 207
709.20/712.43	c current bound: 207
710.81/713.95	c current bound: 207
712.47/715.69	c current bound: 207
714.07/717.39	c current bound: 207
715.58/718.91	c current bound: 207
717.30/720.63	c current bound: 207
718.98/722.41	c current bound: 207
720.71/724.13	c current bound: 207
722.39/725.81	c current bound: 207
724.12/727.54	c current bound: 207
725.92/729.25	c current bound: 207
727.58/730.99	c current bound: 207
729.30/732.73	c current bound: 207
730.88/734.29	c current bound: 207
732.60/736.03	c current bound: 207
734.34/737.75	c current bound: 207
735.94/739.37	c current bound: 207
737.47/740.88	c current bound: 207
739.16/742.65	c current bound: 207
740.71/744.19	c current bound: 207
742.36/745.74	c current bound: 207
743.88/747.36	c current bound: 207
745.40/748.88	c current bound: 207
747.14/750.62	c current bound: 207
748.96/752.32	c current bound: 207
750.50/753.98	c current bound: 207
752.03/755.51	c current bound: 207
753.56/757.04	c current bound: 207
755.07/758.55	c current bound: 207
756.69/760.16	c current bound: 207
758.40/761.87	c current bound: 207
760.12/763.60	c current bound: 207
761.86/765.34	c current bound: 207
763.41/766.88	c current bound: 207
765.11/768.58	c current bound: 207
766.86/770.32	c current bound: 207
768.38/771.85	c current bound: 207
770.04/773.51	c current bound: 207
771.76/775.31	c current bound: 207
773.48/777.03	c current bound: 207
775.30/778.76	c current bound: 207
776.89/780.43	c current bound: 207
778.61/782.16	c current bound: 207
780.34/783.88	c current bound: 207
782.05/785.60	c current bound: 207
783.58/787.13	c current bound: 207
785.30/788.72	c current bound: 207
786.83/790.39	c current bound: 207
788.51/792.07	c current bound: 207
790.04/793.60	c current bound: 207
791.78/795.29	c current bound: 207
793.26/796.83	c current bound: 207
794.81/798.38	c current bound: 207
796.59/800.00	c current bound: 207
798.01/801.58	c current bound: 207
799.65/803.21	c current bound: 207
801.18/804.74	c current bound: 207
802.92/806.48	c current bound: 207
804.44/808.01	c current bound: 207
806.08/809.58	c current bound: 207
807.59/811.15	c current bound: 207
809.15/812.71	c current bound: 207
810.82/814.39	c current bound: 207
812.68/816.13	c current bound: 207
814.31/817.88	c current bound: 207
816.03/819.59	c current bound: 207
817.55/821.12	c current bound: 207
819.31/822.86	c current bound: 207
820.88/824.51	c current bound: 207
822.51/826.06	c current bound: 207
823.97/827.60	c current bound: 207
825.52/829.16	c current bound: 207
827.42/830.90	c current bound: 207
828.80/832.44	c current bound: 207
830.53/834.16	c current bound: 207
832.04/835.68	c current bound: 207
833.66/837.30	c current bound: 207
835.36/839.02	c current bound: 207
837.08/840.78	c current bound: 207
838.81/842.50	c current bound: 207
840.35/844.05	c current bound: 207
842.22/845.91	c current bound: 207
843.70/847.52	c current bound: 207
845.42/849.20	c current bound: 207
846.89/850.72	c current bound: 207
848.72/852.45	c current bound: 207
850.14/853.97	c current bound: 207
851.76/855.59	c current bound: 207
853.50/857.33	c current bound: 207
855.03/858.86	c current bound: 207
856.60/860.44	c current bound: 207
858.25/862.09	c current bound: 207
859.83/863.66	c current bound: 207
861.48/865.32	c current bound: 207
863.12/866.83	c current bound: 207
864.50/868.34	c current bound: 207
866.08/869.93	c current bound: 207
867.60/871.44	c current bound: 207
869.19/873.02	c current bound: 207
870.74/874.57	c current bound: 207
872.46/876.29	c current bound: 207
874.12/877.80	c current bound: 207
875.49/879.32	c current bound: 207
877.31/881.05	c current bound: 207
878.77/882.60	c current bound: 207
880.29/884.13	c current bound: 207
881.82/885.66	c current bound: 207
883.35/887.19	c current bound: 207
885.10/888.82	c current bound: 207
886.70/890.55	c current bound: 207
888.43/892.27	c current bound: 207
889.97/893.81	c current bound: 207
891.61/895.35	c current bound: 207
893.25/897.08	c current bound: 207
894.90/898.64	c current bound: 207
896.50/900.34	c current bound: 207
898.21/901.91	c current bound: 207
899.65/903.48	c current bound: 207
901.20/905.04	c current bound: 207
902.93/906.60	c current bound: 207
904.49/908.43	c current bound: 207
906.04/909.98	c current bound: 207
907.61/911.55	c current bound: 207
909.31/913.10	c current bound: 207
910.84/914.77	c current bound: 207
912.55/916.49	c current bound: 207
914.07/918.02	c current bound: 207
915.89/919.80	c current bound: 207
917.44/921.50	c current bound: 207
919.09/923.14	c current bound: 207
920.72/924.86	c current bound: 207
922.45/926.59	c current bound: 207
924.11/928.24	c current bound: 207
925.65/929.77	c current bound: 207
927.23/931.38	c current bound: 207
928.75/932.89	c current bound: 207
930.28/934.42	c current bound: 207
932.00/936.08	c current bound: 207
933.48/937.62	c current bound: 207
935.03/939.19	c current bound: 207
936.58/940.73	c current bound: 207
938.23/942.38	c current bound: 207
939.82/943.98	c current bound: 207
941.55/945.70	c current bound: 207
943.28/947.44	c current bound: 207
944.88/949.05	c current bound: 207
946.63/950.79	c current bound: 207
948.23/952.42	c current bound: 207
949.77/953.96	c current bound: 207
951.42/955.61	c current bound: 207
952.96/957.15	c current bound: 207
954.67/958.87	c current bound: 207
956.21/960.39	c current bound: 207
957.88/962.08	c current bound: 207
959.78/963.90	c current bound: 207
961.17/965.43	c current bound: 207
962.84/967.12	c current bound: 207
964.35/968.62	c current bound: 207
966.01/970.27	c current bound: 207
967.50/971.78	c current bound: 207
969.04/973.33	c current bound: 207
970.77/975.04	c current bound: 207
972.32/976.61	c current bound: 207
973.87/978.16	c current bound: 207
975.56/979.84	c current bound: 207
977.26/981.40	c current bound: 207
978.66/982.95	c current bound: 207
980.25/984.48	c current bound: 207
981.80/986.08	c current bound: 207
983.55/987.74	c current bound: 207
984.98/989.28	c current bound: 207
986.63/990.92	c current bound: 207
988.18/992.47	c current bound: 207
989.70/993.99	c current bound: 207
991.43/995.72	c current bound: 207
993.18/997.47	c current bound: 207
994.72/999.01	c current bound: 207
996.39/1000.69	c current bound: 207
998.12/1002.43	c current bound: 207
999.80/1004.10	c current bound: 207
1001.46/1005.75	c current bound: 207
1003.10/1007.47	c current bound: 207
1004.64/1009.02	c current bound: 207
1006.37/1010.74	c current bound: 207
1008.10/1012.49	c current bound: 207
1009.63/1014.03	c current bound: 207
1011.39/1015.77	c current bound: 207
1013.05/1017.45	c current bound: 207
1014.66/1019.07	c current bound: 207
1016.54/1020.80	c current bound: 207
1018.13/1022.54	c current bound: 207
1019.67/1024.09	c current bound: 207
1021.21/1025.62	c current bound: 207
1022.74/1027.16	c current bound: 207
1024.35/1028.76	c current bound: 207
1025.96/1030.38	c current bound: 207
1027.69/1032.11	c current bound: 207
1029.28/1033.77	c current bound: 207
1030.85/1035.36	c current bound: 207
1032.56/1037.08	c current bound: 207
1034.09/1038.59	c current bound: 207
1035.61/1040.12	c current bound: 207
1037.33/1041.73	c current bound: 207
1038.95/1043.46	c current bound: 207
1040.70/1045.21	c current bound: 207
1042.25/1046.76	c current bound: 207
1043.93/1048.38	c current bound: 207
1045.43/1049.94	c current bound: 207
1046.97/1051.48	c current bound: 207
1048.71/1053.22	c current bound: 207
1050.26/1054.77	c current bound: 207
1051.78/1056.29	c current bound: 207
1053.51/1058.01	c current bound: 207
1055.23/1059.74	c current bound: 207
1056.80/1061.32	c current bound: 207
1058.53/1063.05	c current bound: 207
1060.10/1064.61	c current bound: 207
1061.73/1066.36	c current bound: 207
1063.24/1067.88	c current bound: 207
1064.99/1069.63	c current bound: 207
1066.66/1071.40	c current bound: 207
1068.40/1073.13	c current bound: 207
1070.20/1074.83	c current bound: 207
1071.77/1076.52	c current bound: 207
1073.53/1078.26	c current bound: 207
1075.05/1079.79	c current bound: 207
1076.79/1081.40	c current bound: 207
1078.30/1083.07	c current bound: 207
1079.97/1084.62	c current bound: 207
1081.59/1086.35	c current bound: 207
1083.29/1088.08	c current bound: 207
1085.03/1089.80	c current bound: 207
1086.66/1091.34	c current bound: 207
1088.08/1092.87	c current bound: 207
1089.85/1094.59	c current bound: 207
1091.54/1096.34	c current bound: 207
1093.28/1098.07	c current bound: 207
1095.02/1099.81	c current bound: 207
1096.55/1101.35	c current bound: 207
1098.05/1102.86	c current bound: 207
1099.81/1104.62	c current bound: 207
1101.54/1106.35	c current bound: 207
1103.08/1107.89	c current bound: 207
1104.79/1109.63	c current bound: 207
1106.37/1111.18	c current bound: 207
1107.96/1112.78	c current bound: 207
1109.67/1114.51	c current bound: 207
1111.32/1116.14	c current bound: 207
1112.91/1117.68	c current bound: 207
1114.52/1119.20	c current bound: 207
1116.21/1120.93	c current bound: 207
1117.84/1122.67	c current bound: 207
1119.56/1124.39	c current bound: 207
1121.23/1126.07	c current bound: 207
1122.92/1127.76	c current bound: 207
1124.63/1129.48	c current bound: 207
1126.50/1131.20	c current bound: 207
1127.96/1132.81	c current bound: 207
1129.54/1134.48	c current bound: 207
1131.09/1136.04	c current bound: 207
1132.67/1137.61	c current bound: 207
1134.23/1139.18	c current bound: 207
1135.95/1140.90	c current bound: 207
1137.71/1142.67	c current bound: 207
1139.23/1144.18	c current bound: 207
1140.75/1145.70	c current bound: 207
1142.59/1147.44	c current bound: 207
1144.03/1148.98	c current bound: 207
1145.56/1150.51	c current bound: 207
1147.30/1152.26	c current bound: 207
1149.18/1154.00	c current bound: 207
1150.76/1155.73	c current bound: 207
1152.36/1157.25	c current bound: 207
1154.00/1158.95	c current bound: 207
1155.79/1160.73	c current bound: 207
1157.38/1162.30	c current bound: 207
1158.98/1164.05	c current bound: 207
1160.51/1165.59	c current bound: 207
1162.15/1167.15	c current bound: 207
1163.60/1168.69	c current bound: 207
1165.18/1170.27	c current bound: 207
1167.06/1172.00	c current bound: 207
1168.74/1173.71	c current bound: 207
1170.36/1175.45	c current bound: 207
1172.01/1177.05	c current bound: 207
1173.39/1178.58	c current bound: 207
1175.13/1180.30	c current bound: 207
1176.84/1182.13	c current bound: 207
1178.49/1183.78	c current bound: 207
1180.37/1185.50	c current bound: 207
1181.84/1187.13	c current bound: 207
1183.44/1188.72	c current bound: 207
1185.15/1190.35	c current bound: 207
1186.60/1191.88	c current bound: 207
1188.36/1193.53	c current bound: 207
1189.95/1195.23	c current bound: 207
1191.68/1196.96	c current bound: 207
1193.42/1198.69	c current bound: 207
1195.06/1200.34	c current bound: 207
1196.75/1202.02	c current bound: 207
1198.29/1203.66	c current bound: 207
1199.96/1205.33	c current bound: 207
1201.64/1207.01	c current bound: 207
1203.17/1208.55	c current bound: 207
1204.85/1210.14	c current bound: 207
1206.46/1211.70	c current bound: 207
1208.14/1213.44	c current bound: 207
1209.79/1215.18	c current bound: 207
1211.50/1216.90	c current bound: 207
1213.05/1218.45	c current bound: 207
1214.76/1220.17	c current bound: 207
1216.27/1221.67	c current bound: 207
1218.05/1223.30	c current bound: 207
1219.54/1224.94	c current bound: 207
1221.24/1226.51	c current bound: 207
1222.80/1228.20	c current bound: 207
1224.36/1229.77	c current bound: 207
1225.92/1231.33	c current bound: 207
1227.55/1232.96	c current bound: 207
1229.15/1234.57	c current bound: 207
1230.88/1236.28	c current bound: 207
1232.51/1237.92	c current bound: 207
1234.22/1239.64	c current bound: 207
1235.81/1241.22	c current bound: 207
1237.42/1242.92	c current bound: 207
1238.95/1244.46	c current bound: 207
1240.50/1246.00	c current bound: 207
1242.13/1247.62	c current bound: 207
1243.63/1249.14	c current bound: 207
1245.15/1250.67	c current bound: 207
1246.81/1252.31	c current bound: 207
1248.36/1253.86	c current bound: 207
1250.25/1255.60	c current bound: 207
1251.61/1257.11	c current bound: 207
1253.35/1258.86	c current bound: 207
1254.94/1260.45	c current bound: 207
1256.64/1262.14	c current bound: 207
1258.38/1263.89	c current bound: 207
1259.91/1265.42	c current bound: 207
1261.64/1267.14	c current bound: 207
1263.20/1268.87	c current bound: 207
1265.07/1270.61	c current bound: 207
1266.46/1272.13	c current bound: 207
1267.97/1273.64	c current bound: 207
1269.72/1275.38	c current bound: 207
1271.25/1276.92	c current bound: 207
1272.98/1278.66	c current bound: 207
1274.57/1280.34	c current bound: 207
1276.09/1281.88	c current bound: 207
1277.69/1283.48	c current bound: 207
1279.43/1285.22	c current bound: 207
1280.98/1286.77	c current bound: 207
1282.64/1288.44	c current bound: 207
1284.17/1289.97	c current bound: 207
1285.84/1291.52	c current bound: 207
1287.45/1293.24	c current bound: 207
1289.03/1294.80	c current bound: 207
1290.69/1296.48	c current bound: 207
1292.35/1298.03	c current bound: 207
1293.75/1299.55	c current bound: 207
1295.30/1301.09	c current bound: 207
1296.92/1302.72	c current bound: 207
1298.52/1304.30	c current bound: 207
1300.24/1306.04	c current bound: 207
1301.97/1307.76	c current bound: 207
1303.68/1309.48	c current bound: 207
1305.35/1311.00	c current bound: 207
1306.73/1312.53	c current bound: 207
1308.27/1314.07	c current bound: 207
1309.80/1315.59	c current bound: 207
1311.38/1317.17	c current bound: 207
1313.27/1318.90	c current bound: 207
1314.68/1320.49	c current bound: 207
1316.54/1322.22	c current bound: 207
1318.16/1323.97	c current bound: 207
1319.81/1325.54	c current bound: 207
1321.31/1327.14	c current bound: 207
1323.12/1328.90	c current bound: 207
1324.50/1330.45	c current bound: 207
1326.03/1331.97	c current bound: 207
1327.90/1333.70	c current bound: 207
1329.34/1335.29	c current bound: 207
1331.03/1336.99	c current bound: 207
1332.62/1338.59	c current bound: 207
1334.32/1340.29	c current bound: 207
1335.93/1341.88	c current bound: 207
1337.64/1343.60	c current bound: 207
1339.14/1345.23	c current bound: 207
1340.65/1346.74	c current bound: 207
1342.21/1348.28	c current bound: 207
1343.97/1349.90	c current bound: 207
1345.65/1351.60	c current bound: 207
1347.14/1353.14	c current bound: 207
1348.58/1354.68	c current bound: 207
1350.43/1356.42	c current bound: 207
1351.84/1357.95	c current bound: 207
1353.43/1359.54	c current bound: 207
1355.07/1361.19	c current bound: 207
1356.76/1362.87	c current bound: 207
1358.40/1364.52	c current bound: 207
1360.22/1366.22	c current bound: 207
1361.82/1367.95	c current bound: 207
1363.54/1369.68	c current bound: 207
1365.19/1371.33	c current bound: 207
1366.90/1372.99	c current bound: 207
1368.28/1374.51	c current bound: 207
1369.83/1376.06	c current bound: 207
1371.35/1377.61	c current bound: 207
1373.04/1379.28	c current bound: 207
1374.61/1380.87	c current bound: 207
1376.31/1382.56	c current bound: 207
1378.03/1384.28	c current bound: 207
1379.88/1386.04	c current bound: 207
1381.38/1387.65	c current bound: 207
1383.17/1389.38	c current bound: 207
1384.84/1391.10	c current bound: 207
1386.55/1392.83	c current bound: 207
1388.05/1394.42	c current bound: 207
1389.78/1396.03	c current bound: 207
1391.39/1397.77	c current bound: 207
1393.01/1399.49	c current bound: 207
1394.62/1401.12	c current bound: 207
1396.17/1402.67	c current bound: 207
1397.95/1404.30	c current bound: 207
1399.43/1405.86	c current bound: 207
1400.90/1407.41	c current bound: 207
1402.39/1408.93	c current bound: 207
1404.14/1410.67	c current bound: 207
1405.68/1412.24	c current bound: 207
1407.21/1413.76	c current bound: 207
1408.93/1415.49	c current bound: 207
1410.60/1417.16	c current bound: 207
1412.24/1418.82	c current bound: 207
1413.99/1420.56	c current bound: 207
1415.53/1422.13	c current bound: 207
1417.10/1423.69	c current bound: 207
1418.81/1425.42	c current bound: 207
1420.55/1427.15	c current bound: 207
1422.27/1428.88	c current bound: 207
1423.94/1430.54	c current bound: 207
1425.82/1432.32	c current bound: 207
1427.33/1433.97	c current bound: 207
1429.00/1435.54	c current bound: 207
1430.65/1437.38	c current bound: 207
1432.22/1438.96	c current bound: 207
1433.76/1440.50	c current bound: 207
1435.50/1442.16	c current bound: 207
1437.04/1443.79	c current bound: 207
1438.89/1445.53	c current bound: 207
1440.30/1447.07	c current bound: 207
1442.01/1448.76	c current bound: 207
1443.61/1450.50	c current bound: 207
1445.33/1452.23	c current bound: 207
1446.95/1453.86	c current bound: 207
1448.54/1455.40	c current bound: 207
1450.14/1457.04	c current bound: 207
1451.68/1458.60	c current bound: 207
1453.43/1460.34	c current bound: 207
1455.13/1462.07	c current bound: 207
1456.88/1463.81	c current bound: 207
1458.62/1465.55	c current bound: 207
1460.14/1467.09	c current bound: 207
1461.74/1468.68	c current bound: 207
1463.48/1470.51	c current bound: 207
1465.23/1472.24	c current bound: 207
1466.95/1473.96	c current bound: 207
1468.69/1475.70	c current bound: 207
1470.52/1477.42	c current bound: 207
1471.96/1478.99	c current bound: 207
1473.70/1480.66	c current bound: 207
1475.30/1482.42	c current bound: 207
1477.04/1484.00	c current bound: 207
1478.42/1485.54	c current bound: 207
1480.06/1487.19	c current bound: 207
1481.79/1488.91	c current bound: 207
1483.31/1490.45	c current bound: 207
1484.94/1492.08	c current bound: 207
1486.81/1493.81	c current bound: 207
1488.22/1495.35	c current bound: 207
1489.76/1496.88	c current bound: 207
1491.36/1498.50	c current bound: 207
1493.06/1500.20	c current bound: 207
1494.68/1501.82	c current bound: 207
1496.38/1503.52	c current bound: 207
1497.93/1505.08	c current bound: 207
1499.45/1506.59	c current bound: 207
1501.10/1508.25	c current bound: 207
1502.81/1509.96	c current bound: 207
1504.48/1511.62	c current bound: 207
1506.20/1513.35	c current bound: 207
1507.73/1514.88	c current bound: 207
1509.47/1516.61	c current bound: 207
1511.06/1518.21	c current bound: 207
1512.68/1519.93	c current bound: 207
1514.41/1521.65	c current bound: 207
1515.96/1523.21	c current bound: 207
1517.53/1524.78	c current bound: 207
1519.21/1526.47	c current bound: 207
1520.84/1528.10	c current bound: 207
1522.39/1529.65	c current bound: 207
1523.94/1531.20	c current bound: 207
1525.49/1532.77	c current bound: 207
1527.29/1534.40	c current bound: 207
1528.79/1536.09	c current bound: 207
1530.43/1537.73	c current bound: 207
1531.96/1539.26	c current bound: 207
1533.55/1540.85	c current bound: 207
1535.07/1542.36	c current bound: 207
1536.59/1543.89	c current bound: 207
1538.15/1545.43	c current bound: 207
1539.85/1547.15	c current bound: 207
1541.42/1548.72	c current bound: 207
1543.08/1550.38	c current bound: 207
1544.61/1551.91	c current bound: 207
1546.19/1553.49	c current bound: 207
1547.89/1555.19	c current bound: 207
1549.47/1556.76	c current bound: 207
1551.00/1558.47	c current bound: 207
1552.74/1560.21	c current bound: 207
1554.41/1561.88	c current bound: 207
1556.06/1563.53	c current bound: 207
1557.59/1565.05	c current bound: 207
1559.18/1566.65	c current bound: 207
1560.90/1568.47	c current bound: 207
1562.61/1570.16	c current bound: 207
1564.14/1571.71	c current bound: 207
1565.67/1573.24	c current bound: 207
1567.35/1574.91	c current bound: 207
1569.09/1576.65	c current bound: 207
1570.81/1578.37	c current bound: 207
1572.37/1579.93	c current bound: 207
1573.88/1581.45	c current bound: 207
1575.63/1583.19	c current bound: 207
1577.34/1584.91	c current bound: 207
1579.01/1586.57	c current bound: 207
1580.53/1588.11	c current bound: 207
1582.18/1589.61	c current bound: 207
1583.60/1591.17	c current bound: 207
1585.21/1592.75	c current bound: 207
1586.92/1594.45	c current bound: 207
1588.66/1596.16	c current bound: 207
1590.64/1597.94	c current bound: 207
1592.30/1599.73	c current bound: 207
1594.12/1601.52	c current bound: 207
1595.87/1603.11	c current bound: 207
1597.39/1604.73	c current bound: 207
1599.15/1606.47	c current bound: 207
1600.95/1608.06	c current bound: 207
1602.55/1609.80	c current bound: 207
1604.37/1611.60	c current bound: 207
1606.05/1613.25	c current bound: 207
1607.68/1614.84	c current bound: 207
1609.48/1616.62	c current bound: 207
1611.29/1618.41	c current bound: 207
1613.04/1619.98	c current bound: 207
1614.52/1621.58	c current bound: 207
1616.53/1623.40	c current bound: 207
1618.14/1625.15	c current bound: 207
1619.86/1626.86	c current bound: 207
1621.63/1628.58	c current bound: 207
1623.22/1630.14	c current bound: 207
1624.82/1631.73	c current bound: 207
1626.43/1633.30	c current bound: 207
1628.28/1635.12	c current bound: 207
1629.88/1636.69	c current bound: 207
1631.54/1638.33	c current bound: 207
1633.18/1639.96	c current bound: 207
1634.80/1641.55	c current bound: 207
1636.78/1643.34	c current bound: 207
1638.31/1645.01	c current bound: 207
1639.98/1646.64	c current bound: 207
1641.65/1648.29	c current bound: 207
1643.25/1649.88	c current bound: 207
1645.08/1651.67	c current bound: 207
1646.89/1653.44	c current bound: 207
1648.62/1655.01	c current bound: 207
1650.08/1656.57	c current bound: 207
1651.67/1658.14	c current bound: 207
1653.46/1659.72	c current bound: 207
1654.99/1661.39	c current bound: 207
1656.65/1663.02	c current bound: 207
1658.24/1664.62	c current bound: 207
1659.80/1666.16	c current bound: 207
1661.48/1667.80	c current bound: 207
1663.27/1669.56	c current bound: 207
1664.90/1671.16	c current bound: 207
1666.73/1672.97	c current bound: 207
1668.48/1674.54	c current bound: 207
1670.12/1676.28	c current bound: 207
1671.73/1677.87	c current bound: 207
1673.32/1679.45	c current bound: 207
1675.15/1681.26	c current bound: 207
1676.82/1682.91	c current bound: 207
1678.72/1684.62	c current bound: 207
1680.15/1686.18	c current bound: 207
1681.95/1687.96	c current bound: 207
1683.58/1689.55	c current bound: 207
1685.21/1691.16	c current bound: 207
1687.14/1692.92	c current bound: 207
1688.78/1694.69	c current bound: 207
1690.36/1696.24	c current bound: 207
1692.07/1697.92	c current bound: 207
1693.69/1699.50	c current bound: 207
1695.26/1701.06	c current bound: 207
1696.83/1702.59	c current bound: 207
1698.39/1704.11	c current bound: 207
1700.15/1705.85	c current bound: 207
1701.91/1707.59	c current bound: 207
1703.59/1709.13	c current bound: 207
1705.09/1710.72	c current bound: 207
1706.88/1712.31	c current bound: 207
1708.34/1713.92	c current bound: 207
1710.11/1715.65	c current bound: 207
1711.73/1717.26	c current bound: 207
1713.28/1718.78	c current bound: 207
1715.00/1720.46	c current bound: 207
1716.70/1722.06	c current bound: 207
1718.32/1723.74	c current bound: 207
1719.91/1725.29	c current bound: 207
1721.52/1726.88	c current bound: 207
1723.29/1728.64	c current bound: 207
1725.05/1730.36	c current bound: 207
1726.82/1732.10	c current bound: 207
1728.58/1733.85	c current bound: 207
1730.24/1735.47	c current bound: 207
1732.04/1737.12	c current bound: 207
1733.72/1738.85	c current bound: 207
1735.25/1740.44	c current bound: 207
1737.17/1742.35	c current bound: 207
1738.72/1744.03	c current bound: 207
1740.35/1745.63	c current bound: 207
1742.05/1747.32	c current bound: 207
1743.65/1748.88	c current bound: 207
1745.42/1750.63	c current bound: 207
1747.17/1752.20	c current bound: 207
1748.64/1753.81	c current bound: 207
1750.43/1755.55	c current bound: 207
1751.98/1757.08	c current bound: 207
1753.89/1759.24	c current bound: 207
1755.29/1760.77	c current bound: 207
1756.86/1762.31	c current bound: 207
1758.80/1766.43	c current bound: 207
1760.38/1768.16	c current bound: 207
1762.13/1769.70	c current bound: 207
1763.73/1771.44	c current bound: 207
1765.55/1773.17	c current bound: 207
1767.06/1774.72	c current bound: 207
1768.73/1776.35	c current bound: 207
1770.50/1778.09	c current bound: 207
1772.30/1889.90	c current bound: 207
1773.79/1891.63	c current bound: 207
1775.45/1893.29	c current bound: 207
1776.99/1894.83	c current bound: 207
1778.49/1896.33	c current bound: 207
1780.01/1897.85	c current bound: 207
1781.53/1899.37	c current bound: 207
1782.30/1900.00	./satsolver.sh: line 5:  4969 Terminated              ./glucose $1 > $2 2> /dev/null
1782.30/1900.01	c error: unexpected solver exit code
1782.30/1900.01	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-3715621-1338198991/watcher-3715621-1338198991 -o /tmp/evaluation-result-3715621-1338198991/solver-3715621-1338198991 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715621-1338198991.wbo 2139058291 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: 1.98 1.99 1.99 3/177 26431
/proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0

[startup+0.088596 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 26431
/proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100291 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 26431
/proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300281 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 26431
/proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70022 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 26431
/proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 26445
/proc/meminfo: memFree=29712032/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=7364 CPUtime=0.18 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 2936 6632 0 0 7 1 8 2 20 0 1 0 286024559 7540736 1481 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26432/statm: 1841 1481 175 439 0 1398 0
[pid=26444] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26444/stat : 26444 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286024580 9367552 266 33554432000 4194304 5064252 140733312089728 140733312088640 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26444/statm: 2287 266 226 213 0 72 0
[pid=26445] ppid=26444 vsize=30840 CPUtime=1.28 cores=1,3,5,7
/proc/26445/stat : 26445 (glucose) R 26444 26431 20162 0 -1 4202496 6053 0 0 0 127 1 0 0 20 0 1 0 286024580 31580160 6383 33554432000 4194304 5208918 140733932370992 140733932368840 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26445/statm: 7710 6383 95 248 0 7459 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 56500

[startup+3.10034 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 26459
/proc/meminfo: memFree=29708992/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1.91 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 4598 16904 0 0 11 2 167 11 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=26458] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26458/stat : 26458 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286024753 9367552 267 33554432000 4194304 5064252 140736549885440 140736549884352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26458/statm: 2287 267 226 213 0 72 0
[pid=26459] ppid=26458 vsize=30840 CPUtime=1.15 cores=1,3,5,7
/proc/26459/stat : 26459 (glucose) R 26458 26431 20162 0 -1 4202496 6059 0 0 0 114 1 0 0 20 0 1 0 286024753 31580160 6377 33554432000 4194304 5208918 140736802097968 140736802095816 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26459/statm: 7710 6377 95 248 0 7459 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 60468

[startup+6.30034 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 26480
/proc/meminfo: memFree=29711544/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=5.24 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 7920 38480 0 0 19 4 474 27 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=26475] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26475/stat : 26475 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286025088 9367552 266 33554432000 4194304 5064252 140737386049088 140737386048000 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26475/statm: 2287 266 226 213 0 72 0
[pid=26476] ppid=26475 vsize=30840 CPUtime=0.99 cores=1,3,5,7
/proc/26476/stat : 26476 (glucose) R 26475 26431 20162 0 -1 4202496 6068 0 0 0 98 1 0 0 20 0 1 0 286025088 31580160 6356 33554432000 4194304 5208918 140737466065344 140737466063192 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26476/statm: 7710 6356 95 248 0 7459 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 60468

[startup+12.7003 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 26515
/proc/meminfo: memFree=29708072/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=11.65 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 14564 80193 0 0 36 8 1060 61 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=26514] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26514/stat : 26514 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286025731 9367552 266 33554432000 4194304 5064252 140735893955120 140735893954032 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26514/statm: 2287 266 226 213 0 72 0
[pid=26515] ppid=26514 vsize=30840 CPUtime=0.97 cores=1,3,5,7
/proc/26515/stat : 26515 (glucose) R 26514 26431 20162 0 -1 4202496 6043 0 0 0 96 1 0 0 20 0 1 0 286025731 31580160 6348 33554432000 4194304 5208918 140736684368144 140736684366552 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26515/statm: 7710 6348 95 248 0 7459 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 60468

[startup+25.5003 s]
/proc/loadavg: 2.07 2.00 2.00 3/181 26599
/proc/meminfo: memFree=29707816/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=24.68 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 27852 165034 0 0 71 15 2250 132 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=26598] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26598/stat : 26598 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286027035 9367552 266 33554432000 4194304 5064252 140736776081824 140736776080736 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26598/statm: 2287 266 226 213 0 72 0
[pid=26599] ppid=26598 vsize=30840 CPUtime=0.72 cores=1,3,5,7
/proc/26599/stat : 26599 (glucose) R 26598 26431 20162 0 -1 4202496 5978 0 0 0 71 1 0 0 20 0 1 0 286027035 31580160 6308 33554432000 4194304 5208918 140734247624432 140734247622840 4211577 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26599/statm: 7710 6308 95 248 0 7459 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 60468

[startup+51.1003 s]
/proc/loadavg: 2.04 2.00 2.00 3/178 26751
/proc/meminfo: memFree=29740424/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=49.85 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 52767 320819 0 0 137 27 4559 262 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=26745] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26745/stat : 26745 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286029572 9367552 266 33554432000 4194304 5064252 140733652437888 140733652436800 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26745/statm: 2287 266 226 213 0 72 0
[pid=26746] ppid=26745 vsize=30844 CPUtime=0.96 cores=1,3,5,7
/proc/26746/stat : 26746 (glucose) R 26745 26431 20162 0 -1 4202496 6050 0 0 0 95 1 0 0 20 0 1 0 286029572 31584256 6351 33554432000 4194304 5208918 140733277777952 140733277775800 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26746/statm: 7711 6351 95 248 0 7460 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 60472

[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 27062
/proc/meminfo: memFree=29704744/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=101.92 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 104266 654486 0 0 272 52 9329 539 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 20480

[startup+162.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 27433
/proc/meminfo: memFree=29707940/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=160.85 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 165715 1033609 0 0 433 84 14707 861 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=27432] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27432/stat : 27432 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286040705 9367552 267 33554432000 4194304 5064252 140735955139216 140735955138128 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27432/statm: 2287 267 226 213 0 72 0
[pid=27433] ppid=27432 vsize=30844 CPUtime=0.84 cores=1,3,5,7
/proc/27433/stat : 27433 (glucose) R 27432 26431 20162 0 -1 4202496 5989 0 0 0 83 1 0 0 20 0 1 0 286040705 31584256 6316 33554432000 4194304 5208918 140735993122896 140735993121304 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27433/statm: 7711 6316 95 248 0 7460 0
Current children cumulated CPU time (s) 161.69

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

/proc/1998/statm: 2287 267 226 213 0 72 0
[pid=1999] ppid=1998 vsize=30844 CPUtime=1.14 cores=1,3,5,7
/proc/1999/stat : 1999 (glucose) R 1998 26431 20162 0 -1 4202496 6053 0 0 0 113 1 0 0 20 0 1 0 286154674 31584256 6373 33554432000 4194304 5208918 140735023112608 140735023110456 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1999/statm: 7711 6373 95 248 0 7460 0
Current children cumulated CPU time (s) 1296.64
Current children cumulated vsize (KiB) 60472

[startup+1362.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/181 2363
/proc/meminfo: memFree=29703408/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1355.28 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1383138 8690775 0 0 3638 691 124035 7164 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 33 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=2362] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2362/stat : 2362 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286160684 9367552 266 33554432000 4194304 5064252 140733541680032 140733541678944 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2362/statm: 2287 266 226 213 0 72 0
[pid=2363] ppid=2362 vsize=30840 CPUtime=1.04 cores=1,3,5,7
/proc/2363/stat : 2363 (glucose) R 2362 26431 20162 0 -1 4202496 6021 0 0 0 103 1 0 0 20 0 1 0 286160684 31580160 6347 33554432000 4194304 5208918 140734834380032 140734834377880 4211901 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2363/statm: 7710 6347 95 248 0 7459 0
Current children cumulated CPU time (s) 1356.32
Current children cumulated vsize (KiB) 60468

[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/182 2737
/proc/meminfo: memFree=29708448/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1415.75 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1444595 9078037 0 0 3800 722 129564 7489 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=2732] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2732/stat : 2732 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286166778 9367552 267 33554432000 4194304 5064252 140736712155024 140736712153936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2732/statm: 2287 267 226 213 0 72 0
[pid=2733] ppid=2732 vsize=30708 CPUtime=0.1 cores=1,3,5,7
/proc/2733/stat : 2733 (glucose) R 2732 26431 20162 0 -1 4202496 5887 0 0 0 9 1 0 0 20 0 1 0 286166778 31444992 6180 33554432000 4194304 5208918 140737319076144 140737319074552 4231508 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2733/statm: 7677 6180 95 248 0 7426 0
Current children cumulated CPU time (s) 1415.85
Current children cumulated vsize (KiB) 60336

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 3087
/proc/meminfo: memFree=29705084/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1475.3 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1502738 9454795 0 0 3953 751 135025 7801 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 35 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
Current children cumulated CPU time (s) 1475.3
Current children cumulated vsize (KiB) 20480

[startup+1542.31 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 3451
/proc/meminfo: memFree=29701780/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1535.07 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1564195 9841100 0 0 4115 782 140489 8121 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 40 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
Current children cumulated CPU time (s) 1535.07
Current children cumulated vsize (KiB) 20480

[startup+1602.43 s]
/proc/loadavg: 1.87 1.95 1.98 4/182 3791
/proc/meminfo: memFree=29722876/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1594.35 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1625644 10220798 0 0 4275 815 145895 8450 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 40 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
Current children cumulated CPU time (s) 1594.35
Current children cumulated vsize (KiB) 20480

[startup+1662.43 s]
/proc/loadavg: 1.48 1.84 1.94 4/181 4166
/proc/meminfo: memFree=29701556/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1655.22 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1685440 10597422 0 0 4434 852 151368 8868 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 40 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
Current children cumulated CPU time (s) 1655.22
Current children cumulated vsize (KiB) 20480

[startup+1723.59 s]
/proc/loadavg: 1.28 1.74 1.90 3/181 4540
/proc/meminfo: memFree=29720952/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1716.83 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1746897 10982321 0 0 4595 891 156917 9280 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
Current children cumulated CPU time (s) 1716.83
Current children cumulated vsize (KiB) 20480

[startup+1889.89 s]
/proc/loadavg: 0.82 1.53 1.81 4/180 4855
/proc/meminfo: memFree=29228800/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1772.13 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1800057 11325177 0 0 4735 925 161924 9629 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
Current children cumulated CPU time (s) 1772.13
Current children cumulated vsize (KiB) 20480

[startup+1889.9 s]
/proc/loadavg: 0.82 1.53 1.81 4/180 4855
/proc/meminfo: memFree=29228800/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1772.3 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) R 26431 26431 20162 0 -1 4202496 1800093 11327816 0 0 4735 925 161933 9637 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5043280 0 0 4096 0 0 0 0 17 1 0 0 40 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
Current children cumulated CPU time (s) 1772.3
Current children cumulated vsize (KiB) 20480



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1900 s]
/proc/loadavg: 4.09 2.66 2.20 3/181 4969
/proc/meminfo: memFree=29176620/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1781.74 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1811676 11391594 0 0 4765 931 162792 9686 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=4968] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4968/stat : 4968 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286214502 9367552 266 33554432000 4194304 5064252 140736253537136 140736253536048 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4968/statm: 2287 266 226 213 0 72 0
[pid=4969] ppid=4968 vsize=30712 CPUtime=0.56 cores=1,3,5,7
/proc/4969/stat : 4969 (glucose) R 4968 26431 20162 0 -1 4202496 5547 0 0 0 55 1 0 0 20 0 1 0 286214502 31449088 6394 33554432000 4194304 5208918 140733645828064 140733645826472 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4969/statm: 7678 6394 95 248 0 7427 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 60340

Sending SIGTERM to process tree (bottom up)

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

[startup+1900 s]
/proc/loadavg: 4.09 2.66 2.20 3/181 4969
/proc/meminfo: memFree=29176620/32873852 swapFree=7624/7624
[pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26431/statm: 2287 275 233 213 0 72 0
[pid=26432] ppid=26431 vsize=11332 CPUtime=1781.74 cores=1,3,5,7
/proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1811676 11391594 0 0 4765 931 162792 9686 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0
/proc/26432/statm: 2833 2395 176 439 0 2390 0
[pid=4968] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4968/stat : 4968 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286214502 9367552 266 33554432000 4194304 5064252 140736253537136 140736253536048 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4968/statm: 2287 266 226 213 0 72 0
[pid=4969] ppid=4968 vsize=30712 CPUtime=0.56 cores=1,3,5,7
/proc/4969/stat : 4969 (glucose) R 4968 26431 20162 0 -1 4202496 5547 0 0 0 55 1 0 0 20 0 1 0 286214502 31449088 6394 33554432000 4194304 5208918 140733645828064 140733645826472 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4969/statm: 7678 6394 95 248 0 7427 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 60340

Child status: 0
Real time (s): 1900.01
CPU time (s): 1782.34
CPU user time (s): 1676.14
CPU system time (s): 106.201
CPU usage (%): 93.8067
Max. virtual memory (cumulated for all children) (KiB): 62280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1676.14
system time used= 106.201
maximum resident set size= 29812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13209804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8196552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157581
involuntary context switches= 15485

runsolver used 3.89441 second user time and 8.64069 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-28 11:56:31
IDJOB=3715621
IDBENCH=78980
IDSOLVER=2297
FILE ID=node131/3715621-1338198991
RUNJOBID= node131-1338189901-20180
PBS_JOBID= 14624570
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= ed627c94e924dd829be1b38440fce2ad
RANDOM SEED=2139058291

node131.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.805
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.61
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.805
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.805
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.91
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.805
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.805
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.805
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.805
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.92
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.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29746548 kB
Buffers:          379912 kB
Cached:          1874488 kB
SwapCached:         2172 kB
Active:           648092 kB
Inactive:        1644532 kB
Active(anon):      39368 kB
Inactive(anon):      816 kB
Active(file):     608724 kB
Inactive(file):  1643716 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099044 kB
Dirty:             11132 kB
Writeback:             0 kB
AnonPages:         59164 kB
Mapped:            15256 kB
Shmem:                 0 kB
Slab:             695132 kB
SReclaimable:     136984 kB
SUnreclaim:       558148 kB
KernelStack:        1504 kB
PageTables:         4004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     163536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71528 MiB
End job on node131 at 2012-05-28 12:28:11