Trace number 453397

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.14 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
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.14
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 constraint44
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)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

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

Verifier Data (download as text)

OK	12

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453397-1178133859/instance-453397-1178133859.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.61 0.90 0.97 2/77 15577
/proc/meminfo: memFree=1762376/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1800 CPUtime=0
/proc/15577/stat : 15577 (java) R 15575 15577 13544 0 -1 0 154 0 0 0 0 0 0 0 19 0 1 0 261303816 1843200 129 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 12300816 0 0 4096 0 0 0 0 17 1 0 0
/proc/15577/statm: 450 137 101 9 0 92 0

[startup+0.051218 s]
/proc/loadavg: 0.61 0.90 0.97 2/77 15577
/proc/meminfo: memFree=1762376/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1787064 CPUtime=0.03
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 3115 0 1 0 2 1 0 0 19 0 9 0 261303816 1829953536 2667 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 446766 2673 1061 9 0 441752 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1787064

[startup+0.102228 s]
/proc/loadavg: 0.61 0.90 0.97 2/77 15577
/proc/meminfo: memFree=1762376/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790132 CPUtime=0.11
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 4423 0 1 0 9 2 0 0 19 0 9 0 261303816 1833095168 3863 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447533 3863 1736 9 0 442125 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1790132

[startup+0.302273 s]
/proc/loadavg: 0.61 0.90 0.97 2/77 15577
/proc/meminfo: memFree=1762376/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790292 CPUtime=0.35
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 8422 0 1 0 32 3 0 0 19 0 9 0 261303816 1833259008 7836 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447573 7836 1847 9 0 442158 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1790292

[startup+0.70136 s]
/proc/loadavg: 0.61 0.90 0.97 2/77 15577
/proc/meminfo: memFree=1762376/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790292 CPUtime=0.82
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16070 0 1 0 75 7 0 0 19 0 9 0 261303816 1833259008 15472 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447573 15472 1864 9 0 442158 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 1790292

[startup+1.50152 s]
/proc/loadavg: 0.61 0.90 0.97 2/86 15586
/proc/meminfo: memFree=1707520/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790292 CPUtime=1.62
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16073 0 1 0 155 7 0 0 19 0 9 0 261303816 1833259008 15475 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447573 15475 1864 9 0 442158 0
[pid=15577/tid=15579] ppid=15575 vsize=1790292 CPUtime=1.47
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 14957 0 1 0 141 6 0 0 20 0 9 0 261303817 1833259008 15475 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786716 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790292 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833259008 15475 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790292 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833259008 15475 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790292 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833259008 15475 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790292 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833259008 15475 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790292 CPUtime=0.13
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 395 0 0 0 13 0 0 0 16 0 9 0 261303821 1833259008 15475 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790292 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833259008 15475 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790292 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 261303821 1833259008 15475 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) 1790292

[startup+3.10186 s]
/proc/loadavg: 0.61 0.90 0.97 2/86 15586
/proc/meminfo: memFree=1707392/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=3.22
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16080 0 1 0 315 7 0 0 19 0 9 0 261303816 1833394176 15481 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15481 1864 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=3.06
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 14957 0 1 0 300 6 0 0 25 0 9 0 261303817 1833394176 15481 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126792521 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833394176 15481 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15481 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15481 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15481 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.14
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 402 0 0 0 14 0 0 0 16 0 9 0 261303821 1833394176 15481 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15481 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15481 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) 1790424

[startup+6.30154 s]
/proc/loadavg: 0.64 0.90 0.97 2/86 15586
/proc/meminfo: memFree=1707072/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=6.42
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16136 0 1 0 635 7 0 0 19 0 9 0 261303816 1833394176 15534 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15534 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=6.25
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15001 0 1 0 619 6 0 0 25 0 9 0 261303817 1833394176 15534 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786708 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 261303819 1833394176 15534 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15534 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15534 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15534 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.15
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 413 0 0 0 15 0 0 0 16 0 9 0 261303821 1833394176 15534 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15534 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15534 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) 1790424

[startup+12.7019 s]
/proc/loadavg: 0.67 0.91 0.97 2/86 15586
/proc/meminfo: memFree=1707048/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=12.82
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16140 0 1 0 1275 7 0 0 19 0 9 0 261303816 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15537 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=12.64
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15001 0 1 0 1258 6 0 0 25 0 9 0 261303817 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126821930 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 417 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15537 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) 1790424

[startup+25.5026 s]
/proc/loadavg: 0.74 0.91 0.97 2/86 15586
/proc/meminfo: memFree=1707184/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=25.61
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16142 0 1 0 2554 7 0 0 19 0 9 0 261303816 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15537 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=25.43
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15002 0 1 0 2537 6 0 0 25 0 9 0 261303817 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126757527 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 1790424

[startup+51.1021 s]
/proc/loadavg: 0.83 0.92 0.97 2/86 15586
/proc/meminfo: memFree=1707184/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=51.21
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16143 0 1 0 5113 8 0 0 19 0 9 0 261303816 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15537 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=51.02
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15003 0 1 0 5096 6 0 0 25 0 9 0 261303817 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779958 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0

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

/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1790424

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/86 15588
/proc/meminfo: memFree=1707056/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=1541.86
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16143 0 1 0 154167 19 0 0 19 0 9 0 261303816 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15537 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=1541.68
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15003 0 1 0 154150 18 0 0 25 0 9 0 261303817 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126757449 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1790424

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/86 15588
/proc/meminfo: memFree=1706992/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=1601.84
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16143 0 1 0 160165 19 0 0 19 0 9 0 261303816 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15537 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=1601.66
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15003 0 1 0 160148 18 0 0 25 0 9 0 261303817 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779958 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1790424

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/86 15588
/proc/meminfo: memFree=1706992/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=1661.82
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16143 0 1 0 166162 20 0 0 19 0 9 0 261303816 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15537 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=1661.64
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15003 0 1 0 166145 19 0 0 25 0 9 0 261303817 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786708 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1790424

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/86 15588
/proc/meminfo: memFree=1706992/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=1721.79
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16143 0 1 0 172159 20 0 0 19 0 9 0 261303816 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15537 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=1721.61
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15003 0 1 0 172142 19 0 0 25 0 9 0 261303817 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126832178 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1790424

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/86 15588
/proc/meminfo: memFree=1706992/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=1781.78
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16143 0 1 0 178157 21 0 0 19 0 9 0 261303816 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15537 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=1781.6
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15003 0 1 0 178140 20 0 0 25 0 9 0 261303817 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126757909 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1790424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/86 15588
/proc/meminfo: memFree=1706992/2055920 swapFree=4159360/4192956
[pid=15577] ppid=15575 vsize=1790424 CPUtime=1800.07
/proc/15577/stat : 15577 (java) S 15575 15577 13544 0 -1 0 16143 0 1 0 179986 21 0 0 19 0 9 0 261303816 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15577/statm: 447606 15537 1865 9 0 442191 0
[pid=15577/tid=15579] ppid=15575 vsize=1790424 CPUtime=1799.9
/proc/15577/task/15579/stat : 15579 (java) R 15575 15577 13544 0 -1 64 15003 0 1 0 179970 20 0 0 25 0 9 0 261303817 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779952 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15580] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15580/stat : 15580 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15581] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15581/stat : 15581 (java) S 15575 15577 13544 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15582] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15582/stat : 15582 (java) S 15575 15577 13544 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 261303819 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15583] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15583/stat : 15583 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15584] ppid=15575 vsize=1790424 CPUtime=0.16
/proc/15577/task/15584/stat : 15584 (java) S 15575 15577 13544 0 -1 64 418 0 0 0 16 0 0 0 16 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15577/tid=15585] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15585/stat : 15585 (java) S 15575 15577 13544 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15577/tid=15586] ppid=15575 vsize=1790424 CPUtime=0
/proc/15577/task/15586/stat : 15586 (java) S 15575 15577 13544 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 261303821 1833394176 15537 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1790424

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

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

Child status: 143
Real time (s): 1800.66
CPU time (s): 1800.14
CPU user time (s): 1799.91
CPU system time (s): 0.225965
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1790424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.225965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16184
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= 36770
involuntary context switches= 38681

runsolver used 1.79873 second user time and 4.76527 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Wed May  2 19:24:19 UTC 2007

IDJOB= 453397
IDBENCH= 48128
IDSOLVER= 155
FILE ID= node13/453397-1178133859

PBS_JOBID= 4751046

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

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

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  88e7a647c6e46a38e952354158b1fb76

RANDOM SEED= 177643719

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1762848 kB
Buffers:         90008 kB
Cached:         104940 kB
SwapCached:      12860 kB
Active:         123528 kB
Inactive:       100752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762848 kB
SwapTotal:     4192956 kB
SwapFree:      4159360 kB
Dirty:            2524 kB
Writeback:           0 kB
Mapped:          35216 kB
Slab:            54264 kB
Committed_AS:  9484412 kB
PageTables:       1884 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 node13 on Wed May  2 19:54:23 UTC 2007