Trace number 3715718

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.63 1819.42

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
MD5SUMf676428e29d52379a445f7afa72f565b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.131979
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4836
Total number of constraints16649
Number of soft constraints5540
Number of constraints which are clauses16341
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints308
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 277431
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 277430
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 166
Number of bits of the biggest sum of numbers8
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.33	c run usual solver
2.28/2.31	o 2852
2.28/2.31	c starting approximation
2.28/2.31	c factor = 2
2.28/2.31	c factor still to low - shrinking to 48.2901
2.28/2.31	c approx number of clauses: 1e+06
2.28/2.31	c current bound: 1426
6.68/7.08	c current bound: 1426
11.44/11.96	c current bound: 1426
16.55/16.73	c current bound: 1426
21.00/21.55	c current bound: 1426
26.11/26.34	c current bound: 1426
30.55/31.11	c current bound: 1426
35.31/35.93	c current bound: 1426
40.36/40.68	c current bound: 1426
44.86/45.45	c current bound: 1426
49.62/50.23	c current bound: 1426
54.75/55.15	c current bound: 1426
59.18/59.92	c current bound: 1426
64.26/64.87	c current bound: 1426
68.71/69.63	c current bound: 1426
73.52/74.45	c current bound: 1426
78.63/79.21	c current bound: 1426
83.05/84.01	c current bound: 1426
88.21/88.90	c current bound: 1426
92.91/93.69	c current bound: 1426
97.40/98.65	c current bound: 1426
102.54/103.43	c current bound: 1426
107.34/108.20	c current bound: 1426
111.76/113.11	c current bound: 1426
116.79/117.88	c current bound: 1426
121.29/122.72	c current bound: 1426
126.46/127.50	c current bound: 1426
130.87/132.41	c current bound: 1426
135.64/137.21	c current bound: 1426
140.75/142.02	c current bound: 1426
145.19/146.79	c current bound: 1426
149.97/151.56	c current bound: 1426
155.11/156.46	c current bound: 1426
159.52/161.23	c current bound: 1426
164.60/166.06	c current bound: 1426
169.07/170.83	c current bound: 1426
173.85/175.66	c current bound: 1426
178.97/180.43	c current bound: 1426
183.40/185.19	c current bound: 1426
188.17/189.96	c current bound: 1426
193.29/194.91	c current bound: 1426
197.73/199.69	c current bound: 1426
202.85/204.64	c current bound: 1426
207.65/209.40	c current bound: 1426
212.42/214.31	c current bound: 1426
217.20/219.10	c current bound: 1426
221.61/224.06	c current bound: 1426
226.72/228.83	c current bound: 1426
231.57/233.90	c current bound: 1426
236.33/238.81	c current bound: 1426
240.74/243.57	c current bound: 1426
245.52/248.41	c current bound: 1426
250.56/253.19	c current bound: 1426
255.07/257.97	c current bound: 1426
260.19/262.89	c current bound: 1426
264.62/267.66	c current bound: 1426
269.77/272.60	c current bound: 1426
274.30/277.52	c current bound: 1426
279.08/282.33	c current bound: 1426
284.24/287.11	c current bound: 1426
288.63/291.88	c current bound: 1426
293.43/296.82	c current bound: 1426
298.58/301.60	c current bound: 1426
302.97/306.56	c current bound: 1426
308.09/311.36	c current bound: 1426
312.68/316.31	c current bound: 1426
317.48/321.09	c current bound: 1426
322.28/325.89	c current bound: 1426
327.20/330.96	c current bound: 1426
332.30/335.74	c current bound: 1426
336.76/340.57	c current bound: 1426
341.86/345.35	c current bound: 1426
346.31/350.12	c current bound: 1426
351.07/355.02	c current bound: 1426
356.12/359.79	c current bound: 1426
360.60/364.60	c current bound: 1426
365.38/369.38	c current bound: 1426
370.45/374.15	c current bound: 1426
374.91/378.92	c current bound: 1426
380.03/383.83	c current bound: 1426
384.47/388.61	c current bound: 1426
389.23/393.53	c current bound: 1426
394.28/398.29	c current bound: 1426
399.14/403.30	c current bound: 1426
404.07/408.36	c current bound: 1426
408.48/413.14	c current bound: 1426
413.57/417.95	c current bound: 1426
418.03/422.74	c current bound: 1426
422.80/427.51	c current bound: 1426
427.94/432.42	c current bound: 1426
432.33/437.19	c current bound: 1426
437.10/442.02	c current bound: 1426
442.16/446.79	c current bound: 1426
446.64/451.69	c current bound: 1426
451.71/456.45	c current bound: 1426
456.54/461.40	c current bound: 1426
460.95/466.17	c current bound: 1426
466.08/471.09	c current bound: 1426
470.52/475.87	c current bound: 1426
475.57/480.70	c current bound: 1426
480.06/485.45	c current bound: 1426
485.03/490.43	c current bound: 1426
490.17/495.30	c current bound: 1426
494.59/500.09	c current bound: 1426
499.70/504.93	c current bound: 1426
504.15/509.71	c current bound: 1426
509.31/514.50	c current bound: 1426
514.00/519.27	c current bound: 1426
518.48/524.04	c current bound: 1426
523.25/528.82	c current bound: 1426
528.37/533.73	c current bound: 1426
533.19/538.50	c current bound: 1426
537.93/543.44	c current bound: 1426
542.73/548.20	c current bound: 1426
547.52/553.10	c current bound: 1426
552.30/557.90	c current bound: 1426
556.72/562.73	c current bound: 1426
561.84/567.51	c current bound: 1426
566.64/572.42	c current bound: 1426
571.03/577.19	c current bound: 1426
576.14/582.02	c current bound: 1426
580.59/586.82	c current bound: 1426
585.69/591.85	c current bound: 1426
590.13/596.66	c current bound: 1426
594.91/601.43	c current bound: 1426
600.04/606.22	c current bound: 1426
604.47/610.99	c current bound: 1426
609.61/615.90	c current bound: 1426
614.29/620.67	c current bound: 1426
618.77/625.48	c current bound: 1426
624.05/630.40	c current bound: 1426
628.46/635.29	c current bound: 1426
633.67/640.11	c current bound: 1426
638.06/644.94	c current bound: 1426
643.20/649.70	c current bound: 1426
647.89/654.48	c current bound: 1426
652.37/659.25	c current bound: 1426
657.15/664.03	c current bound: 1426
662.26/668.86	c current bound: 1426
666.70/673.63	c current bound: 1426
671.46/678.43	c current bound: 1426
676.64/683.33	c current bound: 1426
681.42/688.10	c current bound: 1426
686.12/692.97	c current bound: 1426
690.60/697.74	c current bound: 1426
695.36/702.51	c current bound: 1426
700.42/707.28	c current bound: 1426
704.90/712.05	c current bound: 1426
709.70/716.96	c current bound: 1426
714.79/721.72	c current bound: 1426
719.23/726.53	c current bound: 1426
724.38/731.30	c current bound: 1426
729.14/736.15	c current bound: 1426
733.58/740.92	c current bound: 1426
738.36/745.70	c current bound: 1426
743.14/750.47	c current bound: 1426
747.92/755.26	c current bound: 1426
753.03/760.07	c current bound: 1426
757.81/764.85	c current bound: 1426
762.27/769.61	c current bound: 1426
767.40/774.44	c current bound: 1426
771.82/779.33	c current bound: 1426
776.62/784.13	c current bound: 1426
781.58/789.15	c current bound: 1426
786.34/793.97	c current bound: 1426
791.44/798.73	c current bound: 1426
795.90/803.52	c current bound: 1426
800.68/808.29	c current bound: 1426
805.75/813.07	c current bound: 1426
810.24/817.96	c current bound: 1426
814.99/822.73	c current bound: 1426
819.77/827.64	c current bound: 1426
824.61/832.48	c current bound: 1426
829.72/837.38	c current bound: 1426
834.16/842.15	c current bound: 1426
839.21/847.08	c current bound: 1426
843.72/851.86	c current bound: 1426
848.50/856.81	c current bound: 1426
853.53/861.58	c current bound: 1426
858.07/866.45	c current bound: 1426
863.19/871.23	c current bound: 1426
867.65/876.18	c current bound: 1426
872.43/880.98	c current bound: 1426
877.50/885.78	c current bound: 1426
882.00/890.57	c current bound: 1426
887.12/895.47	c current bound: 1426
891.53/900.24	c current bound: 1426
896.29/905.07	c current bound: 1426
901.40/909.83	c current bound: 1426
906.21/914.60	c current bound: 1426
911.00/919.44	c current bound: 1426
915.74/924.22	c current bound: 1426
920.55/929.01	c current bound: 1426
924.95/933.78	c current bound: 1426
930.07/938.66	c current bound: 1426
934.52/943.44	c current bound: 1426
939.56/948.39	c current bound: 1426
944.05/953.16	c current bound: 1426
948.80/958.06	c current bound: 1426
953.91/962.83	c current bound: 1426
958.34/967.66	c current bound: 1426
963.44/972.44	c current bound: 1426
967.91/977.25	c current bound: 1426
972.68/982.03	c current bound: 1426
977.78/986.87	c current bound: 1426
982.25/991.64	c current bound: 1426
987.04/996.50	c current bound: 1426
992.11/1001.27	c current bound: 1426
996.58/1006.04	c current bound: 1426
1001.39/1010.85	c current bound: 1426
1006.50/1015.76	c current bound: 1426
1010.94/1020.53	c current bound: 1426
1016.02/1025.35	c current bound: 1426
1020.46/1030.12	c current bound: 1426
1025.63/1034.90	c current bound: 1426
1030.36/1039.83	c current bound: 1426
1035.23/1044.81	c current bound: 1426
1039.91/1049.58	c current bound: 1426
1044.40/1054.42	c current bound: 1426
1049.17/1059.19	c current bound: 1426
1054.30/1064.10	c current bound: 1426
1058.69/1068.87	c current bound: 1426
1063.77/1073.67	c current bound: 1426
1068.23/1078.44	c current bound: 1426
1073.39/1083.35	c current bound: 1426
1078.13/1088.12	c current bound: 1426
1082.56/1092.93	c current bound: 1426
1087.34/1097.71	c current bound: 1426
1092.39/1102.49	c current bound: 1426
1096.88/1107.38	c current bound: 1426
1101.97/1112.18	c current bound: 1426
1106.45/1116.99	c current bound: 1426
1111.22/1121.76	c current bound: 1426
1116.32/1126.68	c current bound: 1426
1120.77/1131.46	c current bound: 1426
1125.82/1136.39	c current bound: 1426
1130.36/1141.21	c current bound: 1426
1135.14/1146.14	c current bound: 1426
1140.25/1150.93	c current bound: 1426
1144.68/1155.87	c current bound: 1426
1149.78/1160.65	c current bound: 1426
1154.24/1165.48	c current bound: 1426
1159.02/1170.27	c current bound: 1426
1164.12/1175.04	c current bound: 1426
1168.58/1179.96	c current bound: 1426
1173.69/1184.73	c current bound: 1426
1178.51/1189.70	c current bound: 1426
1182.90/1194.47	c current bound: 1426
1188.06/1199.40	c current bound: 1426
1192.43/1204.18	c current bound: 1426
1197.60/1209.02	c current bound: 1426
1202.01/1213.79	c current bound: 1426
1206.80/1218.57	c current bound: 1426
1211.89/1223.36	c current bound: 1426
1216.80/1228.20	c current bound: 1426
1221.69/1233.14	c current bound: 1426
1226.13/1238.05	c current bound: 1426
1230.91/1242.83	c current bound: 1426
1235.99/1247.65	c current bound: 1426
1240.46/1252.42	c current bound: 1426
1245.61/1257.20	c current bound: 1426
1250.35/1262.01	c current bound: 1426
1255.15/1266.80	c current bound: 1426
1259.54/1271.57	c current bound: 1426
1264.68/1276.47	c current bound: 1426
1269.09/1281.24	c current bound: 1426
1274.15/1286.07	c current bound: 1426
1278.63/1290.83	c current bound: 1426
1283.41/1295.66	c current bound: 1426
1288.50/1300.43	c current bound: 1426
1292.96/1305.22	c current bound: 1426
1297.73/1309.98	c current bound: 1426
1302.84/1314.91	c current bound: 1426
1307.26/1319.68	c current bound: 1426
1312.38/1324.62	c current bound: 1426
1316.83/1329.42	c current bound: 1426
1321.94/1334.33	c current bound: 1426
1326.37/1339.09	c current bound: 1426
1331.14/1343.92	c current bound: 1426
1336.20/1348.69	c current bound: 1426
1340.68/1353.46	c current bound: 1426
1345.46/1358.24	c current bound: 1426
1350.58/1363.03	c current bound: 1426
1355.41/1367.81	c current bound: 1426
1359.82/1372.58	c current bound: 1426
1364.91/1377.36	c current bound: 1426
1369.36/1382.13	c current bound: 1426
1374.16/1387.06	c current bound: 1426
1379.25/1391.84	c current bound: 1426
1383.70/1396.67	c current bound: 1426
1388.80/1401.46	c current bound: 1426
1393.28/1406.23	c current bound: 1426
1398.04/1411.14	c current bound: 1426
1403.08/1415.89	c current bound: 1426
1407.58/1420.73	c current bound: 1426
1412.72/1425.50	c current bound: 1426
1417.39/1430.28	c current bound: 1426
1421.91/1435.05	c current bound: 1426
1426.67/1439.81	c current bound: 1426
1431.41/1444.73	c current bound: 1426
1436.55/1449.51	c current bound: 1426
1441.32/1454.39	c current bound: 1426
1445.72/1459.16	c current bound: 1426
1450.49/1463.99	c current bound: 1426
1455.55/1468.76	c current bound: 1426
1460.05/1473.63	c current bound: 1426
1465.20/1478.40	c current bound: 1426
1469.60/1483.19	c current bound: 1426
1474.39/1487.96	c current bound: 1426
1479.50/1492.88	c current bound: 1426
1483.95/1497.68	c current bound: 1426
1489.11/1502.50	c current bound: 1426
1493.78/1507.29	c current bound: 1426
1498.30/1512.07	c current bound: 1426
1503.41/1516.97	c current bound: 1426
1507.86/1521.76	c current bound: 1426
1513.00/1526.70	c current bound: 1426
1517.69/1531.48	c current bound: 1426
1522.20/1536.26	c current bound: 1426
1526.96/1541.03	c current bound: 1426
1531.74/1545.95	c current bound: 1426
1536.71/1550.92	c current bound: 1426
1541.80/1555.85	c current bound: 1426
1546.25/1560.63	c current bound: 1426
1551.33/1565.46	c current bound: 1426
1555.80/1570.26	c current bound: 1426
1560.58/1575.18	c current bound: 1426
1565.68/1579.95	c current bound: 1426
1570.14/1584.77	c current bound: 1426
1575.22/1589.54	c current bound: 1426
1579.69/1594.58	c current bound: 1426
1584.83/1599.45	c current bound: 1426
1589.22/1604.23	c current bound: 1426
1594.02/1609.06	c current bound: 1426
1599.11/1613.83	c current bound: 1426
1603.54/1618.76	c current bound: 1426
1608.33/1623.53	c current bound: 1426
1613.09/1628.38	c current bound: 1426
1617.86/1633.15	c current bound: 1426
1622.98/1638.06	c current bound: 1426
1627.42/1642.83	c current bound: 1426
1632.19/1647.78	c current bound: 1426
1637.26/1652.56	c current bound: 1426
1642.11/1657.45	c current bound: 1426
1646.86/1662.23	c current bound: 1426
1651.29/1667.16	c current bound: 1426
1656.04/1671.93	c current bound: 1426
1661.19/1676.95	c current bound: 1426
1665.61/1681.76	c current bound: 1426
1670.70/1686.53	c current bound: 1426
1675.53/1691.30	c current bound: 1426
1680.24/1696.33	c current bound: 1426
1684.68/1701.28	c current bound: 1426
1689.46/1706.06	c current bound: 1426
1694.24/1710.87	c current bound: 1426
1699.02/1715.65	c current bound: 1426
1704.15/1720.50	c current bound: 1426
1708.57/1725.27	c current bound: 1426
1713.40/1730.09	c current bound: 1426
1718.47/1734.87	c current bound: 1426
1722.95/1739.78	c current bound: 1426
1727.72/1744.55	c current bound: 1426
1732.87/1749.40	c current bound: 1426
1737.28/1754.18	c current bound: 1426
1742.35/1758.98	c current bound: 1426
1747.23/1763.90	c current bound: 1426
1751.64/1768.69	c current bound: 1426
1756.76/1773.53	c current bound: 1426
1761.58/1778.31	c current bound: 1426
1766.35/1783.40	c current bound: 1426
1771.12/1789.04	c current bound: 1426
1775.54/1793.82	c current bound: 1426
1780.71/1798.97	c current bound: 1426
1785.48/1803.91	c current bound: 1426
1790.16/1808.69	c current bound: 1426
1795.05/1813.59	c current bound: 1426
1799.76/1818.39	c current bound: 1426
1800.59/1819.41	c error: unexpected solver exit code
1800.59/1819.41	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-3715718-1338206802/watcher-3715718-1338206802 -o /tmp/evaluation-result-3715718-1338206802/solver-3715718-1338206802 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715718-1338206802.wbo 508226818 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13850
/proc/meminfo: memFree=28736504/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0

[startup+0.0743029 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13850
/proc/meminfo: memFree=28736504/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100318 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13850
/proc/meminfo: memFree=28736504/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300226 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13850
/proc/meminfo: memFree=28736504/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700324 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13850
/proc/meminfo: memFree=28736504/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13854
/proc/meminfo: memFree=28671328/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=10716 CPUtime=0.33 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 3467 0 0 0 31 2 0 0 20 0 1 0 286805137 10973184 2022 33554432000 4194304 5990268 140736096410080 140736096403232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13851/statm: 2679 2022 153 439 0 2236 0
[pid=13853] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13853/stat : 13853 (cp2_pre.sh) S 13851 13850 2978 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 286805171 9367552 276 33554432000 4194304 5064252 140736859552880 140736859551584 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13853/statm: 2287 276 234 213 0 72 0
[pid=13854] ppid=13853 vsize=62460 CPUtime=1.15 cores=1,3,5,7
/proc/13854/stat : 13854 (coprocessor) R 13853 13850 2978 0 -1 4202496 12711 0 0 0 113 2 0 0 20 0 1 0 286805171 63959040 14796 33554432000 4194304 6586260 140736113655872 140736113651192 4667130 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13854/statm: 15615 14796 200 584 0 15027 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 91472

[startup+3.10032 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13857
/proc/meminfo: memFree=28709984/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=24888 CPUtime=2.39 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 6923 24511 0 0 41 9 156 33 20 0 1 0 286805137 25485312 5438 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13851/statm: 6222 5438 176 439 0 5779 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 34036
heavy processes:

[startup+6.30043 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13864
/proc/meminfo: memFree=28646640/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=24888 CPUtime=2.39 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 6923 24511 0 0 41 9 156 33 20 0 1 0 286805137 25485312 5438 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13851/statm: 6222 5438 176 439 0 5779 0
[pid=13863] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13863/stat : 13863 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286805379 9367552 267 33554432000 4194304 5064252 140734578175408 140734578174320 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13863/statm: 2287 267 226 213 0 72 0
[pid=13864] ppid=13863 vsize=61428 CPUtime=3.87 cores=1,3,5,7
/proc/13864/stat : 13864 (glucose) R 13863 13850 2978 0 -1 4202496 12654 0 0 0 384 3 0 0 20 0 1 0 286805379 62902272 14258 33554432000 4194304 5208918 140735428809648 140735428807320 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13864/statm: 15357 14258 95 248 0 15106 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 104612

[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 13883
/proc/meminfo: memFree=28705284/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=11.94 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 12151 65537 0 0 60 12 1055 67 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 38132

[startup+25.5005 s]
/proc/loadavg: 2.16 2.06 2.01 3/183 13906
/proc/meminfo: memFree=28645992/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=21.47 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 17377 105659 0 0 78 15 1953 101 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=13898] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13898/stat : 13898 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286807303 9367552 266 33554432000 4194304 5064252 140736677280640 140736677279552 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13898/statm: 2287 266 226 213 0 72 0
[pid=13899] ppid=13898 vsize=61428 CPUtime=3.83 cores=1,3,5,7
/proc/13899/stat : 13899 (glucose) R 13898 13850 2978 0 -1 4202496 12992 0 0 0 381 2 0 0 20 0 1 0 286807303 62902272 14111 33554432000 4194304 5208918 140733286666432 140733286664104 4211641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13899/statm: 15357 14111 95 248 0 15106 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 108708

[startup+51.1004 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 13955
/proc/meminfo: memFree=28646168/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=50.1 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 33055 225105 0 0 133 23 4655 199 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=13954] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13954/stat : 13954 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286810170 9367552 267 33554432000 4194304 5064252 140733926889520 140733926888432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13954/statm: 2287 267 226 213 0 72 0
[pid=13955] ppid=13954 vsize=61264 CPUtime=0.76 cores=1,3,5,7
/proc/13955/stat : 13955 (glucose) R 13954 13850 2978 0 -1 4202496 13307 0 0 0 74 2 0 0 20 0 1 0 286810170 62734336 13844 33554432000 4194304 5208918 140734288110256 140733926888456 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13955/statm: 15316 13844 95 248 0 15065 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 108544

[startup+102.307 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 14046
/proc/meminfo: memFree=28642824/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=97.9 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 59185 430005 0 0 227 35 9165 363 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 31 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=14045] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14045/stat : 14045 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286815012 9367552 266 33554432000 4194304 5064252 140737466146512 140737466145424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14045/statm: 2287 266 226 213 0 72 0
[pid=14046] ppid=14045 vsize=61428 CPUtime=3.55 cores=1,3,5,7
/proc/14046/stat : 14046 (glucose) R 14045 13850 2978 0 -1 4202496 13345 0 0 0 352 3 0 0 20 0 1 0 286815012 62902272 14381 33554432000 4194304 5208918 140736436890576 140736436888520 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14046/statm: 15357 14381 95 248 0 15106 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 108708

[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 14159
/proc/meminfo: memFree=28643736/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=160.01 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 93154 697532 0 0 347 52 15015 587 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 35 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=14158] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14158/stat : 14158 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286821270 9367552 267 33554432000 4194304 5064252 140734924226240 140734924225152 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14158/statm: 2287 267 226 213 0 72 0
[pid=14159] ppid=14158 vsize=61264 CPUtime=0.9 cores=1,3,5,7
/proc/14159/stat : 14159 (glucose) R 14158 13850 2978 0 -1 4202496 12428 0 0 0 87 3 0 0 20 0 1 0 286821270 62734336 14053 33554432000 4194304 5208918 140734237538352 140734236488040 4211656 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/14159/statm: 15316 14053 95 248 0 15065 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 108544

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/184 14274
/proc/meminfo: memFree=28643984/32873844 swapFree=6856/6856

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

/proc/16401/statm: 2287 267 226 213 0 72 0
[pid=16402] ppid=16401 vsize=61432 CPUtime=3.94 cores=1,3,5,7
/proc/16402/stat : 16402 (glucose) R 16401 13850 2978 0 -1 4202496 12646 0 0 0 391 3 0 0 20 0 1 0 286940971 62906368 13747 33554432000 4194304 5208918 140733193881328 140733193879000 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16402/statm: 15358 13747 95 248 0 15107 0
Current children cumulated CPU time (s) 1349.88
Current children cumulated vsize (KiB) 108712

[startup+1422.3 s]
/proc/loadavg: 2.19 2.14 2.06 3/184 16525
/proc/meminfo: memFree=28644544/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=1408.06 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 775147 6018448 0 0 2761 385 132685 4975 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 335 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=16524] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16524/stat : 16524 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286947220 9367552 267 33554432000 4194304 5064252 140736451077504 140736451076416 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16524/statm: 2287 267 226 213 0 72 0
[pid=16525] ppid=16524 vsize=61268 CPUtime=1.46 cores=1,3,5,7
/proc/16525/stat : 16525 (glucose) R 16524 13850 2978 0 -1 4202496 13463 0 0 0 144 2 0 0 20 0 1 0 286947221 62738432 13971 33554432000 4194304 5208918 140733832285072 140733832283016 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16525/statm: 15317 13971 95 248 0 15066 0
Current children cumulated CPU time (s) 1409.52
Current children cumulated vsize (KiB) 108548

[startup+1482.3 s]
/proc/loadavg: 2.10 2.13 2.06 3/183 16630
/proc/meminfo: memFree=28638060/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=1465.29 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 806503 6263247 0 0 2872 400 138079 5178 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 352 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=16629] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16629/stat : 16629 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286952988 9367552 267 33554432000 4194304 5064252 140737245651328 140737245650240 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16629/statm: 2287 267 226 213 0 72 0
[pid=16630] ppid=16629 vsize=61432 CPUtime=3.78 cores=1,3,5,7
/proc/16630/stat : 16630 (glucose) R 16629 13850 2978 0 -1 4202496 13465 0 0 0 375 3 0 0 20 0 1 0 286952988 62906368 14487 33554432000 4194304 5208918 140734319158784 140734319156456 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16630/statm: 15358 14487 95 248 0 15107 0
Current children cumulated CPU time (s) 1469.07
Current children cumulated vsize (KiB) 108712

[startup+1542.31 s]
/proc/loadavg: 2.14 2.13 2.06 3/183 16749
/proc/meminfo: memFree=28645096/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=1527.45 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 840472 6529968 0 0 2993 417 143942 5393 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 386 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=16748] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16748/stat : 16748 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286959265 9367552 267 33554432000 4194304 5064252 140734228855488 140734228854400 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16748/statm: 2287 267 226 213 0 72 0
[pid=16749] ppid=16748 vsize=61264 CPUtime=1.01 cores=1,3,5,7
/proc/16749/stat : 16749 (glucose) R 16748 13850 2978 0 -1 4202496 13596 0 0 0 98 3 0 0 20 0 1 0 286959265 62734336 13607 33554432000 4194304 5208918 140733663537968 140733662487464 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16749/statm: 15316 13607 95 248 0 15065 0
Current children cumulated CPU time (s) 1528.46
Current children cumulated vsize (KiB) 108544

[startup+1602.3 s]
/proc/loadavg: 2.10 2.12 2.06 3/183 16854
/proc/meminfo: memFree=28642056/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=1584.93 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 871828 6779198 0 0 3103 432 149364 5594 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 389 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=16853] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286965093 9367552 267 33554432000 4194304 5064252 140737201615280 140737201614192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16853/statm: 2287 267 226 213 0 72 0
[pid=16854] ppid=16853 vsize=61268 CPUtime=2.73 cores=1,3,5,7
/proc/16854/stat : 16854 (glucose) R 16853 13850 2978 0 -1 4202496 12939 0 0 0 271 2 0 0 20 0 1 0 286965093 62738432 14059 33554432000 4194304 5208918 140733914017536 140733914015480 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16854/statm: 15317 14059 95 248 0 15066 0
Current children cumulated CPU time (s) 1587.66
Current children cumulated vsize (KiB) 108548

[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 2.06 3/182 16969
/proc/meminfo: memFree=28675380/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=1646.95 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) R 13850 13850 2978 0 -1 4202496 905795 7047470 0 0 3222 448 155211 5814 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096402064 5042496 0 0 4096 0 0 0 0 17 3 0 0 412 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
Current children cumulated CPU time (s) 1646.95
Current children cumulated vsize (KiB) 38132

[startup+1722.3 s]
/proc/loadavg: 2.20 2.15 2.08 3/183 17079
/proc/meminfo: memFree=28642600/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=1704.28 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 937153 7295224 0 0 3335 465 160616 6012 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 429 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=17078] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17078/stat : 17078 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286977197 9367552 267 33554432000 4194304 5064252 140735890096608 140735890095520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17078/statm: 2287 267 226 213 0 72 0
[pid=17079] ppid=17078 vsize=61268 CPUtime=1.68 cores=1,3,5,7
/proc/17079/stat : 17079 (glucose) R 17078 13850 2978 0 -1 4202496 13094 0 0 0 166 2 0 0 20 0 1 0 286977197 62738432 13685 33554432000 4194304 5208918 140733278775808 140733278773752 4211726 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17079/statm: 15317 13685 95 248 0 15066 0
Current children cumulated CPU time (s) 1705.96
Current children cumulated vsize (KiB) 108548

[startup+1782.3 s]
/proc/loadavg: 2.07 2.12 2.07 3/183 17219
/proc/meminfo: memFree=27940312/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=1761.69 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 968509 7536995 0 0 3446 480 166028 6215 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 434 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=17218] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17218/stat : 17218 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286982978 9367552 267 33554432000 4194304 5064252 140737071393104 140737071392016 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17218/statm: 2287 267 226 213 0 72 0
[pid=17219] ppid=17218 vsize=61432 CPUtime=3.88 cores=1,3,5,7
/proc/17219/stat : 17219 (glucose) R 17218 13850 2978 0 -1 4202496 13017 0 0 0 386 2 0 0 20 0 1 0 286982978 62906368 14132 33554432000 4194304 5208918 140736315471216 140736315468888 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17219/statm: 15358 14132 95 248 0 15107 0
Current children cumulated CPU time (s) 1765.57
Current children cumulated vsize (KiB) 108712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1819.4 s]
/proc/loadavg: 2.08 2.12 2.07 4/184 17407
/proc/meminfo: memFree=28490472/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=1799.97 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 989413 7702631 0 0 3520 490 169641 6346 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 450 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=17403] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17403/stat : 17403 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286987003 9367552 267 33554432000 4194304 5064252 140735954742688 140735954741600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17403/statm: 2287 267 226 213 0 72 0
[pid=17404] ppid=17403 vsize=61264 CPUtime=0.62 cores=1,3,5,7
/proc/17404/stat : 17404 (glucose) R 17403 13850 2978 0 -1 4202496 12598 0 0 0 59 3 0 0 20 0 1 0 286987003 62734336 13701 33554432000 4194304 5208918 140734996048816 140734996046760 4211553 0 0 4096 0 0 0 0 17 5 0 0 11 0 0
/proc/17404/statm: 15316 13701 95 248 0 15065 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 108544

Sending SIGTERM to process tree (bottom up)

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

[startup+1819.4 s]
/proc/loadavg: 2.08 2.12 2.07 4/184 17407
/proc/meminfo: memFree=28490472/32873844 swapFree=6856/6856
[pid=13850] ppid=13848 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13850/stat : 13850 (npSolver-wbo-It) S 13848 13850 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286805137 9367552 274 33554432000 4194304 5064252 140735500770720 140735500769632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13850/statm: 2287 274 233 213 0 72 0
[pid=13851] ppid=13850 vsize=28984 CPUtime=1799.97 cores=1,3,5,7
/proc/13851/stat : 13851 (npSolver-wbo) S 13850 13850 2978 0 -1 4202496 989413 7702631 0 0 3520 490 169641 6346 20 0 1 0 286805137 29679616 6254 33554432000 4194304 5990268 140736096410080 140736096401488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 450 0 0
/proc/13851/statm: 7246 6254 177 439 0 6803 0
[pid=17403] ppid=13851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17403/stat : 17403 (satsolver.sh) S 13851 13850 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286987003 9367552 267 33554432000 4194304 5064252 140735954742688 140735954741600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17403/statm: 2287 267 226 213 0 72 0
[pid=17404] ppid=17403 vsize=61264 CPUtime=0.62 cores=1,3,5,7
/proc/17404/stat : 17404 (glucose) R 17403 13850 2978 0 -1 4202496 12598 0 0 0 59 3 0 0 20 0 1 0 286987003 62734336 13701 33554432000 4194304 5208918 140734996048816 140734996046760 4211553 0 0 4096 0 0 0 0 17 5 0 0 11 0 0
/proc/17404/statm: 15316 13701 95 248 0 15065 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 108544

Child status: 0
Real time (s): 1819.42
CPU time (s): 1800.63
CPU user time (s): 1732.22
CPU system time (s): 68.4066
CPU usage (%): 98.967
Max. virtual memory (cumulated for all children) (KiB): 109496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.22
system time used= 68.4066
maximum resident set size= 71340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8705617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7265224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 173573
involuntary context switches= 6483

runsolver used 3.16452 second user time and 9.2006 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 14:06:42
IDJOB=3715718
IDBENCH=79069
IDSOLVER=2297
FILE ID=node144/3715718-1338206802
RUNJOBID= node144-1338192253-2995
PBS_JOBID= 14624577
Free space on /tmp= 71452 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3041_4-unsat--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-3715718-1338206802/watcher-3715718-1338206802 -o /tmp/evaluation-result-3715718-1338206802/solver-3715718-1338206802 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715718-1338206802.wbo 508226818 HOME HOME

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

MD5SUM BENCH= f676428e29d52379a445f7afa72f565b
RANDOM SEED=508226818

node144.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.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.90
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.196
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.92
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.196
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.196
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:        28737032 kB
Buffers:          491600 kB
Cached:          2703788 kB
SwapCached:            0 kB
Active:          1107576 kB
Inactive:        2190876 kB
Active(anon):     101208 kB
Inactive(anon):        0 kB
Active(file):    1006368 kB
Inactive(file):  2190876 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             30032 kB
Writeback:             0 kB
AnonPages:        214300 kB
Mapped:            15312 kB
Shmem:               200 kB
Slab:             699592 kB
SReclaimable:     140960 kB
SUnreclaim:       558632 kB
KernelStack:        1520 kB
PageTables:         4308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     220504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 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= 71376 MiB
End job on node144 at 2012-05-28 14:37:02