Trace number 453652

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
absconPseudo 102SAT (TO)12 1800.09 1800.56

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint45
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

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)

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

Verifier Data (download as text)

OK	12

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453652-1178146303/instance-453652-1178146303.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-453652-1178146303 -o ROOT/results/node9/solver-453652-1178146303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453652-1178146303/instance-453652-1178146303.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.96 1.00 1.00 2/77 27173
/proc/meminfo: memFree=1789144/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=18528 CPUtime=0
/proc/27173/stat : 27173 (runsolver) R 27171 27173 26212 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 290667916 18972672 284 18446744073709551615 4194304 4255128 548682068800 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/27173/statm: 4632 284 249 14 0 2626 0

[startup+0.0207481 s]
/proc/loadavg: 0.96 1.00 1.00 2/77 27173
/proc/meminfo: memFree=1789144/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=10840 CPUtime=0
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 758 0 0 0 0 0 0 0 18 0 2 0 290667916 11100160 523 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 2710 523 232 9 0 1240 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10840

[startup+0.10276 s]
/proc/loadavg: 0.96 1.00 1.00 2/77 27173
/proc/meminfo: memFree=1789144/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1788444 CPUtime=0.09
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 3778 0 1 0 6 3 0 0 18 0 9 0 290667916 1831366656 3229 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447111 3229 1289 9 0 442081 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1788444

[startup+0.301787 s]
/proc/loadavg: 0.96 1.00 1.00 2/77 27173
/proc/meminfo: memFree=1789144/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790176 CPUtime=0.33
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 8023 0 1 0 28 5 0 0 18 0 9 0 290667916 1833140224 7437 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447544 7437 1847 9 0 442129 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1790176

[startup+0.701835 s]
/proc/loadavg: 0.96 1.00 1.00 2/77 27173
/proc/meminfo: memFree=1789144/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=0.79
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16083 0 1 0 69 10 0 0 18 0 9 0 290667916 1833299968 15485 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15485 1864 9 0 442168 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1790332

[startup+1.50191 s]
/proc/loadavg: 0.96 1.00 1.00 2/86 27182
/proc/meminfo: memFree=1734224/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=1.6
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16091 0 1 0 150 10 0 0 18 0 9 0 290667916 1833299968 15493 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15493 1864 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=1.45
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 14974 0 1 0 136 9 0 0 21 0 9 0 290667917 1833299968 15493 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126787416 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15493 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15493 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15493 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15493 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.13
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 395 0 0 0 13 0 0 0 16 0 9 0 290667922 1833299968 15493 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15493 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15493 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 1790332

[startup+3.10109 s]
/proc/loadavg: 0.96 1.00 1.00 2/86 27182
/proc/meminfo: memFree=1733968/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=3.2
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16098 0 1 0 310 10 0 0 18 0 9 0 290667916 1833299968 15499 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15499 1864 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=3.04
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 14974 0 1 0 295 9 0 0 25 0 9 0 290667917 1833299968 15499 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126792521 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15499 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15499 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15499 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15499 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.15
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 290667922 1833299968 15499 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15499 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15499 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 1790332

[startup+6.30245 s]
/proc/loadavg: 0.97 1.00 1.00 2/86 27182
/proc/meminfo: memFree=1733656/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=6.4
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16153 0 1 0 630 10 0 0 18 0 9 0 290667916 1833299968 15552 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15552 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=6.23
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15018 0 1 0 614 9 0 0 25 0 9 0 290667917 1833299968 15552 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126796060 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15552 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15552 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15552 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15552 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.16
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 412 0 0 0 16 0 0 0 16 0 9 0 290667922 1833299968 15552 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15552 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15552 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 1790332

[startup+12.7012 s]
/proc/loadavg: 0.97 1.00 1.00 2/86 27182
/proc/meminfo: memFree=1733656/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=12.79
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16158 0 1 0 1269 10 0 0 18 0 9 0 290667916 1833299968 15555 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15555 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=12.62
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15018 0 1 0 1253 9 0 0 25 0 9 0 290667917 1833299968 15555 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126792574 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15555 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15555 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15555 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15555 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.16
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 417 0 0 0 16 0 0 0 16 0 9 0 290667922 1833299968 15555 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15555 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15555 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1790332

[startup+25.5016 s]
/proc/loadavg: 0.97 1.00 1.00 2/86 27182
/proc/meminfo: memFree=1733720/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=25.59
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16161 0 1 0 2549 10 0 0 18 0 9 0 290667916 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15556 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=25.41
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15020 0 1 0 2532 9 0 0 25 0 9 0 290667917 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779958 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.16
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1790332

[startup+51.1015 s]
/proc/loadavg: 0.98 1.00 1.00 2/86 27182
/proc/meminfo: memFree=1733656/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=51.19
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16162 0 1 0 5108 11 0 0 18 0 9 0 290667916 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15556 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=51
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15021 0 1 0 5091 9 0 0 25 0 9 0 290667917 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779952 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.17
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 418 0 0 0 17 0 0 0 16 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0

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

/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.17
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 418 0 0 0 17 0 0 0 16 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1790332

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 27379
/proc/meminfo: memFree=1733400/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=1601.87
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16162 0 1 0 160164 23 0 0 18 0 9 0 290667916 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15556 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=1601.69
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15021 0 1 0 160147 22 0 0 25 0 9 0 290667917 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126774830 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.17
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 418 0 0 0 17 0 0 0 16 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1790332

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 27379
/proc/meminfo: memFree=1733400/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=1661.85
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16162 0 1 0 166162 23 0 0 18 0 9 0 290667916 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15556 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=1661.67
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15021 0 1 0 166145 22 0 0 25 0 9 0 290667917 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126590986 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.17
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 418 0 0 0 17 0 0 0 16 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1790332

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 27379
/proc/meminfo: memFree=1733400/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=1721.84
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16162 0 1 0 172160 24 0 0 18 0 9 0 290667916 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15556 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=1721.66
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15021 0 1 0 172143 23 0 0 25 0 9 0 290667917 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779955 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.17
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 418 0 0 0 17 0 0 0 16 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1790332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 27379
/proc/meminfo: memFree=1733400/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=1781.82
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16162 0 1 0 178158 24 0 0 18 0 9 0 290667916 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15556 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=1781.64
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15021 0 1 0 178141 23 0 0 25 0 9 0 290667917 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779952 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.17
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 418 0 0 0 17 0 0 0 16 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1790332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 27379
/proc/meminfo: memFree=1733400/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=1800.03
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16162 0 1 0 179978 25 0 0 18 0 9 0 290667916 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15556 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=1799.84
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15021 0 1 0 179961 23 0 0 25 0 9 0 290667917 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779958 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.17
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 418 0 0 0 17 0 0 0 16 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1790332

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/86 27379
/proc/meminfo: memFree=1733400/2055920 swapFree=4145492/4192956
[pid=27173] ppid=27171 vsize=1790332 CPUtime=1800.03
/proc/27173/stat : 27173 (java) S 27171 27173 26212 0 -1 0 16162 0 1 0 179978 25 0 0 18 0 9 0 290667916 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27173/statm: 447583 15556 1865 9 0 442168 0
[pid=27173/tid=27175] ppid=27171 vsize=1790332 CPUtime=1799.84
/proc/27173/task/27175/stat : 27175 (java) R 27171 27173 26212 0 -1 64 15021 0 1 0 179961 23 0 0 25 0 9 0 290667917 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779958 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27176] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27176/stat : 27176 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27177] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27177/stat : 27177 (java) S 27171 27173 26212 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 290667920 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27178] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27178/stat : 27178 (java) S 27171 27173 26212 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 290667921 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27179] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27179/stat : 27179 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27180] ppid=27171 vsize=1790332 CPUtime=0.17
/proc/27173/task/27180/stat : 27180 (java) S 27171 27173 26212 0 -1 64 418 0 0 0 17 0 0 0 16 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27173/tid=27181] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27181/stat : 27181 (java) S 27171 27173 26212 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27173/tid=27182] ppid=27171 vsize=1790332 CPUtime=0
/proc/27173/task/27182/stat : 27182 (java) S 27171 27173 26212 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 290667922 1833299968 15556 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1790332

Child status: 143
Real time (s): 1800.56
CPU time (s): 1800.09
CPU user time (s): 1799.82
CPU system time (s): 0.26296
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1790332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.26296
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16202
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36814
involuntary context switches= 38249

runsolver used 1.71774 second user time and 4.85526 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Wed May  2 22:51:43 UTC 2007

IDJOB= 453652
IDBENCH= 48145
IDSOLVER= 155
FILE ID= node9/453652-1178146303

PBS_JOBID= 4751058

Free space on /tmp= 66563 MiB

SOLVER NAME= absconPseudo 102
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_2.opb
COMMAND LINE= java -Xms1600M -Xmx1600M  -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453652-1178146303/instance-453652-1178146303.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-453652-1178146303 -o ROOT/results/node9/conversion-453652-1178146303 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453652-1178146303/instance-453652-1178146303.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-453652-1178146303 -o ROOT/results/node9/solver-453652-1178146303 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -Xms1600M -Xmx1600M  -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453652-1178146303/instance-453652-1178146303.opb            

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  faa00895e2f6f80e77634e2be522df62

RANDOM SEED= 862344447

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1789488 kB
Buffers:         69032 kB
Cached:         103452 kB
SwapCached:      15400 kB
Active:         141236 kB
Inactive:        58376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1789488 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:            2356 kB
Writeback:           0 kB
Mapped:          33696 kB
Slab:            52284 kB
Committed_AS:  8640344 kB
PageTables:       1796 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= 66562 MiB

End job on node9 on Wed May  2 23:21:46 UTC 2007