Trace number 3715610

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.92 1806.22

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
MD5SUM404f4a35cd4ec5708f20e119eb7d26f2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark68.3836
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints899
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46329
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
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.02	c run usual solver
0.00/0.26	o 973
0.00/0.26	c starting approximation
0.00/0.26	c factor = 2
0.00/0.26	c factor still to low - shrinking to 2.68256
0.00/0.26	c approx number of clauses: 1e+06
0.00/0.26	c current bound: 486
4.51/4.78	c current bound: 486
9.03/9.31	c current bound: 486
13.57/13.86	c current bound: 486
18.10/18.39	c current bound: 486
23.07/23.18	c current bound: 486
27.42/27.71	c current bound: 486
31.92/32.20	c current bound: 486
36.45/36.74	c current bound: 486
40.98/41.28	c current bound: 486
45.50/45.81	c current bound: 486
50.02/50.31	c current bound: 486
54.34/54.64	c current bound: 486
58.88/59.18	c current bound: 486
63.65/63.72	c current bound: 486
68.14/68.26	c current bound: 486
72.64/72.72	c current bound: 486
76.94/77.24	c current bound: 486
81.45/81.76	c current bound: 486
85.98/86.29	c current bound: 486
90.49/90.82	c current bound: 486
95.06/95.36	c current bound: 486
99.56/99.88	c current bound: 486
104.32/104.43	c current bound: 486
108.92/109.00	c current bound: 486
113.22/113.67	c current bound: 486
117.77/118.21	c current bound: 486
122.22/122.67	c current bound: 486
126.75/127.21	c current bound: 486
131.25/131.70	c current bound: 486
135.77/136.23	c current bound: 486
140.49/140.76	c current bound: 486
144.88/145.12	c current bound: 486
149.45/149.93	c current bound: 486
153.51/154.26	c current bound: 486
158.06/158.79	c current bound: 486
162.47/163.21	c current bound: 486
166.99/167.73	c current bound: 486
171.47/172.21	c current bound: 486
176.00/176.76	c current bound: 486
181.00/181.58	c current bound: 486
185.36/186.12	c current bound: 486
189.90/190.66	c current bound: 486
194.24/194.99	c current bound: 486
198.77/199.54	c current bound: 486
203.15/203.91	c current bound: 486
207.69/208.45	c current bound: 486
212.11/212.88	c current bound: 486
216.65/217.41	c current bound: 486
221.16/221.92	c current bound: 486
225.68/226.47	c current bound: 486
230.47/231.02	c current bound: 486
234.79/235.57	c current bound: 486
239.35/240.12	c current bound: 486
243.76/244.53	c current bound: 486
248.31/249.08	c current bound: 486
252.69/253.48	c current bound: 486
257.20/257.98	c current bound: 486
261.69/262.47	c current bound: 486
266.22/267.00	c current bound: 486
270.74/271.53	c current bound: 486
275.46/276.06	c current bound: 486
280.05/280.60	c current bound: 486
284.35/284.92	c current bound: 486
288.84/289.45	c current bound: 486
293.14/293.98	c current bound: 486
297.66/298.52	c current bound: 486
302.12/302.97	c current bound: 486
306.67/307.51	c current bound: 486
311.14/311.99	c current bound: 486
315.67/316.53	c current bound: 486
320.19/321.04	c current bound: 486
324.89/325.58	c current bound: 486
329.48/330.13	c current bound: 486
333.89/334.53	c current bound: 486
338.18/339.06	c current bound: 486
342.57/343.45	c current bound: 486
347.12/347.99	c current bound: 486
351.57/352.46	c current bound: 486
356.12/356.99	c current bound: 486
360.63/361.51	c current bound: 486
365.16/366.05	c current bound: 486
369.90/370.63	c current bound: 486
374.02/374.99	c current bound: 486
378.79/379.52	c current bound: 486
383.19/383.96	c current bound: 486
387.54/388.51	c current bound: 486
391.99/392.96	c current bound: 486
396.79/397.50	c current bound: 486
401.03/401.99	c current bound: 486
405.53/406.55	c current bound: 486
410.08/411.09	c current bound: 486
414.60/415.62	c current bound: 486
419.32/420.17	c current bound: 486
423.72/424.51	c current bound: 486
428.21/429.04	c current bound: 486
432.61/433.48	c current bound: 486
436.96/438.14	c current bound: 486
441.44/442.61	c current bound: 486
445.97/447.16	c current bound: 486
450.49/451.68	c current bound: 486
455.03/456.22	c current bound: 486
459.56/460.75	c current bound: 486
463.83/465.03	c current bound: 486
468.39/469.58	c current bound: 486
472.76/473.96	c current bound: 486
477.52/478.51	c current bound: 486
481.92/482.97	c current bound: 486
486.27/487.52	c current bound: 486
490.77/492.02	c current bound: 486
495.30/496.55	c current bound: 486
499.85/501.09	c current bound: 486
504.38/505.63	c current bound: 486
508.92/510.29	c current bound: 486
513.28/514.66	c current bound: 486
518.08/519.21	c current bound: 486
522.48/523.62	c current bound: 486
526.79/528.18	c current bound: 486
531.24/532.63	c current bound: 486
535.80/537.17	c current bound: 486
540.30/541.68	c current bound: 486
544.84/546.46	c current bound: 486
549.63/551.10	c current bound: 486
554.22/555.64	c current bound: 486
558.55/560.19	c current bound: 486
562.90/564.54	c current bound: 486
567.44/569.08	c current bound: 486
571.87/573.51	c current bound: 486
576.41/578.06	c current bound: 486
580.90/582.54	c current bound: 486
585.44/587.09	c current bound: 486
589.96/591.63	c current bound: 486
594.72/596.18	c current bound: 486
599.30/600.73	c current bound: 486
603.61/605.04	c current bound: 486
608.22/609.60	c current bound: 486
612.33/613.99	c current bound: 486
616.86/618.51	c current bound: 486
621.38/623.04	c current bound: 486
626.22/627.60	c current bound: 486
630.72/632.10	c current bound: 486
634.96/636.63	c current bound: 486
639.51/641.18	c current bound: 486
644.30/645.73	c current bound: 486
648.69/650.36	c current bound: 486
653.51/654.90	c current bound: 486
657.78/659.44	c current bound: 486
662.32/663.98	c current bound: 486
666.86/668.52	c current bound: 486
671.42/673.09	c current bound: 486
676.20/677.64	c current bound: 486
680.68/682.17	c current bound: 486
685.07/686.73	c current bound: 486
689.60/691.28	c current bound: 486
694.15/695.83	c current bound: 486
698.71/700.37	c current bound: 486
703.25/704.92	c current bound: 486
707.99/709.48	c current bound: 486
712.59/714.04	c current bound: 486
716.92/718.58	c current bound: 486
721.32/723.00	c current bound: 486
725.88/727.56	c current bound: 486
730.40/732.07	c current bound: 486
734.92/736.60	c current bound: 486
739.76/741.20	c current bound: 486
744.23/745.76	c current bound: 486
748.84/750.32	c current bound: 486
753.14/754.69	c current bound: 486
757.53/759.26	c current bound: 486
762.13/763.67	c current bound: 486
766.48/768.22	c current bound: 486
770.99/772.86	c current bound: 486
775.54/777.42	c current bound: 486
780.07/781.95	c current bound: 486
784.88/786.51	c current bound: 486
789.39/791.06	c current bound: 486
793.69/795.36	c current bound: 486
798.29/799.90	c current bound: 486
802.68/804.30	c current bound: 486
806.97/809.05	c current bound: 486
811.38/813.48	c current bound: 486
815.96/818.05	c current bound: 486
820.52/822.61	c current bound: 486
825.08/827.15	c current bound: 486
829.77/831.70	c current bound: 486
834.37/836.26	c current bound: 486
838.70/840.79	c current bound: 486
843.08/845.16	c current bound: 486
847.63/849.83	c current bound: 486
852.02/854.22	c current bound: 486
856.55/858.76	c current bound: 486
861.00/863.22	c current bound: 486
865.56/867.77	c current bound: 486
870.07/872.29	c current bound: 486
874.87/876.86	c current bound: 486
879.18/881.39	c current bound: 486
883.72/885.93	c current bound: 486
888.26/890.48	c current bound: 486
892.82/895.04	c current bound: 486
897.37/899.59	c current bound: 486
901.93/904.14	c current bound: 486
906.66/908.69	c current bound: 486
911.25/913.24	c current bound: 486
915.57/917.78	c current bound: 486
920.09/922.29	c current bound: 486
924.63/926.97	c current bound: 486
929.18/931.51	c current bound: 486
933.75/936.07	c current bound: 486
938.54/940.62	c current bound: 486
943.04/945.17	c current bound: 486
947.39/949.72	c current bound: 486
951.94/954.28	c current bound: 486
956.50/958.83	c current bound: 486
961.17/963.49	c current bound: 486
965.97/968.33	c current bound: 486
970.69/973.09	c current bound: 486
975.49/977.89	c current bound: 486
980.17/982.58	c current bound: 486
985.00/987.41	c current bound: 486
989.75/992.17	c current bound: 486
994.48/996.91	c current bound: 486
999.24/1001.67	c current bound: 486
1004.00/1006.43	c current bound: 486
1008.90/1011.15	c current bound: 486
1013.20/1015.65	c current bound: 486
1017.96/1020.41	c current bound: 486
1022.60/1025.06	c current bound: 486
1027.39/1029.60	c current bound: 486
1031.92/1034.22	c current bound: 486
1036.46/1038.98	c current bound: 486
1041.11/1043.65	c current bound: 486
1046.11/1048.43	c current bound: 486
1050.50/1052.88	c current bound: 486
1055.07/1057.64	c current bound: 486
1059.57/1062.13	c current bound: 486
1064.34/1066.91	c current bound: 486
1069.08/1071.45	c current bound: 486
1073.64/1076.20	c current bound: 486
1078.38/1081.23	c current bound: 486
1083.12/1086.11	c current bound: 486
1087.89/1090.89	c current bound: 486
1092.47/1095.52	c current bound: 486
1097.20/1100.26	c current bound: 486
1101.78/1104.84	c current bound: 486
1106.53/1109.60	c current bound: 486
1111.15/1114.22	c current bound: 486
1115.88/1118.97	c current bound: 486
1120.33/1123.42	c current bound: 486
1125.12/1128.21	c current bound: 486
1129.82/1132.93	c current bound: 486
1134.57/1137.68	c current bound: 486
1139.59/1142.51	c current bound: 486
1144.36/1147.32	c current bound: 486
1148.87/1152.28	c current bound: 486
1153.67/1157.06	c current bound: 486
1158.47/1161.88	c current bound: 486
1163.22/1166.62	c current bound: 486
1168.01/1171.43	c current bound: 486
1172.74/1176.17	c current bound: 486
1177.50/1180.93	c current bound: 486
1182.30/1185.72	c current bound: 486
1187.04/1190.47	c current bound: 486
1191.79/1195.24	c current bound: 486
1196.56/1200.02	c current bound: 486
1201.30/1204.55	c current bound: 486
1205.83/1209.32	c current bound: 486
1210.47/1213.96	c current bound: 486
1215.27/1218.77	c current bound: 486
1220.14/1223.41	c current bound: 486
1224.66/1228.18	c current bound: 486
1229.52/1233.04	c current bound: 486
1234.42/1237.75	c current bound: 486
1238.93/1242.47	c current bound: 486
1243.73/1247.26	c current bound: 486
1248.70/1252.04	c current bound: 486
1253.27/1256.82	c current bound: 486
1258.06/1261.61	c current bound: 486
1262.80/1266.17	c current bound: 486
1267.33/1270.93	c current bound: 486
1272.08/1275.69	c current bound: 486
1277.04/1280.48	c current bound: 486
1281.60/1285.22	c current bound: 486
1286.40/1290.01	c current bound: 486
1291.32/1294.73	c current bound: 486
1295.90/1299.35	c current bound: 486
1300.48/1304.12	c current bound: 486
1304.99/1308.65	c current bound: 486
1309.74/1313.39	c current bound: 486
1314.47/1318.14	c current bound: 486
1319.45/1322.94	c current bound: 486
1324.19/1327.75	c current bound: 486
1328.71/1332.49	c current bound: 486
1333.47/1337.27	c current bound: 486
1338.00/1341.81	c current bound: 486
1343.06/1346.60	c current bound: 486
1347.57/1351.37	c current bound: 486
1352.33/1356.14	c current bound: 486
1356.84/1360.65	c current bound: 486
1361.63/1365.27	c current bound: 486
1365.99/1369.81	c current bound: 486
1370.85/1374.54	c current bound: 486
1375.36/1379.33	c current bound: 486
1380.24/1384.01	c current bound: 486
1384.77/1388.79	c current bound: 486
1389.74/1393.50	c current bound: 486
1394.53/1398.32	c current bound: 486
1399.00/1403.02	c current bound: 486
1403.79/1407.82	c current bound: 486
1408.73/1412.58	c current bound: 486
1413.29/1417.34	c current bound: 486
1417.82/1421.86	c current bound: 486
1422.62/1426.67	c current bound: 486
1427.39/1431.44	c current bound: 486
1432.15/1436.33	c current bound: 486
1437.17/1441.14	c current bound: 486
1441.72/1445.95	c current bound: 486
1446.52/1450.75	c current bound: 486
1451.04/1455.28	c current bound: 486
1455.79/1460.03	c current bound: 486
1460.53/1464.79	c current bound: 486
1465.32/1469.59	c current bound: 486
1470.08/1474.18	c current bound: 486
1474.67/1478.93	c current bound: 486
1479.34/1483.61	c current bound: 486
1484.36/1488.42	c current bound: 486
1488.79/1493.09	c current bound: 486
1493.57/1497.86	c current bound: 486
1498.60/1502.79	c current bound: 486
1503.12/1507.55	c current bound: 486
1507.89/1512.32	c current bound: 486
1512.89/1517.15	c current bound: 486
1517.45/1521.90	c current bound: 486
1522.24/1526.69	c current bound: 486
1526.99/1531.22	c current bound: 486
1531.50/1535.97	c current bound: 486
1536.30/1540.76	c current bound: 486
1540.87/1545.35	c current bound: 486
1545.39/1549.87	c current bound: 486
1550.07/1554.40	c current bound: 486
1554.67/1559.28	c current bound: 486
1559.46/1564.08	c current bound: 486
1564.39/1568.83	c current bound: 486
1568.90/1573.56	c current bound: 486
1573.66/1578.33	c current bound: 486
1578.58/1583.07	c current bound: 486
1582.89/1587.58	c current bound: 486
1587.42/1592.11	c current bound: 486
1592.19/1596.88	c current bound: 486
1597.16/1601.68	c current bound: 486
1601.73/1606.43	c current bound: 486
1606.49/1611.20	c current bound: 486
1611.55/1616.00	c current bound: 486
1616.03/1620.87	c current bound: 486
1620.85/1625.67	c current bound: 486
1625.59/1630.49	c current bound: 486
1630.37/1635.26	c current bound: 486
1635.13/1640.02	c current bound: 486
1639.94/1644.62	c current bound: 486
1644.48/1649.38	c current bound: 486
1649.12/1654.04	c current bound: 486
1653.64/1658.55	c current bound: 486
1658.53/1663.28	c current bound: 486
1663.09/1668.02	c current bound: 486
1667.84/1672.77	c current bound: 486
1672.82/1677.55	c current bound: 486
1677.37/1682.57	c current bound: 486
1682.40/1687.46	c current bound: 486
1686.89/1692.21	c current bound: 486
1691.67/1696.99	c current bound: 486
1696.62/1701.78	c current bound: 486
1701.22/1706.30	c current bound: 486
1705.71/1711.05	c current bound: 486
1710.49/1715.83	c current bound: 486
1715.02/1720.37	c current bound: 486
1719.75/1725.11	c current bound: 486
1724.35/1729.73	c current bound: 486
1729.17/1734.53	c current bound: 486
1734.17/1739.36	c current bound: 486
1738.72/1744.11	c current bound: 486
1743.52/1748.97	c current bound: 486
1748.38/1753.63	c current bound: 486
1752.86/1758.33	c current bound: 486
1757.59/1763.06	c current bound: 486
1762.57/1767.88	c current bound: 486
1767.15/1772.62	c current bound: 486
1771.67/1777.16	c current bound: 486
1776.45/1781.94	c current bound: 486
1781.21/1786.70	c current bound: 486
1785.73/1791.24	c current bound: 486
1790.05/1795.57	c current bound: 486
1794.81/1800.34	c current bound: 486
1799.48/1805.02	c current bound: 486
1800.88/1806.21	./satsolver.sh: line 5: 17414 Terminated              ./glucose $1 > $2 2> /dev/null
1800.88/1806.21	c error: unexpected solver exit code
1800.88/1806.21	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-3715610-1338198420/watcher-3715610-1338198420 -o /tmp/evaluation-result-3715610-1338198420/solver-3715610-1338198420 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715610-1338198420.wbo 1202352013 HOME HOME 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.96 1.97 1.92 3/177 29569
/proc/meminfo: memFree=29303224/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0

[startup+0.0688169 s]
/proc/loadavg: 1.96 1.97 1.92 3/177 29569
/proc/meminfo: memFree=29303224/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10027 s]
/proc/loadavg: 1.96 1.97 1.92 3/177 29569
/proc/meminfo: memFree=29303224/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300182 s]
/proc/loadavg: 1.96 1.97 1.92 3/177 29569
/proc/meminfo: memFree=29303224/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700291 s]
/proc/loadavg: 1.96 1.97 1.92 3/177 29569
/proc/meminfo: memFree=29303224/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 1.96 1.97 1.92 3/183 29595
/proc/meminfo: memFree=29224256/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=11612 CPUtime=0.34 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 3038 6265 0 0 11 2 20 1 20 0 1 0 285969386 11890688 1938 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29570/statm: 2903 1938 176 439 0 2460 0
[pid=29587] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29587/stat : 29587 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285969422 9367552 267 33554432000 4194304 5064252 140733659725040 140733659723952 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29587/statm: 2287 267 226 213 0 72 0
[pid=29588] ppid=29587 vsize=48092 CPUtime=1.13 cores=0,2,4,6
/proc/29588/stat : 29588 (glucose) R 29587 29569 1843 0 -1 4202496 10346 0 0 0 112 1 0 0 20 0 1 0 285969422 49246208 10475 33554432000 4194304 5208918 140737374395184 140737374393592 4211521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29588/statm: 12023 10475 95 248 0 11772 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 78000

[startup+3.10043 s]
/proc/loadavg: 1.96 1.97 1.92 3/183 29606
/proc/meminfo: memFree=29198424/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=11612 CPUtime=0.34 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 3038 6265 0 0 11 2 20 1 20 0 1 0 285969386 11890688 1938 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29570/statm: 2903 1938 176 439 0 2460 0
[pid=29587] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29587/stat : 29587 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285969422 9367552 267 33554432000 4194304 5064252 140733659725040 140733659723952 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29587/statm: 2287 267 226 213 0 72 0
[pid=29588] ppid=29587 vsize=48092 CPUtime=2.73 cores=0,2,4,6
/proc/29588/stat : 29588 (glucose) R 29587 29569 1843 0 -1 4202496 10518 0 0 0 272 1 0 0 20 0 1 0 285969422 49246208 10645 33554432000 4194304 5208918 140737374395184 140737374393032 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29588/statm: 12023 10645 95 248 0 11772 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 78000

[startup+6.30033 s]
/proc/loadavg: 1.97 1.97 1.92 3/183 29655
/proc/meminfo: memFree=29192148/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=4.86 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 5255 22459 0 0 19 3 449 15 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=29647] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29647/stat : 29647 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285969874 9367552 266 33554432000 4194304 5064252 140736704349072 140736704347984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29647/statm: 2287 266 226 213 0 72 0
[pid=29648] ppid=29647 vsize=48088 CPUtime=1.41 cores=0,2,4,6
/proc/29648/stat : 29648 (glucose) R 29647 29569 1843 0 -1 4202496 10370 0 0 0 139 2 0 0 20 0 1 0 285969874 49242112 10511 33554432000 4194304 5208918 140736605815312 140736605813720 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29648/statm: 12022 10511 95 248 0 11771 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 86180

[startup+12.7003 s]
/proc/loadavg: 1.97 1.97 1.92 3/183 29746
/proc/meminfo: memFree=29217208/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=9.39 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 7472 38130 0 0 28 4 879 28 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=29713] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29713/stat : 29713 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285970327 9367552 267 33554432000 4194304 5064252 140734767417104 140734767416016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29713/statm: 2287 267 226 213 0 72 0
[pid=29714] ppid=29713 vsize=48224 CPUtime=3.27 cores=0,2,4,6
/proc/29714/stat : 29714 (glucose) R 29713 29569 1843 0 -1 4202496 10583 0 0 0 326 1 0 0 20 0 1 0 285970327 49381376 10690 33554432000 4194304 5208918 140736262164416 140736262162264 4211668 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29714/statm: 12056 10690 95 248 0 11805 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86316

[startup+25.5004 s]
/proc/loadavg: 1.97 1.97 1.92 3/184 29931
/proc/meminfo: memFree=29217836/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=23.25 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 14123 83459 0 0 54 7 2196 68 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=29904] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29904/stat : 29904 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285971714 9367552 267 33554432000 4194304 5064252 140736716832816 140736716831728 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29904/statm: 2287 267 226 213 0 72 0
[pid=29907] ppid=29904 vsize=48092 CPUtime=2.21 cores=0,2,4,6
/proc/29907/stat : 29907 (glucose) R 29904 29569 1843 0 -1 4202496 10113 0 0 0 220 1 0 0 20 0 1 0 285971714 49246208 10766 33554432000 4194304 5208918 140737224506768 140737224504616 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29907/statm: 12023 10766 95 248 0 11772 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 86184

[startup+51.1004 s]
/proc/loadavg: 1.90 1.96 1.92 3/183 30285
/proc/meminfo: memFree=29192232/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=50.38 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 27425 176230 0 0 104 16 4771 147 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=30284] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30284/stat : 30284 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285974427 9367552 267 33554432000 4194304 5064252 140733215770256 140733215769168 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30284/statm: 2287 267 226 213 0 72 0
[pid=30285] ppid=30284 vsize=47960 CPUtime=0.68 cores=0,2,4,6
/proc/30285/stat : 30285 (glucose) R 30284 29569 1843 0 -1 4202496 10275 0 0 0 66 2 0 0 20 0 1 0 285974427 49111040 10427 33554432000 4194304 5208918 140735886822912 140735886821320 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30285/statm: 11990 10427 95 248 0 11739 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86052

[startup+102.306 s]
/proc/loadavg: 2.10 1.99 1.93 3/183 30923
/proc/meminfo: memFree=29179184/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=99.91 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 51812 349018 0 0 196 30 9468 297 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=30901] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30901/stat : 30901 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285979384 9367552 266 33554432000 4194304 5064252 140736181574832 140736181573744 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30901/statm: 2287 266 226 213 0 72 0
[pid=30902] ppid=30901 vsize=48092 CPUtime=2.31 cores=0,2,4,6
/proc/30902/stat : 30902 (glucose) R 30901 29569 1843 0 -1 4202496 10456 0 0 0 229 2 0 0 20 0 1 0 285979384 49246208 10604 33554432000 4194304 5208918 140733321898016 140733321895864 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30902/statm: 12023 10604 95 248 0 11772 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 86184

[startup+162.3 s]
/proc/loadavg: 2.03 1.99 1.93 3/183 31588
/proc/meminfo: memFree=29203284/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=158.41 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 80633 553543 0 0 305 48 15012 476 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=31559] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1357.18 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 661487 4658328 0 0 2382 374 128862 4100 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 46 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=12503] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12503/stat : 12503 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286105460 9367552 267 33554432000 4194304 5064252 140734071296736 140734071295648 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12503/statm: 2287 267 226 213 0 72 0
[pid=12504] ppid=12503 vsize=48096 CPUtime=1.55 cores=0,2,4,6
/proc/12504/stat : 12504 (glucose) R 12503 29569 1843 0 -1 4202496 10386 0 0 0 153 2 0 0 20 0 1 0 286105460 49250304 10526 33554432000 4194304 5208918 140735329764976 140735329762824 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12504/statm: 12024 10526 95 248 0 11773 0
Current children cumulated CPU time (s) 1358.73
Current children cumulated vsize (KiB) 86188

[startup+1422.3 s]
/proc/loadavg: 2.02 2.00 1.95 3/184 13185
/proc/meminfo: memFree=29206292/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1418.17 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 690308 4863975 0 0 2483 389 134669 4276 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 46 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=13181] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13181/stat : 13181 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286111581 9367552 266 33554432000 4194304 5064252 140736494664464 140736494663376 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13181/statm: 2287 266 226 213 0 72 0
[pid=13182] ppid=13181 vsize=47960 CPUtime=0.33 cores=0,2,4,6
/proc/13182/stat : 13182 (glucose) R 13181 29569 1843 0 -1 4202496 10282 0 0 0 32 1 0 0 20 0 1 0 286111581 49111040 10395 33554432000 4194304 5208918 140736187530848 140736187529256 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13182/statm: 11990 10395 95 248 0 11739 0
Current children cumulated CPU time (s) 1418.5
Current children cumulated vsize (KiB) 86052

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 13840
/proc/meminfo: memFree=29173636/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1475.02 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 716912 5050318 0 0 2576 404 140084 4438 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 50 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=13811] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13811/stat : 13811 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286117288 9367552 266 33554432000 4194304 5064252 140735508577728 140735508576640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13811/statm: 2287 266 226 213 0 72 0
[pid=13812] ppid=13811 vsize=48220 CPUtime=3.25 cores=0,2,4,6
/proc/13812/stat : 13812 (glucose) R 13811 29569 1843 0 -1 4202496 10572 0 0 0 323 2 0 0 20 0 1 0 286117288 49377280 10675 33554432000 4194304 5208918 140736354922464 140736354920312 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13812/statm: 12055 10675 95 248 0 11804 0
Current children cumulated CPU time (s) 1478.27
Current children cumulated vsize (KiB) 86312

[startup+1542.31 s]
/proc/loadavg: 2.11 2.03 1.96 3/183 14505
/proc/meminfo: memFree=29174672/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1536.64 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 745733 5255839 0 0 2675 420 145955 4614 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 50 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=14490] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14490/stat : 14490 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286123471 9367552 266 33554432000 4194304 5064252 140734888497264 140734888496176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14490/statm: 2287 266 226 213 0 72 0
[pid=14491] ppid=14490 vsize=48088 CPUtime=1.43 cores=0,2,4,6
/proc/14491/stat : 14491 (glucose) R 14490 29569 1843 0 -1 4202496 10397 0 0 0 142 1 0 0 20 0 1 0 286123472 49242112 10508 33554432000 4194304 5208918 140735094848304 140735094846152 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14491/statm: 12022 10508 95 248 0 11771 0
Current children cumulated CPU time (s) 1538.07
Current children cumulated vsize (KiB) 86180

[startup+1602.3 s]
/proc/loadavg: 1.94 1.99 1.95 3/183 15159
/proc/meminfo: memFree=29205168/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1597.34 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 774554 5460007 0 0 2775 436 151730 4793 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 50 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 28944

[startup+1662.3 s]
/proc/loadavg: 1.97 1.99 1.95 3/181 15826
/proc/meminfo: memFree=29231948/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1653.99 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 801158 5647056 0 0 2868 450 157125 4956 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 55 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=15792] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15792/stat : 15792 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286135250 9367552 267 33554432000 4194304 5064252 140733286609952 140733286608864 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15792/statm: 2287 267 226 213 0 72 0
[pid=15793] ppid=15792 vsize=48224 CPUtime=3.64 cores=0,2,4,6
/proc/15793/stat : 15793 (glucose) R 15792 29569 1843 0 -1 4202496 10600 0 0 0 362 2 0 0 20 0 1 0 286135250 49381376 10709 33554432000 4194304 5208918 140736166819440 140736166817288 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15793/statm: 12056 10709 95 248 0 11805 0
Current children cumulated CPU time (s) 1657.63
Current children cumulated vsize (KiB) 86316

[startup+1722.3 s]
/proc/loadavg: 2.07 2.00 1.96 3/183 16487
/proc/meminfo: memFree=29172796/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1715.37 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 829979 5850620 0 0 2967 466 162963 5141 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 55 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=16477] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16477/stat : 16477 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286141432 9367552 266 33554432000 4194304 5064252 140733657361536 140733657360448 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16477/statm: 2287 266 226 213 0 72 0
[pid=16478] ppid=16477 vsize=48088 CPUtime=1.82 cores=0,2,4,6
/proc/16478/stat : 16478 (glucose) R 16477 29569 1843 0 -1 4202496 10396 0 0 0 181 1 0 0 20 0 1 0 286141432 49242112 10546 33554432000 4194304 5208918 140734042603728 140734042601576 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16478/statm: 12022 10546 95 248 0 11771 0
Current children cumulated CPU time (s) 1717.19
Current children cumulated vsize (KiB) 86180

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/181 17153
/proc/meminfo: memFree=29258540/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1776.8 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 858800 6054723 0 0 3067 482 168815 5316 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 55 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
Current children cumulated CPU time (s) 1776.8
Current children cumulated vsize (KiB) 28944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.2 s]
/proc/loadavg: 1.98 2.00 1.96 3/183 17425
/proc/meminfo: memFree=29172976/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1799.85 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 869885 6131919 0 0 3106 488 171008 5383 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 60 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=17413] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17413/stat : 17413 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286149902 9367552 267 33554432000 4194304 5064252 140733958184960 140733958183872 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17413/statm: 2287 267 226 213 0 72 0
[pid=17414] ppid=17413 vsize=48088 CPUtime=1.03 cores=0,2,4,6
/proc/17414/stat : 17414 (glucose) R 17413 29569 1843 0 -1 4202496 10315 0 0 0 102 1 0 0 20 0 1 0 286149902 49242112 10462 33554432000 4194304 5208918 140737033387952 140737033386360 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17414/statm: 12022 10462 95 248 0 11771 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 86180

Sending SIGTERM to process tree (bottom up)

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

[startup+1806.2 s]
/proc/loadavg: 1.98 2.00 1.96 3/183 17425
/proc/meminfo: memFree=29172976/32873648 swapFree=7116/7116
[pid=29569] ppid=29567 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29569/stat : 29569 (npSolver-wbo-It) S 29567 29569 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285969386 9367552 275 33554432000 4194304 5064252 140734593817824 140734593816736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29569/statm: 2287 275 233 213 0 72 0
[pid=29570] ppid=29569 vsize=19796 CPUtime=1799.85 cores=0,2,4,6
/proc/29570/stat : 29570 (npSolver-wbo) S 29569 29569 1843 0 -1 4202496 869885 6131919 0 0 3106 488 171008 5383 20 0 1 0 285969386 20271104 3976 33554432000 4194304 5990268 140736585530480 140736585521888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 60 0 0
/proc/29570/statm: 4949 3976 177 439 0 4506 0
[pid=17413] ppid=29570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17413/stat : 17413 (satsolver.sh) S 29570 29569 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286149902 9367552 267 33554432000 4194304 5064252 140733958184960 140733958183872 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17413/statm: 2287 267 226 213 0 72 0
[pid=17414] ppid=17413 vsize=48088 CPUtime=1.03 cores=0,2,4,6
/proc/17414/stat : 17414 (glucose) R 17413 29569 1843 0 -1 4202496 10315 0 0 0 102 1 0 0 20 0 1 0 286149902 49242112 10462 33554432000 4194304 5208918 140737033387952 140737033386360 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17414/statm: 12022 10462 95 248 0 11771 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 86180

Child status: 0
Real time (s): 1806.22
CPU time (s): 1800.92
CPU user time (s): 1742.18
CPU system time (s): 58.7401
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 88400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1742.18
system time used= 58.7401
maximum resident set size= 46540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7013109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5364328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106770
involuntary context switches= 7810

runsolver used 5.72013 second user time and 17.0964 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-28 11:47:00
IDJOB=3715610
IDBENCH=78968
IDSOLVER=2297
FILE ID=node114/3715610-1338198420
RUNJOBID= node114-1338194810-1859
PBS_JOBID= 14624601
Free space on /tmp= 71452 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715610-1338198420/watcher-3715610-1338198420 -o /tmp/evaluation-result-3715610-1338198420/solver-3715610-1338198420 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715610-1338198420.wbo 1202352013 HOME HOME

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

MD5SUM BENCH= 404f4a35cd4ec5708f20e119eb7d26f2
RANDOM SEED=1202352013

node114.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.242
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.48
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.242
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.242
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	: 5451.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
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.242
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:       32873648 kB
MemFree:        29279944 kB
Buffers:          600588 kB
Cached:          2078296 kB
SwapCached:         2108 kB
Active:          1366976 kB
Inactive:        1348056 kB
Active(anon):      29012 kB
Inactive(anon):     7892 kB
Active(file):    1337964 kB
Inactive(file):  1340164 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103912 kB
Dirty:             13376 kB
Writeback:             4 kB
AnonPages:         39520 kB
Mapped:            15616 kB
Shmem:               116 kB
Slab:             740704 kB
SReclaimable:     182680 kB
SUnreclaim:       558024 kB
KernelStack:        1496 kB
PageTables:         4424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     154892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71436 MiB
End job on node114 at 2012-05-28 12:17:06