Trace number 458805

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
PBS4_v2 2007-03-23SAT (TO)303 1800.09 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark108
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb ......
0.69/0.75	c done parsing opb.
0.69/0.75	o 6137
0.89/0.96	o 6136
1.09/1.17	o 6135
1.29/1.37	o 6134
1.49/1.58	o 6133
1.69/1.79	o 6132
1.89/1.99	o 6131
2.20/2.20	o 6130
2.39/2.41	o 6129
2.59/2.62	o 6128
2.79/2.82	o 6127
2.99/3.03	o 6126
3.19/3.24	o 6125
3.39/3.44	o 6124
3.59/3.65	o 6123
3.79/3.86	o 6122
3.99/4.07	o 6121
4.18/4.27	o 6120
4.39/4.48	o 6119
4.59/4.69	o 6118
4.78/4.89	o 6117
5.09/5.10	o 6116
5.29/5.31	o 6115
5.49/5.51	o 6114
5.69/5.72	o 6113
5.89/5.93	o 6112
6.09/6.13	o 6111
6.29/6.34	o 6110
6.50/6.55	o 6109
6.69/6.75	o 6108
6.89/6.96	o 6107
7.09/7.17	o 6106
7.28/7.37	o 6105
7.49/7.58	o 6104
7.69/7.79	o 6103
7.88/7.99	o 6102
8.19/8.20	o 6101
8.38/8.41	o 6100
8.59/8.61	o 6099
8.79/8.82	o 6098
8.99/9.03	o 6097
9.19/9.23	o 6096
9.39/9.44	o 6095
9.59/9.64	o 6094
9.79/9.85	o 6093
9.99/10.06	o 6092
10.19/10.27	o 6091
10.39/10.47	o 6090
10.58/10.68	o 6089
10.79/10.89	o 6088
10.99/11.10	o 6087
11.29/11.30	o 6086
11.49/11.51	o 6085
11.69/11.72	o 6084
11.89/11.92	o 6083
12.10/12.13	o 6082
12.28/12.34	o 6081
12.49/12.55	o 6080
12.69/12.75	o 6079
12.88/12.96	o 6078
13.10/13.17	o 6077
13.29/13.37	o 6076
13.49/13.58	o 6075
13.69/13.79	o 6074
13.88/13.99	o 6073
14.19/14.20	o 6072
14.39/14.41	o 6071
14.59/14.61	o 6070
14.79/14.82	o 6069
14.99/15.03	o 6068
15.19/15.24	o 6067
15.39/15.44	o 6066
15.59/15.65	o 6065
15.79/15.86	o 6064
15.99/16.06	o 6063
16.18/16.27	o 6062
16.39/16.47	o 6061
16.59/16.68	o 6060
16.79/16.89	o 6059
16.98/17.09	o 6058
17.28/17.30	o 6057
17.49/17.51	o 6056
17.68/17.71	o 6055
17.89/17.92	o 6054
18.09/18.13	o 6053
18.28/18.33	o 6052
18.49/18.54	o 6051
18.69/18.74	o 6050
18.88/18.95	o 6049
19.09/19.16	o 6048
19.28/19.36	o 6047
19.49/19.57	o 6046
19.69/19.77	o 6045
19.89/19.98	o 6044
20.09/20.18	o 6043
20.29/20.38	o 6042
20.48/20.59	o 6041
20.69/20.79	o 6040
20.89/21.00	o 6039
21.19/21.20	o 6038
21.38/21.40	o 6037
21.58/21.61	o 6036
21.79/21.81	o 6035
21.99/22.02	o 6034
22.18/22.22	o 6033
22.38/22.42	o 6032
22.58/22.62	o 6031
22.79/22.83	o 6030
22.99/23.03	o 6029
23.19/23.23	o 6028
23.39/23.44	o 6027
23.58/23.64	o 6026
23.79/23.84	o 6025
23.98/24.05	o 6024
24.19/24.25	o 6023
24.38/24.45	o 6022
24.58/24.66	o 6021
24.78/24.86	o 6020
24.99/25.06	o 6019
25.19/25.27	o 6018
25.38/25.47	o 6017
25.59/25.67	o 6016
25.78/25.87	o 6015
25.99/26.07	o 5897
26.19/26.27	o 5896
26.38/26.47	o 5895
26.58/26.67	o 5894
26.79/26.87	o 5893
26.98/27.07	o 5874
27.19/27.26	o 5873
27.39/27.46	o 5872
27.59/27.66	o 5871
27.78/27.86	o 5870
27.99/28.05	o 5869
28.19/28.25	o 5868
28.39/28.45	o 5867
28.59/28.65	o 5866
28.78/28.84	o 5865
28.98/29.04	o 5864
29.18/29.24	o 5863
29.38/29.43	o 5862
29.59/29.63	o 5861
29.78/29.83	o 5860
29.99/30.03	o 5859
30.18/30.23	o 5858
30.39/30.42	o 5857
30.58/30.62	o 5856
30.79/30.82	o 5855
30.98/31.02	o 5854
31.18/31.22	o 5853
31.38/31.42	o 5852
31.59/31.62	o 5851
31.79/31.82	o 5850
31.98/32.01	o 5849
32.19/32.21	o 5848
32.39/32.41	o 5847
32.58/32.61	o 5846
32.79/32.81	o 5845
32.99/33.00	o 5844
33.19/33.20	o 5843
33.38/33.40	o 5842
33.58/33.60	o 5841
33.79/33.80	o 5840
33.89/33.99	o 5839
34.08/34.17	o 4859
34.28/34.33	o 4848
34.38/34.50	o 4847
34.58/34.66	o 4846
34.78/34.82	o 4845
34.89/34.99	o 4844
35.08/35.15	o 4843
35.28/35.32	o 4842
35.39/35.48	o 4830
35.58/35.64	o 4829
35.79/35.81	o 4823
35.88/35.97	o 4819
36.08/36.13	o 4818
36.18/36.30	o 4817
36.38/36.46	o 4816
36.58/36.62	o 4815
36.69/36.78	o 4814
36.88/36.95	o 4813
36.98/37.10	o 4812
37.18/37.26	o 4811
37.39/37.42	o 4810
37.48/37.59	o 4809
37.68/37.75	o 4802
37.89/37.91	o 4801
37.98/38.07	o 4800
38.18/38.24	o 4799
38.28/38.40	o 4798
38.49/38.56	o 4797
38.68/38.72	o 4796
38.79/38.88	o 4795
38.98/39.05	o 4794
39.19/39.21	o 4793
39.29/39.37	o 4792
39.48/39.53	o 4791
39.59/39.69	o 4790
39.88/39.90	o 4789
39.98/40.01	o 2663
40.08/40.10	o 2615
40.08/40.19	o 2594
40.18/40.28	o 2593
40.28/40.37	o 2592
40.38/40.46	o 2591
40.48/40.55	o 2590
40.59/40.64	o 2589
40.68/40.73	o 2588
40.78/40.82	o 2587
40.89/40.91	o 2586
40.89/40.99	o 2585
40.98/41.08	o 2584
41.08/41.17	o 2583
41.18/41.26	o 2582
41.28/41.35	o 2581
41.38/41.44	o 2580
41.48/41.53	o 2579
41.58/41.62	o 2578
41.69/41.70	o 2577
41.69/41.79	o 2576
41.78/41.88	o 2575
41.88/41.97	o 2574
41.98/42.06	o 2573
42.08/42.15	o 2572
42.18/42.23	o 2571
42.28/42.32	o 2570
42.38/42.41	o 2569
42.48/42.50	o 2568
42.48/42.58	o 2567
42.58/42.67	o 2566
42.67/42.76	o 2565
42.88/42.93	o 2564
42.98/43.00	o 1978
42.98/43.08	o 1976
43.08/43.15	o 1928
43.18/43.22	o 1908
43.18/43.30	o 1907
43.28/43.37	o 1895
43.38/43.44	o 1894
43.48/43.51	o 1893
43.48/43.58	o 1892
43.57/43.65	o 1891
43.68/43.72	o 1890
43.77/43.85	o 1889
43.88/43.92	o 1888
43.88/43.99	o 1887
43.98/44.06	o 1886
44.08/44.13	o 1885
44.18/44.20	o 1884
44.18/44.27	o 1883
44.38/44.41	o 1882
44.38/44.46	o 1173
44.47/44.51	o 1172
44.47/44.56	o 1171
44.58/44.61	o 1170
44.58/44.66	o 1169
44.68/44.71	o 1168
44.68/44.75	o 1167
44.77/44.80	o 1166
44.77/44.85	o 1165
44.88/44.90	o 1164
44.88/44.95	o 1163
44.88/45.00	o 1162
44.98/45.04	o 1161
44.98/45.09	o 1160
45.08/45.14	o 1159
45.08/45.18	o 1158
45.18/45.23	o 1157
45.18/45.28	o 1156
45.28/45.32	o 1155
45.28/45.37	o 1154
45.38/45.42	o 1153
45.38/45.46	o 1152
45.47/45.51	o 1151
45.47/45.56	o 1150
45.57/45.61	o 1149
45.57/45.65	o 1148
45.67/45.70	o 1147
45.67/45.75	o 1146
45.67/45.80	o 1145
45.78/45.84	o 1144
45.78/45.89	o 1143
48.58/48.66	o 1142
48.68/48.74	o 1141
48.97/49.03	o 1140
48.97/49.08	o 1139
49.07/49.12	o 1138
49.07/49.16	o 1137
49.37/49.48	o 1136
49.48/49.58	o 1135
49.57/49.62	o 821
49.57/49.65	o 820
49.57/49.69	o 819
49.67/49.72	o 818
49.67/49.76	o 817
49.67/49.80	o 816
49.77/49.83	o 815
49.87/49.91	o 814
49.87/49.93	o 487
49.87/49.96	o 486
49.87/49.98	o 458
49.97/50.01	o 457
49.97/50.03	o 456
49.97/50.09	o 455
50.07/50.11	o 329
50.07/50.13	o 328
50.07/50.15	o 327
50.07/50.16	o 326
50.07/50.18	o 325
50.17/50.20	o 324
50.17/50.22	o 323
50.17/50.24	o 322
50.17/50.26	o 321
50.17/50.27	o 320
50.17/50.29	o 319
50.27/50.31	o 318
50.27/50.33	o 317
50.27/50.35	o 316
50.27/50.37	o 315
50.27/50.38	o 314
50.37/50.40	o 313
50.37/50.42	o 312
50.37/50.44	o 311
50.37/50.46	o 310
50.37/50.47	o 309
50.37/50.49	o 308
50.48/50.51	o 307
50.48/50.53	o 306
50.48/50.55	o 305
50.48/50.56	o 304
51.37/51.46	o 303
1800.07/1800.50	s SATISFIABLE
1800.07/1800.50	v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 x1010 -x1011 -x1012 -x1013 -x1014
1800.07/1800.50	v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x103 -x1030
1800.07/1800.50	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.07/1800.50	v -x1048 -x1049 -x105 x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063
1800.07/1800.50	v -x1064 -x1065 x1066 -x1067 x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108
1800.07/1800.50	v -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096
1800.07/1800.50	v -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111
1800.07/1800.50	v -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.07/1800.50	v -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144
1800.07/1800.50	v x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160
1800.07/1800.50	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.07/1800.50	v -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192
1800.07/1800.50	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208
1800.07/1800.50	v -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 x1222 -x1223 -x1224
1800.07/1800.50	v -x1225 -x1226 -x1227 -x1228 x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 -x1240
1800.07/1800.50	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256
1800.07/1800.50	v -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272
1800.07/1800.50	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288
1800.07/1800.50	v -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303
1800.07/1800.50	v x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x132
1800.07/1800.50	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335
1800.07/1800.50	v -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 x1348 -x1349 -x135 -x1350 -x1351
1800.07/1800.50	v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 x1368
1800.07/1800.50	v -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384
1800.07/1800.50	v -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 -x140
1800.07/1800.50	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.07/1800.50	v -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431
1800.07/1800.50	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
1800.07/1800.50	v -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463
1800.07/1800.50	v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 x148
1800.07/1800.50	v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x149 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496
1800.07/1800.50	v -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511
1800.07/1800.50	v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528
1800.07/1800.50	v -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544
1800.07/1800.50	v -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560
1800.07/1800.50	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576
1800.07/1800.50	v -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592
1800.07/1800.50	v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1800.07/1800.50	v -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624
1800.07/1800.50	v -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640
1800.07/1800.50	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
1800.07/1800.50	v -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 x1668 -x1669 -x167 -x1670 -x1671 -x1672
1800.07/1800.50	v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1800.07/1800.50	v -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703
1800.07/1800.50	v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x172
1800.07/1800.50	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735
1800.07/1800.50	v -x1736 -x1737 -x1738 -x1739 x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x175 -x1750 -x1751
1800.07/1800.50	v x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768
1800.07/1800.50	v -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 x1783 -x1784
1800.07/1800.50	v -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180
1800.07/1800.50	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815
1800.07/1800.50	v -x1816 -x1817 x1818 -x1819 -x182 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831
1800.07/1800.50	v -x1832 x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848
1800.07/1800.50	v -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864
1800.07/1800.50	v -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880
1800.07/1800.50	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896
1800.07/1800.50	v -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911
1800.07/1800.50	v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927
1800.07/1800.50	v -x1928 x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943
1800.07/1800.50	v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x195 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196
1800.07/1800.50	v x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1800.07/1800.50	v -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992
1800.07/1800.50	v -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1800.07/1800.50	v -x2009 -x201 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 x2017 -x2018 -x2019 x202 -x2020 -x2021 -x2022 -x2023 -x2024
1800.07/1800.50	v -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040
1800.07/1800.50	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056
1800.07/1800.50	v -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 x2072
1800.07/1800.50	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089
1800.07/1800.50	v -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104
1800.07/1800.50	v -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120
1800.07/1800.50	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136
1800.07/1800.50	v -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x215 -x2150 -x2151 -x2152
1800.07/1800.50	v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168
1800.07/1800.50	v -x2169 x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184
1800.07/1800.50	v -x2185 x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220
1800.07/1800.50	v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216
1800.07/1800.50	v -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232
1800.07/1800.50	v -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249
1800.07/1800.50	v -x225 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265
1800.07/1800.50	v -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x228 -x2280 -x2281
1800.07/1800.50	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
1800.07/1800.50	v -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 x2312
1800.07/1800.50	v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329
1800.07/1800.50	v -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345
1800.07/1800.50	v -x2346 -x2347 x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361
1800.07/1800.50	v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378
1800.07/1800.50	v -x2379 -x238 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 x2392 -x2393 -x2394
1800.07/1800.50	v -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241
1800.07/1800.50	v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425
1800.07/1800.50	v -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441
1800.07/1800.50	v -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458
1800.07/1800.50	v -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 x2472 -x2473 -x2474
1800.07/1800.50	v -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490
1800.07/1800.50	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506
1800.07/1800.50	v -x2507 -x2508 -x2509 -x251 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522
1800.07/1800.50	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539
1800.07/1800.50	v -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555
1800.07/1800.50	v -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571
1800.07/1800.50	v -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1800.07/1800.50	v -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603
1800.07/1800.50	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619
1800.07/1800.50	v -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635
1800.07/1800.50	v -x2636 -x2637 x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 x2650 -x2651
1800.07/1800.50	v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668
1800.07/1800.50	v -x2669 -x267 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684
1800.07/1800.50	v -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270
1800.07/1800.50	v -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716
1800.07/1800.50	v -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732
1800.07/1800.50	v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749
1800.07/1800.50	v -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765
1800.07/1800.50	v -x2766 -x2767 -x2768 x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781
1800.07/1800.50	v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797
1800.07/1800.50	v -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812
1800.07/1800.50	v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828
1800.07/1800.50	v -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844
1800.07/1800.50	v -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 x2860
1800.07/1800.50	v -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877
1800.07/1800.50	v -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893
1800.07/1800.50	v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 x290 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909
1800.07/1800.50	v x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925
1800.07/1800.50	v -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941
1800.07/1800.50	v -x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958
1800.07/1800.50	v -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 x2971 -x2972 -x2973 -x2974
1800.07/1800.50	v -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x299 -x2990
1800.07/1800.50	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006
1800.07/1800.50	v -x3007 x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022
1800.07/1800.50	v -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039
1800.07/1800.50	v -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 x3055
1800.07/1800.50	v -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x307 -x3070 -x3071
1800.07/1800.50	v -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088
1800.07/1800.50	v -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 x3100 -x3101 -x3102 -x3103
1800.07/1800.50	v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119
1800.07/1800.50	v -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135
1800.07/1800.50	v -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151
1800.07/1800.50	v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168
1800.07/1800.50	v -x3169 -x317 x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184
1800.07/1800.50	v x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320
1800.07/1800.50	v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215
1800.07/1800.50	v -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231
1800.07/1800.50	v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247
1800.07/1800.50	v -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263
1800.07/1800.50	v -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279
1800.07/1800.50	v -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295
1800.07/1800.50	v -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310
1800.07/1800.50	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 -x332 -x3320 -x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327
1800.07/1800.50	v -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 x3340 -x3341 -x3342 -x3343
1800.07/1800.50	v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 -x3357 -x3358 -x3359 -x336
1800.07/1800.50	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375
1800.07/1800.50	v -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 x3385 -x3386 x3387 -x3388 -x3389 -x339 -x3390 -x3391
1800.07/1800.50	v -x3392 -x3393 -x3394 -x3395 -x3396 x3397 x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407
1800.07/1800.50	v -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423
1800.07/1800.50	v -x3424 -x3425 -x3426 x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344
1800.07/1800.50	v -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456
1800.07/1800.50	v -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 x3469 -x347 -x3470 x3471 -x3472
1800.07/1800.50	v -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488
1800.07/1800.50	v -x3489 -x349 -x3490 -x3491 -x3492 x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 -x35 x350 -x3500 -x3501 -x3502 -x3503
1800.07/1800.50	v -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519
1800.07/1800.50	v -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535
1800.07/1800.50	v -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551
1800.07/1800.50	v -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567
1800.07/1800.50	v -x3568 x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 x3581 -x3582 -x3583
1800.07/1800.50	v -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599
1800.07/1800.50	v -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614
1800.07/1800.50	v -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630
1800.07/1800.50	v x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647
1800.07/1800.50	v -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663
1800.07/1800.50	v -x3664 -x3665 -x3666 -x3667 -x3668 x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368
1800.07/1800.50	v -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696
1800.07/1800.50	v -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711
1800.07/1800.50	v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727
1800.07/1800.50	v -x3728 -x3729 -x373 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 x3740 -x3741 -x3742 -x3743
1800.07/1800.50	v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376
1800.07/1800.50	v -x3760 -x3761 x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 x3776
1800.07/1800.50	v -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x379 -x3790 -x3791 -x3792
1800.07/1800.50	v -x3793 -x3794 -x3795 -x3796 -x3797 x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808
1800.07/1800.50	v -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 x3824
1800.07/1800.50	v -x3825 -x3826 -x3827 -x3828 -x3829 -x383 x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840
1800.07/1800.50	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857
1800.07/1800.50	v -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873
1800.07/1800.50	v x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389
1800.07/1800.50	v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905
1800.07/1800.50	v -x3906 -x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921
1800.07/1800.50	v -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3936 -x3937 -x3938
1800.07/1800.50	v -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954
1800.07/1800.50	v -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x397 -x3970
1800.07/1800.50	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986
1800.07/1800.50	v -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000
1800.07/1800.50	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016
1800.07/1800.50	v -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032
1800.07/1800.50	v -x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x404 -x4040 x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049
1800.07/1800.50	v -x405 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
1800.07/1800.50	v -x4066 -x4067 x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081
1800.07/1800.50	v -x4082 -x4083 -x4084 x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098
1800.07/1800.50	v -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113
1800.07/1800.50	v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413
1800.07/1800.50	v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 x4144 -x4145 -x4146
1800.07/1800.50	v -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162
1800.07/1800.50	v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178
1800.07/1800.50	v -x4179 -x418 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194
1800.07/1800.50	v -x4195 -x4196 -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421
1800.07/1800.50	v -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 x4218 -x4219 -x422 -x4220 -x4221 x4222 -x4223 -x4224 -x4225 -x4226
1800.07/1800.50	v -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242
1800.07/1800.50	v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258
1800.07/1800.50	v -x4259 -x426 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 -x4274
1800.07/1800.50	v -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 x4287 -x4288 -x4289 -x429 -x4290
1800.07/1800.50	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 x4301 -x4302 -x4303 x4304 -x4305 -x4306
1800.07/1800.50	v -x4307 -x4308 -x4309 -x431 x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322
1800.07/1800.50	v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338
1800.07/1800.50	v -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352 -x4353 -x4354
1800.07/1800.50	v -x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370
1800.07/1800.50	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386
1800.07/1800.50	v -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x44 -x440 -x4400 -x4401
1800.07/1800.50	v -x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418
1800.07/1800.50	v -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 -x4434
1800.07/1800.50	v -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 -x4450
1800.07/1800.50	v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466
1800.07/1800.50	v -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x448 -x4480 -x4481 -x4482
1800.07/1800.50	v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 x4494 -x4495 -x4496 -x4497 -x4498 -x4499
1800.07/1800.50	v -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514
1800.07/1800.50	v -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x453 -x4530
1800.07/1800.50	v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546
1800.07/1800.50	v -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562
1800.07/1800.50	v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 x457 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 -x4578 -x4579
1800.07/1800.50	v -x458 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590 x4591 -x4592 -x4593 -x4594 -x4595
1800.07/1800.50	v -x4596 -x4597 -x4598 -x4599 x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 -x461 -x4610
1800.07/1800.50	v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626
1800.07/1800.50	v -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 x4637 -x4638 -x4639 -x464 -x4640 -x4641 -x4642
1800.07/1800.50	v -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659
1800.07/1800.50	v -x466 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 x4669 -x467 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675
1800.07/1800.50	v -x4676 -x4677 -x4678 -x4679 x468 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 x4688 -x4689 -x469 -x4690 -x4691
1800.07/1800.50	v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707
1800.07/1800.50	v -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723
1800.07/1800.50	v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739
1800.07/1800.50	v -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755
1800.07/1800.50	v -x4756 -x4757 x4758 x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 x4768 -x4769 -x477 -x4770 -x4771
1800.07/1800.50	v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 x4782 -x4783 -x4784 x4785 -x4786 -x4787 -x4788
1800.07/1800.50	v -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x48 -x480 -x4800 -x4801 -x4802 -x4803
1800.07/1800.50	v -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819
1800.07/1800.50	v -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x483 -x4830 -x4831 -x4832 -x4833 x4834 -x4835
1800.07/1800.50	v -x4836 -x4837 x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851
1800.07/1800.50	v -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867
1800.07/1800.50	v -x4868 -x4869 -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882 -x4883
1800.07/1800.50	v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 x4899 -x49
1800.07/1800.50	v -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 -x4910 -x4911 -x4912 x4913 -x4914 -x4915
1800.07/1800.50	v -x4916 x4917 -x4918 -x4919 -x492 -x4920 x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931
1800.07/1800.50	v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947
1800.07/1800.50	v -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963
1800.07/1800.50	v -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979
1800.07/1800.50	v -x498 -x4980 -x4981 -x4982 x4983 -x4984 -x4985 x4986 -x4987 -x4988 -x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995
1800.07/1800.50	v -x4996 -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010
1800.07/1800.50	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026
1800.07/1800.50	v -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042
1800.07/1800.50	v -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 x5056 -x5057 -x5058 -x5059
1800.07/1800.50	v -x506 -x5060 -x5061 -x5062 x5063 x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 x5070 -x5071 x5072 -x5073 -x5074 -x5075
1800.07/1800.50	v -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091
1800.07/1800.50	v -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x51 -x510 x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107
1800.07/1800.50	v -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123
1800.07/1800.50	v -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139
1800.07/1800.50	v -x514 -x5140 -x5141 -x5142 -x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155
1800.07/1800.50	v -x5156 -x5157 -x5158 x5159 -x516 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171
1800.07/1800.50	v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187
1800.07/1800.50	v -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202
1800.07/1800.50	v -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218
1800.07/1800.50	v -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x523 -x5230 x5231 -x5232 -x5233 -x5234
1800.07/1800.50	v -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x525 -x5250
1800.07/1800.50	v x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267
1800.07/1800.50	v -x5268 -x5269 -x527 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281 -x5282 -x5283
1800.07/1800.50	v -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299
1800.07/1800.50	v -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314
1800.07/1800.50	v -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330
1800.07/1800.50	v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346
1800.07/1800.50	v -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 x5359 -x536 -x5360 -x5361 -x5362
1800.07/1800.50	v -x5363 -x5364 -x5365 x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379
1800.07/1800.50	v -x538 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x539 x5390 -x5391 -x5392 -x5393 -x5394 -x5395
1800.07/1800.50	v -x5396 -x5397 x5398 -x5399 -x54 -x540 x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410
1800.07/1800.50	v -x5411 -x5412 -x5413 -x5414 x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427
1800.07/1800.50	v -x5428 -x5429 -x543 -x5430 x5431 -x5432 -x5433 x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x544 x5440 -x5441 -x5442 -x5443
1800.07/1800.50	v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459
1800.07/1800.50	v -x546 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470 -x5471 x5472 -x5473 -x5474 -x5475
1800.07/1800.50	v -x5476 -x5477 -x5478 -x5479 -x548 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 -x5491
1800.07/1800.50	v -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507
1800.07/1800.50	v -x5508 -x5509 -x551 -x5510 -x5511 -x5512 -x5513 -x5514 x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523
1800.07/1800.50	v -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x553 x5530 -x5531 -x5532 -x5533 x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x554
1800.07/1800.50	v -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555
1800.07/1800.50	v -x5556 -x5557 -x5558 -x5559 -x556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 x5566 -x5567 -x5568 -x5569 -x557 x5570 -x5571
1800.07/1800.50	v -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588
1800.07/1800.50	v -x5589 x559 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 x5602 -x5603
1800.07/1800.50	v -x5604 x5605 -x5606 -x5607 -x5608 -x5609 x561 -x5610 -x5611 -x5612 -x5613 x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562
1800.07/1800.50	v -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636
1800.07/1800.50	v -x5637 -x5638 -x5639 -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651 -x5652
1800.07/1800.50	v -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668
1800.07/1800.50	v -x5669 -x567 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 x5680 -x5681 -x5682 -x5683 -x5684
1800.07/1800.50	v -x5685 -x5686 -x5687 -x5688 -x5689 -x569 x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 -x57 -x570
1800.07/1800.50	v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715
1800.07/1800.50	v -x5716 -x5717 -x5718 -x5719 -x572 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731
1800.07/1800.50	v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747
1800.07/1800.50	v -x5748 -x5749 -x575 -x5750 -x5751 -x5752 -x5753 x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763
1800.07/1800.50	v -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 x577 -x5770 -x5771 -x5772 x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578
1800.07/1800.50	v -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796
1800.07/1800.50	v -x5797 -x5798 -x5799 -x58 -x580 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811
1800.07/1800.50	v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827
1800.07/1800.50	v -x5828 -x5829 -x583 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x584 x5840 -x5841 -x5842 x5843
1800.07/1800.50	v -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x585 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 x5856 -x5857 -x5858 -x5859 -x586
1800.07/1800.50	v -x5860 -x5861 -x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 x5876
1800.07/1800.50	v -x5877 -x5878 -x5879 -x588 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892
1800.07/1800.50	v -x5893 x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908
1800.07/1800.50	v -x5909 -x591 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 x5919 -x592 -x5920 -x5921 -x5922 -x5923 x5924
1800.07/1800.50	v -x5925 -x5926 -x5927 -x5928 -x5929 -x593 -x5930 -x5931 -x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 x5939 -x594 -x5940
1800.07/1800.50	v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956
1800.07/1800.50	v -x5957 -x5958 -x5959 -x596 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972
1800.07/1800.50	v -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x598 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988
1800.07/1800.50	v -x5989 -x599 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6 -x60 -x600 -x6000 -x6001 -x6002
1800.07/1800.50	v x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019
1800.07/1800.50	v -x602 -x6020 x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 x6032 -x6033 -x6034 -x6035
1800.07/1800.50	v -x6036 -x6037 -x6038 -x6039 -x604 -x6040 -x6041 x6042 -x6043 -x6044 -x6045 x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051
1800.07/1800.50	v -x6052 x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 x6064 -x6065 -x6066 -x6067 -x6068
1800.07/1800.50	v -x6069 -x607 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 x6081 -x6082 -x6083 -x6084
1800.07/1800.50	v -x6085 -x6086 -x6087 -x6088 -x6089 x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 x6096 -x6097 -x6098 -x6099 -x61 -x610
1800.07/1800.50	v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115
1800.07/1800.50	v -x6116 -x6117 -x6118 -x6119 -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 x6126 x6127 -x6128 -x6129 -x613 x6130 -x6131
1800.07/1800.50	v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 -x621 -x622 -x623
1800.07/1800.50	v -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x64 -x640 -x641 -x642
1800.07/1800.50	v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661
1800.07/1800.50	v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 x673 -x674 x675 -x676 -x677 -x678 -x679 -x68 x680 -x681
1800.07/1800.50	v -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 x70 -x700
1800.07/1800.50	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x72
1800.07/1800.50	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739
1800.07/1800.50	v -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1800.07/1800.50	v -x759 -x76 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.07/1800.50	v -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796
1800.07/1800.50	v -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814
1800.07/1800.50	v -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 x825 -x826 x827 -x828 x829 -x83 -x830 -x831 -x832 -x833 -x834
1800.07/1800.50	v -x835 -x836 -x837 x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853
1800.07/1800.50	v -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872
1800.07/1800.50	v -x873 -x874 -x875 -x876 x877 -x878 -x879 -x88 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891
1800.07/1800.50	v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x91 -x910
1800.07/1800.50	v -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93
1800.07/1800.50	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
1800.07/1800.50	v -x95 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968
1800.07/1800.50	v -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.07/1800.50	v -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	303

Conversion Script Data (download as text)

/tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node34/watcher-458805-1178644032 -o ROOT/results/node34/solver-458805-1178644032 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458805-1178644032/instance-458805-1178644032.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: 1.00 1.00 1.00 3/77 31857
/proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=2184 CPUtime=0
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 331 0 0 0 0 0 0 0 18 0 1 0 312318628 2236416 313 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 546 313 84 219 0 323 0

[startup+0.0827799 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 31857
/proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=2484 CPUtime=0.08
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 420 0 0 0 8 0 0 0 18 0 1 0 312318628 2543616 402 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 621 402 86 219 0 398 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2484

[startup+0.101781 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 31857
/proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=2484 CPUtime=0.09
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 420 0 0 0 9 0 0 0 18 0 1 0 312318628 2543616 402 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 621 402 86 219 0 398 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2484

[startup+0.301797 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 31857
/proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=2800 CPUtime=0.29
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 529 0 0 0 29 0 0 0 19 0 1 0 312318628 2867200 511 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 700 511 86 219 0 477 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2800

[startup+0.70183 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 31857
/proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=3564 CPUtime=0.69
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 708 0 0 0 69 0 0 0 22 0 1 0 312318628 3649536 690 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 891 690 89 219 0 668 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3564

[startup+1.50189 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1790456/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=3564 CPUtime=1.49
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 147 2 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 891 702 101 219 0 668 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3564

[startup+3.10202 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1790328/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=3564 CPUtime=3.09
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 303 6 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 891 702 101 219 0 668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3564

[startup+6.30127 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1790200/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=3564 CPUtime=6.29
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 616 13 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 891 702 101 219 0 668 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3564

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1790136/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=3564 CPUtime=12.69
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 1243 26 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 891 702 101 219 0 668 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3564

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1790136/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=3564 CPUtime=25.49
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 2498 51 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 891 702 101 219 0 668 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3564

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1783288/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=13492 CPUtime=51.07
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2643 0 0 0 4974 133 0 0 25 0 1 0 312318628 13815808 2625 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3373 2625 102 219 0 3150 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13492

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1782072/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=13812 CPUtime=102.26
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2760 0 0 0 10092 134 0 0 25 0 1 0 312318628 14143488 2742 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3453 2742 102 219 0 3230 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13812

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1781816/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=13972 CPUtime=162.25
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2820 0 0 0 16090 135 0 0 25 0 1 0 312318628 14307328 2802 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3493 2802 102 219 0 3270 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13972

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1781688/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=13972 CPUtime=222.24
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2850 0 0 0 22088 136 0 0 25 0 1 0 312318628 14307328 2832 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3493 2832 102 219 0 3270 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 13972

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1781560/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14132 CPUtime=282.22
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2888 0 0 0 28086 136 0 0 25 0 1 0 312318628 14471168 2870 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3533 2870 102 219 0 3310 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 14132

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1781368/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14132 CPUtime=342.21
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2934 0 0 0 34085 136 0 0 25 0 1 0 312318628 14471168 2916 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3533 2916 102 219 0 3310 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 14132

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1781240/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14132 CPUtime=402.19
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2964 0 0 0 40083 136 0 0 25 0 1 0 312318628 14471168 2946 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3533 2946 102 219 0 3310 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 14132

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1781112/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14132 CPUtime=462.17
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2988 0 0 0 46081 136 0 0 25 0 1 0 312318628 14471168 2970 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3533 2970 102 219 0 3310 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 14132

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1781048/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14132 CPUtime=522.16
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3012 0 0 0 52080 136 0 0 25 0 1 0 312318628 14471168 2994 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3533 2994 102 219 0 3310 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 14132

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1780920/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14132 CPUtime=582.14
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3037 0 0 0 58078 136 0 0 25 0 1 0 312318628 14471168 3019 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3533 3019 102 219 0 3310 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 14132

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1780792/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14132 CPUtime=642.14
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3063 0 0 0 64077 137 0 0 25 0 1 0 312318628 14471168 3045 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3533 3045 102 219 0 3310 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 14132


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1780280/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14292 CPUtime=882.08
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3190 0 0 0 88071 137 0 0 25 0 1 0 312318628 14635008 3172 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3573 3172 102 219 0 3350 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 14292

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1780216/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14292 CPUtime=942.07
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3224 0 0 0 94069 138 0 0 25 0 1 0 312318628 14635008 3206 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3573 3206 102 219 0 3350 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 14292

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1780088/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14292 CPUtime=1002.05
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3250 0 0 0 100067 138 0 0 25 0 1 0 312318628 14635008 3232 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3573 3232 102 219 0 3350 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 14292

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1779960/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14292 CPUtime=1062.04
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3285 0 0 0 106065 139 0 0 25 0 1 0 312318628 14635008 3267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3573 3267 102 219 0 3350 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 14292

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1779832/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14292 CPUtime=1122.03
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3313 0 0 0 112064 139 0 0 25 0 1 0 312318628 14635008 3295 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3573 3295 102 219 0 3350 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 14292

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1779704/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=14452 CPUtime=1182.01
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3347 0 0 0 118062 139 0 0 25 0 1 0 312318628 14798848 3329 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 3613 3329 102 219 0 3390 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 14452

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1779576/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1241.99
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3378 0 0 0 124060 139 0 0 25 0 1 0 312318628 23187456 3360 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3360 102 219 0 5438 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 22644

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1779448/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1301.99
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3408 0 0 0 130059 140 0 0 25 0 1 0 312318628 23187456 3390 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3390 102 219 0 5438 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 22644

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1779256/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1361.97
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3458 0 0 0 136057 140 0 0 25 0 1 0 312318628 23187456 3440 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3440 102 219 0 5438 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 22644

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1779128/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1421.96
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3481 0 0 0 142056 140 0 0 25 0 1 0 312318628 23187456 3463 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3463 102 219 0 5438 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 22644

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1779064/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1481.94
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3504 0 0 0 148054 140 0 0 25 0 1 0 312318628 23187456 3486 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3486 102 219 0 5438 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 22644

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1778936/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1541.92
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3527 0 0 0 154052 140 0 0 25 0 1 0 312318628 23187456 3509 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3509 102 219 0 5438 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 22644

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1778872/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1601.92
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3551 0 0 0 160051 141 0 0 25 0 1 0 312318628 23187456 3533 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3533 102 219 0 5438 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 22644

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1778744/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1661.9
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3574 0 0 0 166049 141 0 0 25 0 1 0 312318628 23187456 3556 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3556 102 219 0 5438 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 22644

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1778680/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1721.89
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3597 0 0 0 172048 141 0 0 25 0 1 0 312318628 23187456 3579 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3579 102 219 0 5438 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 22644

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1778616/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1781.87
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3622 0 0 0 178046 141 0 0 25 0 1 0 312318628 23187456 3604 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3604 102 219 0 5438 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 22644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1778552/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1800.07
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3629 0 0 0 179866 141 0 0 25 0 1 0 312318628 23187456 3611 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3611 102 219 0 5438 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 22644

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31858
/proc/meminfo: memFree=1778552/2055920 swapFree=4159088/4192956
[pid=31857] ppid=31855 vsize=22644 CPUtime=1800.07
/proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3629 0 0 0 179866 141 0 0 25 0 1 0 312318628 23187456 3611 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31857/statm: 5661 3611 102 219 0 5438 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 22644

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1798.67
CPU system time (s): 1.41878
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 22644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.41878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3632
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= 9
involuntary context switches= 2854

runsolver used 1.35379 second user time and 3.9174 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Tue May  8 17:07:12 UTC 2007

IDJOB= 458805
IDBENCH= 2042
IDSOLVER= 200
FILE ID= node34/458805-1178644032

PBS_JOBID= 5218384

Free space on /tmp= 66561 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-458805-1178644032 -o ROOT/results/node34/conversion-458805-1178644032 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-458805-1178644032 -o ROOT/results/node34/solver-458805-1178644032 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  cca57c347e264f92fb70010109aa24c5

RANDOM SEED= 420892584

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.236
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.236
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:       1793368 kB
Buffers:         36524 kB
Cached:         116820 kB
SwapCached:       2988 kB
Active:         103948 kB
Inactive:        72400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793368 kB
SwapTotal:     4192956 kB
SwapFree:      4159088 kB
Dirty:            3296 kB
Writeback:           0 kB
Mapped:          30140 kB
Slab:            71516 kB
Committed_AS:  5385308 kB
PageTables:       1976 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= 66561 MiB

End job on node34 on Tue May  8 17:37:15 UTC 2007