Trace number 3715974

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.11 1804.41

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
MD5SUM169186b65db4bc0391cc8aa4ed776345
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.047992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1050
Total number of constraints65
Number of soft constraints65
Number of constraints which are clauses35
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 3654
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3653
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
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.04	c run usual solver
0.00/0.36	o 1587
0.00/0.36	c starting approximation
0.00/0.36	c factor = 2
0.00/0.36	c current bound: 793
5.28/5.37	c current bound: 793
10.15/10.25	c current bound: 793
14.92/15.11	c current bound: 793
19.90/20.11	c current bound: 793
24.97/25.10	c current bound: 793
29.68/29.88	c current bound: 793
34.46/34.67	c current bound: 793
39.26/39.50	c current bound: 793
44.19/44.40	c current bound: 793
49.04/49.24	c current bound: 793
53.84/54.04	c current bound: 793
58.65/58.86	c current bound: 793
63.57/63.75	c current bound: 793
68.36/68.63	c current bound: 793
73.24/73.51	c current bound: 793
78.05/78.32	c current bound: 793
82.80/83.08	c current bound: 793
87.69/87.98	c current bound: 793
92.49/92.77	c current bound: 793
97.32/97.61	c current bound: 793
102.12/102.41	c current bound: 793
107.04/107.38	c current bound: 793
111.84/112.20	c current bound: 793
116.64/116.98	c current bound: 793
121.41/121.75	c current bound: 793
126.23/126.57	c current bound: 793
131.22/131.59	c current bound: 793
136.08/136.43	c current bound: 793
140.87/141.20	c current bound: 793
145.63/145.99	c current bound: 793
150.49/150.83	c current bound: 793
155.28/155.63	c current bound: 793
160.12/160.48	c current bound: 793
164.93/165.28	c current bound: 793
169.68/170.04	c current bound: 793
174.63/175.03	c current bound: 793
179.65/180.03	c current bound: 793
184.42/184.89	c current bound: 793
189.30/189.76	c current bound: 793
194.10/194.56	c current bound: 793
198.89/199.36	c current bound: 793
203.93/204.40	c current bound: 793
208.73/209.28	c current bound: 793
213.56/214.17	c current bound: 793
218.34/218.94	c current bound: 793
223.27/223.96	c current bound: 793
228.20/228.88	c current bound: 793
233.13/233.86	c current bound: 793
237.93/238.69	c current bound: 793
242.72/243.46	c current bound: 793
247.62/248.38	c current bound: 793
252.59/253.40	c current bound: 793
257.49/258.31	c current bound: 793
262.29/263.18	c current bound: 793
267.16/268.03	c current bound: 793
272.02/272.90	c current bound: 793
276.92/277.81	c current bound: 793
281.79/282.66	c current bound: 793
286.70/287.50	c current bound: 793
291.46/292.33	c current bound: 793
296.37/297.24	c current bound: 793
301.28/302.27	c current bound: 793
306.10/307.09	c current bound: 793
310.89/311.89	c current bound: 793
315.87/316.93	c current bound: 793
320.69/321.75	c current bound: 793
325.61/326.63	c current bound: 793
330.35/331.42	c current bound: 793
335.20/336.27	c current bound: 793
340.04/341.10	c current bound: 793
344.96/346.02	c current bound: 793
349.81/350.86	c current bound: 793
354.71/355.70	c current bound: 793
359.59/360.67	c current bound: 793
364.37/365.44	c current bound: 793
369.26/370.33	c current bound: 793
374.22/375.38	c current bound: 793
379.06/380.22	c current bound: 793
383.88/385.04	c current bound: 793
388.69/389.85	c current bound: 793
393.49/394.65	c current bound: 793
398.31/399.47	c current bound: 793
403.08/404.25	c current bound: 793
407.91/409.00	c current bound: 793
412.71/413.88	c current bound: 793
417.51/418.72	c current bound: 793
422.45/423.67	c current bound: 793
427.37/428.66	c current bound: 793
432.20/433.49	c current bound: 793
436.99/438.30	c current bound: 793
441.85/443.15	c current bound: 793
446.83/448.18	c current bound: 793
451.66/453.02	c current bound: 793
456.61/457.96	c current bound: 793
461.54/462.96	c current bound: 793
466.38/467.80	c current bound: 793
471.25/472.69	c current bound: 793
476.06/477.49	c current bound: 793
480.83/482.28	c current bound: 793
485.65/487.09	c current bound: 793
490.59/492.01	c current bound: 793
495.40/496.82	c current bound: 793
500.28/501.71	c current bound: 793
505.11/506.54	c current bound: 793
510.04/511.45	c current bound: 793
514.90/516.33	c current bound: 793
519.76/521.26	c current bound: 793
524.78/526.27	c current bound: 793
529.64/531.14	c current bound: 793
534.64/536.14	c current bound: 793
539.47/540.99	c current bound: 793
544.32/545.81	c current bound: 793
549.13/550.63	c current bound: 793
553.97/555.47	c current bound: 793
558.82/560.31	c current bound: 793
563.63/565.14	c current bound: 793
568.54/570.04	c current bound: 793
573.34/574.85	c current bound: 793
578.18/579.67	c current bound: 793
583.08/584.65	c current bound: 793
587.90/589.47	c current bound: 793
592.71/594.29	c current bound: 793
597.57/599.15	c current bound: 793
602.35/603.92	c current bound: 793
607.20/608.77	c current bound: 793
611.99/613.59	c current bound: 793
616.87/618.45	c current bound: 793
621.75/623.32	c current bound: 793
626.63/628.21	c current bound: 793
631.48/633.05	c current bound: 793
636.25/637.82	c current bound: 793
641.08/642.69	c current bound: 793
645.88/647.46	c current bound: 793
650.59/652.19	c current bound: 793
655.49/657.00	c current bound: 793
660.39/661.99	c current bound: 793
665.24/666.84	c current bound: 793
670.18/671.79	c current bound: 793
675.02/676.61	c current bound: 793
679.82/681.41	c current bound: 793
684.64/686.23	c current bound: 793
689.56/691.14	c current bound: 793
694.53/696.12	c current bound: 793
699.35/700.94	c current bound: 793
704.17/705.78	c current bound: 793
709.08/710.67	c current bound: 793
713.86/715.45	c current bound: 793
718.72/720.33	c current bound: 793
723.53/725.12	c current bound: 793
728.33/729.93	c current bound: 793
733.06/734.69	c current bound: 793
737.92/739.52	c current bound: 793
742.92/744.51	c current bound: 793
747.72/749.37	c current bound: 793
752.58/754.23	c current bound: 793
757.36/759.01	c current bound: 793
762.15/763.81	c current bound: 793
766.99/768.65	c current bound: 793
771.80/773.49	c current bound: 793
776.66/778.34	c current bound: 793
781.49/783.15	c current bound: 793
786.29/787.99	c current bound: 793
791.09/792.77	c current bound: 793
796.00/797.60	c current bound: 793
800.78/802.47	c current bound: 793
805.69/807.38	c current bound: 793
810.47/812.19	c current bound: 793
815.28/816.97	c current bound: 793
820.12/821.81	c current bound: 793
824.97/826.66	c current bound: 793
829.77/831.47	c current bound: 793
834.55/836.24	c current bound: 793
839.45/841.13	c current bound: 793
844.26/845.95	c current bound: 793
849.05/850.74	c current bound: 793
853.79/855.49	c current bound: 793
858.65/860.35	c current bound: 793
863.38/865.10	c current bound: 793
868.15/869.86	c current bound: 793
873.02/874.72	c current bound: 793
877.83/879.53	c current bound: 793
882.67/884.37	c current bound: 793
887.46/889.16	c current bound: 793
892.26/893.96	c current bound: 793
897.07/898.77	c current bound: 793
901.98/903.67	c current bound: 793
906.77/908.50	c current bound: 793
911.56/913.27	c current bound: 793
916.36/918.08	c current bound: 793
921.27/922.98	c current bound: 793
926.06/927.84	c current bound: 793
930.90/932.68	c current bound: 793
935.74/937.52	c current bound: 793
940.55/942.33	c current bound: 793
945.32/947.11	c current bound: 793
950.13/951.92	c current bound: 793
954.97/956.76	c current bound: 793
959.78/961.59	c current bound: 793
964.68/966.46	c current bound: 793
969.65/971.44	c current bound: 793
974.58/976.42	c current bound: 793
979.32/981.18	c current bound: 793
984.27/986.12	c current bound: 793
989.02/990.87	c current bound: 793
993.85/995.71	c current bound: 793
998.78/1000.70	c current bound: 793
1003.62/1005.55	c current bound: 793
1008.63/1010.56	c current bound: 793
1013.45/1015.39	c current bound: 793
1018.24/1020.19	c current bound: 793
1023.09/1025.02	c current bound: 793
1028.09/1030.02	c current bound: 793
1033.12/1035.08	c current bound: 793
1037.90/1039.92	c current bound: 793
1042.76/1044.70	c current bound: 793
1047.52/1049.54	c current bound: 793
1052.35/1054.38	c current bound: 793
1057.25/1059.28	c current bound: 793
1062.09/1064.13	c current bound: 793
1066.91/1068.96	c current bound: 793
1071.69/1073.74	c current bound: 793
1076.62/1078.69	c current bound: 793
1081.51/1083.57	c current bound: 793
1086.28/1088.34	c current bound: 793
1091.16/1093.21	c current bound: 793
1096.01/1098.07	c current bound: 793
1100.86/1102.92	c current bound: 793
1105.77/1107.83	c current bound: 793
1110.61/1112.67	c current bound: 793
1115.40/1117.49	c current bound: 793
1120.20/1122.29	c current bound: 793
1125.10/1127.17	c current bound: 793
1130.03/1132.17	c current bound: 793
1135.03/1137.38	c current bound: 793
1139.79/1142.22	c current bound: 793
1144.69/1147.11	c current bound: 793
1149.65/1152.11	c current bound: 793
1154.51/1157.03	c current bound: 793
1159.34/1161.86	c current bound: 793
1164.21/1166.74	c current bound: 793
1169.09/1171.67	c current bound: 793
1173.92/1176.50	c current bound: 793
1178.85/1181.52	c current bound: 793
1183.65/1186.31	c current bound: 793
1188.60/1191.22	c current bound: 793
1193.34/1196.02	c current bound: 793
1198.15/1200.82	c current bound: 793
1202.95/1205.63	c current bound: 793
1207.81/1210.49	c current bound: 793
1212.65/1215.33	c current bound: 793
1217.40/1220.08	c current bound: 793
1222.21/1224.89	c current bound: 793
1227.00/1229.69	c current bound: 793
1232.07/1234.74	c current bound: 793
1237.00/1239.67	c current bound: 793
1241.86/1244.55	c current bound: 793
1246.74/1249.44	c current bound: 793
1251.54/1254.24	c current bound: 793
1256.32/1259.02	c current bound: 793
1261.16/1263.83	c current bound: 793
1265.94/1268.65	c current bound: 793
1270.76/1273.48	c current bound: 793
1275.60/1278.32	c current bound: 793
1280.56/1283.20	c current bound: 793
1285.33/1288.11	c current bound: 793
1290.09/1292.88	c current bound: 793
1294.88/1297.66	c current bound: 793
1299.65/1302.45	c current bound: 793
1304.56/1307.42	c current bound: 793
1309.44/1312.31	c current bound: 793
1314.27/1317.20	c current bound: 793
1319.12/1322.08	c current bound: 793
1324.12/1327.11	c current bound: 793
1328.98/1331.97	c current bound: 793
1333.78/1336.79	c current bound: 793
1338.60/1341.61	c current bound: 793
1343.65/1346.65	c current bound: 793
1348.39/1351.48	c current bound: 793
1353.18/1356.30	c current bound: 793
1358.07/1361.16	c current bound: 793
1362.97/1366.06	c current bound: 793
1367.87/1370.95	c current bound: 793
1372.76/1375.84	c current bound: 793
1377.52/1380.75	c current bound: 793
1382.38/1385.62	c current bound: 793
1387.23/1390.45	c current bound: 793
1392.23/1395.46	c current bound: 793
1397.05/1400.26	c current bound: 793
1402.02/1405.23	c current bound: 793
1406.92/1410.28	c current bound: 793
1411.77/1415.13	c current bound: 793
1416.53/1419.90	c current bound: 793
1421.39/1424.75	c current bound: 793
1426.25/1429.63	c current bound: 793
1431.25/1434.62	c current bound: 793
1436.13/1439.50	c current bound: 793
1441.10/1444.48	c current bound: 793
1445.93/1449.32	c current bound: 793
1450.79/1454.18	c current bound: 793
1455.69/1459.00	c current bound: 793
1460.38/1463.79	c current bound: 793
1465.26/1468.65	c current bound: 793
1470.13/1473.53	c current bound: 793
1474.97/1478.32	c current bound: 793
1479.93/1483.34	c current bound: 793
1484.76/1488.16	c current bound: 793
1489.60/1493.02	c current bound: 793
1494.63/1498.11	c current bound: 793
1499.33/1502.90	c current bound: 793
1504.19/1507.74	c current bound: 793
1509.02/1512.57	c current bound: 793
1513.80/1517.35	c current bound: 793
1518.67/1522.23	c current bound: 793
1523.45/1527.08	c current bound: 793
1528.37/1531.90	c current bound: 793
1533.11/1536.73	c current bound: 793
1537.96/1541.57	c current bound: 793
1542.73/1546.36	c current bound: 793
1547.61/1551.24	c current bound: 793
1552.40/1556.03	c current bound: 793
1557.25/1560.84	c current bound: 793
1562.16/1565.88	c current bound: 793
1567.10/1570.83	c current bound: 793
1571.92/1575.71	c current bound: 793
1576.75/1580.54	c current bound: 793
1581.64/1585.43	c current bound: 793
1586.52/1590.35	c current bound: 793
1591.32/1595.19	c current bound: 793
1596.22/1600.05	c current bound: 793
1601.03/1604.86	c current bound: 793
1605.89/1609.74	c current bound: 793
1610.71/1614.55	c current bound: 793
1615.50/1619.35	c current bound: 793
1620.30/1624.15	c current bound: 793
1625.29/1629.15	c current bound: 793
1630.15/1634.14	c current bound: 793
1634.99/1639.00	c current bound: 793
1639.98/1643.97	c current bound: 793
1644.90/1648.81	c current bound: 793
1649.65/1653.64	c current bound: 793
1654.58/1658.65	c current bound: 793
1659.51/1663.50	c current bound: 793
1664.30/1668.39	c current bound: 793
1669.30/1673.36	c current bound: 793
1674.04/1678.18	c current bound: 793
1678.98/1683.12	c current bound: 793
1683.92/1688.15	c current bound: 793
1688.79/1693.02	c current bound: 793
1693.61/1697.85	c current bound: 793
1698.59/1702.87	c current bound: 793
1703.33/1707.68	c current bound: 793
1708.39/1712.72	c current bound: 793
1713.41/1717.72	c current bound: 793
1718.18/1722.58	c current bound: 793
1722.98/1727.39	c current bound: 793
1727.85/1732.25	c current bound: 793
1732.62/1737.03	c current bound: 793
1737.43/1741.83	c current bound: 793
1742.38/1746.75	c current bound: 793
1747.16/1751.56	c current bound: 793
1751.99/1756.38	c current bound: 793
1756.78/1761.20	c current bound: 793
1761.64/1766.04	c current bound: 793
1766.42/1770.81	c current bound: 793
1771.24/1775.65	c current bound: 793
1776.08/1780.47	c current bound: 793
1781.01/1785.40	c current bound: 793
1785.83/1790.23	c current bound: 793
1790.76/1795.11	c current bound: 793
1795.53/1799.94	c current bound: 793
1800.07/1804.40	./satsolver.sh: line 5:  8583 Terminated              ./glucose $1 > $2 2> /dev/null
1800.07/1804.41	c error: unexpected solver exit code
1800.07/1804.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-3715974-1338223072/watcher-3715974-1338223072 -o /tmp/evaluation-result-3715974-1338223072/solver-3715974-1338223072 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715974-1338223072.wbo 552099123 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.04 1.97 3/179 4816
/proc/meminfo: memFree=28580080/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0

[startup+0.0306859 s]
/proc/loadavg: 2.05 2.04 1.97 3/179 4816
/proc/meminfo: memFree=28580080/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100241 s]
/proc/loadavg: 2.05 2.04 1.97 3/179 4816
/proc/meminfo: memFree=28580080/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300311 s]
/proc/loadavg: 2.05 2.04 1.97 3/179 4816
/proc/meminfo: memFree=28580080/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700271 s]
/proc/loadavg: 2.05 2.04 1.97 3/179 4816
/proc/meminfo: memFree=28580080/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.05 2.04 1.97 3/183 4830
/proc/meminfo: memFree=28544516/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=6028 CPUtime=0.37 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 2274 8983 0 0 6 2 24 5 20 0 1 0 288432133 6172672 966 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4817/statm: 1507 966 179 439 0 1064 0
[pid=4829] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4829/stat : 4829 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288432171 9367552 267 33554432000 4194304 5064252 140734694883760 140734694882672 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4829/statm: 2287 267 226 213 0 72 0
[pid=4830] ppid=4829 vsize=18192 CPUtime=1.1 cores=1,3,5,7
/proc/4830/stat : 4830 (glucose) R 4829 4816 2978 0 -1 4202496 4621 0 0 0 110 0 0 0 20 0 1 0 288432171 18628608 3902 33554432000 4194304 5208918 140733251933616 140733251931768 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4830/statm: 4548 3902 96 248 0 4297 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42516

[startup+3.10043 s]
/proc/loadavg: 2.05 2.04 1.97 3/183 4830
/proc/meminfo: memFree=28543324/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=6028 CPUtime=0.37 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 2274 8983 0 0 6 2 24 5 20 0 1 0 288432133 6172672 966 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4817/statm: 1507 966 179 439 0 1064 0
[pid=4829] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4829/stat : 4829 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288432171 9367552 267 33554432000 4194304 5064252 140734694883760 140734694882672 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4829/statm: 2287 267 226 213 0 72 0
[pid=4830] ppid=4829 vsize=18588 CPUtime=2.7 cores=1,3,5,7
/proc/4830/stat : 4830 (glucose) R 4829 4816 2978 0 -1 4202496 5913 0 0 0 269 1 0 0 20 0 1 0 288432171 19034112 4063 33554432000 4194304 5208918 140733251933616 140733251931464 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4830/statm: 4647 4063 96 248 0 4396 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 42912

[startup+6.30033 s]
/proc/loadavg: 2.05 2.04 1.97 3/183 4837
/proc/meminfo: memFree=28554372/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=5.37 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 3304 20261 0 0 8 2 517 10 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=4836] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4836/stat : 4836 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288432672 9367552 266 33554432000 4194304 5064252 140736490483488 140736490482400 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4836/statm: 2287 266 226 213 0 72 0
[pid=4837] ppid=4836 vsize=16512 CPUtime=0.89 cores=1,3,5,7
/proc/4837/stat : 4837 (glucose) R 4836 4816 2978 0 -1 4202496 4356 0 0 0 89 0 0 0 20 0 1 0 288432672 16908288 3764 33554432000 4194304 5208918 140734107407152 140736490482424 4211550 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4837/statm: 4128 3764 96 248 0 3877 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 42372

[startup+12.7003 s]
/proc/loadavg: 2.12 2.06 1.97 3/183 4844
/proc/meminfo: memFree=28537316/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=10.25 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 4334 31284 0 0 10 3 997 15 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=4843] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4843/stat : 4843 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288433160 9367552 266 33554432000 4194304 5064252 140734556855792 140734556854704 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4843/statm: 2287 266 226 213 0 72 0
[pid=4844] ppid=4843 vsize=21172 CPUtime=2.32 cores=1,3,5,7
/proc/4844/stat : 4844 (glucose) R 4843 4816 2978 0 -1 4202496 4983 0 0 0 231 1 0 0 20 0 1 0 288433160 21680128 4769 33554432000 4194304 5208918 140734648046560 140734648044408 4229347 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/4844/statm: 5293 4769 96 248 0 5042 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 47032

[startup+25.5003 s]
/proc/loadavg: 2.10 2.05 1.97 3/183 4865
/proc/meminfo: memFree=28527848/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=25 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 7424 63592 0 0 16 4 2449 31 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=4864] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4864/stat : 4864 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288434645 9367552 266 33554432000 4194304 5064252 140735570693392 140735570692304 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4864/statm: 2287 266 226 213 0 72 0
[pid=4865] ppid=4864 vsize=17928 CPUtime=0.36 cores=1,3,5,7
/proc/4865/stat : 4865 (glucose) R 4864 4816 2978 0 -1 4202496 3365 0 0 0 36 0 0 0 20 0 1 0 288434645 18358272 3729 33554432000 4194304 5208918 140736015357136 140736015355096 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4865/statm: 4482 3729 95 248 0 4231 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 43788

[startup+51.1003 s]
/proc/loadavg: 2.13 2.06 1.98 3/183 4901
/proc/meminfo: memFree=28524592/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=49.14 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 12574 116806 0 0 26 6 4823 59 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=4900] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4900/stat : 4900 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288437059 9367552 266 33554432000 4194304 5064252 140733604924624 140733604923536 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4900/statm: 2287 266 226 213 0 72 0
[pid=4901] ppid=4900 vsize=21176 CPUtime=1.82 cores=1,3,5,7
/proc/4901/stat : 4901 (glucose) R 4900 4816 2978 0 -1 4202496 4414 0 0 0 181 1 0 0 20 0 1 0 288437060 21684224 4904 33554432000 4194304 5208918 140734074831840 140734074829992 4212476 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 5294 4904 96 248 0 5043 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 47036

[startup+102.307 s]
/proc/loadavg: 2.12 2.07 1.98 3/183 4978
/proc/meminfo: memFree=28566356/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=97.43 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 22874 217362 0 0 45 10 9572 116 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=4977] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4977/stat : 4977 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288441896 9367552 266 33554432000 4194304 5064252 140733804817488 140733804816400 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4977/statm: 2287 266 226 213 0 72 0
[pid=4978] ppid=4977 vsize=25680 CPUtime=4.66 cores=1,3,5,7
/proc/4978/stat : 4978 (glucose) R 4977 4816 2978 0 -1 4202496 6330 0 0 0 465 1 0 0 20 0 1 0 288441897 26296320 6064 33554432000 4194304 5208918 140735724859984 140735724857928 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4978/statm: 6420 6064 104 248 0 6169 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 51540

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 1.98 3/184 5072
/proc/meminfo: memFree=28528508/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=160.24 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 36264 348019 0 0 71 16 15752 185 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=5071] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 6882
/proc/meminfo: memFree=28526036/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=1358.18 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 290674 2936243 0 0 559 123 133577 1559 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 21 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=6881] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6881/stat : 6881 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288568251 9367552 266 33554432000 4194304 5064252 140736407137408 140736407136320 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6881/statm: 2287 266 226 213 0 72 0
[pid=6882] ppid=6881 vsize=18196 CPUtime=1.1 cores=1,3,5,7
/proc/6882/stat : 6882 (glucose) R 6881 4816 2978 0 -1 4202496 3949 0 0 0 110 0 0 0 20 0 1 0 288568251 18632704 3929 33554432000 4194304 5208918 140733533820464 140733533818424 4212508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6882/statm: 4549 3929 96 248 0 4298 0
Current children cumulated CPU time (s) 1359.28
Current children cumulated vsize (KiB) 44056

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6997
/proc/meminfo: memFree=28524188/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=1416.65 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 303034 3061021 0 0 583 129 139326 1627 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 33 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=6996] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6996/stat : 6996 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288574126 9367552 267 33554432000 4194304 5064252 140735641232016 140735641230928 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6996/statm: 2287 267 226 213 0 72 0
[pid=6997] ppid=6996 vsize=21316 CPUtime=2.37 cores=1,3,5,7
/proc/6997/stat : 6997 (glucose) R 6996 4816 2978 0 -1 4202496 5342 0 0 0 236 1 0 0 20 0 1 0 288574126 21827584 4782 33554432000 4194304 5208918 140737407858400 140737407856248 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6997/statm: 5329 4782 96 248 0 5078 0
Current children cumulated CPU time (s) 1419.02
Current children cumulated vsize (KiB) 47176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7081
/proc/meminfo: memFree=28519244/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=1475.03 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 315394 3186959 0 0 606 134 145072 1691 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 33 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=7080] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7080/stat : 7080 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288579967 9367552 267 33554432000 4194304 5064252 140736503838000 140736503836912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7080/statm: 2287 267 226 213 0 72 0
[pid=7081] ppid=7080 vsize=25684 CPUtime=3.94 cores=1,3,5,7
/proc/7081/stat : 7081 (glucose) R 7080 4816 2978 0 -1 4202496 6310 0 0 0 393 1 0 0 20 0 1 0 288579968 26300416 6017 33554432000 4194304 5208918 140733873471232 140733873469320 4211897 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7081/statm: 6421 6017 96 248 0 6170 0
Current children cumulated CPU time (s) 1478.97
Current children cumulated vsize (KiB) 51544

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7179
/proc/meminfo: memFree=28525908/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=1538.07 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 328784 3325656 0 0 632 140 151271 1764 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 35 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=7178] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7178/stat : 7178 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 288586293 9367552 266 33554432000 4194304 5064252 140733957656400 140733957655312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7178/statm: 2287 266 226 213 0 72 0
[pid=7179] ppid=7178 vsize=16380 CPUtime=0.69 cores=1,3,5,7
/proc/7179/stat : 7179 (glucose) R 7178 4816 2978 0 -1 4202496 4200 0 0 0 68 1 0 0 20 0 1 0 288586293 16773120 3643 33554432000 4194304 5208918 140734413905712 140733957655336 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7179/statm: 4095 3643 96 248 0 3844 0
Current children cumulated CPU time (s) 1538.76
Current children cumulated vsize (KiB) 42240

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 7264
/proc/meminfo: memFree=28522828/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=1596.32 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 341144 3448271 0 0 655 146 157002 1829 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 37 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=7263] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7263/stat : 7263 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288592141 9367552 267 33554432000 4194304 5064252 140734912597696 140734912596608 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7263/statm: 2287 267 226 213 0 72 0
[pid=7264] ppid=7263 vsize=21176 CPUtime=2.21 cores=1,3,5,7
/proc/7264/stat : 7264 (glucose) R 7263 4816 2978 0 -1 4202496 4344 0 0 0 221 0 0 0 20 0 1 0 288592141 21684224 4852 33554432000 4194304 5208918 140734346958992 140734346957144 4229538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7264/statm: 5294 4852 96 248 0 5043 0
Current children cumulated CPU time (s) 1598.53
Current children cumulated vsize (KiB) 47036

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7355
/proc/meminfo: memFree=28518172/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=1654.69 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 353504 3576711 0 0 679 152 162743 1895 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 37 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=7354] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7354/stat : 7354 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288598000 9367552 267 33554432000 4194304 5064252 140736992404432 140736992403344 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7354/statm: 2287 267 226 213 0 72 0
[pid=7355] ppid=7354 vsize=25684 CPUtime=3.62 cores=1,3,5,7
/proc/7355/stat : 7355 (glucose) R 7354 4816 2978 0 -1 4202496 6299 0 0 0 361 1 0 0 20 0 1 0 288598000 26300416 6023 33554432000 4194304 5208918 140734728235840 140734728233928 4211580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7355/statm: 6421 6023 96 248 0 6170 0
Current children cumulated CPU time (s) 1658.31
Current children cumulated vsize (KiB) 51544

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 7439
/proc/meminfo: memFree=28516028/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=1713.44 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 365864 3704647 0 0 703 156 168525 1960 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 37 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=7438] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7438/stat : 7438 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288603908 9367552 267 33554432000 4194304 5064252 140734479828752 140734479827664 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7438/statm: 2287 267 226 213 0 72 0
[pid=7439] ppid=7438 vsize=37180 CPUtime=4.54 cores=1,3,5,7
/proc/7439/stat : 7439 (glucose) R 7438 4816 2978 0 -1 4202496 6287 0 0 0 452 2 0 0 20 0 1 0 288603908 38072320 8182 33554432000 4194304 5208918 140736029222448 140736029220392 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7439/statm: 9295 8182 104 248 0 9044 0
Current children cumulated CPU time (s) 1717.98
Current children cumulated vsize (KiB) 63040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7937
/proc/meminfo: memFree=28737104/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=1776.19 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 379254 3840158 0 0 730 161 174693 2035 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 37 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=7889] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7889/stat : 7889 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288610183 9367552 266 33554432000 4194304 5064252 140736197951440 140736197950352 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7889/statm: 2287 266 226 213 0 72 0
[pid=7890] ppid=7889 vsize=21044 CPUtime=1.78 cores=1,3,5,7
/proc/7890/stat : 7890 (glucose) R 7889 4816 2978 0 -1 4202496 4411 0 0 0 178 0 0 0 20 0 1 0 288610183 21549056 4901 33554432000 4194304 5208918 140736175008880 140736175006968 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7890/statm: 5261 4901 96 248 0 5010 0
Current children cumulated CPU time (s) 1777.97
Current children cumulated vsize (KiB) 46904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8733
/proc/meminfo: memFree=28715396/32873844 swapFree=6856/6856
[pid=4816] ppid=4814 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4816/stat : 4816 (npSolver-wbo-It) S 4814 4816 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288432132 9367552 274 33554432000 4194304 5064252 140736577184288 140736577183200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4816/statm: 2287 274 233 213 0 72 0
[pid=4817] ppid=4816 vsize=7564 CPUtime=1795.64 cores=1,3,5,7
/proc/4817/stat : 4817 (npSolver-wbo) S 4816 4816 2978 0 -1 4202496 383374 3883630 0 0 737 163 176606 2058 20 0 1 0 288432133 7745536 1351 33554432000 4194304 5990268 140736532920976 140736532912384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 37 0 0
/proc/4817/statm: 1891 1351 180 439 0 1448 0
[pid=8582] ppid=4817 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8582/stat : 8582 (satsolver.sh) S 4817 4816 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288612129 9367552 266 33554432000 4194304 5064252 140735715860976 140735715859888 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8582/statm: 2287 266 226 213 0 72 0
[pid=8583] ppid=8582 vsize=37176 CPUtime=4.43 cores=1,3,5,7
/proc/8583/stat : 8583 (glucose) R 8582 4816 2978 0 -1 4202496 7309 0 0 0 442 1 0 0 20 0 1 0 288612129 38068224 8035 33554432000 4194304 5208918 140734517400608 140734517398600 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8583/statm: 9294 8035 96 248 0 9043 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 63036

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1804.41
CPU time (s): 1800.11
CPU user time (s): 1777.87
CPU system time (s): 22.2336
CPU usage (%): 99.7614
Max. virtual memory (cumulated for all children) (KiB): 63044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.87
system time used= 22.2336
maximum resident set size= 34596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4275303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1554384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32383
involuntary context switches= 6522

runsolver used 6.80996 second user time and 13.9429 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 18:37:52
IDJOB=3715974
IDBENCH=79184
IDSOLVER=2297
FILE ID=node144/3715974-1338223072
RUNJOBID= node144-1338192253-2995
PBS_JOBID= 14624577
Free space on /tmp= 71440 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30--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-3715974-1338223072/watcher-3715974-1338223072 -o /tmp/evaluation-result-3715974-1338223072/solver-3715974-1338223072 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715974-1338223072.wbo 552099123 HOME HOME

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

MD5SUM BENCH= 169186b65db4bc0391cc8aa4ed776345
RANDOM SEED=552099123

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28580824 kB
Buffers:          539824 kB
Cached:          2724872 kB
SwapCached:            0 kB
Active:          1244120 kB
Inactive:        2192000 kB
Active(anon):     168572 kB
Inactive(anon):        0 kB
Active(file):    1075548 kB
Inactive(file):  2192000 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             43672 kB
Writeback:             0 kB
AnonPages:        178332 kB
Mapped:            15452 kB
Shmem:               200 kB
Slab:             710024 kB
SReclaimable:     151848 kB
SUnreclaim:       558176 kB
KernelStack:        1520 kB
PageTables:         4264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     305380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 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= 71452 MiB
End job on node144 at 2012-05-28 19:07:57