Trace number 3715587

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.1 1801.11

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM757312960b1468f2853dd7cd5a4d6fc6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark2.95155
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints127
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 6095
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6094
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.30	c run usual solver
3.47/3.54	o 4075
3.47/3.54	c starting approximation
3.47/3.54	c factor = 2
3.47/3.54	c factor still to low - shrinking to 3.10515
3.47/3.54	c approx number of clauses: 1e+06
3.47/3.54	c current bound: 2037
8.58/8.60	c current bound: 2037
13.33/13.64	c current bound: 2037
18.67/18.73	c current bound: 2037
23.47/23.78	c current bound: 2037
28.76/28.83	c current bound: 2037
33.54/33.85	c current bound: 2037
38.63/38.94	c current bound: 2037
43.67/43.99	c current bound: 2037
48.74/49.05	c current bound: 2037
54.07/54.12	c current bound: 2037
59.17/59.20	c current bound: 2037
63.94/64.26	c current bound: 2037
69.27/69.33	c current bound: 2037
74.07/74.38	c current bound: 2037
79.36/79.45	c current bound: 2037
84.47/84.50	c current bound: 2037
89.25/89.56	c current bound: 2037
94.56/94.65	c current bound: 2037
99.42/99.73	c current bound: 2037
104.47/104.79	c current bound: 2037
109.57/109.88	c current bound: 2037
114.69/114.99	c current bound: 2037
119.97/120.04	c current bound: 2037
125.08/125.11	c current bound: 2037
130.18/130.21	c current bound: 2037
134.98/135.30	c current bound: 2037
140.04/140.35	c current bound: 2037
145.37/145.43	c current bound: 2037
150.15/150.48	c current bound: 2037
155.26/155.57	c current bound: 2037
160.56/160.64	c current bound: 2037
165.66/165.70	c current bound: 2037
170.74/170.81	c current bound: 2037
175.55/175.89	c current bound: 2037
180.64/180.99	c current bound: 2037
185.93/186.06	c current bound: 2037
190.77/191.13	c current bound: 2037
195.86/196.22	c current bound: 2037
200.93/201.28	c current bound: 2037
205.98/206.33	c current bound: 2037
211.22/211.36	c current bound: 2037
216.32/216.40	c current bound: 2037
221.05/221.43	c current bound: 2037
226.43/226.51	c current bound: 2037
231.20/231.59	c current bound: 2037
236.42/236.60	c current bound: 2037
241.24/241.61	c current bound: 2037
246.50/246.65	c current bound: 2037
251.34/251.71	c current bound: 2037
256.70/256.80	c current bound: 2037
261.68/261.87	c current bound: 2037
266.55/266.93	c current bound: 2037
271.61/271.99	c current bound: 2037
276.69/277.08	c current bound: 2037
281.69/282.08	c current bound: 2037
286.97/287.12	c current bound: 2037
291.74/292.15	c current bound: 2037
297.08/297.20	c current bound: 2037
301.85/302.26	c current bound: 2037
306.92/307.32	c current bound: 2037
311.93/312.34	c current bound: 2037
317.03/317.43	c current bound: 2037
322.37/322.50	c current bound: 2037
327.17/327.58	c current bound: 2037
332.24/332.65	c current bound: 2037
337.58/337.70	c current bound: 2037
342.36/342.76	c current bound: 2037
347.65/347.87	c current bound: 2037
352.45/352.88	c current bound: 2037
357.51/357.94	c current bound: 2037
362.51/362.93	c current bound: 2037
367.85/368.00	c current bound: 2037
372.84/373.09	c current bound: 2037
377.73/378.17	c current bound: 2037
382.82/383.27	c current bound: 2037
388.12/388.33	c current bound: 2037
392.88/393.33	c current bound: 2037
398.24/398.40	c current bound: 2037
403.04/403.48	c current bound: 2037
408.09/408.54	c current bound: 2037
413.12/413.57	c current bound: 2037
418.21/418.66	c current bound: 2037
423.49/423.73	c current bound: 2037
428.33/428.78	c current bound: 2037
433.36/433.83	c current bound: 2037
438.43/438.89	c current bound: 2037
443.48/443.95	c current bound: 2037
448.79/449.05	c current bound: 2037
453.65/454.12	c current bound: 2037
459.01/459.20	c current bound: 2037
464.01/464.29	c current bound: 2037
468.90/469.38	c current bound: 2037
474.08/474.38	c current bound: 2037
478.96/479.47	c current bound: 2037
484.04/484.53	c current bound: 2037
489.39/489.62	c current bound: 2037
494.17/494.65	c current bound: 2037
499.25/499.75	c current bound: 2037
504.32/504.82	c current bound: 2037
509.34/509.84	c current bound: 2037
514.68/514.94	c current bound: 2037
519.49/519.98	c current bound: 2037
524.56/525.06	c current bound: 2037
529.63/530.13	c current bound: 2037
534.73/535.23	c current bound: 2037
539.98/540.29	c current bound: 2037
544.86/545.36	c current bound: 2037
549.95/550.44	c current bound: 2037
555.27/555.53	c current bound: 2037
560.11/560.61	c current bound: 2037
565.37/565.65	c current bound: 2037
570.22/570.73	c current bound: 2037
575.29/575.81	c current bound: 2037
580.66/580.93	c current bound: 2037
585.46/585.98	c current bound: 2037
590.49/591.01	c current bound: 2037
595.54/596.07	c current bound: 2037
600.57/601.11	c current bound: 2037
605.84/606.16	c current bound: 2037
610.70/611.23	c current bound: 2037
615.79/616.32	c current bound: 2037
621.14/621.41	c current bound: 2037
625.92/626.48	c current bound: 2037
631.22/631.55	c current bound: 2037
636.08/636.65	c current bound: 2037
641.11/641.68	c current bound: 2037
646.18/646.75	c current bound: 2037
651.21/651.79	c current bound: 2037
656.52/656.83	c current bound: 2037
661.33/661.89	c current bound: 2037
666.36/666.93	c current bound: 2037
671.37/671.95	c current bound: 2037
676.41/676.99	c current bound: 2037
681.72/682.01	c current bound: 2037
686.80/687.11	c current bound: 2037
691.78/692.18	c current bound: 2037
696.66/697.24	c current bound: 2037
701.70/702.29	c current bound: 2037
706.99/707.35	c current bound: 2037
711.83/712.43	c current bound: 2037
716.93/717.52	c current bound: 2037
721.98/722.57	c current bound: 2037
727.04/727.63	c current bound: 2037
732.38/732.74	c current bound: 2037
737.16/737.77	c current bound: 2037
742.22/742.82	c current bound: 2037
747.58/747.90	c current bound: 2037
752.32/752.91	c current bound: 2037
757.58/757.97	c current bound: 2037
762.47/763.06	c current bound: 2037
767.53/768.13	c current bound: 2037
772.66/773.26	c current bound: 2037
777.75/778.36	c current bound: 2037
782.96/783.33	c current bound: 2037
787.75/788.35	c current bound: 2037
792.97/793.38	c current bound: 2037
797.80/798.42	c current bound: 2037
803.16/803.50	c current bound: 2037
808.16/808.53	c current bound: 2037
813.01/813.62	c current bound: 2037
818.37/818.71	c current bound: 2037
823.12/823.74	c current bound: 2037
828.19/828.82	c current bound: 2037
833.47/833.87	c current bound: 2037
838.31/838.93	c current bound: 2037
843.66/844.00	c current bound: 2037
848.44/849.06	c current bound: 2037
853.50/854.12	c current bound: 2037
858.77/859.16	c current bound: 2037
863.60/864.22	c current bound: 2037
868.84/869.28	c current bound: 2037
873.69/874.32	c current bound: 2037
878.78/879.39	c current bound: 2037
884.06/884.49	c current bound: 2037
888.88/889.51	c current bound: 2037
894.14/894.58	c current bound: 2037
899.02/899.64	c current bound: 2037
904.01/904.64	c current bound: 2037
909.35/909.70	c current bound: 2037
914.45/914.80	c current bound: 2037
919.44/919.85	c current bound: 2037
924.28/924.91	c current bound: 2037
929.35/929.99	c current bound: 2037
934.64/935.10	c current bound: 2037
939.52/940.15	c current bound: 2037
944.58/945.22	c current bound: 2037
949.66/950.29	c current bound: 2037
954.76/955.38	c current bound: 2037
960.07/960.41	c current bound: 2037
964.88/965.51	c current bound: 2037
969.91/970.55	c current bound: 2037
975.25/975.60	c current bound: 2037
980.04/980.68	c current bound: 2037
985.34/985.75	c current bound: 2037
990.20/990.83	c current bound: 2037
995.25/995.88	c current bound: 2037
1000.32/1000.94	c current bound: 2037
1005.39/1006.02	c current bound: 2037
1010.65/1011.05	c current bound: 2037
1015.48/1016.13	c current bound: 2037
1020.54/1021.17	c current bound: 2037
1025.59/1026.23	c current bound: 2037
1030.67/1031.31	c current bound: 2037
1035.94/1036.33	c current bound: 2037
1040.73/1041.38	c current bound: 2037
1045.78/1046.44	c current bound: 2037
1050.87/1051.53	c current bound: 2037
1055.94/1056.61	c current bound: 2037
1061.20/1061.67	c current bound: 2037
1066.07/1066.74	c current bound: 2037
1071.10/1071.76	c current bound: 2037
1076.20/1076.87	c current bound: 2037
1081.25/1081.92	c current bound: 2037
1086.52/1086.96	c current bound: 2037
1091.33/1092.01	c current bound: 2037
1096.71/1097.10	c current bound: 2037
1101.45/1102.13	c current bound: 2037
1106.81/1107.20	c current bound: 2037
1111.80/1112.26	c current bound: 2037
1116.68/1117.34	c current bound: 2037
1121.73/1122.41	c current bound: 2037
1127.10/1127.55	c current bound: 2037
1131.99/1132.67	c current bound: 2037
1137.14/1137.81	c current bound: 2037
1142.21/1142.90	c current bound: 2037
1147.29/1148.01	c current bound: 2037
1152.59/1153.00	c current bound: 2037
1157.37/1158.07	c current bound: 2037
1162.46/1163.16	c current bound: 2037
1167.77/1168.22	c current bound: 2037
1172.63/1173.33	c current bound: 2037
1177.74/1178.46	c current bound: 2037
1182.71/1183.44	c current bound: 2037
1187.81/1188.56	c current bound: 2037
1193.15/1193.63	c current bound: 2037
1197.94/1198.68	c current bound: 2037
1203.02/1203.76	c current bound: 2037
1208.09/1208.82	c current bound: 2037
1213.18/1213.91	c current bound: 2037
1218.53/1219.03	c current bound: 2037
1223.33/1224.08	c current bound: 2037
1228.41/1229.16	c current bound: 2037
1233.72/1234.23	c current bound: 2037
1238.55/1239.32	c current bound: 2037
1243.67/1244.42	c current bound: 2037
1248.72/1249.48	c current bound: 2037
1253.77/1254.54	c current bound: 2037
1259.11/1259.63	c current bound: 2037
1263.87/1264.66	c current bound: 2037
1268.93/1269.72	c current bound: 2037
1274.29/1274.80	c current bound: 2037
1279.04/1279.85	c current bound: 2037
1284.38/1284.98	c current bound: 2037
1289.25/1290.06	c current bound: 2037
1294.34/1295.15	c current bound: 2037
1299.67/1300.26	c current bound: 2037
1304.54/1305.38	c current bound: 2037
1309.65/1310.48	c current bound: 2037
1314.70/1315.53	c current bound: 2037
1319.76/1320.59	c current bound: 2037
1325.16/1325.71	c current bound: 2037
1329.97/1330.79	c current bound: 2037
1335.05/1335.88	c current bound: 2037
1340.44/1341.01	c current bound: 2037
1345.29/1346.13	c current bound: 2037
1350.36/1351.21	c current bound: 2037
1355.70/1356.32	c current bound: 2037
1360.57/1361.44	c current bound: 2037
1365.66/1366.53	c current bound: 2037
1370.81/1371.68	c current bound: 2037
1375.89/1376.77	c current bound: 2037
1381.00/1381.89	c current bound: 2037
1386.07/1386.97	c current bound: 2037
1391.11/1392.01	c current bound: 2037
1396.37/1397.09	c current bound: 2037
1401.22/1402.14	c current bound: 2037
1406.56/1407.21	c current bound: 2037
1411.39/1412.31	c current bound: 2037
1416.41/1417.34	c current bound: 2037
1421.73/1422.43	c current bound: 2037
1426.55/1427.49	c current bound: 2037
1431.54/1432.48	c current bound: 2037
1436.93/1437.60	c current bound: 2037
1441.74/1442.69	c current bound: 2037
1447.12/1447.80	c current bound: 2037
1451.88/1452.86	c current bound: 2037
1456.98/1457.97	c current bound: 2037
1462.01/1463.00	c current bound: 2037
1467.08/1468.07	c current bound: 2037
1472.37/1473.14	c current bound: 2037
1477.20/1478.22	c current bound: 2037
1482.32/1483.34	c current bound: 2037
1487.65/1488.47	c current bound: 2037
1492.57/1493.59	c current bound: 2037
1497.58/1498.61	c current bound: 2037
1502.57/1503.63	c current bound: 2037
1507.69/1508.72	c current bound: 2037
1512.93/1513.72	c current bound: 2037
1517.70/1518.75	c current bound: 2037
1522.81/1523.87	c current bound: 2037
1527.88/1528.94	c current bound: 2037
1533.00/1534.06	c current bound: 2037
1538.32/1539.11	c current bound: 2037
1543.31/1544.10	c current bound: 2037
1548.06/1549.13	c current bound: 2037
1553.14/1554.21	c current bound: 2037
1558.24/1559.31	c current bound: 2037
1563.59/1564.42	c current bound: 2037
1568.38/1569.46	c current bound: 2037
1573.50/1574.60	c current bound: 2037
1578.87/1579.72	c current bound: 2037
1583.56/1584.68	c current bound: 2037
1588.85/1589.76	c current bound: 2037
1593.74/1594.86	c current bound: 2037
1598.82/1599.95	c current bound: 2037
1604.15/1605.07	c current bound: 2037
1608.98/1610.13	c current bound: 2037
1614.09/1615.23	c current bound: 2037
1619.43/1620.38	c current bound: 2037
1624.33/1625.48	c current bound: 2037
1629.41/1630.57	c current bound: 2037
1634.52/1635.69	c current bound: 2037
1639.57/1640.75	c current bound: 2037
1644.70/1645.89	c current bound: 2037
1650.11/1651.00	c current bound: 2037
1655.20/1656.11	c current bound: 2037
1660.20/1661.19	c current bound: 2037
1665.10/1666.29	c current bound: 2037
1670.19/1671.38	c current bound: 2037
1675.57/1676.53	c current bound: 2037
1680.44/1681.65	c current bound: 2037
1685.52/1686.72	c current bound: 2037
1690.86/1691.84	c current bound: 2037
1695.71/1696.93	c current bound: 2037
1700.83/1702.05	c current bound: 2037
1705.90/1707.13	c current bound: 2037
1710.97/1712.22	c current bound: 2037
1716.32/1717.32	c current bound: 2037
1721.19/1722.44	c current bound: 2037
1726.28/1727.52	c current bound: 2037
1731.61/1732.66	c current bound: 2037
1736.48/1737.74	c current bound: 2037
1741.50/1742.77	c current bound: 2037
1746.56/1747.83	c current bound: 2037
1751.58/1752.85	c current bound: 2037
1756.91/1757.97	c current bound: 2037
1761.75/1763.03	c current bound: 2037
1766.85/1768.14	c current bound: 2037
1772.19/1773.22	c current bound: 2037
1776.97/1778.27	c current bound: 2037
1782.27/1783.35	c current bound: 2037
1787.38/1788.40	c current bound: 2037
1792.20/1793.51	c current bound: 2037
1797.58/1798.61	c current bound: 2037
1800.07/1801.11	./satsolver.sh: line 5: 14639 Terminated              ./glucose $1 > $2 2> /dev/null
1800.07/1801.11	c error: unexpected solver exit code
1800.07/1801.11	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-3715587-1338176511/watcher-3715587-1338176511 -o /tmp/evaluation-result-3715587-1338176511/solver-3715587-1338176511 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715587-1338176511.wbo 319457934 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: 2.12 2.04 1.91 3/175 9897
/proc/meminfo: memFree=28571856/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0

[startup+0.0290031 s]
/proc/loadavg: 2.12 2.04 1.91 3/175 9897
/proc/meminfo: memFree=28571856/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100218 s]
/proc/loadavg: 2.12 2.04 1.91 3/175 9897
/proc/meminfo: memFree=28571856/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300176 s]
/proc/loadavg: 2.12 2.04 1.91 3/175 9897
/proc/meminfo: memFree=28571856/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700294 s]
/proc/loadavg: 2.12 2.04 1.91 3/175 9897
/proc/meminfo: memFree=28571856/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 2.12 2.04 1.91 3/181 9904
/proc/meminfo: memFree=28451080/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=10548 CPUtime=0.3 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 3743 0 0 0 29 1 0 0 20 0 1 0 283776554 10801152 2244 33554432000 4194304 5990268 140734576376496 140734576369648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9898/statm: 2637 2244 156 439 0 2194 0
[pid=9903] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9903/stat : 9903 (cp2_pre.sh) S 9898 9897 25502 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 283776585 9367552 277 33554432000 4194304 5064252 140737208153296 140737208152000 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9903/statm: 2287 277 234 213 0 72 0
[pid=9904] ppid=9903 vsize=73260 CPUtime=1.18 cores=0,2,4,6
/proc/9904/stat : 9904 (coprocessor) R 9903 9897 25502 0 -1 4202496 14505 0 0 0 116 2 0 0 20 0 1 0 283776585 75018240 17645 33554432000 4194304 6586260 140734213011696 140734213007016 5599298 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/9904/statm: 18315 17645 191 584 0 17727 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102104

[startup+3.10033 s]
/proc/loadavg: 2.19 2.06 1.91 2/173 9929
/proc/meminfo: memFree=28509816/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=10548 CPUtime=2.56 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 3753 18260 0 0 29 1 194 32 20 0 1 0 283776554 10801152 2245 33554432000 4194304 5990268 140734576376496 140734576370736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9898/statm: 2637 2245 157 439 0 2194 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 19696

[startup+6.30023 s]
/proc/loadavg: 2.19 2.06 1.91 3/181 9966
/proc/meminfo: memFree=28432820/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=24392 CPUtime=3.59 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 6732 30917 0 0 38 9 277 35 20 0 1 0 283776554 24977408 5035 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 6098 5035 180 439 0 5655 0
[pid=9955] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9955/stat : 9955 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283776916 9367552 267 33554432000 4194304 5064252 140735700361104 140735700360016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9955/statm: 2287 267 226 213 0 72 0
[pid=9956] ppid=9955 vsize=62952 CPUtime=2.67 cores=0,2,4,6
/proc/9956/stat : 9956 (glucose) R 9955 9897 25502 0 -1 4202496 12897 0 0 0 266 1 0 0 20 0 1 0 283776916 64462848 13061 33554432000 4194304 5208918 140737473181888 140737473179736 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9956/statm: 15738 13061 104 248 0 15487 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 105640

[startup+12.7002 s]
/proc/loadavg: 2.16 2.05 1.91 3/181 9980
/proc/meminfo: memFree=28426588/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=8.66 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 9441 51404 0 0 45 10 766 45 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=9972] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9972/stat : 9972 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283777422 9367552 267 33554432000 4194304 5064252 140735940382384 140735940381296 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9972/statm: 2287 267 226 213 0 72 0
[pid=9973] ppid=9972 vsize=59044 CPUtime=4 cores=0,2,4,6
/proc/9973/stat : 9973 (glucose) R 9972 9897 25502 0 -1 4202496 13307 0 0 0 398 2 0 0 20 0 1 0 283777423 60461056 12718 33554432000 4194304 5208918 140735178352032 140735178350120 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9973/statm: 14761 12718 104 248 0 14510 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 105828

[startup+25.5003 s]
/proc/loadavg: 2.14 2.05 1.91 3/181 10015
/proc/meminfo: memFree=28419796/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=23.83 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 17562 116942 0 0 67 12 2232 72 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=10014] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10014/stat : 10014 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283778940 9367552 266 33554432000 4194304 5064252 140736032996784 140736032995696 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10014/statm: 2287 266 226 213 0 72 0
[pid=10015] ppid=10014 vsize=62428 CPUtime=1.63 cores=0,2,4,6
/proc/10015/stat : 10015 (glucose) R 10014 9897 25502 0 -1 4202496 12593 0 0 0 161 2 0 0 20 0 1 0 283778940 63926272 13396 33554432000 4194304 5208918 140735391193264 140735391191112 4211521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 15607 13396 95 248 0 15356 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 109212

[startup+51.1003 s]
/proc/loadavg: 2.09 2.05 1.91 3/181 10078
/proc/meminfo: memFree=28422048/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=49.11 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 31097 226830 0 0 103 16 4668 124 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=10077] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10077/stat : 10077 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283781467 9367552 267 33554432000 4194304 5064252 140737254086592 140737254085504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10077/statm: 2287 267 226 213 0 72 0
[pid=10078] ppid=10077 vsize=58004 CPUtime=1.96 cores=0,2,4,6
/proc/10078/stat : 10078 (glucose) R 10077 9897 25502 0 -1 4202496 12910 0 0 0 194 2 0 0 20 0 1 0 283781467 59396096 12782 33554432000 4194304 5208918 140733237575840 140733237573992 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10078/statm: 14501 12782 96 248 0 14250 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104788

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 1.91 3/181 10212
/proc/meminfo: memFree=28424144/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=99.77 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 58167 448542 0 0 174 24 9550 229 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=10211] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10211/stat : 10211 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283786534 9367552 267 33554432000 4194304 5064252 140734764504352 140734764503264 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10211/statm: 2287 267 226 213 0 72 0
[pid=10212] ppid=10211 vsize=62952 CPUtime=2.49 cores=0,2,4,6
/proc/10212/stat : 10212 (glucose) R 10211 9897 25502 0 -1 4202496 12364 0 0 0 247 2 0 0 20 0 1 0 283786535 64462848 12618 33554432000 4194304 5208918 140733990230384 140733990228328 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10212/statm: 15738 12618 104 248 0 15487 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 109736

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/182 10369
/proc/meminfo: memFree=28453456/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=160.68 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 90651 711098 0 0 261 34 15420 353 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=10365] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10365/stat : 10365 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283792626 9367552 267 33554432000 4194304 5064252 140735947680192 140735947679104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10365/statm: 2287 267 226 213 0 72 0
[pid=10366] ppid=10365 vsize=62432 CPUtime=1.57 cores=0,2,4,6
/proc/10366/stat : 10366 (glucose) R 10365 9897 25502 0 -1 4202496 12749 0 0 0 156 1 0 0 20 0 1 0 283792626 63930368 13207 33554432000 4194304 5208918 140735676098192 140735676096040 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10366/statm: 15608 13207 95 248 0 15357 0
Current children cumulated CPU time (s) 162.25

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

/proc/13346/statm: 2287 266 226 213 0 72 0
[pid=13347] ppid=13346 vsize=58008 CPUtime=1.95 cores=0,2,4,6
/proc/13347/stat : 13347 (glucose) R 13346 9897 25502 0 -1 4202496 13261 0 0 0 193 2 0 0 20 0 1 0 283906588 59400192 13121 33554432000 4194304 5208918 140735443071232 140735443069192 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13347/statm: 14502 13121 96 248 0 14251 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 104792

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/181 13508
/proc/meminfo: memFree=28422536/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=1360.94 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 732210 5916826 0 0 1924 234 131148 2788 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=13507] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13507/stat : 13507 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283912706 9367552 267 33554432000 4194304 5064252 140734735553632 140734735552544 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13507/statm: 2287 267 226 213 0 72 0
[pid=13508] ppid=13507 vsize=57608 CPUtime=0.77 cores=0,2,4,6
/proc/13508/stat : 13508 (glucose) R 13507 9897 25502 0 -1 4202496 12439 0 0 0 75 2 0 0 20 0 1 0 283912706 58990592 12266 33554432000 4194304 5208918 140737121325504 140737121323464 4229010 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13508/statm: 14402 12266 95 248 0 14151 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 104392

[startup+1422.3 s]
/proc/loadavg: 2.15 2.05 2.00 3/181 13658
/proc/meminfo: memFree=28443468/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=1421.48 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 761995 6170904 0 0 2000 243 137000 2905 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=13656] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13656/stat : 13656 (cp2_post.sh) S 9898 9897 25502 0 -1 4202496 611 226 0 0 0 0 0 0 20 0 1 0 283918769 9367552 266 33554432000 4194304 5064252 140734034245584 140734034243872 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13656/statm: 2287 266 225 213 0 72 0
[pid=13658] ppid=13656 vsize=27264 CPUtime=0.15 cores=0,2,4,6
/proc/13658/stat : 13658 (coprocessor) R 13656 9897 25502 0 -1 4202496 3955 0 0 0 14 1 0 0 20 0 1 0 283918769 27918336 5812 33554432000 4194304 6586260 140736131246224 140736131242120 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/13658/statm: 6816 5812 149 584 0 6228 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 74048

[startup+1482.3 s]
/proc/loadavg: 2.16 2.08 2.01 3/181 13809
/proc/meminfo: memFree=28416888/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=1477.56 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 794471 6416893 0 0 2083 253 142395 3025 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=13808] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13808/stat : 13808 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283924383 9367552 266 33554432000 4194304 5064252 140733784509616 140733784508528 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13808/statm: 2287 266 226 213 0 72 0
[pid=13809] ppid=13808 vsize=58912 CPUtime=4 cores=0,2,4,6
/proc/13809/stat : 13809 (glucose) R 13808 9897 25502 0 -1 4202496 14492 0 0 0 398 2 0 0 20 0 1 0 283924384 60325888 13401 33554432000 4194304 5208918 140736532048576 140736532046424 4229517 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13809/statm: 14728 13401 104 248 0 14477 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 105696

[startup+1542.31 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 13970
/proc/meminfo: memFree=28416452/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=1538.4 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 826955 6678349 0 0 2166 263 148265 3146 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=13962] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13962/stat : 13962 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283930472 9367552 267 33554432000 4194304 5064252 140734417003712 140734417002624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13962/statm: 2287 267 226 213 0 72 0
[pid=13963] ppid=13962 vsize=63124 CPUtime=3.11 cores=0,2,4,6
/proc/13963/stat : 13963 (glucose) R 13962 9897 25502 0 -1 4202496 13717 0 0 0 309 2 0 0 20 0 1 0 283930473 64638976 13571 33554432000 4194304 5208918 140737288423168 140737288421128 4229483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13963/statm: 15781 13571 104 248 0 15530 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 109908

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/180 14124
/proc/meminfo: memFree=28412884/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=1599.19 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 859439 6945266 0 0 2249 274 154127 3269 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=14123] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14123/stat : 14123 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283936557 9367552 267 33554432000 4194304 5064252 140734756052944 140734756051856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14123/statm: 2287 267 226 213 0 72 0
[pid=14124] ppid=14123 vsize=58404 CPUtime=2.26 cores=0,2,4,6
/proc/14124/stat : 14124 (glucose) R 14123 9897 25502 0 -1 4202496 13476 0 0 0 224 2 0 0 20 0 1 0 283936557 59805696 13334 33554432000 4194304 5208918 140736248126048 140736248124136 4229483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14124/statm: 14601 13334 104 248 0 14350 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 105188

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/181 14286
/proc/meminfo: memFree=28424788/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=1660.36 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 891923 7211778 0 0 2332 283 160028 3393 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=14278] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14278/stat : 14278 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283942680 9367552 267 33554432000 4194304 5064252 140735631240736 140735631239648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14278/statm: 2287 267 226 213 0 72 0
[pid=14279] ppid=14278 vsize=62156 CPUtime=1.02 cores=0,2,4,6
/proc/14279/stat : 14279 (glucose) R 14278 9897 25502 0 -1 4202496 11708 0 0 0 99 3 0 0 20 0 1 0 283942681 63647744 12808 33554432000 4194304 5208918 140735788542592 140735788540552 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14279/statm: 15539 12808 95 248 0 15288 0
Current children cumulated CPU time (s) 1661.38
Current children cumulated vsize (KiB) 108940

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 14436
/proc/meminfo: memFree=28416320/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=1721.19 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 921708 7470309 0 0 2408 293 165909 3509 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
Current children cumulated CPU time (s) 1721.19
Current children cumulated vsize (KiB) 37636

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 14590
/proc/meminfo: memFree=28415796/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=1777.34 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 954184 7717160 0 0 2491 303 171316 3624 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=14585] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14585/stat : 14585 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283954389 9367552 266 33554432000 4194304 5064252 140735007588896 140735007587808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14585/statm: 2287 266 226 213 0 72 0
[pid=14586] ppid=14585 vsize=58912 CPUtime=3.93 cores=0,2,4,6
/proc/14586/stat : 14586 (glucose) R 14585 9897 25502 0 -1 4202496 14680 0 0 0 391 2 0 0 20 0 1 0 283954389 60325888 13539 33554432000 4194304 5208918 140736603458288 140736603456136 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14586/statm: 14728 13539 104 248 0 14477 0
Current children cumulated CPU time (s) 1781.27
Current children cumulated vsize (KiB) 105696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 14639
/proc/meminfo: memFree=28420260/32873624 swapFree=7104/7104
[pid=9897] ppid=9895 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9897/stat : 9897 (npSolver-wbo-It) S 9895 9897 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776554 9367552 275 33554432000 4194304 5064252 140736994504880 140736994503792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9897/statm: 2287 275 233 213 0 72 0
[pid=9898] ppid=9897 vsize=28488 CPUtime=1797.66 cores=0,2,4,6
/proc/9898/stat : 9898 (npSolver-wbo) S 9897 9897 25502 0 -1 4202496 965012 7806032 0 0 2519 307 173275 3665 20 0 1 0 283776554 29171712 6389 33554432000 4194304 5990268 140734576376496 140734576367904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9898/statm: 7122 6389 181 439 0 6679 0
[pid=14638] ppid=9898 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14638/stat : 14638 (satsolver.sh) S 9898 9897 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283956423 9367552 267 33554432000 4194304 5064252 140733300922800 140733300921712 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14638/statm: 2287 267 226 213 0 72 0
[pid=14639] ppid=14638 vsize=58404 CPUtime=2.41 cores=0,2,4,6
/proc/14639/stat : 14639 (glucose) R 14638 9897 25502 0 -1 4202496 13132 0 0 0 239 2 0 0 20 0 1 0 283956423 59805696 13013 33554432000 4194304 5208918 140733588332912 140733588330760 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14639/statm: 14601 13013 104 248 0 14350 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 105188

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1801.11
CPU time (s): 1800.1
CPU user time (s): 1760.35
CPU system time (s): 39.753
CPU usage (%): 99.9439
Max. virtual memory (cumulated for all children) (KiB): 124664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.35
system time used= 39.753
maximum resident set size= 86932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8785164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6073056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150345
involuntary context switches= 7995

runsolver used 3.48047 second user time and 8.04078 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-28 05:41:51
IDJOB=3715587
IDBENCH=78671
IDSOLVER=2297
FILE ID=node121/3715587-1338176511
RUNJOBID= node121-1338174706-27556
PBS_JOBID= 14624535
Free space on /tmp= 71656 MiB

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

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

MD5SUM BENCH= 757312960b1468f2853dd7cd5a4d6fc6
RANDOM SEED=319457934

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        28553484 kB
Buffers:          521480 kB
Cached:          2889228 kB
SwapCached:            0 kB
Active:           910768 kB
Inactive:        2551212 kB
Active(anon):      51572 kB
Inactive(anon):        0 kB
Active(file):     859196 kB
Inactive(file):  2551212 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14460 kB
Writeback:             0 kB
AnonPages:         49772 kB
Mapped:            15268 kB
Shmem:               200 kB
Slab:             719440 kB
SReclaimable:     163012 kB
SUnreclaim:       556428 kB
KernelStack:        1512 kB
PageTables:         4448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     159296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71636 MiB
End job on node121 at 2012-05-28 06:11:52