Trace number 3715568

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.1 1800.71

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM1f875ef306d18e6f86db860a031faa4e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark0.135979
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables400
Total number of constraints60
Number of soft constraints16
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint20
Top cost 813
Min constraint cost 1
Max constraint cost 95
Sum of constraints costs 812
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c run usual solver
1.87/1.95	o 566
1.87/1.95	c starting approximation
1.87/1.95	c factor = 2
1.87/1.95	c current bound: 283
5.87/5.94	c current bound: 283
9.86/9.92	c current bound: 283
13.76/13.89	c current bound: 283
17.75/17.87	c current bound: 283
21.75/21.84	c current bound: 283
25.65/25.76	c current bound: 283
29.65/29.73	c current bound: 283
33.65/33.72	c current bound: 283
37.65/37.70	c current bound: 283
41.55/41.67	c current bound: 283
45.55/45.61	c current bound: 283
49.45/49.59	c current bound: 283
53.43/53.56	c current bound: 283
57.44/57.55	c current bound: 283
61.44/61.54	c current bound: 283
65.34/65.46	c current bound: 283
69.34/69.43	c current bound: 283
73.32/73.42	c current bound: 283
77.34/77.40	c current bound: 283
81.23/81.38	c current bound: 283
85.22/85.36	c current bound: 283
89.23/89.35	c current bound: 283
93.22/93.33	c current bound: 283
97.22/97.32	c current bound: 283
101.13/101.30	c current bound: 283
105.22/105.38	c current bound: 283
109.21/109.36	c current bound: 283
113.21/113.35	c current bound: 283
117.21/117.32	c current bound: 283
121.22/121.31	c current bound: 283
125.24/125.30	c current bound: 283
129.12/129.27	c current bound: 283
133.12/133.26	c current bound: 283
137.11/137.24	c current bound: 283
141.11/141.22	c current bound: 283
145.00/145.20	c current bound: 283
149.11/149.29	c current bound: 283
153.11/153.27	c current bound: 283
157.11/157.24	c current bound: 283
161.11/161.22	c current bound: 283
165.11/165.21	c current bound: 283
169.00/169.19	c current bound: 283
173.00/173.17	c current bound: 283
177.01/177.15	c current bound: 283
180.99/181.13	c current bound: 283
185.00/185.11	c current bound: 283
188.91/189.09	c current bound: 283
192.90/193.04	c current bound: 283
196.90/197.02	c current bound: 283
200.80/200.99	c current bound: 283
204.81/204.90	c current bound: 283
208.71/208.88	c current bound: 283
212.70/212.86	c current bound: 283
216.72/216.84	c current bound: 283
220.70/220.82	c current bound: 283
224.60/224.74	c current bound: 283
228.59/228.74	c current bound: 283
232.60/232.72	c current bound: 283
236.51/236.66	c current bound: 283
240.49/240.66	c current bound: 283
244.48/244.64	c current bound: 283
248.49/248.62	c current bound: 283
252.49/252.61	c current bound: 283
256.39/256.53	c current bound: 283
260.38/260.51	c current bound: 283
264.40/264.50	c current bound: 283
268.29/268.47	c current bound: 283
272.30/272.44	c current bound: 283
276.19/276.38	c current bound: 283
280.19/280.36	c current bound: 283
284.19/284.30	c current bound: 283
288.10/288.26	c current bound: 283
292.09/292.22	c current bound: 283
296.10/296.20	c current bound: 283
299.98/300.17	c current bound: 283
303.98/304.12	c current bound: 283
308.00/308.10	c current bound: 283
311.89/312.09	c current bound: 283
315.89/316.01	c current bound: 283
319.78/319.99	c current bound: 283
323.77/323.97	c current bound: 283
327.78/327.95	c current bound: 283
331.77/331.93	c current bound: 283
335.69/335.86	c current bound: 283
339.68/339.84	c current bound: 283
343.68/343.83	c current bound: 283
347.69/347.80	c current bound: 283
351.58/351.78	c current bound: 283
355.57/355.74	c current bound: 283
359.58/359.74	c current bound: 283
363.57/363.73	c current bound: 283
367.57/367.72	c current bound: 283
371.48/371.69	c current bound: 283
375.47/375.67	c current bound: 283
379.47/379.66	c current bound: 283
383.45/383.65	c current bound: 283
387.46/387.64	c current bound: 283
391.47/391.60	c current bound: 283
395.47/395.60	c current bound: 283
399.37/399.57	c current bound: 283
403.37/403.55	c current bound: 283
407.36/407.55	c current bound: 283
411.37/411.54	c current bound: 283
415.26/415.49	c current bound: 283
419.26/419.46	c current bound: 283
423.27/423.42	c current bound: 283
427.15/427.39	c current bound: 283
431.17/431.35	c current bound: 283
435.16/435.30	c current bound: 283
439.06/439.26	c current bound: 283
443.05/443.25	c current bound: 283
447.05/447.24	c current bound: 283
451.05/451.21	c current bound: 283
454.96/455.16	c current bound: 283
458.94/459.14	c current bound: 283
462.95/463.12	c current bound: 283
466.84/467.08	c current bound: 283
470.87/471.07	c current bound: 283
474.86/475.05	c current bound: 283
478.86/479.03	c current bound: 283
482.76/482.99	c current bound: 283
486.75/486.99	c current bound: 283
490.75/490.98	c current bound: 283
494.75/494.94	c current bound: 283
498.75/498.91	c current bound: 283
502.74/502.91	c current bound: 283
506.64/506.84	c current bound: 283
510.64/510.82	c current bound: 283
514.54/514.80	c current bound: 283
518.65/518.81	c current bound: 283
522.54/522.79	c current bound: 283
526.53/526.73	c current bound: 283
530.43/530.69	c current bound: 283
534.43/534.66	c current bound: 283
538.43/538.65	c current bound: 283
542.44/542.64	c current bound: 283
546.34/546.53	c current bound: 283
550.33/550.52	c current bound: 283
554.23/554.48	c current bound: 283
558.23/558.46	c current bound: 283
562.22/562.44	c current bound: 283
566.14/566.37	c current bound: 283
570.12/570.34	c current bound: 283
574.04/574.28	c current bound: 283
578.02/578.26	c current bound: 283
582.02/582.25	c current bound: 283
586.02/586.22	c current bound: 283
589.91/590.19	c current bound: 283
593.93/594.15	c current bound: 283
597.92/598.13	c current bound: 283
601.82/602.09	c current bound: 283
605.82/606.07	c current bound: 283
609.81/610.05	c current bound: 283
613.81/614.03	c current bound: 283
617.82/618.01	c current bound: 283
621.81/622.00	c current bound: 283
625.73/625.91	c current bound: 283
629.72/629.90	c current bound: 283
633.62/633.88	c current bound: 283
637.62/637.84	c current bound: 283
641.62/641.84	c current bound: 283
645.52/645.76	c current bound: 283
649.51/649.76	c current bound: 283
653.51/653.71	c current bound: 283
657.50/657.71	c current bound: 283
661.39/661.68	c current bound: 283
665.41/665.61	c current bound: 283
669.39/669.60	c current bound: 283
673.28/673.59	c current bound: 283
677.28/677.56	c current bound: 283
681.28/681.55	c current bound: 283
685.29/685.53	c current bound: 283
689.29/689.50	c current bound: 283
693.18/693.49	c current bound: 283
697.18/697.45	c current bound: 283
701.18/701.41	c current bound: 283
705.07/705.38	c current bound: 283
709.08/709.38	c current bound: 283
713.09/713.36	c current bound: 283
717.10/717.33	c current bound: 283
721.08/721.33	c current bound: 283
724.99/725.29	c current bound: 283
728.98/729.27	c current bound: 283
732.98/733.24	c current bound: 283
736.98/737.20	c current bound: 283
740.88/741.17	c current bound: 283
744.79/745.08	c current bound: 283
748.78/749.05	c current bound: 283
752.78/753.04	c current bound: 283
756.77/757.03	c current bound: 283
760.78/761.01	c current bound: 283
764.67/764.99	c current bound: 283
768.68/768.96	c current bound: 283
772.68/772.93	c current bound: 283
776.58/776.85	c current bound: 283
780.58/780.86	c current bound: 283
784.56/784.83	c current bound: 283
788.57/788.82	c current bound: 283
792.58/792.81	c current bound: 283
796.48/796.74	c current bound: 283
800.47/800.72	c current bound: 283
804.36/804.69	c current bound: 283
808.37/808.67	c current bound: 283
812.36/812.66	c current bound: 283
816.27/816.56	c current bound: 283
820.26/820.54	c current bound: 283
824.27/824.51	c current bound: 283
828.16/828.48	c current bound: 283
832.16/832.46	c current bound: 283
836.16/836.42	c current bound: 283
840.17/840.41	c current bound: 283
844.05/844.36	c current bound: 283
848.07/848.34	c current bound: 283
852.06/852.31	c current bound: 283
855.95/856.23	c current bound: 283
859.97/860.21	c current bound: 283
863.95/864.21	c current bound: 283
867.97/868.20	c current bound: 283
871.85/872.17	c current bound: 283
875.85/876.10	c current bound: 283
879.75/880.08	c current bound: 283
883.74/884.06	c current bound: 283
887.75/888.02	c current bound: 283
891.65/891.99	c current bound: 283
895.65/895.96	c current bound: 283
899.66/899.94	c current bound: 283
903.64/903.91	c current bound: 283
907.54/907.89	c current bound: 283
911.53/911.89	c current bound: 283
915.54/915.89	c current bound: 283
919.54/919.86	c current bound: 283
923.54/923.81	c current bound: 283
927.43/927.79	c current bound: 283
931.43/931.78	c current bound: 283
935.33/935.68	c current bound: 283
939.33/939.68	c current bound: 283
943.33/943.64	c current bound: 283
947.32/947.62	c current bound: 283
951.23/951.59	c current bound: 283
955.21/955.54	c current bound: 283
959.23/959.52	c current bound: 283
963.14/963.50	c current bound: 283
967.14/967.46	c current bound: 283
971.14/971.44	c current bound: 283
975.12/975.41	c current bound: 283
979.02/979.39	c current bound: 283
983.02/983.36	c current bound: 283
987.03/987.36	c current bound: 283
991.02/991.33	c current bound: 283
995.03/995.32	c current bound: 283
998.93/999.29	c current bound: 283
1002.93/1003.27	c current bound: 283
1006.92/1007.26	c current bound: 283
1010.92/1011.25	c current bound: 283
1014.93/1015.20	c current bound: 283
1018.82/1019.17	c current bound: 283
1022.82/1023.16	c current bound: 283
1026.82/1027.15	c current bound: 283
1030.81/1031.14	c current bound: 283
1034.70/1035.06	c current bound: 283
1038.71/1039.06	c current bound: 283
1042.70/1043.04	c current bound: 283
1046.71/1047.02	c current bound: 283
1050.70/1051.01	c current bound: 283
1054.61/1054.96	c current bound: 283
1058.61/1058.94	c current bound: 283
1062.62/1062.92	c current bound: 283
1066.51/1066.85	c current bound: 283
1070.52/1070.83	c current bound: 283
1074.52/1074.81	c current bound: 283
1078.41/1078.78	c current bound: 283
1082.41/1082.77	c current bound: 283
1086.32/1086.65	c current bound: 283
1090.31/1090.62	c current bound: 283
1094.22/1094.59	c current bound: 283
1098.22/1098.58	c current bound: 283
1102.21/1102.57	c current bound: 283
1106.20/1106.55	c current bound: 283
1110.21/1110.53	c current bound: 283
1114.22/1114.50	c current bound: 283
1118.10/1118.48	c current bound: 283
1122.10/1122.45	c current bound: 283
1126.10/1126.43	c current bound: 283
1130.10/1130.42	c current bound: 283
1134.10/1134.40	c current bound: 283
1137.99/1138.38	c current bound: 283
1141.98/1142.36	c current bound: 283
1145.89/1146.27	c current bound: 283
1149.89/1150.24	c current bound: 283
1153.89/1154.23	c current bound: 283
1157.90/1158.20	c current bound: 283
1161.80/1162.18	c current bound: 283
1165.70/1166.10	c current bound: 283
1169.79/1170.18	c current bound: 283
1173.78/1174.16	c current bound: 283
1177.78/1178.14	c current bound: 283
1181.79/1182.12	c current bound: 283
1185.68/1186.09	c current bound: 283
1189.68/1190.06	c current bound: 283
1193.68/1194.03	c current bound: 283
1197.68/1198.02	c current bound: 283
1201.67/1202.00	c current bound: 283
1205.57/1206.00	c current bound: 283
1209.57/1209.97	c current bound: 283
1213.58/1213.94	c current bound: 283
1217.58/1217.92	c current bound: 283
1221.58/1221.91	c current bound: 283
1225.47/1225.86	c current bound: 283
1229.47/1229.84	c current bound: 283
1233.47/1233.82	c current bound: 283
1237.47/1237.80	c current bound: 283
1241.38/1241.78	c current bound: 283
1245.38/1245.71	c current bound: 283
1249.37/1249.73	c current bound: 283
1253.34/1253.70	c current bound: 283
1257.23/1257.68	c current bound: 283
1261.23/1261.66	c current bound: 283
1265.24/1265.64	c current bound: 283
1269.24/1269.62	c current bound: 283
1273.24/1273.61	c current bound: 283
1277.13/1277.58	c current bound: 283
1281.14/1281.56	c current bound: 283
1285.13/1285.55	c current bound: 283
1289.13/1289.53	c current bound: 283
1293.14/1293.51	c current bound: 283
1297.14/1297.51	c current bound: 283
1301.04/1301.48	c current bound: 283
1305.03/1305.46	c current bound: 283
1309.04/1309.42	c current bound: 283
1312.93/1313.40	c current bound: 283
1317.03/1317.42	c current bound: 283
1321.04/1321.43	c current bound: 283
1325.04/1325.40	c current bound: 283
1328.93/1329.38	c current bound: 283
1332.95/1333.37	c current bound: 283
1336.93/1337.35	c current bound: 283
1340.94/1341.35	c current bound: 283
1344.83/1345.29	c current bound: 283
1349.03/1349.40	c current bound: 283
1352.92/1353.36	c current bound: 283
1356.94/1357.36	c current bound: 283
1360.93/1361.32	c current bound: 283
1364.83/1365.25	c current bound: 283
1368.82/1369.23	c current bound: 283
1372.72/1373.19	c current bound: 283
1376.72/1377.15	c current bound: 283
1380.73/1381.12	c current bound: 283
1384.73/1385.11	c current bound: 283
1388.62/1389.09	c current bound: 283
1392.61/1393.04	c current bound: 283
1396.53/1396.98	c current bound: 283
1400.52/1400.96	c current bound: 283
1404.51/1404.94	c current bound: 283
1408.53/1408.91	c current bound: 283
1412.42/1412.88	c current bound: 283
1416.41/1416.83	c current bound: 283
1420.33/1420.80	c current bound: 283
1424.31/1424.77	c current bound: 283
1428.32/1428.74	c current bound: 283
1432.32/1432.71	c current bound: 283
1436.24/1436.70	c current bound: 283
1440.22/1440.68	c current bound: 283
1444.20/1444.63	c current bound: 283
1448.22/1448.60	c current bound: 283
1452.12/1452.58	c current bound: 283
1456.12/1456.56	c current bound: 283
1460.12/1460.54	c current bound: 283
1464.11/1464.50	c current bound: 283
1468.01/1468.49	c current bound: 283
1472.00/1472.46	c current bound: 283
1476.01/1476.44	c current bound: 283
1480.02/1480.40	c current bound: 283
1483.91/1484.37	c current bound: 283
1487.91/1488.36	c current bound: 283
1491.91/1492.33	c current bound: 283
1495.81/1496.29	c current bound: 283
1499.81/1500.27	c current bound: 283
1503.81/1504.24	c current bound: 283
1507.80/1508.23	c current bound: 283
1511.81/1512.20	c current bound: 283
1515.70/1516.16	c current bound: 283
1519.70/1520.14	c current bound: 283
1523.71/1524.14	c current bound: 283
1527.70/1528.12	c current bound: 283
1531.71/1532.10	c current bound: 283
1535.60/1536.08	c current bound: 283
1539.60/1540.05	c current bound: 283
1543.62/1544.00	c current bound: 283
1547.59/1548.03	c current bound: 283
1551.56/1552.00	c current bound: 283
1555.56/1556.00	c current bound: 283
1559.45/1559.96	c current bound: 283
1563.45/1563.93	c current bound: 283
1567.45/1567.91	c current bound: 283
1571.34/1571.88	c current bound: 283
1575.34/1575.82	c current bound: 283
1579.34/1579.81	c current bound: 283
1583.24/1583.78	c current bound: 283
1587.24/1587.76	c current bound: 283
1591.25/1591.74	c current bound: 283
1595.23/1595.73	c current bound: 283
1599.13/1599.69	c current bound: 283
1603.13/1603.67	c current bound: 283
1607.15/1607.67	c current bound: 283
1611.12/1611.67	c current bound: 283
1615.12/1615.65	c current bound: 283
1619.12/1619.61	c current bound: 283
1623.02/1623.58	c current bound: 283
1627.01/1627.55	c current bound: 283
1631.01/1631.53	c current bound: 283
1635.01/1635.51	c current bound: 283
1639.01/1639.52	c current bound: 283
1642.92/1643.48	c current bound: 283
1646.92/1647.46	c current bound: 283
1650.92/1651.45	c current bound: 283
1654.93/1655.42	c current bound: 283
1658.92/1659.40	c current bound: 283
1662.83/1663.37	c current bound: 283
1666.89/1667.51	c current bound: 283
1670.77/1671.46	c current bound: 283
1674.78/1675.44	c current bound: 283
1678.78/1679.44	c current bound: 283
1682.78/1683.42	c current bound: 283
1686.67/1687.38	c current bound: 283
1690.67/1691.37	c current bound: 283
1694.66/1695.35	c current bound: 283
1698.67/1699.32	c current bound: 283
1702.67/1703.30	c current bound: 283
1706.58/1707.28	c current bound: 283
1710.56/1711.26	c current bound: 283
1714.47/1715.18	c current bound: 283
1718.46/1719.16	c current bound: 283
1722.47/1723.14	c current bound: 283
1726.47/1727.12	c current bound: 283
1730.36/1731.09	c current bound: 283
1734.36/1735.07	c current bound: 283
1738.35/1739.03	c current bound: 283
1742.35/1743.00	c current bound: 283
1746.36/1747.00	c current bound: 283
1750.25/1750.96	c current bound: 283
1754.25/1754.94	c current bound: 283
1758.26/1758.93	c current bound: 283
1762.25/1762.91	c current bound: 283
1766.17/1766.88	c current bound: 283
1770.17/1770.87	c current bound: 283
1774.16/1774.80	c current bound: 283
1778.06/1778.79	c current bound: 283
1782.05/1782.76	c current bound: 283
1786.04/1786.74	c current bound: 283
1790.05/1790.73	c current bound: 283
1794.06/1794.71	c current bound: 283
1798.06/1798.70	c current bound: 283
1800.06/1800.71	./satsolver.sh: line 5: 19644 Terminated              ./glucose $1 > $2 2> /dev/null
1800.06/1800.71	c error: unexpected solver exit code
1800.06/1800.71	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-3715568-1338176226/watcher-3715568-1338176226 -o /tmp/evaluation-result-3715568-1338176226/solver-3715568-1338176226 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715568-1338176226.wbo 496296313 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.91 1.98 1.98 2/179 15949
/proc/meminfo: memFree=27311072/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0

[startup+0.145256 s]
/proc/loadavg: 1.91 1.98 1.98 2/179 15949
/proc/meminfo: memFree=27311072/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200171 s]
/proc/loadavg: 1.91 1.98 1.98 2/179 15949
/proc/meminfo: memFree=27311072/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300136 s]
/proc/loadavg: 1.91 1.98 1.98 2/179 15949
/proc/meminfo: memFree=27311072/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700109 s]
/proc/loadavg: 1.91 1.98 1.98 2/179 15949
/proc/meminfo: memFree=27311072/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50021 s]
/proc/loadavg: 1.91 1.98 1.98 3/183 15977
/proc/meminfo: memFree=27304560/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2244 CPUtime=0 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 261 2166 0 0 0 0 0 0 20 0 1 0 283748365 2297856 205 33554432000 4194304 5990268 140737257813856 140737257808096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15950/statm: 561 205 153 439 0 118 0
[pid=15954] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15954/stat : 15954 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283748366 9367552 267 33554432000 4194304 5064252 140737353515456 140737353514368 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15954/statm: 2287 267 226 213 0 72 0
[pid=15955] ppid=15954 vsize=6512 CPUtime=1.47 cores=0,2,4,6
/proc/15955/stat : 15955 (glucose) R 15954 15949 21579 0 -1 4202496 1668 0 0 0 147 0 0 0 20 0 1 0 283748367 6668288 1170 33554432000 4194304 5208918 140737041816000 140737041813944 4229538 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/15955/statm: 1628 1170 102 248 0 1377 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 27052

[startup+3.10032 s]
/proc/loadavg: 1.91 1.98 1.98 3/183 16012
/proc/meminfo: memFree=27306536/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1.94 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 433 7487 0 0 0 0 193 1 20 0 1 0 283748365 2580480 310 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15950/statm: 630 310 175 439 0 187 0
[pid=16004] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16004/stat : 16004 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283748560 9367552 266 33554432000 4194304 5064252 140737081883360 140737081882272 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16004/statm: 2287 266 226 213 0 72 0
[pid=16005] ppid=16004 vsize=7772 CPUtime=1.13 cores=0,2,4,6
/proc/16005/stat : 16005 (glucose) R 16004 15949 21579 0 -1 4202496 2090 0 0 0 113 0 0 0 20 0 1 0 283748560 7958528 1465 33554432000 4194304 5208918 140734322720752 140734322718616 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1943 1465 104 248 0 1692 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 28588

[startup+6.30022 s]
/proc/loadavg: 1.91 1.98 1.98 3/183 16082
/proc/meminfo: memFree=27297820/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=5.92 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 585 13296 0 0 0 0 590 2 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 11668

[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 1.98 3/182 16243
/proc/meminfo: memFree=27300296/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=9.9 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 736 19616 0 0 0 0 986 4 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=16196] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16196/stat : 16196 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283749357 9367552 266 33554432000 4194304 5064252 140734318759424 140734318758336 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16196/statm: 2287 266 226 213 0 72 0
[pid=16197] ppid=16196 vsize=11140 CPUtime=2.76 cores=0,2,4,6
/proc/16197/stat : 16197 (glucose) R 16196 15949 21579 0 -1 4202496 2744 0 0 0 276 0 0 0 20 0 1 0 283749357 11407360 2138 33554432000 4194304 5208918 140735951506112 140735951504056 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16197/statm: 2785 2138 104 248 0 2534 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31956

[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 1.98 2/181 16564
/proc/meminfo: memFree=27305780/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=21.81 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 1189 37411 0 0 1 0 2173 7 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=16488] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16488/stat : 16488 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283750549 9367552 266 33554432000 4194304 5064252 140737096515712 140737096514624 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16488/statm: 2287 266 226 213 0 72 0
[pid=16489] ppid=16488 vsize=11136 CPUtime=3.64 cores=0,2,4,6
/proc/16489/stat : 16489 (glucose) R 16488 15949 21579 0 -1 4202496 2949 0 0 0 364 0 0 0 20 0 1 0 283750549 11403264 2264 33554432000 4194304 5208918 140736195052128 140736195049992 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16489/statm: 2784 2264 104 248 0 2533 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 31952

[startup+51.1003 s]
/proc/loadavg: 1.82 1.95 1.97 3/183 17175
/proc/meminfo: memFree=27302788/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=49.54 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 2246 79590 0 0 1 0 4936 17 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=17153] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17153/stat : 17153 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283753324 9367552 267 33554432000 4194304 5064252 140736390106736 140736390105648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17153/statm: 2287 267 226 213 0 72 0
[pid=17154] ppid=17153 vsize=8804 CPUtime=1.49 cores=0,2,4,6
/proc/17154/stat : 17154 (glucose) R 17153 15949 21579 0 -1 4202496 2303 0 0 0 149 0 0 0 20 0 1 0 283753324 9015296 1736 33554432000 4194304 5208918 140737100514640 140737100512504 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17154/statm: 2201 1736 104 248 0 1950 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 29620

[startup+102.3 s]
/proc/loadavg: 1.92 1.95 1.97 3/183 18421
/proc/meminfo: memFree=27301088/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=101.24 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 4209 158149 0 0 4 0 10085 35 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=18399] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18399/stat : 18399 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283758495 9367552 267 33554432000 4194304 5064252 140734247359536 140734247358448 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18399/statm: 2287 267 226 213 0 72 0
[pid=18400] ppid=18399 vsize=7776 CPUtime=0.98 cores=0,2,4,6
/proc/18400/stat : 18400 (glucose) R 18399 15949 21579 0 -1 4202496 2050 0 0 0 98 0 0 0 20 0 1 0 283758495 7962624 1464 33554432000 4194304 5208918 140733681514352 140733681512216 4229748 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18400/statm: 1944 1464 104 248 0 1693 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 28592

[startup+162.3 s]
/proc/loadavg: 1.85 1.93 1.96 3/183 19856
/proc/meminfo: memFree=27304040/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=161.13 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 6474 246962 0 0 6 1 16049 57 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=19841] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19841/stat : 19841 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283764487 9367552 267 33554432000 4194304 5064252 140734229762304 140734229761216 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19841/statm: 2287 267 226 213 0 72 0
[pid=19842] ppid=19841 vsize=7772 CPUtime=1.07 cores=0,2,4,6
/proc/19842/stat : 19842 (glucose) R 19841 15949 21579 0 -1 4202496 1962 0 0 0 107 0 0 0 20 0 1 0 283764487 7958528 1464 33554432000 4194304 5208918 140734412823680 140734412821544 4229532 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19842/statm: 1943 1464 104 248 0 1692 0
Current children cumulated CPU time (s) 162.2

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


[startup+1362.3 s]
/proc/loadavg: 1.83 1.95 1.94 3/183 16415
/proc/meminfo: memFree=27300464/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1360.96 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 52076 2063407 0 0 53 17 135538 488 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=16407] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16407/stat : 16407 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283884497 9367552 267 33554432000 4194304 5064252 140733623110176 140733623109088 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16407/statm: 2287 267 226 213 0 72 0
[pid=16408] ppid=16407 vsize=7772 CPUtime=0.97 cores=0,2,4,6
/proc/16408/stat : 16408 (glucose) R 16407 15949 21579 0 -1 4202496 1981 0 0 0 97 0 0 0 20 0 1 0 283884497 7958528 1463 33554432000 4194304 5208918 140736066595024 140736066592968 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16408/statm: 1943 1463 104 248 0 1692 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 28588

[startup+1422.3 s]
/proc/loadavg: 1.93 1.96 1.94 3/184 17874
/proc/meminfo: memFree=27295380/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1420.43 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 54341 2155728 0 0 55 17 141461 510 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=17843] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17843/stat : 17843 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283890445 9367552 267 33554432000 4194304 5064252 140733723113024 140733723111936 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17843/statm: 2287 267 226 213 0 72 0
[pid=17844] ppid=17843 vsize=8804 CPUtime=1.49 cores=0,2,4,6
/proc/17844/stat : 17844 (glucose) R 17843 15949 21579 0 -1 4202496 2385 0 0 0 149 0 0 0 20 0 1 0 283890445 9015296 1734 33554432000 4194304 5208918 140735720804784 140735720802648 4229410 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17844/statm: 2201 1735 104 248 0 1950 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 29620

[startup+1482.3 s]
/proc/loadavg: 1.97 1.97 1.94 3/184 18943
/proc/meminfo: memFree=27218648/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1480.02 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 56606 2245686 0 0 57 18 147396 531 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=18935] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18935/stat : 18935 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283896405 9367552 267 33554432000 4194304 5064252 140734226422368 140734226421280 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18935/statm: 2287 267 226 213 0 72 0
[pid=18936] ppid=18935 vsize=8804 CPUtime=1.89 cores=0,2,4,6
/proc/18936/stat : 18936 (glucose) R 18935 15949 21579 0 -1 4202496 2401 0 0 0 189 0 0 0 20 0 1 0 283896405 9015296 1751 33554432000 4194304 5208918 140733378563056 140733378560920 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18936/statm: 2201 1751 104 248 0 1950 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 29620

[startup+1542.31 s]
/proc/loadavg: 1.99 1.97 1.94 3/183 19070
/proc/meminfo: memFree=27181512/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1539.68 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 58871 2336661 0 0 59 19 153336 554 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=19069] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19069/stat : 19069 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283902370 9367552 266 33554432000 4194304 5064252 140735790521632 140735790520544 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19069/statm: 2287 266 226 213 0 72 0
[pid=19070] ppid=19069 vsize=9492 CPUtime=2.24 cores=0,2,4,6
/proc/19070/stat : 19070 (glucose) R 19069 15949 21579 0 -1 4202496 2404 0 0 0 224 0 0 0 20 0 1 0 283902370 9719808 1754 33554432000 4194304 5208918 140736805116272 140736805114136 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19070/statm: 2373 1754 104 248 0 2122 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 30308

[startup+1602.3 s]
/proc/loadavg: 2.04 1.99 1.94 3/183 19203
/proc/meminfo: memFree=27190620/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1599.24 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 61136 2426190 0 0 61 19 159269 575 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=19202] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19202/stat : 19202 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283908334 9367552 267 33554432000 4194304 5064252 140734859089120 140734859088032 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19202/statm: 2287 267 226 213 0 72 0
[pid=19203] ppid=19202 vsize=11136 CPUtime=2.59 cores=0,2,4,6
/proc/19203/stat : 19203 (glucose) R 19202 15949 21579 0 -1 4202496 2818 0 0 0 259 0 0 0 20 0 1 0 283908334 11403264 2138 33554432000 4194304 5208918 140733743644288 140733743642232 4213038 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19203/statm: 2784 2138 104 248 0 2533 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 31952

[startup+1662.3 s]
/proc/loadavg: 2.06 2.00 1.95 3/183 19336
/proc/meminfo: memFree=27190788/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1658.94 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 63401 2516818 0 0 64 20 165215 595 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=19335] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19335/stat : 19335 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283914305 9367552 266 33554432000 4194304 5064252 140737484100400 140737484099312 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19335/statm: 2287 266 226 213 0 72 0
[pid=19336] ppid=19335 vsize=11140 CPUtime=2.88 cores=0,2,4,6
/proc/19336/stat : 19336 (glucose) R 19335 15949 21579 0 -1 4202496 2632 0 0 0 288 0 0 0 20 0 1 0 283914305 11407360 2139 33554432000 4194304 5208918 140736496443568 140736496441432 4229507 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2785 2139 104 248 0 2534 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 31956

[startup+1722.3 s]
/proc/loadavg: 2.15 2.03 1.96 3/183 19469
/proc/meminfo: memFree=27202052/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1718.55 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 65666 2607440 0 0 67 20 171153 615 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=19468] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19468/stat : 19468 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283920282 9367552 267 33554432000 4194304 5064252 140737404269648 140737404268560 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19468/statm: 2287 267 226 213 0 72 0
[pid=19469] ppid=19468 vsize=11136 CPUtime=3.12 cores=0,2,4,6
/proc/19469/stat : 19469 (glucose) R 19468 15949 21579 0 -1 4202496 2930 0 0 0 312 0 0 0 20 0 1 0 283920282 11403264 2265 33554432000 4194304 5208918 140736104270576 140736104268440 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19469/statm: 2784 2265 104 248 0 2533 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 31952

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 1.96 3/183 19602
/proc/meminfo: memFree=27196672/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1778.16 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 67931 2698586 0 0 69 21 177091 635 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=19601] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19601/stat : 19601 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283926244 9367552 266 33554432000 4194304 5064252 140733709914896 140733709913808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19601/statm: 2287 266 226 213 0 72 0
[pid=19602] ppid=19601 vsize=11136 CPUtime=3.49 cores=0,2,4,6
/proc/19602/stat : 19602 (glucose) R 19601 15949 21579 0 -1 4202496 2951 0 0 0 349 0 0 0 20 0 1 0 283926244 11403264 2264 33554432000 4194304 5208918 140734225946816 140734225944680 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19602/statm: 2784 2264 104 248 0 2533 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 31952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.17 2.05 1.97 3/183 19644
/proc/meminfo: memFree=27189764/32873660 swapFree=7120/7120
[pid=15949] ppid=15947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15949/stat : 15949 (npSolver-wbo-It) S 15947 15949 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283748365 9367552 275 33554432000 4194304 5064252 140737072840592 140737072839504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15949/statm: 2287 275 233 213 0 72 0
[pid=15950] ppid=15949 vsize=2520 CPUtime=1798.06 cores=0,2,4,6
/proc/15950/stat : 15950 (npSolver-wbo) S 15949 15949 21579 0 -1 4202496 68686 2729158 0 0 70 21 179073 642 20 0 1 0 283748365 2580480 311 33554432000 4194304 5990268 140737257813856 140737257805264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15950/statm: 630 311 176 439 0 187 0
[pid=19643] ppid=15950 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19643/stat : 19643 (satsolver.sh) S 15950 15949 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283928235 9367552 266 33554432000 4194304 5064252 140733755306784 140733755305696 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19643/statm: 2287 266 226 213 0 72 0
[pid=19644] ppid=19643 vsize=8800 CPUtime=2 cores=0,2,4,6
/proc/19644/stat : 19644 (glucose) R 19643 15949 21579 0 -1 4202496 2401 0 0 0 200 0 0 0 20 0 1 0 283928235 9011200 1750 33554432000 4194304 5208918 140734899288320 140734899286184 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19644/statm: 2200 1750 104 248 0 1949 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 29616

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.1
CPU user time (s): 1793.45
CPU system time (s): 6.64699
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 31960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.45
system time used= 6.64699
maximum resident set size= 9364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2801234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 126952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6003
involuntary context switches= 6603

runsolver used 2.6196 second user time and 7.2259 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-28 05:37:06
IDJOB=3715568
IDBENCH=78667
IDSOLVER=2297
FILE ID=node117/3715568-1338176226
RUNJOBID= node117-1338159294-21595
PBS_JOBID= 14624552
Free space on /tmp= 70040 MiB

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

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

MD5SUM BENCH= 1f875ef306d18e6f86db860a031faa4e
RANDOM SEED=496296313

node117.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.148
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.29
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.148
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.148
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.91
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.148
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.95
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.148
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.148
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.148
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		: 2667.148
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:       32873660 kB
MemFree:        27316372 kB
Buffers:          529880 kB
Cached:          4093848 kB
SwapCached:            0 kB
Active:          2440640 kB
Inactive:        2203092 kB
Active(anon):       7364 kB
Inactive(anon):    11352 kB
Active(file):    2433276 kB
Inactive(file):  2191740 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8580 kB
Writeback:             0 kB
AnonPages:        114560 kB
Mapped:            15060 kB
Shmem:               200 kB
Slab:             774796 kB
SReclaimable:     217540 kB
SUnreclaim:       557256 kB
KernelStack:        1536 kB
PageTables:         3724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     130888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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= 70020 MiB
End job on node117 at 2012-05-28 06:07:07