Trace number 3752748

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.06 1810.11

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/logistics/
normalized-logistics01c_wcsp.wbo
MD5SUM01957484b2c99b85e5a2190fb59000ea
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8265
Best CPU time to get the best result obtained on this benchmark1.47378
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables490
Total number of constraints3171
Number of soft constraints3007
Number of constraints which are clauses3007
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 70552
Min constraint cost 1
Max constraint cost 70552
Sum of constraints costs 198669792
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.03	c run usual solver
0.00/0.10	o 564437
0.00/0.10	c starting approximation
0.00/0.10	c factor = 2
0.00/0.10	c factor still to low - shrinking to 10183.6
0.00/0.10	c approx number of clauses: 1e+06
0.00/0.10	c current bound: 282218
3.06/3.38	c current bound: 282218
6.04/6.32	c current bound: 282218
9.22/9.33	c current bound: 282218
11.90/12.48	c current bound: 282218
14.88/15.54	c current bound: 282218
17.82/18.48	c current bound: 282218
21.08/21.62	c current bound: 282218
24.00/24.77	c current bound: 282218
27.04/28.04	c current bound: 282218
30.04/31.66	c current bound: 282218
33.04/35.37	c current bound: 282218
35.78/38.64	c current bound: 282218
38.78/41.72	c current bound: 282218
41.77/44.80	c current bound: 282218
44.91/47.79	c current bound: 282218
48.02/60.08	c current bound: 282218
50.93/63.07	c current bound: 282218
53.73/66.05	c current bound: 282218
56.70/69.05	c current bound: 282218
59.70/72.05	c current bound: 282218
62.89/75.04	c current bound: 282218
65.65/78.02	c current bound: 282218
68.61/80.99	c current bound: 282218
71.78/83.97	c current bound: 282218
74.58/86.95	c current bound: 282218
77.56/89.93	c current bound: 282218
80.54/92.92	c current bound: 282218
83.53/95.90	c current bound: 282218
86.50/98.88	c current bound: 282218
89.49/101.86	c current bound: 282218
92.69/104.84	c current bound: 282218
95.45/107.82	c current bound: 282218
98.42/110.81	c current bound: 282218
101.40/113.77	c current bound: 282218
104.55/116.85	c current bound: 282218
107.21/119.75	c current bound: 282218
110.12/122.66	c current bound: 282218
113.02/125.57	c current bound: 282218
115.92/128.47	c current bound: 282218
118.81/131.37	c current bound: 282218
121.72/134.29	c current bound: 282218
124.65/137.20	c current bound: 282218
127.81/140.12	c current bound: 282218
130.48/143.03	c current bound: 282218
133.39/145.95	c current bound: 282218
136.50/148.85	c current bound: 282218
139.18/151.75	c current bound: 282218
142.08/154.65	c current bound: 282218
144.91/157.48	c current bound: 282218
148.10/160.40	c current bound: 282218
150.74/163.30	c current bound: 282218
153.62/166.19	c current bound: 282218
156.80/169.10	c current bound: 282218
159.68/172.00	c current bound: 282218
162.32/174.90	c current bound: 282218
165.16/177.74	c current bound: 282218
168.28/180.65	c current bound: 282218
170.98/183.56	c current bound: 282218
173.86/186.44	c current bound: 282218
176.76/189.34	c current bound: 282218
179.66/192.24	c current bound: 282218
182.78/195.15	c current bound: 282218
185.41/197.98	c current bound: 282218
188.31/200.91	c current bound: 282218
191.47/203.81	c current bound: 282218
194.10/206.69	c current bound: 282218
197.26/209.60	c current bound: 282218
199.90/212.50	c current bound: 282218
202.81/215.41	c current bound: 282218
205.75/218.17	c current bound: 282218
208.47/221.08	c current bound: 282218
211.38/223.99	c current bound: 282218
214.44/226.87	c current bound: 282218
217.17/229.78	c current bound: 282218
220.08/232.69	c current bound: 282218
223.25/235.60	c current bound: 282218
225.89/238.50	c current bound: 282218
228.80/241.41	c current bound: 282218
231.71/244.32	c current bound: 282218
234.59/247.21	c current bound: 282218
237.73/250.11	c current bound: 282218
240.40/253.01	c current bound: 282218
243.29/255.92	c current bound: 282218
246.44/258.82	c current bound: 282218
249.10/261.74	c current bound: 282218
252.01/264.63	c current bound: 282218
254.85/267.49	c current bound: 282218
257.75/270.38	c current bound: 282218
260.65/273.29	c current bound: 282218
263.54/276.17	c current bound: 282218
266.43/279.07	c current bound: 282218
269.52/281.98	c current bound: 282218
272.23/284.88	c current bound: 282218
275.07/287.71	c current bound: 282218
278.22/290.61	c current bound: 282218
280.87/293.52	c current bound: 282218
283.75/296.40	c current bound: 282218
286.66/299.33	c current bound: 282218
289.58/302.23	c current bound: 282218
292.71/305.15	c current bound: 282218
295.33/307.98	c current bound: 282218
298.22/310.88	c current bound: 282218
301.30/313.78	c current bound: 282218
304.00/316.66	c current bound: 282218
306.91/319.56	c current bound: 282218
309.80/322.47	c current bound: 282218
312.72/325.37	c current bound: 282218
315.71/328.19	c current bound: 282218
318.43/331.12	c current bound: 282218
321.34/334.01	c current bound: 282218
324.39/336.88	c current bound: 282218
327.10/339.78	c current bound: 282218
330.00/342.68	c current bound: 282218
332.90/345.58	c current bound: 282218
335.80/348.48	c current bound: 282218
338.70/351.39	c current bound: 282218
341.61/354.29	c current bound: 282218
344.49/357.18	c current bound: 282218
347.57/360.09	c current bound: 282218
350.30/362.99	c current bound: 282218
353.20/365.89	c current bound: 282218
356.38/368.81	c current bound: 282218
359.02/371.71	c current bound: 282218
361.92/374.62	c current bound: 282218
364.77/377.47	c current bound: 282218
367.66/380.37	c current bound: 282218
370.58/383.29	c current bound: 282218
373.48/386.19	c current bound: 282218
376.39/389.09	c current bound: 282218
379.55/392.00	c current bound: 282218
382.21/394.91	c current bound: 282218
385.02/397.75	c current bound: 282218
388.13/400.67	c current bound: 282218
390.86/403.59	c current bound: 282218
393.75/406.47	c current bound: 282218
396.64/409.38	c current bound: 282218
399.55/412.28	c current bound: 282218
402.45/415.19	c current bound: 282218
405.28/418.02	c current bound: 282218
408.17/420.91	c current bound: 282218
411.31/423.81	c current bound: 282218
413.92/426.68	c current bound: 282218
416.84/429.58	c current bound: 282218
419.74/432.48	c current bound: 282218
422.63/435.38	c current bound: 282218
425.70/438.21	c current bound: 282218
428.36/441.12	c current bound: 282218
431.26/444.02	c current bound: 282218
434.28/446.90	c current bound: 282218
437.28/449.80	c current bound: 282218
439.91/452.69	c current bound: 282218
442.82/455.59	c current bound: 282218
445.68/458.46	c current bound: 282218
448.76/461.36	c current bound: 282218
451.47/464.26	c current bound: 282218
454.37/467.16	c current bound: 282218
457.46/470.06	c current bound: 282218
460.17/472.97	c current bound: 282218
463.07/475.87	c current bound: 282218
466.14/478.78	c current bound: 282218
468.88/481.69	c current bound: 282218
471.79/484.59	c current bound: 282218
474.70/487.50	c current bound: 282218
477.61/490.41	c current bound: 282218
480.51/493.32	c current bound: 282218
483.42/496.23	c current bound: 282218
486.33/499.14	c current bound: 282218
489.44/502.05	c current bound: 282218
492.16/504.98	c current bound: 282218
495.00/507.82	c current bound: 282218
498.14/510.72	c current bound: 282218
500.80/513.62	c current bound: 282218
503.68/516.51	c current bound: 282218
506.83/519.42	c current bound: 282218
509.51/522.38	c current bound: 282218
512.42/525.29	c current bound: 282218
515.25/528.13	c current bound: 282218
518.15/531.03	c current bound: 282218
521.27/533.94	c current bound: 282218
523.93/536.81	c current bound: 282218
526.84/539.72	c current bound: 282218
529.96/542.62	c current bound: 282218
532.65/545.54	c current bound: 282218
535.45/548.35	c current bound: 282218
538.35/551.25	c current bound: 282218
541.25/554.14	c current bound: 282218
544.34/557.01	c current bound: 282218
547.00/559.91	c current bound: 282218
549.93/562.82	c current bound: 282218
553.04/565.75	c current bound: 282218
555.74/568.64	c current bound: 282218
558.64/571.55	c current bound: 282218
561.74/574.47	c current bound: 282218
564.46/577.38	c current bound: 282218
567.38/580.29	c current bound: 282218
570.28/583.20	c current bound: 282218
573.20/586.10	c current bound: 282218
576.09/589.00	c current bound: 282218
579.00/591.91	c current bound: 282218
581.90/594.82	c current bound: 282218
585.04/597.73	c current bound: 282218
587.75/600.66	c current bound: 282218
590.65/603.56	c current bound: 282218
593.74/606.47	c current bound: 282218
596.47/609.37	c current bound: 282218
599.37/612.29	c current bound: 282218
602.54/615.21	c current bound: 282218
605.11/618.03	c current bound: 282218
608.01/620.94	c current bound: 282218
610.92/623.85	c current bound: 282218
613.79/626.73	c current bound: 282218
616.91/629.63	c current bound: 282218
619.60/632.55	c current bound: 282218
622.51/635.46	c current bound: 282218
625.50/638.29	c current bound: 282218
628.50/641.20	c current bound: 282218
631.15/644.11	c current bound: 282218
634.02/646.98	c current bound: 282218
636.93/649.89	c current bound: 282218
639.82/652.80	c current bound: 282218
642.73/655.72	c current bound: 282218
645.64/658.62	c current bound: 282218
648.76/661.54	c current bound: 282218
651.48/664.45	c current bound: 282218
654.38/667.36	c current bound: 282218
657.48/670.25	c current bound: 282218
660.19/673.17	c current bound: 282218
663.08/676.07	c current bound: 282218
666.16/678.99	c current bound: 282218
668.90/681.89	c current bound: 282218
671.82/684.80	c current bound: 282218
674.96/687.72	c current bound: 282218
677.63/690.63	c current bound: 282218
680.54/693.55	c current bound: 282218
683.46/696.45	c current bound: 282218
686.36/699.36	c current bound: 282218
689.26/702.26	c current bound: 282218
692.18/705.17	c current bound: 282218
695.00/708.00	c current bound: 282218
698.16/710.92	c current bound: 282218
700.83/713.82	c current bound: 282218
703.70/716.70	c current bound: 282218
706.84/719.63	c current bound: 282218
709.53/722.53	c current bound: 282218
712.43/725.44	c current bound: 282218
715.24/728.26	c current bound: 282218
718.16/731.19	c current bound: 282218
721.33/734.11	c current bound: 282218
723.95/736.97	c current bound: 282218
726.85/739.87	c current bound: 282218
729.93/742.79	c current bound: 282218
732.68/745.71	c current bound: 282218
735.58/748.62	c current bound: 282218
738.70/751.54	c current bound: 282218
741.39/754.45	c current bound: 282218
744.31/757.36	c current bound: 282218
747.24/760.27	c current bound: 282218
750.15/763.19	c current bound: 282218
753.06/766.11	c current bound: 282218
755.97/769.03	c current bound: 282218
758.88/771.93	c current bound: 282218
761.99/774.85	c current bound: 282218
764.72/777.78	c current bound: 282218
767.64/780.71	c current bound: 282218
770.80/783.62	c current bound: 282218
773.47/786.53	c current bound: 282218
776.37/789.43	c current bound: 282218
779.50/792.34	c current bound: 282218
782.17/795.24	c current bound: 282218
785.08/798.16	c current bound: 282218
788.17/801.08	c current bound: 282218
790.91/803.99	c current bound: 282218
793.79/806.87	c current bound: 282218
796.71/809.80	c current bound: 282218
799.63/812.71	c current bound: 282218
802.53/815.63	c current bound: 282218
805.34/818.45	c current bound: 282218
808.26/821.37	c current bound: 282218
811.36/824.29	c current bound: 282218
814.07/827.16	c current bound: 282218
816.98/830.08	c current bound: 282218
820.07/833.00	c current bound: 282218
822.81/835.91	c current bound: 282218
825.73/838.83	c current bound: 282218
828.86/841.75	c current bound: 282218
831.57/844.66	c current bound: 282218
834.49/847.58	c current bound: 282218
837.41/850.49	c current bound: 282218
840.33/853.41	c current bound: 282218
843.23/856.31	c current bound: 282218
846.14/859.22	c current bound: 282218
849.05/862.13	c current bound: 282218
852.17/865.06	c current bound: 282218
855.21/868.00	c current bound: 282218
857.86/870.93	c current bound: 282218
860.99/873.83	c current bound: 282218
863.70/876.76	c current bound: 282218
866.61/879.67	c current bound: 282218
869.70/882.59	c current bound: 282218
872.44/885.50	c current bound: 282218
875.35/888.40	c current bound: 282218
878.50/891.32	c current bound: 282218
881.20/894.24	c current bound: 282218
884.09/897.13	c current bound: 282218
887.21/900.05	c current bound: 282218
889.91/902.96	c current bound: 282218
892.82/905.87	c current bound: 282218
895.74/908.79	c current bound: 282218
898.92/911.70	c current bound: 282218
901.57/914.61	c current bound: 282218
904.49/917.52	c current bound: 282218
907.39/920.43	c current bound: 282218
910.51/923.36	c current bound: 282218
913.22/926.26	c current bound: 282218
916.14/929.18	c current bound: 282218
919.21/932.08	c current bound: 282218
921.96/935.00	c current bound: 282218
924.87/937.91	c current bound: 282218
928.03/940.83	c current bound: 282218
930.72/943.74	c current bound: 282218
933.64/946.66	c current bound: 282218
936.74/949.57	c current bound: 282218
939.49/952.51	c current bound: 282218
942.39/955.42	c current bound: 282218
945.53/958.32	c current bound: 282218
948.20/961.23	c current bound: 282218
951.13/964.15	c current bound: 282218
953.99/967.02	c current bound: 282218
956.91/969.93	c current bound: 282218
960.03/972.85	c current bound: 282218
962.75/975.76	c current bound: 282218
965.66/978.67	c current bound: 282218
968.75/981.59	c current bound: 282218
971.50/984.51	c current bound: 282218
974.43/987.43	c current bound: 282218
977.55/990.33	c current bound: 282218
980.24/993.25	c current bound: 282218
983.16/996.17	c current bound: 282218
986.27/999.08	c current bound: 282218
988.99/1001.99	c current bound: 282218
991.91/1004.90	c current bound: 282218
995.05/1007.81	c current bound: 282218
997.72/1010.72	c current bound: 282218
1000.63/1013.63	c current bound: 282218
1003.54/1016.54	c current bound: 282218
1006.46/1019.45	c current bound: 282218
1009.56/1022.35	c current bound: 282218
1012.28/1025.26	c current bound: 282218
1015.18/1028.16	c current bound: 282218
1018.27/1031.06	c current bound: 282218
1020.97/1033.96	c current bound: 282218
1023.91/1036.88	c current bound: 282218
1026.98/1039.79	c current bound: 282218
1029.72/1042.71	c current bound: 282218
1032.65/1045.63	c current bound: 282218
1035.49/1048.47	c current bound: 282218
1038.43/1051.39	c current bound: 282218
1041.34/1054.31	c current bound: 282218
1044.21/1057.19	c current bound: 282218
1047.39/1060.10	c current bound: 282218
1050.28/1063.02	c current bound: 282218
1052.95/1065.93	c current bound: 282218
1055.88/1068.85	c current bound: 282218
1059.00/1071.76	c current bound: 282218
1061.73/1074.69	c current bound: 282218
1064.67/1077.62	c current bound: 282218
1067.80/1080.53	c current bound: 282218
1070.48/1083.45	c current bound: 282218
1073.40/1086.36	c current bound: 282218
1076.50/1089.28	c current bound: 282218
1079.22/1092.18	c current bound: 282218
1082.15/1095.09	c current bound: 282218
1085.31/1098.01	c current bound: 282218
1087.97/1100.93	c current bound: 282218
1090.90/1103.84	c current bound: 282218
1093.82/1106.76	c current bound: 282218
1096.73/1109.67	c current bound: 282218
1099.66/1112.59	c current bound: 282218
1102.57/1115.52	c current bound: 282218
1105.48/1118.42	c current bound: 282218
1108.61/1121.35	c current bound: 282218
1111.34/1124.26	c current bound: 282218
1114.26/1127.19	c current bound: 282218
1117.42/1130.11	c current bound: 282218
1120.11/1133.02	c current bound: 282218
1123.02/1135.94	c current bound: 282218
1126.15/1138.85	c current bound: 282218
1128.85/1141.76	c current bound: 282218
1131.76/1144.68	c current bound: 282218
1134.83/1147.59	c current bound: 282218
1137.60/1150.51	c current bound: 282218
1140.52/1153.42	c current bound: 282218
1143.65/1156.33	c current bound: 282218
1146.33/1159.23	c current bound: 282218
1149.23/1162.14	c current bound: 282218
1152.16/1165.07	c current bound: 282218
1155.07/1167.98	c current bound: 282218
1158.01/1170.91	c current bound: 282218
1160.93/1173.83	c current bound: 282218
1163.86/1176.77	c current bound: 282218
1166.78/1179.68	c current bound: 282218
1169.71/1182.61	c current bound: 282218
1172.66/1185.56	c current bound: 282218
1175.59/1188.49	c current bound: 282218
1178.51/1191.41	c current bound: 282218
1181.42/1194.32	c current bound: 282218
1184.58/1197.23	c current bound: 282218
1187.26/1200.15	c current bound: 282218
1190.18/1203.07	c current bound: 282218
1193.37/1206.00	c current bound: 282218
1196.03/1208.93	c current bound: 282218
1198.95/1211.84	c current bound: 282218
1202.08/1214.75	c current bound: 282218
1204.80/1217.68	c current bound: 282218
1207.72/1220.59	c current bound: 282218
1210.90/1223.52	c current bound: 282218
1213.56/1226.43	c current bound: 282218
1216.49/1229.36	c current bound: 282218
1219.58/1232.29	c current bound: 282218
1222.32/1235.19	c current bound: 282218
1225.16/1238.03	c current bound: 282218
1228.06/1240.93	c current bound: 282218
1230.99/1243.85	c current bound: 282218
1234.11/1246.73	c current bound: 282218
1236.77/1249.63	c current bound: 282218
1239.68/1252.54	c current bound: 282218
1242.82/1255.46	c current bound: 282218
1245.48/1258.32	c current bound: 282218
1248.42/1261.26	c current bound: 282218
1251.51/1264.19	c current bound: 282218
1254.23/1267.08	c current bound: 282218
1257.14/1269.99	c current bound: 282218
1260.32/1272.91	c current bound: 282218
1262.98/1275.83	c current bound: 282218
1265.90/1278.73	c current bound: 282218
1268.81/1281.64	c current bound: 282218
1271.72/1284.56	c current bound: 282218
1274.64/1287.47	c current bound: 282218
1277.54/1290.38	c current bound: 282218
1280.47/1293.31	c current bound: 282218
1283.61/1296.23	c current bound: 282218
1286.31/1299.15	c current bound: 282218
1289.22/1302.07	c current bound: 282218
1292.42/1305.00	c current bound: 282218
1295.07/1307.91	c current bound: 282218
1297.98/1310.82	c current bound: 282218
1301.12/1313.74	c current bound: 282218
1303.83/1316.66	c current bound: 282218
1306.73/1319.58	c current bound: 282218
1309.82/1322.50	c current bound: 282218
1312.59/1325.44	c current bound: 282218
1315.52/1328.36	c current bound: 282218
1318.62/1331.28	c current bound: 282218
1321.35/1334.19	c current bound: 282218
1324.26/1337.12	c current bound: 282218
1327.43/1340.04	c current bound: 282218
1330.13/1342.96	c current bound: 282218
1333.05/1345.89	c current bound: 282218
1336.22/1348.81	c current bound: 282218
1338.89/1351.73	c current bound: 282218
1341.80/1354.64	c current bound: 282218
1344.67/1357.52	c current bound: 282218
1347.59/1360.45	c current bound: 282218
1350.72/1363.36	c current bound: 282218
1353.44/1366.28	c current bound: 282218
1356.63/1369.20	c current bound: 282218
1359.52/1372.12	c current bound: 282218
1362.20/1375.04	c current bound: 282218
1365.05/1377.88	c current bound: 282218
1368.23/1380.80	c current bound: 282218
1370.88/1383.72	c current bound: 282218
1373.80/1386.63	c current bound: 282218
1376.94/1389.55	c current bound: 282218
1379.63/1392.46	c current bound: 282218
1382.54/1395.38	c current bound: 282218
1385.38/1398.24	c current bound: 282218
1388.33/1401.16	c current bound: 282218
1391.25/1404.08	c current bound: 282218
1394.13/1406.96	c current bound: 282218
1397.05/1409.87	c current bound: 282218
1400.13/1412.79	c current bound: 282218
1402.89/1415.71	c current bound: 282218
1405.72/1418.56	c current bound: 282218
1408.81/1421.48	c current bound: 282218
1411.56/1424.41	c current bound: 282218
1414.45/1427.29	c current bound: 282218
1417.34/1430.19	c current bound: 282218
1420.25/1433.10	c current bound: 282218
1423.18/1436.01	c current bound: 282218
1426.08/1438.92	c current bound: 282218
1429.00/1441.84	c current bound: 282218
1432.11/1444.74	c current bound: 282218
1434.81/1447.65	c current bound: 282218
1437.72/1450.56	c current bound: 282218
1440.82/1453.48	c current bound: 282218
1443.55/1456.38	c current bound: 282218
1446.48/1459.31	c current bound: 282218
1449.63/1462.24	c current bound: 282218
1452.32/1465.15	c current bound: 282218
1455.23/1468.05	c current bound: 282218
1458.33/1470.97	c current bound: 282218
1461.06/1473.88	c current bound: 282218
1463.97/1476.81	c current bound: 282218
1467.15/1479.73	c current bound: 282218
1469.82/1482.66	c current bound: 282218
1472.75/1485.57	c current bound: 282218
1475.65/1488.48	c current bound: 282218
1478.58/1491.40	c current bound: 282218
1481.48/1494.32	c current bound: 282218
1484.41/1497.24	c current bound: 282218
1487.33/1500.16	c current bound: 282218
1490.26/1503.08	c current bound: 282218
1493.18/1506.01	c current bound: 282218
1496.11/1508.93	c current bound: 282218
1499.25/1511.84	c current bound: 282218
1501.95/1514.76	c current bound: 282218
1504.82/1517.63	c current bound: 282218
1507.95/1520.55	c current bound: 282218
1510.66/1523.48	c current bound: 282218
1513.58/1526.39	c current bound: 282218
1516.75/1529.31	c current bound: 282218
1519.43/1532.24	c current bound: 282218
1522.36/1535.17	c current bound: 282218
1525.45/1538.01	c current bound: 282218
1528.13/1540.94	c current bound: 282218
1531.05/1543.85	c current bound: 282218
1533.94/1546.75	c current bound: 282218
1536.85/1549.66	c current bound: 282218
1539.77/1552.57	c current bound: 282218
1542.68/1555.48	c current bound: 282218
1545.49/1558.31	c current bound: 282218
1548.65/1561.21	c current bound: 282218
1551.30/1564.12	c current bound: 282218
1554.19/1567.01	c current bound: 282218
1557.34/1569.93	c current bound: 282218
1560.03/1572.85	c current bound: 282218
1562.93/1575.75	c current bound: 282218
1565.77/1578.59	c current bound: 282218
1568.69/1581.51	c current bound: 282218
1571.85/1584.43	c current bound: 282218
1574.47/1587.29	c current bound: 282218
1577.66/1590.20	c current bound: 282218
1580.55/1593.11	c current bound: 282218
1583.21/1596.02	c current bound: 282218
1586.14/1598.94	c current bound: 282218
1589.26/1601.86	c current bound: 282218
1592.25/1604.80	c current bound: 282218
1594.92/1607.71	c current bound: 282218
1598.06/1610.63	c current bound: 282218
1600.76/1613.54	c current bound: 282218
1603.70/1616.48	c current bound: 282218
1606.88/1619.41	c current bound: 282218
1609.52/1622.32	c current bound: 282218
1612.46/1625.25	c current bound: 282218
1615.38/1628.17	c current bound: 282218
1618.29/1631.08	c current bound: 282218
1621.48/1634.00	c current bound: 282218
1624.14/1636.91	c current bound: 282218
1627.05/1639.82	c current bound: 282218
1630.17/1642.74	c current bound: 282218
1632.89/1645.67	c current bound: 282218
1636.10/1648.60	c current bound: 282218
1638.97/1651.50	c current bound: 282218
1641.66/1654.42	c current bound: 282218
1644.58/1657.35	c current bound: 282218
1647.70/1660.26	c current bound: 282218
1650.42/1663.19	c current bound: 282218
1653.34/1666.10	c current bound: 282218
1656.50/1669.03	c current bound: 282218
1659.19/1671.95	c current bound: 282218
1662.11/1674.87	c current bound: 282218
1665.21/1677.77	c current bound: 282218
1667.93/1680.69	c current bound: 282218
1670.85/1683.61	c current bound: 282218
1673.98/1686.52	c current bound: 282218
1676.68/1689.44	c current bound: 282218
1679.59/1692.35	c current bound: 282218
1682.50/1695.26	c current bound: 282218
1685.34/1698.10	c current bound: 282218
1688.48/1701.01	c current bound: 282218
1691.16/1703.92	c current bound: 282218
1694.05/1706.81	c current bound: 282218
1697.20/1709.73	c current bound: 282218
1699.90/1712.65	c current bound: 282218
1702.80/1715.56	c current bound: 282218
1705.64/1718.40	c current bound: 282218
1708.55/1721.31	c current bound: 282218
1711.47/1724.23	c current bound: 282218
1714.35/1727.12	c current bound: 282218
1717.28/1730.04	c current bound: 282218
1720.38/1732.94	c current bound: 282218
1723.10/1735.86	c current bound: 282218
1725.93/1738.70	c current bound: 282218
1729.09/1741.63	c current bound: 282218
1731.78/1744.54	c current bound: 282218
1734.65/1747.41	c current bound: 282218
1737.79/1750.33	c current bound: 282218
1740.47/1753.24	c current bound: 282218
1743.39/1756.15	c current bound: 282218
1746.27/1759.05	c current bound: 282218
1749.21/1761.98	c current bound: 282218
1752.13/1764.89	c current bound: 282218
1755.05/1767.82	c current bound: 282218
1757.97/1770.73	c current bound: 282218
1761.08/1773.64	c current bound: 282218
1763.79/1776.55	c current bound: 282218
1766.70/1779.46	c current bound: 282218
1769.79/1782.38	c current bound: 282218
1772.53/1785.29	c current bound: 282218
1775.46/1788.22	c current bound: 282218
1778.60/1791.13	c current bound: 282218
1781.28/1794.04	c current bound: 282218
1784.20/1796.96	c current bound: 282218
1787.32/1799.87	c current bound: 282218
1790.02/1802.77	c current bound: 282218
1792.94/1805.69	c current bound: 282218
1796.11/1808.61	c current bound: 282218
1797.62/1810.11	c error: unexpected solver exit code
1797.62/1810.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-3752748-1339213502/watcher-3752748-1339213502 -o /tmp/evaluation-result-3752748-1339213502/solver-3752748-1339213502 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752748-1339213502.wbo 1779049085 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.06 2.01 1.86 3/176 21137
/proc/meminfo: memFree=28246040/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0

[startup+0.090989 s]
/proc/loadavg: 2.06 2.01 1.86 3/176 21137
/proc/meminfo: memFree=28246040/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100221 s]
/proc/loadavg: 2.06 2.01 1.86 3/176 21137
/proc/meminfo: memFree=28246040/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300324 s]
/proc/loadavg: 2.06 2.01 1.86 3/176 21137
/proc/meminfo: memFree=28246040/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700354 s]
/proc/loadavg: 2.06 2.01 1.86 3/176 21137
/proc/meminfo: memFree=28246040/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/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.06 2.01 1.86 3/180 21151
/proc/meminfo: memFree=27670360/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=0.18 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 3291 6750 0 0 11 3 3 1 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=21150] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21150/stat : 21150 (satsolver.sh) S 21138 21137 6170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475290 9367552 267 33554432000 4194304 5064252 140733843652176 140733843651088 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21150/statm: 2287 267 226 213 0 72 0
[pid=21151] ppid=21150 vsize=51356 CPUtime=1.28 cores=1,3,5,7
/proc/21151/stat : 21151 (glucose) R 21150 21137 6170 0 -1 4202496 11314 0 0 0 126 2 0 0 20 0 1 0 387475290 52588544 11433 33554432000 4194304 5208918 140735788759120 140735788757064 4231508 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21151/statm: 12839 11433 95 248 0 12588 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 91052

[startup+3.10041 s]
/proc/loadavg: 2.06 2.01 1.86 3/180 21151
/proc/meminfo: memFree=27109300/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=0.18 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 3291 6750 0 0 11 3 3 1 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=21150] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21150/stat : 21150 (satsolver.sh) S 21138 21137 6170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387475290 9367552 267 33554432000 4194304 5064252 140733843652176 140733843651088 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21150/statm: 2287 267 226 213 0 72 0
[pid=21151] ppid=21150 vsize=51624 CPUtime=2.88 cores=1,3,5,7
/proc/21151/stat : 21151 (glucose) R 21150 21137 6170 0 -1 4202496 11430 0 0 0 286 2 0 0 20 0 1 0 387475290 52862976 11549 33554432000 4194304 5208918 140735788759120 140735788756968 4607488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21151/statm: 12906 11549 105 248 0 12655 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 91320

[startup+6.30027 s]
/proc/loadavg: 2.05 2.01 1.86 3/180 21158
/proc/meminfo: memFree=25813056/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=6.04 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 4189 35139 0 0 19 4 562 19 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 30548

[startup+12.7003 s]
/proc/loadavg: 2.43 2.09 1.88 2/178 21177
/proc/meminfo: memFree=24129348/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=12.25 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 6859 69739 0 0 43 6 1115 61 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 30548

[startup+25.5002 s]
/proc/loadavg: 2.82 2.19 1.92 2/180 21203
/proc/meminfo: memFree=22810400/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=24.17 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 10427 133485 0 0 76 10 2209 122 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
Current children cumulated CPU time (s) 24.17
Current children cumulated vsize (KiB) 30548

[startup+51.1069 s]
/proc/loadavg: 3.57 2.41 2.00 1/179 21261
/proc/meminfo: memFree=22863988/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=48.02 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 16743 260770 0 0 133 17 4408 244 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567897280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=21261] ppid=21138 vsize=16712 CPUtime=0 cores=1,3,5,7
/proc/21261/stat : 21261 (cp) D 21138 21137 6170 0 -1 4202496 501 0 0 0 0 0 0 0 20 0 1 0 387480348 17113088 186 33554432000 4194304 4305796 140734244652096 140734244650040 252263089040 0 0 4096 0 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/21261/statm: 4178 186 154 28 0 74 0
Current children cumulated CPU time (s) 48.02
Current children cumulated vsize (KiB) 47260

[startup+102.3 s]
/proc/loadavg: 4.38 2.81 2.15 2/180 21355
/proc/meminfo: memFree=22819556/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=89.86 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 30051 482685 0 0 255 31 8247 453 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (KiB) 30548

[startup+162.3 s]
/proc/loadavg: 3.24 2.79 2.19 4/182 21610
/proc/meminfo: memFree=31445792/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=148.2 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 47891 800780 0 0 416 50 13604 750 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=21609] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21609/stat : 21609 (satsolver.sh) S 21138 21137 6170 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387491319 9367552 267 33554432000 4194304 5064252 140736123216544 140736123215456 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 2287 267 226 213 0 72 0
[pid=21610] ppid=21609 vsize=51352 CPUtime=1.79 cores=1,3,5,7
/proc/21610/stat : 21610 (glucose) R 21609 21137 6170 0 -1 4202496 11310 0 0 0 177 2 0 0 20 0 1 0 387491319 52584448 11461 33554432000 4194304 5208918 140737182060672 140737182058520 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21610/statm: 12838 11461 95 248 0 12587 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (KiB) 91048

[startup+222.3 s]
/proc/loadavg: 2.54 2.67 2.18 3/181 21757
/proc/meminfo: memFree=31436204/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=208.84 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 66623 1136767 0 0 587 69 19165 1063 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=21756] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21756/stat : 21756 (satsolver.sh) S 21138 21137 6170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387497387 9367552 267 33554432000 4194304 5064252 140737327626736 140737327625648 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21756/statm: 2287 267 226 213 0 72 0
[pid=21757] ppid=21756 vsize=51352 CPUtime=1.11 cores=1,3,5,7
/proc/21757/stat : 21757 (glucose) R 21756 21137 6170 0 -1 4202496 11284 0 0 0 109 2 0 0 20 0 1 0 387497388 52584448 11429 33554432000 4194304 5208918 140734723068336 140734723066280 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21757/statm: 12838 11429 95 248 0 12587 0
Current children cumulated CPU time (s) 209.95
Current children cumulated vsize (KiB) 91048

[startup+282.3 s]

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

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

[startup+1552.2 s]
/proc/loadavg: 2.01 1.99 2.01 4/182 24999
/proc/meminfo: memFree=31353292/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=1537.21 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 262713 8396561 0 0 4304 478 141173 7766 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=24998] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24998/stat : 24998 (satsolver.sh) S 21138 21137 6170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387630245 9367552 266 33554432000 4194304 5064252 140734411131712 140734411130624 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24998/statm: 2287 266 226 213 0 72 0
[pid=24999] ppid=24998 vsize=51352 CPUtime=2.44 cores=1,3,5,7
/proc/24999/stat : 24999 (glucose) R 24998 21137 6170 0 -1 4202496 11368 0 0 0 243 1 0 0 20 0 1 0 387630245 52584448 11493 33554432000 4194304 5208918 140733365501056 140733365498904 4212881 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24999/statm: 12838 11493 95 248 0 12587 0
Current children cumulated CPU time (s) 1539.65
Current children cumulated vsize (KiB) 91048

[startup+1552.3 s]
/proc/loadavg: 2.01 1.99 2.01 4/182 24999
/proc/meminfo: memFree=31351920/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=1537.21 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) R 21137 21137 6170 0 -1 4202496 262713 8396561 0 0 4304 478 141173 7766 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 0 0 0 17 3 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
Current children cumulated CPU time (s) 1537.21
Current children cumulated vsize (KiB) 30548
#
############


[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/181 25122
/proc/meminfo: memFree=31390064/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=1589.42 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 269571 8682589 0 0 4450 494 145970 8028 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
Current children cumulated CPU time (s) 1589.42
Current children cumulated vsize (KiB) 30548

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.00 4/181 25266
/proc/meminfo: memFree=31352588/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=1647.86 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 277191 9003848 0 0 4613 512 151338 8323 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=25265] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (satsolver.sh) S 21138 21137 6170 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387641306 9367552 266 33554432000 4194304 5064252 140735499930512 140735499929424 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25265/statm: 2287 266 226 213 0 72 0
[pid=25266] ppid=25265 vsize=51352 CPUtime=1.94 cores=1,3,5,7
/proc/25266/stat : 25266 (glucose) R 25265 21137 6170 0 -1 4202496 11344 0 0 0 193 1 0 0 20 0 1 0 387641306 52584448 11468 33554432000 4194304 5208918 140734654327536 140734654325384 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25266/statm: 12838 11468 95 248 0 12587 0
Current children cumulated CPU time (s) 1649.8
Current children cumulated vsize (KiB) 91048

[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/181 25413
/proc/meminfo: memFree=31355476/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=1708.9 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 285192 9340043 0 0 4784 530 156942 8634 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=25412] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25412/stat : 25412 (satsolver.sh) S 21138 21137 6170 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387647410 9367552 266 33554432000 4194304 5064252 140734332513600 140734332512512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25412/statm: 2287 266 226 213 0 72 0
[pid=25413] ppid=25412 vsize=51220 CPUtime=0.89 cores=1,3,5,7
/proc/25413/stat : 25413 (glucose) R 25412 21137 6170 0 -1 4202496 11263 0 0 0 87 2 0 0 20 0 1 0 387647410 52449280 11416 33554432000 4194304 5208918 140735659522784 140735659520728 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25413/statm: 12805 11416 95 248 0 12554 0
Current children cumulated CPU time (s) 1709.79
Current children cumulated vsize (KiB) 90916

[startup+1782.31 s]
/proc/loadavg: 2.01 2.00 2.00 4/181 25556
/proc/meminfo: memFree=31389500/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=1769.61 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 292818 9667933 0 0 4947 549 162536 8929 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=25554] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25554/stat : 25554 (cp2_post.sh) S 21138 21137 6170 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 387653480 9367552 265 33554432000 4194304 5064252 140736004750256 140736004748544 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25554/statm: 2287 265 225 213 0 72 0
[pid=25556] ppid=25554 vsize=10240 CPUtime=0.18 cores=1,3,5,7
/proc/25556/stat : 25556 (coprocessor) R 25554 21137 6170 0 -1 4202496 2032 0 0 0 12 6 0 0 20 0 1 0 387653481 10485760 1714 33554432000 4194304 6586260 140734431261056 140734431257624 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/25556/statm: 2560 1714 148 584 0 1972 0
Current children cumulated CPU time (s) 1769.79
Current children cumulated vsize (KiB) 49936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25623
/proc/meminfo: memFree=31352412/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=1796.23 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 296622 9813753 0 0 5028 558 164968 9069 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=25622] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25622/stat : 25622 (satsolver.sh) S 21138 21137 6170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387656140 9367552 267 33554432000 4194304 5064252 140733788202736 140733788201648 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25622/statm: 2287 267 226 213 0 72 0
[pid=25623] ppid=25622 vsize=51352 CPUtime=1.39 cores=1,3,5,7
/proc/25623/stat : 25623 (glucose) R 25622 21137 6170 0 -1 4202496 11303 0 0 0 138 1 0 0 20 0 1 0 387656140 52584448 11442 33554432000 4194304 5208918 140736538869600 140736538867448 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25623/statm: 12838 11442 95 248 0 12587 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 91048

Sending SIGTERM to process tree (bottom up)

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

[startup+1810.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25623
/proc/meminfo: memFree=31352412/32873852 swapFree=7632/7632
[pid=21137] ppid=21135 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21137/stat : 21137 (npSolver-wbo-It) S 21135 21137 6170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387475270 9367552 274 33554432000 4194304 5064252 140733532466768 140733532465680 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21137/statm: 2287 274 233 213 0 72 0
[pid=21138] ppid=21137 vsize=21400 CPUtime=1796.23 cores=1,3,5,7
/proc/21138/stat : 21138 (npSolver-wbo) S 21137 21137 6170 0 -1 4202496 296622 9813753 0 0 5028 558 164968 9069 20 0 1 0 387475270 21913600 4976 33554432000 4194304 6006132 140734567905344 140734567896704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21138/statm: 5350 4976 176 443 0 4903 0
[pid=25622] ppid=21138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25622/stat : 25622 (satsolver.sh) S 21138 21137 6170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387656140 9367552 267 33554432000 4194304 5064252 140733788202736 140733788201648 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25622/statm: 2287 267 226 213 0 72 0
[pid=25623] ppid=25622 vsize=51352 CPUtime=1.39 cores=1,3,5,7
/proc/25623/stat : 25623 (glucose) R 25622 21137 6170 0 -1 4202496 11303 0 0 0 138 1 0 0 20 0 1 0 387656140 52584448 11442 33554432000 4194304 5208918 140736538869600 140736538867448 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25623/statm: 12838 11442 95 248 0 12587 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 91048

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21137 and gives
#  childrusage.ru_utime.tv_sec=1699
#  childrusage.ru_utime.tv_usec=967565
#  childrusage.ru_stime.tv_sec=96
#  childrusage.ru_stime.tv_usec=278363
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1797.62
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1810.11
CPU time (s): 1800.06
CPU user time (s): 1703.77
CPU system time (s): 96.29
CPU usage (%): 99.4446
Max. virtual memory (cumulated for all children) (KiB): 91324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1699.97
system time used= 96.2784
maximum resident set size= 47412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10111351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8512024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163412
involuntary context switches= 9502

runsolver used 3.47147 second user time and 9.35758 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-09 05:45:02
IDJOB=3752748
IDBENCH=79634
IDSOLVER=2336
FILE ID=node131/3752748-1339213502
RUNJOBID= node131-1339209855-8260
PBS_JOBID= 14643882
Free space on /tmp= 70860 MiB

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

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

MD5SUM BENCH= 01957484b2c99b85e5a2190fb59000ea
RANDOM SEED=1779049085

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28254264 kB
Buffers:          253468 kB
Cached:           657320 kB
SwapCached:         3456 kB
Active:          3114444 kB
Inactive:         603244 kB
Active(anon):    2804832 kB
Inactive(anon):     4860 kB
Active(file):     309612 kB
Inactive(file):   598384 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67098424 kB
Dirty:            488016 kB
Writeback:             8 kB
AnonPages:       2812660 kB
Mapped:             9932 kB
Shmem:                 0 kB
Slab:             755164 kB
SReclaimable:     195544 kB
SUnreclaim:       559620 kB
KernelStack:        1424 kB
PageTables:         9500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    4750952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2527232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71088 MiB
End job on node131 at 2012-06-09 06:15:13