Trace number 3752866

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.04 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM0b915fd051dbce2f3b4ec1d342cdefca
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.116981
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables220
Total number of constraints42
Number of soft constraints30
Number of constraints which are clauses22
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 constraint11
Top cost 1595
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1594
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
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.01	c run usual solver
0.00/0.07	o 437
0.00/0.07	c starting approximation
0.00/0.07	c factor = 2
0.00/0.07	c current bound: 218
4.37/4.45	c current bound: 218
8.67/8.79	c current bound: 218
12.97/13.10	c current bound: 218
17.66/17.72	c current bound: 218
21.95/22.08	c current bound: 218
26.37/26.42	c current bound: 218
30.66/30.75	c current bound: 218
34.95/35.08	c current bound: 218
39.25/39.40	c current bound: 218
43.65/43.70	c current bound: 218
47.96/48.07	c current bound: 218
52.35/52.45	c current bound: 218
56.74/56.81	c current bound: 218
61.05/61.15	c current bound: 218
65.45/65.53	c current bound: 218
69.75/69.87	c current bound: 218
74.05/74.17	c current bound: 218
78.45/78.56	c current bound: 218
82.84/82.90	c current bound: 218
87.13/87.29	c current bound: 218
91.53/91.68	c current bound: 218
95.93/96.02	c current bound: 218
100.24/100.38	c current bound: 218
104.53/104.65	c current bound: 218
108.93/109.02	c current bound: 218
113.33/113.42	c current bound: 218
117.64/117.79	c current bound: 218
122.03/122.19	c current bound: 218
126.43/126.51	c current bound: 218
130.73/130.88	c current bound: 218
135.14/135.29	c current bound: 218
139.53/139.66	c current bound: 218
143.93/144.01	c current bound: 218
148.23/148.39	c current bound: 218
152.94/153.01	c current bound: 218
157.32/157.41	c current bound: 218
161.62/161.76	c current bound: 218
166.03/166.13	c current bound: 218
170.33/170.48	c current bound: 218
174.72/174.85	c current bound: 218
179.11/179.25	c current bound: 218
183.41/183.59	c current bound: 218
188.02/188.19	c current bound: 218
192.42/192.57	c current bound: 218
196.82/196.92	c current bound: 218
201.22/201.33	c current bound: 218
205.51/205.69	c current bound: 218
209.92/210.08	c current bound: 218
214.20/214.36	c current bound: 218
218.51/218.69	c current bound: 218
223.10/223.29	c current bound: 218
227.50/227.69	c current bound: 218
231.89/232.08	c current bound: 218
236.19/236.38	c current bound: 218
240.58/240.74	c current bound: 218
244.88/245.06	c current bound: 218
249.27/249.43	c current bound: 218
253.57/253.79	c current bound: 218
257.97/258.17	c current bound: 218
262.37/262.54	c current bound: 218
266.67/266.85	c current bound: 218
271.10/271.20	c current bound: 218
275.28/275.47	c current bound: 218
279.67/279.85	c current bound: 218
284.08/284.21	c current bound: 218
288.37/288.55	c current bound: 218
292.67/292.83	c current bound: 218
296.98/297.15	c current bound: 218
301.26/301.48	c current bound: 218
305.57/305.80	c current bound: 218
309.96/310.19	c current bound: 218
314.26/314.41	c current bound: 218
318.65/318.80	c current bound: 218
322.97/323.11	c current bound: 218
327.25/327.48	c current bound: 218
331.66/331.80	c current bound: 218
335.94/336.12	c current bound: 218
340.24/340.45	c current bound: 218
344.65/344.82	c current bound: 218
348.95/349.17	c current bound: 218
353.35/353.53	c current bound: 218
357.65/357.86	c current bound: 218
362.06/362.20	c current bound: 218
366.35/366.58	c current bound: 218
370.75/370.94	c current bound: 218
375.13/375.32	c current bound: 218
379.55/379.71	c current bound: 218
383.85/384.00	c current bound: 218
388.15/388.37	c current bound: 218
392.44/392.70	c current bound: 218
396.94/397.11	c current bound: 218
401.24/401.44	c current bound: 218
405.64/405.85	c current bound: 218
410.04/410.23	c current bound: 218
414.44/414.64	c current bound: 218
418.85/419.04	c current bound: 218
423.13/423.39	c current bound: 218
427.83/428.00	c current bound: 218
432.14/432.32	c current bound: 218
436.55/436.71	c current bound: 218
440.83/441.09	c current bound: 218
445.23/445.48	c current bound: 218
449.49/449.78	c current bound: 218
453.90/454.12	c current bound: 218
458.20/458.45	c current bound: 218
462.60/462.85	c current bound: 218
466.99/467.23	c current bound: 218
471.30/471.56	c current bound: 218
475.70/475.90	c current bound: 218
479.98/480.27	c current bound: 218
484.28/484.57	c current bound: 218
488.70/488.94	c current bound: 218
493.00/493.29	c current bound: 218
497.39/497.67	c current bound: 218
501.69/501.98	c current bound: 218
506.10/506.35	c current bound: 218
510.49/510.71	c current bound: 218
514.79/515.05	c current bound: 218
519.19/519.41	c current bound: 218
523.48/523.74	c current bound: 218
527.78/528.08	c current bound: 218
532.18/532.46	c current bound: 218
536.59/536.84	c current bound: 218
540.99/541.22	c current bound: 218
545.28/545.59	c current bound: 218
549.68/549.99	c current bound: 218
553.98/554.29	c current bound: 218
558.38/558.68	c current bound: 218
562.78/563.01	c current bound: 218
567.08/567.30	c current bound: 218
571.39/571.60	c current bound: 218
575.68/575.94	c current bound: 218
580.09/580.30	c current bound: 218
584.38/584.67	c current bound: 218
588.77/589.02	c current bound: 218
593.07/593.30	c current bound: 218
597.37/597.68	c current bound: 218
601.78/602.09	c current bound: 218
606.17/606.47	c current bound: 218
610.59/610.80	c current bound: 218
614.77/615.07	c current bound: 218
619.08/619.39	c current bound: 218
623.48/623.73	c current bound: 218
627.88/628.12	c current bound: 218
632.18/632.47	c current bound: 218
636.76/637.03	c current bound: 218
641.19/641.40	c current bound: 218
645.38/645.67	c current bound: 218
649.66/649.99	c current bound: 218
654.05/654.37	c current bound: 218
658.47/658.75	c current bound: 218
662.76/663.06	c current bound: 218
667.15/667.42	c current bound: 218
671.46/671.77	c current bound: 218
675.85/676.14	c current bound: 218
680.25/680.53	c current bound: 218
684.45/684.75	c current bound: 218
688.85/689.13	c current bound: 218
693.16/693.48	c current bound: 218
697.55/697.88	c current bound: 218
701.95/702.27	c current bound: 218
706.36/706.64	c current bound: 218
710.66/710.99	c current bound: 218
715.05/715.35	c current bound: 218
719.35/719.67	c current bound: 218
723.64/723.98	c current bound: 218
728.04/728.31	c current bound: 218
732.45/732.70	c current bound: 218
736.83/737.16	c current bound: 218
741.25/741.52	c current bound: 218
745.56/745.84	c current bound: 218
749.86/750.19	c current bound: 218
754.24/754.59	c current bound: 218
758.66/758.91	c current bound: 218
762.94/763.26	c current bound: 218
767.33/767.60	c current bound: 218
771.64/771.98	c current bound: 218
776.03/776.34	c current bound: 218
780.44/780.71	c current bound: 218
784.73/785.04	c current bound: 218
789.04/789.36	c current bound: 218
793.44/793.76	c current bound: 218
797.83/798.15	c current bound: 218
802.23/802.54	c current bound: 218
806.63/806.93	c current bound: 218
811.04/811.32	c current bound: 218
815.32/815.68	c current bound: 218
819.72/820.01	c current bound: 218
823.92/824.26	c current bound: 218
828.30/828.64	c current bound: 218
832.72/833.04	c current bound: 218
837.01/837.35	c current bound: 218
841.31/841.69	c current bound: 218
845.72/846.02	c current bound: 218
850.02/850.36	c current bound: 218
854.42/854.71	c current bound: 218
858.70/859.04	c current bound: 218
863.00/863.37	c current bound: 218
867.30/867.68	c current bound: 218
871.71/872.08	c current bound: 218
876.11/876.42	c current bound: 218
880.41/880.79	c current bound: 218
884.71/885.07	c current bound: 218
889.11/889.48	c current bound: 218
893.50/893.88	c current bound: 218
897.89/898.21	c current bound: 218
902.20/902.55	c current bound: 218
906.59/906.95	c current bound: 218
910.89/911.27	c current bound: 218
915.19/915.57	c current bound: 218
919.58/919.96	c current bound: 218
923.88/924.24	c current bound: 218
928.27/928.65	c current bound: 218
932.69/933.01	c current bound: 218
937.09/937.42	c current bound: 218
941.39/941.76	c current bound: 218
945.79/946.14	c current bound: 218
950.18/950.52	c current bound: 218
954.58/954.91	c current bound: 218
958.98/959.30	c current bound: 218
963.29/963.65	c current bound: 218
967.59/968.00	c current bound: 218
971.99/972.39	c current bound: 218
976.38/976.78	c current bound: 218
980.78/981.16	c current bound: 218
985.18/985.51	c current bound: 218
989.47/989.84	c current bound: 218
993.77/994.14	c current bound: 218
998.07/998.48	c current bound: 218
1002.47/1002.80	c current bound: 218
1006.77/1007.17	c current bound: 218
1011.16/1011.55	c current bound: 218
1015.46/1015.83	c current bound: 218
1019.77/1020.14	c current bound: 218
1024.16/1024.50	c current bound: 218
1028.56/1028.90	c current bound: 218
1032.85/1033.26	c current bound: 218
1037.26/1037.64	c current bound: 218
1041.56/1041.97	c current bound: 218
1045.86/1046.28	c current bound: 218
1050.25/1050.68	c current bound: 218
1054.67/1055.00	c current bound: 218
1058.96/1059.36	c current bound: 218
1063.35/1063.74	c current bound: 218
1067.65/1068.05	c current bound: 218
1072.06/1072.41	c current bound: 218
1076.35/1076.79	c current bound: 218
1080.74/1081.13	c current bound: 218
1085.04/1085.48	c current bound: 218
1089.44/1089.84	c current bound: 218
1093.84/1094.21	c current bound: 218
1098.14/1098.53	c current bound: 218
1102.43/1102.86	c current bound: 218
1106.84/1107.24	c current bound: 218
1111.24/1111.62	c current bound: 218
1115.43/1115.89	c current bound: 218
1119.83/1120.26	c current bound: 218
1124.24/1124.62	c current bound: 218
1128.64/1129.02	c current bound: 218
1133.04/1133.41	c current bound: 218
1137.33/1137.78	c current bound: 218
1141.73/1142.14	c current bound: 218
1146.03/1146.45	c current bound: 218
1150.43/1150.81	c current bound: 218
1154.74/1155.11	c current bound: 218
1159.03/1159.43	c current bound: 218
1163.43/1163.81	c current bound: 218
1167.73/1168.18	c current bound: 218
1172.13/1172.54	c current bound: 218
1176.43/1176.86	c current bound: 218
1180.82/1181.25	c current bound: 218
1185.11/1185.60	c current bound: 218
1189.53/1189.96	c current bound: 218
1193.83/1194.28	c current bound: 218
1198.22/1198.68	c current bound: 218
1202.61/1203.04	c current bound: 218
1206.93/1207.35	c current bound: 218
1211.22/1211.67	c current bound: 218
1215.62/1216.04	c current bound: 218
1220.03/1220.40	c current bound: 218
1224.31/1224.79	c current bound: 218
1228.72/1229.15	c current bound: 218
1233.02/1233.42	c current bound: 218
1237.33/1237.78	c current bound: 218
1241.72/1242.15	c current bound: 218
1246.11/1246.52	c current bound: 218
1250.41/1250.88	c current bound: 218
1254.82/1255.25	c current bound: 218
1259.12/1259.59	c current bound: 218
1263.51/1263.95	c current bound: 218
1267.82/1268.26	c current bound: 218
1272.22/1272.66	c current bound: 218
1276.61/1277.06	c current bound: 218
1280.91/1281.40	c current bound: 218
1285.52/1285.98	c current bound: 218
1289.92/1290.34	c current bound: 218
1294.31/1294.71	c current bound: 218
1298.61/1299.08	c current bound: 218
1303.00/1303.45	c current bound: 218
1307.42/1307.87	c current bound: 218
1311.67/1312.17	c current bound: 218
1315.96/1316.48	c current bound: 218
1320.38/1320.80	c current bound: 218
1324.66/1325.17	c current bound: 218
1329.07/1329.54	c current bound: 218
1333.45/1333.94	c current bound: 218
1337.86/1338.32	c current bound: 218
1342.15/1342.65	c current bound: 218
1346.56/1347.02	c current bound: 218
1350.84/1351.36	c current bound: 218
1355.16/1355.62	c current bound: 218
1359.45/1359.96	c current bound: 218
1363.86/1364.37	c current bound: 218
1368.25/1368.74	c current bound: 218
1372.55/1373.08	c current bound: 218
1376.96/1377.43	c current bound: 218
1381.35/1381.80	c current bound: 218
1385.75/1386.20	c current bound: 218
1390.05/1390.58	c current bound: 218
1394.37/1394.81	c current bound: 218
1398.76/1399.21	c current bound: 218
1403.06/1403.56	c current bound: 218
1407.46/1407.90	c current bound: 218
1411.75/1412.25	c current bound: 218
1416.15/1416.62	c current bound: 218
1420.44/1420.96	c current bound: 218
1424.74/1425.27	c current bound: 218
1429.14/1429.66	c current bound: 218
1433.54/1434.06	c current bound: 218
1437.94/1438.46	c current bound: 218
1442.33/1442.83	c current bound: 218
1446.64/1447.15	c current bound: 218
1450.94/1451.50	c current bound: 218
1455.33/1455.87	c current bound: 218
1459.72/1460.25	c current bound: 218
1464.02/1464.58	c current bound: 218
1468.43/1468.93	c current bound: 218
1472.83/1473.31	c current bound: 218
1477.13/1477.64	c current bound: 218
1481.52/1482.00	c current bound: 218
1485.83/1486.30	c current bound: 218
1490.14/1490.69	c current bound: 218
1494.53/1495.03	c current bound: 218
1498.93/1499.40	c current bound: 218
1503.22/1503.73	c current bound: 218
1507.53/1508.07	c current bound: 218
1511.93/1512.47	c current bound: 218
1516.33/1516.86	c current bound: 218
1520.72/1521.22	c current bound: 218
1525.01/1525.54	c current bound: 218
1529.42/1529.96	c current bound: 218
1533.82/1534.33	c current bound: 218
1538.21/1538.72	c current bound: 218
1542.51/1543.07	c current bound: 218
1546.92/1547.45	c current bound: 218
1551.22/1551.79	c current bound: 218
1555.60/1556.16	c current bound: 218
1560.00/1560.50	c current bound: 218
1564.20/1564.79	c current bound: 218
1568.60/1569.16	c current bound: 218
1572.89/1573.49	c current bound: 218
1577.31/1577.87	c current bound: 218
1581.70/1582.23	c current bound: 218
1586.09/1586.60	c current bound: 218
1590.38/1590.98	c current bound: 218
1594.80/1595.33	c current bound: 218
1599.10/1599.68	c current bound: 218
1603.49/1604.01	c current bound: 218
1607.78/1608.35	c current bound: 218
1612.10/1612.69	c current bound: 218
1616.51/1617.06	c current bound: 218
1620.91/1621.42	c current bound: 218
1625.19/1625.78	c current bound: 218
1629.60/1630.15	c current bound: 218
1633.89/1634.47	c current bound: 218
1638.28/1638.88	c current bound: 218
1642.67/1643.27	c current bound: 218
1647.08/1647.65	c current bound: 218
1651.36/1651.95	c current bound: 218
1655.65/1656.25	c current bound: 218
1660.05/1660.62	c current bound: 218
1664.25/1664.86	c current bound: 218
1668.65/1669.27	c current bound: 218
1673.04/1673.64	c current bound: 218
1677.46/1678.01	c current bound: 218
1681.75/1682.37	c current bound: 218
1686.15/1686.73	c current bound: 218
1690.45/1691.09	c current bound: 218
1694.85/1695.43	c current bound: 218
1699.14/1699.74	c current bound: 218
1703.44/1704.02	c current bound: 218
1707.84/1708.42	c current bound: 218
1712.15/1712.75	c current bound: 218
1716.44/1717.10	c current bound: 218
1720.85/1721.47	c current bound: 218
1725.24/1725.85	c current bound: 218
1729.64/1730.23	c current bound: 218
1733.93/1734.59	c current bound: 218
1738.53/1739.16	c current bound: 218
1742.83/1743.49	c current bound: 218
1747.23/1747.81	c current bound: 218
1751.53/1752.17	c current bound: 218
1755.93/1756.53	c current bound: 218
1760.32/1760.90	c current bound: 218
1764.72/1765.32	c current bound: 218
1769.02/1769.66	c current bound: 218
1773.41/1774.04	c current bound: 218
1777.81/1778.40	c current bound: 218
1782.11/1782.74	c current bound: 218
1786.50/1787.10	c current bound: 218
1790.80/1791.48	c current bound: 218
1795.20/1795.86	c current bound: 218
1799.49/1800.17	c current bound: 218
1800.01/1800.61	./satsolver.sh: line 5:  9721 Terminated              ./glucose $1 > $2 2> /dev/null
1800.01/1800.61	c error: unexpected solver exit code
1800.01/1800.61	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-3752866-1339191265/watcher-3752866-1339191265 -o /tmp/evaluation-result-3752866-1339191265/solver-3752866-1339191265 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752866-1339191265.wbo 380729514 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.92 1.86 1.86 3/179 5847
/proc/meminfo: memFree=30979672/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0

[startup+0.0205051 s]
/proc/loadavg: 1.92 1.86 1.86 3/179 5847
/proc/meminfo: memFree=30979672/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100277 s]
/proc/loadavg: 1.92 1.86 1.86 3/179 5847
/proc/meminfo: memFree=30979672/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300224 s]
/proc/loadavg: 1.92 1.86 1.86 3/179 5847
/proc/meminfo: memFree=30979672/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700224 s]
/proc/loadavg: 1.92 1.86 1.86 3/179 5847
/proc/meminfo: memFree=30979672/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 1.92 1.86 1.86 3/183 5868
/proc/meminfo: memFree=30974980/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=0.05 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 1945 5236 0 0 0 0 4 1 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=5860] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5860/stat : 5860 (satsolver.sh) S 5848 5847 643 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385251081 9367552 267 33554432000 4194304 5064252 140735145562832 140735145561744 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5860/statm: 2287 267 226 213 0 72 0
[pid=5861] ppid=5860 vsize=9764 CPUtime=1.41 cores=0,2,4,6
/proc/5861/stat : 5861 (glucose) R 5860 5847 643 0 -1 4202496 2618 0 0 0 141 0 0 0 20 0 1 0 385251081 9998336 1869 33554432000 4194304 5208918 140736626969632 140736626967576 4229479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5861/statm: 2441 1869 96 248 0 2190 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30812

[startup+3.10034 s]
/proc/loadavg: 1.92 1.86 1.86 3/183 5875
/proc/meminfo: memFree=30970204/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=0.05 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 1945 5236 0 0 0 0 4 1 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=5860] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5860/stat : 5860 (satsolver.sh) S 5848 5847 643 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385251081 9367552 267 33554432000 4194304 5064252 140735145562832 140735145561744 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5860/statm: 2287 267 226 213 0 72 0
[pid=5861] ppid=5860 vsize=12704 CPUtime=3.01 cores=0,2,4,6
/proc/5861/stat : 5861 (glucose) R 5860 5847 643 0 -1 4202496 3231 0 0 0 301 0 0 0 20 0 1 0 385251081 13008896 2462 33554432000 4194304 5208918 140736626969632 140736626967576 4229476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5861/statm: 3176 2462 96 248 0 2925 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 33752

[startup+6.30034 s]
/proc/loadavg: 1.92 1.86 1.86 3/183 5903
/proc/meminfo: memFree=30970444/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=4.44 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 2111 12230 0 0 1 0 440 3 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=5895] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5895/stat : 5895 (satsolver.sh) S 5848 5847 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385251519 9367552 266 33554432000 4194304 5064252 140736454597536 140736454596448 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5895/statm: 2287 266 226 213 0 72 0
[pid=5896] ppid=5895 vsize=9764 CPUtime=1.83 cores=0,2,4,6
/proc/5896/stat : 5896 (glucose) R 5895 5847 643 0 -1 4202496 2181 0 0 0 183 0 0 0 20 0 1 0 385251519 9998336 1979 33554432000 4194304 5208918 140734494928096 140734494926040 4229456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5896/statm: 2441 1979 96 248 0 2190 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 30812

[startup+12.7003 s]
/proc/loadavg: 1.93 1.86 1.86 3/183 5959
/proc/meminfo: memFree=30969392/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=8.78 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 2277 18696 0 0 1 0 872 5 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=5937] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5937/stat : 5937 (satsolver.sh) S 5848 5847 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385251953 9367552 266 33554432000 4194304 5064252 140736075657872 140736075656784 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5937/statm: 2287 266 226 213 0 72 0
[pid=5938] ppid=5937 vsize=15388 CPUtime=3.89 cores=0,2,4,6
/proc/5938/stat : 5938 (glucose) R 5937 5847 643 0 -1 4202496 2982 0 0 0 389 0 0 0 20 0 1 0 385251953 15757312 3263 33554432000 4194304 5208918 140733378989712 140733378987576 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5938/statm: 3847 3263 96 248 0 3596 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 36436

[startup+25.5004 s]
/proc/loadavg: 1.94 1.87 1.87 3/183 6078
/proc/meminfo: memFree=30969728/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=22.05 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 2775 38981 0 0 2 0 2193 10 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=6056] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6056/stat : 6056 (satsolver.sh) S 5848 5847 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385253282 9367552 267 33554432000 4194304 5064252 140733931976832 140733931975744 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6056/statm: 2287 267 226 213 0 72 0
[pid=6057] ppid=6056 vsize=15392 CPUtime=3.4 cores=0,2,4,6
/proc/6057/stat : 6057 (glucose) R 6056 5847 643 0 -1 4202496 2954 0 0 0 340 0 0 0 20 0 1 0 385253282 15761408 3232 33554432000 4194304 5208918 140735018185888 140735018183832 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 3848 3232 96 248 0 3597 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 36440

[startup+51.1003 s]
/proc/loadavg: 1.97 1.88 1.87 3/183 6264
/proc/meminfo: memFree=30930344/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=48.04 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 3771 78291 0 0 3 1 4780 20 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=6263] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6263/stat : 6263 (satsolver.sh) S 5848 5847 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385255881 9367552 266 33554432000 4194304 5064252 140734856584592 140734856583504 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6263/statm: 2287 266 226 213 0 72 0
[pid=6264] ppid=6263 vsize=12704 CPUtime=3.01 cores=0,2,4,6
/proc/6264/stat : 6264 (glucose) R 6263 5847 643 0 -1 4202496 2686 0 0 0 301 0 0 0 20 0 1 0 385255882 13008896 2465 33554432000 4194304 5208918 140735518399456 140735518397400 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6264/statm: 3176 2465 96 248 0 2925 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 33752

[startup+102.307 s]
/proc/loadavg: 1.99 1.89 1.87 3/183 6362
/proc/meminfo: memFree=30925176/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=100.33 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 5763 160348 0 0 6 1 9982 44 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=6361] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6361/stat : 6361 (satsolver.sh) S 5848 5847 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385261111 9367552 266 33554432000 4194304 5064252 140735626060688 140735626059600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6361/statm: 2287 266 226 213 0 72 0
[pid=6362] ppid=6361 vsize=9768 CPUtime=1.91 cores=0,2,4,6
/proc/6362/stat : 6362 (glucose) R 6361 5847 643 0 -1 4202496 2164 0 0 0 191 0 0 0 20 0 1 0 385261112 10002432 1984 33554432000 4194304 5208918 140734334306800 140734334304744 4229449 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6362/statm: 2442 1984 96 248 0 2191 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 30816

[startup+162.3 s]
/proc/loadavg: 1.98 1.90 1.87 3/183 6474
/proc/meminfo: memFree=30925408/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=161.71 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 8087 254823 0 0 10 2 16090 69 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
Current children cumulated CPU time (s) 161.71

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

/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1298.69 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 51413 2031452 0 0 75 19 129201 574 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=8720] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8720/stat : 8720 (satsolver.sh) S 5848 5847 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385380982 9367552 267 33554432000 4194304 5064252 140734622090848 140734622089760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8720/statm: 2287 267 226 213 0 72 0
[pid=8721] ppid=8720 vsize=12704 CPUtime=3.21 cores=0,2,4,6
/proc/8721/stat : 8721 (glucose) R 8720 5847 643 0 -1 4202496 3148 0 0 0 321 0 0 0 20 0 1 0 385380982 13008896 2544 33554432000 4194304 5208918 140734382927200 140734382925144 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8721/statm: 3176 2544 96 248 0 2925 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 33752

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/183 8840
/proc/meminfo: memFree=30932004/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1359.54 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 53737 2125657 0 0 79 20 135253 602 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=8839] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8839/stat : 8839 (satsolver.sh) S 5848 5847 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385387070 9367552 266 33554432000 4194304 5064252 140736790666464 140736790665376 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8839/statm: 2287 266 226 213 0 72 0
[pid=8840] ppid=8839 vsize=11436 CPUtime=2.32 cores=0,2,4,6
/proc/8840/stat : 8840 (glucose) R 8839 5847 643 0 -1 4202496 3116 0 0 0 232 0 0 0 20 0 1 0 385387070 11710464 2391 33554432000 4194304 5208918 140734904865504 140734904863368 4229456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8840/statm: 2859 2391 96 248 0 2608 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 32484

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 8959
/proc/meminfo: memFree=30934336/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1420.53 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 56061 2222885 0 0 82 21 141322 628 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=8951] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8951/stat : 8951 (satsolver.sh) S 5848 5847 643 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385393170 9367552 267 33554432000 4194304 5064252 140735594636560 140735594635472 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8951/statm: 2287 267 226 213 0 72 0
[pid=8952] ppid=8951 vsize=9764 CPUtime=1.32 cores=0,2,4,6
/proc/8952/stat : 8952 (glucose) R 8951 5847 643 0 -1 4202496 2170 0 0 0 132 0 0 0 20 0 1 0 385393171 9998336 1967 33554432000 4194304 5208918 140735669701568 140735669699512 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8952/statm: 2441 1967 96 248 0 2190 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 30812

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9064
/proc/meminfo: memFree=30889228/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1481.55 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 58385 2317734 0 0 85 23 147393 654 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
Current children cumulated CPU time (s) 1481.55
Current children cumulated vsize (KiB) 11900

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 9186
/proc/meminfo: memFree=30891632/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1538.25 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 60543 2407744 0 0 88 24 153033 680 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=9185] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9185/stat : 9185 (satsolver.sh) S 5848 5847 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385404946 9367552 267 33554432000 4194304 5064252 140735797835760 140735797834672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9185/statm: 2287 267 226 213 0 72 0
[pid=9186] ppid=9185 vsize=15392 CPUtime=3.56 cores=0,2,4,6
/proc/9186/stat : 9186 (glucose) R 9185 5847 643 0 -1 4202496 3499 0 0 0 356 0 0 0 20 0 1 0 385404946 15761408 3237 33554432000 4194304 5208918 140733295351552 140733295349496 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9186/statm: 3848 3237 96 248 0 3597 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 36440

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 9329
/proc/meminfo: memFree=30919052/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1599.19 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 62867 2502783 0 0 92 24 159094 709 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=9328] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9328/stat : 9328 (satsolver.sh) S 5848 5847 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385411042 9367552 267 33554432000 4194304 5064252 140735979834928 140735979833840 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9328/statm: 2287 267 226 213 0 72 0
[pid=9329] ppid=9328 vsize=11436 CPUtime=2.6 cores=0,2,4,6
/proc/9329/stat : 9329 (glucose) R 9328 5847 643 0 -1 4202496 3115 0 0 0 260 0 0 0 20 0 1 0 385411042 11710464 2391 33554432000 4194304 5208918 140733438478848 140733438476712 4212818 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9329/statm: 2859 2391 96 248 0 2608 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 32484

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9448
/proc/meminfo: memFree=30921328/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1660.09 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 65191 2595703 0 0 96 25 165152 736 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=9447] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9447/stat : 9447 (satsolver.sh) S 5848 5847 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385417136 9367552 267 33554432000 4194304 5064252 140735318125232 140735318124144 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9447/statm: 2287 267 226 213 0 72 0
[pid=9448] ppid=9447 vsize=9764 CPUtime=1.67 cores=0,2,4,6
/proc/9448/stat : 9448 (glucose) R 9447 5847 643 0 -1 4202496 2093 0 0 0 167 0 0 0 20 0 1 0 385417136 9998336 1978 33554432000 4194304 5208918 140737456138752 140737456136696 4229330 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9448/statm: 2441 1978 96 248 0 2190 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 30812

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/183 9560
/proc/meminfo: memFree=30923044/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1720.92 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 67515 2691400 0 0 99 26 171205 762 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
Current children cumulated CPU time (s) 1720.92
Current children cumulated vsize (KiB) 11900

[startup+1782.3 s]
/proc/loadavg: 2.20 2.06 1.97 3/183 9679
/proc/meminfo: memFree=30912192/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1777.83 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 69673 2781211 0 0 103 26 176868 786 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=9678] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9678/stat : 9678 (satsolver.sh) S 5848 5847 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385428914 9367552 267 33554432000 4194304 5064252 140733508139520 140733508138432 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9678/statm: 2287 267 226 213 0 72 0
[pid=9679] ppid=9678 vsize=15388 CPUtime=3.88 cores=0,2,4,6
/proc/9679/stat : 9679 (glucose) R 9678 5847 643 0 -1 4202496 3502 0 0 0 388 0 0 0 20 0 1 0 385428914 15757312 3237 33554432000 4194304 5208918 140734386323408 140734386321272 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 3847 3237 96 248 0 3596 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 36436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.05 1.97 3/183 9721
/proc/meminfo: memFree=30924864/32873844 swapFree=9160/9160
[pid=5847] ppid=5845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (npSolver-wbo-It) S 5845 5847 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385251073 9367552 275 33554432000 4194304 5064252 140735093688704 140735093687616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5847/statm: 2287 275 233 213 0 72 0
[pid=5848] ppid=5847 vsize=2752 CPUtime=1799.59 cores=0,2,4,6
/proc/5848/stat : 5848 (npSolver-wbo) S 5847 5847 643 0 -1 4202496 70503 2814833 0 0 104 27 179032 796 20 0 1 0 385251073 2818048 327 33554432000 4194304 6006132 140733483135072 140733483126432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5848/statm: 688 327 176 443 0 241 0
[pid=9720] ppid=5848 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9720/stat : 9720 (satsolver.sh) S 5848 5847 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385431091 9367552 266 33554432000 4194304 5064252 140736281926816 140736281925728 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9720/statm: 2287 266 226 213 0 72 0
[pid=9721] ppid=9720 vsize=5416 CPUtime=0.42 cores=0,2,4,6
/proc/9721/stat : 9721 (glucose) R 9720 5847 643 0 -1 4202496 1528 0 0 0 42 0 0 0 20 0 1 0 385431091 5545984 836 33554432000 4194304 5208918 140737201063584 140736281925752 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9721/statm: 1354 836 96 248 0 1103 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 26464

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.61
CPU time (s): 1800.04
CPU user time (s): 1791.8
CPU system time (s): 8.24375
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 36440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.8
system time used= 8.24375
maximum resident set size= 29236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2887855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 162312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6354
involuntary context switches= 6040

runsolver used 3.68944 second user time and 8.47271 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-08 23:34:25
IDJOB=3752866
IDBENCH=78690
IDSOLVER=2336
FILE ID=node139/3752866-1339191265
RUNJOBID= node139-1339184073-2004
PBS_JOBID= 14643822
Free space on /tmp= 70708 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752866-1339191265/watcher-3752866-1339191265 -o /tmp/evaluation-result-3752866-1339191265/solver-3752866-1339191265 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752866-1339191265.wbo 380729514 HOME HOME

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

MD5SUM BENCH= 0b915fd051dbce2f3b4ec1d342cdefca
RANDOM SEED=380729514

node139.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.750
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	: 5333.50
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.750
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.750
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.90
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.750
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.750
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.92
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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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.750
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:        30980184 kB
Buffers:          670432 kB
Cached:           260732 kB
SwapCached:          584 kB
Active:           915832 kB
Inactive:          45736 kB
Active(anon):      22976 kB
Inactive(anon):     8008 kB
Active(file):     892856 kB
Inactive(file):    37728 kB
Unevictable:        9160 kB
Mlocked:            9160 kB
SwapTotal:      67108856 kB
SwapFree:       67104292 kB
Dirty:              9884 kB
Writeback:             0 kB
AnonPages:         41184 kB
Mapped:            11424 kB
Shmem:                 8 kB
Slab:             789744 kB
SReclaimable:     230012 kB
SUnreclaim:       559732 kB
KernelStack:        1560 kB
PageTables:         4036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 70696 MiB
End job on node139 at 2012-06-09 00:04:26