Trace number 3753133

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.06 1803.52

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
MD5SUM944c5e420229bce90a366c23629af03a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark540
Best CPU time to get the best result obtained on this benchmark0.087986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c run usual solver
0.00/0.05	o 11009
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 59.4486
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 5504
3.26/3.54	c current bound: 5504
6.83/7.13	c current bound: 5504
10.35/10.63	c current bound: 5504
13.83/14.12	c current bound: 5504
17.57/17.63	c current bound: 5504
20.83/21.12	c current bound: 5504
24.30/24.61	c current bound: 5504
27.93/28.20	c current bound: 5504
31.39/31.67	c current bound: 5504
35.08/35.14	c current bound: 5504
38.56/38.61	c current bound: 5504
41.79/42.07	c current bound: 5504
45.23/45.52	c current bound: 5504
48.71/48.99	c current bound: 5504
52.16/52.45	c current bound: 5504
55.57/55.87	c current bound: 5504
59.35/59.45	c current bound: 5504
62.63/62.93	c current bound: 5504
65.98/66.30	c current bound: 5504
69.46/69.77	c current bound: 5504
72.91/73.22	c current bound: 5504
76.25/76.57	c current bound: 5504
79.74/80.08	c current bound: 5504
83.42/83.56	c current bound: 5504
86.84/86.91	c current bound: 5504
90.04/90.38	c current bound: 5504
93.50/93.84	c current bound: 5504
96.82/97.16	c current bound: 5504
100.29/100.63	c current bound: 5504
104.02/104.10	c current bound: 5504
107.23/107.57	c current bound: 5504
110.91/111.06	c current bound: 5504
114.41/114.54	c current bound: 5504
117.65/117.99	c current bound: 5504
121.14/121.48	c current bound: 5504
124.63/124.96	c current bound: 5504
128.09/128.43	c current bound: 5504
131.56/131.90	c current bound: 5504
135.21/135.36	c current bound: 5504
138.48/138.82	c current bound: 5504
141.95/142.28	c current bound: 5504
145.37/145.71	c current bound: 5504
148.86/149.19	c current bound: 5504
152.32/152.65	c current bound: 5504
155.73/156.07	c current bound: 5504
159.40/159.56	c current bound: 5504
162.70/163.04	c current bound: 5504
166.09/166.44	c current bound: 5504
169.55/169.90	c current bound: 5504
173.02/173.38	c current bound: 5504
176.39/176.75	c current bound: 5504
179.87/180.22	c current bound: 5504
183.61/183.70	c current bound: 5504
186.99/187.11	c current bound: 5504
190.20/190.57	c current bound: 5504
193.67/194.04	c current bound: 5504
197.00/197.37	c current bound: 5504
200.47/200.83	c current bound: 5504
203.95/204.32	c current bound: 5504
207.54/207.87	c current bound: 5504
210.95/211.35	c current bound: 5504
214.22/214.82	c current bound: 5504
217.70/218.29	c current bound: 5504
221.15/221.75	c current bound: 5504
224.60/225.21	c current bound: 5504
228.06/228.67	c current bound: 5504
231.76/232.14	c current bound: 5504
234.98/235.59	c current bound: 5504
238.44/239.05	c current bound: 5504
241.89/242.50	c current bound: 5504
245.31/245.93	c current bound: 5504
248.78/249.39	c current bound: 5504
252.23/252.85	c current bound: 5504
255.82/256.29	c current bound: 5504
259.32/259.75	c current bound: 5504
262.60/263.22	c current bound: 5504
266.00/266.65	c current bound: 5504
269.48/270.12	c current bound: 5504
272.96/273.58	c current bound: 5504
276.43/277.07	c current bound: 5504
280.12/280.56	c current bound: 5504
283.38/284.01	c current bound: 5504
286.85/287.48	c current bound: 5504
290.33/290.97	c current bound: 5504
293.78/294.41	c current bound: 5504
297.24/297.88	c current bound: 5504
300.93/301.34	c current bound: 5504
304.42/304.83	c current bound: 5504
307.71/308.37	c current bound: 5504
311.18/311.83	c current bound: 5504
314.65/315.29	c current bound: 5504
318.11/318.76	c current bound: 5504
321.80/322.25	c current bound: 5504
325.29/325.71	c current bound: 5504
328.53/329.18	c current bound: 5504
331.97/332.63	c current bound: 5504
335.39/336.07	c current bound: 5504
338.90/339.57	c current bound: 5504
342.36/343.04	c current bound: 5504
345.97/346.43	c current bound: 5504
349.46/349.91	c current bound: 5504
352.66/353.34	c current bound: 5504
356.02/356.71	c current bound: 5504
359.49/360.18	c current bound: 5504
362.95/363.64	c current bound: 5504
366.33/367.05	c current bound: 5504
369.79/370.51	c current bound: 5504
373.65/374.15	c current bound: 5504
376.77/377.50	c current bound: 5504
380.24/380.97	c current bound: 5504
383.71/384.45	c current bound: 5504
387.20/387.93	c current bound: 5504
390.66/391.39	c current bound: 5504
394.33/394.86	c current bound: 5504
397.83/398.33	c current bound: 5504
401.07/401.81	c current bound: 5504
404.54/405.28	c current bound: 5504
408.02/408.76	c current bound: 5504
411.50/412.26	c current bound: 5504
415.22/415.73	c current bound: 5504
418.71/419.21	c current bound: 5504
421.92/422.68	c current bound: 5504
425.36/426.12	c current bound: 5504
428.85/429.60	c current bound: 5504
432.32/433.09	c current bound: 5504
435.74/436.50	c current bound: 5504
439.51/440.06	c current bound: 5504
442.77/443.53	c current bound: 5504
446.15/446.92	c current bound: 5504
449.63/450.39	c current bound: 5504
453.12/453.89	c current bound: 5504
456.48/457.26	c current bound: 5504
459.95/460.73	c current bound: 5504
463.69/464.21	c current bound: 5504
467.00/467.55	c current bound: 5504
470.23/471.01	c current bound: 5504
474.00/474.50	c current bound: 5504
477.05/477.85	c current bound: 5504
480.53/481.31	c current bound: 5504
484.00/484.78	c current bound: 5504
487.57/488.33	c current bound: 5504
491.04/491.81	c current bound: 5504
494.26/495.26	c current bound: 5504
497.70/498.74	c current bound: 5504
501.20/502.21	c current bound: 5504
504.70/505.71	c current bound: 5504
508.14/509.17	c current bound: 5504
511.84/512.64	c current bound: 5504
515.18/516.21	c current bound: 5504
518.71/519.73	c current bound: 5504
522.35/523.37	c current bound: 5504
525.73/526.76	c current bound: 5504
529.42/530.22	c current bound: 5504
532.79/533.83	c current bound: 5504
536.31/537.35	c current bound: 5504
539.92/540.96	c current bound: 5504
543.79/544.61	c current bound: 5504
547.16/548.21	c current bound: 5504
551.00/551.80	c current bound: 5504
554.59/555.44	c current bound: 5504
557.97/559.03	c current bound: 5504
561.58/562.79	c current bound: 5504
565.16/566.38	c current bound: 5504
568.82/569.87	c current bound: 5504
572.19/573.43	c current bound: 5504
575.71/576.95	c current bound: 5504
579.32/580.57	c current bound: 5504
583.00/584.02	c current bound: 5504
586.40/587.47	c current bound: 5504
589.68/590.94	c current bound: 5504
593.30/594.57	c current bound: 5504
596.80/598.07	c current bound: 5504
600.67/601.72	c current bound: 5504
603.99/605.27	c current bound: 5504
607.56/608.86	c current bound: 5504
611.14/612.43	c current bound: 5504
614.95/616.05	c current bound: 5504
618.27/619.59	c current bound: 5504
621.89/623.21	c current bound: 5504
625.45/626.77	c current bound: 5504
629.22/630.39	c current bound: 5504
632.65/633.98	c current bound: 5504
636.17/637.51	c current bound: 5504
639.78/641.13	c current bound: 5504
643.60/644.71	c current bound: 5504
646.80/648.15	c current bound: 5504
650.21/651.57	c current bound: 5504
653.83/655.18	c current bound: 5504
657.26/658.61	c current bound: 5504
661.09/662.25	c current bound: 5504
664.46/665.83	c current bound: 5504
668.08/669.45	c current bound: 5504
671.71/673.09	c current bound: 5504
675.46/676.62	c current bound: 5504
678.73/680.13	c current bound: 5504
682.36/683.76	c current bound: 5504
685.89/687.29	c current bound: 5504
689.55/690.78	c current bound: 5504
693.03/694.25	c current bound: 5504
696.21/697.63	c current bound: 5504
699.66/701.09	c current bound: 5504
703.54/704.70	c current bound: 5504
706.74/708.16	c current bound: 5504
710.60/711.82	c current bound: 5504
713.96/715.42	c current bound: 5504
717.56/719.02	c current bound: 5504
721.39/722.61	c current bound: 5504
724.87/726.16	c current bound: 5504
728.17/729.67	c current bound: 5504
731.80/733.29	c current bound: 5504
735.38/736.87	c current bound: 5504
739.16/740.43	c current bound: 5504
742.54/744.04	c current bound: 5504
746.06/747.56	c current bound: 5504
749.67/751.18	c current bound: 5504
753.28/754.78	c current bound: 5504
756.61/758.12	c current bound: 5504
760.21/761.72	c current bound: 5504
763.83/765.35	c current bound: 5504
767.63/768.95	c current bound: 5504
771.01/772.53	c current bound: 5504
774.61/776.14	c current bound: 5504
778.24/779.77	c current bound: 5504
782.03/783.30	c current bound: 5504
785.33/786.87	c current bound: 5504
788.92/790.47	c current bound: 5504
792.53/794.08	c current bound: 5504
796.21/797.51	c current bound: 5504
799.57/801.12	c current bound: 5504
803.16/804.72	c current bound: 5504
806.68/808.23	c current bound: 5504
810.49/811.89	c current bound: 5504
814.20/815.50	c current bound: 5504
817.38/818.94	c current bound: 5504
820.97/822.55	c current bound: 5504
824.77/826.17	c current bound: 5504
828.06/829.67	c current bound: 5504
831.67/833.27	c current bound: 5504
835.22/836.82	c current bound: 5504
839.04/840.48	c current bound: 5504
842.47/844.07	c current bound: 5504
845.90/847.51	c current bound: 5504
849.52/851.14	c current bound: 5504
853.34/854.78	c current bound: 5504
856.74/858.36	c current bound: 5504
860.32/861.95	c current bound: 5504
864.23/865.60	c current bound: 5504
867.61/869.08	c current bound: 5504
871.05/872.69	c current bound: 5504
874.62/876.27	c current bound: 5504
878.52/879.92	c current bound: 5504
881.91/883.38	c current bound: 5504
885.26/886.92	c current bound: 5504
888.89/890.55	c current bound: 5504
892.52/894.18	c current bound: 5504
896.12/897.78	c current bound: 5504
899.73/901.40	c current bound: 5504
903.36/905.03	c current bound: 5504
907.17/908.66	c current bound: 5504
910.57/912.26	c current bound: 5504
914.16/915.86	c current bound: 5504
917.79/919.50	c current bound: 5504
921.38/923.08	c current bound: 5504
924.92/926.62	c current bound: 5504
928.40/930.12	c current bound: 5504
932.06/933.77	c current bound: 5504
935.72/937.22	c current bound: 5504
938.95/940.67	c current bound: 5504
942.54/944.28	c current bound: 5504
946.03/947.77	c current bound: 5504
949.53/951.28	c current bound: 5504
953.39/954.93	c current bound: 5504
956.64/958.38	c current bound: 5504
960.05/961.82	c current bound: 5504
963.68/965.45	c current bound: 5504
967.50/969.04	c current bound: 5504
970.79/972.56	c current bound: 5504
974.49/976.00	c current bound: 5504
977.77/979.54	c current bound: 5504
981.35/983.13	c current bound: 5504
985.16/986.71	c current bound: 5504
988.49/990.41	c current bound: 5504
992.10/994.02	c current bound: 5504
995.62/997.54	c current bound: 5504
999.42/1001.12	c current bound: 5504
1002.78/1004.73	c current bound: 5504
1006.41/1008.34	c current bound: 5504
1010.21/1011.97	c current bound: 5504
1013.71/1015.41	c current bound: 5504
1017.03/1018.97	c current bound: 5504
1020.63/1022.58	c current bound: 5504
1024.23/1026.19	c current bound: 5504
1027.89/1029.67	c current bound: 5504
1031.17/1033.14	c current bound: 5504
1034.72/1036.69	c current bound: 5504
1038.32/1040.30	c current bound: 5504
1042.17/1043.94	c current bound: 5504
1045.44/1047.43	c current bound: 5504
1048.90/1050.89	c current bound: 5504
1052.35/1054.35	c current bound: 5504
1055.96/1057.95	c current bound: 5504
1059.66/1061.43	c current bound: 5504
1062.99/1064.99	c current bound: 5504
1066.45/1068.48	c current bound: 5504
1070.35/1072.10	c current bound: 5504
1073.94/1075.72	c current bound: 5504
1077.24/1079.29	c current bound: 5504
1080.86/1082.88	c current bound: 5504
1084.43/1086.46	c current bound: 5504
1087.89/1089.92	c current bound: 5504
1091.70/1093.50	c current bound: 5504
1094.99/1097.03	c current bound: 5504
1098.44/1100.51	c current bound: 5504
1102.09/1104.14	c current bound: 5504
1105.80/1107.66	c current bound: 5504
1109.21/1111.26	c current bound: 5504
1113.07/1115.03	c current bound: 5504
1116.60/1118.62	c current bound: 5504
1120.09/1122.16	c current bound: 5504
1123.34/1125.61	c current bound: 5504
1126.96/1129.23	c current bound: 5504
1130.58/1132.84	c current bound: 5504
1134.38/1136.40	c current bound: 5504
1137.78/1140.06	c current bound: 5504
1141.41/1143.69	c current bound: 5504
1145.17/1147.23	c current bound: 5504
1148.56/1150.69	c current bound: 5504
1152.26/1154.30	c current bound: 5504
1155.52/1157.84	c current bound: 5504
1159.13/1161.44	c current bound: 5504
1162.94/1165.03	c current bound: 5504
1166.31/1168.63	c current bound: 5504
1169.96/1172.27	c current bound: 5504
1173.85/1175.91	c current bound: 5504
1177.20/1179.50	c current bound: 5504
1180.82/1183.12	c current bound: 5504
1184.65/1186.84	c current bound: 5504
1188.04/1190.46	c current bound: 5504
1191.71/1194.12	c current bound: 5504
1195.23/1197.65	c current bound: 5504
1199.15/1201.30	c current bound: 5504
1202.52/1204.94	c current bound: 5504
1206.05/1208.47	c current bound: 5504
1209.66/1212.08	c current bound: 5504
1213.34/1215.56	c current bound: 5504
1216.59/1219.01	c current bound: 5504
1220.05/1222.47	c current bound: 5504
1223.49/1225.98	c current bound: 5504
1226.95/1229.43	c current bound: 5504
1230.70/1232.90	c current bound: 5504
1234.04/1236.40	c current bound: 5504
1237.36/1239.86	c current bound: 5504
1240.82/1243.34	c current bound: 5504
1244.56/1246.80	c current bound: 5504
1247.72/1250.24	c current bound: 5504
1251.20/1253.72	c current bound: 5504
1254.62/1257.20	c current bound: 5504
1258.30/1260.67	c current bound: 5504
1261.57/1264.14	c current bound: 5504
1264.93/1267.56	c current bound: 5504
1268.41/1271.04	c current bound: 5504
1271.88/1274.51	c current bound: 5504
1275.37/1278.04	c current bound: 5504
1279.09/1281.53	c current bound: 5504
1282.61/1285.24	c current bound: 5504
1286.06/1288.70	c current bound: 5504
1289.29/1292.20	c current bound: 5504
1292.75/1295.67	c current bound: 5504
1296.45/1299.15	c current bound: 5504
1299.71/1302.62	c current bound: 5504
1303.18/1306.09	c current bound: 5504
1306.64/1309.57	c current bound: 5504
1310.10/1313.02	c current bound: 5504
1313.58/1316.48	c current bound: 5504
1317.25/1319.98	c current bound: 5504
1320.75/1323.46	c current bound: 5504
1323.95/1326.88	c current bound: 5504
1327.40/1330.34	c current bound: 5504
1330.88/1333.83	c current bound: 5504
1334.26/1337.21	c current bound: 5504
1337.76/1340.70	c current bound: 5504
1341.44/1344.17	c current bound: 5504
1344.81/1347.57	c current bound: 5504
1348.08/1351.06	c current bound: 5504
1351.57/1354.53	c current bound: 5504
1354.96/1357.92	c current bound: 5504
1358.45/1361.41	c current bound: 5504
1361.91/1364.86	c current bound: 5504
1365.51/1368.34	c current bound: 5504
1368.97/1371.82	c current bound: 5504
1372.21/1375.30	c current bound: 5504
1375.50/1378.71	c current bound: 5504
1378.95/1382.19	c current bound: 5504
1382.44/1385.64	c current bound: 5504
1385.91/1389.12	c current bound: 5504
1389.67/1392.60	c current bound: 5504
1393.05/1396.04	c current bound: 5504
1396.31/1399.50	c current bound: 5504
1399.76/1402.98	c current bound: 5504
1403.22/1406.43	c current bound: 5504
1406.69/1409.91	c current bound: 5504
1410.17/1413.39	c current bound: 5504
1413.84/1416.83	c current bound: 5504
1417.05/1420.29	c current bound: 5504
1420.52/1423.76	c current bound: 5504
1423.94/1427.18	c current bound: 5504
1427.42/1430.65	c current bound: 5504
1430.89/1434.13	c current bound: 5504
1434.29/1437.55	c current bound: 5504
1438.01/1441.04	c current bound: 5504
1441.25/1444.50	c current bound: 5504
1444.72/1447.98	c current bound: 5504
1448.17/1451.44	c current bound: 5504
1451.65/1454.92	c current bound: 5504
1455.14/1458.38	c current bound: 5504
1458.82/1461.85	c current bound: 5504
1462.31/1465.31	c current bound: 5504
1465.53/1468.79	c current bound: 5504
1469.01/1472.27	c current bound: 5504
1472.49/1475.74	c current bound: 5504
1475.96/1479.21	c current bound: 5504
1479.43/1482.66	c current bound: 5504
1483.13/1486.16	c current bound: 5504
1486.38/1489.63	c current bound: 5504
1489.85/1493.08	c current bound: 5504
1493.45/1496.69	c current bound: 5504
1497.32/1500.32	c current bound: 5504
1500.66/1503.91	c current bound: 5504
1504.06/1507.33	c current bound: 5504
1507.68/1510.95	c current bound: 5504
1511.30/1514.57	c current bound: 5504
1514.97/1518.05	c current bound: 5504
1518.34/1521.63	c current bound: 5504
1521.94/1525.24	c current bound: 5504
1525.41/1528.70	c current bound: 5504
1528.86/1532.15	c current bound: 5504
1532.66/1535.73	c current bound: 5504
1536.04/1539.34	c current bound: 5504
1539.66/1542.96	c current bound: 5504
1543.44/1546.59	c current bound: 5504
1546.84/1550.17	c current bound: 5504
1550.46/1553.78	c current bound: 5504
1554.01/1557.35	c current bound: 5504
1557.83/1560.99	c current bound: 5504
1561.27/1564.61	c current bound: 5504
1564.61/1567.99	c current bound: 5504
1568.07/1571.45	c current bound: 5504
1571.56/1574.94	c current bound: 5504
1575.23/1578.45	c current bound: 5504
1578.71/1581.95	c current bound: 5504
1581.97/1585.50	c current bound: 5504
1585.43/1588.96	c current bound: 5504
1588.92/1592.45	c current bound: 5504
1592.37/1595.91	c current bound: 5504
1596.00/1599.40	c current bound: 5504
1599.50/1602.87	c current bound: 5504
1602.79/1606.34	c current bound: 5504
1606.25/1609.81	c current bound: 5504
1609.86/1613.42	c current bound: 5504
1613.29/1616.86	c current bound: 5504
1616.99/1620.34	c current bound: 5504
1620.26/1623.83	c current bound: 5504
1623.68/1627.25	c current bound: 5504
1627.14/1630.71	c current bound: 5504
1630.61/1634.18	c current bound: 5504
1633.99/1637.58	c current bound: 5504
1637.46/1641.04	c current bound: 5504
1641.17/1644.52	c current bound: 5504
1644.56/1647.91	c current bound: 5504
1647.78/1651.38	c current bound: 5504
1651.26/1654.86	c current bound: 5504
1654.65/1658.24	c current bound: 5504
1658.11/1661.71	c current bound: 5504
1661.61/1665.19	c current bound: 5504
1664.92/1668.51	c current bound: 5504
1668.64/1672.05	c current bound: 5504
1671.93/1675.54	c current bound: 5504
1675.32/1678.93	c current bound: 5504
1679.04/1682.40	c current bound: 5504
1682.27/1685.87	c current bound: 5504
1685.53/1689.15	c current bound: 5504
1689.00/1692.61	c current bound: 5504
1692.45/1696.07	c current bound: 5504
1696.14/1699.53	c current bound: 5504
1699.64/1703.00	c current bound: 5504
1702.83/1706.46	c current bound: 5504
1706.31/1709.94	c current bound: 5504
1709.78/1713.41	c current bound: 5504
1713.24/1716.87	c current bound: 5504
1716.91/1720.36	c current bound: 5504
1720.41/1723.80	c current bound: 5504
1723.61/1727.26	c current bound: 5504
1727.09/1730.72	c current bound: 5504
1730.55/1734.20	c current bound: 5504
1734.21/1737.60	c current bound: 5504
1737.72/1741.10	c current bound: 5504
1741.29/1744.75	c current bound: 5504
1744.47/1748.13	c current bound: 5504
1747.92/1751.59	c current bound: 5504
1751.39/1755.08	c current bound: 5504
1754.91/1758.57	c current bound: 5504
1758.35/1762.02	c current bound: 5504
1762.00/1765.49	c current bound: 5504
1765.30/1768.96	c current bound: 5504
1768.74/1772.41	c current bound: 5504
1772.21/1775.88	c current bound: 5504
1775.71/1779.38	c current bound: 5504
1779.18/1782.85	c current bound: 5504
1782.88/1786.31	c current bound: 5504
1786.29/1789.79	c current bound: 5504
1789.60/1793.27	c current bound: 5504
1793.04/1796.73	c current bound: 5504
1796.50/1800.20	c current bound: 5504
1800.06/1803.51	HOME/npSolver-wbo-Itdqb.sh: line 18: 16059 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0

[startup+0.08475 s]
/proc/loadavg: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100237 s]
/proc/loadavg: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300275 s]
/proc/loadavg: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700288 s]
/proc/loadavg: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50046 s]
/proc/loadavg: 1.01 1.00 1.28 3/183 16072
/proc/meminfo: memFree=31152480/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=0.13 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 3323 5433 0 0 9 2 1 1 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16071] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16071/stat : 16071 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387128621 9367552 267 33554432000 4194304 5064252 140734971791440 140734971790352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16071/statm: 2287 267 226 213 0 72 0
[pid=16072] ppid=16071 vsize=48828 CPUtime=1.33 cores=0,2,4,6
/proc/16072/stat : 16072 (glucose) R 16071 16058 14023 0 -1 4202496 10606 0 0 0 132 1 0 0 20 0 1 0 387128621 49999872 10706 33554432000 4194304 5208918 140734480135632 140734480133480 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16072/statm: 12207 10706 95 248 0 11956 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 86992

[startup+3.10041 s]
/proc/loadavg: 1.01 1.00 1.28 3/183 16079
/proc/meminfo: memFree=31150996/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=0.13 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 3323 5433 0 0 9 2 1 1 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16071] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16071/stat : 16071 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387128621 9367552 267 33554432000 4194304 5064252 140734971791440 140734971790352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16071/statm: 2287 267 226 213 0 72 0
[pid=16072] ppid=16071 vsize=51608 CPUtime=2.93 cores=0,2,4,6
/proc/16072/stat : 16072 (glucose) R 16071 16058 14023 0 -1 4202496 11377 0 0 0 292 1 0 0 20 0 1 0 387128621 52846592 11476 33554432000 4194304 5208918 140734480135632 140734480133304 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16072/statm: 12902 11476 103 248 0 12651 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 89772

[startup+6.30041 s]
/proc/loadavg: 1.17 1.03 1.29 3/183 16093
/proc/meminfo: memFree=31149164/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=3.62 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 5199 21849 0 0 18 3 328 13 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16090] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16090/stat : 16090 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387128970 9367552 267 33554432000 4194304 5064252 140736004080400 140736004079312 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16090/statm: 2287 267 226 213 0 72 0
[pid=16091] ppid=16090 vsize=51080 CPUtime=2.65 cores=0,2,4,6
/proc/16091/stat : 16091 (glucose) R 16090 16058 14023 0 -1 4202496 11257 0 0 0 263 2 0 0 20 0 1 0 387128970 52305920 11355 33554432000 4194304 5208918 140736136963264 140736136960936 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 12770 11355 103 248 0 12519 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 89244

[startup+12.7004 s]
/proc/loadavg: 1.23 1.05 1.29 3/183 16135
/proc/meminfo: memFree=31182664/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=10.71 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 8951 54116 0 0 35 5 986 45 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16127] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16127/stat : 16127 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387129678 9367552 267 33554432000 4194304 5064252 140734510102336 140734510101248 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16127/statm: 2287 267 226 213 0 72 0
[pid=16128] ppid=16127 vsize=48952 CPUtime=1.95 cores=0,2,4,6
/proc/16128/stat : 16128 (glucose) R 16127 16058 14023 0 -1 4202496 10655 0 0 0 193 2 0 0 20 0 1 0 387129679 50126848 10754 33554432000 4194304 5208918 140736808567664 140736808565512 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16128/statm: 12238 10754 95 248 0 11987 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 87116

[startup+25.5005 s]
/proc/loadavg: 1.40 1.09 1.30 3/183 16205
/proc/meminfo: memFree=31151228/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=24.7 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 16455 117643 0 0 70 9 2281 110 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16204] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16204/stat : 16204 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387131077 9367552 267 33554432000 4194304 5064252 140733245362192 140733245361104 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16204/statm: 2287 267 226 213 0 72 0
[pid=16205] ppid=16204 vsize=48696 CPUtime=0.77 cores=0,2,4,6
/proc/16205/stat : 16205 (glucose) R 16204 16058 14023 0 -1 4202496 10255 0 0 0 76 1 0 0 20 0 1 0 387131077 49864704 10944 33554432000 4194304 5208918 140737283716288 140733245361128 4212508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16205/statm: 12174 10944 95 248 0 11923 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 86860

[startup+51.1004 s]
/proc/loadavg: 1.60 1.17 1.32 3/183 16339
/proc/meminfo: memFree=31151792/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=49.06 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 29587 229261 0 0 130 15 4550 211 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16334] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16334/stat : 16334 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387133514 9367552 267 33554432000 4194304 5064252 140737240710736 140737240709648 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16334/statm: 2287 267 226 213 0 72 0
[pid=16335] ppid=16334 vsize=48956 CPUtime=2 cores=0,2,4,6
/proc/16335/stat : 16335 (glucose) R 16334 16058 14023 0 -1 4202496 10661 0 0 0 198 2 0 0 20 0 1 0 387133514 50130944 10761 33554432000 4194304 5208918 140734306640000 140734306637848 4211488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16335/statm: 12239 10761 95 248 0 11988 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 87120

[startup+102.307 s]
/proc/loadavg: 1.94 1.32 1.36 3/183 16619
/proc/meminfo: memFree=31151600/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=100.65 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 57727 467104 0 0 261 30 9350 424 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16614] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16614/stat : 16614 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387138679 9367552 267 33554432000 4194304 5064252 140734859023408 140734859022320 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16614/statm: 2287 267 226 213 0 72 0
[pid=16615] ppid=16614 vsize=48824 CPUtime=1.56 cores=0,2,4,6
/proc/16615/stat : 16615 (glucose) R 16614 16058 14023 0 -1 4202496 10630 0 0 0 155 1 0 0 20 0 1 0 387138679 49995776 10729 33554432000 4194304 5208918 140734241308592 140734241306440 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16615/statm: 12206 10729 95 248 0 11955 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 86988

[startup+162.3 s]
/proc/loadavg: 1.97 1.44 1.40 3/183 16941
/proc/meminfo: memFree=31150572/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=159.57 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 89619 737578 0 0 409 47 14832 669 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16933] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/23726/statm: 12205 10751 95 248 0 11954 0
Current children cumulated CPU time (s) 1419.34
Current children cumulated vsize (KiB) 86984

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/183 24055
/proc/meminfo: memFree=31145336/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1476.34 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 793119 6695084 0 0 3438 406 137670 6120 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 31 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=24045] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24045/stat : 24045 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387276536 9367552 266 33554432000 4194304 5064252 140736092582800 140736092581712 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24045/statm: 2287 266 226 213 0 72 0
[pid=24046] ppid=24045 vsize=51872 CPUtime=2.98 cores=0,2,4,6
/proc/24046/stat : 24046 (glucose) R 24045 16058 14023 0 -1 4202496 11031 0 0 0 296 2 0 0 20 0 1 0 387276536 53116928 11719 33554432000 4194304 5208918 140734423553696 140734423551368 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24046/statm: 12968 11719 103 248 0 12717 0
Current children cumulated CPU time (s) 1479.32
Current children cumulated vsize (KiB) 90036

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.84 3/183 24377
/proc/meminfo: memFree=31145320/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1536.4 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 825011 6962967 0 0 3573 422 143277 6368 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 31 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=24369] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24369/stat : 24369 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387282549 9367552 267 33554432000 4194304 5064252 140733331734752 140733331733664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24369/statm: 2287 267 226 213 0 72 0
[pid=24370] ppid=24369 vsize=51468 CPUtime=2.85 cores=0,2,4,6
/proc/24370/stat : 24370 (glucose) R 24369 16058 14023 0 -1 4202496 11351 0 0 0 283 2 0 0 20 0 1 0 387282549 52703232 11454 33554432000 4194304 5208918 140733695304032 140733695301880 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24370/statm: 12867 11454 103 248 0 12616 0
Current children cumulated CPU time (s) 1539.25
Current children cumulated vsize (KiB) 89632

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.85 3/183 24700
/proc/meminfo: memFree=31145532/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1596.22 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 856903 7231813 0 0 3715 440 148855 6612 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=24692] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24692/stat : 24692 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387288555 9367552 266 33554432000 4194304 5064252 140736455480032 140736455478944 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24692/statm: 2287 266 226 213 0 72 0
[pid=24693] ppid=24692 vsize=51604 CPUtime=2.78 cores=0,2,4,6
/proc/24693/stat : 24693 (glucose) R 24692 16058 14023 0 -1 4202496 11137 0 0 0 277 1 0 0 20 0 1 0 387288556 52842496 11808 33554432000 4194304 5208918 140736645039120 140736645036968 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24693/statm: 12901 11808 103 248 0 12650 0
Current children cumulated CPU time (s) 1599
Current children cumulated vsize (KiB) 89768

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 25029
/proc/meminfo: memFree=31147668/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1658.47 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 890671 7514930 0 0 3871 458 154652 6866 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25028] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25028/stat : 25028 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387294786 9367552 267 33554432000 4194304 5064252 140737255665424 140737255664336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25028/statm: 2287 267 226 213 0 72 0
[pid=25029] ppid=25028 vsize=48696 CPUtime=0.48 cores=0,2,4,6
/proc/25029/stat : 25029 (glucose) R 25028 16058 14023 0 -1 4202496 9931 0 0 0 46 2 0 0 20 0 1 0 387294786 49864704 10617 33554432000 4194304 5208918 140735846614240 140737255664360 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25029/statm: 12174 10617 95 248 0 11923 0
Current children cumulated CPU time (s) 1658.95
Current children cumulated vsize (KiB) 86860

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 1.87 3/181 25349
/proc/meminfo: memFree=31192984/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1717.08 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 922563 7784155 0 0 4019 475 160106 7108 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25343] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25343/stat : 25343 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387300651 9367552 267 33554432000 4194304 5064252 140734018625696 140734018624608 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25343/statm: 2287 267 226 213 0 72 0
[pid=25344] ppid=25343 vsize=48820 CPUtime=1.83 cores=0,2,4,6
/proc/25344/stat : 25344 (glucose) R 25343 16058 14023 0 -1 4202496 10216 0 0 0 182 1 0 0 20 0 1 0 387300651 49991680 10905 33554432000 4194304 5208918 140733693411728 140733693409576 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25344/statm: 12205 10905 95 248 0 11954 0
Current children cumulated CPU time (s) 1718.91
Current children cumulated vsize (KiB) 86984

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.87 3/183 25673
/proc/meminfo: memFree=31144044/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1776.08 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 954455 8054006 0 0 4166 492 165593 7357 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25661] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25661/stat : 25661 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387306553 9367552 267 33554432000 4194304 5064252 140735206708448 140735206707360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25661/statm: 2287 267 226 213 0 72 0
[pid=25662] ppid=25661 vsize=51600 CPUtime=2.81 cores=0,2,4,6
/proc/25662/stat : 25662 (glucose) R 25661 16058 14023 0 -1 4202496 11301 0 0 0 279 2 0 0 20 0 1 0 387306554 52838400 11461 33554432000 4194304 5208918 140734675669248 140734675667096 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25662/statm: 12900 11461 103 248 0 12649 0
Current children cumulated CPU time (s) 1778.89
Current children cumulated vsize (KiB) 89764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.5 s]
/proc/loadavg: 2.10 2.03 1.88 3/183 25826
/proc/meminfo: memFree=31210560/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1800.02 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 965720 8160706 0 0 4219 497 167837 7449 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209909648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25824] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25824/stat : 25824 (cp2_post.sh) S 16059 16058 14023 0 -1 4202496 612 226 0 0 0 0 0 0 20 0 1 0 387308950 9367552 266 33554432000 4194304 5064252 140734483080896 140734483079184 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25824/statm: 2287 266 225 213 0 72 0
[pid=25826] ppid=25824 vsize=10132 CPUtime=0.04 cores=0,2,4,6
/proc/25826/stat : 25826 (coprocessor) R 25824 16058 14023 0 -1 4202496 2513 0 0 0 4 0 0 0 20 0 1 0 387308950 10375168 1681 33554432000 4194304 6586260 140735172109840 140735172107048 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/25826/statm: 2533 1681 148 584 0 1945 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 48296

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

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

[startup+1803.5 s]
/proc/loadavg: 2.10 2.03 1.88 3/183 25826
/proc/meminfo: memFree=31210560/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1800.02 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 965720 8160706 0 0 4219 497 167837 7449 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209909648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25824] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25824/stat : 25824 (cp2_post.sh) S 16059 16058 14023 0 -1 4202496 612 226 0 0 0 0 0 0 20 0 1 0 387308950 9367552 266 33554432000 4194304 5064252 140734483080896 140734483079184 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25824/statm: 2287 266 225 213 0 72 0
[pid=25826] ppid=25824 vsize=10132 CPUtime=0.04 cores=0,2,4,6
/proc/25826/stat : 25826 (coprocessor) R 25824 16058 14023 0 -1 4202496 2513 0 0 0 4 0 0 0 20 0 1 0 387308950 10375168 1681 33554432000 4194304 6586260 140735172109840 140735172107048 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/25826/statm: 2533 1681 148 584 0 1945 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 48296

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16058 and gives
#  childrusage.ru_utime.tv_sec=1720
#  childrusage.ru_utime.tv_usec=580432
#  childrusage.ru_stime.tv_sec=79
#  childrusage.ru_stime.tv_usec=469918
# CPU time returned by wait4() is 1800.05
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1803.52
CPU time (s): 1800.06
CPU user time (s): 1720.6
CPU system time (s): 79.46
CPU usage (%): 99.8083
Max. virtual memory (cumulated for all children) (KiB): 90308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1720.58
system time used= 79.4699
maximum resident set size= 47796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9128442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7002952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135626
involuntary context switches= 9633

runsolver used 3.37049 second user time and 11.3533 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-09 04:46:56
IDJOB=3753133
IDBENCH=79394
IDSOLVER=2336
FILE ID=node111/3753133-1339210016
RUNJOBID= node111-1339210010-14644
PBS_JOBID= 14643878
Free space on /tmp= 71260 MiB

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

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

MD5SUM BENCH= 944c5e420229bce90a366c23629af03a
RANDOM SEED=711638616

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31217700 kB
Buffers:          383620 kB
Cached:           317756 kB
SwapCached:         1308 kB
Active:           584356 kB
Inactive:         182224 kB
Active(anon):      62420 kB
Inactive(anon):     4004 kB
Active(file):     521936 kB
Inactive(file):   178220 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100188 kB
Dirty:             23920 kB
Writeback:             0 kB
AnonPages:         72260 kB
Mapped:             9700 kB
Shmem:                 0 kB
Slab:             750532 kB
SReclaimable:     190140 kB
SUnreclaim:       560392 kB
KernelStack:        1504 kB
PageTables:         4304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     192496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71248 MiB
End job on node111 at 2012-06-09 05:17:00