Trace number 3753207

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.13 1798.11

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM6f81f937ed71e1dab8ff48fcb963c1e2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark2.66859
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5500
Total number of constraints210
Number of soft constraints210
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 10479
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10478
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.04	c run usual solver
0.00/0.63	o 4102
0.00/0.63	c starting approximation
0.00/0.63	c factor = 2
0.00/0.63	c factor still to low - shrinking to 5.16852
0.00/0.63	c approx number of clauses: 1e+06
0.00/0.63	c current bound: 2051
3.32/3.53	c current bound: 2051
6.26/6.46	c current bound: 2051
9.21/9.54	c current bound: 2051
12.17/12.48	c current bound: 2051
15.25/15.48	c current bound: 2051
18.16/18.49	c current bound: 2051
21.07/21.40	c current bound: 2051
24.17/24.30	c current bound: 2051
26.96/27.27	c current bound: 2051
29.90/30.22	c current bound: 2051
32.84/33.16	c current bound: 2051
35.77/36.09	c current bound: 2051
38.77/39.09	c current bound: 2051
41.96/42.10	c current bound: 2051
44.85/45.03	c current bound: 2051
47.61/47.93	c current bound: 2051
50.58/50.89	c current bound: 2051
53.65/53.84	c current bound: 2051
56.45/56.79	c current bound: 2051
59.43/59.74	c current bound: 2051
62.44/62.63	c current bound: 2051
65.26/65.58	c current bound: 2051
68.19/68.52	c current bound: 2051
71.24/71.41	c current bound: 2051
74.07/74.39	c current bound: 2051
76.49/76.83	c current bound: 2051
79.46/79.79	c current bound: 2051
82.46/82.79	c current bound: 2051
85.27/85.60	c current bound: 2051
88.23/88.56	c current bound: 2051
91.13/91.47	c current bound: 2051
94.10/94.44	c current bound: 2051
96.64/96.84	c current bound: 2051
99.45/99.78	c current bound: 2051
102.43/102.77	c current bound: 2051
105.42/105.68	c current bound: 2051
108.31/108.67	c current bound: 2051
111.27/111.62	c current bound: 2051
114.22/114.56	c current bound: 2051
116.63/116.99	c current bound: 2051
119.71/119.91	c current bound: 2051
122.46/122.82	c current bound: 2051
125.31/125.66	c current bound: 2051
128.24/128.59	c current bound: 2051
131.21/131.55	c current bound: 2051
134.12/134.47	c current bound: 2051
136.57/136.92	c current bound: 2051
139.49/139.86	c current bound: 2051
142.43/142.79	c current bound: 2051
145.37/145.73	c current bound: 2051
148.31/148.67	c current bound: 2051
151.25/151.60	c current bound: 2051
154.21/154.57	c current bound: 2051
157.17/157.53	c current bound: 2051
160.13/160.49	c current bound: 2051
163.08/163.43	c current bound: 2051
165.91/166.16	c current bound: 2051
168.74/169.10	c current bound: 2051
171.71/172.06	c current bound: 2051
174.70/175.05	c current bound: 2051
177.83/178.00	c current bound: 2051
180.57/180.93	c current bound: 2051
183.49/183.84	c current bound: 2051
186.44/186.79	c current bound: 2051
189.35/189.71	c current bound: 2051
192.32/192.67	c current bound: 2051
195.29/195.66	c current bound: 2051
198.24/198.59	c current bound: 2051
201.20/201.55	c current bound: 2051
204.31/204.51	c current bound: 2051
207.11/207.47	c current bound: 2051
210.05/210.41	c current bound: 2051
213.11/213.35	c current bound: 2051
215.96/216.32	c current bound: 2051
218.89/219.25	c current bound: 2051
221.91/222.19	c current bound: 2051
224.81/225.18	c current bound: 2051
227.74/228.09	c current bound: 2051
230.83/231.00	c current bound: 2051
233.61/233.99	c current bound: 2051
236.72/236.90	c current bound: 2051
239.51/239.89	c current bound: 2051
242.41/242.79	c current bound: 2051
245.34/245.71	c current bound: 2051
248.40/248.62	c current bound: 2051
251.19/251.57	c current bound: 2051
254.14/254.53	c current bound: 2051
257.10/257.48	c current bound: 2051
260.05/260.43	c current bound: 2051
263.05/263.43	c current bound: 2051
266.02/266.41	c current bound: 2051
268.98/269.35	c current bound: 2051
271.95/272.33	c current bound: 2051
274.87/275.26	c current bound: 2051
277.99/278.23	c current bound: 2051
280.78/281.16	c current bound: 2051
283.72/284.12	c current bound: 2051
286.79/287.05	c current bound: 2051
289.62/290.02	c current bound: 2051
292.53/292.92	c current bound: 2051
295.62/296.02	c current bound: 2051
298.48/298.90	c current bound: 2051
301.47/301.88	c current bound: 2051
304.48/304.79	c current bound: 2051
306.74/307.15	c current bound: 2051
309.86/310.12	c current bound: 2051
312.60/313.01	c current bound: 2051
315.46/315.77	c current bound: 2051
318.31/318.72	c current bound: 2051
321.24/321.65	c current bound: 2051
324.28/324.58	c current bound: 2051
326.91/327.33	c current bound: 2051
329.82/330.24	c current bound: 2051
332.74/333.15	c current bound: 2051
335.45/335.86	c current bound: 2051
338.57/338.82	c current bound: 2051
341.27/341.69	c current bound: 2051
344.23/344.64	c current bound: 2051
346.84/347.26	c current bound: 2051
349.79/350.21	c current bound: 2051
352.77/353.09	c current bound: 2051
355.39/355.83	c current bound: 2051
358.28/358.71	c current bound: 2051
361.25/361.66	c current bound: 2051
364.17/364.59	c current bound: 2051
366.57/366.99	c current bound: 2051
369.51/369.93	c current bound: 2051
372.57/372.87	c current bound: 2051
375.25/375.67	c current bound: 2051
378.15/378.57	c current bound: 2051
381.07/381.49	c current bound: 2051
384.18/384.40	c current bound: 2051
386.44/386.88	c current bound: 2051
389.34/389.76	c current bound: 2051
392.35/392.68	c current bound: 2051
395.13/395.56	c current bound: 2051
398.02/398.45	c current bound: 2051
400.94/401.37	c current bound: 2051
403.86/404.29	c current bound: 2051
406.39/406.83	c current bound: 2051
409.31/409.74	c current bound: 2051
412.56/412.80	c current bound: 2051
415.23/415.66	c current bound: 2051
418.10/418.55	c current bound: 2051
421.02/421.46	c current bound: 2051
423.98/424.42	c current bound: 2051
426.90/427.35	c current bound: 2051
429.84/430.29	c current bound: 2051
432.72/433.17	c current bound: 2051
435.48/435.93	c current bound: 2051
438.55/438.85	c current bound: 2051
441.35/441.79	c current bound: 2051
444.24/444.69	c current bound: 2051
446.67/447.12	c current bound: 2051
449.56/450.01	c current bound: 2051
452.43/452.87	c current bound: 2051
455.29/455.75	c current bound: 2051
458.33/458.70	c current bound: 2051
461.16/461.61	c current bound: 2051
464.08/464.54	c current bound: 2051
466.50/466.97	c current bound: 2051
469.38/469.84	c current bound: 2051
472.36/472.81	c current bound: 2051
475.20/475.66	c current bound: 2051
478.23/478.57	c current bound: 2051
481.09/481.55	c current bound: 2051
483.99/484.45	c current bound: 2051
486.42/486.88	c current bound: 2051
489.35/489.81	c current bound: 2051
492.43/492.79	c current bound: 2051
495.14/495.62	c current bound: 2051
498.06/498.54	c current bound: 2051
500.94/501.40	c current bound: 2051
503.88/504.35	c current bound: 2051
506.37/506.84	c current bound: 2051
509.26/509.73	c current bound: 2051
512.21/512.60	c current bound: 2051
514.98/515.46	c current bound: 2051
517.89/518.34	c current bound: 2051
520.78/521.25	c current bound: 2051
523.73/524.20	c current bound: 2051
526.27/526.76	c current bound: 2051
529.22/529.68	c current bound: 2051
532.16/532.63	c current bound: 2051
535.05/535.54	c current bound: 2051
538.03/538.51	c current bound: 2051
540.91/541.39	c current bound: 2051
543.82/544.31	c current bound: 2051
546.40/546.89	c current bound: 2051
549.30/549.79	c current bound: 2051
552.23/552.71	c current bound: 2051
555.12/555.61	c current bound: 2051
558.04/558.55	c current bound: 2051
560.99/561.49	c current bound: 2051
563.94/564.43	c current bound: 2051
566.39/566.89	c current bound: 2051
569.49/569.83	c current bound: 2051
572.21/572.71	c current bound: 2051
575.10/575.59	c current bound: 2051
577.98/578.48	c current bound: 2051
580.87/581.37	c current bound: 2051
583.76/584.26	c current bound: 2051
586.66/587.15	c current bound: 2051
589.55/590.04	c current bound: 2051
592.49/592.88	c current bound: 2051
595.27/595.75	c current bound: 2051
598.18/598.67	c current bound: 2051
601.09/601.58	c current bound: 2051
604.01/604.51	c current bound: 2051
606.44/606.94	c current bound: 2051
609.35/609.85	c current bound: 2051
612.41/612.91	c current bound: 2051
615.23/615.73	c current bound: 2051
618.13/618.62	c current bound: 2051
621.18/621.54	c current bound: 2051
623.97/624.46	c current bound: 2051
626.59/626.92	c current bound: 2051
629.34/629.84	c current bound: 2051
632.25/632.74	c current bound: 2051
635.11/635.60	c current bound: 2051
638.01/638.50	c current bound: 2051
640.93/641.43	c current bound: 2051
643.84/644.34	c current bound: 2051
646.49/646.82	c current bound: 2051
649.29/649.79	c current bound: 2051
652.23/652.73	c current bound: 2051
655.29/655.62	c current bound: 2051
658.30/658.60	c current bound: 2051
661.01/661.51	c current bound: 2051
664.08/664.44	c current bound: 2051
666.63/667.13	c current bound: 2051
669.54/670.05	c current bound: 2051
672.43/672.92	c current bound: 2051
675.49/675.80	c current bound: 2051
678.28/678.70	c current bound: 2051
681.05/681.55	c current bound: 2051
683.92/684.41	c current bound: 2051
686.42/686.92	c current bound: 2051
689.37/689.86	c current bound: 2051
692.36/692.85	c current bound: 2051
695.29/695.79	c current bound: 2051
698.29/698.78	c current bound: 2051
701.38/701.77	c current bound: 2051
704.20/704.71	c current bound: 2051
706.61/707.12	c current bound: 2051
709.54/710.03	c current bound: 2051
712.52/713.01	c current bound: 2051
715.36/715.86	c current bound: 2051
718.25/718.76	c current bound: 2051
721.21/721.70	c current bound: 2051
724.18/724.69	c current bound: 2051
727.10/727.61	c current bound: 2051
730.03/730.55	c current bound: 2051
732.96/733.49	c current bound: 2051
735.92/736.43	c current bound: 2051
738.83/739.35	c current bound: 2051
741.84/742.35	c current bound: 2051
744.82/745.33	c current bound: 2051
747.83/748.34	c current bound: 2051
750.86/751.26	c current bound: 2051
753.70/754.20	c current bound: 2051
756.61/757.12	c current bound: 2051
759.66/760.06	c current bound: 2051
762.58/763.07	c current bound: 2051
765.53/766.03	c current bound: 2051
768.57/768.93	c current bound: 2051
771.37/771.86	c current bound: 2051
774.32/774.83	c current bound: 2051
777.37/777.78	c current bound: 2051
780.22/780.72	c current bound: 2051
783.25/783.75	c current bound: 2051
786.22/786.72	c current bound: 2051
789.15/789.65	c current bound: 2051
792.06/792.59	c current bound: 2051
795.03/795.54	c current bound: 2051
797.94/798.44	c current bound: 2051
800.90/801.41	c current bound: 2051
803.85/804.36	c current bound: 2051
806.97/807.39	c current bound: 2051
809.83/810.34	c current bound: 2051
812.77/813.27	c current bound: 2051
815.87/816.21	c current bound: 2051
818.89/819.20	c current bound: 2051
821.63/822.13	c current bound: 2051
824.66/825.08	c current bound: 2051
827.50/828.01	c current bound: 2051
830.47/830.97	c current bound: 2051
833.39/833.89	c current bound: 2051
836.31/836.81	c current bound: 2051
839.21/839.72	c current bound: 2051
842.21/842.72	c current bound: 2051
845.18/845.69	c current bound: 2051
848.09/848.60	c current bound: 2051
851.10/851.61	c current bound: 2051
854.03/854.53	c current bound: 2051
856.63/857.13	c current bound: 2051
859.52/860.04	c current bound: 2051
862.41/862.93	c current bound: 2051
865.56/865.90	c current bound: 2051
868.27/868.79	c current bound: 2051
871.22/871.73	c current bound: 2051
874.17/874.68	c current bound: 2051
877.10/877.63	c current bound: 2051
880.09/880.61	c current bound: 2051
883.03/883.55	c current bound: 2051
885.91/886.43	c current bound: 2051
888.82/889.35	c current bound: 2051
891.81/892.32	c current bound: 2051
894.74/895.26	c current bound: 2051
897.66/898.19	c current bound: 2051
900.66/901.17	c current bound: 2051
903.58/904.10	c current bound: 2051
906.56/907.09	c current bound: 2051
909.53/910.06	c current bound: 2051
912.65/913.08	c current bound: 2051
915.48/916.01	c current bound: 2051
918.46/918.99	c current bound: 2051
921.42/921.96	c current bound: 2051
924.37/924.91	c current bound: 2051
927.29/927.82	c current bound: 2051
930.21/930.75	c current bound: 2051
933.17/933.70	c current bound: 2051
936.18/936.73	c current bound: 2051
939.18/939.72	c current bound: 2051
942.22/942.65	c current bound: 2051
945.03/945.59	c current bound: 2051
948.04/948.58	c current bound: 2051
951.12/951.52	c current bound: 2051
953.88/954.44	c current bound: 2051
956.81/957.36	c current bound: 2051
959.82/960.29	c current bound: 2051
962.70/963.25	c current bound: 2051
965.64/966.20	c current bound: 2051
968.72/969.16	c current bound: 2051
971.50/972.06	c current bound: 2051
974.40/974.96	c current bound: 2051
977.51/977.94	c current bound: 2051
980.31/980.85	c current bound: 2051
983.23/983.79	c current bound: 2051
986.33/986.78	c current bound: 2051
989.16/989.71	c current bound: 2051
992.15/992.69	c current bound: 2051
995.07/995.62	c current bound: 2051
997.97/998.53	c current bound: 2051
1000.90/1001.44	c current bound: 2051
1003.90/1004.45	c current bound: 2051
1006.77/1007.32	c current bound: 2051
1009.73/1010.29	c current bound: 2051
1012.68/1013.25	c current bound: 2051
1015.66/1016.22	c current bound: 2051
1018.58/1019.14	c current bound: 2051
1021.71/1022.10	c current bound: 2051
1024.51/1025.07	c current bound: 2051
1027.17/1027.73	c current bound: 2051
1030.33/1030.71	c current bound: 2051
1033.06/1033.64	c current bound: 2051
1035.91/1036.48	c current bound: 2051
1039.00/1039.43	c current bound: 2051
1041.79/1042.36	c current bound: 2051
1044.73/1045.30	c current bound: 2051
1047.81/1048.27	c current bound: 2051
1050.61/1051.18	c current bound: 2051
1053.57/1054.14	c current bound: 2051
1056.60/1057.06	c current bound: 2051
1059.42/1059.99	c current bound: 2051
1062.51/1062.90	c current bound: 2051
1065.21/1065.79	c current bound: 2051
1068.11/1068.68	c current bound: 2051
1071.05/1071.62	c current bound: 2051
1073.95/1074.52	c current bound: 2051
1076.85/1077.43	c current bound: 2051
1079.78/1080.34	c current bound: 2051
1082.70/1083.27	c current bound: 2051
1085.59/1086.16	c current bound: 2051
1088.51/1089.09	c current bound: 2051
1091.48/1092.05	c current bound: 2051
1094.40/1094.98	c current bound: 2051
1097.33/1097.91	c current bound: 2051
1100.25/1100.84	c current bound: 2051
1103.19/1103.76	c current bound: 2051
1106.14/1106.70	c current bound: 2051
1109.09/1109.67	c current bound: 2051
1111.97/1112.55	c current bound: 2051
1115.01/1115.49	c current bound: 2051
1117.86/1118.42	c current bound: 2051
1120.78/1121.35	c current bound: 2051
1123.79/1124.28	c current bound: 2051
1126.69/1127.26	c current bound: 2051
1129.63/1130.20	c current bound: 2051
1132.56/1133.14	c current bound: 2051
1135.44/1136.01	c current bound: 2051
1138.40/1138.97	c current bound: 2051
1141.50/1141.90	c current bound: 2051
1144.28/1144.86	c current bound: 2051
1147.24/1147.81	c current bound: 2051
1150.41/1150.80	c current bound: 2051
1153.18/1153.75	c current bound: 2051
1155.87/1156.46	c current bound: 2051
1159.01/1159.46	c current bound: 2051
1161.80/1162.38	c current bound: 2051
1164.76/1165.33	c current bound: 2051
1167.79/1168.24	c current bound: 2051
1170.63/1171.21	c current bound: 2051
1173.53/1174.11	c current bound: 2051
1176.61/1177.01	c current bound: 2051
1179.39/1179.96	c current bound: 2051
1182.30/1182.87	c current bound: 2051
1185.29/1185.78	c current bound: 2051
1188.17/1188.75	c current bound: 2051
1191.18/1191.74	c current bound: 2051
1194.20/1194.68	c current bound: 2051
1197.07/1197.65	c current bound: 2051
1200.05/1200.63	c current bound: 2051
1203.02/1203.58	c current bound: 2051
1205.94/1206.51	c current bound: 2051
1208.92/1209.48	c current bound: 2051
1211.82/1212.39	c current bound: 2051
1214.73/1215.31	c current bound: 2051
1217.64/1218.20	c current bound: 2051
1220.61/1221.18	c current bound: 2051
1223.60/1224.17	c current bound: 2051
1226.56/1227.12	c current bound: 2051
1229.47/1230.05	c current bound: 2051
1232.38/1232.96	c current bound: 2051
1235.30/1235.88	c current bound: 2051
1238.25/1238.83	c current bound: 2051
1241.12/1241.71	c current bound: 2051
1244.01/1244.59	c current bound: 2051
1246.92/1247.48	c current bound: 2051
1249.84/1250.40	c current bound: 2051
1252.76/1253.32	c current bound: 2051
1255.82/1256.24	c current bound: 2051
1258.60/1259.17	c current bound: 2051
1261.48/1262.06	c current bound: 2051
1264.53/1264.99	c current bound: 2051
1266.92/1267.49	c current bound: 2051
1269.81/1270.39	c current bound: 2051
1272.71/1273.29	c current bound: 2051
1275.54/1276.09	c current bound: 2051
1278.38/1278.98	c current bound: 2051
1281.28/1281.87	c current bound: 2051
1284.31/1284.80	c current bound: 2051
1286.70/1287.27	c current bound: 2051
1289.58/1290.17	c current bound: 2051
1292.46/1293.04	c current bound: 2051
1295.62/1296.00	c current bound: 2051
1298.27/1298.84	c current bound: 2051
1301.22/1301.80	c current bound: 2051
1304.13/1304.72	c current bound: 2051
1307.00/1307.59	c current bound: 2051
1309.92/1310.50	c current bound: 2051
1313.00/1313.42	c current bound: 2051
1315.62/1316.19	c current bound: 2051
1318.51/1319.09	c current bound: 2051
1321.39/1321.98	c current bound: 2051
1324.29/1324.88	c current bound: 2051
1326.92/1327.51	c current bound: 2051
1329.92/1330.51	c current bound: 2051
1332.87/1333.47	c current bound: 2051
1335.66/1336.24	c current bound: 2051
1338.56/1339.15	c current bound: 2051
1341.59/1342.02	c current bound: 2051
1344.30/1344.89	c current bound: 2051
1346.71/1347.30	c current bound: 2051
1349.62/1350.21	c current bound: 2051
1352.56/1353.16	c current bound: 2051
1355.39/1355.99	c current bound: 2051
1358.49/1358.90	c current bound: 2051
1361.38/1361.81	c current bound: 2051
1364.14/1364.74	c current bound: 2051
1366.79/1367.21	c current bound: 2051
1369.57/1370.18	c current bound: 2051
1372.50/1373.11	c current bound: 2051
1375.36/1375.96	c current bound: 2051
1378.29/1378.89	c current bound: 2051
1381.21/1381.81	c current bound: 2051
1384.10/1384.71	c current bound: 2051
1386.68/1387.18	c current bound: 2051
1389.49/1390.09	c current bound: 2051
1392.36/1392.95	c current bound: 2051
1395.38/1395.87	c current bound: 2051
1398.23/1398.84	c current bound: 2051
1401.12/1401.74	c current bound: 2051
1404.17/1404.63	c current bound: 2051
1406.60/1407.21	c current bound: 2051
1409.67/1410.12	c current bound: 2051
1412.46/1413.08	c current bound: 2051
1415.31/1415.94	c current bound: 2051
1418.20/1418.82	c current bound: 2051
1421.06/1421.68	c current bound: 2051
1424.04/1424.66	c current bound: 2051
1426.61/1427.24	c current bound: 2051
1429.54/1430.17	c current bound: 2051
1432.48/1433.10	c current bound: 2051
1435.39/1436.02	c current bound: 2051
1438.33/1438.95	c current bound: 2051
1441.24/1441.86	c current bound: 2051
1444.16/1444.78	c current bound: 2051
1447.18/1447.66	c current bound: 2051
1449.98/1450.60	c current bound: 2051
1452.87/1453.50	c current bound: 2051
1455.68/1456.30	c current bound: 2051
1458.77/1459.20	c current bound: 2051
1461.44/1462.06	c current bound: 2051
1464.36/1464.99	c current bound: 2051
1467.03/1467.65	c current bound: 2051
1470.16/1470.60	c current bound: 2051
1472.89/1473.52	c current bound: 2051
1475.76/1476.29	c current bound: 2051
1478.57/1479.20	c current bound: 2051
1481.49/1482.12	c current bound: 2051
1484.46/1484.99	c current bound: 2051
1486.74/1487.37	c current bound: 2051
1489.68/1490.31	c current bound: 2051
1492.56/1493.19	c current bound: 2051
1495.55/1496.03	c current bound: 2051
1498.29/1498.94	c current bound: 2051
1501.23/1501.87	c current bound: 2051
1504.24/1504.78	c current bound: 2051
1506.84/1507.48	c current bound: 2051
1509.85/1510.37	c current bound: 2051
1512.62/1513.26	c current bound: 2051
1515.46/1516.11	c current bound: 2051
1518.55/1519.05	c current bound: 2051
1521.35/1521.99	c current bound: 2051
1524.21/1524.86	c current bound: 2051
1526.62/1527.27	c current bound: 2051
1529.55/1530.21	c current bound: 2051
1532.63/1533.10	c current bound: 2051
1535.35/1536.00	c current bound: 2051
1538.43/1538.97	c current bound: 2051
1541.20/1541.86	c current bound: 2051
1544.43/1544.90	c current bound: 2051
1546.74/1547.40	c current bound: 2051
1549.63/1550.29	c current bound: 2051
1552.63/1553.19	c current bound: 2051
1555.45/1556.12	c current bound: 2051
1558.31/1558.98	c current bound: 2051
1561.42/1561.95	c current bound: 2051
1564.43/1564.90	c current bound: 2051
1566.64/1567.30	c current bound: 2051
1569.54/1570.21	c current bound: 2051
1572.45/1573.10	c current bound: 2051
1575.34/1576.01	c current bound: 2051
1578.26/1578.93	c current bound: 2051
1581.42/1581.90	c current bound: 2051
1584.14/1584.81	c current bound: 2051
1587.08/1587.77	c current bound: 2051
1590.12/1590.68	c current bound: 2051
1592.89/1593.57	c current bound: 2051
1595.87/1596.54	c current bound: 2051
1598.92/1599.45	c current bound: 2051
1601.68/1602.35	c current bound: 2051
1604.62/1605.29	c current bound: 2051
1607.39/1608.06	c current bound: 2051
1610.28/1610.95	c current bound: 2051
1613.22/1613.89	c current bound: 2051
1615.94/1616.61	c current bound: 2051
1618.88/1619.54	c current bound: 2051
1621.93/1622.48	c current bound: 2051
1624.72/1625.39	c current bound: 2051
1627.09/1627.77	c current bound: 2051
1630.04/1630.72	c current bound: 2051
1632.94/1633.62	c current bound: 2051
1635.80/1636.49	c current bound: 2051
1638.69/1639.38	c current bound: 2051
1641.71/1642.29	c current bound: 2051
1644.56/1645.25	c current bound: 2051
1647.01/1647.70	c current bound: 2051
1649.92/1650.61	c current bound: 2051
1652.83/1653.51	c current bound: 2051
1655.62/1656.32	c current bound: 2051
1658.59/1659.28	c current bound: 2051
1661.55/1662.24	c current bound: 2051
1664.42/1665.12	c current bound: 2051
1666.81/1667.51	c current bound: 2051
1669.75/1670.45	c current bound: 2051
1672.67/1673.37	c current bound: 2051
1675.53/1676.22	c current bound: 2051
1678.60/1679.29	c current bound: 2051
1681.49/1682.20	c current bound: 2051
1684.60/1685.13	c current bound: 2051
1687.16/1687.88	c current bound: 2051
1690.11/1690.82	c current bound: 2051
1693.03/1693.74	c current bound: 2051
1695.92/1696.63	c current bound: 2051
1698.99/1699.52	c current bound: 2051
1701.70/1702.41	c current bound: 2051
1704.63/1705.35	c current bound: 2051
1707.00/1707.72	c current bound: 2051
1709.94/1710.66	c current bound: 2051
1712.87/1713.59	c current bound: 2051
1715.64/1716.36	c current bound: 2051
1718.67/1719.25	c current bound: 2051
1721.37/1722.11	c current bound: 2051
1724.47/1725.00	c current bound: 2051
1726.68/1727.40	c current bound: 2051
1729.78/1730.30	c current bound: 2051
1732.52/1733.24	c current bound: 2051
1735.40/1736.14	c current bound: 2051
1738.45/1739.07	c current bound: 2051
1741.25/1741.98	c current bound: 2051
1744.17/1744.91	c current bound: 2051
1747.26/1747.86	c current bound: 2051
1750.01/1750.74	c current bound: 2051
1752.92/1753.64	c current bound: 2051
1755.86/1756.59	c current bound: 2051
1758.79/1759.52	c current bound: 2051
1761.71/1762.44	c current bound: 2051
1764.67/1765.40	c current bound: 2051
1767.09/1767.83	c current bound: 2051
1770.01/1770.74	c current bound: 2051
1772.89/1773.62	c current bound: 2051
1775.84/1776.43	c current bound: 2051
1778.60/1779.33	c current bound: 2051
1781.57/1782.31	c current bound: 2051
1784.65/1785.22	c current bound: 2051
1787.03/1787.76	c current bound: 2051
1789.95/1790.68	c current bound: 2051
1792.89/1793.63	c current bound: 2051
1795.80/1796.53	c current bound: 2051
1797.55/1798.10	./satsolver.sh: line 5:  5162 Terminated              ./glucose $1 > $2 2> /dev/null
1797.55/1798.10	c error: unexpected solver exit code
1797.55/1798.10	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-3753207-1339207808/watcher-3753207-1339207808 -o /tmp/evaluation-result-3753207-1339207808/solver-3753207-1339207808 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753207-1339207808.wbo 543294959 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.85 2/178 595
/proc/meminfo: memFree=29851252/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0

[startup+0.0932311 s]
/proc/loadavg: 1.99 1.98 1.85 2/178 595
/proc/meminfo: memFree=29851252/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100277 s]
/proc/loadavg: 1.99 1.98 1.85 2/178 595
/proc/meminfo: memFree=29851252/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300277 s]
/proc/loadavg: 1.99 1.98 1.85 2/178 595
/proc/meminfo: memFree=29851252/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700228 s]
/proc/loadavg: 1.99 1.98 1.85 2/178 595
/proc/meminfo: memFree=29851252/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 1.99 1.98 1.85 3/182 609
/proc/meminfo: memFree=29783504/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=0.7 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 4236 8368 0 0 11 3 54 2 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=608] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/608/stat : 608 (satsolver.sh) S 596 595 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386909329 9367552 266 33554432000 4194304 5064252 140734442466816 140734442465728 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/608/statm: 2287 266 226 213 0 72 0
[pid=609] ppid=608 vsize=45940 CPUtime=0.77 cores=0,2,4,6
/proc/609/stat : 609 (glucose) R 608 595 17664 0 -1 4202496 9086 0 0 0 75 2 0 0 20 0 1 0 386909330 47042560 9237 33554432000 4194304 5208918 140736369455056 140736369453464 4211558 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/609/statm: 11485 9237 95 248 0 11234 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 84652

[startup+3.10028 s]
/proc/loadavg: 1.99 1.98 1.85 3/182 609
/proc/meminfo: memFree=29781752/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=0.7 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 4236 8368 0 0 11 3 54 2 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=608] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/608/stat : 608 (satsolver.sh) S 596 595 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386909329 9367552 266 33554432000 4194304 5064252 140734442466816 140734442465728 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/608/statm: 2287 266 226 213 0 72 0
[pid=609] ppid=608 vsize=45940 CPUtime=2.37 cores=0,2,4,6
/proc/609/stat : 609 (glucose) R 608 595 17664 0 -1 4202496 9354 0 0 0 235 2 0 0 20 0 1 0 386909330 47042560 9505 33554432000 4194304 5208918 140736369455056 140736369453464 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/609/statm: 11485 9505 95 248 0 11234 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 84652

[startup+6.30027 s]
/proc/loadavg: 1.99 1.98 1.85 3/182 616
/proc/meminfo: memFree=29780968/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=6.26 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 6241 32860 0 0 19 4 590 13 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 29564

[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.86 3/182 630
/proc/meminfo: memFree=29781188/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=12.42 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 12228 63443 0 0 40 6 1161 35 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 29564

[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.86 3/182 665
/proc/meminfo: memFree=29772364/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=24.25 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 20220 118488 0 0 69 10 2278 68 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=664] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/664/stat : 664 (satsolver.sh) S 596 595 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386911696 9367552 266 33554432000 4194304 5064252 140733273674064 140733273672976 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/664/statm: 2287 266 226 213 0 72 0
[pid=665] ppid=664 vsize=45944 CPUtime=1.1 cores=0,2,4,6
/proc/665/stat : 665 (glucose) R 664 595 17664 0 -1 4202496 9096 0 0 0 109 1 0 0 20 0 1 0 386911696 47046656 9286 33554432000 4194304 5208918 140735586214816 140735586213224 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/665/statm: 11486 9286 95 248 0 11235 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 84656

[startup+51.1003 s]
/proc/loadavg: 2.01 1.98 1.86 3/182 721
/proc/meminfo: memFree=29760136/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=50.84 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 38202 242396 0 0 134 17 4792 141 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 29564

[startup+102.306 s]
/proc/loadavg: 2.00 1.98 1.86 3/181 848
/proc/meminfo: memFree=29741556/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=99.71 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 72168 474928 0 0 258 31 9403 279 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=847] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/847/stat : 847 (satsolver.sh) S 596 595 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386919244 9367552 266 33554432000 4194304 5064252 140737358897776 140737358896688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/847/statm: 2287 266 226 213 0 72 0
[pid=848] ppid=847 vsize=45940 CPUtime=2.43 cores=0,2,4,6
/proc/848/stat : 848 (glucose) R 847 595 17664 0 -1 4202496 9295 0 0 0 242 1 0 0 20 0 1 0 386919244 47042560 9498 33554432000 4194304 5208918 140736187555728 140736187554136 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/848/statm: 11485 9498 95 248 0 11234 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 84652

[startup+162.3 s]
/proc/loadavg: 2.12 2.02 1.88 3/181 1004
/proc/meminfo: memFree=29772028/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=160.4 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 114126 760023 0 0 411 48 15134 447 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=1003] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1003/stat : 1003 (satsolver.sh) S 596 595 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386925315 9367552 267 33554432000 4194304 5064252 140733946646320 140733946645232 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1003/statm: 2287 267 226 213 0 72 0
[pid=1004] ppid=1003 vsize=45940 CPUtime=1.71 cores=0,2,4,6
/proc/1004/stat : 1004 (glucose) R 1003 595 17664 0 -1 4202496 8809 0 0 0 170 1 0 0 20 0 1 0 386925315 47042560 9498 33554432000 4194304 5208918 140736306876080 140736306874488 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 11485 9498 95 248 0 11234 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 84652

[startup+222.3 s]
/proc/loadavg: 2.24 2.07 1.91 3/181 1150
/proc/meminfo: memFree=29771076/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=222.09 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 156084 1049071 0 0 563 66 20955 625 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 222.09

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

/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=3872] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3872/stat : 3872 (satsolver.sh) S 596 595 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387039445 9367552 267 33554432000 4194304 5064252 140735839441904 140735839440816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3872/statm: 2287 267 226 213 0 72 0
[pid=3873] ppid=3872 vsize=45940 CPUtime=0.42 cores=0,2,4,6
/proc/3873/stat : 3873 (glucose) R 3872 595 17664 0 -1 4202496 8991 0 0 0 40 2 0 0 20 0 1 0 387039445 47042560 9179 33554432000 4194304 5208918 140735782772224 140735782770632 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3873/statm: 11485 9179 95 248 0 11234 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 84652

[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/181 4016
/proc/meminfo: memFree=29769220/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1361.49 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 941298 6454320 0 0 3317 384 128540 3908 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 1361.49
Current children cumulated vsize (KiB) 29564

[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 4167
/proc/meminfo: memFree=29738804/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1421.34 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 983256 6740465 0 0 3459 400 134188 4087 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=4166] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4166/stat : 4166 (satsolver.sh) S 596 595 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387051433 9367552 267 33554432000 4194304 5064252 140735526673776 140735526672688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4166/statm: 2287 267 226 213 0 72 0
[pid=4167] ppid=4166 vsize=45944 CPUtime=0.53 cores=0,2,4,6
/proc/4167/stat : 4167 (glucose) R 4166 595 17664 0 -1 4202496 8980 0 0 0 52 1 0 0 20 0 1 0 387051433 47046656 9198 33554432000 4194304 5208918 140735996953264 140735996951672 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4167/statm: 11486 9198 95 248 0 11235 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 84656

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/180 4314
/proc/meminfo: memFree=29765936/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1481.77 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 1025214 7029759 0 0 3601 415 139892 4269 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 29564

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4470
/proc/meminfo: memFree=29739024/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1541.47 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 1067172 7316977 0 0 3742 431 145523 4451 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=4469] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4469/stat : 4469 (satsolver.sh) S 596 595 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387063451 9367552 266 33554432000 4194304 5064252 140735871619472 140735871618384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4469/statm: 2287 266 226 213 0 72 0
[pid=4470] ppid=4469 vsize=45940 CPUtime=0.35 cores=0,2,4,6
/proc/4470/stat : 4470 (glucose) R 4469 595 17664 0 -1 4202496 8957 0 0 0 34 1 0 0 20 0 1 0 387063451 47042560 9167 33554432000 4194304 5208918 140735530754192 140735530752600 4211807 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4470/statm: 11485 9167 95 248 0 11234 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 84652

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 4617
/proc/meminfo: memFree=29769796/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1601.68 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 1107139 7603569 0 0 3878 446 151221 4623 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 29564

[startup+1662.3 s]
/proc/loadavg: 1.97 2.01 1.99 3/181 4764
/proc/meminfo: memFree=29736920/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1661.8 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) R 595 595 17664 0 -1 4202496 1150890 7899251 0 0 4025 462 156879 4814 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449236400 5056689 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 29564

[startup+1722.3 s]
/proc/loadavg: 1.91 1.98 1.99 3/181 4911
/proc/meminfo: memFree=29736252/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1721.66 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 1193046 8187045 0 0 4167 479 162527 4993 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 29564

[startup+1782.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 5065
/proc/meminfo: memFree=29763764/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1781.57 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 1233013 8468543 0 0 4301 494 168192 5170 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235312 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 29564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.1 s]
/proc/loadavg: 2.05 2.00 1.99 3/181 5162
/proc/meminfo: memFree=29758496/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1796.07 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 1244994 8542337 0 0 4342 499 169545 5221 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=5161] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5161/stat : 5161 (satsolver.sh) S 596 595 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387088918 9367552 267 33554432000 4194304 5064252 140733982005152 140733982004064 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5161/statm: 2287 267 226 213 0 72 0
[pid=5162] ppid=5161 vsize=45940 CPUtime=1.48 cores=0,2,4,6
/proc/5162/stat : 5162 (glucose) R 5161 595 17664 0 -1 4202496 8909 0 0 0 147 1 0 0 20 0 1 0 387088918 47042560 9599 33554432000 4194304 5208918 140737321909392 140737321907800 4211574 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5162/statm: 11485 9599 95 248 0 11234 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 84652

Sending SIGTERM to process tree (bottom up)

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

[startup+1798.1 s]
/proc/loadavg: 2.05 2.00 1.99 3/181 5162
/proc/meminfo: memFree=29758496/32873844 swapFree=7124/7124
[pid=595] ppid=593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/595/stat : 595 (npSolver-wbo-It) S 593 595 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386909257 9367552 274 33554432000 4194304 5064252 140736563125360 140736563124272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/595/statm: 2287 274 233 213 0 72 0
[pid=596] ppid=595 vsize=20416 CPUtime=1796.07 cores=0,2,4,6
/proc/596/stat : 596 (npSolver-wbo) S 595 595 17664 0 -1 4202496 1244994 8542337 0 0 4342 499 169545 5221 20 0 1 0 386909258 20905984 3881 33554432000 4194304 6006132 140733449244464 140733449235824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/596/statm: 5104 3881 177 443 0 4657 0
[pid=5161] ppid=596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5161/stat : 5161 (satsolver.sh) S 596 595 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387088918 9367552 267 33554432000 4194304 5064252 140733982005152 140733982004064 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5161/statm: 2287 267 226 213 0 72 0
[pid=5162] ppid=5161 vsize=45940 CPUtime=1.48 cores=0,2,4,6
/proc/5162/stat : 5162 (glucose) R 5161 595 17664 0 -1 4202496 8909 0 0 0 147 1 0 0 20 0 1 0 387088918 47042560 9599 33554432000 4194304 5208918 140737321909392 140737321907800 4211574 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5162/statm: 11485 9599 95 248 0 11234 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 84652

Child status: 0

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

Real time (s): 1798.11
CPU time (s): 1800.13
CPU user time (s): 1742.89
CPU system time (s): 57.2453
CPU usage (%): 100.112
Max. virtual memory (cumulated for all children) (KiB): 85476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.36
system time used= 57.2353
maximum resident set size= 41124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9797229
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7598400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151608
involuntary context switches= 9514

runsolver used 4.47532 second user time and 8.75567 second system time

The end

Launcher Data 

Begin job on node110 at 2012-06-09 04:10:08
IDJOB=3753207
IDBENCH=79158
IDSOLVER=2336
FILE ID=node110/3753207-1339207808
RUNJOBID= node110-1339205999-17680
PBS_JOBID= 14643881
Free space on /tmp= 69272 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753207-1339207808/watcher-3753207-1339207808 -o /tmp/evaluation-result-3753207-1339207808/solver-3753207-1339207808 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753207-1339207808.wbo 543294959 HOME HOME

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

MD5SUM BENCH= 6f81f937ed71e1dab8ff48fcb963c1e2
RANDOM SEED=543294959

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
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:       32873844 kB
MemFree:        29850880 kB
Buffers:          164272 kB
Cached:          1943296 kB
SwapCached:         1852 kB
Active:          2085036 kB
Inactive:          66564 kB
Active(anon):      42004 kB
Inactive(anon):     4220 kB
Active(file):    2043032 kB
Inactive(file):    62344 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67099060 kB
Dirty:             19624 kB
Writeback:             0 kB
AnonPages:         82544 kB
Mapped:             9468 kB
Shmem:                 0 kB
Slab:             732560 kB
SReclaimable:     172316 kB
SUnreclaim:       560244 kB
KernelStack:        1512 kB
PageTables:         4060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     156236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 69256 MiB
End job on node110 at 2012-06-09 04:40:06