Trace number 3715711

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.23 1866.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-66-100-0.wbo
MD5SUMb9fa744ec68633cb4114d71740485b31
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.10968
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables11476
Total number of constraints33090
Number of soft constraints11224
Number of constraints which are clauses32382
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints708
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 569299
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 569298
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

2.58/2.64	c run usual solver
5.08/5.14	o 5100
5.08/5.14	c starting approximation
5.08/5.14	c factor = 2
5.08/5.14	c factor still to low - shrinking to 171.727
5.08/5.14	c approx number of clauses: 1e+06
5.08/5.14	c current bound: 2550
9.02/9.36	c current bound: 2550
13.24/13.57	c current bound: 2550
17.66/17.79	c current bound: 2550
21.96/22.01	c current bound: 2550
26.18/26.23	c current bound: 2550
30.38/30.44	c current bound: 2550
34.33/34.66	c current bound: 2550
38.54/38.88	c current bound: 2550
42.97/43.08	c current bound: 2550
47.16/47.28	c current bound: 2550
51.15/51.49	c current bound: 2550
55.35/55.69	c current bound: 2550
59.84/59.90	c current bound: 2550
64.04/64.11	c current bound: 2550
68.25/68.31	c current bound: 2550
72.48/72.53	c current bound: 2550
76.68/76.74	c current bound: 2550
80.62/80.96	c current bound: 2550
85.09/85.20	c current bound: 2550
89.31/89.41	c current bound: 2550
93.53/93.63	c current bound: 2550
97.72/97.85	c current bound: 2550
101.67/102.05	c current bound: 2550
106.16/106.63	c current bound: 2550
110.08/110.86	c current bound: 2550
114.61/115.10	c current bound: 2550
118.83/119.31	c current bound: 2550
123.03/123.52	c current bound: 2550
127.23/127.72	c current bound: 2550
131.46/131.93	c current bound: 2550
135.64/136.13	c current bound: 2550
139.60/140.35	c current bound: 2550
143.82/144.58	c current bound: 2550
148.01/148.77	c current bound: 2550
152.43/152.99	c current bound: 2550
156.74/157.21	c current bound: 2550
160.90/161.41	c current bound: 2550
165.11/165.61	c current bound: 2550
169.31/169.80	c current bound: 2550
173.50/174.00	c current bound: 2550
177.71/178.21	c current bound: 2550
181.92/182.42	c current bound: 2550
186.11/186.61	c current bound: 2550
190.32/190.83	c current bound: 2550
194.53/195.03	c current bound: 2550
198.72/199.25	c current bound: 2550
202.94/203.47	c current bound: 2550
207.20/208.81	c current bound: 2550
211.39/215.05	c current bound: 2550
215.32/219.25	c current bound: 2550
219.76/223.47	c current bound: 2550
224.03/228.60	c current bound: 2550
228.26/233.22	c current bound: 2550
232.44/237.42	c current bound: 2550
236.64/242.35	c current bound: 2550
240.82/246.55	c current bound: 2550
245.02/250.76	c current bound: 2550
248.98/254.96	c current bound: 2550
253.18/259.16	c current bound: 2550
257.39/263.36	c current bound: 2550
261.60/267.58	c current bound: 2550
266.03/271.79	c current bound: 2550
270.02/276.00	c current bound: 2550
274.49/280.20	c current bound: 2550
278.70/284.56	c current bound: 2550
282.62/288.75	c current bound: 2550
287.09/293.40	c current bound: 2550
291.31/298.76	c current bound: 2550
295.53/303.73	c current bound: 2550
299.75/308.62	c current bound: 2550
304.00/313.71	c current bound: 2550
308.19/317.94	c current bound: 2550
312.42/322.84	c current bound: 2550
316.64/328.86	c current bound: 2550
320.58/333.08	c current bound: 2550
325.09/338.64	c current bound: 2550
329.30/343.77	c current bound: 2550
333.53/348.67	c current bound: 2550
337.46/352.87	c current bound: 2550
341.94/357.97	c current bound: 2550
345.88/362.18	c current bound: 2550
350.38/366.41	c current bound: 2550
354.61/370.64	c current bound: 2550
358.55/374.86	c current bound: 2550
362.76/379.07	c current bound: 2550
367.00/383.29	c current bound: 2550
371.19/387.49	c current bound: 2550
375.61/391.69	c current bound: 2550
379.90/395.91	c current bound: 2550
384.10/400.13	c current bound: 2550
388.29/404.32	c current bound: 2550
392.49/408.53	c current bound: 2550
396.69/412.74	c current bound: 2550
400.92/417.38	c current bound: 2550
405.14/422.12	c current bound: 2550
409.36/426.34	c current bound: 2550
413.29/430.55	c current bound: 2550
417.51/434.75	c current bound: 2550
421.94/438.95	c current bound: 2550
425.89/443.15	c current bound: 2550
430.11/447.36	c current bound: 2550
434.30/451.56	c current bound: 2550
438.50/455.75	c current bound: 2550
442.93/459.95	c current bound: 2550
447.13/464.17	c current bound: 2550
451.11/468.38	c current bound: 2550
455.33/472.59	c current bound: 2550
459.53/476.79	c current bound: 2550
464.02/481.32	c current bound: 2550
468.22/485.52	c current bound: 2550
472.44/489.73	c current bound: 2550
476.63/493.93	c current bound: 2550
480.83/498.13	c current bound: 2550
484.81/502.38	c current bound: 2550
489.02/506.59	c current bound: 2550
493.50/510.80	c current bound: 2550
497.62/514.99	c current bound: 2550
501.83/519.19	c current bound: 2550
506.17/525.23	c current bound: 2550
510.09/529.44	c current bound: 2550
514.56/533.64	c current bound: 2550
518.77/537.85	c current bound: 2550
522.73/542.08	c current bound: 2550
526.95/546.29	c current bound: 2550
531.44/550.51	c current bound: 2550
535.66/554.72	c current bound: 2550
539.86/558.95	c current bound: 2550
544.05/563.17	c current bound: 2550
548.04/567.37	c current bound: 2550
552.26/571.59	c current bound: 2550
556.73/575.80	c current bound: 2550
560.93/580.00	c current bound: 2550
565.14/585.47	c current bound: 2550
569.35/590.54	c current bound: 2550
573.57/594.98	c current bound: 2550
577.49/599.17	c current bound: 2550
581.97/603.70	c current bound: 2550
586.19/607.91	c current bound: 2550
590.39/612.10	c current bound: 2550
594.60/616.32	c current bound: 2550
598.80/620.53	c current bound: 2550
603.01/624.74	c current bound: 2550
607.21/629.77	c current bound: 2550
611.15/633.98	c current bound: 2550
615.55/638.19	c current bound: 2550
619.78/642.38	c current bound: 2550
624.06/646.61	c current bound: 2550
628.26/651.04	c current bound: 2550
632.48/655.24	c current bound: 2550
636.41/659.45	c current bound: 2550
640.93/664.61	c current bound: 2550
644.84/669.46	c current bound: 2550
649.03/673.65	c current bound: 2550
653.24/677.87	c current bound: 2550
657.68/682.08	c current bound: 2550
661.69/686.30	c current bound: 2550
665.88/690.49	c current bound: 2550
670.08/694.69	c current bound: 2550
674.55/698.90	c current bound: 2550
678.68/703.09	c current bound: 2550
682.94/708.08	c current bound: 2550
686.88/712.29	c current bound: 2550
691.08/716.49	c current bound: 2550
695.57/720.70	c current bound: 2550
699.79/725.27	c current bound: 2550
703.95/729.46	c current bound: 2550
708.22/735.21	c current bound: 2550
712.40/739.41	c current bound: 2550
716.60/743.61	c current bound: 2550
720.82/747.82	c current bound: 2550
725.02/752.02	c current bound: 2550
729.21/756.22	c current bound: 2550
733.42/760.42	c current bound: 2550
737.61/764.62	c current bound: 2550
741.83/768.83	c current bound: 2550
746.01/773.02	c current bound: 2550
750.22/777.23	c current bound: 2550
754.43/781.44	c current bound: 2550
758.65/786.13	c current bound: 2550
762.60/790.34	c current bound: 2550
766.81/794.55	c current bound: 2550
771.24/798.77	c current bound: 2550
775.52/804.42	c current bound: 2550
779.70/808.64	c current bound: 2550
783.90/812.86	c current bound: 2550
787.87/817.06	c current bound: 2550
792.07/821.26	c current bound: 2550
796.27/825.46	c current bound: 2550
800.47/829.66	c current bound: 2550
804.94/834.03	c current bound: 2550
809.15/838.60	c current bound: 2550
813.39/842.82	c current bound: 2550
817.61/847.36	c current bound: 2550
821.76/851.57	c current bound: 2550
826.05/855.80	c current bound: 2550
830.27/860.04	c current bound: 2550
834.25/864.28	c current bound: 2550
838.74/868.50	c current bound: 2550
842.95/872.70	c current bound: 2550
847.16/876.91	c current bound: 2550
851.37/881.11	c current bound: 2550
855.57/885.31	c current bound: 2550
859.76/889.52	c current bound: 2550
863.99/894.51	c current bound: 2550
868.18/898.88	c current bound: 2550
872.33/903.08	c current bound: 2550
876.62/907.46	c current bound: 2550
880.57/911.66	c current bound: 2550
884.77/915.88	c current bound: 2550
888.99/920.09	c current bound: 2550
893.49/924.31	c current bound: 2550
897.70/928.52	c current bound: 2550
901.92/932.73	c current bound: 2550
906.12/936.93	c current bound: 2550
910.06/941.14	c current bound: 2550
914.27/945.34	c current bound: 2550
918.47/949.56	c current bound: 2550
922.98/954.83	c current bound: 2550
927.15/959.26	c current bound: 2550
931.11/963.47	c current bound: 2550
935.62/967.71	c current bound: 2550
939.84/971.93	c current bound: 2550
943.79/976.15	c current bound: 2550
948.28/982.83	c current bound: 2550
952.24/987.06	c current bound: 2550
956.66/991.27	c current bound: 2550
960.91/996.36	c current bound: 2550
965.14/1000.78	c current bound: 2550
969.07/1004.98	c current bound: 2550
973.27/1009.19	c current bound: 2550
977.77/1013.58	c current bound: 2550
981.72/1017.78	c current bound: 2550
986.12/1021.99	c current bound: 2550
990.46/1026.22	c current bound: 2550
994.66/1030.43	c current bound: 2550
998.62/1034.67	c current bound: 2550
1002.83/1038.88	c current bound: 2550
1007.32/1043.10	c current bound: 2550
1011.54/1047.33	c current bound: 2550
1015.75/1051.53	c current bound: 2550
1019.69/1055.76	c current bound: 2550
1023.90/1059.95	c current bound: 2550
1028.11/1064.16	c current bound: 2550
1032.59/1069.22	c current bound: 2550
1036.82/1074.18	c current bound: 2550
1041.03/1078.92	c current bound: 2550
1045.22/1083.13	c current bound: 2550
1049.46/1087.66	c current bound: 2550
1053.42/1091.88	c current bound: 2550
1057.91/1096.11	c current bound: 2550
1061.89/1100.36	c current bound: 2550
1066.42/1104.62	c current bound: 2550
1070.63/1108.83	c current bound: 2550
1074.83/1113.28	c current bound: 2550
1078.77/1117.49	c current bound: 2550
1082.98/1121.68	c current bound: 2550
1087.18/1125.88	c current bound: 2550
1091.69/1130.12	c current bound: 2550
1095.89/1134.52	c current bound: 2550
1100.09/1138.72	c current bound: 2550
1104.31/1142.94	c current bound: 2550
1108.54/1148.43	c current bound: 2550
1112.51/1152.66	c current bound: 2550
1116.74/1156.88	c current bound: 2550
1121.23/1161.11	c current bound: 2550
1125.46/1165.34	c current bound: 2550
1129.41/1169.56	c current bound: 2550
1133.85/1173.77	c current bound: 2550
1137.84/1177.99	c current bound: 2550
1142.05/1182.20	c current bound: 2550
1146.54/1186.41	c current bound: 2550
1150.78/1192.50	c current bound: 2550
1154.96/1196.94	c current bound: 2550
1159.16/1201.13	c current bound: 2550
1163.10/1205.35	c current bound: 2550
1167.60/1209.78	c current bound: 2550
1171.54/1213.98	c current bound: 2550
1175.76/1218.19	c current bound: 2550
1180.25/1222.42	c current bound: 2550
1184.47/1226.63	c current bound: 2550
1188.66/1230.86	c current bound: 2550
1192.62/1235.07	c current bound: 2550
1196.84/1239.27	c current bound: 2550
1201.04/1243.48	c current bound: 2550
1205.25/1247.68	c current bound: 2550
1209.66/1251.89	c current bound: 2550
1213.95/1257.34	c current bound: 2550
1218.15/1262.06	c current bound: 2550
1222.40/1267.23	c current bound: 2550
1226.64/1273.19	c current bound: 2550
1230.87/1277.42	c current bound: 2550
1235.06/1281.66	c current bound: 2550
1239.37/1287.91	c current bound: 2550
1243.56/1292.11	c current bound: 2550
1247.79/1297.00	c current bound: 2550
1251.99/1301.23	c current bound: 2550
1255.93/1305.45	c current bound: 2550
1260.13/1309.65	c current bound: 2550
1264.61/1314.18	c current bound: 2550
1268.85/1318.43	c current bound: 2550
1273.05/1322.64	c current bound: 2550
1277.24/1326.88	c current bound: 2550
1281.52/1331.30	c current bound: 2550
1285.74/1335.51	c current bound: 2550
1289.95/1339.72	c current bound: 2550
1294.15/1343.93	c current bound: 2550
1298.35/1348.13	c current bound: 2550
1302.56/1352.34	c current bound: 2550
1306.77/1356.97	c current bound: 2550
1310.98/1361.30	c current bound: 2550
1315.20/1365.52	c current bound: 2550
1319.42/1369.71	c current bound: 2550
1323.59/1375.29	c current bound: 2550
1327.80/1379.50	c current bound: 2550
1332.00/1383.70	c current bound: 2550
1336.21/1387.91	c current bound: 2550
1340.43/1392.79	c current bound: 2550
1344.36/1396.99	c current bound: 2550
1348.87/1401.22	c current bound: 2550
1352.82/1405.44	c current bound: 2550
1357.03/1409.65	c current bound: 2550
1361.48/1413.86	c current bound: 2550
1365.44/1418.06	c current bound: 2550
1369.90/1422.55	c current bound: 2550
1374.09/1426.73	c current bound: 2550
1378.30/1430.93	c current bound: 2550
1382.22/1435.15	c current bound: 2550
1386.44/1439.35	c current bound: 2550
1390.87/1443.57	c current bound: 2550
1394.88/1447.79	c current bound: 2550
1399.36/1453.17	c current bound: 2550
1403.32/1457.38	c current bound: 2550
1407.51/1461.58	c current bound: 2550
1411.70/1465.77	c current bound: 2550
1416.21/1470.00	c current bound: 2550
1420.43/1474.22	c current bound: 2550
1424.65/1479.00	c current bound: 2550
1428.82/1483.54	c current bound: 2550
1432.76/1487.76	c current bound: 2550
1437.22/1491.96	c current bound: 2550
1441.44/1498.60	c current bound: 2550
1445.70/1503.01	c current bound: 2550
1449.58/1507.20	c current bound: 2550
1453.83/1511.45	c current bound: 2550
1458.69/1516.05	c current bound: 2550
1462.69/1520.29	c current bound: 2550
1467.17/1525.37	c current bound: 2550
1471.11/1529.59	c current bound: 2550
1475.62/1533.82	c current bound: 2550
1479.84/1538.01	c current bound: 2550
1484.03/1542.23	c current bound: 2550
1487.98/1546.44	c current bound: 2550
1492.17/1550.65	c current bound: 2550
1496.65/1555.22	c current bound: 2550
1500.87/1559.44	c current bound: 2550
1505.08/1563.64	c current bound: 2550
1509.27/1567.85	c current bound: 2550
1513.55/1573.60	c current bound: 2550
1517.73/1577.81	c current bound: 2550
1521.95/1582.04	c current bound: 2550
1525.92/1586.27	c current bound: 2550
1530.44/1590.54	c current bound: 2550
1534.39/1594.76	c current bound: 2550
1538.60/1598.95	c current bound: 2550
1543.03/1603.16	c current bound: 2550
1547.27/1607.85	c current bound: 2550
1551.22/1612.06	c current bound: 2550
1555.67/1616.27	c current bound: 2550
1559.93/1620.85	c current bound: 2550
1564.12/1625.49	c current bound: 2550
1568.33/1629.70	c current bound: 2550
1572.56/1634.68	c current bound: 2550
1576.52/1638.89	c current bound: 2550
1581.00/1643.10	c current bound: 2550
1585.20/1647.31	c current bound: 2550
1589.42/1651.52	c current bound: 2550
1593.62/1655.73	c current bound: 2550
1597.81/1659.92	c current bound: 2550
1602.01/1664.13	c current bound: 2550
1605.95/1668.34	c current bound: 2550
1610.41/1672.54	c current bound: 2550
1614.60/1676.73	c current bound: 2550
1618.83/1681.58	c current bound: 2550
1623.03/1687.38	c current bound: 2550
1627.22/1691.68	c current bound: 2550
1631.44/1695.90	c current bound: 2550
1635.67/1700.13	c current bound: 2550
1639.87/1704.33	c current bound: 2550
1644.06/1708.55	c current bound: 2550
1648.31/1713.18	c current bound: 2550
1652.47/1717.39	c current bound: 2550
1656.74/1721.60	c current bound: 2550
1660.96/1725.82	c current bound: 2550
1665.18/1730.03	c current bound: 2550
1669.12/1734.26	c current bound: 2550
1673.60/1738.97	c current bound: 2550
1677.80/1743.38	c current bound: 2550
1681.74/1747.58	c current bound: 2550
1686.24/1751.80	c current bound: 2550
1690.46/1756.03	c current bound: 2550
1694.68/1760.67	c current bound: 2550
1698.84/1764.88	c current bound: 2550
1703.06/1769.10	c current bound: 2550
1707.36/1773.33	c current bound: 2550
1711.55/1777.54	c current bound: 2550
1715.76/1781.74	c current bound: 2550
1719.69/1785.95	c current bound: 2550
1724.14/1790.15	c current bound: 2550
1728.36/1794.34	c current bound: 2550
1732.58/1798.70	c current bound: 2550
1736.80/1803.00	c current bound: 2550
1740.89/1807.36	c current bound: 2550
1745.12/1811.58	c current bound: 2550
1749.62/1815.95	c current bound: 2550
1753.56/1820.16	c current bound: 2550
1757.77/1824.38	c current bound: 2550
1762.28/1828.61	c current bound: 2550
1766.51/1832.84	c current bound: 2550
1770.45/1837.05	c current bound: 2550
1774.64/1841.25	c current bound: 2550
1778.86/1845.46	c current bound: 2550
1783.07/1849.66	c current bound: 2550
1787.51/1853.87	c current bound: 2550
1791.46/1858.07	c current bound: 2550
1795.69/1862.29	c current bound: 2550
1799.89/1866.49	c current bound: 2550
1800.21/1866.50	HOME/npSolver-wbo-Itdqb.sh: line 18: 27932 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-3715711-1338204553/watcher-3715711-1338204553 -o /tmp/evaluation-result-3715711-1338204553/solver-3715711-1338204553 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715711-1338204553.wbo 924338794 HOME HOME 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0

[startup+0.054285 s]
/proc/loadavg: 2.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100266 s]
/proc/loadavg: 2.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30023 s]
/proc/loadavg: 2.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70024 s]
/proc/loadavg: 2.04 2.07 2.24 3/178 27931
/proc/meminfo: memFree=30826348/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 2.04 2.07 2.24 3/181 27959
/proc/meminfo: memFree=30802756/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=34876 CPUtime=1.49 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) R 27931 27931 30917 0 -1 4202496 2902 0 0 0 149 0 0 0 20 0 1 0 286583895 35713024 5428 33554432000 4194304 5990268 140736961376976 140736961372216 4766408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 8719 5428 136 439 0 8276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44024

[startup+3.10023 s]
/proc/loadavg: 2.04 2.07 2.24 3/181 27994
/proc/meminfo: memFree=30770780/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=68088 CPUtime=2.66 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 5081 0 0 0 259 7 0 0 20 0 1 0 286583895 69722112 11795 33554432000 4194304 5990268 140736961376976 140736961370128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 17022 11795 149 439 0 16579 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 77236

[startup+6.30036 s]
/proc/loadavg: 2.03 2.06 2.24 3/183 28108
/proc/meminfo: memFree=30680680/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=5.22 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 7742 24712 0 0 278 52 175 17 20 0 1 0 286583895 88379392 16301 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 21577 16301 174 439 0 21134 0
[pid=28103] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28103/stat : 28103 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286584419 9367552 267 33554432000 4194304 5064252 140736293083344 140736293082256 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28103/statm: 2287 267 226 213 0 72 0
[pid=28104] ppid=28103 vsize=81632 CPUtime=1.04 cores=1,3,5,7
/proc/28104/stat : 28104 (glucose) R 28103 27931 30917 0 -1 4202496 13655 0 0 0 101 3 0 0 20 0 1 0 286584419 83591168 17320 33554432000 4194304 5208918 140734541327392 140734541325144 4211871 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28104/statm: 20408 17320 95 248 0 20157 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 186236

[startup+12.7004 s]
/proc/loadavg: 2.03 2.06 2.24 3/183 28279
/proc/meminfo: memFree=30632360/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=9.44 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 10316 44738 0 0 287 53 566 38 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=28215] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28215/stat : 28215 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286584840 9367552 267 33554432000 4194304 5064252 140733916189456 140733916188368 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28215/statm: 2287 267 226 213 0 72 0
[pid=28216] ppid=28215 vsize=83680 CPUtime=3.23 cores=1,3,5,7
/proc/28216/stat : 28216 (glucose) R 28215 27931 30917 0 -1 4202496 14471 0 0 0 319 4 0 0 20 0 1 0 286584841 85688320 18069 33554432000 4194304 5208918 140734545555424 140734545553272 4465602 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28216/statm: 20920 18070 102 248 0 20669 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 188284

[startup+25.5004 s]
/proc/loadavg: 1.95 2.04 2.23 3/181 28673
/proc/meminfo: memFree=30640104/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=22.1 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 18035 107879 0 0 312 57 1739 102 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=28579] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28579/stat : 28579 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286586106 9367552 267 33554432000 4194304 5064252 140736714132832 140736714131744 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28579/statm: 2287 267 226 213 0 72 0
[pid=28580] ppid=28579 vsize=85268 CPUtime=3.37 cores=1,3,5,7
/proc/28580/stat : 28580 (glucose) R 28579 27931 30917 0 -1 4202496 14553 0 0 0 333 4 0 0 20 0 1 0 286586106 87314432 18215 33554432000 4194304 5208918 140734288586208 140734288584056 4229528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28580/statm: 21317 18215 102 248 0 21066 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 189872

[startup+51.1004 s]
/proc/loadavg: 1.97 2.04 2.22 3/184 29423
/proc/meminfo: memFree=30633076/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=47.36 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 33473 234323 0 0 363 65 4081 227 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=29321] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29321/stat : 29321 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286588633 9367552 267 33554432000 4194304 5064252 140736276297888 140736276296800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29321/statm: 2287 267 226 213 0 72 0
[pid=29322] ppid=29321 vsize=88376 CPUtime=3.7 cores=1,3,5,7
/proc/29322/stat : 29322 (glucose) R 29321 27931 30917 0 -1 4202496 16692 0 0 0 367 3 0 0 20 0 1 0 286588633 90497024 19225 33554432000 4194304 5208918 140737440104016 140737440101864 4229773 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29322/statm: 22094 19225 102 248 0 21843 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 192980

[startup+102.307 s]
/proc/loadavg: 1.81 1.98 2.19 3/184 31017
/proc/meminfo: memFree=30691080/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=102.08 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 66922 510935 0 0 475 80 9157 496 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 3 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=31013] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31013/stat : 31013 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286594109 9367552 267 33554432000 4194304 5064252 140734252335104 140734252334016 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31013/statm: 2287 267 226 213 0 72 0
[pid=31014] ppid=31013 vsize=30436 CPUtime=0.14 cores=1,3,5,7
/proc/31014/stat : 31014 (glucose) R 31013 27931 30917 0 -1 4202496 4263 0 0 0 13 1 0 0 20 0 1 0 286594110 31166464 5585 33554432000 4194304 5208918 140735686954672 140734252334040 4237172 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31014/statm: 7609 5585 70 248 0 7358 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 135040

[startup+162.3 s]
/proc/loadavg: 1.93 1.98 2.17 3/181 31794
/proc/meminfo: memFree=29010192/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=161.04 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 102944 806226 0 0 595 96 14637 776 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 3 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=31793] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31793/stat : 31793 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286600045 9367552 267 33554432000 4194304 5064252 140733511821440 140733511820352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31793/statm: 2287 267 226 213 0 72 0
[pid=31794] ppid=31793 vsize=81636 CPUtime=0.78 cores=1,3,5,7
/proc/31794/stat : 31794 (glucose) R 31793 27931 30917 0 -1 4202496 15031 0 0 0 75 3 0 0 20 0 1 0 286600045 83595264 17576 33554432000 4194304 5208918 140734581970960 140734580920456 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31794/statm: 20409 17576 95 248 0 20158 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 186240

[startup+222.3 s]
/proc/loadavg: 2.27 2.06 2.19 3/183 31887
/proc/meminfo: memFree=24240084/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/1279/statm: 2287 267 226 213 0 72 0
[pid=1280] ppid=1279 vsize=81632 CPUtime=0.96 cores=1,3,5,7
/proc/1280/stat : 1280 (glucose) R 1279 27931 30917 0 -1 4202496 13658 0 0 0 93 3 0 0 20 0 1 0 286714028 83591168 17322 33554432000 4194304 5208918 140735064197984 140735064195736 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1280/statm: 20408 17322 95 248 0 20157 0
Current children cumulated CPU time (s) 1253.08
Current children cumulated vsize (KiB) 186236

[startup+1362.3 s]
/proc/loadavg: 2.57 2.52 2.39 3/183 1392
/proc/meminfo: memFree=21569956/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1311.11 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 805373 6557177 0 0 2936 419 121369 6387 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 17 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=1391] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1391/stat : 1391 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 286720034 9367552 267 33554432000 4194304 5064252 140736528859792 140736528858704 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 2287 267 226 213 0 72 0
[pid=1392] ppid=1391 vsize=81636 CPUtime=0.88 cores=1,3,5,7
/proc/1392/stat : 1392 (glucose) R 1391 27931 30917 0 -1 4202496 14094 0 0 0 85 3 0 0 20 0 1 0 286720035 83595264 17202 33554432000 4194304 5208918 140735557515520 140735557513272 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1392/statm: 20409 17202 95 248 0 20158 0
Current children cumulated CPU time (s) 1311.99
Current children cumulated vsize (KiB) 186240

[startup+1422.3 s]
/proc/loadavg: 2.61 2.54 2.40 3/183 1501
/proc/meminfo: memFree=21566904/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1369.9 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 839002 6853265 0 0 3047 435 126841 6667 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 17 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
Current children cumulated CPU time (s) 1369.9
Current children cumulated vsize (KiB) 95456

[startup+1482.3 s]
/proc/loadavg: 2.72 2.57 2.42 3/183 1617
/proc/meminfo: memFree=21570544/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1424.76 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 874844 7127426 0 0 3167 452 131922 6935 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 41 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=1616] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1616/stat : 1616 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286731829 9367552 267 33554432000 4194304 5064252 140734582860128 140734582859040 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1616/statm: 2287 267 226 213 0 72 0
[pid=1617] ppid=1616 vsize=82092 CPUtime=2.85 cores=1,3,5,7
/proc/1617/stat : 1617 (glucose) R 1616 27931 30917 0 -1 4202496 15167 0 0 0 282 3 0 0 20 0 1 0 286731829 84062208 17708 33554432000 4194304 5208918 140736197682704 140736197680552 4211553 0 0 4096 0 0 0 0 17 5 0 0 9 0 0
/proc/1617/statm: 20523 17708 95 248 0 20272 0
Current children cumulated CPU time (s) 1427.61
Current children cumulated vsize (KiB) 186696

[startup+1542.3 s]
/proc/loadavg: 2.59 2.55 2.42 3/183 1725
/proc/meminfo: memFree=21560360/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1484.15 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) R 27931 27931 30917 0 -1 4202496 910863 7423043 0 0 3285 471 137431 7228 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368960 4569904 0 0 4096 0 0 0 0 17 3 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
Current children cumulated CPU time (s) 1484.15
Current children cumulated vsize (KiB) 95456

[startup+1602.3 s]
/proc/loadavg: 2.66 2.57 2.43 3/183 1844
/proc/meminfo: memFree=21565580/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1539.01 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 944315 7695908 0 0 3398 487 142518 7498 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=1841] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1841/stat : 1841 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286743800 9367552 266 33554432000 4194304 5064252 140736076917872 140736076916784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1841/statm: 2287 266 226 213 0 72 0
[pid=1844] ppid=1841 vsize=83816 CPUtime=3.24 cores=1,3,5,7
/proc/1844/stat : 1844 (glucose) R 1841 27931 30917 0 -1 4202496 15602 0 0 0 321 3 0 0 20 0 1 0 286743800 85827584 18141 33554432000 4194304 5208918 140737137530832 140737137528680 4229773 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1844/statm: 20954 18141 102 248 0 20703 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 188420

[startup+1662.3 s]
/proc/loadavg: 2.61 2.57 2.44 3/183 1950
/proc/meminfo: memFree=21562064/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1597.96 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 980337 7992069 0 0 3519 504 147996 7777 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=1949] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1949/stat : 1949 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286749897 9367552 266 33554432000 4194304 5064252 140735407014544 140735407013456 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1949/statm: 2287 266 226 213 0 72 0
[pid=1950] ppid=1949 vsize=82092 CPUtime=2.27 cores=1,3,5,7
/proc/1950/stat : 1950 (glucose) R 1949 27931 30917 0 -1 4202496 14061 0 0 0 224 3 0 0 20 0 1 0 286749897 84062208 17661 33554432000 4194304 5208918 140734180460816 140734180458664 4211918 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1950/statm: 20523 17661 95 248 0 20272 0
Current children cumulated CPU time (s) 1600.23
Current children cumulated vsize (KiB) 186696

[startup+1722.3 s]
/proc/loadavg: 2.54 2.56 2.44 3/181 2053
/proc/meminfo: memFree=21627468/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1656.89 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 1016359 8287895 0 0 3639 521 153463 8066 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
Current children cumulated CPU time (s) 1656.89
Current children cumulated vsize (KiB) 95456

[startup+1782.31 s]
/proc/loadavg: 2.60 2.56 2.45 3/183 2160
/proc/meminfo: memFree=21565416/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1715.89 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 1052381 8584345 0 0 3759 537 158935 8358 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=2159] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2159/stat : 2159 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286762078 9367552 266 33554432000 4194304 5064252 140734946417520 140734946416432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2159/statm: 2287 266 226 213 0 72 0
[pid=2160] ppid=2159 vsize=81636 CPUtime=0.46 cores=1,3,5,7
/proc/2160/stat : 2160 (glucose) R 2159 27931 30917 0 -1 4202496 14584 0 0 0 43 3 0 0 20 0 1 0 286762078 83595264 17162 33554432000 4194304 5208918 140734073995264 140734946416456 4211740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2160/statm: 20409 17162 95 248 0 20158 0
Current children cumulated CPU time (s) 1716.35
Current children cumulated vsize (KiB) 186240

[startup+1842.3 s]
/proc/loadavg: 2.61 2.56 2.46 3/183 2265
/proc/meminfo: memFree=21577424/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1775.06 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) S 27931 27931 30917 0 -1 4202496 1088403 8882563 0 0 3879 554 164430 8643 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
[pid=2264] ppid=27932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2264/stat : 2264 (satsolver.sh) S 27932 27931 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286768029 9367552 267 33554432000 4194304 5064252 140733779451072 140733779449984 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2264/statm: 2287 267 226 213 0 72 0
[pid=2265] ppid=2264 vsize=81636 CPUtime=0.94 cores=1,3,5,7
/proc/2265/stat : 2265 (glucose) R 2264 27931 30917 0 -1 4202496 15097 0 0 0 91 3 0 0 20 0 1 0 286768030 83595264 17119 33554432000 4194304 5208918 140735634611168 140735634608920 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2265/statm: 20409 17119 95 248 0 20158 0
Current children cumulated CPU time (s) 1776
Current children cumulated vsize (KiB) 186240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1866.5 s]
/proc/loadavg: 2.54 2.55 2.45 3/183 2311
/proc/meminfo: memFree=26277900/32873844 swapFree=7108/7108
[pid=27931] ppid=27929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27931/stat : 27931 (npSolver-wbo-It) S 27929 27931 30917 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 286583894 9367552 275 33554432000 4194304 5064252 140735229064464 140735229063376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27931/statm: 2287 275 233 213 0 72 0
[pid=27932] ppid=27931 vsize=86308 CPUtime=1800.21 cores=1,3,5,7
/proc/27932/stat : 27932 (npSolver-wbo) R 27931 27931 30917 0 -1 4202496 1102068 9011277 0 0 3923 560 166776 8762 20 0 1 0 286583895 88379392 16302 33554432000 4194304 5990268 140736961376976 140736961368960 5042551 0 0 4096 0 0 0 0 17 1 0 0 82 0 0
/proc/27932/statm: 21577 16302 175 439 0 21134 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 95456

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1866.51
CPU time (s): 1800.23
CPU user time (s): 1707
CPU system time (s): 93.2338
CPU usage (%): 96.4492
Max. virtual memory (cumulated for all children) (KiB): 193624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707
system time used= 93.2338
maximum resident set size= 94552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10113729
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24747080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132790
involuntary context switches= 9103

runsolver used 3.17752 second user time and 8.93464 second system time

The end

Launcher Data

Begin job on node103 at 2012-05-28 13:29:13
IDJOB=3715711
IDBENCH=79038
IDSOLVER=2297
FILE ID=node103/3715711-1338204553
RUNJOBID= node103-1338193626-30934
PBS_JOBID= 14624588
Free space on /tmp= 71540 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl--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-3715711-1338204553/watcher-3715711-1338204553 -o /tmp/evaluation-result-3715711-1338204553/solver-3715711-1338204553 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715711-1338204553.wbo 924338794 HOME HOME

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

MD5SUM BENCH= b9fa744ec68633cb4114d71740485b31
RANDOM SEED=924338794

node103.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.189
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.37
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.189
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.189
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.189
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.189
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.189
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	: 5411.36
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.189
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.189
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:       32873844 kB
MemFree:        30818908 kB
Buffers:          530952 kB
Cached:           646476 kB
SwapCached:         4492 kB
Active:           842152 kB
Inactive:         362860 kB
Active(anon):      18968 kB
Inactive(anon):     6216 kB
Active(file):     823184 kB
Inactive(file):   356644 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099580 kB
Dirty:             13156 kB
Writeback:             0 kB
AnonPages:         34836 kB
Mapped:            12928 kB
Shmem:                 8 kB
Slab:             710464 kB
SReclaimable:     151264 kB
SUnreclaim:       559200 kB
KernelStack:        1504 kB
PageTables:         4396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     142676 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= 69444 MiB
End job on node103 at 2012-05-28 14:00:20