Trace number 3752975

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.13 1790.92

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
MD5SUM62825c7b78173675be8da33e26a62860
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.60875
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints82
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Top cost 4502
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4501
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.03	c run usual solver
7.05/7.11	o 823
7.05/7.11	c starting approximation
7.05/7.11	c factor = 2
7.05/7.11	c current bound: 411
10.52/10.63	c current bound: 411
14.04/14.19	c current bound: 411
17.74/17.84	c current bound: 411
21.39/21.55	c current bound: 411
25.07/25.29	c current bound: 411
28.88/29.09	c current bound: 411
32.49/32.65	c current bound: 411
36.28/36.44	c current bound: 411
39.78/39.94	c current bound: 411
43.58/43.74	c current bound: 411
47.20/47.32	c current bound: 411
50.69/50.89	c current bound: 411
54.29/54.49	c current bound: 411
58.08/58.27	c current bound: 411
61.67/61.82	c current bound: 411
65.14/65.30	c current bound: 411
68.89/69.05	c current bound: 411
72.49/72.70	c current bound: 411
76.18/76.34	c current bound: 411
79.87/80.06	c current bound: 411
83.50/83.65	c current bound: 411
86.98/87.14	c current bound: 411
90.55/90.72	c current bound: 411
94.08/94.27	c current bound: 411
97.66/97.84	c current bound: 411
101.58/101.76	c current bound: 411
105.36/105.53	c current bound: 411
108.78/109.00	c current bound: 411
112.48/112.69	c current bound: 411
116.26/116.42	c current bound: 411
119.87/120.06	c current bound: 411
123.48/123.68	c current bound: 411
126.97/127.19	c current bound: 411
130.94/131.10	c current bound: 411
134.56/134.72	c current bound: 411
138.17/138.33	c current bound: 411
142.00/142.15	c current bound: 411
145.47/145.67	c current bound: 411
149.34/149.51	c current bound: 411
152.85/153.01	c current bound: 411
156.37/156.57	c current bound: 411
159.95/160.15	c current bound: 411
163.64/163.87	c current bound: 411
167.45/167.69	c current bound: 411
171.25/171.49	c current bound: 411
174.84/175.04	c current bound: 411
178.65/178.86	c current bound: 411
182.34/182.53	c current bound: 411
185.83/186.09	c current bound: 411
189.63/189.84	c current bound: 411
193.63/193.83	c current bound: 411
197.22/197.42	c current bound: 411
200.80/201.01	c current bound: 411
204.33/204.57	c current bound: 411
208.21/208.41	c current bound: 411
212.13/212.34	c current bound: 411
215.80/216.01	c current bound: 411
219.32/219.59	c current bound: 411
223.03/223.28	c current bound: 411
226.95/227.10	c current bound: 411
230.49/230.71	c current bound: 411
233.99/234.21	c current bound: 411
238.00/238.22	c current bound: 411
241.52/241.75	c current bound: 411
245.32/245.56	c current bound: 411
249.09/249.30	c current bound: 411
252.62/252.86	c current bound: 411
256.13/256.35	c current bound: 411
259.82/260.07	c current bound: 411
263.43/263.65	c current bound: 411
266.98/267.21	c current bound: 411
270.62/270.85	c current bound: 411
274.31/274.54	c current bound: 411
277.99/278.21	c current bound: 411
281.67/281.90	c current bound: 411
285.30/285.54	c current bound: 411
288.88/289.11	c current bound: 411
288.95/292.67	c current bound: 411
295.90/296.17	c current bound: 411
299.68/299.92	c current bound: 411
303.30/303.57	c current bound: 411
307.09/307.32	c current bound: 411
310.87/311.10	c current bound: 411
314.41/314.69	c current bound: 411
318.20/318.47	c current bound: 411
321.98/322.22	c current bound: 411
325.76/326.01	c current bound: 411
329.51/329.76	c current bound: 411
333.26/333.56	c current bound: 411
336.80/337.11	c current bound: 411
340.50/340.80	c current bound: 411
344.05/344.33	c current bound: 411
347.54/347.89	c current bound: 411
351.35/351.66	c current bound: 411
355.10/355.41	c current bound: 411
358.75/359.07	c current bound: 411
362.45/362.76	c current bound: 411
365.93/366.23	c current bound: 411
369.82/370.13	c current bound: 411
373.54/373.84	c current bound: 411
377.23/377.57	c current bound: 411
380.83/381.18	c current bound: 411
384.42/384.73	c current bound: 411
388.20/388.51	c current bound: 411
391.74/392.05	c current bound: 411
395.23/395.57	c current bound: 411
399.14/399.47	c current bound: 411
402.84/403.16	c current bound: 411
406.49/406.81	c current bound: 411
410.24/410.56	c current bound: 411
414.08/414.41	c current bound: 411
417.59/417.91	c current bound: 411
421.32/421.68	c current bound: 411
425.13/425.49	c current bound: 411
428.89/429.23	c current bound: 411
432.69/433.02	c current bound: 411
436.30/436.66	c current bound: 411
439.88/440.21	c current bound: 411
443.50/443.84	c current bound: 411
447.11/447.48	c current bound: 411
451.06/451.41	c current bound: 411
454.60/454.95	c current bound: 411
458.10/458.46	c current bound: 411
461.70/462.02	c current bound: 411
465.20/465.55	c current bound: 411
469.07/469.43	c current bound: 411
472.98/473.33	c current bound: 411
476.61/476.90	c current bound: 411
480.19/480.57	c current bound: 411
483.75/484.10	c current bound: 411
487.28/487.69	c current bound: 411
491.08/491.49	c current bound: 411
494.58/494.98	c current bound: 411
498.37/498.78	c current bound: 411
501.97/502.34	c current bound: 411
505.68/506.07	c current bound: 411
509.69/510.08	c current bound: 411
513.37/513.80	c current bound: 411
517.03/517.41	c current bound: 411
520.76/521.15	c current bound: 411
524.37/524.71	c current bound: 411
528.15/528.54	c current bound: 411
531.74/532.12	c current bound: 411
535.26/535.66	c current bound: 411
538.96/539.37	c current bound: 411
542.93/543.32	c current bound: 411
546.42/546.81	c current bound: 411
549.91/550.30	c current bound: 411
553.43/553.84	c current bound: 411
556.95/557.37	c current bound: 411
560.46/560.85	c current bound: 411
564.11/564.51	c current bound: 411
567.92/568.31	c current bound: 411
571.46/571.87	c current bound: 411
575.35/575.76	c current bound: 411
579.00/579.41	c current bound: 411
582.55/582.97	c current bound: 411
586.06/586.48	c current bound: 411
589.62/590.02	c current bound: 411
593.10/593.50	c current bound: 411
596.64/597.05	c current bound: 411
600.14/600.60	c current bound: 411
603.71/604.11	c current bound: 411
607.40/607.81	c current bound: 411
610.94/611.36	c current bound: 411
614.81/615.21	c current bound: 411
618.54/618.96	c current bound: 411
622.35/622.77	c current bound: 411
625.93/626.39	c current bound: 411
629.53/629.94	c current bound: 411
633.12/633.59	c current bound: 411
637.02/637.44	c current bound: 411
640.62/641.05	c current bound: 411
644.32/644.79	c current bound: 411
647.92/648.39	c current bound: 411
651.62/652.06	c current bound: 411
655.43/655.85	c current bound: 411
658.91/659.38	c current bound: 411
662.83/663.29	c current bound: 411
666.77/667.21	c current bound: 411
670.41/670.85	c current bound: 411
674.19/674.63	c current bound: 411
677.80/678.29	c current bound: 411
681.41/681.86	c current bound: 411
685.07/685.51	c current bound: 411
688.92/689.36	c current bound: 411
692.62/693.10	c current bound: 411
696.41/696.85	c current bound: 411
699.97/700.41	c current bound: 411
703.67/704.12	c current bound: 411
707.28/707.72	c current bound: 411
710.78/711.23	c current bound: 411
714.49/714.97	c current bound: 411
718.20/718.67	c current bound: 411
721.99/722.46	c current bound: 411
725.70/726.17	c current bound: 411
729.20/729.69	c current bound: 411
732.84/733.30	c current bound: 411
736.39/736.87	c current bound: 411
740.37/740.82	c current bound: 411
743.96/744.40	c current bound: 411
747.79/748.25	c current bound: 411
751.56/752.01	c current bound: 411
755.09/755.54	c current bound: 411
758.66/759.11	c current bound: 411
762.28/762.74	c current bound: 411
766.06/766.51	c current bound: 411
769.86/770.31	c current bound: 411
773.29/773.77	c current bound: 411
776.85/777.32	c current bound: 411
780.77/781.22	c current bound: 411
784.28/784.74	c current bound: 411
787.88/788.37	c current bound: 411
791.38/791.87	c current bound: 411
795.07/795.53	c current bound: 411
798.65/799.11	c current bound: 411
802.19/802.69	c current bound: 411
806.09/806.56	c current bound: 411
809.57/810.07	c current bound: 411
813.07/813.59	c current bound: 411
816.64/817.12	c current bound: 411
820.54/821.00	c current bound: 411
824.05/824.52	c current bound: 411
827.57/828.03	c current bound: 411
831.06/831.53	c current bound: 411
834.59/835.05	c current bound: 411
838.07/838.57	c current bound: 411
841.53/842.01	c current bound: 411
844.98/845.46	c current bound: 411
848.88/849.37	c current bound: 411
852.65/853.12	c current bound: 411
856.15/856.62	c current bound: 411
859.86/860.33	c current bound: 411
863.56/864.08	c current bound: 411
867.17/867.65	c current bound: 411
870.68/871.16	c current bound: 411
874.24/874.71	c current bound: 411
877.78/878.25	c current bound: 411
881.27/881.75	c current bound: 411
884.84/885.32	c current bound: 411
884.93/888.86	c current bound: 411
891.87/892.36	c current bound: 411
895.47/895.94	c current bound: 411
899.26/899.76	c current bound: 411
902.97/903.47	c current bound: 411
906.58/907.06	c current bound: 411
910.38/910.81	c current bound: 411
913.87/914.36	c current bound: 411
917.55/918.08	c current bound: 411
921.17/921.67	c current bound: 411
924.73/925.21	c current bound: 411
928.66/929.13	c current bound: 411
932.17/932.69	c current bound: 411
935.73/936.21	c current bound: 411
939.52/940.02	c current bound: 411
943.03/943.52	c current bound: 411
946.84/947.33	c current bound: 411
950.52/951.01	c current bound: 411
954.26/954.75	c current bound: 411
958.14/958.68	c current bound: 411
961.76/962.25	c current bound: 411
965.35/965.84	c current bound: 411
968.92/969.43	c current bound: 411
972.72/973.21	c current bound: 411
976.66/977.10	c current bound: 411
980.13/980.63	c current bound: 411
983.93/984.44	c current bound: 411
987.53/988.04	c current bound: 411
991.12/991.62	c current bound: 411
995.13/995.64	c current bound: 411
998.61/999.11	c current bound: 411
1002.54/1003.07	c current bound: 411
1006.32/1006.89	c current bound: 411
1009.83/1010.37	c current bound: 411
1013.43/1013.95	c current bound: 411
1016.92/1017.44	c current bound: 411
1020.62/1021.10	c current bound: 411
1024.28/1024.81	c current bound: 411
1027.81/1028.34	c current bound: 411
1031.41/1031.95	c current bound: 411
1034.98/1035.52	c current bound: 411
1038.80/1039.38	c current bound: 411
1042.40/1042.96	c current bound: 411
1046.01/1046.59	c current bound: 411
1049.50/1050.09	c current bound: 411
1053.20/1053.79	c current bound: 411
1057.00/1057.57	c current bound: 411
1060.57/1061.11	c current bound: 411
1064.06/1064.61	c current bound: 411
1067.60/1068.19	c current bound: 411
1071.29/1071.87	c current bound: 411
1075.08/1075.62	c current bound: 411
1078.60/1079.17	c current bound: 411
1082.09/1082.68	c current bound: 411
1085.66/1086.21	c current bound: 411
1089.20/1089.75	c current bound: 411
1092.69/1093.29	c current bound: 411
1096.30/1096.88	c current bound: 411
1099.90/1100.49	c current bound: 411
1103.55/1104.11	c current bound: 411
1107.30/1107.86	c current bound: 411
1111.01/1111.59	c current bound: 411
1114.50/1115.08	c current bound: 411
1118.39/1118.94	c current bound: 411
1122.09/1122.69	c current bound: 411
1126.05/1126.61	c current bound: 411
1129.69/1130.25	c current bound: 411
1133.40/1133.96	c current bound: 411
1136.99/1137.59	c current bound: 411
1140.56/1141.12	c current bound: 411
1144.26/1144.87	c current bound: 411
1148.09/1148.69	c current bound: 411
1151.96/1152.53	c current bound: 411
1155.66/1156.22	c current bound: 411
1159.68/1160.28	c current bound: 411
1163.28/1163.84	c current bound: 411
1166.78/1167.38	c current bound: 411
1170.53/1171.10	c current bound: 411
1174.07/1174.64	c current bound: 411
1177.78/1178.35	c current bound: 411
1181.37/1181.94	c current bound: 411
1185.38/1185.98	c current bound: 411
1189.13/1189.70	c current bound: 411
1192.67/1193.29	c current bound: 411
1196.42/1197.01	c current bound: 411
1199.97/1200.54	c current bound: 411
1203.47/1204.04	c current bound: 411
1207.06/1207.64	c current bound: 411
1211.03/1211.60	c current bound: 411
1214.64/1215.24	c current bound: 411
1218.43/1219.00	c current bound: 411
1221.96/1222.53	c current bound: 411
1225.67/1226.26	c current bound: 411
1229.32/1229.91	c current bound: 411
1233.06/1233.69	c current bound: 411
1236.65/1237.23	c current bound: 411
1240.64/1241.22	c current bound: 411
1244.36/1244.99	c current bound: 411
1247.97/1248.60	c current bound: 411
1251.47/1252.09	c current bound: 411
1255.35/1255.94	c current bound: 411
1258.96/1259.52	c current bound: 411
1262.42/1263.04	c current bound: 411
1266.00/1266.62	c current bound: 411
1269.54/1270.15	c current bound: 411
1273.12/1273.79	c current bound: 411
1276.87/1277.50	c current bound: 411
1280.41/1281.07	c current bound: 411
1284.02/1284.67	c current bound: 411
1287.90/1288.53	c current bound: 411
1291.42/1292.06	c current bound: 411
1294.91/1295.54	c current bound: 411
1298.42/1299.05	c current bound: 411
1302.00/1302.63	c current bound: 411
1305.61/1306.23	c current bound: 411
1309.32/1309.95	c current bound: 411
1312.89/1313.52	c current bound: 411
1316.52/1317.18	c current bound: 411
1320.12/1320.80	c current bound: 411
1324.11/1324.79	c current bound: 411
1327.80/1328.42	c current bound: 411
1331.43/1332.02	c current bound: 411
1335.00/1335.66	c current bound: 411
1338.60/1339.28	c current bound: 411
1342.08/1342.77	c current bound: 411
1345.68/1346.40	c current bound: 411
1349.31/1349.96	c current bound: 411
1353.00/1353.60	c current bound: 411
1356.70/1357.38	c current bound: 411
1360.55/1361.20	c current bound: 411
1364.06/1364.73	c current bound: 411
1367.85/1368.51	c current bound: 411
1371.39/1372.09	c current bound: 411
1374.95/1375.61	c current bound: 411
1378.58/1379.28	c current bound: 411
1382.36/1383.02	c current bound: 411
1385.99/1386.66	c current bound: 411
1389.47/1390.19	c current bound: 411
1393.08/1393.72	c current bound: 411
1396.58/1397.28	c current bound: 411
1400.49/1401.10	c current bound: 411
1403.96/1404.64	c current bound: 411
1407.76/1408.43	c current bound: 411
1411.76/1412.42	c current bound: 411
1415.27/1415.95	c current bound: 411
1418.77/1419.47	c current bound: 411
1422.52/1423.20	c current bound: 411
1426.18/1426.86	c current bound: 411
1429.74/1430.41	c current bound: 411
1433.17/1433.87	c current bound: 411
1436.71/1437.40	c current bound: 411
1440.26/1440.99	c current bound: 411
1444.35/1445.03	c current bound: 411
1448.06/1448.79	c current bound: 411
1451.63/1452.31	c current bound: 411
1455.16/1455.85	c current bound: 411
1458.84/1459.53	c current bound: 411
1462.56/1463.25	c current bound: 411
1466.16/1466.85	c current bound: 411
1469.66/1470.38	c current bound: 411
1473.31/1474.00	c current bound: 411
1476.85/1477.58	c current bound: 411
1480.35/1481.08	c current bound: 411
1484.15/1484.87	c current bound: 411
1487.77/1488.46	c current bound: 411
1491.51/1492.20	c current bound: 411
1495.04/1495.74	c current bound: 411
1498.55/1499.29	c current bound: 411
1502.24/1502.95	c current bound: 411
1506.01/1506.78	c current bound: 411
1509.48/1510.25	c current bound: 411
1512.98/1513.75	c current bound: 411
1516.77/1517.55	c current bound: 411
1520.28/1521.06	c current bound: 411
1523.87/1524.62	c current bound: 411
1527.57/1528.35	c current bound: 411
1531.15/1531.94	c current bound: 411
1534.66/1535.45	c current bound: 411
1538.17/1538.95	c current bound: 411
1541.64/1542.42	c current bound: 411
1545.37/1546.17	c current bound: 411
1549.04/1549.83	c current bound: 411
1552.66/1553.49	c current bound: 411
1556.24/1557.03	c current bound: 411
1559.76/1560.57	c current bound: 411
1563.47/1564.27	c current bound: 411
1567.23/1568.02	c current bound: 411
1570.75/1571.58	c current bound: 411
1574.25/1575.06	c current bound: 411
1578.13/1578.92	c current bound: 411
1581.76/1582.59	c current bound: 411
1585.33/1586.12	c current bound: 411
1589.05/1589.90	c current bound: 411
1592.75/1593.58	c current bound: 411
1596.57/1597.36	c current bound: 411
1600.14/1600.98	c current bound: 411
1603.94/1604.78	c current bound: 411
1607.60/1608.40	c current bound: 411
1611.04/1611.88	c current bound: 411
1614.53/1615.38	c current bound: 411
1618.23/1619.03	c current bound: 411
1622.21/1623.05	c current bound: 411
1625.80/1626.65	c current bound: 411
1629.31/1630.18	c current bound: 411
1633.16/1634.01	c current bound: 411
1636.68/1637.52	c current bound: 411
1640.40/1641.23	c current bound: 411
1644.09/1644.99	c current bound: 411
1648.15/1649.01	c current bound: 411
1651.88/1652.78	c current bound: 411
1655.49/1656.37	c current bound: 411
1659.40/1660.20	c current bound: 411
1662.79/1663.68	c current bound: 411
1666.46/1667.32	c current bound: 411
1669.97/1670.87	c current bound: 411
1673.49/1674.37	c current bound: 411
1677.09/1677.90	c current bound: 411
1680.78/1681.69	c current bound: 411
1680.89/1685.26	c current bound: 411
1687.88/1688.74	c current bound: 411
1691.69/1692.50	c current bound: 411
1695.39/1696.27	c current bound: 411
1699.15/1700.02	c current bound: 411
1702.67/1703.54	c current bound: 411
1706.53/1707.41	c current bound: 411
1710.15/1711.04	c current bound: 411
1713.88/1714.76	c current bound: 411
1717.65/1718.52	c current bound: 411
1721.42/1722.30	c current bound: 411
1724.86/1725.79	c current bound: 411
1728.37/1729.30	c current bound: 411
1731.95/1732.82	c current bound: 411
1735.57/1736.45	c current bound: 411
1739.43/1740.31	c current bound: 411
1742.94/1743.83	c current bound: 411
1746.57/1747.43	c current bound: 411
1750.17/1751.06	c current bound: 411
1753.95/1754.85	c current bound: 411
1757.45/1758.38	c current bound: 411
1760.96/1761.85	c current bound: 411
1764.53/1765.42	c current bound: 411
1768.27/1769.15	c current bound: 411
1771.94/1772.89	c current bound: 411
1775.45/1776.38	c current bound: 411
1779.13/1780.02	c current bound: 411
1782.94/1783.87	c current bound: 411
1786.52/1787.46	c current bound: 411
1790.00/1790.91	./satsolver.sh: line 5: 30088 Terminated              ./glucose $1 > $2 2> /dev/null
1790.00/1790.91	c error: unexpected solver exit code
1790.00/1790.91	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-3752975-1339195476/watcher-3752975-1339195476 -o /tmp/evaluation-result-3752975-1339195476/solver-3752975-1339195476 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752975-1339195476.wbo 504507864 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.01 1.97 1.96 3/179 905
/proc/meminfo: memFree=31276956/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0

[startup+0.101727 s]
/proc/loadavg: 2.01 1.97 1.96 3/179 905
/proc/meminfo: memFree=31276956/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200179 s]
/proc/loadavg: 2.01 1.97 1.96 3/179 905
/proc/meminfo: memFree=31276956/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300177 s]
/proc/loadavg: 2.01 1.97 1.96 3/179 905
/proc/meminfo: memFree=31276956/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700138 s]
/proc/loadavg: 2.01 1.97 1.96 3/179 905
/proc/meminfo: memFree=31276956/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50041 s]
/proc/loadavg: 2.01 1.97 1.96 3/183 912
/proc/meminfo: memFree=31263716/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=3356 CPUtime=0.1 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 2018 2836 0 0 2 0 8 0 20 0 1 0 385673752 3436544 453 33554432000 4194304 6006132 140737445087024 140737445081216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/906/statm: 839 453 158 443 0 392 0
[pid=911] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/911/stat : 911 (satsolver.sh) S 906 905 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385673766 9367552 267 33554432000 4194304 5064252 140735287206512 140735287205424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/911/statm: 2287 267 226 213 0 72 0
[pid=912] ppid=911 vsize=22780 CPUtime=1.34 cores=0,2,4,6
/proc/912/stat : 912 (glucose) R 911 905 10289 0 -1 4202496 3944 0 0 0 134 0 0 0 20 0 1 0 385673766 23326720 4008 33554432000 4194304 5208918 140737460419104 140737460417256 4211488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/912/statm: 5695 4008 96 248 0 5444 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 44432

[startup+3.10041 s]
/proc/loadavg: 2.01 1.97 1.96 3/183 912
/proc/meminfo: memFree=31260716/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=3356 CPUtime=0.1 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 2018 2836 0 0 2 0 8 0 20 0 1 0 385673752 3436544 453 33554432000 4194304 6006132 140737445087024 140737445081216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/906/statm: 839 453 158 443 0 392 0
[pid=911] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/911/stat : 911 (satsolver.sh) S 906 905 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385673766 9367552 267 33554432000 4194304 5064252 140735287206512 140735287205424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/911/statm: 2287 267 226 213 0 72 0
[pid=912] ppid=911 vsize=64856 CPUtime=2.94 cores=0,2,4,6
/proc/912/stat : 912 (glucose) R 911 905 10289 0 -1 4202496 5881 0 0 0 293 1 0 0 20 0 1 0 385673766 66412544 9846 33554432000 4194304 5208918 140737460419104 140737460417048 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/912/statm: 16214 9846 96 248 0 15963 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 86508

[startup+6.30041 s]
/proc/loadavg: 2.01 1.97 1.96 3/183 912
/proc/meminfo: memFree=31229752/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=3356 CPUtime=0.1 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 2018 2836 0 0 2 0 8 0 20 0 1 0 385673752 3436544 453 33554432000 4194304 6006132 140737445087024 140737445081216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/906/statm: 839 453 158 443 0 392 0
[pid=911] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/911/stat : 911 (satsolver.sh) S 906 905 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385673766 9367552 267 33554432000 4194304 5064252 140735287206512 140735287205424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/911/statm: 2287 267 226 213 0 72 0
[pid=912] ppid=911 vsize=64856 CPUtime=6.14 cores=0,2,4,6
/proc/912/stat : 912 (glucose) R 911 905 10289 0 -1 4202496 5884 0 0 0 612 2 0 0 20 0 1 0 385673766 66412544 11382 33554432000 4194304 5208918 140737460419104 140737460417048 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/912/statm: 16214 11382 96 248 0 15963 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 86508

[startup+12.7004 s]
/proc/loadavg: 2.01 1.97 1.96 3/183 933
/proc/meminfo: memFree=31298892/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=10.61 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 3770 19009 0 0 5 3 1046 7 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=932] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/932/stat : 932 (satsolver.sh) S 906 905 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385674817 9367552 266 33554432000 4194304 5064252 140736417754192 140736417753104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/932/statm: 2287 266 226 213 0 72 0
[pid=933] ppid=932 vsize=21644 CPUtime=2.03 cores=0,2,4,6
/proc/933/stat : 933 (glucose) R 932 905 10289 0 -1 4202496 3734 0 0 0 203 0 0 0 20 0 1 0 385674817 22163456 4017 33554432000 4194304 5208918 140735957618848 140735957616696 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/933/statm: 5411 4017 95 248 0 5160 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 46200

[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.96 3/181 1141
/proc/meminfo: memFree=31321120/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=25.21 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 7246 50900 0 0 12 4 2482 23 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 15408

[startup+51.1003 s]
/proc/loadavg: 1.99 1.97 1.96 3/183 1581
/proc/meminfo: memFree=31305028/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=50.81 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 13329 103105 0 0 24 5 5001 51 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 15408

[startup+102.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/183 2462
/proc/meminfo: memFree=31308256/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=101.67 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 25495 208676 0 0 46 8 10008 105 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=2454] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2454/stat : 2454 (satsolver.sh) S 906 905 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385683930 9367552 267 33554432000 4194304 5064252 140736839682720 140736839681632 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2454/statm: 2287 267 226 213 0 72 0
[pid=2455] ppid=2454 vsize=14376 CPUtime=0.51 cores=0,2,4,6
/proc/2455/stat : 2455 (glucose) R 2454 905 10289 0 -1 4202496 2731 0 0 0 51 0 0 0 20 0 1 0 385683930 14721024 3001 33554432000 4194304 5208918 140735089300592 140735089298888 4211918 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2455/statm: 3594 3001 95 248 0 3343 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 38932

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/183 3435
/proc/meminfo: memFree=31305212/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=160.02 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 39399 327731 0 0 73 12 15748 169 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=3413] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3413/stat : 3413 (satsolver.sh) S 906 905 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385689768 9367552 266 33554432000 4194304 5064252 140735056149536 140735056148448 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3413/statm: 2287 266 226 213 0 72 0
[pid=3414] ppid=3413 vsize=21644 CPUtime=2.12 cores=0,2,4,6
/proc/3414/stat : 3414 (glucose) R 3413 905 10289 0 -1 4202496 3122 0 0 0 212 0 0 0 20 0 1 0 385689769 22163456 4053 33554432000 4194304 5208918 140736620037296 140736620035144 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3414/statm: 5411 4053 95 248 0 5160 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 46200

[startup+222.307 s]
/proc/loadavg: 2.03 1.98 1.96 3/183 4423
/proc/meminfo: memFree=31300936/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6

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

[pid=906] ppid=905 vsize=6260 CPUtime=1480.46 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 353108 3023118 0 0 597 89 145732 1628 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=25071] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25071/stat : 25071 (satsolver.sh) S 906 905 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385821862 9367552 267 33554432000 4194304 5064252 140735744757504 140735744756416 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25071/statm: 2287 267 226 213 0 72 0
[pid=25072] ppid=25071 vsize=17220 CPUtime=1.18 cores=0,2,4,6
/proc/25072/stat : 25072 (glucose) R 25071 905 10289 0 -1 4202496 3046 0 0 0 118 0 0 0 20 0 1 0 385821862 17633280 3391 33554432000 4194304 5208918 140734193289808 140734193288104 4211871 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25072/statm: 4305 3391 95 248 0 4054 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 41776

[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 1.97 3/184 26069
/proc/meminfo: memFree=31292768/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=1538.24 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 367012 3145378 0 0 620 93 151416 1695 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=26019] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26019/stat : 26019 (satsolver.sh) S 906 905 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385827648 9367552 266 33554432000 4194304 5064252 140733407726816 140733407725728 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26019/statm: 2287 266 226 213 0 72 0
[pid=26020] ppid=26019 vsize=21908 CPUtime=3.32 cores=0,2,4,6
/proc/26020/stat : 26020 (glucose) R 26019 905 10289 0 -1 4202496 4277 0 0 0 332 0 0 0 20 0 1 0 385827648 22433792 5049 33554432000 4194304 5208918 140734696742512 140734696740264 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26020/statm: 5477 5049 103 248 0 5226 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 46464

[startup+1602.3 s]
/proc/loadavg: 1.98 2.01 1.97 3/183 27049
/proc/meminfo: memFree=31301416/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=1600.25 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 381785 3271601 0 0 644 97 157520 1764 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=27034] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27034/stat : 27034 (satsolver.sh) S 906 905 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385833851 9367552 266 33554432000 4194304 5064252 140734144699360 140734144698272 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27034/statm: 2287 266 226 213 0 72 0
[pid=27035] ppid=27034 vsize=17228 CPUtime=1.29 cores=0,2,4,6
/proc/27035/stat : 27035 (glucose) R 27034 905 10289 0 -1 4202496 2531 0 0 0 129 0 0 0 20 0 1 0 385833852 17641472 3462 33554432000 4194304 5208918 140734636840608 140734636838456 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27035/statm: 4307 3462 95 248 0 4056 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 41784

[startup+1662.3 s]
/proc/loadavg: 1.87 1.97 1.96 3/183 28036
/proc/meminfo: memFree=31298660/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=1659.42 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 395689 3390942 0 0 666 101 163346 1829 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=28007] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28007/stat : 28007 (satsolver.sh) S 906 905 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385839773 9367552 265 33554432000 4194304 5064252 140735269024640 140735269023552 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28007/statm: 2287 265 226 213 0 72 0
[pid=28008] ppid=28007 vsize=21640 CPUtime=2.07 cores=0,2,4,6
/proc/28008/stat : 28008 (glucose) R 28007 905 10289 0 -1 4202496 3328 0 0 0 207 0 0 0 20 0 1 0 385839773 22159360 4100 33554432000 4194304 5208918 140735863516336 140735863514184 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28008/statm: 5410 4100 95 248 0 5159 0
Current children cumulated CPU time (s) 1661.49
Current children cumulated vsize (KiB) 46196

############
# WARNING:
# current cumulated CPU time (1680.89 s) is less than in the last sample (1684.27 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.38 s) to the 'lost time'.

[startup+1685.1 s]
/proc/loadavg: 1.91 1.97 1.96 3/183 28393
/proc/meminfo: memFree=31296916/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=1680.89 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 400903 3437492 0 0 674 103 165461 1851 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=28357] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28357/stat : 28357 (satsolver.sh) S 906 905 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385841922 9367552 267 33554432000 4194304 5064252 140733977080784 140733977079696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28357/statm: 2287 267 226 213 0 72 0
[pid=28358] ppid=28357 vsize=21776 CPUtime=3.38 cores=0,2,4,6
/proc/28358/stat : 28358 (glucose) R 28357 905 10289 0 -1 4202496 4227 0 0 0 338 0 0 0 20 0 1 0 385841923 22298624 4998 33554432000 4194304 5208918 140733851308992 140733851307144 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28358/statm: 5444 4998 95 248 0 5193 0
Current children cumulated CPU time (s) 1684.27
Current children cumulated vsize (KiB) 46332

[startup+1685.2 s]
/proc/loadavg: 1.91 1.97 1.96 3/183 28407
/proc/meminfo: memFree=31292308/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=1680.89 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 400903 3437492 0 0 674 103 165461 1851 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
Current children cumulated CPU time (s) 1680.89
Current children cumulated vsize (KiB) 15408
#
############


[startup+1722.3 s]
/proc/loadavg: 1.95 1.97 1.96 3/183 29002
/proc/meminfo: memFree=31293412/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=1721.42 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 409601 3515781 0 0 688 105 169456 1893 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445077872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
Current children cumulated CPU time (s) 1721.42
Current children cumulated vsize (KiB) 15408

[startup+1782.3 s]
/proc/loadavg: 1.89 1.95 1.95 3/183 29997
/proc/meminfo: memFree=31295972/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=1779.2 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 424366 3642141 0 0 712 109 175136 1963 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=29968] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29968/stat : 29968 (satsolver.sh) S 906 905 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385851756 9367552 266 33554432000 4194304 5064252 140737114868944 140737114867856 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 2287 266 226 213 0 72 0
[pid=29969] ppid=29968 vsize=21644 CPUtime=2.25 cores=0,2,4,6
/proc/29969/stat : 29969 (glucose) R 29968 905 10289 0 -1 4202496 3162 0 0 0 225 0 0 0 20 0 1 0 385851756 22163456 4093 33554432000 4194304 5208918 140735133061776 140735133059928 4229307 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29969/statm: 5411 4093 95 248 0 5160 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 46200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.91 s]
/proc/loadavg: 1.91 1.96 1.95 3/183 30137
/proc/meminfo: memFree=31289904/32873844 swapFree=7380/7380
[pid=905] ppid=903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (npSolver-wbo-It) S 903 905 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385673752 9367552 275 33554432000 4194304 5064252 140737265083136 140737265082048 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/905/statm: 2287 275 233 213 0 72 0
[pid=906] ppid=905 vsize=6260 CPUtime=1786.59 cores=0,2,4,6
/proc/906/stat : 906 (npSolver-wbo) S 905 905 10289 0 -1 4202496 426104 3656688 0 0 715 109 175863 1972 20 0 1 0 385673752 6410240 1187 33554432000 4194304 6006132 140737445087024 140737445078384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/906/statm: 1565 1187 177 443 0 1118 0
[pid=30087] ppid=906 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30087/stat : 30087 (satsolver.sh) S 906 905 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385852500 9367552 267 33554432000 4194304 5064252 140733977507248 140733977506160 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30087/statm: 2287 267 226 213 0 72 0
[pid=30088] ppid=30087 vsize=21776 CPUtime=3.41 cores=0,2,4,6
/proc/30088/stat : 30088 (glucose) R 30087 905 10289 0 -1 4202496 3581 0 0 0 341 0 0 0 20 0 1 0 385852500 22298624 5024 33554432000 4194304 5208918 140734699335376 140734699333528 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30088/statm: 5444 5024 95 248 0 5193 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 46332

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 10.08
#  lost CPU user time (s): 10.07
#  lost CPU system time (s): 0.0100002

Real time (s): 1790.92
CPU time (s): 1800.13
CPU user time (s): 1779.28
CPU system time (s): 20.8448
CPU usage (%): 100.514
Max. virtual memory (cumulated for all children) (KiB): 135828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.21
system time used= 20.8348
maximum resident set size= 77456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4087365
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1406296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27218
involuntary context switches= 7713

runsolver used 7.8858 second user time and 16.0736 second system time

The end

Launcher Data 

Begin job on node118 at 2012-06-09 00:44:37
IDJOB=3752975
IDBENCH=78724
IDSOLVER=2336
FILE ID=node118/3752975-1339195476
RUNJOBID= node118-1339184624-11432
PBS_JOBID= 14643819
Free space on /tmp= 70788 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752975-1339195476/watcher-3752975-1339195476 -o /tmp/evaluation-result-3752975-1339195476/solver-3752975-1339195476 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752975-1339195476.wbo 504507864 HOME HOME

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

MD5SUM BENCH= 62825c7b78173675be8da33e26a62860
RANDOM SEED=504507864

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.212
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.212
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	: 5320.68
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.212
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.212
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.212
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:        31277600 kB
Buffers:          313348 kB
Cached:           329852 kB
SwapCached:         6500 kB
Active:           390052 kB
Inactive:         324496 kB
Active(anon):      64324 kB
Inactive(anon):     6640 kB
Active(file):     325728 kB
Inactive(file):   317856 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67095476 kB
Dirty:              8492 kB
Writeback:             0 kB
AnonPages:         75644 kB
Mapped:             9876 kB
Shmem:                 0 kB
Slab:             740984 kB
SReclaimable:     180856 kB
SUnreclaim:       560128 kB
KernelStack:        1528 kB
PageTables:         4128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     188528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 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= 70776 MiB
End job on node118 at 2012-06-09 01:14:28