Trace number 3715638

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.69 1798.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo
MD5SUMc7dcb25d665cb550b68931937f8d1bd8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark0.533918
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints28
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1228
Number of bits of the biggest sum of numbers11
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.05	c run usual solver
3.07/3.13	o 1313
3.07/3.13	c starting approximation
3.07/3.13	c factor = 2
3.07/3.13	c current bound: 656
6.07/6.14	c current bound: 656
9.07/9.12	c current bound: 656
12.08/12.12	c current bound: 656
15.06/15.11	c current bound: 656
18.06/18.16	c current bound: 656
21.06/21.16	c current bound: 656
24.16/24.29	c current bound: 656
27.18/27.34	c current bound: 656
30.20/30.34	c current bound: 656
33.18/33.33	c current bound: 656
36.20/36.33	c current bound: 656
39.19/39.34	c current bound: 656
42.19/42.34	c current bound: 656
45.18/45.39	c current bound: 656
48.20/48.39	c current bound: 656
51.27/51.44	c current bound: 656
54.28/54.49	c current bound: 656
57.37/57.55	c current bound: 656
60.39/60.55	c current bound: 656
63.38/63.55	c current bound: 656
66.48/66.61	c current bound: 656
69.46/69.63	c current bound: 656
72.57/72.70	c current bound: 656
75.55/75.73	c current bound: 656
78.56/78.78	c current bound: 656
81.56/81.78	c current bound: 656
84.56/84.79	c current bound: 656
87.65/87.85	c current bound: 656
90.64/90.81	c current bound: 656
93.65/93.86	c current bound: 656
96.66/96.86	c current bound: 656
99.64/99.87	c current bound: 656
102.71/102.92	c current bound: 656
105.72/105.97	c current bound: 656
108.81/109.01	c current bound: 656
111.81/112.07	c current bound: 656
114.81/115.06	c current bound: 656
117.92/118.12	c current bound: 656
120.91/121.11	c current bound: 656
123.89/124.17	c current bound: 656
127.01/127.22	c current bound: 656
129.89/130.17	c current bound: 656
132.90/133.18	c current bound: 656
136.00/136.23	c current bound: 656
138.99/139.27	c current bound: 656
142.10/142.34	c current bound: 656
145.09/145.33	c current bound: 656
148.09/148.38	c current bound: 656
151.09/151.39	c current bound: 656
154.19/154.44	c current bound: 656
157.19/157.49	c current bound: 656
160.18/160.47	c current bound: 656
163.20/163.46	c current bound: 656
166.18/166.45	c current bound: 656
169.19/169.48	c current bound: 656
172.28/172.53	c current bound: 656
175.30/175.52	c current bound: 656
178.29/178.56	c current bound: 656
181.29/181.56	c current bound: 656
184.28/184.56	c current bound: 656
187.40/187.62	c current bound: 656
190.27/190.58	c current bound: 656
193.39/193.64	c current bound: 656
196.39/196.69	c current bound: 656
199.49/199.72	c current bound: 656
202.47/202.71	c current bound: 656
205.48/205.77	c current bound: 656
208.57/208.82	c current bound: 656
211.57/211.87	c current bound: 656
214.68/214.92	c current bound: 656
217.67/217.97	c current bound: 656
220.67/220.97	c current bound: 656
223.67/223.96	c current bound: 656
226.77/227.01	c current bound: 656
229.67/229.99	c current bound: 656
232.66/232.99	c current bound: 656
235.66/235.99	c current bound: 656
238.75/239.03	c current bound: 656
241.77/242.07	c current bound: 656
244.75/245.08	c current bound: 656
247.76/248.08	c current bound: 656
250.86/251.14	c current bound: 656
253.87/254.19	c current bound: 656
256.96/257.24	c current bound: 656
259.96/260.23	c current bound: 656
262.97/263.22	c current bound: 656
265.97/266.28	c current bound: 656
268.97/269.27	c current bound: 656
272.07/272.32	c current bound: 656
275.07/275.37	c current bound: 656
278.16/278.43	c current bound: 656
281.17/281.48	c current bound: 656
284.26/284.53	c current bound: 656
287.28/287.58	c current bound: 656
290.26/290.57	c current bound: 656
293.38/293.62	c current bound: 656
296.37/296.61	c current bound: 656
299.38/299.64	c current bound: 656
302.37/302.69	c current bound: 656
305.48/305.75	c current bound: 656
308.47/308.74	c current bound: 656
311.47/311.79	c current bound: 656
314.57/314.84	c current bound: 656
317.58/317.84	c current bound: 656
320.55/320.85	c current bound: 656
323.67/323.91	c current bound: 656
326.68/326.92	c current bound: 656
329.55/329.89	c current bound: 656
332.56/332.87	c current bound: 656
335.67/335.92	c current bound: 656
338.68/338.92	c current bound: 656
341.68/341.92	c current bound: 656
344.66/344.99	c current bound: 656
347.76/348.04	c current bound: 656
350.77/351.03	c current bound: 656
353.76/354.10	c current bound: 656
356.76/357.09	c current bound: 656
359.75/360.06	c current bound: 656
362.86/363.11	c current bound: 656
365.87/366.16	c current bound: 656
368.87/369.19	c current bound: 656
371.95/372.25	c current bound: 656
375.05/375.31	c current bound: 656
377.95/378.30	c current bound: 656
381.05/381.30	c current bound: 656
384.04/384.36	c current bound: 656
387.15/387.40	c current bound: 656
390.04/390.37	c current bound: 656
393.05/393.37	c current bound: 656
396.05/396.37	c current bound: 656
399.07/399.39	c current bound: 656
402.06/402.38	c current bound: 656
405.15/405.44	c current bound: 656
408.26/408.50	c current bound: 656
411.25/411.54	c current bound: 656
414.25/414.55	c current bound: 656
417.34/417.61	c current bound: 656
420.35/420.60	c current bound: 656
423.34/423.65	c current bound: 656
426.45/426.70	c current bound: 656
429.34/429.68	c current bound: 656
432.34/432.67	c current bound: 656
435.43/435.74	c current bound: 656
438.43/438.80	c current bound: 656
441.54/441.80	c current bound: 656
444.54/444.84	c current bound: 656
447.62/447.90	c current bound: 656
450.65/450.92	c current bound: 656
453.63/453.97	c current bound: 656
456.63/456.97	c current bound: 656
459.62/459.97	c current bound: 656
462.74/463.02	c current bound: 656
465.73/466.02	c current bound: 656
468.71/469.06	c current bound: 656
471.83/472.11	c current bound: 656
474.84/475.18	c current bound: 656
477.93/478.23	c current bound: 656
480.93/481.29	c current bound: 656
483.93/484.28	c current bound: 656
487.04/487.33	c current bound: 656
490.03/490.32	c current bound: 656
493.03/493.32	c current bound: 656
496.03/496.38	c current bound: 656
499.02/499.36	c current bound: 656
502.12/502.41	c current bound: 656
505.11/505.46	c current bound: 656
508.11/508.45	c current bound: 656
511.23/511.51	c current bound: 656
514.12/514.49	c current bound: 656
517.12/517.50	c current bound: 656
520.22/520.50	c current bound: 656
523.23/523.50	c current bound: 656
526.23/526.50	c current bound: 656
529.11/529.48	c current bound: 656
532.12/532.48	c current bound: 656
535.21/535.53	c current bound: 656
538.22/538.52	c current bound: 656
541.20/541.58	c current bound: 656
541.31/544.62	c current bound: 656
547.31/547.66	c current bound: 656
550.31/550.63	c current bound: 656
553.30/553.68	c current bound: 656
556.40/556.74	c current bound: 656
559.41/559.72	c current bound: 656
562.41/562.72	c current bound: 656
565.40/565.77	c current bound: 656
568.51/568.82	c current bound: 656
571.51/571.82	c current bound: 656
574.49/574.87	c current bound: 656
577.61/577.92	c current bound: 656
580.61/580.90	c current bound: 656
583.59/583.95	c current bound: 656
586.60/586.94	c current bound: 656
589.59/589.93	c current bound: 656
592.59/592.99	c current bound: 656
595.70/596.04	c current bound: 656
598.69/599.08	c current bound: 656
601.69/602.08	c current bound: 656
604.78/605.14	c current bound: 656
607.79/608.14	c current bound: 656
610.77/611.13	c current bound: 656
613.78/614.18	c current bound: 656
616.79/617.18	c current bound: 656
619.78/620.17	c current bound: 656
622.88/623.23	c current bound: 656
625.88/626.22	c current bound: 656
628.90/629.25	c current bound: 656
631.87/632.25	c current bound: 656
634.88/635.29	c current bound: 656
637.87/638.28	c current bound: 656
640.98/641.35	c current bound: 656
643.97/644.35	c current bound: 656
646.97/647.39	c current bound: 656
649.97/650.38	c current bound: 656
653.06/653.43	c current bound: 656
656.07/656.43	c current bound: 656
659.05/659.46	c current bound: 656
662.06/662.46	c current bound: 656
665.07/665.46	c current bound: 656
668.16/668.51	c current bound: 656
671.16/671.51	c current bound: 656
674.16/674.56	c current bound: 656
677.17/677.55	c current bound: 656
680.16/680.54	c current bound: 656
683.16/683.54	c current bound: 656
686.17/686.58	c current bound: 656
689.16/689.57	c current bound: 656
692.27/692.63	c current bound: 656
695.28/695.62	c current bound: 656
698.26/698.62	c current bound: 656
701.28/701.68	c current bound: 656
704.26/704.69	c current bound: 656
707.36/707.73	c current bound: 656
710.36/710.72	c current bound: 656
713.35/713.78	c current bound: 656
716.47/716.82	c current bound: 656
719.46/719.83	c current bound: 656
722.46/722.88	c current bound: 656
725.47/725.87	c current bound: 656
728.46/728.88	c current bound: 656
731.47/731.89	c current bound: 656
734.56/734.95	c current bound: 656
737.56/737.94	c current bound: 656
740.55/740.91	c current bound: 656
743.57/743.90	c current bound: 656
746.56/746.94	c current bound: 656
749.55/749.94	c current bound: 656
752.64/753.00	c current bound: 656
755.66/756.06	c current bound: 656
758.74/759.10	c current bound: 656
761.75/762.16	c current bound: 656
764.75/765.16	c current bound: 656
767.86/768.21	c current bound: 656
770.86/771.21	c current bound: 656
773.85/774.21	c current bound: 656
776.84/777.21	c current bound: 656
779.75/780.18	c current bound: 656
782.86/783.23	c current bound: 656
785.84/786.27	c current bound: 656
788.84/789.26	c current bound: 656
791.83/792.26	c current bound: 656
794.96/795.32	c current bound: 656
797.95/798.37	c current bound: 656
800.94/801.37	c current bound: 656
804.05/804.42	c current bound: 656
807.06/807.43	c current bound: 656
810.05/810.40	c current bound: 656
813.04/813.44	c current bound: 656
816.15/816.50	c current bound: 656
819.05/819.48	c current bound: 656
822.12/822.54	c current bound: 656
825.14/825.59	c current bound: 656
828.24/828.64	c current bound: 656
831.23/831.69	c current bound: 656
834.33/834.74	c current bound: 656
837.33/837.74	c current bound: 656
840.34/840.76	c current bound: 656
843.43/843.82	c current bound: 656
846.44/846.82	c current bound: 656
849.42/849.83	c current bound: 656
852.43/852.83	c current bound: 656
855.44/855.82	c current bound: 656
858.44/858.87	c current bound: 656
861.42/861.86	c current bound: 656
864.53/864.91	c current bound: 656
867.52/867.97	c current bound: 656
870.53/870.93	c current bound: 656
873.60/874.00	c current bound: 656
876.62/877.05	c current bound: 656
879.62/880.04	c current bound: 656
882.62/883.04	c current bound: 656
885.61/886.09	c current bound: 656
888.72/889.15	c current bound: 656
891.74/892.14	c current bound: 656
894.72/895.14	c current bound: 656
897.73/898.14	c current bound: 656
900.72/901.19	c current bound: 656
903.83/904.24	c current bound: 656
906.81/907.24	c current bound: 656
909.83/910.22	c current bound: 656
912.81/913.29	c current bound: 656
915.83/916.30	c current bound: 656
918.93/919.30	c current bound: 656
921.93/922.30	c current bound: 656
924.82/925.29	c current bound: 656
927.93/928.35	c current bound: 656
931.01/931.40	c current bound: 656
934.01/934.41	c current bound: 656
937.01/937.46	c current bound: 656
940.02/940.45	c current bound: 656
943.10/943.50	c current bound: 656
946.12/946.56	c current bound: 656
949.11/949.54	c current bound: 656
952.12/952.55	c current bound: 656
955.11/955.59	c current bound: 656
958.12/958.58	c current bound: 656
961.20/961.63	c current bound: 656
964.23/964.62	c current bound: 656
967.22/967.68	c current bound: 656
970.33/970.74	c current bound: 656
973.40/973.80	c current bound: 656
976.42/976.85	c current bound: 656
979.42/979.82	c current bound: 656
982.41/982.87	c current bound: 656
985.53/986.01	c current bound: 656
988.54/989.06	c current bound: 656
991.54/992.10	c current bound: 656
994.63/995.15	c current bound: 656
997.73/998.20	c current bound: 656
1000.63/1001.15	c current bound: 656
1003.75/1004.21	c current bound: 656
1006.74/1007.26	c current bound: 656
1009.74/1010.25	c current bound: 656
1012.84/1013.31	c current bound: 656
1015.84/1016.30	c current bound: 656
1018.84/1019.35	c current bound: 656
1021.84/1022.35	c current bound: 656
1024.95/1025.40	c current bound: 656
1027.93/1028.45	c current bound: 656
1030.93/1031.43	c current bound: 656
1033.95/1034.42	c current bound: 656
1036.94/1037.48	c current bound: 656
1040.04/1040.53	c current bound: 656
1043.03/1043.53	c current bound: 656
1046.04/1046.58	c current bound: 656
1049.13/1049.61	c current bound: 656
1052.14/1052.66	c current bound: 656
1055.23/1055.71	c current bound: 656
1058.23/1058.70	c current bound: 656
1061.25/1061.75	c current bound: 656
1064.36/1064.80	c current bound: 656
1067.35/1067.81	c current bound: 656
1070.33/1070.86	c current bound: 656
1073.34/1073.85	c current bound: 656
1076.43/1076.91	c current bound: 656
1079.33/1079.88	c current bound: 656
1082.43/1082.93	c current bound: 656
1085.44/1085.99	c current bound: 656
1088.53/1089.03	c current bound: 656
1091.53/1092.03	c current bound: 656
1094.53/1095.09	c current bound: 656
1097.52/1098.08	c current bound: 656
1100.64/1101.12	c current bound: 656
1103.63/1104.11	c current bound: 656
1106.63/1107.17	c current bound: 656
1109.63/1110.16	c current bound: 656
1112.63/1113.16	c current bound: 656
1115.73/1116.21	c current bound: 656
1118.72/1119.26	c current bound: 656
1121.74/1122.25	c current bound: 656
1124.84/1125.30	c current bound: 656
1127.83/1128.36	c current bound: 656
1130.92/1131.40	c current bound: 656
1133.92/1134.45	c current bound: 656
1136.93/1137.45	c current bound: 656
1139.93/1140.41	c current bound: 656
1142.92/1143.42	c current bound: 656
1145.91/1146.41	c current bound: 656
1148.93/1149.44	c current bound: 656
1152.00/1152.50	c current bound: 656
1155.01/1155.50	c current bound: 656
1157.92/1158.49	c current bound: 656
1161.02/1161.54	c current bound: 656
1164.01/1164.53	c current bound: 656
1167.02/1167.58	c current bound: 656
1170.01/1170.57	c current bound: 656
1173.02/1173.57	c current bound: 656
1176.01/1176.57	c current bound: 656
1179.01/1179.58	c current bound: 656
1182.11/1182.64	c current bound: 656
1185.11/1185.70	c current bound: 656
1188.19/1188.76	c current bound: 656
1191.32/1191.82	c current bound: 656
1194.30/1194.82	c current bound: 656
1197.32/1197.81	c current bound: 656
1200.29/1200.83	c current bound: 656
1203.31/1203.88	c current bound: 656
1206.30/1206.88	c current bound: 656
1209.29/1209.88	c current bound: 656
1212.30/1212.87	c current bound: 656
1215.39/1215.93	c current bound: 656
1218.40/1218.99	c current bound: 656
1221.50/1222.01	c current bound: 656
1224.47/1225.06	c current bound: 656
1227.47/1228.06	c current bound: 656
1230.47/1231.07	c current bound: 656
1233.48/1234.06	c current bound: 656
1236.48/1237.09	c current bound: 656
1239.43/1240.08	c current bound: 656
1242.51/1243.15	c current bound: 656
1245.64/1246.21	c current bound: 656
1248.62/1249.20	c current bound: 656
1251.63/1252.20	c current bound: 656
1254.64/1255.20	c current bound: 656
1257.54/1258.19	c current bound: 656
1260.55/1261.18	c current bound: 656
1263.64/1264.23	c current bound: 656
1266.64/1267.29	c current bound: 656
1269.74/1270.34	c current bound: 656
1272.72/1273.34	c current bound: 656
1275.73/1276.39	c current bound: 656
1278.83/1279.43	c current bound: 656
1281.83/1282.49	c current bound: 656
1284.94/1285.54	c current bound: 656
1288.01/1288.60	c current bound: 656
1291.02/1291.60	c current bound: 656
1293.92/1294.60	c current bound: 656
1296.93/1297.59	c current bound: 656
1300.01/1300.64	c current bound: 656
1303.02/1303.69	c current bound: 656
1306.12/1306.74	c current bound: 656
1309.13/1309.76	c current bound: 656
1312.11/1312.76	c current bound: 656
1315.22/1315.82	c current bound: 656
1318.22/1318.90	c current bound: 656
1321.21/1321.89	c current bound: 656
1324.30/1324.95	c current bound: 656
1327.40/1328.00	c current bound: 656
1330.42/1331.05	c current bound: 656
1333.50/1334.10	c current bound: 656
1336.51/1337.10	c current bound: 656
1339.40/1340.08	c current bound: 656
1342.42/1343.08	c current bound: 656
1345.40/1346.06	c current bound: 656
1348.52/1349.11	c current bound: 656
1351.50/1352.13	c current bound: 656
1354.52/1355.19	c current bound: 656
1357.61/1358.23	c current bound: 656
1360.61/1361.28	c current bound: 656
1363.61/1364.27	c current bound: 656
1366.71/1367.33	c current bound: 656
1369.72/1370.32	c current bound: 656
1372.71/1373.37	c current bound: 656
1375.82/1376.42	c current bound: 656
1378.80/1379.45	c current bound: 656
1381.81/1382.45	c current bound: 656
1384.81/1385.44	c current bound: 656
1387.81/1388.44	c current bound: 656
1390.81/1391.50	c current bound: 656
1393.91/1394.51	c current bound: 656
1396.91/1397.57	c current bound: 656
1399.90/1400.58	c current bound: 656
1403.00/1403.63	c current bound: 656
1406.09/1406.70	c current bound: 656
1409.08/1409.72	c current bound: 656
1412.10/1412.72	c current bound: 656
1415.09/1415.71	c current bound: 656
1418.10/1418.76	c current bound: 656
1421.19/1421.82	c current bound: 656
1424.20/1424.87	c current bound: 656
1427.19/1427.86	c current bound: 656
1430.30/1430.91	c current bound: 656
1433.30/1433.97	c current bound: 656
1436.41/1437.02	c current bound: 656
1439.39/1440.02	c current bound: 656
1442.40/1443.07	c current bound: 656
1445.50/1446.12	c current bound: 656
1448.50/1449.17	c current bound: 656
1451.60/1452.22	c current bound: 656
1454.59/1455.20	c current bound: 656
1457.59/1458.22	c current bound: 656
1460.59/1461.27	c current bound: 656
1463.59/1464.27	c current bound: 656
1466.59/1467.27	c current bound: 656
1469.69/1470.31	c current bound: 656
1472.68/1473.37	c current bound: 656
1475.69/1476.37	c current bound: 656
1478.68/1479.36	c current bound: 656
1481.79/1482.41	c current bound: 656
1484.79/1485.41	c current bound: 656
1487.78/1488.47	c current bound: 656
1490.78/1491.46	c current bound: 656
1493.90/1494.52	c current bound: 656
1496.88/1497.57	c current bound: 656
1499.99/1500.62	c current bound: 656
1502.98/1503.62	c current bound: 656
1505.98/1506.67	c current bound: 656
1508.97/1509.68	c current bound: 656
1512.07/1512.74	c current bound: 656
1515.08/1515.79	c current bound: 656
1518.17/1518.84	c current bound: 656
1521.18/1521.84	c current bound: 656
1524.18/1524.85	c current bound: 656
1527.18/1527.90	c current bound: 656
1530.18/1530.89	c current bound: 656
1533.28/1533.95	c current bound: 656
1536.37/1537.00	c current bound: 656
1539.27/1539.98	c current bound: 656
1542.47/1543.18	c current bound: 656
1545.57/1546.24	c current bound: 656
1548.57/1549.29	c current bound: 656
1551.67/1552.34	c current bound: 656
1554.67/1555.40	c current bound: 656
1557.67/1558.39	c current bound: 656
1560.67/1561.38	c current bound: 656
1563.77/1564.44	c current bound: 656
1566.78/1567.49	c current bound: 656
1569.86/1570.54	c current bound: 656
1572.87/1573.58	c current bound: 656
1575.96/1576.64	c current bound: 656
1578.98/1579.67	c current bound: 656
1582.07/1582.71	c current bound: 656
1585.07/1585.78	c current bound: 656
1588.17/1588.83	c current bound: 656
1591.15/1591.88	c current bound: 656
1594.28/1594.92	c current bound: 656
1597.26/1597.98	c current bound: 656
1600.26/1600.98	c current bound: 656
1603.26/1603.98	c current bound: 656
1606.37/1607.03	c current bound: 656
1609.36/1610.03	c current bound: 656
1612.37/1613.04	c current bound: 656
1615.36/1616.03	c current bound: 656
1618.37/1619.08	c current bound: 656
1621.36/1622.08	c current bound: 656
1624.46/1625.14	c current bound: 656
1627.46/1628.14	c current bound: 656
1630.47/1631.14	c current bound: 656
1633.46/1634.19	c current bound: 656
1636.46/1637.19	c current bound: 656
1639.46/1640.17	c current bound: 656
1642.57/1643.23	c current bound: 656
1645.56/1646.22	c current bound: 656
1648.56/1649.28	c current bound: 656
1651.66/1652.32	c current bound: 656
1654.67/1655.32	c current bound: 656
1657.67/1658.37	c current bound: 656
1660.67/1661.35	c current bound: 656
1663.66/1664.34	c current bound: 656
1666.75/1667.41	c current bound: 656
1669.77/1670.40	c current bound: 656
1672.75/1673.46	c current bound: 656
1675.77/1676.46	c current bound: 656
1678.86/1679.51	c current bound: 656
1681.87/1682.56	c current bound: 656
1684.85/1685.56	c current bound: 656
1687.96/1688.61	c current bound: 656
1690.96/1691.61	c current bound: 656
1693.94/1694.60	c current bound: 656
1696.94/1697.60	c current bound: 656
1699.95/1700.65	c current bound: 656
1702.96/1703.64	c current bound: 656
1706.06/1706.70	c current bound: 656
1709.06/1709.72	c current bound: 656
1712.05/1712.73	c current bound: 656
1715.06/1715.78	c current bound: 656
1718.15/1718.83	c current bound: 656
1721.16/1721.84	c current bound: 656
1724.15/1724.89	c current bound: 656
1727.16/1727.88	c current bound: 656
1730.15/1730.89	c current bound: 656
1733.15/1733.88	c current bound: 656
1736.25/1736.94	c current bound: 656
1739.24/1739.93	c current bound: 656
1742.25/1742.97	c current bound: 656
1745.36/1746.02	c current bound: 656
1748.36/1749.02	c current bound: 656
1751.36/1752.02	c current bound: 656
1754.35/1755.08	c current bound: 656
1757.44/1758.13	c current bound: 656
1760.46/1761.17	c current bound: 656
1763.55/1764.22	c current bound: 656
1766.54/1767.23	c current bound: 656
1769.53/1770.20	c current bound: 656
1772.55/1773.26	c current bound: 656
1775.54/1776.26	c current bound: 656
1778.53/1779.27	c current bound: 656
1781.54/1782.26	c current bound: 656
1784.62/1785.31	c current bound: 656
1787.63/1788.31	c current bound: 656
1790.65/1791.30	c current bound: 656
1793.63/1794.35	c current bound: 656
1796.73/1797.41	c current bound: 656
1797.74/1798.41	./satsolver.sh: line 5: 23897 Terminated              ./glucose $1 > $2 2> /dev/null
1797.74/1798.41	c error: unexpected solver exit code
1797.74/1798.41	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-3715638-1338189147/watcher-3715638-1338189147 -o /tmp/evaluation-result-3715638-1338189147/solver-3715638-1338189147 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715638-1338189147.wbo 1470895036 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.09 1.98 3/177 6092
/proc/meminfo: memFree=28438184/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0

[startup+0.079144 s]
/proc/loadavg: 2.11 2.09 1.98 3/177 6092
/proc/meminfo: memFree=28438184/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100179 s]
/proc/loadavg: 2.11 2.09 1.98 3/177 6092
/proc/meminfo: memFree=28438184/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300109 s]
/proc/loadavg: 2.11 2.09 1.98 3/177 6092
/proc/meminfo: memFree=28438184/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700112 s]
/proc/loadavg: 2.11 2.09 1.98 3/177 6092
/proc/meminfo: memFree=28438184/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50021 s]
/proc/loadavg: 2.11 2.09 1.98 3/181 6099
/proc/meminfo: memFree=28477764/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=3708 CPUtime=0.44 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 1097 3395 0 0 5 0 38 1 20 0 1 0 285040169 3796992 477 33554432000 4194304 5990268 140734122604448 140734122598688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6093/statm: 927 477 154 439 0 484 0
[pid=6098] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285040215 9367552 267 33554432000 4194304 5064252 140735596594768 140735596593680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6098/statm: 2287 267 226 213 0 72 0
[pid=6099] ppid=6098 vsize=7080 CPUtime=1.03 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6092 25502 0 -1 4202496 2052 0 0 0 103 0 0 0 20 0 1 0 285040215 7249920 1339 33554432000 4194304 5208918 140733250382400 140733250380552 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 1770 1339 102 248 0 1519 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29084

[startup+3.1002 s]
/proc/loadavg: 2.11 2.09 1.98 3/181 6106
/proc/meminfo: memFree=28426784/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=3708 CPUtime=0.44 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 1097 3395 0 0 5 0 38 1 20 0 1 0 285040169 3796992 477 33554432000 4194304 5990268 140734122604448 140734122598688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6093/statm: 927 477 154 439 0 484 0
[pid=6098] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285040215 9367552 267 33554432000 4194304 5064252 140735596594768 140735596593680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6098/statm: 2287 267 226 213 0 72 0
[pid=6099] ppid=6098 vsize=9760 CPUtime=2.63 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6092 25502 0 -1 4202496 2704 0 0 0 263 0 0 0 20 0 1 0 285040215 9994240 1956 33554432000 4194304 5208918 140733250382400 140733250380344 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 2440 1956 107 248 0 2189 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 31764

[startup+6.30026 s]
/proc/loadavg: 2.10 2.09 1.98 3/181 6120
/proc/meminfo: memFree=28421940/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=6.13 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 1725 16666 0 0 6 2 601 4 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 13944

[startup+12.7002 s]
/proc/loadavg: 2.09 2.09 1.98 4/181 6155
/proc/meminfo: memFree=28432124/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=12.1 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 2339 31057 0 0 7 2 1194 7 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 13944

[startup+25.5003 s]
/proc/loadavg: 2.07 2.08 1.98 3/181 6225
/proc/meminfo: memFree=28426184/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=24.19 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 3567 60328 0 0 9 2 2394 14 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=6220] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6220/stat : 6220 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285042599 9367552 267 33554432000 4194304 5064252 140737284524272 140737284523184 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6220/statm: 2287 267 226 213 0 72 0
[pid=6221] ppid=6220 vsize=10968 CPUtime=1.19 cores=0,2,4,6
/proc/6221/stat : 6221 (glucose) R 6220 6092 25502 0 -1 4202496 3258 0 0 0 119 0 0 0 20 0 1 0 285042599 11231232 2251 33554432000 4194304 5208918 140737069479936 140737069477784 4211674 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6221/statm: 2742 2251 104 248 0 2491 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 34060

[startup+51.1003 s]
/proc/loadavg: 2.04 2.07 1.98 3/181 6351
/proc/meminfo: memFree=28422904/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=48.29 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 6023 118568 0 0 13 3 4784 29 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=6343] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6343/stat : 6343 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285045009 9367552 267 33554432000 4194304 5064252 140735325025712 140735325024624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6343/statm: 2287 267 226 213 0 72 0
[pid=6344] ppid=6343 vsize=14288 CPUtime=2.68 cores=0,2,4,6
/proc/6344/stat : 6344 (glucose) R 6343 6092 25502 0 -1 4202496 4364 0 0 0 268 0 0 0 20 0 1 0 285045010 14630912 3271 33554432000 4194304 5208918 140736615360368 140736615358232 4229460 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6344/statm: 3572 3271 104 248 0 3321 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 37380

[startup+102.306 s]
/proc/loadavg: 1.84 2.01 1.96 3/181 9655
/proc/meminfo: memFree=28557860/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=99.7 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 11242 245704 0 0 21 5 9880 64 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=9507] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9507/stat : 9507 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285050157 9367552 266 33554432000 4194304 5064252 140735441976704 140735441975616 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9507/statm: 2287 266 226 213 0 72 0
[pid=9508] ppid=9507 vsize=14292 CPUtime=2.42 cores=0,2,4,6
/proc/9508/stat : 9508 (glucose) R 9507 6092 25502 0 -1 4202496 4094 0 0 0 242 0 0 0 20 0 1 0 285050157 14635008 3271 33554432000 4194304 5208918 140735413151552 140735413149416 4229999 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9508/statm: 3573 3271 104 248 0 3322 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 37384

[startup+162.3 s]
/proc/loadavg: 1.83 1.98 1.95 3/181 13570
/proc/meminfo: memFree=28557000/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=160.28 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 17382 395878 0 0 31 6 15890 101 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=13499] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13499/stat : 13499 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285056217 9367552 267 33554432000 4194304 5064252 140735674671280 140735674670192 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13499/statm: 2287 267 226 213 0 72 0
[pid=13500] ppid=13499 vsize=12616 CPUtime=1.81 cores=0,2,4,6
/proc/13500/stat : 13500 (glucose) R 13499 6092 25502 0 -1 4202496 3392 0 0 0 181 0 0 0 20 0 1 0 285056217 12918784 2858 33554432000 4194304 5208918 140736030152064 140736030149928 4205227 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13500/statm: 3154 2858 104 248 0 2903 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 35708

[startup+222.3 s]
/proc/loadavg: 1.62 1.89 1.92 3/181 17546
/proc/meminfo: memFree=28557704/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/23600/statm: 3154 2759 104 248 0 2903 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 35708

[startup+1362.3 s]
/proc/loadavg: 1.72 1.73 1.79 3/181 27623
/proc/meminfo: memFree=28556400/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=1360.71 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 139261 3324625 0 0 219 48 134938 866 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=27594] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27594/stat : 27594 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285176298 9367552 266 33554432000 4194304 5064252 140737234071328 140737234070240 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27594/statm: 2287 266 226 213 0 72 0
[pid=27595] ppid=27594 vsize=10968 CPUtime=1 cores=0,2,4,6
/proc/27595/stat : 27595 (glucose) R 27594 6092 25502 0 -1 4202496 2548 0 0 0 100 0 0 0 20 0 1 0 285176299 11231232 2351 33554432000 4194304 5208918 140735476554544 140735476552392 4229377 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27595/statm: 2742 2351 104 248 0 2491 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 34060

[startup+1422.31 s]
/proc/loadavg: 1.74 1.73 1.79 3/181 31606
/proc/meminfo: memFree=28555764/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=1421.24 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 145401 3471903 0 0 229 49 140940 906 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=31583] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31583/stat : 31583 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285182352 9367552 267 33554432000 4194304 5064252 140734500098560 140734500097472 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31583/statm: 2287 267 226 213 0 72 0
[pid=31585] ppid=31583 vsize=7876 CPUtime=0.47 cores=0,2,4,6
/proc/31585/stat : 31585 (glucose) R 31583 6092 25502 0 -1 4202496 1863 0 0 0 47 0 0 0 20 0 1 0 285182352 8065024 1648 33554432000 4194304 5208918 140733269680928 140733269678776 4205128 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31585/statm: 1969 1648 104 248 0 1718 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 30968

[startup+1482.3 s]
/proc/loadavg: 1.98 1.81 1.81 3/181 3096
/proc/meminfo: memFree=28549584/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=1478.78 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 151234 3612140 0 0 238 51 146645 944 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=2954] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2954/stat : 2954 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285188106 9367552 267 33554432000 4194304 5064252 140735053608800 140735053607712 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2954/statm: 2287 267 226 213 0 72 0
[pid=2955] ppid=2954 vsize=14288 CPUtime=2.92 cores=0,2,4,6
/proc/2955/stat : 2955 (glucose) R 2954 6092 25502 0 -1 4202496 3986 0 0 0 292 0 0 0 20 0 1 0 285188106 14630912 3270 33554432000 4194304 5208918 140737391448256 140737391446120 4212939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2955/statm: 3572 3270 104 248 0 3321 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 37380

[startup+1542.3 s]
/proc/loadavg: 1.80 1.78 1.80 3/181 7091
/proc/meminfo: memFree=28550020/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=1539.38 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 157374 3760181 0 0 248 52 152656 982 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=6957] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6957/stat : 6957 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285194169 9367552 267 33554432000 4194304 5064252 140734166709776 140734166708688 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6957/statm: 2287 267 226 213 0 72 0
[pid=6958] ppid=6957 vsize=12616 CPUtime=2.29 cores=0,2,4,6
/proc/6958/stat : 6958 (glucose) R 6957 6092 25502 0 -1 4202496 3846 0 0 0 229 0 0 0 20 0 1 0 285194169 12918784 2856 33554432000 4194304 5208918 140733779176528 140733779174392 4205674 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6958/statm: 3154 2856 104 248 0 2903 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 35708

[startup+1602.3 s]
/proc/loadavg: 1.75 1.77 1.79 3/181 10999
/proc/meminfo: memFree=28555056/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=1600.36 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 163514 3911707 0 0 257 54 158705 1020 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=10966] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10966/stat : 10966 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285200268 9367552 267 33554432000 4194304 5064252 140733441200192 140733441199104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10966/statm: 2287 267 226 213 0 72 0
[pid=10967] ppid=10966 vsize=10968 CPUtime=1.3 cores=0,2,4,6
/proc/10967/stat : 10967 (glucose) R 10966 6092 25502 0 -1 4202496 2576 0 0 0 130 0 0 0 20 0 1 0 285200268 11231232 2425 33554432000 4194304 5208918 140734463007472 140734463005416 4229332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10967/statm: 2742 2425 104 248 0 2491 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 34060

[startup+1662.3 s]
/proc/loadavg: 1.85 1.79 1.80 4/182 14985
/proc/meminfo: memFree=28553864/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=1660.73 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 169654 4057583 0 0 266 57 164691 1059 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=14942] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14942/stat : 14942 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285206305 9367552 266 33554432000 4194304 5064252 140736977411232 140736977410144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14942/statm: 2287 266 226 213 0 72 0
[pid=14943] ppid=14942 vsize=8228 CPUtime=0.93 cores=0,2,4,6
/proc/14943/stat : 14943 (glucose) R 14942 6092 25502 0 -1 4202496 2506 0 0 0 93 0 0 0 20 0 1 0 285206306 8425472 1749 33554432000 4194304 5208918 140733724487056 140733724485208 4229532 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14943/statm: 2057 1749 104 248 0 1806 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 31320

[startup+1722.3 s]
/proc/loadavg: 1.62 1.74 1.78 3/181 18891
/proc/meminfo: memFree=28548600/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=1721.21 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 175794 4202660 0 0 275 59 170689 1098 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
Current children cumulated CPU time (s) 1721.21
Current children cumulated vsize (KiB) 13944

[startup+1782.3 s]
/proc/loadavg: 1.77 1.75 1.78 3/181 22868
/proc/meminfo: memFree=28544544/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=1781.6 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 181934 4351864 0 0 284 61 176681 1134 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 13944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.4 s]
/proc/loadavg: 1.74 1.75 1.78 3/181 23960
/proc/meminfo: memFree=28556900/32873624 swapFree=7104/7104
[pid=6092] ppid=6090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (npSolver-wbo-It) S 6090 6092 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285040169 9367552 275 33554432000 4194304 5064252 140734790760640 140734790759552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 2287 275 233 213 0 72 0
[pid=6093] ppid=6092 vsize=4796 CPUtime=1796.76 cores=0,2,4,6
/proc/6093/stat : 6093 (npSolver-wbo) S 6092 6092 25502 0 -1 4202496 183469 4389601 0 0 286 62 178185 1143 20 0 1 0 285040169 4911104 688 33554432000 4194304 5990268 140734122604448 140734122595856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6093/statm: 1199 688 176 439 0 756 0
[pid=23896] ppid=6093 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23896/stat : 23896 (satsolver.sh) S 6093 6092 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285219912 9367552 267 33554432000 4194304 5064252 140737438438352 140737438437264 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23896/statm: 2287 267 226 213 0 72 0
[pid=23897] ppid=23896 vsize=8228 CPUtime=0.98 cores=0,2,4,6
/proc/23897/stat : 23897 (glucose) R 23896 6092 25502 0 -1 4202496 2658 0 0 0 98 0 0 0 20 0 1 0 285219912 8425472 1770 33554432000 4194304 5208918 140733620881408 140733620879256 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23897/statm: 2057 1770 104 248 0 1806 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 31320

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1798.41
CPU time (s): 1800.69
CPU user time (s): 1788.61
CPU system time (s): 12.0722
CPU usage (%): 100.126
Max. virtual memory (cumulated for all children) (KiB): 37384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.7
system time used= 12.0722
maximum resident set size= 13116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4576716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1072256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12809
involuntary context switches= 7923

runsolver used 6.26405 second user time and 15.9596 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-28 09:12:27
IDJOB=3715638
IDBENCH=78757
IDSOLVER=2297
FILE ID=node121/3715638-1338189147
RUNJOBID= node121-1338174706-27556
PBS_JOBID= 14624535
Free space on /tmp= 71644 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024--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-3715638-1338189147/watcher-3715638-1338189147 -o /tmp/evaluation-result-3715638-1338189147/solver-3715638-1338189147 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715638-1338189147.wbo 1470895036 HOME HOME

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

MD5SUM BENCH= c7dcb25d665cb550b68931937f8d1bd8
RANDOM SEED=1470895036

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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:       32873624 kB
MemFree:        28438308 kB
Buffers:          536876 kB
Cached:          2902332 kB
SwapCached:            0 kB
Active:          1028812 kB
Inactive:        2547168 kB
Active(anon):     135584 kB
Inactive(anon):        0 kB
Active(file):     893228 kB
Inactive(file):  2547168 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18388 kB
Writeback:             0 kB
AnonPages:        136104 kB
Mapped:            15140 kB
Shmem:               200 kB
Slab:             720284 kB
SReclaimable:     163392 kB
SUnreclaim:       556892 kB
KernelStack:        1504 kB
PageTables:         4288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     257944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71656 MiB
End job on node121 at 2012-05-28 09:42:25