Trace number 3715582

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.05 1801.31

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMfb4b4aad89d54269a5ce80fb177bfc09
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1.40879
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2800
Total number of constraints150
Number of soft constraints51
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
Top cost 2354
Min constraint cost 1
Max constraint cost 87
Sum of constraints costs 2353
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
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.24	c run usual solver
4.28/4.32	o 1573
4.28/4.32	c starting approximation
4.28/4.32	c factor = 2
4.28/4.32	c current bound: 786
8.00/8.16	c current bound: 786
11.96/12.05	c current bound: 786
15.77/15.93	c current bound: 786
19.76/19.83	c current bound: 786
23.49/23.66	c current bound: 786
27.36/27.49	c current bound: 786
31.14/31.31	c current bound: 786
35.15/35.23	c current bound: 786
38.87/39.04	c current bound: 786
42.74/42.88	c current bound: 786
46.56/46.74	c current bound: 786
50.44/50.53	c current bound: 786
54.27/54.45	c current bound: 786
58.14/58.30	c current bound: 786
61.95/62.14	c current bound: 786
65.84/65.98	c current bound: 786
69.63/69.82	c current bound: 786
73.66/73.71	c current bound: 786
77.39/77.57	c current bound: 786
81.34/81.41	c current bound: 786
85.09/85.28	c current bound: 786
88.96/89.16	c current bound: 786
92.78/92.98	c current bound: 786
96.70/96.89	c current bound: 786
100.55/100.74	c current bound: 786
104.44/104.64	c current bound: 786
108.27/108.46	c current bound: 786
112.08/112.27	c current bound: 786
115.95/116.13	c current bound: 786
119.78/119.98	c current bound: 786
123.68/123.88	c current bound: 786
127.63/127.82	c current bound: 786
131.44/131.65	c current bound: 786
135.43/135.50	c current bound: 786
139.19/139.38	c current bound: 786
142.92/143.12	c current bound: 786
146.80/146.99	c current bound: 786
150.64/150.84	c current bound: 786
154.48/154.68	c current bound: 786
158.29/158.49	c current bound: 786
162.16/162.35	c current bound: 786
166.08/166.27	c current bound: 786
169.95/170.16	c current bound: 786
173.83/174.02	c current bound: 786
177.68/177.89	c current bound: 786
181.53/181.74	c current bound: 786
185.36/185.56	c current bound: 786
189.16/189.38	c current bound: 786
192.94/193.16	c current bound: 786
196.78/197.01	c current bound: 786
200.75/200.96	c current bound: 786
204.61/204.82	c current bound: 786
208.47/208.69	c current bound: 786
212.34/212.55	c current bound: 786
216.21/216.43	c current bound: 786
220.22/220.30	c current bound: 786
223.95/224.16	c current bound: 786
227.83/228.05	c current bound: 786
231.80/231.90	c current bound: 786
235.54/235.78	c current bound: 786
239.42/239.65	c current bound: 786
243.25/243.49	c current bound: 786
247.09/247.33	c current bound: 786
250.95/251.19	c current bound: 786
254.82/255.04	c current bound: 786
258.70/258.94	c current bound: 786
262.52/262.75	c current bound: 786
266.50/266.60	c current bound: 786
270.26/270.50	c current bound: 786
274.16/274.38	c current bound: 786
278.10/278.25	c current bound: 786
281.87/282.11	c current bound: 786
285.78/286.03	c current bound: 786
289.64/289.89	c current bound: 786
293.50/293.75	c current bound: 786
297.31/297.54	c current bound: 786
301.18/301.31	c current bound: 786
305.14/305.39	c current bound: 786
308.97/309.22	c current bound: 786
312.75/312.98	c current bound: 786
316.59/316.84	c current bound: 786
320.51/320.76	c current bound: 786
324.39/324.63	c current bound: 786
328.22/328.46	c current bound: 786
332.10/332.34	c current bound: 786
336.02/336.26	c current bound: 786
339.89/340.13	c current bound: 786
343.69/343.94	c current bound: 786
347.69/347.80	c current bound: 786
351.41/351.67	c current bound: 786
355.49/355.75	c current bound: 786
359.47/359.61	c current bound: 786
363.28/363.54	c current bound: 786
367.17/367.39	c current bound: 786
370.96/371.21	c current bound: 786
374.87/375.07	c current bound: 786
378.70/378.96	c current bound: 786
382.56/382.79	c current bound: 786
386.48/386.73	c current bound: 786
390.35/390.61	c current bound: 786
394.19/394.46	c current bound: 786
398.04/398.31	c current bound: 786
401.85/402.11	c current bound: 786
405.88/406.00	c current bound: 786
409.61/409.87	c current bound: 786
413.48/413.75	c current bound: 786
417.46/417.60	c current bound: 786
421.15/421.33	c current bound: 786
424.90/425.17	c current bound: 786
428.79/429.06	c current bound: 786
432.62/432.89	c current bound: 786
436.47/436.83	c current bound: 786
440.30/440.68	c current bound: 786
444.17/444.55	c current bound: 786
448.00/448.39	c current bound: 786
451.79/452.16	c current bound: 786
455.64/456.02	c current bound: 786
459.53/459.91	c current bound: 786
463.56/463.80	c current bound: 786
467.34/467.71	c current bound: 786
471.15/471.53	c current bound: 786
474.98/475.36	c current bound: 786
478.87/479.23	c current bound: 786
482.69/483.06	c current bound: 786
486.55/486.92	c current bound: 786
490.34/490.71	c current bound: 786
494.16/494.53	c current bound: 786
498.04/498.42	c current bound: 786
501.97/502.34	c current bound: 786
505.86/506.23	c current bound: 786
509.76/510.13	c current bound: 786
513.75/514.00	c current bound: 786
517.44/517.83	c current bound: 786
521.27/521.66	c current bound: 786
525.12/525.52	c current bound: 786
528.99/529.37	c current bound: 786
532.71/533.09	c current bound: 786
536.62/537.01	c current bound: 786
540.61/540.99	c current bound: 786
544.46/544.85	c current bound: 786
548.36/548.75	c current bound: 786
552.28/552.67	c current bound: 786
556.24/556.54	c current bound: 786
560.02/560.41	c current bound: 786
563.92/564.28	c current bound: 786
567.78/568.19	c current bound: 786
571.64/572.05	c current bound: 786
575.51/575.91	c current bound: 786
579.40/579.79	c current bound: 786
583.25/583.76	c current bound: 786
587.13/587.64	c current bound: 786
590.95/591.47	c current bound: 786
594.80/595.31	c current bound: 786
598.63/599.15	c current bound: 786
602.40/602.92	c current bound: 786
606.23/606.76	c current bound: 786
610.11/610.63	c current bound: 786
614.00/614.51	c current bound: 786
617.84/618.44	c current bound: 786
621.71/622.31	c current bound: 786
625.58/626.18	c current bound: 786
629.46/630.07	c current bound: 786
633.43/633.90	c current bound: 786
637.15/637.76	c current bound: 786
641.05/641.66	c current bound: 786
644.98/645.59	c current bound: 786
648.87/649.47	c current bound: 786
652.81/653.32	c current bound: 786
656.62/657.24	c current bound: 786
660.61/661.12	c current bound: 786
664.37/664.99	c current bound: 786
668.42/668.90	c current bound: 786
672.02/672.64	c current bound: 786
675.94/676.55	c current bound: 786
679.73/680.35	c current bound: 786
683.61/684.19	c current bound: 786
687.51/688.12	c current bound: 786
691.35/691.98	c current bound: 786
695.25/695.88	c current bound: 786
699.12/699.73	c current bound: 786
702.94/703.55	c current bound: 786
706.80/707.47	c current bound: 786
710.69/711.35	c current bound: 786
714.52/715.19	c current bound: 786
718.40/719.07	c current bound: 786
722.26/722.94	c current bound: 786
726.14/726.81	c current bound: 786
729.96/730.63	c current bound: 786
733.86/734.54	c current bound: 786
737.71/738.38	c current bound: 786
741.48/742.15	c current bound: 786
745.35/746.03	c current bound: 786
749.23/749.91	c current bound: 786
753.05/753.73	c current bound: 786
756.86/757.54	c current bound: 786
760.82/761.51	c current bound: 786
764.69/765.37	c current bound: 786
768.52/769.19	c current bound: 786
772.33/773.01	c current bound: 786
776.26/776.94	c current bound: 786
780.09/780.78	c current bound: 786
783.97/784.66	c current bound: 786
788.04/788.64	c current bound: 786
791.76/792.46	c current bound: 786
795.74/796.33	c current bound: 786
799.47/800.17	c current bound: 786
803.44/804.07	c current bound: 786
807.31/808.01	c current bound: 786
811.23/811.81	c current bound: 786
814.94/815.64	c current bound: 786
818.88/819.57	c current bound: 786
822.84/823.40	c current bound: 786
826.68/827.52	c current bound: 786
830.52/831.35	c current bound: 786
834.37/835.21	c current bound: 786
838.29/839.12	c current bound: 786
842.13/842.97	c current bound: 786
846.05/846.88	c current bound: 786
849.92/850.75	c current bound: 786
853.88/854.65	c current bound: 786
857.67/858.51	c current bound: 786
861.45/862.29	c current bound: 786
865.34/866.17	c current bound: 786
869.29/870.05	c current bound: 786
873.29/874.00	c current bound: 786
876.98/877.83	c current bound: 786
880.72/881.56	c current bound: 786
884.54/885.39	c current bound: 786
888.37/889.21	c current bound: 786
892.23/893.08	c current bound: 786
896.12/896.97	c current bound: 786
900.06/900.87	c current bound: 786
903.82/904.68	c current bound: 786
907.76/908.55	c current bound: 786
911.52/912.37	c current bound: 786
915.47/916.21	c current bound: 786
919.18/920.04	c current bound: 786
923.17/923.94	c current bound: 786
927.00/927.85	c current bound: 786
930.86/931.70	c current bound: 786
934.75/935.62	c current bound: 786
938.60/939.47	c current bound: 786
942.42/943.29	c current bound: 786
946.35/947.22	c current bound: 786
950.13/951.02	c current bound: 786
954.02/954.91	c current bound: 786
957.88/958.75	c current bound: 786
961.70/962.58	c current bound: 786
965.55/966.43	c current bound: 786
969.46/970.34	c current bound: 786
973.39/974.26	c current bound: 786
977.25/978.12	c current bound: 786
981.08/981.97	c current bound: 786
985.10/985.99	c current bound: 786
988.96/989.85	c current bound: 786
992.80/993.69	c current bound: 786
996.68/997.56	c current bound: 786
1000.64/1001.40	c current bound: 786
1004.54/1005.32	c current bound: 786
1008.27/1009.16	c current bound: 786
1012.08/1012.98	c current bound: 786
1015.94/1016.83	c current bound: 786
1019.72/1020.62	c current bound: 786
1023.75/1024.50	c current bound: 786
1027.47/1028.36	c current bound: 786
1031.28/1032.17	c current bound: 786
1035.13/1036.03	c current bound: 786
1039.08/1039.97	c current bound: 786
1042.89/1043.80	c current bound: 786
1046.73/1047.64	c current bound: 786
1050.73/1051.53	c current bound: 786
1054.45/1055.36	c current bound: 786
1058.29/1059.21	c current bound: 786
1062.15/1063.07	c current bound: 786
1066.10/1066.92	c current bound: 786
1069.85/1070.79	c current bound: 786
1073.78/1074.70	c current bound: 786
1077.63/1078.57	c current bound: 786
1081.51/1082.43	c current bound: 786
1085.37/1086.31	c current bound: 786
1089.23/1090.17	c current bound: 786
1093.19/1094.00	c current bound: 786
1096.98/1097.83	c current bound: 786
1100.71/1101.65	c current bound: 786
1104.69/1105.51	c current bound: 786
1108.49/1109.43	c current bound: 786
1112.28/1113.15	c current bound: 786
1116.18/1117.00	c current bound: 786
1120.07/1120.92	c current bound: 786
1123.81/1124.77	c current bound: 786
1127.78/1128.61	c current bound: 786
1131.60/1132.57	c current bound: 786
1135.48/1136.45	c current bound: 786
1139.36/1140.34	c current bound: 786
1143.38/1144.20	c current bound: 786
1147.18/1148.15	c current bound: 786
1151.05/1152.01	c current bound: 786
1154.91/1155.88	c current bound: 786
1158.76/1159.73	c current bound: 786
1162.55/1163.52	c current bound: 786
1166.37/1167.33	c current bound: 786
1170.27/1171.24	c current bound: 786
1174.07/1175.04	c current bound: 786
1178.06/1178.91	c current bound: 786
1181.67/1182.64	c current bound: 786
1185.51/1186.48	c current bound: 786
1189.33/1190.29	c current bound: 786
1193.17/1194.14	c current bound: 786
1197.05/1198.02	c current bound: 786
1200.88/1201.85	c current bound: 786
1204.77/1205.74	c current bound: 786
1208.67/1209.63	c current bound: 786
1212.49/1213.45	c current bound: 786
1216.39/1217.36	c current bound: 786
1220.29/1221.27	c current bound: 786
1224.20/1225.17	c current bound: 786
1228.09/1229.05	c current bound: 786
1232.01/1232.98	c current bound: 786
1235.84/1236.82	c current bound: 786
1239.68/1240.65	c current bound: 786
1243.55/1244.52	c current bound: 786
1247.56/1248.41	c current bound: 786
1251.27/1252.24	c current bound: 786
1255.26/1256.14	c current bound: 786
1259.07/1260.05	c current bound: 786
1263.05/1263.91	c current bound: 786
1266.86/1267.84	c current bound: 786
1270.68/1271.67	c current bound: 786
1274.76/1275.61	c current bound: 786
1278.65/1279.50	c current bound: 786
1282.39/1283.38	c current bound: 786
1286.33/1287.32	c current bound: 786
1290.21/1291.19	c current bound: 786
1294.02/1295.01	c current bound: 786
1298.05/1298.90	c current bound: 786
1301.73/1302.73	c current bound: 786
1305.55/1306.55	c current bound: 786
1309.65/1310.50	c current bound: 786
1313.36/1314.36	c current bound: 786
1317.23/1318.22	c current bound: 786
1320.92/1321.92	c current bound: 786
1324.75/1325.74	c current bound: 786
1328.64/1329.63	c current bound: 786
1332.48/1333.48	c current bound: 786
1336.33/1337.33	c current bound: 786
1340.11/1341.12	c current bound: 786
1343.97/1344.98	c current bound: 786
1347.83/1348.84	c current bound: 786
1351.66/1352.66	c current bound: 786
1355.52/1356.52	c current bound: 786
1359.37/1360.39	c current bound: 786
1363.21/1364.22	c current bound: 786
1367.12/1368.12	c current bound: 786
1370.92/1371.94	c current bound: 786
1374.80/1375.81	c current bound: 786
1378.70/1379.71	c current bound: 786
1382.45/1383.47	c current bound: 786
1386.32/1387.33	c current bound: 786
1390.12/1391.14	c current bound: 786
1393.97/1394.98	c current bound: 786
1397.91/1398.92	c current bound: 786
1401.69/1402.72	c current bound: 786
1405.72/1406.60	c current bound: 786
1409.42/1410.45	c current bound: 786
1413.32/1414.41	c current bound: 786
1417.18/1418.27	c current bound: 786
1420.95/1422.05	c current bound: 786
1424.81/1425.91	c current bound: 786
1428.66/1429.75	c current bound: 786
1432.60/1433.71	c current bound: 786
1436.48/1437.58	c current bound: 786
1440.43/1441.40	c current bound: 786
1444.20/1445.30	c current bound: 786
1448.07/1449.17	c current bound: 786
1451.90/1453.00	c current bound: 786
1455.80/1456.91	c current bound: 786
1459.72/1460.79	c current bound: 786
1463.51/1464.62	c current bound: 786
1467.41/1468.45	c current bound: 786
1471.16/1472.29	c current bound: 786
1475.11/1476.13	c current bound: 786
1478.82/1479.93	c current bound: 786
1482.61/1483.74	c current bound: 786
1486.47/1487.59	c current bound: 786
1490.42/1491.52	c current bound: 786
1494.13/1495.34	c current bound: 786
1497.97/1499.20	c current bound: 786
1501.87/1503.09	c current bound: 786
1505.80/1506.96	c current bound: 786
1509.59/1510.83	c current bound: 786
1513.50/1514.68	c current bound: 786
1517.30/1518.54	c current bound: 786
1521.22/1522.46	c current bound: 786
1525.10/1526.34	c current bound: 786
1529.10/1530.20	c current bound: 786
1532.83/1534.06	c current bound: 786
1536.69/1537.92	c current bound: 786
1540.48/1541.72	c current bound: 786
1544.40/1545.62	c current bound: 786
1548.34/1549.57	c current bound: 786
1552.10/1553.34	c current bound: 786
1555.99/1557.22	c current bound: 786
1559.90/1561.12	c current bound: 786
1563.76/1564.99	c current bound: 786
1567.63/1568.86	c current bound: 786
1571.54/1572.76	c current bound: 786
1575.42/1576.65	c current bound: 786
1579.24/1580.48	c current bound: 786
1583.13/1584.37	c current bound: 786
1586.98/1588.22	c current bound: 786
1590.89/1592.14	c current bound: 786
1594.89/1596.02	c current bound: 786
1598.64/1599.89	c current bound: 786
1602.48/1603.60	c current bound: 786
1606.19/1607.43	c current bound: 786
1610.19/1611.30	c current bound: 786
1613.93/1615.18	c current bound: 786
1617.78/1619.03	c current bound: 786
1621.63/1622.88	c current bound: 786
1625.47/1626.73	c current bound: 786
1629.32/1630.58	c current bound: 786
1633.20/1634.46	c current bound: 786
1637.11/1638.37	c current bound: 786
1640.86/1642.11	c current bound: 786
1644.67/1645.93	c current bound: 786
1648.53/1649.79	c current bound: 786
1652.41/1653.67	c current bound: 786
1656.30/1657.57	c current bound: 786
1660.27/1661.40	c current bound: 786
1664.18/1665.30	c current bound: 786
1667.88/1669.14	c current bound: 786
1671.77/1672.90	c current bound: 786
1675.56/1676.82	c current bound: 786
1679.41/1680.67	c current bound: 786
1683.27/1684.52	c current bound: 786
1687.27/1688.44	c current bound: 786
1690.98/1692.25	c current bound: 786
1694.98/1696.11	c current bound: 786
1698.74/1700.01	c current bound: 786
1702.53/1703.80	c current bound: 786
1706.39/1707.69	c current bound: 786
1710.30/1711.54	c current bound: 786
1714.05/1715.38	c current bound: 786
1718.01/1719.28	c current bound: 786
1721.82/1723.13	c current bound: 786
1725.73/1727.04	c current bound: 786
1729.57/1730.88	c current bound: 786
1733.41/1734.74	c current bound: 786
1737.31/1738.64	c current bound: 786
1741.35/1742.60	c current bound: 786
1745.05/1746.44	c current bound: 786
1748.89/1750.29	c current bound: 786
1752.73/1754.14	c current bound: 786
1756.62/1758.03	c current bound: 786
1760.45/1761.85	c current bound: 786
1764.33/1765.73	c current bound: 786
1768.17/1769.58	c current bound: 786
1772.08/1773.49	c current bound: 786
1775.92/1777.33	c current bound: 786
1779.77/1781.16	c current bound: 786
1783.61/1785.02	c current bound: 786
1787.51/1788.92	c current bound: 786
1791.31/1792.72	c current bound: 786
1795.33/1796.60	c current bound: 786
1799.04/1800.47	c current bound: 786
1800.00/1801.30	./satsolver.sh: line 5: 24428 Terminated              ./glucose $1 > $2 2> /dev/null
1800.00/1801.30	c error: unexpected solver exit code
1800.00/1801.30	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-3715582-1338180113/watcher-3715582-1338180113 -o /tmp/evaluation-result-3715582-1338180113/solver-3715582-1338180113 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715582-1338180113.wbo 168684101 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.99 2.00 2.00 2/177 19256
/proc/meminfo: memFree=28587144/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0

[startup+0.08362 s]
/proc/loadavg: 1.99 2.00 2.00 2/177 19256
/proc/meminfo: memFree=28587144/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100268 s]
/proc/loadavg: 1.99 2.00 2.00 2/177 19256
/proc/meminfo: memFree=28587144/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300133 s]
/proc/loadavg: 1.99 2.00 2.00 2/177 19256
/proc/meminfo: memFree=28587144/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700163 s]
/proc/loadavg: 1.99 2.00 2.00 2/177 19256
/proc/meminfo: memFree=28587144/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 19267
/proc/meminfo: memFree=28524628/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=10488 CPUtime=0.23 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 3223 0 0 0 23 0 0 0 20 0 1 0 284136760 10739712 2044 33554432000 4194304 5990268 140737225440464 140737225433616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 2622 2044 156 439 0 2179 0
[pid=19266] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19266/stat : 19266 (cp2_pre.sh) S 19257 19256 25502 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284136784 9367552 276 33554432000 4194304 5064252 140736288460368 140736288459072 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19266/statm: 2287 276 234 213 0 72 0
[pid=19267] ppid=19266 vsize=76296 CPUtime=1.25 cores=0,2,4,6
/proc/19267/stat : 19267 (coprocessor) R 19266 19256 25502 0 -1 4202496 14377 0 0 0 114 11 0 0 20 0 1 0 284136784 78127104 17349 33554432000 4194304 6586260 140736024761904 140736024757528 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/19267/statm: 19074 17349 198 584 0 18486 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105080

[startup+3.10028 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 19270
/proc/meminfo: memFree=28559668/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=10488 CPUtime=1.7 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 3232 15281 0 0 23 0 124 23 20 0 1 0 284136760 10739712 2045 33554432000 4194304 5990268 140737225440464 140737225434704 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19257/statm: 2622 2045 157 439 0 2179 0
[pid=19269] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19269/stat : 19269 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284136932 9367552 267 33554432000 4194304 5064252 140735924033712 140735924032624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19269/statm: 2287 267 226 213 0 72 0
[pid=19270] ppid=19269 vsize=26552 CPUtime=1.36 cores=0,2,4,6
/proc/19270/stat : 19270 (glucose) R 19269 19256 25502 0 -1 4202496 5716 0 0 0 135 1 0 0 20 0 1 0 284136933 27189248 4760 33554432000 4194304 5208918 140736890606992 140736890605080 4213049 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19270/statm: 6638 4760 96 248 0 6387 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 55336

[startup+6.3003 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 19336
/proc/meminfo: memFree=28536700/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=4.32 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 4747 27820 0 0 26 8 371 27 20 0 1 0 284136760 16343040 3163 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3163 179 439 0 3547 0
[pid=19308] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19308/stat : 19308 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284137194 9367552 267 33554432000 4194304 5064252 140734243625568 140734243624480 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19308/statm: 2287 267 226 213 0 72 0
[pid=19309] ppid=19308 vsize=29592 CPUtime=1.94 cores=0,2,4,6
/proc/19309/stat : 19309 (glucose) R 19308 19256 25502 0 -1 4202496 6650 0 0 0 193 1 0 0 20 0 1 0 284137194 30302208 6678 33554432000 4194304 5208918 140736750247248 140736750245400 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19309/statm: 7398 6678 96 248 0 7147 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 63848

[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 19346
/proc/meminfo: memFree=28531768/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=12.05 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 7888 56483 0 0 31 8 1129 37 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 25108

[startup+25.5002 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 19385
/proc/meminfo: memFree=28526512/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=23.66 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 12598 99597 0 0 37 9 2267 53 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=19384] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19384/stat : 19384 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284139128 9367552 267 33554432000 4194304 5064252 140733902307296 140733902306208 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19384/statm: 2287 267 226 213 0 72 0
[pid=19385] ppid=19384 vsize=29596 CPUtime=1.81 cores=0,2,4,6
/proc/19385/stat : 19385 (glucose) R 19384 19256 25502 0 -1 4202496 5618 0 0 0 180 1 0 0 20 0 1 0 284139128 30306304 6220 33554432000 4194304 5208918 140737227329984 140737227328072 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19385/statm: 7399 6220 96 248 0 7148 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 63852

[startup+51.1003 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 19458
/proc/meminfo: memFree=28534664/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=50.5 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 23588 196098 0 0 51 11 4903 85 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 25108

[startup+102.306 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 19602
/proc/meminfo: memFree=28527152/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=100.7 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 43998 381924 0 0 79 15 9827 149 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=19601] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19601/stat : 19601 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284146836 9367552 267 33554432000 4194304 5064252 140733448604240 140733448603152 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19601/statm: 2287 267 226 213 0 72 0
[pid=19602] ppid=19601 vsize=26732 CPUtime=1.54 cores=0,2,4,6
/proc/19602/stat : 19602 (glucose) R 19601 19256 25502 0 -1 4202496 6634 0 0 0 153 1 0 0 20 0 1 0 284146836 27373568 5930 33554432000 4194304 5208918 140733224225856 140733224223944 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19602/statm: 6683 5930 96 248 0 6432 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 60988

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 19771
/proc/meminfo: memFree=28522996/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=162.16 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 67556 601640 0 0 111 19 15863 223 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 25108

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 19946
/proc/meminfo: memFree=28536200/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=220.24 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 92668 824051 0 0 144 24 21560 296 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=19938] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23353
/proc/meminfo: memFree=28524508/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=1421.11 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 580938 5272224 0 0 794 114 139422 1781 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=23352] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23352/stat : 23352 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284278967 9367552 266 33554432000 4194304 5064252 140733951606208 140733951605120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23352/statm: 2287 266 226 213 0 72 0
[pid=23353] ppid=23352 vsize=26336 CPUtime=0.22 cores=0,2,4,6
/proc/23353/stat : 23353 (glucose) R 23352 19256 25502 0 -1 4202496 5507 0 0 0 21 1 0 0 20 0 1 0 284278967 26968064 5721 33554432000 4194304 5208918 140735764002896 140735762952392 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23353/statm: 6584 5721 95 248 0 6333 0
Current children cumulated CPU time (s) 1421.33
Current children cumulated vsize (KiB) 60592

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23521
/proc/meminfo: memFree=28527976/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=1478.96 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 604488 5486488 0 0 824 118 145102 1852 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=23520] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23520/stat : 23520 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284284755 9367552 267 33554432000 4194304 5064252 140737096958528 140737096957440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23520/statm: 2287 267 226 213 0 72 0
[pid=23521] ppid=23520 vsize=29736 CPUtime=2.33 cores=0,2,4,6
/proc/23521/stat : 23521 (glucose) R 23520 19256 25502 0 -1 4202496 7372 0 0 0 232 1 0 0 20 0 1 0 284284755 30449664 6647 33554432000 4194304 5208918 140735581519296 140735581517144 4212856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23521/statm: 7434 6647 96 248 0 7183 0
Current children cumulated CPU time (s) 1481.29
Current children cumulated vsize (KiB) 63992

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23689
/proc/meminfo: memFree=28521032/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=1540.64 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 629608 5716325 0 0 857 124 151158 1925 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=23688] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23688/stat : 23688 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284290934 9367552 267 33554432000 4194304 5064252 140735631715568 140735631714480 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23688/statm: 2287 267 226 213 0 72 0
[pid=23689] ppid=23688 vsize=26472 CPUtime=0.55 cores=0,2,4,6
/proc/23689/stat : 23689 (glucose) R 23688 19256 25502 0 -1 4202496 5608 0 0 0 54 1 0 0 20 0 1 0 284290934 27107328 5822 33554432000 4194304 5208918 140735040716288 140735040714136 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23689/statm: 6618 5822 95 248 0 6367 0
Current children cumulated CPU time (s) 1541.19
Current children cumulated vsize (KiB) 60728

[startup+1602.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 23857
/proc/meminfo: memFree=28527328/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=1598.8 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 653158 5931239 0 0 889 128 156866 1997 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=23856] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23856/stat : 23856 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284296751 9367552 266 33554432000 4194304 5064252 140734581870416 140734581869328 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23856/statm: 2287 266 226 213 0 72 0
[pid=23857] ppid=23856 vsize=29736 CPUtime=2.37 cores=0,2,4,6
/proc/23857/stat : 23857 (glucose) R 23856 19256 25502 0 -1 4202496 7428 0 0 0 237 0 0 0 20 0 1 0 284296751 30449664 6733 33554432000 4194304 5208918 140736338447232 140736338445080 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 7434 6733 96 248 0 7183 0
Current children cumulated CPU time (s) 1601.17
Current children cumulated vsize (KiB) 63992

[startup+1662.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/180 24032
/proc/meminfo: memFree=28534028/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=1660.31 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 678278 6163002 0 0 922 134 162902 2073 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=24031] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24031/stat : 24031 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284302902 9367552 267 33554432000 4194304 5064252 140735105722224 140735105721136 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24031/statm: 2287 267 226 213 0 72 0
[pid=24032] ppid=24031 vsize=29324 CPUtime=0.86 cores=0,2,4,6
/proc/24032/stat : 24032 (glucose) R 24031 19256 25502 0 -1 4202496 5887 0 0 0 86 0 0 0 20 0 1 0 284302902 30027776 6097 33554432000 4194304 5208918 140733471693328 140733471691176 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24032/statm: 7331 6097 95 248 0 7080 0
Current children cumulated CPU time (s) 1661.17
Current children cumulated vsize (KiB) 63580

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 24197
/proc/meminfo: memFree=28517040/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=1718.13 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 701828 6374660 0 0 953 139 168579 2142 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=24196] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24196/stat : 24196 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284308690 9367552 267 33554432000 4194304 5064252 140736547264096 140736547263008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24196/statm: 2287 267 226 213 0 72 0
[pid=24197] ppid=24196 vsize=34156 CPUtime=2.98 cores=0,2,4,6
/proc/24197/stat : 24197 (glucose) R 24196 19256 25502 0 -1 4202496 7838 0 0 0 297 1 0 0 20 0 1 0 284308691 34975744 7180 33554432000 4194304 5208918 140734477762464 140734477760616 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24197/statm: 8539 7181 96 248 0 8288 0
Current children cumulated CPU time (s) 1721.11
Current children cumulated vsize (KiB) 68412

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 24372
/proc/meminfo: memFree=28525476/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=1779.91 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 726948 6603253 0 0 986 144 174646 2215 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=24371] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24371/stat : 24371 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284314878 9367552 266 33554432000 4194304 5064252 140733205761648 140733205760560 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24371/statm: 2287 266 226 213 0 72 0
[pid=24372] ppid=24371 vsize=29328 CPUtime=1.1 cores=0,2,4,6
/proc/24372/stat : 24372 (glucose) R 24371 19256 25502 0 -1 4202496 6070 0 0 0 110 0 0 0 20 0 1 0 284314879 30031872 6313 33554432000 4194304 5208918 140736012109040 140736012107192 4211558 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24372/statm: 7332 6313 95 248 0 7081 0
Current children cumulated CPU time (s) 1781.01
Current children cumulated vsize (KiB) 63584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 24428
/proc/meminfo: memFree=28529624/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=1799.2 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 734798 6674671 0 0 996 145 176541 2238 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=24427] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24427/stat : 24427 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316809 9367552 267 33554432000 4194304 5064252 140735687681904 140735687680816 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24427/statm: 2287 267 226 213 0 72 0
[pid=24428] ppid=24427 vsize=26608 CPUtime=0.8 cores=0,2,4,6
/proc/24428/stat : 24428 (glucose) R 24427 19256 25502 0 -1 4202496 5859 0 0 0 80 0 0 0 20 0 1 0 284316809 27246592 6070 33554432000 4194304 5208918 140733366027616 140733366025464 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24428/statm: 6652 6070 95 248 0 6401 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 60864

Sending SIGTERM to process tree (bottom up)

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

[startup+1801.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 24428
/proc/meminfo: memFree=28529624/32873624 swapFree=7104/7104
[pid=19256] ppid=19254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19256/stat : 19256 (npSolver-wbo-It) S 19254 19256 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284136760 9367552 275 33554432000 4194304 5064252 140736416883072 140736416881984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19256/statm: 2287 275 233 213 0 72 0
[pid=19257] ppid=19256 vsize=15960 CPUtime=1799.2 cores=0,2,4,6
/proc/19257/stat : 19257 (npSolver-wbo) S 19256 19256 25502 0 -1 4202496 734798 6674671 0 0 996 145 176541 2238 20 0 1 0 284136760 16343040 3164 33554432000 4194304 5990268 140737225440464 140737225431872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19257/statm: 3990 3164 180 439 0 3547 0
[pid=24427] ppid=19257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24427/stat : 24427 (satsolver.sh) S 19257 19256 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316809 9367552 267 33554432000 4194304 5064252 140735687681904 140735687680816 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24427/statm: 2287 267 226 213 0 72 0
[pid=24428] ppid=24427 vsize=26608 CPUtime=0.8 cores=0,2,4,6
/proc/24428/stat : 24428 (glucose) R 24427 19256 25502 0 -1 4202496 5859 0 0 0 80 0 0 0 20 0 1 0 284316809 27246592 6070 33554432000 4194304 5208918 140733366027616 140733366025464 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24428/statm: 6652 6070 95 248 0 6401 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 60864

Child status: 0
Real time (s): 1801.31
CPU time (s): 1800.05
CPU user time (s): 1776.19
CPU system time (s): 23.8574
CPU usage (%): 99.9298
Max. virtual memory (cumulated for all children) (KiB): 105084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.19
system time used= 23.8574
maximum resident set size= 72992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7416319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3167344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93622
involuntary context switches= 7621

runsolver used 2.73958 second user time and 7.10692 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-28 06:41:53
IDJOB=3715582
IDBENCH=78698
IDSOLVER=2297
FILE ID=node121/3715582-1338180113
RUNJOBID= node121-1338174706-27556
PBS_JOBID= 14624535
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= fb4b4aad89d54269a5ce80fb177bfc09
RANDOM SEED=168684101

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:        28587408 kB
Buffers:          524792 kB
Cached:          2879380 kB
SwapCached:            0 kB
Active:           879212 kB
Inactive:        2549788 kB
Active(anon):      25984 kB
Inactive(anon):        0 kB
Active(file):     853228 kB
Inactive(file):  2549788 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8320 kB
Writeback:             0 kB
AnonPages:         79452 kB
Mapped:            15252 kB
Shmem:               200 kB
Slab:             718868 kB
SReclaimable:     163052 kB
SUnreclaim:       555816 kB
KernelStack:        1504 kB
PageTables:         3620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     130832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 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= 71648 MiB
End job on node121 at 2012-05-28 07:11:54