Trace number 453457

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.11 1801.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
MD5SUM64354bd2b9c3cc2f1ca2c32032e5c032
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.11
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 constraint51
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)6260
Sum of products size (including duplicates)12520
Number of different products6260
Sum of products size12520

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

Verifier Data (download as text)

OK	12

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453457-1178138961/instance-453457-1178138961.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.01 0.99 0.98 3/77 3244
/proc/meminfo: memFree=1470072/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1800 CPUtime=0
/proc/3244/stat : 3244 (java) R 3242 3244 3031 0 -1 0 153 0 0 0 0 0 0 0 19 0 1 0 289933927 1843200 128 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 10915632 0 0 4096 0 0 0 0 17 0 0 0
/proc/3244/statm: 450 137 101 9 0 92 0

[startup+0.0825421 s]
/proc/loadavg: 1.01 0.99 0.98 3/77 3244
/proc/meminfo: memFree=1470072/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1788596 CPUtime=0.08
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 3684 0 1 0 7 1 0 0 19 0 9 0 289933927 1831522304 3155 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447149 3155 1248 9 0 442119 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1788596

[startup+0.101473 s]
/proc/loadavg: 1.01 0.99 0.98 3/77 3244
/proc/meminfo: memFree=1470072/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790300 CPUtime=0.1
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 4368 0 1 0 8 2 0 0 19 0 9 0 289933927 1833267200 3808 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447575 3809 1725 9 0 442167 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1790300

[startup+0.301496 s]
/proc/loadavg: 1.01 0.99 0.98 3/77 3244
/proc/meminfo: memFree=1470072/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=0.35
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 8313 0 1 0 32 3 0 0 19 0 9 0 289933927 1833295872 7727 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 7728 1847 9 0 442167 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1790328

[startup+0.701538 s]
/proc/loadavg: 1.01 0.99 0.98 3/77 3244
/proc/meminfo: memFree=1470072/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=0.81
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16125 0 1 0 75 6 0 0 19 0 9 0 289933927 1833295872 15527 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15527 1864 9 0 442167 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 1790328

[startup+1.50262 s]
/proc/loadavg: 1.01 0.99 0.98 2/86 3253
/proc/meminfo: memFree=1415088/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=1.62
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16131 0 1 0 156 6 0 0 19 0 9 0 289933927 1833295872 15533 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15533 1864 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=1.48
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15032 0 1 0 142 6 0 0 25 0 9 0 289933928 1833295872 15533 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126792531 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 289933930 1833295872 15533 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15533 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15533 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15533 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.14
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 378 0 0 0 14 0 0 0 16 0 9 0 289933932 1833295872 15533 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15533 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15533 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 1790328

[startup+3.10278 s]
/proc/loadavg: 1.01 0.99 0.98 2/86 3253
/proc/meminfo: memFree=1414832/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=3.24
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16139 0 1 0 317 7 0 0 19 0 9 0 289933927 1833295872 15539 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15539 1864 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=3.08
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15033 0 1 0 302 6 0 0 25 0 9 0 289933928 1833295872 15539 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126792574 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15539 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15539 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15539 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15539 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.15
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 385 0 0 0 15 0 0 0 16 0 9 0 289933932 1833295872 15539 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15539 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15539 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 1790328

[startup+6.30112 s]
/proc/loadavg: 1.01 0.99 0.98 2/86 3253
/proc/meminfo: memFree=1414384/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=6.45
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16198 0 1 0 638 7 0 0 19 0 9 0 289933927 1833295872 15594 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15594 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=6.27
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15080 0 1 0 621 6 0 0 25 0 9 0 289933928 1833295872 15594 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786716 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 289933930 1833295872 15594 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15594 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15594 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15594 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.16
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 396 0 0 0 16 0 0 0 16 0 9 0 289933932 1833295872 15594 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15594 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15594 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 1790328

[startup+12.7028 s]
/proc/loadavg: 1.01 0.99 0.98 2/86 3253
/proc/meminfo: memFree=1414192/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=12.86
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16202 0 1 0 1279 7 0 0 19 0 9 0 289933927 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15597 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=12.67
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15081 0 1 0 1261 6 0 0 25 0 9 0 289933928 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126786716 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 399 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.86
Current children cumulated vsize (KiB) 1790328

[startup+25.5011 s]
/proc/loadavg: 1.00 0.99 0.98 2/86 3253
/proc/meminfo: memFree=1414192/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=25.64
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16203 0 1 0 2557 7 0 0 19 0 9 0 289933927 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15597 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=25.45
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15081 0 1 0 2539 6 0 0 25 0 9 0 289933928 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126761421 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 400 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.64
Current children cumulated vsize (KiB) 1790328

[startup+51.1018 s]
/proc/loadavg: 1.00 0.99 0.98 2/86 3253
/proc/meminfo: memFree=1414256/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=51.23
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16205 0 1 0 5116 7 0 0 19 0 9 0 289933927 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15597 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=51.04
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15083 0 1 0 5098 6 0 0 25 0 9 0 289933928 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779952 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 400 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0

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

/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 400 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 1790328

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/86 3451
/proc/meminfo: memFree=1414000/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=1541.52
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16205 0 1 0 154124 28 0 0 19 0 9 0 289933927 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15597 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=1541.33
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15083 0 1 0 154106 27 0 0 25 0 9 0 289933928 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126832178 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 400 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 1790328

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/86 3451
/proc/meminfo: memFree=1414064/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=1601.48
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16205 0 1 0 160120 28 0 0 19 0 9 0 289933927 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15597 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=1601.29
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15083 0 1 0 160102 27 0 0 25 0 9 0 289933928 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126775696 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 400 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 1790328

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/86 3451
/proc/meminfo: memFree=1414064/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=1661.45
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16205 0 1 0 166117 28 0 0 19 0 9 0 289933927 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15597 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=1661.26
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15083 0 1 0 166099 27 0 0 25 0 9 0 289933928 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779955 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 400 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.45
Current children cumulated vsize (KiB) 1790328

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/86 3451
/proc/meminfo: memFree=1414064/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=1721.41
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16205 0 1 0 172113 28 0 0 19 0 9 0 289933927 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15597 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=1721.23
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15083 0 1 0 172096 27 0 0 25 0 9 0 289933928 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779955 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 400 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 1790328

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/86 3451
/proc/meminfo: memFree=1413936/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=1781.37
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16205 0 1 0 178109 28 0 0 19 0 9 0 289933927 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15597 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=1781.19
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15083 0 1 0 178092 27 0 0 25 0 9 0 289933928 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779952 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 400 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 1790328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 0.99 0.98 2/86 3451
/proc/meminfo: memFree=1413936/2055920 swapFree=4148856/4192956
[pid=3244] ppid=3242 vsize=1790328 CPUtime=1800.07
/proc/3244/stat : 3244 (java) S 3242 3244 3031 0 -1 0 16205 0 1 0 179979 28 0 0 19 0 9 0 289933927 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3244/statm: 447582 15597 1865 9 0 442167 0
[pid=3244/tid=3246] ppid=3242 vsize=1790328 CPUtime=1799.89
/proc/3244/task/3246/stat : 3246 (java) R 3242 3244 3031 0 -1 64 15083 0 1 0 179962 27 0 0 25 0 9 0 289933928 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126779958 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3247] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3247/stat : 3247 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3248] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3248/stat : 3248 (java) S 3242 3244 3031 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3249] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3249/stat : 3249 (java) S 3242 3244 3031 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 289933930 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3250] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3250/stat : 3250 (java) S 3242 3244 3031 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3251] ppid=3242 vsize=1790328 CPUtime=0.17
/proc/3244/task/3251/stat : 3251 (java) S 3242 3244 3031 0 -1 64 400 0 0 0 17 0 0 0 16 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3244/tid=3252] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3252/stat : 3252 (java) S 3242 3244 3031 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3244/tid=3253] ppid=3242 vsize=1790328 CPUtime=0
/proc/3244/task/3253/stat : 3253 (java) S 3242 3244 3031 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 289933932 1833295872 15597 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1790328

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): 1801.04
CPU time (s): 1800.11
CPU user time (s): 1799.82
CPU system time (s): 0.296954
CPU usage (%): 99.9488
Max. virtual memory (cumulated for all children) (KiB): 1790328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.296954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16244
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= 36723
involuntary context switches= 64143

runsolver used 1.59776 second user time and 5.00724 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Wed May  2 20:49:21 UTC 2007

IDJOB= 453457
IDBENCH= 48132
IDSOLVER= 155
FILE ID= node2/453457-1178138961

PBS_JOBID= 4751056

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

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

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  64354bd2b9c3cc2f1ca2c32032e5c032

RANDOM SEED= 485116265

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
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.234
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:       1470544 kB
Buffers:        211724 kB
Cached:         230600 kB
SwapCached:      12392 kB
Active:         175476 kB
Inactive:       290364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1470544 kB
SwapTotal:     4192956 kB
SwapFree:      4148856 kB
Dirty:            2328 kB
Writeback:           0 kB
Mapped:          29792 kB
Slab:           104996 kB
Committed_AS: 11443928 kB
PageTables:       1860 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 node2 on Wed May  2 21:19:25 UTC 2007