Trace number 3752874

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.1 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM4fda08e2dc650152cad1c676f7fa8f96
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.242962
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables750
Total number of constraints80
Number of soft constraints54
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint25
Top cost 2808
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2807
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
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.01	c run usual solver
4.06/4.13	o 533
4.06/4.13	c starting approximation
4.06/4.13	c factor = 2
4.06/4.13	c current bound: 266
7.58/7.66	c current bound: 266
11.06/11.18	c current bound: 266
14.67/14.72	c current bound: 266
18.06/18.18	c current bound: 266
21.56/21.64	c current bound: 266
25.05/25.11	c current bound: 266
28.58/28.62	c current bound: 266
31.96/32.07	c current bound: 266
35.45/35.55	c current bound: 266
38.95/39.09	c current bound: 266
42.46/42.57	c current bound: 266
45.95/46.06	c current bound: 266
49.48/49.60	c current bound: 266
52.95/53.07	c current bound: 266
56.45/56.54	c current bound: 266
59.85/59.93	c current bound: 266
63.36/63.45	c current bound: 266
66.85/66.96	c current bound: 266
70.36/70.42	c current bound: 266
73.85/73.90	c current bound: 266
77.26/77.39	c current bound: 266
80.75/80.84	c current bound: 266
84.15/84.28	c current bound: 266
87.74/87.81	c current bound: 266
91.23/91.31	c current bound: 266
94.75/94.82	c current bound: 266
98.13/98.29	c current bound: 266
101.63/101.77	c current bound: 266
105.15/105.24	c current bound: 266
108.64/108.74	c current bound: 266
112.03/112.20	c current bound: 266
115.54/115.61	c current bound: 266
118.93/119.09	c current bound: 266
122.44/122.54	c current bound: 266
125.94/126.01	c current bound: 266
129.45/129.51	c current bound: 266
132.83/132.99	c current bound: 266
136.33/136.47	c current bound: 266
139.85/139.95	c current bound: 266
143.33/143.45	c current bound: 266
146.84/146.91	c current bound: 266
150.32/150.41	c current bound: 266
153.72/153.87	c current bound: 266
157.25/157.38	c current bound: 266
160.72/160.88	c current bound: 266
164.23/164.30	c current bound: 266
167.62/167.76	c current bound: 266
171.13/171.26	c current bound: 266
174.63/174.73	c current bound: 266
178.15/178.23	c current bound: 266
181.64/181.71	c current bound: 266
185.13/185.22	c current bound: 266
188.64/188.72	c current bound: 266
192.13/192.21	c current bound: 266
195.64/195.72	c current bound: 266
199.14/199.25	c current bound: 266
202.63/202.77	c current bound: 266
206.13/206.27	c current bound: 266
209.61/209.74	c current bound: 266
213.11/213.21	c current bound: 266
216.53/216.69	c current bound: 266
220.02/220.20	c current bound: 266
223.51/223.63	c current bound: 266
226.90/227.09	c current bound: 266
230.42/230.57	c current bound: 266
233.91/234.01	c current bound: 266
237.41/237.51	c current bound: 266
240.92/241.01	c current bound: 266
244.31/244.47	c current bound: 266
247.82/247.96	c current bound: 266
251.31/251.45	c current bound: 266
254.81/254.93	c current bound: 266
258.29/258.40	c current bound: 266
261.71/261.87	c current bound: 266
265.19/265.38	c current bound: 266
268.69/268.85	c current bound: 266
272.19/272.33	c current bound: 266
275.60/275.73	c current bound: 266
279.10/279.23	c current bound: 266
282.48/282.70	c current bound: 266
286.11/286.20	c current bound: 266
289.49/289.69	c current bound: 266
293.00/293.17	c current bound: 266
296.48/296.65	c current bound: 266
300.00/300.20	c current bound: 266
303.51/303.65	c current bound: 266
306.99/307.12	c current bound: 266
310.49/310.65	c current bound: 266
313.99/314.11	c current bound: 266
317.39/317.59	c current bound: 266
320.90/321.07	c current bound: 266
324.39/324.56	c current bound: 266
327.91/328.02	c current bound: 266
331.38/331.50	c current bound: 266
334.78/334.94	c current bound: 266
338.30/338.46	c current bound: 266
341.80/341.93	c current bound: 266
345.30/345.44	c current bound: 266
348.78/348.90	c current bound: 266
352.20/352.39	c current bound: 266
355.69/355.88	c current bound: 266
359.21/359.30	c current bound: 266
362.59/362.79	c current bound: 266
366.08/366.30	c current bound: 266
369.58/369.74	c current bound: 266
373.09/373.27	c current bound: 266
376.59/376.77	c current bound: 266
379.99/380.18	c current bound: 266
383.49/383.62	c current bound: 266
386.99/387.13	c current bound: 266
390.39/390.56	c current bound: 266
393.88/394.05	c current bound: 266
397.39/397.57	c current bound: 266
400.88/401.04	c current bound: 266
404.29/404.48	c current bound: 266
407.77/407.95	c current bound: 266
411.29/411.48	c current bound: 266
414.79/414.94	c current bound: 266
418.18/418.39	c current bound: 266
421.67/421.82	c current bound: 266
425.18/425.34	c current bound: 266
428.58/428.77	c current bound: 266
432.08/432.26	c current bound: 266
435.59/435.76	c current bound: 266
439.08/439.24	c current bound: 266
442.58/442.71	c current bound: 266
446.08/446.20	c current bound: 266
449.48/449.69	c current bound: 266
452.99/453.18	c current bound: 266
456.49/456.64	c current bound: 266
459.87/460.09	c current bound: 266
463.38/463.56	c current bound: 266
466.78/466.99	c current bound: 266
470.38/470.51	c current bound: 266
473.77/473.97	c current bound: 266
477.38/477.52	c current bound: 266
480.76/480.96	c current bound: 266
484.26/484.44	c current bound: 266
487.79/487.92	c current bound: 266
491.27/491.42	c current bound: 266
494.69/494.89	c current bound: 266
498.18/498.34	c current bound: 266
501.66/501.80	c current bound: 266
505.18/505.31	c current bound: 266
508.57/508.78	c current bound: 266
512.17/512.31	c current bound: 266
515.57/515.79	c current bound: 266
519.07/519.26	c current bound: 266
522.57/522.73	c current bound: 266
526.07/526.24	c current bound: 266
529.58/529.74	c current bound: 266
532.97/533.18	c current bound: 266
536.47/536.64	c current bound: 266
539.98/540.12	c current bound: 266
543.46/543.63	c current bound: 266
546.97/547.14	c current bound: 266
550.46/550.65	c current bound: 266
553.86/554.07	c current bound: 266
557.36/557.51	c current bound: 266
560.88/561.02	c current bound: 266
564.36/564.51	c current bound: 266
567.76/567.98	c current bound: 266
571.25/571.44	c current bound: 266
574.65/574.88	c current bound: 266
578.16/578.37	c current bound: 266
581.67/581.89	c current bound: 266
585.18/585.39	c current bound: 266
588.66/588.84	c current bound: 266
592.16/592.34	c current bound: 266
595.66/595.81	c current bound: 266
599.15/599.36	c current bound: 266
602.67/602.85	c current bound: 266
606.16/606.33	c current bound: 266
609.67/609.87	c current bound: 266
613.15/613.34	c current bound: 266
616.65/616.82	c current bound: 266
620.15/620.33	c current bound: 266
623.56/623.75	c current bound: 266
627.06/627.25	c current bound: 266
630.56/630.73	c current bound: 266
633.97/634.16	c current bound: 266
637.45/637.65	c current bound: 266
640.96/641.10	c current bound: 266
644.45/644.65	c current bound: 266
647.92/648.17	c current bound: 266
651.43/651.62	c current bound: 266
654.92/655.18	c current bound: 266
658.42/658.66	c current bound: 266
661.91/662.13	c current bound: 266
665.43/665.62	c current bound: 266
668.90/669.13	c current bound: 266
672.40/672.63	c current bound: 266
675.92/676.14	c current bound: 266
679.43/679.62	c current bound: 266
682.91/683.12	c current bound: 266
686.40/686.63	c current bound: 266
689.91/690.14	c current bound: 266
693.40/693.62	c current bound: 266
696.89/697.15	c current bound: 266
700.40/700.64	c current bound: 266
703.80/704.09	c current bound: 266
707.29/707.58	c current bound: 266
710.88/711.11	c current bound: 266
714.27/714.57	c current bound: 266
717.78/718.08	c current bound: 266
721.28/721.54	c current bound: 266
724.80/725.03	c current bound: 266
728.20/728.47	c current bound: 266
731.69/731.99	c current bound: 266
735.19/735.48	c current bound: 266
738.70/738.96	c current bound: 266
742.18/742.40	c current bound: 266
745.59/745.88	c current bound: 266
749.08/749.33	c current bound: 266
752.59/752.82	c current bound: 266
756.07/756.30	c current bound: 266
759.48/759.75	c current bound: 266
762.98/763.24	c current bound: 266
766.49/766.72	c current bound: 266
769.91/770.19	c current bound: 266
773.39/773.64	c current bound: 266
776.88/777.14	c current bound: 266
780.39/780.62	c current bound: 266
783.78/784.04	c current bound: 266
787.27/787.56	c current bound: 266
790.79/791.01	c current bound: 266
794.19/794.44	c current bound: 266
797.69/797.94	c current bound: 266
801.18/801.43	c current bound: 266
804.69/804.95	c current bound: 266
808.19/808.46	c current bound: 266
811.69/811.97	c current bound: 266
815.19/815.43	c current bound: 266
818.69/818.93	c current bound: 266
822.19/822.46	c current bound: 266
825.69/825.91	c current bound: 266
829.09/829.40	c current bound: 266
832.69/832.92	c current bound: 266
836.18/836.44	c current bound: 266
839.58/839.88	c current bound: 266
843.08/843.33	c current bound: 266
846.59/846.87	c current bound: 266
850.08/850.34	c current bound: 266
853.50/853.77	c current bound: 266
856.99/857.27	c current bound: 266
860.49/860.74	c current bound: 266
863.99/864.26	c current bound: 266
867.49/867.73	c current bound: 266
871.00/871.25	c current bound: 266
874.48/874.73	c current bound: 266
877.98/878.28	c current bound: 266
881.47/881.70	c current bound: 266
884.89/885.13	c current bound: 266
888.49/888.70	c current bound: 266
891.90/892.17	c current bound: 266
895.39/895.65	c current bound: 266
898.89/899.14	c current bound: 266
902.28/902.59	c current bound: 266
905.88/906.16	c current bound: 266
909.37/909.65	c current bound: 266
912.89/913.17	c current bound: 266
916.48/916.74	c current bound: 266
919.98/920.24	c current bound: 266
923.50/923.73	c current bound: 266
926.98/927.21	c current bound: 266
930.39/930.67	c current bound: 266
933.89/934.10	c current bound: 266
937.38/937.60	c current bound: 266
940.88/941.12	c current bound: 266
944.38/944.61	c current bound: 266
947.86/948.10	c current bound: 266
951.27/951.60	c current bound: 266
954.88/955.14	c current bound: 266
958.37/958.61	c current bound: 266
961.87/962.12	c current bound: 266
965.27/965.57	c current bound: 266
968.78/969.05	c current bound: 266
972.28/972.54	c current bound: 266
975.78/976.03	c current bound: 266
979.28/979.51	c current bound: 266
982.67/982.95	c current bound: 266
986.17/986.43	c current bound: 266
989.57/989.89	c current bound: 266
993.08/993.37	c current bound: 266
996.58/996.83	c current bound: 266
999.97/1000.28	c current bound: 266
1003.48/1003.76	c current bound: 266
1006.97/1007.26	c current bound: 266
1010.49/1010.79	c current bound: 266
1013.88/1014.20	c current bound: 266
1017.39/1017.65	c current bound: 266
1020.87/1021.14	c current bound: 266
1024.38/1024.62	c current bound: 266
1027.76/1028.09	c current bound: 266
1031.27/1031.57	c current bound: 266
1034.78/1035.07	c current bound: 266
1038.27/1038.56	c current bound: 266
1041.77/1042.03	c current bound: 266
1045.27/1045.54	c current bound: 266
1048.78/1049.01	c current bound: 266
1052.17/1052.46	c current bound: 266
1055.67/1055.94	c current bound: 266
1059.19/1059.42	c current bound: 266
1062.68/1062.91	c current bound: 266
1066.08/1066.38	c current bound: 266
1069.56/1069.87	c current bound: 266
1072.97/1073.26	c current bound: 266
1076.56/1076.80	c current bound: 266
1079.97/1080.26	c current bound: 266
1083.36/1083.69	c current bound: 266
1086.97/1087.22	c current bound: 266
1090.47/1090.71	c current bound: 266
1093.86/1094.19	c current bound: 266
1097.35/1097.63	c current bound: 266
1100.85/1101.13	c current bound: 266
1104.26/1104.56	c current bound: 266
1107.76/1108.04	c current bound: 266
1111.15/1111.48	c current bound: 266
1114.67/1114.92	c current bound: 266
1118.06/1118.39	c current bound: 266
1121.65/1121.90	c current bound: 266
1125.15/1125.41	c current bound: 266
1128.56/1128.89	c current bound: 266
1132.05/1132.37	c current bound: 266
1135.56/1135.88	c current bound: 266
1139.06/1139.37	c current bound: 266
1142.55/1142.90	c current bound: 266
1146.06/1146.36	c current bound: 266
1149.54/1149.89	c current bound: 266
1153.05/1153.39	c current bound: 266
1156.55/1156.84	c current bound: 266
1160.03/1160.30	c current bound: 266
1163.45/1163.76	c current bound: 266
1166.84/1167.19	c current bound: 266
1170.44/1170.70	c current bound: 266
1173.84/1174.19	c current bound: 266
1177.34/1177.67	c current bound: 266
1180.84/1181.19	c current bound: 266
1184.34/1184.65	c current bound: 266
1187.84/1188.15	c current bound: 266
1191.34/1191.64	c current bound: 266
1194.74/1195.06	c current bound: 266
1198.24/1198.52	c current bound: 266
1201.74/1202.02	c current bound: 266
1205.13/1205.49	c current bound: 266
1208.73/1209.01	c current bound: 266
1212.25/1212.50	c current bound: 266
1215.73/1216.01	c current bound: 266
1219.26/1219.50	c current bound: 266
1222.65/1222.95	c current bound: 266
1226.14/1226.49	c current bound: 266
1229.73/1230.00	c current bound: 266
1233.13/1233.45	c current bound: 266
1236.65/1236.92	c current bound: 266
1240.03/1240.38	c current bound: 266
1243.52/1243.84	c current bound: 266
1247.14/1247.44	c current bound: 266
1250.59/1250.93	c current bound: 266
1254.09/1254.41	c current bound: 266
1257.59/1257.91	c current bound: 266
1260.99/1261.39	c current bound: 266
1264.50/1264.86	c current bound: 266
1268.00/1268.32	c current bound: 266
1271.41/1271.72	c current bound: 266
1274.79/1275.15	c current bound: 266
1278.29/1278.65	c current bound: 266
1281.79/1282.15	c current bound: 266
1285.30/1285.66	c current bound: 266
1288.80/1289.18	c current bound: 266
1292.40/1292.72	c current bound: 266
1295.92/1296.20	c current bound: 266
1299.30/1299.66	c current bound: 266
1302.80/1303.12	c current bound: 266
1306.29/1306.63	c current bound: 266
1309.70/1310.10	c current bound: 266
1313.20/1313.58	c current bound: 266
1316.69/1317.06	c current bound: 266
1320.19/1320.54	c current bound: 266
1323.59/1323.98	c current bound: 266
1327.10/1327.46	c current bound: 266
1330.59/1330.91	c current bound: 266
1334.09/1334.41	c current bound: 266
1337.59/1337.93	c current bound: 266
1340.99/1341.39	c current bound: 266
1344.51/1344.86	c current bound: 266
1348.00/1348.37	c current bound: 266
1351.50/1351.84	c current bound: 266
1355.20/1355.51	c current bound: 266
1358.71/1359.04	c current bound: 266
1362.20/1362.57	c current bound: 266
1365.70/1366.10	c current bound: 266
1369.29/1369.61	c current bound: 266
1372.79/1373.14	c current bound: 266
1376.30/1376.63	c current bound: 266
1379.80/1380.10	c current bound: 266
1383.31/1383.60	c current bound: 266
1386.69/1387.07	c current bound: 266
1390.20/1390.59	c current bound: 266
1393.68/1394.05	c current bound: 266
1397.10/1397.49	c current bound: 266
1400.68/1401.00	c current bound: 266
1404.08/1404.41	c current bound: 266
1407.60/1407.91	c current bound: 266
1411.09/1411.41	c current bound: 266
1414.50/1414.89	c current bound: 266
1417.99/1418.35	c current bound: 266
1421.40/1421.79	c current bound: 266
1424.97/1425.30	c current bound: 266
1428.47/1428.81	c current bound: 266
1431.85/1432.28	c current bound: 266
1435.35/1435.75	c current bound: 266
1438.85/1439.22	c current bound: 266
1442.33/1442.74	c current bound: 266
1445.85/1446.29	c current bound: 266
1449.33/1449.76	c current bound: 266
1452.84/1453.24	c current bound: 266
1456.34/1456.71	c current bound: 266
1459.74/1460.14	c current bound: 266
1463.25/1463.63	c current bound: 266
1466.74/1467.18	c current bound: 266
1470.24/1470.68	c current bound: 266
1473.73/1474.17	c current bound: 266
1477.22/1477.60	c current bound: 266
1480.64/1481.08	c current bound: 266
1484.13/1484.51	c current bound: 266
1487.63/1488.03	c current bound: 266
1491.13/1491.53	c current bound: 266
1494.64/1495.07	c current bound: 266
1498.13/1498.55	c current bound: 266
1501.64/1502.03	c current bound: 266
1505.13/1505.52	c current bound: 266
1508.54/1508.99	c current bound: 266
1512.02/1512.47	c current bound: 266
1515.52/1515.99	c current bound: 266
1519.03/1519.45	c current bound: 266
1522.53/1522.93	c current bound: 266
1526.02/1526.41	c current bound: 266
1529.42/1529.85	c current bound: 266
1532.93/1533.33	c current bound: 266
1536.42/1536.82	c current bound: 266
1539.93/1540.30	c current bound: 266
1543.32/1543.72	c current bound: 266
1546.80/1547.24	c current bound: 266
1550.32/1550.74	c current bound: 266
1553.81/1554.23	c current bound: 266
1557.22/1557.69	c current bound: 266
1560.70/1561.16	c current bound: 266
1564.23/1564.62	c current bound: 266
1567.70/1568.11	c current bound: 266
1571.13/1571.52	c current bound: 266
1574.60/1575.05	c current bound: 266
1578.12/1578.53	c current bound: 266
1581.61/1582.02	c current bound: 266
1585.11/1585.55	c current bound: 266
1588.61/1589.03	c current bound: 266
1592.11/1592.54	c current bound: 266
1595.50/1595.98	c current bound: 266
1599.02/1599.45	c current bound: 266
1602.51/1602.91	c current bound: 266
1605.89/1606.37	c current bound: 266
1609.40/1609.82	c current bound: 266
1612.91/1613.30	c current bound: 266
1616.40/1616.83	c current bound: 266
1619.81/1620.28	c current bound: 266
1623.29/1623.75	c current bound: 266
1626.80/1627.21	c current bound: 266
1630.19/1630.64	c current bound: 266
1633.71/1634.12	c current bound: 266
1637.19/1637.61	c current bound: 266
1640.59/1641.06	c current bound: 266
1644.10/1644.58	c current bound: 266
1647.59/1648.06	c current bound: 266
1651.19/1651.61	c current bound: 266
1654.68/1655.10	c current bound: 266
1658.18/1658.60	c current bound: 266
1661.70/1662.12	c current bound: 266
1665.19/1665.62	c current bound: 266
1668.58/1669.04	c current bound: 266
1672.07/1672.55	c current bound: 266
1675.58/1676.00	c current bound: 266
1678.97/1679.48	c current bound: 266
1682.49/1682.92	c current bound: 266
1685.98/1686.43	c current bound: 266
1689.48/1689.93	c current bound: 266
1692.98/1693.45	c current bound: 266
1696.48/1696.93	c current bound: 266
1699.98/1700.44	c current bound: 266
1703.39/1703.87	c current bound: 266
1706.89/1707.37	c current bound: 266
1710.37/1710.86	c current bound: 266
1713.87/1714.31	c current bound: 266
1717.37/1717.81	c current bound: 266
1720.77/1721.26	c current bound: 266
1724.27/1724.71	c current bound: 266
1727.66/1728.18	c current bound: 266
1731.16/1731.69	c current bound: 266
1734.65/1735.14	c current bound: 266
1738.17/1738.62	c current bound: 266
1741.66/1742.11	c current bound: 266
1745.15/1745.60	c current bound: 266
1748.56/1749.09	c current bound: 266
1752.06/1752.58	c current bound: 266
1755.55/1756.06	c current bound: 266
1759.06/1759.54	c current bound: 266
1762.57/1763.02	c current bound: 266
1766.07/1766.52	c current bound: 266
1769.58/1770.00	c current bound: 266
1772.95/1773.49	c current bound: 266
1776.55/1777.06	c current bound: 266
1780.06/1780.58	c current bound: 266
1783.56/1784.05	c current bound: 266
1787.08/1787.53	c current bound: 266
1790.56/1791.04	c current bound: 266
1794.06/1794.52	c current bound: 266
1797.56/1798.02	c current bound: 266
1800.05/1800.50	./satsolver.sh: line 5:  7197 Terminated              ./glucose $1 > $2 2> /dev/null
1800.05/1800.50	c error: unexpected solver exit code
1800.05/1800.50	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-3752874-1339191061/watcher-3752874-1339191061 -o /tmp/evaluation-result-3752874-1339191061/solver-3752874-1339191061 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752874-1339191061.wbo 1378492086 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.02 1.97 1.94 2/180 1790
/proc/meminfo: memFree=26760108/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0

[startup+0.075149 s]
/proc/loadavg: 2.02 1.97 1.94 2/180 1790
/proc/meminfo: memFree=26760108/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100183 s]
/proc/loadavg: 2.02 1.97 1.94 2/180 1790
/proc/meminfo: memFree=26760108/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30011 s]
/proc/loadavg: 2.02 1.97 1.94 2/180 1790
/proc/meminfo: memFree=26760108/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700109 s]
/proc/loadavg: 2.02 1.97 1.94 2/180 1790
/proc/meminfo: memFree=26760108/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.02 1.97 1.94 3/183 1798
/proc/meminfo: memFree=26746948/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=2404 CPUtime=0.01 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 1803 1680 0 0 0 0 1 0 20 0 1 0 385230549 2461696 240 33554432000 4194304 6006132 140736495652640 140736495646832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1791/statm: 601 240 157 443 0 154 0
[pid=1796] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1796/stat : 1796 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385230552 9367552 267 33554432000 4194304 5064252 140733570087440 140733570086352 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1796/statm: 2287 267 226 213 0 72 0
[pid=1798] ppid=1796 vsize=11920 CPUtime=1.45 cores=1,3,5,7
/proc/1798/stat : 1798 (glucose) R 1796 1790 5089 0 -1 4202496 2771 0 0 0 145 0 0 0 20 0 1 0 385230553 12206080 2347 33554432000 4194304 5208918 140735647857856 140735647855800 4229984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1798/statm: 2980 2347 95 248 0 2729 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 32620

[startup+3.10033 s]
/proc/loadavg: 2.02 1.97 1.94 3/183 1798
/proc/meminfo: memFree=26744476/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=2404 CPUtime=0.01 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 1803 1680 0 0 0 0 1 0 20 0 1 0 385230549 2461696 240 33554432000 4194304 6006132 140736495652640 140736495646832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1791/statm: 601 240 157 443 0 154 0
[pid=1796] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1796/stat : 1796 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385230552 9367552 267 33554432000 4194304 5064252 140733570087440 140733570086352 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1796/statm: 2287 267 226 213 0 72 0
[pid=1798] ppid=1796 vsize=11920 CPUtime=3.05 cores=1,3,5,7
/proc/1798/stat : 1798 (glucose) R 1796 1790 5089 0 -1 4202496 2952 0 0 0 305 0 0 0 20 0 1 0 385230553 12206080 2527 33554432000 4194304 5208918 140735647857856 140735647855800 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1798/statm: 2980 2527 95 248 0 2729 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32620

[startup+6.30035 s]
/proc/loadavg: 2.02 1.97 1.94 3/183 1805
/proc/meminfo: memFree=26740780/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=4.13 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 2125 8678 0 0 1 1 409 2 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=1804] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1804/stat : 1804 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385230964 9367552 267 33554432000 4194304 5064252 140733685804880 140733685803792 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1804/statm: 2287 267 226 213 0 72 0
[pid=1805] ppid=1804 vsize=16044 CPUtime=2.15 cores=1,3,5,7
/proc/1805/stat : 1805 (glucose) R 1804 1790 5089 0 -1 4202496 4324 0 0 0 214 1 0 0 20 0 1 0 385230964 16429056 3500 33554432000 4194304 5208918 140737076393600 140737076391464 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1805/statm: 4011 3500 104 248 0 3760 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37780

[startup+12.7003 s]
/proc/loadavg: 2.02 1.97 1.94 3/183 1832
/proc/meminfo: memFree=26739736/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=11.17 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 2735 24848 0 0 2 1 1106 8 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=1830] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1830/stat : 1830 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385231669 9367552 267 33554432000 4194304 5064252 140736565540848 140736565539760 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1830/statm: 2287 267 226 213 0 72 0
[pid=1832] ppid=1830 vsize=13364 CPUtime=1.49 cores=1,3,5,7
/proc/1832/stat : 1832 (glucose) R 1830 1790 5089 0 -1 4202496 4023 0 0 0 148 1 0 0 20 0 1 0 385231669 13684736 2514 33554432000 4194304 5208918 140735646716016 140735646713864 4229471 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1832/statm: 3341 2514 96 248 0 3090 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 35100

[startup+25.5004 s]
/proc/loadavg: 2.01 1.97 1.94 3/183 1877
/proc/meminfo: memFree=26741560/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=25.09 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 3955 57278 0 0 4 1 2484 20 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=1876] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1876/stat : 1876 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385233061 9367552 267 33554432000 4194304 5064252 140734029133168 140734029132080 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1876/statm: 2287 267 226 213 0 72 0
[pid=1877] ppid=1876 vsize=10296 CPUtime=0.37 cores=1,3,5,7
/proc/1877/stat : 1877 (glucose) R 1876 1790 5089 0 -1 4202496 1447 0 0 0 37 0 0 0 20 0 1 0 385233061 10543104 1810 33554432000 4194304 5208918 140734308067168 140734308065464 4229520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1877/statm: 2574 1810 95 248 0 2323 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 32032

[startup+51.1004 s]
/proc/loadavg: 2.01 1.97 1.94 3/183 1955
/proc/meminfo: memFree=26751892/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=49.58 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 6090 111669 0 0 8 2 4912 36 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=1947] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1947/stat : 1947 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385235510 9367552 267 33554432000 4194304 5064252 140736725146928 140736725145840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1947/statm: 2287 267 226 213 0 72 0
[pid=1948] ppid=1947 vsize=13360 CPUtime=1.48 cores=1,3,5,7
/proc/1948/stat : 1948 (glucose) R 1947 1790 5089 0 -1 4202496 3441 0 0 0 148 0 0 0 20 0 1 0 385235511 13680640 2889 33554432000 4194304 5208918 140736369876144 140736369874296 4213760 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1948/statm: 3340 2889 96 248 0 3089 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 35096

[startup+102.3 s]
/proc/loadavg: 1.93 1.95 1.94 3/184 2110
/proc/meminfo: memFree=26753456/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=101.74 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 10665 230263 0 0 17 2 10082 73 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=2102] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2102/stat : 2102 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385240728 9367552 267 33554432000 4194304 5064252 140733359938976 140733359937888 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2287 267 226 213 0 72 0
[pid=2103] ppid=2102 vsize=7588 CPUtime=0.51 cores=1,3,5,7
/proc/2103/stat : 2103 (glucose) R 2102 1790 5089 0 -1 4202496 1821 0 0 0 51 0 0 0 20 0 1 0 385240728 7770112 1452 33554432000 4194304 5208918 140736076757424 140736076755512 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2103/statm: 1897 1452 96 248 0 1646 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29324

[startup+162.3 s]
/proc/loadavg: 1.97 1.96 1.94 3/183 2285
/proc/meminfo: memFree=26747036/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=160.83 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 15850 365307 0 0 27 3 15938 115 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=2284] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/5672/statm: 2287 266 226 213 0 72 0
[pid=5673] ppid=5672 vsize=18764 CPUtime=2.61 cores=1,3,5,7
/proc/5673/stat : 5673 (glucose) R 5672 1790 5089 0 -1 4202496 5158 0 0 0 261 0 0 0 20 0 1 0 385360517 19214336 4234 33554432000 4194304 5208918 140733621466800 140733621464664 4215363 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5673/statm: 4691 4234 104 248 0 4440 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 40500

[startup+1362.3 s]
/proc/loadavg: 1.96 1.97 1.94 3/184 5859
/proc/meminfo: memFree=26730080/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=1358.76 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 120770 3092224 0 0 221 32 134628 995 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=5858] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5858/stat : 5858 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385366454 9367552 267 33554432000 4194304 5064252 140734316902752 140734316901664 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5858/statm: 2287 267 226 213 0 72 0
[pid=5859] ppid=5858 vsize=18756 CPUtime=3.24 cores=1,3,5,7
/proc/5859/stat : 5859 (glucose) R 5858 1790 5089 0 -1 4202496 5033 0 0 0 323 1 0 0 20 0 1 0 385366454 19206144 4232 33554432000 4194304 5208918 140735545671888 140735545669752 4205227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5859/statm: 4689 4232 104 248 0 4438 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 40492

[startup+1422.3 s]
/proc/loadavg: 2.06 1.99 1.95 3/183 6041
/proc/meminfo: memFree=26740800/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=1421.5 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 126260 3234253 0 0 231 34 140848 1037 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=6040] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6040/stat : 6040 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385372730 9367552 267 33554432000 4194304 5064252 140733215233328 140733215232240 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6040/statm: 2287 267 226 213 0 72 0
[pid=6041] ppid=6040 vsize=7596 CPUtime=0.49 cores=1,3,5,7
/proc/6041/stat : 6041 (glucose) R 6040 1790 5089 0 -1 4202496 2081 0 0 0 49 0 0 0 20 0 1 0 385372730 7778304 1422 33554432000 4194304 5208918 140736124163776 140736124161864 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 1899 1422 96 248 0 1648 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 29332

[startup+1482.3 s]
/proc/loadavg: 2.02 1.99 1.95 3/183 6216
/proc/meminfo: memFree=26740360/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=1480.75 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 131445 3368130 0 0 241 36 146718 1080 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=6215] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6215/stat : 6215 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385378658 9367552 266 33554432000 4194304 5064252 140735364341568 140735364340480 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6215/statm: 2287 266 226 213 0 72 0
[pid=6216] ppid=6215 vsize=10592 CPUtime=1.2 cores=1,3,5,7
/proc/6216/stat : 6216 (glucose) R 6215 1790 5089 0 -1 4202496 3074 0 0 0 120 0 0 0 20 0 1 0 385378659 10846208 1625 33554432000 4194304 5208918 140736330723232 140736330721176 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6216/statm: 2648 1625 96 248 0 2397 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 32328

[startup+1542.31 s]
/proc/loadavg: 2.04 2.00 1.95 3/183 6400
/proc/meminfo: memFree=26741972/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=1539.93 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 136630 3502394 0 0 250 37 152583 1123 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=6392] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6392/stat : 6392 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385384580 9367552 267 33554432000 4194304 5064252 140733836480496 140733836479408 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6392/statm: 2287 267 226 213 0 72 0
[pid=6393] ppid=6392 vsize=16040 CPUtime=1.99 cores=1,3,5,7
/proc/6393/stat : 6393 (glucose) R 6392 1790 5089 0 -1 4202496 4552 0 0 0 199 0 0 0 20 0 1 0 385384580 16424960 3500 33554432000 4194304 5208918 140735456314800 140735456312664 4213597 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6393/statm: 4010 3500 104 248 0 3759 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 37776

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/183 6576
/proc/meminfo: memFree=26739436/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=1599.08 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 141815 3637892 0 0 260 38 158443 1167 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=6568] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385390495 9367552 267 33554432000 4194304 5064252 140736750690800 140736750689712 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6568/statm: 2287 267 226 213 0 72 0
[pid=6569] ppid=6568 vsize=18756 CPUtime=2.82 cores=1,3,5,7
/proc/6569/stat : 6569 (glucose) R 6568 1790 5089 0 -1 4202496 4052 0 0 0 282 0 0 0 20 0 1 0 385390495 19206144 4242 33554432000 4194304 5208918 140736967617984 140736967615848 4212457 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6569/statm: 4689 4242 104 248 0 4438 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 40492

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 6754
/proc/meminfo: memFree=26745348/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=1661.72 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 147305 3780203 0 0 270 39 164652 1211 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 12588

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 6933
/proc/meminfo: memFree=26742700/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=1720.85 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 152490 3913704 0 0 280 40 170512 1253 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=6932] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6932/stat : 6932 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385402677 9367552 267 33554432000 4194304 5064252 140735380780784 140735380779696 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6932/statm: 2287 267 226 213 0 72 0
[pid=6933] ppid=6932 vsize=10556 CPUtime=1.02 cores=1,3,5,7
/proc/6933/stat : 6933 (glucose) R 6932 1790 5089 0 -1 4202496 2364 0 0 0 102 0 0 0 20 0 1 0 385402677 10809344 1943 33554432000 4194304 5208918 140733962295744 140733962293592 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6933/statm: 2639 1943 96 248 0 2388 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 32292

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 7111
/proc/meminfo: memFree=26736232/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=1780.16 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 157675 4051167 0 0 289 42 176390 1295 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=7110] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7110/stat : 7110 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385408608 9367552 265 33554432000 4194304 5064252 140734238954384 140734238953296 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7110/statm: 2287 265 226 213 0 72 0
[pid=7111] ppid=7110 vsize=13364 CPUtime=1.7 cores=1,3,5,7
/proc/7111/stat : 7111 (glucose) R 7110 1790 5089 0 -1 4202496 3221 0 0 0 170 0 0 0 20 0 1 0 385408608 13684736 2723 33554432000 4194304 5208918 140736515966320 140736515964264 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7111/statm: 3341 2723 96 248 0 3090 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 35100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 7235
/proc/meminfo: memFree=26722156/32873648 swapFree=7388/7388
[pid=1790] ppid=1788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (npSolver-wbo-It) S 1788 1790 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385230549 9367552 274 33554432000 4194304 5064252 140735536172000 140735536170912 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1790/statm: 2287 274 233 213 0 72 0
[pid=1791] ppid=1790 vsize=3440 CPUtime=1797.59 cores=1,3,5,7
/proc/1791/stat : 1791 (npSolver-wbo) S 1790 1790 5089 0 -1 4202496 159200 4090340 0 0 292 42 178117 1308 20 0 1 0 385230549 3522560 486 33554432000 4194304 6006132 140736495652640 140736495644000 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1791/statm: 860 486 176 443 0 413 0
[pid=7196] ppid=1791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7196/stat : 7196 (satsolver.sh) S 1791 1790 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385410352 9367552 267 33554432000 4194304 5064252 140733485400704 140733485399616 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7196/statm: 2287 267 226 213 0 72 0
[pid=7197] ppid=7196 vsize=18760 CPUtime=2.46 cores=1,3,5,7
/proc/7197/stat : 7197 (glucose) R 7196 1790 5089 0 -1 4202496 4500 0 0 0 246 0 0 0 20 0 1 0 385410352 19210240 4234 33554432000 4194304 5208918 140736627475488 140736627473352 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7197/statm: 4690 4234 104 248 0 4439 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 40496

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1786.57
CPU system time (s): 13.5259
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 40500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.57
system time used= 13.5259
maximum resident set size= 29340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4255030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 516096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9734
involuntary context switches= 7542

runsolver used 2.67159 second user time and 7.2149 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-08 23:31:01
IDJOB=3752874
IDBENCH=78687
IDSOLVER=2336
FILE ID=node148/3752874-1339191061
RUNJOBID= node148-1339183826-6232
PBS_JOBID= 14643813
Free space on /tmp= 70416 MiB

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

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

MD5SUM BENCH= 4fda08e2dc650152cad1c676f7fa8f96
RANDOM SEED=1378492086

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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		: 2667.284
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.90
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		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26760636 kB
Buffers:          744120 kB
Cached:          4372160 kB
SwapCached:          560 kB
Active:          2480360 kB
Inactive:        2655832 kB
Active(anon):       8688 kB
Inactive(anon):    10632 kB
Active(file):    2471672 kB
Inactive(file):  2645200 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107596 kB
Dirty:             16804 kB
Writeback:             0 kB
AnonPages:         29292 kB
Mapped:            11820 kB
Shmem:                36 kB
Slab:             838968 kB
SReclaimable:     281724 kB
SUnreclaim:       557244 kB
KernelStack:        1528 kB
PageTables:         3928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     136488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70408 MiB
End job on node148 at 2012-06-09 00:01:01