Trace number 453847

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.12 1800.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_3.opb
MD5SUM0e507441d4bf529adaad354902c51a54
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.12
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 constraint46
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)6216
Sum of products size (including duplicates)12432
Number of different products6216
Sum of products size12432

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

Verifier Data (download as text)

OK	12

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453847-1178160391/instance-453847-1178160391.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-453847-1178160391 -o ROOT/results/node15/solver-453847-1178160391 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453847-1178160391/instance-453847-1178160391.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8475
/proc/meminfo: memFree=1715640/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=152 CPUtime=0
/proc/8475/stat : 8475 (java) R 8473 8475 6307 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 263956776 155648 26 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 7512868 0 0 4096 0 0 0 0 17 1 0 0
/proc/8475/statm: 38 26 19 9 0 4 0

[startup+0.0863871 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8475
/proc/meminfo: memFree=1715640/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1788444 CPUtime=0.08
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 3711 0 1 0 6 2 0 0 18 0 9 0 263956776 1831366656 3173 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447111 3173 1258 9 0 442081 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1788444

[startup+0.102387 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8475
/proc/meminfo: memFree=1715640/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790148 CPUtime=0.1
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 4329 0 1 0 7 3 0 0 18 0 9 0 263956776 1833111552 3769 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447537 3769 1712 9 0 442129 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1790148

[startup+0.302403 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8475
/proc/meminfo: memFree=1715640/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790176 CPUtime=0.35
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 8261 0 1 0 29 6 0 0 18 0 9 0 263956776 1833140224 7675 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447544 7675 1847 9 0 442129 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1790176

[startup+0.702445 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8475
/proc/meminfo: memFree=1715640/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=0.82
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16080 0 1 0 72 10 0 0 18 0 9 0 263956776 1833275392 15482 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15482 1864 9 0 442162 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 1790308

[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 8484
/proc/meminfo: memFree=1660848/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=1.62
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16084 0 1 0 152 10 0 0 18 0 9 0 263956776 1833275392 15486 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15486 1864 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=1.46
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 14970 0 1 0 138 8 0 0 20 0 9 0 263956778 1833275392 15486 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126792534 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15486 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15486 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15486 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15486 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.13
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 392 0 0 0 13 0 0 0 16 0 9 0 263956781 1833275392 15486 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15486 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15486 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 1790308

[startup+3.10166 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 8484
/proc/meminfo: memFree=1660656/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=3.22
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16091 0 1 0 312 10 0 0 18 0 9 0 263956776 1833275392 15492 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15492 1864 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=3.07
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 14970 0 1 0 298 9 0 0 25 0 9 0 263956778 1833275392 15492 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126792521 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15492 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15492 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15492 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15492 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.14
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 399 0 0 0 14 0 0 0 16 0 9 0 263956781 1833275392 15492 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15492 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15492 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 1790308

[startup+6.30195 s]
/proc/loadavg: 1.00 1.00 1.00 3/86 8484
/proc/meminfo: memFree=1660208/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=6.42
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16148 0 1 0 632 10 0 0 18 0 9 0 263956776 1833275392 15546 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15546 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=6.25
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15015 0 1 0 616 9 0 0 25 0 9 0 263956778 1833275392 15546 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126792531 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 263956779 1833275392 15546 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15546 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15546 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15546 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.15
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 410 0 0 0 15 0 0 0 16 0 9 0 263956781 1833275392 15546 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15546 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15546 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 1790308

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 8484
/proc/meminfo: memFree=1660152/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=12.82
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16150 0 1 0 1272 10 0 0 18 0 9 0 263956776 1833275392 15547 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15547 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=12.65
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15015 0 1 0 1256 9 0 0 25 0 9 0 263956778 1833275392 15547 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126821930 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15547 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15547 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15547 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15547 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 412 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15547 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15547 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15547 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.82
Current children cumulated vsize (KiB) 1790308

[startup+25.5027 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 8484
/proc/meminfo: memFree=1660088/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=25.62
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16154 0 1 0 2552 10 0 0 18 0 9 0 263956776 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15549 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=25.44
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15016 0 1 0 2535 9 0 0 25 0 9 0 263956778 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779955 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (KiB) 1790308

[startup+51.1021 s]
/proc/loadavg: 1.06 1.02 1.00 2/86 8484
/proc/meminfo: memFree=1660088/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=51.2
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16154 0 1 0 5110 10 0 0 18 0 9 0 263956776 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15549 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=51.03
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15016 0 1 0 5094 9 0 0 25 0 9 0 263956778 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126768705 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0

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

/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1790308

[startup+1602.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/86 8682
/proc/meminfo: memFree=1659832/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=1601.89
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16155 0 1 0 160166 23 0 0 18 0 9 0 263956776 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15549 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=1601.71
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15017 0 1 0 160149 22 0 0 25 0 9 0 263956778 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126757552 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1790308

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/86 8682
/proc/meminfo: memFree=1659896/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=1661.88
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16155 0 1 0 166164 24 0 0 18 0 9 0 263956776 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15549 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=1661.69
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15017 0 1 0 166147 22 0 0 25 0 9 0 263956778 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126591016 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1790308

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 8682
/proc/meminfo: memFree=1659832/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=1721.86
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16155 0 1 0 172162 24 0 0 18 0 9 0 263956776 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15549 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=1721.68
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15017 0 1 0 172145 23 0 0 25 0 9 0 263956778 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126841797 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1790308

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 8682
/proc/meminfo: memFree=1659896/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=1781.85
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16155 0 1 0 178160 25 0 0 18 0 9 0 263956776 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15549 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=1781.66
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15017 0 1 0 178143 23 0 0 25 0 9 0 263956778 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126821984 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) R 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1790308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 8682
/proc/meminfo: memFree=1659896/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=1800.05
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16155 0 1 0 179980 25 0 0 18 0 9 0 263956776 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15549 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=1799.86
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15017 0 1 0 179963 23 0 0 25 0 9 0 263956778 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126821930 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1790308

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 8682
/proc/meminfo: memFree=1659896/2055920 swapFree=4169108/4192956
[pid=8475] ppid=8473 vsize=1790308 CPUtime=1800.05
/proc/8475/stat : 8475 (java) S 8473 8475 6307 0 -1 0 16155 0 1 0 179980 25 0 0 18 0 9 0 263956776 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8475/statm: 447577 15549 1865 9 0 442162 0
[pid=8475/tid=8477] ppid=8473 vsize=1790308 CPUtime=1799.86
/proc/8475/task/8477/stat : 8477 (java) R 8473 8475 6307 0 -1 64 15017 0 1 0 179963 23 0 0 25 0 9 0 263956778 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126821930 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8478] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 263956779 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8479] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 6307 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 6307 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 263956780 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=1790308 CPUtime=0.16
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 6307 0 -1 64 415 0 0 0 16 0 0 0 16 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8475/tid=8483] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 6307 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=1790308 CPUtime=0
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 6307 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 263956781 1833275392 15549 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1790308

Child status: 143
Real time (s): 1800.57
CPU time (s): 1800.12
CPU user time (s): 1799.86
CPU system time (s): 0.26296
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1790308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
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= 16196
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= 36828
involuntary context switches= 33880

runsolver used 1.70174 second user time and 4.86926 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Thu May  3 02:46:31 UTC 2007

IDJOB= 453847
IDBENCH= 48158
IDSOLVER= 155
FILE ID= node15/453847-1178160391

PBS_JOBID= 4751090

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_3.opb
COMMAND LINE= java -Xms1600M -Xmx1600M  -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453847-1178160391/instance-453847-1178160391.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node15/convwatcher-453847-1178160391 -o ROOT/results/node15/conversion-453847-1178160391 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453847-1178160391/instance-453847-1178160391.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  0e507441d4bf529adaad354902c51a54

RANDOM SEED= 469984516

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1716112 kB
Buffers:        118728 kB
Cached:         124372 kB
SwapCached:       2380 kB
Active:         175220 kB
Inactive:        99072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1716112 kB
SwapTotal:     4192956 kB
SwapFree:      4169108 kB
Dirty:            2332 kB
Writeback:           0 kB
Mapped:          35128 kB
Slab:            50908 kB
Committed_AS: 10545896 kB
PageTables:       1880 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 node15 on Thu May  3 03:16:34 UTC 2007