Trace number 433201

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)65171982 1800.23 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUMc716bc6c519760d619aa6878c926054c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark54618714
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31249460
Optimality of the best value was proved NO
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433201-1177956296/instance-433201-1177956296.opb
0.00/0.00	c File size is 445658 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.01/0.08	c Highest Coefficient sum: 2.90492e+12
0.01/0.08	c Parsing was ok!!
0.01/0.08	c Total parsing time: 0.08 s
0.01/0.09	c Var: 6402 Constr: 5929 5503/174/252 Lit: 43374 Watch. Lit: 27944
0.01/0.09	c Obj. Vars: 4170 (65.1359 % of total variables)
0.49/0.52	c Pre-processing Time: 0.525 s
1631.48/1632.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1631.48/1632.00	c        0   3561     1916    33567   17    21314   63522      0      0 0.53
1631.48/1632.00	c      100   3561     2016    62095   30    25463   69875    100    172 0.58
1631.48/1632.00	c      250   3561     2166   106288   49    26240   76863    250    377 0.66
1631.48/1632.00	c      476   3561     2392   162771   68    26347   84550    476    584 0.81
1631.48/1632.00	c      826   3561     2742   230200   83    27289   93006    826    897 0.92
1631.48/1632.00	c     1334   3561     3250   438102  134    28062  102307   1334   1086 1.23
1631.48/1632.00	c     2098   3561     4014   554557  138    29471  112538   2098   1374 1.53
1631.48/1632.00	c     3245   3561     5161   767372  148    31736  123792   3245   1709 1.90
1631.48/1632.00	c     4968   3561     6884  1048054  152    35178  136172   4968   1829 2.71
1631.48/1632.00	c     7553   3561     9469  1394422  147    40226  149790   7553   2114 3.57
1631.48/1632.00	c    11432   3561    13348  2037913  152    47812  164770  11432   2049 5.58
1631.48/1632.00	c    17255   3561    19171  2579515  134    59352  181248  17255   2244 7.69
1631.48/1632.00	c    25992   3561    27908  5363581  192    76724  199373  25992   1368 18.99
1631.48/1632.00	c    39102   3561    41018  6824070  166   102771  219311  39102   1328 29.43
1631.48/1632.00	c    58772   3561    60688  7732327  127   142220  241243  58772   1264 46.50
1631.48/1632.00	c    88282   3561    90198 11651935  129   201736  265368  88282   1183 74.60
1631.48/1632.00	c   132552   3561   134468 15694444  116   290165  291905 132552    980 135.25
1631.48/1632.00	c   198963   3561   200879 58447573  290   423276  321096 198963    250 795.55
1631.48/1632.00	c   298588   3561   300504 79031046  262   622363  353206 298588    183 1626.38
1631.48/1632.00	o 65171982	1631.59
1800.05/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.50	c   301289   3561   303206 79585112  262   630203   67608 301290    184 1631.60
1800.05/1800.50	c   301391   3561    16158  2208628  136    55826   74369  14242    171 1758.59
1800.05/1800.50	c   301641   3561    16408  2247574  136    56101   81806  14492    171 1758.75
1800.05/1800.50	c   302116   3561    16883  2298468  136    56780   89987  14967    171 1759.10
1800.05/1800.50	c   302929   3561    17696  2464984  139    58310   98986  15780    172 1759.77
1800.05/1800.50	c   304249   3561    19016  2681366  141    61122  108885  17100    172 1760.26
1800.05/1800.50	c   306331   3561    21098  2894138  137    65057  119774  19182    173 1761.05
1800.05/1800.50	c   309555   3561    24322  3742724  153    71293  131752  22406    175 1763.81
1800.05/1800.50	c   314495   3561    29262  4284046  146    81219  144928  27346    177 1766.96
1800.05/1800.50	c   322002   3561    36769  5601737  152    96043  159421  34853    181 1776.55
1800.05/1800.50	c   333367   3561    48134  6929720  143   118717  175364  46218    186 1784.50
1800.05/1800.50	c Caught signal: 15
1800.05/1800.50	v x1 -x1112 -x5626 -x5737 -x5848 x5959 x6070 -x6181 x6292 -x2 -x113 x224 -x335 x446 x557 x668 -x779 -x890 -x1001 x1113 -x1224
1800.05/1800.50	v x1335 x1446 -x1557 x1668 x1779 x1890 x3066 x4723 -x5627 -x5638 -x5649 -x5660 -x5671 -x5682 -x5693 x5704 -x5715 -x5726 -x5738
1800.05/1800.50	v -x5749 -x5760 -x926 -x927 -x928 -x929 -x930 -x931 -x5771 -x5782 -x5793 -x5804 -x5815 -x5826 -x5837 -x5849 -x5860 x5871
1800.05/1800.50	v -x5882 -x5893 -x932 -x933 -x934 -x936 -x937 -x938 -x5904 -x5915 -x5926 -x5937 -x5948 -x5960 -x5971 -x5982 -x5993 -x6004
1800.05/1800.50	v -x6015 x6026 -x939 -x940 -x941 -x942 -x943 -x944 -x6037 x6048 -x6059 -x6071 -x6082 -x6093 -x6104 -x6115 -x6126 -x6137 -x6148
1800.05/1800.50	v -x6159 -x945 -x947 -x948 -x949 -x950 -x951 -x6170 -x6182 -x6193 -x6204 -x6215 -x6226 -x6237 -x6248 x6259 -x6270 -x6281
1800.05/1800.50	v -x6293 -x952 -x953 -x954 -x955 -x956 -x958 -x6304 x6315 -x6326 -x6337 -x6348 -x6359 -x6370 -x6381 -x6392 -x3 -x14 -x25 -x959
1800.05/1800.50	v -x960 -x961 -x962 -x963 -x964 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 -x125 -x136 -x147 x158 -x965 -x966 -x967 -x969 -x970
1800.05/1800.50	v -x971 -x169 -x180 -x191 -x202 -x213 -x225 -x236 x247 -x258 -x269 -x280 -x291 -x972 -x973 -x974 -x975 -x976 -x977 -x302 -x313
1800.05/1800.50	v -x324 -x336 -x347 -x358 -x369 x380 -x391 -x402 -x413 -x424 -x978 -x980 -x981 -x982 -x983 -x984 -x435 -x447 -x458 x469 -x480
1800.05/1800.50	v -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x985 -x986 -x987 -x988 -x989 -x991 -x569 x580 -x591 -x602 -x613 -x624 -x635 -x646
1800.05/1800.50	v -x657 -x669 -x680 -x691 -x992 -x993 -x994 -x995 -x996 -x997 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 x791 -x802 -x813
1800.05/1800.50	v -x824 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x835 -x846 -x857 x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x1006
1800.05/1800.50	v -x1007 -x1008 -x1009 -x1010 -x1011 -x968 x979 -x990 -x1002 -x1013 -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1012
1800.05/1800.50	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1101 x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225
1800.05/1800.50	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1236 -x1247 -x1258 x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347
1800.05/1800.50	v -x1358 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1369 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 x1469
1800.05/1800.50	v -x1480 -x1491 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1502 x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591
1800.05/1800.50	v -x1602 -x1613 -x1624 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713
1800.05/1800.50	v -x1724 x1735 -x1746 -x1757 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1768 -x1780 -x1791 -x1802 -x1813 -x1824 -x1835
1800.05/1800.50	v -x1846 -x1857 x1868 -x1879 -x1891 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1902 x1913 -x1924 -x1992 -x2234 -x2340 -x2544
1800.05/1800.50	v -x2698 -x2854 -x3067 -x3184 -x3435 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x3532 -x3774 -x3880 -x4084 -x4238 -x4394
1800.05/1800.50	v x4606 -x4724 -x4975 -x5072 -x5314 -x5420 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x5621 -x5622 -x5623 -x5624 -x5625
1800.05/1800.50	v -x5628 -x5629 -x5630 -x5631 x5632 -x5633 -x5634 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x5635 -x5636 -x5637 x5639 -x5640
1800.05/1800.50	v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x5648 -x5650 -x5651 -x5652
1800.05/1800.50	v -x5653 -x5654 -x5655 -x5656 x5657 -x5658 -x5659 -x5661 -x1085 -x1086 -x1087 -x1088 -x1089 -x1091 -x5662 -x5663 -x5664
1800.05/1800.50	v -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5672 -x5673 -x5674 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x5675 -x5676 -x5677
1800.05/1800.50	v -x5678 -x5679 -x5680 -x5681 -x5683 -x5684 -x5685 -x5686 -x5687 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x5688 -x5689
1800.05/1800.50	v -x5690 -x5691 -x5692 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x5701
1800.05/1800.50	v -x5702 -x5703 -x5705 -x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119
1800.05/1800.50	v -x5714 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 x5722 -x5723 -x5724 -x5725 -x5727 -x1120 -x1121 -x1122 -x1123 -x1124
1800.05/1800.50	v -x1126 -x5728 x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5739 -x5740 -x5741 -x1127 -x1128 -x1129 -x1130
1800.05/1800.50	v -x1131 -x1132 -x5742 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5750 -x5751 -x5752 -x5753 -x5754 -x1133 -x1134 -x1135
1800.05/1800.50	v -x1137 -x1138 -x1139 -x5755 -x5756 -x5757 -x5758 -x5759 x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x1140 -x1141
1800.05/1800.50	v -x1142 -x1143 -x1144 -x1145 -x5768 -x5769 -x5770 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5778 -x5779 -x5780 -x1146
1800.05/1800.50	v -x1148 -x1149 -x1150 -x1151 -x1152 -x5781 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 x5789 -x5790 -x5791 -x5792 -x5794
1800.05/1800.50	v -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5805 -x5806
1800.05/1800.50	v -x5807 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 x5818
1800.05/1800.50	v -x5819 -x5820 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x5821 -x5822 -x5823 -x5824 -x5825 -x5827 -x5828 -x5829 -x5830
1800.05/1800.50	v x5831 -x5832 -x5833 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x5834 -x5835 -x5836 -x5838 -x5839 -x5840 -x5841 x5842 -x5843
1800.05/1800.50	v -x5844 -x5845 -x5846 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x5847 x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856
1800.05/1800.50	v -x5857 -x5858 -x5859 -x5861 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868
1800.05/1800.50	v -x5869 -x5870 -x5872 -x5873 -x5874 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x5875 -x5876 -x5877 x5878 -x5879 -x5880
1800.05/1800.50	v -x5881 -x5883 -x5884 -x5885 -x5886 -x5887 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 x5888 -x5889 -x5890 -x5891 -x5892
1800.05/1800.50	v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x5901 x5902 -x5903 -x5905
1800.05/1800.50	v -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x5914 -x5916 -x5917
1800.05/1800.50	v -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5927 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x5928 -x5929
1800.05/1800.50	v -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 x5938 -x5939 -x5940 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x5941
1800.05/1800.50	v -x5942 -x5943 x5944 -x5945 -x5946 -x5947 -x5949 -x5950 -x5951 -x5952 -x5953 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239
1800.05/1800.50	v -x5954 x5955 -x5956 -x5957 -x5958 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x1240 -x1241 -x1242 -x1243 -x1244
1800.05/1800.50	v -x1245 -x5968 x5969 -x5970 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x1246 -x1248 -x1249 -x1250
1800.05/1800.50	v -x1251 -x1252 -x5981 -x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5994 -x1253 -x1254 -x1255
1800.05/1800.50	v -x1256 -x1257 -x1259 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6005 -x6006 -x6007 -x1260 -x1261
1800.05/1800.50	v -x1262 -x1263 -x1264 -x1265 -x6008 -x6009 -x6010 x6011 -x6012 -x6013 -x6014 -x6016 -x6017 -x6018 -x6019 -x6020 -x1266
1800.05/1800.50	v -x1267 -x1268 -x1270 -x1271 -x1272 -x6021 -x6022 -x6023 -x6024 -x6025 -x6027 -x6028 -x6029 -x6030 x6031 -x6032 -x6033
1800.05/1800.50	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x6034 -x6035 -x6036 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045
1800.05/1800.50	v -x6046 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 x6047 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057
1800.05/1800.50	v -x6058 -x6060 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x6061 -x6062 -x6063 x6064 -x6065 -x6066 -x6067 -x6068 -x6069
1800.05/1800.50	v -x6072 -x6073 -x6074 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 x6083
1800.05/1800.50	v -x6084 -x6085 -x6086 -x6087 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x6088 -x6089 x6090 -x6091 -x6092 -x6094 -x6095
1800.05/1800.50	v -x6096 -x6097 -x6098 -x6099 -x6100 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x6101 -x6102 -x6103 -x6105 -x6106 -x6107
1800.05/1800.50	v -x6108 -x6109 -x6110 x6111 -x6112 -x6113 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x6114 -x6116 -x6117 -x6118 -x6119
1800.05/1800.50	v -x6120 -x6121 -x6122 -x6123 x6124 -x6125 -x6127 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x6128 -x6129 -x6130 -x6131
1800.05/1800.50	v -x6132 -x6133 -x6134 -x6135 -x6136 x6138 -x6139 -x6140 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x6141 -x6142 -x6143
1800.05/1800.50	v -x6144 -x6145 -x6146 -x6147 -x6149 x6150 -x6151 -x6152 -x6153 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 -x6154 -x6155
1800.05/1800.50	v -x6156 -x6157 -x6158 -x6160 -x6161 x6162 -x6163 -x6164 -x6165 -x6166 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x6167
1800.05/1800.50	v -x6168 -x6169 -x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352
1800.05/1800.50	v x6180 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6194 -x1353 -x1354 -x1355 -x1356 -x1357
1800.05/1800.50	v -x1359 -x6195 -x6196 -x6197 -x6198 -x6199 x6200 -x6201 -x6202 -x6203 -x6205 -x6206 -x6207 -x1360 -x1361 -x1362 -x1363
1800.05/1800.50	v -x1364 -x1365 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6216 -x6217 -x6218 -x6219 x6220 -x1366 -x1367 -x1368
1800.05/1800.50	v -x1370 -x1371 -x1372 -x6221 -x6222 -x6223 -x6224 -x6225 -x6227 x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x1373 -x1374
1800.05/1800.50	v -x1375 -x1376 -x1377 -x1378 -x6234 -x6235 -x6236 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x1379
1800.05/1800.50	v -x1381 -x1382 -x1383 -x1384 -x1385 -x6247 -x6249 -x6250 -x6251 -x6252 -x6253 x6254 -x6255 -x6256 -x6257 -x6258 -x6260
1800.05/1800.50	v -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 x6269 -x6271 -x6272
1800.05/1800.50	v -x6273 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 x6282 -x6283 -x6284
1800.05/1800.50	v -x6285 -x6286 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x6287 -x6288 -x6289 -x6290 -x6291 -x6294 x6295 -x6296 -x6297
1800.05/1800.50	v -x6298 -x6299 -x6300 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x6301 -x6302 -x6303 -x6305 -x6306 -x6307 -x6308 -x6309
1800.05/1800.50	v -x6310 -x6311 -x6312 -x6313 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x6314 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321
1800.05/1800.50	v -x6322 -x6323 x6324 -x6325 -x6327 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x6328 x6329 -x6330 -x6331 -x6332 -x6333 -x6334
1800.05/1800.50	v -x6335 -x6336 -x6338 -x6339 -x6340 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x6341 x6342 -x6343 -x6344 -x6345 -x6346
1800.05/1800.50	v -x6347 -x6349 -x6350 -x6351 -x6352 -x6353 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x6354 -x6355 -x6356 -x6357 -x6358
1800.05/1800.50	v -x6360 -x6361 -x6362 -x6363 x6364 -x6365 -x6366 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x6367 -x6368 -x6369 -x6371 -x6372
1800.05/1800.50	v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x6380 -x6382 -x6383 -x6384
1800.05/1800.50	v -x6385 -x6386 -x6387 -x6388 -x6389 x6390 -x6391 -x6393 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x6394 x6395 -x6396 -x6397
1800.05/1800.50	v -x6398 -x6399 -x6400 -x6401 -x6402 -x4 -x5 -x6 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15
1800.05/1800.50	v -x16 -x17 -x18 x19 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x20 -x21 -x22 -x23 -x24 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x1473
1800.05/1800.50	v -x1474 -x1475 -x1476 -x1477 -x1478 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x1479 -x1481 -x1482 -x1483
1800.05/1800.50	v -x1484 -x1485 -x46 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x59 -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x60 -x61
1800.05/1800.50	v -x62 -x63 -x64 -x65 -x66 x67 -x68 -x70 -x71 -x72 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x73 -x74 -x75 -x76 -x77 -x78 -x79
1800.05/1800.50	v x81 -x82 -x83 -x84 -x85 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x86 -x87 -x88 -x89 -x90 x92 -x93 -x94 -x95 -x96 -x97 -x98
1800.05/1800.50	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x99 -x100 x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x1512 -x1514
1800.05/1800.50	v -x1515 -x1516 -x1517 -x1518 -x112 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x126 -x1519 -x1520 -x1521
1800.05/1800.50	v -x1522 -x1523 -x1525 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x1526 -x1527 -x1528 -x1529
1800.05/1800.50	v -x1530 -x1531 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 x150 -x151 -x152 -x1532 -x1533 -x1534 -x1536 -x1537
1800.05/1800.50	v -x1538 -x153 -x154 -x155 -x156 -x157 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
1800.05/1800.50	v -x166 x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x179 -x181
1800.05/1800.50	v x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x193 -x194 -x195 -x196
1800.05/1800.50	v -x197 -x198 -x199 -x200 x201 -x203 -x204 -x205 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x206 -x207 -x208 x209 -x210 -x211
1800.05/1800.50	v -x212 -x214 -x215 -x216 -x217 -x218 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228
1800.05/1800.50	v -x229 -x230 -x231 -x232 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x233 -x234 -x235 -x237 -x238 x239 -x240 -x241 -x242 -x243
1800.05/1800.50	v -x244 -x245 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x259
1800.05/1800.50	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x1593
1800.05/1800.50	v -x1594 -x1595 -x1596 -x1597 -x1598 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 x282 -x283 -x284 -x285 -x1599 -x1600
1800.05/1800.50	v -x1601 -x1603 -x1604 -x1605 -x286 -x287 -x288 -x289 -x290 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x1606 -x1607 -x1608
1800.05/1800.50	v -x1609 -x1610 -x1611 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x1612 -x1614 -x1615 -x1616
1800.05/1800.50	v -x1617 -x1618 -x312 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x325 -x1619 -x1620 -x1621 -x1622 -x1623
1800.05/1800.50	v -x1625 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x337 -x338 -x339 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631
1800.05/1800.50	v -x340 -x341 -x342 x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x353 -x354
1800.05/1800.50	v -x355 -x356 -x357 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x366 -x367 -x368 -x370
1800.05/1800.50	v -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x379 x381 -x382 -x383 -x384 -x385
1800.05/1800.50	v -x386 -x387 -x388 -x389 -x390 -x392 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.05/1800.50	v -x400 x401 -x403 -x404 -x405 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x414 -x415
1800.05/1800.50	v -x416 -x417 -x418 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x419 -x420 -x421 -x422 -x423 -x425 -x426 x427 -x428 -x429 -x430
1800.05/1800.50	v -x431 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x1679
1800.05/1800.50	v -x1681 -x1682 -x1683 -x1684 -x1685 -x445 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x1686 -x1687
1800.05/1800.50	v -x1688 -x1689 -x1690 -x1692 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x470 -x471 -x472 -x1693 -x1694 -x1695
1800.05/1800.50	v -x1696 -x1697 -x1698 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x481 -x482 -x483 -x484 -x485 -x1699 -x1700 -x1701 -x1703
1800.05/1800.50	v -x1704 -x1705 -x486 -x487 -x488 x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x1706 -x1707 -x1708 -x1709 -x1710
1800.05/1800.50	v -x1711 -x499 x500 -x501 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718
1800.05/1800.50	v -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x525 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x526 x527
1800.05/1800.50	v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x539 -x540 -x541
1800.05/1800.50	v -x542 -x543 -x544 -x545 -x547 -x548 -x549 -x550 x551 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x552 -x553 -x554 -x555 -x556
1800.05/1800.50	v x559 -x560 -x561 -x562 -x563 -x564 -x565 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x566 x567 -x568 -x570 -x571 -x572 -x573
1800.05/1800.50	v -x574 -x575 -x576 -x577 -x578 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x579 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588
1800.05/1800.50	v -x589 -x590 -x592 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604
1800.05/1800.50	v -x605 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 x618 -x1765
1800.05/1800.50	v -x1766 -x1767 -x1769 -x1770 -x1771 -x619 -x620 -x621 x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x1772 -x1773
1800.05/1800.50	v -x1774 -x1775 -x1776 -x1777 -x632 -x633 x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x1778 -x1781 -x1782
1800.05/1800.50	v -x1783 -x1784 -x1785 -x645 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x658 -x1786 -x1787 -x1788 -x1789
1800.05/1800.50	v -x1790 -x1792 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x1793 -x1794 -x1795 -x1796 -x1797
1800.05/1800.50	v -x1798 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805
1800.05/1800.50	v -x686 x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x699 -x700
1800.05/1800.50	v -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x712 x714 -x715 -x716
1800.05/1800.50	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x726 -x727 -x728 -x729 -x730
1800.05/1800.50	v -x731 -x732 -x733 -x734 -x736 -x737 x738 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x739 -x740 -x741 -x742 -x743 -x744 -x745
1800.05/1800.50	v -x747 -x748 -x749 -x750 x751 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x752 -x753 -x754 -x755 -x756 x758 -x759 -x760 -x761
1800.05/1800.50	v -x762 -x763 -x764 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x765 -x766 -x767 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776
1800.05/1800.50	v -x777 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x792 -x1852
1800.05/1800.50	v -x1853 -x1854 -x1855 -x1856 -x1858 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x803 -x804 -x805 -x1859 -x1860
1800.05/1800.50	v -x1861 -x1862 -x1863 -x1864 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x814 -x815 -x816 -x817 -x818 -x1865 -x1866 -x1867
1800.05/1800.50	v -x1869 -x1870 -x1871 x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x1872 -x1873 -x1874 -x1875
1800.05/1800.50	v -x1876 -x1877 -x832 x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x1878 -x1880 -x1881 -x1882 -x1883
1800.05/1800.50	v -x1884 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x858 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892
1800.05/1800.50	v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 x870 -x871 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x872 -x873
1800.05/1800.50	v -x874 -x875 -x876 -x877 x878 -x880 -x881 -x882 -x883 -x884 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x885 -x886 -x887 -x888
1800.05/1800.50	v -x889 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x899 -x900 -x901 -x903 -x904 -x905
1800.05/1800.50	v -x906 -x907 -x908 -x909 -x910 x911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x912 -x914 -x915 -x916 -x917 -x918 x919 -x920
1800.05/1800.50	v -x921 -x922 -x923 -x925 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939
1800.05/1800.50	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
1800.05/1800.50	v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1800.05/1800.50	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
1800.05/1800.50	v -x1991 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1800.05/1800.50	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1800.05/1800.50	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
1800.05/1800.50	v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246
1800.05/1800.50	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
1800.05/1800.50	v -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1800.05/1800.50	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
1800.05/1800.50	v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
1800.05/1800.50	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331
1800.05/1800.50	v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349
1800.05/1800.50	v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553
1800.05/1800.50	v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1800.05/1800.50	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587
1800.05/1800.50	v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604
1800.05/1800.50	v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621
1800.05/1800.50	v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638
1800.05/1800.50	v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655
1800.05/1800.50	v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2856 -x2857 -x2858 -x2859 -x2860
1800.05/1800.50	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877
1800.05/1800.50	v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894
1800.05/1800.50	v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911
1800.05/1800.50	v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928
1800.05/1800.50	v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945
1800.05/1800.50	v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962
1800.05/1800.50	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x3164 -x3165 -x3166 -x3167
1800.05/1800.50	v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3185
1800.05/1800.50	v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202
1800.05/1800.50	v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219
1800.05/1800.50	v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236
1800.05/1800.50	v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253
1800.05/1800.50	v -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
1800.05/1800.50	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3472 -x3473 -x3474
1800.05/1800.50	v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491
1800.05/1800.50	v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508
1800.05/1800.50	v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525
1800.05/1800.50	v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543
1800.05/1800.50	v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
1800.05/1800.50	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577
1800.05/1800.50	v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3780 -x3781
1800.05/1800.50	v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798
1800.05/1800.50	v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815
1800.05/1800.50	v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832
1800.05/1800.50	v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849
1800.05/1800.50	v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 x3863 -x3864 -x3865 -x3866
1800.05/1800.50	v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3882 -x3883 -x3884
1800.05/1800.50	v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x4088
1800.05/1800.50	v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105
1800.05/1800.50	v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122
1800.05/1800.50	v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139
1800.05/1800.50	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156
1800.05/1800.50	v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173
1800.05/1800.50	v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
1800.05/1800.50	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207
1800.05/1800.50	v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412
1800.05/1800.50	v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429
1800.05/1800.50	v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446
1800.05/1800.50	v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 -x4461 -x4462 -x4463
1800.05/1800.50	v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480
1800.05/1800.50	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497
1800.05/1800.50	v -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514
1800.05/1800.50	v -x4515 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718
1800.05/1800.50	v -x4719 -x4720 -x4721 -x4722 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737
1800.05/1800.50	v -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754
1800.05/1800.50	v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771
1800.05/1800.50	v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788
1800.05/1800.50	v x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805
1800.05/1800.50	v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822
1800.05/1800.50	v -x4823 -x4824 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026
1800.05/1800.50	v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043
1800.05/1800.50	v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060
1800.05/1800.50	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078
1800.05/1800.50	v -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095
1800.05/1800.50	v -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112
1800.05/1800.50	v -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129
1800.05/1800.50	v -x5130 -x5131 -x5132 -x5320 -x5321 -x5322 -x5323 -x5324 x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333
1800.05/1800.50	v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350
1800.05/1800.50	v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367
1800.05/1800.50	v -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384
1800.05/1800.50	v -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401
1800.05/1800.50	v -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418
1800.05/1800.50	v -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436
1800.05/1800.50	v -x5437 -x5438 -x5439 -x5440 -x4390 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557
1800.05/1800.50	v -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574
1800.05/1800.50	v -x4575 -x4391 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590
1800.05/1800.50	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4702 -x4976
1800.05/1800.50	v -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993
1800.05/1800.50	v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5011 -x5283 -x5284 -x5285 -x5286
1800.05/1800.50	v -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303
1800.05/1800.50	v -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5315 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477
1800.05/1800.50	v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494
1800.05/1800.50	v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5319 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600
1800.05/1800.50	v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617
1800.05/1800.50	v -x5618 -x5619 -x5620 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x2233 x2235 -x2236 -x2237 -x2238 -x2239 -x2541 -x2542 -x2543
1800.05/1800.50	v x2545 -x2546 -x2547 -x2849 -x2850 -x2851 -x2852 x2853 -x2855 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3466 -x3467 x3468
1800.05/1800.50	v -x3469 -x3470 -x3471 -x3773 -x3775 -x3776 -x3777 x3778 -x3779 -x4081 x4082 -x4083 -x4085 -x4086 -x4087 -x4389 x4392 -x4393
1800.05/1800.50	v -x4395 -x4697 -x4698 -x4699 -x4700 x4701 -x5006 -x5007 -x5008 -x5009 x5010 x5313 -x5316 -x5317 -x5318 -x2053 -x2054 -x2055
1800.05/1800.50	v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072
1800.05/1800.50	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367
1800.05/1800.50	v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384
1800.05/1800.50	v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678
1800.05/1800.50	v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695
1800.05/1800.50	v -x2696 -x2697 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
1800.05/1800.50	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3285 -x3286
1800.05/1800.50	v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303
1800.05/1800.50	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598
1800.05/1800.50	v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615
1800.05/1800.50	v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
1800.05/1800.50	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927
1800.05/1800.50	v -x3928 -x3929 -x3930 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221
1800.05/1800.50	v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4516
1800.05/1800.50	v -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533
1800.05/1800.50	v -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4825 -x4826 -x4827 -x4828 -x4829
1800.05/1800.50	v -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846
1800.05/1800.50	v -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141
1800.05/1800.50	v -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158
1800.05/1800.50	v -x5159 -x5160 -x5161 -x5162 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 x5451 x5452 -x5453 -x5454
1800.05/1800.50	v x5455 -x5456 x5457 -x5458 x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x2083 -x2084
1800.05/1800.50	v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101
1800.05/1800.50	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396
1800.05/1800.50	v -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 x2405 -x2406 x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414
1800.05/1800.50	v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1800.05/1800.50	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1800.05/1800.50	v -x2727 -x2728 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1800.05/1800.50	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3315 -x3316
1800.05/1800.50	v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333
1800.05/1800.50	v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628
1800.05/1800.50	v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645
1800.05/1800.50	v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
1800.05/1800.50	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957
1800.05/1800.50	v -x3958 -x3959 -x3960 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 x4251 -x4252
1800.05/1800.50	v x4253 -x4254 x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4855 -x4856
1800.05/1800.50	v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873
1800.05/1800.50	v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168
1800.05/1800.50	v -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185
1800.05/1800.50	v -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122
1800.05/1800.50	v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139
1800.05/1800.50	v -x2140 -x2141 -x2142 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434
1800.05/1800.50	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2729
1800.05/1800.50	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746
1800.05/1800.50	v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x3036 -x3037 -x3038 -x3039 -x3040
1800.05/1800.50	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057
1800.05/1800.50	v -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353
1800.05/1800.50	v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
1800.05/1800.50	v -x3371 -x3372 -x3373 -x3374 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665
1800.05/1800.50	v x3666 x3667 -x3668 x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3961
1800.05/1800.50	v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978
1800.05/1800.50	v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x4269 -x4270 -x4271 -x4272 -x4273
1800.05/1800.50	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290
1800.05/1800.50	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893
1800.05/1800.50	v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910
1800.05/1800.50	v -x4911 -x4912 -x4913 -x4914 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205
1800.05/1800.50	v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222
1800.05/1800.50	v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517
1800.05/1800.50	v -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x2143 -x2144 -x2145 -x2146
1800.05/1800.50	v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 x2154 -x2155 -x2156 x2157 -x2158 x2159 -x2160 x2161 -x2162 -x2163 -x2164
1800.05/1800.50	v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
1800.05/1800.50	v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
1800.05/1800.50	v -x2477 -x2478 -x2479 -x2480 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771
1800.05/1800.50	v -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788
1800.05/1800.50	v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084
1800.05/1800.50	v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3375 -x3376 -x3377 -x3378
1800.05/1800.50	v -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395
1800.05/1800.50	v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1800.05/1800.50	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707
1800.05/1800.50	v -x3708 -x3709 -x3710 -x3711 -x3712 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002
1800.05/1800.50	v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019
1800.05/1800.50	v -x4020 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314
1800.05/1800.50	v -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4607 -x4608 -x4609
1800.05/1800.50	v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 x4619 x4620 x4621 -x4622 x4623 -x4624 x4625 -x4626 -x4627
1800.05/1800.50	v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922
1800.05/1800.50	v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939
1800.05/1800.50	v -x4940 -x4941 -x4942 -x4943 -x4944 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234
1800.05/1800.50	v -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251
1800.05/1800.50	v -x5252 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546
1800.05/1800.50	v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x2173 -x2174 -x2175
1800.05/1800.50	v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192
1800.05/1800.50	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487
1800.05/1800.50	v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1800.05/1800.50	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799
1800.05/1800.50	v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816
1800.05/1800.50	v -x2817 -x2818 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112
1800.05/1800.50	v -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3405 -x3406
1800.05/1800.50	v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423
1800.05/1800.50	v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718
1800.05/1800.50	v -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735
1800.05/1800.50	v -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
1800.05/1800.50	v -x4031 x4032 x4033 -x4034 x4035 -x4036 x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048
1800.05/1800.50	v -x4049 -x4050 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343
1800.05/1800.50	v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4637 -x4638
1800.05/1800.50	v -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655
1800.05/1800.50	v -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
1800.05/1800.50	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968
1800.05/1800.50	v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 x5263
1800.05/1800.50	v x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281
1800.05/1800.50	v -x5282 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576
1800.05/1800.50	v -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x2203 -x2204 -x2205
1800.05/1800.50	v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222
1800.05/1800.50	v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517
1800.05/1800.50	v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534
1800.05/1800.50	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829
1800.05/1800.50	v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846
1800.05/1800.50	v -x2847 -x2848 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142
1800.05/1800.50	v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3436 -x3437
1800.05/1800.50	v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454
1800.05/1800.50	v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748
1800.05/1800.50	v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765
1800.05/1800.50	v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
1800.05/1800.50	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077
1800.05/1800.50	v -x4078 -x4079 -x4080 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372
1800.05/1800.50	v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4667
1800.05/1800.50	v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684
1800.05/1800.50	v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696
1800.05/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.50	c   29   348588  32573   529806    63355  9079282  61439    193 1800.06
1800.05/1800.50	c Objective: 65171982
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	c Total time: 1800.06 s

Verifier Data (download as text)

OK	65171982

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node29/watcher-433201-1177956296 -o ROOT/results/node29/solver-433201-1177956296 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433201-1177956296/instance-433201-1177956296.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.95 3/77 8741
/proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=12172 CPUtime=0
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243545370 12464128 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 3043 333 279 324 0 2004 0

[startup+0.018901 s]
/proc/loadavg: 0.85 0.97 0.95 3/77 8741
/proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=4968 CPUtime=0.01
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 526 0 0 0 1 0 0 0 18 0 1 0 243545370 5087232 496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 1242 496 300 324 0 203 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4968

[startup+0.101906 s]
/proc/loadavg: 0.85 0.97 0.95 3/77 8741
/proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=6540 CPUtime=0.09
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 1143 0 0 0 9 0 0 0 18 0 1 0 243545370 6696960 1004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 1635 1004 303 324 0 705 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6540

[startup+0.301919 s]
/proc/loadavg: 0.85 0.97 0.95 3/77 8741
/proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=6676 CPUtime=0.29
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 1197 0 0 0 28 1 0 0 19 0 1 0 243545370 6836224 1040 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 1669 1040 305 324 0 739 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6676

[startup+0.701945 s]
/proc/loadavg: 0.85 0.97 0.95 3/77 8741
/proc/meminfo: memFree=1850760/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=7320 CPUtime=0.69
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 1338 0 0 0 68 1 0 0 23 0 1 0 243545370 7495680 1181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 1830 1181 310 324 0 900 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7320

[startup+1.50199 s]
/proc/loadavg: 0.85 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1845120/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=12712 CPUtime=1.49
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 2708 0 0 0 147 2 0 0 25 0 1 0 243545370 13017088 2551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 3178 2551 310 324 0 2248 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12712

[startup+3.1011 s]
/proc/loadavg: 0.85 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1837504/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=21876 CPUtime=3.09
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 5004 0 0 0 306 3 0 0 25 0 1 0 243545370 22401024 4847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 5469 4847 310 324 0 4539 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21876

[startup+6.30131 s]
/proc/loadavg: 0.86 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1821568/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=36728 CPUtime=6.28
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 8705 0 0 0 623 5 0 0 25 0 1 0 243545370 37609472 8548 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8741/statm: 9182 8548 310 324 0 8252 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36728

[startup+12.7017 s]
/proc/loadavg: 0.87 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1795072/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=61028 CPUtime=12.67
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 14769 0 0 0 1259 8 0 0 25 0 1 0 243545370 62492672 14612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 15257 14612 310 324 0 14327 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 61028

[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1762304/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=92200 CPUtime=25.48
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 22570 0 0 0 2534 14 0 0 25 0 1 0 243545370 94412800 22413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 23050 22413 310 324 0 22120 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92200

[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1729472/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=126364 CPUtime=51.07
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 31124 0 0 0 5087 20 0 0 25 0 1 0 243545370 129396736 30967 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 31591 30967 310 324 0 30661 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126364

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1654144/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=199852 CPUtime=102.25
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 49493 0 0 0 10194 31 0 0 25 0 1 0 243545370 204648448 49336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 49963 49336 310 324 0 49033 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 199852

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1565696/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=289632 CPUtime=162.24
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 71929 0 0 0 16178 46 0 0 25 0 1 0 243545370 296583168 71772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 72408 71772 310 324 0 71478 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 289632

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1454784/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=399028 CPUtime=222.22
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 99279 0 0 0 22159 63 0 0 25 0 1 0 243545370 408604672 99122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 99757 99122 310 324 0 98827 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 399028

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 8742
/proc/meminfo: memFree=1380864/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=473388 CPUtime=282.21
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 117856 0 0 0 28147 74 0 0 25 0 1 0 243545370 484749312 117699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 118347 117699 310 324 0 117417 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 473388

[startup+342.302 s]
/proc/loadavg: 1.06 0.99 0.96 2/78 8742
/proc/meminfo: memFree=1330496/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=523000 CPUtime=342.19
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 130269 0 0 0 34139 80 0 0 25 0 1 0 243545370 535552000 130112 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4562676 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 130750 130112 310 324 0 129820 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 523000

[startup+402.302 s]
/proc/loadavg: 1.08 1.00 0.96 2/78 8742
/proc/meminfo: memFree=1283008/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=570484 CPUtime=402.18
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 142135 0 0 0 40131 87 0 0 25 0 1 0 243545370 584175616 141978 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 142621 141978 310 324 0 141691 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 570484

[startup+462.301 s]
/proc/loadavg: 1.03 1.00 0.96 2/78 8742
/proc/meminfo: memFree=1249152/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=603996 CPUtime=462.17
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 150522 0 0 0 46125 92 0 0 25 0 1 0 243545370 618491904 150365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4560202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 150999 150365 310 324 0 150069 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 603996

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 0.96 2/78 8742
/proc/meminfo: memFree=1216960/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=636680 CPUtime=522.15
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 158706 0 0 0 52117 98 0 0 25 0 1 0 243545370 651960320 158549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 159170 158549 310 324 0 158240 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 636680

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 8742
/proc/meminfo: memFree=1183552/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=669660 CPUtime=582.14
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 166926 0 0 0 58111 103 0 0 25 0 1 0 243545370 685731840 166769 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551326 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 167415 166769 310 324 0 166485 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 669660

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 8742
/proc/meminfo: memFree=1154112/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=698648 CPUtime=642.13
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 174187 0 0 0 64107 106 0 0 25 0 1 0 243545370 715415552 174030 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 174662 174030 310 324 0 173732 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 698648


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 8742
/proc/meminfo: memFree=1010304/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=842236 CPUtime=882.07
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 210072 0 0 0 88074 133 0 0 25 0 1 0 243545370 862449664 209915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 210559 209915 310 324 0 209629 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 842236

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 8742
/proc/meminfo: memFree=983168/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=869348 CPUtime=942.05
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 216860 0 0 0 94066 139 0 0 25 0 1 0 243545370 890212352 216703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 217337 216703 310 324 0 216407 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 869348

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 8742
/proc/meminfo: memFree=956160/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=896560 CPUtime=1002.04
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 223651 0 0 0 100059 145 0 0 25 0 1 0 243545370 918077440 223494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 224140 223494 310 324 0 223210 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 896560

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 8742
/proc/meminfo: memFree=930880/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=921864 CPUtime=1062.02
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 229988 0 0 0 106052 150 0 0 25 0 1 0 243545370 943988736 229831 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 230466 229831 310 324 0 229536 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 921864

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 8742
/proc/meminfo: memFree=910976/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=941476 CPUtime=1122.01
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 234882 0 0 0 112046 155 0 0 25 0 1 0 243545370 964071424 234725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 235369 234725 310 324 0 234439 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 941476

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 0.97 2/78 8742
/proc/meminfo: memFree=899072/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=953488 CPUtime=1182
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 237889 0 0 0 118042 158 0 0 25 0 1 0 243545370 976371712 237732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 238372 237732 310 324 0 237442 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 953488

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 0.97 2/78 8742
/proc/meminfo: memFree=883840/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=968460 CPUtime=1241.98
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 241650 0 0 0 124036 162 0 0 25 0 1 0 243545370 991703040 241493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 242115 241493 310 324 0 241185 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 968460

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=870016/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=982140 CPUtime=1301.97
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 245052 0 0 0 130031 166 0 0 25 0 1 0 243545370 1005711360 244895 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 245535 244895 310 324 0 244605 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 982140

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=856448/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=995852 CPUtime=1361.95
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 248481 0 0 0 136026 169 0 0 25 0 1 0 243545370 1019752448 248324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 248963 248324 310 324 0 248033 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 995852

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=842560/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=1009492 CPUtime=1421.94
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 251889 0 0 0 142022 172 0 0 25 0 1 0 243545370 1033719808 251732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 252373 251732 310 324 0 251443 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1009492

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=833664/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=1018448 CPUtime=1481.92
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 254129 0 0 0 148017 175 0 0 25 0 1 0 243545370 1042890752 253972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 254612 253972 310 324 0 253682 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1018448

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=822208/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=1029720 CPUtime=1541.91
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 256953 0 0 0 154013 178 0 0 25 0 1 0 243545370 1054433280 256796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 257430 256796 310 324 0 256500 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1029720

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=813184/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=1038884 CPUtime=1601.89
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 259251 0 0 0 160008 181 0 0 25 0 1 0 243545370 1063817216 259094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 259721 259094 310 324 0 258791 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1038884

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=800512/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=1051276 CPUtime=1661.88
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 262618 0 0 0 166004 184 0 0 25 0 1 0 243545370 1076506624 262166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 262819 262166 311 324 0 261889 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1051276

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=800512/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=1051276 CPUtime=1721.87
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 262618 0 0 0 172003 184 0 0 25 0 1 0 243545370 1076506624 262166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 262819 262166 311 324 0 261889 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1051276

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=800512/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=1051276 CPUtime=1781.85
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 262618 0 0 0 178001 184 0 0 25 0 1 0 243545370 1076506624 262166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 262819 262166 311 324 0 261889 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1051276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 8742
/proc/meminfo: memFree=800576/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=1051276 CPUtime=1800.05
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194304 262618 0 0 0 179820 185 0 0 25 0 1 0 243545370 1076506624 262166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 262819 262166 311 324 0 261889 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1051276

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.97 2/79 8743
/proc/meminfo: memFree=1395384/2055920 swapFree=4146640/4192956
[pid=8741] ppid=8739 vsize=0 CPUtime=1800.15
/proc/8741/stat : 8741 (bsolo3.0.17) R 8739 8741 8678 0 -1 4194308 262622 0 0 0 179821 194 0 0 25 0 1 0 243545370 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/8741/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.68
CPU time (s): 1800.23
CPU user time (s): 1798.21
CPU system time (s): 2.01569
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1052456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.21
system time used= 2.01569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 36504

runsolver used 1.39779 second user time and 3.82742 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Mon Apr 30 18:04:56 UTC 2007

IDJOB= 433201
IDBENCH= 2354
IDSOLVER= 199
FILE ID= node29/433201-1177956296

PBS_JOBID= 4727737

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433201-1177956296/instance-433201-1177956296.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-433201-1177956296 -o ROOT/results/node29/solver-433201-1177956296 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433201-1177956296/instance-433201-1177956296.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  c716bc6c519760d619aa6878c926054c

RANDOM SEED= 986586452

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.224
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.224
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1851168 kB
Buffers:         34328 kB
Cached:          83004 kB
SwapCached:      11188 kB
Active:          64820 kB
Inactive:        75332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851168 kB
SwapTotal:     4192956 kB
SwapFree:      4146640 kB
Dirty:            7168 kB
Writeback:           0 kB
Mapped:          29664 kB
Slab:            50056 kB
Committed_AS:  2842620 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node29 on Mon Apr 30 18:34:59 UTC 2007