Trace number 3715516

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.12 1804.11

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-29_wcsp.wbo
MD5SUM429cc4a9012eaf2031e2cb9a0fbbc756
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8059
Best CPU time to get the best result obtained on this benchmark75.6
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables202
Total number of constraints774
Number of soft constraints692
Number of constraints which are clauses692
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 20092
Min constraint cost 1
Max constraint cost 20092
Sum of constraints costs 12276211
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.00	c run usual solver
0.00/0.03	o 4822082
0.00/0.03	c starting approximation
0.00/0.03	c factor = 2
0.00/0.03	c factor still to low - shrinking to 10010.6
0.00/0.03	c approx number of clauses: 1e+06
0.00/0.03	c current bound: 2411041
3.55/3.78	c current bound: 2411041
7.29/7.54	c current bound: 2411041
11.28/11.30	c current bound: 2411041
14.82/15.06	c current bound: 2411041
18.76/18.82	c current bound: 2411041
22.34/22.58	c current bound: 2411041
26.27/26.34	c current bound: 2411041
29.86/30.10	c current bound: 2411041
33.65/33.90	c current bound: 2411041
37.42/37.67	c current bound: 2411041
41.15/41.41	c current bound: 2411041
45.06/45.17	c current bound: 2411041
48.67/48.93	c current bound: 2411041
52.42/52.68	c current bound: 2411041
56.17/56.44	c current bound: 2411041
59.95/60.20	c current bound: 2411041
63.76/64.02	c current bound: 2411041
67.52/67.78	c current bound: 2411041
71.44/71.53	c current bound: 2411041
75.01/75.28	c current bound: 2411041
78.77/79.05	c current bound: 2411041
82.53/82.80	c current bound: 2411041
86.28/86.57	c current bound: 2411041
90.06/90.33	c current bound: 2411041
93.88/94.16	c current bound: 2411041
97.82/97.94	c current bound: 2411041
101.62/101.72	c current bound: 2411041
105.15/105.48	c current bound: 2411041
108.93/109.25	c current bound: 2411041
112.68/113.02	c current bound: 2411041
116.45/116.78	c current bound: 2411041
120.22/120.55	c current bound: 2411041
124.16/124.38	c current bound: 2411041
127.79/128.15	c current bound: 2411041
131.53/131.89	c current bound: 2411041
135.28/135.65	c current bound: 2411041
139.03/139.41	c current bound: 2411041
142.81/143.19	c current bound: 2411041
146.56/146.97	c current bound: 2411041
150.51/150.74	c current bound: 2411041
154.10/154.50	c current bound: 2411041
157.86/158.28	c current bound: 2411041
161.64/162.04	c current bound: 2411041
165.40/165.80	c current bound: 2411041
169.16/169.56	c current bound: 2411041
172.94/173.34	c current bound: 2411041
176.91/177.11	c current bound: 2411041
180.46/180.86	c current bound: 2411041
184.23/184.63	c current bound: 2411041
187.99/188.39	c current bound: 2411041
191.74/192.15	c current bound: 2411041
195.69/195.91	c current bound: 2411041
199.27/199.87	c current bound: 2411041
203.03/203.63	c current bound: 2411041
206.78/207.39	c current bound: 2411041
210.71/211.16	c current bound: 2411041
214.32/214.93	c current bound: 2411041
218.08/218.77	c current bound: 2411041
221.83/222.52	c current bound: 2411041
225.58/226.28	c current bound: 2411041
229.34/230.05	c current bound: 2411041
233.14/233.85	c current bound: 2411041
237.11/237.61	c current bound: 2411041
240.64/241.36	c current bound: 2411041
244.41/245.12	c current bound: 2411041
248.16/248.88	c current bound: 2411041
251.91/252.63	c current bound: 2411041
255.79/256.39	c current bound: 2411041
259.42/260.14	c current bound: 2411041
263.39/263.96	c current bound: 2411041
266.99/267.72	c current bound: 2411041
270.72/271.47	c current bound: 2411041
274.49/275.23	c current bound: 2411041
278.24/278.99	c current bound: 2411041
282.17/282.74	c current bound: 2411041
285.76/286.51	c current bound: 2411041
289.52/290.27	c current bound: 2411041
293.55/294.10	c current bound: 2411041
297.09/297.85	c current bound: 2411041
300.82/301.59	c current bound: 2411041
304.59/305.35	c current bound: 2411041
308.56/309.12	c current bound: 2411041
312.10/312.87	c current bound: 2411041
315.86/316.63	c current bound: 2411041
319.84/320.40	c current bound: 2411041
323.46/324.23	c current bound: 2411041
327.20/327.99	c current bound: 2411041
330.94/331.73	c current bound: 2411041
334.83/335.49	c current bound: 2411041
338.47/339.25	c current bound: 2411041
342.21/343.01	c current bound: 2411041
345.99/346.77	c current bound: 2411041
349.75/350.53	c current bound: 2411041
353.55/354.34	c current bound: 2411041
357.29/358.27	c current bound: 2411041
361.24/362.01	c current bound: 2411041
364.80/365.77	c current bound: 2411041
368.76/369.54	c current bound: 2411041
372.33/373.32	c current bound: 2411041
376.11/377.08	c current bound: 2411041
379.87/380.84	c current bound: 2411041
383.35/384.34	c current bound: 2411041
387.33/388.10	c current bound: 2411041
390.86/391.84	c current bound: 2411041
394.63/395.60	c current bound: 2411041
398.53/399.37	c current bound: 2411041
402.15/403.14	c current bound: 2411041
405.92/406.90	c current bound: 2411041
409.68/410.67	c current bound: 2411041
413.51/414.51	c current bound: 2411041
417.27/418.27	c current bound: 2411041
421.01/422.01	c current bound: 2411041
424.92/425.77	c current bound: 2411041
428.54/429.57	c current bound: 2411041
432.48/433.35	c current bound: 2411041
436.06/437.10	c current bound: 2411041
439.84/440.87	c current bound: 2411041
443.58/444.63	c current bound: 2411041
447.35/448.43	c current bound: 2411041
451.24/452.17	c current bound: 2411041
454.85/455.93	c current bound: 2411041
458.62/459.70	c current bound: 2411041
462.40/463.48	c current bound: 2411041
466.15/467.24	c current bound: 2411041
469.91/471.00	c current bound: 2411041
473.67/474.76	c current bound: 2411041
477.63/478.52	c current bound: 2411041
481.17/482.26	c current bound: 2411041
484.93/486.03	c current bound: 2411041
488.70/489.79	c current bound: 2411041
492.48/493.58	c current bound: 2411041
496.23/497.33	c current bound: 2411041
499.99/501.09	c current bound: 2411041
503.90/504.85	c current bound: 2411041
507.52/508.61	c current bound: 2411041
511.27/512.37	c current bound: 2411041
515.02/516.13	c current bound: 2411041
518.78/519.88	c current bound: 2411041
522.71/523.64	c current bound: 2411041
526.51/527.40	c current bound: 2411041
530.04/531.16	c current bound: 2411041
533.81/534.91	c current bound: 2411041
537.56/538.67	c current bound: 2411041
541.32/542.43	c current bound: 2411041
545.07/546.19	c current bound: 2411041
549.01/549.94	c current bound: 2411041
552.59/553.70	c current bound: 2411041
556.36/557.46	c current bound: 2411041
560.11/561.23	c current bound: 2411041
563.88/564.98	c current bound: 2411041
567.81/568.75	c current bound: 2411041
571.38/572.69	c current bound: 2411041
575.31/576.46	c current bound: 2411041
578.90/580.21	c current bound: 2411041
582.67/583.97	c current bound: 2411041
586.43/587.74	c current bound: 2411041
590.18/591.52	c current bound: 2411041
593.93/595.27	c current bound: 2411041
597.68/599.03	c current bound: 2411041
601.56/602.77	c current bound: 2411041
605.20/606.53	c current bound: 2411041
608.95/610.30	c current bound: 2411041
612.75/614.10	c current bound: 2411041
616.50/617.86	c current bound: 2411041
620.44/621.60	c current bound: 2411041
624.00/625.36	c current bound: 2411041
627.95/629.12	c current bound: 2411041
631.50/632.87	c current bound: 2411041
635.28/636.63	c current bound: 2411041
639.02/640.39	c current bound: 2411041
642.82/644.18	c current bound: 2411041
646.74/647.95	c current bound: 2411041
650.55/651.70	c current bound: 2411041
654.08/655.46	c current bound: 2411041
657.85/659.41	c current bound: 2411041
661.60/663.17	c current bound: 2411041
665.36/666.93	c current bound: 2411041
669.13/670.69	c current bound: 2411041
672.95/674.72	c current bound: 2411041
676.69/678.47	c current bound: 2411041
680.43/682.21	c current bound: 2411041
684.19/685.97	c current bound: 2411041
688.14/689.74	c current bound: 2411041
691.74/693.55	c current bound: 2411041
695.71/697.31	c current bound: 2411041
699.26/701.07	c current bound: 2411041
703.02/704.84	c current bound: 2411041
706.79/708.60	c current bound: 2411041
710.55/712.36	c current bound: 2411041
714.49/716.11	c current bound: 2411041
718.06/719.87	c current bound: 2411041
721.81/723.63	c current bound: 2411041
725.56/727.39	c current bound: 2411041
729.33/731.15	c current bound: 2411041
733.10/734.92	c current bound: 2411041
736.86/738.67	c current bound: 2411041
740.79/742.43	c current bound: 2411041
744.38/746.20	c current bound: 2411041
748.14/749.96	c current bound: 2411041
751.90/753.72	c current bound: 2411041
755.66/757.47	c current bound: 2411041
759.59/761.24	c current bound: 2411041
763.40/765.00	c current bound: 2411041
766.93/768.76	c current bound: 2411041
770.68/772.51	c current bound: 2411041
774.45/776.43	c current bound: 2411041
778.21/780.19	c current bound: 2411041
781.98/783.95	c current bound: 2411041
785.91/787.71	c current bound: 2411041
789.71/791.54	c current bound: 2411041
793.46/795.31	c current bound: 2411041
797.02/799.07	c current bound: 2411041
800.75/802.81	c current bound: 2411041
804.52/806.57	c current bound: 2411041
808.28/810.37	c current bound: 2411041
812.09/814.17	c current bound: 2411041
815.84/817.93	c current bound: 2411041
819.71/821.69	c current bound: 2411041
823.34/825.47	c current bound: 2411041
827.10/829.24	c current bound: 2411041
830.86/832.98	c current bound: 2411041
834.60/836.78	c current bound: 2411041
838.36/840.55	c current bound: 2411041
842.18/844.36	c current bound: 2411041
846.12/848.12	c current bound: 2411041
849.69/851.87	c current bound: 2411041
853.45/855.63	c current bound: 2411041
857.20/859.39	c current bound: 2411041
860.95/863.15	c current bound: 2411041
864.90/866.90	c current bound: 2411041
868.45/870.67	c current bound: 2411041
872.41/874.47	c current bound: 2411041
876.01/878.23	c current bound: 2411041
879.76/881.98	c current bound: 2411041
883.53/885.75	c current bound: 2411041
887.29/889.51	c current bound: 2411041
891.17/893.27	c current bound: 2411041
894.80/897.07	c current bound: 2411041
898.74/900.83	c current bound: 2411041
902.38/904.65	c current bound: 2411041
906.13/908.41	c current bound: 2411041
909.87/912.16	c current bound: 2411041
913.62/915.91	c current bound: 2411041
917.52/919.68	c current bound: 2411041
921.16/923.45	c current bound: 2411041
925.10/927.21	c current bound: 2411041
928.67/930.97	c current bound: 2411041
932.50/934.81	c current bound: 2411041
936.26/938.58	c current bound: 2411041
940.00/942.31	c current bound: 2411041
943.88/946.07	c current bound: 2411041
947.51/949.83	c current bound: 2411041
951.47/953.61	c current bound: 2411041
955.03/957.37	c current bound: 2411041
958.79/961.14	c current bound: 2411041
962.61/964.96	c current bound: 2411041
966.37/968.71	c current bound: 2411041
970.26/972.45	c current bound: 2411041
973.87/976.22	c current bound: 2411041
977.64/979.98	c current bound: 2411041
981.40/983.76	c current bound: 2411041
985.16/987.51	c current bound: 2411041
988.92/991.27	c current bound: 2411041
992.68/995.03	c current bound: 2411041
996.56/998.80	c current bound: 2411041
1000.19/1002.56	c current bound: 2411041
1003.96/1006.33	c current bound: 2411041
1007.72/1010.09	c current bound: 2411041
1011.48/1013.86	c current bound: 2411041
1015.24/1017.62	c current bound: 2411041
1019.02/1021.38	c current bound: 2411041
1022.94/1025.16	c current bound: 2411041
1026.55/1028.93	c current bound: 2411041
1030.31/1032.69	c current bound: 2411041
1034.08/1036.46	c current bound: 2411041
1037.84/1040.22	c current bound: 2411041
1041.83/1044.01	c current bound: 2411041
1045.41/1047.78	c current bound: 2411041
1049.32/1051.54	c current bound: 2411041
1052.93/1055.30	c current bound: 2411041
1056.69/1059.06	c current bound: 2411041
1060.45/1062.83	c current bound: 2411041
1064.44/1066.60	c current bound: 2411041
1068.13/1070.36	c current bound: 2411041
1071.75/1074.15	c current bound: 2411041
1075.72/1077.91	c current bound: 2411041
1079.29/1081.84	c current bound: 2411041
1083.04/1085.59	c current bound: 2411041
1086.80/1089.35	c current bound: 2411041
1090.54/1093.11	c current bound: 2411041
1094.31/1096.87	c current bound: 2411041
1098.06/1100.63	c current bound: 2411041
1102.04/1104.45	c current bound: 2411041
1105.63/1108.21	c current bound: 2411041
1109.38/1111.96	c current bound: 2411041
1113.14/1115.72	c current bound: 2411041
1116.91/1119.49	c current bound: 2411041
1120.64/1123.23	c current bound: 2411041
1124.39/1126.99	c current bound: 2411041
1128.32/1130.76	c current bound: 2411041
1131.96/1134.57	c current bound: 2411041
1135.71/1138.33	c current bound: 2411041
1139.46/1142.08	c current bound: 2411041
1143.22/1145.85	c current bound: 2411041
1147.18/1149.61	c current bound: 2411041
1150.74/1153.37	c current bound: 2411041
1154.67/1157.14	c current bound: 2411041
1158.26/1160.91	c current bound: 2411041
1162.08/1164.74	c current bound: 2411041
1166.07/1168.50	c current bound: 2411041
1169.59/1172.24	c current bound: 2411041
1173.55/1176.01	c current bound: 2411041
1177.13/1179.78	c current bound: 2411041
1181.05/1183.56	c current bound: 2411041
1184.65/1187.32	c current bound: 2411041
1188.42/1191.08	c current bound: 2411041
1192.24/1194.92	c current bound: 2411041
1196.01/1198.80	c current bound: 2411041
1199.72/1202.54	c current bound: 2411041
1203.50/1206.31	c current bound: 2411041
1207.41/1210.07	c current bound: 2411041
1211.03/1213.96	c current bound: 2411041
1214.97/1217.72	c current bound: 2411041
1218.55/1221.47	c current bound: 2411041
1222.31/1225.23	c current bound: 2411041
1226.05/1228.99	c current bound: 2411041
1229.77/1232.72	c current bound: 2411041
1233.68/1236.49	c current bound: 2411041
1237.30/1240.26	c current bound: 2411041
1241.26/1244.04	c current bound: 2411041
1244.85/1247.81	c current bound: 2411041
1248.61/1251.57	c current bound: 2411041
1252.37/1255.33	c current bound: 2411041
1256.14/1259.09	c current bound: 2411041
1260.05/1262.86	c current bound: 2411041
1263.66/1266.62	c current bound: 2411041
1267.41/1270.38	c current bound: 2411041
1271.17/1274.13	c current bound: 2411041
1275.15/1277.90	c current bound: 2411041
1278.69/1281.66	c current bound: 2411041
1282.46/1285.43	c current bound: 2411041
1286.34/1289.19	c current bound: 2411041
1289.95/1292.93	c current bound: 2411041
1293.70/1296.69	c current bound: 2411041
1297.46/1300.45	c current bound: 2411041
1301.24/1304.23	c current bound: 2411041
1305.11/1307.99	c current bound: 2411041
1308.74/1311.75	c current bound: 2411041
1312.69/1315.51	c current bound: 2411041
1316.26/1319.26	c current bound: 2411041
1319.97/1322.98	c current bound: 2411041
1323.72/1326.74	c current bound: 2411041
1327.49/1330.51	c current bound: 2411041
1331.48/1334.31	c current bound: 2411041
1335.04/1338.07	c current bound: 2411041
1338.81/1341.84	c current bound: 2411041
1342.79/1345.60	c current bound: 2411041
1346.34/1349.36	c current bound: 2411041
1350.27/1353.11	c current bound: 2411041
1353.81/1356.86	c current bound: 2411041
1357.76/1360.62	c current bound: 2411041
1361.34/1364.40	c current bound: 2411041
1365.11/1368.16	c current bound: 2411041
1368.87/1371.92	c current bound: 2411041
1372.62/1375.68	c current bound: 2411041
1376.54/1379.44	c current bound: 2411041
1380.11/1383.19	c current bound: 2411041
1383.88/1386.95	c current bound: 2411041
1387.63/1390.71	c current bound: 2411041
1391.42/1394.51	c current bound: 2411041
1395.19/1398.27	c current bound: 2411041
1398.94/1402.19	c current bound: 2411041
1402.70/1405.95	c current bound: 2411041
1406.47/1409.71	c current bound: 2411041
1410.36/1413.47	c current bound: 2411041
1413.97/1417.24	c current bound: 2411041
1417.95/1421.00	c current bound: 2411041
1421.55/1424.81	c current bound: 2411041
1425.31/1428.57	c current bound: 2411041
1429.22/1432.32	c current bound: 2411041
1433.04/1436.10	c current bound: 2411041
1436.71/1439.86	c current bound: 2411041
1440.32/1443.62	c current bound: 2411041
1444.08/1447.39	c current bound: 2411041
1447.85/1451.15	c current bound: 2411041
1451.67/1454.98	c current bound: 2411041
1455.43/1458.75	c current bound: 2411041
1459.17/1462.49	c current bound: 2411041
1463.08/1466.26	c current bound: 2411041
1466.69/1470.02	c current bound: 2411041
1470.45/1473.79	c current bound: 2411041
1474.21/1477.54	c current bound: 2411041
1477.96/1481.30	c current bound: 2411041
1481.79/1485.14	c current bound: 2411041
1485.56/1488.91	c current bound: 2411041
1489.45/1492.66	c current bound: 2411041
1493.06/1496.42	c current bound: 2411041
1496.82/1500.18	c current bound: 2411041
1500.57/1503.94	c current bound: 2411041
1504.33/1507.71	c current bound: 2411041
1508.24/1511.47	c current bound: 2411041
1511.92/1515.31	c current bound: 2411041
1515.83/1519.07	c current bound: 2411041
1519.43/1522.82	c current bound: 2411041
1523.18/1526.58	c current bound: 2411041
1526.94/1530.34	c current bound: 2411041
1530.72/1534.11	c current bound: 2411041
1534.61/1537.88	c current bound: 2411041
1538.23/1541.64	c current bound: 2411041
1542.20/1545.41	c current bound: 2411041
1545.76/1549.18	c current bound: 2411041
1549.52/1552.94	c current bound: 2411041
1553.28/1556.70	c current bound: 2411041
1557.04/1560.46	c current bound: 2411041
1561.00/1564.22	c current bound: 2411041
1564.57/1567.99	c current bound: 2411041
1568.34/1571.75	c current bound: 2411041
1572.10/1575.52	c current bound: 2411041
1575.87/1579.28	c current bound: 2411041
1579.63/1583.05	c current bound: 2411041
1583.38/1586.80	c current bound: 2411041
1587.30/1590.57	c current bound: 2411041
1590.91/1594.33	c current bound: 2411041
1594.91/1598.10	c current bound: 2411041
1598.44/1601.86	c current bound: 2411041
1602.20/1605.62	c current bound: 2411041
1606.09/1609.38	c current bound: 2411041
1609.69/1613.12	c current bound: 2411041
1613.45/1616.88	c current bound: 2411041
1617.21/1620.76	c current bound: 2411041
1621.02/1624.58	c current bound: 2411041
1624.77/1628.34	c current bound: 2411041
1628.75/1632.10	c current bound: 2411041
1632.29/1635.86	c current bound: 2411041
1636.04/1639.65	c current bound: 2411041
1640.00/1643.41	c current bound: 2411041
1643.55/1647.16	c current bound: 2411041
1647.33/1650.93	c current bound: 2411041
1651.12/1654.75	c current bound: 2411041
1654.88/1658.51	c current bound: 2411041
1658.63/1662.25	c current bound: 2411041
1662.40/1666.01	c current bound: 2411041
1666.28/1669.78	c current bound: 2411041
1669.88/1673.52	c current bound: 2411041
1673.65/1677.28	c current bound: 2411041
1677.41/1681.04	c current bound: 2411041
1681.21/1684.85	c current bound: 2411041
1685.15/1688.61	c current bound: 2411041
1688.70/1692.36	c current bound: 2411041
1692.65/1696.13	c current bound: 2411041
1696.22/1699.89	c current bound: 2411041
1699.97/1703.64	c current bound: 2411041
1703.72/1707.39	c current bound: 2411041
1707.49/1711.16	c current bound: 2411041
1711.42/1714.98	c current bound: 2411041
1715.07/1718.75	c current bound: 2411041
1719.01/1722.67	c current bound: 2411041
1722.56/1726.42	c current bound: 2411041
1726.33/1730.19	c current bound: 2411041
1730.08/1733.96	c current bound: 2411041
1733.84/1737.76	c current bound: 2411041
1737.60/1741.53	c current bound: 2411041
1741.42/1745.35	c current bound: 2411041
1745.37/1749.10	c current bound: 2411041
1748.89/1752.95	c current bound: 2411041
1752.85/1756.71	c current bound: 2411041
1756.40/1760.46	c current bound: 2411041
1760.18/1764.24	c current bound: 2411041
1763.94/1768.14	c current bound: 2411041
1767.91/1771.90	c current bound: 2411041
1771.46/1775.66	c current bound: 2411041
1775.22/1779.42	c current bound: 2411041
1779.10/1783.15	c current bound: 2411041
1782.70/1786.91	c current bound: 2411041
1786.45/1790.67	c current bound: 2411041
1790.22/1794.45	c current bound: 2411041
1794.18/1798.20	c current bound: 2411041
1797.73/1801.96	c current bound: 2411041
1800.09/1804.11	./satsolver.sh: line 5:  6649 Terminated              ./glucose $1 > $2 2> /dev/null
1800.09/1804.11	c error: unexpected solver exit code
1800.09/1804.11	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-3715516-1338256868/watcher-3715516-1338256868 -o /tmp/evaluation-result-3715516-1338256868/solver-3715516-1338256868 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715516-1338256868.wbo 1785837401 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.04 1.99 1.91 3/180 10851
/proc/meminfo: memFree=31076636/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0

[startup+0.0950801 s]
/proc/loadavg: 2.04 1.99 1.91 3/180 10851
/proc/meminfo: memFree=31076636/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100332 s]
/proc/loadavg: 2.04 1.99 1.91 3/180 10851
/proc/meminfo: memFree=31076636/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300331 s]
/proc/loadavg: 2.04 1.99 1.91 3/180 10851
/proc/meminfo: memFree=31076636/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700342 s]
/proc/loadavg: 2.04 1.99 1.91 3/180 10851
/proc/meminfo: memFree=31076636/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5004 s]
/proc/loadavg: 2.04 1.99 1.91 2/184 10875
/proc/meminfo: memFree=31008876/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=11140 CPUtime=0.09 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 2744 5243 0 0 7 1 0 1 20 0 1 0 291813649 11407360 1975 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10852/statm: 2785 1975 174 439 0 2342 0
[pid=10864] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10864/stat : 10864 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291813660 9367552 266 33554432000 4194304 5064252 140736055590320 140736055589232 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10864/statm: 2287 266 226 213 0 72 0
[pid=10865] ppid=10864 vsize=44076 CPUtime=1.38 cores=1,3,5,7
/proc/10865/stat : 10865 (glucose) R 10864 10851 8990 0 -1 4202496 9783 0 0 0 137 1 0 0 20 0 1 0 291813660 45133824 10290 33554432000 4194304 5208918 140734762673312 140734762671256 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10865/statm: 11019 10290 95 248 0 10768 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 73512

[startup+3.1004 s]
/proc/loadavg: 2.04 1.99 1.91 3/184 10886
/proc/meminfo: memFree=30983844/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=11140 CPUtime=0.09 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 2744 5243 0 0 7 1 0 1 20 0 1 0 291813649 11407360 1975 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10852/statm: 2785 1975 174 439 0 2342 0
[pid=10864] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10864/stat : 10864 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291813660 9367552 266 33554432000 4194304 5064252 140736055590320 140736055589232 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10864/statm: 2287 266 226 213 0 72 0
[pid=10865] ppid=10864 vsize=44736 CPUtime=2.99 cores=1,3,5,7
/proc/10865/stat : 10865 (glucose) R 10864 10851 8990 0 -1 4202496 9942 0 0 0 297 2 0 0 20 0 1 0 291813660 45809664 10449 33554432000 4194304 5208918 140734762673312 140734762671160 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10865/statm: 11184 10449 103 248 0 10933 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 74172

[startup+6.30036 s]
/proc/loadavg: 2.04 1.99 1.91 3/182 10940
/proc/meminfo: memFree=31025912/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=3.84 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 4970 19861 0 0 14 1 355 14 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=10916] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10916/stat : 10916 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291814036 9367552 266 33554432000 4194304 5064252 140735728446368 140735728445280 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10916/statm: 2287 266 226 213 0 72 0
[pid=10917] ppid=10916 vsize=44600 CPUtime=2.42 cores=1,3,5,7
/proc/10917/stat : 10917 (glucose) R 10916 10851 8990 0 -1 4202496 9223 0 0 0 241 1 0 0 20 0 1 0 291814036 45670400 9960 33554432000 4194304 5208918 140736577075616 140736577073464 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10917/statm: 11150 9960 103 248 0 10899 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 82224

[startup+12.7004 s]
/proc/loadavg: 2.03 1.99 1.91 3/184 11040
/proc/meminfo: memFree=30979412/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=11.36 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 9420 47408 0 0 28 3 1068 37 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=11032] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291814787 9367552 267 33554432000 4194304 5064252 140734845599056 140734845597968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11032/statm: 2287 267 226 213 0 72 0
[pid=11033] ppid=11032 vsize=44076 CPUtime=1.31 cores=1,3,5,7
/proc/11033/stat : 11033 (glucose) R 11032 10851 8990 0 -1 4202496 9985 0 0 0 130 1 0 0 20 0 1 0 291814787 45133824 9797 33554432000 4194304 5208918 140737231158560 140737231156504 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11033/statm: 11019 9797 95 248 0 10768 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 81700

[startup+25.5004 s]
/proc/loadavg: 2.02 1.99 1.91 3/184 11243
/proc/meminfo: memFree=30975976/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=22.64 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 16095 91372 0 0 47 7 2137 73 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=11207] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11207/stat : 11207 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291815915 9367552 266 33554432000 4194304 5064252 140736133971568 140736133970480 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11207/statm: 2287 266 226 213 0 72 0
[pid=11208] ppid=11207 vsize=44604 CPUtime=2.83 cores=1,3,5,7
/proc/11208/stat : 11208 (glucose) R 11207 10851 8990 0 -1 4202496 9758 0 0 0 281 2 0 0 20 0 1 0 291815916 45674496 10350 33554432000 4194304 5208918 140737007479488 140737007477336 4205165 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11208/statm: 11151 10350 103 248 0 10900 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 82228

[startup+51.1004 s]
/proc/loadavg: 2.02 1.99 1.91 3/183 11644
/proc/meminfo: memFree=30999084/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=48.98 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 31670 193242 0 0 95 14 4631 158 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=11622] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11622/stat : 11622 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291818551 9367552 266 33554432000 4194304 5064252 140734141747440 140734141746352 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11622/statm: 2287 266 226 213 0 72 0
[pid=11623] ppid=11622 vsize=44204 CPUtime=2.07 cores=1,3,5,7
/proc/11623/stat : 11623 (glucose) R 11622 10851 8990 0 -1 4202496 9065 0 0 0 206 1 0 0 20 0 1 0 291818551 45264896 9816 33554432000 4194304 5208918 140735762883408 140735762881352 4229010 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11623/statm: 11051 9816 95 248 0 10800 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 81828

[startup+102.307 s]
/proc/loadavg: 2.03 2.00 1.92 3/183 12453
/proc/meminfo: memFree=31003216/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=101.7 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 62820 394416 0 0 187 31 9626 326 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=12447] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12447/stat : 12447 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291823830 9367552 266 33554432000 4194304 5064252 140735690521312 140735690520224 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12447/statm: 2287 266 226 213 0 72 0
[pid=12448] ppid=12447 vsize=43944 CPUtime=0.49 cores=1,3,5,7
/proc/12448/stat : 12448 (glucose) R 12447 10851 8990 0 -1 4202496 9651 0 0 0 48 1 0 0 20 0 1 0 291823830 44998656 9753 33554432000 4194304 5208918 140735214898464 140735214896408 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12448/statm: 10986 9753 95 248 0 10735 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 81568

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/184 13377
/proc/meminfo: memFree=31003056/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=161.93 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 98420 624365 0 0 292 50 15329 522 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
Current children cumulated CPU time (s) 161.93

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


[startup+1362.3 s]
/proc/loadavg: 1.94 1.95 1.91 3/183 32141
/proc/meminfo: memFree=30994912/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=1357.86 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 805970 5202403 0 0 2412 412 128616 4346 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=32126] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32126/stat : 32126 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291949719 9367552 266 33554432000 4194304 5064252 140734910022592 140734910021504 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32126/statm: 2287 266 226 213 0 72 0
[pid=32127] ppid=32126 vsize=44072 CPUtime=1.58 cores=1,3,5,7
/proc/32127/stat : 32127 (glucose) R 32126 10851 8990 0 -1 4202496 9714 0 0 0 157 1 0 0 20 0 1 0 291949719 45129728 10252 33554432000 4194304 5208918 140736053342544 140736053340488 4205165 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32127/statm: 11018 10252 95 248 0 10767 0
Current children cumulated CPU time (s) 1359.44
Current children cumulated vsize (KiB) 81696

[startup+1422.31 s]
/proc/loadavg: 2.05 1.97 1.92 3/183 634
/proc/meminfo: memFree=30996452/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=1418.04 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 841570 5430512 0 0 2520 430 134313 4541 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=616] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/616/stat : 616 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291955757 9367552 267 33554432000 4194304 5064252 140737106499168 140737106498080 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/616/statm: 2287 267 226 213 0 72 0
[pid=617] ppid=616 vsize=44072 CPUtime=1.21 cores=1,3,5,7
/proc/617/stat : 617 (glucose) R 616 10851 8990 0 -1 4202496 9852 0 0 0 120 1 0 0 20 0 1 0 291955757 45129728 9791 33554432000 4194304 5208918 140735837090576 140735837088520 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/617/statm: 11018 9791 95 248 0 10767 0
Current children cumulated CPU time (s) 1419.25
Current children cumulated vsize (KiB) 81696

[startup+1482.3 s]
/proc/loadavg: 1.98 1.96 1.91 4/184 1605
/proc/meminfo: memFree=30998920/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=1478.27 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 877170 5662358 0 0 2626 448 140026 4727 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 25 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=1601] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1601/stat : 1601 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291961788 9367552 266 33554432000 4194304 5064252 140734546812112 140734546811024 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1601/statm: 2287 266 226 213 0 72 0
[pid=1602] ppid=1601 vsize=44076 CPUtime=0.89 cores=1,3,5,7
/proc/1602/stat : 1602 (glucose) R 1601 10851 8990 0 -1 4202496 9687 0 0 0 88 1 0 0 20 0 1 0 291961788 45133824 9779 33554432000 4194304 5208918 140735658907024 140735658904968 4212649 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1602/statm: 11019 9779 95 248 0 10768 0
Current children cumulated CPU time (s) 1479.16
Current children cumulated vsize (KiB) 81700

[startup+1542.3 s]
/proc/loadavg: 1.95 1.95 1.91 3/181 2583
/proc/meminfo: memFree=31013276/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=1538.52 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 912770 5893072 0 0 2732 467 145740 4913 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 25 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=2577] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2577/stat : 2577 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 291967821 9367552 266 33554432000 4194304 5064252 140734783766752 140734783765664 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2577/statm: 2287 266 226 213 0 72 0
[pid=2578] ppid=2577 vsize=43944 CPUtime=0.57 cores=1,3,5,7
/proc/2578/stat : 2578 (glucose) R 2577 10851 8990 0 -1 4202496 9780 0 0 0 55 2 0 0 20 0 1 0 291967821 44998656 9762 33554432000 4194304 5208918 140734012367920 140734012365864 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2578/statm: 10986 9762 95 248 0 10735 0
Current children cumulated CPU time (s) 1539.09
Current children cumulated vsize (KiB) 81568

[startup+1602.3 s]
/proc/loadavg: 1.88 1.92 1.90 3/183 3510
/proc/meminfo: memFree=30969592/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=1598.74 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 948370 6124125 0 0 2840 485 151441 5108 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 25 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
Current children cumulated CPU time (s) 1598.74
Current children cumulated vsize (KiB) 28476

[startup+1662.3 s]
/proc/loadavg: 1.92 1.92 1.90 3/183 4448
/proc/meminfo: memFree=30969136/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=11136 CPUtime=1658.9 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) R 10851 10851 8990 0 -1 4202496 983454 6354086 0 0 2944 502 157147 5297 20 0 1 0 291813649 11403264 2388 33554432000 4194304 5990268 140733878560400 140733878552384 4569535 0 0 4096 0 0 0 0 17 1 0 0 27 0 0
/proc/10852/statm: 2784 2388 175 439 0 2341 0
Current children cumulated CPU time (s) 1658.9
Current children cumulated vsize (KiB) 20284

[startup+1722.3 s]
/proc/loadavg: 2.16 1.98 1.92 3/183 5379
/proc/meminfo: memFree=30972104/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=1718.81 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 1017352 6582501 0 0 3047 520 162830 5484 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551296 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 27 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
Current children cumulated CPU time (s) 1718.81
Current children cumulated vsize (KiB) 28476

[startup+1782.3 s]
/proc/loadavg: 2.10 1.98 1.92 3/182 6332
/proc/meminfo: memFree=31015480/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=1775.52 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 1052945 6801025 0 0 3153 538 168187 5674 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 27 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=6298] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6298/stat : 6298 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291991599 9367552 267 33554432000 4194304 5064252 140734382641472 140734382640384 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6298/statm: 2287 267 226 213 0 72 0
[pid=6299] ppid=6298 vsize=44600 CPUtime=2.78 cores=1,3,5,7
/proc/6299/stat : 6299 (glucose) R 6298 10851 8990 0 -1 4202496 9258 0 0 0 277 1 0 0 20 0 1 0 291991599 45670400 10010 33554432000 4194304 5208918 140734202764288 140734202762136 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6299/statm: 11150 10010 103 248 0 10899 0
Current children cumulated CPU time (s) 1778.3
Current children cumulated vsize (KiB) 82224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.1 s]
/proc/loadavg: 2.01 1.97 1.92 3/181 6675
/proc/meminfo: memFree=31012836/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=1798.03 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 1066295 6886869 0 0 3193 545 170317 5748 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 27 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=6648] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6648/stat : 6648 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291993853 9367552 267 33554432000 4194304 5064252 140737418417472 140737418416384 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6648/statm: 2287 267 226 213 0 72 0
[pid=6649] ppid=6648 vsize=44208 CPUtime=2.06 cores=1,3,5,7
/proc/6649/stat : 6649 (glucose) R 6648 10851 8990 0 -1 4202496 9958 0 0 0 205 1 0 0 20 0 1 0 291993853 45268992 9817 33554432000 4194304 5208918 140734236564800 140734236562744 4229072 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6649/statm: 11052 9817 95 248 0 10801 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 81832

Sending SIGTERM to process tree (bottom up)

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

[startup+1804.1 s]
/proc/loadavg: 2.01 1.97 1.92 3/181 6675
/proc/meminfo: memFree=31012836/32873648 swapFree=6864/6864
[pid=10851] ppid=10849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10851/stat : 10851 (npSolver-wbo-It) S 10849 10851 8990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291813649 9367552 274 33554432000 4194304 5064252 140736369775408 140736369774320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10851/statm: 2287 274 233 213 0 72 0
[pid=10852] ppid=10851 vsize=19328 CPUtime=1798.03 cores=1,3,5,7
/proc/10852/stat : 10852 (npSolver-wbo) S 10851 10851 8990 0 -1 4202496 1066295 6886869 0 0 3193 545 170317 5748 20 0 1 0 291813649 19791872 3924 33554432000 4194304 5990268 140733878560400 140733878551808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 27 0 0
/proc/10852/statm: 4832 3924 175 439 0 4389 0
[pid=6648] ppid=10852 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6648/stat : 6648 (satsolver.sh) S 10852 10851 8990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291993853 9367552 267 33554432000 4194304 5064252 140737418417472 140737418416384 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6648/statm: 2287 267 226 213 0 72 0
[pid=6649] ppid=6648 vsize=44208 CPUtime=2.06 cores=1,3,5,7
/proc/6649/stat : 6649 (glucose) R 6648 10851 8990 0 -1 4202496 9958 0 0 0 205 1 0 0 20 0 1 0 291993853 45268992 9817 33554432000 4194304 5208918 140734236564800 140734236562744 4229072 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6649/statm: 11052 9817 95 248 0 10801 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 81832

Child status: 0
Real time (s): 1804.11
CPU time (s): 1800.12
CPU user time (s): 1737.16
CPU system time (s): 62.9544
CPU usage (%): 99.7786
Max. virtual memory (cumulated for all children) (KiB): 82684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.16
system time used= 62.9544
maximum resident set size= 42336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7964109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5409144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104846
involuntary context switches= 7516

runsolver used 4.70029 second user time and 18.2442 second system time

The end

Launcher Data 

Begin job on node113 at 2012-05-29 04:01:08
IDJOB=3715516
IDBENCH=79605
IDSOLVER=2297
FILE ID=node113/3715516-1338256868
RUNJOBID= node113-1338255067-10453
PBS_JOBID= 14624662
Free space on /tmp= 71384 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-29_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715516-1338256868/watcher-3715516-1338256868 -o /tmp/evaluation-result-3715516-1338256868/solver-3715516-1338256868 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715516-1338256868.wbo 1785837401 HOME HOME

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

MD5SUM BENCH= 429cc4a9012eaf2031e2cb9a0fbbc756
RANDOM SEED=1785837401

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31081160 kB
Buffers:          406244 kB
Cached:           502440 kB
SwapCached:         1644 kB
Active:           760528 kB
Inactive:         161840 kB
Active(anon):      14664 kB
Inactive(anon):     1288 kB
Active(file):     745864 kB
Inactive(file):   160552 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67098716 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:         12800 kB
Mapped:            10524 kB
Shmem:                 0 kB
Slab:             731972 kB
SReclaimable:     176128 kB
SUnreclaim:       555844 kB
KernelStack:        1528 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     139440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71368 MiB
End job on node113 at 2012-05-29 04:31:12