Trace number 3715590

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.13 1806.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM5648463b311d39ee56e08f95de13a148
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark2.01369
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints71
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3850
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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.31	c run usual solver
2.67/2.75	o 2909
2.67/2.75	c starting approximation
2.67/2.75	c factor = 2
2.67/2.75	c current bound: 1454
5.94/6.18	c current bound: 1454
9.41/9.65	c current bound: 1454
12.84/13.08	c current bound: 1454
16.08/16.32	c current bound: 1454
19.65/19.76	c current bound: 1454
23.17/23.21	c current bound: 1454
26.47/26.50	c current bound: 1454
29.71/29.97	c current bound: 1454
33.16/33.42	c current bound: 1454
36.46/36.72	c current bound: 1454
39.88/40.14	c current bound: 1454
43.30/43.57	c current bound: 1454
46.94/47.00	c current bound: 1454
50.18/50.46	c current bound: 1454
53.83/53.91	c current bound: 1454
57.09/57.38	c current bound: 1454
60.52/60.82	c current bound: 1454
63.98/64.27	c current bound: 1454
67.44/67.75	c current bound: 1454
70.90/71.18	c current bound: 1454
74.28/74.58	c current bound: 1454
77.93/78.11	c current bound: 1454
81.17/81.55	c current bound: 1454
84.56/84.96	c current bound: 1454
88.00/88.48	c current bound: 1454
91.61/91.90	c current bound: 1454
94.76/95.26	c current bound: 1454
98.42/98.70	c current bound: 1454
101.78/102.28	c current bound: 1454
105.19/105.61	c current bound: 1454
108.40/109.03	c current bound: 1454
111.87/112.61	c current bound: 1454
115.18/115.94	c current bound: 1454
118.61/119.37	c current bound: 1454
122.24/122.90	c current bound: 1454
125.34/126.21	c current bound: 1454
128.81/129.68	c current bound: 1454
132.44/133.10	c current bound: 1454
135.71/136.43	c current bound: 1454
138.97/139.86	c current bound: 1454
142.63/143.31	c current bound: 1454
145.77/146.65	c current bound: 1454
149.20/150.09	c current bound: 1454
152.65/153.53	c current bound: 1454
156.11/156.80	c current bound: 1454
159.35/160.24	c current bound: 1454
162.79/163.68	c current bound: 1454
166.41/167.13	c current bound: 1454
169.80/170.56	c current bound: 1454
173.13/174.02	c current bound: 1454
176.56/177.46	c current bound: 1454
180.02/180.92	c current bound: 1454
183.41/184.31	c current bound: 1454
186.86/187.76	c current bound: 1454
190.51/191.20	c current bound: 1454
193.89/194.60	c current bound: 1454
197.28/198.06	c current bound: 1454
200.80/201.51	c current bound: 1454
204.00/204.92	c current bound: 1454
207.42/208.36	c current bound: 1454
211.08/211.81	c current bound: 1454
214.25/215.17	c current bound: 1454
217.87/218.60	c current bound: 1454
221.10/222.03	c current bound: 1454
224.47/225.40	c current bound: 1454
228.06/228.83	c current bound: 1454
231.58/232.30	c current bound: 1454
234.72/235.67	c current bound: 1454
238.36/239.10	c current bound: 1454
241.58/242.53	c current bound: 1454
244.88/245.84	c current bound: 1454
248.30/249.26	c current bound: 1454
251.94/252.70	c current bound: 1454
255.06/256.02	c current bound: 1454
258.48/259.44	c current bound: 1454
262.04/262.87	c current bound: 1454
265.29/266.37	c current bound: 1454
268.74/269.82	c current bound: 1454
272.17/273.24	c current bound: 1454
275.47/276.55	c current bound: 1454
278.93/280.01	c current bound: 1454
282.37/283.45	c current bound: 1454
285.92/286.80	c current bound: 1454
289.15/290.23	c current bound: 1454
292.70/293.69	c current bound: 1454
296.02/297.11	c current bound: 1454
299.45/300.54	c current bound: 1454
302.92/304.01	c current bound: 1454
306.37/307.46	c current bound: 1454
309.80/310.89	c current bound: 1454
313.41/314.31	c current bound: 1454
316.64/317.74	c current bound: 1454
320.20/321.18	c current bound: 1454
323.60/324.58	c current bound: 1454
327.10/328.00	c current bound: 1454
330.32/331.43	c current bound: 1454
333.72/334.83	c current bound: 1454
337.16/338.27	c current bound: 1454
340.63/341.74	c current bound: 1454
344.19/345.10	c current bound: 1454
347.43/348.55	c current bound: 1454
350.98/351.97	c current bound: 1454
354.37/355.35	c current bound: 1454
357.66/358.89	c current bound: 1454
361.11/362.33	c current bound: 1454
364.67/365.71	c current bound: 1454
367.90/369.15	c current bound: 1454
371.34/372.57	c current bound: 1454
374.64/375.88	c current bound: 1454
378.27/379.44	c current bound: 1454
381.63/382.87	c current bound: 1454
384.91/386.18	c current bound: 1454
388.25/389.66	c current bound: 1454
391.71/393.12	c current bound: 1454
395.29/396.51	c current bound: 1454
398.51/399.92	c current bound: 1454
401.93/403.45	c current bound: 1454
405.27/406.79	c current bound: 1454
408.87/410.27	c current bound: 1454
412.26/413.69	c current bound: 1454
415.67/417.00	c current bound: 1454
418.92/420.46	c current bound: 1454
422.36/423.89	c current bound: 1454
425.78/427.32	c current bound: 1454
429.23/430.78	c current bound: 1454
432.66/434.21	c current bound: 1454
436.12/437.66	c current bound: 1454
439.67/441.10	c current bound: 1454
442.98/444.51	c current bound: 1454
446.40/447.93	c current bound: 1454
449.81/451.36	c current bound: 1454
453.22/454.77	c current bound: 1454
456.67/458.22	c current bound: 1454
460.10/461.65	c current bound: 1454
463.46/465.02	c current bound: 1454
466.89/468.45	c current bound: 1454
470.46/471.89	c current bound: 1454
473.84/475.26	c current bound: 1454
477.15/478.71	c current bound: 1454
480.60/482.16	c current bound: 1454
483.97/485.54	c current bound: 1454
487.42/488.98	c current bound: 1454
490.87/492.43	c current bound: 1454
494.44/495.81	c current bound: 1454
497.66/499.23	c current bound: 1454
501.22/502.66	c current bound: 1454
504.63/506.01	c current bound: 1454
507.87/509.44	c current bound: 1454
511.28/512.86	c current bound: 1454
514.83/516.20	c current bound: 1454
518.07/519.67	c current bound: 1454
521.49/523.08	c current bound: 1454
524.79/526.39	c current bound: 1454
528.25/529.84	c current bound: 1454
531.65/533.26	c current bound: 1454
534.99/536.59	c current bound: 1454
538.61/540.01	c current bound: 1454
541.99/543.44	c current bound: 1454
545.30/546.72	c current bound: 1454
548.53/550.15	c current bound: 1454
551.97/553.58	c current bound: 1454
555.25/556.86	c current bound: 1454
558.67/560.29	c current bound: 1454
562.14/563.75	c current bound: 1454
565.45/567.08	c current bound: 1454
568.90/570.52	c current bound: 1454
572.34/573.97	c current bound: 1454
575.77/577.40	c current bound: 1454
579.37/580.86	c current bound: 1454
582.86/584.40	c current bound: 1454
586.09/587.84	c current bound: 1454
589.51/591.27	c current bound: 1454
592.92/594.79	c current bound: 1454
596.36/598.23	c current bound: 1454
599.93/601.67	c current bound: 1454
603.32/605.20	c current bound: 1454
606.60/608.64	c current bound: 1454
610.03/612.09	c current bound: 1454
613.65/615.61	c current bound: 1454
616.89/619.03	c current bound: 1454
620.32/622.47	c current bound: 1454
623.84/625.99	c current bound: 1454
627.14/629.46	c current bound: 1454
630.59/632.92	c current bound: 1454
633.94/636.27	c current bound: 1454
637.59/639.71	c current bound: 1454
640.82/643.15	c current bound: 1454
644.13/646.57	c current bound: 1454
647.77/650.00	c current bound: 1454
651.16/653.47	c current bound: 1454
654.54/656.91	c current bound: 1454
657.78/660.33	c current bound: 1454
661.22/663.77	c current bound: 1454
664.45/667.02	c current bound: 1454
667.91/670.57	c current bound: 1454
671.34/674.01	c current bound: 1454
674.94/677.55	c current bound: 1454
678.42/681.01	c current bound: 1454
681.66/684.44	c current bound: 1454
685.10/688.03	c current bound: 1454
688.53/691.47	c current bound: 1454
691.92/694.87	c current bound: 1454
695.54/698.43	c current bound: 1454
698.94/701.87	c current bound: 1454
702.19/705.25	c current bound: 1454
705.64/708.82	c current bound: 1454
709.08/712.24	c current bound: 1454
712.42/715.60	c current bound: 1454
715.88/719.18	c current bound: 1454
719.51/722.62	c current bound: 1454
722.79/725.97	c current bound: 1454
726.12/729.42	c current bound: 1454
729.57/732.87	c current bound: 1454
732.91/736.22	c current bound: 1454
736.34/739.65	c current bound: 1454
740.00/743.11	c current bound: 1454
743.11/746.43	c current bound: 1454
746.56/749.87	c current bound: 1454
750.20/753.30	c current bound: 1454
753.37/756.69	c current bound: 1454
756.97/760.14	c current bound: 1454
760.25/763.57	c current bound: 1454
763.57/766.89	c current bound: 1454
767.01/770.33	c current bound: 1454
770.46/773.78	c current bound: 1454
773.98/777.11	c current bound: 1454
777.22/780.55	c current bound: 1454
780.63/783.98	c current bound: 1454
784.10/787.43	c current bound: 1454
787.66/790.87	c current bound: 1454
791.16/794.31	c current bound: 1454
794.44/797.78	c current bound: 1454
797.88/801.23	c current bound: 1454
801.29/804.64	c current bound: 1454
804.73/808.07	c current bound: 1454
808.17/811.52	c current bound: 1454
811.57/814.92	c current bound: 1454
815.14/818.39	c current bound: 1454
818.49/821.86	c current bound: 1454
821.90/825.26	c current bound: 1454
825.36/828.72	c current bound: 1454
828.79/832.15	c current bound: 1454
832.14/835.52	c current bound: 1454
835.57/838.94	c current bound: 1454
839.02/842.41	c current bound: 1454
842.60/845.81	c current bound: 1454
845.99/849.27	c current bound: 1454
849.27/852.81	c current bound: 1454
852.78/856.11	c current bound: 1454
856.03/859.57	c current bound: 1454
859.47/863.14	c current bound: 1454
862.80/866.46	c current bound: 1454
866.44/869.90	c current bound: 1454
869.87/873.47	c current bound: 1454
873.03/876.81	c current bound: 1454
876.48/880.25	c current bound: 1454
879.91/883.69	c current bound: 1454
883.18/886.96	c current bound: 1454
886.64/890.43	c current bound: 1454
890.07/893.87	c current bound: 1454
893.45/897.23	c current bound: 1454
896.88/900.68	c current bound: 1454
900.51/904.11	c current bound: 1454
903.91/907.55	c current bound: 1454
907.19/910.98	c current bound: 1454
910.62/914.42	c current bound: 1454
914.04/917.83	c current bound: 1454
917.46/921.27	c current bound: 1454
920.88/924.67	c current bound: 1454
924.50/928.10	c current bound: 1454
927.70/931.52	c current bound: 1454
931.29/934.93	c current bound: 1454
934.69/938.35	c current bound: 1454
937.96/941.78	c current bound: 1454
941.37/945.19	c current bound: 1454
944.82/948.63	c current bound: 1454
948.25/952.07	c current bound: 1454
951.61/955.43	c current bound: 1454
955.03/958.85	c current bound: 1454
958.69/962.30	c current bound: 1454
962.06/965.72	c current bound: 1454
965.46/969.15	c current bound: 1454
968.76/972.59	c current bound: 1454
972.10/975.95	c current bound: 1454
975.76/979.40	c current bound: 1454
978.98/982.85	c current bound: 1454
982.27/986.16	c current bound: 1454
985.74/989.63	c current bound: 1454
989.16/993.16	c current bound: 1454
992.72/996.51	c current bound: 1454
996.10/999.95	c current bound: 1454
999.58/1003.49	c current bound: 1454
1002.71/1006.85	c current bound: 1454
1006.16/1010.29	c current bound: 1454
1009.58/1013.71	c current bound: 1454
1012.93/1017.16	c current bound: 1454
1016.35/1020.58	c current bound: 1454
1020.01/1024.11	c current bound: 1454
1023.24/1027.54	c current bound: 1454
1026.66/1030.98	c current bound: 1454
1030.12/1034.55	c current bound: 1454
1033.55/1037.98	c current bound: 1454
1037.00/1041.42	c current bound: 1454
1040.57/1044.97	c current bound: 1454
1043.87/1048.42	c current bound: 1454
1047.31/1051.87	c current bound: 1454
1050.70/1055.38	c current bound: 1454
1054.34/1058.80	c current bound: 1454
1057.58/1062.25	c current bound: 1454
1061.13/1065.69	c current bound: 1454
1064.53/1069.12	c current bound: 1454
1067.93/1072.56	c current bound: 1454
1071.16/1076.07	c current bound: 1454
1074.79/1079.50	c current bound: 1454
1078.03/1082.95	c current bound: 1454
1081.32/1086.25	c current bound: 1454
1084.78/1089.82	c current bound: 1454
1088.20/1093.25	c current bound: 1454
1091.51/1096.56	c current bound: 1454
1094.94/1100.12	c current bound: 1454
1098.36/1103.55	c current bound: 1454
1101.70/1106.89	c current bound: 1454
1105.13/1110.34	c current bound: 1454
1108.59/1113.77	c current bound: 1454
1112.11/1117.10	c current bound: 1454
1115.36/1120.55	c current bound: 1454
1118.76/1123.96	c current bound: 1454
1122.08/1127.27	c current bound: 1454
1125.69/1130.72	c current bound: 1454
1129.09/1134.16	c current bound: 1454
1132.39/1137.59	c current bound: 1454
1135.83/1141.04	c current bound: 1454
1139.28/1144.49	c current bound: 1454
1142.72/1147.93	c current bound: 1454
1146.13/1151.35	c current bound: 1454
1149.55/1154.76	c current bound: 1454
1152.98/1158.20	c current bound: 1454
1156.58/1161.66	c current bound: 1454
1159.85/1165.07	c current bound: 1454
1163.29/1168.51	c current bound: 1454
1166.71/1171.94	c current bound: 1454
1170.10/1175.33	c current bound: 1454
1173.51/1178.74	c current bound: 1454
1176.92/1182.16	c current bound: 1454
1180.31/1185.55	c current bound: 1454
1183.75/1188.99	c current bound: 1454
1187.34/1192.56	c current bound: 1454
1190.52/1195.92	c current bound: 1454
1193.96/1199.35	c current bound: 1454
1197.41/1202.94	c current bound: 1454
1200.74/1206.26	c current bound: 1454
1204.17/1209.69	c current bound: 1454
1207.76/1213.24	c current bound: 1454
1211.05/1216.56	c current bound: 1454
1214.44/1219.98	c current bound: 1454
1217.79/1223.44	c current bound: 1454
1221.10/1226.86	c current bound: 1454
1224.56/1230.32	c current bound: 1454
1227.98/1233.72	c current bound: 1454
1231.27/1237.14	c current bound: 1454
1234.71/1240.58	c current bound: 1454
1238.38/1244.17	c current bound: 1454
1241.63/1247.63	c current bound: 1454
1245.05/1251.05	c current bound: 1454
1248.48/1254.59	c current bound: 1454
1251.93/1258.04	c current bound: 1454
1255.36/1261.47	c current bound: 1454
1258.96/1265.05	c current bound: 1454
1262.23/1268.48	c current bound: 1454
1265.85/1271.91	c current bound: 1454
1269.06/1275.45	c current bound: 1454
1272.71/1278.90	c current bound: 1454
1275.96/1282.36	c current bound: 1454
1279.38/1285.78	c current bound: 1454
1283.01/1289.21	c current bound: 1454
1286.23/1292.64	c current bound: 1454
1289.59/1296.11	c current bound: 1454
1293.04/1299.56	c current bound: 1454
1296.51/1303.03	c current bound: 1454
1299.82/1306.36	c current bound: 1454
1303.25/1309.89	c current bound: 1454
1306.87/1313.33	c current bound: 1454
1310.15/1316.66	c current bound: 1454
1313.66/1320.10	c current bound: 1454
1316.87/1323.53	c current bound: 1454
1320.21/1326.86	c current bound: 1454
1323.63/1330.29	c current bound: 1454
1327.09/1333.76	c current bound: 1454
1330.41/1337.08	c current bound: 1454
1334.05/1340.50	c current bound: 1454
1337.24/1343.92	c current bound: 1454
1340.51/1347.19	c current bound: 1454
1343.96/1350.64	c current bound: 1454
1347.53/1354.10	c current bound: 1454
1350.81/1357.37	c current bound: 1454
1354.29/1360.93	c current bound: 1454
1357.56/1364.38	c current bound: 1454
1361.00/1367.83	c current bound: 1454
1364.44/1371.26	c current bound: 1454
1367.84/1374.68	c current bound: 1454
1371.30/1378.13	c current bound: 1454
1374.95/1381.64	c current bound: 1454
1378.18/1385.09	c current bound: 1454
1381.63/1388.52	c current bound: 1454
1385.25/1392.11	c current bound: 1454
1388.64/1395.50	c current bound: 1454
1391.90/1398.95	c current bound: 1454
1395.48/1402.48	c current bound: 1454
1398.84/1405.85	c current bound: 1454
1402.09/1409.28	c current bound: 1454
1405.55/1412.85	c current bound: 1454
1408.94/1416.26	c current bound: 1454
1412.40/1419.71	c current bound: 1454
1415.83/1423.25	c current bound: 1454
1419.16/1426.59	c current bound: 1454
1422.77/1430.03	c current bound: 1454
1426.02/1433.47	c current bound: 1454
1429.35/1436.81	c current bound: 1454
1432.82/1440.28	c current bound: 1454
1436.47/1443.86	c current bound: 1454
1439.58/1447.17	c current bound: 1454
1442.98/1450.59	c current bound: 1454
1446.42/1454.03	c current bound: 1454
1449.87/1457.46	c current bound: 1454
1453.38/1460.91	c current bound: 1454
1456.58/1464.32	c current bound: 1454
1460.01/1467.75	c current bound: 1454
1463.44/1471.16	c current bound: 1454
1467.07/1474.60	c current bound: 1454
1470.30/1478.03	c current bound: 1454
1473.74/1481.48	c current bound: 1454
1477.35/1484.92	c current bound: 1454
1480.75/1488.39	c current bound: 1454
1484.07/1491.82	c current bound: 1454
1487.48/1495.24	c current bound: 1454
1490.93/1498.69	c current bound: 1454
1494.41/1502.16	c current bound: 1454
1497.82/1505.58	c current bound: 1454
1501.26/1509.01	c current bound: 1454
1504.82/1512.47	c current bound: 1454
1508.21/1515.85	c current bound: 1454
1511.51/1519.29	c current bound: 1454
1514.93/1522.71	c current bound: 1454
1518.52/1526.10	c current bound: 1454
1521.76/1529.54	c current bound: 1454
1525.19/1532.97	c current bound: 1454
1528.57/1536.36	c current bound: 1454
1532.21/1539.80	c current bound: 1454
1535.61/1543.26	c current bound: 1454
1538.90/1546.58	c current bound: 1454
1542.21/1550.02	c current bound: 1454
1545.64/1553.45	c current bound: 1454
1549.02/1556.83	c current bound: 1454
1552.44/1560.26	c current bound: 1454
1555.92/1563.73	c current bound: 1454
1559.20/1567.03	c current bound: 1454
1562.64/1570.58	c current bound: 1454
1566.05/1573.99	c current bound: 1454
1569.56/1577.33	c current bound: 1454
1573.02/1580.94	c current bound: 1454
1576.33/1584.41	c current bound: 1454
1579.78/1587.87	c current bound: 1454
1583.23/1591.32	c current bound: 1454
1586.66/1594.75	c current bound: 1454
1590.08/1598.19	c current bound: 1454
1593.70/1601.63	c current bound: 1454
1596.95/1605.06	c current bound: 1454
1600.38/1608.49	c current bound: 1454
1604.00/1611.90	c current bound: 1454
1607.19/1615.29	c current bound: 1454
1610.64/1618.76	c current bound: 1454
1614.08/1622.29	c current bound: 1454
1617.69/1625.71	c current bound: 1454
1621.06/1629.13	c current bound: 1454
1624.36/1632.59	c current bound: 1454
1627.71/1635.96	c current bound: 1454
1631.36/1639.40	c current bound: 1454
1634.63/1642.89	c current bound: 1454
1637.96/1646.24	c current bound: 1454
1641.39/1649.66	c current bound: 1454
1645.00/1653.24	c current bound: 1454
1648.29/1656.59	c current bound: 1454
1651.63/1660.05	c current bound: 1454
1655.09/1663.62	c current bound: 1454
1658.43/1666.97	c current bound: 1454
1661.90/1670.45	c current bound: 1454
1665.34/1673.99	c current bound: 1454
1668.72/1677.37	c current bound: 1454
1672.25/1680.80	c current bound: 1454
1675.58/1684.37	c current bound: 1454
1678.95/1687.74	c current bound: 1454
1682.38/1691.17	c current bound: 1454
1685.82/1694.73	c current bound: 1454
1689.27/1698.17	c current bound: 1454
1692.91/1701.60	c current bound: 1454
1696.31/1705.14	c current bound: 1454
1699.56/1708.56	c current bound: 1454
1703.21/1712.00	c current bound: 1454
1706.39/1715.56	c current bound: 1454
1710.05/1719.01	c current bound: 1454
1713.28/1722.45	c current bound: 1454
1716.82/1725.94	c current bound: 1454
1720.09/1729.37	c current bound: 1454
1723.54/1732.82	c current bound: 1454
1726.87/1736.17	c current bound: 1454
1730.33/1739.62	c current bound: 1454
1733.80/1743.09	c current bound: 1454
1737.16/1746.45	c current bound: 1454
1740.58/1749.88	c current bound: 1454
1744.21/1753.36	c current bound: 1454
1747.57/1756.82	c current bound: 1454
1750.87/1760.29	c current bound: 1454
1754.31/1763.73	c current bound: 1454
1757.59/1767.15	c current bound: 1454
1761.01/1770.57	c current bound: 1454
1764.65/1774.00	c current bound: 1454
1767.72/1777.28	c current bound: 1454
1771.16/1780.72	c current bound: 1454
1774.74/1784.15	c current bound: 1454
1778.04/1787.44	c current bound: 1454
1781.45/1790.88	c current bound: 1454
1784.77/1794.34	c current bound: 1454
1787.97/1797.53	c current bound: 1454
1791.40/1800.97	c current bound: 1454
1794.85/1804.41	c current bound: 1454
1797.12/1806.50	./satsolver.sh: line 5:  9902 Terminated              ./glucose $1 > $2 2> /dev/null
1797.12/1806.50	c error: unexpected solver exit code
1797.12/1806.50	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-3715590-1338174706/watcher-3715590-1338174706 -o /tmp/evaluation-result-3715590-1338174706/solver-3715590-1338174706 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715590-1338174706.wbo 285861416 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.00 1.08 1.42 3/173 27583
/proc/meminfo: memFree=28606588/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0

[startup+0.0235301 s]
/proc/loadavg: 1.00 1.08 1.42 3/173 27583
/proc/meminfo: memFree=28606588/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100159 s]
/proc/loadavg: 1.00 1.08 1.42 3/173 27583
/proc/meminfo: memFree=28606588/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300215 s]
/proc/loadavg: 1.00 1.08 1.42 3/173 27583
/proc/meminfo: memFree=28606588/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700184 s]
/proc/loadavg: 1.00 1.08 1.42 3/173 27583
/proc/meminfo: memFree=28606588/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 1.08 1.09 1.43 4/181 27601
/proc/meminfo: memFree=28501084/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=10600 CPUtime=0.3 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 3600 0 0 0 29 1 0 0 20 0 1 0 283596114 10854400 2004 33554432000 4194304 5990268 140736913450144 140736913443296 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27585/statm: 2650 2004 156 439 0 2207 0
[pid=27590] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27590/stat : 27590 (cp2_pre.sh) S 27585 27583 25502 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 283596145 9367552 276 33554432000 4194304 5064252 140733352594880 140733352593584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27590/statm: 2287 276 234 213 0 72 0
[pid=27591] ppid=27590 vsize=75432 CPUtime=1.18 cores=1,3,5,7
/proc/27591/stat : 27591 (coprocessor) R 27590 27583 25502 0 -1 4202496 15481 0 0 0 116 2 0 0 20 0 1 0 283596145 77242368 18240 33554432000 4194304 6586260 140736273491168 140736273487496 4683456 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/27591/statm: 18858 18240 191 584 0 18270 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 104328

[startup+3.10019 s]
/proc/loadavg: 1.08 1.09 1.43 4/181 27608
/proc/meminfo: memFree=28481904/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=2.76 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 5802 29848 0 0 36 12 201 27 20 0 1 0 283596114 20832256 4255 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27585/statm: 5086 4255 179 439 0 4643 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 29492

[startup+6.3002 s]
/proc/loadavg: 1.08 1.09 1.43 4/181 27639
/proc/meminfo: memFree=28514340/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=6.2 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 8006 46895 0 0 40 13 532 35 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 29492

[startup+12.7003 s]
/proc/loadavg: 1.22 1.12 1.43 4/181 27691
/proc/meminfo: memFree=28520760/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=9.67 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 10208 65382 0 0 45 13 867 42 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=27676] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27676/stat : 27676 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283597083 9367552 267 33554432000 4194304 5064252 140736363028800 140736363027712 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27676/statm: 2287 267 226 213 0 72 0
[pid=27677] ppid=27676 vsize=48264 CPUtime=2.99 cores=1,3,5,7
/proc/27677/stat : 27677 (glucose) R 27676 27583 25502 0 -1 4202496 10506 0 0 0 297 2 0 0 20 0 1 0 283597084 49422336 10357 33554432000 4194304 5208918 140736367721584 140736367719544 4229299 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27677/statm: 12066 10357 104 248 0 11815 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86904

[startup+25.5003 s]
/proc/loadavg: 1.34 1.15 1.44 4/181 27800
/proc/meminfo: memFree=28514400/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=23.22 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 19016 134967 0 0 62 16 2173 71 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=27785] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27785/stat : 27785 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283598439 9367552 266 33554432000 4194304 5064252 140737221672704 140737221671616 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27785/statm: 2287 266 226 213 0 72 0
[pid=27786] ppid=27785 vsize=47788 CPUtime=2.23 cores=1,3,5,7
/proc/27786/stat : 27786 (glucose) R 27785 27583 25502 0 -1 4202496 10196 0 0 0 222 1 0 0 20 0 1 0 283598439 48934912 10173 33554432000 4194304 5208918 140733969550960 140733969548808 4229850 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27786/statm: 11947 10173 104 248 0 11696 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 86428

[startup+51.1002 s]
/proc/loadavg: 1.56 1.22 1.45 4/178 28008
/proc/meminfo: memFree=28557968/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=50.45 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 36632 272974 0 0 98 20 4799 128 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 29492

[startup+102.307 s]
/proc/loadavg: 1.82 1.34 1.48 4/181 28427
/proc/meminfo: memFree=28535248/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=101.9 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) R 27583 27583 25502 0 -1 4202496 69389 535245 0 0 163 28 9761 238 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913443560 5042551 0 0 4096 0 0 0 0 17 1 0 0 11 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 29492

############
# WARNING:
# current cumulated CPU time (101.92 s) is less than in the last sample (104.88 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.96 s) to the 'lost time'.

[startup+105.3 s]
/proc/loadavg: 1.82 1.34 1.48 4/181 28445
/proc/meminfo: memFree=28512540/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=101.92 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 69662 535245 0 0 164 29 9761 238 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 11 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=28430] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28430/stat : 28430 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283606346 9367552 267 33554432000 4194304 5064252 140735654619824 140735654618736 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28430/statm: 2287 267 226 213 0 72 0
[pid=28431] ppid=28430 vsize=48536 CPUtime=2.96 cores=1,3,5,7
/proc/28431/stat : 28431 (glucose) R 28430 27583 25502 0 -1 4202496 10225 0 0 0 295 1 0 0 20 0 1 0 283606346 49700864 10739 33554432000 4194304 5208918 140736094886672 140736094884760 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28431/statm: 12134 10739 104 248 0 11883 0
Current children cumulated CPU time (s) 104.88
Current children cumulated vsize (KiB) 87176

[startup+105.4 s]
/proc/loadavg: 1.82 1.34 1.48 4/181 28445
/proc/meminfo: memFree=28512540/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=101.92 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) R 27583 27583 25502 0 -1 4202496 69662 535245 0 0 164 29 9761 238 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 0 0 0 17 1 0 0 11 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0

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

/proc/6258/statm: 11872 10173 103 248 0 11621 0
Current children cumulated CPU time (s) 1355.68
Current children cumulated vsize (KiB) 86128

[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 1.85 4/181 6748
/proc/meminfo: memFree=28509108/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=1412.65 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 788505 7195825 0 0 1855 240 136159 3011 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 127 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=6733] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283738090 9367552 266 33554432000 4194304 5064252 140735588770256 140735588769168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6733/statm: 2287 266 226 213 0 72 0
[pid=6734] ppid=6733 vsize=47924 CPUtime=2.53 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 27583 25502 0 -1 4202496 10432 0 0 0 252 1 0 0 20 0 1 0 283738090 49074176 10447 33554432000 4194304 5208918 140736302736144 140736302734104 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6734/statm: 11981 10447 104 248 0 11730 0
Current children cumulated CPU time (s) 1415.18
Current children cumulated vsize (KiB) 86564

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.86 4/181 7238
/proc/meminfo: memFree=28514768/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=1474 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 815811 7506360 0 0 1934 250 142078 3138 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 139 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=7237] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7237/stat : 7237 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283744266 9367552 267 33554432000 4194304 5064252 140736646307120 140736646306032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7237/statm: 2287 267 226 213 0 72 0
[pid=7238] ppid=7237 vsize=47216 CPUtime=0.76 cores=1,3,5,7
/proc/7238/stat : 7238 (glucose) R 7237 27583 25502 0 -1 4202496 9879 0 0 0 75 1 0 0 20 0 1 0 283744267 48349184 9979 33554432000 4194304 5208918 140734201577808 140734200527480 4229471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7238/statm: 11804 9979 103 248 0 11553 0
Current children cumulated CPU time (s) 1474.76
Current children cumulated vsize (KiB) 85856

[startup+1542.3 s]
/proc/loadavg: 1.94 1.98 1.86 4/181 7721
/proc/meminfo: memFree=28508644/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=1532.26 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 841600 7802353 0 0 2009 259 147695 3263 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 139 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=7706] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283750098 9367552 267 33554432000 4194304 5064252 140734962211312 140734962210224 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7706/statm: 2287 267 226 213 0 72 0
[pid=7707] ppid=7706 vsize=47928 CPUtime=2.44 cores=1,3,5,7
/proc/7707/stat : 7707 (glucose) R 7706 27583 25502 0 -1 4202496 10062 0 0 0 242 2 0 0 20 0 1 0 283750098 49078272 10141 33554432000 4194304 5208918 140734653822688 140734653820648 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 11982 10141 104 248 0 11731 0
Current children cumulated CPU time (s) 1534.7
Current children cumulated vsize (KiB) 86568

[startup+1602.3 s]
/proc/loadavg: 2.04 2.00 1.87 4/182 8208
/proc/meminfo: memFree=28532012/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=1593.78 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 868906 8118216 0 0 2088 268 153635 3387 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 139 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
Current children cumulated CPU time (s) 1593.78
Current children cumulated vsize (KiB) 29492

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.88 4/179 8700
/proc/meminfo: memFree=28526336/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=1651.9 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 894695 8413552 0 0 2163 278 159237 3512 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 139 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=8687] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8687/stat : 8687 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283762123 9367552 267 33554432000 4194304 5064252 140735261164688 140735261163600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8687/statm: 2287 267 226 213 0 72 0
[pid=8688] ppid=8687 vsize=47792 CPUtime=2.19 cores=1,3,5,7
/proc/8688/stat : 8688 (glucose) R 8687 27583 25502 0 -1 4202496 10046 0 0 0 218 1 0 0 20 0 1 0 283762124 48939008 10124 33554432000 4194304 5208918 140733782195136 140733782192984 4229738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8688/statm: 11948 10124 104 248 0 11697 0
Current children cumulated CPU time (s) 1654.09
Current children cumulated vsize (KiB) 86432

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.88 4/182 9181
/proc/meminfo: memFree=28507900/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=1713.28 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 920493 8718765 0 0 2238 286 165171 3633 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 139 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
Current children cumulated CPU time (s) 1713.28
Current children cumulated vsize (KiB) 29492

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 1.90 4/181 9678
/proc/meminfo: memFree=28508600/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=1771.42 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 947790 9021229 0 0 2316 296 170770 3760 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 139 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=9670] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9670/stat : 9670 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283774191 9367552 266 33554432000 4194304 5064252 140737210751824 140737210750736 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9670/statm: 2287 266 226 213 0 72 0
[pid=9671] ppid=9670 vsize=47644 CPUtime=1.51 cores=1,3,5,7
/proc/9671/stat : 9671 (glucose) R 9670 27583 25502 0 -1 4202496 9774 0 0 0 150 1 0 0 20 0 1 0 283774191 48787456 10409 33554432000 4194304 5208918 140736647924432 140736647922280 4229288 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9671/statm: 11911 10409 103 248 0 11660 0
Current children cumulated CPU time (s) 1772.93
Current children cumulated vsize (KiB) 86284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.5 s]
/proc/loadavg: 2.19 2.06 1.91 3/181 9904
/proc/meminfo: memFree=28433384/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=1795.09 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 958409 9141076 0 0 2347 299 173054 3809 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 139 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=9901] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9901/stat : 9901 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283776559 9367552 266 33554432000 4194304 5064252 140737143676960 140737143675872 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9901/statm: 2287 266 226 213 0 72 0
[pid=9902] ppid=9901 vsize=47788 CPUtime=2.03 cores=1,3,5,7
/proc/9902/stat : 9902 (glucose) R 9901 27583 25502 0 -1 4202496 10359 0 0 0 201 2 0 0 20 0 1 0 283776560 48934912 10383 33554432000 4194304 5208918 140736804340496 140736804338344 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9902/statm: 11947 10383 104 248 0 11696 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 86428

Sending SIGTERM to process tree (bottom up)

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

[startup+1806.5 s]
/proc/loadavg: 2.19 2.06 1.91 3/181 9904
/proc/meminfo: memFree=28433384/32873624 swapFree=7104/7104
[pid=27583] ppid=27579 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27583/stat : 27583 (npSolver-wbo-It) S 27579 27583 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283596114 9367552 275 33554432000 4194304 5064252 140733418768672 140733418767584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27583/statm: 2287 275 233 213 0 72 0
[pid=27585] ppid=27583 vsize=20344 CPUtime=1795.09 cores=1,3,5,7
/proc/27585/stat : 27585 (npSolver-wbo) S 27583 27583 25502 0 -1 4202496 958409 9141076 0 0 2347 299 173054 3809 20 0 1 0 283596114 20832256 4190 33554432000 4194304 5990268 140736913450144 140736913441552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 139 0 0
/proc/27585/statm: 5086 4190 180 439 0 4643 0
[pid=9901] ppid=27585 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9901/stat : 9901 (satsolver.sh) S 27585 27583 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283776559 9367552 266 33554432000 4194304 5064252 140737143676960 140737143675872 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9901/statm: 2287 266 226 213 0 72 0
[pid=9902] ppid=9901 vsize=47788 CPUtime=2.03 cores=1,3,5,7
/proc/9902/stat : 9902 (glucose) R 9901 27583 25502 0 -1 4202496 10359 0 0 0 201 2 0 0 20 0 1 0 283776560 48934912 10383 33554432000 4194304 5208918 140736804340496 140736804338344 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9902/statm: 11947 10383 104 248 0 11696 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 86428

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.96
#  lost CPU user time (s): 2.95
#  lost CPU system time (s): 0.00999999

Real time (s): 1806.51
CPU time (s): 1800.13
CPU user time (s): 1759
CPU system time (s): 41.1347
CPU usage (%): 99.6469
Max. virtual memory (cumulated for all children) (KiB): 121620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.05
system time used= 41.1247
maximum resident set size= 87944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10110832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7150632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176534
involuntary context switches= 8424

runsolver used 3.58045 second user time and 9.69153 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-28 05:11:46
IDJOB=3715590
IDBENCH=78664
IDSOLVER=2297
FILE ID=node121/3715590-1338174706
RUNJOBID= node121-1338174706-27557
PBS_JOBID= 14624535
Free space on /tmp= 71672 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--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-3715590-1338174706/watcher-3715590-1338174706 -o /tmp/evaluation-result-3715590-1338174706/solver-3715590-1338174706 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715590-1338174706.wbo 285861416 HOME HOME

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

MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=285861416

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:        28607868 kB
Buffers:          519332 kB
Cached:          2878604 kB
SwapCached:            0 kB
Active:           857424 kB
Inactive:        2551644 kB
Active(anon):      12756 kB
Inactive(anon):        0 kB
Active(file):     844668 kB
Inactive(file):  2551644 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16692 kB
Writeback:             0 kB
AnonPages:         17244 kB
Mapped:            13464 kB
Shmem:               200 kB
Slab:             718408 kB
SReclaimable:     162860 kB
SUnreclaim:       555548 kB
KernelStack:        1376 kB
PageTables:         4392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:      92224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71644 MiB
End job on node121 at 2012-05-28 05:41:53