Trace number 3753204

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 (fixed)? (TO) 1800.12 1800.82

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM6dc14d51c0879b2054c8b72501c6facc
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.973851
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints170
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 7974
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7973
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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.03	c run usual solver
0.00/0.18	o 2750
0.00/0.18	c starting approximation
0.00/0.18	c factor = 2
0.00/0.18	c factor still to low - shrinking to 2.805
0.00/0.18	c approx number of clauses: 1e+06
0.00/0.18	c current bound: 1375
4.26/4.33	c current bound: 1375
8.19/8.40	c current bound: 1375
12.31/12.50	c current bound: 1375
16.41/16.62	c current bound: 1375
20.55/20.75	c current bound: 1375
24.66/24.86	c current bound: 1375
28.82/29.02	c current bound: 1375
32.88/33.09	c current bound: 1375
36.96/37.16	c current bound: 1375
41.05/41.26	c current bound: 1375
45.18/45.38	c current bound: 1375
49.36/49.45	c current bound: 1375
53.34/53.55	c current bound: 1375
57.44/57.65	c current bound: 1375
61.52/61.73	c current bound: 1375
65.66/65.86	c current bound: 1375
69.79/70.00	c current bound: 1375
73.90/74.10	c current bound: 1375
78.01/78.22	c current bound: 1375
82.15/82.35	c current bound: 1375
86.23/86.43	c current bound: 1375
90.35/90.55	c current bound: 1375
94.51/94.72	c current bound: 1375
98.64/98.84	c current bound: 1375
102.80/103.00	c current bound: 1375
106.97/107.17	c current bound: 1375
111.06/111.25	c current bound: 1375
115.36/115.42	c current bound: 1375
119.22/119.41	c current bound: 1375
123.29/123.48	c current bound: 1375
127.47/127.58	c current bound: 1375
131.47/131.68	c current bound: 1375
135.63/135.83	c current bound: 1375
139.73/139.93	c current bound: 1375
143.98/144.01	c current bound: 1375
147.86/148.06	c current bound: 1375
151.98/152.18	c current bound: 1375
156.08/156.28	c current bound: 1375
160.18/160.39	c current bound: 1375
164.29/164.49	c current bound: 1375
168.38/168.57	c current bound: 1375
172.57/172.65	c current bound: 1375
176.63/176.85	c current bound: 1375
180.84/181.04	c current bound: 1375
185.02/185.21	c current bound: 1375
189.10/189.29	c current bound: 1375
193.29/193.48	c current bound: 1375
197.38/197.58	c current bound: 1375
201.53/201.72	c current bound: 1375
205.71/205.90	c current bound: 1375
209.99/210.00	c current bound: 1375
213.94/214.14	c current bound: 1375
218.06/218.28	c current bound: 1375
222.17/222.38	c current bound: 1375
226.47/226.54	c current bound: 1375
230.45/230.66	c current bound: 1375
234.58/234.79	c current bound: 1375
238.66/238.87	c current bound: 1375
242.96/243.02	c current bound: 1375
246.90/247.10	c current bound: 1375
251.05/251.24	c current bound: 1375
255.12/255.33	c current bound: 1375
259.23/259.43	c current bound: 1375
263.33/263.53	c current bound: 1375
267.43/267.63	c current bound: 1375
271.79/271.80	c current bound: 1375
275.71/275.91	c current bound: 1375
279.86/280.06	c current bound: 1375
284.01/284.20	c current bound: 1375
288.12/288.32	c current bound: 1375
292.23/292.42	c current bound: 1375
296.49/296.50	c current bound: 1375
300.49/300.69	c current bound: 1375
304.64/304.84	c current bound: 1375
308.79/308.98	c current bound: 1375
312.92/313.12	c current bound: 1375
317.06/317.27	c current bound: 1375
321.19/321.41	c current bound: 1375
325.47/325.52	c current bound: 1375
329.45/329.67	c current bound: 1375
333.63/333.84	c current bound: 1375
337.69/337.89	c current bound: 1375
341.78/341.99	c current bound: 1375
345.89/346.10	c current bound: 1375
350.05/350.26	c current bound: 1375
354.13/354.33	c current bound: 1375
358.23/358.44	c current bound: 1375
362.36/362.57	c current bound: 1375
366.77/366.80	c current bound: 1375
370.74/370.97	c current bound: 1375
374.95/375.07	c current bound: 1375
379.02/379.25	c current bound: 1375
383.13/383.39	c current bound: 1375
387.25/387.51	c current bound: 1375
391.50/391.74	c current bound: 1375
395.64/395.90	c current bound: 1375
399.78/400.03	c current bound: 1375
403.93/404.18	c current bound: 1375
408.01/408.18	c current bound: 1375
412.08/412.34	c current bound: 1375
416.23/416.48	c current bound: 1375
420.36/420.62	c current bound: 1375
424.52/424.80	c current bound: 1375
428.81/428.91	c current bound: 1375
432.76/433.01	c current bound: 1375
436.69/436.95	c current bound: 1375
440.91/441.01	c current bound: 1375
444.89/445.16	c current bound: 1375
449.00/449.26	c current bound: 1375
453.12/453.39	c current bound: 1375
457.21/457.48	c current bound: 1375
461.33/461.60	c current bound: 1375
465.51/465.78	c current bound: 1375
469.64/469.91	c current bound: 1375
473.78/474.05	c current bound: 1375
477.79/478.06	c current bound: 1375
481.94/482.21	c current bound: 1375
486.21/486.36	c current bound: 1375
490.14/490.42	c current bound: 1375
494.24/494.52	c current bound: 1375
498.38/498.65	c current bound: 1375
502.70/502.84	c current bound: 1375
506.78/507.05	c current bound: 1375
510.92/511.19	c current bound: 1375
515.03/515.32	c current bound: 1375
518.79/519.07	c current bound: 1375
522.95/523.23	c current bound: 1375
527.13/527.53	c current bound: 1375
531.28/531.69	c current bound: 1375
535.46/535.78	c current bound: 1375
539.52/539.94	c current bound: 1375
543.67/544.09	c current bound: 1375
547.71/548.12	c current bound: 1375
552.05/552.34	c current bound: 1375
556.06/556.47	c current bound: 1375
560.17/560.59	c current bound: 1375
564.31/564.73	c current bound: 1375
568.55/568.88	c current bound: 1375
572.59/573.01	c current bound: 1375
576.78/577.19	c current bound: 1375
580.89/581.32	c current bound: 1375
585.06/585.48	c current bound: 1375
589.36/589.66	c current bound: 1375
593.34/593.77	c current bound: 1375
597.44/597.86	c current bound: 1375
601.52/601.95	c current bound: 1375
605.62/606.05	c current bound: 1375
609.74/610.17	c current bound: 1375
613.89/614.32	c current bound: 1375
617.97/618.39	c current bound: 1375
622.10/622.52	c current bound: 1375
626.15/626.58	c current bound: 1375
630.23/630.66	c current bound: 1375
634.45/634.78	c current bound: 1375
638.44/638.87	c current bound: 1375
642.61/643.03	c current bound: 1375
646.80/647.22	c current bound: 1375
650.98/651.42	c current bound: 1375
655.07/655.48	c current bound: 1375
659.13/659.55	c current bound: 1375
663.96/664.38	c current bound: 1375
667.89/668.32	c current bound: 1375
672.01/672.45	c current bound: 1375
676.24/676.55	c current bound: 1375
680.27/680.69	c current bound: 1375
684.42/684.86	c current bound: 1375
688.57/689.01	c current bound: 1375
692.85/693.14	c current bound: 1375
696.70/697.14	c current bound: 1375
700.95/701.40	c current bound: 1375
705.15/705.57	c current bound: 1375
708.84/709.27	c current bound: 1375
713.00/713.42	c current bound: 1375
717.18/717.62	c current bound: 1375
721.44/721.75	c current bound: 1375
725.44/725.87	c current bound: 1375
729.58/730.02	c current bound: 1375
733.75/734.19	c current bound: 1375
737.94/738.23	c current bound: 1375
741.94/742.37	c current bound: 1375
746.06/746.49	c current bound: 1375
750.21/750.64	c current bound: 1375
754.37/754.80	c current bound: 1375
758.48/758.91	c current bound: 1375
762.67/763.09	c current bound: 1375
766.63/767.06	c current bound: 1375
770.95/771.24	c current bound: 1375
775.03/775.45	c current bound: 1375
779.21/779.64	c current bound: 1375
783.37/783.80	c current bound: 1375
787.49/787.91	c current bound: 1375
791.75/792.05	c current bound: 1375
795.78/796.20	c current bound: 1375
799.92/800.33	c current bound: 1375
803.98/804.41	c current bound: 1375
808.25/808.53	c current bound: 1375
812.34/812.76	c current bound: 1375
816.44/816.86	c current bound: 1375
820.59/821.01	c current bound: 1375
824.86/825.14	c current bound: 1375
828.84/829.25	c current bound: 1375
833.02/833.43	c current bound: 1375
837.13/837.56	c current bound: 1375
841.29/841.72	c current bound: 1375
845.41/845.82	c current bound: 1375
849.43/849.85	c current bound: 1375
853.53/853.94	c current bound: 1375
857.75/858.09	c current bound: 1375
861.81/862.24	c current bound: 1375
865.93/866.35	c current bound: 1375
870.08/870.50	c current bound: 1375
874.35/874.63	c current bound: 1375
878.37/878.79	c current bound: 1375
882.56/882.98	c current bound: 1375
886.73/887.16	c current bound: 1375
891.07/891.30	c current bound: 1375
895.16/895.47	c current bound: 1375
899.16/899.59	c current bound: 1375
903.28/903.70	c current bound: 1375
907.41/907.82	c current bound: 1375
911.65/911.93	c current bound: 1375
915.69/916.11	c current bound: 1375
919.88/920.30	c current bound: 1375
924.17/924.40	c current bound: 1375
928.15/928.48	c current bound: 1375
932.20/932.61	c current bound: 1375
936.26/936.68	c current bound: 1375
940.40/940.81	c current bound: 1375
944.66/945.00	c current bound: 1375
948.72/949.14	c current bound: 1375
952.85/953.26	c current bound: 1375
957.23/957.65	c current bound: 1375
961.44/961.86	c current bound: 1375
965.67/965.97	c current bound: 1375
969.72/970.13	c current bound: 1375
974.09/974.51	c current bound: 1375
978.37/978.60	c current bound: 1375
982.31/982.72	c current bound: 1375
986.55/986.82	c current bound: 1375
990.50/990.93	c current bound: 1375
994.68/995.10	c current bound: 1375
998.82/999.24	c current bound: 1375
1003.05/1003.36	c current bound: 1375
1007.12/1007.53	c current bound: 1375
1011.23/1011.64	c current bound: 1375
1015.34/1015.75	c current bound: 1375
1019.10/1019.51	c current bound: 1375
1023.25/1023.67	c current bound: 1375
1027.37/1027.78	c current bound: 1375
1031.56/1031.88	c current bound: 1375
1035.64/1036.05	c current bound: 1375
1039.70/1040.11	c current bound: 1375
1043.79/1044.21	c current bound: 1375
1048.07/1048.36	c current bound: 1375
1052.06/1052.46	c current bound: 1375
1056.17/1056.58	c current bound: 1375
1060.28/1060.69	c current bound: 1375
1064.34/1064.76	c current bound: 1375
1068.25/1068.67	c current bound: 1375
1072.57/1072.80	c current bound: 1375
1076.67/1076.91	c current bound: 1375
1080.57/1080.98	c current bound: 1375
1084.74/1085.15	c current bound: 1375
1088.81/1089.22	c current bound: 1375
1092.97/1093.39	c current bound: 1375
1096.91/1097.33	c current bound: 1375
1101.01/1101.42	c current bound: 1375
1105.26/1105.53	c current bound: 1375
1109.23/1109.65	c current bound: 1375
1113.41/1113.82	c current bound: 1375
1117.52/1117.93	c current bound: 1375
1121.76/1122.07	c current bound: 1375
1125.81/1126.22	c current bound: 1375
1129.92/1130.33	c current bound: 1375
1134.04/1134.45	c current bound: 1375
1137.96/1138.39	c current bound: 1375
1142.03/1142.47	c current bound: 1375
1146.14/1146.58	c current bound: 1375
1150.34/1150.66	c current bound: 1375
1154.56/1154.80	c current bound: 1375
1158.45/1158.88	c current bound: 1375
1162.55/1162.99	c current bound: 1375
1166.64/1167.08	c current bound: 1375
1170.71/1171.14	c current bound: 1375
1174.75/1175.18	c current bound: 1375
1179.49/1179.93	c current bound: 1375
1183.62/1184.05	c current bound: 1375
1187.78/1188.21	c current bound: 1375
1191.88/1192.31	c current bound: 1375
1195.95/1196.39	c current bound: 1375
1200.26/1200.50	c current bound: 1375
1204.35/1204.61	c current bound: 1375
1208.25/1208.69	c current bound: 1375
1212.34/1212.77	c current bound: 1375
1216.66/1216.90	c current bound: 1375
1220.75/1221.02	c current bound: 1375
1224.69/1225.12	c current bound: 1375
1228.92/1229.33	c current bound: 1375
1233.04/1233.45	c current bound: 1375
1237.35/1237.61	c current bound: 1375
1241.30/1241.87	c current bound: 1375
1246.12/1246.68	c current bound: 1375
1250.33/1250.87	c current bound: 1375
1254.37/1255.01	c current bound: 1375
1258.53/1259.17	c current bound: 1375
1262.73/1263.37	c current bound: 1375
1266.79/1267.43	c current bound: 1375
1270.94/1271.58	c current bound: 1375
1275.08/1275.72	c current bound: 1375
1279.33/1279.98	c current bound: 1375
1283.44/1284.09	c current bound: 1375
1287.63/1288.14	c current bound: 1375
1291.63/1292.28	c current bound: 1375
1295.74/1296.39	c current bound: 1375
1299.90/1300.54	c current bound: 1375
1304.23/1304.73	c current bound: 1375
1308.22/1308.86	c current bound: 1375
1312.32/1312.97	c current bound: 1375
1316.44/1317.08	c current bound: 1375
1320.64/1321.20	c current bound: 1375
1324.75/1325.38	c current bound: 1375
1328.85/1329.50	c current bound: 1375
1332.91/1333.56	c current bound: 1375
1337.25/1337.70	c current bound: 1375
1341.24/1341.87	c current bound: 1375
1345.36/1345.99	c current bound: 1375
1348.98/1349.63	c current bound: 1375
1353.09/1353.73	c current bound: 1375
1357.18/1357.83	c current bound: 1375
1361.44/1361.93	c current bound: 1375
1365.39/1366.04	c current bound: 1375
1369.58/1370.22	c current bound: 1375
1373.74/1374.37	c current bound: 1375
1377.84/1378.34	c current bound: 1375
1381.79/1382.43	c current bound: 1375
1385.89/1386.53	c current bound: 1375
1390.06/1390.70	c current bound: 1375
1394.34/1394.82	c current bound: 1375
1398.54/1399.17	c current bound: 1375
1402.64/1403.27	c current bound: 1375
1406.94/1407.40	c current bound: 1375
1410.88/1411.54	c current bound: 1375
1415.02/1415.68	c current bound: 1375
1418.89/1419.54	c current bound: 1375
1422.97/1423.62	c current bound: 1375
1426.87/1427.52	c current bound: 1375
1430.96/1431.62	c current bound: 1375
1435.11/1435.68	c current bound: 1375
1439.11/1439.78	c current bound: 1375
1443.22/1443.88	c current bound: 1375
1447.30/1447.97	c current bound: 1375
1451.62/1452.12	c current bound: 1375
1455.56/1456.22	c current bound: 1375
1459.32/1459.88	c current bound: 1375
1463.39/1464.04	c current bound: 1375
1467.52/1468.17	c current bound: 1375
1471.66/1472.31	c current bound: 1375
1475.79/1476.45	c current bound: 1375
1479.87/1480.53	c current bound: 1375
1484.03/1484.68	c current bound: 1375
1488.14/1488.78	c current bound: 1375
1492.25/1492.90	c current bound: 1375
1496.38/1497.03	c current bound: 1375
1500.50/1501.17	c current bound: 1375
1504.71/1505.37	c current bound: 1375
1508.90/1509.56	c current bound: 1375
1513.20/1513.72	c current bound: 1375
1517.20/1517.87	c current bound: 1375
1521.36/1522.03	c current bound: 1375
1525.48/1526.14	c current bound: 1375
1529.18/1529.84	c current bound: 1375
1533.41/1534.07	c current bound: 1375
1537.51/1538.18	c current bound: 1375
1541.81/1542.32	c current bound: 1375
1545.80/1546.46	c current bound: 1375
1549.93/1550.61	c current bound: 1375
1554.14/1554.81	c current bound: 1375
1558.33/1559.00	c current bound: 1375
1562.60/1563.16	c current bound: 1375
1566.52/1567.21	c current bound: 1375
1570.60/1571.28	c current bound: 1375
1574.80/1575.35	c current bound: 1375
1578.81/1579.49	c current bound: 1375
1582.98/1583.67	c current bound: 1375
1587.13/1587.81	c current bound: 1375
1591.30/1591.98	c current bound: 1375
1595.60/1596.18	c current bound: 1375
1599.61/1600.29	c current bound: 1375
1603.69/1604.37	c current bound: 1375
1607.77/1608.45	c current bound: 1375
1611.91/1612.58	c current bound: 1375
1616.04/1616.72	c current bound: 1375
1620.11/1620.79	c current bound: 1375
1624.24/1624.92	c current bound: 1375
1628.39/1629.07	c current bound: 1375
1632.54/1633.22	c current bound: 1375
1636.65/1637.32	c current bound: 1375
1640.77/1641.44	c current bound: 1375
1644.89/1645.58	c current bound: 1375
1649.05/1649.72	c current bound: 1375
1653.21/1653.88	c current bound: 1375
1657.31/1657.99	c current bound: 1375
1661.61/1662.11	c current bound: 1375
1665.60/1666.27	c current bound: 1375
1669.68/1670.36	c current bound: 1375
1673.87/1674.54	c current bound: 1375
1677.91/1678.59	c current bound: 1375
1682.02/1682.71	c current bound: 1375
1686.20/1686.89	c current bound: 1375
1690.40/1691.09	c current bound: 1375
1694.70/1695.26	c current bound: 1375
1698.69/1699.37	c current bound: 1375
1702.82/1703.52	c current bound: 1375
1707.09/1707.60	c current bound: 1375
1711.25/1711.90	c current bound: 1375
1715.38/1716.01	c current bound: 1375
1719.33/1720.14	c current bound: 1375
1723.45/1724.27	c current bound: 1375
1727.52/1728.34	c current bound: 1375
1731.86/1732.54	c current bound: 1375
1735.87/1736.69	c current bound: 1375
1740.07/1740.90	c current bound: 1375
1744.22/1745.03	c current bound: 1375
1748.41/1749.23	c current bound: 1375
1752.86/1753.52	c current bound: 1375
1756.81/1757.63	c current bound: 1375
1761.00/1761.81	c current bound: 1375
1765.36/1766.00	c current bound: 1375
1769.52/1770.22	c current bound: 1375
1773.58/1774.31	c current bound: 1375
1777.54/1778.43	c current bound: 1375
1781.64/1782.52	c current bound: 1375
1785.90/1786.60	c current bound: 1375
1789.85/1790.75	c current bound: 1375
1794.08/1794.97	c current bound: 1375
1798.22/1799.11	c current bound: 1375
1800.08/1800.81	./satsolver.sh: line 5: 25619 Terminated              ./glucose $1 > $2 2> /dev/null
1800.08/1800.81	c error: unexpected solver exit code
1800.08/1800.81	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-3753204-1339206755/watcher-3753204-1339206755 -o /tmp/evaluation-result-3753204-1339206755/solver-3753204-1339206755 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753204-1339206755.wbo 1544890018 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.00 2.00 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0

[startup+0.055775 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100308 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300252 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 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.00 2.00 1.92 3/181 22026
/proc/meminfo: memFree=29714768/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=0.24 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 4192 6598 0 0 9 3 11 1 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22025] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22025/stat : 22025 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386804108 9367552 267 33554432000 4194304 5064252 140733623232640 140733623231552 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22025/statm: 2287 267 226 213 0 72 0
[pid=22026] ppid=22025 vsize=40728 CPUtime=1.22 cores=1,3,5,7
/proc/22026/stat : 22026 (glucose) R 22025 22012 8900 0 -1 4202496 8996 0 0 0 120 2 0 0 20 0 1 0 386804108 41705472 9234 33554432000 4194304 5208918 140736849474464 140736849472872 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22026/statm: 10182 9234 95 248 0 9931 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 79048

[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22026
/proc/meminfo: memFree=29713776/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=0.24 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 4192 6598 0 0 9 3 11 1 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22025] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22025/stat : 22025 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386804108 9367552 267 33554432000 4194304 5064252 140733623232640 140733623231552 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22025/statm: 2287 267 226 213 0 72 0
[pid=22026] ppid=22025 vsize=45280 CPUtime=2.82 cores=1,3,5,7
/proc/22026/stat : 22026 (glucose) R 22025 22012 8900 0 -1 4202496 9367 0 0 0 280 2 0 0 20 0 1 0 386804108 46366720 9604 33554432000 4194304 5208918 140736849474464 140736849472616 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22026/statm: 11320 9604 95 248 0 11069 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 83600

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22033
/proc/meminfo: memFree=29714704/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=4.38 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 6343 20510 0 0 16 4 408 10 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22032] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22032/stat : 22032 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386804522 9367552 266 33554432000 4194304 5064252 140734709109424 140734709108336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22032/statm: 2287 266 226 213 0 72 0
[pid=22033] ppid=22032 vsize=40728 CPUtime=1.88 cores=1,3,5,7
/proc/22033/stat : 22033 (glucose) R 22032 22012 8900 0 -1 4202496 9230 0 0 0 187 1 0 0 20 0 1 0 386804523 41705472 9393 33554432000 4194304 5208918 140735040119056 140735040117464 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22033/statm: 10182 9393 95 248 0 9931 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 79048

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22040
/proc/meminfo: memFree=29706956/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=12.55 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 10645 48076 0 0 29 6 1192 28 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 29172

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22075
/proc/meminfo: memFree=29720500/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=24.93 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 17098 89510 0 0 50 9 2380 54 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22074] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22074/stat : 22074 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386806575 9367552 267 33554432000 4194304 5064252 140736383228496 140736383227408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22074/statm: 2287 267 226 213 0 72 0
[pid=22075] ppid=22074 vsize=40728 CPUtime=0.54 cores=1,3,5,7
/proc/22075/stat : 22075 (glucose) R 22074 22012 8900 0 -1 4202496 8845 0 0 0 53 1 0 0 20 0 1 0 386806575 41705472 9078 33554432000 4194304 5208918 140734930483200 140736383227432 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22075/statm: 10182 9078 95 248 0 9931 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 79048

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22125
/proc/meminfo: memFree=29723812/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=49.51 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 30004 173372 0 0 91 14 4742 104 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22124] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22124/stat : 22124 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386809035 9367552 266 33554432000 4194304 5064252 140734695272256 140734695271168 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22124/statm: 2287 266 226 213 0 72 0
[pid=22125] ppid=22124 vsize=40728 CPUtime=1.55 cores=1,3,5,7
/proc/22125/stat : 22125 (glucose) R 22124 22012 8900 0 -1 4202496 8710 0 0 0 153 2 0 0 20 0 1 0 386809035 41705472 9433 33554432000 4194304 5208918 140736019156288 140736019154696 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22125/statm: 10182 9433 95 248 0 9931 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 79048

[startup+102.306 s]
/proc/loadavg: 1.96 1.98 1.91 3/181 22216
/proc/meminfo: memFree=29708636/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=98.9 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 55816 339576 0 0 173 25 9478 214 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22215] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22215/stat : 22215 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386813973 9367552 267 33554432000 4194304 5064252 140737010878304 140737010877216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22215/statm: 2287 267 226 213 0 72 0
[pid=22216] ppid=22215 vsize=45284 CPUtime=3.37 cores=1,3,5,7
/proc/22216/stat : 22216 (glucose) R 22215 22012 8900 0 -1 4202496 9493 0 0 0 336 1 0 0 20 0 1 0 386813973 46370816 9727 33554432000 4194304 5208918 140735659436752 140735659434904 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22216/statm: 11321 9727 95 248 0 11070 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83604

[startup+162.3 s]
/proc/loadavg: 1.98 1.98 1.91 3/181 22342
/proc/meminfo: memFree=29724348/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=160.45 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 88081 548415 0 0 276 38 15383 348 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22341] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22341/stat : 22341 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386820128 9367552 266 33554432000 4194304 5064252 140737046842592 140737046841504 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22341/statm: 2287 266 226 213 0 72 0
[pid=22342] ppid=22341 vsize=40732 CPUtime=1.81 cores=1,3,5,7
/proc/22342/stat : 22342 (glucose) R 22341 22012 8900 0 -1 4202496 8612 0 0 0 180 1 0 0 20 0 1 0 386820128 41709568 9378 33554432000 4194304 5208918 140735457832272 140735457830680 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22342/statm: 10183 9378 95 248 0 9932 0
Current children cumulated CPU time (s) 162.26

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

/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1361.55 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 714022 4585663 0 0 2237 299 130689 2930 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
Current children cumulated CPU time (s) 1361.55
Current children cumulated vsize (KiB) 29172

[startup+1422.3 s]
/proc/loadavg: 2.20 2.06 1.95 3/181 24828
/proc/meminfo: memFree=29705584/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1419.14 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 744136 4780744 0 0 2334 311 136216 3053 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=24827] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386946043 9367552 267 33554432000 4194304 5064252 140734651983152 140734651982064 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24827/statm: 2287 267 226 213 0 72 0
[pid=24828] ppid=24827 vsize=45280 CPUtime=2.67 cores=1,3,5,7
/proc/24828/stat : 24828 (glucose) R 24827 22012 8900 0 -1 4202496 8819 0 0 0 266 1 0 0 20 0 1 0 386946043 46366720 9583 33554432000 4194304 5208918 140737021522368 140737021520216 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24828/statm: 11320 9583 95 248 0 11069 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 83600

[startup+1482.3 s]
/proc/loadavg: 2.25 2.09 1.96 3/181 24947
/proc/meminfo: memFree=29705716/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1480.14 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 776401 4988180 0 0 2435 325 142071 3183 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=24946] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24946/stat : 24946 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386952142 9367552 267 33554432000 4194304 5064252 140734052719888 140734052718800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24946/statm: 2287 267 226 213 0 72 0
[pid=24947] ppid=24946 vsize=40732 CPUtime=1.68 cores=1,3,5,7
/proc/24947/stat : 24947 (glucose) R 24946 22012 8900 0 -1 4202496 8783 0 0 0 166 2 0 0 20 0 1 0 386952142 41709568 9511 33554432000 4194304 5208918 140734508790192 140734508788600 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24947/statm: 10183 9511 95 248 0 9932 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 79052

[startup+1542.31 s]
/proc/loadavg: 2.19 2.10 1.97 3/181 25069
/proc/meminfo: memFree=29757016/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1541.66 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 806523 5191321 0 0 2528 339 147993 3306 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168287776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25067] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25067/stat : 25067 (cp2_post.sh) S 22013 22012 8900 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 386958295 9367552 265 33554432000 4194304 5064252 140736464646608 140736464644896 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25067/statm: 2287 265 225 213 0 72 0
[pid=25069] ppid=25067 vsize=8924 CPUtime=0.15 cores=1,3,5,7
/proc/25069/stat : 25069 (coprocessor) R 25067 22012 8900 0 -1 4202496 1752 0 0 0 11 4 0 0 20 0 1 0 386958296 9138176 1583 33554432000 4194304 6586260 140735223140832 140735223137848 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/25069/statm: 2231 1583 145 584 0 1643 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 47244

[startup+1602.3 s]
/proc/loadavg: 2.07 2.08 1.97 3/181 25186
/proc/meminfo: memFree=29713076/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1599.87 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 838780 5387672 0 0 2629 352 153576 3430 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25185] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25185/stat : 25185 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386964118 9367552 267 33554432000 4194304 5064252 140733628009680 140733628008592 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25185/statm: 2287 267 226 213 0 72 0
[pid=25186] ppid=25185 vsize=40732 CPUtime=1.91 cores=1,3,5,7
/proc/25186/stat : 25186 (glucose) R 25185 22012 8900 0 -1 4202496 9237 0 0 0 190 1 0 0 20 0 1 0 386964119 41709568 9401 33554432000 4194304 5208918 140733340552272 140733340550680 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25186/statm: 10183 9401 95 248 0 9932 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 79052

[startup+1662.3 s]
/proc/loadavg: 2.02 2.06 1.97 3/182 25304
/proc/meminfo: memFree=29739224/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1661.7 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 871045 5593437 0 0 2730 366 159510 3564 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 29172

[startup+1722.3 s]
/proc/loadavg: 2.09 2.08 1.98 3/181 25420
/proc/meminfo: memFree=29709752/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1719.58 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 901159 5786975 0 0 2825 377 165062 3694 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25419] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25419/stat : 25419 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386976103 9367552 267 33554432000 4194304 5064252 140737456219120 140737456218032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25419/statm: 2287 267 226 213 0 72 0
[pid=25420] ppid=25419 vsize=40732 CPUtime=2.06 cores=1,3,5,7
/proc/25420/stat : 25420 (glucose) R 25419 22012 8900 0 -1 4202496 9209 0 0 0 204 2 0 0 20 0 1 0 386976104 41709568 9431 33554432000 4194304 5208918 140735814796480 140735814794888 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25420/statm: 10183 9431 95 248 0 9932 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 79052

[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 1.99 3/181 25584
/proc/meminfo: memFree=29676940/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1777.81 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 931273 5985010 0 0 2920 390 170653 3818 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25583] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25583/stat : 25583 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386981932 9367552 267 33554432000 4194304 5064252 140737442776928 140737442775840 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25583/statm: 2287 267 226 213 0 72 0
[pid=25584] ppid=25583 vsize=45984 CPUtime=3.77 cores=1,3,5,7
/proc/25584/stat : 25584 (glucose) R 25583 22012 8900 0 -1 4202496 9644 0 0 0 375 2 0 0 20 0 1 0 386981932 47087616 10331 33554432000 4194304 5208918 140733222372784 140733222370936 4205261 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25584/statm: 11496 10331 103 248 0 11245 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 84304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 2.13 2.09 2.00 3/181 25619
/proc/meminfo: memFree=29678520/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1798.47 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 942028 6054757 0 0 2953 394 172637 3863 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25618] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25618/stat : 25618 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386984000 9367552 266 33554432000 4194304 5064252 140734910999728 140734910998640 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25618/statm: 2287 266 226 213 0 72 0
[pid=25619] ppid=25618 vsize=40728 CPUtime=1.61 cores=1,3,5,7
/proc/25619/stat : 25619 (glucose) R 25618 22012 8900 0 -1 4202496 9142 0 0 0 160 1 0 0 20 0 1 0 386984000 41705472 9321 33554432000 4194304 5208918 140736768053536 140736768051944 4211570 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25619/statm: 10182 9321 95 248 0 9931 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 79048

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.81 s]
/proc/loadavg: 2.13 2.09 2.00 3/181 25619
/proc/meminfo: memFree=29678520/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1798.47 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 942028 6054757 0 0 2953 394 172637 3863 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25618] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25618/stat : 25618 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386984000 9367552 266 33554432000 4194304 5064252 140734910999728 140734910998640 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25618/statm: 2287 266 226 213 0 72 0
[pid=25619] ppid=25618 vsize=40728 CPUtime=1.61 cores=1,3,5,7
/proc/25619/stat : 25619 (glucose) R 25618 22012 8900 0 -1 4202496 9142 0 0 0 160 1 0 0 20 0 1 0 386984000 41705472 9321 33554432000 4194304 5208918 140736768053536 140736768051944 4211570 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25619/statm: 10182 9321 95 248 0 9931 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 79048

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.12
CPU user time (s): 1757.52
CPU system time (s): 42.6025
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 84304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.52
system time used= 42.6025
maximum resident set size= 42080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7006917
page faults= 0
swaps= 0
block input operations= 8
block output operations= 5155976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103938
involuntary context switches= 10770

runsolver used 3.18751 second user time and 7.92879 second system time

The end

Launcher Data 

Begin job on node104 at 2012-06-09 03:52:35
IDJOB=3753204
IDBENCH=79149
IDSOLVER=2336
FILE ID=node104/3753204-1339206755
RUNJOBID= node104-1339204918-8917
PBS_JOBID= 14643871
Free space on /tmp= 69500 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--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-3753204-1339206755/watcher-3753204-1339206755 -o /tmp/evaluation-result-3753204-1339206755/solver-3753204-1339206755 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753204-1339206755.wbo 1544890018 HOME HOME

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

MD5SUM BENCH= 6dc14d51c0879b2054c8b72501c6facc
RANDOM SEED=1544890018

node104.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.266
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.53
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.266
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.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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.266
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.92
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.266
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.266
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.266
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.266
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29772740 kB
Buffers:          689256 kB
Cached:          1411880 kB
SwapCached:         1864 kB
Active:          2071484 kB
Inactive:          74416 kB
Active(anon):      40668 kB
Inactive(anon):     5824 kB
Active(file):    2030816 kB
Inactive(file):    68592 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67102148 kB
Dirty:              8656 kB
Writeback:            24 kB
AnonPages:         49700 kB
Mapped:            10296 kB
Shmem:                 4 kB
Slab:             815952 kB
SReclaimable:     257040 kB
SUnreclaim:       558912 kB
KernelStack:        1472 kB
PageTables:         4168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     155184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 69484 MiB
End job on node104 at 2012-06-09 04:22:36