Trace number 3715293

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.04 1800.41

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
MD5SUM4a1855bab5ee86d15b24a1b5f3713388
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.560914
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8550
Total number of constraints185
Number of soft constraints185
Number of constraints which are clauses95
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint95
Top cost 9532
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 9531
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 96
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.80	c run usual solver
8.97/9.03	o 4089
8.97/9.03	c starting approximation
8.97/9.03	c factor = 2
8.97/9.03	c factor still to low - shrinking to 4.53879
8.97/9.03	c approx number of clauses: 1e+06
8.97/9.03	c current bound: 2044
13.53/14.08	c current bound: 2044
19.08/19.11	c current bound: 2044
23.63/24.17	c current bound: 2044
29.19/29.21	c current bound: 2044
34.18/34.25	c current bound: 2044
39.27/39.30	c current bound: 2044
44.27/44.33	c current bound: 2044
49.36/49.40	c current bound: 2044
54.37/54.42	c current bound: 2044
59.37/59.44	c current bound: 2044
63.91/64.46	c current bound: 2044
69.47/69.50	c current bound: 2044
74.00/74.55	c current bound: 2044
79.46/79.59	c current bound: 2044
84.58/84.61	c current bound: 2044
89.07/89.63	c current bound: 2044
94.55/94.65	c current bound: 2044
99.12/99.68	c current bound: 2044
104.54/104.69	c current bound: 2044
109.61/109.70	c current bound: 2044
114.62/114.71	c current bound: 2044
119.60/119.70	c current bound: 2044
124.62/124.72	c current bound: 2044
129.61/129.72	c current bound: 2044
134.17/134.76	c current bound: 2044
139.61/139.77	c current bound: 2044
144.71/144.81	c current bound: 2044
149.71/149.83	c current bound: 2044
154.23/154.86	c current bound: 2044
159.78/159.93	c current bound: 2044
164.80/164.92	c current bound: 2044
169.33/169.94	c current bound: 2044
174.90/175.01	c current bound: 2044
179.89/180.01	c current bound: 2044
184.87/185.07	c current bound: 2044
189.45/190.08	c current bound: 2044
194.99/195.11	c current bound: 2044
200.00/200.12	c current bound: 2044
204.50/205.13	c current bound: 2044
210.00/210.11	c current bound: 2044
214.45/215.08	c current bound: 2044
219.98/220.13	c current bound: 2044
224.98/225.11	c current bound: 2044
229.97/230.12	c current bound: 2044
234.51/235.15	c current bound: 2044
239.96/240.16	c current bound: 2044
244.55/245.19	c current bound: 2044
249.96/250.19	c current bound: 2044
254.60/255.24	c current bound: 2044
260.16/260.30	c current bound: 2044
265.07/265.28	c current bound: 2044
270.16/270.31	c current bound: 2044
275.14/275.34	c current bound: 2044
279.70/280.36	c current bound: 2044
285.14/285.36	c current bound: 2044
289.72/290.38	c current bound: 2044
294.78/295.43	c current bound: 2044
300.27/300.43	c current bound: 2044
304.78/305.45	c current bound: 2044
310.23/310.48	c current bound: 2044
315.34/315.52	c current bound: 2044
320.42/320.62	c current bound: 2044
325.41/325.68	c current bound: 2044
329.98/330.68	c current bound: 2044
335.39/335.67	c current bound: 2044
339.95/340.66	c current bound: 2044
345.38/345.67	c current bound: 2044
350.50/350.72	c current bound: 2044
355.47/355.73	c current bound: 2044
360.05/360.76	c current bound: 2044
365.59/365.81	c current bound: 2044
370.59/370.86	c current bound: 2044
375.15/375.87	c current bound: 2044
380.69/380.93	c current bound: 2044
385.24/385.97	c current bound: 2044
390.80/391.00	c current bound: 2044
395.25/395.97	c current bound: 2044
400.26/400.99	c current bound: 2044
405.68/405.96	c current bound: 2044
410.25/410.99	c current bound: 2044
415.78/416.01	c current bound: 2044
420.30/421.03	c current bound: 2044
425.76/426.08	c current bound: 2044
430.88/431.10	c current bound: 2044
435.43/436.17	c current bound: 2044
440.86/441.17	c current bound: 2044
445.99/446.21	c current bound: 2044
450.97/451.24	c current bound: 2044
455.51/456.24	c current bound: 2044
460.97/461.27	c current bound: 2044
465.49/466.28	c current bound: 2044
471.08/471.31	c current bound: 2044
476.07/476.36	c current bound: 2044
481.18/481.41	c current bound: 2044
486.15/486.45	c current bound: 2044
491.29/491.50	c current bound: 2044
496.28/496.57	c current bound: 2044
501.39/501.62	c current bound: 2044
505.95/506.68	c current bound: 2044
511.37/511.67	c current bound: 2044
516.39/516.62	c current bound: 2044
521.36/521.70	c current bound: 2044
525.92/526.66	c current bound: 2044
531.46/531.70	c current bound: 2044
536.48/536.71	c current bound: 2044
541.00/541.73	c current bound: 2044
546.47/546.77	c current bound: 2044
551.06/551.78	c current bound: 2044
556.58/556.80	c current bound: 2044
561.05/561.79	c current bound: 2044
566.58/566.82	c current bound: 2044
571.13/571.87	c current bound: 2044
576.56/576.88	c current bound: 2044
581.15/581.89	c current bound: 2044
586.12/586.87	c current bound: 2044
591.67/591.91	c current bound: 2044
596.19/596.93	c current bound: 2044
601.66/601.96	c current bound: 2044
606.23/606.98	c current bound: 2044
611.77/612.01	c current bound: 2044
616.77/617.02	c current bound: 2044
621.31/622.06	c current bound: 2044
626.75/627.08	c current bound: 2044
631.34/632.09	c current bound: 2044
636.87/637.12	c current bound: 2044
641.39/642.16	c current bound: 2044
646.85/647.14	c current bound: 2044
651.39/652.15	c current bound: 2044
656.84/657.16	c current bound: 2044
661.96/662.20	c current bound: 2044
666.51/667.27	c current bound: 2044
671.94/672.28	c current bound: 2044
676.57/677.34	c current bound: 2044
682.02/682.37	c current bound: 2044
687.15/687.41	c current bound: 2044
691.68/692.44	c current bound: 2044
697.15/697.44	c current bound: 2044
702.24/702.50	c current bound: 2044
707.21/707.52	c current bound: 2044
712.21/712.52	c current bound: 2044
717.18/717.56	c current bound: 2044
721.76/722.56	c current bound: 2044
727.31/727.61	c current bound: 2044
732.31/732.61	c current bound: 2044
736.86/737.67	c current bound: 2044
742.29/742.68	c current bound: 2044
746.94/747.76	c current bound: 2044
752.51/752.81	c current bound: 2044
757.07/757.88	c current bound: 2044
762.59/762.92	c current bound: 2044
767.50/767.82	c current bound: 2044
772.06/772.89	c current bound: 2044
777.58/777.96	c current bound: 2044
782.14/782.97	c current bound: 2044
787.58/787.97	c current bound: 2044
792.69/793.00	c current bound: 2044
797.21/798.03	c current bound: 2044
802.70/803.10	c current bound: 2044
807.34/808.15	c current bound: 2044
812.89/813.20	c current bound: 2044
817.42/818.23	c current bound: 2044
822.89/823.26	c current bound: 2044
827.35/828.17	c current bound: 2044
832.78/833.19	c current bound: 2044
837.90/838.23	c current bound: 2044
842.46/843.29	c current bound: 2044
847.99/848.34	c current bound: 2044
852.57/853.38	c current bound: 2044
858.10/858.41	c current bound: 2044
862.61/863.43	c current bound: 2044
868.20/868.52	c current bound: 2044
873.19/873.51	c current bound: 2044
878.19/878.52	c current bound: 2044
883.18/883.57	c current bound: 2044
888.18/888.50	c current bound: 2044
893.17/893.53	c current bound: 2044
897.71/898.57	c current bound: 2044
903.16/903.59	c current bound: 2044
908.28/908.61	c current bound: 2044
912.78/913.66	c current bound: 2044
918.27/918.68	c current bound: 2044
922.95/923.78	c current bound: 2044
928.47/928.80	c current bound: 2044
933.48/933.82	c current bound: 2044
938.03/938.86	c current bound: 2044
943.58/943.93	c current bound: 2044
948.11/948.96	c current bound: 2044
953.56/953.99	c current bound: 2044
958.22/959.06	c current bound: 2044
963.66/964.08	c current bound: 2044
968.78/969.11	c current bound: 2044
973.77/974.13	c current bound: 2044
978.88/979.21	c current bound: 2044
983.41/984.26	c current bound: 2044
988.87/989.29	c current bound: 2044
993.98/994.33	c current bound: 2044
998.97/999.30	c current bound: 2044
1003.97/1004.33	c current bound: 2044
1008.49/1009.33	c current bound: 2044
1014.08/1014.41	c current bound: 2044
1018.61/1019.46	c current bound: 2044
1024.17/1024.53	c current bound: 2044
1028.70/1029.54	c current bound: 2044
1033.73/1034.57	c current bound: 2044
1039.17/1039.57	c current bound: 2044
1044.29/1044.62	c current bound: 2044
1049.27/1049.64	c current bound: 2044
1054.39/1054.72	c current bound: 2044
1059.36/1059.73	c current bound: 2044
1063.91/1064.76	c current bound: 2044
1068.94/1069.78	c current bound: 2044
1074.37/1074.79	c current bound: 2044
1079.46/1079.80	c current bound: 2044
1084.44/1084.84	c current bound: 2044
1088.99/1089.85	c current bound: 2044
1094.46/1094.88	c current bound: 2044
1099.10/1099.94	c current bound: 2044
1104.14/1104.96	c current bound: 2044
1109.57/1109.98	c current bound: 2044
1114.70/1115.02	c current bound: 2044
1119.69/1120.06	c current bound: 2044
1124.25/1125.09	c current bound: 2044
1129.79/1130.10	c current bound: 2044
1134.79/1135.11	c current bound: 2044
1139.33/1140.16	c current bound: 2044
1144.88/1145.22	c current bound: 2044
1149.40/1150.25	c current bound: 2044
1154.99/1155.31	c current bound: 2044
1159.53/1160.38	c current bound: 2044
1165.07/1165.42	c current bound: 2044
1170.07/1170.49	c current bound: 2044
1175.17/1175.52	c current bound: 2044
1180.17/1180.55	c current bound: 2044
1184.74/1185.58	c current bound: 2044
1190.16/1190.58	c current bound: 2044
1194.82/1195.67	c current bound: 2044
1199.84/1200.66	c current bound: 2044
1205.29/1205.66	c current bound: 2044
1210.38/1210.70	c current bound: 2044
1215.38/1215.77	c current bound: 2044
1220.02/1220.85	c current bound: 2044
1225.58/1225.92	c current bound: 2044
1230.59/1230.96	c current bound: 2044
1235.68/1236.01	c current bound: 2044
1240.69/1241.02	c current bound: 2044
1245.15/1245.99	c current bound: 2044
1250.68/1251.02	c current bound: 2044
1255.14/1255.99	c current bound: 2044
1260.69/1261.01	c current bound: 2044
1265.20/1266.04	c current bound: 2044
1270.21/1271.06	c current bound: 2044
1275.68/1276.09	c current bound: 2044
1280.78/1281.10	c current bound: 2044
1285.79/1286.12	c current bound: 2044
1290.37/1291.20	c current bound: 2044
1295.89/1296.22	c current bound: 2044
1300.88/1301.21	c current bound: 2044
1305.89/1306.22	c current bound: 2044
1310.90/1311.23	c current bound: 2044
1315.88/1316.20	c current bound: 2044
1320.89/1321.26	c current bound: 2044
1325.43/1326.26	c current bound: 2044
1330.98/1331.31	c current bound: 2044
1335.98/1336.31	c current bound: 2044
1340.98/1341.32	c current bound: 2044
1345.55/1346.37	c current bound: 2044
1351.09/1351.41	c current bound: 2044
1356.09/1356.41	c current bound: 2044
1361.08/1361.41	c current bound: 2044
1365.96/1366.39	c current bound: 2044
1371.06/1371.42	c current bound: 2044
1376.07/1376.40	c current bound: 2044
1380.61/1381.47	c current bound: 2044
1386.06/1386.46	c current bound: 2044
1391.16/1391.51	c current bound: 2044
1395.71/1396.57	c current bound: 2044
1401.16/1401.59	c current bound: 2044
1406.26/1406.60	c current bound: 2044
1411.27/1411.64	c current bound: 2044
1415.82/1416.65	c current bound: 2044
1421.39/1421.72	c current bound: 2044
1426.36/1426.75	c current bound: 2044
1430.92/1431.76	c current bound: 2044
1436.38/1436.72	c current bound: 2044
1440.90/1441.74	c current bound: 2044
1446.35/1446.74	c current bound: 2044
1450.91/1451.75	c current bound: 2044
1456.37/1456.78	c current bound: 2044
1461.48/1461.81	c current bound: 2044
1466.48/1466.80	c current bound: 2044
1471.49/1471.83	c current bound: 2044
1476.00/1476.87	c current bound: 2044
1481.48/1481.88	c current bound: 2044
1486.08/1486.93	c current bound: 2044
1491.56/1491.99	c current bound: 2044
1496.11/1496.97	c current bound: 2044
1501.57/1501.96	c current bound: 2044
1506.09/1506.93	c current bound: 2044
1511.09/1511.94	c current bound: 2044
1516.56/1516.96	c current bound: 2044
1521.09/1521.94	c current bound: 2044
1526.66/1527.00	c current bound: 2044
1531.19/1532.03	c current bound: 2044
1536.66/1537.05	c current bound: 2044
1541.23/1542.06	c current bound: 2044
1546.31/1547.15	c current bound: 2044
1551.87/1552.28	c current bound: 2044
1556.37/1557.23	c current bound: 2044
1561.86/1562.28	c current bound: 2044
1566.44/1567.29	c current bound: 2044
1571.97/1572.34	c current bound: 2044
1576.53/1577.38	c current bound: 2044
1582.05/1582.42	c current bound: 2044
1587.08/1587.43	c current bound: 2044
1591.56/1592.43	c current bound: 2044
1597.05/1597.49	c current bound: 2044
1601.69/1602.53	c current bound: 2044
1607.30/1607.62	c current bound: 2044
1612.29/1612.67	c current bound: 2044
1617.38/1617.71	c current bound: 2044
1622.35/1622.73	c current bound: 2044
1627.37/1627.73	c current bound: 2044
1632.35/1632.73	c current bound: 2044
1636.91/1637.75	c current bound: 2044
1642.48/1642.81	c current bound: 2044
1647.45/1647.86	c current bound: 2044
1652.03/1652.88	c current bound: 2044
1657.55/1657.99	c current bound: 2044
1662.67/1663.02	c current bound: 2044
1667.67/1668.08	c current bound: 2044
1672.80/1673.11	c current bound: 2044
1677.34/1678.17	c current bound: 2044
1682.78/1683.15	c current bound: 2044
1687.36/1688.19	c current bound: 2044
1692.87/1693.26	c current bound: 2044
1697.33/1698.17	c current bound: 2044
1702.88/1703.21	c current bound: 2044
1707.44/1708.27	c current bound: 2044
1712.98/1713.31	c current bound: 2044
1717.98/1718.33	c current bound: 2044
1722.49/1723.35	c current bound: 2044
1727.97/1728.32	c current bound: 2044
1733.06/1733.40	c current bound: 2044
1738.06/1738.46	c current bound: 2044
1742.61/1743.47	c current bound: 2044
1748.18/1748.52	c current bound: 2044
1753.17/1753.56	c current bound: 2044
1758.27/1758.61	c current bound: 2044
1763.26/1763.63	c current bound: 2044
1767.85/1768.69	c current bound: 2044
1772.91/1773.75	c current bound: 2044
1778.38/1778.71	c current bound: 2044
1782.89/1783.74	c current bound: 2044
1788.46/1788.82	c current bound: 2044
1792.98/1793.83	c current bound: 2044
1798.43/1798.87	c current bound: 2044
1800.04/1800.41	c error: unexpected solver exit code
1800.04/1800.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-3715293-1338221226/watcher-3715293-1338221226 -o /tmp/evaluation-result-3715293-1338221226/solver-3715293-1338221226 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715293-1338221226.wbo 956629371 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: 1.99 1.97 1.91 3/179 7833
/proc/meminfo: memFree=30625964/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0

[startup+0.013601 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 7833
/proc/meminfo: memFree=30625964/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100259 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 7833
/proc/meminfo: memFree=30625964/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300286 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 7833
/proc/meminfo: memFree=30625964/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700242 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 7833
/proc/meminfo: memFree=30625964/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50043 s]
/proc/loadavg: 1.99 1.97 1.91 3/183 7837
/proc/meminfo: memFree=30494140/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=27152 CPUtime=0.8 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 6065 0 0 0 77 3 0 0 20 0 1 0 288251231 27803648 5400 33554432000 4194304 5990268 140735250800016 140735250793168 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7834/statm: 6788 5400 156 439 0 6345 0
[pid=7836] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7836/stat : 7836 (cp2_pre.sh) S 7834 7833 30917 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 288251311 9367552 277 33554432000 4194304 5064252 140736908219376 140736908218080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7836/statm: 2287 277 234 213 0 72 0
[pid=7837] ppid=7836 vsize=146888 CPUtime=0.68 cores=1,3,5,7
/proc/7837/stat : 7837 (coprocessor) R 7836 7833 30917 0 -1 4202496 23879 0 0 0 63 5 0 0 20 0 1 0 288251311 150413312 31998 33554432000 4194304 6586260 140736667239680 140736667235944 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/7837/statm: 36722 31998 166 584 0 36134 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 192336

[startup+3.10034 s]
/proc/loadavg: 1.99 1.97 1.91 3/183 7837
/proc/meminfo: memFree=30417588/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=27152 CPUtime=0.8 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 6065 0 0 0 77 3 0 0 20 0 1 0 288251231 27803648 5400 33554432000 4194304 5990268 140735250800016 140735250793168 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7834/statm: 6788 5400 156 439 0 6345 0
[pid=7836] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7836/stat : 7836 (cp2_pre.sh) S 7834 7833 30917 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 288251311 9367552 277 33554432000 4194304 5064252 140736908219376 140736908218080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7836/statm: 2287 277 234 213 0 72 0
[pid=7837] ppid=7836 vsize=181476 CPUtime=2.28 cores=1,3,5,7
/proc/7837/stat : 7837 (coprocessor) R 7836 7833 30917 0 -1 4202496 30566 0 0 0 222 6 0 0 20 0 1 0 288251311 185831424 43824 33554432000 4194304 6586260 140736667239680 140736667235048 5599209 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/7837/statm: 45369 43824 191 584 0 44781 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 226924

[startup+6.30046 s]
/proc/loadavg: 1.99 1.97 1.91 3/183 7844
/proc/meminfo: memFree=30417092/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=27152 CPUtime=0.8 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 6065 0 0 0 77 3 0 0 20 0 1 0 288251231 27803648 5400 33554432000 4194304 5990268 140735250800016 140735250793168 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7834/statm: 6788 5400 156 439 0 6345 0
[pid=7836] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7836/stat : 7836 (cp2_pre.sh) S 7834 7833 30917 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 288251311 9367552 277 33554432000 4194304 5064252 140736908219376 140736908218080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7836/statm: 2287 277 234 213 0 72 0
[pid=7837] ppid=7836 vsize=213264 CPUtime=5.48 cores=1,3,5,7
/proc/7837/stat : 7837 (coprocessor) R 7836 7833 30917 0 -1 4202496 32618 0 0 0 540 8 0 0 20 0 1 0 288251311 218382336 49821 33554432000 4194304 6586260 140736667239680 140736667235272 4406949 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/7837/statm: 53316 49821 196 584 0 52728 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 258712

[startup+12.7004 s]
/proc/loadavg: 1.99 1.97 1.91 3/183 7854
/proc/meminfo: memFree=30479016/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=9.09 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 9302 54901 0 0 89 33 705 82 20 0 1 0 288251231 48340992 9884 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7834/statm: 11802 9884 180 439 0 11359 0
[pid=7853] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7853/stat : 7853 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288252142 9367552 266 33554432000 4194304 5064252 140735894339040 140735894337952 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7853/statm: 2287 266 226 213 0 72 0
[pid=7854] ppid=7853 vsize=94404 CPUtime=3.56 cores=1,3,5,7
/proc/7854/stat : 7854 (glucose) R 7853 7833 30917 0 -1 4202496 19028 0 0 0 353 3 0 0 20 0 1 0 288252142 96669696 20575 33554432000 4194304 5208918 140737349523360 140737349521208 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7854/statm: 23601 20575 104 248 0 23350 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 159908

[startup+25.5004 s]
/proc/loadavg: 1.92 1.95 1.90 3/183 7889
/proc/meminfo: memFree=30480308/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=24.24 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 20679 142711 0 0 116 36 2130 142 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=7888] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7888/stat : 7888 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288253656 9367552 266 33554432000 4194304 5064252 140734311375376 140734311374288 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7888/statm: 2287 266 226 213 0 72 0
[pid=7889] ppid=7888 vsize=94008 CPUtime=1.23 cores=1,3,5,7
/proc/7889/stat : 7889 (glucose) R 7888 7833 30917 0 -1 4202496 18288 0 0 0 120 3 0 0 20 0 1 0 288253656 96264192 20383 33554432000 4194304 5208918 140733925265360 140733925263032 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7889/statm: 23502 20383 103 248 0 23251 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 159512

[startup+51.1005 s]
/proc/loadavg: 2.10 1.99 1.92 3/183 7945
/proc/meminfo: memFree=30480948/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=49.45 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 39639 290260 0 0 159 43 4508 235 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=7944] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7944/stat : 7944 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288256178 9367552 267 33554432000 4194304 5064252 140734981836448 140734981835360 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7944/statm: 2287 267 226 213 0 72 0
[pid=7945] ppid=7944 vsize=94012 CPUtime=1.61 cores=1,3,5,7
/proc/7945/stat : 7945 (glucose) R 7944 7833 30917 0 -1 4202496 17798 0 0 0 157 4 0 0 20 0 1 0 288256179 96268288 20423 33554432000 4194304 5208918 140734070937248 140734070934920 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7945/statm: 23503 20423 103 248 0 23252 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 159516

[startup+102.301 s]
/proc/loadavg: 2.45 2.10 1.95 3/183 8057
/proc/meminfo: memFree=30479500/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=99.72 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 77559 582790 0 0 246 56 9244 426 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=8049] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8049/stat : 8049 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288261207 9367552 267 33554432000 4194304 5064252 140736918530032 140736918528944 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8049/statm: 2287 267 226 213 0 72 0
[pid=8050] ppid=8049 vsize=94136 CPUtime=2.53 cores=1,3,5,7
/proc/8050/stat : 8050 (glucose) R 8049 7833 30917 0 -1 4202496 18014 0 0 0 249 4 0 0 20 0 1 0 288261207 96395264 20637 33554432000 4194304 5208918 140736238639216 140736238637176 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8050/statm: 23534 20637 103 248 0 23283 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 159640

[startup+162.3 s]
/proc/loadavg: 2.40 2.16 1.99 3/183 8190
/proc/meminfo: memFree=30481140/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=159.91 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 123063 932884 0 0 351 70 14921 649 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=8182] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/loadavg: 2.00 2.05 2.02 3/184 10982
/proc/meminfo: memFree=30478272/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=1421.48 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 1074855 8291474 0 0 2539 385 133742 5482 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=10981] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10981/stat : 10981 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288393410 9367552 266 33554432000 4194304 5064252 140736692715264 140736692714176 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10981/statm: 2287 266 226 213 0 72 0
[pid=10982] ppid=10981 vsize=93872 CPUtime=0.49 cores=1,3,5,7
/proc/10982/stat : 10982 (glucose) R 10981 7833 30917 0 -1 4202496 17451 0 0 0 45 4 0 0 20 0 1 0 288393411 96124928 20101 33554432000 4194304 5208918 140736910359808 140736692714200 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10982/statm: 23468 20101 95 248 0 23217 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 159376

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/183 11112
/proc/meminfo: memFree=30507984/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=1481.65 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 1120359 8640984 0 0 2645 399 139405 5716 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 56356

[startup+1542.31 s]
/proc/loadavg: 1.96 2.02 2.00 3/183 11249
/proc/meminfo: memFree=30523420/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=1541.83 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 1165863 8990272 0 0 2750 413 145067 5953 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=11248] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11248/stat : 11248 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288405445 9367552 267 33554432000 4194304 5064252 140737421640880 140737421639792 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11248/statm: 2287 267 226 213 0 72 0
[pid=11249] ppid=11248 vsize=89244 CPUtime=0.14 cores=1,3,5,7
/proc/11249/stat : 11249 (glucose) R 11248 7833 30917 0 -1 4202496 15788 0 0 0 11 3 0 0 20 0 1 0 288405445 91385856 18372 33554432000 4194304 5208918 140736549619520 140737421639816 4237125 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11249/statm: 22311 18373 70 248 0 22060 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 154748

[startup+1602.3 s]
/proc/loadavg: 1.98 2.01 2.00 3/183 11375
/proc/meminfo: memFree=30474564/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=1601.69 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 1207582 9332424 0 0 2846 428 150726 6169 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250790912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 56356

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 11508
/proc/meminfo: memFree=30474404/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=1657.76 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 1253079 9665200 0 0 2951 442 155985 6398 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=11507] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11507/stat : 11507 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288417038 9367552 267 33554432000 4194304 5064252 140733716654368 140733716653280 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11507/statm: 2287 267 226 213 0 72 0
[pid=11508] ppid=11507 vsize=95740 CPUtime=4.21 cores=1,3,5,7
/proc/11508/stat : 11508 (glucose) R 11507 7833 30917 0 -1 4202496 19367 0 0 0 416 5 0 0 20 0 1 0 288417038 98037760 20873 33554432000 4194304 5208918 140736696674128 140736696671976 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11508/statm: 23935 20873 104 248 0 23684 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 161244

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 11707
/proc/meminfo: memFree=30481192/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=1718.09 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 1298583 10015064 0 0 3055 457 161677 6620 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=11702] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11702/stat : 11702 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288423072 9367552 267 33554432000 4194304 5064252 140734096127664 140734096126576 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11702/statm: 2287 267 226 213 0 72 0
[pid=11703] ppid=11702 vsize=94800 CPUtime=3.87 cores=1,3,5,7
/proc/11703/stat : 11703 (glucose) R 11702 7833 30917 0 -1 4202496 18937 0 0 0 383 4 0 0 20 0 1 0 288423072 97075200 20484 33554432000 4194304 5208918 140736605766256 140736605764408 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11703/statm: 23700 20484 104 248 0 23449 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 160304

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 11862
/proc/meminfo: memFree=30481588/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=1778.47 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 1344087 10369921 0 0 3160 472 167371 6844 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=11854] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11854/stat : 11854 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288429110 9367552 266 33554432000 4194304 5064252 140734248128416 140734248127328 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11854/statm: 2287 266 226 213 0 72 0
[pid=11855] ppid=11854 vsize=94404 CPUtime=3.49 cores=1,3,5,7
/proc/11855/stat : 11855 (glucose) R 11854 7833 30917 0 -1 4202496 18855 0 0 0 345 4 0 0 20 0 1 0 288429110 96669696 20380 33554432000 4194304 5208918 140733223928496 140733223926344 4228924 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11855/statm: 23601 20380 104 248 0 23350 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 159908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 11911
/proc/meminfo: memFree=30484468/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=1798.61 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 1359255 10487072 0 0 3195 477 169269 6920 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=11910] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11910/stat : 11910 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288431126 9367552 266 33554432000 4194304 5064252 140736498676656 140736498675568 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11910/statm: 2287 266 226 213 0 72 0
[pid=11911] ppid=11910 vsize=94004 CPUtime=1.43 cores=1,3,5,7
/proc/11911/stat : 11911 (glucose) R 11910 7833 30917 0 -1 4202496 17868 0 0 0 140 3 0 0 20 0 1 0 288431126 96260096 20118 33554432000 4194304 5208918 140734842927456 140734842925416 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11911/statm: 23501 20118 103 248 0 23250 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 159508

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 11911
/proc/meminfo: memFree=30484468/32873844 swapFree=7108/7108
[pid=7833] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7833/stat : 7833 (npSolver-wbo-It) S 7831 7833 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288251230 9367552 275 33554432000 4194304 5064252 140736075574752 140736075573664 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7833/statm: 2287 275 233 213 0 72 0
[pid=7834] ppid=7833 vsize=47208 CPUtime=1798.61 cores=1,3,5,7
/proc/7834/stat : 7834 (npSolver-wbo) S 7833 7833 30917 0 -1 4202496 1359255 10487072 0 0 3195 477 169269 6920 20 0 1 0 288251231 48340992 9885 33554432000 4194304 5990268 140735250800016 140735250791424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7834/statm: 11802 9885 181 439 0 11359 0
[pid=11910] ppid=7834 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11910/stat : 11910 (satsolver.sh) S 7834 7833 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288431126 9367552 266 33554432000 4194304 5064252 140736498676656 140736498675568 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11910/statm: 2287 266 226 213 0 72 0
[pid=11911] ppid=11910 vsize=94004 CPUtime=1.43 cores=1,3,5,7
/proc/11911/stat : 11911 (glucose) R 11910 7833 30917 0 -1 4202496 17868 0 0 0 140 3 0 0 20 0 1 0 288431126 96260096 20118 33554432000 4194304 5208918 140734842927456 140734842925416 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11911/statm: 23501 20118 103 248 0 23250 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 159508

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7833 and gives
#  childrusage.ru_utime.tv_sec=1724
#  childrusage.ru_utime.tv_usec=651813
#  childrusage.ru_stime.tv_sec=73
#  childrusage.ru_stime.tv_usec=982752
# CPU time returned by wait4() is 1798.63
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1726.04
CPU system time (s): 74
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 263000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1724.65
system time used= 73.9828
maximum resident set size= 209740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11847303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11176392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 273153
involuntary context switches= 7416

runsolver used 4.00339 second user time and 10.1924 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 18:07:07
IDJOB=3715293
IDBENCH=79170
IDSOLVER=2297
FILE ID=node103/3715293-1338221226
RUNJOBID= node103-1338193626-30934
PBS_JOBID= 14624588
Free space on /tmp= 71536 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715293-1338221226/watcher-3715293-1338221226 -o /tmp/evaluation-result-3715293-1338221226/solver-3715293-1338221226 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715293-1338221226.wbo 956629371 HOME HOME

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

MD5SUM BENCH= 4a1855bab5ee86d15b24a1b5f3713388
RANDOM SEED=956629371

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30626236 kB
Buffers:          663076 kB
Cached:           651312 kB
SwapCached:         4492 kB
Active:          1025640 kB
Inactive:         364520 kB
Active(anon):      64680 kB
Inactive(anon):     6216 kB
Active(file):     960960 kB
Inactive(file):   358304 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099580 kB
Dirty:             13540 kB
Writeback:             0 kB
AnonPages:         82644 kB
Mapped:            12740 kB
Shmem:                 8 kB
Slab:             718372 kB
SReclaimable:     159824 kB
SUnreclaim:       558548 kB
KernelStack:        1520 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     195760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 71508 MiB
End job on node103 at 2012-05-28 18:37:07